Trace number 1832421

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200 1200.51

General information on the benchmark

Namevange-col-abb313GPIA-9-c.cnf
MD5SUM0baefedb2aaa81442743e253487854d8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.1461
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

Solver Data

0.00/0.00	c Parsing...
0.00/0.64	c ==============================================================================
0.00/0.64	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.64	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.64	c ==============================================================================
0.00/0.64	c |         0 |  482594  3828193 |  144778       0        0     nan |  0.000 % |
0.00/0.95	c |         0 |  479096  3790745 |      --       0       --      -- |     --   | -1544/-21985
0.00/0.95	c ==============================================================================
0.00/0.95	c Result  :   #vars: 6212   #clauses: 479096   #literals: 3790745
0.00/0.95	c CPU time:   0.871867 s
0.00/0.95	c ==============================================================================
1.99/2.03	c This is MiniSat 2.0 beta
1.99/2.03	c WARNING: for repeatability, setting FPU to use double precision
1.99/2.03	c ============================[ Problem Statistics ]=============================
1.99/2.03	c |                                                                             |
1.99/2.03	c |  Number of variables:  6212                                                 |
1.99/2.03	c |  Number of clauses:    479096                                               |
2.48/2.51	c |  Parsing time:         0.43         s                                       |
2.48/2.53	c ============================[ Search Statistics ]==============================
2.48/2.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.48/2.53	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.48/2.53	c ===============================================================================
2.48/2.53	c |         0 |    6212   479096  3790745 |   159698        0    nan |  0.000 % |
2.48/2.53	c |       100 |    6212   479096  3790745 |   159698      100     18 |  0.000 % |
2.48/2.54	c |       200 |    6212   479096  3790745 |   159698      200     16 |  0.000 % |
2.48/2.54	c |       301 |    6212   479096  3790745 |   159698      301     15 |  0.000 % |
2.48/2.54	c |       411 |    6212   479096  3790745 |   159698      411     14 |  0.000 % |
2.48/2.55	c |       511 |    6212   479096  3790745 |   159698      511     13 |  0.000 % |
2.48/2.55	c |       621 |    6212   479096  3790745 |   159698      621     13 |  0.000 % |
2.48/2.55	c |       742 |    6212   479096  3790745 |   159698      742     13 |  0.000 % |
2.48/2.56	c |       842 |    6212   479096  3790745 |   159698      842     14 |  0.000 % |
2.48/2.56	c |       953 |    6212   479096  3790745 |   159698      953     13 |  0.000 % |
2.48/2.56	c |      1075 |    6212   479096  3790745 |   159698     1075     13 |  0.000 % |
2.48/2.56	c |      1210 |    6212   479096  3790745 |   159698     1210     13 |  0.000 % |
2.48/2.57	c |      1312 |    6212   479096  3790745 |   159698     1312     13 |  0.000 % |
2.48/2.57	c |      1422 |    6212   479096  3790745 |   159698     1422     13 |  0.000 % |
2.48/2.57	c |      1543 |    6212   479096  3790745 |   159698     1543     13 |  0.000 % |
2.48/2.58	c |      1676 |    6212   479096  3790745 |   159698     1676     13 |  0.000 % |
2.48/2.58	c |      1822 |    6212   479096  3790745 |   159698     1822     13 |  0.000 % |
2.48/2.59	c |      1922 |    6212   479096  3790745 |   159698     1922     13 |  0.000 % |
2.48/2.59	c |      2033 |    6212   479096  3790745 |   159698     2033     13 |  0.000 % |
2.48/2.59	c |      2156 |    6212   479096  3790745 |   159698     2156     13 |  0.000 % |
2.58/2.60	c |      2290 |    6212   479096  3790745 |   159698     2290     13 |  0.000 % |
2.58/2.61	c |      2436 |    6212   479096  3790745 |   159698     2436     13 |  0.000 % |
2.58/2.61	c |      2596 |    6212   479096  3790745 |   159698     2596     13 |  0.000 % |
2.58/2.61	c |      2697 |    6212   479096  3790745 |   159698     2697     13 |  0.000 % |
2.58/2.62	c |      2809 |    6212   479096  3790745 |   159698     2809     13 |  0.000 % |
2.58/2.62	c |      2932 |    6212   479096  3790745 |   159698     2932     13 |  0.000 % |
2.58/2.63	c |      3065 |    6212   479096  3790745 |   159698     3065     13 |  0.000 % |
2.58/2.63	c |      3211 |    6212   479096  3790745 |   159698     3211     13 |  0.000 % |
2.58/2.64	c |      3372 |    6212   479096  3790745 |   159698     3372     13 |  0.000 % |
2.58/2.64	c |      3549 |    6212   479096  3790745 |   159698     3549     13 |  0.000 % |
2.58/2.65	c |      3649 |    6212   479096  3790745 |   159698     3649     13 |  0.000 % |
2.58/2.65	c |      3760 |    6212   479096  3790745 |   159698     3760     13 |  0.000 % |
2.58/2.66	c |      3881 |    6212   479096  3790745 |   159698     3881     13 |  0.000 % |
2.58/2.66	c |      4014 |    6212   479096  3790745 |   159698     4014     13 |  0.000 % |
2.58/2.66	c |      4161 |    6212   479096  3790745 |   159698     4161     13 |  0.000 % |
2.58/2.67	c |      4322 |    6212   479096  3790745 |   159698     4322     13 |  0.000 % |
2.58/2.68	c |      4498 |    6212   479096  3790745 |   159698     4498     13 |  0.000 % |
2.58/2.68	c |      4692 |    6212   479096  3790745 |   159698     4692     13 |  0.000 % |
2.58/2.69	c |      4793 |    6212   479096  3790745 |   159698     4793     13 |  0.000 % |
2.58/2.69	c |      4903 |    6212   479096  3790745 |   159698     4903     13 |  0.000 % |
2.68/2.70	c |      5024 |    6212   479096  3790745 |   159698     5024     13 |  0.000 % |
2.68/2.70	c |      5158 |    6212   479096  3790745 |   159698     5158     13 |  0.000 % |
2.68/2.71	c |      5306 |    6212   479096  3790745 |   159698     5306     13 |  0.000 % |
2.68/2.71	c |      5466 |    6212   479096  3790745 |   159698     5466     13 |  0.000 % |
2.68/2.72	c |      5643 |    6212   479096  3790745 |   159698     5643     13 |  0.000 % |
2.68/2.73	c |      5836 |    6212   479096  3790745 |   159698     5836     13 |  0.000 % |
2.68/2.73	c |      6049 |    6212   479096  3790745 |   159698     6049     13 |  0.000 % |
2.68/2.74	c |      6149 |    6212   479096  3790745 |   159698     6149     13 |  0.000 % |
2.68/2.74	c |      6261 |    6212   479096  3790745 |   159698     6261     13 |  0.000 % |
2.68/2.75	c |      6384 |    6212   479096  3790745 |   159698     6384     13 |  0.000 % |
2.68/2.75	c |      6517 |    6212   479096  3790745 |   159698     6517     13 |  0.000 % |
2.68/2.76	c |      6665 |    6212   479096  3790745 |   159698     6665     13 |  0.000 % |
2.68/2.76	c |      6825 |    6212   479096  3790745 |   159698     6825     13 |  0.000 % |
2.68/2.77	c |      7003 |    6212   479096  3790745 |   159698     7003     13 |  0.000 % |
2.68/2.78	c |      7197 |    6212   479096  3790745 |   159698     7197     13 |  0.000 % |
2.68/2.79	c |      7409 |    6212   479096  3790745 |   159698     7409     13 |  0.000 % |
2.77/2.80	c |      7643 |    6212   479096  3790745 |   159698     7643     13 |  0.000 % |
2.77/2.80	c |      7743 |    6212   479096  3790745 |   159698     7743     13 |  0.000 % |
2.77/2.81	c |      7855 |    6212   479096  3790745 |   159698     7855     13 |  0.000 % |
2.77/2.81	c |      7977 |    6212   479096  3790745 |   159698     7977     13 |  0.000 % |
2.77/2.82	c |      8110 |    6212   479096  3790745 |   159698     8110     13 |  0.000 % |
2.77/2.82	c |      8257 |    6212   479096  3790745 |   159698     8257     13 |  0.000 % |
2.77/2.83	c |      8418 |    6212   479096  3790745 |   159698     8418     13 |  0.000 % |
2.77/2.84	c |      8595 |    6212   479096  3790745 |   159698     8595     13 |  0.000 % |
2.77/2.84	c |      8788 |    6212   479096  3790745 |   159698     8788     13 |  0.000 % |
2.77/2.85	c |      9000 |    6212   479096  3790745 |   159698     9000     13 |  0.000 % |
2.77/2.86	c |      9233 |    6212   479096  3790745 |   159698     9233     13 |  0.000 % |
2.77/2.87	c |      9489 |    6212   479096  3790745 |   159698     9489     13 |  0.000 % |
2.77/2.87	c |      9589 |    6212   479096  3790745 |   159698     9589     13 |  0.000 % |
2.77/2.87	c |      9699 |    6212   479096  3790745 |   159698     9699     13 |  0.000 % |
2.77/2.88	c |      9820 |    6212   479096  3790745 |   159698     9820     13 |  0.000 % |
2.77/2.88	c |      9953 |    6212   479096  3790745 |   159698     9953     13 |  0.000 % |
2.77/2.89	c |     10099 |    6212   479096  3790745 | 2147483647    10099     13 |  0.000 % |
2.77/2.89	c |     10259 |    6212   479096  3790745 | 2147483647    10259     13 |  0.000 % |
2.77/2.90	c |     10435 |    6212   479096  3790745 | 2147483647    10435     13 |  0.000 % |
2.87/2.90	c |     10628 |    6211   479096  3790745 | 2147483647    10627     13 |  0.016 % |
2.87/2.91	c |     10840 |    6211   479096  3790745 | 2147483647    10839     13 |  0.016 % |
2.87/2.92	c |     11073 |    6211   479096  3790745 | 2147483647    11072     13 |  0.016 % |
2.87/2.93	c |     11329 |    6211   479096  3790745 | 2147483647    11328     13 |  0.016 % |
2.87/2.94	c |     11610 |    6211   479096  3790745 | 2147483647    11609     13 |  0.016 % |
2.87/2.94	c |     11711 |    6211   479096  3790745 | 2147483647    11710     13 |  0.016 % |
2.87/2.95	c |     11821 |    6211   479096  3790745 | 2147483647    11820     13 |  0.016 % |
2.87/2.95	c |     11942 |    6211   479096  3790745 | 2147483647    11941     13 |  0.016 % |
2.87/2.96	c |     12076 |    6211   479096  3790745 | 2147483647    12075     13 |  0.016 % |
2.87/2.96	c |     12222 |    6211   479096  3790745 | 2147483647    12221     13 |  0.016 % |
2.87/2.97	c |     12382 |    6211   479096  3790745 | 2147483647    12381     13 |  0.016 % |
2.87/2.97	c |     12558 |    6211   479096  3790745 | 2147483647    12557     13 |  0.016 % |
2.87/2.98	c |     12751 |    6211   479096  3790745 | 2147483647    12750     13 |  0.016 % |
2.87/2.99	c |     12963 |    6211   479096  3790745 | 2147483647    12962     13 |  0.016 % |
2.87/2.99	c |     13196 |    6211   479096  3790745 | 2147483647    13195     13 |  0.016 % |
2.97/3.00	c |     13452 |    6211   479096  3790745 | 2147483647    13451     13 |  0.016 % |
2.97/3.02	c |     13733 |    6211   479096  3790745 | 2147483647    13732     13 |  0.016 % |
2.97/3.03	c |     14042 |    6211   479096  3790745 | 2147483647    14041     13 |  0.016 % |
2.97/3.03	c |     14142 |    6211   479096  3790745 | 2147483647    14141     13 |  0.016 % |
2.97/3.04	c |     14253 |    6211   479096  3790745 | 2147483647    14252     13 |  0.016 % |
2.97/3.04	c |     14375 |    6211   479096  3790745 | 2147483647    14374     13 |  0.016 % |
2.97/3.05	c |     14510 |    6211   479096  3790745 | 2147483647    14509     13 |  0.016 % |
2.97/3.05	c |     14657 |    6211   479096  3790745 | 2147483647    14656     13 |  0.016 % |
2.97/3.06	c |     14817 |    6211   479096  3790745 | 2147483647    14816     13 |  0.016 % |
2.97/3.06	c |     14993 |    6211   479096  3790745 | 2147483647    14992     13 |  0.016 % |
2.97/3.07	c |     15187 |    6211   479096  3790745 | 2147483647    15186     13 |  0.016 % |
2.97/3.08	c |     15399 |    6211   479096  3790745 | 2147483647    15398     13 |  0.016 % |
2.97/3.09	c |     15632 |    6211   479096  3790745 | 2147483647    15631     13 |  0.016 % |
3.07/3.10	c |     15888 |    6211   479096  3790745 | 2147483647    15887     13 |  0.016 % |
3.07/3.11	c |     16169 |    6211   479096  3790745 | 2147483647    16168     13 |  0.016 % |
3.07/3.13	c |     16480 |    6211   479096  3790745 | 2147483647    16479     13 |  0.016 % |
3.07/3.15	c |     16819 |    6211   479096  3790745 | 2147483647    16818     13 |  0.016 % |
3.07/3.16	c |     16920 |    6211   479096  3790745 | 2147483647    16919     13 |  0.016 % |
3.07/3.16	c |     17031 |    6211   479096  3790745 | 2147483647    17030     13 |  0.016 % |
3.07/3.17	c |     17152 |    6211   479096  3790745 | 2147483647    17151     13 |  0.016 % |
3.07/3.18	c |     17285 |    6211   479096  3790745 | 2147483647    17284     13 |  0.016 % |
3.07/3.18	c |     17431 |    6211   479096  3790745 | 2147483647    17430     13 |  0.016 % |
3.07/3.19	c |     17591 |    6211   479096  3790745 | 2147483647    17590     13 |  0.016 % |
3.07/3.19	c |     17767 |    6211   479096  3790745 | 2147483647    17766     13 |  0.016 % |
3.18/3.20	c |     17960 |    6211   479096  3790745 | 2147483647    17959     13 |  0.016 % |
3.18/3.21	c |     18172 |    6211   479096  3790745 | 2147483647    18171     13 |  0.016 % |
3.18/3.22	c |     18405 |    6211   479096  3790745 | 2147483647    18404     13 |  0.016 % |
3.18/3.23	c |     18661 |    6211   479096  3790745 | 2147483647    18660     13 |  0.016 % |
3.18/3.24	c |     18942 |    6211   479096  3790745 | 2147483647    18941     13 |  0.016 % |
3.18/3.26	c |     19251 |    6211   479096  3790745 | 2147483647    19250     13 |  0.016 % |
3.18/3.27	c |     19591 |    6211   479096  3790745 | 2147483647    19590     13 |  0.016 % |
3.18/3.28	c |     19963 |    6211   479096  3790745 | 2147483647    19962     13 |  0.016 % |
3.18/3.28	c |     20063 |    6211   479096  3790745 | 2147483647    20062     13 |  0.016 % |
3.18/3.29	c |     20173 |    6211   479096  3790745 | 2147483647    20172     13 |  0.016 % |
3.18/3.29	c |     20294 |    6211   479096  3790745 | 2147483647    20293     13 |  0.016 % |
3.18/3.30	c |     20427 |    6211   479096  3790745 | 2147483647    20426     13 |  0.016 % |
3.28/3.30	c |     20574 |    6211   479096  3790745 | 2147483647    20573     13 |  0.016 % |
3.28/3.31	c |     20734 |    6211   479096  3790745 | 2147483647    20733     13 |  0.016 % |
3.28/3.31	c |     20910 |    6211   479096  3790745 | 2147483647    20909     13 |  0.016 % |
3.28/3.32	c |     21105 |    6211   479096  3790745 | 2147483647    21104     13 |  0.016 % |
3.28/3.34	c |     21319 |    6211   479096  3790745 | 2147483647    21318     13 |  0.016 % |
3.28/3.35	c |     21552 |    6211   479096  3790745 | 2147483647    21551     13 |  0.016 % |
3.28/3.37	c |     21808 |    6211   479096  3790745 | 2147483647    21807     13 |  0.016 % |
3.28/3.38	c |     22090 |    6211   479096  3790745 | 2147483647    22089     13 |  0.016 % |
3.28/3.39	c |     22399 |    6211   479096  3790745 | 2147483647    22398     13 |  0.016 % |
3.38/3.41	c |     22738 |    6211   479096  3790745 | 2147483647    22737     13 |  0.016 % |
3.38/3.43	c |     23110 |    6211   479096  3790745 | 2147483647    23109     13 |  0.016 % |
3.38/3.45	c |     23519 |    6211   479096  3790745 | 2147483647    23518     13 |  0.016 % |
3.38/3.45	c |     23620 |    6211   479096  3790745 | 2147483647    23619     13 |  0.016 % |
3.38/3.46	c |     23730 |    6211   479096  3790745 | 2147483647    23729     13 |  0.016 % |
3.38/3.46	c |     23853 |    6211   479096  3790745 | 2147483647    23852     13 |  0.016 % |
3.38/3.47	c |     23986 |    6211   479096  3790745 | 2147483647    23985     13 |  0.016 % |
3.38/3.48	c |     24132 |    6211   479096  3790745 | 2147483647    24131     13 |  0.016 % |
3.38/3.49	c |     24293 |    6211   479096  3790745 | 2147483647    24292     13 |  0.016 % |
3.38/3.50	c |     24470 |    6211   479096  3790745 | 2147483647    24469     13 |  0.016 % |
3.48/3.50	c |     24663 |    6211   479096  3790745 | 2147483647    24662     13 |  0.016 % |
3.48/3.51	c |     24875 |    6211   479096  3790745 | 2147483647    24874     13 |  0.016 % |
3.48/3.53	c |     25110 |    6211   479096  3790745 | 2147483647    25109     13 |  0.016 % |
3.48/3.55	c |     25367 |    6211   479096  3790745 | 2147483647    25366     13 |  0.016 % |
3.48/3.56	c |     25648 |    6211   479096  3790745 | 2147483647    25647     13 |  0.016 % |
3.48/3.57	c |     25957 |    6211   479096  3790745 | 2147483647    25956     13 |  0.016 % |
3.48/3.59	c |     26296 |    6211   479096  3790745 | 2147483647    26295     13 |  0.016 % |
3.58/3.60	c |     26668 |    6211   479096  3790745 | 2147483647    26667     13 |  0.016 % |
3.58/3.63	c |     27078 |    6211   479096  3790745 | 2147483647    27077     13 |  0.016 % |
3.58/3.66	c |     27527 |    6211   479096  3790745 | 2147483647    27526     13 |  0.016 % |
3.58/3.66	c |     27627 |    6211   479096  3790745 | 2147483647    27626     13 |  0.016 % |
3.58/3.67	c |     27738 |    6211   479096  3790745 | 2147483647    27737     13 |  0.016 % |
3.58/3.68	c |     27860 |    6211   479096  3790745 | 2147483647    27859     13 |  0.016 % |
3.58/3.69	c |     27993 |    6211   479096  3790745 | 2147483647    27992     13 |  0.016 % |
3.58/3.69	c |     28139 |    6211   479096  3790745 | 2147483647    28138     13 |  0.016 % |
3.69/3.71	c |     28299 |    6211   479096  3790745 | 2147483647    28298     13 |  0.016 % |
3.69/3.71	c |     28475 |    6211   479096  3790745 | 2147483647    28474     13 |  0.016 % |
3.69/3.72	c |     28669 |    6211   479096  3790745 | 2147483647    28668     13 |  0.016 % |
3.69/3.73	c |     28881 |    6211   479096  3790745 | 2147483647    28880     13 |  0.016 % |
3.69/3.74	c |     29115 |    6211   479096  3790745 | 2147483647    29114     13 |  0.016 % |
3.69/3.75	c |     29371 |    6211   479096  3790745 | 2147483647    29370     13 |  0.016 % |
3.69/3.76	c |     29653 |    6211   479096  3790745 | 2147483647    29652     13 |  0.016 % |
3.69/3.78	c |     29963 |    6211   479096  3790745 | 2147483647    29962     13 |  0.016 % |
3.69/3.79	c |     30302 |    6211   479096  3790745 | 2147483647    30301     13 |  0.016 % |
3.78/3.81	c |     30675 |    6211   479096  3790745 | 2147483647    30674     13 |  0.016 % |
3.78/3.83	c |     31085 |    6211   479096  3790745 | 2147483647    31084     13 |  0.016 % |
3.78/3.84	c |     31534 |    6211   479096  3790745 | 2147483647    31533     13 |  0.016 % |
3.78/3.87	c |     32027 |    6211   479096  3790745 | 2147483647    32026     13 |  0.016 % |
3.78/3.87	c |     32127 |    6211   479096  3790745 | 2147483647    32126     13 |  0.016 % |
3.78/3.88	c |     32237 |    6211   479096  3790745 | 2147483647    32236     13 |  0.016 % |
3.78/3.89	c |     32360 |    6211   479096  3790745 | 2147483647    32359     13 |  0.016 % |
3.78/3.89	c |     32493 |    6211   479096  3790745 | 2147483647    32492     13 |  0.016 % |
3.88/3.90	c |     32639 |    6211   479096  3790745 | 2147483647    32638     13 |  0.016 % |
3.88/3.91	c |     32800 |    6211   479096  3790745 | 2147483647    32799     13 |  0.016 % |
3.88/3.92	c |     32977 |    6211   479096  3790745 | 2147483647    32976     13 |  0.016 % |
3.88/3.93	c |     33170 |    6211   479096  3790745 | 2147483647    33169     13 |  0.016 % |
3.88/3.95	c |     33383 |    6211   479096  3790745 | 2147483647    33382     13 |  0.016 % |
3.88/3.96	c |     33617 |    6211   479096  3790745 | 2147483647    33616     13 |  0.016 % |
3.88/3.97	c |     33874 |    6211   479096  3790745 | 2147483647    33873     13 |  0.016 % |
3.88/3.99	c |     34155 |    6211   479096  3790745 | 2147483647    34154     13 |  0.016 % |
3.98/4.01	c |     34465 |    6211   479096  3790745 | 2147483647    34464     13 |  0.016 % |
3.98/4.02	c |     34805 |    6211   479096  3790745 | 2147483647    34804     13 |  0.016 % |
3.98/4.04	c |     35177 |    6211   479096  3790745 | 2147483647    35176     13 |  0.016 % |
3.98/4.05	c |     35588 |    6211   479096  3790745 | 2147483647    35587     13 |  0.016 % |
3.98/4.08	c |     36038 |    6211   479096  3790745 | 2147483647    36037     13 |  0.016 % |
3.98/4.10	c |     36531 |    6211   479096  3790745 | 2147483647    36530     13 |  0.016 % |
4.07/4.12	c |     37073 |    6211   479096  3790745 | 2147483647    37072     13 |  0.016 % |
4.07/4.13	c |     37173 |    6211   479096  3790745 | 2147483647    37172     13 |  0.016 % |
4.07/4.13	c |     37283 |    6211   479096  3790745 | 2147483647    37282     13 |  0.016 % |
4.07/4.14	c |     37404 |    6211   479096  3790745 | 2147483647    37403     13 |  0.016 % |
4.07/4.15	c |     37537 |    6211   479096  3790745 | 2147483647    37536     13 |  0.016 % |
4.07/4.15	c |     37684 |    6211   479096  3790745 | 2147483647    37683     13 |  0.016 % |
4.07/4.16	c |     37845 |    6211   479096  3790745 | 2147483647    37844     13 |  0.016 % |
4.07/4.18	c |     38023 |    6211   479096  3790745 | 2147483647    38022     13 |  0.016 % |
4.07/4.18	c |     38217 |    6211   479096  3790745 | 2147483647    38216     13 |  0.016 % |
4.07/4.19	c |     38429 |    6211   479096  3790745 | 2147483647    38428     13 |  0.016 % |
4.17/4.20	c |     38662 |    6211   479096  3790745 | 2147483647    38661     13 |  0.016 % |
4.17/4.22	c |     38919 |    6211   479096  3790745 | 2147483647    38918     13 |  0.016 % |
4.17/4.23	c |     39201 |    6211   479096  3790745 | 2147483647    39200     13 |  0.016 % |
4.17/4.24	c |     39511 |    6211   479096  3790745 | 2147483647    39510     13 |  0.016 % |
4.17/4.26	c |     39850 |    6211   479096  3790745 | 2147483647    39849     13 |  0.016 % |
4.17/4.28	c |     40222 |    6211   479096  3790745 | 2147483647    40221     13 |  0.016 % |
4.28/4.31	c |     40632 |    6211   479096  3790745 | 2147483647    40631     13 |  0.016 % |
4.28/4.33	c |     41081 |    6211   479096  3790745 | 2147483647    41080     13 |  0.016 % |
4.28/4.36	c |     41574 |    6211   479096  3790745 | 2147483647    41573     13 |  0.016 % |
4.28/4.38	c |     42116 |    6211   479096  3790745 | 2147483647    42115     13 |  0.016 % |
4.38/4.41	c |     42713 |    6211   479096  3790745 | 2147483647    42712     13 |  0.016 % |
4.38/4.42	c |     42813 |    6211   479096  3790745 | 2147483647    42812     13 |  0.016 % |
4.38/4.42	c |     42923 |    6211   479096  3790745 | 2147483647    42922     13 |  0.016 % |
4.38/4.43	c |     43045 |    6211   479096  3790745 | 2147483647    43044     13 |  0.016 % |
4.38/4.44	c |     43179 |    6211   479096  3790745 | 2147483647    43178     13 |  0.016 % |
4.38/4.45	c |     43325 |    6211   479096  3790745 | 2147483647    43324     13 |  0.016 % |
4.38/4.46	c |     43485 |    6211   479096  3790745 | 2147483647    43484     13 |  0.016 % |
4.38/4.47	c |     43662 |    6211   479096  3790745 | 2147483647    43661     13 |  0.016 % |
4.38/4.48	c |     43855 |    6211   479096  3790745 | 2147483647    43854     13 |  0.016 % |
4.38/4.49	c |     44068 |    6211   479096  3790745 | 2147483647    44067     13 |  0.016 % |
4.47/4.51	c |     44301 |    6211   479096  3790745 | 2147483647    44300     13 |  0.016 % |
4.47/4.54	c |     44557 |    6211   479096  3790745 | 2147483647    44556     13 |  0.016 % |
4.47/4.55	c |     44839 |    6211   479096  3790745 | 2147483647    44838     13 |  0.016 % |
4.47/4.56	c |     45149 |    6211   479096  3790745 | 2147483647    45148     13 |  0.016 % |
4.47/4.57	c |     45488 |    6211   479096  3790745 | 2147483647    45487     13 |  0.016 % |
4.47/4.60	c |     45860 |    6211   479096  3790745 | 2147483647    45859     13 |  0.016 % |
4.57/4.62	c |     46269 |    6211   479096  3790745 | 2147483647    46268     13 |  0.016 % |
4.57/4.64	c |     46718 |    6211   479096  3790745 | 2147483647    46717     13 |  0.016 % |
4.57/4.67	c |     47211 |    6211   479096  3790745 | 2147483647    47210     13 |  0.016 % |
4.67/4.70	c |     47753 |    6211   479096  3790745 | 2147483647    47752     13 |  0.016 % |
4.67/4.74	c |     48350 |    6211   479096  3790745 | 2147483647    48349     13 |  0.016 % |
4.67/4.77	c |     49005 |    6211   479096  3790745 | 2147483647    49004     13 |  0.016 % |
4.67/4.78	c |     49106 |    6211   479096  3790745 | 2147483647    49105     13 |  0.016 % |
4.67/4.79	c |     49216 |    6211   479096  3790745 | 2147483647    49215     13 |  0.016 % |
4.67/4.79	c |     49337 |    6211   479096  3790745 | 2147483647    49336     13 |  0.016 % |
4.77/4.80	c |     49470 |    6211   479096  3790745 | 2147483647    49469     13 |  0.016 % |
4.77/4.81	c |     49616 |    6211   479096  3790745 | 2147483647    49615     13 |  0.016 % |
4.77/4.81	c |     49776 |    6211   479096  3790745 | 2147483647    49775     13 |  0.016 % |
4.77/4.82	c |     49952 |    6211   479096  3790745 | 2147483647    49951     13 |  0.016 % |
4.77/4.83	c |     50145 |    6211   479096  3790745 | 2147483647    50144     13 |  0.016 % |
4.77/4.84	c |     50357 |    6211   479096  3790745 | 2147483647    50356     13 |  0.016 % |
4.77/4.85	c |     50591 |    6211   479096  3790745 | 2147483647    50590     13 |  0.016 % |
4.77/4.86	c |     50847 |    6211   479096  3790745 | 2147483647    50846     13 |  0.016 % |
4.77/4.87	c |     51128 |    6211   479096  3790745 | 2147483647    51127     13 |  0.016 % |
4.77/4.88	c |     51439 |    6211   479096  3790745 | 2147483647    51438     13 |  0.016 % |
4.77/4.90	c |     51778 |    6211   479096  3790745 | 2147483647    51777     13 |  0.016 % |
4.88/4.92	c |     52150 |    6211   479096  3790745 | 2147483647    52149     13 |  0.016 % |
4.88/4.94	c |     52559 |    6211   479096  3790745 | 2147483647    52558     13 |  0.016 % |
4.88/4.97	c |     53008 |    6211   479096  3790745 | 2147483647    53007     13 |  0.016 % |
4.88/5.00	c |     53501 |    6211   479096  3790745 | 2147483647    53500     13 |  0.016 % |
4.98/5.02	c |     54043 |    6211   479096  3790745 | 2147483647    54042     13 |  0.016 % |
4.98/5.05	c |     54639 |    6211   479096  3790745 | 2147483647    54638     13 |  0.016 % |
4.98/5.07	c |     55294 |    6211   479096  3790745 | 2147483647    55293     13 |  0.016 % |
5.08/5.11	c |     56014 |    6211   479096  3790745 | 2147483647    56013     13 |  0.016 % |
5.08/5.12	c |     56117 |    6211   479096  3790745 | 2147483647    56116     13 |  0.016 % |
5.08/5.12	c |     56228 |    6211   479096  3790745 | 2147483647    56227     13 |  0.016 % |
5.08/5.13	c |     56350 |    6211   479096  3790745 | 2147483647    56349     13 |  0.016 % |
5.08/5.14	c |     56486 |    6211   479096  3790745 | 2147483647    56485     13 |  0.016 % |
5.08/5.14	c |     56632 |    6211   479096  3790745 | 2147483647    56631     13 |  0.016 % |
5.08/5.15	c |     56792 |    6211   479096  3790745 | 2147483647    56791     13 |  0.016 % |
5.08/5.16	c |     56969 |    6211   479096  3790745 | 2147483647    56968     13 |  0.016 % |
5.08/5.17	c |     57164 |    6211   479096  3790745 | 2147483647    57163     13 |  0.016 % |
5.08/5.18	c |     57376 |    6211   479096  3790745 | 2147483647    57375     13 |  0.016 % |
5.08/5.19	c |     57609 |    6211   479096  3790745 | 2147483647    57608     13 |  0.016 % |
5.18/5.21	c |     57865 |    6211   479096  3790745 | 2147483647    57864     13 |  0.016 % |
5.18/5.22	c |     58146 |    6211   479096  3790745 | 2147483647    58145     13 |  0.016 % |
5.18/5.25	c |     58455 |    6211   479096  3790745 | 2147483647    58454     13 |  0.016 % |
5.18/5.27	c |     58794 |    6211   479096  3790745 | 2147483647    58793     13 |  0.016 % |
5.18/5.30	c |     59167 |    6211   479096  3790745 | 2147483647    59166     13 |  0.016 % |
5.28/5.31	c |     59576 |    6211   479096  3790745 | 2147483647    59575     13 |  0.016 % |
5.28/5.35	c |     60025 |    6211   479096  3790745 | 2147483647    60024     13 |  0.016 % |
5.28/5.38	c |     60518 |    6211   479096  3790745 | 2147483647    60517     13 |  0.016 % |
5.38/5.41	c |     61060 |    6211   479096  3790745 | 2147483647    61059     13 |  0.016 % |
5.38/5.45	c |     61656 |    6211   479096  3790745 | 2147483647    61655     13 |  0.016 % |
5.38/5.50	c |     62312 |    6211   479096  3790745 | 2147483647    62311     13 |  0.016 % |
5.48/5.54	c |     63033 |    6211   479096  3790745 | 2147483647    63032     13 |  0.016 % |
5.48/5.58	c |     63826 |    6211   479096  3790745 | 2147483647    63825     13 |  0.016 % |
5.48/5.59	c |     63927 |    6211   479096  3790745 | 2147483647    63926     13 |  0.016 % |
5.48/5.59	c |     64038 |    6211   479096  3790745 | 2147483647    64037     13 |  0.016 % |
5.58/5.60	c |     64159 |    6211   479096  3790745 | 2147483647    64158     13 |  0.016 % |
5.58/5.61	c |     64293 |    6211   479096  3790745 | 2147483647    64292     13 |  0.016 % |
5.58/5.63	c |     64440 |    6211   479096  3790745 | 2147483647    64439     13 |  0.016 % |
5.58/5.64	c |     64600 |    6211   479096  3790745 | 2147483647    64599     13 |  0.016 % |
5.58/5.64	c |     64778 |    6211   479096  3790745 | 2147483647    64777     13 |  0.016 % |
5.58/5.66	c |     64971 |    6211   479096  3790745 | 2147483647    64970     13 |  0.016 % |
5.58/5.67	c |     65183 |    6211   479096  3790745 | 2147483647    65182     13 |  0.016 % |
5.58/5.69	c |     65416 |    6211   479096  3790745 | 2147483647    65415     13 |  0.016 % |
5.68/5.70	c |     65672 |    6211   479096  3790745 | 2147483647    65671     13 |  0.016 % |
5.68/5.74	c |     65955 |    6211   479096  3790745 | 2147483647    65954     13 |  0.016 % |
5.68/5.78	c |     66264 |    6211   479096  3790745 | 2147483647    66263     13 |  0.016 % |
5.77/5.81	c |     66604 |    6211   479096  3790745 | 2147483647    66603     13 |  0.016 % |
5.77/5.82	c |     66977 |    6211   479096  3790745 | 2147483647    66976     13 |  0.016 % |
5.77/5.85	c |     67386 |    6211   479096  3790745 | 2147483647    67385     13 |  0.016 % |
5.77/5.88	c |     67835 |    6211   479096  3790745 | 2147483647    67834     13 |  0.016 % |
5.87/5.91	c |     68328 |    6211   479096  3790745 | 2147483647    68327     13 |  0.016 % |
5.87/5.94	c |     68870 |    6211   479096  3790745 | 2147483647    68869     13 |  0.016 % |
5.87/5.98	c |     69466 |    6211   479096  3790745 | 2147483647    69465     13 |  0.016 % |
5.97/6.02	c |     70122 |    6211   479096  3790745 | 2147483647    70121     13 |  0.016 % |
5.97/6.08	c |     70842 |    6211   479096  3790745 | 2147483647    70841     13 |  0.016 % |
6.07/6.13	c |     71634 |    6211   479096  3790745 | 2147483647    71633     13 |  0.016 % |
6.07/6.19	c |     72505 |    6211   479096  3790745 | 2147483647    72504     13 |  0.016 % |
6.17/6.20	c |     72605 |    6211   479096  3790745 | 2147483647    72604     13 |  0.016 % |
6.17/6.21	c |     72715 |    6211   479096  3790745 | 2147483647    72714     13 |  0.016 % |
6.17/6.22	c |     72837 |    6211   479096  3790745 | 2147483647    72836     13 |  0.016 % |
6.17/6.23	c |     72971 |    6211   479096  3790745 | 2147483647    72970     13 |  0.016 % |
6.17/6.24	c |     73117 |    6211   479096  3790745 | 2147483647    73116     13 |  0.016 % |
6.17/6.26	c |     73278 |    6211   479096  3790745 | 2147483647    73277     13 |  0.016 % |
6.17/6.27	c |     73454 |    6211   479096  3790745 | 2147483647    73453     13 |  0.016 % |
6.17/6.28	c |     73647 |    6211   479096  3790745 | 2147483647    73646     13 |  0.016 % |
6.17/6.29	c |     73859 |    6211   479096  3790745 | 2147483647    73858     13 |  0.016 % |
6.27/6.31	c |     74092 |    6211   479096  3790745 | 2147483647    74091     13 |  0.016 % |
6.27/6.32	c |     74349 |    6211   479096  3790745 | 2147483647    74348     13 |  0.016 % |
6.27/6.34	c |     74632 |    6211   479096  3790745 | 2147483647    74631     13 |  0.016 % |
6.27/6.36	c |     74942 |    6211   479096  3790745 | 2147483647    74941     13 |  0.016 % |
6.27/6.38	c |     75282 |    6211   479096  3790745 | 2147483647    75281     13 |  0.016 % |
6.27/6.39	c |     75654 |    6211   479096  3790745 | 2147483647    75653     13 |  0.016 % |
6.37/6.42	c |     76063 |    6211   479096  3790745 | 2147483647    76062     13 |  0.016 % |
6.37/6.45	c |     76514 |    6211   479096  3790745 | 2147483647    76513     13 |  0.016 % |
6.37/6.49	c |     77007 |    6211   479096  3790745 | 2147483647    77006     13 |  0.016 % |
6.47/6.52	c |     77549 |    6211   479096  3790745 | 2147483647    77548     13 |  0.016 % |
6.47/6.55	c |     78145 |    6211   479096  3790745 | 2147483647    78144     13 |  0.016 % |
6.47/6.59	c |     78800 |    6211   479096  3790745 | 2147483647    78799     13 |  0.016 % |
6.57/6.64	c |     79520 |    6211   479096  3790745 | 2147483647    79519     13 |  0.016 % |
6.57/6.69	c |     80313 |    6211   479096  3790745 | 2147483647    80312     13 |  0.016 % |
6.67/6.74	c |     81184 |    6211   479096  3790745 | 2147483647    81183     13 |  0.016 % |
6.77/6.81	c |     82142 |    6211   479096  3790745 | 2147483647    82141     13 |  0.016 % |
6.77/6.81	c |     82243 |    6211   479096  3790745 | 2147483647    82242     13 |  0.016 % |
6.77/6.82	c |     82354 |    6211   479096  3790745 | 2147483647    82353     13 |  0.016 % |
6.77/6.83	c |     82476 |    6211   479096  3790745 | 2147483647    82475     13 |  0.016 % |
6.77/6.85	c |     82610 |    6211   479096  3790745 | 2147483647    82609     13 |  0.016 % |
6.77/6.85	c |     82757 |    6211   479096  3790745 | 2147483647    82756     13 |  0.016 % |
6.77/6.87	c |     82918 |    6211   479096  3790745 | 2147483647    82917     13 |  0.016 % |
6.77/6.88	c |     83094 |    6211   479096  3790745 | 2147483647    83093     13 |  0.016 % |
6.87/6.90	c |     83287 |    6211   479096  3790745 | 2147483647    83286     13 |  0.016 % |
6.87/6.92	c |     83499 |    6211   479096  3790745 | 2147483647    83498     13 |  0.016 % |
6.87/6.93	c |     83732 |    6211   479096  3790745 | 2147483647    83731     13 |  0.016 % |
6.87/6.95	c |     83988 |    6211   479096  3790745 | 2147483647    83987     13 |  0.016 % |
6.87/6.97	c |     84270 |    6211   479096  3790745 | 2147483647    84269     13 |  0.016 % |
6.87/6.99	c |     84579 |    6211   479096  3790745 | 2147483647    84578     13 |  0.016 % |
6.98/7.02	c |     84918 |    6211   479096  3790745 | 2147483647    84917     13 |  0.016 % |
6.98/7.04	c |     85290 |    6211   479096  3790745 | 2147483647    85289     13 |  0.016 % |
6.98/7.08	c |     85699 |    6211   479096  3790745 | 2147483647    85698     13 |  0.016 % |
7.08/7.11	c |     86149 |    6211   479096  3790745 | 2147483647    86148     13 |  0.016 % |
7.08/7.15	c |     86643 |    6211   479096  3790745 | 2147483647    86642     13 |  0.016 % |
7.18/7.20	c |     87185 |    6211   479096  3790745 | 2147483647    87184     13 |  0.016 % |
7.18/7.24	c |     87781 |    6211   479096  3790745 | 2147483647    87780     13 |  0.016 % |
7.18/7.29	c |     88436 |    6211   479096  3790745 | 2147483647    88435     13 |  0.016 % |
7.28/7.35	c |     89157 |    6211   479096  3790745 | 2147483647    89156     13 |  0.016 % |
7.38/7.42	c |     89951 |    6211   479096  3790745 | 2147483647    89950     13 |  0.016 % |
7.48/7.51	c |     90822 |    6211   479096  3790745 | 2147483647    90821     13 |  0.016 % |
7.48/7.60	c |     91780 |    6209   479096  3790745 | 2147483647    91778     13 |  0.064 % |
7.58/7.70	c |     92833 |    6209   479096  3790745 | 2147483647    92831     13 |  0.064 % |
7.68/7.71	c |     92933 |    6209   479096  3790745 | 2147483647    92931     13 |  0.064 % |
7.68/7.72	c |     93043 |    6209   479096  3790745 | 2147483647    93041     13 |  0.064 % |
7.68/7.73	c |     93164 |    6209   479096  3790745 | 2147483647    93162     13 |  0.064 % |
7.68/7.75	c |     93297 |    6209   479096  3790745 | 2147483647    93295     13 |  0.064 % |
7.68/7.76	c |     93443 |    6209   479096  3790745 | 2147483647    93441     13 |  0.064 % |
7.68/7.78	c |     93603 |    6209   479096  3790745 | 2147483647    93601     13 |  0.064 % |
7.68/7.79	c |     93779 |    6209   479096  3790745 | 2147483647    93777     13 |  0.064 % |
7.78/7.81	c |     93972 |    6209   479096  3790745 | 2147483647    93970     13 |  0.064 % |
7.78/7.82	c |     94186 |    6209   479096  3790745 | 2147483647    94184     13 |  0.064 % |
7.78/7.84	c |     94419 |    6209   479096  3790745 | 2147483647    94417     13 |  0.064 % |
7.78/7.86	c |     94675 |    6209   479096  3790745 | 2147483647    94673     13 |  0.064 % |
7.78/7.89	c |     94958 |    6209   479096  3790745 | 2147483647    94956     13 |  0.064 % |
7.88/7.92	c |     95267 |    6209   479096  3790745 | 2147483647    95265     13 |  0.064 % |
7.88/7.96	c |     95606 |    6209   479096  3790745 | 2147483647    95604     13 |  0.064 % |
7.88/7.99	c |     95978 |    6209   479096  3790745 | 2147483647    95976     13 |  0.064 % |
7.98/8.02	c |     96387 |    6209   479096  3790745 | 2147483647    96385     13 |  0.064 % |
7.98/8.05	c |     96836 |    6209   479096  3790745 | 2147483647    96834     13 |  0.064 % |
8.07/8.11	c |     97329 |    6209   479096  3790745 | 2147483647    97327     13 |  0.064 % |
8.07/8.16	c |     97871 |    6208   479096  3790745 | 2147483647    97869     13 |  0.064 % |
8.17/8.22	c |     98467 |    6208   479096  3790745 | 2147483647    98465     13 |  0.064 % |
8.17/8.27	c |     99122 |    6208   479096  3790745 | 2147483647    99120     13 |  0.064 % |
8.27/8.33	c |     99842 |    6208   479096  3790745 | 2147483647    99840     13 |  0.064 % |
8.37/8.40	c |    100634 |    6208   479096  3790745 | 2147483647   100632     13 |  0.064 % |
8.37/8.46	c |    101506 |    6208   479096  3790745 | 2147483647   101504     13 |  0.064 % |
8.47/8.55	c |    102464 |    6208   479096  3790745 | 2147483647   102462     13 |  0.064 % |
8.57/8.65	c |    103517 |    6208   479096  3790745 | 2147483647   103515     13 |  0.064 % |
8.68/8.74	c |    104675 |    6208   479096  3790745 | 2147483647   104673     13 |  0.064 % |
8.68/8.75	c |    104776 |    6208   479096  3790745 | 2147483647   104774     13 |  0.064 % |
8.68/8.76	c |    104886 |    6208   479096  3790745 | 2147483647   104884     13 |  0.064 % |
8.68/8.77	c |    105008 |    6208   479096  3790745 | 2147483647   105006     13 |  0.064 % |
8.68/8.78	c |    105141 |    6208   479096  3790745 | 2147483647   105139     13 |  0.064 % |
8.68/8.79	c |    105287 |    6208   479096  3790745 | 2147483647   105285     13 |  0.064 % |
8.78/8.80	c |    105447 |    6208   479096  3790745 | 2147483647   105445     13 |  0.064 % |
8.78/8.81	c |    105623 |    6208   479096  3790745 | 2147483647   105621     13 |  0.064 % |
8.78/8.83	c |    105816 |    6208   479096  3790745 | 2147483647   105814     13 |  0.064 % |
8.78/8.84	c |    106029 |    6208   479096  3790745 | 2147483647   106027     13 |  0.064 % |
8.78/8.86	c |    106262 |    6208   479096  3790745 | 2147483647   106260     13 |  0.064 % |
8.78/8.89	c |    106519 |    6208   479096  3790745 | 2147483647   106517     13 |  0.064 % |
8.87/8.91	c |    106800 |    6208   479096  3790745 | 2147483647   106798     13 |  0.064 % |
8.87/8.94	c |    107111 |    6208   479096  3790745 | 2147483647   107109     13 |  0.064 % |
8.87/8.96	c |    107450 |    6208   479096  3790745 | 2147483647   107448     13 |  0.064 % |
8.97/9.01	c |    107822 |    6208   479096  3790745 | 2147483647   107820     13 |  0.064 % |
8.97/9.04	c |    108232 |    6208   479096  3790745 | 2147483647   108230     13 |  0.064 % |
8.97/9.09	c |    108682 |    6208   479096  3790745 | 2147483647   108680     13 |  0.064 % |
9.07/9.14	c |    109175 |    6208   479096  3790745 | 2147483647   109173     13 |  0.064 % |
9.17/9.20	c |    109717 |    6208   479096  3790745 | 2147483647   109715     13 |  0.064 % |
9.17/9.26	c |    110313 |    6208   479096  3790745 | 2147483647   110311     13 |  0.064 % |
9.27/9.33	c |    110968 |    6208   479096  3790745 | 2147483647   110966     13 |  0.064 % |
9.37/9.42	c |    111688 |    6208   479096  3790745 | 2147483647   111686     13 |  0.064 % |
9.47/9.51	c |    112481 |    6208   479096  3790745 | 2147483647   112479     13 |  0.064 % |
9.47/9.58	c |    113353 |    6208   479096  3790745 | 2147483647   113351     13 |  0.064 % |
9.57/9.67	c |    114313 |    6208   479096  3790745 | 2147483647   114311     13 |  0.064 % |
9.77/9.82	c |    115366 |    6208   479096  3790745 | 2147483647   115364     13 |  0.064 % |
9.87/9.94	c |    116524 |    6208   479096  3790745 | 2147483647   116522     13 |  0.064 % |
9.97/10.06	c |    117799 |    6208   479096  3790745 | 2147483647   117797     13 |  0.064 % |
9.97/10.07	c |    117901 |    6208   479096  3790745 | 2147483647   117899     13 |  0.064 % |
9.97/10.08	c |    118011 |    6208   479096  3790745 | 2147483647   118009     13 |  0.064 % |
9.97/10.09	c |    118132 |    6208   479096  3790745 | 2147483647   118130     13 |  0.064 % |
10.07/10.11	c |    118265 |    6208   479096  3790745 | 2147483647   118263     13 |  0.064 % |
10.07/10.12	c |    118412 |    6208   479096  3790745 | 2147483647   118410     13 |  0.064 % |
10.07/10.13	c |    118572 |    6208   479096  3790745 | 2147483647   118570     13 |  0.064 % |
10.07/10.15	c |    118748 |    6208   479096  3790745 | 2147483647   118746     13 |  0.064 % |
10.07/10.17	c |    118942 |    6208   479096  3790745 | 2147483647   118940     13 |  0.064 % |
10.07/10.19	c |    119155 |    6208   479096  3790745 | 2147483647   119153     13 |  0.064 % |
10.17/10.21	c |    119388 |    6208   479096  3790745 | 2147483647   119386     13 |  0.064 % |
10.17/10.23	c |    119646 |    6208   479096  3790745 | 2147483647   119644     13 |  0.064 % |
10.17/10.26	c |    119928 |    6208   479096  3790745 | 2147483647   119926     13 |  0.064 % |
10.17/10.28	c |    120238 |    6208   479096  3790745 | 2147483647   120236     13 |  0.064 % |
10.27/10.32	c |    120577 |    6208   479096  3790745 | 2147483647   120575     13 |  0.064 % |
10.27/10.35	c |    120949 |    6208   479096  3790745 | 2147483647   120947     13 |  0.064 % |
10.27/10.37	c |    121358 |    6208   479096  3790745 | 2147483647   121356     13 |  0.064 % |
10.37/10.40	c |    121807 |    6208   479096  3790745 | 2147483647   121805     13 |  0.064 % |
10.37/10.45	c |    122300 |    6208   479096  3790745 | 2147483647   122298     13 |  0.064 % |
10.47/10.54	c |    122843 |    6208   479096  3790745 | 2147483647   122841     13 |  0.064 % |
10.57/10.61	c |    123439 |    6208   479096  3790745 | 2147483647   123437     13 |  0.064 % |
10.57/10.69	c |    124094 |    6208   479096  3790745 | 2147483647   124092     13 |  0.064 % |
10.66/10.75	c |    124814 |    6208   479096  3790745 | 2147483647   124812     13 |  0.064 % |
10.76/10.82	c |    125606 |    6208   479096  3790745 | 2147483647   125604     13 |  0.064 % |
10.87/10.91	c |    126477 |    6208   479096  3790745 | 2147483647   126475     13 |  0.064 % |
10.97/11.01	c |    127436 |    6208   479096  3790745 | 2147483647   127434     13 |  0.064 % |
11.06/11.10	c |    128489 |    6208   479096  3790745 | 2147483647   128487     13 |  0.064 % |
11.16/11.23	c |    129649 |    6208   479096  3790745 | 2147483647   129647     14 |  0.064 % |
11.27/11.33	c |    130922 |    6208   479096  3790745 | 2147483647   130920     14 |  0.064 % |
11.37/11.48	c |    132323 |    6208   479096  3790745 | 2147483647   132321     14 |  0.064 % |
11.37/11.49	c |    132423 |    6208   479096  3790745 | 2147483647   132421     14 |  0.064 % |
11.47/11.51	c |    132533 |    6208   479096  3790745 | 2147483647   132531     14 |  0.064 % |
11.47/11.53	c |    132654 |    6208   479096  3790745 | 2147483647   132652     14 |  0.064 % |
11.47/11.55	c |    132788 |    6208   479096  3790745 | 2147483647   132786     14 |  0.064 % |
11.47/11.57	c |    132934 |    6208   479096  3790745 | 2147483647   132932     14 |  0.064 % |
11.47/11.59	c |    133096 |    6208   479096  3790745 | 2147483647   133094     14 |  0.064 % |
11.57/11.62	c |    133272 |    6208   479096  3790745 | 2147483647   133270     14 |  0.064 % |
11.57/11.64	c |    133465 |    6208   479096  3790745 | 2147483647   133463     14 |  0.064 % |
11.57/11.66	c |    133677 |    6208   479096  3790745 | 2147483647   133675     14 |  0.064 % |
11.57/11.69	c |    133911 |    6208   479096  3790745 | 2147483647   133909     14 |  0.064 % |
11.67/11.72	c |    134167 |    6208   479096  3790745 | 2147483647   134165     14 |  0.064 % |
11.67/11.75	c |    134449 |    6208   479096  3790745 | 2147483647   134447     14 |  0.064 % |
11.67/11.79	c |    134760 |    6208   479096  3790745 | 2147483647   134758     14 |  0.064 % |
11.77/11.81	c |    135099 |    6208   479096  3790745 | 2147483647   135097     14 |  0.064 % |
11.77/11.85	c |    135471 |    6208   479096  3790745 | 2147483647   135469     14 |  0.064 % |
11.77/11.89	c |    135880 |    6208   479096  3790745 | 2147483647   135878     14 |  0.064 % |
11.87/11.94	c |    136330 |    6208   479096  3790745 | 2147483647   136328     14 |  0.064 % |
11.87/11.99	c |    136823 |    6208   479096  3790745 | 2147483647   136821     14 |  0.064 % |
11.98/12.04	c |    137365 |    6208   479096  3790745 | 2147483647   137363     14 |  0.064 % |
11.98/12.09	c |    137961 |    6208   479096  3790745 | 2147483647   137959     14 |  0.064 % |
12.08/12.16	c |    138617 |    6208   479096  3790745 | 2147483647   138615     14 |  0.064 % |
12.17/12.25	c |    139337 |    6208   479096  3790745 | 2147483647   139335     14 |  0.064 % |
12.27/12.31	c |    140129 |    6208   479096  3790745 | 2147483647   140127     14 |  0.064 % |
12.37/12.40	c |    141000 |    6208   479096  3790745 | 2147483647   140998     14 |  0.064 % |
12.47/12.52	c |    141959 |    6208   479096  3790745 | 2147483647   141957     14 |  0.064 % |
12.57/12.64	c |    143015 |    6208   479096  3790745 | 2147483647   143013     14 |  0.064 % |
12.67/12.79	c |    144173 |    6208   479096  3790745 | 2147483647   144171     14 |  0.064 % |
12.87/12.98	c |    145447 |    6208   479096  3790745 | 2147483647   145445     14 |  0.064 % |
13.07/13.17	c |    146847 |    6208   479096  3790745 | 2147483647   146845     14 |  0.064 % |
13.27/13.33	c |    148387 |    6208   479096  3790745 | 2147483647   148385     14 |  0.064 % |
13.27/13.35	c |    148487 |    6208   479096  3790745 | 2147483647   148485     14 |  0.064 % |
13.27/13.36	c |    148599 |    6208   479096  3790745 | 2147483647   148597     14 |  0.064 % |
13.27/13.37	c |    148720 |    6208   479096  3790745 | 2147483647   148718     14 |  0.064 % |
13.27/13.38	c |    148854 |    6208   479096  3790745 | 2147483647   148852     14 |  0.064 % |
13.27/13.39	c |    149001 |    6208   479096  3790745 | 2147483647   148999     14 |  0.064 % |
13.37/13.40	c |    149162 |    6208   479096  3790745 | 2147483647   149160     14 |  0.064 % |
13.37/13.42	c |    149339 |    6208   479096  3790745 | 2147483647   149337     14 |  0.064 % |
13.37/13.44	c |    149532 |    6208   479096  3790745 | 2147483647   149530     14 |  0.064 % |
13.37/13.47	c |    149745 |    6208   479096  3790745 | 2147483647   149743     14 |  0.064 % |
13.37/13.49	c |    149978 |    6208   479096  3790745 | 2147483647   149976     14 |  0.064 % |
13.46/13.52	c |    150235 |    6208   479096  3790745 | 2147483647   150233     14 |  0.064 % |
13.46/13.57	c |    150516 |    6208   479096  3790745 | 2147483647   150514     14 |  0.064 % |
13.56/13.61	c |    150826 |    6208   479096  3790745 | 2147483647   150824     14 |  0.064 % |
13.56/13.64	c |    151166 |    6208   479096  3790745 | 2147483647   151164     14 |  0.064 % |
13.56/13.69	c |    151538 |    6208   479096  3790745 | 2147483647   151536     14 |  0.064 % |
13.66/13.73	c |    151948 |    6208   479096  3790745 | 2147483647   151946     14 |  0.064 % |
13.76/13.81	c |    152398 |    6208   479096  3790745 | 2147483647   152396     14 |  0.064 % |
13.76/13.87	c |    152892 |    6208   479096  3790745 | 2147483647   152890     14 |  0.064 % |
13.86/13.97	c |    153435 |    6208   479096  3790745 | 2147483647   153433     14 |  0.064 % |
13.96/14.06	c |    154032 |    6208   479096  3790745 | 2147483647   154030     14 |  0.064 % |
14.06/14.13	c |    154687 |    6208   479096  3790745 | 2147483647   154685     14 |  0.064 % |
14.17/14.24	c |    155407 |    6208   479096  3790745 | 2147483647   155405     14 |  0.064 % |
14.27/14.38	c |    156200 |    6208   479096  3790745 | 2147483647   156198     14 |  0.064 % |
14.36/14.49	c |    157071 |    6208   479096  3790745 | 2147483647   157069     14 |  0.064 % |
14.56/14.62	c |    158029 |    6208   479096  3790745 | 2147483647   158027     14 |  0.064 % |
14.66/14.75	c |    159082 |    6208   479096  3790745 | 2147483647   159080     14 |  0.064 % |
14.86/14.91	c |    160240 |    6208   479096  3790745 | 2147483647   160238     14 |  0.064 % |
15.06/15.12	c |    161513 |    6208   479096  3790745 | 2147483647   161511     14 |  0.064 % |
15.26/15.36	c |    162913 |    6208   479096  3790745 | 2147483647   162911     14 |  0.064 % |
15.46/15.57	c |    164453 |    6208   479096  3790745 | 2147483647   164451     14 |  0.064 % |
15.76/15.80	c |    166148 |    6208   479096  3790745 | 2147483647   166146     14 |  0.064 % |
15.76/15.82	c |    166248 |    6208   479096  3790745 | 2147483647   166246     14 |  0.064 % |
15.76/15.84	c |    166358 |    6208   479096  3790745 | 2147483647   166356     14 |  0.064 % |
15.76/15.85	c |    166480 |    6208   479096  3790745 | 2147483647   166478     14 |  0.064 % |
15.76/15.87	c |    166613 |    6208   479096  3790745 | 2147483647   166611     14 |  0.064 % |
15.76/15.89	c |    166759 |    6208   479096  3790745 | 2147483647   166757     14 |  0.064 % |
15.86/15.92	c |    166920 |    6208   479096  3790745 | 2147483647   166918     14 |  0.064 % |
15.86/15.95	c |    167096 |    6208   479096  3790745 | 2147483647   167094     14 |  0.064 % |
15.86/15.97	c |    167289 |    6208   479096  3790745 | 2147483647   167287     14 |  0.064 % |
15.95/16.00	c |    167502 |    6208   479096  3790745 | 2147483647   167500     14 |  0.064 % |
15.95/16.03	c |    167735 |    6208   479096  3790745 | 2147483647   167733     14 |  0.064 % |
15.95/16.07	c |    167991 |    6208   479096  3790745 | 2147483647   167989     14 |  0.064 % |
16.05/16.10	c |    168273 |    6208   479096  3790745 | 2147483647   168271     14 |  0.064 % |
16.05/16.15	c |    168583 |    6208   479096  3790745 | 2147483647   168581     14 |  0.064 % |
16.16/16.20	c |    168923 |    6208   479096  3790745 | 2147483647   168921     14 |  0.064 % |
16.16/16.24	c |    169296 |    6208   479096  3790745 | 2147483647   169294     14 |  0.064 % |
16.26/16.31	c |    169706 |    6208   479096  3790745 | 2147483647   169704     14 |  0.064 % |
16.26/16.35	c |    170156 |    6208   479096  3790745 | 2147483647   170154     14 |  0.064 % |
16.36/16.40	c |    170650 |    6208   479096  3790745 | 2147483647   170648     14 |  0.064 % |
16.36/16.47	c |    171195 |    6208   479096  3790745 | 2147483647   171193     14 |  0.064 % |
16.46/16.55	c |    171792 |    6208   479096  3790745 | 2147483647   171790     14 |  0.064 % |
16.56/16.65	c |    172447 |    6208   479096  3790745 | 2147483647   172445     14 |  0.064 % |
16.66/16.74	c |    173167 |    6208   479096  3790745 | 2147483647   173165     14 |  0.064 % |
16.76/16.83	c |    173959 |    6208   479096  3790745 | 2147483647   173957     14 |  0.064 % |
16.86/16.93	c |    174830 |    6208   479096  3790745 | 2147483647   174828     14 |  0.064 % |
16.96/17.08	c |    175789 |    6208   479096  3790745 | 2147483647   175787     14 |  0.064 % |
17.16/17.24	c |    176842 |    6208   479096  3790745 | 2147483647   176840     14 |  0.064 % |
17.26/17.39	c |    178001 |    6208   479096  3790745 | 2147483647   177999     14 |  0.064 % |
17.46/17.55	c |    179274 |    6208   479096  3790745 | 2147483647   179272     14 |  0.064 % |
17.75/17.86	c |    180674 |    6208   479096  3790745 | 2147483647   180672     14 |  0.064 % |
17.95/18.09	c |    182214 |    6208   479096  3790745 | 2147483647   182212     14 |  0.064 % |
18.25/18.32	c |    183909 |    6208   479096  3790745 | 2147483647   183907     14 |  0.064 % |
18.45/18.55	c |    185772 |    6208   479096  3790745 | 2147483647   185770     14 |  0.064 % |
18.45/18.57	c |    185873 |    6208   479096  3790745 | 2147483647   185871     14 |  0.064 % |
18.45/18.58	c |    185983 |    6208   479096  3790745 | 2147483647   185981     14 |  0.064 % |
18.45/18.59	c |    186104 |    6208   479096  3790745 | 2147483647   186102     14 |  0.064 % |
18.56/18.61	c |    186237 |    6208   479096  3790745 | 2147483647   186235     14 |  0.064 % |
18.56/18.63	c |    186383 |    6208   479096  3790745 | 2147483647   186381     14 |  0.064 % |
18.56/18.64	c |    186543 |    6208   479096  3790745 | 2147483647   186541     14 |  0.064 % |
18.56/18.66	c |    186719 |    6208   479096  3790745 | 2147483647   186717     14 |  0.064 % |
18.56/18.70	c |    186912 |    6208   479096  3790745 | 2147483647   186910     14 |  0.064 % |
18.66/18.72	c |    187125 |    6208   479096  3790745 | 2147483647   187123     14 |  0.064 % |
18.66/18.76	c |    187358 |    6208   479096  3790745 | 2147483647   187356     14 |  0.064 % |
18.66/18.79	c |    187614 |    6208   479096  3790745 | 2147483647   187612     14 |  0.064 % |
18.75/18.84	c |    187895 |    6208   479096  3790745 | 2147483647   187893     14 |  0.064 % |
18.75/18.88	c |    188207 |    6208   479096  3790745 | 2147483647   188205     14 |  0.064 % |
18.85/18.92	c |    188546 |    6208   479096  3790745 | 2147483647   188544     14 |  0.064 % |
18.85/18.97	c |    188918 |    6208   479096  3790745 | 2147483647   188916     14 |  0.064 % |
18.95/19.04	c |    189327 |    6208   479096  3790745 | 2147483647   189325     14 |  0.064 % |
19.05/19.11	c |    189777 |    6208   479096  3790745 | 2147483647   189775     14 |  0.064 % |
19.05/19.18	c |    190272 |    6208   479096  3790745 | 2147483647   190270     14 |  0.064 % |
19.15/19.27	c |    190814 |    6208   479096  3790745 | 2147483647   190812     14 |  0.064 % |
19.25/19.39	c |    191410 |    6208   479096  3790745 | 2147483647   191408     14 |  0.064 % |
19.45/19.51	c |    192066 |    6208   479096  3790745 | 2147483647   192064     14 |  0.064 % |
19.55/19.63	c |    192786 |    6208   479096  3790745 | 2147483647   192784     14 |  0.064 % |
19.65/19.74	c |    193578 |    6208   479096  3790745 | 2147483647   193576     14 |  0.064 % |
19.75/19.85	c |    194449 |    6208   479096  3790745 | 2147483647   194447     14 |  0.064 % |
19.96/20.09	c |    195407 |    6208   479096  3790745 | 2147483647   195405     14 |  0.064 % |
20.16/20.27	c |    196460 |    6208   479096  3790745 | 2147483647   196458     14 |  0.064 % |
20.46/20.51	c |    197618 |    6208   479096  3790745 | 2147483647   197616     14 |  0.064 % |
20.56/20.69	c |    198893 |    6208   479096  3790745 | 2147483647   198891     14 |  0.064 % |
20.76/20.87	c |    200294 |    6208   479096  3790745 | 2147483647   200292     14 |  0.064 % |
21.06/21.13	c |    201836 |    6208   479096  3790745 | 2147483647   201834     14 |  0.064 % |
21.26/21.35	c |    203531 |    6208   479096  3790745 | 2147483647   203529     14 |  0.064 % |
21.45/21.59	c |    205395 |    6208   479096  3790745 | 2147483647   205393     14 |  0.064 % |
21.65/21.75	c |    207444 |    6208   479096  3790745 | 2147483647   207442     14 |  0.064 % |
21.65/21.76	c |    207544 |    6208   479096  3790745 | 2147483647   207542     14 |  0.064 % |
21.65/21.77	c |    207655 |    6208   479096  3790745 | 2147483647   207653     14 |  0.064 % |
21.65/21.80	c |    207776 |    6208   479096  3790745 | 2147483647   207774     14 |  0.064 % |
21.75/21.85	c |    207909 |    6208   479096  3790745 | 2147483647   207907     14 |  0.064 % |
21.75/21.87	c |    208055 |    6208   479096  3790745 | 2147483647   208053     14 |  0.064 % |
21.75/21.89	c |    208216 |    6208   479096  3790745 | 2147483647   208214     14 |  0.064 % |
21.85/21.92	c |    208394 |    6208   479096  3790745 | 2147483647   208392     14 |  0.064 % |
21.85/21.95	c |    208588 |    6208   479096  3790745 | 2147483647   208586     14 |  0.064 % |
21.85/21.99	c |    208800 |    6208   479096  3790745 | 2147483647   208798     14 |  0.064 % |
21.95/22.01	c |    209035 |    6208   479096  3790745 | 2147483647   209033     14 |  0.064 % |
21.95/22.05	c |    209292 |    6208   479096  3790745 | 2147483647   209290     14 |  0.064 % |
22.05/22.11	c |    209575 |    6208   479096  3790745 | 2147483647   209573     14 |  0.064 % |
22.05/22.16	c |    209884 |    6208   479096  3790745 | 2147483647   209882     14 |  0.064 % |
22.15/22.20	c |    210223 |    6208   479096  3790745 | 2147483647   210221     14 |  0.064 % |
22.15/22.26	c |    210595 |    6208   479096  3790745 | 2147483647   210593     14 |  0.064 % |
22.25/22.32	c |    211004 |    6208   479096  3790745 | 2147483647   211002     14 |  0.064 % |
22.25/22.39	c |    211455 |    6208   479096  3790745 | 2147483647   211453     14 |  0.064 % |
22.35/22.47	c |    211948 |    6208   479096  3790745 | 2147483647   211946     14 |  0.064 % |
22.45/22.57	c |    212490 |    6208   479096  3790745 | 2147483647   212488     14 |  0.064 % |
22.55/22.64	c |    213086 |    6208   479096  3790745 | 2147483647   213084     14 |  0.064 % |
22.65/22.73	c |    213741 |    6208   479096  3790745 | 2147483647   213739     14 |  0.064 % |
22.75/22.84	c |    214462 |    6208   479096  3790745 | 2147483647   214460     14 |  0.064 % |
22.85/22.98	c |    215254 |    6208   479096  3790745 | 2147483647   215252     14 |  0.064 % |
22.95/23.06	c |    216127 |    6208   479096  3790745 | 2147483647   216125     14 |  0.064 % |
23.05/23.19	c |    217085 |    6208   479096  3790745 | 2147483647   217083     14 |  0.064 % |
23.25/23.34	c |    218139 |    6208   479096  3790745 | 2147483647   218137     14 |  0.064 % |
23.45/23.51	c |    219297 |    6208   479096  3790745 | 2147483647   219295     14 |  0.064 % |
23.65/23.73	c |    220570 |    6208   479096  3790745 | 2147483647   220568     14 |  0.064 % |
23.95/24.02	c |    221971 |    6208   479096  3790745 | 2147483647   221969     14 |  0.064 % |
24.25/24.39	c |    223511 |    6208   478573  3787692 | 2147483647   223497     14 |  0.064 % |
24.45/24.58	c |    225205 |    6208   478573  3787692 | 2147483647   225191     14 |  0.064 % |
24.84/24.90	c |    227069 |    6208   478573  3787692 | 2147483647   227055     14 |  0.064 % |
25.15/25.30	c |    229119 |    6208   478573  3787692 | 2147483647   229105     14 |  0.064 % |
25.54/25.65	c |    231373 |    6208   478573  3787692 | 2147483647   231359     14 |  0.064 % |
25.54/25.66	c |    231474 |    6208   478573  3787692 | 2147483647   231460     14 |  0.064 % |
25.54/25.68	c |    231585 |    6208   478573  3787692 | 2147483647   231571     14 |  0.064 % |
25.54/25.69	c |    231706 |    6208   478573  3787692 | 2147483647   231692     14 |  0.064 % |
25.64/25.71	c |    231839 |    6208   478573  3787692 | 2147483647   231825     14 |  0.064 % |
25.64/25.72	c |    231986 |    6208   478573  3787692 | 2147483647   231972     14 |  0.064 % |
25.64/25.76	c |    232146 |    6208   478573  3787692 | 2147483647   232132     14 |  0.064 % |
25.64/25.79	c |    232323 |    6208   478573  3787692 | 2147483647   232309     14 |  0.064 % |
25.74/25.82	c |    232516 |    6208   478573  3787692 | 2147483647   232502     14 |  0.064 % |
25.74/25.89	c |    232729 |    6208   478573  3787692 | 2147483647   232715     14 |  0.064 % |
25.85/25.95	c |    232962 |    6208   478573  3787692 | 2147483647   232948     14 |  0.064 % |
25.85/25.99	c |    233218 |    6208   478573  3787692 | 2147483647   233204     14 |  0.064 % |
25.95/26.04	c |    233500 |    6208   478573  3787692 | 2147483647   233486     14 |  0.064 % |
26.05/26.11	c |    233810 |    6208   478573  3787692 | 2147483647   233796     14 |  0.064 % |
26.05/26.14	c |    234149 |    6208   478573  3787692 | 2147483647   234135     14 |  0.064 % |
26.05/26.18	c |    234521 |    6208   478573  3787692 | 2147483647   234507     14 |  0.064 % |
26.15/26.27	c |    234931 |    6208   478573  3787692 | 2147483647   234917     14 |  0.064 % |
26.25/26.38	c |    235380 |    6208   478573  3787692 | 2147483647   235366     14 |  0.064 % |
26.35/26.46	c |    235873 |    6208   478573  3787692 | 2147483647   235859     14 |  0.064 % |
26.45/26.56	c |    236415 |    6208   478573  3787692 | 2147483647   236401     14 |  0.064 % |
26.55/26.66	c |    237011 |    6208   478573  3787692 | 2147483647   236997     14 |  0.064 % |
26.65/26.77	c |    237666 |    6208   478573  3787692 | 2147483647   237652     14 |  0.064 % |
26.85/26.91	c |    238387 |    6208   478573  3787692 | 2147483647   238373     14 |  0.064 % |
26.95/27.04	c |    239179 |    6208   478573  3787692 | 2147483647   239165     14 |  0.064 % |
27.15/27.20	c |    240052 |    6208   478573  3787692 | 2147483647   240038     14 |  0.064 % |
27.24/27.32	c |    241010 |    6208   478573  3787692 | 2147483647   240996     14 |  0.064 % |
27.35/27.48	c |    242063 |    6208   478573  3787692 | 2147483647   242049     14 |  0.064 % |
27.54/27.68	c |    243221 |    6208   478573  3787692 | 2147483647   243207     14 |  0.064 % |
27.74/27.87	c |    244494 |    6208   478573  3787692 | 2147483647   244480     14 |  0.064 % |
28.04/28.10	c |    245895 |    6208   478573  3787692 | 2147483647   245881     15 |  0.064 % |
28.24/28.33	c |    247435 |    6208   478573  3787692 | 2147483647   247421     15 |  0.064 % |
28.55/28.65	c |    249130 |    6208   478573  3787692 | 2147483647   249116     15 |  0.064 % |
28.94/29.06	c |    250994 |    6208   478573  3787692 | 2147483647   250980     15 |  0.064 % |
29.44/29.52	c |    253044 |    6208   478573  3787692 | 2147483647   253030     15 |  0.064 % |
29.84/29.99	c |    255297 |    6208   478573  3787692 | 2147483647   255283     15 |  0.064 % |
30.44/30.55	c |    257775 |    6208   478573  3787692 | 2147483647   257761     15 |  0.064 % |
30.44/30.57	c |    257875 |    6208   478573  3787692 | 2147483647   257861     15 |  0.064 % |
30.44/30.59	c |    257985 |    6208   478573  3787692 | 2147483647   257971     15 |  0.064 % |
30.54/30.62	c |    258107 |    6208   478573  3787692 | 2147483647   258093     15 |  0.064 % |
30.54/30.64	c |    258240 |    6208   478573  3787692 | 2147483647   258226     15 |  0.064 % |
30.54/30.67	c |    258386 |    6208   478573  3787692 | 2147483647   258372     15 |  0.064 % |
30.64/30.71	c |    258546 |    6208   478573  3787692 | 2147483647   258532     15 |  0.064 % |
30.64/30.74	c |    258722 |    6208   478573  3787692 | 2147483647   258708     15 |  0.064 % |
30.64/30.76	c |    258915 |    6208   478573  3787692 | 2147483647   258901     15 |  0.064 % |
30.64/30.80	c |    259127 |    6208   478573  3787692 | 2147483647   259113     15 |  0.064 % |
30.74/30.87	c |    259360 |    6208   478573  3787692 | 2147483647   259346     15 |  0.064 % |
30.84/30.92	c |    259616 |    6208   478573  3787692 | 2147483647   259602     15 |  0.064 % |
30.84/30.99	c |    259898 |    6208   478573  3787692 | 2147483647   259884     15 |  0.064 % |
30.94/31.05	c |    260208 |    6208   478573  3787692 | 2147483647   260194     15 |  0.064 % |
31.04/31.12	c |    260547 |    6208   478573  3787692 | 2147483647   260533     15 |  0.064 % |
31.14/31.20	c |    260920 |    6208   478573  3787692 | 2147483647   260906     15 |  0.064 % |
31.14/31.27	c |    261329 |    6208   478573  3787692 | 2147483647   261315     15 |  0.064 % |
31.34/31.41	c |    261778 |    6208   478573  3787692 | 2147483647   261764     15 |  0.064 % |
31.44/31.53	c |    262272 |    6208   478573  3787692 | 2147483647   262258     15 |  0.064 % |
31.54/31.67	c |    262814 |    6208   478573  3787692 | 2147483647   262800     15 |  0.064 % |
31.74/31.80	c |    263411 |    6208   478573  3787692 | 2147483647   263397     15 |  0.064 % |
31.84/31.93	c |    264066 |    6208   478573  3787692 | 2147483647   264052     15 |  0.064 % |
31.94/32.09	c |    264786 |    6208   478573  3787692 | 2147483647   264772     15 |  0.064 % |
32.14/32.25	c |    265579 |    6208   478573  3787692 | 2147483647   265565     15 |  0.064 % |
32.34/32.40	c |    266450 |    6208   478573  3787692 | 2147483647   266436     15 |  0.064 % |
32.54/32.61	c |    267408 |    6208   478573  3787692 | 2147483647   267394     15 |  0.064 % |
32.74/32.85	c |    268461 |    6208   478573  3787692 | 2147483647   268447     15 |  0.064 % |
33.13/33.20	c |    269620 |    6208   478573  3787692 | 2147483647   269606     15 |  0.064 % |
33.34/33.46	c |    270895 |    6208   478573  3787692 | 2147483647   270881     15 |  0.064 % |
33.64/33.72	c |    272297 |    6208   478573  3787692 | 2147483647   272283     15 |  0.064 % |
33.95/34.04	c |    273837 |    6208   478573  3787692 | 2147483647   273823     15 |  0.064 % |
34.24/34.36	c |    275531 |    6208   478573  3787692 | 2147483647   275517     15 |  0.064 % |
34.64/34.79	c |    277395 |    6208   478573  3787692 | 2147483647   277381     15 |  0.064 % |
35.04/35.17	c |    279445 |    6208   478573  3787692 | 2147483647   279431     15 |  0.064 % |
35.54/35.70	c |    281698 |    6208   478573  3787692 | 2147483647   281684     15 |  0.064 % |
36.14/36.29	c |    284180 |    6208   478573  3787692 | 2147483647   284166     15 |  0.064 % |
36.74/36.87	c |    286906 |    6208   478573  3787692 | 2147483647   286892     15 |  0.064 % |
36.84/36.90	c |    287006 |    6208   478573  3787692 | 2147483647   286992     15 |  0.064 % |
36.84/36.93	c |    287117 |    6208   478573  3787692 | 2147483647   287103     15 |  0.064 % |
36.84/36.96	c |    287238 |    6208   478573  3787692 | 2147483647   287224     15 |  0.064 % |
36.84/36.99	c |    287374 |    6208   478573  3787692 | 2147483647   287360     15 |  0.064 % |
36.94/37.01	c |    287521 |    6208   478573  3787692 | 2147483647   287507     15 |  0.064 % |
36.94/37.04	c |    287682 |    6208   478573  3787692 | 2147483647   287668     15 |  0.064 % |
36.94/37.09	c |    287859 |    6208   478573  3787692 | 2147483647   287845     15 |  0.064 % |
37.04/37.13	c |    288052 |    6208   478573  3787692 | 2147483647   288038     15 |  0.064 % |
37.04/37.18	c |    288264 |    6208   478573  3787692 | 2147483647   288250     15 |  0.064 % |
37.14/37.23	c |    288497 |    6208   478573  3787692 | 2147483647   288483     15 |  0.064 % |
37.14/37.27	c |    288754 |    6208   478573  3787692 | 2147483647   288740     15 |  0.064 % |
37.24/37.33	c |    289035 |    6208   478573  3787692 | 2147483647   289021     15 |  0.064 % |
37.34/37.44	c |    289346 |    6208   478573  3787692 | 2147483647   289332     15 |  0.064 % |
37.44/37.53	c |    289685 |    6208   478573  3787692 | 2147483647   289671     15 |  0.064 % |
37.44/37.60	c |    290057 |    6208   478573  3787692 | 2147483647   290043     15 |  0.064 % |
37.64/37.71	c |    290467 |    6208   478573  3787692 | 2147483647   290453     15 |  0.064 % |
37.74/37.81	c |    290916 |    6208   478573  3787692 | 2147483647   290902     15 |  0.064 % |
37.84/37.92	c |    291410 |    6208   478573  3787692 | 2147483647   291396     15 |  0.064 % |
37.94/38.05	c |    291952 |    6208   478573  3787692 | 2147483647   291938     15 |  0.064 % |
38.04/38.16	c |    292548 |    6208   478573  3787692 | 2147483647   292534     15 |  0.064 % |
38.24/38.34	c |    293203 |    6208   478573  3787692 | 2147483647   293189     15 |  0.064 % |
38.44/38.52	c |    293923 |    6208   478573  3787692 | 2147483647   293909     15 |  0.064 % |
38.54/38.63	c |    294715 |    6208   478573  3787692 | 2147483647   294701     15 |  0.064 % |
38.74/38.85	c |    295587 |    6208   478573  3787692 | 2147483647   295573     15 |  0.064 % |
39.04/39.11	c |    296545 |    6208   478573  3787692 | 2147483647   296531     15 |  0.064 % |
39.24/39.35	c |    297598 |    6208   478573  3787692 | 2147483647   297584     15 |  0.064 % |
39.54/39.68	c |    298756 |    6208   478573  3787692 | 2147483647   298742     15 |  0.064 % |
39.83/39.98	c |    300029 |    6208   478573  3787692 | 2147483647   300015     15 |  0.064 % |
40.23/40.40	c |    301429 |    6208   478573  3787692 | 2147483647   301415     15 |  0.064 % |
40.64/40.75	c |    302971 |    6208   478573  3787692 | 2147483647   302957     15 |  0.064 % |
41.03/41.16	c |    304666 |    6208   478573  3787692 | 2147483647   304652     15 |  0.064 % |
41.53/41.62	c |    306529 |    6208   478573  3787692 | 2147483647   306515     15 |  0.064 % |
42.03/42.17	c |    308578 |    6208   478573  3787692 | 2147483647   308564     15 |  0.064 % |
42.63/42.71	c |    310831 |    6208   478573  3787692 | 2147483647   310817     15 |  0.064 % |
43.13/43.25	c |    313309 |    6208   478573  3787692 | 2147483647   313295     15 |  0.064 % |
43.83/43.91	c |    316034 |    6208   478573  3787692 | 2147483647   316020     15 |  0.064 % |
44.63/44.79	c |    319031 |    6208   478573  3787692 | 2147483647   319017     15 |  0.064 % |
44.73/44.85	c |    319131 |    6208   478573  3787692 | 2147483647   319117     15 |  0.064 % |
44.73/44.88	c |    319241 |    6208   478573  3787692 | 2147483647   319227     15 |  0.064 % |
44.83/44.92	c |    319363 |    6208   478573  3787692 | 2147483647   319349     15 |  0.064 % |
44.83/44.98	c |    319497 |    6208   478573  3787692 | 2147483647   319483     15 |  0.064 % |
44.93/45.02	c |    319643 |    6208   478573  3787692 | 2147483647   319629     15 |  0.064 % |
44.93/45.08	c |    319805 |    6208   478573  3787692 | 2147483647   319791     15 |  0.064 % |
45.03/45.13	c |    319983 |    6208   478573  3787692 | 2147483647   319969     15 |  0.064 % |
45.03/45.19	c |    320177 |    6208   478573  3787692 | 2147483647   320163     15 |  0.064 % |
45.13/45.28	c |    320390 |    6208   478573  3787692 | 2147483647   320376     15 |  0.064 % |
45.23/45.33	c |    320624 |    6208   478573  3787692 | 2147483647   320610     15 |  0.064 % |
45.23/45.39	c |    320881 |    6208   478573  3787692 | 2147483647   320867     15 |  0.064 % |
45.33/45.44	c |    321163 |    6208   478573  3787692 | 2147483647   321149     15 |  0.064 % |
45.43/45.53	c |    321475 |    6208   478573  3787692 | 2147483647   321461     15 |  0.064 % |
45.53/45.64	c |    321814 |    6208   478573  3787692 | 2147483647   321800     15 |  0.064 % |
45.63/45.73	c |    322186 |    6208   478573  3787692 | 2147483647   322172     15 |  0.064 % |
45.73/45.82	c |    322595 |    6208   478573  3787692 | 2147483647   322581     15 |  0.064 % |
45.83/45.94	c |    323044 |    6208   478573  3787692 | 2147483647   323030     15 |  0.064 % |
45.92/46.09	c |    323537 |    6208   478573  3787692 | 2147483647   323523     15 |  0.064 % |
46.13/46.24	c |    324079 |    6208   478573  3787692 | 2147483647   324065     15 |  0.064 % |
46.22/46.39	c |    324675 |    6208   478573  3787692 | 2147483647   324661     15 |  0.064 % |
46.52/46.64	c |    325330 |    6208   478573  3787692 | 2147483647   325316     15 |  0.064 % |
46.73/46.89	c |    326053 |    6208   478573  3787692 | 2147483647   326039     15 |  0.064 % |
46.93/47.08	c |    326846 |    6208   478573  3787692 | 2147483647   326832     15 |  0.064 % |
47.14/47.28	c |    327718 |    6208   478573  3787692 | 2147483647   327704     15 |  0.064 % |
47.43/47.52	c |    328677 |    6208   478573  3787692 | 2147483647   328663     15 |  0.064 % |
47.63/47.78	c |    329730 |    6208   478573  3787692 | 2147483647   329716     15 |  0.064 % |
47.93/48.04	c |    330889 |    6208   478573  3787692 | 2147483647   330875     15 |  0.064 % |
48.23/48.35	c |    332163 |    6208   478573  3787692 | 2147483647   332149     15 |  0.064 % |
48.53/48.68	c |    333563 |    6208   478573  3787692 | 2147483647   333549     15 |  0.064 % |
48.93/49.03	c |    335104 |    6208   478573  3787692 | 2147483647   335090     15 |  0.064 % |
49.23/49.36	c |    336798 |    6208   478573  3787692 | 2147483647   336784     15 |  0.064 % |
49.73/49.86	c |    338662 |    6208   478573  3787692 | 2147483647   338648     15 |  0.064 % |
50.23/50.38	c |    340711 |    6208   478573  3787692 | 2147483647   340697     15 |  0.064 % |
50.83/50.96	c |    342965 |    6208   478573  3787692 | 2147483647   342951     15 |  0.064 % |
51.53/51.63	c |    345444 |    6208   478573  3787692 | 2147483647   345430     15 |  0.064 % |
52.22/52.32	c |    348170 |    6208   478573  3787692 | 2147483647   348156     15 |  0.064 % |
53.12/53.23	c |    351167 |    6208   478573  3787692 | 2147483647   351153     15 |  0.064 % |
53.92/54.00	c |    354463 |    6208   478573  3787692 | 2147483647   354449     15 |  0.064 % |
53.92/54.02	c |    354563 |    6208   478573  3787692 | 2147483647   354549     15 |  0.064 % |
53.92/54.04	c |    354673 |    6208   478573  3787692 | 2147483647   354659     15 |  0.064 % |
53.92/54.06	c |    354795 |    6208   478573  3787692 | 2147483647   354781     15 |  0.064 % |
53.92/54.10	c |    354928 |    6208   478573  3787692 | 2147483647   354914     15 |  0.064 % |
54.02/54.12	c |    355074 |    6208   478573  3787692 | 2147483647   355060     15 |  0.064 % |
54.02/54.16	c |    355235 |    6208   478573  3787692 | 2147483647   355221     15 |  0.064 % |
54.12/54.22	c |    355414 |    6208   478573  3787692 | 2147483647   355400     15 |  0.064 % |
54.12/54.27	c |    355608 |    6208   478573  3787692 | 2147483647   355594     15 |  0.064 % |
54.22/54.33	c |    355822 |    6208   478573  3787692 | 2147483647   355808     15 |  0.064 % |
54.32/54.42	c |    356055 |    6208   478573  3787692 | 2147483647   356041     15 |  0.064 % |
54.32/54.47	c |    356313 |    6208   478573  3787692 | 2147483647   356299     15 |  0.064 % |
54.42/54.53	c |    356594 |    6208   478573  3787692 | 2147483647   356580     15 |  0.064 % |
54.42/54.58	c |    356903 |    6208   478573  3787692 | 2147483647   356889     15 |  0.064 % |
54.52/54.68	c |    357242 |    6208   478573  3787692 | 2147483647   357228     15 |  0.064 % |
54.72/54.84	c |    357614 |    6208   478573  3787692 | 2147483647   357600     15 |  0.064 % |
54.82/54.95	c |    358023 |    6208   478573  3787692 | 2147483647   358009     15 |  0.064 % |
54.92/55.09	c |    358472 |    6208   478573  3787692 | 2147483647   358458     15 |  0.064 % |
55.12/55.25	c |    358966 |    6208   478573  3787692 | 2147483647   358952     15 |  0.064 % |
55.22/55.39	c |    359508 |    6208   478573  3787692 | 2147483647   359494     15 |  0.064 % |
55.42/55.55	c |    360104 |    6208   478573  3787692 | 2147483647   360090     15 |  0.064 % |
55.52/55.69	c |    360760 |    6208   478573  3787692 | 2147483647   360746     15 |  0.064 % |
55.82/55.91	c |    361480 |    6208   478573  3787692 | 2147483647   361466     15 |  0.064 % |
56.02/56.14	c |    362273 |    6208   478573  3787692 | 2147483647   362259     15 |  0.064 % |
56.22/56.34	c |    363146 |    6208   478573  3787692 | 2147483647   363132     15 |  0.064 % |
56.42/56.52	c |    364105 |    6208   478573  3787692 | 2147483647   364091     15 |  0.064 % |
56.72/56.81	c |    365158 |    6208   478573  3787692 | 2147483647   365144     15 |  0.064 % |
56.92/57.09	c |    366316 |    6208   478573  3787692 | 2147483647   366302     15 |  0.064 % |
57.22/57.38	c |    367589 |    6208   478573  3787692 | 2147483647   367575     15 |  0.064 % |
57.72/57.87	c |    368989 |    6208   478573  3787692 | 2147483647   368975     15 |  0.064 % |
58.12/58.27	c |    370530 |    6208   478573  3787692 | 2147483647   370516     15 |  0.064 % |
58.62/58.77	c |    372224 |    6208   478573  3787692 | 2147483647   372210     15 |  0.064 % |
59.12/59.20	c |    374089 |    6208   478573  3787692 | 2147483647   374075     15 |  0.064 % |
59.62/59.76	c |    376138 |    6208   478573  3787692 | 2147483647   376124     15 |  0.064 % |
60.11/60.25	c |    378391 |    6208   478573  3787692 | 2147483647   378377     15 |  0.064 % |
60.72/60.87	c |    380869 |    6208   478573  3787692 | 2147483647   380855     15 |  0.064 % |
61.43/61.51	c |    383594 |    6208   478573  3787692 | 2147483647   383580     15 |  0.064 % |
61.92/62.05	c |    386591 |    6208   478573  3787692 | 2147483647   386577     15 |  0.064 % |
63.02/63.10	c |    389887 |    6208   478573  3787692 | 2147483647   389873     15 |  0.064 % |
63.91/64.08	c |    393513 |    6208   478573  3787692 | 2147483647   393499     15 |  0.064 % |
64.01/64.13	c |    393614 |    6208   478573  3787692 | 2147483647   393600     15 |  0.064 % |
64.01/64.19	c |    393724 |    6208   478573  3787692 | 2147483647   393710     15 |  0.064 % |
64.11/64.25	c |    393845 |    6208   478573  3787692 | 2147483647   393831     15 |  0.064 % |
64.21/64.30	c |    393978 |    6208   478573  3787692 | 2147483647   393964     15 |  0.064 % |
64.21/64.35	c |    394124 |    6208   478573  3787692 | 2147483647   394110     15 |  0.064 % |
64.31/64.41	c |    394284 |    6208   478573  3787692 | 2147483647   394270     15 |  0.064 % |
64.31/64.47	c |    394461 |    6208   478573  3787692 | 2147483647   394447     15 |  0.064 % |
64.41/64.55	c |    394654 |    6208   478573  3787692 | 2147483647   394640     15 |  0.064 % |
64.51/64.65	c |    394867 |    6208   478573  3787692 | 2147483647   394853     15 |  0.064 % |
64.61/64.73	c |    395100 |    6208   478573  3787692 | 2147483647   395086     15 |  0.064 % |
64.72/64.81	c |    395357 |    6208   478573  3787692 | 2147483647   395343     15 |  0.064 % |
64.82/64.91	c |    395638 |    6208   478573  3787692 | 2147483647   395624     15 |  0.064 % |
64.82/65.00	c |    395947 |    6208   478573  3787692 | 2147483647   395933     15 |  0.064 % |
64.91/65.09	c |    396286 |    6208   478573  3787692 | 2147483647   396272     15 |  0.064 % |
65.11/65.22	c |    396658 |    6208   478573  3787692 | 2147483647   396644     15 |  0.064 % |
65.21/65.36	c |    397067 |    6208   478573  3787692 | 2147483647   397053     15 |  0.064 % |
65.41/65.53	c |    397516 |    6208   478573  3787692 | 2147483647   397502     15 |  0.064 % |
65.61/65.74	c |    398009 |    6208   478573  3787692 | 2147483647   397995     15 |  0.064 % |
65.82/65.91	c |    398551 |    6208   478573  3787692 | 2147483647   398537     15 |  0.064 % |
66.01/66.11	c |    399148 |    6208   478573  3787692 | 2147483647   399134     15 |  0.064 % |
66.21/66.32	c |    399803 |    6208   478573  3787692 | 2147483647   399789     15 |  0.064 % |
66.41/66.50	c |    400523 |    6208   478573  3787692 | 2147483647   400509     15 |  0.064 % |
66.61/66.77	c |    401315 |    6208   478573  3787692 | 2147483647   401301     15 |  0.064 % |
66.92/67.04	c |    402186 |    6208   478573  3787692 | 2147483647   402172     15 |  0.064 % |
67.21/67.35	c |    403144 |    6208   478573  3787692 | 2147483647   403130     15 |  0.064 % |
67.51/67.66	c |    404197 |    6208   478573  3787692 | 2147483647   404183     15 |  0.064 % |
67.81/67.91	c |    405355 |    6208   478573  3787692 | 2147483647   405341     15 |  0.064 % |
68.11/68.29	c |    406629 |    6208   478573  3787692 | 2147483647   406615     15 |  0.064 % |
68.62/68.73	c |    408029 |    6208   478573  3787692 | 2147483647   408015     15 |  0.064 % |
69.12/69.24	c |    409569 |    6208   478573  3787692 | 2147483647   409555     15 |  0.064 % |
69.61/69.71	c |    411265 |    6208   478573  3787692 | 2147483647   411251     16 |  0.064 % |
70.22/70.33	c |    413129 |    6208   478573  3787692 | 2147483647   413115     16 |  0.064 % |
71.01/71.20	c |    415178 |    6208   478573  3787692 | 2147483647   415164     16 |  0.064 % |
71.61/71.71	c |    417431 |    6208   478573  3787692 | 2147483647   417417     16 |  0.064 % |
72.31/72.42	c |    419909 |    6208   478573  3787692 | 2147483647   419895     16 |  0.064 % |
72.81/72.92	c |    422635 |    6208   478573  3787692 | 2147483647   422621     16 |  0.064 % |
73.81/73.90	c |    425634 |    6208   478573  3787692 | 2147483647   425620     16 |  0.064 % |
74.72/74.84	c |    428930 |    6208   478573  3787692 | 2147483647   428916     16 |  0.064 % |
75.91/76.05	c |    432555 |    6208   478573  3787692 | 2147483647   432541     16 |  0.064 % |
76.91/77.02	c |    436544 |    6208   478573  3787692 | 2147483647   436530     16 |  0.064 % |
76.91/77.07	c |    436644 |    6208   478573  3787692 | 2147483647   436630     16 |  0.064 % |
77.01/77.11	c |    436754 |    6208   478573  3787692 | 2147483647   436740     16 |  0.064 % |
77.01/77.15	c |    436876 |    6208   478573  3787692 | 2147483647   436862     16 |  0.064 % |
77.11/77.21	c |    437009 |    6208   478573  3787692 | 2147483647   436995     16 |  0.064 % |
77.11/77.29	c |    437157 |    6208   478573  3787692 | 2147483647   437143     16 |  0.064 % |
77.21/77.38	c |    437317 |    6208   478573  3787692 | 2147483647   437303     16 |  0.064 % |
77.31/77.44	c |    437494 |    6208   478573  3787692 | 2147483647   437480     16 |  0.064 % |
77.41/77.55	c |    437687 |    6208   478573  3787692 | 2147483647   437673     16 |  0.064 % |
77.51/77.63	c |    437899 |    6208   478573  3787692 | 2147483647   437885     16 |  0.064 % |
77.61/77.73	c |    438132 |    6208   478573  3787692 | 2147483647   438118     16 |  0.064 % |
77.71/77.81	c |    438389 |    6208   478573  3787692 | 2147483647   438375     16 |  0.064 % |
77.71/77.90	c |    438670 |    6208   478573  3787692 | 2147483647   438656     16 |  0.064 % |
77.91/78.01	c |    438980 |    6208   478573  3787692 | 2147483647   438966     16 |  0.064 % |
78.01/78.11	c |    439319 |    6208   478573  3787692 | 2147483647   439305     16 |  0.064 % |
78.11/78.22	c |    439692 |    6208   478573  3787692 | 2147483647   439678     16 |  0.064 % |
78.21/78.33	c |    440102 |    6208   478573  3787692 | 2147483647   440088     16 |  0.064 % |
78.31/78.46	c |    440551 |    6208   478573  3787692 | 2147483647   440537     16 |  0.064 % |
78.40/78.59	c |    441044 |    6208   478573  3787692 | 2147483647   441030     16 |  0.064 % |
78.60/78.77	c |    441586 |    6208   478573  3787692 | 2147483647   441572     16 |  0.064 % |
78.80/78.91	c |    442182 |    6208   478573  3787692 | 2147483647   442168     16 |  0.064 % |
79.11/79.21	c |    442837 |    6208   478573  3787692 | 2147483647   442823     16 |  0.064 % |
79.20/79.38	c |    443557 |    6208   478573  3787692 | 2147483647   443543     16 |  0.064 % |
79.61/79.72	c |    444351 |    6208   478573  3787692 | 2147483647   444337     16 |  0.064 % |
79.91/80.03	c |    445222 |    6208   478573  3787692 | 2147483647   445208     16 |  0.064 % |
80.22/80.35	c |    446181 |    6208   478573  3787692 | 2147483647   446167     16 |  0.064 % |
80.61/80.70	c |    447235 |    6208   478573  3787692 | 2147483647   447221     16 |  0.064 % |
80.91/81.09	c |    448394 |    6208   478573  3787692 | 2147483647   448380     16 |  0.064 % |
81.41/81.53	c |    449667 |    6208   478573  3787692 | 2147483647   449653     16 |  0.064 % |
81.81/81.98	c |    451067 |    6208   478573  3787692 | 2147483647   451053     16 |  0.064 % |
82.21/82.37	c |    452608 |    6208   478573  3787692 | 2147483647   452594     16 |  0.064 % |
82.91/83.01	c |    454303 |    6208   478573  3787692 | 2147483647   454289     16 |  0.064 % |
83.61/83.70	c |    456166 |    6208   478573  3787692 | 2147483647   456152     16 |  0.064 % |
84.31/84.42	c |    458215 |    6208   478573  3787692 | 2147483647   458201     16 |  0.064 % |
84.91/85.08	c |    460468 |    6208   478573  3787692 | 2147483647   460454     16 |  0.064 % |
85.71/85.85	c |    462946 |    6208   478573  3787692 | 2147483647   462932     16 |  0.064 % |
86.71/86.84	c |    465671 |    6208   478573  3787692 | 2147483647   465657     16 |  0.064 % |
87.41/87.50	c |    468668 |    6208   478573  3787692 | 2147483647   468654     16 |  0.064 % |
88.60/88.76	c |    471964 |    6208   478573  3787692 | 2147483647   471950     16 |  0.064 % |
89.90/90.09	c |    475589 |    6208   478573  3787692 | 2147483647   475575     16 |  0.064 % |
91.60/91.77	c |    479577 |    6206   478573  3787692 | 2147483647   479562     16 |  0.097 % |
93.70/93.86	c |    483963 |    6205   478573  3787692 |   479985   431392     16 |  0.113 % |
93.70/93.89	c |    484063 |    6205   478573  3787692 |   479985   431492     16 |  0.113 % |
93.80/93.95	c |    484175 |    6205   478573  3787692 |   479985   431604     16 |  0.113 % |
93.80/93.99	c |    484296 |    6205   478573  3787692 |   479985   431725     16 |  0.113 % |
93.90/94.04	c |    484429 |    6205   478573  3787692 |   479985   431858     16 |  0.113 % |
93.90/94.09	c |    484575 |    6205   478573  3787692 |   479985   432004     16 |  0.113 % |
94.00/94.15	c |    484735 |    6205   478573  3787692 |   479985   432164     16 |  0.113 % |
94.10/94.21	c |    484911 |    6205   478573  3787692 |   479985   432340     16 |  0.113 % |
94.10/94.27	c |    485105 |    6205   478573  3787692 |   479985   432534     16 |  0.113 % |
94.20/94.36	c |    485317 |    6205   478573  3787692 |   479985   432746     16 |  0.113 % |
94.30/94.43	c |    485550 |    6205   478573  3787692 |   479985   432979     16 |  0.113 % |
94.40/94.51	c |    485807 |    6205   478573  3787692 |   479985   433236     16 |  0.113 % |
94.50/94.63	c |    486088 |    6205   478573  3787692 |   479985   433517     16 |  0.113 % |
94.60/94.74	c |    486397 |    6205   478573  3787692 |   479985   433826     16 |  0.113 % |
94.70/94.87	c |    486737 |    6205   478573  3787692 |   479985   434166     16 |  0.113 % |
94.80/94.98	c |    487110 |    6205   478573  3787692 |   479985   434539     16 |  0.113 % |
95.00/95.14	c |    487519 |    6205   478573  3787692 |   479985   434948     16 |  0.113 % |
95.20/95.30	c |    487968 |    6205   478573  3787692 |   479985   435397     16 |  0.113 % |
95.30/95.46	c |    488461 |    6205   478573  3787692 |   479985   435890     16 |  0.113 % |
95.50/95.63	c |    489004 |    6205   478573  3787692 |   479985   436433     16 |  0.113 % |
95.69/95.85	c |    489601 |    6205   478573  3787692 |   479985   437030     16 |  0.113 % |
95.89/96.04	c |    490257 |    6205   478573  3787692 | 2147483647   437686     16 |  0.113 % |
96.09/96.22	c |    490977 |    6205   478573  3787692 | 2147483647   438406     16 |  0.113 % |
96.29/96.45	c |    491770 |    6205   478573  3787692 | 2147483647   439199     16 |  0.113 % |
96.39/96.59	c |    492641 |    6205   478573  3787692 | 2147483647   440070     16 |  0.113 % |
96.60/96.77	c |    493600 |    6205   478573  3787692 | 2147483647   441029     16 |  0.113 % |
96.89/97.06	c |    494653 |    6205   478573  3787692 | 2147483647   442082     16 |  0.113 % |
97.19/97.39	c |    495811 |    6205   478573  3787692 | 2147483647   443240     16 |  0.113 % |
97.70/97.81	c |    497085 |    6205   478573  3787692 | 2147483647   444514     16 |  0.113 % |
98.09/98.28	c |    498485 |    6205   478573  3787692 | 2147483647   445914     16 |  0.113 % |
98.69/98.83	c |    500026 |    6205   478573  3787692 | 2147483647   447455     16 |  0.113 % |
99.29/99.43	c |    501720 |    6205   478573  3787692 | 2147483647   449149     16 |  0.113 % |
99.90/100.08	c |    503584 |    6205   478573  3787692 | 2147483647   451013     16 |  0.113 % |
100.49/100.61	c |    505633 |    6205   478573  3787692 | 2147483647   453062     16 |  0.113 % |
101.19/101.36	c |    507886 |    6205   478573  3787692 | 2147483647   455315     16 |  0.113 % |
101.99/102.19	c |    510365 |    6205   478573  3787692 | 2147483647   457794     16 |  0.113 % |
102.89/103.07	c |    513091 |    6205   478573  3787692 | 2147483647   460520     16 |  0.113 % |
103.59/103.71	c |    516089 |    6205   478573  3787692 | 2147483647   463518     16 |  0.113 % |
104.99/105.18	c |    519385 |    6205   478573  3787692 | 2147483647   466814     16 |  0.113 % |
106.39/106.58	c |    523010 |    6205   478573  3787692 | 2147483647   470439     16 |  0.113 % |
107.69/107.88	c |    526997 |    6205   478573  3787692 | 2147483647   474426     16 |  0.113 % |
109.39/109.59	c |    531382 |    6205   478573  3787692 | 2147483647   478811     16 |  0.113 % |
111.58/111.73	c |    536206 |    6205   478573  3787692 | 2147483647   483635     16 |  0.113 % |
111.68/111.80	c |    536306 |    6205   478573  3787692 | 2147483647   483735     16 |  0.113 % |
111.68/111.87	c |    536416 |    6205   478573  3787692 | 2147483647   483845     16 |  0.113 % |
111.78/111.93	c |    536538 |    6205   478573  3787692 | 2147483647   483967     16 |  0.113 % |
111.78/111.99	c |    536671 |    6205   478573  3787692 | 2147483647   484100     16 |  0.113 % |
111.88/112.04	c |    536820 |    6205   478573  3787692 | 2147483647   484249     16 |  0.113 % |
111.88/112.09	c |    536980 |    6205   478573  3787692 | 2147483647   484409     16 |  0.113 % |
111.99/112.15	c |    537156 |    6205   478573  3787692 | 2147483647   484585     16 |  0.113 % |
112.09/112.22	c |    537349 |    6205   478573  3787692 | 2147483647   484778     16 |  0.113 % |
112.09/112.29	c |    537562 |    6205   478573  3787692 | 2147483647   484991     16 |  0.113 % |
112.28/112.40	c |    537795 |    6205   478573  3787692 | 2147483647   485224     16 |  0.113 % |
112.28/112.50	c |    538051 |    6205   478573  3787692 | 2147483647   485480     16 |  0.113 % |
112.48/112.61	c |    538332 |    6205   478573  3787692 | 2147483647   485761     16 |  0.113 % |
112.58/112.70	c |    538641 |    6205   478573  3787692 | 2147483647   486070     16 |  0.113 % |
112.68/112.84	c |    538980 |    6205   478573  3787692 | 2147483647   486409     16 |  0.113 % |
112.78/112.93	c |    539352 |    6205   478573  3787692 | 2147483647   486781     16 |  0.113 % |
112.88/113.00	c |    539761 |    6205   478573  3787692 | 2147483647   487190     16 |  0.113 % |
112.98/113.11	c |    540210 |    6205   478573  3787692 | 2147483647   487639     16 |  0.113 % |
113.09/113.30	c |    540704 |    6205   478573  3787692 | 2147483647   488133     16 |  0.113 % |
113.28/113.44	c |    541246 |    6205   478573  3787692 | 2147483647   488675     16 |  0.113 % |
113.49/113.65	c |    541842 |    6205   478573  3787692 | 2147483647   489271     16 |  0.113 % |
113.69/113.85	c |    542499 |    6205   478573  3787692 | 2147483647   489928     16 |  0.113 % |
113.99/114.14	c |    543219 |    6205   478573  3787692 | 2147483647   490648     16 |  0.113 % |
114.29/114.48	c |    544011 |    6205   478573  3787692 | 2147483647   491440     16 |  0.113 % |
114.69/114.82	c |    544883 |    6205   478573  3787692 | 2147483647   492312     16 |  0.113 % |
115.09/115.21	c |    545841 |    6205   478573  3787692 | 2147483647   493270     16 |  0.113 % |
115.39/115.58	c |    546894 |    6205   478573  3787692 | 2147483647   494323     16 |  0.113 % |
115.79/115.91	c |    548053 |    6205   478573  3787692 | 2147483647   495482     16 |  0.113 % |
116.19/116.38	c |    549327 |    6205   478573  3787692 | 2147483647   496756     16 |  0.113 % |
116.79/116.90	c |    550727 |    6205   478573  3787692 | 2147483647   498156     16 |  0.113 % |
117.49/117.63	c |    552267 |    6205   478573  3787692 | 2147483647   499696     16 |  0.113 % |
118.39/118.50	c |    553962 |    6205   478573  3787692 | 2147483647   501391     16 |  0.113 % |
119.19/119.30	c |    555825 |    6205   478573  3787692 | 2147483647   503254     16 |  0.113 % |
119.99/120.11	c |    557875 |    6205   478573  3787692 | 2147483647   505304     16 |  0.113 % |
120.68/120.85	c |    560128 |    6205   478573  3787692 | 2147483647   507557     16 |  0.113 % |
121.58/121.78	c |    562607 |    6205   478573  3787692 | 2147483647   510036     16 |  0.113 % |
122.38/122.56	c |    565332 |    6205   478573  3787692 | 2147483647   512761     16 |  0.113 % |
123.58/123.71	c |    568329 |    6205   478573  3787692 | 2147483647   515758     16 |  0.113 % |
125.08/125.23	c |    571627 |    6205   478573  3787692 | 2147483647   519056     16 |  0.113 % |
126.28/126.41	c |    575252 |    6205   477846  3782698 | 2147483647   522670     16 |  0.113 % |
127.68/127.88	c |    579240 |    6205   477846  3782698 | 2147483647   526658     16 |  0.113 % |
129.98/130.17	c |    583626 |    6205   477846  3782698 | 2147483647   531044     16 |  0.113 % |
131.97/132.15	c |    588450 |    6205   477846  3782698 | 2147483647   535868     16 |  0.113 % |
134.48/134.61	c |    593756 |    6205   477846  3782698 | 2147483647   541174     16 |  0.113 % |
134.48/134.65	c |    593858 |    6205   477846  3782698 | 2147483647   541276     16 |  0.113 % |
134.48/134.68	c |    593969 |    6205   477846  3782698 | 2147483647   541387     16 |  0.113 % |
134.58/134.74	c |    594091 |    6205   477846  3782698 | 2147483647   541509     16 |  0.113 % |
134.68/134.84	c |    594224 |    6205   477846  3782698 | 2147483647   541642     16 |  0.113 % |
134.78/134.94	c |    594370 |    6205   477846  3782698 | 2147483647   541788     16 |  0.113 % |
134.88/135.03	c |    594533 |    6205   477846  3782698 | 2147483647   541951     16 |  0.113 % |
134.98/135.11	c |    594709 |    6205   477846  3782698 | 2147483647   542127     16 |  0.113 % |
135.09/135.23	c |    594902 |    6205   477846  3782698 | 2147483647   542320     16 |  0.113 % |
135.19/135.33	c |    595114 |    6205   477846  3782698 | 2147483647   542532     16 |  0.113 % |
135.28/135.44	c |    595349 |    6205   477846  3782698 | 2147483647   542767     16 |  0.113 % |
135.38/135.56	c |    595605 |    6205   477846  3782698 | 2147483647   543023     16 |  0.113 % |
135.68/135.81	c |    595886 |    6205   477846  3782698 | 2147483647   543304     16 |  0.113 % |
135.78/135.98	c |    596195 |    6205   477846  3782698 | 2147483647   543613     16 |  0.113 % |
135.98/136.17	c |    596535 |    6205   477846  3782698 | 2147483647   543953     16 |  0.113 % |
136.18/136.33	c |    596907 |    6205   477846  3782698 | 2147483647   544325     16 |  0.113 % |
136.38/136.55	c |    597316 |    6205   477846  3782698 | 2147483647   544734     16 |  0.113 % |
136.58/136.72	c |    597765 |    6205   477846  3782698 | 2147483647   545183     16 |  0.113 % |
136.78/136.99	c |    598260 |    6205   477846  3782698 | 2147483647   545678     16 |  0.113 % |
137.08/137.26	c |    598803 |    6205   477846  3782698 | 2147483647   546221     16 |  0.113 % |
137.48/137.60	c |    599401 |    6205   477846  3782698 | 2147483647   546819     16 |  0.113 % |
137.68/137.87	c |    600056 |    6205   477846  3782698 |   547420   547474     16 |  0.113 % |
138.78/138.92	c |    600776 |    6205   477846  3782698 |   547420   491022     16 |  0.113 % |
139.18/139.34	c |    601568 |    6205   477846  3782698 |   547420   491814     16 |  0.113 % |
139.58/139.70	c |    602439 |    6205   477846  3782698 |   547420   492685     16 |  0.113 % |
139.98/140.17	c |    603398 |    6205   477846  3782698 |   547420   493644     16 |  0.113 % |
140.38/140.56	c |    604451 |    6205   477846  3782698 |   547420   494697     16 |  0.113 % |
140.88/141.08	c |    605609 |    6205   477846  3782698 |   547420   495855     16 |  0.113 % |
141.48/141.62	c |    606883 |    6205   477846  3782698 |   547420   497129     16 |  0.113 % |
142.07/142.20	c |    608286 |    6205   477846  3782698 |   547420   498532     17 |  0.113 % |
142.78/142.93	c |    609826 |    6205   477846  3782698 |   547420   500072     17 |  0.113 % |
143.67/143.81	c |    611523 |    6205   477846  3782698 | 2147483647   501769     17 |  0.113 % |
144.37/144.53	c |    613387 |    6205   477846  3782698 | 2147483647   503633     17 |  0.113 % |
145.57/145.75	c |    615438 |    6205   477846  3782698 | 2147483647   505684     17 |  0.113 % |
146.37/146.59	c |    617691 |    6205   477846  3782698 | 2147483647   507937     17 |  0.113 % |
147.87/148.06	c |    620170 |    6205   477846  3782698 |   510247   510416     17 |  0.113 % |
149.57/149.79	c |    622896 |    6205   477846  3782698 |   510247   453443     17 |  0.113 % |
151.07/151.29	c |    625893 |    6205   477846  3782698 |   510247   456440     17 |  0.113 % |
152.97/153.18	c |    629190 |    6205   477846  3782698 |   510247   459737     17 |  0.113 % |
155.17/155.34	c |    632815 |    6205   477846  3782698 | 2147483647   463362     17 |  0.113 % |
156.67/156.86	c |    636803 |    6205   477846  3782698 | 2147483647   467350     17 |  0.113 % |
158.77/158.96	c |    641188 |    6205   477846  3782698 | 2147483647   471735     17 |  0.113 % |
161.67/161.81	c |    646011 |    6205   477846  3782698 | 2147483647   476558     17 |  0.113 % |
163.37/163.58	c |    651316 |    6205   477846  3782698 | 2147483647   481863     17 |  0.113 % |
165.47/165.70	c |    657151 |    6198   477846  3782698 | 2147483647   487696     17 |  0.225 % |
165.57/165.77	c |    657251 |    6198   477846  3782698 | 2147483647   487796     17 |  0.225 % |
165.67/165.82	c |    657361 |    6198   477846  3782698 | 2147483647   487906     17 |  0.225 % |
165.67/165.86	c |    657482 |    6198   477846  3782698 | 2147483647   488027     17 |  0.225 % |
165.77/165.91	c |    657617 |    6198   477846  3782698 | 2147483647   488162     17 |  0.225 % |
165.77/165.96	c |    657763 |    6198   477846  3782698 | 2147483647   488308     17 |  0.225 % |
165.87/166.02	c |    657924 |    6198   477846  3782698 | 2147483647   488469     17 |  0.225 % |
165.97/166.10	c |    658103 |    6198   477846  3782698 | 2147483647   488648     17 |  0.225 % |
166.07/166.21	c |    658297 |    6198   477846  3782698 | 2147483647   488842     17 |  0.225 % |
166.17/166.33	c |    658510 |    6198   477846  3782698 | 2147483647   489055     17 |  0.225 % |
166.26/166.45	c |    658743 |    6194   477846  3782698 | 2147483647   489287     17 |  0.338 % |
166.36/166.57	c |    659000 |    6194   477846  3782698 | 2147483647   489544     17 |  0.338 % |
166.46/166.69	c |    659281 |    6194   477846  3782698 | 2147483647   489825     17 |  0.338 % |
166.56/166.80	c |    659590 |    6194   477846  3782698 | 2147483647   490134     17 |  0.338 % |
166.86/167.00	c |    659929 |    6194   477846  3782698 | 2147483647   490473     17 |  0.338 % |
166.97/167.14	c |    660301 |    6194   477846  3782698 | 2147483647   490845     17 |  0.338 % |
167.16/167.37	c |    660710 |    6193   477846  3782698 | 2147483647   491253     17 |  0.354 % |
167.36/167.54	c |    661159 |    6193   477846  3782698 | 2147483647   491702     17 |  0.354 % |
167.66/167.82	c |    661655 |    6192   477846  3782698 | 2147483647   492198     17 |  0.354 % |
167.96/168.11	c |    662197 |    6192   477846  3782698 | 2147483647   492740     17 |  0.354 % |
168.16/168.39	c |    662793 |    6192   477846  3782698 | 2147483647   493336     17 |  0.354 % |
168.56/168.74	c |    663449 |    6192   477846  3782698 | 2147483647   493992     17 |  0.354 % |
168.96/169.10	c |    664170 |    6191   477846  3782698 | 2147483647   494712     17 |  0.370 % |
169.26/169.45	c |    664962 |    6191   477846  3782698 | 2147483647   495504     17 |  0.370 % |
169.76/169.94	c |    665834 |    6191   477846  3782698 | 2147483647   496376     17 |  0.370 % |
170.26/170.46	c |    666792 |    6190   477846  3782698 | 2147483647   497333     17 |  0.386 % |
170.96/171.13	c |    667846 |    6190   477846  3782698 | 2147483647   498387     17 |  0.386 % |
171.46/171.63	c |    669005 |    6190   477846  3782698 | 2147483647   499546     17 |  0.386 % |
172.16/172.37	c |    670278 |    6190   477846  3782698 | 2147483647   500819     17 |  0.386 % |
172.66/172.85	c |    671679 |    6189   477846  3782698 | 2147483647   502219     17 |  0.402 % |
173.26/173.41	c |    673219 |    6189   477846  3782698 | 2147483647   503759     17 |  0.402 % |
174.06/174.21	c |    674913 |    6188   477846  3782698 | 2147483647   505452     17 |  0.419 % |
175.35/175.50	c |    676778 |    6188   477846  3782698 | 2147483647   507317     17 |  0.419 % |
176.65/176.84	c |    678827 |    6188   477846  3782698 | 2147483647   509366     17 |  0.419 % |
178.45/178.60	c |    681080 |    6187   477846  3782698 |   510539   457756     17 |  0.419 % |
179.76/179.96	c |    683558 |    6187   477846  3782698 |   510539   460234     17 |  0.419 % |
181.05/181.25	c |    686284 |    6186   477846  3782698 |   510539   462959     17 |  0.435 % |
182.95/183.18	c |    689282 |    6186   477846  3782698 |   510539   465957     17 |  0.435 % |
185.05/185.24	c |    692579 |    6186   477846  3782698 |   466675   414190     17 |  0.435 % |
186.95/187.11	c |    696204 |    6186   477846  3782698 |   466675   417815     17 |  0.435 % |
188.85/189.05	c |    700191 |    6186   477846  3782698 | 2147483647   421802     17 |  0.435 % |
191.05/191.21	c |    704577 |    6186   477846  3782698 | 2147483647   426188     17 |  0.435 % |
193.35/193.60	c |    709400 |    6185   477846  3782698 | 2147483647   431010     17 |  0.451 % |
196.55/196.70	c |    714705 |    6185   477846  3782698 | 2147483647   436315     17 |  0.451 % |
198.55/198.73	c |    720540 |    6185   477846  3782698 | 2147483647   442150     17 |  0.451 % |
203.05/203.21	c |    726958 |    6185   477846  3782698 | 2147483647   448568     17 |  0.451 % |
203.15/203.31	c |    727058 |    6185   477846  3782698 | 2147483647   448668     17 |  0.451 % |
203.26/203.41	c |    727168 |    6185   477846  3782698 | 2147483647   448778     17 |  0.451 % |
203.26/203.49	c |    727289 |    6185   477846  3782698 | 2147483647   448899     17 |  0.451 % |
203.36/203.60	c |    727422 |    6185   477846  3782698 | 2147483647   449032     17 |  0.451 % |
203.55/203.72	c |    727568 |    6185   477846  3782698 | 2147483647   449178     17 |  0.451 % |
203.65/203.83	c |    727728 |    6185   477846  3782698 | 2147483647   449338     17 |  0.451 % |
203.75/203.97	c |    727905 |    6185   477846  3782698 | 2147483647   449515     17 |  0.451 % |
203.95/204.15	c |    728098 |    6185   477846  3782698 | 2147483647   449708     17 |  0.451 % |
204.05/204.28	c |    728310 |    6185   477846  3782698 | 2147483647   449920     17 |  0.451 % |
204.36/204.51	c |    728543 |    6185   477846  3782698 | 2147483647   450153     17 |  0.451 % |
204.46/204.68	c |    728799 |    6185   477846  3782698 | 2147483647   450409     17 |  0.451 % |
204.65/204.82	c |    729080 |    6185   477846  3782698 | 2147483647   450690     17 |  0.451 % |
204.85/205.08	c |    729389 |    6185   477846  3782698 | 2147483647   450999     17 |  0.451 % |
205.05/205.25	c |    729728 |    6185   477846  3782698 | 2147483647   451338     17 |  0.451 % |
206.05/206.28	c |    730101 |    6185   477846  3782698 |   451610   387060     17 |  0.451 % |
206.25/206.45	c |    730511 |    6185   477846  3782698 |   451610   387470     17 |  0.451 % |
206.45/206.62	c |    730960 |    6185   477846  3782698 |   451610   387919     17 |  0.451 % |
206.75/206.93	c |    731457 |    6185   477846  3782698 |   451610   388416     17 |  0.451 % |
207.15/207.33	c |    732000 |    6185   477846  3782698 |   451610   388959     17 |  0.451 % |
207.75/207.92	c |    732596 |    6185   477846  3782698 |   451610   389555     17 |  0.451 % |
208.05/208.24	c |    733253 |    6185   477846  3782698 |   451610   390212     17 |  0.451 % |
208.55/208.71	c |    733973 |    6185   477846  3782698 |   451610   390932     17 |  0.451 % |
209.15/209.35	c |    734765 |    6185   477846  3782698 |   451610   391724     17 |  0.451 % |
209.75/209.98	c |    735636 |    6185   477846  3782698 |   451610   392595     17 |  0.451 % |
210.15/210.32	c |    736594 |    6185   477846  3782698 |   451610   393553     17 |  0.451 % |
210.95/211.10	c |    737647 |    6185   477846  3782698 |   451610   394606     17 |  0.451 % |
211.75/211.99	c |    738807 |    6185   477846  3782698 |   451610   395766     17 |  0.451 % |
213.25/213.49	c |    740080 |    6185   477846  3782698 |   396959   345091     17 |  0.451 % |
214.35/214.52	c |    741480 |    6185   477846  3782698 |   396959   346491     17 |  0.451 % |
215.55/215.76	c |    743020 |    6185   477846  3782698 |   396959   348031     17 |  0.451 % |
216.75/216.98	c |    744714 |    6185   477846  3782698 |   396959   349725     17 |  0.451 % |
217.45/217.69	c |    746578 |    6185   477846  3782698 |   396959   351589     17 |  0.451 % |
217.94/218.16	c |    748627 |    6185   477846  3782698 |   396959   353638     17 |  0.451 % |
220.54/220.74	c |    750880 |    6185   477846  3782698 |   355012   297583     17 |  0.451 % |
222.14/222.34	c |    753359 |    6185   477846  3782698 |   355012   300062     17 |  0.451 % |
222.84/223.02	c |    756084 |    6185   477846  3782698 |   355012   302787     17 |  0.451 % |
224.84/225.02	c |    759084 |    6185   477846  3782698 |   355012   305787     17 |  0.451 % |
227.84/228.07	c |    762381 |    6185   477846  3782698 |   306704   266087     17 |  0.451 % |
230.84/231.08	c |    766006 |    6185   477846  3782698 |   306704   269712     17 |  0.451 % |
232.84/233.04	c |    769993 |    6185   477846  3782698 |   306704   273699     17 |  0.451 % |
237.34/237.52	c |    774378 |    6185   477846  3782698 |   273706   244863     17 |  0.451 % |
239.74/239.90	c |    779201 |    6185   477846  3782698 |   273706   249686     17 |  0.451 % |
243.84/244.02	c |    784507 |    6185   477846  3782698 |   250485   227993     17 |  0.451 % |
248.23/248.47	c |    790342 |    6185   477846  3782698 | 2147483647   233828     17 |  0.451 % |
253.23/253.44	c |    796760 |    6185   477846  3782698 | 2147483647   240246     17 |  0.451 % |
255.33/255.56	c |    803820 |    6185   477846  3782698 | 2147483647   247306     17 |  0.451 % |
255.43/255.60	c |    803920 |    6185   477846  3782698 | 2147483647   247406     17 |  0.451 % |
255.43/255.65	c |    804032 |    6185   477846  3782698 | 2147483647   247518     17 |  0.451 % |
255.43/255.68	c |    804153 |    6185   477846  3782698 | 2147483647   247639     17 |  0.451 % |
255.63/255.80	c |    804286 |    6185   477846  3782698 | 2147483647   247772     17 |  0.451 % |
255.73/255.92	c |    804432 |    6185   477846  3782698 | 2147483647   247918     17 |  0.451 % |
255.83/256.04	c |    804593 |    6185   477846  3782698 | 2147483647   248079     17 |  0.451 % |
256.03/256.21	c |    804770 |    6185   477846  3782698 | 2147483647   248256     17 |  0.451 % |
256.13/256.38	c |    804963 |    6185   477846  3782698 | 2147483647   248449     17 |  0.451 % |
256.23/256.45	c |    805176 |    6185   477846  3782698 | 2147483647   248662     17 |  0.451 % |
256.33/256.59	c |    805409 |    6185   477846  3782698 | 2147483647   248895     17 |  0.451 % |
256.53/256.71	c |    805665 |    6185   477846  3782698 | 2147483647   249151     17 |  0.451 % |
256.63/256.88	c |    805947 |    6185   477846  3782698 | 2147483647   249433     17 |  0.451 % |
256.83/257.08	c |    806260 |    6185   477846  3782698 | 2147483647   249746     17 |  0.451 % |
256.93/257.15	c |    806599 |    6185   477846  3782698 | 2147483647   250085     17 |  0.451 % |
256.93/257.16	c |    806971 |    6185   477846  3782698 | 2147483647   250457     17 |  0.451 % |
256.93/257.19	c |    807382 |    6185   477846  3782698 | 2147483647   250868     17 |  0.451 % |
257.23/257.42	c |    807831 |    6185   477846  3782698 | 2147483647   251317     17 |  0.451 % |
257.33/257.57	c |    808324 |    6185   477846  3782698 | 2147483647   251810     17 |  0.451 % |
257.73/257.95	c |    808866 |    6185   477846  3782698 | 2147483647   252352     17 |  0.451 % |
258.03/258.24	c |    809463 |    6185   477846  3782698 | 2147483647   252949     17 |  0.451 % |
258.33/258.59	c |    810118 |    6185   477846  3782698 | 2147483647   253604     17 |  0.451 % |
258.73/258.96	c |    810840 |    6185   477846  3782698 | 2147483647   254326     17 |  0.451 % |
258.83/259.05	c |    811632 |    6185   477846  3782698 | 2147483647   255118     17 |  0.451 % |
259.03/259.29	c |    812504 |    6185   477846  3782698 | 2147483647   255990     17 |  0.451 % |
259.63/259.85	c |    813462 |    6185   477846  3782698 | 2147483647   256948     17 |  0.451 % |
259.93/260.19	c |    814516 |    6185   477846  3782698 | 2147483647   258002     17 |  0.451 % |
260.73/260.92	c |    815674 |    6185   477846  3782698 | 2147483647   259160     17 |  0.451 % |
260.83/261.01	c |    816948 |    6185   477846  3782698 | 2147483647   260434     17 |  0.451 % |
261.43/261.63	c |    818349 |    6184   477846  3782698 | 2147483647   261834     17 |  0.467 % |
261.63/261.89	c |    819889 |    6184   477846  3782698 | 2147483647   263374     17 |  0.467 % |
262.83/263.02	c |    821583 |    6184   477846  3782698 | 2147483647   265068     17 |  0.467 % |
263.83/264.02	c |    823446 |    6184   477846  3782698 | 2147483647   266931     17 |  0.467 % |
264.33/264.57	c |    825495 |    6184   477846  3782698 | 2147483647   268980     17 |  0.467 % |
264.93/265.12	c |    827748 |    6183   477846  3782698 | 2147483647   271233     17 |  0.467 % |
266.12/266.32	c |    830226 |    6183   477846  3782698 | 2147483647   273711     17 |  0.467 % |
267.42/267.66	c |    832951 |    6183   477846  3782698 | 2147483647   276436     17 |  0.467 % |
268.23/268.49	c |    835948 |    6183   477846  3782698 | 2147483647   279433     17 |  0.467 % |
270.62/270.89	c |    839247 |    6183   477846  3782698 | 2147483647   282732     17 |  0.467 % |
271.32/271.54	c |    842872 |    6183   477846  3782698 | 2147483647   286357     17 |  0.467 % |
275.32/275.55	c |    846859 |    6183   477846  3782698 | 2147483647   290344     17 |  0.467 % |
276.72/276.93	c |    851244 |    6183   477846  3782698 | 2147483647   294729     17 |  0.467 % |
281.42/281.69	c |    856068 |    6183   477846  3782698 | 2147483647   299553     17 |  0.467 % |
286.82/287.07	c |    861375 |    6183   477846  3782698 |   303487   265319     17 |  0.467 % |
289.62/289.85	c |    867210 |    6183   477846  3782698 |   303487   271154     17 |  0.467 % |
295.91/296.16	c |    873628 |    6183   477846  3782698 | 2147483647   277572     17 |  0.467 % |
298.51/298.77	c |    880687 |    6183   477846  3782698 | 2147483647   284631     17 |  0.467 % |
306.41/306.65	c |    888452 |    6183   477846  3782698 | 2147483647   292396     17 |  0.467 % |
306.51/306.78	c |    888552 |    6183   477846  3782698 | 2147483647   292496     17 |  0.467 % |
306.62/306.82	c |    888662 |    6183   477846  3782698 | 2147483647   292606     17 |  0.467 % |
306.72/306.94	c |    888784 |    6183   477846  3782698 | 2147483647   292728     17 |  0.467 % |
306.91/307.13	c |    888917 |    6183   477846  3782698 | 2147483647   292861     17 |  0.467 % |
307.01/307.23	c |    889063 |    6183   477846  3782698 | 2147483647   293007     17 |  0.467 % |
307.11/307.39	c |    889223 |    6183   477846  3782698 | 2147483647   293167     17 |  0.467 % |
307.31/307.51	c |    889400 |    6183   477846  3782698 | 2147483647   293344     17 |  0.467 % |
307.51/307.73	c |    889594 |    6183   477846  3782698 | 2147483647   293538     17 |  0.467 % |
307.71/307.99	c |    889807 |    6183   477846  3782698 | 2147483647   293751     17 |  0.467 % |
307.91/308.17	c |    890040 |    6183   477846  3782698 |   293944   293984     17 |  0.467 % |
308.71/308.97	c |    890297 |    6183   477846  3782698 |   293944   245177     17 |  0.467 % |
308.91/309.17	c |    890578 |    6183   477846  3782698 |   293944   245458     17 |  0.467 % |
309.21/309.41	c |    890887 |    6183   477846  3782698 |   293944   245767     17 |  0.467 % |
309.41/309.67	c |    891227 |    6183   477846  3782698 |   293944   246107     17 |  0.467 % |
309.51/309.73	c |    891599 |    6183   477846  3782698 |   293944   246479     17 |  0.467 % |
309.91/310.19	c |    892008 |    6183   477846  3782698 |   293944   246888     17 |  0.467 % |
310.41/310.68	c |    892458 |    6183   477846  3782698 |   293944   247338     17 |  0.467 % |
310.71/310.99	c |    892952 |    6183   477846  3782698 |   293944   247832     17 |  0.467 % |
311.21/311.42	c |    893495 |    6183   477846  3782698 |   293944   248375     17 |  0.467 % |
311.91/312.12	c |    894091 |    6183   477846  3782698 |   293944   248971     17 |  0.467 % |
312.71/312.92	c |    894747 |    6183   477846  3782698 |   293944   249627     17 |  0.467 % |
312.91/313.10	c |    895468 |    6183   477846  3782698 |   293944   250348     17 |  0.467 % |
313.51/313.74	c |    896260 |    6183   477846  3782698 |   293944   251140     17 |  0.467 % |
314.51/314.72	c |    897132 |    6183   477846  3782698 |   293944   252012     17 |  0.467 % |
315.21/315.42	c |    898090 |    6183   477846  3782698 |   293944   252970     17 |  0.467 % |
315.91/316.11	c |    899144 |    6183   477846  3782698 |   293944   254024     17 |  0.467 % |
317.41/317.66	c |    900305 |    6183   477846  3782698 |   254882   225553     17 |  0.467 % |
317.71/317.94	c |    901578 |    6183   477846  3782698 |   254882   226826     17 |  0.467 % |
319.00/319.20	c |    902978 |    6183   477846  3782698 |   254882   228226     17 |  0.467 % |
319.30/319.50	c |    904519 |    6183   477846  3782698 |   254882   229767     17 |  0.467 % |
320.10/320.32	c |    906213 |    6183   477846  3782698 |   254882   231461     17 |  0.467 % |
320.50/320.71	c |    908076 |    6183   477846  3782698 |   254882   233324     17 |  0.467 % |
322.40/322.69	c |    910126 |    6183   477846  3782698 | 2147483647   235374     17 |  0.467 % |
322.80/323.03	c |    912379 |    6183   477846  3782698 | 2147483647   237627     17 |  0.467 % |
324.50/324.77	c |    914858 |    6183   477846  3782698 | 2147483647   240106     17 |  0.467 % |
325.00/325.25	c |    917583 |    6183   477846  3782698 | 2147483647   242831     17 |  0.467 % |
327.51/327.71	c |    920580 |    6183   477846  3782698 | 2147483647   245828     17 |  0.467 % |
329.90/330.17	c |    923879 |    6183   477846  3782698 | 2147483647   249127     17 |  0.467 % |
331.70/331.96	c |    927505 |    6183   477846  3782698 | 2147483647   252753     17 |  0.467 % |
335.60/335.80	c |    931492 |    6183   477846  3782698 | 2147483647   256740     17 |  0.467 % |
337.70/337.91	c |    935877 |    6183   477846  3782698 | 2147483647   261125     17 |  0.467 % |
342.00/342.28	c |    940700 |    6183   477846  3782698 | 2147483647   265948     18 |  0.467 % |
343.20/343.44	c |    946006 |    6183   477846  3782698 | 2147483647   271254     18 |  0.467 % |
347.79/348.02	c |    951841 |    6183   477846  3782698 | 2147483647   277089     18 |  0.467 % |
349.39/349.61	c |    958260 |    6183   477846  3782698 | 2147483647   283508     18 |  0.467 % |
355.89/356.12	c |    965319 |    6183   477846  3782698 | 2147483647   290567     18 |  0.467 % |
357.69/357.97	c |    973085 |    6183   477846  3782698 | 2147483647   298333     18 |  0.467 % |
367.29/367.57	c |    981626 |    6183   477846  3782698 | 2147483647   306874     18 |  0.467 % |
367.39/367.63	c |    981726 |    6183   477846  3782698 | 2147483647   306974     18 |  0.467 % |
367.49/367.72	c |    981837 |    6183   477846  3782698 | 2147483647   307085     18 |  0.467 % |
367.59/367.84	c |    981958 |    6183   477846  3782698 | 2147483647   307206     18 |  0.467 % |
367.69/367.91	c |    982092 |    6183   477846  3782698 | 2147483647   307340     18 |  0.467 % |
367.79/368.09	c |    982239 |    6183   477846  3782698 | 2147483647   307487     18 |  0.467 % |
367.99/368.21	c |    982399 |    6183   477846  3782698 | 2147483647   307647     18 |  0.467 % |
367.99/368.24	c |    982576 |    6183   477846  3782698 | 2147483647   307824     18 |  0.467 % |
368.09/368.38	c |    982771 |    6183   477846  3782698 | 2147483647   308019     18 |  0.467 % |
368.19/368.49	c |    982984 |    6183   477846  3782698 | 2147483647   308232     18 |  0.467 % |
368.39/368.66	c |    983217 |    6183   477846  3782698 | 2147483647   308465     18 |  0.467 % |
368.79/369.01	c |    983475 |    6183   477846  3782698 | 2147483647   308723     18 |  0.467 % |
368.99/369.27	c |    983759 |    6183   477846  3782698 | 2147483647   309007     18 |  0.467 % |
369.18/369.44	c |    984069 |    6183   477846  3782698 | 2147483647   309317     18 |  0.467 % |
369.39/369.68	c |    984408 |    6183   477846  3782698 | 2147483647   309656     18 |  0.467 % |
369.88/370.13	c |    984781 |    6183   477846  3782698 | 2147483647   310029     18 |  0.467 % |
369.98/370.23	c |    985190 |    6183   477846  3782698 | 2147483647   310438     18 |  0.467 % |
370.28/370.56	c |    985639 |    6183   477846  3782698 | 2147483647   310887     18 |  0.467 % |
370.88/371.12	c |    986132 |    6183   477846  3782698 | 2147483647   311380     18 |  0.467 % |
371.18/371.41	c |    986674 |    6183   477846  3782698 | 2147483647   311922     18 |  0.467 % |
371.38/371.64	c |    987270 |    6183   477846  3782698 | 2147483647   312518     18 |  0.467 % |
372.08/372.30	c |    987925 |    6183   477846  3782698 | 2147483647   313173     18 |  0.467 % |
372.59/372.84	c |    988645 |    6183   477846  3782698 | 2147483647   313893     18 |  0.467 % |
373.28/373.54	c |    989439 |    6183   477846  3782698 | 2147483647   314687     18 |  0.467 % |
373.48/373.73	c |    990310 |    6183   477846  3782698 | 2147483647   315558     18 |  0.467 % |
374.48/374.74	c |    991268 |    6183   477846  3782698 | 2147483647   316516     18 |  0.467 % |
375.48/375.73	c |    992321 |    6183   477846  3782698 | 2147483647   317569     18 |  0.467 % |
376.38/376.65	c |    993479 |    6183   477846  3782698 | 2147483647   318727     18 |  0.467 % |
378.38/378.65	c |    994752 |    6183   477846  3782698 | 2147483647   320000     18 |  0.467 % |
378.88/379.16	c |    996152 |    6183   477846  3782698 | 2147483647   321400     18 |  0.467 % |
381.08/381.31	c |    997693 |    6183   477846  3782698 | 2147483647   322941     18 |  0.467 % |
382.58/382.89	c |    999388 |    6183   477846  3782698 | 2147483647   324636     18 |  0.467 % |
385.78/386.05	c |   1001251 |    6183   477846  3782698 |   325249   277633     18 |  0.467 % |
386.47/386.79	c |   1003302 |    6183   477846  3782698 |   325249   279684     18 |  0.467 % |
388.57/388.84	c |   1005555 |    6183   477846  3782698 |   325249   281937     18 |  0.467 % |
389.27/389.55	c |   1008033 |    6183   477846  3782698 |   325249   284415     18 |  0.467 % |
391.87/392.14	c |   1010758 |    6182   477846  3782698 |   286381   255252     18 |  0.483 % |
394.97/395.29	c |   1013755 |    6182   477846  3782698 |   286381   258249     18 |  0.483 % |
395.78/396.05	c |   1017051 |    6182   477846  3782698 |   286381   261545     18 |  0.483 % |
398.77/399.05	c |   1020677 |    6182   477846  3782698 | 2147483647   265171     18 |  0.483 % |
399.67/399.98	c |   1024667 |    6182   477846  3782698 | 2147483647   269161     18 |  0.483 % |
403.47/403.76	c |   1029053 |    6182   477846  3782698 | 2147483647   273547     18 |  0.483 % |
408.68/408.93	c |   1033878 |    6182   477846  3782698 | 2147483647   278372     18 |  0.483 % |
414.77/415.02	c |   1039183 |    6182   477846  3782698 | 2147483647   283677     18 |  0.483 % |
416.68/416.98	c |   1045018 |    6182   477846  3782698 |   284494   261030     18 |  0.483 % |
423.37/423.68	c |   1051436 |    6182   477846  3782698 | 2147483647   267448     18 |  0.483 % |
425.57/425.84	c |   1058495 |    6182   471912  3737084 | 2147483647   273424     18 |  0.483 % |
433.87/434.14	c |   1066259 |    6182   471912  3737084 | 2147483647   281188     18 |  0.483 % |
435.57/435.84	c |   1074799 |    6182   471912  3737084 | 2147483647   289728     19 |  0.483 % |
445.06/445.37	c |   1084194 |    6182   471912  3737084 | 2147483647   299123     19 |  0.483 % |
445.27/445.51	c |   1084294 |    6182   471912  3737084 | 2147483647   299223     19 |  0.483 % |
445.36/445.61	c |   1084406 |    6182   471912  3737084 | 2147483647   299335     19 |  0.483 % |
445.46/445.70	c |   1084527 |    6182   471912  3737084 | 2147483647   299456     19 |  0.483 % |
445.56/445.88	c |   1084660 |    6182   471912  3737084 | 2147483647   299589     19 |  0.483 % |
445.66/445.99	c |   1084806 |    6182   471912  3737084 | 2147483647   299735     19 |  0.483 % |
445.86/446.18	c |   1084966 |    6182   471912  3737084 | 2147483647   299895     19 |  0.483 % |
446.06/446.33	c |   1085142 |    6182   471912  3737084 | 2147483647   300071     19 |  0.483 % |
446.27/446.52	c |   1085337 |    6182   471912  3737084 | 2147483647   300266     19 |  0.483 % |
446.46/446.76	c |   1085550 |    6182   471912  3737084 | 2147483647   300479     19 |  0.483 % |
446.66/446.94	c |   1085784 |    6182   471912  3737084 | 2147483647   300713     19 |  0.483 % |
447.06/447.35	c |   1086040 |    6182   471912  3737084 | 2147483647   300969     19 |  0.483 % |
447.36/447.62	c |   1086322 |    6182   471912  3737084 | 2147483647   301251     19 |  0.483 % |
447.56/447.86	c |   1086632 |    6182   471912  3737084 | 2147483647   301561     19 |  0.483 % |
448.06/448.30	c |   1086971 |    6182   471912  3737084 | 2147483647   301900     19 |  0.483 % |
448.36/448.69	c |   1087344 |    6182   471912  3737084 | 2147483647   302273     19 |  0.483 % |
448.66/448.98	c |   1087753 |    6182   471912  3737084 | 2147483647   302682     19 |  0.483 % |
448.86/449.16	c |   1088202 |    6182   471912  3737084 | 2147483647   303131     19 |  0.483 % |
449.46/449.72	c |   1088696 |    6182   471912  3737084 | 2147483647   303625     19 |  0.483 % |
449.66/449.97	c |   1089239 |    6182   471912  3737084 | 2147483647   304168     19 |  0.483 % |
450.56/450.82	c |   1089835 |    6182   471912  3737084 | 2147483647   304764     19 |  0.483 % |
450.96/451.26	c |   1090490 |    6182   471912  3737084 |   304930   305419     19 |  0.483 % |
451.96/452.23	c |   1091211 |    6182   471912  3737084 |   304930   275599     19 |  0.483 % |
452.16/452.44	c |   1092003 |    6182   471912  3737084 |   304930   276391     19 |  0.483 % |
452.96/453.27	c |   1092875 |    6182   471912  3737084 |   304930   277263     19 |  0.483 % |
453.76/454.04	c |   1093833 |    6182   471912  3737084 |   304930   278221     19 |  0.483 % |
454.06/454.38	c |   1094886 |    6182   471912  3737084 |   304930   279274     19 |  0.483 % |
455.16/455.49	c |   1096044 |    6182   471912  3737084 |   304930   280432     19 |  0.483 % |
456.65/456.92	c |   1097319 |    6182   471912  3737084 |   304930   281707     19 |  0.483 % |
458.36/458.66	c |   1098719 |    6182   471912  3737084 |   304930   283107     19 |  0.483 % |
460.15/460.48	c |   1100259 |    6182   471912  3737084 | 2147483647   284647     19 |  0.483 % |
460.56/460.88	c |   1101953 |    6182   471912  3737084 | 2147483647   286341     19 |  0.483 % |
462.25/462.53	c |   1103820 |    6182   471912  3737084 | 2147483647   288208     19 |  0.483 % |
463.05/463.34	c |   1105870 |    6182   471912  3737084 | 2147483647   290258     19 |  0.483 % |
464.96/465.29	c |   1108124 |    6182   471912  3737084 | 2147483647   292512     19 |  0.483 % |
465.75/466.02	c |   1110602 |    6182   471912  3737084 | 2147483647   294990     19 |  0.483 % |
468.36/468.66	c |   1113327 |    6182   471912  3737084 | 2147483647   297715     19 |  0.483 % |
469.05/469.38	c |   1116324 |    6182   471912  3737084 | 2147483647   300712     19 |  0.483 % |
472.35/472.63	c |   1119622 |    6182   471912  3737084 | 2147483647   304010     19 |  0.483 % |
473.35/473.63	c |   1123247 |    6182   471912  3737084 | 2147483647   307635     19 |  0.483 % |
478.85/479.18	c |   1127234 |    6182   471912  3737084 | 2147483647   311622     19 |  0.483 % |
479.95/480.26	c |   1131622 |    6182   471912  3737084 | 2147483647   316010     19 |  0.483 % |
483.54/483.87	c |   1136445 |    6182   471912  3737084 | 2147483647   320833     19 |  0.483 % |
488.84/489.10	c |   1141750 |    6182   471912  3737084 | 2147483647   326138     19 |  0.483 % |
492.65/492.93	c |   1147585 |    6182   471912  3737084 | 2147483647   331973     19 |  0.483 % |
502.95/503.27	c |   1154003 |    6182   471912  3737084 | 2147483647   338391     19 |  0.483 % |
506.54/506.87	c |   1161062 |    6182   471912  3737084 | 2147483647   345450     19 |  0.483 % |
515.24/515.52	c |   1168828 |    6182   471912  3737084 | 2147483647   353216     19 |  0.483 % |
520.44/520.70	c |   1177369 |    6182   471912  3737084 |   354388   308374     18 |  0.483 % |
531.04/531.38	c |   1186763 |    6182   471912  3737084 | 2147483647   317768     19 |  0.483 % |
534.43/534.80	c |   1197096 |    6182   471912  3737084 |   321005   295492     19 |  0.483 % |
534.53/534.82	c |   1197197 |    6182   471912  3737084 |   321005   295593     19 |  0.483 % |
534.53/534.85	c |   1197307 |    6182   471912  3737084 |   321005   295703     19 |  0.483 % |
534.73/535.03	c |   1197428 |    6182   471912  3737084 |   321005   295824     19 |  0.483 % |
534.83/535.14	c |   1197561 |    6182   471912  3737084 |   321005   295957     19 |  0.483 % |
534.93/535.24	c |   1197708 |    6182   471912  3737084 |   321005   296104     19 |  0.483 % |
534.93/535.30	c |   1197868 |    6182   471912  3737084 |   321005   296264     19 |  0.483 % |
535.03/535.34	c |   1198045 |    6182   471912  3737084 |   321005   296441     19 |  0.483 % |
535.03/535.37	c |   1198239 |    6182   471912  3737084 |   321005   296635     19 |  0.483 % |
535.13/535.46	c |   1198452 |    6182   471912  3737084 |   321005   296848     19 |  0.483 % |
535.23/535.52	c |   1198685 |    6182   471912  3737084 |   321005   297081     19 |  0.483 % |
535.63/535.93	c |   1198941 |    6182   471912  3737084 |   321005   297337     19 |  0.483 % |
535.83/536.11	c |   1199222 |    6182   471912  3737084 |   321005   297618     19 |  0.483 % |
536.03/536.32	c |   1199531 |    6182   471912  3737084 |   321005   297927     19 |  0.483 % |
536.33/536.67	c |   1199872 |    6182   471912  3737084 |   321005   298268     19 |  0.483 % |
536.53/536.87	c |   1200246 |    6182   471912  3737084 | 2147483647   298642     19 |  0.483 % |
537.03/537.34	c |   1200655 |    6182   471912  3737084 | 2147483647   299051     19 |  0.483 % |
537.13/537.44	c |   1201105 |    6182   471912  3737084 | 2147483647   299501     19 |  0.483 % |
537.63/537.99	c |   1201599 |    6182   471912  3737084 | 2147483647   299995     19 |  0.483 % |
538.23/538.54	c |   1202142 |    6182   471912  3737084 | 2147483647   300538     19 |  0.483 % |
538.83/539.18	c |   1202741 |    6182   471912  3737084 | 2147483647   301137     19 |  0.483 % |
539.53/539.88	c |   1203396 |    6182   471912  3737084 | 2147483647   301792     19 |  0.483 % |
540.53/540.85	c |   1204118 |    6182   471912  3737084 | 2147483647   302514     19 |  0.483 % |
541.33/541.68	c |   1204910 |    6182   471912  3737084 | 2147483647   303306     19 |  0.483 % |
541.93/542.27	c |   1205782 |    6182   471912  3737084 | 2147483647   304178     19 |  0.483 % |
542.73/543.03	c |   1206740 |    6182   471912  3737084 | 2147483647   305136     19 |  0.483 % |
543.53/543.83	c |   1207795 |    6182   471912  3737084 | 2147483647   306191     19 |  0.483 % |
544.43/544.75	c |   1208956 |    6182   471912  3737084 | 2147483647   307352     19 |  0.483 % |
545.73/546.01	c |   1210230 |    6182   471912  3737084 | 2147483647   308626     19 |  0.483 % |
546.33/546.67	c |   1211630 |    6182   471912  3737084 | 2147483647   310026     19 |  0.483 % |
548.42/548.70	c |   1213170 |    6182   471912  3737084 | 2147483647   311566     19 |  0.483 % |
549.12/549.49	c |   1214866 |    6182   471912  3737084 | 2147483647   313262     19 |  0.483 % |
551.32/551.60	c |   1216732 |    6182   471912  3737084 | 2147483647   315128     19 |  0.483 % |
552.02/552.36	c |   1218782 |    6182   471912  3737084 | 2147483647   317178     19 |  0.483 % |
555.22/555.55	c |   1221038 |    6182   471912  3737084 |   318396   284192     19 |  0.483 % |
556.02/556.38	c |   1223518 |    6182   471912  3737084 |   318396   286672     19 |  0.483 % |
558.72/559.07	c |   1226243 |    6182   471912  3737084 |   318396   289397     19 |  0.483 % |
560.52/560.89	c |   1229241 |    6182   471912  3737084 |   318396   292395     19 |  0.483 % |
561.82/562.17	c |   1232537 |    6182   471912  3737084 | 2147483647   295691     19 |  0.483 % |
565.32/565.68	c |   1236162 |    6182   471912  3737084 | 2147483647   299316     19 |  0.483 % |
568.92/569.20	c |   1240150 |    6182   471912  3737084 | 2147483647   303304     18 |  0.483 % |
570.82/571.19	c |   1244535 |    6182   471912  3737084 | 2147483647   307689     18 |  0.483 % |
571.92/572.27	c |   1249359 |    6182   471912  3737084 | 2147483647   312513     18 |  0.483 % |
578.91/579.25	c |   1254665 |    6182   471912  3737084 | 2147483647   317819     18 |  0.483 % |
586.21/586.52	c |   1260501 |    6182   471912  3737084 |   323155   287748     18 |  0.483 % |
587.91/588.24	c |   1266920 |    6182   471912  3737084 |   323155   294167     18 |  0.483 % |
596.11/596.44	c |   1273980 |    6182   471912  3737084 | 2147483647   301227     18 |  0.483 % |
597.91/598.21	c |   1281745 |    6182   471912  3737084 | 2147483647   308992     18 |  0.483 % |
609.30/609.63	c |   1290286 |    6182   471912  3737084 |   317247   317533     19 |  0.483 % |
612.91/613.26	c |   1299680 |    6182   471912  3737084 |   317247   291365     18 |  0.483 % |
627.90/628.22	c |   1310014 |    6182   471912  3737084 |   301686   301699     19 |  0.483 % |
642.90/643.22	c |   1321380 |    6182   471912  3737084 |   253069   225341     17 |  0.483 % |
643.00/643.34	c |   1321480 |    6182   471912  3737084 |   253069   225441     17 |  0.483 % |
643.00/643.40	c |   1321590 |    6182   471912  3737084 |   253069   225551     17 |  0.483 % |
643.20/643.51	c |   1321711 |    6182   471912  3737084 |   253069   225672     17 |  0.483 % |
643.30/643.62	c |   1321844 |    6182   471912  3737084 |   253069   225805     17 |  0.483 % |
643.40/643.75	c |   1321990 |    6182   471912  3737084 |   253069   225951     17 |  0.483 % |
643.60/643.90	c |   1322150 |    6182   471912  3737084 |   253069   226111     17 |  0.483 % |
643.70/644.06	c |   1322328 |    6182   471912  3737084 |   253069   226289     17 |  0.483 % |
643.80/644.17	c |   1322521 |    6182   471912  3737084 |   253069   226482     17 |  0.483 % |
644.00/644.37	c |   1322733 |    6182   471912  3737084 |   253069   226694     17 |  0.483 % |
644.30/644.69	c |   1322966 |    6182   471912  3737084 |   253069   226927     17 |  0.483 % |
644.60/644.97	c |   1323222 |    6182   471912  3737084 |   253069   227183     17 |  0.483 % |
645.00/645.32	c |   1323503 |    6182   471912  3737084 |   253069   227464     17 |  0.483 % |
645.20/645.51	c |   1323812 |    6182   471912  3737084 |   253069   227773     17 |  0.483 % |
645.30/645.70	c |   1324151 |    6182   471912  3737084 |   253069   228112     17 |  0.483 % |
645.60/645.93	c |   1324523 |    6182   471912  3737084 |   253069   228484     17 |  0.483 % |
646.00/646.39	c |   1324933 |    6182   471912  3737084 |   253069   228894     17 |  0.483 % |
646.60/647.00	c |   1325383 |    6182   471912  3737084 |   253069   229344     17 |  0.483 % |
647.10/647.47	c |   1325876 |    6182   471912  3737084 |   253069   229837     17 |  0.483 % |
647.80/648.10	c |   1326418 |    6182   471912  3737084 |   253069   230379     17 |  0.483 % |
648.50/648.81	c |   1327014 |    6182   471912  3737084 |   253069   230975     17 |  0.483 % |
649.30/649.67	c |   1327670 |    6182   471912  3737084 |   253069   231631     17 |  0.483 % |
650.30/650.62	c |   1328391 |    6182   471912  3737084 |   253069   232352     17 |  0.483 % |
651.09/651.45	c |   1329183 |    6182   471912  3737084 |   253069   233144     17 |  0.483 % |
652.19/652.52	c |   1330054 |    6182   471912  3737084 | 2147483647   234015     17 |  0.483 % |
653.10/653.48	c |   1331013 |    6182   471912  3737084 | 2147483647   234974     17 |  0.483 % |
654.49/654.83	c |   1332067 |    6182   471912  3737084 | 2147483647   236028     17 |  0.483 % |
654.99/655.39	c |   1333227 |    6181   471912  3737084 | 2147483647   237187     17 |  0.499 % |
656.19/656.58	c |   1334500 |    6181   471912  3737084 | 2147483647   238460     17 |  0.499 % |
656.59/656.99	c |   1335900 |    6181   471912  3737084 | 2147483647   239860     17 |  0.499 % |
657.29/657.68	c |   1337441 |    6181   471912  3737084 | 2147483647   241401     17 |  0.499 % |
659.49/659.85	c |   1339138 |    6181   471603  3734632 | 2147483647   243095     17 |  0.499 % |
661.59/661.91	c |   1341001 |    6181   471603  3734632 | 2147483647   244958     17 |  0.499 % |
662.59/663.00	c |   1343051 |    6181   471603  3734632 | 2147483647   247008     17 |  0.499 % |
663.19/663.51	c |   1345304 |    6181   471603  3734632 | 2147483647   249261     17 |  0.499 % |
664.10/664.44	c |   1347782 |    6181   471603  3734632 | 2147483647   251739     17 |  0.499 % |
665.09/665.42	c |   1350507 |    6181   471603  3734632 | 2147483647   254464     17 |  0.499 % |
666.19/666.54	c |   1353504 |    6180   471603  3734632 | 2147483647   257460     17 |  0.515 % |
670.29/670.60	c |   1356800 |    6180   471603  3734632 | 2147483647   260756     17 |  0.515 % |
674.39/674.74	c |   1360426 |    6180   471603  3734632 | 2147483647   264382     17 |  0.515 % |
677.29/677.65	c |   1364413 |    6180   471603  3734632 | 2147483647   268369     17 |  0.515 % |
679.78/680.11	c |   1368799 |    6180   471603  3734632 | 2147483647   272755     17 |  0.515 % |
680.78/681.10	c |   1373623 |    6180   471603  3734632 | 2147483647   277579     17 |  0.515 % |
686.68/687.05	c |   1378928 |    6180   471603  3734632 | 2147483647   282884     17 |  0.515 % |
687.48/687.85	c |   1384763 |    6180   471603  3734632 | 2147483647   288719     17 |  0.515 % |
694.08/694.49	c |   1391182 |    6180   471603  3734632 | 2147483647   295138     17 |  0.515 % |
696.38/696.74	c |   1398241 |    6180   471603  3734632 | 2147483647   302197     17 |  0.515 % |
705.67/706.04	c |   1406005 |    6180   471603  3734632 | 2147483647   309961     17 |  0.515 % |
712.38/712.77	c |   1414545 |    6180   471603  3734632 | 2147483647   318501     17 |  0.515 % |
721.57/721.95	c |   1423939 |    6180   471603  3734632 | 2147483647   327895     17 |  0.515 % |
736.46/736.89	c |   1434273 |    6180   471603  3734632 |   333956   304188     17 |  0.515 % |
750.16/750.57	c |   1445639 |    6180   471603  3734632 | 2147483647   315554     17 |  0.515 % |
752.26/752.61	c |   1458142 |    6180   471603  3734632 | 2147483647   328057     17 |  0.515 % |
752.26/752.68	c |   1458243 |    6180   471603  3734632 | 2147483647   328158     17 |  0.515 % |
752.46/752.80	c |   1458354 |    6180   471603  3734632 | 2147483647   328269     17 |  0.515 % |
752.46/752.86	c |   1458475 |    6180   471603  3734632 | 2147483647   328390     17 |  0.515 % |
752.66/753.03	c |   1458608 |    6180   471603  3734632 | 2147483647   328523     17 |  0.515 % |
752.66/753.10	c |   1458754 |    6180   471603  3734632 | 2147483647   328669     17 |  0.515 % |
752.76/753.18	c |   1458914 |    6180   471603  3734632 | 2147483647   328829     17 |  0.515 % |
753.06/753.47	c |   1459092 |    6180   471603  3734632 | 2147483647   329007     17 |  0.515 % |
753.16/753.58	c |   1459285 |    6180   471603  3734632 | 2147483647   329200     17 |  0.515 % |
753.36/753.77	c |   1459497 |    6180   471603  3734632 | 2147483647   329412     17 |  0.515 % |
753.46/753.90	c |   1459730 |    6180   471603  3734632 | 2147483647   329645     17 |  0.515 % |
753.86/754.24	c |   1459988 |    6180   471603  3734632 | 2147483647   329903     17 |  0.515 % |
754.16/754.59	c |   1460270 |    6180   471603  3734632 | 2147483647   330185     17 |  0.515 % |
754.56/754.97	c |   1460580 |    6180   471603  3734632 | 2147483647   330495     17 |  0.515 % |
754.76/755.14	c |   1460920 |    6180   471603  3734632 | 2147483647   330835     17 |  0.515 % |
755.06/755.42	c |   1461293 |    6179   471603  3734632 | 2147483647   331207     17 |  0.531 % |
755.76/756.16	c |   1461702 |    6179   471603  3734632 | 2147483647   331616     17 |  0.531 % |
756.16/756.56	c |   1462152 |    6179   471603  3734632 | 2147483647   332066     17 |  0.531 % |
756.36/756.75	c |   1462645 |    6179   471603  3734632 | 2147483647   332559     17 |  0.531 % |
756.56/756.98	c |   1463187 |    6179   471603  3734632 | 2147483647   333101     17 |  0.531 % |
756.66/757.08	c |   1463783 |    6179   471603  3734632 | 2147483647   333697     17 |  0.531 % |
756.96/757.39	c |   1464438 |    6179   471603  3734632 | 2147483647   334352     17 |  0.531 % |
758.16/758.50	c |   1465159 |    6179   471603  3734632 | 2147483647   335073     17 |  0.531 % |
758.26/758.65	c |   1465951 |    6179   471603  3734632 | 2147483647   335865     17 |  0.531 % |
759.45/759.85	c |   1466822 |    6179   471603  3734632 | 2147483647   336736     17 |  0.531 % |
760.46/760.87	c |   1467780 |    6179   471603  3734632 | 2147483647   337694     17 |  0.531 % |
760.96/761.30	c |   1468834 |    6179   471603  3734632 | 2147483647   338748     17 |  0.531 % |
761.36/761.70	c |   1469994 |    6179   471603  3734632 | 2147483647   339908     17 |  0.531 % |
762.46/762.82	c |   1471267 |    6179   471603  3734632 | 2147483647   341181     17 |  0.531 % |
764.17/764.56	c |   1472667 |    6179   471603  3734632 | 2147483647   342581     17 |  0.531 % |
764.56/764.97	c |   1474207 |    6179   471603  3734632 | 2147483647   344121     17 |  0.531 % |
766.76/767.20	c |   1475902 |    6179   471603  3734632 | 2147483647   345816     17 |  0.531 % |
769.86/770.21	c |   1477765 |    6179   471603  3734632 | 2147483647   347679     17 |  0.531 % |
770.36/770.73	c |   1479814 |    6179   471603  3734632 | 2147483647   349728     17 |  0.531 % |
773.06/773.41	c |   1482068 |    6179   471603  3734632 | 2147483647   351982     17 |  0.531 % |
773.56/773.93	c |   1484550 |    6179   471603  3734632 | 2147483647   354464     17 |  0.531 % |
777.96/778.33	c |   1487275 |    6179   471603  3734632 | 2147483647   357189     17 |  0.531 % |
783.36/783.74	c |   1490273 |    6179   471603  3734632 |   359914   315466     17 |  0.531 % |
788.05/788.47	c |   1493569 |    6179   471603  3734632 |   359914   318762     17 |  0.531 % |
789.05/789.44	c |   1497194 |    6179   471603  3734632 |   359914   322387     17 |  0.531 % |
793.25/793.66	c |   1501181 |    6179   471603  3734632 | 2147483647   326374     17 |  0.531 % |
800.65/801.08	c |   1505567 |    6179   471603  3734632 | 2147483647   330760     17 |  0.531 % |
802.24/802.62	c |   1510390 |    6179   471603  3734632 | 2147483647   335583     17 |  0.531 % |
802.74/803.11	c |   1515695 |    6178   471603  3734632 | 2147483647   340887     17 |  0.547 % |
806.64/807.03	c |   1521530 |    6177   471603  3734632 | 2147483647   346721     17 |  0.563 % |
807.74/808.11	c |   1527948 |    6177   471603  3734632 | 2147483647   353139     17 |  0.563 % |
817.44/817.84	c |   1535007 |    6177   471603  3734632 | 2147483647   360198     17 |  0.563 % |
819.73/820.12	c |   1542772 |    6177   471603  3734632 | 2147483647   367963     17 |  0.563 % |
821.34/821.76	c |   1551312 |    6177   471603  3734632 | 2147483647   376503     17 |  0.563 % |
836.83/837.27	c |   1560707 |    6177   471603  3734632 |   385191   326012     16 |  0.563 % |
839.43/839.85	c |   1571040 |    6177   470487  3725888 | 2147483647   336333     16 |  0.563 % |
855.02/855.45	c |   1582406 |    6177   470487  3725888 |   345294   291121     16 |  0.563 % |
871.02/871.48	c |   1594908 |    6177   470487  3725888 |   298715   260390     16 |  0.563 % |
873.22/873.64	c |   1608661 |    6177   470487  3725888 | 2147483647   274143     16 |  0.563 % |
873.32/873.79	c |   1608761 |    6177   470487  3725888 | 2147483647   274243     16 |  0.563 % |
873.42/873.81	c |   1608873 |    6177   470487  3725888 | 2147483647   274355     16 |  0.563 % |
873.42/873.85	c |   1608994 |    6177   470487  3725888 | 2147483647   274476     16 |  0.563 % |
873.42/873.89	c |   1609127 |    6177   470487  3725888 | 2147483647   274609     16 |  0.563 % |
873.52/873.99	c |   1609273 |    6177   470487  3725888 | 2147483647   274755     16 |  0.563 % |
873.72/874.11	c |   1609433 |    6177   470487  3725888 | 2147483647   274915     16 |  0.563 % |
873.82/874.25	c |   1609609 |    6177   470487  3725888 | 2147483647   275091     16 |  0.563 % |
874.12/874.51	c |   1609803 |    6177   470487  3725888 | 2147483647   275285     16 |  0.563 % |
874.31/874.72	c |   1610016 |    6177   470487  3725888 | 2147483647   275498     16 |  0.563 % |
874.41/874.87	c |   1610251 |    6177   470487  3725888 | 2147483647   275733     16 |  0.563 % |
874.81/875.23	c |   1610508 |    6177   470487  3725888 | 2147483647   275990     16 |  0.563 % |
875.22/875.68	c |   1610789 |    6177   470487  3725888 | 2147483647   276271     16 |  0.563 % |
875.71/876.20	c |   1611099 |    6177   470487  3725888 | 2147483647   276581     16 |  0.563 % |
875.81/876.28	c |   1611438 |    6177   470487  3725888 | 2147483647   276920     16 |  0.563 % |
875.91/876.40	c |   1611811 |    6177   470487  3725888 | 2147483647   277293     16 |  0.563 % |
876.01/876.45	c |   1612220 |    6177   470487  3725888 | 2147483647   277702     16 |  0.563 % |
876.51/877.00	c |   1612669 |    6177   470487  3725888 | 2147483647   278151     16 |  0.563 % |
876.71/877.12	c |   1613164 |    6177   470487  3725888 | 2147483647   278646     16 |  0.563 % |
877.01/877.46	c |   1613706 |    6177   470487  3725888 | 2147483647   279188     16 |  0.563 % |
877.21/877.69	c |   1614302 |    6177   470487  3725888 | 2147483647   279784     16 |  0.563 % |
878.11/878.51	c |   1614957 |    6177   470487  3725888 | 2147483647   280439     16 |  0.563 % |
879.11/879.51	c |   1615677 |    6177   470487  3725888 | 2147483647   281159     16 |  0.563 % |
879.21/879.67	c |   1616469 |    6177   470487  3725888 | 2147483647   281951     16 |  0.563 % |
879.61/880.05	c |   1617341 |    6177   470487  3725888 | 2147483647   282823     16 |  0.563 % |
880.62/881.01	c |   1618299 |    6177   470487  3725888 | 2147483647   283781     16 |  0.563 % |
880.71/881.18	c |   1619353 |    6177   470487  3725888 | 2147483647   284835     16 |  0.563 % |
881.81/882.21	c |   1620511 |    6177   470487  3725888 | 2147483647   285993     16 |  0.563 % |
882.01/882.43	c |   1621784 |    6177   470487  3725888 | 2147483647   287266     16 |  0.563 % |
883.01/883.42	c |   1623185 |    6177   470487  3725888 | 2147483647   288667     16 |  0.563 % |
883.51/883.96	c |   1624725 |    6177   470487  3725888 | 2147483647   290207     16 |  0.563 % |
885.71/886.14	c |   1626419 |    6177   470487  3725888 | 2147483647   291901     16 |  0.563 % |
888.11/888.57	c |   1628282 |    6177   470487  3725888 | 2147483647   293764     16 |  0.563 % |
889.91/890.35	c |   1630331 |    6177   470487  3725888 | 2147483647   295813     16 |  0.563 % |
893.21/893.66	c |   1632584 |    6177   470487  3725888 | 2147483647   298066     17 |  0.563 % |
896.70/897.15	c |   1635063 |    6177   470487  3725888 | 2147483647   300545     17 |  0.563 % |
898.10/898.50	c |   1637789 |    6177   470487  3725888 | 2147483647   303271     17 |  0.563 % |
903.10/903.52	c |   1640788 |    6177   470487  3725888 |   305483   270736     17 |  0.563 % |
905.20/905.68	c |   1644085 |    6177   470487  3725888 |   305483   274033     17 |  0.563 % |
911.00/911.47	c |   1647710 |    6177   470487  3725888 |   305483   277658     17 |  0.563 % |
912.61/913.06	c |   1651697 |    6177   470487  3725888 |   279952   253598     17 |  0.563 % |
918.01/918.41	c |   1656082 |    6177   470487  3725888 |   279952   257983     17 |  0.563 % |
919.11/919.58	c |   1660907 |    6177   470487  3725888 | 2147483647   262808     17 |  0.563 % |
924.50/924.90	c |   1666213 |    6177   470487  3725888 | 2147483647   268114     17 |  0.563 % |
925.90/926.33	c |   1672049 |    6177   470487  3725888 | 2147483647   273950     17 |  0.563 % |
935.10/935.60	c |   1678468 |    6177   470487  3725888 | 2147483647   280369     17 |  0.563 % |
937.30/937.78	c |   1685527 |    6177   470487  3725888 |   281901   259199     17 |  0.563 % |
946.30/946.75	c |   1693293 |    6177   470487  3725888 | 2147483647   266965     18 |  0.563 % |
956.39/956.90	c |   1701833 |    6177   470487  3725888 | 2147483647   275505     18 |  0.563 % |
958.09/958.57	c |   1711228 |    6177   470487  3725888 | 2147483647   284900     17 |  0.563 % |
966.19/966.69	c |   1721561 |    6177   470487  3725888 | 2147483647   295233     17 |  0.563 % |
973.89/974.33	c |   1732928 |    6177   470487  3725888 | 2147483647   306600     17 |  0.563 % |
983.68/984.20	c |   1745430 |    6177   470487  3725888 | 2147483647   319102     17 |  0.563 % |
992.48/992.93	c |   1759183 |    6176   470487  3725888 | 2147483647   332854     17 |  0.580 % |
1012.38/1012.81	c |   1774310 |    6176   470487  3725888 |   343671   311935     17 |  0.580 % |
1012.48/1012.99	c |   1774410 |    6176   470487  3725888 |   343671   312035     17 |  0.580 % |
1012.78/1013.20	c |   1774521 |    6176   470487  3725888 |   343671   312146     17 |  0.580 % |
1012.78/1013.28	c |   1774642 |    6176   470487  3725888 |   343671   312267     17 |  0.580 % |
1012.98/1013.40	c |   1774775 |    6176   470487  3725888 |   343671   312400     17 |  0.580 % |
1013.08/1013.51	c |   1774921 |    6176   470487  3725888 |   343671   312546     17 |  0.580 % |
1013.28/1013.78	c |   1775081 |    6176   470487  3725888 |   343671   312706     17 |  0.580 % |
1013.78/1014.22	c |   1775259 |    6176   470487  3725888 |   343671   312884     17 |  0.580 % |
1014.08/1014.54	c |   1775452 |    6176   470487  3725888 |   343671   313077     17 |  0.580 % |
1014.38/1014.85	c |   1775669 |    6176   470487  3725888 |   343671   313294     17 |  0.580 % |
1014.78/1015.24	c |   1775902 |    6176   470487  3725888 |   343671   313527     17 |  0.580 % |
1015.28/1015.73	c |   1776159 |    6176   470487  3725888 |   343671   313784     17 |  0.580 % |
1015.67/1016.18	c |   1776440 |    6176   470487  3725888 |   343671   314065     17 |  0.580 % |
1015.77/1016.26	c |   1776751 |    6176   470487  3725888 |   343671   314376     17 |  0.580 % |
1016.07/1016.56	c |   1777091 |    6176   470487  3725888 |   343671   314716     17 |  0.580 % |
1016.27/1016.72	c |   1777463 |    6176   470487  3725888 |   343671   315088     17 |  0.580 % |
1016.47/1016.90	c |   1777872 |    6176   470487  3725888 |   343671   315497     17 |  0.580 % |
1016.98/1017.41	c |   1778321 |    6176   470487  3725888 |   343671   315946     17 |  0.580 % |
1017.08/1017.57	c |   1778814 |    6176   470487  3725888 |   343671   316439     17 |  0.580 % |
1017.77/1018.23	c |   1779356 |    6176   470487  3725888 |   343671   316981     17 |  0.580 % |
1018.08/1018.52	c |   1779952 |    6176   470487  3725888 |   343671   317577     17 |  0.580 % |
1018.97/1019.47	c |   1780608 |    6176   470487  3725888 |   317625   286440     16 |  0.580 % |
1019.37/1019.82	c |   1781328 |    6176   470487  3725888 |   317625   287160     16 |  0.580 % |
1019.67/1020.13	c |   1782120 |    6176   470487  3725888 |   317625   287952     16 |  0.580 % |
1020.17/1020.61	c |   1782993 |    6176   470487  3725888 |   317625   288825     17 |  0.580 % |
1020.87/1021.37	c |   1783952 |    6176   470487  3725888 |   317625   289784     17 |  0.580 % |
1021.27/1021.74	c |   1785005 |    6176   470487  3725888 |   317625   290837     17 |  0.580 % |
1021.57/1022.02	c |   1786164 |    6176   470487  3725888 |   317625   291996     17 |  0.580 % |
1023.37/1023.81	c |   1787440 |    6176   470487  3725888 |   317625   293272     17 |  0.580 % |
1023.87/1024.34	c |   1788840 |    6176   470487  3725888 |   317625   294672     17 |  0.580 % |
1026.07/1026.58	c |   1790380 |    6176   470487  3725888 | 2147483647   296212     17 |  0.580 % |
1026.77/1027.21	c |   1792074 |    6176   470487  3725888 | 2147483647   297906     17 |  0.580 % |
1029.37/1029.84	c |   1793940 |    6176   470487  3725888 | 2147483647   299772     17 |  0.580 % |
1031.67/1032.14	c |   1795989 |    6176   470487  3725888 | 2147483647   301821     17 |  0.580 % |
1032.37/1032.89	c |   1798242 |    6176   470487  3725888 | 2147483647   304074     17 |  0.580 % |
1034.47/1034.95	c |   1800721 |    6176   470487  3725888 | 2147483647   306553     17 |  0.580 % |
1035.46/1035.91	c |   1803446 |    6176   470487  3725888 | 2147483647   309278     17 |  0.580 % |
1036.77/1037.25	c |   1806444 |    6176   470487  3725888 | 2147483647   312276     17 |  0.580 % |
1039.86/1040.33	c |   1809740 |    6176   470487  3725888 | 2147483647   315572     17 |  0.580 % |
1041.56/1042.07	c |   1813365 |    6175   470487  3725888 | 2147483647   319196     17 |  0.596 % |
1046.16/1046.65	c |   1817353 |    6175   470487  3725888 | 2147483647   323184     17 |  0.596 % |
1047.06/1047.58	c |   1821738 |    6175   469857  3720948 | 2147483647   327566     17 |  0.596 % |
1055.06/1055.54	c |   1826561 |    6175   469857  3720948 | 2147483647   332389     17 |  0.596 % |
1056.76/1057.21	c |   1831866 |    6175   469857  3720948 | 2147483647   337694     17 |  0.596 % |
1061.74/1062.20	c |   1837703 |    6174   469857  3720948 | 2147483647   343530     17 |  0.612 % |
1073.14/1073.67	c |   1844122 |    6174   469857  3720948 | 2147483647   349949     17 |  0.612 % |
1084.94/1085.44	c |   1851182 |    6174   469857  3720948 |   355828   288712     16 |  0.612 % |
1086.34/1086.80	c |   1858946 |    6174   469857  3720948 |   355828   296476     16 |  0.612 % |
1091.63/1092.15	c |   1867486 |    6174   469857  3720948 | 2147483647   305016     16 |  0.612 % |
1096.33/1096.83	c |   1876880 |    6173   469857  3720948 | 2147483647   314409     16 |  0.628 % |
1107.92/1108.45	c |   1887214 |    6173   469857  3720948 | 2147483647   324743     16 |  0.628 % |
1109.92/1110.43	c |   1898580 |    6173   469857  3720948 | 2147483647   336109     16 |  0.628 % |
1110.92/1111.47	c |   1911083 |    6173   469857  3720948 | 2147483647   348612     17 |  0.628 % |
1122.52/1123.02	c |   1924837 |    6173   469857  3720948 | 2147483647   362366     17 |  0.628 % |
1130.82/1131.32	c |   1939964 |    6173   469857  3720948 | 2147483647   377493     17 |  0.628 % |
1147.01/1147.53	c |   1956603 |    6173   469857  3720948 | 2147483647   394132     17 |  0.628 % |
1147.11/1147.64	c |   1956705 |    6173   469857  3720948 | 2147483647   394234     17 |  0.628 % |
1147.21/1147.71	c |   1956815 |    6173   469857  3720948 | 2147483647   394344     17 |  0.628 % |
1147.21/1147.74	c |   1956936 |    6173   469857  3720948 | 2147483647   394465     17 |  0.628 % |
1147.21/1147.78	c |   1957069 |    6173   469857  3720948 | 2147483647   394598     17 |  0.628 % |
1147.31/1147.84	c |   1957215 |    6173   469857  3720948 | 2147483647   394744     17 |  0.628 % |
1147.51/1148.05	c |   1957375 |    6173   469857  3720948 | 2147483647   394904     17 |  0.628 % |
1147.71/1148.21	c |   1957553 |    6173   469857  3720948 | 2147483647   395082     17 |  0.628 % |
1147.91/1148.45	c |   1957748 |    6173   469857  3720948 | 2147483647   395277     17 |  0.628 % |
1148.41/1148.91	c |   1957963 |    6173   469857  3720948 | 2147483647   395492     17 |  0.628 % |
1148.51/1149.02	c |   1958197 |    6173   469857  3720948 | 2147483647   395726     17 |  0.628 % |
1148.61/1149.18	c |   1958454 |    6173   469857  3720948 | 2147483647   395983     17 |  0.628 % |
1148.91/1149.47	c |   1958735 |    6173   469857  3720948 | 2147483647   396264     17 |  0.628 % |
1149.01/1149.57	c |   1959044 |    6173   469857  3720948 | 2147483647   396573     17 |  0.628 % |
1149.41/1149.94	c |   1959383 |    6173   469857  3720948 | 2147483647   396912     17 |  0.628 % |
1149.61/1150.17	c |   1959755 |    6173   469857  3720948 | 2147483647   397284     17 |  0.628 % |
1149.71/1150.27	c |   1960164 |    6173   469857  3720948 | 2147483647   397693     17 |  0.628 % |
1149.81/1150.37	c |   1960614 |    6173   469857  3720948 | 2147483647   398143     17 |  0.628 % |
1150.21/1150.78	c |   1961108 |    6173   469857  3720948 | 2147483647   398637     17 |  0.628 % |
1151.42/1151.99	c |   1961650 |    6173   469857  3720948 | 2147483647   399179     17 |  0.628 % |
1152.92/1153.43	c |   1962247 |    6173   469857  3720948 | 2147483647   399776     17 |  0.628 % |
1153.12/1153.63	c |   1962904 |    6173   469857  3720948 | 2147483647   400433     17 |  0.628 % |
1153.52/1154.09	c |   1963624 |    6173   469857  3720948 | 2147483647   401153     17 |  0.628 % |
1154.12/1154.65	c |   1964416 |    6173   469857  3720948 | 2147483647   401945     17 |  0.628 % |
1154.32/1154.82	c |   1965287 |    6173   469857  3720948 | 2147483647   402816     17 |  0.628 % |
1154.82/1155.36	c |   1966246 |    6173   469857  3720948 | 2147483647   403775     17 |  0.628 % |
1155.22/1155.79	c |   1967299 |    6173   469857  3720948 | 2147483647   404828     17 |  0.628 % |
1155.62/1156.13	c |   1968457 |    6173   469857  3720948 | 2147483647   405986     17 |  0.628 % |
1157.51/1158.08	c |   1969731 |    6173   469857  3720948 | 2147483647   407260     17 |  0.628 % |
1159.42/1159.91	c |   1971131 |    6173   469857  3720948 | 2147483647   408660     17 |  0.628 % |
1160.51/1161.07	c |   1972671 |    6173   469857  3720948 | 2147483647   410200     17 |  0.628 % |
1161.91/1162.46	c |   1974365 |    6173   469857  3720948 | 2147483647   411894     17 |  0.628 % |
1162.41/1162.90	c |   1976228 |    6173   469857  3720948 | 2147483647   413757     17 |  0.628 % |
1165.52/1166.06	c |   1978279 |    6173   469857  3720948 | 2147483647   415808     17 |  0.628 % |
1169.01/1169.54	c |   1980532 |    6173   469857  3720948 | 2147483647   418061     17 |  0.628 % |
1169.71/1170.23	c |   1983010 |    6173   469857  3720948 | 2147483647   420539     17 |  0.628 % |
1170.81/1171.37	c |   1985735 |    6173   469857  3720948 | 2147483647   423264     17 |  0.628 % |
1172.01/1172.60	c |   1988735 |    6173   469857  3720948 | 2147483647   426264     17 |  0.628 % |
1173.51/1174.04	c |   1992032 |    6173   469857  3720948 | 2147483647   429561     17 |  0.628 % |
1178.51/1179.02	c |   1995657 |    6173   469857  3720948 | 2147483647   433186     17 |  0.628 % |
1179.31/1179.83	c |   1999644 |    6173   469857  3720948 | 2147483647   437173     17 |  0.628 % |
1180.51/1181.08	c |   2004029 |    6173   469857  3720948 | 2147483647   441558     17 |  0.628 % |
1187.10/1187.64	c |   2008852 |    6173   469857  3720948 | 2147483647   446381     17 |  0.628 % |
1188.80/1189.31	c |   2014159 |    6173   469857  3720948 | 2147483647   451688     17 |  0.628 % |
1197.80/1198.39	c |   2019994 |    6173   469857  3720948 | 2147483647   457523     17 |  0.628 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 2894
/proc/meminfo: memFree=1937288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0

