Trace number 1837538

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) 10000 10004.3

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
MD5SUMd4e16a803f6cd0903a2bd3e7157287b3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2730
Number of clauses271285
Sum of the clauses size809746
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24450
Number of clauses of size 3266804
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data

0.00/0.00	c Parsing...
0.00/0.15	c ==============================================================================
0.00/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.15	c ==============================================================================
0.00/0.15	c |         0 |  271285   809746 |   81385       0        0     nan |  0.000 % |
3.67/3.76	c |         0 |  269831  1187407 |      --       0       --      -- |     --   | -1454/377661
3.67/3.76	c ==============================================================================
3.67/3.76	c Result  :   #vars: 1698   #clauses: 269831   #literals: 1187407
3.67/3.76	c CPU time:   3.69044 s
3.67/3.76	c ==============================================================================
3.96/4.08	c This is MiniSat 2.0 beta
3.96/4.08	c WARNING: for repeatability, setting FPU to use double precision
3.96/4.08	c ============================[ Problem Statistics ]=============================
3.96/4.08	c |                                                                             |
3.96/4.08	c |  Number of variables:  1698                                                 |
3.96/4.08	c |  Number of clauses:    269831                                               |
4.05/4.24	c |  Parsing time:         0.14         s                                       |
4.05/4.25	c ============================[ Search Statistics ]==============================
4.05/4.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.05/4.25	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.05/4.25	c ===============================================================================
4.05/4.25	c |         0 |    1698   269831  1187407 |    89943        0    nan |  0.000 % |
4.35/4.41	c |       100 |    1698   269831  1187407 |    89943      100     67 |  0.000 % |
4.45/4.52	c |       202 |    1698   269831  1187407 |    89943      202     66 |  0.000 % |
4.55/4.61	c |       302 |    1698   269831  1187407 |    89943      302     64 |  0.000 % |
4.55/4.69	c |       412 |    1698   269831  1187407 |    89943      412     66 |  0.000 % |
4.65/4.79	c |       514 |    1698   269831  1187407 |    89943      514     66 |  0.000 % |
4.85/4.91	c |       624 |    1698   269831  1187407 |    89943      624     66 |  0.000 % |
4.85/4.99	c |       746 |    1698   269831  1187407 |    89943      746     69 |  0.000 % |
4.95/5.07	c |       846 |    1698   269831  1187407 |    89943      846     69 |  0.000 % |
5.05/5.17	c |       956 |    1698   269831  1187407 |    89943      956     69 |  0.000 % |
5.25/5.32	c |      1077 |    1698   269831  1187407 |    89943     1077     69 |  0.000 % |
5.35/5.41	c |      1211 |    1698   269831  1187407 |    89943     1211     71 |  0.000 % |
5.35/5.43	c |      1312 |    1698   269831  1187407 |    89943     1312     71 |  0.000 % |
5.45/5.51	c |      1422 |    1698   269831  1187407 |    89943     1422     71 |  0.000 % |
5.55/5.60	c |      1545 |    1698   269831  1187407 |    89943     1545     72 |  0.000 % |
5.65/5.71	c |      1678 |    1698   269831  1187407 |    89943     1678     73 |  0.000 % |
5.75/5.84	c |      1826 |    1698   269831  1187407 |    89943     1826     73 |  0.000 % |
5.85/5.91	c |      1926 |    1698   269831  1187407 |    89943     1926     73 |  0.000 % |
5.85/5.99	c |      2036 |    1698   269831  1187407 |    89943     2036     73 |  0.000 % |
6.05/6.10	c |      2159 |    1698   269831  1187407 |    89943     2159     74 |  0.000 % |
6.15/6.24	c |      2293 |    1698   269831  1187407 |    89943     2293     75 |  0.000 % |
6.25/6.34	c |      2440 |    1698   269831  1187407 |    89943     2440     77 |  0.000 % |
6.35/6.46	c |      2600 |    1698   269831  1187407 |    89943     2600     77 |  0.000 % |
6.45/6.53	c |      2700 |    1698   269831  1187407 |    89943     2700     77 |  0.000 % |
6.45/6.59	c |      2810 |    1698   269831  1187407 |    89943     2810     78 |  0.000 % |
6.55/6.69	c |      2931 |    1698   269831  1187407 |    89943     2931     78 |  0.000 % |
6.64/6.77	c |      3065 |    1698   269831  1187407 |    89943     3065     77 |  0.000 % |
6.84/6.92	c |      3212 |    1698   269831  1187407 |    89943     3212     79 |  0.000 % |
6.94/7.08	c |      3373 |    1698   269831  1187407 |    89943     3373     78 |  0.000 % |
7.14/7.26	c |      3549 |    1698   269831  1187407 |    89943     3549     78 |  0.000 % |
7.24/7.35	c |      3651 |    1698   269831  1187407 |    89943     3651     78 |  0.000 % |
7.34/7.44	c |      3761 |    1698   269831  1187407 |    89943     3761     77 |  0.000 % |
7.44/7.56	c |      3884 |    1698   269831  1187407 |    89943     3884     77 |  0.000 % |
7.54/7.63	c |      4021 |    1698   269831  1187407 |    89943     4021     79 |  0.000 % |
7.64/7.71	c |      4168 |    1698   269831  1187407 |    89943     4168     78 |  0.000 % |
7.74/7.86	c |      4329 |    1698   269831  1187407 |    89943     4329     79 |  0.000 % |
7.95/8.08	c |      4505 |    1698   269831  1187407 |    89943     4505     79 |  0.000 % |
8.15/8.26	c |      4698 |    1698   269831  1187407 |    89943     4698     79 |  0.000 % |
8.25/8.35	c |      4799 |    1698   269831  1187407 |    89943     4799     78 |  0.000 % |
8.35/8.43	c |      4910 |    1698   269831  1187407 |    89943     4910     78 |  0.000 % |
8.45/8.54	c |      5033 |    1698   269831  1187407 |    89943     5033     78 |  0.000 % |
8.55/8.67	c |      5168 |    1698   269831  1187407 |    89943     5168     78 |  0.000 % |
8.65/8.77	c |      5314 |    1698   269831  1187407 |    89943     5314     78 |  0.000 % |
8.85/8.92	c |      5474 |    1698   269831  1187407 |    89943     5474     78 |  0.000 % |
8.94/9.07	c |      5650 |    1698   269831  1187407 |    89943     5650     78 |  0.000 % |
9.04/9.19	c |      5844 |    1698   269831  1187407 |    89943     5844     78 |  0.000 % |
9.24/9.32	c |      6056 |    1698   269831  1187407 |    89943     6056     79 |  0.000 % |
9.34/9.40	c |      6156 |    1698   269831  1187407 |    89943     6156     79 |  0.000 % |
9.34/9.48	c |      6266 |    1698   269831  1187407 |    89943     6266     80 |  0.000 % |
9.54/9.60	c |      6387 |    1698   269831  1187407 |    89943     6387     80 |  0.000 % |
9.64/9.72	c |      6521 |    1698   269831  1187407 |    89943     6521     80 |  0.000 % |
9.75/9.83	c |      6668 |    1698   269831  1187407 |    89943     6668     80 |  0.000 % |
9.85/9.97	c |      6833 |    1698   269831  1187407 |    89943     6833     81 |  0.000 % |
10.04/10.10	c |      7009 |    1698   269831  1187407 |    89943     7009     81 |  0.000 % |
10.14/10.25	c |      7202 |    1698   269831  1187407 |    89943     7202     81 |  0.000 % |
10.34/10.42	c |      7416 |    1698   269831  1187407 |    89943     7416     81 |  0.000 % |
10.54/10.65	c |      7649 |    1698   269831  1187407 |    89943     7649     80 |  0.000 % |
10.64/10.76	c |      7751 |    1698   269831  1187407 |    89943     7751     80 |  0.000 % |
10.74/10.85	c |      7861 |    1698   269831  1187407 |    89943     7861     80 |  0.000 % |
10.85/10.94	c |      7982 |    1698   269831  1187407 |    89943     7982     80 |  0.000 % |
10.95/11.09	c |      8117 |    1698   269831  1187407 |    89943     8117     81 |  0.000 % |
11.14/11.23	c |      8263 |    1698   269831  1187407 |    89943     8263     80 |  0.000 % |
11.24/11.36	c |      8423 |    1698   269831  1187407 |    89943     8423     80 |  0.000 % |
11.44/11.57	c |      8599 |    1698   269831  1187407 |    89943     8599     80 |  0.000 % |
11.64/11.72	c |      8792 |    1698   269831  1187407 |    89943     8792     81 |  0.000 % |
11.84/12.00	c |      9005 |    1698   269831  1187407 |    89943     9005     80 |  0.000 % |
12.14/12.27	c |      9239 |    1698   269831  1187407 |    89943     9239     80 |  0.000 % |
12.34/12.45	c |      9495 |    1698   269831  1187407 |    89943     9495     81 |  0.000 % |
12.44/12.55	c |      9595 |    1698   269831  1187407 |    89943     9595     80 |  0.000 % |
12.54/12.69	c |      9707 |    1698   269831  1187407 |    89943     9707     80 |  0.000 % |
12.64/12.79	c |      9830 |    1698   269831  1187407 |    89943     9830     80 |  0.000 % |
12.74/12.85	c |      9963 |    1698   269831  1187407 |    89943     9963     80 |  0.000 % |
12.84/12.94	c |     10110 |    1698   269831  1187407 | 2147483647    10110     80 |  0.000 % |
13.04/13.12	c |     10272 |    1698   269831  1187407 | 2147483647    10272     80 |  0.000 % |
13.14/13.25	c |     10448 |    1698   269831  1187407 | 2147483647    10448     80 |  0.000 % |
13.34/13.43	c |     10644 |    1698   269831  1187407 | 2147483647    10644     79 |  0.000 % |
13.54/13.65	c |     10856 |    1698   269831  1187407 | 2147483647    10856     80 |  0.000 % |
13.74/13.85	c |     11090 |    1698   269831  1187407 | 2147483647    11090     80 |  0.000 % |
14.14/14.21	c |     11347 |    1698   269831  1187407 | 2147483647    11347     80 |  0.000 % |
14.44/14.55	c |     11628 |    1698   269831  1187407 | 2147483647    11628     80 |  0.000 % |
14.54/14.62	c |     11729 |    1698   269831  1187407 | 2147483647    11729     81 |  0.000 % |
14.64/14.75	c |     11840 |    1698   269831  1187407 | 2147483647    11840     81 |  0.000 % |
14.74/14.87	c |     11961 |    1698   269831  1187407 | 2147483647    11961     81 |  0.000 % |
14.83/14.97	c |     12095 |    1698   269831  1187407 | 2147483647    12095     81 |  0.000 % |
15.03/15.10	c |     12242 |    1698   269831  1187407 | 2147483647    12242     81 |  0.000 % |
15.13/15.22	c |     12403 |    1698   269831  1187407 | 2147483647    12403     81 |  0.000 % |
15.25/15.36	c |     12580 |    1698   269831  1187407 | 2147483647    12580     81 |  0.000 % |
15.44/15.51	c |     12775 |    1698   269831  1187407 | 2147483647    12775     81 |  0.000 % |
15.64/15.71	c |     12988 |    1698   269831  1187407 | 2147483647    12988     82 |  0.000 % |
15.84/15.94	c |     13225 |    1698   269831  1187407 | 2147483647    13225     82 |  0.000 % |
16.04/16.12	c |     13481 |    1698   269831  1187407 | 2147483647    13481     81 |  0.000 % |
16.24/16.38	c |     13762 |    1698   269831  1187407 | 2147483647    13762     82 |  0.000 % |
16.54/16.66	c |     14074 |    1698   269831  1187407 | 2147483647    14074     81 |  0.000 % |
16.64/16.76	c |     14175 |    1698   269831  1187407 | 2147483647    14175     81 |  0.000 % |
16.84/16.91	c |     14285 |    1698   269831  1187407 | 2147483647    14285     81 |  0.000 % |
16.94/17.06	c |     14406 |    1698   269831  1187407 | 2147483647    14406     81 |  0.000 % |
17.04/17.17	c |     14540 |    1698   269831  1187407 | 2147483647    14540     81 |  0.000 % |
17.14/17.29	c |     14689 |    1698   269831  1187407 | 2147483647    14689     81 |  0.000 % |
17.33/17.44	c |     14849 |    1698   269831  1187407 | 2147483647    14849     81 |  0.000 % |
17.44/17.56	c |     15025 |    1698   269831  1187407 | 2147483647    15025     81 |  0.000 % |
17.63/17.77	c |     15219 |    1698   269831  1187407 | 2147483647    15219     81 |  0.000 % |
17.83/17.91	c |     15432 |    1698   269831  1187407 | 2147483647    15432     81 |  0.000 % |
17.93/18.09	c |     15665 |    1698   269831  1187407 | 2147483647    15665     81 |  0.000 % |
18.13/18.23	c |     15923 |    1698   269831  1187407 | 2147483647    15923     82 |  0.000 % |
18.33/18.40	c |     16205 |    1698   269831  1187407 | 2147483647    16205     82 |  0.000 % |
18.54/18.61	c |     16514 |    1698   269831  1187407 | 2147483647    16514     83 |  0.000 % |
18.74/18.85	c |     16853 |    1698   269831  1187407 | 2147483647    16853     83 |  0.000 % |
18.84/18.96	c |     16953 |    1698   269831  1187407 | 2147483647    16953     83 |  0.000 % |
18.94/19.03	c |     17064 |    1698   269831  1187407 | 2147483647    17064     83 |  0.000 % |
19.04/19.14	c |     17187 |    1698   269831  1187407 | 2147483647    17187     83 |  0.000 % |
19.14/19.25	c |     17321 |    1698   269831  1187407 | 2147483647    17321     83 |  0.000 % |
19.24/19.39	c |     17467 |    1698   269831  1187407 | 2147483647    17467     83 |  0.000 % |
19.44/19.57	c |     17629 |    1698   269831  1187407 | 2147483647    17629     83 |  0.000 % |
19.64/19.76	c |     17806 |    1698   269831  1187407 | 2147483647    17806     83 |  0.000 % |
19.74/19.88	c |     17999 |    1698   269831  1187407 | 2147483647    17999     83 |  0.000 % |
19.94/20.09	c |     18211 |    1698   269831  1187407 | 2147483647    18211     82 |  0.000 % |
20.24/20.36	c |     18446 |    1698   269831  1187407 | 2147483647    18446     82 |  0.000 % |
20.34/20.45	c |     18704 |    1698   269831  1187407 | 2147483647    18704     82 |  0.000 % |
20.63/20.80	c |     18985 |    1698   269831  1187407 | 2147483647    18985     81 |  0.000 % |
20.93/21.01	c |     19298 |    1698   269831  1187407 | 2147483647    19298     81 |  0.000 % |
21.13/21.26	c |     19637 |    1698   269831  1187407 | 2147483647    19637     82 |  0.000 % |
21.53/21.60	c |     20010 |    1698   269831  1187407 | 2147483647    20010     82 |  0.000 % |
21.53/21.70	c |     20110 |    1698   269831  1187407 | 2147483647    20110     82 |  0.000 % |
21.63/21.79	c |     20222 |    1698   269831  1187407 | 2147483647    20222     82 |  0.000 % |
21.83/21.93	c |     20344 |    1698   269831  1187407 | 2147483647    20344     82 |  0.000 % |
21.93/22.03	c |     20477 |    1698   269831  1187407 | 2147483647    20477     82 |  0.000 % |
22.03/22.17	c |     20623 |    1698   269831  1187407 | 2147483647    20623     82 |  0.000 % |
22.13/22.28	c |     20783 |    1698   269831  1187407 | 2147483647    20783     82 |  0.000 % |
22.33/22.42	c |     20959 |    1698   269831  1187407 | 2147483647    20959     82 |  0.000 % |
22.43/22.57	c |     21153 |    1698   269831  1187407 | 2147483647    21153     82 |  0.000 % |
22.53/22.69	c |     21367 |    1698   269831  1187407 | 2147483647    21367     81 |  0.000 % |
22.73/22.85	c |     21601 |    1698   269831  1187407 | 2147483647    21601     81 |  0.000 % |
22.93/23.06	c |     21860 |    1698   269831  1187407 | 2147483647    21860     81 |  0.000 % |
23.13/23.20	c |     22143 |    1698   269831  1187407 | 2147483647    22143     81 |  0.000 % |
23.23/23.36	c |     22452 |    1698   269831  1187407 | 2147483647    22452     81 |  0.000 % |
23.43/23.51	c |     22791 |    1698   269831  1187407 | 2147483647    22791     81 |  0.000 % |
23.53/23.69	c |     23163 |    1698   269831  1187407 | 2147483647    23163     81 |  0.000 % |
23.73/23.88	c |     23572 |    1698   269831  1187407 | 2147483647    23572     81 |  0.000 % |
23.83/23.97	c |     23675 |    1698   269831  1187407 | 2147483647    23675     81 |  0.000 % |
23.92/24.05	c |     23785 |    1698   269831  1187407 | 2147483647    23785     81 |  0.000 % |
24.03/24.18	c |     23909 |    1698   269831  1187407 | 2147483647    23909     81 |  0.000 % |
24.23/24.32	c |     24042 |    1698   269831  1187407 | 2147483647    24042     81 |  0.000 % |
24.33/24.50	c |     24188 |    1698   269831  1187407 | 2147483647    24188     82 |  0.000 % |
24.52/24.63	c |     24348 |    1698   269831  1187407 | 2147483647    24348     82 |  0.000 % |
24.72/24.80	c |     24525 |    1698   269831  1187407 | 2147483647    24525     82 |  0.000 % |
24.82/24.95	c |     24718 |    1698   269831  1187407 | 2147483647    24718     82 |  0.000 % |
25.13/25.27	c |     24931 |    1698   269831  1187407 | 2147483647    24931     82 |  0.000 % |
25.52/25.60	c |     25164 |    1698   269831  1187407 | 2147483647    25164     82 |  0.000 % |
25.72/25.88	c |     25420 |    1698   269831  1187407 | 2147483647    25420     82 |  0.000 % |
26.03/26.10	c |     25701 |    1698   269831  1187407 | 2147483647    25701     82 |  0.000 % |
26.33/26.48	c |     26010 |    1698   269831  1187407 | 2147483647    26010     82 |  0.000 % |
26.83/26.99	c |     26350 |    1698   269831  1187407 | 2147483647    26350     82 |  0.000 % |
27.23/27.35	c |     26722 |    1698   269831  1187407 | 2147483647    26722     82 |  0.000 % |
27.63/27.74	c |     27131 |    1698   269831  1187407 | 2147483647    27131     82 |  0.000 % |
27.83/27.97	c |     27582 |    1698   269831  1187407 | 2147483647    27582     82 |  0.000 % |
27.93/28.05	c |     27683 |    1698   269831  1187407 | 2147483647    27683     82 |  0.000 % |
28.03/28.15	c |     27794 |    1698   269831  1187407 | 2147483647    27794     82 |  0.000 % |
28.13/28.28	c |     27916 |    1698   269831  1187407 | 2147483647    27916     82 |  0.000 % |
28.33/28.45	c |     28054 |    1698   269831  1187407 | 2147483647    28054     82 |  0.000 % |
28.53/28.61	c |     28202 |    1698   269831  1187407 | 2147483647    28202     82 |  0.000 % |
28.63/28.76	c |     28362 |    1698   269831  1187407 | 2147483647    28362     82 |  0.000 % |
28.93/29.00	c |     28538 |    1698   269831  1187407 | 2147483647    28538     82 |  0.000 % |
29.13/29.20	c |     28731 |    1698   269831  1187407 | 2147483647    28731     83 |  0.000 % |
29.23/29.39	c |     28943 |    1698   269831  1187407 | 2147483647    28943     82 |  0.000 % |
29.43/29.58	c |     29182 |    1698   269831  1187407 | 2147483647    29182     83 |  0.000 % |
29.63/29.79	c |     29439 |    1698   269831  1187407 | 2147483647    29439     83 |  0.000 % |
30.12/30.21	c |     29720 |    1698   269831  1187407 | 2147483647    29720     83 |  0.000 % |
30.32/30.49	c |     30031 |    1698   269831  1187407 | 2147483647    30031     83 |  0.000 % |
30.73/30.87	c |     30370 |    1698   269831  1187407 | 2147483647    30370     83 |  0.000 % |
31.12/31.23	c |     30742 |    1698   269831  1187407 | 2147483647    30742     84 |  0.000 % |
31.42/31.56	c |     31151 |    1698   269831  1187407 | 2147483647    31151     84 |  0.000 % |
32.12/32.25	c |     31603 |    1698   269831  1187407 | 2147483647    31603     84 |  0.000 % |
32.42/32.53	c |     32097 |    1698   269831  1187407 | 2147483647    32097     85 |  0.000 % |
32.62/32.73	c |     32197 |    1698   269831  1187407 | 2147483647    32197     85 |  0.000 % |
32.72/32.87	c |     32308 |    1698   269831  1187407 | 2147483647    32308     85 |  0.000 % |
32.82/32.98	c |     32431 |    1698   269831  1187407 | 2147483647    32431     85 |  0.000 % |
33.02/33.13	c |     32564 |    1698   269831  1187407 | 2147483647    32564     85 |  0.000 % |
33.21/33.34	c |     32711 |    1698   269831  1187407 | 2147483647    32711     85 |  0.000 % |
33.31/33.49	c |     32871 |    1698   269831  1187407 | 2147483647    32871     85 |  0.000 % |
33.52/33.66	c |     33048 |    1698   269831  1187407 | 2147483647    33048     85 |  0.000 % |
33.72/33.85	c |     33242 |    1698   269831  1187407 | 2147483647    33242     85 |  0.000 % |
33.82/33.98	c |     33455 |    1698   269831  1187407 | 2147483647    33455     85 |  0.000 % |
34.12/34.28	c |     33688 |    1698   269831  1187407 | 2147483647    33688     85 |  0.000 % |
34.42/34.53	c |     33944 |    1698   269831  1187407 | 2147483647    33944     85 |  0.000 % |
34.72/34.81	c |     34225 |    1698   269831  1187407 | 2147483647    34225     86 |  0.000 % |
34.92/35.07	c |     34536 |    1698   269831  1187407 | 2147483647    34536     86 |  0.000 % |
35.22/35.39	c |     34877 |    1698   269831  1187407 | 2147483647    34877     86 |  0.000 % |
35.62/35.75	c |     35250 |    1698   269831  1187407 | 2147483647    35250     86 |  0.000 % |
35.92/36.09	c |     35664 |    1698   269831  1187407 | 2147483647    35664     86 |  0.000 % |
36.32/36.41	c |     36114 |    1698   269831  1187407 | 2147483647    36114     87 |  0.000 % |
36.81/36.96	c |     36607 |    1698   269831  1187407 | 2147483647    36607     87 |  0.000 % |
37.61/37.76	c |     37152 |    1698   269831  1187407 | 2147483647    37152     86 |  0.000 % |
37.81/37.93	c |     37253 |    1698   269831  1187407 | 2147483647    37253     86 |  0.000 % |
38.01/38.11	c |     37365 |    1698   269831  1187407 | 2147483647    37365     86 |  0.000 % |
38.11/38.30	c |     37486 |    1698   269831  1187407 | 2147483647    37486     86 |  0.001 % |
38.41/38.51	c |     37619 |    1698   269831  1187407 | 2147483647    37619     86 |  0.000 % |
38.60/38.72	c |     37765 |    1698   269831  1187407 | 2147483647    37765     86 |  0.000 % |
38.80/38.95	c |     37926 |    1698   269831  1187407 | 2147483647    37926     85 |  0.000 % |
39.00/39.19	c |     38102 |    1698   269831  1187407 | 2147483647    38102     85 |  0.000 % |
39.30/39.48	c |     38295 |    1698   269831  1187407 | 2147483647    38295     85 |  0.000 % |
39.50/39.64	c |     38510 |    1698   269831  1187407 | 2147483647    38510     85 |  0.000 % |
39.80/39.91	c |     38744 |    1698   269831  1187407 | 2147483647    38744     85 |  0.000 % |
40.00/40.19	c |     39000 |    1698   269831  1187407 | 2147483647    39000     85 |  0.000 % |
40.40/40.56	c |     39282 |    1698   269831  1187407 | 2147483647    39282     85 |  0.000 % |
40.79/40.93	c |     39591 |    1698   269831  1187407 | 2147483647    39591     85 |  0.000 % |
40.99/41.17	c |     39930 |    1698   269831  1187407 | 2147483647    39930     86 |  0.000 % |
41.39/41.58	c |     40303 |    1698   269831  1187407 | 2147483647    40303     86 |  0.000 % |
42.09/42.22	c |     40716 |    1698   269831  1187407 | 2147483647    40716     86 |  0.000 % |
42.69/42.88	c |     41165 |    1698   269831  1187407 | 2147483647    41165     86 |  0.000 % |
43.49/43.62	c |     41659 |    1698   269831  1187407 | 2147483647    41659     86 |  0.000 % |
43.99/44.13	c |     42201 |    1698   269831  1187407 | 2147483647    42201     86 |  0.000 % |
44.70/44.84	c |     42797 |    1698   269831  1187407 | 2147483647    42797     86 |  0.000 % |
44.80/44.99	c |     42897 |    1698   269831  1187407 | 2147483647    42897     86 |  0.000 % |
45.00/45.18	c |     43009 |    1698   269831  1187407 | 2147483647    43009     86 |  0.000 % |
45.30/45.42	c |     43131 |    1698   269831  1187407 | 2147483647    43131     86 |  0.000 % |
45.50/45.63	c |     43264 |    1698   269831  1187407 | 2147483647    43264     86 |  0.000 % |
45.60/45.79	c |     43411 |    1698   269831  1187407 | 2147483647    43411     86 |  0.000 % |
45.90/46.03	c |     43572 |    1698   269831  1187407 | 2147483647    43572     86 |  0.000 % |
46.10/46.26	c |     43750 |    1698   269831  1187407 | 2147483647    43750     86 |  0.000 % |
46.30/46.49	c |     43944 |    1698   269831  1187407 | 2147483647    43944     86 |  0.000 % |
46.60/46.75	c |     44156 |    1698   269831  1187407 | 2147483647    44156     86 |  0.000 % |
46.80/46.92	c |     44390 |    1698   269831  1187407 | 2147483647    44390     86 |  0.000 % |
47.10/47.26	c |     44646 |    1698   269831  1187407 | 2147483647    44646     87 |  0.000 % |
47.60/47.73	c |     44927 |    1698   269831  1187407 | 2147483647    44927     86 |  0.000 % |
48.20/48.35	c |     45236 |    1698   269831  1187407 | 2147483647    45236     86 |  0.000 % |
48.70/48.85	c |     45575 |    1698   269831  1187407 | 2147483647    45575     86 |  0.000 % |
49.40/49.54	c |     45947 |    1698   269831  1187407 | 2147483647    45947     86 |  0.000 % |
49.90/50.02	c |     46358 |    1698   269831  1187407 | 2147483647    46358     86 |  0.000 % |
50.59/50.76	c |     46807 |    1698   269831  1187407 | 2147483647    46807     86 |  0.000 % |
51.29/51.42	c |     47302 |    1698   269831  1187407 | 2147483647    47302     86 |  0.000 % |
51.78/51.99	c |     47844 |    1698   269831  1187407 | 2147483647    47844     87 |  0.000 % |
52.78/52.92	c |     48442 |    1698   269831  1187407 | 2147483647    48442     87 |  0.000 % |
53.88/54.01	c |     49101 |    1698   269831  1187407 | 2147483647    49101     86 |  0.000 % |
53.98/54.17	c |     49201 |    1698   269831  1187407 | 2147483647    49201     86 |  0.000 % |
54.18/54.30	c |     49313 |    1698   269831  1187407 | 2147483647    49313     86 |  0.000 % |
54.28/54.48	c |     49434 |    1698   269831  1187407 | 2147483647    49434     86 |  0.000 % |
54.38/54.59	c |     49567 |    1698   269831  1187407 | 2147483647    49567     86 |  0.000 % |
54.78/54.91	c |     49713 |    1698   269831  1187407 | 2147483647    49713     86 |  0.000 % |
54.98/55.16	c |     49874 |    1698   269831  1187407 | 2147483647    49874     86 |  0.000 % |
55.28/55.46	c |     50052 |    1698   269831  1187407 | 2147483647    50052     86 |  0.000 % |
55.58/55.75	c |     50247 |    1698   269831  1187407 | 2147483647    50247     87 |  0.000 % |
55.88/56.03	c |     50460 |    1698   269831  1187407 | 2147483647    50460     86 |  0.000 % |
56.18/56.38	c |     50693 |    1698   269831  1187407 | 2147483647    50693     86 |  0.000 % |
56.38/56.58	c |     50951 |    1698   269831  1187407 | 2147483647    50951     87 |  0.000 % |
56.58/56.78	c |     51232 |    1698   269831  1187407 | 2147483647    51232     87 |  0.000 % |
57.09/57.20	c |     51541 |    1698   269831  1187407 | 2147483647    51541     87 |  0.000 % |
57.49/57.60	c |     51880 |    1698   269831  1187407 | 2147483647    51880     87 |  0.000 % |
57.79/57.95	c |     52253 |    1698   269831  1187407 | 2147483647    52253     87 |  0.000 % |
58.29/58.46	c |     52663 |    1698   269831  1187407 | 2147483647    52663     87 |  0.000 % |
58.99/59.19	c |     53113 |    1698   269831  1187407 | 2147483647    53113     87 |  0.000 % |
59.89/60.04	c |     53606 |    1698   269831  1187407 | 2147483647    53606     87 |  0.000 % |
60.68/60.85	c |     54149 |    1698   269831  1187407 | 2147483647    54149     87 |  0.000 % |
61.78/61.97	c |     54747 |    1698   269831  1187407 | 2147483647    54747     87 |  0.000 % |
62.98/63.11	c |     55404 |    1698   269831  1187407 | 2147483647    55404     86 |  0.000 % |
64.18/64.30	c |     56124 |    1698   269831  1187407 | 2147483647    56124     86 |  0.000 % |
64.28/64.50	c |     56224 |    1698   269831  1187407 | 2147483647    56224     86 |  0.000 % |
64.48/64.68	c |     56335 |    1698   269831  1187407 | 2147483647    56335     86 |  0.000 % |
64.68/64.88	c |     56457 |    1698   269831  1187407 | 2147483647    56457     86 |  0.000 % |
64.98/65.17	c |     56590 |    1698   269831  1187407 | 2147483647    56590     85 |  0.000 % |
65.28/65.47	c |     56736 |    1698   269831  1187407 | 2147483647    56736     85 |  0.000 % |
65.58/65.74	c |     56897 |    1698   269831  1187407 | 2147483647    56897     85 |  0.000 % |
65.89/66.08	c |     57075 |    1698   269831  1187407 | 2147483647    57075     85 |  0.000 % |
66.28/66.41	c |     57268 |    1698   269831  1187407 | 2147483647    57268     85 |  0.000 % |
66.38/66.59	c |     57480 |    1698   269831  1187407 | 2147483647    57480     85 |  0.000 % |
66.78/66.97	c |     57713 |    1698   269831  1187407 | 2147483647    57713     85 |  0.000 % |
67.48/67.62	c |     57972 |    1698   269831  1187407 | 2147483647    57972     85 |  0.000 % |
67.98/68.19	c |     58253 |    1698   269831  1187407 | 2147483647    58253     85 |  0.000 % |
68.28/68.48	c |     58563 |    1698   269831  1187407 | 2147483647    58563     85 |  0.000 % |
68.78/68.95	c |     58902 |    1698   269831  1187407 | 2147483647    58902     85 |  0.000 % |
69.58/69.73	c |     59274 |    1698   269831  1187407 | 2147483647    59274     85 |  0.000 % |
69.98/70.16	c |     59684 |    1698   269831  1187407 | 2147483647    59684     85 |  0.000 % |
70.88/71.02	c |     60135 |    1698   269831  1187407 | 2147483647    60135     85 |  0.000 % |
71.58/71.78	c |     60629 |    1698   269831  1187407 | 2147483647    60629     85 |  0.000 % |
72.38/72.51	c |     61171 |    1698   269831  1187407 | 2147483647    61171     85 |  0.000 % |
72.78/72.95	c |     61771 |    1698   269831  1187407 | 2147483647    61771     85 |  0.000 % |
73.68/73.81	c |     62429 |    1698   269831  1187407 | 2147483647    62429     86 |  0.000 % |
74.88/75.04	c |     63149 |    1698   269831  1187407 | 2147483647    63149     86 |  0.000 % |
76.58/76.70	c |     63944 |    1698   269831  1187407 | 2147483647    63944     86 |  0.000 % |
76.68/76.89	c |     64045 |    1698   269831  1187407 | 2147483647    64045     86 |  0.000 % |
76.88/77.09	c |     64155 |    1698   269831  1187407 | 2147483647    64155     86 |  0.000 % |
77.18/77.30	c |     64277 |    1698   269831  1187407 | 2147483647    64277     86 |  0.000 % |
77.28/77.47	c |     64410 |    1698   269831  1187407 | 2147483647    64410     86 |  0.000 % |
77.58/77.76	c |     64561 |    1698   269831  1187407 | 2147483647    64561     86 |  0.000 % |
77.78/77.99	c |     64722 |    1698   269831  1187407 | 2147483647    64722     86 |  0.000 % |
78.28/78.42	c |     64899 |    1698   269831  1187407 | 2147483647    64899     86 |  0.000 % |
78.67/78.82	c |     65092 |    1698   269831  1187407 | 2147483647    65092     86 |  0.000 % |
78.98/79.18	c |     65304 |    1698   269831  1187407 | 2147483647    65304     86 |  0.000 % |
79.57/79.78	c |     65540 |    1698   269831  1187407 | 2147483647    65540     86 |  0.000 % |
80.08/80.27	c |     65797 |    1698   269831  1187407 | 2147483647    65797     86 |  0.000 % |
80.47/80.64	c |     66078 |    1698   269831  1187407 | 2147483647    66078     86 |  0.000 % |
80.87/81.08	c |     66387 |    1698   269831  1187407 | 2147483647    66387     87 |  0.000 % |
81.47/81.61	c |     66727 |    1698   269831  1187407 | 2147483647    66727     87 |  0.000 % |
82.27/82.47	c |     67099 |    1698   269831  1187407 | 2147483647    67099     86 |  0.000 % |
83.17/83.35	c |     67509 |    1698   269831  1187407 | 2147483647    67509     86 |  0.000 % |
83.77/83.99	c |     67959 |    1698   269831  1187407 | 2147483647    67959     86 |  0.000 % |
84.67/84.83	c |     68453 |    1698   269831  1187407 | 2147483647    68453     86 |  0.000 % |
85.77/85.98	c |     68997 |    1698   269831  1187407 | 2147483647    68997     86 |  0.000 % |
86.47/86.65	c |     69594 |    1698   269831  1187407 | 2147483647    69594     86 |  0.000 % |
88.07/88.23	c |     70249 |    1698   269831  1187407 | 2147483647    70249     86 |  0.000 % |
88.97/89.11	c |     70970 |    1698   269831  1187407 | 2147483647    70970     86 |  0.000 % |
90.27/90.43	c |     71764 |    1698   269831  1187407 | 2147483647    71764     86 |  0.000 % |
91.57/91.74	c |     72638 |    1698   269831  1187407 | 2147483647    72638     87 |  0.000 % |
91.77/91.94	c |     72738 |    1698   269831  1187407 | 2147483647    72738     87 |  0.000 % |
91.97/92.14	c |     72848 |    1698   269831  1187407 | 2147483647    72848     87 |  0.000 % |
92.07/92.28	c |     72969 |    1698   269831  1187407 | 2147483647    72969     87 |  0.000 % |
92.18/92.39	c |     73102 |    1698   269831  1187407 | 2147483647    73102     87 |  0.000 % |
92.37/92.57	c |     73248 |    1698   269831  1187407 | 2147483647    73248     87 |  0.000 % |
92.57/92.78	c |     73408 |    1698   269831  1187407 | 2147483647    73408     87 |  0.000 % |
93.07/93.23	c |     73588 |    1698   269831  1187407 | 2147483647    73588     87 |  0.000 % |
93.37/93.54	c |     73781 |    1698   269831  1187407 | 2147483647    73781     87 |  0.000 % |
93.57/93.76	c |     73995 |    1698   269831  1187407 | 2147483647    73995     87 |  0.000 % |
93.87/94.06	c |     74229 |    1698   269831  1187407 | 2147483647    74229     87 |  0.000 % |
94.37/94.51	c |     74485 |    1698   269831  1187407 | 2147483647    74485     87 |  0.000 % |
94.87/95.07	c |     74766 |    1698   269831  1187407 | 2147483647    74766     87 |  0.000 % |
95.16/95.39	c |     75075 |    1698   269831  1187407 | 2147483647    75075     87 |  0.000 % |
95.86/96.06	c |     75414 |    1698   269831  1187407 | 2147483647    75414     87 |  0.000 % |
96.36/96.55	c |     75786 |    1698   269831  1187407 | 2147483647    75786     87 |  0.000 % |
96.96/97.11	c |     76195 |    1698   269831  1187407 | 2147483647    76195     87 |  0.000 % |
97.76/97.91	c |     76644 |    1698   269831  1187407 | 2147483647    76644     87 |  0.000 % |
98.36/98.54	c |     77137 |    1698   269831  1187407 | 2147483647    77137     87 |  0.000 % |
99.25/99.45	c |     77679 |    1698   269831  1187407 | 2147483647    77679     87 |  0.000 % |
100.26/100.45	c |     78277 |    1698   269831  1187407 | 2147483647    78277     87 |  0.000 % |
101.16/101.34	c |     78934 |    1698   269831  1187407 | 2147483647    78934     87 |  0.000 % |
102.26/102.41	c |     79654 |    1698   269831  1187407 | 2147483647    79654     87 |  0.000 % |
103.16/103.30	c |     80446 |    1698   269831  1187407 | 2147483647    80446     88 |  0.000 % |
104.56/104.72	c |     81317 |    1698   269831  1187407 | 2147483647    81317     88 |  0.000 % |
106.66/106.83	c |     82275 |    1698   269831  1187407 | 2147483647    82275     87 |  0.000 % |
106.86/107.07	c |     82376 |    1698   269831  1187407 | 2147483647    82376     87 |  0.000 % |
107.15/107.35	c |     82486 |    1698   269831  1187407 | 2147483647    82486     87 |  0.000 % |
107.56/107.73	c |     82607 |    1698   269831  1187407 | 2147483647    82607     87 |  0.000 % |
107.85/108.03	c |     82740 |    1698   269831  1187407 | 2147483647    82740     87 |  0.000 % |
108.15/108.38	c |     82887 |    1698   269831  1187407 | 2147483647    82887     87 |  0.000 % |
108.45/108.68	c |     83048 |    1698   269831  1187407 | 2147483647    83048     87 |  0.000 % |
108.85/109.08	c |     83224 |    1698   269831  1187407 | 2147483647    83224     87 |  0.000 % |
109.25/109.44	c |     83418 |    1698   269831  1187407 | 2147483647    83418     87 |  0.000 % |
109.65/109.86	c |     83630 |    1698   269831  1187407 | 2147483647    83630     87 |  0.000 % |
109.95/110.20	c |     83865 |    1698   269831  1187407 | 2147483647    83865     87 |  0.000 % |
110.65/110.88	c |     84122 |    1698   269831  1187407 | 2147483647    84122     87 |  0.000 % |
111.25/111.41	c |     84405 |    1698   269831  1187407 | 2147483647    84405     87 |  0.000 % |
111.65/111.80	c |     84716 |    1698   269831  1187407 | 2147483647    84716     87 |  0.000 % |
112.05/112.28	c |     85057 |    1698   269831  1187407 | 2147483647    85057     87 |  0.000 % |
112.75/112.99	c |     85429 |    1698   269831  1187407 | 2147483647    85429     87 |  0.000 % |
113.65/113.86	c |     85842 |    1698   269831  1187407 | 2147483647    85842     87 |  0.000 % |
114.45/114.65	c |     86292 |    1698   269831  1187407 | 2147483647    86292     87 |  0.000 % |
115.15/115.39	c |     86789 |    1698   269831  1187407 | 2147483647    86789     87 |  0.000 % |
115.85/116.03	c |     87331 |    1698   269831  1187407 | 2147483647    87331     87 |  0.000 % |
116.25/116.41	c |     87927 |    1698   269831  1187407 | 2147483647    87927     87 |  0.000 % |
117.05/117.26	c |     88582 |    1698   269831  1187407 | 2147483647    88582     88 |  0.000 % |
118.05/118.27	c |     89302 |    1698   269831  1187407 | 2147483647    89302     88 |  0.000 % |
119.25/119.43	c |     90095 |    1698   269831  1187407 | 2147483647    90095     88 |  0.000 % |
120.05/120.25	c |     90966 |    1698   269831  1187407 | 2147483647    90966     88 |  0.000 % |
121.35/121.50	c |     91924 |    1698   269831  1187407 | 2147483647    91924     88 |  0.000 % |
123.14/123.32	c |     92977 |    1698   269831  1187407 | 2147483647    92977     88 |  0.000 % |
123.34/123.52	c |     93077 |    1698   269831  1187407 | 2147483647    93077     88 |  0.000 % |
123.54/123.78	c |     93188 |    1698   269831  1187407 | 2147483647    93188     88 |  0.000 % |
123.84/124.03	c |     93309 |    1698   269831  1187407 | 2147483647    93309     88 |  0.000 % |
124.05/124.27	c |     93443 |    1698   269831  1187407 | 2147483647    93443     88 |  0.000 % |
124.34/124.54	c |     93590 |    1698   269831  1187407 | 2147483647    93590     88 |  0.000 % |
124.74/124.90	c |     93750 |    1698   269831  1187407 | 2147483647    93750     88 |  0.000 % |
124.94/125.16	c |     93929 |    1698   269831  1187407 | 2147483647    93929     88 |  0.000 % |
125.34/125.51	c |     94122 |    1698   269831  1187407 | 2147483647    94122     88 |  0.000 % |
125.84/126.01	c |     94335 |    1698   269831  1187407 | 2147483647    94335     88 |  0.000 % |
126.35/126.52	c |     94570 |    1698   269831  1187407 | 2147483647    94570     88 |  0.000 % |
126.94/127.19	c |     94827 |    1698   269831  1187407 | 2147483647    94827     88 |  0.000 % |
127.45/127.63	c |     95108 |    1698   269831  1187407 | 2147483647    95108     88 |  0.000 % |
127.84/128.07	c |     95417 |    1698   269831  1187407 | 2147483647    95417     88 |  0.000 % |
128.45/128.65	c |     95760 |    1698   269831  1187407 | 2147483647    95760     88 |  0.000 % |
128.94/129.10	c |     96133 |    1698   269831  1187407 | 2147483647    96133     88 |  0.000 % |
129.55/129.73	c |     96543 |    1698   269831  1187407 | 2147483647    96543     88 |  0.000 % |
130.24/130.47	c |     96993 |    1698   269831  1187407 | 2147483647    96993     88 |  0.000 % |
131.04/131.29	c |     97487 |    1698   269831  1187407 | 2147483647    97487     88 |  0.000 % |
132.54/132.72	c |     98035 |    1698   269831  1187407 | 2147483647    98035     88 |  0.000 % |
133.64/133.80	c |     98632 |    1698   269831  1187407 | 2147483647    98632     88 |  0.000 % |
135.24/135.43	c |     99288 |    1698   269831  1187407 | 2147483647    99288     88 |  0.000 % |
137.04/137.22	c |    100008 |    1698   269831  1187407 | 2147483647   100008     88 |  0.000 % |
138.14/138.33	c |    100800 |    1698   269831  1187407 | 2147483647   100800     88 |  0.000 % |
139.84/140.04	c |    101672 |    1698   269831  1187407 | 2147483647   101672     88 |  0.000 % |
141.03/141.20	c |    102631 |    1698   269831  1187407 | 2147483647   102631     89 |  0.000 % |
143.13/143.38	c |    103687 |    1698   269831  1187407 | 2147483647   103687     89 |  0.000 % |
144.73/144.97	c |    104846 |    1698   269831  1187407 | 2147483647   104846     89 |  0.000 % |
144.93/145.14	c |    104946 |    1698   269831  1187407 | 2147483647   104946     89 |  0.000 % |
145.23/145.46	c |    105057 |    1698   269831  1187407 | 2147483647   105057     89 |  0.000 % |
145.53/145.70	c |    105179 |    1698   269831  1187407 | 2147483647   105179     89 |  0.000 % |
145.93/146.10	c |    105312 |    1698   269831  1187407 | 2147483647   105312     89 |  0.000 % |
146.13/146.39	c |    105460 |    1698   269831  1187407 | 2147483647   105460     89 |  0.000 % |
146.53/146.75	c |    105620 |    1698   269831  1187407 | 2147483647   105620     89 |  0.000 % |
146.93/147.16	c |    105798 |    1698   269831  1187407 | 2147483647   105798     89 |  0.000 % |
147.53/147.71	c |    105991 |    1698   269831  1187407 | 2147483647   105991     89 |  0.000 % |
148.13/148.30	c |    106203 |    1698   269831  1187407 | 2147483647   106203     89 |  0.000 % |
148.73/148.95	c |    106437 |    1698   269831  1187407 | 2147483647   106437     89 |  0.000 % |
149.33/149.54	c |    106693 |    1698   269831  1187407 | 2147483647   106693     89 |  0.000 % |
149.83/150.02	c |    106975 |    1698   269831  1187407 | 2147483647   106975     89 |  0.000 % |
150.13/150.39	c |    107286 |    1698   269831  1187407 | 2147483647   107286     89 |  0.000 % |
150.63/150.82	c |    107625 |    1698   269831  1187407 | 2147483647   107625     89 |  0.000 % |
151.23/151.48	c |    107997 |    1698   269831  1187407 | 2147483647   107997     89 |  0.000 % |
152.43/152.62	c |    108406 |    1698   269831  1187407 | 2147483647   108406     89 |  0.000 % |
153.53/153.76	c |    108855 |    1698   269831  1187407 | 2147483647   108855     88 |  0.000 % |
154.73/154.94	c |    109353 |    1698   269831  1187407 | 2147483647   109353     88 |  0.000 % |
156.13/156.30	c |    109897 |    1698   269831  1187407 | 2147483647   109897     88 |  0.000 % |
157.73/157.99	c |    110493 |    1698   269831  1187407 | 2147483647   110493     88 |  0.000 % |
159.43/159.69	c |    111152 |    1698   269831  1187407 | 2147483647   111152     88 |  0.000 % |
160.93/161.15	c |    111872 |    1698   269831  1187407 | 2147483647   111872     88 |  0.000 % |
162.03/162.24	c |    112665 |    1698   269831  1187407 | 2147483647   112665     88 |  0.000 % |
164.13/164.39	c |    113537 |    1698   269831  1187407 | 2147483647   113537     87 |  0.000 % |
165.93/166.14	c |    114495 |    1698   269831  1187407 | 2147483647   114495     88 |  0.000 % |
167.82/168.04	c |    115549 |    1698   269831  1187407 | 2147483647   115549     88 |  0.000 % |
170.33/170.55	c |    116708 |    1698   269831  1187407 | 2147483647   116708     88 |  0.000 % |
171.93/172.10	c |    117981 |    1698   269831  1187407 | 2147483647   117981     88 |  0.000 % |
172.03/172.29	c |    118084 |    1698   269831  1187407 | 2147483647   118084     88 |  0.000 % |
172.33/172.57	c |    118194 |    1698   269831  1187407 | 2147483647   118194     88 |  0.000 % |
172.62/172.85	c |    118316 |    1698   269831  1187407 | 2147483647   118316     88 |  0.000 % |
173.02/173.21	c |    118450 |    1698   269831  1187407 | 2147483647   118450     88 |  0.000 % |
173.53/173.77	c |    118596 |    1698   269831  1187407 | 2147483647   118596     88 |  0.000 % |
174.02/174.28	c |    118759 |    1698   269831  1187407 | 2147483647   118759     88 |  0.000 % |
174.42/174.70	c |    118935 |    1698   269831  1187407 | 2147483647   118935     88 |  0.000 % |
175.12/175.37	c |    119133 |    1698   269831  1187407 | 2147483647   119133     88 |  0.000 % |
175.82/176.02	c |    119347 |    1698   269831  1187407 | 2147483647   119347     88 |  0.000 % |
176.42/176.66	c |    119584 |    1698   269831  1187407 | 2147483647   119584     88 |  0.000 % |
177.02/177.20	c |    119841 |    1698   269831  1187407 | 2147483647   119841     88 |  0.000 % |
177.62/177.80	c |    120123 |    1698   269831  1187407 | 2147483647   120123     88 |  0.000 % |
178.32/178.53	c |    120434 |    1698   269831  1187407 | 2147483647   120434     88 |  0.000 % |
178.92/179.17	c |    120774 |    1698   269831  1187407 | 2147483647   120774     89 |  0.000 % |
179.61/179.85	c |    121147 |    1698   269831  1187407 | 2147483647   121147     89 |  0.000 % |
180.31/180.58	c |    121559 |    1698   269831  1187407 | 2147483647   121559     89 |  0.000 % |
181.01/181.29	c |    122008 |    1698   269831  1187407 | 2147483647   122008     89 |  0.000 % |
182.12/182.31	c |    122502 |    1698   269831  1187407 | 2147483647   122502     89 |  0.000 % |
183.52/183.74	c |    123046 |    1698   269831  1187407 | 2147483647   123046     89 |  0.000 % |
185.22/185.48	c |    123642 |    1698   269831  1187407 | 2147483647   123642     89 |  0.000 % |
186.72/186.97	c |    124299 |    1698   269831  1187407 | 2147483647   124299     89 |  0.000 % |
188.81/189.01	c |    125019 |    1698   269831  1187407 | 2147483647   125019     89 |  0.000 % |
190.51/190.73	c |    125812 |    1698   269831  1187407 | 2147483647   125812     89 |  0.000 % |
191.61/191.82	c |    126683 |    1698   269831  1187407 | 2147483647   126683     89 |  0.000 % |
193.71/193.98	c |    127642 |    1698   269831  1187407 | 2147483647   127642     89 |  0.000 % |
195.91/196.19	c |    128698 |    1698   269831  1187407 | 2147483647   128698     89 |  0.000 % |
198.51/198.77	c |    129859 |    1698   269831  1187407 | 2147483647   129859     89 |  0.000 % |
201.51/201.79	c |    131132 |    1698   269831  1187407 | 2147483647   131132     88 |  0.000 % |
205.31/205.51	c |    132534 |    1698   269831  1187407 | 2147483647   132534     88 |  0.000 % |
205.61/205.85	c |    132636 |    1698   269831  1187407 | 2147483647   132636     88 |  0.000 % |
205.91/206.13	c |    132747 |    1698   269831  1187407 | 2147483647   132747     88 |  0.000 % |
206.11/206.38	c |    132868 |    1698   269831  1187407 | 2147483647   132868     88 |  0.000 % |
206.41/206.64	c |    133001 |    1698   269831  1187407 | 2147483647   133001     88 |  0.000 % |
206.71/206.93	c |    133149 |    1698   269831  1187407 | 2147483647   133149     88 |  0.000 % |
207.21/207.42	c |    133310 |    1698   269831  1187407 | 2147483647   133310     88 |  0.000 % |
207.61/207.84	c |    133487 |    1698   269831  1187407 | 2147483647   133487     88 |  0.000 % |
208.31/208.50	c |    133682 |    1698   269831  1187407 | 2147483647   133682     88 |  0.000 % |
208.91/209.16	c |    133900 |    1698   269831  1187407 | 2147483647   133900     88 |  0.000 % |
209.31/209.58	c |    134134 |    1698   269831  1187407 | 2147483647   134134     88 |  0.000 % |
209.81/210.03	c |    134391 |    1698   269831  1187407 | 2147483647   134391     88 |  0.000 % |
210.41/210.62	c |    134674 |    1698   269831  1187407 | 2147483647   134674     88 |  0.000 % |
211.41/211.61	c |    134983 |    1698   269831  1187407 | 2147483647   134983     88 |  0.000 % |
212.31/212.50	c |    135322 |    1698   269831  1187407 | 2147483647   135322     88 |  0.000 % |
213.41/213.68	c |    135695 |    1698   269831  1187407 | 2147483647   135695     88 |  0.000 % |
214.60/214.81	c |    136104 |    1698   269831  1187407 | 2147483647   136104     88 |  0.000 % |
216.10/216.36	c |    136554 |    1698   269831  1187407 | 2147483647   136554     88 |  0.000 % |
217.51/217.74	c |    137047 |    1698   269831  1187407 | 2147483647   137047     88 |  0.000 % |
218.80/219.03	c |    137590 |    1698   269831  1187407 | 2147483647   137590     88 |  0.000 % |
220.50/220.71	c |    138187 |    1698   269831  1187407 | 2147483647   138187     88 |  0.000 % |
222.30/222.59	c |    138842 |    1698   269831  1187407 | 2147483647   138842     88 |  0.000 % |
224.50/224.80	c |    139562 |    1698   269831  1187407 | 2147483647   139562     88 |  0.000 % |
226.90/227.15	c |    140355 |    1698   269831  1187407 | 2147483647   140355     88 |  0.000 % |
229.60/229.81	c |    141226 |    1698   269831  1187407 | 2147483647   141226     88 |  0.000 % |
232.29/232.54	c |    142187 |    1698   269831  1187407 | 2147483647   142187     88 |  0.000 % |
235.19/235.45	c |    143240 |    1698   269831  1187407 | 2147483647   143240     88 |  0.000 % |
238.39/238.61	c |    144398 |    1698   269831  1187407 | 2147483647   144398     87 |  0.000 % |
242.08/242.40	c |    145676 |    1698   269831  1187407 | 2147483647   145676     87 |  0.000 % |
246.28/246.53	c |    147077 |    1698   269831  1187407 | 2147483647   147077     87 |  0.000 % |
248.88/249.18	c |    148618 |    1698   269831  1187407 | 2147483647   148618     87 |  0.000 % |
249.28/249.51	c |    148719 |    1698   269831  1187407 | 2147483647   148719     87 |  0.000 % |
249.58/249.81	c |    148830 |    1698   269831  1187407 | 2147483647   148830     87 |  0.000 % |
249.88/250.16	c |    148952 |    1698   269831  1187407 | 2147483647   148952     87 |  0.000 % |
250.28/250.52	c |    149085 |    1698   269831  1187407 | 2147483647   149085     87 |  0.000 % |
250.78/251.03	c |    149231 |    1698   269831  1187407 | 2147483647   149231     87 |  0.000 % |
251.18/251.42	c |    149391 |    1698   269831  1187407 | 2147483647   149391     87 |  0.000 % |
251.68/251.92	c |    149567 |    1698   269831  1187407 | 2147483647   149567     87 |  0.000 % |
252.18/252.47	c |    149761 |    1698   269831  1187407 | 2147483647   149761     87 |  0.000 % |
252.59/252.88	c |    149975 |    1698   269831  1187407 | 2147483647   149975     87 |  0.000 % |
253.09/253.32	c |    150209 |    1698   269831  1187407 | 2147483647   150209     87 |  0.000 % |
253.69/253.95	c |    150465 |    1698   269831  1187407 | 2147483647   150465     87 |  0.000 % |
254.48/254.73	c |    150746 |    1698   269831  1187407 | 2147483647   150746     87 |  0.000 % |
255.68/255.95	c |    151056 |    1698   269831  1187407 | 2147483647   151056     87 |  0.000 % |
256.48/256.76	c |    151395 |    1698   269831  1187407 | 2147483647   151395     87 |  0.000 % |
257.09/257.40	c |    151767 |    1698   269831  1187407 | 2147483647   151767     87 |  0.000 % |
257.68/257.99	c |    152177 |    1698   269831  1187407 | 2147483647   152177     87 |  0.000 % |
258.68/258.91	c |    152626 |    1698   269831  1187407 | 2147483647   152626     87 |  0.000 % |
259.29/259.60	c |    153119 |    1698   269831  1187407 | 2147483647   153119     87 |  0.000 % |
260.08/260.32	c |    153661 |    1698   269831  1187407 | 2147483647   153661     87 |  0.000 % |
261.18/261.43	c |    154258 |    1698   269831  1187407 | 2147483647   154258     87 |  0.000 % |
262.28/262.50	c |    154914 |    1698   269831  1187407 | 2147483647   154914     87 |  0.000 % |
263.18/263.42	c |    155636 |    1698   269831  1187407 | 2147483647   155636     87 |  0.000 % |
264.38/264.61	c |    156428 |    1698   269831  1187407 | 2147483647   156428     87 |  0.000 % |
265.68/265.98	c |    157300 |    1698   269831  1187407 | 2147483647   157300     87 |  0.000 % |
267.18/267.43	c |    158258 |    1698   269831  1187407 | 2147483647   158258     87 |  0.000 % |
268.67/268.98	c |    159314 |    1698   269831  1187407 | 2147483647   159314     87 |  0.000 % |
270.28/270.52	c |    160474 |    1698   269831  1187407 | 2147483647   160474     87 |  0.000 % |
272.37/272.60	c |    161748 |    1698   269831  1187407 | 2147483647   161748     87 |  0.000 % |
274.58/274.90	c |    163148 |    1698   269831  1187407 | 2147483647   163148     87 |  0.000 % |
276.47/276.78	c |    164688 |    1698   269831  1187407 | 2147483647   164688     87 |  0.000 % |
278.66/278.94	c |    166382 |    1698   269831  1187407 | 2147483647   166382     86 |  0.000 % |
278.76/279.07	c |    166482 |    1698   269831  1187407 | 2147483647   166482     86 |  0.002 % |
278.96/279.23	c |    166592 |    1698   269831  1187407 | 2147483647   166592     86 |  0.000 % |
279.36/279.64	c |    166713 |    1698   269831  1187407 | 2147483647   166713     86 |  0.000 % |
279.66/279.95	c |    166846 |    1698   269831  1187407 | 2147483647   166846     86 |  0.000 % |
279.96/280.28	c |    166992 |    1698   269831  1187407 | 2147483647   166992     86 |  0.000 % |
280.36/280.66	c |    167153 |    1698   269831  1187407 | 2147483647   167153     86 |  0.000 % |
280.96/281.23	c |    167329 |    1698   269831  1187407 | 2147483647   167329     86 |  0.000 % |
281.37/281.66	c |    167523 |    1698   269831  1187407 | 2147483647   167523     86 |  0.000 % |
281.86/282.11	c |    167735 |    1698   269831  1187407 | 2147483647   167735     86 |  0.000 % |
282.16/282.44	c |    167971 |    1698   269831  1187407 | 2147483647   167971     86 |  0.000 % |
282.87/283.19	c |    168228 |    1698   269831  1187407 | 2147483647   168228     87 |  0.000 % |
284.27/284.52	c |    168511 |    1698   269831  1187407 | 2147483647   168511     86 |  0.000 % |
285.67/285.94	c |    168820 |    1698   269831  1187407 | 2147483647   168820     87 |  0.000 % |
286.97/287.22	c |    169161 |    1698   269831  1187407 | 2147483647   169161     86 |  0.000 % |
288.16/288.42	c |    169535 |    1698   269831  1187407 | 2147483647   169535     86 |  0.000 % |
289.26/289.58	c |    169944 |    1698   269831  1187407 | 2147483647   169944     86 |  0.000 % |
290.46/290.76	c |    170394 |    1698   269831  1187407 | 2147483647   170394     86 |  0.000 % |
291.96/292.24	c |    170887 |    1698   269831  1187407 | 2147483647   170887     86 |  0.000 % |
293.56/293.89	c |    171430 |    1698   269831  1187407 | 2147483647   171430     86 |  0.000 % |
295.06/295.34	c |    172026 |    1698   269831  1187407 | 2147483647   172026     86 |  0.000 % |
296.46/296.73	c |    172682 |    1698   269831  1187407 | 2147483647   172682     86 |  0.000 % |
298.65/298.91	c |    173402 |    1698   269831  1187407 | 2147483647   173402     86 |  0.000 % |
300.15/300.49	c |    174194 |    1698   269831  1187407 | 2147483647   174194     87 |  0.000 % |
302.05/302.32	c |    175067 |    1698   269831  1187407 | 2147483647   175067     87 |  0.000 % |
305.46/305.72	c |    176027 |    1698   269831  1187407 | 2147483647   176027     87 |  0.000 % |
308.25/308.54	c |    177080 |    1698   269831  1187407 | 2147483647   177080     87 |  0.000 % |
310.26/310.55	c |    178238 |    1698   269831  1187407 | 2147483647   178238     87 |  0.000 % |
313.86/314.11	c |    179515 |    1698   269831  1187407 | 2147483647   179515     87 |  0.000 % |
319.46/319.71	c |    180918 |    1698   269831  1187407 | 2147483647   180918     87 |  0.000 % |
324.15/324.44	c |    182458 |    1698   269831  1187407 | 2147483647   182458     87 |  0.000 % |
329.75/330.07	c |    184152 |    1698   269831  1187407 | 2147483647   184152     87 |  0.000 % |
333.54/333.83	c |    186017 |    1698   269831  1187407 | 2147483647   186017     86 |  0.000 % |
333.94/334.22	c |    186117 |    1698   269831  1187407 | 2147483647   186117     86 |  0.000 % |
334.34/334.60	c |    186229 |    1698   269831  1187407 | 2147483647   186229     86 |  0.000 % |
334.84/335.18	c |    186351 |    1698   269831  1187407 | 2147483647   186351     86 |  0.000 % |
335.34/335.62	c |    186488 |    1698   269831  1187407 | 2147483647   186488     86 |  0.000 % |
335.84/336.12	c |    186634 |    1698   269831  1187407 | 2147483647   186634     86 |  0.000 % |
336.24/336.60	c |    186794 |    1698   269831  1187407 | 2147483647   186794     86 |  0.000 % |
336.84/337.10	c |    186970 |    1698   269831  1187407 | 2147483647   186970     86 |  0.000 % |
337.54/337.86	c |    187166 |    1698   269831  1187407 | 2147483647   187166     86 |  0.000 % |
338.14/338.43	c |    187378 |    1698   269831  1187407 | 2147483647   187378     86 |  0.000 % |
338.83/339.13	c |    187613 |    1698   269831  1187407 | 2147483647   187613     86 |  0.000 % |
339.54/339.81	c |    187869 |    1698   269831  1187407 | 2147483647   187869     86 |  0.000 % |
340.53/340.82	c |    188152 |    1698   269831  1187407 | 2147483647   188152     86 |  0.000 % |
341.33/341.68	c |    188461 |    1698   269831  1187407 | 2147483647   188461     86 |  0.000 % |
342.03/342.32	c |    188800 |    1698   269831  1187407 | 2147483647   188800     86 |  0.000 % |
343.03/343.33	c |    189173 |    1698   269831  1187407 | 2147483647   189173     86 |  0.000 % |
344.03/344.33	c |    189584 |    1698   269831  1187407 | 2147483647   189584     86 |  0.000 % |
345.23/345.57	c |    190034 |    1698   269831  1187407 | 2147483647   190034     87 |  0.000 % |
346.63/346.95	c |    190530 |    1698   269831  1187407 | 2147483647   190530     87 |  0.000 % |
348.33/348.65	c |    191072 |    1698   269831  1187407 | 2147483647   191072     87 |  0.000 % |
350.04/350.32	c |    191668 |    1698   269831  1187407 | 2147483647   191668     87 |  0.000 % |
351.94/352.22	c |    192323 |    1698   269831  1187407 | 2147483647   192323     87 |  0.000 % |
353.34/353.64	c |    193045 |    1698   269831  1187407 | 2147483647   193045     87 |  0.000 % |
355.93/356.27	c |    193837 |    1698   269831  1187407 | 2147483647   193837     87 |  0.000 % |
358.44/358.74	c |    194708 |    1698   269831  1187407 | 2147483647   194708     87 |  0.000 % |
360.73/361.05	c |    195666 |    1698   269831  1187407 | 2147483647   195666     87 |  0.000 % |
364.53/364.80	c |    196719 |    1698   269831  1187407 | 2147483647   196719     87 |  0.000 % |
366.63/366.96	c |    197880 |    1698   269831  1187407 | 2147483647   197880     87 |  0.000 % |
370.62/370.96	c |    199154 |    1698   269831  1187407 | 2147483647   199154     87 |  0.000 % |
374.92/375.26	c |    200556 |    1698   269831  1187407 | 2147483647   200556     87 |  0.000 % |
379.82/380.15	c |    202097 |    1698   269831  1187407 | 2147483647   202097     87 |  0.000 % |
384.82/385.16	c |    203791 |    1698   269831  1187407 | 2147483647   203791     87 |  0.000 % |
390.82/391.12	c |    205654 |    1698   269831  1187407 | 2147483647   205654     87 |  0.000 % |
394.82/395.12	c |    207704 |    1698   269831  1187407 | 2147483647   207704     87 |  0.000 % |
395.02/395.38	c |    207805 |    1698   269831  1187407 | 2147483647   207805     87 |  0.000 % |
395.42/395.73	c |    207919 |    1698   269831  1187407 | 2147483647   207919     87 |  0.000 % |
395.72/396.03	c |    208040 |    1698   269831  1187407 | 2147483647   208040     87 |  0.000 % |
396.22/396.58	c |    208174 |    1698   269831  1187407 | 2147483647   208174     87 |  0.000 % |
396.72/397.01	c |    208320 |    1698   269831  1187407 | 2147483647   208320     87 |  0.000 % |
397.12/397.49	c |    208482 |    1698   269831  1187407 | 2147483647   208482     87 |  0.000 % |
397.82/398.15	c |    208661 |    1698   269831  1187407 | 2147483647   208661     87 |  0.000 % |
398.51/398.89	c |    208854 |    1698   269831  1187407 | 2147483647   208854     87 |  0.000 % |
399.51/399.88	c |    209071 |    1698   269831  1187407 | 2147483647   209071     87 |  0.000 % |
400.51/400.89	c |    209305 |    1698   269831  1187407 | 2147483647   209305     87 |  0.000 % |
401.31/401.61	c |    209562 |    1698   269831  1187407 | 2147483647   209562     87 |  0.000 % |
402.32/402.62	c |    209844 |    1698   269831  1187407 | 2147483647   209844     87 |  0.000 % |
403.42/403.71	c |    210153 |    1698   269831  1187407 | 2147483647   210153     87 |  0.000 % |
404.52/404.84	c |    210492 |    1698   269831  1187407 | 2147483647   210492     87 |  0.000 % |
405.81/406.19	c |    210864 |    1698   269831  1187407 | 2147483647   210864     87 |  0.000 % |
407.51/407.82	c |    211273 |    1698   269831  1187407 | 2147483647   211273     87 |  0.000 % |
408.51/408.83	c |    211725 |    1698   269831  1187407 | 2147483647   211725     87 |  0.000 % |
409.71/410.01	c |    212219 |    1698   269831  1187407 | 2147483647   212219     87 |  0.000 % |
410.80/411.12	c |    212762 |    1698   269831  1187407 | 2147483647   212762     87 |  0.000 % |
412.10/412.50	c |    213358 |    1698   269831  1187407 | 2147483647   213358     87 |  0.000 % |
413.50/413.83	c |    214014 |    1698   269831  1187407 | 2147483647   214014     87 |  0.000 % |
415.41/415.72	c |    214734 |    1698   269831  1187407 | 2147483647   214734     87 |  0.000 % |
417.91/418.22	c |    215528 |    1698   269831  1187407 | 2147483647   215528     87 |  0.000 % |
421.01/421.38	c |    216402 |    1698   269831  1187407 | 2147483647   216402     88 |  0.000 % |
423.50/423.87	c |    217360 |    1698   269831  1187407 | 2147483647   217360     87 |  0.000 % |
425.50/425.83	c |    218415 |    1698   269831  1187407 | 2147483647   218415     87 |  0.000 % |
428.20/428.52	c |    219577 |    1698   269831  1187407 | 2147483647   219577     87 |  0.000 % |
432.80/433.11	c |    220850 |    1698   269831  1187407 | 2147483647   220850     87 |  0.000 % |
436.00/436.35	c |    222250 |    1698   269831  1187407 | 2147483647   222250     88 |  0.000 % |
440.40/440.73	c |    223790 |    1698   269831  1187407 | 2147483647   223790     88 |  0.000 % |
446.39/446.77	c |    225485 |    1698   269831  1187407 | 2147483647   225485     88 |  0.000 % |
453.89/454.27	c |    227349 |    1698   269831  1187407 | 2147483647   227349     87 |  0.000 % |
459.58/459.98	c |    229399 |    1698   269831  1187407 | 2147483647   229399     87 |  0.000 % |
466.89/467.27	c |    231653 |    1698   269831  1187407 | 2147483647   231653     88 |  0.000 % |
467.29/467.65	c |    231753 |    1698   269831  1187407 | 2147483647   231753     88 |  0.000 % |
467.69/468.01	c |    231863 |    1698   269831  1187407 | 2147483647   231863     88 |  0.000 % |
468.09/468.42	c |    231986 |    1698   269831  1187407 | 2147483647   231986     88 |  0.000 % |
468.49/468.86	c |    232120 |    1698   269831  1187407 | 2147483647   232120     88 |  0.000 % |
469.09/469.41	c |    232266 |    1698   269831  1187407 | 2147483647   232266     88 |  0.000 % |
469.49/469.81	c |    232427 |    1698   269831  1187407 | 2147483647   232427     88 |  0.000 % |
470.19/470.56	c |    232604 |    1698   269831  1187407 | 2147483647   232604     88 |  0.000 % |
470.99/471.32	c |    232797 |    1698   269831  1187407 | 2147483647   232797     88 |  0.000 % |
471.68/472.09	c |    233012 |    1698   269831  1187407 | 2147483647   233012     88 |  0.000 % |
472.59/472.94	c |    233245 |    1698   269831  1187407 | 2147483647   233245     88 |  0.000 % |
473.28/473.65	c |    233502 |    1698   269831  1187407 | 2147483647   233502     88 |  0.000 % |
474.18/474.50	c |    233785 |    1698   269831  1187407 | 2147483647   233785     88 |  0.000 % |
475.08/475.45	c |    234096 |    1698   269831  1187407 | 2147483647   234096     88 |  0.000 % |
475.89/476.28	c |    234435 |    1698   269831  1187407 | 2147483647   234435     88 |  0.000 % |
477.38/477.78	c |    234807 |    1698   269831  1187407 | 2147483647   234807     88 |  0.000 % |
478.48/478.90	c |    235216 |    1698   269831  1187407 | 2147483647   235216     88 |  0.000 % |
480.18/480.58	c |    235665 |    1698   269831  1187407 | 2147483647   235665     88 |  0.000 % |
482.28/482.66	c |    236158 |    1698   269831  1187407 | 2147483647   236158     88 |  0.000 % |
484.58/484.91	c |    236701 |    1698   269831  1187407 | 2147483647   236701     88 |  0.000 % |
486.99/487.34	c |    237299 |    1698   269831  1187407 | 2147483647   237299     88 |  0.000 % |
489.28/489.65	c |    237956 |    1698   269831  1187407 | 2147483647   237956     88 |  0.000 % |
491.78/492.17	c |    238676 |    1698   269831  1187407 | 2147483647   238676     87 |  0.000 % |
494.98/495.30	c |    239469 |    1698   269831  1187407 | 2147483647   239469     87 |  0.000 % |
498.18/498.56	c |    240348 |    1698   269831  1187407 | 2147483647   240348     87 |  0.000 % |
501.77/502.13	c |    241307 |    1698   269831  1187407 | 2147483647   241307     87 |  0.000 % |
504.47/504.85	c |    242364 |    1698   269831  1187407 | 2147483647   242364     87 |  0.000 % |
507.87/508.26	c |    243522 |    1698   269831  1187407 | 2147483647   243522     87 |  0.000 % |
512.76/513.10	c |    244796 |    1698   269831  1187407 | 2147483647   244796     87 |  0.000 % |
519.06/519.46	c |    246198 |    1698   269831  1187407 | 2147483647   246198     87 |  0.000 % |
525.86/526.23	c |    247739 |    1698   269831  1187407 | 2147483647   247739     87 |  0.000 % |
532.96/533.37	c |    249433 |    1698   269831  1187407 | 2147483647   249433     87 |  0.000 % |
538.46/538.84	c |    251297 |    1698   269831  1187407 | 2147483647   251297     86 |  0.000 % |
544.75/545.11	c |    253346 |    1698   269831  1187407 | 2147483647   253346     86 |  0.000 % |
550.75/551.11	c |    255599 |    1698   269831  1187407 | 2147483647   255599     87 |  0.000 % |
556.44/556.82	c |    258077 |    1698   269831  1187407 | 2147483647   258077     87 |  0.000 % |
556.94/557.33	c |    258183 |    1698   269831  1187407 | 2147483647   258183     87 |  0.000 % |
557.54/557.97	c |    258293 |    1698   269831  1187407 | 2147483647   258293     87 |  0.000 % |
558.14/558.51	c |    258415 |    1698   269831  1187407 | 2147483647   258415     87 |  0.000 % |
558.44/558.80	c |    258548 |    1698   269831  1187407 | 2147483647   258548     87 |  0.000 % |
558.94/559.36	c |    258694 |    1698   269831  1187407 | 2147483647   258694     87 |  0.000 % |
559.74/560.18	c |    258856 |    1698   269831  1187407 | 2147483647   258856     87 |  0.000 % |
560.54/560.90	c |    259034 |    1698   269831  1187407 | 2147483647   259034     87 |  0.000 % |
561.34/561.74	c |    259231 |    1698   269831  1187407 | 2147483647   259231     87 |  0.000 % |
561.84/562.29	c |    259445 |    1698   269831  1187407 | 2147483647   259445     87 |  0.000 % |
562.74/563.15	c |    259679 |    1698   269831  1187407 | 2147483647   259679     87 |  0.000 % |
564.13/564.55	c |    259937 |    1698   269831  1187407 | 2147483647   259937     87 |  0.000 % |
565.13/565.55	c |    260218 |    1698   269831  1187407 | 2147483647   260218     87 |  0.000 % |
565.93/566.35	c |    260527 |    1698   269831  1187407 | 2147483647   260527     87 |  0.000 % |
567.14/567.55	c |    260866 |    1698   269831  1187407 | 2147483647   260866     87 |  0.000 % |
568.24/568.65	c |    261238 |    1698   269831  1187407 | 2147483647   261238     87 |  0.000 % |
569.83/570.29	c |    261653 |    1698   269831  1187407 | 2147483647   261653     87 |  0.000 % |
571.54/571.97	c |    262102 |    1698   269831  1187407 | 2147483647   262102     87 |  0.000 % |
572.93/573.33	c |    262597 |    1698   269831  1187407 | 2147483647   262597     87 |  0.000 % |
575.33/575.78	c |    263139 |    1698   269831  1187407 | 2147483647   263139     87 |  0.000 % |
577.04/577.42	c |    263738 |    1698   269831  1187407 | 2147483647   263738     87 |  0.000 % |
579.74/580.11	c |    264395 |    1698   269831  1187407 | 2147483647   264395     87 |  0.000 % |
582.54/582.95	c |    265118 |    1698   269831  1187407 | 2147483647   265118     87 |  0.000 % |
585.53/585.97	c |    265912 |    1698   269831  1187407 | 2147483647   265912     87 |  0.000 % |
588.93/589.38	c |    266783 |    1698   269831  1187407 | 2147483647   266783     87 |  0.000 % |
593.03/593.47	c |    267741 |    1698   269831  1187407 | 2147483647   267741     87 |  0.000 % |
597.23/597.66	c |    268794 |    1698   269831  1187407 | 2147483647   268794     86 |  0.000 % |
601.72/602.16	c |    269953 |    1698   269831  1187407 | 2147483647   269953     86 |  0.000 % |
606.32/606.78	c |    271227 |    1698   269831  1187407 | 2147483647   271227     86 |  0.000 % |
611.52/611.93	c |    272627 |    1698   269831  1187407 | 2147483647   272627     86 |  0.000 % |
616.32/616.79	c |    274168 |    1698   269831  1187407 | 2147483647   274168     86 |  0.000 % |
620.21/620.69	c |    275864 |    1698   269831  1187407 | 2147483647   275864     85 |  0.000 % |
623.81/624.23	c |    277728 |    1698   269831  1187407 | 2147483647   277728     85 |  0.000 % |
632.01/632.42	c |    279781 |    1698   269831  1187407 | 2147483647   279781     85 |  0.000 % |
641.60/642.01	c |    282035 |    1698   269831  1187407 | 2147483647   282035     85 |  0.000 % |
649.60/650.02	c |    284513 |    1698   269831  1187407 | 2147483647   284513     85 |  0.000 % |
659.11/659.54	c |    287238 |    1698   269831  1187407 | 2147483647   287238     85 |  0.000 % |
659.41/659.85	c |    287339 |    1698   269831  1187407 | 2147483647   287339     85 |  0.000 % |
659.90/660.34	c |    287451 |    1698   269831  1187407 | 2147483647   287451     85 |  0.000 % |
660.50/660.95	c |    287575 |    1698   269831  1187407 | 2147483647   287575     85 |  0.000 % |
661.30/661.72	c |    287709 |    1698   269831  1187407 | 2147483647   287709     86 |  0.000 % |
662.10/662.50	c |    287855 |    1698   269831  1187407 | 2147483647   287855     86 |  0.000 % |
662.70/663.18	c |    288015 |    1698   269831  1187407 | 2147483647   288015     86 |  0.000 % |
663.80/664.25	c |    288192 |    1698   269831  1187407 | 2147483647   288192     86 |  0.000 % |
664.30/664.79	c |    288386 |    1698   269831  1187407 | 2147483647   288386     85 |  0.000 % |
665.30/665.76	c |    288598 |    1698   269831  1187407 | 2147483647   288598     85 |  0.000 % |
666.20/666.62	c |    288832 |    1698   269831  1187407 | 2147483647   288832     86 |  0.000 % |
667.50/667.93	c |    289088 |    1698   269831  1187407 | 2147483647   289088     86 |  0.000 % |
668.90/669.33	c |    289369 |    1698   269831  1187407 | 2147483647   289369     86 |  0.000 % |
670.00/670.40	c |    289678 |    1698   269831  1187407 | 2147483647   289678     86 |  0.000 % |
671.10/671.55	c |    290018 |    1698   269831  1187407 | 2147483647   290018     86 |  0.000 % |
672.50/672.94	c |    290390 |    1698   269831  1187407 | 2147483647   290390     86 |  0.000 % |
674.10/674.56	c |    290800 |    1698   269831  1187407 | 2147483647   290800     86 |  0.000 % |
676.20/676.60	c |    291251 |    1698   269831  1187407 | 2147483647   291251     86 |  0.000 % |
677.49/677.92	c |    291745 |    1698   269831  1187407 | 2147483647   291745     86 |  0.000 % |
678.89/679.32	c |    292290 |    1698   269831  1187407 | 2147483647   292290     86 |  0.000 % |
681.69/682.11	c |    292886 |    1698   269831  1187407 | 2147483647   292886     86 |  0.000 % |
684.29/684.70	c |    293541 |    1698   269831  1187407 | 2147483647   293541     85 |  0.000 % |
686.48/686.94	c |    294261 |    1698   269831  1187407 | 2147483647   294261     86 |  0.000 % |
690.30/690.72	c |    295057 |    1698   269831  1187407 | 2147483647   295057     86 |  0.000 % |
693.39/693.81	c |    295929 |    1698   269831  1187407 | 2147483647   295929     86 |  0.000 % |
697.99/698.45	c |    296888 |    1698   269831  1187407 | 2147483647   296888     86 |  0.000 % |
701.98/702.45	c |    297943 |    1698   269831  1187407 | 2147483647   297943     86 |  0.000 % |
705.28/705.73	c |    299102 |    1698   269831  1187407 | 2147483647   299102     86 |  0.000 % |
710.38/710.89	c |    300375 |    1698   269831  1187407 | 2147483647   300375     86 |  0.000 % |
713.48/713.99	c |    301775 |    1698   269831  1187407 | 2147483647   301775     86 |  0.000 % |
719.78/720.25	c |    303315 |    1698   269831  1187407 | 2147483647   303315     86 |  0.000 % |
725.78/726.25	c |    305010 |    1698   269831  1187407 | 2147483647   305010     86 |  0.000 % |
733.67/734.17	c |    306873 |    1698   269831  1187407 | 2147483647   306873     86 |  0.000 % |
740.46/740.98	c |    308922 |    1698   269831  1187407 | 2147483647   308922     86 |  0.000 % |
751.26/751.73	c |    311178 |    1698   269831  1187407 | 2147483647   311178     86 |  0.000 % |
762.26/762.77	c |    313657 |    1698   269831  1187407 | 2147483647   313657     86 |  0.000 % |
774.15/774.66	c |    316382 |    1698   269831  1187407 | 2147483647   316382     85 |  0.000 % |
786.95/787.40	c |    319383 |    1698   269831  1187407 | 2147483647   319383     85 |  0.000 % |
787.45/787.90	c |    319483 |    1698   269831  1187407 | 2147483647   319483     85 |  0.000 % |
787.95/788.45	c |    319593 |    1698   269831  1187407 | 2147483647   319593     85 |  0.000 % |
788.75/789.28	c |    319714 |    1698   269831  1187407 | 2147483647   319714     85 |  0.000 % |
789.65/790.19	c |    319847 |    1698   269831  1187407 | 2147483647   319847     85 |  0.000 % |
790.25/790.76	c |    319995 |    1698   269831  1187407 | 2147483647   319995     85 |  0.000 % |
790.65/791.19	c |    320157 |    1698   269831  1187407 | 2147483647   320157     85 |  0.000 % |
791.45/791.96	c |    320333 |    1698   269831  1187407 | 2147483647   320333     85 |  0.000 % |
792.05/792.59	c |    320529 |    1698   269831  1187407 | 2147483647   320529     85 |  0.000 % |
793.05/793.59	c |    320743 |    1698   269831  1187407 | 2147483647   320743     85 |  0.000 % |
793.95/794.44	c |    320978 |    1698   269831  1187407 | 2147483647   320978     85 |  0.000 % |
795.05/795.51	c |    321235 |    1698   269831  1187407 | 2147483647   321235     85 |  0.000 % |
796.25/796.74	c |    321516 |    1698   269831  1187407 | 2147483647   321516     85 |  0.000 % |
797.54/798.05	c |    321825 |    1698   269831  1187407 | 2147483647   321825     85 |  0.000 % |
799.04/799.57	c |    322165 |    1698   269831  1187407 | 2147483647   322165     85 |  0.000 % |
800.04/800.60	c |    322537 |    1698   269831  1187407 | 2147483647   322537     85 |  0.000 % |
801.94/802.44	c |    322947 |    1698   269831  1187407 | 2147483647   322947     85 |  0.000 % |
804.44/804.92	c |    323397 |    1698   269831  1187407 | 2147483647   323397     85 |  0.000 % |
805.74/806.21	c |    323891 |    1698   269831  1187407 | 2147483647   323891     85 |  0.000 % |
808.44/808.99	c |    324434 |    1698   269831  1187407 | 2147483647   324434     85 |  0.000 % |
810.44/810.95	c |    325032 |    1698   269831  1187407 | 2147483647   325032     85 |  0.000 % |
813.54/814.08	c |    325687 |    1698   269831  1187407 | 2147483647   325687     85 |  0.000 % |
815.43/815.97	c |    326409 |    1698   269831  1187407 | 2147483647   326409     85 |  0.000 % |
818.23/818.73	c |    327201 |    1698   269831  1187407 | 2147483647   327201     85 |  0.000 % |
820.93/821.45	c |    328072 |    1698   269831  1187407 | 2147483647   328072     86 |  0.000 % |
825.73/826.23	c |    329033 |    1698   269831  1187407 | 2147483647   329033     86 |  0.000 % |
832.33/832.89	c |    330086 |    1698   269831  1187407 | 2147483647   330086     86 |  0.000 % |
837.13/837.67	c |    331246 |    1698   269831  1187407 | 2147483647   331246     86 |  0.000 % |
842.42/842.90	c |    332522 |    1698   269831  1187407 | 2147483647   332522     86 |  0.000 % |
850.13/850.64	c |    333922 |    1698   269831  1187407 | 2147483647   333922     86 |  0.000 % |
856.73/857.21	c |    335463 |    1698   269831  1187407 | 2147483647   335463     86 |  0.000 % |
864.41/864.94	c |    337160 |    1698   269831  1187407 | 2147483647   337160     85 |  0.000 % |
872.61/873.18	c |    339025 |    1698   269831  1187407 | 2147483647   339025     85 |  0.000 % |
882.51/883.06	c |    341076 |    1698   269831  1187407 | 2147483647   341076     85 |  0.000 % |
891.20/891.75	c |    343329 |    1698   269831  1187407 | 2147483647   343329     86 |  0.000 % |
902.60/903.16	c |    345807 |    1698   269831  1187407 | 2147483647   345807     86 |  0.000 % |
912.89/913.42	c |    348536 |    1698   269831  1187407 | 2147483647   348536     86 |  0.000 % |
928.59/929.20	c |    351535 |    1698   269831  1187407 | 2147483647   351535     86 |  0.000 % |
947.78/948.32	c |    354831 |    1698   269831  1187407 | 2147483647   354831     86 |  0.000 % |
948.38/948.93	c |    354931 |    1698   269831  1187407 | 2147483647   354931     86 |  0.000 % |
948.88/949.45	c |    355041 |    1698   269831  1187407 | 2147483647   355041     86 |  0.000 % |
949.68/950.29	c |    355162 |    1698   269831  1187407 | 2147483647   355162     86 |  0.000 % |
950.48/951.06	c |    355296 |    1698   269831  1187407 | 2147483647   355296     86 |  0.000 % |
951.48/952.05	c |    355442 |    1698   269831  1187407 | 2147483647   355442     86 |  0.000 % |
952.18/952.70	c |    355602 |    1698   269831  1187407 | 2147483647   355602     86 |  0.000 % |
952.98/953.56	c |    355779 |    1698   269831  1187407 | 2147483647   355779     86 |  0.000 % |
953.67/954.29	c |    355972 |    1698   269831  1187407 | 2147483647   355972     86 |  0.000 % |
954.57/955.19	c |    356184 |    1698   269831  1187407 | 2147483647   356184     86 |  0.000 % |
955.47/956.04	c |    356417 |    1698   269831  1187407 | 2147483647   356417     86 |  0.000 % |
956.57/957.11	c |    356673 |    1698   269831  1187407 | 2147483647   356673     86 |  0.000 % |
957.87/958.40	c |    356956 |    1698   269831  1187407 | 2147483647   356956     86 |  0.000 % |
959.27/959.80	c |    357267 |    1698   269831  1187407 | 2147483647   357267     86 |  0.000 % |
960.17/960.79	c |    357608 |    1698   269831  1187407 | 2147483647   357608     86 |  0.000 % |
961.18/961.74	c |    357981 |    1698   269831  1187407 | 2147483647   357981     86 |  0.000 % |
962.78/963.35	c |    358390 |    1698   269831  1187407 | 2147483647   358390     86 |  0.000 % |
964.98/965.53	c |    358840 |    1698   269831  1187407 | 2147483647   358840     86 |  0.000 % |
966.28/966.81	c |    359334 |    1698   269831  1187407 | 2147483647   359334     86 |  0.000 % |
967.38/967.93	c |    359878 |    1698   269831  1187407 | 2147483647   359878     86 |  0.000 % |
968.37/968.90	c |    360474 |    1698   269831  1187407 | 2147483647   360474     86 |  0.000 % |
969.58/970.17	c |    361130 |    1698   269831  1187407 | 2147483647   361130     86 |  0.000 % |
970.87/971.44	c |    361850 |    1698   269831  1187407 | 2147483647   361850     86 |  0.000 % |
972.37/972.90	c |    362642 |    1698   269831  1187407 | 2147483647   362642     86 |  0.000 % |
973.87/974.45	c |    363513 |    1698   269831  1187407 | 2147483647   363513     86 |  0.000 % |
977.67/978.26	c |    364473 |    1698   269831  1187407 | 2147483647   364473     87 |  0.000 % |
983.56/984.15	c |    365530 |    1698   269831  1187407 | 2147483647   365530     87 |  0.000 % |
989.56/990.16	c |    366688 |    1698   269831  1187407 | 2147483647   366688     87 |  0.000 % |
995.66/996.27	c |    367963 |    1698   269831  1187407 | 2147483647   367963     87 |  0.000 % |
1002.36/1002.98	c |    369363 |    1698   269831  1187407 | 2147483647   369363     86 |  0.000 % |
1008.96/1009.57	c |    370903 |    1698   269831  1187407 | 2147483647   370903     86 |  0.000 % |
1016.86/1017.46	c |    372599 |    1698   269831  1187407 | 2147483647   372599     86 |  0.000 % |
1022.35/1022.92	c |    374463 |    1698   269831  1187407 | 2147483647   374463     86 |  0.000 % |
1030.05/1030.62	c |    376513 |    1698   269831  1187407 | 2147483647   376513     86 |  0.000 % |
1044.74/1045.30	c |    378768 |    1698   269831  1187407 | 2147483647   378768     86 |  0.000 % |
1059.44/1060.02	c |    381246 |    1698   269831  1187407 | 2147483647   381246     86 |  0.000 % |
1072.13/1072.78	c |    383971 |    1698   269831  1187407 | 2147483647   383971     86 |  0.000 % |
1083.32/1083.94	c |    386969 |    1698   269831  1187407 | 2147483647   386969     86 |  0.001 % |
1094.32/1094.90	c |    390267 |    1698   269831  1187407 | 2147483647   390267     86 |  0.000 % |
1103.81/1104.42	c |    393892 |    1698   269831  1187407 | 2147483647   393892     86 |  0.000 % |
1104.51/1105.11	c |    393993 |    1698   269831  1187407 | 2147483647   393993     86 |  0.000 % |
1105.11/1105.74	c |    394104 |    1698   269831  1187407 | 2147483647   394104     86 |  0.000 % |
1105.71/1106.31	c |    394226 |    1698   269831  1187407 | 2147483647   394226     86 |  0.000 % |
1106.31/1106.99	c |    394359 |    1698   269831  1187407 | 2147483647   394359     86 |  0.000 % |
1107.11/1107.80	c |    394508 |    1698   269831  1187407 | 2147483647   394508     86 |  0.000 % |
1108.01/1108.63	c |    394670 |    1698   269831  1187407 | 2147483647   394670     86 |  0.000 % |
1109.01/1109.66	c |    394846 |    1698   269831  1187407 | 2147483647   394846     86 |  0.000 % |
1110.22/1110.84	c |    395040 |    1698   269831  1187407 | 2147483647   395040     86 |  0.000 % |
1111.12/1111.73	c |    395253 |    1698   269831  1187407 | 2147483647   395253     86 |  0.000 % |
1112.12/1112.79	c |    395488 |    1698   269831  1187407 | 2147483647   395488     86 |  0.000 % |
1113.12/1113.77	c |    395744 |    1698   269831  1187407 | 2147483647   395744     86 |  0.000 % |
1114.31/1114.99	c |    396029 |    1698   269831  1187407 | 2147483647   396029     86 |  0.000 % |
1115.82/1116.42	c |    396338 |    1698   269831  1187407 | 2147483647   396338     86 |  0.000 % |
1116.61/1117.24	c |    396677 |    1698   269831  1187407 | 2147483647   396677     86 |  0.000 % |
1119.31/1119.96	c |    397049 |    1698   269831  1187407 | 2147483647   397049     86 |  0.000 % |
1121.71/1122.32	c |    397461 |    1698   269831  1187407 | 2147483647   397461     86 |  0.000 % |
1123.61/1124.22	c |    397911 |    1698   269831  1187407 | 2147483647   397911     86 |  0.000 % |
1124.90/1125.58	c |    398404 |    1698   269831  1187407 | 2147483647   398404     86 |  0.000 % |
1127.91/1128.52	c |    398947 |    1698   269831  1187407 | 2147483647   398947     86 |  0.000 % |
1130.89/1131.52	c |    399544 |    1698   269831  1187407 | 2147483647   399544     86 |  0.000 % |
1133.89/1134.57	c |    400202 |    1698   269831  1187407 | 2147483647   400202     86 |  0.000 % |
1137.00/1137.61	c |    400924 |    1698   269831  1187407 | 2147483647   400924     86 |  0.000 % |
1140.00/1140.69	c |    401718 |    1698   269831  1187407 | 2147483647   401718     86 |  0.000 % |
1142.90/1143.60	c |    402589 |    1698   269831  1187407 | 2147483647   402589     86 |  0.000 % |
1146.19/1146.88	c |    403547 |    1698   269831  1187407 | 2147483647   403547     87 |  0.000 % |
1151.99/1152.69	c |    404602 |    1698   269831  1187407 | 2147483647   404602     87 |  0.000 % |
1158.19/1158.85	c |    405760 |    1698   269831  1187407 | 2147483647   405760     87 |  0.000 % |
1164.39/1165.07	c |    407033 |    1698   269831  1187407 | 2147483647   407033     86 |  0.000 % |
1169.58/1170.28	c |    408433 |    1698   269831  1187407 | 2147483647   408433     86 |  0.000 % |
1175.48/1176.10	c |    409973 |    1698   269831  1187407 | 2147483647   409973     86 |  0.000 % |
1180.77/1181.45	c |    411667 |    1698   269831  1187407 | 2147483647   411667     86 |  0.000 % |
1188.46/1189.11	c |    413530 |    1698   269831  1187407 | 2147483647   413530     86 |  0.000 % |
1196.57/1197.26	c |    415580 |    1698   269831  1187407 | 2147483647   415580     87 |  0.000 % |
1206.96/1207.65	c |    417834 |    1698   269831  1187407 | 2147483647   417834     87 |  0.000 % |
1222.75/1223.46	c |    420313 |    1698   269831  1187407 | 2147483647   420313     87 |  0.000 % |
1238.15/1238.87	c |    423039 |    1698   269831  1187407 | 2147483647   423039     87 |  0.000 % |
1251.14/1251.84	c |    426039 |    1698   269831  1187407 | 2147483647   426039     87 |  0.000 % |
1267.82/1268.53	c |    429335 |    1698   269831  1187407 | 2147483647   429335     87 |  0.000 % |
1285.13/1285.87	c |    432960 |    1698   269831  1187407 | 2147483647   432960     87 |  0.000 % |
1301.72/1302.48	c |    436947 |    1698   269831  1187407 | 2147483647   436947     87 |  0.000 % |
1302.42/1303.15	c |    437051 |    1698   269831  1187407 | 2147483647   437051     87 |  0.000 % |
1303.12/1303.80	c |    437161 |    1698   269831  1187407 | 2147483647   437161     87 |  0.000 % |
1304.02/1304.73	c |    437282 |    1698   269831  1187407 | 2147483647   437282     87 |  0.000 % |
1304.82/1305.53	c |    437416 |    1698   269831  1187407 | 2147483647   437416     87 |  0.000 % |
1305.42/1306.12	c |    437562 |    1698   269831  1187407 | 2147483647   437562     87 |  0.000 % |
1306.52/1307.23	c |    437722 |    1698   269831  1187407 | 2147483647   437722     87 |  0.000 % |
1307.62/1308.33	c |    437898 |    1698   269831  1187407 | 2147483647   437898     87 |  0.000 % |
1308.92/1309.61	c |    438092 |    1698   269831  1187407 | 2147483647   438092     87 |  0.000 % |
1309.92/1310.65	c |    438306 |    1698   269831  1187407 | 2147483647   438306     87 |  0.000 % |
1310.92/1311.62	c |    438539 |    1698   269831  1187407 | 2147483647   438539     87 |  0.000 % |
1312.62/1313.33	c |    438795 |    1698   269831  1187407 | 2147483647   438795     87 |  0.000 % |
1314.31/1315.01	c |    439078 |    1698   269831  1187407 | 2147483647   439078     87 |  0.000 % |
1316.81/1317.52	c |    439387 |    1698   269831  1187407 | 2147483647   439387     87 |  0.000 % |
1319.01/1319.70	c |    439729 |    1698   269831  1187407 | 2147483647   439729     87 |  0.000 % |
1321.21/1321.99	c |    440101 |    1698   269831  1187407 | 2147483647   440101     87 |  0.000 % |
1322.71/1323.43	c |    440511 |    1698   269831  1187407 | 2147483647   440511     87 |  0.000 % |
1325.71/1326.44	c |    440960 |    1698   269831  1187407 | 2147483647   440960     87 |  0.000 % |
1328.91/1329.66	c |    441454 |    1698   269831  1187407 | 2147483647   441454     87 |  0.000 % |
1331.71/1332.47	c |    441998 |    1698   269831  1187407 | 2147483647   441998     87 |  0.000 % |
1334.81/1335.59	c |    442595 |    1698   269831  1187407 | 2147483647   442595     87 |  0.000 % |
1338.01/1338.74	c |    443251 |    1698   269831  1187407 | 2147483647   443251     87 |  0.000 % |
1342.51/1343.26	c |    443973 |    1698   269831  1187407 | 2147483647   443973     87 |  0.000 % |
1346.00/1346.73	c |    444766 |    1698   269831  1187407 | 2147483647   444766     87 |  0.000 % |
1350.40/1351.16	c |    445639 |    1698   269831  1187407 | 2147483647   445639     87 |  0.000 % |
1354.40/1355.17	c |    446601 |    1698   269831  1187407 | 2147483647   446601     87 |  0.000 % |
1358.09/1358.87	c |    447658 |    1698   269831  1187407 | 2147483647   447658     87 |  0.000 % |
1363.59/1364.35	c |    448816 |    1698   269831  1187407 | 2147483647   448816     87 |  0.000 % |
1367.89/1368.67	c |    450091 |    1698   269831  1187407 | 2147483647   450091     87 |  0.000 % |
1372.09/1372.89	c |    451493 |    1698   269831  1187407 | 2147483647   451493     87 |  0.000 % |
1378.09/1378.85	c |    453033 |    1698   269831  1187407 | 2147483647   453033     87 |  0.000 % |
1387.09/1387.87	c |    454729 |    1698   269831  1187407 | 2147483647   454729     87 |  0.000 % |
1393.48/1394.24	c |    456592 |    1698   269831  1187407 | 2147483647   456592     87 |  0.000 % |
1407.67/1408.40	c |    458642 |    1698   269831  1187407 | 2147483647   458642     87 |  0.000 % |
1418.48/1419.20	c |    460895 |    1698   269831  1187407 | 2147483647   460895     88 |  0.000 % |
1427.77/1428.57	c |    463375 |    1698   269831  1187407 | 2147483647   463375     87 |  0.000 % |
1443.47/1444.29	c |    466100 |    1698   269831  1187407 | 2147483647   466100     88 |  0.000 % |
1461.06/1461.87	c |    469097 |    1698   269831  1187407 | 2147483647   469097     87 |  0.000 % |
1475.55/1476.37	c |    472394 |    1698   269831  1187407 | 2147483647   472394     88 |  0.000 % |
1490.04/1490.84	c |    476019 |    1698   269831  1187407 | 2147483647   476019     88 |  0.000 % |
1509.14/1509.93	c |    480006 |    1698   269831  1187407 | 2147483647   480006     88 |  0.000 % |
1527.53/1528.37	c |    484395 |    1698   269831  1187407 | 2147483647   484395     88 |  0.000 % |
1528.53/1529.31	c |    484495 |    1698   269831  1187407 | 2147483647   484495     88 |  0.000 % |
1529.54/1530.34	c |    484605 |    1698   269831  1187407 | 2147483647   484605     88 |  0.000 % |
1530.14/1530.94	c |    484727 |    1698   269831  1187407 | 2147483647   484727     88 |  0.000 % |
1530.93/1531.75	c |    484860 |    1698   269831  1187407 | 2147483647   484860     88 |  0.000 % |
1531.93/1532.73	c |    485008 |    1698   269831  1187407 | 2147483647   485008     88 |  0.000 % |
1533.43/1534.23	c |    485170 |    1698   269831  1187407 | 2147483647   485170     88 |  0.000 % |
1534.73/1535.52	c |    485346 |    1698   269831  1187407 | 2147483647   485346     88 |  0.000 % |
1536.02/1536.86	c |    485540 |    1698   269831  1187407 | 2147483647   485540     88 |  0.000 % |
1537.22/1538.06	c |    485753 |    1698   269831  1187407 | 2147483647   485753     88 |  0.000 % |
1539.01/1539.85	c |    485987 |    1698   269831  1187407 | 2147483647   485987     88 |  0.000 % |
1540.71/1541.51	c |    486243 |    1698   269831  1187407 | 2147483647   486243     88 |  0.000 % |
1542.81/1543.61	c |    486524 |    1698   269831  1187407 | 2147483647   486524     88 |  0.000 % |
1544.61/1545.47	c |    486834 |    1698   269831  1187407 | 2147483647   486834     88 |  0.000 % |
1547.01/1547.89	c |    487173 |    1698   269831  1187407 | 2147483647   487173     88 |  0.000 % |
1549.20/1550.09	c |    487545 |    1698   269831  1187407 | 2147483647   487545     88 |  0.000 % |
1551.40/1552.27	c |    487954 |    1698   269831  1187407 | 2147483647   487954     88 |  0.000 % |
1553.41/1554.28	c |    488404 |    1698   269831  1187407 | 2147483647   488404     88 |  0.000 % |
1555.90/1556.77	c |    488898 |    1698   269831  1187407 | 2147483647   488898     88 |  0.000 % |
1560.30/1561.17	c |    489440 |    1698   269831  1187407 | 2147483647   489440     88 |  0.000 % |
1564.70/1565.52	c |    490037 |    1698   269831  1187407 | 2147483647   490037     88 |  0.000 % |
1567.80/1568.69	c |    490692 |    1698   269831  1187407 | 2147483647   490692     88 |  0.000 % |
1573.49/1574.36	c |    491413 |    1698   269831  1187407 | 2147483647   491413     88 |  0.000 % |
1579.39/1580.22	c |    492206 |    1698   269831  1187407 | 2147483647   492206     88 |  0.000 % |
1584.08/1585.00	c |    493079 |    1698   269831  1187407 | 2147483647   493079     88 |  0.000 % |
1590.48/1591.36	c |    494037 |    1698   269831  1187407 | 2147483647   494037     88 |  0.000 % |
1597.99/1598.83	c |    495091 |    1698   269831  1187407 | 2147483647   495091     88 |  0.000 % |
1604.68/1605.52	c |    496250 |    1698   269831  1187407 | 2147483647   496250     88 |  0.000 % |
1612.08/1612.92	c |    497526 |    1698   269831  1187407 | 2147483647   497526     88 |  0.000 % |
1620.17/1621.08	c |    498926 |    1698   269831  1187407 | 2147483647   498926     88 |  0.000 % |
1630.97/1631.80	c |    500467 |    1698   269831  1187407 | 2147483647   500467     89 |  0.000 % |
1638.67/1639.55	c |    502162 |    1698   269831  1187407 | 2147483647   502162     89 |  0.000 % |
1646.87/1647.77	c |    504028 |    1698   269831  1187407 | 2147483647   504028     89 |  0.000 % |
1657.56/1658.44	c |    506077 |    1698   269831  1187407 | 2147483647   506077     89 |  0.000 % |
1671.16/1672.08	c |    508330 |    1698   269831  1187407 | 2147483647   508330     89 |  0.000 % |
1685.65/1686.50	c |    510809 |    1698   269831  1187407 | 2147483647   510809     89 |  0.000 % |
1703.35/1704.21	c |    513534 |    1698   269831  1187407 | 2147483647   513534     89 |  0.000 % |
1723.63/1724.57	c |    516532 |    1698   269831  1187407 | 2147483647   516532     89 |  0.000 % |
1741.53/1742.42	c |    519829 |    1698   269831  1187407 | 2147483647   519829     89 |  0.000 % |
1761.81/1762.72	c |    523457 |    1698   269831  1187407 | 2147483647   523457     89 |  0.000 % |
1768.00/1768.97	c |    527444 |    1698   269831  1187407 | 2147483647   527444     89 |  0.000 % |
1774.21/1775.14	c |    531831 |    1698   269831  1187407 | 2147483647   531831     89 |  0.000 % |
1782.30/1783.22	c |    536657 |    1698   269831  1187407 | 2147483647   536657     89 |  0.000 % |
1782.50/1783.47	c |    536757 |    1698   269831  1187407 | 2147483647   536757     89 |  0.000 % |
1782.80/1783.75	c |    536867 |    1698   269831  1187407 | 2147483647   536867     89 |  0.000 % |
1783.10/1784.02	c |    536989 |    1698   269831  1187407 | 2147483647   536989     89 |  0.000 % |
1783.40/1784.33	c |    537122 |    1698   269831  1187407 | 2147483647   537122     89 |  0.000 % |
1783.70/1784.64	c |    537268 |    1698   269831  1187407 | 2147483647   537268     89 |  0.000 % |
1784.00/1784.93	c |    537428 |    1698   269831  1187407 | 2147483647   537428     89 |  0.000 % |
1784.41/1785.35	c |    537604 |    1698   269831  1187407 | 2147483647   537604     89 |  0.000 % |
1784.80/1785.74	c |    537797 |    1698   269831  1187407 | 2147483647   537797     89 |  0.000 % |
1785.10/1786.04	c |    538012 |    1698   269831  1187407 | 2147483647   538012     89 |  0.000 % |
1787.00/1787.93	c |    538245 |    1698   269831  1187407 | 2147483647   538245     89 |  0.000 % |
1788.20/1789.19	c |    538504 |    1698   269831  1187407 | 2147483647   538504     89 |  0.000 % |
1790.30/1791.22	c |    538785 |    1698   269831  1187407 | 2147483647   538785     89 |  0.000 % |
1792.40/1793.30	c |    539095 |    1698   269831  1187407 | 2147483647   539095     89 |  0.000 % |
1794.40/1795.37	c |    539436 |    1698   269831  1187407 | 2147483647   539436     89 |  0.000 % |
1796.60/1797.51	c |    539808 |    1698   269831  1187407 | 2147483647   539808     89 |  0.000 % |
1799.00/1799.92	c |    540217 |    1698   269831  1187407 | 2147483647   540217     89 |  0.000 % |
1802.10/1803.09	c |    540669 |    1698   269831  1187407 | 2147483647   540669     89 |  0.000 % |
1805.00/1805.95	c |    541163 |    1698   269831  1187407 | 2147483647   541163     89 |  0.000 % |
1808.10/1809.03	c |    541706 |    1698   269831  1187407 | 2147483647   541706     89 |  0.000 % |
1810.30/1811.29	c |    542303 |    1698   269831  1187407 | 2147483647   542303     89 |  0.000 % |
1815.39/1816.30	c |    542958 |    1698   269831  1187407 | 2147483647   542958     89 |  0.000 % |
1820.60/1821.57	c |    543680 |    1698   269831  1187407 | 2147483647   543680     89 |  0.000 % |
1825.49/1826.41	c |    544474 |    1698   269831  1187407 | 2147483647   544474     89 |  0.000 % |
1831.89/1832.84	c |    545347 |    1698   269831  1187407 | 2147483647   545347     89 |  0.000 % |
1835.89/1836.88	c |    546305 |    1698   269831  1187407 | 2147483647   546305     89 |  0.000 % |
1840.69/1841.68	c |    547358 |    1698   269831  1187407 | 2147483647   547358     89 |  0.000 % |
1846.28/1847.29	c |    548521 |    1698   269831  1187407 | 2147483647   548521     89 |  0.000 % |
1855.18/1856.12	c |    549796 |    1698   269831  1187407 | 2147483647   549796     89 |  0.000 % |
1867.77/1868.74	c |    551197 |    1698   269831  1187407 | 2147483647   551197     89 |  0.000 % |
1874.67/1875.66	c |    552737 |    1698   269831  1187407 | 2147483647   552737     89 |  0.000 % |
1880.97/1881.96	c |    554431 |    1698   269831  1187407 | 2147483647   554431     89 |  0.000 % |
1892.87/1893.81	c |    556295 |    1698   269831  1187407 | 2147483647   556295     89 |  0.000 % |
1899.26/1900.25	c |    558346 |    1698   269831  1187407 | 2147483647   558346     89 |  0.000 % |
1913.76/1914.72	c |    560599 |    1698   269831  1187407 | 2147483647   560599     89 |  0.000 % |
1927.95/1928.99	c |    563077 |    1698   269831  1187407 | 2147483647   563077     89 |  0.000 % |
1942.55/1943.60	c |    565803 |    1698   269831  1187407 | 2147483647   565803     90 |  0.000 % |
1955.64/1956.69	c |    568802 |    1698   269831  1187407 | 2147483647   568802     90 |  0.000 % |
1973.93/1974.99	c |    572099 |    1698   269831  1187407 | 2147483647   572099     90 |  0.000 % |
1996.32/1997.34	c |    575726 |    1698   269831  1187407 | 2147483647   575726     90 |  0.000 % |
2020.62/2021.62	c |    579713 |    1698   269831  1187407 | 2147483647   579713     90 |  0.000 % |
2050.71/2051.70	c |    584099 |    1698   269831  1187407 | 2147483647   584099     89 |  0.000 % |
2085.00/2086.05	c |    588922 |    1698   269831  1187407 | 2147483647   588922     90 |  0.000 % |
2120.97/2122.03	c |    594227 |    1698   269831  1187407 | 2147483647   594227     90 |  0.000 % |
2121.77/2122.86	c |    594327 |    1698   269831  1187407 | 2147483647   594327     90 |  0.000 % |
2123.08/2124.15	c |    594437 |    1698   269831  1187407 | 2147483647   594437     90 |  0.000 % |
2123.97/2125.07	c |    594559 |    1698   269831  1187407 | 2147483647   594559     90 |  0.000 % |
2125.28/2126.39	c |    594692 |    1698   269831  1187407 | 2147483647   594692     90 |  0.000 % |
2126.57/2127.61	c |    594838 |    1698   269831  1187407 | 2147483647   594838     90 |  0.000 % |
2127.77/2128.88	c |    594999 |    1698   269831  1187407 | 2147483647   594999     90 |  0.000 % |
2128.77/2129.88	c |    595179 |    1698   269831  1187407 | 2147483647   595179     90 |  0.000 % |
2130.48/2131.54	c |    595372 |    1698   269831  1187407 | 2147483647   595372     90 |  0.000 % |
2131.38/2132.49	c |    595584 |    1698   269831  1187407 | 2147483647   595584     90 |  0.000 % |
2133.08/2134.18	c |    595820 |    1698   269831  1187407 | 2147483647   595820     90 |  0.000 % |
2135.38/2136.45	c |    596079 |    1698   269831  1187407 | 2147483647   596079     90 |  0.000 % |
2137.58/2138.63	c |    596363 |    1698   269831  1187407 | 2147483647   596363     90 |  0.000 % |
2139.48/2140.59	c |    596674 |    1698   269831  1187407 | 2147483647   596674     90 |  0.000 % |
2142.77/2143.86	c |    597017 |    1698   269831  1187407 | 2147483647   597017     90 |  0.000 % |
2146.27/2147.38	c |    597390 |    1698   269831  1187407 | 2147483647   597390     90 |  0.000 % |
2149.27/2150.35	c |    597800 |    1698   269831  1187407 | 2147483647   597800     90 |  0.000 % |
2152.57/2153.69	c |    598249 |    1698   269831  1187407 | 2147483647   598249     90 |  0.000 % |
2155.27/2156.36	c |    598743 |    1698   269831  1187407 | 2147483647   598743     90 |  0.000 % |
2158.36/2159.41	c |    599285 |    1698   269831  1187407 | 2147483647   599285     90 |  0.000 % |
2163.86/2164.98	c |    599885 |    1698   269831  1187407 | 2147483647   599885     90 |  0.000 % |
2168.95/2170.08	c |    600542 |    1698   269831  1187407 | 2147483647   600542     90 |  0.000 % |
2173.75/2174.84	c |    601263 |    1698   269831  1187407 | 2147483647   601263     90 |  0.000 % |
2179.15/2180.27	c |    602057 |    1698   269831  1187407 | 2147483647   602057     90 |  0.000 % |
2183.85/2185.00	c |    602928 |    1698   269831  1187407 | 2147483647   602928     90 |  0.000 % |
2186.55/2187.62	c |    603886 |    1698   269831  1187407 | 2147483647   603886     90 |  0.000 % |
2188.95/2190.04	c |    604940 |    1698   269831  1187407 | 2147483647   604940     90 |  0.000 % |
2191.45/2192.54	c |    606100 |    1698   269831  1187407 | 2147483647   606100     90 |  0.000 % |
2193.25/2194.34	c |    607374 |    1698   269831  1187407 | 2147483647   607374     90 |  0.000 % |
2195.15/2196.29	c |    608775 |    1698   269831  1187407 | 2147483647   608775     90 |  0.000 % |
2197.25/2198.32	c |    610319 |    1698   269831  1187407 | 2147483647   610319     90 |  0.000 % |
2201.75/2202.85	c |    612014 |    1698   269831  1187407 | 2147483647   612014     90 |  0.000 % |
2220.44/2221.56	c |    613877 |    1698   269831  1187407 | 2147483647   613877     90 |  0.000 % |
2234.63/2235.79	c |    615927 |    1698   269831  1187407 | 2147483647   615927     90 |  0.000 % |
2243.83/2244.96	c |    618180 |    1698   269831  1187407 | 2147483647   618180     90 |  0.000 % |
2252.93/2254.06	c |    620662 |    1698   269831  1187407 | 2147483647   620662     90 |  0.000 % |
2268.22/2269.37	c |    623388 |    1698   269831  1187407 | 2147483647   623388     90 |  0.000 % |
2280.82/2281.98	c |    626387 |    1698   269831  1187407 | 2147483647   626387     90 |  0.000 % |
2304.30/2305.49	c |    629685 |    1698   269831  1187407 | 2147483647   629685     90 |  0.000 % |
2331.90/2333.05	c |    633310 |    1698   269831  1187407 | 2147483647   633310     90 |  0.000 % |
2358.98/2360.11	c |    637297 |    1698   269831  1187407 | 2147483647   637297     90 |  0.000 % |
2383.97/2385.13	c |    641683 |    1698   269831  1187407 | 2147483647   641683     90 |  0.000 % |
2416.26/2417.47	c |    646506 |    1698   269831  1187407 | 2147483647   646506     90 |  0.000 % |
2446.54/2447.73	c |    651813 |    1698   269831  1187407 | 2147483647   651813     91 |  0.000 % |
2485.03/2486.20	c |    657654 |    1698   269831  1187407 | 2147483647   657654     91 |  0.000 % |
2485.93/2487.13	c |    657758 |    1698   269831  1187407 | 2147483647   657758     91 |  0.000 % |
2486.72/2487.92	c |    657868 |    1698   269831  1187407 | 2147483647   657868     91 |  0.000 % |
2487.73/2488.95	c |    657991 |    1698   269831  1187407 | 2147483647   657991     91 |  0.000 % |
2488.72/2489.91	c |    658127 |    1698   269831  1187407 | 2147483647   658127     91 |  0.000 % |
2489.42/2490.67	c |    658273 |    1698   269831  1187407 | 2147483647   658273     91 |  0.000 % |
2490.42/2491.61	c |    658433 |    1698   269831  1187407 | 2147483647   658433     91 |  0.000 % |
2491.22/2492.48	c |    658609 |    1698   269831  1187407 | 2147483647   658609     91 |  0.000 % |
2492.22/2493.42	c |    658802 |    1698   269831  1187407 | 2147483647   658802     91 |  0.000 % |
2492.92/2494.17	c |    659014 |    1698   269831  1187407 | 2147483647   659014     91 |  0.000 % |
2494.92/2496.18	c |    659247 |    1698   269831  1187407 | 2147483647   659247     91 |  0.000 % |
2496.42/2497.66	c |    659508 |    1698   269831  1187407 | 2147483647   659508     91 |  0.000 % |
2499.42/2500.69	c |    659792 |    1698   269831  1187407 | 2147483647   659792     91 |  0.000 % |
2501.72/2502.92	c |    660102 |    1698   269831  1187407 |   660000   660102     91 |  0.000 % |
2506.02/2507.23	c |    660441 |    1698   269831  1187407 |   660000   537042     91 |  0.000 % |
2508.51/2509.76	c |    660813 |    1698   269831  1187407 |   660000   537414     91 |  0.000 % |
2511.01/2512.24	c |    661223 |    1698   269831  1187407 |   660000   537824     91 |  0.000 % |
2513.32/2514.59	c |    661672 |    1698   269831  1187407 |   660000   538273     91 |  0.000 % |
2516.91/2518.19	c |    662165 |    1698   269831  1187407 |   660000   538766     91 |  0.000 % |
2519.51/2520.72	c |    662707 |    1698   269831  1187407 |   660000   539308     91 |  0.000 % |
2523.01/2524.24	c |    663303 |    1698   269831  1187407 |   660000   539904     91 |  0.000 % |
2527.80/2529.10	c |    663958 |    1698   269831  1187407 |   660000   540559     91 |  0.000 % |
2533.10/2534.31	c |    664681 |    1698   269831  1187407 |   660000   541282     91 |  0.000 % |
2537.70/2538.94	c |    665473 |    1698   269831  1187407 |   660000   542074     91 |  0.000 % |
2543.40/2544.62	c |    666344 |    1698   269831  1187407 |   660000   542945     91 |  0.000 % |
2549.60/2550.82	c |    667305 |    1698   269831  1187407 |   660000   543906     91 |  0.000 % |
2556.49/2557.75	c |    668360 |    1698   269831  1187407 |   660000   544961     91 |  0.000 % |
2565.39/2566.69	c |    669521 |    1698   269831  1187407 |   660000   546122     91 |  0.000 % |
2571.48/2572.71	c |    670795 |    1698   269831  1187407 | 2147483647   547396     91 |  0.000 % |
2578.88/2580.10	c |    672198 |    1698   269831  1187407 | 2147483647   548799     91 |  0.000 % |
2585.98/2587.20	c |    673738 |    1698   269831  1187407 | 2147483647   550339     91 |  0.000 % |
2596.78/2598.03	c |    675432 |    1698   269831  1187407 | 2147483647   552033     91 |  0.000 % |
2605.47/2606.78	c |    677297 |    1698   269831  1187407 | 2147483647   553898     91 |  0.000 % |
2621.57/2622.85	c |    679346 |    1698   269831  1187407 | 2147483647   555947     91 |  0.000 % |
2638.47/2639.72	c |    681599 |    1698   269831  1187407 | 2147483647   558200     91 |  0.000 % |
2655.37/2656.68	c |    684081 |    1698   269831  1187407 | 2147483647   560682     91 |  0.000 % |
2676.95/2678.23	c |    686809 |    1698   269831  1187407 | 2147483647   563410     91 |  0.000 % |
2690.75/2692.03	c |    689807 |    1698   269831  1187407 | 2147483647   566408     91 |  0.000 % |
2714.83/2716.18	c |    693103 |    1698   269831  1187407 | 2147483647   569704     91 |  0.000 % |
2739.62/2740.92	c |    696730 |    1698   269831  1187407 | 2147483647   573331     91 |  0.000 % |
2767.59/2768.99	c |    700719 |    1698   269831  1187407 | 2147483647   577320     91 |  0.000 % |
2798.97/2800.32	c |    705104 |    1698   269831  1187407 | 2147483647   581705     90 |  0.000 % |
2824.07/2825.40	c |    709927 |    1698   269831  1187407 | 2147483647   586528     90 |  0.000 % |
2857.46/2858.82	c |    715236 |    1698   269831  1187407 | 2147483647   591837     90 |  0.000 % |
2896.33/2897.76	c |    721072 |    1698   269831  1187407 | 2147483647   597673     89 |  0.000 % |
2930.13/2931.50	c |    727491 |    1698   269831  1187407 | 2147483647   604092     90 |  0.000 % |
2931.12/2932.57	c |    727595 |    1698   269831  1187407 | 2147483647   604196     90 |  0.000 % |
2932.22/2933.64	c |    727706 |    1698   269831  1187407 | 2147483647   604307     90 |  0.000 % |
2933.12/2934.51	c |    727829 |    1698   269831  1187407 | 2147483647   604430     90 |  0.000 % |
2934.42/2935.84	c |    727965 |    1698   269831  1187407 | 2147483647   604566     90 |  0.000 % |
2935.82/2937.20	c |    728113 |    1698   269831  1187407 | 2147483647   604714     90 |  0.000 % |
2936.92/2938.36	c |    728276 |    1698   269831  1187407 | 2147483647   604877     90 |  0.000 % |
2938.12/2939.53	c |    728452 |    1698   269831  1187407 | 2147483647   605053     90 |  0.000 % |
2939.42/2940.80	c |    728645 |    1698   269831  1187407 | 2147483647   605246     90 |  0.000 % |
2941.02/2942.47	c |    728857 |    1698   269831  1187407 | 2147483647   605458     90 |  0.000 % |
2942.52/2943.97	c |    729091 |    1698   269831  1187407 | 2147483647   605692     90 |  0.000 % |
2944.82/2946.25	c |    729347 |    1698   269831  1187407 | 2147483647   605948     90 |  0.000 % |
2946.02/2947.46	c |    729629 |    1698   269831  1187407 | 2147483647   606230     90 |  0.000 % |
2948.42/2949.85	c |    729938 |    1698   269831  1187407 | 2147483647   606539     90 |  0.000 % |
2950.52/2951.92	c |    730278 |    1698   269831  1187407 | 2147483647   606879     90 |  0.000 % |
2952.71/2954.18	c |    730652 |    1698   269831  1187407 | 2147483647   607253     90 |  0.000 % |
2955.71/2957.16	c |    731062 |    1698   269831  1187407 | 2147483647   607663     90 |  0.000 % |
2960.11/2961.50	c |    731511 |    1698   269831  1187407 | 2147483647   608112     90 |  0.000 % |
2964.51/2965.94	c |    732004 |    1698   269831  1187407 | 2147483647   608605     90 |  0.000 % |
2970.11/2971.59	c |    732546 |    1698   269831  1187407 | 2147483647   609147     90 |  0.000 % |
2974.80/2976.25	c |    733142 |    1698   269831  1187407 | 2147483647   609743     90 |  0.000 % |
2979.30/2980.79	c |    733798 |    1698   269831  1187407 | 2147483647   610399     90 |  0.000 % |
2982.70/2984.15	c |    734521 |    1698   269831  1187407 | 2147483647   611122     90 |  0.000 % |
2988.10/2989.56	c |    735314 |    1698   269831  1187407 | 2147483647   611915     90 |  0.000 % |
2994.60/2996.09	c |    736187 |    1698   269831  1187407 | 2147483647   612788     90 |  0.000 % |
3002.20/3003.63	c |    737145 |    1698   269831  1187407 | 2147483647   613746     90 |  0.000 % |
3009.00/3010.48	c |    738199 |    1698   269831  1187407 | 2147483647   614800     90 |  0.000 % |
3018.59/3020.02	c |    739358 |    1698   269831  1187407 | 2147483647   615959     90 |  0.000 % |
3025.38/3026.82	c |    740631 |    1698   269831  1187407 | 2147483647   617232     90 |  0.000 % |
3034.78/3036.22	c |    742031 |    1698   269831  1187407 | 2147483647   618632     90 |  0.000 % |
3044.78/3046.24	c |    743571 |    1698   269831  1187407 | 2147483647   620172     90 |  0.000 % |
3052.08/3053.56	c |    745266 |    1698   269831  1187407 | 2147483647   621867     90 |  0.000 % |
3065.87/3067.38	c |    747130 |    1698   269831  1187407 | 2147483647   623731     90 |  0.000 % |
3081.66/3083.16	c |    749179 |    1698   269831  1187407 | 2147483647   625780     90 |  0.000 % |
3098.56/3100.01	c |    751435 |    1698   269831  1187407 | 2147483647   628036     90 |  0.000 % |
3116.24/3117.74	c |    753914 |    1698   269831  1187407 | 2147483647   630515     90 |  0.000 % |
3131.64/3133.19	c |    756639 |    1698   269831  1187407 | 2147483647   633240     89 |  0.000 % |
3144.44/3145.93	c |    759636 |    1698   269831  1187407 | 2147483647   636237     90 |  0.000 % |
3161.92/3163.42	c |    762938 |    1698   269831  1187407 | 2147483647   639539     90 |  0.000 % |
3191.21/3192.71	c |    766564 |    1698   269831  1187407 | 2147483647   643165     90 |  0.000 % |
3224.29/3225.81	c |    770552 |    1698   269831  1187407 | 2147483647   647153     90 |  0.000 % |
3259.18/3260.71	c |    774941 |    1698   269831  1187407 | 2147483647   651542     90 |  0.000 % |
3294.96/3296.56	c |    779767 |    1698   269831  1187407 | 2147483647   656368     90 |  0.000 % |
3341.05/3342.60	c |    785073 |    1698   269831  1187407 | 2147483647   661674     90 |  0.000 % |
3387.93/3389.59	c |    790909 |    1698   269831  1187407 | 2147483647   667510     90 |  0.000 % |
3434.01/3435.66	c |    797329 |    1698   269831  1187407 | 2147483647   673930     90 |  0.000 % |
3488.70/3490.36	c |    804388 |    1698   269831  1187407 | 2147483647   680989     90 |  0.000 % |
3489.60/3491.22	c |    804488 |    1698   269831  1187407 | 2147483647   681089     90 |  0.000 % |
3490.50/3492.13	c |    804598 |    1698   269831  1187407 | 2147483647   681199     90 |  0.000 % |
3492.19/3493.82	c |    804722 |    1698   269831  1187407 | 2147483647   681323     90 |  0.000 % |
3493.59/3495.27	c |    804855 |    1698   269831  1187407 | 2147483647   681456     90 |  0.000 % |
3494.59/3496.27	c |    805003 |    1698   269831  1187407 | 2147483647   681604     90 |  0.000 % |
3495.69/3497.40	c |    805163 |    1698   269831  1187407 | 2147483647   681764     90 |  0.000 % |
3497.40/3499.10	c |    805340 |    1698   269831  1187407 | 2147483647   681941     90 |  0.000 % |
3498.69/3500.35	c |    805535 |    1698   269831  1187407 | 2147483647   682136     90 |  0.000 % |
3500.49/3502.19	c |    805747 |    1698   269831  1187407 | 2147483647   682348     90 |  0.000 % |
3502.90/3504.51	c |    805980 |    1698   269831  1187407 | 2147483647   682581     90 |  0.000 % |
3505.89/3507.58	c |    806239 |    1698   269831  1187407 | 2147483647   682840     90 |  0.000 % |
3508.79/3510.43	c |    806520 |    1698   269831  1187407 | 2147483647   683121     90 |  0.000 % |
3510.99/3512.63	c |    806830 |    1698   269831  1187407 | 2147483647   683431     90 |  0.000 % |
3514.28/3515.99	c |    807170 |    1698   269831  1187407 | 2147483647   683771     90 |  0.000 % |
3518.28/3520.00	c |    807547 |    1698   269831  1187407 | 2147483647   684148     90 |  0.000 % |
3520.98/3522.69	c |    807958 |    1698   269831  1187407 | 2147483647   684559     90 |  0.000 % |
3525.28/3526.94	c |    808407 |    1698   269831  1187407 | 2147483647   685008     90 |  0.000 % |
3528.97/3530.66	c |    808901 |    1698   269831  1187407 | 2147483647   685502     90 |  0.000 % |
3532.97/3534.68	c |    809443 |    1698   269831  1187407 | 2147483647   686044     90 |  0.000 % |
3536.27/3537.97	c |    810042 |    1698   269831  1187407 | 2147483647   686643     90 |  0.000 % |
3541.47/3543.19	c |    810698 |    1698   269831  1187407 | 2147483647   687299     90 |  0.000 % |
3546.17/3547.87	c |    811418 |    1698   269831  1187407 | 2147483647   688019     90 |  0.000 % |
3552.38/3554.06	c |    812211 |    1698   269831  1187407 | 2147483647   688812     90 |  0.000 % |
3556.67/3558.33	c |    813083 |    1698   269831  1187407 | 2147483647   689684     90 |  0.000 % |
3563.16/3564.81	c |    814043 |    1698   269831  1187407 | 2147483647   690644     90 |  0.000 % |
3570.06/3571.72	c |    815096 |    1698   269831  1187407 | 2147483647   691697     90 |  0.000 % |
3580.05/3581.79	c |    816255 |    1698   269831  1187407 | 2147483647   692856     90 |  0.000 % |
3587.26/3588.95	c |    817529 |    1698   269831  1187407 | 2147483647   694130     90 |  0.000 % |
3595.55/3597.24	c |    818929 |    1698   269831  1187407 | 2147483647   695530     90 |  0.000 % |
3607.45/3609.11	c |    820469 |    1698   269831  1187407 | 2147483647   697070     90 |  0.000 % |
3622.04/3623.78	c |    822165 |    1698   269831  1187407 | 2147483647   698766     90 |  0.000 % |
3638.03/3639.77	c |    824029 |    1698   269831  1187407 | 2147483647   700630     90 |  0.000 % |
3655.83/3657.59	c |    826078 |    1698   269831  1187407 | 2147483647   702679     90 |  0.000 % |
3670.13/3671.89	c |    828333 |    1698   269831  1187407 | 2147483647   704934     90 |  0.000 % |
3683.82/3685.57	c |    830811 |    1698   269831  1187407 | 2147483647   707412     90 |  0.000 % |
3704.20/3705.99	c |    833538 |    1698   269831  1187407 | 2147483647   710139     90 |  0.000 % |
3729.60/3731.36	c |    836535 |    1698   269831  1187407 | 2147483647   713136     90 |  0.000 % |
3759.07/3760.81	c |    839832 |    1698   269831  1187407 | 2147483647   716433     90 |  0.000 % |
3793.65/3795.40	c |    843457 |    1698   269831  1187407 | 2147483647   720058     90 |  0.000 % |
3829.94/3831.77	c |    847445 |    1698   269831  1187407 | 2147483647   724046     90 |  0.000 % |
3851.44/3853.22	c |    851831 |    1698   269831  1187407 | 2147483647   728432     90 |  0.000 % |
3872.33/3874.15	c |    856655 |    1698   269831  1187407 | 2147483647   733256     90 |  0.000 % |
3910.61/3912.50	c |    861962 |    1698   269831  1187407 |   736601   611586     90 |  0.000 % |
3938.20/3940.00	c |    867798 |    1698   269831  1187407 |   736601   617422     90 |  0.000 % |
3976.68/3978.58	c |    874216 |    1698   269831  1187407 |   619624   503924     90 |  0.000 % |
4006.27/4008.13	c |    881275 |    1698   269831  1187407 |   509709   459950     90 |  0.000 % |
4041.16/4043.05	c |    889039 |    1698   269831  1187407 |   509709   467714     90 |  0.000 % |
4041.96/4043.80	c |    889140 |    1698   269831  1187407 |   509709   467815     90 |  0.000 % |
4042.56/4044.47	c |    889250 |    1698   269831  1187407 |   509709   467925     90 |  0.000 % |
4043.46/4045.33	c |    889371 |    1698   269831  1187407 |   509709   468046     90 |  0.000 % |
4044.16/4046.06	c |    889506 |    1698   269831  1187407 |   509709   468181     90 |  0.000 % |
4044.96/4046.84	c |    889652 |    1698   269831  1187407 |   509709   468327     90 |  0.000 % |
4046.16/4048.07	c |    889813 |    1698   269831  1187407 |   509709   468488     90 |  0.000 % |
4047.06/4048.93	c |    889990 |    1698   269831  1187407 |   509709   468665     90 |  0.000 % |
4048.06/4049.91	c |    890189 |    1698   269831  1187407 |   468676   468864     90 |  0.000 % |
4050.36/4052.24	c |    890401 |    1698   269831  1187407 |   468676   419149     91 |  0.000 % |
4052.16/4054.07	c |    890634 |    1698   269831  1187407 |   468676   419382     91 |  0.000 % |
4053.86/4055.75	c |    890890 |    1698   269831  1187407 |   468676   419638     91 |  0.000 % |
4055.55/4057.49	c |    891171 |    1698   269831  1187407 |   468676   419919     91 |  0.000 % |
4057.35/4059.24	c |    891480 |    1698   269831  1187407 |   468676   420228     91 |  0.000 % |
4059.45/4061.38	c |    891819 |    1698   269831  1187407 |   468676   420567     91 |  0.000 % |
4061.65/4063.58	c |    892192 |    1698   269831  1187407 |   468676   420940     91 |  0.000 % |
4063.65/4065.57	c |    892601 |    1698   269831  1187407 |   468676   421349     91 |  0.000 % |
4066.65/4068.59	c |    893051 |    1698   269831  1187407 |   468676   421799     91 |  0.000 % |
4069.55/4071.46	c |    893545 |    1698   269831  1187407 |   468676   422293     91 |  0.000 % |
4072.45/4074.36	c |    894089 |    1698   269831  1187407 |   468676   422837     91 |  0.000 % |
4076.25/4078.14	c |    894685 |    1698   269831  1187407 |   468676   423433     91 |  0.000 % |
4080.34/4082.29	c |    895341 |    1698   269831  1187407 |   468676   424089     91 |  0.000 % |
4083.45/4085.31	c |    896063 |    1698   269831  1187407 |   468676   424811     91 |  0.000 % |
4087.95/4089.88	c |    896855 |    1698   269831  1187407 |   468676   425603     91 |  0.000 % |
4091.84/4093.75	c |    897729 |    1698   269831  1187407 |   468676   426477     91 |  0.000 % |
4096.74/4098.60	c |    898688 |    1698   269831  1187407 |   468676   427436     91 |  0.000 % |
4101.12/4103.02	c |    899741 |    1698   269831  1187407 |   468676   428489     91 |  0.000 % |
4105.61/4107.54	c |    900899 |    1698   269831  1187407 | 2147483647   429647     91 |  0.000 % |
4111.02/4112.90	c |    902173 |    1698   269831  1187407 | 2147483647   430921     91 |  0.000 % |
4117.31/4119.21	c |    903573 |    1698   269831  1187407 | 2147483647   432321     91 |  0.000 % |
4126.91/4128.89	c |    905114 |    1698   269831  1187407 | 2147483647   433862     91 |  0.000 % |
4137.21/4139.12	c |    906808 |    1698   269831  1187407 | 2147483647   435556     91 |  0.000 % |
4144.10/4146.02	c |    908676 |    1698   269831  1187407 | 2147483647   437424     91 |  0.000 % |
4154.90/4156.81	c |    910726 |    1698   269831  1187407 | 2147483647   439474     92 |  0.000 % |
4161.00/4162.95	c |    912980 |    1698   269831  1187407 | 2147483647   441728     92 |  0.000 % |
4169.69/4171.60	c |    915458 |    1698   269831  1187407 | 2147483647   444206     92 |  0.000 % |
4177.49/4179.40	c |    918185 |    1698   269831  1187407 | 2147483647   446933     92 |  0.000 % |
4184.88/4186.83	c |    921184 |    1698   269831  1187407 | 2147483647   449932     92 |  0.000 % |
4193.37/4195.35	c |    924481 |    1698   269831  1187407 | 2147483647   453229     92 |  0.000 % |
4203.07/4205.05	c |    928111 |    1698   269831  1187407 | 2147483647   456859     92 |  0.000 % |
4215.38/4217.38	c |    932101 |    1698   269831  1187407 | 2147483647   460849     92 |  0.000 % |
4229.97/4231.95	c |    936486 |    1698   269831  1187407 | 2147483647   465234     92 |  0.000 % |
4245.66/4247.64	c |    941309 |    1698   269831  1187407 | 2147483647   470057     92 |  0.000 % |
4261.35/4263.30	c |    946620 |    1698   269831  1187407 | 2147483647   475368     92 |  0.000 % |
4288.24/4290.22	c |    952456 |    1698   269831  1187407 | 2147483647   481204     92 |  0.000 % |
4319.13/4321.14	c |    958874 |    1698   269831  1187407 | 2147483647   487622     92 |  0.000 % |
4353.12/4355.12	c |    965938 |    1698   269831  1187407 | 2147483647   494686     93 |  0.000 % |
4385.60/4387.64	c |    973705 |    1698   269831  1187407 | 2147483647   502453     93 |  0.000 % |
4429.49/4431.51	c |    982245 |    1698   269831  1187407 |   508749   449960     92 |  0.000 % |
4429.99/4432.02	c |    982346 |    1698   269831  1187407 |   508749   450061     92 |  0.000 % |
4430.49/4432.54	c |    982456 |    1698   269831  1187407 |   508749   450171     92 |  0.000 % |
4431.19/4433.25	c |    982577 |    1698   269831  1187407 |   508749   450292     92 |  0.000 % |
4432.48/4434.52	c |    982710 |    1698   269831  1187407 |   508749   450425     92 |  0.000 % |
4433.28/4435.39	c |    982856 |    1698   269831  1187407 |   508749   450571     92 |  0.000 % |
4434.78/4436.85	c |    983018 |    1698   269831  1187407 |   508749   450733     92 |  0.000 % |
4435.98/4438.05	c |    983195 |    1698   269831  1187407 |   508749   450910     92 |  0.000 % |
4437.49/4439.59	c |    983390 |    1698   269831  1187407 |   508749   451105     92 |  0.000 % |
4439.18/4441.25	c |    983602 |    1698   269831  1187407 |   508749   451317     92 |  0.000 % |
4440.98/4443.01	c |    983835 |    1698   269831  1187407 |   508749   451550     92 |  0.000 % |
4442.48/4444.51	c |    984093 |    1698   269831  1187407 |   508749   451808     92 |  0.000 % |
4444.48/4446.58	c |    984377 |    1698   269831  1187407 |   508749   452092     92 |  0.000 % |
4446.88/4448.95	c |    984687 |    1698   269831  1187407 |   508749   452402     92 |  0.000 % |
4448.38/4450.49	c |    985026 |    1698   269831  1187407 |   508749   452741     92 |  0.000 % |
4451.28/4453.35	c |    985398 |    1698   269831  1187407 |   508749   453113     92 |  0.000 % |
4453.18/4455.30	c |    985810 |    1698   269831  1187407 |   508749   453525     92 |  0.000 % |
4456.38/4458.48	c |    986259 |    1698   269831  1187407 |   508749   453974     92 |  0.000 % |
4459.77/4461.87	c |    986755 |    1698   269831  1187407 |   508749   454470     92 |  0.000 % |
4463.47/4465.59	c |    987297 |    1698   269831  1187407 |   508749   455012     92 |  0.000 % |
4465.67/4467.72	c |    987893 |    1698   269831  1187407 |   508749   455608     92 |  0.000 % |
4468.27/4470.32	c |    988551 |    1698   269831  1187407 |   508749   456266     92 |  0.000 % |
4474.07/4476.10	c |    989275 |    1698   269831  1187407 |   508749   456990     92 |  0.000 % |
4479.87/4481.95	c |    990067 |    1698   269831  1187407 | 2147483647   457782     92 |  0.000 % |
4485.76/4487.83	c |    990939 |    1698   269831  1187407 | 2147483647   458654     92 |  0.000 % |
4491.16/4493.25	c |    991897 |    1698   269831  1187407 | 2147483647   459612     92 |  0.000 % |
4497.26/4499.33	c |    992950 |    1698   269831  1187407 | 2147483647   460665     92 |  0.000 % |
4504.06/4506.11	c |    994108 |    1698   269831  1187407 | 2147483647   461823     92 |  0.000 % |
4509.16/4511.28	c |    995381 |    1698   269831  1187407 | 2147483647   463096     92 |  0.000 % |
4517.15/4519.26	c |    996781 |    1698   269831  1187407 | 2147483647   464496     92 |  0.000 % |
4527.55/4529.65	c |    998321 |    1698   269831  1187407 | 2147483647   466036     92 |  0.000 % |
4538.35/4540.49	c |   1000015 |    1698   269831  1187407 | 2147483647   467730     92 |  0.000 % |
4553.04/4555.20	c |   1001880 |    1698   269831  1187407 | 2147483647   469595     92 |  0.000 % |
4569.84/4571.97	c |   1003929 |    1698   269831  1187407 | 2147483647   471644     92 |  0.000 % |
4580.33/4582.46	c |   1006184 |    1698   269831  1187407 | 2147483647   473899     92 |  0.000 % |
4597.03/4599.17	c |   1008662 |    1698   269831  1187407 | 2147483647   476377     92 |  0.000 % |
4608.62/4610.73	c |   1011388 |    1698   269831  1187407 | 2147483647   479103     92 |  0.000 % |
4622.52/4624.67	c |   1014385 |    1698   269831  1187407 | 2147483647   482100     93 |  0.000 % |
4644.41/4646.51	c |   1017681 |    1698   269831  1187407 | 2147483647   485396     93 |  0.000 % |
4659.61/4661.79	c |   1021306 |    1698   269831  1187407 | 2147483647   489021     93 |  0.000 % |
4677.50/4679.62	c |   1025293 |    1698   269831  1187407 | 2147483647   493008     93 |  0.000 % |
4692.28/4694.46	c |   1029679 |    1698   269831  1187407 | 2147483647   497394     93 |  0.000 % |
4717.08/4719.25	c |   1034502 |    1698   269831  1187407 | 2147483647   502217     93 |  0.000 % |
4753.97/4756.16	c |   1039808 |    1698   269831  1187407 | 2147483647   507523     93 |  0.000 % |
4777.45/4779.64	c |   1045643 |    1698   269831  1187407 | 2147483647   513358     93 |  0.000 % |
4802.45/4804.64	c |   1052065 |    1698   269831  1187407 | 2147483647   519780     93 |  0.000 % |
4829.64/4831.87	c |   1059124 |    1698   269831  1187407 | 2147483647   526839     93 |  0.000 % |
4864.82/4867.04	c |   1066889 |    1698   269831  1187407 | 2147483647   534604     94 |  0.000 % |
4903.01/4905.25	c |   1075431 |    1698   269831  1187407 | 2147483647   543146     94 |  0.000 % |
4939.00/4941.21	c |   1084825 |    1698   269831  1187407 | 2147483647   552540     94 |  0.000 % |
4939.19/4941.50	c |   1084930 |    1698   269831  1187407 | 2147483647   552645     94 |  0.001 % |
4939.59/4941.80	c |   1085040 |    1698   269831  1187407 | 2147483647   552755     94 |  0.001 % |
4940.79/4943.08	c |   1085164 |    1698   269831  1187407 | 2147483647   552879     94 |  0.000 % |
4941.99/4944.22	c |   1085297 |    1698   269831  1187407 | 2147483647   553012     94 |  0.000 % |
4942.89/4945.16	c |   1085443 |    1698   269831  1187407 | 2147483647   553158     94 |  0.000 % |
4943.79/4946.00	c |   1085603 |    1698   269831  1187407 | 2147483647   553318     93 |  0.000 % |
4944.59/4946.85	c |   1085780 |    1698   269831  1187407 | 2147483647   553495     93 |  0.000 % |
4945.79/4948.09	c |   1085973 |    1698   269831  1187407 | 2147483647   553688     93 |  0.000 % |
4946.89/4949.11	c |   1086185 |    1698   269831  1187407 | 2147483647   553900     93 |  0.000 % |
4947.89/4950.16	c |   1086418 |    1698   269831  1187407 | 2147483647   554133     93 |  0.000 % |
4949.09/4951.33	c |   1086674 |    1698   269831  1187407 | 2147483647   554389     93 |  0.000 % |
4950.39/4952.68	c |   1086955 |    1698   269831  1187407 | 2147483647   554670     93 |  0.000 % |
4951.88/4954.17	c |   1087265 |    1698   269831  1187407 | 2147483647   554980     93 |  0.000 % |
4953.98/4956.26	c |   1087605 |    1698   269831  1187407 | 2147483647   555320     93 |  0.000 % |
4955.57/4957.87	c |   1087978 |    1698   269831  1187407 | 2147483647   555693     93 |  0.000 % |
4956.87/4959.18	c |   1088389 |    1698   269831  1187407 | 2147483647   556104     93 |  0.000 % |
4958.37/4960.60	c |   1088839 |    1698   269831  1187407 | 2147483647   556554     93 |  0.000 % |
4960.07/4962.33	c |   1089335 |    1698   269831  1187407 | 2147483647   557050     93 |  0.000 % |
4961.47/4963.70	c |   1089877 |    1698   269831  1187407 | 2147483647   557592     93 |  0.000 % |
4962.87/4965.13	c |   1090474 |    1698   269831  1187407 | 2147483647   558189     93 |  0.000 % |
4964.37/4966.67	c |   1091129 |    1698   269831  1187407 | 2147483647   558844     93 |  0.000 % |
4966.17/4968.46	c |   1091850 |    1698   269831  1187407 | 2147483647   559565     93 |  0.001 % |
4968.17/4970.43	c |   1092644 |    1698   269831  1187407 | 2147483647   560359     93 |  0.000 % |
4970.57/4972.80	c |   1093517 |    1698   269831  1187407 | 2147483647   561232     93 |  0.001 % |
4976.17/4978.45	c |   1094476 |    1698   269831  1187407 | 2147483647   562191     93 |  0.000 % |
4981.06/4983.39	c |   1095529 |    1698   269831  1187407 | 2147483647   563244     93 |  0.000 % |
4990.76/4993.04	c |   1096688 |    1698   269831  1187407 | 2147483647   564403     93 |  0.000 % |
4999.75/5002.03	c |   1097961 |    1698   269831  1187407 | 2147483647   565676     93 |  0.000 % |
5009.55/5011.86	c |   1099362 |    1698   269831  1187407 | 2147483647   567077     93 |  0.000 % |
5019.65/5021.97	c |   1100902 |    1698   269831  1187407 | 2147483647   568617     93 |  0.000 % |
5032.64/5034.99	c |   1102598 |    1698   269831  1187407 | 2147483647   570313     93 |  0.000 % |
5044.03/5046.32	c |   1104464 |    1698   269831  1187407 | 2147483647   572179     93 |  0.000 % |
5058.62/5060.92	c |   1106514 |    1698   269831  1187407 | 2147483647   574229     93 |  0.000 % |
5082.12/5084.45	c |   1108767 |    1698   269831  1187407 | 2147483647   576482     93 |  0.000 % |
5097.51/5099.88	c |   1111247 |    1698   269831  1187407 | 2147483647   578962     93 |  0.000 % |
5112.00/5114.33	c |   1113973 |    1698   269831  1187407 | 2147483647   581688     93 |  0.000 % |
5127.30/5129.68	c |   1116971 |    1698   269831  1187407 | 2147483647   584686     93 |  0.000 % |
5145.27/5147.66	c |   1120268 |    1698   269831  1187407 | 2147483647   587983     93 |  0.000 % |
5164.67/5167.04	c |   1123895 |    1698   269831  1187407 | 2147483647   591610     93 |  0.000 % |
5184.06/5186.48	c |   1127887 |    1698   269831  1187407 | 2147483647   595602     94 |  0.000 % |
5215.75/5218.11	c |   1132272 |    1698   269831  1187407 | 2147483647   599987     94 |  0.000 % |
5256.13/5258.59	c |   1137095 |    1698   269831  1187407 | 2147483647   604810     94 |  0.000 % |
5300.92/5303.31	c |   1142400 |    1698   269831  1187407 | 2147483647   610115     94 |  0.000 % |
5331.81/5334.22	c |   1148235 |    1698   269831  1187407 | 2147483647   615950     94 |  0.000 % |
5358.10/5360.52	c |   1154653 |    1698   269831  1187407 | 2147483647   622368     94 |  0.000 % |
5404.37/5406.86	c |   1161713 |    1698   269831  1187407 | 2147483647   629428     94 |  0.000 % |
5437.46/5439.95	c |   1169478 |    1698   269831  1187407 | 2147483647   637193     94 |  0.000 % |
5475.45/5477.91	c |   1178020 |    1698   269831  1187407 | 2147483647   645735     94 |  0.000 % |
5516.83/5519.35	c |   1187414 |    1698   269831  1187407 | 2147483647   655129     94 |  0.000 % |
5549.82/5552.40	c |   1197747 |    1698   269831  1187407 | 2147483647   665462     94 |  0.000 % |
5550.42/5552.97	c |   1197847 |    1698   269831  1187407 | 2147483647   665562     94 |  0.000 % |
5550.92/5553.44	c |   1197957 |    1698   269831  1187407 | 2147483647   665672     94 |  0.000 % |
5551.32/5553.88	c |   1198080 |    1698   269831  1187407 | 2147483647   665795     94 |  0.000 % |
5552.42/5554.92	c |   1198214 |    1698   269831  1187407 | 2147483647   665929     94 |  0.000 % |
5553.52/5556.05	c |   1198360 |    1698   269831  1187407 | 2147483647   666075     94 |  0.000 % |
5555.11/5557.65	c |   1198522 |    1698   269831  1187407 | 2147483647   666237     94 |  0.000 % |
5557.11/5559.64	c |   1198700 |    1698   269831  1187407 | 2147483647   666415     94 |  0.000 % |
5559.02/5561.59	c |   1198893 |    1698   269831  1187407 | 2147483647   666608     94 |  0.000 % |
5560.91/5563.45	c |   1199106 |    1698   269831  1187407 | 2147483647   666821     94 |  0.000 % |
5562.91/5565.42	c |   1199341 |    1698   269831  1187407 | 2147483647   667056     94 |  0.000 % |
5565.62/5568.14	c |   1199597 |    1698   269831  1187407 | 2147483647   667312     94 |  0.000 % |
5567.51/5570.06	c |   1199880 |    1698   269831  1187407 | 2147483647   667595     94 |  0.000 % |
5570.91/5573.45	c |   1200189 |    1698   269831  1187407 | 2147483647   667904     94 |  0.000 % |
5573.71/5576.25	c |   1200529 |    1698   269831  1187407 | 2147483647   668244     94 |  0.000 % |
5576.81/5579.34	c |   1200901 |    1698   269831  1187407 | 2147483647   668616     94 |  0.000 % |
5580.01/5582.50	c |   1201311 |    1698   269831  1187407 | 2147483647   669026     94 |  0.000 % |
5583.31/5585.89	c |   1201761 |    1698   269831  1187407 | 2147483647   669476     94 |  0.000 % |
5588.00/5590.57	c |   1202257 |    1698   269831  1187407 | 2147483647   669972     94 |  0.000 % |
5591.40/5593.96	c |   1202800 |    1698   269831  1187407 | 2147483647   670515     94 |  0.000 % |
5597.60/5600.12	c |   1203396 |    1698   269831  1187407 | 2147483647   671111     94 |  0.000 % |
5600.70/5603.26	c |   1204051 |    1698   269831  1187407 | 2147483647   671766     94 |  0.000 % |
5604.80/5607.37	c |   1204772 |    1698   269831  1187407 | 2147483647   672487     94 |  0.000 % |
5608.90/5611.45	c |   1205566 |    1698   269831  1187407 | 2147483647   673281     94 |  0.000 % |
5614.80/5617.30	c |   1206438 |    1698   269831  1187407 | 2147483647   674153     94 |  0.000 % |
5625.49/5628.07	c |   1207396 |    1698   269831  1187407 | 2147483647   675111     94 |  0.000 % |
5635.49/5638.04	c |   1208450 |    1698   269831  1187407 | 2147483647   676165     94 |  0.000 % |
5646.88/5649.48	c |   1209608 |    1698   269831  1187407 | 2147483647   677323     94 |  0.000 % |
5657.48/5660.00	c |   1210884 |    1698   269831  1187407 | 2147483647   678599     94 |  0.000 % |
5668.08/5670.68	c |   1212284 |    1698   269831  1187407 | 2147483647   679999     94 |  0.000 % |
5680.08/5682.70	c |   1213825 |    1698   269831  1187407 | 2147483647   681540     94 |  0.000 % |
5693.67/5696.21	c |   1215520 |    1698   269831  1187407 | 2147483647   683235     94 |  0.000 % |
5708.06/5710.62	c |   1217383 |    1698   269831  1187407 | 2147483647   685098     94 |  0.000 % |
5729.95/5732.56	c |   1219433 |    1698   269831  1187407 | 2147483647   687148     94 |  0.000 % |
5741.05/5743.62	c |   1221687 |    1698   269831  1187407 | 2147483647   689402     94 |  0.000 % |
5760.84/5763.43	c |   1224165 |    1698   269831  1187407 | 2147483647   691880     94 |  0.000 % |
5780.83/5783.49	c |   1226894 |    1698   269831  1187407 | 2147483647   694609     94 |  0.000 % |
5803.02/5805.64	c |   1229893 |    1698   269831  1187407 | 2147483647   697608     94 |  0.000 % |
5829.10/5831.77	c |   1233190 |    1698   269831  1187407 | 2147483647   700905     94 |  0.000 % |
5854.08/5856.77	c |   1236818 |    1698   269831  1187407 | 2147483647   704533     93 |  0.000 % |
5883.88/5886.53	c |   1240807 |    1698   269831  1187407 | 2147483647   708522     93 |  0.000 % |
5915.95/5918.67	c |   1245192 |    1698   269831  1187407 | 2147483647   712907     93 |  0.000 % |
5953.14/5955.81	c |   1250015 |    1698   269831  1187407 | 2147483647   717730     93 |  0.000 % |
6008.12/6010.88	c |   1255320 |    1698   269831  1187407 | 2147483647   723035     93 |  0.000 % |
6056.00/6058.76	c |   1261155 |    1698   269831  1187407 | 2147483647   728870     93 |  0.000 % |
6107.67/6110.44	c |   1267575 |    1698   269831  1187407 | 2147483647   735290     93 |  0.000 % |
6178.93/6181.75	c |   1274637 |    1698   269831  1187407 | 2147483647   742352     93 |  0.000 % |
6232.81/6235.61	c |   1282401 |    1698   269831  1187407 | 2147483647   750116     93 |  0.000 % |
6301.59/6304.42	c |   1290942 |    1698   269831  1187407 |   757715   661386     92 |  0.000 % |
6352.36/6355.28	c |   1300338 |    1698   269831  1187407 |   670445   670782     92 |  0.000 % |
6421.74/6424.66	c |   1310677 |    1698   269831  1187407 | 2147483647   593426     92 |  0.000 % |
6478.82/6481.78	c |   1322043 |    1698   269831  1187407 | 2147483647   604792     92 |  0.000 % |
6480.02/6482.96	c |   1322145 |    1698   269831  1187407 | 2147483647   604894     92 |  0.000 % |
6480.72/6483.66	c |   1322258 |    1698   269831  1187407 | 2147483647   605007     92 |  0.000 % |
6481.53/6484.47	c |   1322381 |    1698   269831  1187407 | 2147483647   605130     92 |  0.000 % |
6482.42/6485.31	c |   1322514 |    1698   269831  1187407 | 2147483647   605263     92 |  0.000 % |
6483.72/6486.64	c |   1322660 |    1698   269831  1187407 | 2147483647   605409     92 |  0.000 % |
6484.82/6487.78	c |   1322820 |    1698   269831  1187407 | 2147483647   605569     92 |  0.000 % |
6486.51/6489.47	c |   1322999 |    1698   269831  1187407 | 2147483647   605748     92 |  0.000 % |
6488.01/6490.91	c |   1323193 |    1698   269831  1187407 | 2147483647   605942     92 |  0.000 % |
6489.11/6492.00	c |   1323406 |    1698   269831  1187407 | 2147483647   606155     92 |  0.000 % |
6490.51/6493.41	c |   1323640 |    1698   269831  1187407 | 2147483647   606389     92 |  0.000 % |
6492.62/6495.53	c |   1323900 |    1698   269831  1187407 | 2147483647   606649     92 |  0.000 % |
6494.82/6497.76	c |   1324181 |    1698   269831  1187407 | 2147483647   606930     92 |  0.000 % |
6497.41/6500.36	c |   1324490 |    1698   269831  1187407 | 2147483647   607239     92 |  0.000 % |
6500.21/6503.18	c |   1324829 |    1698   269831  1187407 | 2147483647   607578     92 |  0.000 % |
6502.41/6505.31	c |   1325202 |    1698   269831  1187407 | 2147483647   607951     92 |  0.000 % |
6505.31/6508.28	c |   1325611 |    1698   269831  1187407 | 2147483647   608360     92 |  0.000 % |
6508.81/6511.76	c |   1326064 |    1698   269831  1187407 | 2147483647   608813     92 |  0.000 % |
6512.91/6515.81	c |   1326558 |    1698   269831  1187407 | 2147483647   609307     92 |  0.000 % |
6515.01/6517.92	c |   1327100 |    1698   269831  1187407 | 2147483647   609849     92 |  0.000 % |
6519.11/6522.05	c |   1327697 |    1698   269831  1187407 | 2147483647   610446     92 |  0.000 % |
6522.21/6525.19	c |   1328352 |    1698   269831  1187407 | 2147483647   611101     92 |  0.000 % |
6529.50/6532.40	c |   1329073 |    1698   269831  1187407 | 2147483647   611822     92 |  0.000 % |
6536.30/6539.27	c |   1329866 |    1698   269831  1187407 | 2147483647   612615     92 |  0.000 % |
6543.29/6546.20	c |   1330737 |    1698   269831  1187407 | 2147483647   613486     92 |  0.000 % |
6550.39/6553.35	c |   1331695 |    1698   269831  1187407 | 2147483647   614444     92 |  0.000 % |
6559.19/6562.18	c |   1332750 |    1698   269831  1187407 | 2147483647   615499     92 |  0.000 % |
6563.79/6566.79	c |   1333908 |    1698   269831  1187407 | 2147483647   616657     92 |  0.000 % |
6569.19/6572.18	c |   1335181 |    1698   269831  1187407 | 2147483647   617930     92 |  0.000 % |
6576.98/6579.96	c |   1336581 |    1698   269831  1187407 | 2147483647   619330     92 |  0.000 % |
6587.18/6590.13	c |   1338122 |    1698   269831  1187407 | 2147483647   620871     92 |  0.000 % |
6598.67/6601.64	c |   1339816 |    1698   269831  1187407 | 2147483647   622565     92 |  0.000 % |
6611.06/6614.03	c |   1341679 |    1698   269831  1187407 | 2147483647   624428     92 |  0.000 % |
6624.36/6627.33	c |   1343728 |    1698   269831  1187407 | 2147483647   626477     92 |  0.000 % |
6638.95/6641.91	c |   1345984 |    1698   269831  1187407 | 2147483647   628733     92 |  0.000 % |
6649.55/6652.52	c |   1348462 |    1698   269831  1187407 | 2147483647   631211     92 |  0.000 % |
6665.84/6668.84	c |   1351187 |    1698   269831  1187407 | 2147483647   633936     92 |  0.000 % |
6684.33/6687.38	c |   1354184 |    1698   269831  1187407 | 2147483647   636933     92 |  0.000 % |
6703.63/6706.65	c |   1357480 |    1698   269831  1187407 | 2147483647   640229     92 |  0.000 % |
6724.42/6727.41	c |   1361106 |    1698   269831  1187407 | 2147483647   643855     92 |  0.000 % |
6740.41/6743.44	c |   1365096 |    1698   269831  1187407 | 2147483647   647845     92 |  0.000 % |
6771.50/6774.51	c |   1369485 |    1698   269831  1187407 | 2147483647   652234     92 |  0.000 % |
6799.09/6802.15	c |   1374308 |    1698   269831  1187407 | 2147483647   657057     92 |  0.000 % |
6820.88/6823.99	c |   1379614 |    1698   269831  1187407 | 2147483647   662363     92 |  0.000 % |
6861.16/6864.30	c |   1385450 |    1698   269831  1187407 | 2147483647   668199     92 |  0.000 % |
6895.55/6898.69	c |   1391870 |    1698   269831  1187407 | 2147483647   674619     92 |  0.000 % |
6923.34/6926.49	c |   1398929 |    1698   269831  1187407 | 2147483647   681678     92 |  0.000 % |
6979.01/6982.11	c |   1406698 |    1698   269831  1187407 | 2147483647   689447     92 |  0.000 % |
7033.61/7036.78	c |   1415238 |    1698   269831  1187407 | 2147483647   697987     91 |  0.000 % |
7084.89/7088.00	c |   1424634 |    1698   269831  1187407 | 2147483647   707383     91 |  0.000 % |
7140.06/7143.22	c |   1434967 |    1698   269831  1187407 | 2147483647   717716     91 |  0.000 % |
7207.54/7210.75	c |   1446336 |    1698   269831  1187407 | 2147483647   729085     90 |  0.000 % |
7272.61/7275.80	c |   1458838 |    1698   269831  1187407 | 2147483647   741587     90 |  0.000 % |
7273.01/7276.24	c |   1458938 |    1698   269831  1187407 | 2147483647   741687     90 |  0.000 % |
7273.51/7276.79	c |   1459051 |    1698   269831  1187407 | 2147483647   741800     90 |  0.000 % |
7274.81/7278.05	c |   1459172 |    1698   269831  1187407 | 2147483647   741921     90 |  0.000 % |
7276.11/7279.33	c |   1459306 |    1698   269831  1187407 | 2147483647   742055     90 |  0.000 % |
7277.51/7280.79	c |   1459452 |    1698   269831  1187407 | 2147483647   742201     90 |  0.000 % |
7279.11/7282.30	c |   1459614 |    1698   269831  1187407 | 2147483647   742363     90 |  0.000 % |
7280.71/7283.90	c |   1459790 |    1698   269831  1187407 | 2147483647   742539     90 |  0.000 % |
7282.11/7285.33	c |   1459983 |    1698   269831  1187407 | 2147483647   742732     90 |  0.000 % |
7283.71/7287.00	c |   1460195 |    1698   269831  1187407 | 2147483647   742944     90 |  0.000 % |
7285.61/7288.80	c |   1460428 |    1698   269831  1187407 | 2147483647   743177     90 |  0.000 % |
7288.00/7291.20	c |   1460684 |    1698   269831  1187407 | 2147483647   743433     90 |  0.000 % |
7290.50/7293.79	c |   1460965 |    1698   269831  1187407 | 2147483647   743714     90 |  0.000 % |
7293.30/7296.60	c |   1461275 |    1698   269831  1187407 | 2147483647   744024     90 |  0.000 % |
7296.30/7299.54	c |   1461614 |    1698   269831  1187407 | 2147483647   744363     90 |  0.000 % |
7298.20/7301.46	c |   1461987 |    1698   269831  1187407 | 2147483647   744736     90 |  0.000 % |
7302.00/7305.21	c |   1462398 |    1698   269831  1187407 | 2147483647   745147     90 |  0.000 % |
7304.39/7307.67	c |   1462847 |    1698   269831  1187407 | 2147483647   745596     90 |  0.000 % |
7308.29/7311.53	c |   1463340 |    1698   269831  1187407 | 2147483647   746089     90 |  0.000 % |
7311.09/7314.39	c |   1463882 |    1698   269831  1187407 | 2147483647   746631     90 |  0.000 % |
7315.89/7319.16	c |   1464478 |    1698   269831  1187407 | 2147483647   747227     90 |  0.000 % |
7321.19/7324.46	c |   1465135 |    1698   269831  1187407 | 2147483647   747884     90 |  0.000 % |
7327.79/7331.08	c |   1465855 |    1698   269831  1187407 | 2147483647   748604     90 |  0.000 % |
7334.58/7337.88	c |   1466647 |    1698   269831  1187407 | 2147483647   749396     90 |  0.000 % |
7341.77/7345.08	c |   1467518 |    1698   269831  1187407 | 2147483647   750267     90 |  0.000 % |
7349.37/7352.62	c |   1468476 |    1698   269831  1187407 | 2147483647   751225     90 |  0.000 % |
7357.57/7360.86	c |   1469530 |    1698   269831  1187407 | 2147483647   752279     90 |  0.000 % |
7368.06/7371.37	c |   1470691 |    1698   269831  1187407 | 2147483647   753440     90 |  0.000 % |
7377.36/7380.61	c |   1471967 |    1698   269831  1187407 | 2147483647   754716     90 |  0.000 % |
7386.75/7390.06	c |   1473367 |    1698   269831  1187407 | 2147483647   756116     90 |  0.000 % |
7394.95/7398.27	c |   1474907 |    1698   269831  1187407 | 2147483647   757656     90 |  0.000 % |
7407.75/7411.02	c |   1476602 |    1698   269831  1187407 | 2147483647   759351     90 |  0.000 % |
7417.35/7420.68	c |   1478467 |    1698   269831  1187407 | 2147483647   761216     90 |  0.000 % |
7429.64/7432.95	c |   1480520 |    1698   269831  1187407 |   762749   763269     90 |  0.000 % |
7452.43/7455.79	c |   1482773 |    1698   269831  1187407 |   762749   679038     90 |  0.000 % |
7467.62/7470.97	c |   1485253 |    1698   269831  1187407 |   762749   681518     90 |  0.000 % |
7490.61/7493.99	c |   1487979 |    1698   269831  1187407 |   762749   684244     90 |  0.000 % |
7517.60/7520.95	c |   1490976 |    1698   269831  1187407 | 2147483647   687241     90 |  0.000 % |
7531.00/7534.33	c |   1494272 |    1698   269831  1187407 | 2147483647   690537     90 |  0.000 % |
7560.20/7563.52	c |   1497897 |    1698   269831  1187407 | 2147483647   694162     90 |  0.000 % |
7589.46/7592.82	c |   1501886 |    1698   269831  1187407 | 2147483647   698151     90 |  0.000 % |
7623.23/7626.62	c |   1506271 |    1698   269831  1187407 | 2147483647   702536     90 |  0.000 % |
7655.22/7658.69	c |   1511094 |    1698   269831  1187407 | 2147483647   707359     89 |  0.000 % |
7700.21/7703.63	c |   1516401 |    1698   269831  1187407 | 2147483647   712666     90 |  0.000 % |
7743.49/7746.96	c |   1522237 |    1698   269831  1187407 | 2147483647   718502     90 |  0.000 % |
7775.38/7778.87	c |   1528656 |    1698   269831  1187407 | 2147483647   724921     90 |  0.000 % |
7805.97/7809.47	c |   1535716 |    1698   269831  1187407 | 2147483647   731981     90 |  0.000 % |
7841.35/7844.83	c |   1543480 |    1698   269831  1187407 | 2147483647   739745     90 |  0.000 % |
7895.33/7898.89	c |   1552020 |    1698   269831  1187407 |   746265   654804     89 |  0.000 % |
7947.01/7950.52	c |   1561414 |    1698   269831  1187407 | 2147483647   664198     89 |  0.000 % |
7990.20/7993.71	c |   1571750 |    1698   269831  1187407 | 2147483647   674534     89 |  0.000 % |
8046.37/8049.93	c |   1583118 |    1698   269831  1187407 |   682784   599436     89 |  0.000 % |
8094.45/8098.05	c |   1595620 |    1698   269831  1187407 |   606318   473238     88 |  0.000 % |
8165.22/8168.83	c |   1609372 |    1698   269831  1187407 | 2147483647   486990     88 |  0.000 % |
8165.92/8169.53	c |   1609472 |    1698   269831  1187407 | 2147483647   487090     88 |  0.000 % |
8166.52/8170.18	c |   1609582 |    1698   269831  1187407 | 2147483647   487200     88 |  0.000 % |
8167.52/8171.14	c |   1609703 |    1698   269831  1187407 | 2147483647   487321     88 |  0.000 % |
8168.72/8172.31	c |   1609836 |    1698   269831  1187407 | 2147483647   487454     88 |  0.000 % |
8169.32/8173.00	c |   1609984 |    1698   269831  1187407 | 2147483647   487602     88 |  0.000 % |
8170.22/8173.85	c |   1610144 |    1698   269831  1187407 | 2147483647   487762     88 |  0.000 % |
8171.32/8174.91	c |   1610320 |    1698   269831  1187407 | 2147483647   487938     88 |  0.000 % |
8172.72/8176.39	c |   1610515 |    1698   269831  1187407 | 2147483647   488133     88 |  0.000 % |
8174.32/8177.99	c |   1610727 |    1698   269831  1187407 | 2147483647   488345     88 |  0.000 % |
8176.22/8179.85	c |   1610961 |    1698   269831  1187407 | 2147483647   488579     88 |  0.000 % |
8178.02/8181.62	c |   1611217 |    1698   269831  1187407 | 2147483647   488835     88 |  0.000 % |
8179.12/8182.80	c |   1611498 |    1698   269831  1187407 | 2147483647   489116     88 |  0.000 % |
8181.01/8184.62	c |   1611807 |    1698   269831  1187407 | 2147483647   489425     88 |  0.000 % |
8182.52/8186.13	c |   1612148 |    1698   269831  1187407 | 2147483647   489766     88 |  0.000 % |
8184.51/8188.19	c |   1612520 |    1698   269831  1187407 | 2147483647   490138     88 |  0.000 % |
8186.01/8189.63	c |   1612929 |    1698   269831  1187407 | 2147483647   490547     88 |  0.000 % |
8188.61/8192.26	c |   1613378 |    1698   269831  1187407 | 2147483647   490996     88 |  0.000 % |
8190.81/8194.45	c |   1613871 |    1698   269831  1187407 | 2147483647   491489     88 |  0.000 % |
8194.41/8198.04	c |   1614416 |    1698   269831  1187407 | 2147483647   492034     88 |  0.000 % |
8197.11/8200.76	c |   1615012 |    1698   269831  1187407 | 2147483647   492630     88 |  0.000 % |
8201.00/8204.70	c |   1615670 |    1698   269831  1187407 | 2147483647   493288     88 |  0.000 % |
8206.50/8210.17	c |   1616390 |    1698   269831  1187407 | 2147483647   494008     88 |  0.000 % |
8210.80/8214.45	c |   1617182 |    1698   269831  1187407 | 2147483647   494800     88 |  0.000 % |
8214.70/8218.38	c |   1618053 |    1698   269831  1187407 | 2147483647   495671     88 |  0.000 % |
8220.90/8224.59	c |   1619012 |    1698   269831  1187407 | 2147483647   496630     88 |  0.000 % |
8228.40/8232.04	c |   1620067 |    1698   269831  1187407 | 2147483647   497685     88 |  0.000 % |
8236.19/8239.89	c |   1621225 |    1698   269831  1187407 | 2147483647   498843     89 |  0.000 % |
8243.09/8246.71	c |   1622499 |    1698   269831  1187407 | 2147483647   500117     89 |  0.000 % |
8249.59/8253.21	c |   1623901 |    1698   269831  1187407 | 2147483647   501519     89 |  0.000 % |
8258.39/8262.07	c |   1625441 |    1698   269831  1187407 | 2147483647   503059     89 |  0.000 % |
8266.78/8270.46	c |   1627136 |    1698   269831  1187407 | 2147483647   504754     89 |  0.000 % |
8280.17/8283.85	c |   1629000 |    1698   269831  1187407 | 2147483647   506618     89 |  0.000 % |
8290.57/8294.21	c |   1631051 |    1698   269831  1187407 | 2147483647   508669     89 |  0.000 % |
8304.96/8308.63	c |   1633304 |    1698   269831  1187407 | 2147483647   510922     89 |  0.000 % |
8317.26/8320.99	c |   1635782 |    1698   269831  1187407 | 2147483647   513400     89 |  0.000 % |
8332.95/8336.63	c |   1638509 |    1698   269831  1187407 | 2147483647   516127     89 |  0.000 % |
8354.34/8358.06	c |   1641508 |    1698   269831  1187407 | 2147483647   519126     89 |  0.000 % |
8373.03/8376.71	c |   1644804 |    1698   269831  1187407 | 2147483647   522422     89 |  0.000 % |
8386.33/8390.00	c |   1648429 |    1698   269831  1187407 | 2147483647   526047     90 |  0.000 % |
8416.93/8420.66	c |   1652416 |    1698   269831  1187407 | 2147483647   530034     90 |  0.000 % |
8446.62/8450.35	c |   1656801 |    1698   269831  1187407 | 2147483647   534419     90 |  0.000 % |
8479.91/8483.69	c |   1661625 |    1698   269831  1187407 | 2147483647   539243     89 |  0.000 % |
8509.70/8513.49	c |   1666930 |    1698   269831  1187407 | 2147483647   544548     89 |  0.000 % |
8541.89/8545.63	c |   1672766 |    1698   269831  1187407 | 2147483647   550384     89 |  0.000 % |
8578.17/8581.98	c |   1679186 |    1698   269831  1187407 | 2147483647   556804     89 |  0.000 % |
8614.76/8618.57	c |   1686245 |    1698   269831  1187407 | 2147483647   563863     88 |  0.000 % |
8663.23/8667.04	c |   1694017 |    1698   269831  1187407 | 2147483647   571635     88 |  0.000 % |
8716.21/8720.09	c |   1702559 |    1698   269831  1187407 | 2147483647   580177     88 |  0.000 % |
8779.97/8783.80	c |   1711955 |    1698   269831  1187407 | 2147483647   589573     89 |  0.000 % |
8845.34/8849.29	c |   1722288 |    1698   269831  1187407 | 2147483647   599906     89 |  0.000 % |
8927.51/8931.43	c |   1733654 |    1698   269831  1187407 | 2147483647   611272     89 |  0.000 % |
9004.57/9008.50	c |   1746157 |    1698   269831  1187407 | 2147483647   623775     89 |  0.000 % |
9063.05/9067.01	c |   1759910 |    1698   269831  1187407 | 2147483647   637528     89 |  0.000 % |
9133.33/9137.36	c |   1775040 |    1698   269831  1187407 |   647618   506392     92 |  0.000 % |
9134.13/9138.18	c |   1775141 |    1698   269831  1187407 |   647618   506493     92 |  0.000 % |
9135.03/9139.00	c |   1775251 |    1698   269831  1187407 |   647618   506603     92 |  0.000 % |
9135.73/9139.74	c |   1775374 |    1698   269831  1187407 |   647618   506726     92 |  0.000 % |
9136.53/9140.54	c |   1775509 |    1698   269831  1187407 |   647618   506861     92 |  0.000 % |
9137.52/9141.53	c |   1775655 |    1698   269831  1187407 |   647618   507007     92 |  0.000 % |
9138.72/9142.72	c |   1775816 |    1698   269831  1187407 |   647618   507168     92 |  0.000 % |
9139.61/9143.65	c |   1775992 |    1698   269831  1187407 |   647618   507344     92 |  0.000 % |
9140.81/9144.88	c |   1776186 |    1698   269831  1187407 |   647618   507538     92 |  0.000 % |
9142.61/9146.65	c |   1776401 |    1698   269831  1187407 |   647618   507753     92 |  0.000 % |
9144.41/9148.46	c |   1776634 |    1698   269831  1187407 |   647618   507986     92 |  0.000 % |
9146.11/9150.15	c |   1776890 |    1698   269831  1187407 |   647618   508242     92 |  0.000 % |
9148.01/9152.05	c |   1777171 |    1698   269831  1187407 |   647618   508523     92 |  0.000 % |
9150.01/9154.03	c |   1777480 |    1698   269831  1187407 |   647618   508832     92 |  0.000 % |
9152.11/9156.16	c |   1777821 |    1698   269831  1187407 |   647618   509173     92 |  0.000 % |
9154.70/9158.76	c |   1778193 |    1698   269831  1187407 |   647618   509545     92 |  0.000 % |
9157.30/9161.32	c |   1778602 |    1698   269831  1187407 |   647618   509954     92 |  0.000 % |
9159.50/9163.51	c |   1779052 |    1698   269831  1187407 |   647618   510404     92 |  0.000 % |
9163.10/9167.12	c |   1779549 |    1698   269831  1187407 |   647618   510901     92 |  0.000 % |
9167.00/9171.06	c |   1780095 |    1698   269831  1187407 | 2147483647   511447     92 |  0.000 % |
9170.50/9174.51	c |   1780692 |    1698   269831  1187407 | 2147483647   512044     92 |  0.000 % |
9173.70/9177.78	c |   1781347 |    1698   269831  1187407 | 2147483647   512699     92 |  0.000 % |
9177.40/9181.46	c |   1782067 |    1698   269831  1187407 | 2147483647   513419     92 |  0.000 % |
9180.70/9184.78	c |   1782860 |    1698   269831  1187407 | 2147483647   514212     92 |  0.000 % |
9183.89/9187.94	c |   1783731 |    1698   269831  1187407 | 2147483647   515083     92 |  0.000 % |
9187.29/9191.38	c |   1784692 |    1698   269831  1187407 | 2147483647   516044     92 |  0.000 % |
9194.09/9198.18	c |   1785747 |    1698   269831  1187407 | 2147483647   517099     92 |  0.000 % |
9201.49/9205.51	c |   1786905 |    1698   269831  1187407 | 2147483647   518257     92 |  0.000 % |
9209.88/9213.95	c |   1788178 |    1698   269831  1187407 | 2147483647   519530     92 |  0.000 % |
9220.08/9224.18	c |   1789578 |    1698   269831  1187407 | 2147483647   520930     92 |  0.000 % |
9224.78/9228.80	c |   1791118 |    1698   269831  1187407 | 2147483647   522470     92 |  0.000 % |
9238.18/9242.24	c |   1792814 |    1698   269831  1187407 | 2147483647   524166     92 |  0.000 % |
9249.07/9253.17	c |   1794680 |    1698   269831  1187407 | 2147483647   526032     92 |  0.000 % |
9262.77/9266.84	c |   1796729 |    1698   269831  1187407 | 2147483647   528081     92 |  0.000 % |
9277.26/9281.32	c |   1798982 |    1698   269831  1187407 | 2147483647   530334     92 |  0.000 % |
9289.35/9293.42	c |   1801460 |    1698   269831  1187407 | 2147483647   532812     92 |  0.000 % |
9300.45/9304.57	c |   1804189 |    1698   269831  1187407 | 2147483647   535541     92 |  0.000 % |
9317.74/9321.87	c |   1807186 |    1698   269831  1187407 | 2147483647   538538     92 |  0.000 % |
9338.94/9343.07	c |   1810482 |    1698   269831  1187407 | 2147483647   541834     92 |  0.000 % |
9357.43/9361.51	c |   1814108 |    1698   269831  1187407 | 2147483647   545460     92 |  0.000 % |
9380.92/9385.00	c |   1818100 |    1698   269831  1187407 | 2147483647   549452     92 |  0.000 % |
9402.91/9407.05	c |   1822485 |    1698   269831  1187407 | 2147483647   553837     92 |  0.000 % |
9428.70/9432.84	c |   1827310 |    1698   269831  1187407 | 2147483647   558662     92 |  0.000 % |
9458.89/9463.05	c |   1832616 |    1698   269831  1187407 | 2147483647   563968     92 |  0.000 % |
9488.09/9492.21	c |   1838452 |    1698   269831  1187407 | 2147483647   569804     92 |  0.000 % |
9527.47/9531.64	c |   1844871 |    1698   269831  1187407 | 2147483647   576223     92 |  0.000 % |
9567.35/9571.54	c |   1851931 |    1698   269831  1187407 | 2147483647   583283     92 |  0.000 % |
9616.83/9621.06	c |   1859695 |    1698   269831  1187407 | 2147483647   591047     92 |  0.000 % |
9666.31/9670.60	c |   1868235 |    1698   269831  1187407 | 2147483647   599587     91 |  0.001 % |
9721.99/9726.26	c |   1877629 |    1698   269831  1187407 | 2147483647   608981     91 |  0.000 % |
9785.07/9789.35	c |   1887963 |    1698   269831  1187407 | 2147483647   619315     90 |  0.000 % |
9848.46/9852.78	c |   1899330 |    1698   269831  1187407 | 2147483647   630682     89 |  0.000 % |
9910.73/9915.01	c |   1911832 |    1698   269831  1187407 | 2147483647   643184     88 |  0.000 % |
9985.70/9990.06	c |   1925584 |    1698   269831  1187407 | 2147483647   656936     87 |  0.000 % |

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-1837538-1242877049/watcher-1837538-1242877049 -o /tmp/evaluation-result-1837538-1242877049/solver-1837538-1242877049 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837538-1242877049.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.85 0.97 0.97 3/64 27713
/proc/meminfo: memFree=1690544/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) R 27711 27713 27676 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0

