Trace number 1833543

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-18SAT 180.596 180.725

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
MD5SUMd341022d95ddbcad449a00c47578e9f1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015997
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1615     4845 |     484       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    1608     4875 |      --       0       --      -- |     --   | -7/30
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 371   #clauses: 1608   #literals: 4875
0.00/0.01	c CPU time:   0.003999 s
0.00/0.01	c ==============================================================================
0.00/0.01	c This is MiniSat 2.0 beta
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  371                                                  |
0.00/0.01	c |  Number of clauses:    1608                                                 |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     371     1608     4875 |      536        0    nan |  0.000 % |
0.00/0.01	c |       102 |     371     1608     4875 |      536      102     21 |  0.001 % |
0.00/0.02	c |       203 |     371     1608     4875 |      536      203     21 |  0.001 % |
0.00/0.02	c |       304 |     371     1608     4875 |      536      304     20 |  0.001 % |
0.00/0.02	c |       416 |     371     1608     4875 |      536      416     19 |  0.001 % |
0.00/0.03	c |       517 |     371     1608     4875 |      536      517     20 |  0.001 % |
0.00/0.03	c |       629 |     371     1608     4875 |      536      572     19 |  0.001 % |
0.00/0.03	c |       750 |     371     1608     4875 |      536      577     19 |  0.001 % |
0.00/0.04	c |       850 |     371     1608     4875 |      536      563     19 |  0.001 % |
0.00/0.04	c |       961 |     371     1608     4875 |      536      563     18 |  0.001 % |
0.00/0.04	c |      1083 |     371     1608     4875 |      536      575     18 |  0.001 % |
0.00/0.05	c |      1216 |     371     1608     4875 |      536      546     17 |  0.001 % |
0.00/0.05	c |      1316 |     371     1608     4875 |      536      538     16 |  0.001 % |
0.00/0.05	c |      1428 |     371     1608     4875 |      536      539     15 |  0.001 % |
0.00/0.06	c |      1549 |     371     1608     4875 |      536      553     16 |  0.001 % |
0.00/0.06	c |      1684 |     371     1608     4875 |      536      522     15 |  0.001 % |
0.00/0.07	c |      1830 |     371     1608     4875 |      536      558     16 |  0.001 % |
0.00/0.07	c |      1931 |     371     1608     4875 |      536      549     16 |  0.001 % |
0.00/0.07	c |      2041 |     371     1608     4875 |      536      551     16 |  0.001 % |
0.00/0.08	c |      2164 |     371     1608     4875 |      536      563     16 |  0.001 % |
0.00/0.08	c |      2298 |     371     1608     4875 |      536      585     16 |  0.001 % |
0.00/0.08	c |      2444 |     371     1608     4875 |      536      563     15 |  0.001 % |
0.00/0.09	c |      2604 |     371     1608     4875 |      536      556     15 |  0.001 % |
0.00/0.09	c |      2704 |     371     1608     4875 |      536      545     15 |  0.001 % |
0.00/0.10	c |      2815 |     371     1608     4875 |      536      546     16 |  0.001 % |
0.00/0.10	c |      2936 |     371     1608     4875 |      536      558     16 |  0.001 % |
0.00/0.10	c |      3072 |     371     1608     4875 |      536      528     15 |  0.001 % |
0.00/0.11	c |      3219 |     371     1608     4875 |      536      560     15 |  0.001 % |
0.00/0.11	c |      3379 |     371     1608     4875 |      536      553     15 |  0.001 % |
0.00/0.12	c |      3556 |     371     1608     4875 |      536      566     15 |  0.001 % |
0.00/0.12	c |      3656 |     371     1608     4875 |      536      552     15 |  0.001 % |
0.00/0.13	c |      3766 |     371     1608     4875 |      536      550     14 |  0.001 % |
0.00/0.13	c |      3888 |     371     1608     4875 |      536      562     14 |  0.001 % |
0.00/0.13	c |      4021 |     371     1608     4875 |      536      529     15 |  0.001 % |
0.00/0.14	c |      4167 |     371     1608     4875 |      536      565     15 |  0.001 % |
0.00/0.14	c |      4327 |     371     1608     4875 |      536      559     15 |  0.001 % |
0.00/0.15	c |      4503 |     371     1608     4875 |      536      570     16 |  0.001 % |
0.00/0.15	c |      4697 |     371     1608     4875 |      536      539     15 |  0.001 % |
0.00/0.16	c |      4797 |     371     1608     4875 |      536      532     15 |  0.001 % |
0.00/0.16	c |      4907 |     371     1608     4875 |      536      585     16 |  0.001 % |
0.00/0.16	c |      5028 |     371     1608     4875 |      536      537     15 |  0.001 % |
0.00/0.17	c |      5162 |     371     1608     4875 |      536      562     15 |  0.001 % |
0.00/0.17	c |      5308 |     371     1608     4875 |      536      540     14 |  0.001 % |
0.00/0.18	c |      5468 |     371     1608     4875 |      536      534     14 |  0.001 % |
0.00/0.18	c |      5646 |     371     1608     4875 |      536      549     15 |  0.001 % |
0.00/0.19	c |      5839 |     371     1608     4875 |      536      522     15 |  0.001 % |
0.00/0.20	c |      6052 |     371     1608     4875 |      536      565     16 |  0.001 % |
0.00/0.20	c |      6154 |     371     1608     4875 |      536      554     15 |  0.001 % |
0.00/0.20	c |      6264 |     371     1608     4875 |      536      554     15 |  0.001 % |
0.00/0.21	c |      6385 |     371     1608     4875 |      536      568     15 |  0.001 % |
0.00/0.21	c |      6518 |     371     1608     4875 |      536      536     15 |  0.001 % |
0.00/0.21	c |      6665 |     371     1608     4875 |      536      575     15 |  0.001 % |
0.00/0.22	c |      6826 |     371     1608     4875 |      536      518     14 |  0.001 % |
0.00/0.23	c |      7002 |     371     1608     4875 |      536      528     14 |  0.001 % |
0.00/0.23	c |      7195 |     371     1608     4875 |      536      551     14 |  0.001 % |
0.00/0.24	c |      7411 |     371     1608     4875 |      536      545     14 |  0.001 % |
0.00/0.25	c |      7645 |     371     1608     4875 |      536      560     14 |  0.001 % |
0.00/0.25	c |      7747 |     371     1608     4875 |      536      552     14 |  0.001 % |
0.00/0.25	c |      7857 |     371     1608     4875 |      536      552     14 |  0.001 % |
0.00/0.26	c |      7978 |     371     1608     4875 |      536      562     13 |  0.001 % |
0.00/0.26	c |      8111 |     371     1608     4875 |      536      583     14 |  0.001 % |
0.00/0.26	c |      8257 |     371     1608     4875 |      536      559     14 |  0.001 % |
0.00/0.27	c |      8418 |     371     1608     4875 |      536      555     14 |  0.001 % |
0.00/0.28	c |      8594 |     371     1608     4875 |      536      564     14 |  0.001 % |
0.00/0.28	c |      8789 |     371     1608     4875 |      536      588     15 |  0.001 % |
0.00/0.29	c |      9001 |     371     1608     4875 |      536      576     14 |  0.001 % |
0.00/0.29	c |      9235 |     371     1608     4875 |      536      578     15 |  0.001 % |
0.00/0.30	c |      9491 |     371     1608     4875 |      536      554     15 |  0.001 % |
0.00/0.31	c |      9591 |     371     1608     4875 |      536      544     14 |  0.001 % |
0.00/0.31	c |      9704 |     371     1608     4875 |      536      547     14 |  0.001 % |
0.00/0.31	c |      9825 |     371     1608     4875 |      536      558     14 |  0.001 % |
0.00/0.32	c |      9961 |     371     1608     4875 |      536      582     14 |  0.001 % |
0.00/0.32	c |     10109 |     371     1608     4875 | 2147483647      672     15 |  0.001 % |
0.00/0.33	c |     10269 |     371     1608     4875 | 2147483647      832     16 |  0.001 % |
0.00/0.33	c |     10448 |     371     1608     4875 | 2147483647     1011     17 |  0.001 % |
0.00/0.34	c |     10642 |     371     1608     4875 | 2147483647     1205     18 |  0.001 % |
0.00/0.35	c |     10854 |     371     1608     4875 | 2147483647     1417     18 |  0.001 % |
0.00/0.36	c |     11089 |     371     1608     4875 | 2147483647     1652     18 |  0.001 % |
0.00/0.37	c |     11346 |     371     1608     4875 | 2147483647     1909     18 |  0.001 % |
0.00/0.38	c |     11628 |     371     1608     4875 | 2147483647     2191     18 |  0.001 % |
0.00/0.38	c |     11729 |     371     1608     4875 | 2147483647     2292     18 |  0.001 % |
0.00/0.38	c |     11839 |     371     1608     4875 | 2147483647     2402     18 |  0.001 % |
0.00/0.39	c |     11961 |     371     1608     4875 | 2147483647     2524     18 |  0.001 % |
0.00/0.40	c |     12094 |     371     1608     4875 | 2147483647     2657     18 |  0.001 % |
0.00/0.40	c |     12240 |     371     1608     4875 | 2147483647     2803     18 |  0.001 % |
0.00/0.41	c |     12400 |     371     1608     4875 | 2147483647     2963     18 |  0.001 % |
0.00/0.42	c |     12576 |     371     1608     4875 | 2147483647     3139     18 |  0.001 % |
0.00/0.43	c |     12769 |     371     1608     4875 | 2147483647     3332     18 |  0.001 % |
0.00/0.44	c |     12981 |     371     1608     4875 | 2147483647     3544     18 |  0.001 % |
0.00/0.45	c |     13217 |     371     1608     4875 | 2147483647     3780     18 |  0.001 % |
0.00/0.46	c |     13473 |     371     1608     4875 | 2147483647     4036     18 |  0.001 % |
0.00/0.48	c |     13756 |     371     1608     4875 | 2147483647     4319     18 |  0.001 % |
0.00/0.49	c |     14065 |     371     1608     4875 | 2147483647     4628     18 |  0.001 % |
0.00/0.50	c |     14165 |     371     1608     4875 | 2147483647     4728     18 |  0.001 % |
0.00/0.50	c |     14275 |     371     1608     4875 | 2147483647     4838     18 |  0.001 % |
0.00/0.51	c |     14398 |     371     1608     4875 | 2147483647     4961     18 |  0.001 % |
0.00/0.52	c |     14533 |     371     1608     4875 | 2147483647     5096     18 |  0.001 % |
0.00/0.53	c |     14682 |     371     1608     4875 | 2147483647     5245     18 |  0.001 % |
0.00/0.54	c |     14842 |     371     1608     4875 | 2147483647     5405     18 |  0.001 % |
0.00/0.55	c |     15018 |     371     1608     4875 | 2147483647     5581     18 |  0.001 % |
0.00/0.56	c |     15211 |     371     1608     4875 | 2147483647     5774     18 |  0.001 % |
0.00/0.57	c |     15424 |     371     1608     4875 | 2147483647     5987     18 |  0.001 % |
0.00/0.58	c |     15657 |     371     1608     4875 | 2147483647     6220     18 |  0.001 % |
0.00/0.60	c |     15914 |     371     1608     4875 | 2147483647     6477     18 |  0.001 % |
0.00/0.62	c |     16197 |     371     1608     4875 | 2147483647     6760     18 |  0.001 % |
0.00/0.64	c |     16506 |     371     1608     4875 | 2147483647     7069     18 |  0.001 % |
0.00/0.66	c |     16847 |     371     1608     4875 | 2147483647     7410     18 |  0.001 % |
0.00/0.67	c |     16947 |     371     1608     4875 | 2147483647     7510     18 |  0.001 % |
0.00/0.68	c |     17058 |     371     1608     4875 | 2147483647     7621     18 |  0.001 % |
0.00/0.69	c |     17179 |     371     1608     4875 | 2147483647     7742     18 |  0.001 % |
0.00/0.70	c |     17313 |     371     1608     4875 | 2147483647     7876     18 |  0.001 % |
0.00/0.71	c |     17459 |     371     1608     4875 | 2147483647     8022     18 |  0.001 % |
0.00/0.72	c |     17621 |     371     1608     4875 | 2147483647     8184     18 |  0.001 % |
0.00/0.73	c |     17799 |     371     1608     4875 | 2147483647     8362     18 |  0.001 % |
0.00/0.75	c |     17993 |     371     1608     4875 | 2147483647     8556     18 |  0.001 % |
0.00/0.76	c |     18207 |     371     1608     4875 | 2147483647     8770     18 |  0.001 % |
0.00/0.78	c |     18441 |     371     1608     4875 | 2147483647     9004     18 |  0.001 % |
0.00/0.80	c |     18697 |     371     1608     4875 | 2147483647     9260     18 |  0.001 % |
0.00/0.82	c |     18978 |     371     1608     4875 | 2147483647     9541     18 |  0.001 % |
0.00/0.85	c |     19287 |     371     1608     4875 | 2147483647     9850     18 |  0.001 % |
0.00/0.88	c |     19627 |     371     1608     4875 | 2147483647    10190     18 |  0.001 % |
0.00/0.91	c |     20000 |     371     1608     4875 | 2147483647    10563     18 |  0.001 % |
0.00/0.92	c |     20100 |     371     1608     4875 | 2147483647    10663     18 |  0.001 % |
0.00/0.93	c |     20210 |     371     1608     4875 | 2147483647    10773     18 |  0.001 % |
0.00/0.94	c |     20331 |     371     1608     4875 | 2147483647    10894     18 |  0.001 % |
0.00/0.96	c |     20464 |     371     1608     4875 | 2147483647    11027     18 |  0.001 % |
0.00/0.97	c |     20613 |     371     1608     4875 | 2147483647    11176     18 |  0.001 % |
0.00/0.99	c |     20773 |     371     1608     4875 | 2147483647    11336     18 |  0.001 % |
0.98/1.00	c |     20949 |     371     1608     4875 | 2147483647    11512     18 |  0.001 % |
0.98/1.02	c |     21142 |     371     1608     4875 | 2147483647    11705     18 |  0.001 % |
0.98/1.04	c |     21355 |     371     1608     4875 | 2147483647    11918     18 |  0.001 % |
0.98/1.07	c |     21588 |     371     1608     4875 | 2147483647    12151     18 |  0.001 % |
0.98/1.09	c |     21844 |     371     1608     4875 | 2147483647    12407     18 |  0.001 % |
1.08/1.12	c |     22125 |     371     1608     4875 | 2147483647    12688     18 |  0.001 % |
1.08/1.16	c |     22435 |     371     1608     4875 | 2147483647    12998     18 |  0.001 % |
1.08/1.19	c |     22775 |     371     1608     4875 | 2147483647    13338     18 |  0.001 % |
1.18/1.23	c |     23147 |     371     1608     4875 | 2147483647    13710     18 |  0.001 % |
1.18/1.28	c |     23557 |     371     1608     4875 | 2147483647    14120     18 |  0.001 % |
1.18/1.29	c |     23660 |     371     1608     4875 | 2147483647    14223     18 |  0.001 % |
1.28/1.31	c |     23772 |     371     1608     4875 | 2147483647    14335     18 |  0.001 % |
1.28/1.32	c |     23894 |     371     1608     4875 | 2147483647    14457     18 |  0.001 % |
1.28/1.34	c |     24028 |     371     1608     4875 | 2147483647    14591     18 |  0.001 % |
1.28/1.35	c |     24175 |     371     1608     4875 | 2147483647    14738     18 |  0.001 % |
1.28/1.37	c |     24335 |     371     1608     4875 | 2147483647    14898     18 |  0.001 % |
1.28/1.39	c |     24511 |     371     1608     4875 | 2147483647    15074     18 |  0.001 % |
1.38/1.42	c |     24705 |     371     1608     4875 | 2147483647    15268     18 |  0.001 % |
1.38/1.45	c |     24917 |     371     1608     4875 | 2147483647    15480     18 |  0.001 % |
1.38/1.47	c |     25153 |     371     1608     4875 | 2147483647    15716     18 |  0.001 % |
1.47/1.51	c |     25409 |     371     1608     4875 | 2147483647    15972     18 |  0.001 % |
1.47/1.55	c |     25694 |     371     1608     4875 | 2147483647    16257     18 |  0.001 % |
1.47/1.59	c |     26005 |     371     1608     4875 | 2147483647    16568     18 |  0.001 % |
1.57/1.63	c |     26344 |     371     1608     4875 | 2147483647    16907     18 |  0.001 % |
1.57/1.68	c |     26716 |     371     1608     4875 | 2147483647    17279     18 |  0.001 % |
1.67/1.74	c |     27125 |     371     1608     4875 | 2147483647    17688     18 |  0.001 % |
1.77/1.81	c |     27577 |     371     1608     4875 | 2147483647    18140     18 |  0.001 % |
1.77/1.83	c |     27678 |     371     1608     4875 | 2147483647    18241     18 |  0.001 % |
1.77/1.84	c |     27788 |     371     1608     4875 | 2147483647    18351     18 |  0.001 % |
1.77/1.86	c |     27910 |     371     1608     4875 | 2147483647    18473     18 |  0.001 % |
1.77/1.88	c |     28047 |     371     1608     4875 | 2147483647    18610     18 |  0.001 % |
1.87/1.91	c |     28193 |     371     1608     4875 | 2147483647    18756     18 |  0.001 % |
1.87/1.94	c |     28353 |     371     1608     4875 | 2147483647    18916     18 |  0.001 % |
1.87/1.97	c |     28530 |     371     1608     4875 | 2147483647    19093     18 |  0.001 % |
1.97/2.01	c |     28724 |     371     1608     4875 | 2147483647    19287     18 |  0.001 % |
1.97/2.04	c |     28938 |     371     1608     4875 | 2147483647    19501     18 |  0.001 % |
1.97/2.08	c |     29172 |     371     1608     4875 | 2147483647    19735     18 |  0.001 % |
2.08/2.12	c |     29430 |     371     1608     4875 | 2147483647    19993     18 |  0.001 % |
2.08/2.17	c |     29711 |     371     1608     4875 | 2147483647    20274     18 |  0.001 % |
2.18/2.21	c |     30020 |     371     1608     4875 |    20563    20583     18 |  0.001 % |
2.18/2.27	c |     30359 |     371     1608     4875 |    20563    18700     18 |  0.001 % |
2.27/2.33	c |     30736 |     371     1608     4875 |    20563    19077     18 |  0.001 % |
2.37/2.40	c |     31148 |     371     1608     4875 |    20563    19489     18 |  0.001 % |
2.37/2.47	c |     31597 |     371     1608     4875 |    20563    19938     18 |  0.001 % |
2.47/2.54	c |     32090 |     371     1608     4875 |    20563    20431     18 |  0.001 % |
2.47/2.56	c |     32191 |     371     1608     4875 |    20563    20532     18 |  0.001 % |
2.47/2.59	c |     32301 |     371     1608     4875 |    20563    17004     18 |  0.001 % |
2.57/2.60	c |     32422 |     371     1608     4875 |    20563    17125     18 |  0.001 % |
2.57/2.61	c |     32555 |     371     1608     4875 |    20563    17258     18 |  0.001 % |
2.57/2.64	c |     32703 |     371     1608     4875 |    20563    17406     18 |  0.001 % |
2.57/2.66	c |     32864 |     371     1608     4875 |    20563    17567     18 |  0.001 % |
2.57/2.68	c |     33040 |     371     1608     4875 |    20563    17743     18 |  0.001 % |
2.67/2.71	c |     33234 |     371     1608     4875 |    20563    17937     18 |  0.001 % |
2.67/2.75	c |     33446 |     371     1608     4875 |    20563    18149     18 |  0.001 % |
2.67/2.78	c |     33682 |     371     1608     4875 |    20563    18385     18 |  0.001 % |
2.77/2.82	c |     33939 |     371     1608     4875 |    20563    18642     18 |  0.001 % |
2.77/2.87	c |     34220 |     371     1608     4875 |    20563    18923     18 |  0.001 % |
2.87/2.92	c |     34529 |     371     1608     4875 |    20563    19232     18 |  0.001 % |
2.87/2.97	c |     34868 |     371     1608     4875 |    20563    19571     18 |  0.001 % |
2.97/3.03	c |     35240 |     371     1608     4875 |    20563    19943     18 |  0.001 % |
3.07/3.11	c |     35649 |     371     1608     4875 |    20563    20352     18 |  0.001 % |
3.07/3.18	c |     36098 |     371     1608     4875 |    20563    16570     18 |  0.001 % |
3.17/3.25	c |     36591 |     371     1608     4875 |    20563    17063     18 |  0.001 % |
3.27/3.32	c |     37133 |     371     1608     4875 |    20563    17605     18 |  0.001 % |
3.27/3.33	c |     37235 |     371     1608     4875 |    20563    17707     18 |  0.001 % |
3.27/3.35	c |     37345 |     371     1608     4875 |    20563    17817     18 |  0.001 % |
3.27/3.36	c |     37467 |     371     1608     4875 |    20563    17939     18 |  0.001 % |
3.27/3.38	c |     37603 |     371     1608     4875 |    20563    18075     18 |  0.001 % |
3.37/3.41	c |     37749 |     371     1608     4875 |    20563    18221     18 |  0.001 % |
3.37/3.43	c |     37910 |     371     1608     4875 |    20563    18382     18 |  0.001 % |
3.37/3.46	c |     38086 |     371     1608     4875 |    20563    18558     18 |  0.001 % |
3.37/3.49	c |     38279 |     371     1608     4875 |    20563    18751     18 |  0.001 % |
3.47/3.53	c |     38494 |     371     1608     4875 |    20563    18966     18 |  0.001 % |
3.47/3.56	c |     38729 |     371     1608     4875 |    20563    19201     18 |  0.001 % |
3.57/3.60	c |     38987 |     371     1608     4875 |    20563    19459     18 |  0.001 % |
3.57/3.64	c |     39268 |     371     1608     4875 |    20563    19740     18 |  0.001 % |
3.57/3.69	c |     39580 |     371     1608     4875 |    20563    20052     18 |  0.001 % |
3.67/3.74	c |     39920 |     371     1608     4875 |    20563    20392     18 |  0.001 % |
3.77/3.80	c |     40293 |     371     1608     4875 |    20472    16400     18 |  0.001 % |
3.77/3.87	c |     40702 |     371     1608     4875 |    20472    16809     18 |  0.001 % |
3.87/3.93	c |     41151 |     371     1608     4875 |    20472    17258     18 |  0.001 % |
3.87/3.99	c |     41645 |     371     1608     4875 |    20472    17752     18 |  0.001 % |
3.97/4.08	c |     42188 |     371     1608     4875 |    20472    18295     18 |  0.001 % |
4.07/4.16	c |     42785 |     371     1608     4875 |    20472    18892     18 |  0.001 % |
4.07/4.17	c |     42887 |     371     1608     4875 |    20472    18994     18 |  0.001 % |
4.07/4.19	c |     42999 |     371     1608     4875 |    20472    19106     18 |  0.001 % |
4.17/4.21	c |     43120 |     371     1608     4875 |    20472    19227     18 |  0.001 % |
4.17/4.23	c |     43254 |     371     1608     4875 |    20472    19361     18 |  0.001 % |
4.17/4.26	c |     43400 |     371     1608     4875 |    20472    19507     18 |  0.001 % |
4.17/4.28	c |     43560 |     371     1608     4875 |    20472    19667     18 |  0.001 % |
4.27/4.31	c |     43738 |     371     1608     4875 |    20472    19845     18 |  0.001 % |
4.27/4.34	c |     43931 |     371     1608     4875 |    20472    20038     18 |  0.001 % |
4.27/4.38	c |     44144 |     371     1608     4875 |    20472    20251     18 |  0.001 % |
4.37/4.41	c |     44378 |     371     1608     4875 |    20472    20485     18 |  0.001 % |
4.37/4.46	c |     44634 |     371     1608     4875 |    20472    16135     17 |  0.001 % |
4.47/4.50	c |     44915 |     371     1608     4875 |    20472    16416     17 |  0.001 % |
4.47/4.54	c |     45225 |     371     1608     4875 |    20472    16726     17 |  0.001 % |
4.47/4.59	c |     45565 |     371     1608     4875 |    20472    17066     18 |  0.001 % |
4.57/4.64	c |     45938 |     371     1608     4875 |    20472    17439     18 |  0.001 % |
4.57/4.69	c |     46347 |     371     1608     4875 |    20472    17848     18 |  0.001 % |
4.67/4.75	c |     46796 |     371     1608     4875 |    20472    18297     18 |  0.001 % |
4.77/4.82	c |     47289 |     371     1608     4875 |    20472    18790     18 |  0.001 % |
4.77/4.89	c |     47831 |     371     1608     4875 |    20472    19332     18 |  0.001 % |
4.87/4.99	c |     48427 |     371     1608     4875 |    20472    19928     18 |  0.001 % |
5.07/5.10	c |     49082 |     371     1608     4875 |    20472    15996     17 |  0.001 % |
5.07/5.12	c |     49183 |     371     1608     4875 |    20472    16097     17 |  0.001 % |
5.07/5.14	c |     49297 |     371     1608     4875 |    20472    16211     17 |  0.001 % |
5.07/5.16	c |     49418 |     371     1608     4875 |    20472    16332     17 |  0.001 % |
5.07/5.18	c |     49551 |     371     1608     4875 |    20472    16465     17 |  0.001 % |
5.17/5.20	c |     49698 |     371     1608     4875 |    20472    16612     17 |  0.001 % |
5.17/5.23	c |     49859 |     371     1608     4875 |    20472    16773     18 |  0.001 % |
5.17/5.26	c |     50036 |     371     1608     4875 |    16914    13142     17 |  0.001 % |
5.17/5.28	c |     50230 |     371     1608     4875 |    16914    13336     17 |  0.001 % |
5.27/5.30	c |     50442 |     371     1608     4875 |    16914    13548     17 |  0.001 % |
5.27/5.33	c |     50675 |     371     1608     4875 |    16914    13781     17 |  0.001 % |
5.27/5.36	c |     50934 |     371     1608     4875 |    16914    14040     17 |  0.001 % |
5.27/5.39	c |     51216 |     371     1608     4875 |    16914    14322     17 |  0.001 % |
5.37/5.43	c |     51525 |     371     1608     4875 |    16914    14631     17 |  0.001 % |
5.37/5.47	c |     51864 |     371     1608     4875 |    16914    14970     17 |  0.001 % |
5.47/5.51	c |     52236 |     371     1608     4875 |    16914    15342     17 |  0.001 % |
5.47/5.56	c |     52645 |     371     1608     4875 |    16914    15751     17 |  0.001 % |
5.57/5.61	c |     53094 |     371     1608     4875 |    16914    16200     17 |  0.001 % |
5.57/5.69	c |     53589 |     371     1608     4875 |    16914    16695     17 |  0.001 % |
5.67/5.77	c |     54132 |     371     1608     4875 |    16914    13953     17 |  0.001 % |
5.77/5.83	c |     54728 |     371     1608     4875 |    16914    14549     17 |  0.001 % |
5.87/5.90	c |     55383 |     371     1608     4875 |    16914    15204     17 |  0.001 % |
5.87/5.98	c |     56103 |     371     1608     4875 |    16914    15924     18 |  0.001 % |
5.87/5.99	c |     56205 |     371     1608     4875 |    16914    16026     18 |  0.001 % |
5.97/6.01	c |     56315 |     371     1608     4875 |    16914    16136     18 |  0.001 % |
5.97/6.02	c |     56436 |     371     1608     4875 |    16914    16257     18 |  0.001 % |
5.97/6.04	c |     56569 |     371     1608     4875 |    16914    16390     18 |  0.001 % |
5.97/6.06	c |     56715 |     371     1608     4875 |    16914    16536     18 |  0.001 % |
5.97/6.09	c |     56875 |     371     1608     4875 |    16914    16696     18 |  0.001 % |
6.07/6.11	c |     57054 |     371     1608     4875 |    16914    16875     18 |  0.001 % |
6.07/6.14	c |     57248 |     371     1608     4875 |    16914    14006     17 |  0.001 % |
6.07/6.17	c |     57461 |     371     1608     4875 |    16914    14219     17 |  0.001 % |
6.07/6.19	c |     57694 |     371     1608     4875 |    16914    14452     17 |  0.001 % |
6.17/6.23	c |     57952 |     371     1608     4875 |    16914    14710     17 |  0.001 % |
6.17/6.26	c |     58234 |     371     1608     4875 |    16914    14992     17 |  0.001 % |
6.17/6.30	c |     58546 |     371     1608     4875 |    16914    15304     18 |  0.001 % |
6.27/6.34	c |     58885 |     371     1608     4875 |    16914    15643     18 |  0.001 % |
6.27/6.39	c |     59259 |     371     1608     4875 |    16914    16017     18 |  0.001 % |
6.37/6.45	c |     59670 |     371     1608     4875 |    16914    16428     18 |  0.001 % |
6.47/6.52	c |     60120 |     371     1608     4875 |    16759    13821     17 |  0.001 % |
6.47/6.57	c |     60614 |     371     1608     4875 |    16759    14315     17 |  0.001 % |
6.57/6.63	c |     61156 |     371     1608     4875 |    16759    14857     18 |  0.001 % |
6.66/6.71	c |     61752 |     371     1608     4875 |    16759    15453     18 |  0.001 % |
6.76/6.80	c |     62408 |     371     1608     4875 |    16759    16109     18 |  0.001 % |
6.86/6.90	c |     63130 |     371     1608     4875 |    16759    13922     17 |  0.001 % |
6.86/6.99	c |     63924 |     371     1608     4875 |    16759    14716     17 |  0.001 % |
6.96/7.00	c |     64025 |     371     1608     4875 |    16759    14817     17 |  0.001 % |
6.96/7.02	c |     64137 |     371     1608     4875 |    16759    14929     17 |  0.001 % |
6.96/7.03	c |     64258 |     371     1608     4875 |    16759    15050     17 |  0.001 % |
6.96/7.05	c |     64392 |     371     1608     4875 |    16759    15184     17 |  0.001 % |
6.96/7.07	c |     64539 |     371     1608     4875 |    16759    15331     17 |  0.001 % |
6.96/7.09	c |     64699 |     371     1608     4875 |    16759    15491     17 |  0.001 % |
7.07/7.11	c |     64876 |     371     1608     4875 |    16759    15668     17 |  0.001 % |
7.07/7.14	c |     65070 |     371     1608     4875 |    16759    15862     17 |  0.001 % |
7.07/7.16	c |     65282 |     371     1608     4875 |    16759    16074     17 |  0.001 % |
7.07/7.19	c |     65517 |     371     1608     4875 |    16759    16309     17 |  0.001 % |
7.17/7.22	c |     65773 |     371     1608     4875 |    16759    16565     17 |  0.001 % |
7.17/7.26	c |     66056 |     371     1608     4875 |    16759    14019     17 |  0.001 % |
7.17/7.29	c |     66366 |     371     1608     4875 |    16759    14329     17 |  0.001 % |
7.27/7.34	c |     66705 |     371     1608     4875 |    16759    14668     17 |  0.001 % |
7.27/7.37	c |     67077 |     371     1608     4875 |    16759    15040     17 |  0.001 % |
7.37/7.42	c |     67486 |     371     1608     4875 |    16759    15449     17 |  0.001 % |
7.37/7.48	c |     67936 |     371     1608     4875 |    16759    15899     17 |  0.001 % |
7.47/7.55	c |     68429 |     371     1608     4875 |    16759    16392     18 |  0.001 % |
7.58/7.62	c |     68971 |     371     1608     4875 |    16759    14119     17 |  0.001 % |
7.58/7.68	c |     69569 |     371     1608     4875 |    16759    14717     17 |  0.001 % |
7.68/7.76	c |     70225 |     371     1608     4875 |    15148    12884     17 |  0.001 % |
7.77/7.83	c |     70945 |     371     1608     4875 |    15148    13604     17 |  0.001 % |
7.87/7.92	c |     71737 |     371     1608     4875 |    15148    14396     17 |  0.001 % |
7.97/8.02	c |     72610 |     371     1608     4875 |    15148    13219     17 |  0.001 % |
7.97/8.03	c |     72711 |     371     1608     4875 |    15148    13320     17 |  0.001 % |
7.97/8.04	c |     72821 |     371     1608     4875 |    15148    13430     17 |  0.001 % |
7.97/8.05	c |     72943 |     371     1608     4875 |    15148    13552     17 |  0.001 % |
7.97/8.07	c |     73077 |     371     1608     4875 |    15148    13686     17 |  0.001 % |
7.97/8.09	c |     73224 |     371     1608     4875 |    15148    13833     17 |  0.001 % |
8.07/8.10	c |     73384 |     371     1608     4875 |    15148    13993     17 |  0.001 % |
8.07/8.13	c |     73561 |     371     1608     4875 |    15148    14170     17 |  0.001 % |
8.07/8.15	c |     73755 |     371     1608     4875 |    15148    14364     17 |  0.001 % |
8.07/8.17	c |     73967 |     371     1608     4875 |    15148    14576     17 |  0.001 % |
8.17/8.20	c |     74200 |     371     1608     4875 |    15148    14809     17 |  0.001 % |
8.17/8.23	c |     74457 |     371     1608     4875 |    15148    15066     17 |  0.001 % |
8.17/8.26	c |     74738 |     371     1608     4875 |    15148    13252     17 |  0.001 % |
8.17/8.30	c |     75048 |     371     1608     4875 |    15148    13562     17 |  0.001 % |
8.27/8.34	c |     75389 |     371     1608     4875 |    15148    13903     17 |  0.001 % |
8.27/8.39	c |     75761 |     371     1608     4875 |    15148    14275     17 |  0.001 % |
8.37/8.44	c |     76170 |     371     1608     4875 |    15148    14684     17 |  0.001 % |
8.37/8.49	c |     76619 |     371     1608     4875 |    15148    15133     17 |  0.001 % |
8.47/8.56	c |     77112 |     371     1608     4875 |    15148    13477     17 |  0.001 % |
8.57/8.62	c |     77655 |     371     1608     4875 |    15148    14020     17 |  0.001 % |
8.57/8.68	c |     78253 |     371     1608     4875 |    15148    14618     17 |  0.001 % |
8.68/8.76	c |     78909 |     371     1608     4875 |    15148    13179     17 |  0.001 % |
8.78/8.84	c |     79629 |     371     1608     4875 |    15148    13899     17 |  0.001 % |
8.87/8.94	c |     80421 |     371     1608     4875 |    14271    12722     17 |  0.001 % |
8.97/9.03	c |     81293 |     371     1608     4875 |    14271    13594     17 |  0.001 % |
9.07/9.14	c |     82251 |     371     1608     4875 |    14271    12639     17 |  0.001 % |
9.07/9.15	c |     82351 |     371     1608     4875 |    14271    12739     17 |  0.001 % |
9.07/9.17	c |     82461 |     371     1608     4875 |    14271    12849     17 |  0.001 % |
9.07/9.18	c |     82582 |     371     1608     4875 |    14271    12970     17 |  0.001 % |
9.07/9.20	c |     82715 |     371     1608     4875 |    14271    13103     17 |  0.001 % |
9.17/9.21	c |     82861 |     371     1608     4875 |    14271    13249     17 |  0.001 % |
9.17/9.23	c |     83022 |     371     1608     4875 |    14271    13410     17 |  0.001 % |
9.17/9.25	c |     83199 |     371     1608     4875 |    14271    13587     17 |  0.001 % |
9.17/9.27	c |     83392 |     371     1608     4875 |    14271    13780     17 |  0.001 % |
9.17/9.30	c |     83605 |     371     1608     4875 |    14271    13993     17 |  0.001 % |
9.27/9.32	c |     83839 |     371     1608     4875 |    14271    14227     17 |  0.001 % |
9.27/9.35	c |     84096 |     371     1608     4875 |    14271    12581     17 |  0.001 % |
9.27/9.39	c |     84380 |     371     1608     4875 |    14271    12865     17 |  0.001 % |
9.37/9.43	c |     84690 |     371     1608     4875 |    14271    13175     17 |  0.001 % |
9.37/9.47	c |     85031 |     371     1608     4875 |    14271    13516     17 |  0.001 % |
9.47/9.51	c |     85403 |     371     1608     4875 |    14271    13888     17 |  0.001 % |
9.47/9.56	c |     85812 |     371     1608     4875 |    14271    14297     17 |  0.001 % |
9.57/9.61	c |     86263 |     371     1608     4875 |    14271    12786     16 |  0.001 % |
9.57/9.67	c |     86757 |     371     1608     4875 |    14271    13280     16 |  0.001 % |
9.67/9.73	c |     87301 |     371     1608     4875 |    14271    13824     16 |  0.001 % |
9.78/9.82	c |     87897 |     371     1608     4875 |    14271    12403     16 |  0.001 % |
9.78/9.88	c |     88552 |     371     1608     4875 |    14271    13058     16 |  0.001 % |
9.88/9.96	c |     89274 |     371     1608     4875 |    14271    13780     16 |  0.001 % |
9.97/10.05	c |     90067 |     371     1608     4875 |    12531    10892     16 |  0.001 % |
10.07/10.13	c |     90939 |     371     1608     4875 |    12531    11764     16 |  0.001 % |
10.17/10.24	c |     91897 |     371     1608     4875 |    12531    11181     16 |  0.001 % |
10.27/10.33	c |     92953 |     371     1608     4875 |    12531    12237     16 |  0.001 % |
10.27/10.34	c |     93053 |     371     1608     4875 |    12531    12337     16 |  0.001 % |
10.27/10.35	c |     93164 |     371     1608     4875 |    12531    12448     16 |  0.001 % |
10.27/10.37	c |     93287 |     371     1608     4875 |    12531    11207     16 |  0.001 % |
10.27/10.38	c |     93421 |     371     1608     4875 |    12531    11341     16 |  0.001 % |
10.27/10.39	c |     93568 |     371     1608     4875 |    12531    11488     16 |  0.001 % |
10.37/10.41	c |     93731 |     371     1608     4875 |    12531    11651     16 |  0.001 % |
10.37/10.43	c |     93908 |     371     1608     4875 |    12531    11828     16 |  0.001 % |
10.37/10.44	c |     94101 |     371     1608     4875 |    12531    12021     16 |  0.001 % |
10.37/10.46	c |     94314 |     371     1608     4875 |    12531    12234     16 |  0.001 % |
10.37/10.49	c |     94547 |     371     1608     4875 |    12531    12467     16 |  0.001 % |
10.47/10.51	c |     94803 |     371     1608     4875 |    12531    11467     16 |  0.001 % |
10.47/10.54	c |     95085 |     371     1608     4875 |    12531    11749     16 |  0.001 % |
10.47/10.57	c |     95394 |     371     1608     4875 |    12531    12058     16 |  0.001 % |
10.57/10.60	c |     95734 |     371     1608     4875 |    12531    12398     16 |  0.001 % |
10.57/10.64	c |     96106 |     371     1608     4875 |    12531    11512     16 |  0.001 % |
10.57/10.68	c |     96515 |     371     1608     4875 |    12531    11921     16 |  0.001 % |
10.67/10.73	c |     96964 |     371     1608     4875 |    12531    12370     16 |  0.001 % |
10.67/10.78	c |     97458 |     371     1608     4875 |    12531    11607     16 |  0.001 % |
10.77/10.84	c |     98003 |     371     1608     4875 |    12531    12152     17 |  0.001 % |
10.88/10.92	c |     98600 |     371     1608     4875 |    12531    11492     17 |  0.001 % |
10.88/10.99	c |     99255 |     371     1608     4875 |    12531    12147     17 |  0.001 % |
10.98/11.08	c |     99975 |     371     1608     4875 |    12531    11577     16 |  0.001 % |
11.07/11.16	c |    100767 |     371     1608     4875 |    11602    11178     16 |  0.001 % |
11.17/11.26	c |    101638 |     371     1608     4875 |    11602    10885     16 |  0.001 % |
11.27/11.35	c |    102596 |     371     1608     4875 |    11602    10681     16 |  0.001 % |
11.37/11.46	c |    103650 |     371     1608     4875 |    11602    10572     16 |  0.001 % |
11.47/11.58	c |    104808 |     371     1608     4875 |    11602    10566     17 |  0.001 % |
11.47/11.59	c |    104911 |     371     1608     4875 |    11602    10669     17 |  0.001 % |
11.57/11.60	c |    105021 |     371     1608     4875 |    11602    10779     17 |  0.001 % |
11.57/11.62	c |    105142 |     371     1608     4875 |    11602    10900     17 |  0.001 % |
11.57/11.63	c |    105275 |     371     1608     4875 |    11602    11033     17 |  0.001 % |
11.57/11.65	c |    105421 |     371     1608     4875 |    11602    11179     17 |  0.001 % |
11.57/11.67	c |    105581 |     371     1608     4875 |    11602    11339     17 |  0.001 % |
11.57/11.69	c |    105759 |     371     1608     4875 |    11602    11517     17 |  0.001 % |
11.67/11.72	c |    105952 |     371     1608     4875 |    11602    10547     16 |  0.001 % |
11.67/11.74	c |    106164 |     371     1608     4875 |    11602    10759     16 |  0.001 % |
11.67/11.76	c |    106397 |     371     1608     4875 |    11602    10992     16 |  0.001 % |
11.67/11.79	c |    106654 |     371     1608     4875 |    11602    11249     16 |  0.001 % |
11.77/11.82	c |    106935 |     371     1608     4875 |    11602    11530     16 |  0.001 % |
11.77/11.86	c |    107245 |     371     1608     4875 |    11602    10673     16 |  0.001 % |
11.77/11.89	c |    107584 |     371     1608     4875 |    11602    11012     16 |  0.001 % |
11.87/11.94	c |    107957 |     371     1608     4875 |    11602    11385     16 |  0.001 % |
11.87/11.98	c |    108369 |     371     1608     4875 |    11602    10631     16 |  0.001 % |
11.98/12.02	c |    108818 |     371     1608     4875 |    11602    11080     16 |  0.001 % |
11.98/12.07	c |    109311 |     371     1608     4875 |    11602    11573     17 |  0.001 % |
12.08/12.12	c |    109854 |     371     1608     4875 |    11602    10950     17 |  0.001 % |
12.08/12.17	c |    110451 |     371     1608     4875 | 2147483647    11547     17 |  0.001 % |
12.17/12.24	c |    111106 |     371     1608     4875 | 2147483647    12202     17 |  0.001 % |
12.27/12.31	c |    111829 |     371     1608     4875 | 2147483647    12925     17 |  0.001 % |
12.37/12.40	c |    112621 |     371     1608     4875 | 2147483647    13717     17 |  0.001 % |
12.47/12.50	c |    113493 |     371     1608     4875 | 2147483647    14589     17 |  0.001 % |
12.57/12.63	c |    114452 |     371     1608     4875 | 2147483647    15548     17 |  0.001 % |
12.67/12.76	c |    115506 |     371     1608     4875 | 2147483647    16602     17 |  0.001 % |
12.87/12.92	c |    116664 |     371     1608     4875 | 2147483647    17760     17 |  0.001 % |
13.08/13.10	c |    117937 |     371     1608     4875 | 2147483647    19033     17 |  0.001 % |
13.08/13.12	c |    118037 |     371     1608     4875 | 2147483647    19133     17 |  0.001 % |
13.08/13.14	c |    118147 |     371     1608     4875 | 2147483647    19243     17 |  0.001 % |
13.08/13.16	c |    118270 |     371     1608     4875 | 2147483647    19366     17 |  0.001 % |
13.08/13.18	c |    118403 |     371     1608     4875 | 2147483647    19499     17 |  0.001 % |
13.08/13.20	c |    118550 |     371     1608     4875 | 2147483647    19646     17 |  0.001 % |
13.18/13.23	c |    118710 |     371     1608     4875 | 2147483647    19806     17 |  0.001 % |
13.18/13.26	c |    118886 |     371     1608     4875 | 2147483647    19982     17 |  0.001 % |
13.18/13.29	c |    119079 |     371     1608     4875 | 2147483647    20175     17 |  0.001 % |
13.27/13.33	c |    119293 |     371     1608     4875 | 2147483647    20389     17 |  0.001 % |
13.27/13.37	c |    119526 |     371     1608     4875 | 2147483647    20622     17 |  0.001 % |
13.37/13.42	c |    119782 |     371     1608     4875 | 2147483647    20878     17 |  0.001 % |
13.37/13.50	c |    120063 |     371     1608     4875 |    21096    17285     17 |  0.001 % |
13.47/13.55	c |    120372 |     371     1608     4875 |    21096    17594     17 |  0.001 % |
13.57/13.60	c |    120711 |     371     1608     4875 |    21096    17933     17 |  0.001 % |
13.57/13.65	c |    121084 |     371     1608     4875 |    21096    18306     17 |  0.001 % |
13.67/13.71	c |    121493 |     371     1608     4875 |    21096    18715     17 |  0.001 % |
13.67/13.78	c |    121942 |     371     1608     4875 |    21096    19164     17 |  0.001 % |
13.77/13.86	c |    122437 |     371     1608     4875 |    21096    19659     17 |  0.001 % |
13.87/13.95	c |    122981 |     371     1608     4875 |    21096    20203     17 |  0.001 % |
13.97/14.05	c |    123577 |     371     1608     4875 |    21096    20799     17 |  0.001 % |
14.07/14.16	c |    124232 |     371     1608     4875 |    21096    16826     17 |  0.001 % |
14.17/14.26	c |    124952 |     371     1608     4875 |    21096    17546     17 |  0.001 % |
14.27/14.37	c |    125745 |     371     1608     4875 |    21096    18339     17 |  0.001 % |
14.47/14.51	c |    126616 |     371     1608     4875 |    21096    19210     17 |  0.001 % |
14.57/14.64	c |    127576 |     371     1608     4875 |    21096    20170     17 |  0.001 % |
14.77/14.85	c |    128631 |     371     1608     4875 |    21096    16306     17 |  0.001 % |
14.87/14.99	c |    129790 |     371     1608     4875 |    21096    17465     17 |  0.001 % |
15.07/15.14	c |    131063 |     371     1608     4875 |    17676    14658     17 |  0.001 % |
15.17/15.30	c |    132464 |     371     1608     4875 |    17676    16059     17 |  0.001 % |
15.27/15.31	c |    132564 |     371     1608     4875 |    17676    16159     17 |  0.001 % |
15.27/15.32	c |    132674 |     371     1608     4875 |    17676    16269     17 |  0.001 % |
15.27/15.34	c |    132796 |     371     1608     4875 |    17676    16391     17 |  0.001 % |
15.27/15.36	c |    132929 |     371     1608     4875 |    17676    16524     17 |  0.001 % |
15.27/15.37	c |    133075 |     371     1608     4875 |    17676    16670     17 |  0.001 % |
15.27/15.40	c |    133236 |     371     1608     4875 |    17676    16831     17 |  0.001 % |
15.37/15.43	c |    133413 |     371     1608     4875 |    17676    17008     17 |  0.001 % |
15.37/15.46	c |    133608 |     371     1608     4875 |    17676    17203     17 |  0.001 % |
15.37/15.49	c |    133820 |     371     1608     4875 |    17676    17415     17 |  0.001 % |
15.47/15.53	c |    134053 |     371     1608     4875 |    17676    17648     17 |  0.001 % |
15.47/15.57	c |    134309 |     371     1608     4875 |    17676    14321     17 |  0.001 % |
15.57/15.61	c |    134590 |     371     1608     4875 |    17676    14602     17 |  0.001 % |
15.57/15.65	c |    134900 |     371     1608     4875 |    17676    14912     17 |  0.001 % |
15.57/15.69	c |    135239 |     371     1608     4875 |    17676    15251     17 |  0.001 % |
15.67/15.74	c |    135611 |     371     1608     4875 |    17676    15623     17 |  0.001 % |
15.67/15.79	c |    136020 |     371     1608     4875 |    17676    16032     17 |  0.001 % |
15.77/15.86	c |    136469 |     371     1608     4875 |    17676    16481     17 |  0.001 % |
15.87/15.93	c |    136962 |     371     1608     4875 |    17676    16974     17 |  0.001 % |
15.97/16.00	c |    137507 |     371     1608     4875 |    17676    17519     17 |  0.001 % |
15.97/16.09	c |    138103 |     371     1608     4875 |    17676    14508     17 |  0.001 % |
16.07/16.17	c |    138759 |     371     1608     4875 |    17676    15164     17 |  0.001 % |
16.17/16.26	c |    139479 |     371     1608     4875 |    17676    15884     17 |  0.001 % |
16.27/16.38	c |    140272 |     371     1608     4875 |    16405    13407     17 |  0.001 % |
16.37/16.48	c |    141144 |     371     1608     4875 |    16405    14279     17 |  0.001 % |
16.47/16.59	c |    142103 |     371     1608     4875 |    16405    15238     17 |  0.001 % |
16.67/16.71	c |    143160 |     371     1608     4875 |    16405    16295     17 |  0.001 % |
16.77/16.86	c |    144322 |     371     1608     4875 |    16405    14514     17 |  0.001 % |
16.97/17.02	c |    145595 |     371     1608     4875 |    16405    15787     17 |  0.001 % |
17.07/17.20	c |    146996 |     371     1608     4875 |    16405    14226     17 |  0.001 % |
17.27/17.36	c |    148537 |     371     1608     4875 |    16405    15767     17 |  0.001 % |
17.27/17.37	c |    148638 |     371     1608     4875 |    16405    15868     17 |  0.001 % |
17.27/17.38	c |    148749 |     371     1608     4875 |    16405    15979     17 |  0.001 % |
17.37/17.40	c |    148873 |     371     1608     4875 |    16405    16103     17 |  0.001 % |
17.37/17.42	c |    149006 |     371     1608     4875 |    16405    16236     17 |  0.001 % |
17.37/17.44	c |    149154 |     371     1608     4875 |    16405    16384     17 |  0.001 % |
17.37/17.47	c |    149315 |     371     1608     4875 |    16405    13645     17 |  0.001 % |
17.37/17.48	c |    149492 |     371     1608     4875 |    16405    13822     17 |  0.001 % |
17.47/17.51	c |    149687 |     371     1608     4875 |    16405    14017     17 |  0.001 % |
17.47/17.54	c |    149900 |     371     1608     4875 |    16405    14230     17 |  0.001 % |
17.47/17.57	c |    150133 |     371     1608     4875 |    14331    11939     17 |  0.001 % |
17.47/17.60	c |    150390 |     371     1608     4875 |    14331    12196     17 |  0.001 % |
17.57/17.64	c |    150673 |     371     1608     4875 |    14331    12479     17 |  0.001 % |
17.57/17.67	c |    150985 |     371     1608     4875 |    14331    12791     17 |  0.001 % |
17.67/17.71	c |    151324 |     371     1608     4875 |    14331    13130     17 |  0.001 % |
17.67/17.74	c |    151698 |     371     1608     4875 |    14331    13504     17 |  0.001 % |
17.67/17.78	c |    152107 |     371     1608     4875 |    14331    13913     17 |  0.001 % |
17.77/17.83	c |    152557 |     371     1608     4875 |    14331    14363     17 |  0.001 % |
17.87/17.90	c |    153052 |     371     1608     4875 |    14331    12696     17 |  0.001 % |
17.87/17.96	c |    153595 |     371     1608     4875 |    14331    13239     17 |  0.001 % |
17.97/18.03	c |    154192 |     371     1608     4875 |    14331    13836     17 |  0.001 % |
18.07/18.11	c |    154850 |     371     1608     4875 |    14331    12286     17 |  0.001 % |
18.07/18.18	c |    155571 |     371     1608     4875 |    14331    13007     17 |  0.001 % |
18.17/18.27	c |    156363 |     371     1608     4875 |    14331    13799     17 |  0.001 % |
18.27/18.37	c |    157234 |     371     1608     4875 |    14331    12538     17 |  0.001 % |
18.37/18.47	c |    158192 |     371     1608     4875 |    14331    13496     17 |  0.001 % |
18.47/18.59	c |    159245 |     371     1608     4875 |    14331    12478     17 |  0.001 % |
18.67/18.70	c |    160405 |     371     1608     4875 |    13236    11778     17 |  0.001 % |
18.77/18.84	c |    161679 |     371     1608     4875 |    13236    13052     17 |  0.001 % |
18.87/18.98	c |    163080 |     371     1608     4875 |    13236    12810     17 |  0.001 % |
19.07/19.14	c |    164621 |     371     1608     4875 |    13236    12845     17 |  0.001 % |
19.27/19.30	c |    166316 |     371     1608     4875 |    13236    13089     17 |  0.001 % |
19.27/19.31	c |    166419 |     371     1608     4875 |    13236    13192     17 |  0.001 % |
19.27/19.33	c |    166532 |     371     1608     4875 |    13236    11896     17 |  0.001 % |
19.27/19.34	c |    166653 |     371     1608     4875 |    13236    12017     17 |  0.001 % |
19.27/19.36	c |    166787 |     371     1608     4875 |    13236    12151     17 |  0.001 % |
19.27/19.37	c |    166933 |     371     1608     4875 |    13236    12297     17 |  0.001 % |
19.27/19.39	c |    167093 |     371     1608     4875 |    13236    12457     17 |  0.001 % |
19.37/19.41	c |    167270 |     371     1608     4875 |    13236    12634     17 |  0.001 % |
19.37/19.43	c |    167463 |     371     1608     4875 |    13236    12827     17 |  0.001 % |
19.37/19.46	c |    167675 |     371     1608     4875 |    13236    13039     17 |  0.001 % |
19.37/19.49	c |    167908 |     371     1608     4875 |    13236    11804     17 |  0.001 % |
19.47/19.52	c |    168164 |     371     1608     4875 |    13236    12060     17 |  0.001 % |
19.47/19.55	c |    168445 |     371     1608     4875 |    13236    12341     17 |  0.001 % |
19.47/19.58	c |    168757 |     371     1608     4875 |    13236    12653     17 |  0.001 % |
19.57/19.62	c |    169096 |     371     1608     4875 |    13236    12992     17 |  0.001 % |
19.57/19.67	c |    169468 |     371     1608     4875 |    13236    11900     17 |  0.001 % |
19.67/19.71	c |    169878 |     371     1608     4875 |    13236    12310     17 |  0.001 % |
19.67/19.76	c |    170327 |     371     1608     4875 |    12434    11366     16 |  0.001 % |
19.77/19.81	c |    170821 |     371     1608     4875 |    12434    11860     17 |  0.001 % |
19.77/19.86	c |    171363 |     371     1608     4875 |    12434    12402     17 |  0.001 % |
19.87/19.92	c |    171959 |     371     1608     4875 |    12434    11735     17 |  0.001 % |
19.87/19.99	c |    172615 |     371     1608     4875 |    12434    12391     17 |  0.001 % |
19.97/20.07	c |    173335 |     371     1608     4875 |    12434    11865     17 |  0.001 % |
20.07/20.16	c |    174127 |     371     1608     4875 |    12434    11410     17 |  0.001 % |
20.17/20.24	c |    174998 |     371     1608     4875 |    12434    12281     17 |  0.001 % |
20.27/20.36	c |    175957 |     371     1608     4875 |    12434    11995     17 |  0.001 % |
20.37/20.46	c |    177011 |     371     1608     4875 |    12434    11802     17 |  0.001 % |
20.47/20.58	c |    178169 |     371     1608     4875 |    12434    11712     17 |  0.001 % |
20.57/20.69	c |    179443 |     371     1608     4875 |    12434    11738     17 |  0.001 % |
20.77/20.81	c |    180843 |     371     1608     4875 | 2147483647    13138     17 |  0.001 % |
20.97/21.00	c |    182383 |     371     1608     4875 | 2147483647    14678     17 |  0.001 % |
21.17/21.22	c |    184077 |     371     1608     4875 | 2147483647    16372     17 |  0.001 % |
21.37/21.43	c |    185941 |     371     1608     4875 | 2147483647    18236     18 |  0.001 % |
21.37/21.45	c |    186041 |     371     1608     4875 | 2147483647    18336     18 |  0.001 % |
21.37/21.46	c |    186151 |     371     1608     4875 | 2147483647    18446     18 |  0.001 % |
21.37/21.48	c |    186275 |     371     1608     4875 | 2147483647    18570     18 |  0.001 % |
21.47/21.51	c |    186410 |     371     1608     4875 | 2147483647    18705     18 |  0.001 % |
21.47/21.53	c |    186557 |     371     1608     4875 | 2147483647    18852     18 |  0.001 % |
21.47/21.56	c |    186718 |     371     1608     4875 | 2147483647    19013     18 |  0.001 % |
21.47/21.59	c |    186894 |     371     1608     4875 | 2147483647    19189     18 |  0.001 % |
21.57/21.63	c |    187089 |     371     1608     4875 | 2147483647    19384     18 |  0.001 % |
21.57/21.66	c |    187302 |     371     1608     4875 | 2147483647    19597     18 |  0.001 % |
21.67/21.70	c |    187538 |     371     1608     4875 | 2147483647    19833     18 |  0.001 % |
21.67/21.74	c |    187795 |     371     1608     4875 | 2147483647    20090     18 |  0.001 % |
21.67/21.79	c |    188076 |     371     1608     4875 | 2147483647    20371     18 |  0.001 % |
21.77/21.84	c |    188385 |     371     1608     4875 | 2147483647    20680     18 |  0.001 % |
21.77/21.89	c |    188724 |     371     1608     4875 | 2147483647    21019     18 |  0.001 % |
21.87/21.95	c |    189096 |     371     1608     4875 | 2147483647    21391     18 |  0.001 % |
21.97/22.03	c |    189510 |     371     1608     4875 | 2147483647    21805     18 |  0.001 % |
22.07/22.11	c |    189959 |     371     1608     4875 | 2147483647    22254     18 |  0.001 % |
22.17/22.20	c |    190452 |     371     1608     4875 |    22295    18476     17 |  0.001 % |
22.17/22.26	c |    190994 |     371     1608     4875 |    22295    19018     17 |  0.001 % |
22.27/22.35	c |    191590 |     371     1608     4875 |    22295    19614     17 |  0.001 % |
22.37/22.44	c |    192245 |     371     1608     4875 |    22295    20269     18 |  0.001 % |
22.47/22.54	c |    192966 |     371     1608     4875 |    22295    20990     18 |  0.001 % |
22.57/22.65	c |    193762 |     371     1608     4875 |    22295    21786     18 |  0.001 % |
22.77/22.80	c |    194634 |     371     1608     4875 |    22295    17942     17 |  0.001 % |
22.87/22.92	c |    195592 |     371     1608     4875 |    22295    18900     17 |  0.001 % |
22.97/23.07	c |    196647 |     371     1608     4875 |    22295    19955     17 |  0.001 % |
23.17/23.23	c |    197805 |     371     1608     4875 |    22295    21113     17 |  0.001 % |
23.37/23.47	c |    199078 |     371     1608     4875 |    22295    17332     17 |  0.001 % |
23.57/23.68	c |    200479 |     371     1608     4875 |    18255    14564     17 |  0.001 % |
23.77/23.88	c |    202019 |     371     1608     4875 |    18255    16104     17 |  0.001 % |
23.97/24.09	c |    203713 |     371     1608     4875 |    18255    17798     17 |  0.001 % |
24.27/24.31	c |    205576 |     371     1608     4875 |    18255    15791     17 |  0.001 % |
24.47/24.57	c |    207629 |     371     1608     4875 |    18255    17844     17 |  0.001 % |
24.47/24.59	c |    207729 |     371     1608     4875 |    18255    17944     17 |  0.001 % |
24.57/24.60	c |    207839 |     371     1608     4875 |    18255    18054     17 |  0.001 % |
24.57/24.62	c |    207960 |     371     1608     4875 |    18255    18175     17 |  0.001 % |
24.57/24.65	c |    208093 |     371     1608     4875 |    18255    14581     16 |  0.001 % |
24.57/24.67	c |    208240 |     371     1608     4875 |    18255    14728     16 |  0.001 % |
24.57/24.69	c |    208400 |     371     1608     4875 |    18255    14888     16 |  0.001 % |
24.67/24.71	c |    208576 |     371     1608     4875 |    18255    15064     16 |  0.001 % |
24.67/24.74	c |    208769 |     371     1608     4875 |    18255    15257     16 |  0.001 % |
24.67/24.77	c |    208982 |     371     1608     4875 |    18255    15470     17 |  0.001 % |
24.77/24.80	c |    209217 |     371     1608     4875 |    18255    15705     17 |  0.001 % |
24.77/24.84	c |    209474 |     371     1608     4875 |    18255    15962     17 |  0.001 % |
24.77/24.87	c |    209755 |     371     1608     4875 |    18255    16243     17 |  0.001 % |
24.87/24.92	c |    210065 |     371     1608     4875 |    16489    13191     16 |  0.001 % |
24.87/24.96	c |    210404 |     371     1608     4875 |    16489    13530     16 |  0.001 % |
24.97/25.00	c |    210777 |     371     1608     4875 |    16489    13903     16 |  0.001 % |
24.97/25.05	c |    211187 |     371     1608     4875 |    16489    14313     16 |  0.001 % |
25.07/25.10	c |    211638 |     371     1608     4875 |    16489    14764     16 |  0.001 % |
25.07/25.14	c |    212131 |     371     1608     4875 |    16489    15257     16 |  0.001 % |
25.17/25.20	c |    212673 |     371     1608     4875 |    16489    15799     16 |  0.001 % |
25.17/25.27	c |    213271 |     371     1608     4875 |    16489    16397     17 |  0.001 % |
25.27/25.35	c |    213927 |     371     1608     4875 |    16489    14149     17 |  0.001 % |
25.37/25.43	c |    214649 |     371     1608     4875 |    16489    14871     17 |  0.001 % |
25.47/25.54	c |    215441 |     371     1608     4875 |    16489    15663     17 |  0.001 % |
25.57/25.65	c |    216316 |     371     1608     4875 |    16489    13625     17 |  0.001 % |
25.67/25.78	c |    217276 |     371     1608     4875 |    16489    14585     17 |  0.001 % |
25.87/25.90	c |    218330 |     371     1608     4875 |    16489    15639     17 |  0.001 % |
25.97/26.04	c |    219491 |     371     1608     4875 |    16489    13894     17 |  0.001 % |
26.07/26.17	c |    220765 |     371     1608     4875 |    14403    12677     17 |  0.001 % |
26.27/26.31	c |    222166 |     371     1608     4875 |    14403    14078     17 |  0.001 % |
26.37/26.49	c |    223706 |     371     1608     4875 |    14403    13518     17 |  0.001 % |
26.57/26.67	c |    225402 |     371     1608     4875 |    14403    13122     16 |  0.001 % |
26.77/26.85	c |    227267 |     371     1608     4875 |    14403    13016     16 |  0.001 % |
26.97/27.08	c |    229317 |     371     1608     4875 |    14403    13066     16 |  0.001 % |
27.27/27.31	c |    231570 |     371     1608     4875 |    13751    13416     16 |  0.001 % |
27.27/27.33	c |    231672 |     371     1608     4875 |    13751    13518     16 |  0.001 % |
27.27/27.34	c |    231783 |     371     1608     4875 |    13751    13629     16 |  0.001 % |
27.27/27.36	c |    231906 |     371     1608     4875 |    13751    13752     16 |  0.001 % |
27.27/27.38	c |    232039 |     371     1608     4875 |    13751    12104     16 |  0.001 % |
27.27/27.40	c |    232185 |     371     1608     4875 |    13751    12250     16 |  0.001 % |
27.37/27.41	c |    232349 |     371     1608     4875 |    13751    12414     16 |  0.001 % |
27.37/27.43	c |    232528 |     371     1608     4875 |    13751    12593     16 |  0.001 % |
27.37/27.45	c |    232721 |     371     1608     4875 |    13751    12786     16 |  0.001 % |
27.37/27.47	c |    232933 |     371     1608     4875 |    13751    12998     16 |  0.001 % |
27.37/27.50	c |    233167 |     371     1608     4875 |    13751    13232     16 |  0.001 % |
27.47/27.53	c |    233424 |     371     1608     4875 |    13751    13489     17 |  0.001 % |
27.47/27.55	c |    233705 |     371     1608     4875 |    13751    13770     17 |  0.001 % |
27.47/27.59	c |    234014 |     371     1608     4875 |    13751    12334     16 |  0.001 % |
27.57/27.62	c |    234353 |     371     1608     4875 |    13751    12673     17 |  0.001 % |
27.57/27.66	c |    234726 |     371     1608     4875 |    13751    13046     17 |  0.001 % |
27.67/27.71	c |    235136 |     371     1608     4875 |    13751    13456     17 |  0.001 % |
27.67/27.77	c |    235585 |     371     1608     4875 |    13751    12262     16 |  0.001 % |
27.77/27.81	c |    236079 |     371     1608     4875 |    13751    12756     16 |  0.001 % |
27.77/27.87	c |    236623 |     371     1608     4875 |    13751    13300     17 |  0.001 % |
27.87/27.93	c |    237219 |     371     1608     4875 |    13751    12333     16 |  0.001 % |
27.87/28.00	c |    237876 |     371     1608     4875 |    13751    12990     17 |  0.001 % |
27.97/28.07	c |    238598 |     371     1608     4875 |    13751    13712     17 |  0.001 % |
28.07/28.16	c |    239392 |     371     1608     4875 |    13751    13033     17 |  0.001 % |
28.17/28.25	c |    240263 |     371     1608     4875 |    13641    12479     17 |  0.001 % |
28.27/28.35	c |    241221 |     371     1608     4875 |    13641    13437     17 |  0.001 % |
28.37/28.48	c |    242274 |     371     1608     4875 |    13641    13120     17 |  0.001 % |
28.57/28.61	c |    243434 |     371     1608     4875 |    13641    12776     17 |  0.001 % |
28.67/28.75	c |    244707 |     371     1608     4875 |    13641    12501     16 |  0.001 % |
28.87/28.90	c |    246107 |     371     1608     4875 |    13641    12309     16 |  0.001 % |
28.96/29.06	c |    247648 |     371     1608     4875 |    13641    12296     16 |  0.001 % |
29.16/29.24	c |    249343 |     371     1608     4875 |    13641    12394     16 |  0.001 % |
29.36/29.42	c |    251206 |     371     1608     4875 |    13051    12735     16 |  0.001 % |
29.57/29.66	c |    253255 |     371     1608     4875 |    13051    11700     16 |  0.001 % |
29.86/29.93	c |    255508 |     371     1608     4875 |    13051    12175     17 |  0.001 % |
30.06/30.17	c |    257988 |     371     1608     4875 |    13051    12967     17 |  0.001 % |
30.06/30.19	c |    258089 |     371     1608     4875 |    13051    13068     17 |  0.001 % |
30.16/30.20	c |    258200 |     371     1608     4875 |    13051    11549     17 |  0.001 % |
30.16/30.22	c |    258323 |     371     1608     4875 |    13051    11672     17 |  0.001 % |
30.16/30.23	c |    258456 |     371     1608     4875 |    13051    11805     17 |  0.001 % |
30.16/30.25	c |    258602 |     371     1608     4875 |    13051    11951     17 |  0.001 % |
30.16/30.27	c |    258763 |     371     1608     4875 |    13051    12112     17 |  0.001 % |
30.16/30.29	c |    258939 |     371     1608     4875 |    13051    12288     17 |  0.001 % |
30.26/30.32	c |    259133 |     371     1608     4875 |    13051    12482     17 |  0.001 % |
30.26/30.34	c |    259345 |     371     1608     4875 |    13051    12694     17 |  0.001 % |
30.26/30.37	c |    259579 |     371     1608     4875 |    13051    12928     17 |  0.001 % |
30.36/30.40	c |    259835 |     371     1608     4875 |    13051    11495     17 |  0.001 % |
30.36/30.44	c |    260118 |     371     1608     4875 |    11661    10278     16 |  0.001 % |
30.36/30.46	c |    260428 |     371     1608     4875 |    11661    10588     16 |  0.001 % |
30.36/30.49	c |    260771 |     371     1608     4875 |    11661    10931     17 |  0.001 % |
30.46/30.53	c |    261144 |     371     1608     4875 |    11661    11304     17 |  0.001 % |
30.46/30.58	c |    261553 |     371     1608     4875 |    11661    10461     16 |  0.001 % |
30.56/30.62	c |    262002 |     371     1608     4875 |    11661    10910     16 |  0.001 % |
30.56/30.67	c |    262495 |     371     1608     4875 |    11661    11403     17 |  0.001 % |
30.67/30.72	c |    263037 |     371     1608     4875 |    11661    10773     17 |  0.001 % |
30.67/30.78	c |    263633 |     371     1608     4875 |    11661    11369     17 |  0.001 % |
30.77/30.85	c |    264290 |     371     1608     4875 |    11661    10856     17 |  0.001 % |
30.86/30.92	c |    265011 |     371     1608     4875 |    11661    11577     17 |  0.001 % |
30.96/31.00	c |    265803 |     371     1608     4875 |    11661    11200     17 |  0.001 % |
30.96/31.09	c |    266674 |     371     1608     4875 |    11661    10900     17 |  0.001 % |
31.06/31.18	c |    267632 |     371     1608     4875 |    11661    10687     17 |  0.001 % |
31.16/31.29	c |    268686 |     371     1608     4875 |    11661    10572     17 |  0.001 % |
31.26/31.39	c |    269845 |     371     1608     4875 |    11661    10561     17 |  0.001 % |
31.46/31.53	c |    271119 |     371     1608     4875 | 2147483647    11835     18 |  0.001 % |
31.56/31.68	c |    272519 |     371     1608     4875 | 2147483647    13235     18 |  0.001 % |
31.77/31.85	c |    274061 |     371     1608     4875 | 2147483647    14777     18 |  0.001 % |
31.96/32.06	c |    275757 |     371     1608     4875 | 2147483647    16473     18 |  0.001 % |
32.26/32.34	c |    277620 |     371     1608     4875 | 2147483647    18336     18 |  0.001 % |
32.56/32.63	c |    279670 |     371     1608     4875 | 2147483647    20386     18 |  0.001 % |
32.87/32.99	c |    281924 |     371     1608     4875 |    20718    19376     18 |  0.001 % |
33.36/33.41	c |    284402 |     371     1608     4875 |    20718    17594     18 |  0.001 % |
33.76/33.82	c |    287128 |     371     1608     4875 |    20718    20320     18 |  0.001 % |
33.76/33.84	c |    287228 |     371     1608     4875 |    20718    20420     18 |  0.001 % |
33.76/33.85	c |    287339 |     371     1608     4875 |    20718    20531     18 |  0.001 % |
33.76/33.88	c |    287461 |     371     1608     4875 |    20718    20653     18 |  0.001 % |
33.86/33.92	c |    287594 |     371     1608     4875 |    20718    16199     17 |  0.001 % |
33.86/33.94	c |    287740 |     371     1608     4875 |    20718    16345     17 |  0.001 % |
33.86/33.96	c |    287902 |     371     1608     4875 |    20718    16507     17 |  0.001 % |
33.86/33.99	c |    288079 |     371     1608     4875 |    20718    16684     18 |  0.001 % |
33.97/34.02	c |    288274 |     371     1608     4875 |    20718    16879     18 |  0.001 % |
33.97/34.06	c |    288487 |     371     1608     4875 |    20718    17092     18 |  0.001 % |
33.97/34.10	c |    288723 |     371     1608     4875 |    20718    17328     18 |  0.001 % |
34.07/34.13	c |    288981 |     371     1608     4875 |    20718    17586     18 |  0.001 % |
34.07/34.17	c |    289263 |     371     1608     4875 |    20718    17868     18 |  0.001 % |
34.16/34.21	c |    289573 |     371     1608     4875 |    20718    18178     18 |  0.001 % |
34.16/34.26	c |    289913 |     371     1608     4875 |    20718    18518     18 |  0.001 % |
34.26/34.33	c |    290286 |     371     1608     4875 |    18605    14672     17 |  0.001 % |
34.26/34.38	c |    290695 |     371     1608     4875 |    18605    15081     17 |  0.001 % |
34.36/34.43	c |    291144 |     371     1608     4875 |    18605    15530     17 |  0.001 % |
34.46/34.50	c |    291640 |     371     1608     4875 |    18605    16026     17 |  0.001 % |
34.46/34.57	c |    292183 |     371     1608     4875 |    18605    16569     17 |  0.001 % |
34.56/34.66	c |    292779 |     371     1608     4875 |    18605    17165     17 |  0.001 % |
34.66/34.74	c |    293435 |     371     1608     4875 |    18605    17821     17 |  0.001 % |
34.76/34.85	c |    294156 |     371     1608     4875 |    18605    18542     17 |  0.001 % |
34.86/34.96	c |    294948 |     371     1608     4875 |    18605    15447     16 |  0.001 % |
34.96/35.08	c |    295821 |     371     1608     4875 |    18605    16320     16 |  0.001 % |
35.17/35.22	c |    296779 |     371     1608     4875 |    18605    17278     16 |  0.001 % |
35.26/35.38	c |    297832 |     371     1608     4875 |    18605    18331     17 |  0.001 % |
35.46/35.57	c |    298991 |     371     1608     4875 |    18605    15517     16 |  0.001 % |
35.66/35.72	c |    300266 |     371     1608     4875 |    16527    13301     16 |  0.001 % |
35.76/35.86	c |    301667 |     371     1608     4875 |    16527    14702     16 |  0.001 % |
35.96/36.06	c |    303208 |     371     1608     4875 |    16527    16243     17 |  0.001 % |
36.17/36.26	c |    304902 |     371     1608     4875 |    16527    14929     17 |  0.001 % |
36.36/36.48	c |    306767 |     371     1608     4875 |    16527    13948     17 |  0.001 % |
36.66/36.73	c |    308816 |     371     1608     4875 |    16527    15997     17 |  0.001 % |
36.96/37.01	c |    311070 |     371     1608     4875 |    14255    12798     17 |  0.001 % |
37.16/37.22	c |    313549 |     371     1608     4875 |    14255    13178     17 |  0.001 % |
37.37/37.49	c |    316274 |     371     1608     4875 |    14255    14068     17 |  0.001 % |
37.76/37.80	c |    319274 |     371     1608     4875 |    14255    13681     17 |  0.001 % |
37.76/37.81	c |    319376 |     371     1608     4875 |    14255    13783     17 |  0.001 % |
37.76/37.83	c |    319488 |     371     1608     4875 |    14255    13895     17 |  0.001 % |
37.76/37.84	c |    319609 |     371     1608     4875 |    14255    14016     17 |  0.001 % |
37.76/37.86	c |    319743 |     371     1608     4875 |    14255    14150     17 |  0.001 % |
37.76/37.88	c |    319890 |     371     1608     4875 |    14255    12605     17 |  0.001 % |
37.86/37.90	c |    320052 |     371     1608     4875 |    12717    12767     17 |  0.001 % |
37.86/37.92	c |    320229 |     371     1608     4875 |    12717    11429     17 |  0.001 % |
37.86/37.94	c |    320425 |     371     1608     4875 |    12717    11625     17 |  0.001 % |
37.86/37.97	c |    320639 |     371     1608     4875 |    12717    11839     17 |  0.001 % |
37.86/37.99	c |    320874 |     371     1608     4875 |    12717    12074     17 |  0.001 % |
37.96/38.01	c |    321130 |     371     1608     4875 |    12717    12330     17 |  0.001 % |
37.96/38.05	c |    321411 |     371     1608     4875 |    12717    12611     17 |  0.001 % |
37.96/38.09	c |    321721 |     371     1608     4875 |    12717    11564     17 |  0.001 % |
38.06/38.13	c |    322060 |     371     1608     4875 |    12717    11903     17 |  0.001 % |
38.06/38.17	c |    322432 |     371     1608     4875 |    12717    12275     17 |  0.001 % |
38.16/38.22	c |    322841 |     371     1608     4875 |    12717    12684     17 |  0.001 % |
38.16/38.27	c |    323290 |     371     1608     4875 |    12717    11731     17 |  0.001 % |
38.26/38.32	c |    323783 |     371     1608     4875 |    12717    12224     17 |  0.001 % |
38.26/38.38	c |    324326 |     371     1608     4875 |    12717    11455     17 |  0.001 % |
38.36/38.43	c |    324924 |     371     1608     4875 |    12717    12053     17 |  0.001 % |
38.46/38.50	c |    325579 |     371     1608     4875 |    12717    12708     17 |  0.001 % |
38.46/38.58	c |    326300 |     371     1608     4875 |    12717    12147     17 |  0.001 % |
38.56/38.66	c |    327092 |     371     1608     4875 |    12717    11665     17 |  0.001 % |
38.66/38.75	c |    327965 |     371     1608     4875 |    12717    12538     17 |  0.001 % |
38.76/38.85	c |    328924 |     371     1608     4875 |    12717    12222     17 |  0.001 % |
38.86/38.96	c |    329977 |     371     1608     4875 |    12717    11999     17 |  0.001 % |
39.06/39.10	c |    331138 |     371     1608     4875 | 2147483647    13160     17 |  0.001 % |
39.16/39.25	c |    332411 |     371     1608     4875 | 2147483647    14433     18 |  0.001 % |
39.36/39.41	c |    333811 |     371     1608     4875 | 2147483647    15833     18 |  0.001 % |
39.46/39.59	c |    335353 |     371     1608     4875 | 2147483647    17375     18 |  0.001 % |
39.76/39.80	c |    337048 |     371     1608     4875 | 2147483647    19070     18 |  0.001 % |
39.96/40.05	c |    338911 |     371     1608     4875 | 2147483647    20933     18 |  0.001 % |
40.26/40.34	c |    340960 |     371     1608     4875 |    22022    19092     18 |  0.001 % |
40.56/40.64	c |    343214 |     371     1608     4875 |    22022    21346     18 |  0.001 % |
40.86/40.99	c |    345692 |     371     1608     4875 |    22022    19225     18 |  0.001 % |
41.36/41.46	c |    348417 |     371     1608     4875 |    22022    21950     18 |  0.001 % |
41.76/41.89	c |    351414 |     371     1608     4875 |    18496    15724     17 |  0.001 % |
42.26/42.34	c |    354712 |     371     1608     4875 |    18496    15064     17 |  0.001 % |
42.26/42.36	c |    354812 |     371     1608     4875 |    18496    15164     17 |  0.001 % |
42.26/42.37	c |    354922 |     371     1608     4875 |    18496    15274     17 |  0.001 % |
42.26/42.39	c |    355046 |     371     1608     4875 |    18496    15398     17 |  0.001 % |
42.36/42.41	c |    355180 |     371     1608     4875 |    18496    15532     17 |  0.001 % |
42.36/42.43	c |    355327 |     371     1608     4875 |    18496    15679     17 |  0.001 % |
42.36/42.44	c |    355487 |     371     1608     4875 |    18496    15839     17 |  0.001 % |
42.36/42.46	c |    355665 |     371     1608     4875 |    18496    16017     17 |  0.001 % |
42.36/42.49	c |    355858 |     371     1608     4875 |    18496    16210     17 |  0.001 % |
42.46/42.51	c |    356070 |     371     1608     4875 |    18496    16422     17 |  0.001 % |
42.46/42.55	c |    356305 |     371     1608     4875 |    18496    16657     17 |  0.001 % |
42.46/42.58	c |    356562 |     371     1608     4875 |    18496    16914     17 |  0.001 % |
42.56/42.62	c |    356843 |     371     1608     4875 |    18496    17195     17 |  0.001 % |
42.56/42.67	c |    357153 |     371     1608     4875 |    18496    17505     17 |  0.001 % |
42.66/42.71	c |    357492 |     371     1608     4875 |    18496    17844     17 |  0.001 % |
42.66/42.77	c |    357867 |     371     1608     4875 |    18496    18219     17 |  0.001 % |
42.76/42.83	c |    358276 |     371     1608     4875 |    18496    14659     16 |  0.001 % |
42.76/42.88	c |    358726 |     371     1608     4875 |    18496    15109     16 |  0.001 % |
42.86/42.94	c |    359221 |     371     1608     4875 |    18496    15604     16 |  0.001 % |
42.96/43.00	c |    359764 |     371     1608     4875 |    18496    16147     17 |  0.001 % |
42.96/43.08	c |    360362 |     371     1608     4875 |    16383    13356     16 |  0.001 % |
43.06/43.16	c |    361017 |     371     1608     4875 |    16383    14011     16 |  0.001 % |
43.16/43.24	c |    361737 |     371     1608     4875 |    16383    14731     17 |  0.001 % |
43.26/43.33	c |    362529 |     371     1608     4875 |    16383    15523     17 |  0.001 % |
43.36/43.43	c |    363402 |     371     1608     4875 |    16383    16396     17 |  0.001 % |
43.46/43.55	c |    364360 |     371     1608     4875 |    16383    14467     17 |  0.001 % |
43.56/43.67	c |    365414 |     371     1608     4875 |    16383    15521     17 |  0.001 % |
43.76/43.81	c |    366573 |     371     1608     4875 |    16383    13990     17 |  0.001 % |
43.86/43.95	c |    367846 |     371     1608     4875 |    16383    15263     17 |  0.001 % |
44.06/44.14	c |    369246 |     371     1608     4875 |    16383    13945     17 |  0.001 % |
44.26/44.33	c |    370788 |     371     1608     4875 |    14701    13034     17 |  0.001 % |
44.46/44.55	c |    372483 |     371     1608     4875 |    14701    14729     17 |  0.001 % |
44.66/44.76	c |    374346 |     371     1608     4875 |    14701    14126     17 |  0.001 % |
44.86/44.98	c |    376396 |     371     1608     4875 |    14701    13954     16 |  0.001 % |
45.16/45.20	c |    378651 |     371     1608     4875 |    14701    14096     17 |  0.001 % |
45.46/45.51	c |    381130 |     371     1608     4875 |    13419    12741     17 |  0.001 % |
45.76/45.82	c |    383859 |     371     1608     4875 |    13419    12188     17 |  0.001 % |
46.06/46.16	c |    386857 |     371     1608     4875 |    13419    11870     18 |  0.001 % |
46.45/46.51	c |    390154 |     371     1608     4875 |    11980    10820     17 |  0.001 % |
46.85/46.90	c |    393779 |     371     1608     4875 |    11980    12013     17 |  0.001 % |
46.85/46.92	c |    393879 |     371     1608     4875 |    11980    10912     17 |  0.001 % |
46.85/46.93	c |    393989 |     371     1608     4875 |    11980    11022     17 |  0.001 % |
46.85/46.95	c |    394111 |     371     1608     4875 |    11980    11144     17 |  0.001 % |
46.85/46.96	c |    394244 |     371     1608     4875 |    11980    11277     17 |  0.001 % |
46.85/46.98	c |    394391 |     371     1608     4875 |    11980    11424     17 |  0.001 % |
46.85/46.99	c |    394554 |     371     1608     4875 |    11980    11587     17 |  0.001 % |
46.95/47.01	c |    394730 |     371     1608     4875 |    11980    11763     17 |  0.001 % |
46.95/47.04	c |    394923 |     371     1608     4875 |    11980    11956     17 |  0.001 % |
46.95/47.06	c |    395136 |     371     1608     4875 |    11980    10919     17 |  0.001 % |
46.95/47.09	c |    395369 |     371     1608     4875 |    11980    11152     17 |  0.001 % |
47.05/47.11	c |    395625 |     371     1608     4875 |    11980    11408     17 |  0.001 % |
47.05/47.13	c |    395909 |     371     1608     4875 |    11980    11692     17 |  0.001 % |
47.05/47.16	c |    396219 |     371     1608     4875 |    11980    12002     17 |  0.001 % |
47.16/47.20	c |    396558 |     371     1608     4875 |    11980    11141     17 |  0.001 % |
47.16/47.24	c |    396931 |     371     1608     4875 |    11980    11514     17 |  0.001 % |
47.16/47.27	c |    397341 |     371     1608     4875 |    11980    11924     17 |  0.001 % |
47.26/47.33	c |    397791 |     371     1608     4875 |    11980    11173     17 |  0.001 % |
47.26/47.37	c |    398286 |     371     1608     4875 |    11980    11668     17 |  0.001 % |
47.35/47.43	c |    398829 |     371     1608     4875 |    11980    11011     17 |  0.001 % |
47.35/47.49	c |    399427 |     371     1608     4875 |    11980    11609     17 |  0.001 % |
47.45/47.56	c |    400084 |     371     1608     4875 | 2147483647    11065     17 |  0.001 % |
47.55/47.64	c |    400804 |     371     1608     4875 | 2147483647    11785     17 |  0.001 % |
47.65/47.73	c |    401596 |     371     1608     4875 | 2147483647    12577     17 |  0.001 % |
47.75/47.83	c |    402467 |     371     1608     4875 | 2147483647    13448     17 |  0.001 % |
47.85/47.94	c |    403426 |     371     1608     4875 | 2147483647    14407     18 |  0.001 % |
47.95/48.07	c |    404479 |     371     1608     4875 | 2147483647    15460     18 |  0.001 % |
48.15/48.21	c |    405637 |     371     1608     4875 | 2147483647    16618     18 |  0.001 % |
48.26/48.38	c |    406910 |     371     1608     4875 | 2147483647    17891     18 |  0.001 % |
48.45/48.58	c |    408311 |     371     1608     4875 | 2147483647    19292     18 |  0.001 % |
48.75/48.84	c |    409851 |     371     1608     4875 | 2147483647    20832     18 |  0.001 % |
49.05/49.10	c |    411547 |     371     1608     4875 |    20983    19028     18 |  0.001 % |
49.25/49.37	c |    413410 |     371     1608     4875 |    20983    20891     18 |  0.001 % |
49.55/49.70	c |    415460 |     371     1608     4875 |    20983    18544     18 |  0.001 % |
49.95/50.06	c |    417713 |     371     1608     4875 |    20983    20797     18 |  0.001 % |
50.35/50.40	c |    420194 |     371     1608     4875 |    18385    14615     18 |  0.001 % |
50.65/50.71	c |    422919 |     371     1608     4875 |    18385    17340     18 |  0.001 % |
51.05/51.11	c |    425917 |     371     1608     4875 |    18385    16801     18 |  0.001 % |
51.56/51.61	c |    429213 |     371     1608     4875 |    18385    16318     18 |  0.001 % |
51.95/52.05	c |    432838 |     371     1608     4875 |    17105    16499     18 |  0.001 % |
52.45/52.59	c |    436826 |     371     1608     4875 |    17105    14148     18 |  0.001 % |
52.55/52.60	c |    436927 |     371     1608     4875 |    17105    14249     18 |  0.001 % |
52.55/52.62	c |    437037 |     371     1608     4875 |    17105    14359     18 |  0.001 % |
52.55/52.64	c |    437161 |     371     1608     4875 |    17105    14483     18 |  0.001 % |
52.55/52.65	c |    437295 |     371     1608     4875 |    17105    14617     18 |  0.001 % |
52.55/52.68	c |    437441 |     371     1608     4875 |    17105    14763     18 |  0.001 % |
52.66/52.70	c |    437604 |     371     1608     4875 |    17105    14926     18 |  0.001 % |
52.66/52.73	c |    437780 |     371     1608     4875 |    17105    15102     18 |  0.001 % |
52.66/52.76	c |    437973 |     371     1608     4875 |    17105    15295     18 |  0.001 % |
52.66/52.79	c |    438185 |     371     1608     4875 |    17105    15507     18 |  0.001 % |
52.76/52.83	c |    438419 |     371     1608     4875 |    17105    15741     18 |  0.001 % |
52.76/52.87	c |    438675 |     371     1608     4875 |    17105    15997     18 |  0.001 % |
52.85/52.90	c |    438957 |     371     1608     4875 |    17105    16279     18 |  0.001 % |
52.85/52.94	c |    439266 |     371     1608     4875 |    17105    16588     18 |  0.001 % |
52.85/52.98	c |    439605 |     371     1608     4875 |    17105    16927     18 |  0.001 % |
52.95/53.05	c |    439977 |     371     1608     4875 |    17105    14014     18 |  0.001 % |
52.95/53.09	c |    440386 |     371     1608     4875 |    14037    11760     17 |  0.001 % |
53.05/53.14	c |    440835 |     371     1608     4875 |    14037    12209     17 |  0.001 % |
53.05/53.19	c |    441330 |     371     1608     4875 |    14037    12704     17 |  0.001 % |
53.15/53.23	c |    441873 |     371     1608     4875 |    14037    13247     18 |  0.001 % |
53.15/53.29	c |    442472 |     371     1608     4875 |    14037    13846     18 |  0.001 % |
53.25/53.37	c |    443128 |     371     1608     4875 |    14037    12437     17 |  0.001 % |
53.35/53.45	c |    443848 |     371     1608     4875 |    14037    13157     17 |  0.001 % |
53.45/53.52	c |    444641 |     371     1608     4875 |    14037    13950     18 |  0.001 % |
53.55/53.61	c |    445513 |     371     1608     4875 |    14037    12984     17 |  0.001 % |
53.65/53.72	c |    446472 |     371     1608     4875 |    14037    13943     17 |  0.001 % |
53.76/53.84	c |    447525 |     371     1608     4875 |    14037    13210     17 |  0.001 % |
53.85/53.96	c |    448683 |     371     1608     4875 |    14037    12647     18 |  0.001 % |
53.95/54.09	c |    449957 |     371     1608     4875 |    14037    13921     18 |  0.001 % |
54.15/54.26	c |    451357 |     371     1608     4875 |    13964    13678     18 |  0.001 % |
54.35/54.44	c |    452897 |     371     1608     4875 |    13964    13565     18 |  0.001 % |
54.55/54.64	c |    454592 |     371     1608     4875 |    13964    13687     17 |  0.001 % |
54.75/54.83	c |    456455 |     371     1608     4875 |    13964    12591     17 |  0.001 % |
54.95/55.07	c |    458504 |     371     1608     4875 |    13964    13116     17 |  0.001 % |
55.15/55.29	c |    460759 |     371     1608     4875 |    13145    12545     17 |  0.001 % |
55.45/55.55	c |    463237 |     371     1608     4875 |    13145    12387     17 |  0.001 % |
55.75/55.81	c |    465962 |     371     1608     4875 |    13145    12474     18 |  0.001 % |
56.05/56.13	c |    468959 |     371     1608     4875 |    13145    12834     18 |  0.001 % |
56.35/56.48	c |    472255 |     371     1608     4875 | 2147483647    14813     18 |  0.001 % |
56.85/56.90	c |    475880 |     371     1608     4875 | 2147483647    18438     19 |  0.001 % |
57.45/57.56	c |    479867 |     371     1608     4875 | 2147483647    22425     19 |  0.001 % |
58.15/58.27	c |    484254 |     371     1608     4875 |    22558    17452     20 |  0.001 % |
58.15/58.29	c |    484354 |     371     1608     4875 |    22558    17552     20 |  0.001 % |
58.25/58.30	c |    484467 |     371     1608     4875 |    22558    17665     20 |  0.001 % |
58.25/58.32	c |    484588 |     371     1608     4875 |    22558    17786     20 |  0.001 % |
58.25/58.34	c |    484721 |     371     1608     4875 |    22558    17919     20 |  0.001 % |
58.25/58.36	c |    484867 |     371     1608     4875 |    22558    18065     20 |  0.001 % |
58.25/58.39	c |    485029 |     371     1608     4875 |    22558    18227     20 |  0.001 % |
58.34/58.42	c |    485207 |     371     1608     4875 |    22558    18405     20 |  0.001 % |
58.34/58.45	c |    485401 |     371     1608     4875 |    22558    18599     20 |  0.001 % |
58.34/58.48	c |    485615 |     371     1608     4875 |    22558    18813     20 |  0.001 % |
58.44/58.52	c |    485849 |     371     1608     4875 |    22558    19047     20 |  0.001 % |
58.44/58.56	c |    486106 |     371     1608     4875 |    22558    19304     20 |  0.001 % |
58.54/58.61	c |    486388 |     371     1608     4875 |    22558    19586     20 |  0.001 % |
58.54/58.67	c |    486698 |     371     1608     4875 |    22558    19896     20 |  0.001 % |
58.64/58.72	c |    487037 |     371     1608     4875 |    22558    20235     20 |  0.001 % |
58.64/58.79	c |    487409 |     371     1608     4875 |    22558    20607     20 |  0.001 % |
58.74/58.88	c |    487819 |     371     1608     4875 |    22558    21017     19 |  0.001 % |
58.84/58.97	c |    488270 |     371     1608     4875 |    22558    21468     19 |  0.001 % |
58.94/59.06	c |    488763 |     371     1608     4875 |    22558    21961     19 |  0.001 % |
59.04/59.16	c |    489305 |     371     1608     4875 |    22558    22503     19 |  0.001 % |
59.14/59.27	c |    489902 |     371     1608     4875 |    22558    17501     19 |  0.001 % |
59.25/59.37	c |    490557 |     371     1608     4875 |    17601    13815     18 |  0.001 % |
59.35/59.47	c |    491278 |     371     1608     4875 |    17601    14536     18 |  0.001 % |
59.44/59.57	c |    492071 |     371     1608     4875 |    17601    15329     19 |  0.001 % |
59.54/59.68	c |    492942 |     371     1608     4875 |    17601    16200     19 |  0.001 % |
59.74/59.81	c |    493901 |     371     1608     4875 |    17601    17159     19 |  0.001 % |
59.84/59.96	c |    494954 |     371     1608     4875 |    17601    14463     18 |  0.001 % |
60.04/60.10	c |    496113 |     371     1608     4875 |    17601    15622     18 |  0.001 % |
60.14/60.28	c |    497391 |     371     1608     4875 |    17601    16900     18 |  0.001 % |
60.45/60.50	c |    498792 |     371     1608     4875 |    17601    14659     18 |  0.001 % |
60.64/60.71	c |    500332 |     371     1608     4875 |    15869    12960     18 |  0.001 % |
60.84/60.90	c |    502026 |     371     1608     4875 |    15869    14654     18 |  0.001 % |
61.04/61.10	c |    503890 |     371     1608     4875 |    15869    13763     18 |  0.001 % |
61.24/61.31	c |    505939 |     371     1608     4875 |    15869    15812     18 |  0.001 % |
61.45/61.60	c |    508192 |     371     1608     4875 |    15869    15566     19 |  0.001 % |
61.74/61.88	c |    510670 |     371     1608     4875 |    14874    13312     19 |  0.001 % |
62.14/62.20	c |    513396 |     371     1608     4875 |    14874    13955     19 |  0.001 % |
62.44/62.55	c |    516393 |     371     1608     4875 |    14874    12908     19 |  0.001 % |
62.84/62.90	c |    519690 |     371     1608     4875 |    14874    14250     18 |  0.001 % |
63.14/63.29	c |    523318 |     371     1608     4875 |    14561    14148     18 |  0.001 % |
63.65/63.71	c |    527307 |     371     1608     4875 |    14561    12970     18 |  0.001 % |
64.15/64.20	c |    531693 |     371     1608     4875 |    13902    13888     18 |  0.001 % |
64.65/64.71	c |    536518 |     371     1608     4875 |    13902    13695     18 |  0.001 % |
64.65/64.72	c |    536618 |     371     1608     4875 |    13902    13795     18 |  0.001 % |
64.65/64.73	c |    536728 |     371     1608     4875 |    13902    13905     18 |  0.001 % |
64.65/64.75	c |    536850 |     371     1608     4875 |    13902    12413     18 |  0.001 % |
64.65/64.76	c |    536983 |     371     1608     4875 |    13902    12546     18 |  0.001 % |
64.65/64.78	c |    537130 |     371     1608     4875 |    13902    12693     18 |  0.001 % |
64.65/64.79	c |    537290 |     371     1608     4875 |    13902    12853     18 |  0.001 % |
64.75/64.81	c |    537466 |     371     1608     4875 |    13902    13029     18 |  0.001 % |
64.75/64.83	c |    537660 |     371     1608     4875 |    13902    13223     18 |  0.001 % |
64.75/64.85	c |    537876 |     371     1608     4875 |    13902    13439     18 |  0.001 % |
64.75/64.88	c |    538109 |     371     1608     4875 |    13902    13672     18 |  0.001 % |
64.85/64.91	c |    538366 |     371     1608     4875 |    13902    12421     18 |  0.001 % |
64.85/64.94	c |    538652 |     371     1608     4875 |    13902    12707     18 |  0.001 % |
64.85/64.97	c |    538961 |     371     1608     4875 |    13902    13016     18 |  0.001 % |
64.95/65.01	c |    539303 |     371     1608     4875 |    13902    13358     18 |  0.001 % |
64.95/65.04	c |    539676 |     371     1608     4875 |    13902    13731     18 |  0.001 % |
64.95/65.09	c |    540086 |     371     1608     4875 | 2147483647    12744     17 |  0.001 % |
65.05/65.14	c |    540535 |     371     1608     4875 | 2147483647    13193     17 |  0.001 % |
65.05/65.19	c |    541028 |     371     1608     4875 | 2147483647    13686     17 |  0.001 % |
65.15/65.26	c |    541572 |     371     1608     4875 | 2147483647    14230     17 |  0.001 % |
65.25/65.33	c |    542171 |     371     1608     4875 | 2147483647    14829     17 |  0.001 % |
65.35/65.41	c |    542827 |     371     1608     4875 | 2147483647    15485     17 |  0.001 % |
65.35/65.49	c |    543547 |     371     1608     4875 | 2147483647    16205     18 |  0.001 % |
65.45/65.60	c |    544341 |     371     1608     4875 | 2147483647    16999     17 |  0.001 % |
65.65/65.70	c |    545213 |     371     1608     4875 | 2147483647    17871     17 |  0.001 % |
65.75/65.84	c |    546171 |     371     1608     4875 | 2147483647    18829     17 |  0.001 % |
65.85/65.98	c |    547226 |     371     1608     4875 | 2147483647    19884     18 |  0.001 % |
66.05/66.15	c |    548386 |     371     1608     4875 | 2147483647    21044     18 |  0.001 % |
66.25/66.34	c |    549660 |     371     1608     4875 | 2147483647    22318     18 |  0.001 % |
66.45/66.58	c |    551061 |     371     1608     4875 |    22658    19942     17 |  0.001 % |
66.65/66.78	c |    552603 |     371     1608     4875 |    22658    21484     17 |  0.001 % |
66.95/67.04	c |    554300 |     371     1608     4875 |    22658    18486     17 |  0.001 % |
67.14/67.26	c |    556165 |     371     1608     4875 |    22658    20351     18 |  0.001 % |
67.44/67.59	c |    558214 |     371     1608     4875 |    22658    22400     18 |  0.001 % |
67.84/67.93	c |    560467 |     371     1608     4875 |    19282    15564     18 |  0.001 % |
68.15/68.26	c |    562945 |     371     1608     4875 |    19282    18042     18 |  0.001 % |
68.55/68.65	c |    565672 |     371     1608     4875 |    19282    16757     18 |  0.001 % |
69.05/69.11	c |    568669 |     371     1608     4875 |    19282    15703     18 |  0.001 % |
69.44/69.51	c |    571966 |     371     1608     4875 |    17035    15438     18 |  0.001 % |
69.84/69.99	c |    575591 |     371     1608     4875 |    17035    15667     18 |  0.001 % |
70.35/70.45	c |    579579 |     371     1608     4875 |    17035    16330     18 |  0.001 % |
70.94/71.00	c |    583966 |     371     1608     4875 |    16752    14492     18 |  0.001 % |
71.64/71.72	c |    588790 |     371     1608     4875 |    16752    16024     18 |  0.001 % |
72.14/72.28	c |    594096 |     371     1608     4875 |    13803    12921     18 |  0.001 % |
72.14/72.29	c |    594196 |     371     1608     4875 |    13803    13021     18 |  0.001 % |
72.24/72.30	c |    594306 |     371     1608     4875 |    13803    13131     18 |  0.001 % |
72.24/72.32	c |    594427 |     371     1608     4875 |    13803    13252     18 |  0.001 % |
72.24/72.34	c |    594560 |     371     1608     4875 |    13803    13385     18 |  0.001 % |
72.24/72.36	c |    594706 |     371     1608     4875 |    13803    13531     18 |  0.001 % |
72.24/72.38	c |    594870 |     371     1608     4875 |    13803    13695     18 |  0.001 % |
72.34/72.41	c |    595046 |     371     1608     4875 |    13803    11802     18 |  0.001 % |
72.34/72.43	c |    595242 |     371     1608     4875 |    13803    11998     18 |  0.001 % |
72.34/72.45	c |    595455 |     371     1608     4875 |    13803    12211     18 |  0.001 % |
72.34/72.48	c |    595689 |     371     1608     4875 |    13803    12445     18 |  0.001 % |
72.44/72.51	c |    595946 |     371     1608     4875 |    13803    12702     18 |  0.001 % |
72.44/72.55	c |    596228 |     371     1608     4875 |    13803    12984     18 |  0.001 % |
72.44/72.58	c |    596540 |     371     1608     4875 |    13803    13296     18 |  0.001 % |
72.54/72.63	c |    596879 |     371     1608     4875 |    13803    13635     18 |  0.001 % |
72.54/72.68	c |    597251 |     371     1608     4875 |    13803    11940     18 |  0.001 % |
72.64/72.73	c |    597660 |     371     1608     4875 |    13803    12349     18 |  0.001 % |
72.64/72.77	c |    598112 |     371     1608     4875 |    13803    12801     18 |  0.001 % |
72.74/72.83	c |    598606 |     371     1608     4875 |    13803    13295     18 |  0.001 % |
72.74/72.90	c |    599149 |     371     1608     4875 |    13803    13838     18 |  0.001 % |
72.84/72.97	c |    599746 |     371     1608     4875 |    13803    12414     18 |  0.001 % |
72.94/73.05	c |    600402 |     371     1608     4875 |    12668    11253     18 |  0.001 % |
73.04/73.12	c |    601122 |     371     1608     4875 |    12668    11973     18 |  0.001 % |
73.14/73.21	c |    601914 |     371     1608     4875 |    12668    11208     18 |  0.001 % |
73.24/73.31	c |    602786 |     371     1608     4875 |    12668    12080     17 |  0.001 % |
73.34/73.42	c |    603744 |     371     1608     4875 |    12668    11524     17 |  0.001 % |
73.44/73.52	c |    604801 |     371     1608     4875 |    12668    12581     17 |  0.001 % |
73.54/73.65	c |    605959 |     371     1608     4875 |    12668    12395     17 |  0.001 % |
73.64/73.79	c |    607232 |     371     1608     4875 |    12668    12350     17 |  0.001 % |
73.84/73.92	c |    608633 |     371     1608     4875 |    12668    12417     17 |  0.001 % |
73.94/74.08	c |    610174 |     371     1608     4875 | 2147483647    12687     17 |  0.001 % |
74.14/74.27	c |    611869 |     371     1608     4875 | 2147483647    14382     18 |  0.001 % |
74.34/74.47	c |    613732 |     371     1608     4875 | 2147483647    16245     18 |  0.001 % |
74.64/74.76	c |    615783 |     371     1608     4875 | 2147483647    18296     18 |  0.001 % |
75.04/75.15	c |    618036 |     371     1608     4875 | 2147483647    20549     18 |  0.001 % |
75.44/75.54	c |    620514 |     371     1608     4875 |    22513    18892     18 |  0.001 % |
75.74/75.88	c |    623241 |     371     1608     4875 |    22513    21619     18 |  0.001 % |
76.14/76.29	c |    626239 |     371     1608     4875 |    22513    19915     19 |  0.001 % |
76.64/76.74	c |    629536 |     371     1608     4875 |    22513    18198     18 |  0.001 % |
77.04/77.17	c |    633167 |     371     1608     4875 |    18662    17643     18 |  0.001 % |
77.54/77.68	c |    637155 |     371     1608     4875 |    18662    17801     19 |  0.001 % |
78.14/78.28	c |    641540 |     371     1608     4875 |    16950    15168     18 |  0.001 % |
78.84/78.91	c |    646363 |     371     1608     4875 |    16950    16734     18 |  0.001 % |
79.43/79.58	c |    651668 |     371     1608     4875 |    13655    12613     17 |  0.001 % |
80.03/80.19	c |    657503 |     371     1608     4875 |    13655    12245     16 |  0.001 % |
80.14/80.21	c |    657605 |     371     1608     4875 |    13655    12347     16 |  0.001 % |
80.14/80.22	c |    657715 |     371     1608     4875 |    13655    12457     16 |  0.001 % |
80.14/80.23	c |    657837 |     371     1608     4875 |    13655    12579     17 |  0.001 % |
80.14/80.24	c |    657970 |     371     1608     4875 |    13655    12712     17 |  0.001 % |
80.14/80.26	c |    658118 |     371     1608     4875 |    13655    12860     17 |  0.001 % |
80.14/80.27	c |    658278 |     371     1608     4875 |    13655    13020     17 |  0.001 % |
80.14/80.29	c |    658455 |     371     1608     4875 |    13655    13197     17 |  0.001 % |
80.24/80.31	c |    658650 |     371     1608     4875 |    13655    13392     17 |  0.001 % |
80.24/80.33	c |    658862 |     371     1608     4875 |    13655    13604     17 |  0.001 % |
80.24/80.37	c |    659095 |     371     1608     4875 |    13655    11909     16 |  0.001 % |
80.33/80.40	c |    659352 |     371     1608     4875 |    13655    12166     17 |  0.001 % |
80.33/80.42	c |    659634 |     371     1608     4875 |    13655    12448     17 |  0.001 % |
80.33/80.45	c |    659943 |     371     1608     4875 |    13655    12757     17 |  0.001 % |
80.43/80.50	c |    660283 |     371     1608     4875 |    12816    11299     16 |  0.001 % |
80.43/80.54	c |    660655 |     371     1608     4875 |    12816    11671     17 |  0.001 % |
80.43/80.57	c |    661064 |     371     1608     4875 |    12816    12080     17 |  0.001 % |
80.53/80.62	c |    661514 |     371     1608     4875 |    12816    12530     17 |  0.001 % |
80.53/80.68	c |    662007 |     371     1608     4875 |    12816    11394     17 |  0.001 % |
80.63/80.74	c |    662550 |     371     1608     4875 |    12816    11937     17 |  0.001 % |
80.73/80.80	c |    663147 |     371     1608     4875 |    12816    12534     17 |  0.001 % |
80.73/80.87	c |    663802 |     371     1608     4875 |    12816    11597     17 |  0.001 % |
80.83/80.94	c |    664522 |     371     1608     4875 |    12816    12317     17 |  0.001 % |
80.93/81.02	c |    665314 |     371     1608     4875 |    12816    11719     17 |  0.001 % |
81.03/81.11	c |    666185 |     371     1608     4875 |    12816    12590     17 |  0.001 % |
81.13/81.22	c |    667145 |     371     1608     4875 |    12816    12227     17 |  0.001 % |
81.23/81.32	c |    668198 |     371     1608     4875 |    12816    11994     18 |  0.001 % |
81.33/81.45	c |    669357 |     371     1608     4875 |    12816    11868     18 |  0.001 % |
81.43/81.58	c |    670632 |     371     1608     4875 | 2147483647    13143     18 |  0.001 % |
81.63/81.73	c |    672032 |     371     1608     4875 | 2147483647    14543     18 |  0.001 % |
81.73/81.88	c |    673572 |     371     1608     4875 | 2147483647    16083     18 |  0.001 % |
82.03/82.14	c |    675267 |     371     1608     4875 | 2147483647    17778     18 |  0.001 % |
82.33/82.41	c |    677133 |     371     1608     4875 | 2147483647    19644     18 |  0.001 % |
82.63/82.77	c |    679183 |     371     1608     4875 | 2147483647    21694     18 |  0.001 % |
83.03/83.13	c |    681438 |     371     1608     4875 |    22512    19656     18 |  0.001 % |
83.43/83.52	c |    683917 |     371     1608     4875 |    22512    22135     18 |  0.001 % |
83.82/83.94	c |    686642 |     371     1608     4875 |    22512    19800     18 |  0.001 % |
84.32/84.46	c |    689641 |     371     1608     4875 |    22512    17410     17 |  0.001 % |
84.82/84.92	c |    692937 |     371     1608     4875 |    17772    16431     17 |  0.001 % |
85.23/85.32	c |    696563 |     371     1608     4875 |    17772    16122     17 |  0.001 % |
85.73/85.84	c |    700551 |     371     1608     4875 |    15671    12919     16 |  0.001 % |
86.22/86.32	c |    704936 |     371     1608     4875 |    15671    14547     16 |  0.001 % |
86.73/86.90	c |    709759 |     371     1608     4875 |    15671    14070     16 |  0.001 % |
87.22/87.39	c |    715064 |     371     1608     4875 |    14313    14045     16 |  0.001 % |
87.93/88.05	c |    720900 |     371     1608     4875 |    13221    12729     17 |  0.001 % |
88.62/88.74	c |    727318 |     371     1608     4875 |    13221    12282     16 |  0.001 % |
88.62/88.75	c |    727418 |     371     1608     4875 |    13221    12382     17 |  0.001 % |
88.62/88.77	c |    727528 |     371     1608     4875 |    13221    12492     17 |  0.001 % |
88.62/88.78	c |    727649 |     371     1608     4875 |    13221    12613     17 |  0.001 % |
88.72/88.80	c |    727782 |     371     1608     4875 |    13221    12746     17 |  0.001 % |
88.72/88.81	c |    727930 |     371     1608     4875 |    13221    12894     17 |  0.001 % |
88.72/88.83	c |    728090 |     371     1608     4875 |    13221    13054     17 |  0.001 % |
88.72/88.86	c |    728268 |     371     1608     4875 |    13221    13232     17 |  0.001 % |
88.72/88.89	c |    728461 |     371     1608     4875 |    13221    11786     16 |  0.001 % |
88.82/88.91	c |    728673 |     371     1608     4875 |    13221    11998     16 |  0.001 % |
88.82/88.93	c |    728906 |     371     1608     4875 |    13221    12231     16 |  0.001 % |
88.82/88.96	c |    729165 |     371     1608     4875 |    13221    12490     16 |  0.001 % |
88.82/88.99	c |    729448 |     371     1608     4875 |    13221    12773     16 |  0.001 % |
88.93/89.03	c |    729759 |     371     1608     4875 |    13221    13084     16 |  0.001 % |
88.93/89.07	c |    730098 |     371     1608     4875 |    11662    10297     16 |  0.001 % |
89.03/89.11	c |    730471 |     371     1608     4875 |    11662    10670     16 |  0.001 % |
89.03/89.15	c |    730880 |     371     1608     4875 |    11662    11079     16 |  0.001 % |
89.12/89.20	c |    731331 |     371     1608     4875 |    11662    11530     16 |  0.001 % |
89.12/89.26	c |    731827 |     371     1608     4875 |    11662    10746     16 |  0.001 % |
89.22/89.31	c |    732370 |     371     1608     4875 |    11662    11289     16 |  0.001 % |
89.22/89.38	c |    732967 |     371     1608     4875 |    11662    10605     16 |  0.001 % |
89.32/89.45	c |    733623 |     371     1608     4875 |    11662    11261     16 |  0.001 % |
89.42/89.53	c |    734345 |     371     1608     4875 |    11662    10750     16 |  0.001 % |
89.52/89.61	c |    735137 |     371     1608     4875 |    11662    11542     16 |  0.001 % |
89.52/89.70	c |    736008 |     371     1608     4875 |    11662    11227     16 |  0.001 % |
89.72/89.80	c |    736966 |     371     1608     4875 |    11662    11014     16 |  0.001 % |
89.82/89.93	c |    738019 |     371     1608     4875 |    11662    10897     16 |  0.001 % |
89.92/90.05	c |    739180 |     371     1608     4875 |    11662    10889     16 |  0.001 % |
90.03/90.19	c |    740455 |     371     1608     4875 | 2147483647    10994     16 |  0.001 % |
90.22/90.32	c |    741857 |     371     1608     4875 | 2147483647    12396     16 |  0.001 % |
90.32/90.49	c |    743397 |     371     1608     4875 | 2147483647    13936     17 |  0.001 % |
90.52/90.69	c |    745091 |     371     1608     4875 | 2147483647    15630     17 |  0.001 % |
90.82/90.90	c |    746954 |     371     1608     4875 | 2147483647    17493     17 |  0.001 % |
91.02/91.19	c |    749004 |     371     1608     4875 | 2147483647    19543     17 |  0.001 % |
91.42/91.54	c |    751257 |     371     1608     4875 |    20541    18640     17 |  0.001 % |
91.82/91.95	c |    753735 |     371     1608     4875 |    20541    16927     17 |  0.001 % |
92.22/92.33	c |    756460 |     371     1608     4875 |    20541    19652     17 |  0.001 % |
92.72/92.80	c |    759458 |     371     1608     4875 |    20541    18200     17 |  0.001 % |
93.12/93.26	c |    762754 |     371     1608     4875 |    18742    17342     17 |  0.001 % |
93.61/93.72	c |    766381 |     371     1608     4875 |    18742    16903     16 |  0.001 % |
94.11/94.29	c |    770368 |     371     1608     4875 |    16563    13410     16 |  0.001 % |
94.61/94.78	c |    774753 |     371     1608     4875 |    16563    14712     16 |  0.001 % |
95.21/95.38	c |    779576 |     371     1608     4875 |    16563    13842     16 |  0.001 % |
95.71/95.89	c |    784883 |     371     1608     4875 |    14267    13405     17 |  0.001 % |
96.51/96.61	c |    790720 |     371     1608     4875 |    13395    12412     17 |  0.001 % |
97.21/97.38	c |    797138 |     371     1608     4875 |    13395    13070     17 |  0.001 % |
97.91/98.09	c |    804202 |     371     1608     4875 |    11846    11553     16 |  0.001 % |
98.01/98.10	c |    804303 |     371     1608     4875 |    11846    11654     16 |  0.001 % |
98.01/98.11	c |    804414 |     371     1608     4875 |    11846    11765     16 |  0.001 % |
98.01/98.13	c |    804535 |     371     1608     4875 |    11846    10678     16 |  0.001 % |
98.01/98.14	c |    804669 |     371     1608     4875 |    11846    10812     16 |  0.001 % |
98.01/98.16	c |    804815 |     371     1608     4875 |    11846    10958     16 |  0.001 % |
98.01/98.17	c |    804975 |     371     1608     4875 |    11846    11118     16 |  0.001 % |
98.01/98.19	c |    805152 |     371     1608     4875 |    11846    11295     16 |  0.001 % |
98.11/98.21	c |    805345 |     371     1608     4875 |    11846    11488     16 |  0.001 % |
98.11/98.23	c |    805558 |     371     1608     4875 |    11846    11701     16 |  0.001 % |
98.11/98.26	c |    805791 |     371     1608     4875 |    11846    10745     17 |  0.001 % |
98.11/98.28	c |    806047 |     371     1608     4875 |    11846    11001     17 |  0.001 % |
98.21/98.30	c |    806329 |     371     1608     4875 |    11846    11283     17 |  0.001 % |
98.21/98.33	c |    806642 |     371     1608     4875 |    11846    11596     17 |  0.001 % |
98.21/98.36	c |    806981 |     371     1608     4875 |    11846    10747     17 |  0.001 % |
98.31/98.40	c |    807355 |     371     1608     4875 |    11846    11121     17 |  0.001 % |
98.31/98.44	c |    807764 |     371     1608     4875 |    11846    11530     17 |  0.001 % |
98.31/98.48	c |    808213 |     371     1608     4875 |    11846    10790     17 |  0.001 % |
98.41/98.53	c |    808706 |     371     1608     4875 |    11846    11283     17 |  0.001 % |
98.41/98.57	c |    809250 |     371     1608     4875 |    11846    11827     17 |  0.001 % |
98.51/98.63	c |    809846 |     371     1608     4875 |    11846    11235     17 |  0.001 % |
98.51/98.70	c |    810501 |     371     1608     4875 | 2147483647    11890     17 |  0.001 % |
98.61/98.76	c |    811221 |     371     1608     4875 | 2147483647    12610     18 |  0.001 % |
98.71/98.83	c |    812013 |     371     1608     4875 | 2147483647    13402     18 |  0.001 % |
98.81/98.92	c |    812884 |     371     1608     4875 | 2147483647    14273     18 |  0.001 % |
98.91/99.02	c |    813844 |     371     1608     4875 | 2147483647    15233     18 |  0.001 % |
99.01/99.14	c |    814897 |     371     1608     4875 | 2147483647    16286     18 |  0.001 % |
99.21/99.30	c |    816055 |     371     1608     4875 | 2147483647    17444     18 |  0.001 % |
99.31/99.49	c |    817328 |     371     1608     4875 | 2147483647    18717     18 |  0.001 % |
99.61/99.72	c |    818728 |     371     1608     4875 | 2147483647    20117     18 |  0.001 % |
99.81/99.99	c |    820268 |     371     1608     4875 |    21389    18075     18 |  0.001 % |
100.11/100.24	c |    821963 |     371     1608     4875 |    21389    19770     18 |  0.001 % |
100.41/100.57	c |    823826 |     371     1608     4875 |    21389    16989     18 |  0.001 % |
100.71/100.85	c |    825876 |     371     1608     4875 |    21389    19039     18 |  0.001 % |
101.11/101.24	c |    828131 |     371     1608     4875 |    21389    21294     18 |  0.001 % |
101.41/101.59	c |    830610 |     371     1608     4875 |    18280    14810     17 |  0.001 % |
101.80/101.92	c |    833335 |     371     1608     4875 |    18280    17535     18 |  0.001 % |
102.11/102.28	c |    836332 |     371     1608     4875 |    18280    17034     18 |  0.001 % |
102.60/102.71	c |    839630 |     371     1608     4875 |    18280    16929     18 |  0.001 % |
103.10/103.21	c |    843256 |     371     1608     4875 |    17299    14046     17 |  0.001 % |
103.60/103.76	c |    847246 |     371     1608     4875 |    17299    14690     17 |  0.001 % |
104.20/104.32	c |    851632 |     371     1608     4875 |    14144    13092     18 |  0.001 % |
104.70/104.86	c |    856455 |     371     1608     4875 |    14144    13370     18 |  0.001 % |
105.30/105.43	c |    861760 |     371     1608     4875 |    12907    12911     18 |  0.001 % |
105.90/106.06	c |    867595 |     371     1608     4875 |    12907    11719     19 |  0.001 % |
106.61/106.77	c |    874013 |     371     1608     4875 |    12755    12537     18 |  0.001 % |
107.40/107.56	c |    881072 |     371     1608     4875 |    12448    12045     18 |  0.001 % |
108.30/108.46	c |    888837 |     371     1608     4875 |    12448    11844     17 |  0.001 % |
108.30/108.47	c |    888939 |     371     1608     4875 |    12448    11946     17 |  0.001 % |
108.30/108.48	c |    889052 |     371     1608     4875 |    12448    12059     17 |  0.001 % |
108.40/108.50	c |    889173 |     371     1608     4875 |    12448    12180     17 |  0.001 % |
108.40/108.51	c |    889308 |     371     1608     4875 |    12448    12315     17 |  0.001 % |
108.40/108.53	c |    889454 |     371     1608     4875 |    12448    12461     17 |  0.001 % |
108.40/108.55	c |    889614 |     371     1608     4875 |    12448    11078     17 |  0.001 % |
108.40/108.57	c |    889790 |     371     1608     4875 |    12448    11254     17 |  0.001 % |
108.40/108.59	c |    889983 |     371     1608     4875 |    12448    11447     17 |  0.001 % |
108.50/108.62	c |    890195 |     371     1608     4875 |    11465    10264     17 |  0.001 % |
108.50/108.64	c |    890429 |     371     1608     4875 |    11465    10498     17 |  0.001 % |
108.50/108.66	c |    890685 |     371     1608     4875 |    11465    10754     17 |  0.001 % |
108.50/108.69	c |    890967 |     371     1608     4875 |    11465    11036     17 |  0.001 % |
108.60/108.72	c |    891277 |     371     1608     4875 |    11465    11346     17 |  0.001 % |
108.60/108.76	c |    891616 |     371     1608     4875 |    11465    10536     17 |  0.001 % |
108.60/108.79	c |    891989 |     371     1608     4875 |    11465    10909     17 |  0.001 % |
108.70/108.84	c |    892399 |     371     1608     4875 |    11465    11319     17 |  0.001 % |
108.70/108.89	c |    892848 |     371     1608     4875 |    11465    10618     17 |  0.001 % |
108.80/108.94	c |    893342 |     371     1608     4875 |    11465    11112     17 |  0.001 % |
108.90/109.00	c |    893886 |     371     1608     4875 |    11465    10506     17 |  0.001 % |
108.90/109.06	c |    894485 |     371     1608     4875 |    11465    11105     17 |  0.001 % |
109.00/109.13	c |    895140 |     371     1608     4875 |    11465    10611     17 |  0.001 % |
109.00/109.19	c |    895860 |     371     1608     4875 |    11465    11331     17 |  0.001 % |
109.10/109.27	c |    896652 |     371     1608     4875 |    11465    10973     17 |  0.001 % |
109.20/109.37	c |    897525 |     371     1608     4875 |    11465    10696     17 |  0.001 % |
109.30/109.46	c |    898484 |     371     1608     4875 |    11465    10503     17 |  0.001 % |
109.40/109.56	c |    899538 |     371     1608     4875 |    11465    10408     17 |  0.001 % |
109.50/109.65	c |    900697 |     371     1608     4875 | 2147483647    11567     17 |  0.001 % |
109.60/109.76	c |    901970 |     371     1608     4875 | 2147483647    12840     18 |  0.001 % |
109.80/109.91	c |    903371 |     371     1608     4875 | 2147483647    14241     18 |  0.001 % |
109.90/110.05	c |    904912 |     371     1608     4875 | 2147483647    15782     18 |  0.001 % |
110.10/110.28	c |    906608 |     371     1608     4875 | 2147483647    17478     18 |  0.001 % |
110.40/110.54	c |    908471 |     371     1608     4875 | 2147483647    19341     18 |  0.001 % |
110.70/110.86	c |    910523 |     371     1608     4875 |    20871    18593     19 |  0.001 % |
111.00/111.17	c |    912776 |     371     1608     4875 |    20871    20846     19 |  0.001 % |
111.40/111.55	c |    915254 |     371     1608     4875 |    20871    19543     19 |  0.001 % |
111.80/111.98	c |    917979 |     371     1608     4875 |    20871    18085     19 |  0.001 % |
112.29/112.44	c |    920977 |     371     1608     4875 |    20107    16947     19 |  0.001 % |
112.79/112.94	c |    924275 |     371     1608     4875 |    20107    15950     18 |  0.001 % |
113.29/113.42	c |    927900 |     371     1608     4875 |    20107    19575     18 |  0.001 % |
113.79/113.95	c |    931889 |     371     1608     4875 |    17437    15657     18 |  0.001 % |
114.39/114.52	c |    936274 |     371     1608     4875 |    17437    16627     17 |  0.001 % |
114.99/115.14	c |    941097 |     371     1608     4875 |    17023    14874     16 |  0.001 % |
115.49/115.66	c |    946402 |     371     1608     4875 |    17023    14853     17 |  0.001 % |
116.19/116.33	c |    952238 |     371     1608     4875 |    15793    15616     17 |  0.001 % |
116.99/117.10	c |    958659 |     371     1608     4875 |    15793    14734     16 |  0.001 % |
117.69/117.83	c |    965718 |     371     1608     4875 |    13543    13504     16 |  0.001 % |
118.49/118.62	c |    973482 |     371     1608     4875 |    12700    11996     18 |  0.001 % |
119.39/119.50	c |    982022 |     371     1608     4875 | 2147483647    14031     17 |  0.001 % |
119.39/119.51	c |    982123 |     371     1608     4875 | 2147483647    14132     17 |  0.001 % |
119.39/119.52	c |    982233 |     371     1608     4875 | 2147483647    14242     17 |  0.001 % |
119.39/119.54	c |    982355 |     371     1608     4875 | 2147483647    14364     17 |  0.001 % |
119.39/119.55	c |    982488 |     371     1608     4875 | 2147483647    14497     17 |  0.001 % |
119.39/119.57	c |    982636 |     371     1608     4875 | 2147483647    14645     17 |  0.001 % |
119.39/119.59	c |    982796 |     371     1608     4875 | 2147483647    14805     17 |  0.001 % |
119.49/119.61	c |    982972 |     371     1608     4875 | 2147483647    14981     17 |  0.001 % |
119.49/119.63	c |    983165 |     371     1608     4875 | 2147483647    15174     17 |  0.001 % |
119.49/119.66	c |    983377 |     371     1608     4875 | 2147483647    15386     18 |  0.001 % |
119.49/119.69	c |    983610 |     371     1608     4875 | 2147483647    15619     18 |  0.001 % |
119.59/119.73	c |    983869 |     371     1608     4875 | 2147483647    15878     18 |  0.001 % |
119.59/119.76	c |    984151 |     371     1608     4875 | 2147483647    16160     18 |  0.001 % |
119.59/119.79	c |    984460 |     371     1608     4875 | 2147483647    16469     18 |  0.001 % |
119.70/119.84	c |    984801 |     371     1608     4875 | 2147483647    16810     18 |  0.001 % |
119.70/119.89	c |    985173 |     371     1608     4875 | 2147483647    17182     18 |  0.001 % |
119.80/119.93	c |    985582 |     371     1608     4875 | 2147483647    17591     18 |  0.001 % |
119.89/120.00	c |    986031 |     371     1608     4875 | 2147483647    18040     18 |  0.001 % |
119.89/120.08	c |    986525 |     371     1608     4875 | 2147483647    18534     18 |  0.001 % |
119.99/120.17	c |    987069 |     371     1608     4875 | 2147483647    19078     18 |  0.001 % |
120.09/120.26	c |    987665 |     371     1608     4875 | 2147483647    19674     18 |  0.001 % |
120.19/120.38	c |    988320 |     371     1608     4875 | 2147483647    20329     18 |  0.001 % |
120.39/120.50	c |    989041 |     371     1608     4875 | 2147483647    21050     18 |  0.001 % |
120.49/120.62	c |    989835 |     371     1608     4875 | 2147483647    21844     18 |  0.001 % |
120.59/120.74	c |    990706 |     371     1608     4875 |    22010    18513     17 |  0.001 % |
120.69/120.86	c |    991666 |     371     1608     4875 |    22010    19473     17 |  0.001 % |
120.90/121.00	c |    992719 |     371     1608     4875 |    22010    20526     18 |  0.001 % |
120.99/121.15	c |    993878 |     371     1608     4875 |    22010    21685     18 |  0.001 % |
121.19/121.34	c |    995152 |     371     1608     4875 |    22010    18490     17 |  0.001 % |
121.39/121.54	c |    996553 |     371     1608     4875 |    22010    19891     17 |  0.001 % |
121.59/121.75	c |    998093 |     371     1608     4875 |    22010    21431     18 |  0.001 % |
121.90/122.00	c |    999789 |     371     1608     4875 |    22010    18448     18 |  0.001 % |
122.09/122.22	c |   1001652 |     371     1608     4875 |    18659    16399     18 |  0.001 % |
122.39/122.50	c |   1003701 |     371     1608     4875 |    18659    18448     17 |  0.001 % |
122.59/122.79	c |   1005955 |     371     1608     4875 |    18659    17089     17 |  0.001 % |
123.00/123.11	c |   1008433 |     371     1608     4875 |    18659    15915     17 |  0.001 % |
123.29/123.45	c |   1011158 |     371     1608     4875 |    17482    15254     17 |  0.001 % |
123.69/123.85	c |   1014156 |     371     1608     4875 |    17482    14877     16 |  0.001 % |
124.10/124.22	c |   1017453 |     371     1608     4875 |    17482    14864     17 |  0.001 % |
124.49/124.64	c |   1021079 |     371     1608     4875 |    17414    15276     17 |  0.001 % |
124.99/125.14	c |   1025068 |     371     1608     4875 |    17414    15977     18 |  0.001 % |
125.49/125.68	c |   1029453 |     371     1608     4875 |    17414    17009     19 |  0.001 % |
126.09/126.28	c |   1034276 |     371     1608     4875 |    14306    13606     18 |  0.001 % |
126.79/126.91	c |   1039581 |     371     1608     4875 |    14306    12459     18 |  0.001 % |
127.29/127.49	c |   1045416 |     371     1608     4875 |    12878    11472     17 |  0.001 % |
127.89/128.08	c |   1051834 |     371     1608     4875 | 2147483647    13755     17 |  0.001 % |
128.89/129.01	c |   1058896 |     371     1608     4875 | 2147483647    20817     17 |  0.001 % |
129.99/130.18	c |   1066660 |     371     1608     4875 |    21921    19610     17 |  0.001 % |
131.09/131.29	c |   1075202 |     371     1608     4875 |    17639    14938     17 |  0.001 % |
132.39/132.51	c |   1084596 |     371     1608     4875 |    16198    14350     18 |  0.001 % |
132.39/132.52	c |   1084699 |     371     1608     4875 |    16198    14453     18 |  0.001 % |
132.39/132.53	c |   1084809 |     371     1608     4875 |    16198    14563     18 |  0.001 % |
132.39/132.55	c |   1084934 |     371     1608     4875 |    16198    14688     18 |  0.001 % |
132.39/132.56	c |   1085067 |     371     1608     4875 |    16198    14821     18 |  0.001 % |
132.39/132.57	c |   1085213 |     371     1608     4875 |    16198    14967     18 |  0.001 % |
132.39/132.60	c |   1085373 |     371     1608     4875 |    16198    15127     18 |  0.001 % |
132.49/132.62	c |   1085549 |     371     1608     4875 |    16198    15303     18 |  0.001 % |
132.49/132.65	c |   1085742 |     371     1608     4875 |    16198    15496     18 |  0.001 % |
132.49/132.67	c |   1085955 |     371     1608     4875 |    16198    15709     18 |  0.001 % |
132.49/132.70	c |   1086190 |     371     1608     4875 |    16198    15944     18 |  0.001 % |
132.59/132.72	c |   1086448 |     371     1608     4875 |    16198    16202     18 |  0.001 % |
132.59/132.77	c |   1086731 |     371     1608     4875 |    16198    13390     18 |  0.001 % |
132.69/132.80	c |   1087042 |     371     1608     4875 |    16198    13701     18 |  0.001 % |
132.69/132.84	c |   1087381 |     371     1608     4875 |    16198    14040     18 |  0.001 % |
132.69/132.88	c |   1087753 |     371     1608     4875 |    16198    14412     18 |  0.001 % |
132.79/132.92	c |   1088166 |     371     1608     4875 |    16198    14825     18 |  0.001 % |
132.79/132.98	c |   1088615 |     371     1608     4875 |    16198    15274     18 |  0.001 % |
132.89/133.05	c |   1089108 |     371     1608     4875 |    16198    15767     18 |  0.001 % |
132.99/133.14	c |   1089650 |     371     1608     4875 |    16198    13301     18 |  0.001 % |
133.09/133.22	c |   1090246 |     371     1608     4875 |    13651    11368     17 |  0.001 % |
133.09/133.28	c |   1090901 |     371     1608     4875 |    13651    12023     17 |  0.001 % |
133.19/133.34	c |   1091621 |     371     1608     4875 |    13651    12743     17 |  0.001 % |
133.29/133.42	c |   1092415 |     371     1608     4875 |    13651    13537     17 |  0.001 % |
133.39/133.50	c |   1093286 |     371     1608     4875 |    13651    12607     17 |  0.001 % |
133.39/133.58	c |   1094247 |     371     1608     4875 |    13651    13568     18 |  0.001 % |
133.59/133.70	c |   1095301 |     371     1608     4875 |    13651    13178     18 |  0.001 % |
133.69/133.83	c |   1096460 |     371     1608     4875 |    13651    12958     18 |  0.001 % |
133.79/133.99	c |   1097733 |     371     1608     4875 |    13651    12828     18 |  0.001 % |
133.99/134.16	c |   1099136 |     371     1608     4875 |    13651    12837     18 |  0.001 % |
134.19/134.33	c |   1100676 |     371     1608     4875 |    12325    11762     18 |  0.001 % |
134.39/134.52	c |   1102371 |     371     1608     4875 |    12325    12221     18 |  0.001 % |
134.59/134.73	c |   1104235 |     371     1608     4875 |    12325    11609     18 |  0.001 % |
134.79/134.95	c |   1106284 |     371     1608     4875 |    12325    11185     18 |  0.001 % |
134.99/135.18	c |   1108539 |     371     1608     4875 |    12325    12204     18 |  0.001 % |
135.19/135.39	c |   1111017 |     371     1608     4875 | 2147483647    12208     18 |  0.001 % |
135.49/135.66	c |   1113745 |     371     1608     4875 | 2147483647    14936     19 |  0.001 % |
135.89/136.01	c |   1116742 |     371     1608     4875 | 2147483647    17933     19 |  0.001 % |
136.38/136.52	c |   1120041 |     371     1608     4875 |    21191    21232     19 |  0.001 % |
136.88/137.05	c |   1123669 |     371     1608     4875 |    21191    17753     19 |  0.001 % |
137.58/137.70	c |   1127657 |     371     1608     4875 |    21191    17082     19 |  0.001 % |
138.08/138.29	c |   1132043 |     371     1608     4875 |    19425    17250     19 |  0.001 % |
138.78/138.98	c |   1136867 |     371     1608     4875 |    19425    17786     19 |  0.001 % |
139.48/139.62	c |   1142172 |     371     1608     4875 |    16566    15170     18 |  0.001 % |
140.18/140.38	c |   1148007 |     371     1608     4875 |    16566    15271     18 |  0.001 % |
140.98/141.11	c |   1154427 |     371     1608     4875 |    14303    13902     17 |  0.001 % |
141.68/141.87	c |   1161486 |     371     1608     4875 |    12891    12412     16 |  0.001 % |
142.48/142.69	c |   1169252 |     371     1608     4875 |    12891    12656     17 |  0.001 % |
143.38/143.56	c |   1177793 |     371     1608     4875 |    11656    10822     17 |  0.001 % |
144.38/144.56	c |   1187189 |     371     1608     4875 | 2147483647    17879     17 |  0.001 % |
145.78/145.90	c |   1197523 |     371     1608     4875 |    20691    16543     18 |  0.001 % |
145.78/145.91	c |   1197625 |     371     1608     4875 |    20691    16645     18 |  0.001 % |
145.78/145.93	c |   1197735 |     371     1608     4875 |    20691    16755     18 |  0.001 % |
145.78/145.94	c |   1197856 |     371     1608     4875 |    20691    16876     18 |  0.001 % |
145.78/145.97	c |   1197990 |     371     1608     4875 |    20691    17010     18 |  0.001 % |
145.78/145.99	c |   1198137 |     371     1608     4875 |    20691    17157     18 |  0.001 % |
145.87/146.02	c |   1198302 |     371     1608     4875 |    20691    17322     18 |  0.001 % |
145.87/146.04	c |   1198480 |     371     1608     4875 |    20691    17500     18 |  0.001 % |
145.87/146.07	c |   1198673 |     371     1608     4875 |    20691    17693     18 |  0.001 % |
145.97/146.10	c |   1198885 |     371     1608     4875 |    20691    17905     18 |  0.001 % |
145.97/146.14	c |   1199118 |     371     1608     4875 |    20691    18138     18 |  0.001 % |
145.97/146.17	c |   1199374 |     371     1608     4875 |    20691    18394     18 |  0.001 % |
146.08/146.21	c |   1199655 |     371     1608     4875 |    20691    18675     18 |  0.001 % |
146.08/146.24	c |   1199965 |     371     1608     4875 |    20691    18985     18 |  0.001 % |
146.18/146.31	c |   1200304 |     371     1608     4875 |    19020    15291     18 |  0.001 % |
146.18/146.35	c |   1200676 |     371     1608     4875 |    19020    15663     18 |  0.001 % |
146.27/146.41	c |   1201086 |     371     1608     4875 |    19020    16073     18 |  0.001 % |
146.27/146.46	c |   1201536 |     371     1608     4875 |    19020    16523     18 |  0.001 % |
146.37/146.52	c |   1202029 |     371     1608     4875 |    19020    17016     18 |  0.001 % |
146.37/146.58	c |   1202572 |     371     1608     4875 |    19020    17559     18 |  0.001 % |
146.47/146.66	c |   1203170 |     371     1608     4875 |    19020    18157     18 |  0.001 % |
146.57/146.76	c |   1203825 |     371     1608     4875 |    19020    18812     18 |  0.001 % |
146.67/146.87	c |   1204546 |     371     1608     4875 |    19020    15612     18 |  0.001 % |
146.77/146.98	c |   1205341 |     371     1608     4875 |    19020    16407     18 |  0.001 % |
146.87/147.09	c |   1206212 |     371     1608     4875 |    19020    17278     18 |  0.001 % |
147.07/147.22	c |   1207171 |     371     1608     4875 |    19020    18237     18 |  0.001 % |
147.17/147.38	c |   1208224 |     371     1608     4875 |    19020    15329     18 |  0.001 % |
147.37/147.54	c |   1209384 |     371     1608     4875 |    19020    16489     18 |  0.001 % |
147.57/147.73	c |   1210658 |     371     1608     4875 |    17106    14233     18 |  0.001 % |
147.77/147.91	c |   1212058 |     371     1608     4875 |    17106    15633     18 |  0.001 % |
147.97/148.13	c |   1213598 |     371     1608     4875 |    17106    13914     17 |  0.001 % |
148.17/148.33	c |   1215294 |     371     1608     4875 |    17106    15610     17 |  0.001 % |
148.47/148.62	c |   1217158 |     371     1608     4875 |    17106    14196     17 |  0.001 % |
148.67/148.87	c |   1219210 |     371     1608     4875 |    17106    16248     17 |  0.001 % |
148.97/149.15	c |   1221463 |     371     1608     4875 |    17038    15251     17 |  0.001 % |
149.27/149.48	c |   1223941 |     371     1608     4875 |    17038    14574     17 |  0.001 % |
149.67/149.84	c |   1226667 |     371     1608     4875 |    17038    14157     17 |  0.001 % |
150.07/150.22	c |   1229664 |     371     1608     4875 |    17038    14021     17 |  0.001 % |
150.47/150.63	c |   1232960 |     371     1608     4875 |    14359    12506     17 |  0.001 % |
150.87/151.00	c |   1236585 |     371     1608     4875 |    14359    14232     18 |  0.001 % |
151.27/151.40	c |   1240573 |     371     1608     4875 |    14203    13185     19 |  0.001 % |
151.67/151.85	c |   1244960 |     371     1608     4875 |    14203    12919     19 |  0.001 % |
152.17/152.33	c |   1249783 |     371     1608     4875 |    14203    13262     18 |  0.001 % |
152.67/152.83	c |   1255088 |     371     1608     4875 |    13479    13104     17 |  0.001 % |
153.16/153.39	c |   1260923 |     371     1608     4875 | 2147483647    13530     19 |  0.001 % |
154.07/154.20	c |   1267342 |     371     1608     4875 | 2147483647    19949     19 |  0.001 % |
155.16/155.30	c |   1274401 |     371     1608     4875 |    22609    18425     18 |  0.001 % |
156.16/156.36	c |   1282165 |     371     1608     4875 |    19145    17261     17 |  0.001 % |
157.36/157.54	c |   1290705 |     371     1608     4875 |    17202    14370     18 |  0.001 % |
158.56/158.73	c |   1300099 |     371     1608     4875 |    16916    13687     18 |  0.001 % |
159.66/159.83	c |   1310435 |     371     1608     4875 |    14356    12163     17 |  0.001 % |
160.86/161.08	c |   1321802 |     371     1608     4875 |    14336    13838     17 |  0.001 % |
160.86/161.10	c |   1321903 |     371     1608     4875 |    14336    13939     17 |  0.001 % |
160.96/161.11	c |   1322013 |     371     1608     4875 |    14336    14049     17 |  0.001 % |
160.96/161.13	c |   1322135 |     371     1608     4875 |    14336    14171     17 |  0.001 % |
160.96/161.14	c |   1322270 |     371     1608     4875 |    14336    14306     17 |  0.001 % |
160.96/161.17	c |   1322416 |     371     1608     4875 |    14336    12240     17 |  0.001 % |
160.96/161.19	c |   1322576 |     371     1608     4875 |    14336    12400     17 |  0.001 % |
161.06/161.20	c |   1322752 |     371     1608     4875 |    14336    12576     17 |  0.001 % |
161.06/161.23	c |   1322946 |     371     1608     4875 |    14336    12770     17 |  0.001 % |
161.06/161.25	c |   1323159 |     371     1608     4875 |    14336    12983     17 |  0.001 % |
161.06/161.28	c |   1323392 |     371     1608     4875 |    14336    13216     17 |  0.001 % |
161.16/161.31	c |   1323650 |     371     1608     4875 |    14336    13474     17 |  0.001 % |
161.16/161.34	c |   1323932 |     371     1608     4875 |    14336    13756     17 |  0.001 % |
161.16/161.37	c |   1324242 |     371     1608     4875 |    14336    14066     17 |  0.001 % |
161.26/161.42	c |   1324581 |     371     1608     4875 |    14336    12233     17 |  0.001 % |
161.26/161.46	c |   1324954 |     371     1608     4875 |    14336    12606     17 |  0.001 % |
161.36/161.51	c |   1325365 |     371     1608     4875 |    14336    13017     17 |  0.001 % |
161.36/161.57	c |   1325814 |     371     1608     4875 |    14336    13466     17 |  0.001 % |
161.47/161.62	c |   1326307 |     371     1608     4875 |    14336    13959     17 |  0.001 % |
161.47/161.69	c |   1326849 |     371     1608     4875 |    14336    12348     16 |  0.001 % |
161.57/161.75	c |   1327445 |     371     1608     4875 |    14336    12944     17 |  0.001 % |
161.66/161.82	c |   1328101 |     371     1608     4875 |    14336    13600     17 |  0.001 % |
161.66/161.89	c |   1328822 |     371     1608     4875 |    14336    14321     17 |  0.001 % |
161.86/162.00	c |   1329617 |     371     1608     4875 |    14336    13086     17 |  0.001 % |
161.86/162.09	c |   1330489 |     371     1608     4875 |    13469    12050     16 |  0.001 % |
162.06/162.20	c |   1331448 |     371     1608     4875 |    13469    13009     16 |  0.001 % |
162.16/162.34	c |   1332503 |     371     1608     4875 |    13469    12239     16 |  0.001 % |
162.26/162.46	c |   1333662 |     371     1608     4875 |    13469    13398     16 |  0.001 % |
162.46/162.61	c |   1334935 |     371     1608     4875 |    13469    12838     16 |  0.001 % |
162.57/162.76	c |   1336335 |     371     1608     4875 |    13469    12388     16 |  0.001 % |
162.76/162.92	c |   1337877 |     371     1608     4875 |    13469    12213     16 |  0.001 % |
162.86/163.08	c |   1339571 |     371     1608     4875 |    13469    12330     17 |  0.001 % |
163.06/163.27	c |   1341435 |     371     1608     4875 |    12760    12732     17 |  0.001 % |
163.36/163.51	c |   1343486 |     371     1608     4875 |    12760    12224     17 |  0.001 % |
163.56/163.76	c |   1345740 |     371     1608     4875 |    12760    11890     17 |  0.001 % |
163.86/164.02	c |   1348218 |     371     1608     4875 |    12760    11750     17 |  0.001 % |
164.16/164.31	c |   1350946 |     371     1608     4875 |    12198    11907     17 |  0.001 % |
164.36/164.59	c |   1353943 |     371     1608     4875 |    12198    11234     17 |  0.001 % |
164.76/164.91	c |   1357239 |     371     1608     4875 |    12198    12085     18 |  0.001 % |
165.06/165.28	c |   1360866 |     371     1608     4875 | 2147483647    12041     18 |  0.001 % |
165.56/165.71	c |   1364854 |     371     1608     4875 | 2147483647    16029     18 |  0.001 % |
166.06/166.25	c |   1369239 |     371     1608     4875 | 2147483647    20414     18 |  0.001 % |
166.76/166.94	c |   1374062 |     371     1608     4875 |    21175    17699     19 |  0.001 % |
167.46/167.66	c |   1379367 |     371     1608     4875 |    21175    18409     19 |  0.001 % |
168.26/168.49	c |   1385202 |     371     1608     4875 |    19042    15858     19 |  0.001 % |
169.16/169.37	c |   1391620 |     371     1608     4875 |    16474    14469     18 |  0.001 % |
170.06/170.23	c |   1398679 |     371     1608     4875 |    16474    15241     18 |  0.001 % |
170.86/171.09	c |   1406443 |     371     1608     4875 |    13504    12693     19 |  0.001 % |
171.95/172.17	c |   1414984 |     371     1608     4875 |    13200    13103     17 |  0.001 % |
173.05/173.27	c |   1424378 |     371     1608     4875 |    12515    11347     17 |  0.001 % |
174.15/174.32	c |   1434712 |     371     1608     4875 |    12238    11066     16 |  0.001 % |
175.35/175.50	c |   1446079 |     371     1608     4875 |    11809    11103     15 |  0.001 % |
176.65/176.88	c |   1458581 |     371     1608     4875 | 2147483647    19801     16 |  0.001 % |
176.75/176.90	c |   1458681 |     371     1608     4875 | 2147483647    19901     16 |  0.001 % |
176.75/176.91	c |   1458792 |     371     1608     4875 | 2147483647    20012     16 |  0.001 % |
176.75/176.93	c |   1458913 |     371     1608     4875 | 2147483647    20133     16 |  0.001 % |
176.75/176.96	c |   1459046 |     371     1608     4875 | 2147483647    20266     16 |  0.001 % |
176.75/176.98	c |   1459192 |     371     1608     4875 | 2147483647    20412     16 |  0.001 % |
176.85/177.00	c |   1459352 |     371     1608     4875 | 2147483647    20572     16 |  0.001 % |
176.85/177.03	c |   1459528 |     371     1608     4875 | 2147483647    20748     16 |  0.001 % |
176.85/177.05	c |   1459723 |     371     1608     4875 | 2147483647    20943     16 |  0.001 % |
176.85/177.07	c |   1459935 |     371     1608     4875 | 2147483647    21155     16 |  0.001 % |
176.95/177.14	c |   1460168 |     371     1608     4875 |    21220    17134     16 |  0.001 % |
176.95/177.18	c |   1460424 |     371     1608     4875 |    21220    17390     16 |  0.001 % |
177.05/177.21	c |   1460708 |     371     1608     4875 |    21220    17674     16 |  0.001 % |
177.05/177.26	c |   1461017 |     371     1608     4875 |    21220    17983     16 |  0.001 % |
177.15/177.32	c |   1461356 |     371     1608     4875 |    21220    18322     16 |  0.001 % |
177.15/177.38	c |   1461728 |     371     1608     4875 |    21220    18694     16 |  0.001 % |
177.25/177.46	c |   1462137 |     371     1608     4875 |    21220    19103     16 |  0.001 % |
177.35/177.54	c |   1462588 |     371     1608     4875 |    21220    19554     16 |  0.001 % |
177.45/177.62	c |   1463082 |     371     1608     4875 |    21220    20048     16 |  0.001 % |
177.55/177.72	c |   1463627 |     371     1608     4875 |    21220    20593     16 |  0.001 % |
177.65/177.82	c |   1464223 |     371     1608     4875 |    21220    21189     16 |  0.001 % |
177.75/177.91	c |   1464878 |     371     1608     4875 |    21220    16542     17 |  0.001 % |
177.85/178.00	c |   1465599 |     371     1608     4875 |    21220    17263     17 |  0.001 % |
177.95/178.10	c |   1466393 |     371     1608     4875 |    21220    18057     17 |  0.001 % |
178.05/178.23	c |   1467264 |     371     1608     4875 |    21220    18928     17 |  0.001 % |
178.15/178.36	c |   1468223 |     371     1608     4875 |    21220    19887     17 |  0.001 % |
178.25/178.48	c |   1469276 |     371     1608     4875 |    21220    20940     17 |  0.001 % |
178.45/178.64	c |   1470434 |     371     1608     4875 |    16744    13365     18 |  0.001 % |
178.55/178.76	c |   1471707 |     371     1608     4875 |    16744    14638     18 |  0.001 % |
178.75/178.93	c |   1473108 |     371     1608     4875 |    16744    16039     18 |  0.001 % |
178.95/179.11	c |   1474650 |     371     1608     4875 |    16744    14682     18 |  0.001 % |
179.05/179.29	c |   1476344 |     371     1608     4875 |    16744    16376     19 |  0.001 % |
179.35/179.50	c |   1478208 |     371     1608     4875 |    16744    15616     19 |  0.001 % |
179.55/179.78	c |   1480260 |     371     1608     4875 |    14832    12805     19 |  0.001 % |
179.85/180.09	c |   1482513 |     371     1608     4875 |    14832    12801     18 |  0.001 % |
180.15/180.34	c |   1484991 |     371     1608     4875 |    14832    13120     18 |  0.001 % |
180.45/180.61	c |   1487719 |     371     1608     4875 |    14832    13910     18 |  0.001 % |
180.55/180.71	c ===============================================================================
180.55/180.71	c restarts              : 1416
180.55/180.71	c conflicts             : 1488687        (8245 /sec)
180.55/180.71	c decisions             : 1805506        (1.81 % random) (10000 /sec)
180.55/180.71	c propagations          : 85492521       (473523 /sec)
180.55/180.71	c conflict literals     : 27594710       (21.64 % deleted)
180.55/180.71	c Memory used           : 6.80 MB
180.55/180.71	c CPU time              : 180.546 s
180.55/180.71	c 
180.55/180.71	s SATISFIABLE
180.55/180.71	s SATISFIABLE
180.55/180.71	v 1 2 -3 -4 5 -6 -7 8 -9 -10 11 12 -13 14 15 -16 17 18 -19 -20 21 22 -23 24 -25 -26 27 28 -29 30 -31 -32 -33 34 35 36 -37 -38 39 -40 -41 42 -43 -44 45 -46 47 -48 49 50 51 52 -53 54 -55 56 -57 58 59 60 61 -62 63 64 65 66 67 -68 -69 -70 71 -72 73 74 -75 76 -77 78 79 -80 81 -82 83 -84 -85 -86 -87 88 -89 90 91 -92 -93 -94 95 -96 97 -98 -99 100 101 -102 103 104 -105 106 -107 -108 109 110 -111 112 -113 114 115 -116 117 118 119 -120 121 122 123 124 -125 126 127 128 -129 -130 -131 -132 133 -134 135 136 -137 -138 139 -140 -141 -142 -143 144 -145 146 147 148 149 150 -151 152 -153 154 155 156 -157 -158 -159 -160 -161 162 163 164 -165 166 167 -168 169 -170 171 -172 -173 -174 -175 176 -177 178 179 -180 -181 182 -183 -184 -185 -186 -187 -188 189 190 -191 192 193 194 195 -196 -197 198 199 200 -201 -202 -203 204 -205 -206 -207 208 -209 -210 211 212 213 214 215 216 -217 218 -219 -220 221 -222 223 -224 225 226 227 228 -229 -230 -231 232 -233 234 -235 -236 -237 -238 -239 -240 241 -242 -243 244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 255 256 257 258 -259 260 261 262 263 264 265 266 -267 268 -269 -270 -271 -272 273 -274 -275 -276 277 278 -279 280 281 -282 283 284 285 -286 -287 -288 -289 290 291 -292 -293 294 -295 -296 297 -298 299 300 -301 -302 -303 304 305 306 307 308 309 310 311 312 -313 314 -315 316 317 -318 319 -320 -321 -322 -323 324 325 326 -327 328 329 330 331 -332 333 334 -335 336 -337 338 339 340 -341 -342 343 -344 345 346 347 348 349 350 351 352 353 -354 355 -356 -357 -358 -359 360 -361 362 363 -364 365 -366 -367 -368 -369 -370 371 372 373 374 375 -376 377 378 -379 380 0

