Trace number 1837522

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.1 10002.8

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
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 variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data

0.00/0.00	c Parsing...
0.00/0.09	c ==============================================================================
0.00/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.09	c ==============================================================================
0.00/0.09	c |         0 |  144294   429916 |   43288       0        0     nan |  0.000 % |
1.38/1.42	c |         0 |  143366   620643 |      --       0       --      -- |     --   | -928/190727
1.38/1.42	c ==============================================================================
1.38/1.42	c Result  :   #vars: 1298   #clauses: 143366   #literals: 620643
1.38/1.42	c CPU time:   1.39179 s
1.38/1.42	c ==============================================================================
1.59/1.61	c This is MiniSat 2.0 beta
1.59/1.61	c WARNING: for repeatability, setting FPU to use double precision
1.59/1.61	c ============================[ Problem Statistics ]=============================
1.59/1.61	c |                                                                             |
1.59/1.61	c |  Number of variables:  1298                                                 |
1.59/1.61	c |  Number of clauses:    143366                                               |
1.59/1.69	c |  Parsing time:         0.07         s                                       |
1.59/1.69	c ============================[ Search Statistics ]==============================
1.59/1.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.69	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.59/1.69	c ===============================================================================
1.59/1.69	c |         0 |    1298   143366   620643 |    47788        0    nan |  0.000 % |
1.59/1.73	c |       101 |    1298   143366   620643 |    47788      101     61 |  0.000 % |
1.59/1.76	c |       201 |    1298   143366   620643 |    47788      201     74 |  0.000 % |
1.59/1.78	c |       301 |    1298   143366   620643 |    47788      301     75 |  0.000 % |
1.59/1.82	c |       413 |    1298   143366   620643 |    47788      413     78 |  0.000 % |
1.59/1.85	c |       513 |    1298   143366   620643 |    47788      513     79 |  0.000 % |
1.59/1.89	c |       623 |    1298   143366   620643 |    47788      623     79 |  0.000 % |
1.59/1.92	c |       744 |    1298   143366   620643 |    47788      744     80 |  0.000 % |
1.59/1.95	c |       844 |    1298   143366   620643 |    47788      844     81 |  0.000 % |
1.59/1.99	c |       956 |    1298   143366   620643 |    47788      956     81 |  0.000 % |
1.59/2.04	c |      1078 |    1298   143366   620643 |    47788     1078     82 |  0.000 % |
1.59/2.07	c |      1212 |    1298   143366   620643 |    47788     1212     81 |  0.000 % |
2.07/2.11	c |      1312 |    1298   143366   620643 |    47788     1312     82 |  0.000 % |
2.07/2.14	c |      1422 |    1298   143366   620643 |    47788     1422     83 |  0.000 % |
2.07/2.18	c |      1544 |    1298   143366   620643 |    47788     1544     85 |  0.000 % |
2.17/2.22	c |      1677 |    1298   143366   620643 |    47788     1677     85 |  0.000 % |
2.17/2.27	c |      1823 |    1298   143366   620643 |    47788     1823     85 |  0.000 % |
2.17/2.29	c |      1924 |    1298   143366   620643 |    47788     1924     85 |  0.000 % |
2.26/2.33	c |      2034 |    1298   143366   620643 |    47788     2034     85 |  0.000 % |
2.26/2.38	c |      2156 |    1298   143366   620643 |    47788     2156     86 |  0.000 % |
2.36/2.43	c |      2290 |    1298   143366   620643 |    47788     2290     86 |  0.000 % |
2.36/2.48	c |      2437 |    1298   143366   620643 |    47788     2437     86 |  0.000 % |
2.46/2.54	c |      2598 |    1298   143366   620643 |    47788     2598     86 |  0.000 % |
2.46/2.58	c |      2698 |    1298   143366   620643 |    47788     2698     86 |  0.000 % |
2.56/2.62	c |      2809 |    1298   143366   620643 |    47788     2809     86 |  0.000 % |
2.56/2.67	c |      2930 |    1298   143366   620643 |    47788     2930     85 |  0.000 % |
2.66/2.72	c |      3063 |    1298   143366   620643 |    47788     3063     86 |  0.000 % |
2.66/2.78	c |      3209 |    1298   143366   620643 |    47788     3209     86 |  0.000 % |
2.76/2.83	c |      3370 |    1298   143366   620643 |    47788     3370     85 |  0.000 % |
2.76/2.89	c |      3546 |    1298   143366   620643 |    47788     3546     86 |  0.000 % |
2.86/2.94	c |      3648 |    1298   143366   620643 |    47788     3648     86 |  0.000 % |
2.86/2.96	c |      3759 |    1298   143366   620643 |    47788     3759     86 |  0.000 % |
2.97/3.01	c |      3882 |    1298   143366   620643 |    47788     3882     86 |  0.000 % |
2.97/3.05	c |      4017 |    1298   143366   620643 |    47788     4017     86 |  0.000 % |
2.97/3.10	c |      4163 |    1298   143366   620643 |    47788     4163     86 |  0.000 % |
3.07/3.14	c |      4324 |    1298   143366   620643 |    47788     4324     87 |  0.000 % |
3.07/3.18	c |      4500 |    1298   143366   620643 |    47788     4500     88 |  0.000 % |
3.17/3.23	c |      4693 |    1298   143366   620643 |    47788     4693     89 |  0.000 % |
3.17/3.26	c |      4793 |    1298   143366   620643 |    47788     4793     89 |  0.000 % |
3.17/3.30	c |      4904 |    1298   143366   620643 |    47788     4904     89 |  0.000 % |
3.27/3.33	c |      5025 |    1298   143366   620643 |    47788     5025     90 |  0.000 % |
3.27/3.37	c |      5158 |    1298   143366   620643 |    47788     5158     90 |  0.000 % |
3.37/3.41	c |      5305 |    1298   143366   620643 |    47788     5305     91 |  0.000 % |
3.37/3.44	c |      5465 |    1298   143366   620643 |    47788     5465     91 |  0.000 % |
3.37/3.49	c |      5643 |    1298   143366   620643 |    47788     5643     92 |  0.000 % |
3.47/3.56	c |      5836 |    1298   143366   620643 |    47788     5836     93 |  0.000 % |
3.57/3.60	c |      6048 |    1298   143366   620643 |    47788     6048     94 |  0.000 % |
3.57/3.63	c |      6150 |    1298   143366   620643 |    47788     6150     94 |  0.000 % |
3.57/3.67	c |      6260 |    1298   143366   620643 |    47788     6260     95 |  0.000 % |
3.57/3.69	c |      6383 |    1298   143366   620643 |    47788     6383     95 |  0.000 % |
3.67/3.73	c |      6518 |    1298   143366   620643 |    47788     6518     95 |  0.000 % |
3.67/3.78	c |      6668 |    1298   143366   620643 |    47788     6668     96 |  0.000 % |
3.77/3.81	c |      6829 |    1298   143366   620643 |    47788     6829     96 |  0.000 % |
3.77/3.86	c |      7006 |    1298   143366   620643 |    47788     7006     97 |  0.000 % |
3.87/3.91	c |      7200 |    1298   143366   620643 |    47788     7200     98 |  0.000 % |
3.87/3.97	c |      7413 |    1298   143366   620643 |    47788     7413     99 |  0.000 % |
3.97/4.04	c |      7646 |    1298   143366   620643 |    47788     7646    100 |  0.000 % |
3.97/4.08	c |      7747 |    1298   143366   620643 |    47788     7747    100 |  0.000 % |
4.07/4.11	c |      7857 |    1298   143366   620643 |    47788     7857    100 |  0.000 % |
4.07/4.15	c |      7978 |    1298   143366   620643 |    47788     7978    101 |  0.000 % |
4.07/4.20	c |      8111 |    1298   143366   620643 |    47788     8111    101 |  0.000 % |
4.17/4.26	c |      8257 |    1298   143366   620643 |    47788     8257    101 |  0.000 % |
4.27/4.33	c |      8417 |    1298   143366   620643 |    47788     8417    102 |  0.000 % |
4.37/4.41	c |      8593 |    1298   143366   620643 |    47788     8593    102 |  0.000 % |
4.47/4.50	c |      8786 |    1298   143366   620643 |    47788     8786    103 |  0.000 % |
4.57/4.61	c |      8998 |    1298   143366   620643 |    47788     8998    103 |  0.000 % |
4.67/4.72	c |      9233 |    1298   143366   620643 |    47788     9233    104 |  0.000 % |
4.77/4.84	c |      9491 |    1298   143366   620643 |    47788     9491    104 |  0.000 % |
4.77/4.88	c |      9591 |    1298   143366   620643 |    47788     9591    104 |  0.000 % |
4.87/4.95	c |      9703 |    1298   143366   620643 |    47788     9703    105 |  0.000 % |
4.96/5.02	c |      9824 |    1298   143366   620643 |    47788     9824    105 |  0.000 % |
5.06/5.10	c |      9958 |    1298   143366   620643 |    47788     9958    105 |  0.000 % |
5.06/5.18	c |     10105 |    1298   143366   620643 | 2147483647    10105    105 |  0.000 % |
5.16/5.26	c |     10265 |    1298   143366   620643 | 2147483647    10265    106 |  0.000 % |
5.37/5.41	c |     10441 |    1298   143366   620643 | 2147483647    10441    106 |  0.000 % |
5.47/5.57	c |     10638 |    1298   143366   620643 | 2147483647    10638    106 |  0.000 % |
5.66/5.71	c |     10850 |    1298   143366   620643 | 2147483647    10850    106 |  0.000 % |
5.76/5.86	c |     11084 |    1298   143366   620643 | 2147483647    11084    107 |  0.000 % |
6.06/6.11	c |     11341 |    1298   143366   620643 | 2147483647    11341    107 |  0.000 % |
6.26/6.32	c |     11623 |    1298   143366   620643 | 2147483647    11623    108 |  0.000 % |
6.36/6.41	c |     11723 |    1298   143366   620643 | 2147483647    11723    108 |  0.000 % |
6.47/6.52	c |     11836 |    1298   143366   620643 | 2147483647    11836    108 |  0.000 % |
6.57/6.63	c |     11958 |    1298   143366   620643 | 2147483647    11958    108 |  0.000 % |
6.66/6.75	c |     12092 |    1298   143366   620643 | 2147483647    12092    108 |  0.000 % |
6.76/6.84	c |     12239 |    1298   143366   620643 | 2147483647    12239    108 |  0.000 % |
6.86/6.96	c |     12400 |    1298   143366   620643 | 2147483647    12400    108 |  0.000 % |
7.06/7.12	c |     12576 |    1298   143366   620643 | 2147483647    12576    109 |  0.000 % |
7.16/7.22	c |     12770 |    1298   143366   620643 | 2147483647    12770    109 |  0.000 % |
7.16/7.28	c |     12982 |    1298   143366   620643 | 2147483647    12982    109 |  0.000 % |
7.26/7.35	c |     13215 |    1298   143366   620643 | 2147483647    13215    109 |  0.000 % |
7.36/7.46	c |     13472 |    1298   143366   620643 | 2147483647    13472    109 |  0.000 % |
7.46/7.54	c |     13755 |    1298   143366   620643 | 2147483647    13755    109 |  0.000 % |
7.57/7.63	c |     14064 |    1298   143366   620643 | 2147483647    14064    109 |  0.000 % |
7.57/7.66	c |     14165 |    1298   143366   620643 | 2147483647    14165    109 |  0.000 % |
7.66/7.71	c |     14276 |    1298   143366   620643 | 2147483647    14276    109 |  0.000 % |
7.66/7.75	c |     14398 |    1298   143366   620643 | 2147483647    14398    109 |  0.000 % |
7.76/7.80	c |     14533 |    1298   143366   620643 | 2147483647    14533    109 |  0.000 % |
7.76/7.87	c |     14680 |    1298   143366   620643 | 2147483647    14680    109 |  0.000 % |
7.86/7.94	c |     14842 |    1298   143366   620643 | 2147483647    14842    109 |  0.000 % |
7.97/8.03	c |     15019 |    1298   143366   620643 | 2147483647    15019    109 |  0.000 % |
8.07/8.11	c |     15212 |    1298   143366   620643 | 2147483647    15212    109 |  0.000 % |
8.17/8.21	c |     15424 |    1298   143366   620643 | 2147483647    15424    109 |  0.000 % |
8.27/8.34	c |     15658 |    1298   143366   620643 | 2147483647    15658    110 |  0.000 % |
8.37/8.44	c |     15915 |    1298   143366   620643 | 2147483647    15915    110 |  0.000 % |
8.47/8.58	c |     16196 |    1298   143366   620643 | 2147483647    16196    110 |  0.000 % |
8.67/8.72	c |     16505 |    1298   143366   620643 | 2147483647    16505    110 |  0.000 % |
8.86/8.94	c |     16845 |    1298   143366   620643 | 2147483647    16845    110 |  0.000 % |
8.96/9.02	c |     16945 |    1298   143366   620643 | 2147483647    16945    110 |  0.000 % |
9.06/9.11	c |     17056 |    1298   143366   620643 | 2147483647    17056    110 |  0.000 % |
9.16/9.21	c |     17177 |    1298   143366   620643 | 2147483647    17177    110 |  0.000 % |
9.16/9.30	c |     17310 |    1298   143366   620643 | 2147483647    17310    110 |  0.000 % |
9.36/9.40	c |     17458 |    1298   143366   620643 | 2147483647    17458    110 |  0.000 % |
9.36/9.47	c |     17618 |    1298   143366   620643 | 2147483647    17618    110 |  0.000 % |
9.46/9.58	c |     17794 |    1298   143366   620643 | 2147483647    17794    110 |  0.000 % |
9.96/10.02	c |     17988 |    1298   143366   620643 | 2147483647    17988    110 |  0.000 % |
10.26/10.37	c |     18201 |    1298   143366   620643 | 2147483647    18201    110 |  0.000 % |
10.76/10.83	c |     18436 |    1298   143366   620643 | 2147483647    18436    110 |  0.000 % |
11.16/11.28	c |     18692 |    1298   143366   620643 | 2147483647    18692    110 |  0.000 % |
11.66/11.78	c |     18973 |    1298   143366   620643 | 2147483647    18973    110 |  0.000 % |
12.26/12.35	c |     19284 |    1298   143366   620643 | 2147483647    19284    110 |  0.000 % |
12.86/12.92	c |     19625 |    1298   143366   620643 | 2147483647    19625    110 |  0.000 % |
13.36/13.48	c |     19998 |    1298   143366   620643 | 2147483647    19998    110 |  0.000 % |
13.46/13.54	c |     20099 |    1298   143366   620643 | 2147483647    20099    110 |  0.000 % |
13.56/13.63	c |     20209 |    1298   143366   620643 | 2147483647    20209    110 |  0.000 % |
13.76/13.80	c |     20331 |    1298   143366   620643 | 2147483647    20331    110 |  0.000 % |
13.96/14.09	c |     20465 |    1298   143366   620643 | 2147483647    20465    110 |  0.000 % |
14.16/14.22	c |     20611 |    1298   143366   620643 | 2147483647    20611    110 |  0.000 % |
14.36/14.47	c |     20774 |    1298   143366   620643 | 2147483647    20774    110 |  0.000 % |
14.46/14.54	c |     20951 |    1298   143366   620643 | 2147483647    20951    110 |  0.000 % |
14.76/14.84	c |     21145 |    1298   143366   620643 | 2147483647    21145    110 |  0.000 % |
14.86/14.92	c |     21357 |    1298   143366   620643 | 2147483647    21357    110 |  0.000 % |
14.96/15.02	c |     21591 |    1298   143366   620643 | 2147483647    21591    110 |  0.002 % |
15.37/15.41	c |     21847 |    1298   143366   620643 | 2147483647    21847    110 |  0.000 % |
15.77/15.86	c |     22128 |    1298   143366   620643 | 2147483647    22128    110 |  0.000 % |
16.17/16.25	c |     22438 |    1298   143366   620643 | 2147483647    22438    110 |  0.000 % |
16.27/16.38	c |     22777 |    1298   143366   620643 | 2147483647    22777    110 |  0.000 % |
17.07/17.15	c |     23153 |    1298   143366   620643 | 2147483647    23153    110 |  0.000 % |
17.87/17.94	c |     23562 |    1298   143366   620643 | 2147483647    23562    110 |  0.000 % |
18.07/18.19	c |     23663 |    1298   143366   620643 | 2147483647    23663    110 |  0.000 % |
18.27/18.39	c |     23773 |    1298   143366   620643 | 2147483647    23773    110 |  0.000 % |
18.57/18.62	c |     23895 |    1298   143366   620643 | 2147483647    23895    110 |  0.000 % |
18.76/18.88	c |     24029 |    1298   143366   620643 | 2147483647    24029    110 |  0.000 % |
19.26/19.33	c |     24177 |    1298   143366   620643 | 2147483647    24177    110 |  0.000 % |
19.77/19.84	c |     24337 |    1298   143366   620643 | 2147483647    24337    111 |  0.000 % |
20.16/20.29	c |     24513 |    1298   143366   620643 | 2147483647    24513    111 |  0.000 % |
20.66/20.70	c |     24707 |    1298   143366   620643 | 2147483647    24707    111 |  0.000 % |
21.26/21.36	c |     24919 |    1298   143366   620643 | 2147483647    24919    111 |  0.000 % |
22.16/22.22	c |     25154 |    1298   143366   620643 | 2147483647    25154    111 |  0.000 % |
22.86/22.93	c |     25412 |    1298   143366   620643 | 2147483647    25412    111 |  0.000 % |
23.76/23.87	c |     25694 |    1298   143366   620643 | 2147483647    25694    111 |  0.000 % |
24.66/24.71	c |     26004 |    1298   143366   620643 | 2147483647    26004    111 |  0.000 % |
25.76/25.89	c |     26344 |    1298   143366   620643 | 2147483647    26344    111 |  0.000 % |
27.16/27.20	c |     26717 |    1298   143366   620643 | 2147483647    26717    111 |  0.000 % |
28.36/28.46	c |     27126 |    1298   143366   620643 | 2147483647    27126    111 |  0.000 % |
29.46/29.53	c |     27575 |    1298   143366   620643 | 2147483647    27575    111 |  0.000 % |
29.86/29.94	c |     27675 |    1298   143366   620643 | 2147483647    27675    111 |  0.000 % |
30.26/30.35	c |     27786 |    1298   143366   620643 | 2147483647    27786    111 |  0.000 % |
30.77/30.87	c |     27907 |    1298   143366   620643 | 2147483647    27907    111 |  0.000 % |
31.36/31.42	c |     28041 |    1298   143366   620643 | 2147483647    28041    111 |  0.000 % |
31.76/31.82	c |     28187 |    1298   143366   620643 | 2147483647    28187    111 |  0.000 % |
32.26/32.36	c |     28347 |    1298   143366   620643 | 2147483647    28347    111 |  0.000 % |
32.96/33.04	c |     28523 |    1298   143366   620643 | 2147483647    28523    111 |  0.000 % |
33.66/33.77	c |     28718 |    1298   143366   620643 | 2147483647    28718    111 |  0.000 % |
34.25/34.37	c |     28930 |    1298   143366   620643 | 2147483647    28930    111 |  0.000 % |
34.95/35.02	c |     29163 |    1298   143366   620643 | 2147483647    29163    111 |  0.000 % |
35.45/35.59	c |     29419 |    1298   143366   620643 | 2147483647    29419    111 |  0.000 % |
36.05/36.11	c |     29700 |    1298   143366   620643 | 2147483647    29700    111 |  0.000 % |
36.85/36.92	c |     30009 |    1298   143366   620643 | 2147483647    30009    111 |  0.000 % |
37.75/37.82	c |     30349 |    1298   143366   620643 | 2147483647    30349    111 |  0.000 % |
38.45/38.50	c |     30722 |    1298   143366   620643 | 2147483647    30722    111 |  0.000 % |
38.85/38.90	c |     31131 |    1298   143366   620643 | 2147483647    31131    111 |  0.000 % |
40.26/40.37	c |     31582 |    1298   143366   620643 | 2147483647    31582    111 |  0.000 % |
41.36/41.48	c |     32077 |    1298   143366   620643 | 2147483647    32077    111 |  0.000 % |
41.46/41.57	c |     32178 |    1298   143366   620643 | 2147483647    32178    111 |  0.000 % |
41.66/41.78	c |     32290 |    1298   143366   620643 | 2147483647    32290    111 |  0.000 % |
41.86/41.98	c |     32411 |    1298   143366   620643 | 2147483647    32411    111 |  0.000 % |
42.16/42.29	c |     32545 |    1298   143366   620643 | 2147483647    32545    111 |  0.000 % |
42.46/42.53	c |     32691 |    1298   143366   620643 | 2147483647    32691    111 |  0.000 % |
42.86/42.99	c |     32852 |    1298   143366   620643 | 2147483647    32852    111 |  0.000 % |
43.05/43.19	c |     33028 |    1298   143366   620643 | 2147483647    33028    111 |  0.000 % |
43.15/43.29	c |     33223 |    1298   143366   620643 | 2147483647    33223    111 |  0.000 % |
43.35/43.44	c |     33438 |    1298   143366   620643 | 2147483647    33438    111 |  0.000 % |
43.55/43.65	c |     33672 |    1298   143366   620643 | 2147483647    33672    112 |  0.000 % |
43.96/44.01	c |     33928 |    1298   143366   620643 | 2147483647    33928    112 |  0.000 % |
44.05/44.19	c |     34209 |    1298   143366   620643 | 2147483647    34209    112 |  0.000 % |
44.35/44.42	c |     34519 |    1298   143366   620643 | 2147483647    34519    112 |  0.000 % |
44.45/44.59	c |     34860 |    1298   143366   620643 | 2147483647    34860    112 |  0.000 % |
44.65/44.76	c |     35233 |    1298   143366   620643 | 2147483647    35233    112 |  0.000 % |
44.85/44.98	c |     35643 |    1298   143366   620643 | 2147483647    35643    112 |  0.000 % |
45.25/45.31	c |     36093 |    1298   143366   620643 | 2147483647    36093    112 |  0.000 % |
45.55/45.64	c |     36587 |    1298   143366   620643 | 2147483647    36587    112 |  0.000 % |
45.85/45.95	c |     37131 |    1298   143366   620643 | 2147483647    37131    112 |  0.000 % |
45.95/46.02	c |     37231 |    1298   143366   620643 | 2147483647    37231    112 |  0.000 % |
45.95/46.09	c |     37342 |    1298   143366   620643 | 2147483647    37342    112 |  0.000 % |
46.06/46.19	c |     37463 |    1298   143366   620643 | 2147483647    37463    112 |  0.000 % |
46.16/46.29	c |     37599 |    1298   143366   620643 | 2147483647    37599    112 |  0.000 % |
46.35/46.41	c |     37746 |    1298   143366   620643 | 2147483647    37746    112 |  0.000 % |
46.45/46.55	c |     37908 |    1298   143366   620643 | 2147483647    37908    112 |  0.000 % |
46.65/46.71	c |     38085 |    1298   143366   620643 | 2147483647    38085    112 |  0.000 % |
46.75/46.88	c |     38279 |    1298   143366   620643 | 2147483647    38279    112 |  0.000 % |
47.05/47.10	c |     38492 |    1298   143366   620643 | 2147483647    38492    112 |  0.000 % |
47.25/47.34	c |     38728 |    1298   143366   620643 | 2147483647    38728    111 |  0.000 % |
47.45/47.58	c |     38984 |    1298   143366   620643 | 2147483647    38984    111 |  0.000 % |
47.65/47.80	c |     39265 |    1298   143366   620643 | 2147483647    39265    111 |  0.000 % |
47.94/48.07	c |     39574 |    1298   143366   620643 | 2147483647    39574    111 |  0.000 % |
48.25/48.38	c |     39916 |    1298   143366   620643 | 2147483647    39916    111 |  0.000 % |
48.64/48.77	c |     40289 |    1298   143366   620643 | 2147483647    40289    111 |  0.000 % |
49.65/49.70	c |     40698 |    1298   143366   620643 | 2147483647    40698    111 |  0.000 % |
50.35/50.46	c |     41147 |    1298   143366   620643 | 2147483647    41147    111 |  0.000 % |
52.66/52.75	c |     41640 |    1298   143366   620643 | 2147483647    41640    110 |  0.000 % |
53.15/53.28	c |     42182 |    1298   143366   620643 | 2147483647    42182    110 |  0.000 % |
54.25/54.38	c |     42778 |    1298   143366   620643 | 2147483647    42778    110 |  0.000 % |
54.55/54.64	c |     42879 |    1298   143366   620643 | 2147483647    42879    110 |  0.000 % |
54.85/55.00	c |     42990 |    1298   143366   620643 | 2147483647    42990    110 |  0.000 % |
55.25/55.38	c |     43111 |    1298   143366   620643 | 2147483647    43111    110 |  0.000 % |
55.45/55.57	c |     43244 |    1298   143366   620643 | 2147483647    43244    110 |  0.000 % |
55.85/55.95	c |     43393 |    1298   143366   620643 | 2147483647    43393    110 |  0.000 % |
56.35/56.49	c |     43553 |    1298   143366   620643 | 2147483647    43553    110 |  0.000 % |
56.55/56.60	c |     43731 |    1298   143366   620643 | 2147483647    43731    110 |  0.000 % |
57.15/57.24	c |     43924 |    1298   143366   620643 | 2147483647    43924    110 |  0.000 % |
57.35/57.48	c |     44136 |    1298   143366   620643 | 2147483647    44136    110 |  0.000 % |
57.95/58.04	c |     44370 |    1298   143366   620643 | 2147483647    44370    109 |  0.000 % |
58.05/58.18	c |     44627 |    1298   143366   620643 | 2147483647    44627    109 |  0.000 % |
58.45/58.53	c |     44908 |    1298   143366   620643 | 2147483647    44908    109 |  0.000 % |
58.95/59.01	c |     45217 |    1298   143366   620643 | 2147483647    45217    109 |  0.000 % |
59.45/59.55	c |     45558 |    1298   143366   620643 | 2147483647    45558    109 |  0.000 % |
60.35/60.47	c |     45930 |    1298   143366   620643 | 2147483647    45930    109 |  0.000 % |
61.25/61.36	c |     46340 |    1298   143366   620643 | 2147483647    46340    109 |  0.000 % |
61.95/62.08	c |     46790 |    1298   143366   620643 | 2147483647    46790    108 |  0.000 % |
63.44/63.51	c |     47284 |    1298   143366   620643 | 2147483647    47284    108 |  0.002 % |
64.14/64.21	c |     47826 |    1298   143366   620643 | 2147483647    47826    108 |  0.000 % |
65.24/65.39	c |     48422 |    1298   143366   620643 | 2147483647    48422    108 |  0.000 % |
65.95/66.05	c |     49078 |    1298   143366   620643 | 2147483647    49078    108 |  0.000 % |
66.24/66.35	c |     49179 |    1298   143366   620643 | 2147483647    49179    108 |  0.000 % |
66.44/66.57	c |     49289 |    1298   143366   620643 | 2147483647    49289    108 |  0.000 % |
66.74/66.89	c |     49411 |    1298   143366   620643 | 2147483647    49411    108 |  0.000 % |
67.14/67.21	c |     49547 |    1298   143366   620643 | 2147483647    49547    108 |  0.000 % |
67.54/67.64	c |     49694 |    1298   143366   620643 | 2147483647    49694    108 |  0.000 % |
67.74/67.88	c |     49856 |    1298   143366   620643 | 2147483647    49856    108 |  0.000 % |
67.94/68.05	c |     50032 |    1298   143366   620643 | 2147483647    50032    108 |  0.000 % |
68.34/68.43	c |     50225 |    1298   143366   620643 | 2147483647    50225    108 |  0.000 % |
68.94/69.08	c |     50437 |    1298   143366   620643 | 2147483647    50437    108 |  0.000 % |
69.54/69.66	c |     50672 |    1298   143366   620643 | 2147483647    50672    107 |  0.000 % |
70.14/70.23	c |     50928 |    1298   143366   620643 | 2147483647    50928    107 |  0.000 % |
70.64/70.74	c |     51210 |    1298   143366   620643 | 2147483647    51210    107 |  0.000 % |
71.04/71.11	c |     51519 |    1298   143366   620643 | 2147483647    51519    107 |  0.000 % |
71.74/71.84	c |     51860 |    1298   143366   620643 | 2147483647    51860    107 |  0.000 % |
72.64/72.77	c |     52234 |    1298   143366   620643 | 2147483647    52234    107 |  0.000 % |
73.14/73.27	c |     52643 |    1298   143366   620643 | 2147483647    52643    107 |  0.000 % |
73.85/73.92	c |     53094 |    1298   143366   620643 | 2147483647    53094    107 |  0.000 % |
74.75/74.80	c |     53588 |    1298   143366   620643 | 2147483647    53588    107 |  0.000 % |
75.85/75.90	c |     54130 |    1298   143366   620643 | 2147483647    54130    107 |  0.000 % |
76.35/76.49	c |     54726 |    1298   143366   620643 | 2147483647    54726    107 |  0.000 % |
77.15/77.20	c |     55381 |    1298   143366   620643 | 2147483647    55381    106 |  0.000 % |
78.05/78.11	c |     56101 |    1298   143366   620643 | 2147483647    56101    106 |  0.000 % |
78.15/78.24	c |     56202 |    1298   143366   620643 | 2147483647    56202    106 |  0.000 % |
78.35/78.48	c |     56313 |    1298   143366   620643 | 2147483647    56313    106 |  0.000 % |
78.55/78.68	c |     56435 |    1298   143366   620643 | 2147483647    56435    106 |  0.001 % |
79.35/79.46	c |     56568 |    1298   143366   620643 | 2147483647    56568    106 |  0.000 % |
79.55/79.70	c |     56720 |    1298   143366   620643 | 2147483647    56720    106 |  0.000 % |
80.25/80.32	c |     56880 |    1298   143366   620643 | 2147483647    56880    106 |  0.000 % |
80.74/80.85	c |     57056 |    1298   143366   620643 | 2147483647    57056    106 |  0.000 % |
81.04/81.19	c |     57251 |    1298   143366   620643 | 2147483647    57251    106 |  0.000 % |
81.24/81.35	c |     57463 |    1298   143366   620643 | 2147483647    57463    105 |  0.000 % |
81.74/81.85	c |     57699 |    1298   143366   620643 | 2147483647    57699    106 |  0.000 % |
82.24/82.37	c |     57956 |    1298   143366   620643 | 2147483647    57956    106 |  0.000 % |
83.44/83.59	c |     58237 |    1298   143366   620643 | 2147483647    58237    106 |  0.000 % |
84.24/84.31	c |     58546 |    1298   143366   620643 | 2147483647    58546    106 |  0.000 % |
84.44/84.54	c |     58886 |    1298   143366   620643 | 2147483647    58886    105 |  0.000 % |
85.94/86.06	c |     59260 |    1298   143366   620643 | 2147483647    59260    105 |  0.000 % |
86.84/86.95	c |     59670 |    1298   143366   620643 | 2147483647    59670    106 |  0.000 % |
87.54/87.64	c |     60119 |    1298   143366   620643 | 2147483647    60119    106 |  0.000 % |
88.34/88.45	c |     60612 |    1298   143366   620643 | 2147483647    60612    106 |  0.000 % |
89.53/89.62	c |     61155 |    1298   143366   620643 | 2147483647    61155    106 |  0.000 % |
90.83/90.98	c |     61752 |    1298   143366   620643 | 2147483647    61752    105 |  0.000 % |
91.93/92.06	c |     62409 |    1298   143366   620643 | 2147483647    62409    105 |  0.000 % |
93.13/93.21	c |     63130 |    1298   143366   620643 | 2147483647    63130    105 |  0.000 % |
94.54/94.66	c |     63922 |    1298   143366   620643 | 2147483647    63922    105 |  0.000 % |
94.63/94.78	c |     64023 |    1298   143366   620643 | 2147483647    64023    105 |  0.000 % |
94.93/95.07	c |     64136 |    1298   143366   620643 | 2147483647    64136    105 |  0.000 % |
95.03/95.16	c |     64257 |    1298   143366   620643 | 2147483647    64257    105 |  0.000 % |
95.84/95.91	c |     64391 |    1298   143366   620643 | 2147483647    64391    105 |  0.000 % |
96.04/96.11	c |     64538 |    1298   143366   620643 | 2147483647    64538    105 |  0.000 % |
96.44/96.57	c |     64699 |    1298   143366   620643 | 2147483647    64699    105 |  0.000 % |
96.75/96.83	c |     64876 |    1298   143366   620643 | 2147483647    64876    105 |  0.000 % |
97.34/97.44	c |     65070 |    1298   143366   620643 | 2147483647    65070    105 |  0.000 % |
98.24/98.32	c |     65282 |    1298   143366   620643 | 2147483647    65282    105 |  0.000 % |
98.44/98.58	c |     65517 |    1298   143366   620643 | 2147483647    65517    105 |  0.000 % |
98.94/99.09	c |     65773 |    1298   143366   620643 | 2147483647    65773    105 |  0.000 % |
99.64/99.74	c |     66055 |    1298   143366   620643 | 2147483647    66055    105 |  0.000 % |
100.54/100.60	c |     66364 |    1298   143366   620643 | 2147483647    66364    105 |  0.000 % |
101.04/101.10	c |     66703 |    1298   143366   620643 | 2147483647    66703    105 |  0.001 % |
101.44/101.59	c |     67075 |    1298   143366   620643 | 2147483647    67075    105 |  0.000 % |
102.44/102.53	c |     67484 |    1298   143366   620643 | 2147483647    67484    105 |  0.000 % |
103.64/103.76	c |     67935 |    1298   143366   620643 | 2147483647    67935    105 |  0.000 % |
104.34/104.47	c |     68428 |    1298   143366   620643 | 2147483647    68428    105 |  0.000 % |
106.44/106.60	c |     68970 |    1298   143366   620643 | 2147483647    68970    105 |  0.000 % |
108.63/108.79	c |     69567 |    1298   143366   620643 | 2147483647    69567    105 |  0.000 % |
110.23/110.31	c |     70222 |    1298   143366   620643 | 2147483647    70222    105 |  0.000 % |
111.63/111.76	c |     70942 |    1298   143366   620643 | 2147483647    70942    105 |  0.000 % |
113.43/113.50	c |     71734 |    1298   143366   620643 | 2147483647    71734    105 |  0.000 % |
114.73/114.89	c |     72605 |    1298   143366   620643 | 2147483647    72605    105 |  0.000 % |
115.23/115.31	c |     72705 |    1298   143366   620643 | 2147483647    72705    105 |  0.000 % |
115.33/115.50	c |     72817 |    1298   143366   620643 | 2147483647    72817    105 |  0.000 % |
115.63/115.75	c |     72940 |    1298   143366   620643 | 2147483647    72940    105 |  0.000 % |
116.03/116.12	c |     73074 |    1298   143366   620643 | 2147483647    73074    105 |  0.000 % |
116.43/116.53	c |     73220 |    1298   143366   620643 | 2147483647    73220    105 |  0.000 % |
116.83/116.92	c |     73381 |    1298   143366   620643 | 2147483647    73381    105 |  0.000 % |
117.23/117.35	c |     73557 |    1298   143366   620643 | 2147483647    73557    105 |  0.000 % |
117.83/117.91	c |     73750 |    1298   143366   620643 | 2147483647    73750    105 |  0.000 % |
118.33/118.45	c |     73962 |    1298   143366   620643 | 2147483647    73962    105 |  0.000 % |
119.43/119.54	c |     74195 |    1298   143366   620643 | 2147483647    74195    105 |  0.000 % |
120.63/120.76	c |     74451 |    1298   143366   620643 | 2147483647    74451    105 |  0.000 % |
121.63/121.75	c |     74734 |    1298   143366   620643 | 2147483647    74734    104 |  0.001 % |
122.04/122.18	c |     75044 |    1298   143366   620643 | 2147483647    75044    104 |  0.000 % |
122.73/122.80	c |     75388 |    1298   143366   620643 | 2147483647    75388    104 |  0.000 % |
123.33/123.46	c |     75760 |    1298   143366   620643 | 2147483647    75760    104 |  0.000 % |
124.23/124.38	c |     76170 |    1298   143366   620643 | 2147483647    76170    104 |  0.000 % |
125.93/126.08	c |     76620 |    1298   143366   620643 | 2147483647    76620    104 |  0.000 % |
127.13/127.20	c |     77114 |    1298   143366   620643 | 2147483647    77114    104 |  0.000 % |
128.23/128.34	c |     77656 |    1298   143366   620643 | 2147483647    77656    104 |  0.000 % |
129.03/129.15	c |     78252 |    1298   143366   620643 | 2147483647    78252    104 |  0.000 % |
129.63/129.78	c |     78907 |    1298   143366   620643 | 2147483647    78907    104 |  0.000 % |
131.23/131.35	c |     79630 |    1298   143366   620643 | 2147483647    79630    104 |  0.000 % |
132.42/132.54	c |     80422 |    1298   143366   620643 | 2147483647    80422    104 |  0.000 % |
133.62/133.79	c |     81293 |    1298   143366   620643 | 2147483647    81293    104 |  0.002 % |
134.92/135.00	c |     82258 |    1298   143366   620643 | 2147483647    82258    104 |  0.000 % |
135.02/135.20	c |     82359 |    1298   143366   620643 | 2147483647    82359    104 |  0.000 % |
135.33/135.44	c |     82470 |    1298   143366   620643 | 2147483647    82470    104 |  0.000 % |
135.43/135.58	c |     82591 |    1298   143366   620643 | 2147483647    82591    104 |  0.000 % |
135.93/136.01	c |     82724 |    1298   143366   620643 | 2147483647    82724    104 |  0.000 % |
136.33/136.44	c |     82870 |    1298   143366   620643 | 2147483647    82870    104 |  0.000 % |
136.73/136.88	c |     83031 |    1298   143366   620643 | 2147483647    83031    104 |  0.000 % |
137.13/137.25	c |     83208 |    1298   143366   620643 | 2147483647    83208    104 |  0.000 % |
137.53/137.68	c |     83404 |    1298   143366   620643 | 2147483647    83404    104 |  0.000 % |
138.13/138.26	c |     83618 |    1298   143366   620643 | 2147483647    83618    104 |  0.000 % |
138.63/138.79	c |     83851 |    1298   143366   620643 | 2147483647    83851    104 |  0.000 % |
139.33/139.41	c |     84107 |    1298   143366   620643 | 2147483647    84107    104 |  0.000 % |
139.63/139.78	c |     84388 |    1298   143366   620643 | 2147483647    84388    104 |  0.000 % |
140.73/140.83	c |     84697 |    1298   143366   620643 | 2147483647    84697    104 |  0.000 % |
141.73/141.84	c |     85036 |    1298   143366   620643 | 2147483647    85036    104 |  0.000 % |
142.42/142.55	c |     85409 |    1298   143366   620643 | 2147483647    85409    104 |  0.000 % |
143.72/143.88	c |     85819 |    1298   143366   620643 | 2147483647    85819    104 |  0.000 % |
144.72/144.80	c |     86270 |    1298   143366   620643 | 2147483647    86270    104 |  0.001 % |
145.52/145.68	c |     86764 |    1298   143366   620643 | 2147483647    86764    104 |  0.000 % |
147.82/147.91	c |     87306 |    1298   143366   620643 | 2147483647    87306    104 |  0.000 % |
148.82/148.96	c |     87902 |    1298   143366   620643 | 2147483647    87902    104 |  0.000 % |
149.91/150.03	c |     88558 |    1298   143366   620643 | 2147483647    88558    104 |  0.000 % |
152.41/152.57	c |     89278 |    1298   143366   620643 | 2147483647    89278    104 |  0.000 % |
154.42/154.59	c |     90070 |    1298   143366   620643 | 2147483647    90070    104 |  0.000 % |
156.52/156.66	c |     90943 |    1298   143366   620643 | 2147483647    90943    104 |  0.000 % |
157.82/157.99	c |     91901 |    1298   143366   620643 | 2147483647    91901    104 |  0.000 % |
159.42/159.51	c |     92956 |    1298   143366   620643 | 2147483647    92956    104 |  0.000 % |
159.81/159.96	c |     93058 |    1298   143366   620643 | 2147483647    93058    104 |  0.000 % |
160.31/160.46	c |     93170 |    1298   143366   620643 | 2147483647    93170    104 |  0.000 % |
160.52/160.67	c |     93293 |    1298   143366   620643 | 2147483647    93293    104 |  0.000 % |
160.91/161.00	c |     93427 |    1298   143366   620643 | 2147483647    93427    104 |  0.000 % |
161.21/161.30	c |     93576 |    1298   143366   620643 | 2147483647    93576    104 |  0.000 % |
161.51/161.70	c |     93736 |    1298   143366   620643 | 2147483647    93736    104 |  0.000 % |
161.81/161.98	c |     93912 |    1298   143366   620643 | 2147483647    93912    104 |  0.000 % |
162.41/162.59	c |     94107 |    1298   143366   620643 | 2147483647    94107    104 |  0.000 % |
163.01/163.10	c |     94322 |    1298   143366   620643 | 2147483647    94322    104 |  0.000 % |
163.51/163.66	c |     94561 |    1298   143366   620643 | 2147483647    94561    103 |  0.000 % |
164.32/164.48	c |     94817 |    1298   143366   620643 | 2147483647    94817    103 |  0.000 % |
165.72/165.86	c |     95099 |    1298   143366   620643 | 2147483647    95099    103 |  0.000 % |
166.31/166.49	c |     95408 |    1298   143366   620643 | 2147483647    95408    103 |  0.000 % |
167.31/167.49	c |     95747 |    1298   143366   620643 | 2147483647    95747    103 |  0.000 % |
168.22/168.33	c |     96120 |    1298   143366   620643 | 2147483647    96120    103 |  0.000 % |
168.71/168.86	c |     96529 |    1298   143366   620643 | 2147483647    96529    103 |  0.000 % |
170.01/170.14	c |     96980 |    1298   143366   620643 | 2147483647    96980    103 |  0.000 % |
170.61/170.77	c |     97475 |    1298   143366   620643 | 2147483647    97475    103 |  0.000 % |
172.62/172.70	c |     98019 |    1298   143366   620643 | 2147483647    98019    103 |  0.000 % |
173.41/173.55	c |     98618 |    1298   143366   620643 | 2147483647    98618    103 |  0.000 % |
174.71/174.80	c |     99273 |    1298   143366   620643 | 2147483647    99273    103 |  0.000 % |
175.71/175.85	c |     99993 |    1298   143366   620643 | 2147483647    99993    103 |  0.000 % |
179.01/179.14	c |    100786 |    1298   143366   620643 | 2147483647   100786    103 |  0.000 % |
182.21/182.38	c |    101657 |    1298   143366   620643 | 2147483647   101657    103 |  0.001 % |
184.11/184.24	c |    102617 |    1298   143366   620643 | 2147483647   102617    103 |  0.000 % |
185.90/186.09	c |    103671 |    1298   143366   620643 | 2147483647   103671    103 |  0.000 % |
186.91/187.08	c |    104830 |    1298   143366   620643 | 2147483647   104830    102 |  0.000 % |
187.30/187.43	c |    104931 |    1298   143366   620643 | 2147483647   104931    102 |  0.000 % |
187.80/187.96	c |    105042 |    1298   143366   620643 | 2147483647   105042    102 |  0.000 % |
188.10/188.28	c |    105164 |    1298   143366   620643 | 2147483647   105164    102 |  0.000 % |
188.80/188.93	c |    105298 |    1298   143366   620643 | 2147483647   105298    102 |  0.000 % |
189.11/189.22	c |    105446 |    1298   143366   620643 | 2147483647   105446    102 |  0.000 % |
189.61/189.74	c |    105606 |    1298   143366   620643 | 2147483647   105606    102 |  0.000 % |
190.11/190.21	c |    105782 |    1298   143366   620643 | 2147483647   105782    102 |  0.000 % |
190.51/190.68	c |    105975 |    1298   143366   620643 | 2147483647   105975    102 |  0.000 % |
191.31/191.43	c |    106187 |    1298   143366   620643 | 2147483647   106187    102 |  0.000 % |
192.31/192.45	c |    106425 |    1298   143366   620643 | 2147483647   106425    102 |  0.000 % |
193.60/193.74	c |    106684 |    1298   143366   620643 | 2147483647   106684    102 |  0.000 % |
194.20/194.40	c |    106968 |    1298   143366   620643 | 2147483647   106968    102 |  0.001 % |
195.30/195.47	c |    107277 |    1298   143366   620643 | 2147483647   107277    102 |  0.000 % |
196.10/196.22	c |    107620 |    1298   143366   620643 | 2147483647   107620    102 |  0.000 % |
196.90/197.07	c |    107992 |    1298   143366   620643 | 2147483647   107992    102 |  0.000 % |
197.90/198.05	c |    108402 |    1298   143366   620643 | 2147483647   108402    102 |  0.000 % |
199.60/199.71	c |    108852 |    1298   143366   620643 | 2147483647   108852    102 |  0.000 % |
200.80/200.90	c |    109345 |    1298   143366   620643 | 2147483647   109345    102 |  0.000 % |
202.00/202.20	c |    109893 |    1298   143366   620643 | 2147483647   109893    102 |  0.000 % |
203.50/203.67	c |    110493 |    1298   143366   620643 | 2147483647   110493    102 |  0.000 % |
205.61/205.79	c |    111150 |    1298   143366   620643 | 2147483647   111150    101 |  0.001 % |
207.50/207.63	c |    111872 |    1298   143366   620643 | 2147483647   111872    101 |  0.001 % |
209.80/209.97	c |    112666 |    1298   143366   620643 | 2147483647   112666    101 |  0.000 % |
210.60/210.79	c |    113540 |    1298   143366   620643 | 2147483647   113540    101 |  0.000 % |
212.40/212.54	c |    114500 |    1298   143366   620643 | 2147483647   114500    101 |  0.000 % |
215.30/215.41	c |    115555 |    1298   143366   620643 | 2147483647   115555    101 |  0.000 % |
218.80/218.99	c |    116717 |    1298   143366   620643 | 2147483647   116717    101 |  0.000 % |
221.30/221.42	c |    117990 |    1298   143366   620643 | 2147483647   117990    101 |  0.000 % |
221.50/221.66	c |    118090 |    1298   143366   620643 | 2147483647   118090    101 |  0.000 % |
221.80/221.92	c |    118200 |    1298   143366   620643 | 2147483647   118200    101 |  0.000 % |
222.10/222.21	c |    118321 |    1298   143366   620643 | 2147483647   118321    101 |  0.000 % |
222.50/222.66	c |    118454 |    1298   143366   620643 | 2147483647   118454    101 |  0.000 % |
223.00/223.18	c |    118600 |    1298   143366   620643 | 2147483647   118600    101 |  0.000 % |
223.50/223.63	c |    118761 |    1298   143366   620643 | 2147483647   118761    101 |  0.000 % |
224.00/224.18	c |    118938 |    1298   143366   620643 | 2147483647   118938    101 |  0.000 % |
224.50/224.66	c |    119131 |    1298   143366   620643 | 2147483647   119131    101 |  0.000 % |
224.90/225.05	c |    119343 |    1298   143366   620643 | 2147483647   119343    101 |  0.000 % |
226.09/226.27	c |    119578 |    1298   143366   620643 | 2147483647   119578    101 |  0.001 % |
226.59/226.72	c |    119835 |    1298   143366   620643 | 2147483647   119835    101 |  0.000 % |
227.29/227.42	c |    120118 |    1298   143366   620643 | 2147483647   120118    101 |  0.000 % |
227.89/228.08	c |    120427 |    1298   143366   620643 | 2147483647   120427    101 |  0.000 % |
228.49/228.62	c |    120768 |    1298   143366   620643 | 2147483647   120768    101 |  0.000 % |
229.39/229.58	c |    121142 |    1298   143366   620643 | 2147483647   121142    101 |  0.000 % |
230.69/230.82	c |    121556 |    1298   143366   620643 | 2147483647   121556    101 |  0.000 % |
232.79/232.91	c |    122005 |    1298   143366   620643 | 2147483647   122005    101 |  0.000 % |
234.99/235.18	c |    122498 |    1298   143366   620643 | 2147483647   122498    101 |  0.000 % |
236.29/236.48	c |    123042 |    1298   143366   620643 | 2147483647   123042    101 |  0.000 % |
237.79/237.95	c |    123638 |    1298   143366   620643 | 2147483647   123638    101 |  0.000 % |
239.69/239.84	c |    124293 |    1298   143366   620643 | 2147483647   124293    101 |  0.000 % |
241.48/241.66	c |    125014 |    1298   143366   620643 | 2147483647   125014    101 |  0.000 % |
244.39/244.59	c |    125806 |    1298   143366   620643 | 2147483647   125806    101 |  0.000 % |
245.99/246.19	c |    126677 |    1298   143366   620643 | 2147483647   126677    101 |  0.000 % |
248.89/249.09	c |    127637 |    1298   143366   620643 | 2147483647   127637    101 |  0.000 % |
251.58/251.70	c |    128691 |    1298   143366   620643 | 2147483647   128691    101 |  0.000 % |
255.18/255.34	c |    129849 |    1298   143366   620643 | 2147483647   129849    101 |  0.000 % |
258.18/258.31	c |    131122 |    1298   143366   620643 | 2147483647   131122    101 |  0.000 % |
261.68/261.81	c |    132523 |    1298   143366   620643 | 2147483647   132523    100 |  0.001 % |
261.88/262.09	c |    132623 |    1298   143366   620643 | 2147483647   132623    100 |  0.000 % |
262.38/262.55	c |    132735 |    1298   143366   620643 | 2147483647   132735    100 |  0.000 % |
262.78/262.99	c |    132856 |    1298   143366   620643 | 2147483647   132856    100 |  0.000 % |
263.28/263.48	c |    132990 |    1298   143366   620643 | 2147483647   132990    100 |  0.000 % |
263.68/263.85	c |    133136 |    1298   143366   620643 | 2147483647   133136    100 |  0.000 % |
263.98/264.19	c |    133296 |    1298   143366   620643 | 2147483647   133296    100 |  0.000 % |
264.89/265.06	c |    133472 |    1298   143366   620643 | 2147483647   133472    100 |  0.000 % |
265.68/265.81	c |    133666 |    1298   143366   620643 | 2147483647   133666    100 |  0.000 % |
266.08/266.23	c |    133879 |    1298   143366   620643 | 2147483647   133879    100 |  0.000 % |
267.38/267.59	c |    134113 |    1298   143366   620643 | 2147483647   134113    100 |  0.000 % |
268.68/268.80	c |    134370 |    1298   143366   620643 | 2147483647   134370    100 |  0.000 % |
269.18/269.32	c |    134652 |    1298   143366   620643 | 2147483647   134652    100 |  0.000 % |
270.48/270.64	c |    134961 |    1298   143366   620643 | 2147483647   134961    100 |  0.000 % |
270.98/271.13	c |    135302 |    1298   143366   620643 | 2147483647   135302    100 |  0.000 % |
271.67/271.84	c |    135674 |    1298   143366   620643 | 2147483647   135674    100 |  0.000 % |
272.58/272.71	c |    136084 |    1298   143366   620643 | 2147483647   136084    100 |  0.000 % |
273.87/274.07	c |    136536 |    1298   143366   620643 | 2147483647   136536    100 |  0.000 % |
275.87/276.02	c |    137030 |    1298   143366   620643 | 2147483647   137030    100 |  0.000 % |
276.97/277.12	c |    137572 |    1298   143366   620643 | 2147483647   137572    100 |  0.000 % |
278.67/278.81	c |    138169 |    1298   143366   620643 | 2147483647   138169    100 |  0.000 % |
279.77/279.92	c |    138825 |    1298   143366   620643 | 2147483647   138825    101 |  0.000 % |
282.38/282.50	c |    139546 |    1298   143366   620643 | 2147483647   139546    101 |  0.000 % |
284.38/284.53	c |    140338 |    1298   143366   620643 | 2147483647   140338    101 |  0.000 % |
287.27/287.47	c |    141211 |    1298   143366   620643 | 2147483647   141211    101 |  0.000 % |
290.28/290.48	c |    142169 |    1298   143366   620643 | 2147483647   142169    101 |  0.000 % |
292.77/292.97	c |    143225 |    1298   143366   620643 | 2147483647   143225    101 |  0.000 % |
295.67/295.89	c |    144383 |    1298   143366   620643 | 2147483647   144383    101 |  0.000 % |
300.46/300.64	c |    145657 |    1298   143366   620643 | 2147483647   145657    101 |  0.000 % |
302.57/302.72	c |    147057 |    1298   143366   620643 | 2147483647   147057    101 |  0.000 % |
308.57/308.78	c |    148598 |    1298   143366   620643 | 2147483647   148598    102 |  0.000 % |
308.87/309.03	c |    148698 |    1298   143366   620643 | 2147483647   148698    102 |  0.000 % |
309.27/309.42	c |    148808 |    1298   143366   620643 | 2147483647   148808    102 |  0.000 % |
309.77/309.92	c |    148929 |    1298   143366   620643 | 2147483647   148929    102 |  0.000 % |
310.27/310.40	c |    149062 |    1298   143366   620643 | 2147483647   149062    102 |  0.000 % |
310.87/311.09	c |    149208 |    1298   143366   620643 | 2147483647   149208    102 |  0.000 % |
311.76/311.95	c |    149369 |    1298   143366   620643 | 2147483647   149369    102 |  0.000 % |
312.27/312.43	c |    149545 |    1298   143366   620643 | 2147483647   149545    102 |  0.000 % |
312.86/313.08	c |    149739 |    1298   143366   620643 | 2147483647   149739    102 |  0.000 % |
313.56/313.78	c |    149952 |    1298   143366   620643 | 2147483647   149952    102 |  0.000 % |
314.26/314.42	c |    150187 |    1298   143366   620643 | 2147483647   150187    102 |  0.000 % |
314.96/315.14	c |    150444 |    1298   143366   620643 | 2147483647   150444    102 |  0.000 % |
315.96/316.18	c |    150725 |    1298   143366   620643 | 2147483647   150725    101 |  0.000 % |
316.86/317.03	c |    151034 |    1298   143366   620643 | 2147483647   151034    101 |  0.000 % |
318.96/319.16	c |    151374 |    1298   143366   620643 | 2147483647   151374    102 |  0.000 % |
319.66/319.81	c |    151748 |    1298   143366   620643 | 2147483647   151748    102 |  0.000 % |
321.07/321.22	c |    152160 |    1298   143366   620643 | 2147483647   152160    102 |  0.000 % |
322.26/322.48	c |    152610 |    1298   143366   620643 | 2147483647   152610    102 |  0.000 % |
323.56/323.71	c |    153103 |    1298   143366   620643 | 2147483647   153103    102 |  0.000 % |
324.56/324.79	c |    153645 |    1298   143366   620643 | 2147483647   153645    102 |  0.000 % |
325.96/326.15	c |    154242 |    1298   143366   620643 | 2147483647   154242    102 |  0.000 % |
328.66/328.84	c |    154898 |    1298   143366   620643 | 2147483647   154898    102 |  0.000 % |
331.05/331.26	c |    155620 |    1298   143366   620643 | 2147483647   155620    102 |  0.000 % |
334.16/334.38	c |    156413 |    1298   143366   620643 | 2147483647   156413    101 |  0.000 % |
337.55/337.77	c |    157284 |    1298   143366   620643 | 2147483647   157284    101 |  0.000 % |
339.45/339.69	c |    158243 |    1298   143366   620643 | 2147483647   158243    101 |  0.000 % |
342.45/342.63	c |    159296 |    1298   143366   620643 | 2147483647   159296    101 |  0.000 % |
344.45/344.63	c |    160455 |    1298   143366   620643 | 2147483647   160455    101 |  0.000 % |
346.15/346.38	c |    161730 |    1298   143366   620643 | 2147483647   161730    101 |  0.000 % |
348.25/348.44	c |    163131 |    1298   143366   620643 | 2147483647   163131    101 |  0.000 % |
351.25/351.48	c |    164672 |    1298   143366   620643 | 2147483647   164672    101 |  0.000 % |
354.34/354.58	c |    166366 |    1298   143366   620643 | 2147483647   166366    101 |  0.000 % |
354.54/354.77	c |    166466 |    1298   143366   620643 | 2147483647   166466    101 |  0.000 % |
354.84/355.00	c |    166576 |    1298   143366   620643 | 2147483647   166576    101 |  0.000 % |
355.34/355.55	c |    166697 |    1298   143366   620643 | 2147483647   166697    101 |  0.000 % |
355.74/355.96	c |    166831 |    1298   143366   620643 | 2147483647   166831    101 |  0.000 % |
356.85/357.03	c |    166978 |    1298   143366   620643 | 2147483647   166978    101 |  0.000 % |
357.65/357.84	c |    167139 |    1298   143366   620643 | 2147483647   167139    101 |  0.000 % |
358.35/358.51	c |    167316 |    1298   143366   620643 | 2147483647   167316    101 |  0.000 % |
358.95/359.18	c |    167513 |    1298   143366   620643 | 2147483647   167513    101 |  0.001 % |
359.85/360.05	c |    167726 |    1298   143366   620643 | 2147483647   167726    101 |  0.000 % |
360.65/360.87	c |    167960 |    1298   143366   620643 | 2147483647   167960    101 |  0.000 % |
361.45/361.65	c |    168218 |    1298   143366   620643 | 2147483647   168218    101 |  0.000 % |
362.45/362.63	c |    168499 |    1298   143366   620643 | 2147483647   168499    101 |  0.000 % |
363.14/363.40	c |    168808 |    1298   143366   620643 | 2147483647   168808    101 |  0.000 % |
363.95/364.19	c |    169147 |    1298   143366   620643 | 2147483647   169147    101 |  0.000 % |
364.74/364.95	c |    169520 |    1298   143366   620643 | 2147483647   169520    101 |  0.000 % |
366.34/366.58	c |    169931 |    1298   143366   620643 | 2147483647   169931    101 |  0.000 % |
368.25/368.44	c |    170380 |    1298   143366   620643 | 2147483647   170380    101 |  0.000 % |
369.54/369.78	c |    170873 |    1298   143366   620643 | 2147483647   170873    101 |  0.000 % |
370.94/371.12	c |    171415 |    1298   143366   620643 | 2147483647   171415    101 |  0.000 % |
372.44/372.63	c |    172013 |    1298   143366   620643 | 2147483647   172013    101 |  0.001 % |
374.64/374.85	c |    172668 |    1298   143366   620643 | 2147483647   172668    101 |  0.000 % |
377.73/377.96	c |    173389 |    1298   143366   620643 | 2147483647   173389    101 |  0.000 % |
380.23/380.41	c |    174181 |    1298   143366   620643 | 2147483647   174181    101 |  0.000 % |
382.93/383.10	c |    175054 |    1298   143366   620643 | 2147483647   175054    100 |  0.000 % |
385.84/386.05	c |    176014 |    1298   143366   620643 | 2147483647   176014    101 |  0.000 % |
391.14/391.36	c |    177069 |    1298   143366   620643 | 2147483647   177069    101 |  0.000 % |
394.83/395.08	c |    178227 |    1298   143366   620643 | 2147483647   178227    101 |  0.000 % |
398.63/398.80	c |    179500 |    1298   143366   620643 | 2147483647   179500    101 |  0.000 % |
402.23/402.41	c |    180901 |    1298   143366   620643 | 2147483647   180901    101 |  0.000 % |
406.03/406.27	c |    182441 |    1298   143366   620643 | 2147483647   182441    101 |  0.000 % |
409.73/409.94	c |    184136 |    1298   143366   620643 | 2147483647   184136    101 |  0.000 % |
415.83/416.04	c |    186004 |    1298   143366   620643 | 2147483647   186004    101 |  0.000 % |
416.32/416.57	c |    186106 |    1298   143366   620643 | 2147483647   186106    101 |  0.000 % |
416.82/417.09	c |    186216 |    1298   143366   620643 | 2147483647   186216    101 |  0.000 % |
417.33/417.57	c |    186338 |    1298   143366   620643 | 2147483647   186338    101 |  0.000 % |
417.93/418.14	c |    186472 |    1298   143366   620643 | 2147483647   186472    101 |  0.000 % |
418.43/418.65	c |    186622 |    1298   143366   620643 | 2147483647   186622    101 |  0.000 % |
419.03/419.21	c |    186782 |    1298   143366   620643 | 2147483647   186782    101 |  0.000 % |
419.73/419.97	c |    186958 |    1298   143366   620643 | 2147483647   186958    101 |  0.000 % |
420.43/420.62	c |    187151 |    1298   143366   620643 | 2147483647   187151    101 |  0.000 % |
421.13/421.33	c |    187363 |    1298   143366   620643 | 2147483647   187363    101 |  0.000 % |
421.53/421.78	c |    187596 |    1298   143366   620643 | 2147483647   187596    101 |  0.000 % |
423.03/423.20	c |    187852 |    1298   143366   620643 | 2147483647   187852    101 |  0.000 % |
424.03/424.27	c |    188137 |    1298   143366   620643 | 2147483647   188137    101 |  0.000 % |
425.03/425.22	c |    188446 |    1298   143366   620643 | 2147483647   188446    101 |  0.000 % |
426.33/426.59	c |    188785 |    1298   143366   620643 | 2147483647   188785    101 |  0.000 % |
426.92/427.19	c |    189159 |    1298   143366   620643 | 2147483647   189159    101 |  0.000 % |
427.73/427.98	c |    189568 |    1298   143366   620643 | 2147483647   189568    101 |  0.000 % |
430.02/430.25	c |    190017 |    1298   143366   620643 | 2147483647   190017    101 |  0.000 % |
432.03/432.30	c |    190510 |    1298   143366   620643 | 2147483647   190510    101 |  0.000 % |
434.72/434.97	c |    191052 |    1298   143366   620643 | 2147483647   191052    101 |  0.000 % |
436.62/436.87	c |    191648 |    1298   143366   620643 | 2147483647   191648    101 |  0.000 % |
439.82/440.02	c |    192303 |    1298   143366   620643 | 2147483647   192303    101 |  0.000 % |
443.42/443.68	c |    193027 |    1298   143366   620643 | 2147483647   193027    101 |  0.000 % |
447.42/447.60	c |    193819 |    1298   143366   620643 | 2147483647   193819    101 |  0.000 % |
450.01/450.27	c |    194690 |    1298   143366   620643 | 2147483647   194690    101 |  0.000 % |
451.92/452.17	c |    195648 |    1298   143366   620643 | 2147483647   195648    101 |  0.001 % |
454.41/454.66	c |    196703 |    1298   143366   620643 | 2147483647   196703    101 |  0.000 % |
456.11/456.39	c |    197862 |    1298   143366   620643 | 2147483647   197862    101 |  0.000 % |
459.02/459.22	c |    199135 |    1298   143366   620643 | 2147483647   199135    101 |  0.000 % |
462.32/462.59	c |    200538 |    1298   143366   620643 | 2147483647   200538    101 |  0.000 % |
466.51/466.73	c |    202081 |    1298   143366   620643 | 2147483647   202081    101 |  0.000 % |
474.81/475.02	c |    203776 |    1298   143366   620643 | 2147483647   203776    101 |  0.000 % |
478.71/478.90	c |    205639 |    1298   143366   620643 | 2147483647   205639    101 |  0.000 % |
483.60/483.88	c |    207690 |    1298   143366   620643 | 2147483647   207690    101 |  0.000 % |
484.00/484.29	c |    207791 |    1298   143366   620643 | 2147483647   207791    101 |  0.000 % |
484.60/484.86	c |    207904 |    1298   143366   620643 | 2147483647   207904    101 |  0.000 % |
485.10/485.39	c |    208026 |    1298   143366   620643 | 2147483647   208026    101 |  0.000 % |
486.01/486.27	c |    208160 |    1298   143366   620643 | 2147483647   208160    101 |  0.000 % |
486.60/486.87	c |    208306 |    1298   143366   620643 | 2147483647   208306    101 |  0.000 % |
487.30/487.52	c |    208466 |    1298   143366   620643 | 2147483647   208466    101 |  0.000 % |
488.10/488.31	c |    208646 |    1298   143366   620643 | 2147483647   208646    101 |  0.000 % |
489.10/489.34	c |    208840 |    1298   143366   620643 | 2147483647   208840    101 |  0.000 % |
489.90/490.17	c |    209055 |    1298   143366   620643 | 2147483647   209055    101 |  0.000 % |
491.10/491.33	c |    209288 |    1298   143366   620643 | 2147483647   209288    101 |  0.000 % |
491.90/492.14	c |    209545 |    1298   143366   620643 | 2147483647   209545    101 |  0.000 % |
492.70/492.92	c |    209826 |    1298   143366   620643 | 2147483647   209826    101 |  0.000 % |
493.80/494.09	c |    210135 |    1298   143366   620643 | 2147483647   210135    101 |  0.000 % |
495.11/495.36	c |    210474 |    1298   143366   620643 | 2147483647   210474    101 |  0.000 % |
496.11/496.37	c |    210846 |    1298   143366   620643 | 2147483647   210846    101 |  0.000 % |
498.21/498.46	c |    211255 |    1298   143366   620643 | 2147483647   211255    101 |  0.000 % |
500.51/500.71	c |    211704 |    1298   143366   620643 | 2147483647   211704    101 |  0.000 % |
502.10/502.36	c |    212197 |    1298   143366   620643 | 2147483647   212197    101 |  0.000 % |
504.20/504.47	c |    212740 |    1298   143366   620643 | 2147483647   212740    101 |  0.000 % |
506.60/506.85	c |    213336 |    1298   143366   620643 | 2147483647   213336    101 |  0.000 % |
508.70/508.96	c |    213991 |    1298   143366   620643 | 2147483647   213991    101 |  0.000 % |
509.90/510.17	c |    214712 |    1298   143366   620643 | 2147483647   214712    101 |  0.000 % |
512.20/512.40	c |    215504 |    1298   143366   620643 | 2147483647   215504    101 |  0.000 % |
514.79/515.01	c |    216375 |    1298   143366   620643 | 2147483647   216375    101 |  0.000 % |
518.20/518.45	c |    217333 |    1298   143366   620643 | 2147483647   217333    101 |  0.000 % |
522.40/522.60	c |    218388 |    1298   143366   620643 | 2147483647   218388    101 |  0.000 % |
526.90/527.18	c |    219546 |    1298   143366   620643 | 2147483647   219546    101 |  0.000 % |
531.80/532.05	c |    220819 |    1298   143366   620643 | 2147483647   220819    101 |  0.000 % |
535.79/536.02	c |    222221 |    1298   143366   620643 | 2147483647   222221    101 |  0.000 % |
540.49/540.70	c |    223761 |    1298   143366   620643 | 2147483647   223761    101 |  0.000 % |
546.49/546.76	c |    225455 |    1298   143366   620643 | 2147483647   225455    101 |  0.000 % |
552.89/553.12	c |    227318 |    1298   143366   620643 | 2147483647   227318    101 |  0.000 % |
558.49/558.79	c |    229369 |    1298   143366   620643 | 2147483647   229369    101 |  0.000 % |
566.59/566.82	c |    231622 |    1298   143366   620643 | 2147483647   231622    101 |  0.000 % |
566.99/567.24	c |    231724 |    1298   143366   620643 | 2147483647   231724    101 |  0.000 % |
567.39/567.66	c |    231838 |    1298   143366   620643 | 2147483647   231838    101 |  0.000 % |
567.99/568.27	c |    231959 |    1298   143366   620643 | 2147483647   231959    101 |  0.000 % |
568.49/568.71	c |    232092 |    1298   143366   620643 | 2147483647   232092    101 |  0.000 % |
568.88/569.19	c |    232238 |    1298   143366   620643 | 2147483647   232238    101 |  0.000 % |
569.59/569.83	c |    232400 |    1298   143366   620643 | 2147483647   232400    101 |  0.000 % |
570.28/570.51	c |    232576 |    1298   143366   620643 | 2147483647   232576    101 |  0.000 % |
571.48/571.75	c |    232770 |    1298   143366   620643 | 2147483647   232770    101 |  0.000 % |
572.38/572.67	c |    232984 |    1298   143366   620643 | 2147483647   232984    101 |  0.000 % |
573.08/573.39	c |    233219 |    1298   143366   620643 | 2147483647   233219    101 |  0.000 % |
574.78/575.05	c |    233475 |    1298   143366   620643 | 2147483647   233475    101 |  0.000 % |
576.08/576.34	c |    233756 |    1298   143366   620643 | 2147483647   233756    101 |  0.000 % |
576.98/577.27	c |    234066 |    1298   143366   620643 | 2147483647   234066    101 |  0.000 % |
578.08/578.31	c |    234405 |    1298   143366   620643 | 2147483647   234405    101 |  0.000 % |
579.78/580.06	c |    234778 |    1298   143366   620643 | 2147483647   234778    101 |  0.000 % |
581.37/581.64	c |    235187 |    1298   143366   620643 | 2147483647   235187    101 |  0.000 % |
583.27/583.50	c |    235637 |    1298   143366   620643 | 2147483647   235637    101 |  0.000 % |
584.98/585.29	c |    236130 |    1298   143366   620643 | 2147483647   236130    101 |  0.000 % |
586.27/586.54	c |    236672 |    1298   143366   620643 | 2147483647   236672    101 |  0.000 % |
588.88/589.12	c |    237268 |    1298   143366   620643 | 2147483647   237268    101 |  0.000 % |
593.28/593.54	c |    237923 |    1298   143366   620643 | 2147483647   237923    101 |  0.000 % |
595.58/595.85	c |    238643 |    1298   143366   620643 | 2147483647   238643    101 |  0.000 % |
597.58/597.85	c |    239436 |    1298   143366   620643 | 2147483647   239436    101 |  0.000 % |
601.17/601.47	c |    240307 |    1298   143366   620643 | 2147483647   240307    101 |  0.000 % |
604.27/604.53	c |    241265 |    1298   143366   620643 | 2147483647   241265    101 |  0.000 % |
608.97/609.25	c |    242319 |    1298   143366   620643 | 2147483647   242319    101 |  0.000 % |
612.67/612.99	c |    243477 |    1298   143366   620643 | 2147483647   243477    101 |  0.000 % |
617.37/617.63	c |    244750 |    1298   143366   620643 | 2147483647   244750    101 |  0.000 % |
620.56/620.83	c |    246151 |    1298   143366   620643 | 2147483647   246151    101 |  0.000 % |
625.86/626.18	c |    247692 |    1298   143366   620643 | 2147483647   247692    101 |  0.000 % |
633.07/633.38	c |    249389 |    1298   143366   620643 | 2147483647   249389    100 |  0.000 % |
638.77/639.07	c |    251255 |    1298   143366   620643 | 2147483647   251255    100 |  0.000 % |
646.56/646.82	c |    253305 |    1298   143366   620643 | 2147483647   253305    100 |  0.000 % |
651.96/652.28	c |    255558 |    1298   143366   620643 | 2147483647   255558    100 |  0.000 % |
656.46/656.74	c |    258036 |    1298   143366   620643 | 2147483647   258036    100 |  0.000 % |
657.15/657.42	c |    258136 |    1298   143366   620643 | 2147483647   258136    100 |  0.000 % |
657.56/657.83	c |    258248 |    1298   143366   620643 | 2147483647   258248    100 |  0.000 % |
658.45/658.79	c |    258370 |    1298   143366   620643 | 2147483647   258370    100 |  0.000 % |
659.05/659.35	c |    258503 |    1298   143366   620643 | 2147483647   258503    100 |  0.000 % |
659.86/660.10	c |    258649 |    1298   143366   620643 | 2147483647   258649    100 |  0.000 % |
660.56/660.85	c |    258809 |    1298   143366   620643 | 2147483647   258809    100 |  0.000 % |
661.96/662.22	c |    258985 |    1298   143366   620643 | 2147483647   258985    100 |  0.000 % |
662.96/663.22	c |    259178 |    1298   143366   620643 | 2147483647   259178    100 |  0.000 % |
663.86/664.13	c |    259390 |    1298   143366   620643 | 2147483647   259390    100 |  0.000 % |
664.96/665.23	c |    259625 |    1298   143366   620643 | 2147483647   259625    100 |  0.000 % |
666.15/666.48	c |    259881 |    1298   143366   620643 | 2147483647   259881    100 |  0.001 % |
667.36/667.70	c |    260163 |    1298   143366   620643 | 2147483647   260163    100 |  0.000 % |
668.75/669.09	c |    260472 |    1298   143366   620643 | 2147483647   260472    100 |  0.000 % |
670.15/670.45	c |    260816 |    1298   143366   620643 | 2147483647   260816    100 |  0.000 % |
671.55/671.84	c |    261189 |    1298   143366   620643 | 2147483647   261189    100 |  0.000 % |
672.55/672.88	c |    261599 |    1298   143366   620643 | 2147483647   261599    100 |  0.000 % |
673.55/673.86	c |    262048 |    1298   143366   620643 | 2147483647   262048    100 |  0.000 % |
676.45/676.74	c |    262541 |    1298   143366   620643 | 2147483647   262541    100 |  0.000 % |
679.75/680.08	c |    263084 |    1298   143366   620643 | 2147483647   263084    100 |  0.000 % |
682.64/682.92	c |    263680 |    1298   143366   620643 | 2147483647   263680    100 |  0.000 % |
684.74/685.03	c |    264336 |    1298   143366   620643 | 2147483647   264336    100 |  0.001 % |
686.95/687.24	c |    265058 |    1298   143366   620643 | 2147483647   265058    100 |  0.000 % |
691.74/692.06	c |    265852 |    1298   143366   620643 | 2147483647   265852    100 |  0.000 % |
696.05/696.34	c |    266723 |    1298   143366   620643 | 2147483647   266723    100 |  0.000 % |
700.64/700.91	c |    267681 |    1298   143366   620643 | 2147483647   267681    100 |  0.000 % |
704.74/705.09	c |    268736 |    1298   143366   620643 | 2147483647   268736    100 |  0.000 % |
708.74/709.09	c |    269894 |    1298   143366   620643 | 2147483647   269894    100 |  0.000 % |
713.34/713.70	c |    271168 |    1298   143366   620643 | 2147483647   271168     99 |  0.000 % |
720.53/720.84	c |    272570 |    1298   143366   620643 | 2147483647   272570     99 |  0.000 % |
725.64/725.93	c |    274110 |    1298   143366   620643 | 2147483647   274110     99 |  0.000 % |
731.63/731.94	c |    275805 |    1298   143366   620643 | 2147483647   275805     99 |  0.000 % |
736.44/736.70	c |    277675 |    1298   143366   620643 | 2147483647   277675     99 |  0.000 % |
742.73/743.05	c |    279728 |    1298   143366   620643 | 2147483647   279728     99 |  0.000 % |
749.33/749.69	c |    281981 |    1298   143366   620643 | 2147483647   281981     99 |  0.000 % |
760.93/761.29	c |    284460 |    1298   143366   620643 | 2147483647   284460     99 |  0.000 % |
772.02/772.33	c |    287185 |    1298   143366   620643 | 2147483647   287185     99 |  0.000 % |
772.32/772.63	c |    287285 |    1298   143366   620643 | 2147483647   287285     99 |  0.000 % |
772.62/772.98	c |    287396 |    1298   143366   620643 | 2147483647   287396     99 |  0.000 % |
773.22/773.52	c |    287518 |    1298   143366   620643 | 2147483647   287518     99 |  0.000 % |
774.32/774.61	c |    287652 |    1298   143366   620643 | 2147483647   287652     99 |  0.000 % |
774.92/775.23	c |    287798 |    1298   143366   620643 | 2147483647   287798     99 |  0.000 % |
775.82/776.18	c |    287958 |    1298   143366   620643 | 2147483647   287958     99 |  0.000 % |
776.52/776.88	c |    288134 |    1298   143366   620643 | 2147483647   288134     99 |  0.000 % |
777.82/778.12	c |    288327 |    1298   143366   620643 | 2147483647   288327     99 |  0.000 % |
778.92/779.23	c |    288539 |    1298   143366   620643 | 2147483647   288539     99 |  0.000 % |
781.02/781.32	c |    288774 |    1298   143366   620643 | 2147483647   288774     99 |  0.000 % |
782.12/782.44	c |    289030 |    1298   143366   620643 | 2147483647   289030     99 |  0.000 % |
783.42/783.76	c |    289311 |    1298   143366   620643 | 2147483647   289311     99 |  0.000 % |
784.62/784.97	c |    289620 |    1298   143366   620643 | 2147483647   289620     99 |  0.000 % |
787.02/787.39	c |    289959 |    1298   143366   620643 | 2147483647   289959     99 |  0.000 % |
788.92/789.27	c |    290332 |    1298   143366   620643 | 2147483647   290332     99 |  0.000 % |
790.82/791.15	c |    290741 |    1298   143366   620643 | 2147483647   290741     99 |  0.000 % |
793.21/793.54	c |    291191 |    1298   143366   620643 | 2147483647   291191     99 |  0.000 % |
795.21/795.59	c |    291686 |    1298   143366   620643 | 2147483647   291686     99 |  0.001 % |
797.41/797.71	c |    292229 |    1298   143366   620643 | 2147483647   292229     99 |  0.000 % |
800.01/800.32	c |    292825 |    1298   143366   620643 | 2147483647   292825     99 |  0.000 % |
803.31/803.62	c |    293480 |    1298   143366   620643 | 2147483647   293480     99 |  0.001 % |
806.21/806.54	c |    294201 |    1298   143366   620643 | 2147483647   294201     99 |  0.000 % |
808.31/808.61	c |    294993 |    1298   143366   620643 | 2147483647   294993     99 |  0.000 % |
811.51/811.86	c |    295864 |    1298   143366   620643 | 2147483647   295864     99 |  0.000 % |
815.41/815.75	c |    296823 |    1298   143366   620643 | 2147483647   296823     99 |  0.000 % |
820.11/820.49	c |    297878 |    1298   143366   620643 | 2147483647   297878     99 |  0.000 % |
823.90/824.21	c |    299039 |    1298   143366   620643 | 2147483647   299039     99 |  0.000 % |
829.70/830.03	c |    300312 |    1298   143366   620643 | 2147483647   300312     99 |  0.000 % |
837.40/837.79	c |    301715 |    1298   143366   620643 | 2147483647   301715     99 |  0.000 % |
845.99/846.35	c |    303255 |    1298   143366   620643 | 2147483647   303255     99 |  0.000 % |
854.40/854.76	c |    304949 |    1298   143366   620643 | 2147483647   304949     99 |  0.000 % |
863.89/864.21	c |    306812 |    1298   143366   620643 | 2147483647   306812     99 |  0.000 % |
871.39/871.72	c |    308861 |    1298   143366   620643 | 2147483647   308861     98 |  0.000 % |
880.89/881.21	c |    311114 |    1298   143366   620643 | 2147483647   311114     98 |  0.000 % |
892.18/892.56	c |    313592 |    1298   143366   620643 | 2147483647   313592     98 |  0.001 % |
899.79/900.15	c |    316319 |    1298   143366   620643 | 2147483647   316319     98 |  0.000 % |
912.78/913.16	c |    319317 |    1298   143366   620643 | 2147483647   319317     98 |  0.000 % |
913.48/913.84	c |    319419 |    1298   143366   620643 | 2147483647   319419     98 |  0.000 % |
914.18/914.58	c |    319530 |    1298   143366   620643 | 2147483647   319530     98 |  0.000 % |
914.88/915.23	c |    319656 |    1298   143366   620643 | 2147483647   319656     98 |  0.000 % |
916.08/916.41	c |    319790 |    1298   143366   620643 | 2147483647   319790     98 |  0.000 % |
916.68/917.09	c |    319939 |    1298   143366   620643 | 2147483647   319939     98 |  0.000 % |
917.98/918.35	c |    320100 |    1298   143366   620643 | 2147483647   320100     98 |  0.000 % |
918.68/919.02	c |    320278 |    1298   143366   620643 | 2147483647   320278     98 |  0.000 % |
919.88/920.29	c |    320471 |    1298   143366   620643 | 2147483647   320471     98 |  0.000 % |
920.68/921.08	c |    320684 |    1298   143366   620643 | 2147483647   320684     98 |  0.000 % |
921.88/922.29	c |    320922 |    1298   143366   620643 | 2147483647   320922     98 |  0.000 % |
923.17/923.57	c |    321179 |    1298   143366   620643 | 2147483647   321179     98 |  0.000 % |
924.57/924.90	c |    321460 |    1298   143366   620643 | 2147483647   321460     98 |  0.000 % |
925.97/926.34	c |    321771 |    1298   143366   620643 | 2147483647   321771     98 |  0.000 % |
927.47/927.80	c |    322110 |    1298   143366   620643 | 2147483647   322110     98 |  0.000 % |
929.09/929.43	c |    322482 |    1298   143366   620643 | 2147483647   322482     98 |  0.000 % |
931.08/931.42	c |    322892 |    1298   143366   620643 | 2147483647   322892     98 |  0.000 % |
933.18/933.51	c |    323346 |    1298   143366   620643 | 2147483647   323346     98 |  0.000 % |
935.28/935.60	c |    323839 |    1298   143366   620643 | 2147483647   323839     98 |  0.001 % |
937.67/938.06	c |    324381 |    1298   143366   620643 | 2147483647   324381     98 |  0.000 % |
940.37/940.76	c |    324980 |    1298   143366   620643 | 2147483647   324980     98 |  0.000 % |
944.17/944.55	c |    325635 |    1298   143366   620643 | 2147483647   325635     98 |  0.001 % |
947.27/947.64	c |    326355 |    1298   143366   620643 | 2147483647   326355     98 |  0.000 % |
950.37/950.71	c |    327148 |    1298   143366   620643 | 2147483647   327148     98 |  0.000 % |
955.07/955.46	c |    328025 |    1298   143366   620643 | 2147483647   328025     98 |  0.000 % |
961.26/961.69	c |    328983 |    1298   143366   620643 | 2147483647   328983     98 |  0.000 % |
966.96/967.31	c |    330036 |    1298   143366   620643 | 2147483647   330036     98 |  0.000 % |
971.76/972.13	c |    331196 |    1298   143366   620643 | 2147483647   331196     98 |  0.000 % |
976.17/976.57	c |    332470 |    1298   143366   620643 | 2147483647   332470     98 |  0.000 % |
982.36/982.71	c |    333872 |    1298   143366   620643 | 2147483647   333872     98 |  0.000 % |
985.76/986.19	c |    335412 |    1298   143366   620643 | 2147483647   335412     98 |  0.000 % |
994.45/994.89	c |    337108 |    1298   143366   620643 | 2147483647   337108     98 |  0.000 % |
1003.06/1003.41	c |    338971 |    1298   143366   620643 | 2147483647   338971     98 |  0.000 % |
1009.96/1010.37	c |    341021 |    1298   143366   620643 | 2147483647   341021     98 |  0.000 % |
1020.25/1020.60	c |    343275 |    1298   143366   620643 | 2147483647   343275     98 |  0.000 % |
1030.75/1031.13	c |    345753 |    1298   143366   620643 | 2147483647   345753     98 |  0.001 % |
1042.25/1042.60	c |    348478 |    1298   143366   620643 | 2147483647   348478     98 |  0.001 % |
1055.94/1056.34	c |    351475 |    1298   143366   620643 | 2147483647   351475     97 |  0.000 % |
1069.64/1070.09	c |    354772 |    1298   143366   620643 | 2147483647   354772     97 |  0.000 % |
1070.24/1070.62	c |    354873 |    1298   143366   620643 | 2147483647   354873     97 |  0.000 % |
1070.74/1071.16	c |    354988 |    1298   143366   620643 | 2147483647   354988     97 |  0.000 % |
1071.44/1071.81	c |    355109 |    1298   143366   620643 | 2147483647   355109     97 |  0.001 % |
1072.04/1072.48	c |    355242 |    1298   143366   620643 | 2147483647   355242     97 |  0.000 % |
1072.84/1073.27	c |    355388 |    1298   143366   620643 | 2147483647   355388     97 |  0.000 % |
1073.74/1074.11	c |    355548 |    1298   143366   620643 | 2147483647   355548     97 |  0.000 % |
1074.54/1074.96	c |    355724 |    1298   143366   620643 | 2147483647   355724     97 |  0.000 % |
1075.84/1076.24	c |    355917 |    1298   143366   620643 | 2147483647   355917     97 |  0.000 % |
1077.04/1077.47	c |    356129 |    1298   143366   620643 | 2147483647   356129     97 |  0.000 % |
1078.24/1078.60	c |    356363 |    1298   143366   620643 | 2147483647   356363     97 |  0.000 % |
1079.24/1079.63	c |    356619 |    1298   143366   620643 | 2147483647   356619     97 |  0.001 % |
1080.44/1080.88	c |    356901 |    1298   143366   620643 | 2147483647   356901     97 |  0.000 % |
1081.74/1082.14	c |    357212 |    1298   143366   620643 | 2147483647   357212     97 |  0.000 % |
1084.14/1084.58	c |    357553 |    1298   143366   620643 | 2147483647   357553     97 |  0.000 % |
1086.03/1086.49	c |    357926 |    1298   143366   620643 | 2147483647   357926     97 |  0.000 % |
1087.54/1087.98	c |    358335 |    1298   143366   620643 | 2147483647   358335     97 |  0.000 % |
1089.43/1089.82	c |    358787 |    1298   143366   620643 | 2147483647   358787     97 |  0.000 % |
1091.53/1091.99	c |    359280 |    1298   143366   620643 | 2147483647   359280     97 |  0.000 % |
1093.83/1094.20	c |    359822 |    1298   143366   620643 | 2147483647   359822     97 |  0.000 % |
1097.44/1097.88	c |    360418 |    1298   143366   620643 | 2147483647   360418     97 |  0.000 % |
1101.03/1101.48	c |    361077 |    1298   143366   620643 | 2147483647   361077     97 |  0.000 % |
1107.93/1108.37	c |    361798 |    1298   143366   620643 | 2147483647   361798     97 |  0.000 % |
1114.43/1114.80	c |    362595 |    1298   143366   620643 | 2147483647   362595     97 |  0.000 % |
1119.33/1119.77	c |    363466 |    1298   143366   620643 | 2147483647   363466     97 |  0.000 % |
1124.93/1125.34	c |    364424 |    1298   143366   620643 | 2147483647   364424     97 |  0.000 % |
1128.62/1129.03	c |    365477 |    1298   143366   620643 | 2147483647   365477     97 |  0.000 % |
1135.43/1135.85	c |    366635 |    1298   143366   620643 | 2147483647   366635     97 |  0.000 % |
1140.33/1140.76	c |    367914 |    1298   143366   620643 | 2147483647   367914     97 |  0.000 % |
1147.62/1148.05	c |    369315 |    1298   143366   620643 | 2147483647   369315     97 |  0.000 % |
1155.52/1155.95	c |    370856 |    1298   143366   620643 | 2147483647   370856     97 |  0.000 % |
1162.52/1162.94	c |    372553 |    1298   143366   620643 | 2147483647   372553     97 |  0.000 % |
1172.72/1173.13	c |    374416 |    1298   143366   620643 | 2147483647   374416     97 |  0.000 % |
1182.71/1183.13	c |    376465 |    1298   143366   620643 | 2147483647   376465     97 |  0.000 % |
1199.20/1199.62	c |    378718 |    1298   143366   620643 | 2147483647   378718     97 |  0.000 % |
1211.21/1211.69	c |    381197 |    1298   143366   620643 | 2147483647   381197     97 |  0.000 % |
1217.50/1217.93	c |    383922 |    1298   143366   620643 | 2147483647   383922     97 |  0.000 % |
1230.80/1231.29	c |    386919 |    1298   143366   620643 | 2147483647   386919     97 |  0.000 % |
1243.10/1243.57	c |    390216 |    1298   143366   620643 | 2147483647   390216     97 |  0.000 % |
1254.89/1255.38	c |    393842 |    1298   143366   620643 | 2147483647   393842     97 |  0.000 % |
1255.39/1255.84	c |    393945 |    1298   143366   620643 | 2147483647   393945     97 |  0.000 % |
1256.09/1256.50	c |    394057 |    1298   143366   620643 | 2147483647   394057     97 |  0.000 % |
1257.09/1257.54	c |    394178 |    1298   143366   620643 | 2147483647   394178     97 |  0.000 % |
1257.89/1258.39	c |    394312 |    1298   143366   620643 | 2147483647   394312     97 |  0.000 % |
1258.99/1259.44	c |    394458 |    1298   143366   620643 | 2147483647   394458     97 |  0.000 % |
1259.90/1260.32	c |    394619 |    1298   143366   620643 | 2147483647   394619     97 |  0.000 % |
1260.79/1261.27	c |    394795 |    1298   143366   620643 | 2147483647   394795     97 |  0.000 % |
1261.59/1262.06	c |    394989 |    1298   143366   620643 | 2147483647   394989     97 |  0.000 % |
1262.59/1263.09	c |    395202 |    1298   143366   620643 | 2147483647   395202     97 |  0.000 % |
1263.89/1264.32	c |    395437 |    1298   143366   620643 | 2147483647   395437     97 |  0.000 % |
1264.89/1265.36	c |    395693 |    1298   143366   620643 | 2147483647   395693     97 |  0.000 % |
1267.09/1267.50	c |    395974 |    1298   143366   620643 | 2147483647   395974     97 |  0.000 % |
1268.59/1269.09	c |    396283 |    1298   143366   620643 | 2147483647   396283     97 |  0.000 % |
1270.49/1270.96	c |    396622 |    1298   143366   620643 | 2147483647   396622     97 |  0.000 % |
1272.59/1273.04	c |    396994 |    1298   143366   620643 | 2147483647   396994     97 |  0.000 % |
1274.39/1274.87	c |    397403 |    1298   143366   620643 | 2147483647   397403     97 |  0.000 % |
1276.28/1276.77	c |    397853 |    1298   143366   620643 | 2147483647   397853     97 |  0.000 % |
1279.38/1279.84	c |    398347 |    1298   143366   620643 | 2147483647   398347     97 |  0.000 % |
1281.89/1282.35	c |    398889 |    1298   143366   620643 | 2147483647   398889     97 |  0.000 % |
1285.69/1286.16	c |    399486 |    1298   143366   620643 | 2147483647   399486     97 |  0.000 % |
1289.59/1290.02	c |    400144 |    1298   143366   620643 | 2147483647   400144     97 |  0.000 % |
1293.48/1293.95	c |    400868 |    1298   143366   620643 | 2147483647   400868     97 |  0.000 % |
1297.18/1297.64	c |    401662 |    1298   143366   620643 | 2147483647   401662     97 |  0.000 % |
1301.98/1302.43	c |    402533 |    1298   143366   620643 | 2147483647   402533     96 |  0.000 % |
1309.18/1309.60	c |    403492 |    1298   143366   620643 | 2147483647   403492     96 |  0.000 % |
1315.08/1315.55	c |    404547 |    1298   143366   620643 | 2147483647   404547     96 |  0.000 % |
1323.17/1323.65	c |    405707 |    1298   143366   620643 | 2147483647   405707     96 |  0.000 % |
1329.98/1330.46	c |    406980 |    1298   143366   620643 | 2147483647   406980     96 |  0.000 % |
1336.37/1336.80	c |    408382 |    1298   143366   620643 | 2147483647   408382     96 |  0.000 % |
1342.87/1343.34	c |    409922 |    1298   143366   620643 | 2147483647   409922     96 |  0.000 % |
1351.86/1352.37	c |    411616 |    1298   143366   620643 | 2147483647   411616     96 |  0.000 % |
1361.57/1362.08	c |    413479 |    1298   143366   620643 | 2147483647   413479     96 |  0.000 % |
1370.26/1370.73	c |    415528 |    1298   143366   620643 | 2147483647   415528     96 |  0.000 % |
1386.66/1387.12	c |    417782 |    1298   143366   620643 | 2147483647   417782     96 |  0.000 % |
1397.95/1398.43	c |    420260 |    1298   143366   620643 | 2147483647   420260     96 |  0.000 % |
1414.46/1414.99	c |    422986 |    1298   143366   620643 | 2147483647   422986     96 |  0.000 % |
1427.95/1428.47	c |    425983 |    1298   143366   620643 | 2147483647   425983     96 |  0.000 % |
1439.14/1439.62	c |    429279 |    1298   143366   620643 | 2147483647   429279     96 |  0.000 % |
1450.54/1451.02	c |    432905 |    1298   143366   620643 | 2147483647   432905     96 |  0.000 % |
1469.64/1470.19	c |    436892 |    1298   143366   620643 | 2147483647   436892     96 |  0.000 % |
1470.44/1470.94	c |    436992 |    1298   143366   620643 | 2147483647   436992     96 |  0.000 % |
1471.35/1471.82	c |    437110 |    1298   143366   620643 | 2147483647   437110     96 |  0.000 % |
1472.04/1472.56	c |    437232 |    1298   143366   620643 | 2147483647   437232     96 |  0.000 % |
1472.74/1473.28	c |    437365 |    1298   143366   620643 | 2147483647   437365     96 |  0.000 % |
1473.34/1473.80	c |    437511 |    1298   143366   620643 | 2147483647   437511     96 |  0.000 % |
1474.55/1475.07	c |    437671 |    1298   143366   620643 | 2147483647   437671     96 |  0.000 % |
1475.34/1475.84	c |    437847 |    1298   143366   620643 | 2147483647   437847     96 |  0.000 % |
1477.14/1477.64	c |    438043 |    1298   143366   620643 | 2147483647   438043     96 |  0.000 % |
1478.64/1479.11	c |    438256 |    1298   143366   620643 | 2147483647   438256     96 |  0.000 % |
1480.34/1480.80	c |    438490 |    1298   143366   620643 | 2147483647   438490     96 |  0.000 % |
1481.73/1482.29	c |    438748 |    1298   143366   620643 | 2147483647   438748     96 |  0.000 % |
1483.03/1483.58	c |    439031 |    1298   143366   620643 | 2147483647   439031     96 |  0.000 % |
1484.44/1484.94	c |    439340 |    1298   143366   620643 | 2147483647   439340     96 |  0.000 % |
1486.53/1487.07	c |    439681 |    1298   143366   620643 | 2147483647   439681     96 |  0.000 % |
1488.53/1489.03	c |    440054 |    1298   143366   620643 | 2147483647   440054     96 |  0.000 % |
1489.83/1490.38	c |    440464 |    1298   143366   620643 | 2147483647   440464     96 |  0.000 % |
1492.63/1493.13	c |    440914 |    1298   143366   620643 | 2147483647   440914     96 |  0.000 % |
1495.23/1495.77	c |    441410 |    1298   143366   620643 | 2147483647   441410     96 |  0.000 % |
1498.43/1498.93	c |    441952 |    1298   143366   620643 | 2147483647   441952     96 |  0.000 % |
1502.33/1502.80	c |    442549 |    1298   143366   620643 | 2147483647   442549     96 |  0.000 % |
1506.03/1506.58	c |    443205 |    1298   143366   620643 | 2147483647   443205     96 |  0.000 % |
1510.73/1511.22	c |    443927 |    1298   143366   620643 | 2147483647   443927     96 |  0.000 % |
1514.73/1515.29	c |    444719 |    1298   143366   620643 | 2147483647   444719     96 |  0.000 % |
1520.02/1520.59	c |    445591 |    1298   143366   620643 | 2147483647   445591     96 |  0.000 % |
1524.52/1525.07	c |    446552 |    1298   143366   620643 | 2147483647   446552     96 |  0.000 % |
1531.02/1531.54	c |    447606 |    1298   143366   620643 | 2147483647   447606     96 |  0.000 % |
1538.02/1538.60	c |    448764 |    1298   143366   620643 | 2147483647   448764     96 |  0.000 % |
1545.82/1546.35	c |    450037 |    1298   143366   620643 | 2147483647   450037     96 |  0.000 % |
1555.92/1556.42	c |    451437 |    1298   143366   620643 | 2147483647   451437     96 |  0.000 % |
1565.92/1566.40	c |    452977 |    1298   143366   620643 | 2147483647   452977     96 |  0.000 % |
1575.11/1575.68	c |    454674 |    1298   143366   620643 | 2147483647   454674     96 |  0.000 % |
1584.11/1584.65	c |    456537 |    1298   143366   620643 | 2147483647   456537     96 |  0.000 % |
1593.41/1593.96	c |    458586 |    1298   143366   620643 | 2147483647   458586     96 |  0.000 % |
1610.20/1610.79	c |    460839 |    1298   143366   620643 | 2147483647   460839     96 |  0.000 % |
1624.80/1625.31	c |    463317 |    1298   143366   620643 | 2147483647   463317     96 |  0.000 % |
1642.00/1642.59	c |    466042 |    1298   143366   620643 | 2147483647   466042     96 |  0.000 % |
1653.99/1654.58	c |    469042 |    1298   143366   620643 | 2147483647   469042     96 |  0.000 % |
1675.38/1675.90	c |    472342 |    1298   143366   620643 | 2147483647   472342     97 |  0.000 % |
1692.29/1692.81	c |    475967 |    1298   143366   620643 | 2147483647   475967     97 |  0.000 % |
1711.27/1711.85	c |    479960 |    1298   143366   620643 | 2147483647   479960     97 |  0.000 % |
1731.47/1732.08	c |    484346 |    1298   143366   620643 | 2147483647   484346     96 |  0.000 % |
1731.88/1732.47	c |    484447 |    1298   143366   620643 | 2147483647   484447     96 |  0.000 % |
1732.98/1733.55	c |    484557 |    1298   143366   620643 | 2147483647   484557     96 |  0.000 % |
1733.67/1734.23	c |    484678 |    1298   143366   620643 | 2147483647   484678     96 |  0.000 % |
1734.97/1735.58	c |    484812 |    1298   143366   620643 | 2147483647   484812     96 |  0.000 % |
1735.87/1736.46	c |    484959 |    1298   143366   620643 | 2147483647   484959     96 |  0.000 % |
1736.97/1737.57	c |    485124 |    1298   143366   620643 | 2147483647   485124     96 |  0.000 % |
1738.77/1739.33	c |    485301 |    1298   143366   620643 | 2147483647   485301     96 |  0.000 % |
1739.77/1740.34	c |    485495 |    1298   143366   620643 | 2147483647   485495     96 |  0.000 % |
1741.67/1742.30	c |    485709 |    1298   143366   620643 | 2147483647   485709     96 |  0.000 % |
1743.27/1743.86	c |    485943 |    1298   143366   620643 | 2147483647   485943     96 |  0.000 % |
1744.47/1745.00	c |    486199 |    1298   143366   620643 | 2147483647   486199     96 |  0.000 % |
1746.37/1746.95	c |    486480 |    1298   143366   620643 | 2147483647   486480     96 |  0.000 % |
1748.96/1749.54	c |    486790 |    1298   143366   620643 | 2147483647   486790     96 |  0.000 % |
1750.57/1751.12	c |    487129 |    1298   143366   620643 | 2147483647   487129     96 |  0.000 % |
1752.36/1752.94	c |    487503 |    1298   143366   620643 | 2147483647   487503     96 |  0.000 % |
1754.46/1755.06	c |    487912 |    1298   143366   620643 | 2147483647   487912     96 |  0.000 % |
1757.47/1758.09	c |    488361 |    1298   143366   620643 | 2147483647   488361     96 |  0.000 % |
1760.77/1761.35	c |    488856 |    1298   143366   620643 | 2147483647   488856     96 |  0.000 % |
1764.37/1764.91	c |    489401 |    1298   143366   620643 | 2147483647   489401     96 |  0.001 % |
1768.06/1768.64	c |    489999 |    1298   143366   620643 | 2147483647   489999     96 |  0.000 % |
1771.76/1772.35	c |    490660 |    1298   143366   620643 | 2147483647   490660     96 |  0.000 % |
1776.16/1776.77	c |    491380 |    1298   143366   620643 | 2147483647   491380     96 |  0.001 % |
1780.96/1781.56	c |    492173 |    1298   143366   620643 | 2147483647   492173     96 |  0.000 % |
1785.56/1786.11	c |    493045 |    1298   143366   620643 | 2147483647   493045     96 |  0.001 % |
1791.66/1792.28	c |    494004 |    1298   143366   620643 | 2147483647   494004     96 |  0.000 % |
1797.86/1798.44	c |    495060 |    1298   143366   620643 | 2147483647   495060     96 |  0.000 % |
1804.85/1805.45	c |    496218 |    1298   143366   620643 | 2147483647   496218     96 |  0.000 % |
1813.15/1813.78	c |    497491 |    1298   143366   620643 | 2147483647   497491     96 |  0.000 % |
1821.55/1822.20	c |    498891 |    1298   143366   620643 | 2147483647   498891     96 |  0.000 % |
1829.44/1830.03	c |    500432 |    1298   143366   620643 | 2147483647   500432     96 |  0.000 % |
1839.24/1839.84	c |    502128 |    1298   143366   620643 | 2147483647   502128     96 |  0.000 % |
1846.15/1846.74	c |    503991 |    1298   143366   620643 | 2147483647   503991     96 |  0.000 % |
1856.84/1857.43	c |    506040 |    1298   143366   620643 | 2147483647   506040     96 |  0.000 % |
1872.23/1872.84	c |    508294 |    1298   143366   620643 | 2147483647   508294     97 |  0.000 % |
1894.03/1894.61	c |    510772 |    1298   143366   620643 |   510001   452794     97 |  0.000 % |
1906.23/1906.86	c |    513498 |    1298   143366   620643 |   510001   455520     97 |  0.000 % |
1921.03/1921.68	c |    516495 |    1298   143366   620643 |   510001   458517     97 |  0.000 % |
1936.52/1937.15	c |    519792 |    1298   143366   620643 |   510001   461814     97 |  0.000 % |
1950.02/1950.64	c |    523417 |    1298   143366   620643 | 2147483647   465439     97 |  0.000 % |
1975.41/1976.03	c |    527406 |    1298   143366   620643 | 2147483647   469428     97 |  0.000 % |
1995.81/1996.44	c |    531792 |    1298   143366   620643 | 2147483647   473814     97 |  0.000 % |
2031.10/2031.74	c |    536615 |    1298   143366   620643 | 2147483647   478637     96 |  0.001 % |
2032.10/2032.79	c |    536716 |    1298   143366   620643 | 2147483647   478738     96 |  0.000 % |
2032.99/2033.66	c |    536826 |    1298   143366   620643 | 2147483647   478848     96 |  0.000 % |
2033.99/2034.66	c |    536947 |    1298   143366   620643 | 2147483647   478969     96 |  0.000 % |
2034.99/2035.63	c |    537080 |    1298   143366   620643 | 2147483647   479102     96 |  0.000 % |
2035.99/2036.64	c |    537226 |    1298   143366   620643 | 2147483647   479248     96 |  0.000 % |
2036.79/2037.49	c |    537387 |    1298   143366   620643 | 2147483647   479409     96 |  0.000 % |
2037.79/2038.48	c |    537563 |    1298   143366   620643 | 2147483647   479585     96 |  0.000 % |
2039.19/2039.89	c |    537757 |    1298   143366   620643 | 2147483647   479779     96 |  0.000 % |
2040.69/2041.30	c |    537972 |    1298   143366   620643 | 2147483647   479994     96 |  0.000 % |
2041.89/2042.50	c |    538205 |    1298   143366   620643 | 2147483647   480227     96 |  0.000 % |
2044.29/2044.97	c |    538462 |    1298   143366   620643 | 2147483647   480484     96 |  0.000 % |
2045.89/2046.57	c |    538744 |    1298   143366   620643 | 2147483647   480766     96 |  0.000 % |
2048.09/2048.78	c |    539053 |    1298   143366   620643 | 2147483647   481075     96 |  0.000 % |
2050.89/2051.51	c |    539393 |    1298   143366   620643 | 2147483647   481415     96 |  0.000 % |
2052.59/2053.20	c |    539765 |    1298   143366   620643 | 2147483647   481787     97 |  0.000 % |
2055.69/2056.30	c |    540174 |    1298   143366   620643 | 2147483647   482196     97 |  0.000 % |
2058.49/2059.16	c |    540623 |    1298   143366   620643 | 2147483647   482645     97 |  0.000 % |
2061.09/2061.75	c |    541118 |    1298   143366   620643 | 2147483647   483140     97 |  0.000 % |
2063.99/2064.62	c |    541663 |    1298   143366   620643 | 2147483647   483685     97 |  0.000 % |
2068.18/2068.88	c |    542259 |    1298   143366   620643 | 2147483647   484281     97 |  0.000 % |
2070.88/2071.55	c |    542915 |    1298   143366   620643 | 2147483647   484937     97 |  0.000 % |
2077.08/2077.76	c |    543635 |    1298   143366   620643 | 2147483647   485657     97 |  0.000 % |
2081.98/2082.65	c |    544428 |    1298   143366   620643 | 2147483647   486450     97 |  0.000 % |
2088.48/2089.13	c |    545299 |    1298   143366   620643 | 2147483647   487321     97 |  0.000 % |
2096.87/2097.57	c |    546257 |    1298   143366   620643 | 2147483647   488279     97 |  0.000 % |
2105.07/2105.73	c |    547310 |    1298   143366   620643 | 2147483647   489332     97 |  0.000 % |
2111.37/2112.09	c |    548468 |    1298   143366   620643 | 2147483647   490490     97 |  0.000 % |
2118.47/2119.19	c |    549741 |    1298   143366   620643 | 2147483647   491763     97 |  0.000 % |
2123.17/2123.84	c |    551141 |    1298   143366   620643 | 2147483647   493163     97 |  0.000 % |
2129.26/2129.96	c |    552683 |    1298   143366   620643 | 2147483647   494705     97 |  0.000 % |
2136.76/2137.41	c |    554377 |    1298   143366   620643 | 2147483647   496399     97 |  0.000 % |
2150.76/2151.49	c |    556240 |    1298   143366   620643 | 2147483647   498262     97 |  0.000 % |
2165.75/2166.47	c |    558289 |    1298   143366   620643 | 2147483647   500311     97 |  0.000 % |
2177.85/2178.51	c |    560545 |    1298   143366   620643 | 2147483647   502567     97 |  0.000 % |
2192.55/2193.28	c |    563024 |    1298   143366   620643 | 2147483647   505046     97 |  0.000 % |
2205.14/2205.86	c |    565750 |    1298   143366   620643 | 2147483647   507772     97 |  0.000 % |
2223.44/2224.20	c |    568747 |    1298   143366   620643 | 2147483647   510769     97 |  0.000 % |
2242.64/2243.38	c |    572044 |    1298   143366   620643 |   512023   462834     96 |  0.000 % |
2256.63/2257.32	c |    575669 |    1298   143366   620643 |   512023   466459     96 |  0.000 % |
2274.92/2275.68	c |    579656 |    1298   143366   620643 |   512023   470446     96 |  0.000 % |
2286.82/2287.56	c |    584041 |    1298   143366   620643 |   470791   396854     96 |  0.000 % |
2312.52/2313.24	c |    588864 |    1298   143366   620643 |   470791   401677     96 |  0.000 % |
2338.21/2338.95	c |    594169 |    1298   143366   620643 | 2147483647   406982     96 |  0.000 % |
2338.91/2339.68	c |    594269 |    1298   143366   620643 | 2147483647   407082     95 |  0.000 % |
2339.21/2339.98	c |    594379 |    1298   143366   620643 | 2147483647   407192     95 |  0.000 % |
2339.71/2340.41	c |    594500 |    1298   143366   620643 | 2147483647   407313     95 |  0.000 % |
2340.41/2341.18	c |    594633 |    1298   143366   620643 | 2147483647   407446     95 |  0.000 % |
2341.30/2342.09	c |    594779 |    1298   143366   620643 | 2147483647   407592     96 |  0.000 % |
2342.50/2343.30	c |    594939 |    1298   143366   620643 | 2147483647   407752     96 |  0.000 % |
2343.41/2344.17	c |    595120 |    1298   143366   620643 | 2147483647   407933     96 |  0.000 % |
2344.70/2345.43	c |    595313 |    1298   143366   620643 | 2147483647   408126     96 |  0.000 % |
2345.40/2346.11	c |    595525 |    1298   143366   620643 | 2147483647   408338     96 |  0.000 % |
2346.80/2347.58	c |    595761 |    1298   143366   620643 | 2147483647   408574     96 |  0.000 % |
2348.30/2349.08	c |    596018 |    1298   143366   620643 | 2147483647   408831     96 |  0.000 % |
2349.80/2350.56	c |    596301 |    1298   143366   620643 | 2147483647   409114     95 |  0.000 % |
2352.20/2352.99	c |    596610 |    1298   143366   620643 | 2147483647   409423     95 |  0.000 % |
2354.00/2354.75	c |    596949 |    1298   143366   620643 | 2147483647   409762     95 |  0.000 % |
2355.00/2355.72	c |    597324 |    1298   143366   620643 | 2147483647   410137     95 |  0.000 % |
2357.30/2358.05	c |    597735 |    1298   143366   620643 | 2147483647   410548     95 |  0.000 % |
2358.60/2359.35	c |    598184 |    1298   143366   620643 | 2147483647   410997     95 |  0.000 % |
2359.50/2360.26	c |    598679 |    1298   143366   620643 | 2147483647   411492     95 |  0.000 % |
2360.40/2361.20	c |    599223 |    1298   143366   620643 | 2147483647   412036     95 |  0.000 % |
2361.60/2362.31	c |    599819 |    1298   143366   620643 | 2147483647   412632     95 |  0.000 % |
2363.00/2363.77	c |    600474 |    1298   143366   620643 | 2147483647   413287     95 |  0.000 % |
2364.49/2365.23	c |    601194 |    1298   143366   620643 | 2147483647   414007     95 |  0.000 % |
2369.99/2370.75	c |    601986 |    1298   143366   620643 | 2147483647   414799     95 |  0.000 % |
2372.79/2373.57	c |    602858 |    1298   143366   620643 | 2147483647   415671     95 |  0.000 % |
2379.89/2380.63	c |    603816 |    1298   143366   620643 | 2147483647   416629     95 |  0.000 % |
2386.09/2386.81	c |    604870 |    1298   143366   620643 | 2147483647   417683     95 |  0.000 % |
2391.19/2391.99	c |    606029 |    1298   143366   620643 | 2147483647   418842     95 |  0.000 % |
2396.99/2397.76	c |    607303 |    1298   143366   620643 | 2147483647   420116     95 |  0.000 % |
2401.69/2402.44	c |    608703 |    1298   143366   620643 | 2147483647   421516     95 |  0.000 % |
2405.78/2406.58	c |    610244 |    1298   143366   620643 |   422813   423057     95 |  0.000 % |
2412.98/2413.75	c |    611940 |    1298   143366   620643 |   422813   370730     95 |  0.000 % |
2415.98/2416.74	c |    613803 |    1298   143366   620643 |   422813   372593     95 |  0.000 % |
2419.68/2420.48	c |    615853 |    1298   143366   620643 |   422813   374643     95 |  0.000 % |
2436.78/2437.59	c |    618107 |    1298   143366   620643 |   422813   376897     95 |  0.000 % |
2449.07/2449.85	c |    620585 |    1298   143366   620643 |   378790   322950     95 |  0.000 % |
2459.87/2460.68	c |    623311 |    1298   143366   620643 |   378790   325676     95 |  0.000 % |
2470.97/2471.70	c |    626311 |    1298   143366   620643 |   378790   328676     94 |  0.000 % |
2485.66/2486.42	c |    629608 |    1298   143366   620643 |   378790   331973     94 |  0.000 % |
2495.06/2495.88	c |    633234 |    1298   143366   620643 | 2147483647   335599     94 |  0.000 % |
2507.55/2508.30	c |    637221 |    1298   143366   620643 | 2147483647   339586     94 |  0.000 % |
2520.15/2520.92	c |    641606 |    1298   143366   620643 | 2147483647   343971     94 |  0.000 % |
2535.95/2536.71	c |    646429 |    1298   143366   620643 | 2147483647   348794     94 |  0.000 % |
2562.34/2563.12	c |    651734 |    1298   143366   620643 | 2147483647   354099     94 |  0.000 % |
2584.63/2585.46	c |    657569 |    1298   143366   620643 | 2147483647   359934     93 |  0.000 % |
2585.73/2586.52	c |    657669 |    1298   143366   620643 | 2147483647   360034     93 |  0.000 % |
2586.13/2586.96	c |    657781 |    1298   143366   620643 | 2147483647   360146     93 |  0.000 % |
2587.13/2587.91	c |    657903 |    1298   143366   620643 | 2147483647   360268     93 |  0.000 % |
2588.03/2588.89	c |    658036 |    1298   143366   620643 | 2147483647   360401     93 |  0.000 % |
2588.83/2589.60	c |    658182 |    1298   143366   620643 | 2147483647   360547     93 |  0.000 % |
2589.53/2590.32	c |    658342 |    1298   143366   620643 | 2147483647   360707     93 |  0.000 % |
2590.13/2590.95	c |    658518 |    1298   143366   620643 | 2147483647   360883     93 |  0.000 % |
2591.93/2592.70	c |    658713 |    1298   143366   620643 | 2147483647   361078     93 |  0.000 % |
2593.23/2594.01	c |    658926 |    1298   143366   620643 | 2147483647   361291     93 |  0.000 % |
2594.33/2595.17	c |    659160 |    1298   143366   620643 | 2147483647   361525     93 |  0.000 % |
2595.63/2596.45	c |    659417 |    1298   143366   620643 | 2147483647   361782     93 |  0.000 % |
2597.03/2597.84	c |    659699 |    1298   143366   620643 | 2147483647   362064     93 |  0.000 % |
2598.83/2599.61	c |    660010 |    1298   143366   620643 | 2147483647   362375     93 |  0.000 % |
2600.13/2600.90	c |    660349 |    1298   143366   620643 | 2147483647   362714     93 |  0.000 % |
2602.73/2603.52	c |    660721 |    1298   143366   620643 | 2147483647   363086     93 |  0.000 % |
2604.33/2605.11	c |    661133 |    1298   143366   620643 | 2147483647   363498     93 |  0.000 % |
2606.63/2607.42	c |    661583 |    1298   143366   620643 | 2147483647   363948     93 |  0.000 % |
2608.93/2609.79	c |    662076 |    1298   143366   620643 | 2147483647   364441     93 |  0.000 % |
2613.23/2614.03	c |    662618 |    1298   143366   620643 | 2147483647   364983     93 |  0.000 % |
2616.43/2617.20	c |    663214 |    1298   143366   620643 | 2147483647   365579     93 |  0.000 % |
2619.73/2620.54	c |    663869 |    1298   143366   620643 | 2147483647   366234     93 |  0.000 % |
2621.83/2622.64	c |    664591 |    1298   143366   620643 | 2147483647   366956     93 |  0.001 % |
2625.83/2626.61	c |    665384 |    1298   143366   620643 | 2147483647   367749     93 |  0.000 % |
2630.03/2630.89	c |    666258 |    1298   143366   620643 | 2147483647   368623     93 |  0.000 % |
2636.23/2637.08	c |    667216 |    1298   143366   620643 | 2147483647   369581     93 |  0.000 % |
2641.12/2641.95	c |    668269 |    1298   143366   620643 | 2147483647   370634     93 |  0.000 % |
2645.42/2646.20	c |    669428 |    1298   143366   620643 | 2147483647   371793     93 |  0.000 % |
2654.82/2655.68	c |    670704 |    1298   143366   620643 |   372365   322736     92 |  0.000 % |
2659.42/2660.28	c |    672105 |    1298   143366   620643 |   372365   324137     92 |  0.000 % |
2668.92/2669.73	c |    673645 |    1298   143366   620643 |   372365   325677     92 |  0.000 % |
2675.31/2676.14	c |    675339 |    1298   143366   620643 |   372365   327371     92 |  0.000 % |
2683.61/2684.47	c |    677209 |    1298   143366   620643 |   372365   329241     92 |  0.000 % |
2694.11/2694.92	c |    679258 |    1298   143366   620643 |   372365   331290     92 |  0.000 % |
2703.41/2704.29	c |    681511 |    1298   143366   620643 | 2147483647   333543     92 |  0.000 % |
2715.30/2716.18	c |    683989 |    1298   143366   620643 | 2147483647   336021     92 |  0.000 % |
2728.90/2729.76	c |    686714 |    1298   143366   620643 | 2147483647   338746     92 |  0.000 % |
2740.70/2741.52	c |    689711 |    1298   143366   620643 | 2147483647   341743     92 |  0.000 % |
2750.30/2751.19	c |    693008 |    1298   143366   620643 | 2147483647   345040     92 |  0.000 % |
2768.39/2769.22	c |    696635 |    1298   143366   620643 | 2147483647   348667     92 |  0.000 % |
2780.89/2781.72	c |    700622 |    1298   143366   620643 | 2147483647   352654     92 |  0.000 % |
2801.68/2802.56	c |    705011 |    1298   143366   620643 | 2147483647   357043     92 |  0.000 % |
2815.48/2816.36	c |    709834 |    1298   143366   620643 | 2147483647   361866     92 |  0.000 % |
2831.27/2832.18	c |    715141 |    1298   143366   620643 |   362032   323353     91 |  0.000 % |
2860.36/2861.22	c |    720976 |    1298   143366   620643 | 2147483647   329188     91 |  0.000 % |
2879.06/2879.99	c |    727396 |    1298   143366   620643 | 2147483647   335608     91 |  0.000 % |
2879.86/2880.73	c |    727496 |    1298   143366   620643 | 2147483647   335708     91 |  0.000 % |
2880.36/2881.21	c |    727607 |    1298   143366   620643 | 2147483647   335819     91 |  0.000 % |
2881.06/2881.94	c |    727729 |    1298   143366   620643 | 2147483647   335941     91 |  0.000 % |
2881.56/2882.44	c |    727863 |    1298   143366   620643 | 2147483647   336075     91 |  0.000 % |
2882.26/2883.14	c |    728012 |    1298   143366   620643 | 2147483647   336224     91 |  0.000 % |
2883.36/2884.29	c |    728175 |    1298   143366   620643 | 2147483647   336387     91 |  0.000 % |
2884.36/2885.28	c |    728351 |    1298   143366   620643 | 2147483647   336563     91 |  0.000 % |
2885.06/2885.95	c |    728550 |    1298   143366   620643 | 2147483647   336762     91 |  0.000 % |
2885.96/2886.88	c |    728762 |    1298   143366   620643 | 2147483647   336974     91 |  0.000 % |
2887.26/2888.12	c |    728995 |    1298   143366   620643 | 2147483647   337207     91 |  0.000 % |
2889.35/2890.20	c |    729252 |    1298   143366   620643 | 2147483647   337464     91 |  0.000 % |
2890.85/2891.78	c |    729533 |    1298   143366   620643 | 2147483647   337745     91 |  0.000 % |
2891.95/2892.82	c |    729842 |    1298   143366   620643 | 2147483647   338054     91 |  0.000 % |
2893.65/2894.55	c |    730184 |    1298   143366   620643 | 2147483647   338396     91 |  0.000 % |
2895.55/2896.44	c |    730556 |    1298   143366   620643 | 2147483647   338768     91 |  0.000 % |
2897.35/2898.29	c |    730965 |    1298   143366   620643 | 2147483647   339177     91 |  0.000 % |
2899.05/2899.94	c |    731416 |    1298   143366   620643 | 2147483647   339628     91 |  0.000 % |
2901.05/2901.94	c |    731910 |    1298   143366   620643 | 2147483647   340122     91 |  0.000 % |
2903.65/2904.59	c |    732452 |    1298   143366   620643 | 2147483647   340664     91 |  0.000 % |
2906.25/2907.18	c |    733049 |    1298   143366   620643 | 2147483647   341261     91 |  0.000 % |
2910.35/2911.28	c |    733704 |    1298   143366   620643 | 2147483647   341916     91 |  0.000 % |
2913.35/2914.20	c |    734424 |    1298   143366   620643 | 2147483647   342636     91 |  0.000 % |
2916.75/2917.63	c |    735216 |    1298   143366   620643 | 2147483647   343428     91 |  0.000 % |
2921.15/2922.06	c |    736088 |    1298   143366   620643 | 2147483647   344300     91 |  0.000 % |
2925.05/2925.95	c |    737048 |    1298   143366   620643 | 2147483647   345260     91 |  0.000 % |
2931.54/2932.49	c |    738102 |    1298   143366   620643 | 2147483647   346314     91 |  0.000 % |
2935.94/2936.81	c |    739260 |    1298   143366   620643 | 2147483647   347472     92 |  0.000 % |
2940.74/2941.69	c |    740534 |    1298   143366   620643 |   348212   348746     92 |  0.000 % |
2947.34/2948.20	c |    741934 |    1298   143366   620643 |   348212   309067     91 |  0.000 % |
2952.34/2953.28	c |    743474 |    1298   143366   620643 |   348212   310607     91 |  0.000 % |
2958.54/2959.40	c |    745169 |    1298   143366   620643 |   348212   312302     91 |  0.000 % |
2964.24/2965.12	c |    747033 |    1298   143366   620643 |   348212   314166     91 |  0.000 % |
2973.94/2974.82	c |    749083 |    1298   143366   620643 |   348212   316216     91 |  0.000 % |
2980.64/2981.52	c |    751338 |    1298   143366   620643 | 2147483647   318471     91 |  0.000 % |
2988.24/2989.13	c |    753817 |    1298   143366   620643 | 2147483647   320950     91 |  0.000 % |
2996.93/2997.85	c |    756546 |    1298   143366   620643 | 2147483647   323679     91 |  0.000 % |
3007.13/3008.01	c |    759544 |    1298   143366   620643 | 2147483647   326677     91 |  0.000 % |
3016.62/3017.50	c |    762841 |    1298   143366   620643 | 2147483647   329974     91 |  0.000 % |
3023.72/3024.60	c |    766469 |    1298   143366   620643 | 2147483647   333602     91 |  0.000 % |
3032.62/3033.54	c |    770457 |    1298   143366   620643 | 2147483647   337590     91 |  0.000 % |
3042.12/3043.02	c |    774842 |    1298   143366   620643 | 2147483647   341975     92 |  0.000 % |
3052.52/3053.47	c |    779666 |    1298   143366   620643 | 2147483647   346799     92 |  0.000 % |
3067.81/3068.75	c |    784973 |    1298   143366   620643 | 2147483647   352106     92 |  0.000 % |
3083.61/3084.52	c |    790809 |    1298   143366   620643 | 2147483647   357942     93 |  0.000 % |
3103.80/3104.74	c |    797227 |    1298   143366   620643 | 2147483647   364360     93 |  0.000 % |
3132.09/3133.06	c |    804287 |    1298   143366   620643 |   367134   310521     93 |  0.000 % |
3132.59/3133.57	c |    804389 |    1298   143366   620643 |   367134   310623     93 |  0.000 % |
3133.20/3134.11	c |    804500 |    1298   143366   620643 |   367134   310734     93 |  0.000 % |
3133.69/3134.66	c |    804621 |    1298   143366   620643 |   367134   310855     93 |  0.000 % |
3134.29/3135.21	c |    804755 |    1298   143366   620643 |   367134   310989     93 |  0.000 % |
3134.89/3135.87	c |    804903 |    1298   143366   620643 |   367134   311137     93 |  0.000 % |
3135.29/3136.22	c |    805065 |    1298   143366   620643 |   367134   311299     93 |  0.000 % |
3136.09/3137.08	c |    805241 |    1298   143366   620643 |   367134   311475     93 |  0.000 % |
3136.89/3137.80	c |    805436 |    1298   143366   620643 |   367134   311670     93 |  0.000 % |
3137.49/3138.47	c |    805648 |    1298   143366   620643 |   367134   311882     93 |  0.000 % |
3138.19/3139.15	c |    805881 |    1298   143366   620643 |   367134   312115     93 |  0.000 % |
3138.99/3139.97	c |    806137 |    1298   143366   620643 |   367134   312371     93 |  0.000 % |
3139.89/3140.89	c |    806418 |    1298   143366   620643 |   367134   312652     93 |  0.000 % |
3140.69/3141.66	c |    806727 |    1298   143366   620643 |   367134   312961     93 |  0.000 % |
3142.19/3143.20	c |    807069 |    1298   143366   620643 |   367134   313303     93 |  0.000 % |
3143.89/3144.83	c |    807441 |    1298   143366   620643 |   367134   313675     93 |  0.000 % |
3145.19/3146.15	c |    807850 |    1298   143366   620643 |   367134   314084     93 |  0.000 % |
3146.59/3147.56	c |    808300 |    1298   143366   620643 |   367134   314534     93 |  0.000 % |
3147.99/3148.92	c |    808793 |    1298   143366   620643 |   367134   315027     93 |  0.000 % |
3149.59/3150.58	c |    809335 |    1298   143366   620643 |   367134   315569     93 |  0.000 % |
3150.99/3151.93	c |    809931 |    1298   143366   620643 |   367134   316165     93 |  0.000 % |
3152.39/3153.34	c |    810590 |    1298   143366   620643 | 2147483647   316824     93 |  0.000 % |
3154.99/3155.95	c |    811312 |    1298   143366   620643 | 2147483647   317546     93 |  0.000 % |
3157.19/3158.19	c |    812104 |    1298   143366   620643 | 2147483647   318338     93 |  0.000 % |
3160.18/3161.16	c |    812978 |    1298   143366   620643 | 2147483647   319212     93 |  0.000 % |
3163.48/3164.49	c |    813938 |    1298   143366   620643 | 2147483647   320172     93 |  0.000 % |
3166.99/3167.97	c |    814992 |    1298   143366   620643 | 2147483647   321226     93 |  0.000 % |
3170.39/3171.35	c |    816153 |    1298   143366   620643 | 2147483647   322387     93 |  0.000 % |
3175.18/3176.19	c |    817426 |    1298   143366   620643 | 2147483647   323660     93 |  0.000 % |
3180.68/3181.63	c |    818827 |    1298   143366   620643 | 2147483647   325061     93 |  0.000 % |
3187.48/3188.50	c |    820368 |    1298   143366   620643 | 2147483647   326602     93 |  0.000 % |
3195.68/3196.66	c |    822063 |    1298   143366   620643 | 2147483647   328297     94 |  0.000 % |
3204.38/3205.34	c |    823928 |    1298   143366   620643 | 2147483647   330162     94 |  0.000 % |
3211.87/3212.83	c |    825978 |    1298   143366   620643 | 2147483647   332212     94 |  0.000 % |
3222.37/3223.33	c |    828233 |    1298   143366   620643 | 2147483647   334467     94 |  0.000 % |
3235.46/3236.47	c |    830712 |    1298   143366   620643 | 2147483647   336946     94 |  0.000 % |
3249.76/3250.76	c |    833438 |    1298   143366   620643 | 2147483647   339672     94 |  0.000 % |
3267.56/3268.59	c |    836435 |    1298   143366   620643 | 2147483647   342669     94 |  0.000 % |
3286.66/3287.66	c |    839732 |    1298   143366   620643 | 2147483647   345966     94 |  0.000 % |
3311.85/3312.85	c |    843357 |    1298   143366   620643 |   346235   304671     95 |  0.000 % |
3336.14/3337.10	c |    847345 |    1298   143366   620643 |   346235   308659     96 |  0.000 % |
3362.94/3363.96	c |    851730 |    1298   143366   620643 |   311314   262898     97 |  0.000 % |
3391.43/3392.42	c |    856558 |    1298   143366   620643 |   311314   267726     97 |  0.000 % |
3427.32/3428.40	c |    861863 |    1298   143366   620643 |   271169   226220     99 |  0.000 % |
3472.61/3473.66	c |    867698 |    1298   143366   620643 |   271169   232055     99 |  0.000 % |
3523.29/3524.33	c |    874117 |    1298   143366   620643 |   234358   190232    101 |  0.000 % |
3579.68/3580.77	c |    881176 |    1298   143366   620643 |   196116   158099    102 |  0.000 % |
3619.07/3620.12	c |    888941 |    1298   143366   620643 |   196116   165864    102 |  0.001 % |
3619.36/3620.47	c |    889043 |    1298   143366   620643 |   196116   165966    102 |  0.000 % |
3619.76/3620.85	c |    889156 |    1298   143366   620643 |   196116   166079    102 |  0.000 % |
3620.07/3621.15	c |    889277 |    1298   143366   620643 |   196116   166200    102 |  0.000 % |
3620.36/3621.46	c |    889412 |    1298   143366   620643 |   196116   166335    102 |  0.000 % |
3620.96/3622.00	c |    889559 |    1298   143366   620643 |   196116   166482    102 |  0.000 % |
3621.46/3622.56	c |    889719 |    1298   143366   620643 |   196116   166642    102 |  0.000 % |
3621.96/3623.07	c |    889896 |    1298   143366   620643 |   196116   166819    102 |  0.000 % |
3622.46/3623.58	c |    890090 |    1298   143366   620643 | 2147483647   167013    102 |  0.000 % |
3623.06/3624.19	c |    890303 |    1298   143366   620643 | 2147483647   167226    102 |  0.000 % |
3623.66/3624.76	c |    890537 |    1298   143366   620643 | 2147483647   167460    102 |  0.000 % |
3624.66/3625.75	c |    890794 |    1298   143366   620643 | 2147483647   167717    102 |  0.000 % |
3625.57/3626.67	c |    891075 |    1298   143366   620643 | 2147483647   167998    103 |  0.000 % |
3626.86/3627.96	c |    891384 |    1298   143366   620643 | 2147483647   168307    103 |  0.000 % |
3628.36/3629.48	c |    891723 |    1298   143366   620643 | 2147483647   168646    103 |  0.000 % |
3634.86/3635.96	c |    892095 |    1298   143366   620643 | 2147483647   169018    103 |  0.000 % |
3641.86/3642.97	c |    892507 |    1298   143366   620643 | 2147483647   169430    103 |  0.000 % |
3650.75/3651.84	c |    892956 |    1298   143366   620643 | 2147483647   169879    103 |  0.000 % |
3656.65/3657.76	c |    893449 |    1298   143366   620643 | 2147483647   170372    103 |  0.000 % |
3663.35/3664.48	c |    893991 |    1298   143366   620643 | 2147483647   170914    103 |  0.000 % |
3673.05/3674.17	c |    894588 |    1298   143366   620643 | 2147483647   171511    103 |  0.000 % |
3680.15/3681.22	c |    895246 |    1298   143366   620643 | 2147483647   172169    103 |  0.000 % |
3692.24/3693.33	c |    895968 |    1298   143366   620643 | 2147483647   172891    103 |  0.000 % |
3706.24/3707.32	c |    896763 |    1298   143366   620643 | 2147483647   173686    103 |  0.000 % |
3721.24/3722.33	c |    897635 |    1298   143366   620643 | 2147483647   174558    103 |  0.000 % |
3737.23/3738.37	c |    898593 |    1298   143366   620643 | 2147483647   175516    103 |  0.000 % |
3754.54/3755.62	c |    899646 |    1298   143366   620643 | 2147483647   176569    103 |  0.000 % |
3772.43/3773.56	c |    900804 |    1298   143366   620643 |   176925   114880    107 |  0.000 % |
3791.43/3792.52	c |    902078 |    1298   143366   620643 |   176925   116154    107 |  0.000 % |
3810.12/3811.28	c |    903478 |    1298   143366   620643 |   176925   117554    107 |  0.000 % |
3834.92/3836.07	c |    905019 |    1298   143366   620643 |   176925   119095    107 |  0.000 % |
3857.81/3858.91	c |    906713 |    1298   143366   620643 |   176925   120789    107 |  0.000 % |
3883.50/3884.64	c |    908576 |    1298   143366   620643 |   176925   122652    107 |  0.000 % |
3917.00/3918.14	c |    910625 |    1298   143366   620643 |   124076    76700    107 |  0.000 % |
3940.79/3941.97	c |    912878 |    1298   143366   620643 |   124076    78953    106 |  0.000 % |
3966.48/3967.67	c |    915358 |    1298   143366   620643 |   124076    81433    106 |  0.000 % |
3979.07/3980.24	c |    918083 |    1298   143366   620643 |   124076    84158    106 |  0.000 % |
4003.17/4004.36	c |    921081 |    1298   143366   620643 |    86075    60346    105 |  0.000 % |
4021.96/4023.10	c |    924378 |    1298   143366   620643 |    86075    63643    106 |  0.000 % |
4039.66/4040.87	c |    928003 |    1298   143366   620643 |    86075    67268    106 |  0.000 % |
4069.15/4070.32	c |    931991 |    1298   143366   620643 |    69266    58913    107 |  0.000 % |
4096.34/4097.52	c |    936377 |    1298   143366   620643 |    69266    63299    107 |  0.000 % |
4115.84/4117.06	c |    941202 |    1298   143366   620643 |    66923    61410    108 |  0.000 % |
4142.03/4143.24	c |    946510 |    1298   143366   620643 |    66923    66718    108 |  0.000 % |
4165.53/4166.75	c |    952346 |    1298   143366   620643 | 2147483647    65841    107 |  0.000 % |
4201.72/4202.93	c |    958765 |    1298   143366   620643 | 2147483647    72260    107 |  0.000 % |
4249.50/4250.76	c |    965824 |    1298   143366   620643 | 2147483647    79319    106 |  0.000 % |
4287.89/4289.12	c |    973589 |    1298   143366   620643 |    83496    76663    105 |  0.000 % |
4339.48/4340.80	c |    982129 |    1298   143366   620643 |    83074    73438    104 |  0.000 % |
4340.08/4341.33	c |    982229 |    1298   143366   620643 |    83074    73538    104 |  0.000 % |
4340.38/4341.68	c |    982339 |    1298   143366   620643 |    83074    73648    104 |  0.000 % |
4340.58/4341.90	c |    982461 |    1298   143366   620643 |    83074    73770    104 |  0.000 % |
4342.18/4343.48	c |    982597 |    1298   143366   620643 |    83074    73906    104 |  0.000 % |
4342.78/4344.01	c |    982743 |    1298   143366   620643 |    83074    74052    104 |  0.000 % |
4343.28/4344.53	c |    982903 |    1298   143366   620643 |    83074    74212    104 |  0.000 % |
4345.48/4346.74	c |    983081 |    1298   143366   620643 |    83074    74390    104 |  0.000 % |
4347.88/4349.14	c |    983277 |    1298   143366   620643 |    83074    74586    104 |  0.000 % |
4350.08/4351.33	c |    983489 |    1298   143366   620643 |    83074    74798    104 |  0.000 % |
4352.67/4353.91	c |    983723 |    1298   143366   620643 |    83074    75032    104 |  0.000 % |
4354.87/4356.18	c |    983979 |    1298   143366   620643 |    83074    75288    105 |  0.000 % |
4357.47/4358.71	c |    984260 |    1298   143366   620643 |    83074    75569    105 |  0.000 % |
4359.37/4360.69	c |    984569 |    1298   143366   620643 |    83074    75878    105 |  0.000 % |
4361.07/4362.34	c |    984910 |    1298   143366   620643 |    83074    76219    105 |  0.000 % |
4363.37/4364.64	c |    985285 |    1298   143366   620643 |    83074    76594    105 |  0.000 % |
4366.67/4367.90	c |    985694 |    1298   143366   620643 |    83074    77003    105 |  0.000 % |
4370.77/4372.02	c |    986143 |    1298   143366   620643 |    83074    77452    105 |  0.000 % |
4374.87/4376.19	c |    986637 |    1298   143366   620643 |    83074    77946    105 |  0.000 % |
4379.57/4380.86	c |    987181 |    1298   143366   620643 |    83074    78490    105 |  0.000 % |
4384.97/4386.23	c |    987777 |    1298   143366   620643 |    83074    79086    105 |  0.000 % |
4389.17/4390.42	c |    988432 |    1298   143366   620643 |    83074    79741    105 |  0.000 % |
4394.06/4395.36	c |    989152 |    1298   143366   620643 |    83074    80461    105 |  0.000 % |
4396.06/4397.38	c |    989944 |    1298   143366   620643 |    83074    81253    105 |  0.000 % |
4403.96/4405.20	c |    990816 |    1298   143366   620643 |    81309    67575    104 |  0.000 % |
4409.26/4410.53	c |    991774 |    1298   143366   620643 |    81309    68533    104 |  0.000 % |
4414.66/4415.99	c |    992828 |    1298   143366   620643 |    81309    69587    104 |  0.000 % |
4421.86/4423.14	c |    993986 |    1298   143366   620643 |    81309    70745    104 |  0.000 % |
4426.35/4427.67	c |    995259 |    1298   143366   620643 |    81309    72018    104 |  0.000 % |
4435.45/4436.74	c |    996659 |    1298   143366   620643 |    81309    73418    104 |  0.000 % |
4444.85/4446.15	c |    998200 |    1298   143366   620643 |    81309    74959    104 |  0.000 % |
4453.65/4455.00	c |    999894 |    1298   143366   620643 |    81309    76653    104 |  0.000 % |
4464.34/4465.66	c |   1001760 |    1298   143366   620643 | 2147483647    78519    104 |  0.000 % |
4473.64/4474.99	c |   1003810 |    1298   143366   620643 | 2147483647    80569    104 |  0.000 % |
4486.24/4487.59	c |   1006066 |    1298   143366   620643 | 2147483647    82825    103 |  0.000 % |
4498.93/4500.27	c |   1008546 |    1298   143366   620643 | 2147483647    85305    104 |  0.000 % |
4511.14/4512.44	c |   1011271 |    1298   143366   620643 | 2147483647    88030    104 |  0.000 % |
4534.63/4535.97	c |   1014268 |    1298   143366   620643 | 2147483647    91027    104 |  0.000 % |
4553.83/4555.11	c |   1017564 |    1298   143366   620643 | 2147483647    94323    104 |  0.000 % |
4586.52/4587.81	c |   1021190 |    1298   143366   620643 |    96761    81374    104 |  0.000 % |
4616.21/4617.58	c |   1025179 |    1298   143366   620643 |    96761    85363    104 |  0.000 % |
4643.91/4645.28	c |   1029565 |    1298   143366   620643 |    96761    89749    104 |  0.000 % |
4667.00/4668.32	c |   1034388 |    1298   143366   620643 |    90185    80349    104 |  0.000 % |
4689.69/4691.06	c |   1039693 |    1298   143366   620643 |    90185    85654    104 |  0.000 % |
4709.08/4710.46	c |   1045529 |    1298   143366   620643 | 2147483647    91490    104 |  0.000 % |
4757.97/4759.30	c |   1051947 |    1298   143366   620643 |    95961    84001    105 |  0.000 % |
4806.46/4807.80	c |   1059007 |    1298   143366   620643 |    95961    91061    105 |  0.000 % |
4858.44/4859.85	c |   1066772 |    1298   143366   620643 |    92055    83795    104 |  0.000 % |
4914.33/4915.74	c |   1075313 |    1298   143366   620643 |    87023    75312    105 |  0.000 % |
4971.12/4972.54	c |   1084707 |    1298   143366   620643 |    80000    68444    104 |  0.000 % |
4971.82/4973.20	c |   1084808 |    1298   143366   620643 |    80000    68545    104 |  0.000 % |
4972.52/4973.91	c |   1084919 |    1298   143366   620643 |    80000    68656    104 |  0.000 % |
4973.02/4974.48	c |   1085040 |    1298   143366   620643 |    80000    68777    104 |  0.000 % |
4974.02/4975.46	c |   1085176 |    1298   143366   620643 |    80000    68913    104 |  0.000 % |
4974.92/4976.37	c |   1085322 |    1298   143366   620643 |    80000    69059    104 |  0.000 % |
4976.32/4977.73	c |   1085483 |    1298   143366   620643 |    80000    69220    104 |  0.000 % |
4977.82/4979.22	c |   1085662 |    1298   143366   620643 |    80000    69399    104 |  0.000 % |
4979.22/4980.67	c |   1085856 |    1298   143366   620643 |    80000    69593    104 |  0.000 % |
4980.52/4981.99	c |   1086070 |    1298   143366   620643 |    80000    69807    103 |  0.000 % |
4982.72/4984.18	c |   1086303 |    1298   143366   620643 |    80000    70040    103 |  0.000 % |
4984.92/4986.32	c |   1086559 |    1298   143366   620643 |    80000    70296    103 |  0.000 % |
4986.62/4988.03	c |   1086840 |    1298   143366   620643 |    80000    70577    103 |  0.000 % |
4988.71/4990.16	c |   1087149 |    1298   143366   620643 |    80000    70886    103 |  0.000 % |
4990.81/4992.25	c |   1087488 |    1298   143366   620643 |    80000    71225    103 |  0.000 % |
4993.51/4994.90	c |   1087863 |    1298   143366   620643 |    80000    71600    103 |  0.000 % |
4994.82/4996.26	c |   1088272 |    1298   143366   620643 |    80000    72009    103 |  0.000 % |
4995.61/4997.03	c |   1088721 |    1298   143366   620643 |    80000    72458    103 |  0.000 % |
4996.31/4997.75	c |   1089215 |    1298   143366   620643 |    80000    72952    103 |  0.000 % |
4997.41/4998.85	c |   1089758 |    1298   143366   620643 |    80000    73495    103 |  0.000 % |
5000.61/5002.06	c |   1090356 |    1298   143366   620643 |    73737    74093    103 |  0.000 % |
5007.51/5008.94	c |   1091011 |    1298   143366   620643 |    73737    66731    103 |  0.000 % |
5014.20/5015.63	c |   1091733 |    1298   143366   620643 |    73737    67453    103 |  0.000 % |
5019.30/5020.76	c |   1092525 |    1298   143366   620643 |    73737    68245    103 |  0.000 % |
5023.70/5025.16	c |   1093398 |    1298   143366   620643 |    73737    69118    103 |  0.000 % |
5027.50/5028.91	c |   1094356 |    1298   143366   620643 |    73737    70076    104 |  0.000 % |
5035.60/5037.07	c |   1095410 |    1298   143366   620643 |    73737    71130    104 |  0.000 % |
5044.40/5045.84	c |   1096569 |    1298   143366   620643 |    73737    72289    104 |  0.000 % |
5048.19/5049.63	c |   1097842 |    1298   143366   620643 |    73737    73562    104 |  0.000 % |
5061.89/5063.36	c |   1099243 |    1298   143366   620643 |    73737    67548    104 |  0.000 % |
5076.39/5077.84	c |   1100786 |    1298   143366   620643 | 2147483647    69091    105 |  0.000 % |
5089.48/5090.98	c |   1102480 |    1298   143366   620643 | 2147483647    70785    105 |  0.000 % |
5107.18/5108.67	c |   1104344 |    1298   143366   620643 | 2147483647    72649    105 |  0.000 % |
5126.68/5128.18	c |   1106393 |    1298   143366   620643 | 2147483647    74698    105 |  0.000 % |
5129.87/5131.35	c |   1108648 |    1298   143366   620643 | 2147483647    76953    105 |  0.000 % |
5152.07/5153.57	c |   1111127 |    1298   143366   620643 |    78305    69597    105 |  0.000 % |
5178.26/5179.73	c |   1113853 |    1298   143366   620643 |    78305    72323    105 |  0.000 % |
5203.35/5204.89	c |   1116850 |    1298   143366   620643 |    78305    75320    105 |  0.000 % |
5229.54/5231.06	c |   1120146 |    1298   143366   620643 |    78471    78616    105 |  0.000 % |
5248.85/5250.33	c |   1123772 |    1298   143366   620643 |    78471    72009    106 |  0.000 % |
5272.84/5274.34	c |   1127760 |    1298   143366   620643 |    78471    75997    106 |  0.000 % |
5298.53/5300.01	c |   1132145 |    1298   143366   620643 | 2147483647    80382    106 |  0.000 % |
5329.43/5330.99	c |   1136968 |    1298   143366   620643 | 2147483647    85205    105 |  0.000 % |
5387.81/5389.37	c |   1142273 |    1298   143366   620643 | 2147483647    90510    106 |  0.000 % |
5450.39/5451.98	c |   1148109 |    1298   143366   620643 | 2147483647    96346    107 |  0.000 % |
5501.88/5503.46	c |   1154529 |    1298   143366   620643 |    98239    75404    109 |  0.000 % |
5553.07/5554.68	c |   1161588 |    1298   143366   620643 |    80876    70761    109 |  0.000 % |
5602.15/5603.73	c |   1169353 |    1298   143366   620643 |    80876    78526    110 |  0.000 % |
5649.64/5651.28	c |   1177895 |    1298   143366   620643 |    79173    77199    109 |  0.000 % |
5702.22/5703.88	c |   1187290 |    1298   143366   620643 | 2147483647    86594    109 |  0.000 % |
5766.42/5768.04	c |   1197623 |    1298   143366   620643 | 2147483647    96927    109 |  0.000 % |
5767.12/5768.71	c |   1197723 |    1298   143366   620643 | 2147483647    97027    109 |  0.000 % |
5768.22/5769.81	c |   1197833 |    1298   143366   620643 | 2147483647    97137    109 |  0.000 % |
5769.22/5770.82	c |   1197955 |    1298   143366   620643 | 2147483647    97259    109 |  0.000 % |
5770.42/5772.07	c |   1198088 |    1298   143366   620643 | 2147483647    97392    109 |  0.000 % |
5771.41/5773.06	c |   1198235 |    1298   143366   620643 | 2147483647    97539    109 |  0.000 % |
5772.71/5774.30	c |   1198395 |    1298   143366   620643 | 2147483647    97699    109 |  0.000 % |
5774.21/5775.86	c |   1198573 |    1298   143366   620643 | 2147483647    97877    109 |  0.000 % |
5775.62/5777.27	c |   1198768 |    1298   143366   620643 | 2147483647    98072    109 |  0.000 % |
5777.01/5778.68	c |   1198980 |    1298   143366   620643 | 2147483647    98284    109 |  0.000 % |
5779.11/5780.72	c |   1199214 |    1298   143366   620643 | 2147483647    98518    109 |  0.000 % |
5780.81/5782.43	c |   1199471 |    1298   143366   620643 | 2147483647    98775    109 |  0.000 % |
5782.31/5783.92	c |   1199752 |    1298   143366   620643 | 2147483647    99056    109 |  0.000 % |
5784.01/5785.69	c |   1200061 |    1298   143366   620643 |    99305    99365    109 |  0.000 % |
5786.91/5788.54	c |   1200401 |    1298   143366   620643 |    99305    88264    109 |  0.000 % |
5789.21/5790.82	c |   1200774 |    1298   143366   620643 |    99305    88637    109 |  0.000 % |
5791.71/5793.37	c |   1201183 |    1298   143366   620643 |    99305    89046    109 |  0.000 % |
5795.11/5796.71	c |   1201633 |    1298   143366   620643 |    99305    89496    109 |  0.000 % |
5798.30/5799.95	c |   1202126 |    1298   143366   620643 |    99305    89989    109 |  0.000 % |
5801.80/5803.46	c |   1202668 |    1298   143366   620643 |    99305    90531    109 |  0.000 % |
5805.90/5807.56	c |   1203264 |    1298   143366   620643 |    99305    91127    109 |  0.000 % |
5809.71/5811.36	c |   1203919 |    1298   143366   620643 |    99305    91782    109 |  0.000 % |
5812.90/5814.55	c |   1204639 |    1298   143366   620643 |    99305    92502    109 |  0.000 % |
5815.50/5817.10	c |   1205433 |    1298   143366   620643 |    99305    93296    109 |  0.000 % |
5819.60/5821.23	c |   1206305 |    1298   143366   620643 |    99305    94168    109 |  0.000 % |
5823.10/5824.70	c |   1207263 |    1298   143366   620643 |    99305    95126    109 |  0.000 % |
5827.60/5829.29	c |   1208316 |    1298   143366   620643 |    99305    96179    109 |  0.000 % |
5835.19/5836.80	c |   1209478 |    1298   143366   620643 |    99305    97341    109 |  0.000 % |
5842.59/5844.26	c |   1210755 |    1298   143366   620643 | 2147483647    98618    109 |  0.000 % |
5851.98/5853.62	c |   1212158 |    1298   143366   620643 | 2147483647   100021    109 |  0.000 % |
5862.78/5864.49	c |   1213699 |    1298   143366   620643 | 2147483647   101562    109 |  0.000 % |
5874.98/5876.61	c |   1215394 |    1298   143366   620643 | 2147483647   103257    109 |  0.000 % |
5887.78/5889.47	c |   1217257 |    1298   143366   620643 | 2147483647   105120    109 |  0.000 % |
5901.27/5902.96	c |   1219306 |    1298   143366   620643 | 2147483647   107169    109 |  0.000 % |
5914.07/5915.79	c |   1221560 |    1298   143366   620643 |   107863    98412    110 |  0.000 % |
5928.16/5929.85	c |   1224040 |    1298   143366   620643 |   107863   100892    110 |  0.000 % |
5943.35/5945.09	c |   1226765 |    1298   143366   620643 |   107863   103617    110 |  0.000 % |
5953.85/5955.59	c |   1229762 |    1298   143366   620643 |   107863   106614    110 |  0.000 % |
5970.25/5971.98	c |   1233060 |    1298   143366   620643 | 2147483647   109912    110 |  0.000 % |
5992.44/5994.18	c |   1236690 |    1298   143366   620643 | 2147483647   113542    110 |  0.000 % |
6014.63/6016.32	c |   1240677 |    1298   143366   620643 | 2147483647   117529    110 |  0.000 % |
6034.43/6036.13	c |   1245062 |    1298   143366   620643 | 2147483647   121914    109 |  0.000 % |
6049.92/6051.67	c |   1249885 |    1298   143366   620643 | 2147483647   126737    110 |  0.000 % |
6072.72/6074.46	c |   1255191 |    1298   143366   620643 | 2147483647   132043    110 |  0.000 % |
6101.61/6103.38	c |   1261026 |    1298   143366   620643 | 2147483647   137878    110 |  0.000 % |
6131.81/6133.55	c |   1267444 |    1298   143366   620643 | 2147483647   144296    110 |  0.000 % |
6170.40/6172.11	c |   1274505 |    1298   143366   620643 | 2147483647   151357    110 |  0.000 % |
6205.19/6206.91	c |   1282269 |    1298   143366   620643 |   156852   143079    111 |  0.000 % |
6243.88/6245.65	c |   1290809 |    1298   143366   620643 | 2147483647   151619    111 |  0.000 % |
6287.47/6289.23	c |   1300203 |    1298   143366   620643 | 2147483647   161013    111 |  0.000 % |
6335.46/6337.23	c |   1310537 |    1298   143366   620643 |   170810   154226    110 |  0.000 % |
6377.05/6378.86	c |   1321903 |    1298   143366   620643 | 2147483647   165592    110 |  0.000 % |
6377.85/6379.64	c |   1322005 |    1298   143366   620643 | 2147483647   165694    110 |  0.000 % |
6378.94/6380.72	c |   1322119 |    1298   143366   620643 | 2147483647   165808    110 |  0.000 % |
6379.44/6381.20	c |   1322243 |    1298   143366   620643 | 2147483647   165932    110 |  0.000 % |
6379.84/6381.65	c |   1322377 |    1298   143366   620643 | 2147483647   166066    110 |  0.000 % |
6380.35/6382.16	c |   1322527 |    1298   143366   620643 | 2147483647   166216    110 |  0.000 % |
6381.55/6383.30	c |   1322689 |    1298   143366   620643 | 2147483647   166378    110 |  0.000 % |
6382.14/6383.94	c |   1322866 |    1298   143366   620643 | 2147483647   166555    110 |  0.000 % |
6383.75/6385.54	c |   1323061 |    1298   143366   620643 | 2147483647   166750    110 |  0.000 % |
6384.94/6386.71	c |   1323275 |    1298   143366   620643 | 2147483647   166964    110 |  0.000 % |
6385.85/6387.62	c |   1323510 |    1298   143366   620643 | 2147483647   167199    110 |  0.000 % |
6386.95/6388.71	c |   1323766 |    1298   143366   620643 | 2147483647   167455    110 |  0.000 % |
6388.05/6389.85	c |   1324049 |    1298   143366   620643 | 2147483647   167738    110 |  0.000 % |
6389.15/6390.92	c |   1324358 |    1298   143366   620643 | 2147483647   168047    110 |  0.000 % |
6390.94/6392.70	c |   1324699 |    1298   143366   620643 | 2147483647   168388    110 |  0.000 % |
6392.54/6394.32	c |   1325071 |    1298   143366   620643 | 2147483647   168760    110 |  0.000 % |
6395.64/6397.42	c |   1325481 |    1298   143366   620643 | 2147483647   169170    110 |  0.000 % |
6398.24/6400.05	c |   1325931 |    1298   143366   620643 | 2147483647   169620    110 |  0.000 % |
6399.94/6401.77	c |   1326425 |    1298   143366   620643 | 2147483647   170114    110 |  0.000 % |
6402.14/6403.95	c |   1326967 |    1298   143366   620643 | 2147483647   170656    110 |  0.000 % |
6405.64/6407.46	c |   1327564 |    1298   143366   620643 | 2147483647   171253    110 |  0.000 % |
6409.94/6411.76	c |   1328219 |    1298   143366   620643 | 2147483647   171908    110 |  0.000 % |
6412.44/6414.25	c |   1328940 |    1298   143366   620643 | 2147483647   172629    110 |  0.000 % |
6416.74/6418.59	c |   1329734 |    1298   143366   620643 | 2147483647   173423    110 |  0.000 % |
6421.93/6423.77	c |   1330606 |    1298   143366   620643 | 2147483647   174295    110 |  0.000 % |
6427.53/6429.38	c |   1331564 |    1298   143366   620643 | 2147483647   175253    110 |  0.000 % |
6433.23/6435.05	c |   1332617 |    1298   143366   620643 | 2147483647   176306    110 |  0.000 % |
6440.13/6441.99	c |   1333778 |    1298   143366   620643 | 2147483647   177467    110 |  0.000 % |
6447.62/6449.48	c |   1335052 |    1298   143366   620643 | 2147483647   178741    110 |  0.000 % |
6455.23/6457.07	c |   1336455 |    1298   143366   620643 | 2147483647   180144    110 |  0.000 % |
6464.72/6466.50	c |   1337996 |    1298   143366   620643 | 2147483647   181685    110 |  0.000 % |
6473.62/6475.50	c |   1339691 |    1298   143366   620643 | 2147483647   183380    110 |  0.000 % |
6483.82/6485.63	c |   1341554 |    1298   143366   620643 |   183691   164064    110 |  0.000 % |
6493.91/6495.79	c |   1343603 |    1298   143366   620643 |   183691   166113    110 |  0.000 % |
6501.91/6503.73	c |   1345856 |    1298   143366   620643 |   183691   168366    110 |  0.000 % |
6513.41/6515.29	c |   1348335 |    1298   143366   620643 |   183691   170845    110 |  0.000 % |
6524.50/6526.34	c |   1351063 |    1298   143366   620643 | 2147483647   173573    110 |  0.000 % |
6544.59/6546.49	c |   1354061 |    1298   143366   620643 | 2147483647   176571    110 |  0.000 % |
6569.69/6571.57	c |   1357357 |    1298   143366   620643 | 2147483647   179867    110 |  0.000 % |
6596.18/6598.05	c |   1360983 |    1298   143366   620643 |   182510   145890    109 |  0.000 % |
6611.28/6613.17	c |   1364972 |    1298   143366   620643 |   182510   149879    109 |  0.000 % |
6622.17/6624.01	c |   1369357 |    1298   143366   620643 |   182510   154264    109 |  0.000 % |
6675.06/6676.96	c |   1374181 |    1298   143366   620643 | 2147483647   159088    109 |  0.000 % |
6725.05/6726.90	c |   1379489 |    1298   143366   620643 | 2147483647   164396    109 |  0.000 % |
6779.14/6781.08	c |   1385324 |    1298   143366   620643 |   164907   126191    108 |  0.000 % |
6831.23/6833.16	c |   1391742 |    1298   143366   620643 |   130867    99299    108 |  0.000 % |
6860.82/6862.80	c |   1398802 |    1298   143366   620643 |   130867   106359    109 |  0.000 % |
6892.21/6894.14	c |   1406566 |    1298   143366   620643 |   107557   102472    110 |  0.000 % |
6932.70/6934.67	c |   1415107 |    1298   143366   620643 | 2147483647   111013    110 |  0.000 % |
6983.28/6985.28	c |   1424503 |    1298   143366   620643 | 2147483647   120409    110 |  0.000 % |
7044.57/7046.58	c |   1434837 |    1298   143366   620643 | 2147483647   130743    111 |  0.000 % |
7104.16/7106.11	c |   1446205 |    1298   143366   620643 |   135906   128447    112 |  0.000 % |
7171.54/7173.51	c |   1458708 |    1298   143366   620643 | 2147483647   140950    112 |  0.000 % |
7171.84/7173.90	c |   1458808 |    1298   143366   620643 | 2147483647   141050    112 |  0.000 % |
7172.25/7174.28	c |   1458919 |    1298   143366   620643 | 2147483647   141161    112 |  0.000 % |
7172.94/7174.93	c |   1459042 |    1298   143366   620643 | 2147483647   141284    112 |  0.000 % |
7174.24/7176.29	c |   1459176 |    1298   143366   620643 | 2147483647   141418    112 |  0.000 % |
7175.54/7177.51	c |   1459322 |    1298   143366   620643 | 2147483647   141564    112 |  0.000 % |
7177.14/7179.11	c |   1459482 |    1298   143366   620643 | 2147483647   141724    112 |  0.000 % |
7179.24/7181.24	c |   1459660 |    1298   143366   620643 | 2147483647   141902    112 |  0.000 % |
7180.94/7182.93	c |   1459853 |    1298   143366   620643 | 2147483647   142095    112 |  0.000 % |
7182.74/7184.79	c |   1460067 |    1298   143366   620643 | 2147483647   142309    112 |  0.000 % |
7184.74/7186.73	c |   1460300 |    1298   143366   620643 | 2147483647   142542    112 |  0.000 % |
7187.13/7189.15	c |   1460556 |    1298   143366   620643 | 2147483647   142798    112 |  0.000 % |
7189.53/7191.60	c |   1460837 |    1298   143366   620643 | 2147483647   143079    112 |  0.000 % |
7191.13/7193.13	c |   1461147 |    1298   143366   620643 | 2147483647   143389    112 |  0.000 % |
7194.14/7196.11	c |   1461487 |    1298   143366   620643 | 2147483647   143729    112 |  0.000 % |
7198.13/7200.18	c |   1461859 |    1298   143366   620643 | 2147483647   144101    112 |  0.000 % |
7203.03/7205.07	c |   1462268 |    1298   143366   620643 | 2147483647   144510    112 |  0.000 % |
7207.13/7209.19	c |   1462717 |    1298   143366   620643 | 2147483647   144959    112 |  0.000 % |
7212.33/7214.37	c |   1463211 |    1298   143366   620643 | 2147483647   145453    112 |  0.000 % |
7217.02/7219.08	c |   1463755 |    1298   143366   620643 | 2147483647   145997    112 |  0.000 % |
7222.83/7224.86	c |   1464351 |    1298   143366   620643 | 2147483647   146593    112 |  0.000 % |
7225.92/7227.98	c |   1465007 |    1298   143366   620643 | 2147483647   147249    112 |  0.000 % |
7233.52/7235.52	c |   1465727 |    1298   143366   620643 | 2147483647   147969    112 |  0.000 % |
7240.72/7242.76	c |   1466519 |    1298   143366   620643 | 2147483647   148761    112 |  0.000 % |
7248.22/7250.20	c |   1467390 |    1298   143366   620643 | 2147483647   149632    112 |  0.000 % |
7256.01/7258.02	c |   1468351 |    1298   143366   620643 | 2147483647   150593    112 |  0.000 % |
7264.61/7266.68	c |   1469404 |    1298   143366   620643 | 2147483647   151646    112 |  0.000 % |
7271.41/7273.42	c |   1470564 |    1298   143366   620643 |   152243   120787    112 |  0.001 % |
7275.91/7277.90	c |   1471837 |    1298   143366   620643 |   152243   122060    112 |  0.000 % |
7281.61/7283.67	c |   1473237 |    1298   143366   620643 |   152243   123460    112 |  0.000 % |
7289.40/7291.42	c |   1474777 |    1298   143366   620643 |   152243   125000    112 |  0.000 % |
7294.80/7296.82	c |   1476471 |    1298   143366   620643 |   152243   126694    112 |  0.000 % |
7299.90/7301.95	c |   1478335 |    1298   143366   620643 |   152243   128558    112 |  0.000 % |
7306.20/7308.20	c |   1480384 |    1298   143366   620643 | 2147483647   130607    112 |  0.000 % |
7313.79/7315.84	c |   1482638 |    1298   143366   620643 | 2147483647   132861    112 |  0.000 % |
7334.09/7336.16	c |   1485117 |    1298   143366   620643 | 2147483647   135340    112 |  0.000 % |
7353.88/7355.90	c |   1487842 |    1298   143366   620643 | 2147483647   138065    112 |  0.000 % |
7369.48/7371.56	c |   1490841 |    1298   143366   620643 |   140224   121185    112 |  0.000 % |
7383.87/7385.95	c |   1494139 |    1298   143366   620643 |   140224   124483    112 |  0.000 % |
7400.27/7402.31	c |   1497766 |    1298   143366   620643 |   140224   128110    112 |  0.000 % |
7423.66/7425.70	c |   1501753 |    1298   143366   620643 |   130344   117066    112 |  0.000 % |
7450.46/7452.58	c |   1506138 |    1298   143366   620643 |   130344   121451    112 |  0.000 % |
7464.25/7466.33	c |   1510962 |    1298   143366   620643 | 2147483647   126275    112 |  0.000 % |
7490.55/7492.62	c |   1516268 |    1298   143366   620643 | 2147483647   131581    112 |  0.000 % |
7523.44/7525.54	c |   1522103 |    1298   143366   620643 |   135313   123173    112 |  0.000 % |
7548.33/7550.45	c |   1528522 |    1298   143366   620643 |   135313   129592    111 |  0.000 % |
7585.83/7587.97	c |   1535583 |    1298   143366   620643 | 2147483647   136653    111 |  0.000 % |
7616.62/7618.73	c |   1543348 |    1298   143366   620643 |   141075   129628    111 |  0.000 % |
7645.02/7647.14	c |   1551888 |    1298   143366   620643 | 2147483647   138168    111 |  0.000 % |
7675.51/7677.67	c |   1561282 |    1298   143366   620643 | 2147483647   147562    111 |  0.000 % |
7753.99/7756.14	c |   1571615 |    1298   143366   620643 |   156282   135099    111 |  0.000 % |
7823.96/7826.11	c |   1582981 |    1298   143366   620643 |   143485   129036    111 |  0.000 % |
7897.95/7900.16	c |   1595485 |    1298   143366   620643 |   136055   124855    111 |  0.000 % |
7947.13/7949.33	c |   1609238 |    1298   143366   620643 |   129373   125650    111 |  0.000 % |
7947.73/7949.99	c |   1609338 |    1298   143366   620643 |   129373   125750    111 |  0.000 % |
7948.33/7950.57	c |   1609448 |    1298   143366   620643 |   129373   125860    111 |  0.000 % |
7948.93/7951.11	c |   1609570 |    1298   143366   620643 |   129373   125982    111 |  0.000 % |
7949.83/7952.08	c |   1609704 |    1298   143366   620643 |   129373   126116    111 |  0.000 % |
7950.83/7953.08	c |   1609850 |    1298   143366   620643 |   129373   126262    111 |  0.000 % |
7951.93/7954.18	c |   1610010 |    1298   143366   620643 | 2147483647   126422    111 |  0.000 % |
7953.63/7955.84	c |   1610186 |    1298   143366   620643 | 2147483647   126598    111 |  0.000 % |
7955.23/7957.48	c |   1610380 |    1298   143366   620643 | 2147483647   126792    111 |  0.000 % |
7956.93/7959.17	c |   1610592 |    1298   143366   620643 | 2147483647   127004    111 |  0.000 % |
7959.33/7961.51	c |   1610825 |    1298   143366   620643 | 2147483647   127237    111 |  0.000 % |
7960.33/7962.52	c |   1611083 |    1298   143366   620643 | 2147483647   127495    111 |  0.000 % |
7963.73/7965.99	c |   1611366 |    1298   143366   620643 | 2147483647   127778    111 |  0.000 % |
7967.13/7969.30	c |   1611676 |    1298   143366   620643 | 2147483647   128088    111 |  0.000 % |
7968.82/7971.05	c |   1612016 |    1298   143366   620643 | 2147483647   128428    111 |  0.000 % |
7972.62/7974.85	c |   1612388 |    1298   143366   620643 | 2147483647   128800    111 |  0.000 % |
7974.52/7976.72	c |   1612798 |    1298   143366   620643 | 2147483647   129210    111 |  0.000 % |
7978.23/7980.40	c |   1613247 |    1298   143366   620643 | 2147483647   129659    111 |  0.000 % |
7981.72/7983.96	c |   1613742 |    1298   143366   620643 | 2147483647   130154    111 |  0.000 % |
7984.12/7986.37	c |   1614284 |    1298   143366   620643 | 2147483647   130696    111 |  0.000 % |
7986.62/7988.84	c |   1614881 |    1298   143366   620643 | 2147483647   131293    111 |  0.000 % |
7988.92/7991.13	c |   1615538 |    1298   143366   620643 | 2147483647   131950    111 |  0.000 % |
7993.22/7995.46	c |   1616258 |    1298   143366   620643 | 2147483647   132670    111 |  0.000 % |
7998.12/8000.30	c |   1617051 |    1298   143366   620643 | 2147483647   133463    111 |  0.000 % |
8003.91/8006.16	c |   1617923 |    1298   143366   620643 | 2147483647   134335    111 |  0.000 % |
8011.41/8013.62	c |   1618882 |    1298   143366   620643 | 2147483647   135294    111 |  0.000 % |
8017.91/8020.13	c |   1619936 |    1298   143366   620643 | 2147483647   136348    111 |  0.000 % |
8025.21/8027.46	c |   1621094 |    1298   143366   620643 |   136412   119686    110 |  0.000 % |
8032.30/8034.55	c |   1622367 |    1298   143366   620643 |   136412   120959    110 |  0.000 % |
8037.71/8039.95	c |   1623768 |    1298   143366   620643 |   136412   122360    110 |  0.000 % |
8046.80/8049.03	c |   1625309 |    1298   143366   620643 |   136412   123901    110 |  0.000 % |
8055.00/8057.28	c |   1627005 |    1298   143366   620643 |   136412   125597    110 |  0.000 % |
8063.79/8066.01	c |   1628868 |    1298   143366   620643 |   136412   127460    110 |  0.000 % |
8075.49/8077.77	c |   1630917 |    1298   143366   620643 |   128593   116632    110 |  0.000 % |
8084.79/8087.09	c |   1633170 |    1298   143366   620643 |   128593   118885    110 |  0.000 % |
8101.50/8103.72	c |   1635652 |    1298   143366   620643 |   128593   121367    110 |  0.000 % |
8110.09/8112.36	c |   1638377 |    1298   143366   620643 |   128593   124092    110 |  0.000 % |
8126.89/8129.11	c |   1641375 |    1298   143366   620643 | 2147483647   127090    110 |  0.000 % |
8150.58/8152.81	c |   1644672 |    1298   143366   620643 | 2147483647   130387    110 |  0.000 % |
8173.47/8175.76	c |   1648297 |    1298   143366   620643 | 2147483647   134012    110 |  0.000 % |
8186.57/8188.80	c |   1652286 |    1298   143366   620643 | 2147483647   138001    110 |  0.000 % |
8214.46/8216.71	c |   1656674 |    1298   143366   620643 | 2147483647   142389    110 |  0.000 % |
8238.36/8240.60	c |   1661499 |    1298   143366   620643 | 2147483647   147214    110 |  0.000 % |
8284.34/8286.66	c |   1666804 |    1298   143366   620643 | 2147483647   152519    110 |  0.000 % |
8313.23/8315.54	c |   1672639 |    1298   143366   620643 |   155715   138675    110 |  0.000 % |
8361.72/8364.04	c |   1679058 |    1298   143366   620643 |   155715   145094    110 |  0.000 % |
8405.31/8407.68	c |   1686118 |    1298   143366   620643 |   146037   133687    110 |  0.000 % |
8446.19/8448.54	c |   1693883 |    1298   143366   620643 |   137569   127676    109 |  0.000 % |
8490.89/8493.28	c |   1702423 |    1298   143366   620643 | 2147483647   136216    109 |  0.000 % |
8535.38/8537.74	c |   1711818 |    1298   143366   620643 | 2147483647   145611    109 |  0.000 % |
8581.07/8583.42	c |   1722152 |    1298   143366   620643 | 2147483647   155945    109 |  0.000 % |
8652.64/8655.08	c |   1733520 |    1298   143366   620643 |   163794   146074    109 |  0.000 % |
8710.13/8712.52	c |   1746023 |    1298   143366   620643 |   152554   143307    109 |  0.000 % |
8774.92/8777.37	c |   1759776 |    1298   143366   620643 | 2147483647   157060    109 |  0.000 % |
8840.10/8842.51	c |   1774904 |    1298   143366   620643 | 2147483647   172188    109 |  0.000 % |
8840.80/8843.27	c |   1775005 |    1298   143366   620643 | 2147483647   172289    109 |  0.000 % |
8842.40/8844.84	c |   1775115 |    1298   143366   620643 | 2147483647   172399    109 |  0.000 % |
8843.50/8845.90	c |   1775236 |    1298   143366   620643 | 2147483647   172520    109 |  0.000 % |
8845.30/8847.70	c |   1775371 |    1298   143366   620643 | 2147483647   172655    109 |  0.000 % |
8847.30/8849.80	c |   1775518 |    1298   143366   620643 | 2147483647   172802    109 |  0.000 % |
8849.20/8851.67	c |   1775678 |    1298   143366   620643 | 2147483647   172962    109 |  0.000 % |
8851.10/8853.54	c |   1775855 |    1298   143366   620643 | 2147483647   173139    109 |  0.000 % |
8852.00/8854.48	c |   1776048 |    1298   143366   620643 | 2147483647   173332    109 |  0.000 % |
8854.70/8857.17	c |   1776261 |    1298   143366   620643 | 2147483647   173545    109 |  0.000 % |
8857.10/8859.54	c |   1776494 |    1298   143366   620643 | 2147483647   173778    109 |  0.000 % |
8859.40/8861.84	c |   1776752 |    1298   143366   620643 | 2147483647   174036    109 |  0.000 % |
8862.19/8864.62	c |   1777034 |    1298   143366   620643 | 2147483647   174318    109 |  0.000 % |
8866.99/8869.40	c |   1777345 |    1298   143366   620643 | 2147483647   174629    109 |  0.000 % |
8869.19/8871.64	c |   1777685 |    1298   143366   620643 | 2147483647   174969    109 |  0.000 % |
8873.59/8876.08	c |   1778058 |    1298   143366   620643 | 2147483647   175342    109 |  0.000 % |
8877.19/8879.67	c |   1778469 |    1298   143366   620643 | 2147483647   175753    109 |  0.001 % |
8881.59/8884.06	c |   1778920 |    1298   143366   620643 | 2147483647   176204    109 |  0.000 % |
8885.39/8887.84	c |   1779413 |    1298   143366   620643 | 2147483647   176697    109 |  0.000 % |
8891.39/8893.81	c |   1779955 |    1298   143366   620643 | 2147483647   177239    109 |  0.000 % |
8895.78/8898.29	c |   1780552 |    1298   143366   620643 |   177285   155317    109 |  0.000 % |
8897.48/8900.00	c |   1781208 |    1298   143366   620643 |   177285   155973    109 |  0.000 % |
8899.79/8902.29	c |   1781929 |    1298   143366   620643 |   177285   156694    109 |  0.000 % |
8902.68/8905.14	c |   1782722 |    1298   143366   620643 |   177285   157487    109 |  0.000 % |
8911.38/8913.90	c |   1783595 |    1298   143366   620643 |   177285   158360    109 |  0.000 % |
8922.77/8925.21	c |   1784554 |    1298   143366   620643 |   177285   159319    109 |  0.000 % |
8933.47/8935.98	c |   1785607 |    1298   143366   620643 |   177285   160372    109 |  0.000 % |
8951.67/8954.17	c |   1786765 |    1298   143366   620643 |   177285   161530    109 |  0.000 % |
8968.46/8970.99	c |   1788040 |    1298   143366   620643 |   177285   162805    109 |  0.000 % |
8978.26/8980.71	c |   1789440 |    1298   143366   620643 |   177285   164205    109 |  0.000 % |
8992.16/8994.65	c |   1790981 |    1298   143366   620643 |   164765   138639    108 |  0.000 % |
9011.56/9014.04	c |   1792676 |    1298   143366   620643 |   164765   140334    109 |  0.000 % |
9031.95/9034.48	c |   1794540 |    1298   143366   620643 |   164765   142198    109 |  0.000 % |
9043.45/9045.99	c |   1796590 |    1298   143366   620643 |   164765   144248    109 |  0.000 % |
9066.24/9068.79	c |   1798843 |    1298   143366   620643 |   164765   146501    109 |  0.000 % |
9084.44/9086.90	c |   1801322 |    1298   143366   620643 |   147658   128555    109 |  0.000 % |
9098.53/9101.04	c |   1804049 |    1298   143366   620643 |   147658   131282    109 |  0.000 % |
9123.13/9125.69	c |   1807047 |    1298   143366   620643 |   147658   134280    109 |  0.000 % |
9136.33/9138.88	c |   1810345 |    1298   143366   620643 | 2147483647   137578    110 |  0.000 % |
9167.91/9170.48	c |   1813970 |    1298   143366   620643 | 2147483647   141203    110 |  0.000 % |
9205.90/9208.43	c |   1817958 |    1298   143366   620643 | 2147483647   145191    110 |  0.000 % |
9248.50/9251.03	c |   1822343 |    1298   143366   620643 |   147233   122247    111 |  0.000 % |
9288.38/9290.92	c |   1827166 |    1298   143366   620643 |   147233   127070    111 |  0.000 % |
9327.47/9330.06	c |   1832471 |    1298   143366   620643 |   129905   110279    110 |  0.000 % |
9377.26/9379.83	c |   1838306 |    1298   143366   620643 |   129905   116114    111 |  0.000 % |
9407.26/9409.89	c |   1844724 |    1298   143366   620643 |   117809   107253    111 |  0.000 % |
9459.24/9461.80	c |   1851783 |    1298   143366   620643 | 2147483647   114312    111 |  0.000 % |
9520.72/9523.35	c |   1859547 |    1298   143366   620643 | 2147483647   122076    111 |  0.000 % |
9574.50/9577.16	c |   1868087 |    1298   143366   620643 |   122530   114445    112 |  0.000 % |
9627.79/9630.49	c |   1877482 |    1298   143366   620643 | 2147483647   123840    112 |  0.000 % |
9689.47/9692.12	c |   1887816 |    1298   143366   620643 | 2147483647   134174    111 |  0.000 % |
9722.86/9725.53	c |   1899183 |    1298   143366   620643 | 2147483647   145541    112 |  0.000 % |
9775.05/9777.72	c |   1911686 |    1298   143366   620643 | 2147483647   158044    112 |  0.000 % |
9839.54/9842.22	c |   1925441 |    1298   143366   620643 | 2147483647   171799    112 |  0.000 % |
9908.72/9911.47	c |   1940573 |    1298   143366   620643 | 2147483647   169259    110 |  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-1837522-1242876218/watcher-1837522-1242876218 -o /tmp/evaluation-result-1837522-1242876218/solver-1837522-1242876218 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837522-1242876218.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.93 0.98 0.99 3/64 17771
/proc/meminfo: memFree=1388968/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0