[startup+0.00989691 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 27713
/proc/meminfo: memFree=1690544/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101902 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 27713
/proc/meminfo: memFree=1690544/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30193 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 27713
/proc/meminfo: memFree=1690544/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701969 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 27713
/proc/meminfo: memFree=1690544/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50103 s]
/proc/loadavg: 0.86 0.97 0.97 2/66 27718
/proc/meminfo: memFree=1666208/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
[pid=27717] ppid=27713 vsize=30540 CPUtime=1.47
/proc/27717/stat : 27717 (SatELite_releas) R 27713 27713 27676 0 -1 4194304 6785 0 0 0 143 4 0 0 25 0 1 0 315732312 31272960 6771 1992294400 134512640 135223648 4294956128 18446744073709551615 134585524 0 0 4096 3 0 0 0 17 0 0 0
/proc/27717/statm: 7635 6771 76 173 0 7460 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35896

[startup+3.10117 s]
/proc/loadavg: 0.86 0.97 0.97 2/66 27718
/proc/meminfo: memFree=1661920/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=0
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315732311 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27713/statm: 1339 237 197 169 0 50 0
[pid=27717] ppid=27713 vsize=30540 CPUtime=3.07
/proc/27717/stat : 27717 (SatELite_releas) R 27713 27713 27676 0 -1 4194304 6785 0 0 0 303 4 0 0 25 0 1 0 315732312 31272960 6771 1992294400 134512640 135223648 4294956128 18446744073709551615 134585507 0 0 4096 3 0 0 0 17 0 0 0
/proc/27717/statm: 7635 6771 76 173 0 7460 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 35896