Verifier Data

OK

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.09 1.04 1.21 3/64 13064
/proc/meminfo: memFree=1776248/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310335106 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254195499090 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13064/statm: 1339 235 195 169 0 50 0
[pid=13065] ppid=13064 vsize=5356 CPUtime=0
/proc/13065/stat : 13065 (SatELiteGTI) R 13064 13064 12994 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310335106 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13065/statm: 1339 238 198 169 0 50 0
[pid=13067] ppid=13065 vsize=0 CPUtime=0
/proc/13067/stat : 13067 (sed) Z 13065 13064 12994 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310335107 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13067/statm: 0 0 0 0 0 0 0

[startup+0.032917 s]
/proc/loadavg: 1.09 1.04 1.21 3/64 13064
/proc/meminfo: memFree=1776248/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102923 s]
/proc/loadavg: 1.09 1.04 1.21 3/64 13064
/proc/meminfo: memFree=1776248/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302937 s]
/proc/loadavg: 1.09 1.04 1.21 3/64 13064
/proc/meminfo: memFree=1776248/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701972 s]
/proc/loadavg: 1.09 1.04 1.21 3/64 13064
/proc/meminfo: memFree=1776248/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50102 s]
/proc/loadavg: 1.09 1.04 1.21 2/66 13070
/proc/meminfo: memFree=1774440/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=3672 CPUtime=1.47
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 579 0 0 0 147 0 0 0 25 0 1 0 310335108 3760128 565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 918 565 76 171 0 745 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9028