[startup+0.046201 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 2894
/proc/meminfo: memFree=1937288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101208 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 2894
/proc/meminfo: memFree=1937288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301236 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 2894
/proc/meminfo: memFree=1937288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701293 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 2894
/proc/meminfo: memFree=1937288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50141 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 2899
/proc/meminfo: memFree=1884600/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=0
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305332917 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2894/statm: 1339 237 197 169 0 50 0
[pid=2898] ppid=2894 vsize=53808 CPUtime=1.49
/proc/2898/stat : 2898 (SatELite_releas) R 2894 2894 2676 0 -1 4194304 13702 0 0 0 138 11 0 0 25 0 1 0 305332918 55099392 12956 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/2898/statm: 13452 12956 77 173 0 13277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59164

[startup+3.10164 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1909816/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=34588 CPUtime=1.05
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 8307 0 0 0 100 5 0 0 25 0 1 0 305333120 35418112 8293 1992294400 134512640 135215339 4294956240 18446744073709551615 134525667 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 8647 8293 77 171 0 8474 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 39944

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1878520/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=40696 CPUtime=4.25
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 9817 0 0 0 418 7 0 0 25 0 1 0 305333120 41672704 9803 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 10174 9803 77 171 0 10001 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46052

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1871296/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=47348 CPUtime=10.65
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 11424 0 0 0 1056 9 0 0 25 0 1 0 305333120 48484352 11410 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 11837 11410 77 171 0 11664 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 52704

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1862208/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=56080 CPUtime=23.42
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 13593 0 0 0 2331 11 0 0 25 0 1 0 305333120 57425920 13579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 14020 13579 77 171 0 13847 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 61436

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1850432/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=68116 CPUtime=49.01
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 16583 0 0 0 4887 14 0 0 25 0 1 0 305333120 69750784 16569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 17029 16569 77 171 0 16856 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 73472

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1834688/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=83864 CPUtime=100.18
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 20409 0 0 0 10000 18 0 0 25 0 1 0 305333120 85876736 20395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 20966 20395 77 171 0 20793 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 89220

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1826112/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=92196 CPUtime=160.15
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 22545 0 0 0 15995 20 0 0 25 0 1 0 305333120 94408704 22531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23049 22531 77 171 0 22876 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 97552

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 2900
/proc/meminfo: memFree=1825280/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=93072 CPUtime=220.12
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 22735 0 0 0 21991 21 0 0 25 0 1 0 305333120 95305728 22721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23268 22721 77 171 0 23095 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 98428

[startup+282.301 s]
/proc/loadavg: 1.05 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1824704/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=93660 CPUtime=280.1
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 22884 0 0 0 27989 21 0 0 25 0 1 0 305333120 95907840 22870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23415 22870 77 171 0 23242 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 99016

[startup+342.303 s]
/proc/loadavg: 1.02 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1824128/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=94236 CPUtime=340.08
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 22994 0 0 0 33987 21 0 0 25 0 1 0 305333120 96497664 22980 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23559 22980 77 171 0 23386 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 99592

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1823552/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=94752 CPUtime=400.05
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23116 0 0 0 39984 21 0 0 25 0 1 0 305333120 97026048 23102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23688 23102 77 171 0 23515 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 100108

[startup+462.301 s]

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

/proc/2900/statm: 23846 23273 77 171 0 23673 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 100740

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1822272/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=95716 CPUtime=639.98
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23348 0 0 0 63974 24 0 0 25 0 1 0 305333120 98013184 23334 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 23929 23334 77 171 0 23756 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 101072

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1821696/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=96200 CPUtime=699.96
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23444 0 0 0 69972 24 0 0 25 0 1 0 305333120 98508800 23430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24050 23430 77 171 0 23877 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 101556

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1821184/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=96628 CPUtime=759.95
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23570 0 0 0 75970 25 0 0 25 0 1 0 305333120 98947072 23556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24157 23556 77 171 0 23984 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 101984

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1820800/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=96948 CPUtime=819.91
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23657 0 0 0 81966 25 0 0 25 0 1 0 305333120 99274752 23643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24237 23643 77 171 0 24064 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 102304

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1820480/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97160 CPUtime=879.89
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23710 0 0 0 87964 25 0 0 25 0 1 0 305333120 99491840 23696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24290 23696 77 171 0 24117 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 102516

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1820288/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97372 CPUtime=939.88
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23731 0 0 0 93962 26 0 0 25 0 1 0 305333120 99708928 23717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24343 23717 77 171 0 24170 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 102728

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2900
/proc/meminfo: memFree=1820224/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97372 CPUtime=999.86
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23736 0 0 0 99960 26 0 0 25 0 1 0 305333120 99708928 23722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24343 23722 77 171 0 24170 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 102728

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2906
/proc/meminfo: memFree=1819512/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97588 CPUtime=1059.82
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23782 0 0 0 105956 26 0 0 25 0 1 0 305333120 99930112 23768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24397 23768 77 171 0 24224 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 102944

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2906
/proc/meminfo: memFree=1819520/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97588 CPUtime=1119.8
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23795 0 0 0 111954 26 0 0 25 0 1 0 305333120 99930112 23781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24397 23781 77 171 0 24224 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 102944

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2906
/proc/meminfo: memFree=1819520/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97588 CPUtime=1179.79
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23806 0 0 0 117952 27 0 0 25 0 1 0 305333120 99930112 23792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24397 23792 77 171 0 24224 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 102944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2906
/proc/meminfo: memFree=1819520/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97588 CPUtime=1197.98
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23806 0 0 0 119771 27 0 0 25 0 1 0 305333120 99930112 23792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24397 23792 77 171 0 24224 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 102944

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 2906
/proc/meminfo: memFree=1819520/2055920 swapFree=4178372/4192956
[pid=2894] ppid=2892 vsize=5356 CPUtime=2.02
/proc/2894/stat : 2894 (SatELiteGTI) S 2892 2894 2676 0 -1 4194304 336 13953 0 0 0 0 186 16 16 0 1 0 305332917 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2894/statm: 1339 239 197 169 0 50 0
[pid=2900] ppid=2894 vsize=97588 CPUtime=1197.98
/proc/2900/stat : 2900 (minisat_static) R 2894 2894 2676 0 -1 4194304 23806 0 0 0 119771 27 0 0 25 0 1 0 305333120 99930112 23792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2900/statm: 24397 23792 77 171 0 24224 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 102944

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2894 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=866716
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=165974
# CPU time returned by wait4() is 2.03269
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1199.57
CPU system time (s): 0.43
CPU usage (%): 99.9572
Max. virtual memory (cumulated for all children) (KiB): 102944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.86672
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14289
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= 14
involuntary context switches= 12

runsolver used 1.46578 second user time and 3.01154 second system time

The end

Launcher Data

Begin job on node29 at 2009-05-20 00:43:21
IDJOB=1832421
IDBENCH=69600
IDSOLVER=671
FILE ID=node29/1832421-1242773000
PBS_JOBID= 9322269
Free space on /tmp= 66468 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/vange-col-abb313GPIA-9-c.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832421-1242773000/watcher-1832421-1242773000 -o /tmp/evaluation-result-1832421-1242773000/solver-1832421-1242773000 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832421-1242773000.cnf

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

MD5SUM BENCH= 0baefedb2aaa81442743e253487854d8
RANDOM SEED=471978712

node29.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.281
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.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1937768 kB
Buffers:         12152 kB
Cached:          68344 kB
SwapCached:       8788 kB
Active:          44828 kB
Inactive:        45976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1937768 kB
SwapTotal:     4192956 kB
SwapFree:      4178372 kB
Dirty:           22124 kB
Writeback:           0 kB
Mapped:          15000 kB
Slab:            13320 kB
Committed_AS:  1095196 kB
PageTables:       1476 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= 66448 MiB
End job on node29 at 2009-05-20 01:03:23