[startup+6.30248 s]
/proc/loadavg: 0.86 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1667824/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=16388 CPUtime=2.2
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 3944 0 0 0 218 2 0 0 25 0 1 0 315732719 16781312 3930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/27719/statm: 4097 3930 77 171 0 3924 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21744

[startup+12.701 s]
/proc/loadavg: 0.88 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1664704/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=19308 CPUtime=8.59
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 4692 0 0 0 856 3 0 0 25 0 1 0 315732719 19771392 4678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 4827 4678 77 171 0 4654 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 24664

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1658880/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=25160 CPUtime=21.37
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 6145 0 0 0 2131 6 0 0 25 0 1 0 315732719 25763840 6131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 6290 6131 77 171 0 6117 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 30516

[startup+51.1025 s]
/proc/loadavg: 0.93 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1649728/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=34424 CPUtime=46.94
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 8441 0 0 0 4685 9 0 0 25 0 1 0 315732719 35250176 8427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 8606 8427 77 171 0 8433 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 39780

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1636480/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=47456 CPUtime=98.12
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 11695 0 0 0 9799 13 0 0 25 0 1 0 315732719 48594944 11681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 11864 11681 77 171 0 11691 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 52812

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1623296/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=60896 CPUtime=158.08
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 15011 0 0 0 15791 17 0 0 25 0 1 0 315732719 62357504 14997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 15224 14997 77 171 0 15051 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 66252

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1612096/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=72112 CPUtime=218.05
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 17755 0 0 0 21785 20 0 0 25 0 1 0 315732719 73842688 17741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 18028 17741 77 171 0 17855 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 77468

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 27719
/proc/meminfo: memFree=1602240/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=82116 CPUtime=278.01
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 20274 0 0 0 27779 22 0 0 25 0 1 0 315732719 84086784 20260 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 20529 20260 77 171 0 20356 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 87472

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 27721
/proc/meminfo: memFree=1593792/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=90376 CPUtime=337.98
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 22340 0 0 0 33774 24 0 0 25 0 1 0 315732719 92545024 22326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 22594 22326 77 171 0 22421 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 95732

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 27721
/proc/meminfo: memFree=1584896/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=99628 CPUtime=397.96
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 24553 0 0 0 39770 26 0 0 25 0 1 0 315732719 102019072 24539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 24907 24539 77 171 0 24734 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 104984