[startup+3.10114 s]
/proc/loadavg: 1.09 1.04 1.21 2/66 13070
/proc/meminfo: memFree=1773352/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=4280 CPUtime=3.07
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 723 0 0 0 307 0 0 0 25 0 1 0 310335108 4382720 709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1070 709 76 171 0 897 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9636

[startup+6.30137 s]
/proc/loadavg: 1.08 1.04 1.21 2/66 13070
/proc/meminfo: memFree=1772976/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=4412 CPUtime=6.27
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 750 0 0 0 627 0 0 0 25 0 1 0 310335108 4517888 736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1103 736 76 171 0 930 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9768

[startup+12.7018 s]
/proc/loadavg: 1.08 1.04 1.21 2/66 13070
/proc/meminfo: memFree=1772784/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=4548 CPUtime=12.67
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 769 0 0 0 1266 1 0 0 25 0 1 0 310335108 4657152 755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1137 755 76 171 0 964 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9904

[startup+25.5028 s]
/proc/loadavg: 1.06 1.03 1.21 2/66 13070
/proc/meminfo: memFree=1772464/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=4948 CPUtime=25.47
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 893 0 0 0 2546 1 0 0 25 0 1 0 310335108 5066752 879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1237 879 76 171 0 1064 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10304

[startup+51.1026 s]
/proc/loadavg: 1.04 1.03 1.20 2/66 13070
/proc/meminfo: memFree=1772080/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=5352 CPUtime=51.05
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 989 0 0 0 5104 1 0 0 25 0 1 0 310335108 5480448 975 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1338 975 76 171 0 1165 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 10708