[startup+0.078771 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17771
/proc/meminfo: memFree=1388968/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101773 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17771
/proc/meminfo: memFree=1388968/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301793 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17771
/proc/meminfo: memFree=1388968/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701831 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 17771
/proc/meminfo: memFree=1388968/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50191 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17776
/proc/meminfo: memFree=1373400/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=0
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315650419 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17771/statm: 1339 237 197 169 0 50 0
[pid=17775] ppid=17771 vsize=14884 CPUtime=1.48
/proc/17775/stat : 17775 (SatELite_releas) R 17771 17771 17734 0 -1 4194304 3736 0 0 0 146 2 0 0 25 0 1 0 315650420 15241216 3442 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17775/statm: 3721 3442 76 173 0 3546 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20240

[startup+3.10209 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17777
/proc/meminfo: memFree=1376280/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=10896 CPUtime=1.48
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 2543 0 0 0 147 1 0 0 25 0 1 0 315650580 11157504 2529 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 2724 2529 77 171 0 2551 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16252

[startup+6.30139 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1371544/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=14592 CPUtime=4.67
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 3486 0 0 0 466 1 0 0 25 0 1 0 315650580 14942208 3472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 3648 3472 77 171 0 3475 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19948

[startup+12.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1367064/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=19096 CPUtime=11.07
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 4567 0 0 0 1105 2 0 0 25 0 1 0 315650580 19554304 4553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 4774 4553 77 171 0 4601 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 24452

[startup+25.5013 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1363096/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=22800 CPUtime=23.87
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 5521 0 0 0 2383 4 0 0 25 0 1 0 315650580 23347200 5507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 5700 5507 77 171 0 5527 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28156

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1354328/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=32328 CPUtime=49.46
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 7818 0 0 0 4940 6 0 0 25 0 1 0 315650580 33103872 7804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 8082 7804 77 171 0 7909 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 37684

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1341720/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=44696 CPUtime=100.65
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 10849 0 0 0 10057 8 0 0 25 0 1 0 315650580 45768704 10835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 11174 10835 77 171 0 11001 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 50052

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1329880/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=56968 CPUtime=160.62
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 13856 0 0 0 16051 11 0 0 25 0 1 0 315650580 58335232 13842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 14242 13842 77 171 0 14069 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 62324

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1319448/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=67076 CPUtime=220.61
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 16405 0 0 0 22046 15 0 0 25 0 1 0 315650580 68685824 16391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 16769 16391 77 171 0 16596 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 72432

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1310232/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=76552 CPUtime=280.59
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 18697 0 0 0 28041 18 0 0 25 0 1 0 315650580 78389248 18683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 19138 18683 77 171 0 18965 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 81908

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1300952/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=85700 CPUtime=340.56
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 20993 0 0 0 34036 20 0 0 25 0 1 0 315650580 87756800 20979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 21425 20979 77 171 0 21252 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 91056

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17777
/proc/meminfo: memFree=1291736/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=94868 CPUtime=400.54
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 23319 0 0 0 40031 23 0 0 25 0 1 0 315650580 97144832 23305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 23717 23305 77 171 0 23544 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 100224

[startup+462.302 s]

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

/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9339.77
Current children cumulated vsize (KiB) 249932

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17795
/proc/meminfo: memFree=1142808/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9398.17
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60046 0 0 0 939732 85 0 0 25 0 1 0 315650580 250445824 60032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9399.76
Current children cumulated vsize (KiB) 249932

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142680/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9458.15
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60046 0 0 0 945730 85 0 0 25 0 1 0 315650580 250445824 60032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9459.74
Current children cumulated vsize (KiB) 249932

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142680/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9518.13
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60046 0 0 0 951728 85 0 0 25 0 1 0 315650580 250445824 60032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9519.72
Current children cumulated vsize (KiB) 249932

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142680/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9578.11
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60046 0 0 0 957726 85 0 0 25 0 1 0 315650580 250445824 60032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9579.7
Current children cumulated vsize (KiB) 249932

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142680/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9638.09
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60046 0 0 0 963724 85 0 0 25 0 1 0 315650580 250445824 60032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60032 77 171 0 60971 0
Current children cumulated CPU time (s) 9639.68
Current children cumulated vsize (KiB) 249932

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9698.08
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60047 0 0 0 969723 85 0 0 25 0 1 0 315650580 250445824 60033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60033 77 171 0 60971 0
Current children cumulated CPU time (s) 9699.67
Current children cumulated vsize (KiB) 249932

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9758.06
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60047 0 0 0 975721 85 0 0 25 0 1 0 315650580 250445824 60033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60033 77 171 0 60971 0
Current children cumulated CPU time (s) 9759.65
Current children cumulated vsize (KiB) 249932

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142808/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9818.06
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60047 0 0 0 981720 86 0 0 25 0 1 0 315650580 250445824 60033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60033 77 171 0 60971 0
Current children cumulated CPU time (s) 9819.65
Current children cumulated vsize (KiB) 249932

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9878.04
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60047 0 0 0 987718 86 0 0 25 0 1 0 315650580 250445824 60033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60033 77 171 0 60971 0
Current children cumulated CPU time (s) 9879.63
Current children cumulated vsize (KiB) 249932

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9938.02
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60057 0 0 0 993716 86 0 0 25 0 1 0 315650580 250445824 60043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60043 77 171 0 60971 0
Current children cumulated CPU time (s) 9939.61
Current children cumulated vsize (KiB) 249932

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9998.01
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60057 0 0 0 999715 86 0 0 25 0 1 0 315650580 250445824 60043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60043 77 171 0 60971 0
Current children cumulated CPU time (s) 9999.6
Current children cumulated vsize (KiB) 249932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17801
/proc/meminfo: memFree=1142744/2055920 swapFree=4180548/4192956
[pid=17771] ppid=17769 vsize=5356 CPUtime=1.59
/proc/17771/stat : 17771 (SatELiteGTI) S 17769 17771 17734 0 -1 4194304 336 3987 0 0 0 0 156 3 16 0 1 0 315650419 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17771/statm: 1339 239 197 169 0 50 0
[pid=17777] ppid=17771 vsize=244576 CPUtime=9998.51
/proc/17777/stat : 17777 (minisat_static) R 17771 17771 17734 0 -1 4194304 60057 0 0 0 999765 86 0 0 25 0 1 0 315650580 250445824 60043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17777/statm: 61144 60043 77 171 0 60971 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 249932

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10002.8
CPU time (s): 10000.1
CPU user time (s): 9999.21
CPU system time (s): 0.89
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 249932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56876
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4323
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= 13
involuntary context switches= 10

runsolver used 11.5372 second user time and 24.9952 second system time

The end

Launcher Data

Begin job on node36 at 2009-05-21 05:23:38
IDJOB=1837522
IDBENCH=71076
IDSOLVER=674
FILE ID=node36/1837522-1242876218
PBS_JOBID= 9328629
Free space on /tmp= 66200 MiB

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

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

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED=1061258220

node36.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.232
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.232
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:       1389448 kB
Buffers:         69852 kB
Cached:         519996 kB
SwapCached:       6580 kB
Active:         272256 kB
Inactive:       326288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1389448 kB
SwapTotal:     4192956 kB
SwapFree:      4180548 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          13908 kB
Slab:            54076 kB
Committed_AS:  1088316 kB
PageTables:       1360 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= 66196 MiB
End job on node36 at 2009-05-21 08:10:23