[startup+462.302 s]

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

/proc/27719/statm: 87019 85690 77 171 0 86846 0
Current children cumulated CPU time (s) 9398.22
Current children cumulated vsize (KiB) 353432

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334976/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348076 CPUtime=9454.14
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85704 0 0 0 945314 100 0 0 25 0 1 0 315732719 356429824 85690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87019 85690 77 171 0 86846 0
Current children cumulated CPU time (s) 9458.19
Current children cumulated vsize (KiB) 353432

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334976/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348076 CPUtime=9514.12
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85707 0 0 0 951312 100 0 0 25 0 1 0 315732719 356429824 85693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87019 85693 77 171 0 86846 0
Current children cumulated CPU time (s) 9518.17
Current children cumulated vsize (KiB) 353432

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334912/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348240 CPUtime=9574.1
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85741 0 0 0 957310 100 0 0 25 0 1 0 315732719 356597760 85727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87060 85727 77 171 0 86887 0
Current children cumulated CPU time (s) 9578.15
Current children cumulated vsize (KiB) 353596

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334848/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348240 CPUtime=9634.07
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85744 0 0 0 963307 100 0 0 25 0 1 0 315732719 356597760 85730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87060 85730 77 171 0 86887 0
Current children cumulated CPU time (s) 9638.12
Current children cumulated vsize (KiB) 353596

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334656/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348240 CPUtime=9694.05
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85748 0 0 0 969305 100 0 0 25 0 1 0 315732719 356597760 85734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87060 85734 77 171 0 86887 0
Current children cumulated CPU time (s) 9698.1
Current children cumulated vsize (KiB) 353596

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334656/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348320 CPUtime=9754.03
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85752 0 0 0 975303 100 0 0 25 0 1 0 315732719 356679680 85738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87080 85738 77 171 0 86907 0
Current children cumulated CPU time (s) 9758.08
Current children cumulated vsize (KiB) 353676

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334656/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348320 CPUtime=9814
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85754 0 0 0 981300 100 0 0 25 0 1 0 315732719 356679680 85740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87080 85740 77 171 0 86907 0
Current children cumulated CPU time (s) 9818.05
Current children cumulated vsize (KiB) 353676

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334592/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348484 CPUtime=9874
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85786 0 0 0 987299 101 0 0 25 0 1 0 315732719 356847616 85772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87121 85772 77 171 0 86948 0
Current children cumulated CPU time (s) 9878.05
Current children cumulated vsize (KiB) 353840

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334400/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348648 CPUtime=9933.97
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85824 0 0 0 993296 101 0 0 25 0 1 0 315732719 357015552 85810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87162 85810 77 171 0 86989 0
Current children cumulated CPU time (s) 9938.02
Current children cumulated vsize (KiB) 354004

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334400/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348648 CPUtime=9993.95
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85827 0 0 0 999294 101 0 0 25 0 1 0 315732719 357015552 85813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87162 85813 77 171 0 86989 0
Current children cumulated CPU time (s) 9998
Current children cumulated vsize (KiB) 354004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10004.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334400/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348648 CPUtime=9995.95
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85828 0 0 0 999494 101 0 0 25 0 1 0 315732719 357015552 85814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87162 85814 77 171 0 86989 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 354004

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

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