[startup+102.306 s]
/proc/loadavg: 1.02 1.02 1.18 2/66 13070
/proc/meminfo: memFree=1771184/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6152 CPUtime=102.21
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1162 0 0 0 10219 2 0 0 25 0 1 0 310335108 6299648 1148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1538 1148 76 171 0 1365 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 11508

[startup+162.303 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770480/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6824 CPUtime=162.16
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1342 0 0 0 16214 2 0 0 25 0 1 0 310335108 6987776 1328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1706 1328 76 171 0 1533 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 12180

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

[startup+166.302 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770416/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6824 CPUtime=166.16
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1342 0 0 0 16614 2 0 0 25 0 1 0 310335108 6987776 1328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1706 1328 76 171 0 1533 0
Current children cumulated CPU time (s) 166.16
Current children cumulated vsize (KiB) 12180

[startup+172.705 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770352/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6824 CPUtime=172.55
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1360 0 0 0 17253 2 0 0 25 0 1 0 310335108 6987776 1346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1706 1346 76 171 0 1533 0
Current children cumulated CPU time (s) 172.55
Current children cumulated vsize (KiB) 12180

[startup+175.902 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770288/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6960 CPUtime=175.75
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1368 0 0 0 17573 2 0 0 25 0 1 0 310335108 7127040 1354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1740 1354 76 171 0 1567 0
Current children cumulated CPU time (s) 175.75
Current children cumulated vsize (KiB) 12316

[startup+179.102 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770224/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6960 CPUtime=178.95
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1389 0 0 0 17893 2 0 0 25 0 1 0 310335108 7127040 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1740 1375 76 171 0 1567 0
Current children cumulated CPU time (s) 178.95
Current children cumulated vsize (KiB) 12316

[startup+179.903 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770224/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6960 CPUtime=179.75
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1389 0 0 0 17973 2 0 0 25 0 1 0 310335108 7127040 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1740 1375 76 171 0 1567 0
Current children cumulated CPU time (s) 179.75
Current children cumulated vsize (KiB) 12316

[startup+180.302 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770224/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6960 CPUtime=180.15
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1389 0 0 0 18013 2 0 0 25 0 1 0 310335108 7127040 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1740 1375 76 171 0 1567 0
Current children cumulated CPU time (s) 180.15
Current children cumulated vsize (KiB) 12316

[startup+180.701 s]
/proc/loadavg: 1.00 1.02 1.17 2/66 13070
/proc/meminfo: memFree=1770224/2055920 swapFree=4180980/4192956
[pid=13064] ppid=13062 vsize=5356 CPUtime=0
/proc/13064/stat : 13064 (SatELiteGTI) S 13062 13064 12994 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310335106 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13064/statm: 1339 239 197 169 0 50 0
[pid=13070] ppid=13064 vsize=6960 CPUtime=180.55
/proc/13070/stat : 13070 (minisat_static) R 13064 13064 12994 0 -1 4194304 1389 0 0 0 18053 2 0 0 25 0 1 0 310335108 7127040 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13070/statm: 1740 1375 76 171 0 1567 0
Current children cumulated CPU time (s) 180.55
Current children cumulated vsize (KiB) 12316

Child status: 10
Real time (s): 180.725
CPU time (s): 180.596
CPU user time (s): 180.554
CPU system time (s): 0.041993
CPU usage (%): 99.9284
Max. virtual memory (cumulated for all children) (KiB): 12316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.554
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2423
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= 49
involuntary context switches= 1698

runsolver used 0.202969 second user time and 0.551916 second system time

The end

Launcher Data

Begin job on node34 at 2009-05-20 14:37:05
IDJOB=1833543
IDBENCH=70735
IDSOLVER=671
FILE ID=node34/1833543-1242823025
PBS_JOBID= 9322538
Free space on /tmp= 66428 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/380/unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833543-1242823025/watcher-1833543-1242823025 -o /tmp/evaluation-result-1833543-1242823025/solver-1833543-1242823025 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833543-1242823025.cnf

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

MD5SUM BENCH= d341022d95ddbcad449a00c47578e9f1
RANDOM SEED=1743776268

node34.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.214
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.214
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:       1776728 kB
Buffers:         49192 kB
Cached:         182164 kB
SwapCached:       6100 kB
Active:          86652 kB
Inactive:       152872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776728 kB
SwapTotal:     4192956 kB
SwapFree:      4180980 kB
Dirty:            1604 kB
Writeback:           0 kB
Mapped:          13496 kB
Slab:            25756 kB
Committed_AS:  1070664 kB
PageTables:       1384 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= 66424 MiB
End job on node34 at 2009-05-20 14:40:05