[startup+10004.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27743
/proc/meminfo: memFree=1334400/2055920 swapFree=4159360/4192956
[pid=27713] ppid=27711 vsize=5356 CPUtime=4.05
/proc/27713/stat : 27713 (SatELiteGTI) S 27711 27713 27676 0 -1 4194304 336 7037 0 0 0 0 398 7 16 0 1 0 315732311 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27713/statm: 1339 239 197 169 0 50 0
[pid=27719] ppid=27713 vsize=348648 CPUtime=9995.95
/proc/27719/stat : 27719 (minisat_static) R 27713 27713 27676 0 -1 4194304 85828 0 0 0 999494 101 0 0 25 0 1 0 315732719 357015552 85814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27719/statm: 87162 85814 77 171 0 86989 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 354004

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27713 and gives
#  childrusage.ru_utime.tv_sec=3
#  childrusage.ru_utime.tv_usec=988393
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=73988
# CPU time returned by wait4() is 4.06238
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10004.3
CPU time (s): 10000
CPU user time (s): 9998.92
CPU system time (s): 1.08
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 354004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.98839
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7373
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= 26

runsolver used 10.5294 second user time and 26.037 second system time

The end

Launcher Data

Begin job on node55 at 2009-05-21 05:37:29
IDJOB=1837538
IDBENCH=71088
IDSOLVER=674
FILE ID=node55/1837538-1242877049
PBS_JOBID= 9328644
Free space on /tmp= 66152 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837538-1242877049/watcher-1837538-1242877049 -o /tmp/evaluation-result-1837538-1242877049/solver-1837538-1242877049 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837538-1242877049.cnf

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

MD5SUM BENCH= d4e16a803f6cd0903a2bd3e7157287b3
RANDOM SEED=2043692722

node55.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.240
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.240
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:       1691024 kB
Buffers:         44668 kB
Cached:         246152 kB
SwapCached:      27828 kB
Active:         112276 kB
Inactive:       207928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691024 kB
SwapTotal:     4192956 kB
SwapFree:      4159360 kB
Dirty:            6164 kB
Writeback:           0 kB
Mapped:          15476 kB
Slab:            30776 kB
Committed_AS:   954464 kB
PageTables:       1368 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= 66140 MiB
End job on node55 at 2009-05-21 08:24:16