Trace number 1833579

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 181.703 181.876

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
MD5SUM827e988c6cf21e8a9c90f9f21d3beb6e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses1530
Sum of the clauses size4590
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31530
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 |    1530     4590 |     458       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    1519     4622 |      --       0       --      -- |     --   | -11/32
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 350   #clauses: 1519   #literals: 4622
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:  350                                                  |
0.00/0.01	c |  Number of clauses:    1519                                                 |
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 |     350     1519     4622 |      506        0    nan |  0.000 % |
0.00/0.01	c |       101 |     350     1519     4622 |      506      101     16 |  0.001 % |
0.00/0.01	c |       202 |     350     1519     4622 |      506      202     16 |  0.001 % |
0.00/0.02	c |       302 |     350     1519     4622 |      506      302     16 |  0.001 % |
0.00/0.02	c |       412 |     350     1519     4622 |      506      412     16 |  0.001 % |
0.00/0.02	c |       512 |     350     1519     4622 |      506      512     16 |  0.001 % |
0.00/0.03	c |       625 |     350     1519     4622 |      506      523     16 |  0.001 % |
0.00/0.03	c |       748 |     350     1519     4622 |      506      541     16 |  0.001 % |
0.00/0.03	c |       848 |     350     1519     4622 |      506      535     16 |  0.001 % |
0.00/0.04	c |       958 |     350     1519     4622 |      506      488     16 |  0.001 % |
0.00/0.04	c |      1079 |     350     1519     4622 |      506      503     16 |  0.001 % |
0.00/0.04	c |      1213 |     350     1519     4622 |      506      531     16 |  0.001 % |
0.00/0.05	c |      1313 |     350     1519     4622 |      506      523     16 |  0.001 % |
0.00/0.05	c |      1423 |     350     1519     4622 |      506      529     16 |  0.001 % |
0.00/0.05	c |      1545 |     350     1519     4622 |      506      493     15 |  0.001 % |
0.00/0.06	c |      1679 |     350     1519     4622 |      506      519     15 |  0.001 % |
0.00/0.06	c |      1825 |     350     1519     4622 |      506      509     15 |  0.001 % |
0.00/0.07	c |      1925 |     350     1519     4622 |      506      507     15 |  0.001 % |
0.00/0.07	c |      2035 |     350     1519     4622 |      506      515     14 |  0.001 % |
0.00/0.07	c |      2157 |     350     1519     4622 |      506      534     14 |  0.001 % |
0.00/0.08	c |      2291 |     350     1519     4622 |      506      509     14 |  0.001 % |
0.00/0.08	c |      2439 |     350     1519     4622 |      506      505     13 |  0.001 % |
0.00/0.09	c |      2602 |     350     1519     4622 |      506      512     13 |  0.001 % |
0.00/0.09	c |      2703 |     350     1519     4622 |      506      508     13 |  0.001 % |
0.00/0.09	c |      2814 |     350     1519     4622 |      506      517     13 |  0.001 % |
0.00/0.10	c |      2936 |     350     1519     4622 |      506      535     14 |  0.001 % |
0.00/0.10	c |      3069 |     350     1519     4622 |      506      510     14 |  0.001 % |
0.00/0.10	c |      3216 |     350     1519     4622 |      506      501     13 |  0.001 % |
0.00/0.11	c |      3377 |     350     1519     4622 |      506      558     14 |  0.001 % |
0.00/0.12	c |      3554 |     350     1519     4622 |      506      521     15 |  0.001 % |
0.00/0.12	c |      3654 |     350     1519     4622 |      506      516     14 |  0.001 % |
0.00/0.12	c |      3765 |     350     1519     4622 |      506      525     14 |  0.001 % |
0.00/0.13	c |      3888 |     350     1519     4622 |      506      543     14 |  0.001 % |
0.00/0.13	c |      4024 |     350     1519     4622 |      506      521     13 |  0.001 % |
0.00/0.13	c |      4171 |     350     1519     4622 |      506      515     12 |  0.001 % |
0.00/0.14	c |      4331 |     350     1519     4622 |      506      523     13 |  0.001 % |
0.00/0.14	c |      4507 |     350     1519     4622 |      506      495     13 |  0.001 % |
0.00/0.15	c |      4700 |     350     1519     4622 |      506      484     13 |  0.001 % |
0.00/0.15	c |      4800 |     350     1519     4622 |      506      531     13 |  0.001 % |
0.00/0.16	c |      4910 |     350     1519     4622 |      506      536     13 |  0.001 % |
0.00/0.16	c |      5031 |     350     1519     4622 |      506      499     13 |  0.001 % |
0.00/0.16	c |      5164 |     350     1519     4622 |      506      525     14 |  0.001 % |
0.00/0.17	c |      5310 |     350     1519     4622 |      506      516     14 |  0.001 % |
0.00/0.17	c |      5472 |     350     1519     4622 |      506      524     14 |  0.001 % |
0.00/0.18	c |      5650 |     350     1519     4622 |      506      551     14 |  0.001 % |
0.00/0.18	c |      5847 |     350     1519     4622 |      506      533     15 |  0.001 % |
0.00/0.19	c |      6059 |     350     1519     4622 |      506      536     14 |  0.001 % |
0.00/0.19	c |      6159 |     350     1519     4622 |      506      531     13 |  0.001 % |
0.00/0.20	c |      6270 |     350     1519     4622 |      506      539     13 |  0.001 % |
0.00/0.20	c |      6394 |     350     1519     4622 |      506      507     13 |  0.001 % |
0.00/0.21	c |      6528 |     350     1519     4622 |      506      539     13 |  0.001 % |
0.00/0.21	c |      6676 |     350     1519     4622 |      506      530     14 |  0.001 % |
0.00/0.22	c |      6836 |     350     1519     4622 |      506      534     14 |  0.001 % |
0.00/0.22	c |      7012 |     350     1519     4622 |      506      553     14 |  0.001 % |
0.00/0.23	c |      7206 |     350     1519     4622 |      506      537     13 |  0.001 % |
0.00/0.23	c |      7418 |     350     1519     4622 |      506      542     13 |  0.001 % |
0.00/0.24	c |      7651 |     350     1519     4622 |      506      514     13 |  0.001 % |
0.00/0.24	c |      7752 |     350     1519     4622 |      506      512     13 |  0.001 % |
0.00/0.25	c |      7863 |     350     1519     4622 |      506      520     14 |  0.001 % |
0.00/0.25	c |      7984 |     350     1519     4622 |      506      537     14 |  0.001 % |
0.00/0.25	c |      8117 |     350     1519     4622 |      506      513     13 |  0.001 % |
0.00/0.26	c |      8263 |     350     1519     4622 |      506      506     13 |  0.001 % |
0.00/0.26	c |      8423 |     350     1519     4622 |      506      511     13 |  0.001 % |
0.00/0.27	c |      8600 |     350     1519     4622 |      506      534     12 |  0.001 % |
0.00/0.28	c |      8794 |     350     1519     4622 |      506      520     12 |  0.001 % |
0.00/0.28	c |      9010 |     350     1519     4622 |      506      530     12 |  0.001 % |
0.00/0.29	c |      9247 |     350     1519     4622 |      506      507     13 |  0.001 % |
0.00/0.30	c |      9503 |     350     1519     4622 |      506      510     12 |  0.001 % |
0.00/0.30	c |      9604 |     350     1519     4622 |      506      507     12 |  0.001 % |
0.00/0.30	c |      9714 |     350     1519     4622 |      506      516     12 |  0.001 % |
0.00/0.31	c |      9835 |     350     1519     4622 |      506      534     12 |  0.001 % |
0.00/0.31	c |      9973 |     350     1519     4622 |      506      567     12 |  0.001 % |
0.00/0.32	c |     10119 |     350     1519     4622 | 2147483647      606     13 |  0.001 % |
0.00/0.32	c |     10280 |     350     1519     4622 | 2147483647      767     14 |  0.001 % |
0.00/0.33	c |     10460 |     350     1519     4622 | 2147483647      947     15 |  0.001 % |
0.00/0.33	c |     10655 |     350     1519     4622 | 2147483647     1142     15 |  0.001 % |
0.00/0.34	c |     10867 |     350     1519     4622 | 2147483647     1354     16 |  0.001 % |
0.00/0.35	c |     11101 |     350     1519     4622 | 2147483647     1588     16 |  0.001 % |
0.00/0.36	c |     11357 |     350     1519     4622 | 2147483647     1844     16 |  0.001 % |
0.00/0.37	c |     11638 |     350     1519     4622 | 2147483647     2125     16 |  0.001 % |
0.00/0.37	c |     11739 |     350     1519     4622 | 2147483647     2226     17 |  0.001 % |
0.00/0.38	c |     11849 |     350     1519     4622 | 2147483647     2336     17 |  0.001 % |
0.00/0.38	c |     11970 |     350     1519     4622 | 2147483647     2457     17 |  0.001 % |
0.00/0.39	c |     12104 |     350     1519     4622 | 2147483647     2591     17 |  0.001 % |
0.00/0.40	c |     12250 |     350     1519     4622 | 2147483647     2737     17 |  0.001 % |
0.00/0.40	c |     12410 |     350     1519     4622 | 2147483647     2897     17 |  0.001 % |
0.00/0.41	c |     12587 |     350     1519     4622 | 2147483647     3074     17 |  0.001 % |
0.00/0.42	c |     12780 |     350     1519     4622 | 2147483647     3267     17 |  0.001 % |
0.00/0.43	c |     12993 |     350     1519     4622 | 2147483647     3480     17 |  0.001 % |
0.00/0.44	c |     13226 |     350     1519     4622 | 2147483647     3713     17 |  0.001 % |
0.00/0.45	c |     13482 |     350     1519     4622 | 2147483647     3969     17 |  0.001 % |
0.00/0.47	c |     13765 |     350     1519     4622 | 2147483647     4252     17 |  0.001 % |
0.00/0.49	c |     14075 |     350     1519     4622 | 2147483647     4562     17 |  0.001 % |
0.00/0.49	c |     14176 |     350     1519     4622 | 2147483647     4663     17 |  0.001 % |
0.00/0.50	c |     14287 |     350     1519     4622 | 2147483647     4774     17 |  0.001 % |
0.00/0.50	c |     14408 |     350     1519     4622 | 2147483647     4895     17 |  0.001 % |
0.00/0.51	c |     14542 |     350     1519     4622 | 2147483647     5029     17 |  0.001 % |
0.00/0.52	c |     14688 |     350     1519     4622 | 2147483647     5175     18 |  0.001 % |
0.00/0.53	c |     14848 |     350     1519     4622 | 2147483647     5335     18 |  0.001 % |
0.00/0.54	c |     15025 |     350     1519     4622 | 2147483647     5512     18 |  0.001 % |
0.00/0.55	c |     15218 |     350     1519     4622 | 2147483647     5705     18 |  0.001 % |
0.00/0.56	c |     15430 |     350     1519     4622 | 2147483647     5917     18 |  0.001 % |
0.00/0.58	c |     15663 |     350     1519     4622 | 2147483647     6150     18 |  0.001 % |
0.00/0.60	c |     15919 |     350     1519     4622 | 2147483647     6406     18 |  0.001 % |
0.00/0.62	c |     16202 |     350     1519     4622 | 2147483647     6689     18 |  0.001 % |
0.00/0.64	c |     16511 |     350     1519     4622 | 2147483647     6998     18 |  0.001 % |
0.00/0.66	c |     16852 |     350     1519     4622 | 2147483647     7339     18 |  0.001 % |
0.00/0.67	c |     16952 |     350     1519     4622 | 2147483647     7439     18 |  0.001 % |
0.00/0.68	c |     17063 |     350     1519     4622 | 2147483647     7550     18 |  0.001 % |
0.00/0.69	c |     17185 |     350     1519     4622 | 2147483647     7672     18 |  0.001 % |
0.00/0.70	c |     17319 |     350     1519     4622 | 2147483647     7806     18 |  0.001 % |
0.00/0.71	c |     17465 |     350     1519     4622 | 2147483647     7952     18 |  0.001 % |
0.00/0.73	c |     17625 |     350     1519     4622 | 2147483647     8112     18 |  0.001 % |
0.00/0.74	c |     17801 |     350     1519     4622 | 2147483647     8288     18 |  0.001 % |
0.00/0.76	c |     17997 |     350     1519     4622 | 2147483647     8484     18 |  0.001 % |
0.00/0.78	c |     18209 |     350     1519     4622 | 2147483647     8696     18 |  0.001 % |
0.00/0.80	c |     18445 |     350     1519     4622 | 2147483647     8932     18 |  0.001 % |
0.00/0.82	c |     18701 |     350     1519     4622 | 2147483647     9188     18 |  0.001 % |
0.00/0.84	c |     18982 |     350     1519     4622 | 2147483647     9469     18 |  0.001 % |
0.00/0.87	c |     19294 |     350     1519     4622 | 2147483647     9781     18 |  0.001 % |
0.00/0.91	c |     19634 |     350     1519     4622 | 2147483647    10121     18 |  0.001 % |
0.00/0.95	c |     20006 |     350     1519     4622 | 2147483647    10493     18 |  0.001 % |
0.00/0.96	c |     20106 |     350     1519     4622 | 2147483647    10593     18 |  0.001 % |
0.00/0.96	c |     20217 |     350     1519     4622 | 2147483647    10704     18 |  0.001 % |
0.00/0.98	c |     20338 |     350     1519     4622 | 2147483647    10825     18 |  0.001 % |
0.00/0.99	c |     20471 |     350     1519     4622 | 2147483647    10958     18 |  0.001 % |
0.98/1.00	c |     20617 |     350     1519     4622 | 2147483647    11104     18 |  0.001 % |
0.98/1.02	c |     20777 |     350     1519     4622 | 2147483647    11264     18 |  0.001 % |
0.98/1.03	c |     20953 |     350     1519     4622 | 2147483647    11440     18 |  0.001 % |
0.98/1.05	c |     21146 |     350     1519     4622 | 2147483647    11633     18 |  0.001 % |
0.98/1.07	c |     21358 |     350     1519     4622 | 2147483647    11845     18 |  0.001 % |
0.98/1.09	c |     21591 |     350     1519     4622 | 2147483647    12078     18 |  0.001 % |
1.08/1.12	c |     21847 |     350     1519     4622 | 2147483647    12334     18 |  0.001 % |
1.08/1.14	c |     22128 |     350     1519     4622 | 2147483647    12615     18 |  0.001 % |
1.08/1.18	c |     22437 |     350     1519     4622 | 2147483647    12924     18 |  0.001 % |
1.18/1.22	c |     22778 |     350     1519     4622 | 2147483647    13265     18 |  0.001 % |
1.18/1.26	c |     23150 |     350     1519     4622 | 2147483647    13637     18 |  0.001 % |
1.28/1.31	c |     23560 |     350     1519     4622 | 2147483647    14047     18 |  0.001 % |
1.28/1.32	c |     23660 |     350     1519     4622 | 2147483647    14147     18 |  0.001 % |
1.28/1.34	c |     23771 |     350     1519     4622 | 2147483647    14258     18 |  0.001 % |
1.28/1.35	c |     23894 |     350     1519     4622 | 2147483647    14381     18 |  0.001 % |
1.28/1.37	c |     24029 |     350     1519     4622 | 2147483647    14516     18 |  0.001 % |
1.28/1.39	c |     24175 |     350     1519     4622 | 2147483647    14662     18 |  0.001 % |
1.38/1.41	c |     24335 |     350     1519     4622 | 2147483647    14822     18 |  0.001 % |
1.38/1.44	c |     24512 |     350     1519     4622 | 2147483647    14999     18 |  0.001 % |
1.38/1.46	c |     24707 |     350     1519     4622 | 2147483647    15194     18 |  0.001 % |
1.38/1.49	c |     24919 |     350     1519     4622 | 2147483647    15406     18 |  0.001 % |
1.47/1.53	c |     25153 |     350     1519     4622 | 2147483647    15640     18 |  0.001 % |
1.47/1.57	c |     25410 |     350     1519     4622 | 2147483647    15897     18 |  0.001 % |
1.58/1.61	c |     25692 |     350     1519     4622 | 2147483647    16179     18 |  0.001 % |
1.58/1.65	c |     26002 |     350     1519     4622 | 2147483647    16489     18 |  0.001 % |
1.67/1.70	c |     26342 |     350     1519     4622 | 2147483647    16829     18 |  0.001 % |
1.67/1.75	c |     26715 |     350     1519     4622 | 2147483647    17202     18 |  0.001 % |
1.77/1.80	c |     27124 |     350     1519     4622 | 2147483647    17611     18 |  0.001 % |
1.77/1.86	c |     27573 |     350     1519     4622 | 2147483647    18060     18 |  0.001 % |
1.77/1.88	c |     27674 |     350     1519     4622 | 2147483647    18161     18 |  0.001 % |
1.87/1.90	c |     27787 |     350     1519     4622 | 2147483647    18274     18 |  0.001 % |
1.87/1.92	c |     27908 |     350     1519     4622 | 2147483647    18395     18 |  0.001 % |
1.87/1.94	c |     28041 |     350     1519     4622 | 2147483647    18528     18 |  0.001 % |
1.87/1.97	c |     28189 |     350     1519     4622 | 2147483647    18676     18 |  0.001 % |
1.87/1.99	c |     28350 |     350     1519     4622 | 2147483647    18837     18 |  0.001 % |
1.97/2.02	c |     28527 |     350     1519     4622 | 2147483647    19014     18 |  0.001 % |
1.97/2.05	c |     28722 |     350     1519     4622 | 2147483647    19209     18 |  0.001 % |
1.97/2.09	c |     28934 |     350     1519     4622 | 2147483647    19421     18 |  0.001 % |
2.08/2.12	c |     29167 |     350     1519     4622 | 2147483647    19654     18 |  0.001 % |
2.08/2.17	c |     29423 |     350     1519     4622 | 2147483647    19910     18 |  0.001 % |
2.18/2.22	c |     29706 |     350     1519     4622 | 2147483647    20193     18 |  0.001 % |
2.18/2.27	c |     30015 |     350     1519     4622 |    20488    20502     18 |  0.001 % |
2.27/2.34	c |     30355 |     350     1519     4622 |    20488    18077     18 |  0.001 % |
2.27/2.40	c |     30727 |     350     1519     4622 |    20488    18449     18 |  0.001 % |
2.37/2.47	c |     31137 |     350     1519     4622 |    20488    18859     18 |  0.001 % |
2.47/2.53	c |     31586 |     350     1519     4622 |    20488    19308     18 |  0.001 % |
2.57/2.61	c |     32080 |     350     1519     4622 |    20488    19802     18 |  0.001 % |
2.57/2.63	c |     32181 |     350     1519     4622 |    20488    19903     18 |  0.001 % |
2.57/2.65	c |     32291 |     350     1519     4622 |    20488    20013     18 |  0.001 % |
2.57/2.67	c |     32413 |     350     1519     4622 |    20488    20135     18 |  0.001 % |
2.57/2.69	c |     32547 |     350     1519     4622 |    20488    20269     18 |  0.001 % |
2.67/2.72	c |     32694 |     350     1519     4622 |    20488    20416     18 |  0.001 % |
2.67/2.76	c |     32856 |     350     1519     4622 |    20488    16159     17 |  0.001 % |
2.67/2.79	c |     33033 |     350     1519     4622 |    20488    16336     17 |  0.001 % |
2.77/2.82	c |     33229 |     350     1519     4622 |    20488    16532     17 |  0.001 % |
2.77/2.85	c |     33443 |     350     1519     4622 |    20488    16746     17 |  0.001 % |
2.77/2.89	c |     33676 |     350     1519     4622 |    20488    16979     17 |  0.001 % |
2.87/2.92	c |     33932 |     350     1519     4622 |    20488    17235     17 |  0.001 % |
2.87/2.96	c |     34213 |     350     1519     4622 |    20488    17516     17 |  0.001 % |
2.97/3.01	c |     34523 |     350     1519     4622 |    20488    17826     17 |  0.001 % |
2.97/3.07	c |     34863 |     350     1519     4622 |    20488    18166     17 |  0.001 % |
3.07/3.12	c |     35235 |     350     1519     4622 |    20488    18538     17 |  0.001 % |
3.07/3.18	c |     35644 |     350     1519     4622 |    20488    18947     17 |  0.001 % |
3.18/3.26	c |     36094 |     350     1519     4622 |    20488    19397     17 |  0.001 % |
3.28/3.33	c |     36589 |     350     1519     4622 |    20488    19892     17 |  0.001 % |
3.37/3.42	c |     37133 |     350     1519     4622 |    20488    20436     17 |  0.001 % |
3.37/3.45	c |     37234 |     350     1519     4622 |    20488    15625     17 |  0.001 % |
3.37/3.46	c |     37346 |     350     1519     4622 |    20488    15737     17 |  0.001 % |
3.37/3.48	c |     37469 |     350     1519     4622 |    20488    15860     17 |  0.001 % |
3.37/3.49	c |     37602 |     350     1519     4622 |    20488    15993     17 |  0.001 % |
3.47/3.51	c |     37749 |     350     1519     4622 |    20488    16140     17 |  0.001 % |
3.47/3.54	c |     37909 |     350     1519     4622 |    20488    16300     17 |  0.001 % |
3.47/3.56	c |     38086 |     350     1519     4622 |    20488    16477     17 |  0.001 % |
3.47/3.59	c |     38279 |     350     1519     4622 |    20488    16670     17 |  0.001 % |
3.57/3.61	c |     38491 |     350     1519     4622 |    20488    16882     17 |  0.001 % |
3.57/3.64	c |     38724 |     350     1519     4622 |    20488    17115     17 |  0.001 % |
3.57/3.68	c |     38981 |     350     1519     4622 |    20488    17372     17 |  0.001 % |
3.67/3.72	c |     39263 |     350     1519     4622 |    20488    17654     17 |  0.001 % |
3.67/3.75	c |     39572 |     350     1519     4622 |    20488    17963     17 |  0.001 % |
3.77/3.81	c |     39911 |     350     1519     4622 |    20488    18302     17 |  0.001 % |
3.77/3.87	c |     40286 |     350     1519     4622 |    18391    14329     17 |  0.001 % |
3.87/3.91	c |     40698 |     350     1519     4622 |    18391    14741     17 |  0.001 % |
3.87/3.97	c |     41147 |     350     1519     4622 |    18391    15190     17 |  0.001 % |
3.97/4.02	c |     41644 |     350     1519     4622 |    18391    15687     17 |  0.001 % |
3.97/4.09	c |     42187 |     350     1519     4622 |    18391    16230     17 |  0.001 % |
4.07/4.17	c |     42785 |     350     1519     4622 |    18391    16828     17 |  0.001 % |
4.07/4.18	c |     42885 |     350     1519     4622 |    18391    16928     17 |  0.001 % |
4.07/4.19	c |     42995 |     350     1519     4622 |    18391    17038     17 |  0.001 % |
4.17/4.21	c |     43118 |     350     1519     4622 |    18391    17161     17 |  0.001 % |
4.17/4.23	c |     43252 |     350     1519     4622 |    18391    17295     17 |  0.001 % |
4.17/4.25	c |     43398 |     350     1519     4622 |    18391    17441     17 |  0.001 % |
4.17/4.26	c |     43558 |     350     1519     4622 |    18391    17601     17 |  0.001 % |
4.17/4.29	c |     43734 |     350     1519     4622 |    18391    17777     17 |  0.001 % |
4.28/4.32	c |     43927 |     350     1519     4622 |    18391    17970     17 |  0.001 % |
4.28/4.35	c |     44139 |     350     1519     4622 |    18391    18182     17 |  0.001 % |
4.28/4.39	c |     44372 |     350     1519     4622 |    18391    18415     17 |  0.001 % |
4.38/4.44	c |     44629 |     350     1519     4622 |    18391    14667     17 |  0.001 % |
4.38/4.47	c |     44910 |     350     1519     4622 |    18391    14948     17 |  0.001 % |
4.47/4.51	c |     45221 |     350     1519     4622 |    18391    15259     17 |  0.001 % |
4.47/4.56	c |     45561 |     350     1519     4622 |    18391    15599     17 |  0.001 % |
4.57/4.61	c |     45934 |     350     1519     4622 |    18391    15972     17 |  0.001 % |
4.57/4.68	c |     46343 |     350     1519     4622 |    18391    16381     17 |  0.001 % |
4.67/4.75	c |     46792 |     350     1519     4622 |    18391    16830     17 |  0.001 % |
4.77/4.82	c |     47285 |     350     1519     4622 |    18391    17323     17 |  0.001 % |
4.77/4.89	c |     47828 |     350     1519     4622 |    18391    17866     17 |  0.001 % |
4.87/4.99	c |     48425 |     350     1519     4622 |    18391    14336     17 |  0.001 % |
4.97/5.07	c |     49082 |     350     1519     4622 |    18391    14993     17 |  0.001 % |
4.97/5.08	c |     49183 |     350     1519     4622 |    18391    15094     17 |  0.001 % |
4.97/5.10	c |     49294 |     350     1519     4622 |    18391    15205     17 |  0.001 % |
5.07/5.11	c |     49417 |     350     1519     4622 |    18391    15328     17 |  0.001 % |
5.07/5.14	c |     49551 |     350     1519     4622 |    18391    15462     17 |  0.001 % |
5.07/5.16	c |     49698 |     350     1519     4622 |    18391    15609     17 |  0.001 % |
5.07/5.18	c |     49858 |     350     1519     4622 |    18391    15769     17 |  0.001 % |
5.17/5.20	c |     50037 |     350     1519     4622 |    15912    15948     17 |  0.001 % |
5.17/5.24	c |     50230 |     350     1519     4622 |    15912    12623     17 |  0.001 % |
5.17/5.26	c |     50442 |     350     1519     4622 |    15912    12835     17 |  0.001 % |
5.17/5.28	c |     50676 |     350     1519     4622 |    15912    13069     17 |  0.001 % |
5.27/5.31	c |     50932 |     350     1519     4622 |    15912    13325     17 |  0.001 % |
5.27/5.34	c |     51215 |     350     1519     4622 |    15912    13608     17 |  0.001 % |
5.27/5.38	c |     51525 |     350     1519     4622 |    15912    13918     17 |  0.001 % |
5.37/5.42	c |     51865 |     350     1519     4622 |    15912    14258     17 |  0.001 % |
5.37/5.47	c |     52239 |     350     1519     4622 |    15912    14632     17 |  0.001 % |
5.47/5.52	c |     52648 |     350     1519     4622 |    15912    15041     17 |  0.001 % |
5.47/5.58	c |     53098 |     350     1519     4622 |    15912    15491     17 |  0.001 % |
5.57/5.66	c |     53592 |     350     1519     4622 |    15912    12731     16 |  0.001 % |
5.67/5.73	c |     54134 |     350     1519     4622 |    15912    13273     17 |  0.001 % |
5.77/5.80	c |     54730 |     350     1519     4622 |    15912    13869     17 |  0.001 % |
5.77/5.89	c |     55385 |     350     1519     4622 |    15912    14524     17 |  0.001 % |
5.87/5.98	c |     56105 |     350     1519     4622 |    15912    15244     17 |  0.001 % |
5.87/5.99	c |     56205 |     350     1519     4622 |    15912    15344     17 |  0.001 % |
5.97/6.01	c |     56316 |     350     1519     4622 |    15912    15455     17 |  0.001 % |
5.97/6.02	c |     56437 |     350     1519     4622 |    15912    15576     17 |  0.001 % |
5.97/6.04	c |     56570 |     350     1519     4622 |    15912    15709     17 |  0.001 % |
5.97/6.06	c |     56716 |     350     1519     4622 |    15912    15855     17 |  0.001 % |
5.97/6.08	c |     56876 |     350     1519     4622 |    15912    12839     16 |  0.001 % |
6.07/6.10	c |     57052 |     350     1519     4622 |    15912    13015     16 |  0.001 % |
6.07/6.13	c |     57245 |     350     1519     4622 |    15912    13208     16 |  0.001 % |
6.07/6.15	c |     57457 |     350     1519     4622 |    15912    13420     16 |  0.001 % |
6.07/6.18	c |     57690 |     350     1519     4622 |    15912    13653     16 |  0.001 % |
6.17/6.21	c |     57946 |     350     1519     4622 |    15912    13909     16 |  0.001 % |
6.17/6.24	c |     58230 |     350     1519     4622 |    15912    14193     16 |  0.001 % |
6.17/6.28	c |     58540 |     350     1519     4622 |    15912    14503     16 |  0.001 % |
6.27/6.33	c |     58880 |     350     1519     4622 |    15912    14843     16 |  0.001 % |
6.27/6.37	c |     59253 |     350     1519     4622 |    15912    15216     16 |  0.001 % |
6.37/6.42	c |     59664 |     350     1519     4622 |    15912    15627     16 |  0.001 % |
6.37/6.49	c |     60114 |     350     1519     4622 |    12842    10447     16 |  0.001 % |
6.47/6.54	c |     60607 |     350     1519     4622 |    12842    10940     16 |  0.001 % |
6.47/6.59	c |     61149 |     350     1519     4622 |    12842    11482     16 |  0.001 % |
6.57/6.65	c |     61745 |     350     1519     4622 |    12842    12078     16 |  0.001 % |
6.67/6.72	c |     62401 |     350     1519     4622 |    12842    12734     16 |  0.001 % |
6.67/6.79	c |     63121 |     350     1519     4622 |    12842    11525     16 |  0.001 % |
6.77/6.88	c |     63914 |     350     1519     4622 |    12842    12318     16 |  0.001 % |
6.77/6.89	c |     64014 |     350     1519     4622 |    12842    12418     16 |  0.001 % |
6.87/6.91	c |     64124 |     350     1519     4622 |    12842    12528     16 |  0.001 % |
6.87/6.92	c |     64245 |     350     1519     4622 |    12842    12649     16 |  0.001 % |
6.87/6.93	c |     64381 |     350     1519     4622 |    12842    12785     16 |  0.001 % |
6.87/6.96	c |     64528 |     350     1519     4622 |    12842    11120     16 |  0.001 % |
6.87/6.98	c |     64689 |     350     1519     4622 |    12842    11281     16 |  0.001 % |
6.87/6.99	c |     64866 |     350     1519     4622 |    12842    11458     16 |  0.001 % |
6.96/7.01	c |     65060 |     350     1519     4622 |    12842    11652     16 |  0.001 % |
6.96/7.03	c |     65272 |     350     1519     4622 |    12842    11864     16 |  0.001 % |
6.96/7.06	c |     65508 |     350     1519     4622 |    12842    12100     16 |  0.001 % |
6.96/7.08	c |     65764 |     350     1519     4622 |    12842    12356     16 |  0.001 % |
7.06/7.11	c |     66045 |     350     1519     4622 |    12842    12637     16 |  0.001 % |
7.06/7.15	c |     66356 |     350     1519     4622 |    12842    11224     16 |  0.001 % |
7.06/7.18	c |     66695 |     350     1519     4622 |    12842    11563     16 |  0.001 % |
7.16/7.21	c |     67068 |     350     1519     4622 |    12842    11936     16 |  0.001 % |
7.16/7.25	c |     67477 |     350     1519     4622 |    12842    12345     16 |  0.001 % |
7.26/7.30	c |     67927 |     350     1519     4622 |    12842    12795     16 |  0.001 % |
7.26/7.35	c |     68422 |     350     1519     4622 |    12842    11673     16 |  0.001 % |
7.36/7.40	c |     68966 |     350     1519     4622 |    12842    12217     16 |  0.001 % |
7.36/7.47	c |     69564 |     350     1519     4622 |    12842    12815     16 |  0.001 % |
7.46/7.55	c |     70221 |     350     1519     4622 |    11656    10443     16 |  0.001 % |
7.57/7.61	c |     70941 |     350     1519     4622 |    11656    11163     16 |  0.001 % |
7.57/7.69	c |     71733 |     350     1519     4622 |    11656    10787     16 |  0.001 % |
7.67/7.77	c |     72604 |     350     1519     4622 |    11656    11658     16 |  0.001 % |
7.67/7.78	c |     72704 |     350     1519     4622 |    11656    10593     16 |  0.001 % |
7.67/7.80	c |     72817 |     350     1519     4622 |    11656    10706     16 |  0.001 % |
7.76/7.81	c |     72938 |     350     1519     4622 |    11656    10827     16 |  0.001 % |
7.76/7.82	c |     73071 |     350     1519     4622 |    11656    10960     16 |  0.001 % |
7.76/7.84	c |     73219 |     350     1519     4622 |    11656    11108     16 |  0.001 % |
7.76/7.85	c |     73380 |     350     1519     4622 |    11656    11269     16 |  0.001 % |
7.76/7.87	c |     73556 |     350     1519     4622 |    11656    11445     16 |  0.001 % |
7.76/7.89	c |     73749 |     350     1519     4622 |    11656    11638     16 |  0.001 % |
7.86/7.92	c |     73962 |     350     1519     4622 |    11656    10681     16 |  0.001 % |
7.86/7.95	c |     74196 |     350     1519     4622 |    11656    10915     16 |  0.001 % |
7.86/7.98	c |     74456 |     350     1519     4622 |    11656    11175     16 |  0.001 % |
7.96/8.00	c |     74738 |     350     1519     4622 |    11656    11457     16 |  0.001 % |
7.96/8.04	c |     75048 |     350     1519     4622 |    11656    10598     16 |  0.001 % |
7.96/8.07	c |     75388 |     350     1519     4622 |    11656    10938     16 |  0.001 % |
8.06/8.10	c |     75762 |     350     1519     4622 |    11656    11312     16 |  0.001 % |
8.06/8.14	c |     76171 |     350     1519     4622 |    11656    10552     16 |  0.001 % |
8.06/8.18	c |     76620 |     350     1519     4622 |    11656    11001     17 |  0.001 % |
8.16/8.24	c |     77113 |     350     1519     4622 |    11656    11494     16 |  0.001 % |
8.16/8.29	c |     77655 |     350     1519     4622 |    11656    10866     16 |  0.001 % |
8.26/8.36	c |     78251 |     350     1519     4622 |    11656    11462     16 |  0.001 % |
8.36/8.44	c |     78908 |     350     1519     4622 |    11656    10950     16 |  0.001 % |
8.46/8.51	c |     79628 |     350     1519     4622 |    11656    11670     17 |  0.001 % |
8.46/8.59	c |     80420 |     350     1519     4622 | 2147483647    11295     17 |  0.001 % |
8.56/8.68	c |     81292 |     350     1519     4622 | 2147483647    12167     17 |  0.001 % |
8.66/8.80	c |     82252 |     350     1519     4622 | 2147483647    13127     17 |  0.001 % |
8.76/8.81	c |     82353 |     350     1519     4622 | 2147483647    13228     17 |  0.001 % |
8.76/8.82	c |     82463 |     350     1519     4622 | 2147483647    13338     17 |  0.001 % |
8.76/8.83	c |     82584 |     350     1519     4622 | 2147483647    13459     17 |  0.001 % |
8.76/8.85	c |     82718 |     350     1519     4622 | 2147483647    13593     17 |  0.001 % |
8.76/8.86	c |     82864 |     350     1519     4622 | 2147483647    13739     17 |  0.001 % |
8.76/8.88	c |     83024 |     350     1519     4622 | 2147483647    13899     17 |  0.001 % |
8.86/8.91	c |     83201 |     350     1519     4622 | 2147483647    14076     17 |  0.001 % |
8.86/8.93	c |     83394 |     350     1519     4622 | 2147483647    14269     17 |  0.001 % |
8.86/8.95	c |     83606 |     350     1519     4622 | 2147483647    14481     17 |  0.001 % |
8.86/8.98	c |     83841 |     350     1519     4622 | 2147483647    14716     17 |  0.001 % |
8.96/9.01	c |     84097 |     350     1519     4622 | 2147483647    14972     17 |  0.001 % |
8.96/9.05	c |     84379 |     350     1519     4622 | 2147483647    15254     17 |  0.001 % |
8.96/9.09	c |     84692 |     350     1519     4622 | 2147483647    15567     17 |  0.001 % |
9.06/9.14	c |     85032 |     350     1519     4622 | 2147483647    15907     17 |  0.001 % |
9.06/9.19	c |     85404 |     350     1519     4622 | 2147483647    16279     17 |  0.001 % |
9.16/9.24	c |     85816 |     350     1519     4622 | 2147483647    16691     17 |  0.001 % |
9.26/9.31	c |     86266 |     350     1519     4622 | 2147483647    17141     17 |  0.001 % |
9.26/9.37	c |     86759 |     350     1519     4622 | 2147483647    17634     17 |  0.001 % |
9.36/9.45	c |     87303 |     350     1519     4622 | 2147483647    18178     17 |  0.001 % |
9.46/9.53	c |     87899 |     350     1519     4622 | 2147483647    18774     17 |  0.001 % |
9.56/9.62	c |     88554 |     350     1519     4622 | 2147483647    19429     17 |  0.001 % |
9.66/9.72	c |     89274 |     350     1519     4622 | 2147483647    20149     17 |  0.001 % |
9.76/9.85	c |     90067 |     350     1519     4622 |    20875    17187     17 |  0.001 % |
9.86/9.98	c |     90938 |     350     1519     4622 |    20875    18058     17 |  0.001 % |
9.96/10.09	c |     91897 |     350     1519     4622 |    20875    19017     17 |  0.001 % |
10.16/10.27	c |     92950 |     350     1519     4622 |    20875    20070     17 |  0.001 % |
10.16/10.28	c |     93050 |     350     1519     4622 |    20875    20170     17 |  0.001 % |
10.26/10.30	c |     93164 |     350     1519     4622 |    20875    20284     17 |  0.001 % |
10.26/10.32	c |     93285 |     350     1519     4622 |    20875    20405     17 |  0.001 % |
10.26/10.34	c |     93419 |     350     1519     4622 |    20875    20539     17 |  0.001 % |
10.26/10.36	c |     93565 |     350     1519     4622 |    20875    20685     17 |  0.001 % |
10.26/10.39	c |     93726 |     350     1519     4622 |    20875    20846     17 |  0.001 % |
10.35/10.43	c |     93902 |     350     1519     4622 |    20875    16443     17 |  0.001 % |
10.35/10.46	c |     94097 |     350     1519     4622 |    20875    16638     17 |  0.001 % |
10.35/10.49	c |     94309 |     350     1519     4622 |    20875    16850     17 |  0.001 % |
10.45/10.53	c |     94543 |     350     1519     4622 |    20875    17084     17 |  0.001 % |
10.45/10.57	c |     94800 |     350     1519     4622 |    20875    17341     17 |  0.001 % |
10.55/10.61	c |     95082 |     350     1519     4622 |    20875    17623     17 |  0.001 % |
10.55/10.66	c |     95392 |     350     1519     4622 |    20875    17933     17 |  0.001 % |
10.55/10.70	c |     95731 |     350     1519     4622 |    20875    18272     17 |  0.001 % |
10.65/10.75	c |     96103 |     350     1519     4622 |    20875    18644     17 |  0.001 % |
10.75/10.81	c |     96512 |     350     1519     4622 |    20875    19053     17 |  0.001 % |
10.75/10.88	c |     96962 |     350     1519     4622 |    20875    19503     17 |  0.001 % |
10.86/10.97	c |     97456 |     350     1519     4622 |    20875    19997     17 |  0.001 % |
10.96/11.07	c |     97999 |     350     1519     4622 |    20875    20540     17 |  0.001 % |
11.05/11.17	c |     98596 |     350     1519     4622 |    20875    16153     17 |  0.001 % |
11.15/11.27	c |     99251 |     350     1519     4622 |    20875    16808     17 |  0.001 % |
11.25/11.35	c |     99973 |     350     1519     4622 |    20875    17530     17 |  0.001 % |
11.35/11.45	c |    100766 |     350     1519     4622 |    17557    14197     17 |  0.001 % |
11.45/11.55	c |    101637 |     350     1519     4622 |    17557    15068     17 |  0.001 % |
11.55/11.66	c |    102595 |     350     1519     4622 |    17557    16026     17 |  0.001 % |
11.65/11.79	c |    103649 |     350     1519     4622 |    17557    17080     17 |  0.001 % |
11.85/11.94	c |    104807 |     350     1519     4622 |    17557    14651     17 |  0.001 % |
11.85/11.96	c |    104909 |     350     1519     4622 |    17557    14753     17 |  0.001 % |
11.85/11.97	c |    105021 |     350     1519     4622 |    17557    14865     17 |  0.001 % |
11.85/11.99	c |    105144 |     350     1519     4622 |    17557    14988     17 |  0.001 % |
11.85/12.00	c |    105277 |     350     1519     4622 |    17557    15121     17 |  0.001 % |
11.96/12.02	c |    105423 |     350     1519     4622 |    17557    15267     17 |  0.001 % |
11.96/12.04	c |    105586 |     350     1519     4622 |    17557    15430     17 |  0.001 % |
11.96/12.06	c |    105765 |     350     1519     4622 |    17557    15609     17 |  0.001 % |
11.96/12.09	c |    105958 |     350     1519     4622 |    17557    15802     17 |  0.001 % |
12.06/12.12	c |    106171 |     350     1519     4622 |    17557    16015     17 |  0.001 % |
12.06/12.15	c |    106404 |     350     1519     4622 |    17557    16248     17 |  0.001 % |
12.06/12.19	c |    106662 |     350     1519     4622 |    17557    16506     17 |  0.001 % |
12.15/12.23	c |    106943 |     350     1519     4622 |    17557    16787     17 |  0.001 % |
12.15/12.27	c |    107254 |     350     1519     4622 |    17557    17098     17 |  0.001 % |
12.25/12.32	c |    107594 |     350     1519     4622 |    17557    17438     17 |  0.001 % |
12.25/12.38	c |    107966 |     350     1519     4622 |    17557    14181     17 |  0.001 % |
12.35/12.43	c |    108375 |     350     1519     4622 |    17557    14590     17 |  0.001 % |
12.35/12.49	c |    108824 |     350     1519     4622 |    17557    15039     17 |  0.001 % |
12.45/12.55	c |    109320 |     350     1519     4622 |    17557    15535     18 |  0.001 % |
12.55/12.62	c |    109863 |     350     1519     4622 |    17557    16078     18 |  0.001 % |
12.55/12.69	c |    110459 |     350     1519     4622 |    16215    13388     18 |  0.001 % |
12.65/12.77	c |    111114 |     350     1519     4622 |    16215    14043     18 |  0.001 % |
12.75/12.84	c |    111834 |     350     1519     4622 |    16215    14763     18 |  0.001 % |
12.85/12.94	c |    112626 |     350     1519     4622 |    16215    15555     18 |  0.001 % |
12.95/13.06	c |    113497 |     350     1519     4622 |    16215    13482     18 |  0.001 % |
13.05/13.18	c |    114456 |     350     1519     4622 |    16215    14441     18 |  0.001 % |
13.25/13.30	c |    115511 |     350     1519     4622 |    16215    15496     18 |  0.001 % |
13.35/13.44	c |    116672 |     350     1519     4622 |    16215    13818     17 |  0.001 % |
13.45/13.57	c |    117947 |     350     1519     4622 |    16215    15093     18 |  0.001 % |
13.45/13.58	c |    118049 |     350     1519     4622 |    16215    15195     18 |  0.001 % |
13.45/13.59	c |    118160 |     350     1519     4622 |    16215    15306     18 |  0.001 % |
13.55/13.61	c |    118283 |     350     1519     4622 |    16215    15429     18 |  0.001 % |
13.55/13.63	c |    118418 |     350     1519     4622 |    16215    15564     18 |  0.001 % |
13.55/13.65	c |    118564 |     350     1519     4622 |    16215    15710     18 |  0.001 % |
13.55/13.67	c |    118724 |     350     1519     4622 |    16215    15870     18 |  0.001 % |
13.55/13.69	c |    118901 |     350     1519     4622 |    16215    16047     18 |  0.001 % |
13.65/13.72	c |    119094 |     350     1519     4622 |    16215    16240     18 |  0.001 % |
13.65/13.76	c |    119307 |     350     1519     4622 |    16215    13662     17 |  0.001 % |
13.65/13.79	c |    119540 |     350     1519     4622 |    16215    13895     17 |  0.001 % |
13.75/13.83	c |    119797 |     350     1519     4622 |    16215    14152     18 |  0.001 % |
13.75/13.86	c |    120078 |     350     1519     4622 |    14355    11966     17 |  0.001 % |
13.85/13.90	c |    120389 |     350     1519     4622 |    14355    12277     17 |  0.001 % |
13.85/13.93	c |    120728 |     350     1519     4622 |    14355    12616     17 |  0.001 % |
13.85/13.97	c |    121100 |     350     1519     4622 |    14355    12988     17 |  0.001 % |
13.95/14.01	c |    121510 |     350     1519     4622 |    14355    13398     18 |  0.001 % |
13.95/14.06	c |    121959 |     350     1519     4622 |    14355    13847     18 |  0.001 % |
14.05/14.12	c |    122452 |     350     1519     4622 |    14355    14340     18 |  0.001 % |
14.05/14.19	c |    122995 |     350     1519     4622 |    14355    12774     17 |  0.001 % |
14.15/14.26	c |    123591 |     350     1519     4622 |    14355    13370     17 |  0.001 % |
14.25/14.33	c |    124248 |     350     1519     4622 |    14355    14027     17 |  0.001 % |
14.35/14.42	c |    124968 |     350     1519     4622 |    14355    12685     17 |  0.001 % |
14.45/14.51	c |    125760 |     350     1519     4622 |    14355    13477     17 |  0.001 % |
14.55/14.60	c |    126632 |     350     1519     4622 |    14355    14349     17 |  0.001 % |
14.65/14.70	c |    127590 |     350     1519     4622 |    14355    13310     17 |  0.001 % |
14.75/14.81	c |    128645 |     350     1519     4622 |    14355    14365     17 |  0.001 % |
14.85/14.93	c |    129803 |     350     1519     4622 |    14355    13558     17 |  0.001 % |
14.94/15.06	c |    131076 |     350     1519     4622 |    13756    13039     17 |  0.001 % |
15.04/15.19	c |    132476 |     350     1519     4622 |    13756    12741     17 |  0.001 % |
15.14/15.21	c |    132579 |     350     1519     4622 |    13756    12844     17 |  0.001 % |
15.14/15.22	c |    132690 |     350     1519     4622 |    13756    12955     17 |  0.001 % |
15.14/15.23	c |    132811 |     350     1519     4622 |    13756    13076     17 |  0.001 % |
15.14/15.25	c |    132945 |     350     1519     4622 |    13756    13210     17 |  0.001 % |
15.14/15.27	c |    133091 |     350     1519     4622 |    13756    13356     17 |  0.001 % |
15.14/15.28	c |    133253 |     350     1519     4622 |    13756    13518     17 |  0.001 % |
15.25/15.30	c |    133431 |     350     1519     4622 |    13756    13696     17 |  0.001 % |
15.25/15.33	c |    133624 |     350     1519     4622 |    13756    12180     17 |  0.001 % |
15.25/15.35	c |    133838 |     350     1519     4622 |    13756    12394     17 |  0.001 % |
15.25/15.38	c |    134073 |     350     1519     4622 |    13756    12629     17 |  0.001 % |
15.35/15.41	c |    134329 |     350     1519     4622 |    13756    12885     17 |  0.001 % |
15.35/15.45	c |    134611 |     350     1519     4622 |    13756    13167     17 |  0.001 % |
15.35/15.48	c |    134920 |     350     1519     4622 |    13756    13476     17 |  0.001 % |
15.44/15.52	c |    135261 |     350     1519     4622 |    13756    12042     17 |  0.001 % |
15.44/15.56	c |    135634 |     350     1519     4622 |    13756    12415     17 |  0.001 % |
15.54/15.60	c |    136043 |     350     1519     4622 |    13756    12824     17 |  0.001 % |
15.54/15.65	c |    136495 |     350     1519     4622 |    13756    13276     17 |  0.001 % |
15.64/15.71	c |    136990 |     350     1519     4622 |    13756    13771     17 |  0.001 % |
15.64/15.77	c |    137534 |     350     1519     4622 |    13756    12560     17 |  0.001 % |
15.74/15.83	c |    138131 |     350     1519     4622 |    13756    13157     17 |  0.001 % |
15.84/15.91	c |    138787 |     350     1519     4622 |    13756    12044     17 |  0.001 % |
15.84/15.99	c |    139508 |     350     1519     4622 |    13756    12765     18 |  0.001 % |
15.94/16.08	c |    140300 |     350     1519     4622 |    13260    11859     17 |  0.001 % |
16.04/16.17	c |    141173 |     350     1519     4622 |    13260    12732     17 |  0.001 % |
16.14/16.28	c |    142131 |     350     1519     4622 |    13260    11984     17 |  0.001 % |
16.24/16.39	c |    143184 |     350     1519     4622 |    13260    13037     17 |  0.001 % |
16.44/16.52	c |    144345 |     350     1519     4622 |    13260    12619     17 |  0.001 % |
16.55/16.67	c |    145618 |     350     1519     4622 |    13260    12257     17 |  0.001 % |
16.75/16.83	c |    147018 |     350     1519     4622 |    13260    11942     16 |  0.001 % |
16.95/17.01	c |    148559 |     350     1519     4622 |    13260    11718     16 |  0.001 % |
16.95/17.02	c |    148660 |     350     1519     4622 |    13260    11819     16 |  0.001 % |
16.95/17.03	c |    148770 |     350     1519     4622 |    13260    11929     16 |  0.001 % |
16.95/17.04	c |    148891 |     350     1519     4622 |    13260    12050     16 |  0.001 % |
16.95/17.06	c |    149026 |     350     1519     4622 |    13260    12185     16 |  0.001 % |
16.95/17.07	c |    149172 |     350     1519     4622 |    13260    12331     16 |  0.001 % |
16.95/17.09	c |    149332 |     350     1519     4622 |    13260    12491     16 |  0.001 % |
17.05/17.11	c |    149509 |     350     1519     4622 |    13260    12668     16 |  0.001 % |
17.05/17.13	c |    149703 |     350     1519     4622 |    13260    12862     16 |  0.001 % |
17.05/17.15	c |    149915 |     350     1519     4622 |    13260    13074     16 |  0.001 % |
17.05/17.18	c |    150148 |     350     1519     4622 |    13159    11579     16 |  0.001 % |
17.15/17.21	c |    150404 |     350     1519     4622 |    13159    11835     16 |  0.001 % |
17.15/17.24	c |    150685 |     350     1519     4622 |    13159    12116     16 |  0.001 % |
17.15/17.27	c |    150994 |     350     1519     4622 |    13159    12425     16 |  0.001 % |
17.15/17.30	c |    151333 |     350     1519     4622 |    13159    12764     16 |  0.001 % |
17.25/17.33	c |    151706 |     350     1519     4622 |    13159    13137     16 |  0.001 % |
17.25/17.37	c |    152115 |     350     1519     4622 |    13159    11984     16 |  0.001 % |
17.35/17.41	c |    152564 |     350     1519     4622 |    13159    12433     16 |  0.001 % |
17.35/17.46	c |    153057 |     350     1519     4622 |    13159    12926     16 |  0.001 % |
17.45/17.52	c |    153601 |     350     1519     4622 |    13159    11973     16 |  0.001 % |
17.45/17.58	c |    154197 |     350     1519     4622 |    13159    12569     16 |  0.001 % |
17.55/17.66	c |    154852 |     350     1519     4622 |    13159    11679     16 |  0.001 % |
17.65/17.73	c |    155573 |     350     1519     4622 |    13159    12400     16 |  0.001 % |
17.75/17.83	c |    156367 |     350     1519     4622 |    13159    11634     16 |  0.001 % |
17.85/17.92	c |    157238 |     350     1519     4622 |    13159    12505     16 |  0.001 % |
17.95/18.02	c |    158196 |     350     1519     4622 |    13159    11908     16 |  0.001 % |
18.05/18.13	c |    159252 |     350     1519     4622 |    13159    12964     16 |  0.001 % |
18.15/18.27	c |    160410 |     350     1519     4622 |    12092    11014     16 |  0.001 % |
18.35/18.41	c |    161684 |     350     1519     4622 |    12092    10818     16 |  0.001 % |
18.45/18.55	c |    163085 |     350     1519     4622 |    12092    10804     16 |  0.001 % |
18.55/18.69	c |    164625 |     350     1519     4622 |    12092    10977     16 |  0.001 % |
18.75/18.85	c |    166319 |     350     1519     4622 |    12092    11344     16 |  0.001 % |
18.75/18.86	c |    166420 |     350     1519     4622 |    12092    11445     16 |  0.001 % |
18.75/18.87	c |    166530 |     350     1519     4622 |    12092    11555     16 |  0.001 % |
18.75/18.89	c |    166651 |     350     1519     4622 |    12092    11676     16 |  0.001 % |
18.85/18.90	c |    166784 |     350     1519     4622 |    12092    11809     16 |  0.001 % |
18.85/18.92	c |    166933 |     350     1519     4622 |    12092    11958     16 |  0.001 % |
18.85/18.93	c |    167094 |     350     1519     4622 |    12092    12119     16 |  0.001 % |
18.85/18.96	c |    167270 |     350     1519     4622 |    12092    10937     16 |  0.001 % |
18.85/18.98	c |    167463 |     350     1519     4622 |    12092    11130     16 |  0.001 % |
18.95/19.01	c |    167678 |     350     1519     4622 |    12092    11345     16 |  0.001 % |
18.95/19.03	c |    167915 |     350     1519     4622 |    12092    11582     16 |  0.001 % |
18.95/19.06	c |    168171 |     350     1519     4622 |    12092    11838     16 |  0.001 % |
18.95/19.08	c |    168453 |     350     1519     4622 |    12092    12120     16 |  0.001 % |
19.05/19.12	c |    168763 |     350     1519     4622 |    12092    11056     16 |  0.001 % |
19.05/19.15	c |    169104 |     350     1519     4622 |    12092    11397     16 |  0.001 % |
19.05/19.18	c |    169476 |     350     1519     4622 |    12092    11769     16 |  0.001 % |
19.15/19.22	c |    169885 |     350     1519     4622 |    12092    10874     16 |  0.001 % |
19.15/19.27	c |    170334 |     350     1519     4622 |    10990    10146     16 |  0.001 % |
19.25/19.31	c |    170828 |     350     1519     4622 |    10990    10640     16 |  0.001 % |
19.25/19.37	c |    171370 |     350     1519     4622 |    10990    10080     16 |  0.001 % |
19.35/19.43	c |    171968 |     350     1519     4622 |    10990    10678     16 |  0.001 % |
19.35/19.50	c |    172624 |     350     1519     4622 |    10990    10233     16 |  0.001 % |
19.45/19.57	c |    173344 |     350     1519     4622 |    10990    10953     16 |  0.001 % |
19.55/19.66	c |    174136 |     350     1519     4622 |    10990    10644     16 |  0.001 % |
19.65/19.75	c |    175008 |     350     1519     4622 |    10990    10412     16 |  0.001 % |
19.75/19.83	c |    175967 |     350     1519     4622 |    10990    10268     16 |  0.001 % |
19.85/19.94	c |    177020 |     350     1519     4622 |    10990    10218     16 |  0.001 % |
19.95/20.03	c |    178179 |     350     1519     4622 |    10990    10274     16 |  0.001 % |
20.05/20.15	c |    179452 |     350     1519     4622 |    10990    10443     16 |  0.001 % |
20.15/20.29	c |    180852 |     350     1519     4622 | 2147483647    11843     17 |  0.001 % |
20.35/20.45	c |    182393 |     350     1519     4622 | 2147483647    13384     17 |  0.001 % |
20.54/20.61	c |    184088 |     350     1519     4622 | 2147483647    15079     17 |  0.001 % |
20.75/20.82	c |    185952 |     350     1519     4622 | 2147483647    16943     18 |  0.001 % |
20.75/20.83	c |    186053 |     350     1519     4622 | 2147483647    17044     18 |  0.001 % |
20.75/20.85	c |    186163 |     350     1519     4622 | 2147483647    17154     18 |  0.001 % |
20.75/20.87	c |    186284 |     350     1519     4622 | 2147483647    17275     18 |  0.001 % |
20.75/20.88	c |    186419 |     350     1519     4622 | 2147483647    17410     18 |  0.001 % |
20.85/20.90	c |    186567 |     350     1519     4622 | 2147483647    17558     18 |  0.001 % |
20.85/20.93	c |    186727 |     350     1519     4622 | 2147483647    17718     18 |  0.001 % |
20.85/20.95	c |    186905 |     350     1519     4622 | 2147483647    17896     18 |  0.001 % |
20.85/20.98	c |    187098 |     350     1519     4622 | 2147483647    18089     18 |  0.001 % |
20.94/21.02	c |    187311 |     350     1519     4622 | 2147483647    18302     18 |  0.001 % |
20.94/21.05	c |    187544 |     350     1519     4622 | 2147483647    18535     18 |  0.001 % |
20.94/21.09	c |    187800 |     350     1519     4622 | 2147483647    18791     18 |  0.001 % |
21.04/21.14	c |    188081 |     350     1519     4622 | 2147483647    19072     18 |  0.001 % |
21.04/21.19	c |    188390 |     350     1519     4622 | 2147483647    19381     18 |  0.001 % |
21.14/21.25	c |    188731 |     350     1519     4622 | 2147483647    19722     18 |  0.001 % |
21.24/21.32	c |    189103 |     350     1519     4622 | 2147483647    20094     18 |  0.001 % |
21.24/21.39	c |    189514 |     350     1519     4622 | 2147483647    20505     18 |  0.001 % |
21.34/21.45	c |    189964 |     350     1519     4622 | 2147483647    20955     17 |  0.001 % |
21.44/21.53	c |    190458 |     350     1519     4622 |    20993    17719     18 |  0.001 % |
21.54/21.61	c |    191000 |     350     1519     4622 |    20993    18261     18 |  0.001 % |
21.54/21.68	c |    191596 |     350     1519     4622 |    20993    18857     18 |  0.001 % |
21.74/21.80	c |    192251 |     350     1519     4622 |    20993    19512     18 |  0.001 % |
21.85/21.92	c |    192971 |     350     1519     4622 |    20993    20232     18 |  0.001 % |
21.95/22.04	c |    193763 |     350     1519     4622 |    20993    21024     18 |  0.001 % |
22.04/22.18	c |    194636 |     350     1519     4622 |    20993    17216     18 |  0.001 % |
22.24/22.33	c |    195595 |     350     1519     4622 |    20993    18175     18 |  0.001 % |
22.34/22.49	c |    196650 |     350     1519     4622 |    20993    19230     18 |  0.001 % |
22.54/22.68	c |    197809 |     350     1519     4622 |    20993    20389     18 |  0.001 % |
22.74/22.88	c |    199082 |     350     1519     4622 |    20993    16564     17 |  0.001 % |
22.95/23.06	c |    200483 |     350     1519     4622 |    17482    13751     16 |  0.001 % |
23.14/23.22	c |    202023 |     350     1519     4622 |    17482    15291     17 |  0.001 % |
23.34/23.45	c |    203718 |     350     1519     4622 |    17482    16986     17 |  0.001 % |
23.54/23.67	c |    205584 |     350     1519     4622 |    17482    15040     17 |  0.001 % |
23.84/23.96	c |    207636 |     350     1519     4622 |    17482    17092     17 |  0.001 % |
23.84/23.97	c |    207737 |     350     1519     4622 |    17482    17193     17 |  0.001 % |
23.84/23.99	c |    207847 |     350     1519     4622 |    17482    17303     17 |  0.001 % |
23.94/24.01	c |    207968 |     350     1519     4622 |    17482    17424     17 |  0.001 % |
23.94/24.04	c |    208101 |     350     1519     4622 |    17482    13724     17 |  0.001 % |
23.94/24.06	c |    208248 |     350     1519     4622 |    17482    13871     17 |  0.001 % |
23.94/24.08	c |    208408 |     350     1519     4622 |    17482    14031     17 |  0.001 % |
23.94/24.09	c |    208586 |     350     1519     4622 |    17482    14209     17 |  0.001 % |
24.04/24.12	c |    208779 |     350     1519     4622 |    17482    14402     17 |  0.001 % |
24.04/24.15	c |    208994 |     350     1519     4622 |    17482    14617     17 |  0.001 % |
24.04/24.18	c |    209229 |     350     1519     4622 |    17482    14852     17 |  0.001 % |
24.14/24.21	c |    209485 |     350     1519     4622 |    17482    15108     17 |  0.001 % |
24.14/24.25	c |    209768 |     350     1519     4622 |    17482    15391     17 |  0.001 % |
24.24/24.30	c |    210078 |     350     1519     4622 |    15624    12330     17 |  0.001 % |
24.24/24.34	c |    210419 |     350     1519     4622 |    15624    12671     17 |  0.001 % |
24.24/24.38	c |    210791 |     350     1519     4622 |    15624    13043     17 |  0.001 % |
24.34/24.41	c |    211200 |     350     1519     4622 |    15624    13452     17 |  0.001 % |
24.34/24.47	c |    211649 |     350     1519     4622 |    15624    13901     17 |  0.001 % |
24.44/24.53	c |    212144 |     350     1519     4622 |    15624    14396     17 |  0.001 % |
24.44/24.59	c |    212686 |     350     1519     4622 |    15624    14938     17 |  0.001 % |
24.54/24.67	c |    213283 |     350     1519     4622 |    15624    15535     17 |  0.001 % |
24.64/24.74	c |    213938 |     350     1519     4622 |    15624    13285     17 |  0.001 % |
24.74/24.83	c |    214658 |     350     1519     4622 |    15624    14005     17 |  0.001 % |
24.84/24.93	c |    215453 |     350     1519     4622 |    15624    14800     17 |  0.001 % |
24.94/25.04	c |    216324 |     350     1519     4622 |    15624    12917     17 |  0.001 % |
25.04/25.14	c |    217282 |     350     1519     4622 |    15624    13875     17 |  0.001 % |
25.14/25.27	c |    218335 |     350     1519     4622 |    15624    14928     17 |  0.001 % |
25.34/25.42	c |    219494 |     350     1519     4622 |    15624    13330     17 |  0.001 % |
25.44/25.56	c |    220767 |     350     1519     4622 |    13836    12172     17 |  0.001 % |
25.64/25.73	c |    222167 |     350     1519     4622 |    13836    13572     18 |  0.001 % |
25.84/25.91	c |    223707 |     350     1519     4622 |    13836    12926     18 |  0.001 % |
26.04/26.11	c |    225402 |     350     1519     4622 |    13836    12477     17 |  0.001 % |
26.24/26.35	c |    227266 |     350     1519     4622 |    13836    12185     17 |  0.001 % |
26.44/26.56	c |    229315 |     350     1519     4622 |    13836    12145     17 |  0.001 % |
26.64/26.79	c |    231568 |     350     1519     4622 |    12833    12542     17 |  0.001 % |
26.74/26.81	c |    231669 |     350     1519     4622 |    12833    12643     17 |  0.001 % |
26.74/26.82	c |    231782 |     350     1519     4622 |    12833    12756     17 |  0.001 % |
26.74/26.84	c |    231904 |     350     1519     4622 |    12833    11166     17 |  0.001 % |
26.74/26.85	c |    232037 |     350     1519     4622 |    12833    11299     17 |  0.001 % |
26.74/26.87	c |    232183 |     350     1519     4622 |    12833    11445     17 |  0.001 % |
26.74/26.89	c |    232346 |     350     1519     4622 |    12833    11608     17 |  0.001 % |
26.84/26.91	c |    232522 |     350     1519     4622 |    12833    11784     17 |  0.001 % |
26.84/26.93	c |    232715 |     350     1519     4622 |    12833    11977     17 |  0.001 % |
26.84/26.96	c |    232928 |     350     1519     4622 |    12833    12190     17 |  0.001 % |
26.84/26.98	c |    233162 |     350     1519     4622 |    12833    12424     17 |  0.001 % |
26.94/27.01	c |    233418 |     350     1519     4622 |    12833    12680     17 |  0.001 % |
26.94/27.04	c |    233699 |     350     1519     4622 |    12833    11284     17 |  0.001 % |
26.94/27.07	c |    234010 |     350     1519     4622 |    12833    11595     17 |  0.001 % |
27.04/27.10	c |    234349 |     350     1519     4622 |    12833    11934     17 |  0.001 % |
27.04/27.14	c |    234723 |     350     1519     4622 |    12833    12308     17 |  0.001 % |
27.04/27.19	c |    235133 |     350     1519     4622 |    12833    12718     17 |  0.001 % |
27.13/27.24	c |    235583 |     350     1519     4622 |    12833    11580     17 |  0.001 % |
27.13/27.28	c |    236076 |     350     1519     4622 |    12833    12073     17 |  0.001 % |
27.23/27.34	c |    236619 |     350     1519     4622 |    12833    12616     17 |  0.001 % |
27.23/27.40	c |    237216 |     350     1519     4622 |    12833    11743     17 |  0.001 % |
27.34/27.47	c |    237871 |     350     1519     4622 |    12833    12398     17 |  0.001 % |
27.44/27.54	c |    238592 |     350     1519     4622 |    12833    11667     17 |  0.001 % |
27.53/27.63	c |    239384 |     350     1519     4622 |    12833    12459     17 |  0.001 % |
27.63/27.73	c |    240257 |     350     1519     4622 |    11587    10503     16 |  0.001 % |
27.73/27.83	c |    241215 |     350     1519     4622 |    11587    11461     16 |  0.001 % |
27.83/27.93	c |    242269 |     350     1519     4622 |    11587    11244     16 |  0.001 % |
27.94/28.04	c |    243431 |     350     1519     4622 |    11587    11243     17 |  0.001 % |
28.04/28.16	c |    244704 |     350     1519     4622 |    11587    11354     17 |  0.001 % |
28.14/28.30	c |    246106 |     350     1519     4622 |    11587    11593     17 |  0.001 % |
28.34/28.44	c |    247647 |     350     1519     4622 |    11587    10812     17 |  0.001 % |
28.44/28.60	c |    249342 |     350     1519     4622 |    11587    11344     17 |  0.001 % |
28.64/28.79	c |    251208 |     350     1519     4622 | 2147483647    12048     17 |  0.001 % |
28.94/29.02	c |    253259 |     350     1519     4622 | 2147483647    14099     18 |  0.001 % |
29.13/29.29	c |    255512 |     350     1519     4622 | 2147483647    16352     18 |  0.001 % |
29.43/29.57	c |    257992 |     350     1519     4622 | 2147483647    18832     18 |  0.001 % |
29.43/29.59	c |    258094 |     350     1519     4622 | 2147483647    18934     18 |  0.001 % |
29.54/29.60	c |    258204 |     350     1519     4622 | 2147483647    19044     18 |  0.001 % |
29.54/29.62	c |    258325 |     350     1519     4622 | 2147483647    19165     18 |  0.001 % |
29.54/29.64	c |    258461 |     350     1519     4622 | 2147483647    19301     18 |  0.001 % |
29.54/29.67	c |    258607 |     350     1519     4622 | 2147483647    19447     18 |  0.001 % |
29.64/29.70	c |    258767 |     350     1519     4622 | 2147483647    19607     18 |  0.001 % |
29.64/29.73	c |    258946 |     350     1519     4622 | 2147483647    19786     18 |  0.001 % |
29.64/29.76	c |    259139 |     350     1519     4622 | 2147483647    19979     18 |  0.001 % |
29.64/29.79	c |    259351 |     350     1519     4622 | 2147483647    20191     18 |  0.001 % |
29.73/29.83	c |    259584 |     350     1519     4622 | 2147483647    20424     18 |  0.001 % |
29.73/29.87	c |    259842 |     350     1519     4622 | 2147483647    20682     18 |  0.001 % |
29.83/29.94	c |    260125 |     350     1519     4622 |    20840    17339     18 |  0.001 % |
29.83/29.99	c |    260435 |     350     1519     4622 |    20840    17649     18 |  0.001 % |
29.93/30.04	c |    260775 |     350     1519     4622 |    20840    17989     18 |  0.001 % |
29.93/30.10	c |    261147 |     350     1519     4622 |    20840    18361     18 |  0.001 % |
30.03/30.16	c |    261558 |     350     1519     4622 |    20840    18772     18 |  0.001 % |
30.13/30.22	c |    262009 |     350     1519     4622 |    20840    19223     18 |  0.001 % |
30.23/30.32	c |    262503 |     350     1519     4622 |    20840    19717     18 |  0.001 % |
30.33/30.41	c |    263045 |     350     1519     4622 |    20840    20259     18 |  0.001 % |
30.33/30.49	c |    263641 |     350     1519     4622 |    20840    20855     18 |  0.001 % |
30.43/30.60	c |    264296 |     350     1519     4622 |    20840    16718     18 |  0.001 % |
30.63/30.71	c |    265018 |     350     1519     4622 |    20840    17440     18 |  0.001 % |
30.73/30.83	c |    265811 |     350     1519     4622 |    20840    18233     18 |  0.001 % |
30.83/30.96	c |    266682 |     350     1519     4622 |    20840    19104     18 |  0.001 % |
31.03/31.10	c |    267644 |     350     1519     4622 |    20840    20066     18 |  0.001 % |
31.13/31.27	c |    268698 |     350     1519     4622 |    20840    16184     18 |  0.001 % |
31.23/31.39	c |    269858 |     350     1519     4622 |    20840    17344     18 |  0.001 % |
31.43/31.54	c |    271132 |     350     1519     4622 |    17486    14554     17 |  0.001 % |
31.63/31.71	c |    272533 |     350     1519     4622 |    17486    15955     17 |  0.001 % |
31.83/31.92	c |    274074 |     350     1519     4622 |    17486    17496     17 |  0.001 % |
32.03/32.11	c |    275768 |     350     1519     4622 |    17486    15466     17 |  0.001 % |
32.13/32.29	c |    277633 |     350     1519     4622 |    17486    17331     18 |  0.001 % |
32.43/32.53	c |    279682 |     350     1519     4622 |    17486    15999     18 |  0.001 % |
32.73/32.80	c |    281938 |     350     1519     4622 |    16317    15159     18 |  0.001 % |
33.03/33.17	c |    284417 |     350     1519     4622 |    16317    14537     17 |  0.001 % |
33.42/33.51	c |    287143 |     350     1519     4622 |    16317    14021     18 |  0.001 % |
33.42/33.52	c |    287243 |     350     1519     4622 |    16317    14121     18 |  0.001 % |
33.42/33.53	c |    287354 |     350     1519     4622 |    16317    14232     18 |  0.001 % |
33.42/33.55	c |    287475 |     350     1519     4622 |    16317    14353     18 |  0.001 % |
33.42/33.56	c |    287608 |     350     1519     4622 |    16317    14486     18 |  0.001 % |
33.42/33.59	c |    287754 |     350     1519     4622 |    16317    14632     18 |  0.001 % |
33.52/33.61	c |    287914 |     350     1519     4622 |    16317    14792     18 |  0.001 % |
33.52/33.64	c |    288091 |     350     1519     4622 |    16317    14969     18 |  0.001 % |
33.52/33.66	c |    288284 |     350     1519     4622 |    16317    15162     18 |  0.001 % |
33.52/33.69	c |    288497 |     350     1519     4622 |    16317    15375     18 |  0.001 % |
33.62/33.72	c |    288730 |     350     1519     4622 |    16317    15608     18 |  0.001 % |
33.62/33.74	c |    288986 |     350     1519     4622 |    16317    15864     18 |  0.001 % |
33.62/33.78	c |    289270 |     350     1519     4622 |    16317    16148     18 |  0.001 % |
33.72/33.83	c |    289580 |     350     1519     4622 |    16317    13294     17 |  0.001 % |
33.72/33.87	c |    289919 |     350     1519     4622 |    16317    13633     17 |  0.001 % |
33.82/33.92	c |    290292 |     350     1519     4622 |    13714    11363     17 |  0.001 % |
33.82/33.96	c |    290701 |     350     1519     4622 |    13714    11772     17 |  0.001 % |
33.92/34.02	c |    291151 |     350     1519     4622 |    13714    12222     17 |  0.001 % |
33.92/34.08	c |    291646 |     350     1519     4622 |    13714    12717     17 |  0.001 % |
34.02/34.15	c |    292189 |     350     1519     4622 |    13714    13260     17 |  0.001 % |
34.12/34.22	c |    292785 |     350     1519     4622 |    13714    11557     17 |  0.001 % |
34.12/34.29	c |    293441 |     350     1519     4622 |    13714    12213     17 |  0.001 % |
34.22/34.36	c |    294161 |     350     1519     4622 |    13714    12933     17 |  0.001 % |
34.32/34.44	c |    294954 |     350     1519     4622 |    13714    13726     17 |  0.001 % |
34.42/34.53	c |    295826 |     350     1519     4622 |    13714    12605     17 |  0.001 % |
34.52/34.65	c |    296784 |     350     1519     4622 |    13714    13563     17 |  0.001 % |
34.62/34.78	c |    297837 |     350     1519     4622 |    13714    12681     17 |  0.001 % |
34.82/34.93	c |    298999 |     350     1519     4622 |    13714    11871     17 |  0.001 % |
34.92/35.08	c |    300273 |     350     1519     4622 |    12873    11290     17 |  0.001 % |
35.12/35.22	c |    301677 |     350     1519     4622 |    12873    12694     17 |  0.001 % |
35.31/35.40	c |    303219 |     350     1519     4622 |    12873    12537     17 |  0.001 % |
35.41/35.58	c |    304915 |     350     1519     4622 |    12873    12557     17 |  0.001 % |
35.61/35.76	c |    306778 |     350     1519     4622 |    12873    12849     16 |  0.001 % |
35.81/35.96	c |    308827 |     350     1519     4622 |    12873    12063     16 |  0.001 % |
36.11/36.21	c |    311080 |     350     1519     4622 |    11847    11642     16 |  0.001 % |
36.31/36.42	c |    313558 |     350     1519     4622 |    11847    11673     16 |  0.001 % |
36.51/36.65	c |    316283 |     350     1519     4622 |    11847    10833     16 |  0.001 % |
36.81/36.95	c |    319280 |     350     1519     4622 |    11847    11454     16 |  0.001 % |
36.81/36.96	c |    319381 |     350     1519     4622 |    11847    11555     16 |  0.001 % |
36.81/36.97	c |    319492 |     350     1519     4622 |    11847    11666     16 |  0.001 % |
36.81/36.99	c |    319613 |     350     1519     4622 |    11847    11787     16 |  0.001 % |
36.91/37.00	c |    319746 |     350     1519     4622 |    11847    10732     16 |  0.001 % |
36.91/37.02	c |    319894 |     350     1519     4622 |    11847    10880     16 |  0.001 % |
36.91/37.03	c |    320054 |     350     1519     4622 | 2147483647    11040     16 |  0.001 % |
36.91/37.05	c |    320231 |     350     1519     4622 | 2147483647    11217     16 |  0.001 % |
36.91/37.07	c |    320426 |     350     1519     4622 | 2147483647    11412     16 |  0.001 % |
36.91/37.09	c |    320639 |     350     1519     4622 | 2147483647    11625     16 |  0.001 % |
37.01/37.11	c |    320872 |     350     1519     4622 | 2147483647    11858     16 |  0.001 % |
37.01/37.13	c |    321128 |     350     1519     4622 | 2147483647    12114     16 |  0.001 % |
37.01/37.16	c |    321409 |     350     1519     4622 | 2147483647    12395     16 |  0.001 % |
37.11/37.20	c |    321720 |     350     1519     4622 | 2147483647    12706     16 |  0.001 % |
37.11/37.23	c |    322059 |     350     1519     4622 | 2147483647    13045     16 |  0.001 % |
37.11/37.27	c |    322433 |     350     1519     4622 | 2147483647    13419     16 |  0.001 % |
37.21/37.31	c |    322842 |     350     1519     4622 | 2147483647    13828     16 |  0.001 % |
37.21/37.36	c |    323291 |     350     1519     4622 | 2147483647    14277     16 |  0.001 % |
37.31/37.41	c |    323784 |     350     1519     4622 | 2147483647    14770     16 |  0.001 % |
37.31/37.47	c |    324330 |     350     1519     4622 | 2147483647    15316     16 |  0.001 % |
37.41/37.54	c |    324928 |     350     1519     4622 | 2147483647    15914     16 |  0.001 % |
37.51/37.62	c |    325585 |     350     1519     4622 | 2147483647    16571     17 |  0.001 % |
37.61/37.71	c |    326306 |     350     1519     4622 | 2147483647    17292     17 |  0.001 % |
37.71/37.81	c |    327098 |     350     1519     4622 | 2147483647    18084     17 |  0.001 % |
37.81/37.94	c |    327972 |     350     1519     4622 | 2147483647    18958     17 |  0.001 % |
37.91/38.07	c |    328930 |     350     1519     4622 | 2147483647    19916     17 |  0.001 % |
38.11/38.23	c |    329983 |     350     1519     4622 | 2147483647    20969     17 |  0.001 % |
38.31/38.42	c |    331141 |     350     1519     4622 |    20987    18546     17 |  0.001 % |
38.51/38.63	c |    332414 |     350     1519     4622 |    20987    19819     17 |  0.001 % |
38.71/38.86	c |    333814 |     350     1519     4622 |    20987    16546     16 |  0.001 % |
38.91/39.06	c |    335354 |     350     1519     4622 |    20987    18086     17 |  0.001 % |
39.21/39.30	c |    337049 |     350     1519     4622 |    20987    19781     17 |  0.001 % |
39.41/39.53	c |    338914 |     350     1519     4622 |    20987    16896     17 |  0.001 % |
39.71/39.81	c |    340964 |     350     1519     4622 |    17984    14920     17 |  0.001 % |
39.91/40.08	c |    343218 |     350     1519     4622 |    17984    17174     17 |  0.001 % |
40.31/40.44	c |    345696 |     350     1519     4622 |    17984    15829     17 |  0.001 % |
40.71/40.83	c |    348421 |     350     1519     4622 |    17984    14751     17 |  0.001 % |
41.11/41.25	c |    351418 |     350     1519     4622 |    16331    14228     17 |  0.001 % |
41.61/41.71	c |    354714 |     350     1519     4622 |    16331    14124     17 |  0.001 % |
41.61/41.72	c |    354814 |     350     1519     4622 |    16331    14224     17 |  0.001 % |
41.61/41.73	c |    354924 |     350     1519     4622 |    16331    14334     17 |  0.001 % |
41.61/41.74	c |    355046 |     350     1519     4622 |    16331    14456     17 |  0.001 % |
41.61/41.76	c |    355179 |     350     1519     4622 |    16331    14589     17 |  0.001 % |
41.61/41.77	c |    355327 |     350     1519     4622 |    16331    14737     17 |  0.001 % |
41.61/41.79	c |    355487 |     350     1519     4622 |    16331    14897     17 |  0.001 % |
41.71/41.82	c |    355665 |     350     1519     4622 |    16331    15075     17 |  0.001 % |
41.71/41.84	c |    355860 |     350     1519     4622 |    16331    15270     17 |  0.001 % |
41.71/41.86	c |    356072 |     350     1519     4622 |    16331    15482     17 |  0.001 % |
41.71/41.89	c |    356306 |     350     1519     4622 |    16331    15716     17 |  0.001 % |
41.80/41.92	c |    356563 |     350     1519     4622 |    16331    15973     17 |  0.001 % |
41.80/41.96	c |    356844 |     350     1519     4622 |    16331    16254     17 |  0.001 % |
41.90/42.01	c |    357155 |     350     1519     4622 |    16331    13340     17 |  0.001 % |
41.90/42.06	c |    357495 |     350     1519     4622 |    16331    13680     17 |  0.001 % |
42.00/42.11	c |    357868 |     350     1519     4622 |    16331    14053     17 |  0.001 % |
42.00/42.16	c |    358277 |     350     1519     4622 |    16331    14462     17 |  0.001 % |
42.10/42.22	c |    358726 |     350     1519     4622 |    16331    14911     17 |  0.001 % |
42.10/42.29	c |    359219 |     350     1519     4622 |    16331    15404     17 |  0.001 % |
42.20/42.37	c |    359763 |     350     1519     4622 |    16331    15948     17 |  0.001 % |
42.30/42.46	c |    360360 |     350     1519     4622 |    16186    13289     17 |  0.001 % |
42.40/42.53	c |    361016 |     350     1519     4622 |    16186    13945     17 |  0.001 % |
42.50/42.63	c |    361736 |     350     1519     4622 |    16186    14665     17 |  0.001 % |
42.60/42.72	c |    362528 |     350     1519     4622 |    16186    15457     17 |  0.001 % |
42.70/42.85	c |    363400 |     350     1519     4622 |    16186    13119     17 |  0.001 % |
42.80/42.98	c |    364359 |     350     1519     4622 |    16186    14078     17 |  0.001 % |
43.00/43.12	c |    365412 |     350     1519     4622 |    16186    15131     17 |  0.001 % |
43.20/43.31	c |    366571 |     350     1519     4622 |    16186    13004     17 |  0.001 % |
43.30/43.45	c |    367844 |     350     1519     4622 |    16186    14277     17 |  0.001 % |
43.40/43.59	c |    369245 |     350     1519     4622 |    16186    15678     17 |  0.001 % |
43.60/43.76	c |    370786 |     350     1519     4622 |    13293    11531     17 |  0.001 % |
43.80/43.94	c |    372481 |     350     1519     4622 |    13293    13226     17 |  0.001 % |
44.00/44.15	c |    374344 |     350     1519     4622 |    13293    13022     16 |  0.001 % |
44.20/44.36	c |    376396 |     350     1519     4622 |    13293    13101     16 |  0.001 % |
44.50/44.60	c |    378649 |     350     1519     4622 |    13293    11757     16 |  0.001 % |
44.70/44.85	c |    381127 |     350     1519     4622 |    13109    12558     17 |  0.001 % |
45.00/45.11	c |    383852 |     350     1519     4622 |    13109    12511     17 |  0.001 % |
45.30/45.42	c |    386850 |     350     1519     4622 |    13109    12881     17 |  0.001 % |
45.70/45.83	c |    390147 |     350     1519     4622 |    11957    10790     16 |  0.001 % |
46.00/46.20	c |    393772 |     350     1519     4622 |    11957    11974     16 |  0.001 % |
46.10/46.21	c |    393872 |     350     1519     4622 |    11957    10833     16 |  0.001 % |
46.10/46.22	c |    393985 |     350     1519     4622 |    11957    10946     16 |  0.001 % |
46.10/46.23	c |    394106 |     350     1519     4622 |    11957    11067     16 |  0.001 % |
46.10/46.25	c |    394239 |     350     1519     4622 |    11957    11200     16 |  0.001 % |
46.10/46.26	c |    394386 |     350     1519     4622 |    11957    11347     16 |  0.001 % |
46.10/46.28	c |    394547 |     350     1519     4622 |    11957    11508     16 |  0.001 % |
46.10/46.29	c |    394723 |     350     1519     4622 |    11957    11684     16 |  0.001 % |
46.20/46.31	c |    394917 |     350     1519     4622 |    11957    11878     16 |  0.001 % |
46.20/46.33	c |    395131 |     350     1519     4622 |    11957    10895     16 |  0.001 % |
46.20/46.35	c |    395364 |     350     1519     4622 |    11957    11128     16 |  0.001 % |
46.20/46.37	c |    395621 |     350     1519     4622 |    11957    11385     16 |  0.001 % |
46.30/46.40	c |    395902 |     350     1519     4622 |    11957    11666     16 |  0.001 % |
46.30/46.43	c |    396212 |     350     1519     4622 |    11957    11976     16 |  0.001 % |
46.30/46.46	c |    396552 |     350     1519     4622 |    11957    11119     16 |  0.001 % |
46.40/46.50	c |    396924 |     350     1519     4622 |    11957    11491     16 |  0.001 % |
46.40/46.54	c |    397334 |     350     1519     4622 |    11957    11901     16 |  0.001 % |
46.40/46.59	c |    397783 |     350     1519     4622 |    11957    11151     16 |  0.001 % |
46.50/46.64	c |    398276 |     350     1519     4622 |    11957    11644     16 |  0.001 % |
46.50/46.69	c |    398818 |     350     1519     4622 |    11957    10987     16 |  0.001 % |
46.60/46.75	c |    399414 |     350     1519     4622 |    11957    11583     16 |  0.001 % |
46.70/46.81	c |    400070 |     350     1519     4622 | 2147483647    11042     16 |  0.001 % |
46.70/46.87	c |    400790 |     350     1519     4622 | 2147483647    11762     16 |  0.001 % |
46.80/46.95	c |    401582 |     350     1519     4622 | 2147483647    12554     16 |  0.001 % |
46.90/47.04	c |    402453 |     350     1519     4622 | 2147483647    13425     16 |  0.001 % |
47.00/47.14	c |    403412 |     350     1519     4622 | 2147483647    14384     17 |  0.001 % |
47.10/47.27	c |    404466 |     350     1519     4622 | 2147483647    15438     17 |  0.001 % |
47.30/47.42	c |    405625 |     350     1519     4622 | 2147483647    16597     17 |  0.001 % |
47.40/47.59	c |    406898 |     350     1519     4622 | 2147483647    17870     17 |  0.001 % |
47.70/47.80	c |    408298 |     350     1519     4622 | 2147483647    19270     17 |  0.001 % |
47.90/48.05	c |    409840 |     350     1519     4622 | 2147483647    20812     17 |  0.001 % |
48.10/48.29	c |    411534 |     350     1519     4622 |    20973    18851     17 |  0.001 % |
48.40/48.58	c |    413397 |     350     1519     4622 |    20973    20714     17 |  0.001 % |
48.79/48.90	c |    415447 |     350     1519     4622 |    20973    17997     17 |  0.001 % |
49.09/49.25	c |    417702 |     350     1519     4622 |    20973    20252     17 |  0.001 % |
49.40/49.60	c |    420182 |     350     1519     4622 |    17568    13654     17 |  0.001 % |
49.79/49.96	c |    422908 |     350     1519     4622 |    17568    16380     18 |  0.001 % |
50.19/50.34	c |    425905 |     350     1519     4622 |    17568    15385     18 |  0.001 % |
50.59/50.76	c |    429201 |     350     1519     4622 |    17568    14853     18 |  0.001 % |
51.09/51.23	c |    432827 |     350     1519     4622 |    15654    15083     18 |  0.001 % |
51.50/51.69	c |    436814 |     350     1519     4622 |    15654    13207     18 |  0.001 % |
51.50/51.70	c |    436915 |     350     1519     4622 |    15654    13308     18 |  0.001 % |
51.60/51.72	c |    437028 |     350     1519     4622 |    15654    13421     18 |  0.001 % |
51.60/51.73	c |    437149 |     350     1519     4622 |    15654    13542     18 |  0.001 % |
51.60/51.75	c |    437282 |     350     1519     4622 |    15654    13675     18 |  0.001 % |
51.60/51.76	c |    437428 |     350     1519     4622 |    15654    13821     18 |  0.001 % |
51.60/51.78	c |    437588 |     350     1519     4622 |    15654    13981     18 |  0.001 % |
51.69/51.80	c |    437764 |     350     1519     4622 |    15654    14157     18 |  0.001 % |
51.69/51.82	c |    437958 |     350     1519     4622 |    15654    14351     18 |  0.001 % |
51.69/51.85	c |    438171 |     350     1519     4622 |    15654    14564     18 |  0.001 % |
51.69/51.89	c |    438404 |     350     1519     4622 |    15654    14797     18 |  0.001 % |
51.79/51.92	c |    438660 |     350     1519     4622 |    15654    15053     18 |  0.001 % |
51.79/51.96	c |    438941 |     350     1519     4622 |    15654    15334     18 |  0.001 % |
51.89/52.00	c |    439251 |     350     1519     4622 |    15654    15644     18 |  0.001 % |
51.89/52.04	c |    439590 |     350     1519     4622 |    15654    13213     17 |  0.001 % |
51.89/52.09	c |    439964 |     350     1519     4622 |    15654    13587     18 |  0.001 % |
51.99/52.13	c |    440373 |     350     1519     4622 |    13623    11607     17 |  0.001 % |
51.99/52.18	c |    440822 |     350     1519     4622 |    13623    12056     17 |  0.001 % |
52.09/52.23	c |    441315 |     350     1519     4622 |    13623    12549     17 |  0.001 % |
52.09/52.29	c |    441857 |     350     1519     4622 |    13623    13091     17 |  0.001 % |
52.19/52.36	c |    442454 |     350     1519     4622 |    13623    11582     17 |  0.001 % |
52.29/52.43	c |    443110 |     350     1519     4622 |    13623    12238     17 |  0.001 % |
52.39/52.51	c |    443830 |     350     1519     4622 |    13623    12958     17 |  0.001 % |
52.49/52.60	c |    444622 |     350     1519     4622 |    13623    11773     17 |  0.001 % |
52.49/52.68	c |    445496 |     350     1519     4622 |    13623    12647     17 |  0.001 % |
52.59/52.78	c |    446456 |     350     1519     4622 |    13623    13607     17 |  0.001 % |
52.79/52.90	c |    447510 |     350     1519     4622 |    13623    12811     17 |  0.001 % |
52.89/53.04	c |    448669 |     350     1519     4622 |    13623    12140     16 |  0.001 % |
52.99/53.17	c |    449943 |     350     1519     4622 |    13623    13414     17 |  0.001 % |
53.19/53.31	c |    451343 |     350     1519     4622 |    13471    13003     17 |  0.001 % |
53.29/53.46	c |    452883 |     350     1519     4622 |    13471    12985     17 |  0.001 % |
53.49/53.65	c |    454577 |     350     1519     4622 |    13471    13202     17 |  0.001 % |
53.69/53.86	c |    456441 |     350     1519     4622 |    13471    12086     17 |  0.001 % |
53.99/54.10	c |    458491 |     350     1519     4622 |    13471    12612     17 |  0.001 % |
54.19/54.36	c |    460746 |     350     1519     4622 |    12577    11851     17 |  0.001 % |
54.49/54.64	c |    463224 |     350     1519     4622 |    12577    11250     17 |  0.001 % |
54.79/54.92	c |    465949 |     350     1519     4622 |    12577    12433     17 |  0.001 % |
55.09/55.24	c |    468946 |     350     1519     4622 |    12577    12235     17 |  0.001 % |
55.39/55.53	c |    472244 |     350     1519     4622 |    11713    11389     17 |  0.001 % |
55.79/55.92	c |    475869 |     350     1519     4622 |    11713    11490     18 |  0.001 % |
56.09/56.29	c |    479857 |     350     1519     4622 |    11713    10779     18 |  0.001 % |
56.59/56.75	c |    484243 |     350     1519     4622 | 2147483647    15165     18 |  0.001 % |
56.59/56.77	c |    484344 |     350     1519     4622 | 2147483647    15266     18 |  0.001 % |
56.59/56.78	c |    484454 |     350     1519     4622 | 2147483647    15376     18 |  0.001 % |
56.69/56.80	c |    484575 |     350     1519     4622 | 2147483647    15497     18 |  0.001 % |
56.69/56.82	c |    484711 |     350     1519     4622 | 2147483647    15633     18 |  0.001 % |
56.69/56.84	c |    484857 |     350     1519     4622 | 2147483647    15779     18 |  0.001 % |
56.69/56.86	c |    485017 |     350     1519     4622 | 2147483647    15939     18 |  0.001 % |
56.69/56.88	c |    485193 |     350     1519     4622 | 2147483647    16115     18 |  0.001 % |
56.79/56.91	c |    485390 |     350     1519     4622 | 2147483647    16312     18 |  0.001 % |
56.79/56.93	c |    485604 |     350     1519     4622 | 2147483647    16526     19 |  0.001 % |
56.79/56.96	c |    485837 |     350     1519     4622 | 2147483647    16759     19 |  0.001 % |
56.79/57.00	c |    486093 |     350     1519     4622 | 2147483647    17015     19 |  0.001 % |
56.89/57.03	c |    486374 |     350     1519     4622 | 2147483647    17296     19 |  0.001 % |
56.89/57.06	c |    486684 |     350     1519     4622 | 2147483647    17606     19 |  0.001 % |
56.99/57.10	c |    487023 |     350     1519     4622 | 2147483647    17945     19 |  0.001 % |
56.99/57.15	c |    487395 |     350     1519     4622 | 2147483647    18317     19 |  0.001 % |
57.09/57.20	c |    487804 |     350     1519     4622 | 2147483647    18726     19 |  0.001 % |
57.09/57.26	c |    488253 |     350     1519     4622 | 2147483647    19175     19 |  0.001 % |
57.19/57.35	c |    488746 |     350     1519     4622 | 2147483647    19668     19 |  0.001 % |
57.29/57.46	c |    489290 |     350     1519     4622 | 2147483647    20212     19 |  0.001 % |
57.39/57.55	c |    489886 |     350     1519     4622 | 2147483647    20808     18 |  0.001 % |
57.49/57.67	c |    490541 |     350     1519     4622 |    20922    17594     18 |  0.001 % |
57.59/57.77	c |    491261 |     350     1519     4622 |    20922    18314     18 |  0.001 % |
57.69/57.89	c |    492054 |     350     1519     4622 |    20922    19107     18 |  0.001 % |
57.89/58.04	c |    492926 |     350     1519     4622 |    20922    19979     18 |  0.001 % |
58.09/58.20	c |    493885 |     350     1519     4622 |    20922    20938     18 |  0.001 % |
58.19/58.36	c |    494938 |     350     1519     4622 |    20922    17024     18 |  0.001 % |
58.39/58.53	c |    496098 |     350     1519     4622 |    20922    18184     18 |  0.001 % |
58.59/58.73	c |    497373 |     350     1519     4622 |    20922    19459     18 |  0.001 % |
58.79/58.94	c |    498773 |     350     1519     4622 |    20922    20859     18 |  0.001 % |
58.99/59.14	c |    500313 |     350     1519     4622 |    16914    13109     17 |  0.001 % |
59.19/59.35	c |    502008 |     350     1519     4622 |    16914    14804     17 |  0.001 % |
59.39/59.58	c |    503872 |     350     1519     4622 |    16914    16668     17 |  0.001 % |
59.69/59.82	c |    505921 |     350     1519     4622 |    16914    15146     17 |  0.001 % |
59.99/60.11	c |    508176 |     350     1519     4622 |    16914    13975     17 |  0.001 % |
60.29/60.44	c |    510654 |     350     1519     4622 |    15799    13273     18 |  0.001 % |
60.58/60.78	c |    513380 |     350     1519     4622 |    15799    12981     18 |  0.001 % |
60.98/61.15	c |    516377 |     350     1519     4622 |    15799    12912     17 |  0.001 % |
61.39/61.55	c |    519673 |     350     1519     4622 |    15799    13191     17 |  0.001 % |
61.78/61.91	c |    523300 |     350     1519     4622 |    13518    12241     17 |  0.001 % |
62.18/62.32	c |    527287 |     350     1519     4622 |    13518    12683     17 |  0.001 % |
62.68/62.81	c |    531672 |     350     1519     4622 |    12015    10911     17 |  0.001 % |
63.08/63.29	c |    536499 |     350     1519     4622 |    12015    10875     17 |  0.001 % |
63.18/63.30	c |    536599 |     350     1519     4622 |    12015    10975     17 |  0.001 % |
63.18/63.31	c |    536711 |     350     1519     4622 |    12015    11087     17 |  0.001 % |
63.18/63.32	c |    536832 |     350     1519     4622 |    12015    11208     17 |  0.001 % |
63.18/63.34	c |    536966 |     350     1519     4622 |    12015    11342     17 |  0.001 % |
63.18/63.35	c |    537113 |     350     1519     4622 |    12015    11489     17 |  0.001 % |
63.18/63.37	c |    537273 |     350     1519     4622 |    12015    11649     17 |  0.001 % |
63.18/63.39	c |    537450 |     350     1519     4622 |    12015    11826     17 |  0.001 % |
63.28/63.40	c |    537643 |     350     1519     4622 |    12015    12019     17 |  0.001 % |
63.28/63.43	c |    537855 |     350     1519     4622 |    12015    11030     17 |  0.001 % |
63.28/63.45	c |    538089 |     350     1519     4622 |    12015    11264     17 |  0.001 % |
63.28/63.47	c |    538345 |     350     1519     4622 |    12015    11520     17 |  0.001 % |
63.38/63.50	c |    538630 |     350     1519     4622 |    12015    11805     17 |  0.001 % |
63.38/63.54	c |    538939 |     350     1519     4622 |    12015    10911     17 |  0.001 % |
63.38/63.57	c |    539279 |     350     1519     4622 |    12015    11251     17 |  0.001 % |
63.48/63.61	c |    539651 |     350     1519     4622 |    12015    11623     17 |  0.001 % |
63.48/63.65	c |    540060 |     350     1519     4622 | 2147483647    12032     17 |  0.001 % |
63.48/63.70	c |    540511 |     350     1519     4622 | 2147483647    12483     17 |  0.001 % |
63.59/63.74	c |    541004 |     350     1519     4622 | 2147483647    12976     17 |  0.001 % |
63.59/63.79	c |    541546 |     350     1519     4622 | 2147483647    13518     18 |  0.001 % |
63.69/63.86	c |    542144 |     350     1519     4622 | 2147483647    14116     18 |  0.001 % |
63.78/63.93	c |    542800 |     350     1519     4622 | 2147483647    14772     18 |  0.001 % |
63.88/64.00	c |    543520 |     350     1519     4622 | 2147483647    15492     18 |  0.001 % |
63.98/64.10	c |    544313 |     350     1519     4622 | 2147483647    16285     18 |  0.001 % |
64.08/64.22	c |    545186 |     350     1519     4622 | 2147483647    17158     18 |  0.001 % |
64.18/64.34	c |    546147 |     350     1519     4622 | 2147483647    18119     18 |  0.001 % |
64.28/64.48	c |    547201 |     350     1519     4622 | 2147483647    19173     18 |  0.001 % |
64.48/64.65	c |    548361 |     350     1519     4622 | 2147483647    20333     18 |  0.001 % |
64.69/64.86	c |    549636 |     350     1519     4622 | 2147483647    21608     18 |  0.001 % |
64.88/65.09	c |    551037 |     350     1519     4622 |    21972    19386     18 |  0.001 % |
65.18/65.33	c |    552577 |     350     1519     4622 |    21972    20926     18 |  0.001 % |
65.48/65.62	c |    554271 |     350     1519     4622 |    21972    17681     18 |  0.001 % |
65.79/65.92	c |    556134 |     350     1519     4622 |    21972    19544     18 |  0.001 % |
66.08/66.26	c |    558183 |     350     1519     4622 |    21972    21593     18 |  0.001 % |
66.48/66.62	c |    560437 |     350     1519     4622 |    17997    14025     18 |  0.001 % |
66.78/66.97	c |    562915 |     350     1519     4622 |    17997    16503     18 |  0.001 % |
67.18/67.34	c |    565642 |     350     1519     4622 |    17997    15279     18 |  0.001 % |
67.58/67.73	c |    568639 |     350     1519     4622 |    17997    14548     18 |  0.001 % |
67.98/68.14	c |    571937 |     350     1519     4622 |    15910    14597     17 |  0.001 % |
68.48/68.62	c |    575562 |     350     1519     4622 |    15910    15243     17 |  0.001 % |
68.88/69.07	c |    579549 |     350     1519     4622 |    15910    13508     17 |  0.001 % |
69.38/69.54	c |    583934 |     350     1519     4622 |    13959    13284     17 |  0.001 % |
69.88/70.06	c |    588757 |     350     1519     4622 |    13959    11915     17 |  0.001 % |
70.38/70.59	c |    594062 |     350     1519     4622 |    13161    12144     17 |  0.001 % |
70.49/70.60	c |    594162 |     350     1519     4622 |    13161    12244     17 |  0.001 % |
70.49/70.61	c |    594272 |     350     1519     4622 |    13161    12354     17 |  0.001 % |
70.49/70.63	c |    594395 |     350     1519     4622 |    13161    12477     17 |  0.001 % |
70.49/70.64	c |    594531 |     350     1519     4622 |    13161    12613     17 |  0.001 % |
70.49/70.66	c |    594677 |     350     1519     4622 |    13161    12759     17 |  0.001 % |
70.49/70.68	c |    594837 |     350     1519     4622 |    13161    12919     17 |  0.001 % |
70.59/70.71	c |    595014 |     350     1519     4622 |    13161    13096     17 |  0.001 % |
70.59/70.74	c |    595207 |     350     1519     4622 |    13161    11695     17 |  0.001 % |
70.59/70.76	c |    595419 |     350     1519     4622 |    13161    11907     17 |  0.001 % |
70.59/70.78	c |    595652 |     350     1519     4622 |    13161    12140     17 |  0.001 % |
70.69/70.81	c |    595909 |     350     1519     4622 |    13161    12397     17 |  0.001 % |
70.69/70.83	c |    596190 |     350     1519     4622 |    13161    12678     17 |  0.001 % |
70.69/70.87	c |    596500 |     350     1519     4622 |    13161    12988     17 |  0.001 % |
70.79/70.92	c |    596839 |     350     1519     4622 |    13161    11738     17 |  0.001 % |
70.79/70.95	c |    597211 |     350     1519     4622 |    13161    12110     17 |  0.001 % |
70.79/70.99	c |    597620 |     350     1519     4622 |    13161    12519     17 |  0.001 % |
70.89/71.03	c |    598069 |     350     1519     4622 |    13161    12968     17 |  0.001 % |
70.99/71.10	c |    598562 |     350     1519     4622 |    13161    11911     17 |  0.001 % |
70.99/71.15	c |    599104 |     350     1519     4622 |    13161    12453     17 |  0.001 % |
71.09/71.20	c |    599704 |     350     1519     4622 |    13161    13053     17 |  0.001 % |
71.09/71.28	c |    600359 |     350     1519     4622 |    11869    10905     17 |  0.001 % |
71.19/71.35	c |    601081 |     350     1519     4622 |    11869    11627     17 |  0.001 % |
71.29/71.43	c |    601873 |     350     1519     4622 |    11869    11227     17 |  0.001 % |
71.39/71.51	c |    602744 |     350     1519     4622 |    11869    10907     17 |  0.001 % |
71.49/71.61	c |    603702 |     350     1519     4622 |    11869    11865     17 |  0.001 % |
71.59/71.72	c |    604756 |     350     1519     4622 |    11869    11728     17 |  0.001 % |
71.69/71.84	c |    605916 |     350     1519     4622 |    11869    11695     18 |  0.001 % |
71.79/71.97	c |    607190 |     350     1519     4622 |    11869    11779     18 |  0.001 % |
71.99/72.11	c |    608590 |     350     1519     4622 |    11869    10797     18 |  0.001 % |
72.09/72.27	c |    610130 |     350     1519     4622 | 2147483647    11146     18 |  0.001 % |
72.29/72.47	c |    611824 |     350     1519     4622 | 2147483647    12840     18 |  0.001 % |
72.49/72.68	c |    613688 |     350     1519     4622 | 2147483647    14704     18 |  0.001 % |
72.79/72.98	c |    615739 |     350     1519     4622 | 2147483647    16755     18 |  0.001 % |
73.09/73.30	c |    617994 |     350     1519     4622 | 2147483647    19010     18 |  0.001 % |
73.49/73.69	c |    620475 |     350     1519     4622 |    21016    17716     17 |  0.001 % |
73.88/74.07	c |    623201 |     350     1519     4622 |    21016    20442     17 |  0.001 % |
74.38/74.54	c |    626198 |     350     1519     4622 |    21016    18855     17 |  0.001 % |
74.88/75.06	c |    629495 |     350     1519     4622 |    21016    17304     16 |  0.001 % |
75.38/75.51	c |    633122 |     350     1519     4622 |    17810    16780     16 |  0.001 % |
75.88/76.03	c |    637109 |     350     1519     4622 |    17810    16850     16 |  0.001 % |
76.38/76.59	c |    641494 |     350     1519     4622 |    15973    14143     17 |  0.001 % |
77.08/77.23	c |    646317 |     350     1519     4622 |    15973    15825     18 |  0.001 % |
77.78/77.90	c |    651623 |     350     1519     4622 |    13175    12221     18 |  0.001 % |
78.38/78.50	c |    657462 |     350     1519     4622 |    13175    12101     18 |  0.001 % |
78.38/78.52	c |    657564 |     350     1519     4622 |    13175    12203     18 |  0.001 % |
78.38/78.53	c |    657675 |     350     1519     4622 |    13175    12314     18 |  0.001 % |
78.38/78.54	c |    657796 |     350     1519     4622 |    13175    12435     18 |  0.001 % |
78.38/78.56	c |    657930 |     350     1519     4622 |    13175    12569     18 |  0.001 % |
78.38/78.59	c |    658076 |     350     1519     4622 |    13175    12715     18 |  0.001 % |
78.48/78.61	c |    658236 |     350     1519     4622 |    13175    12875     18 |  0.001 % |
78.48/78.63	c |    658413 |     350     1519     4622 |    13175    13052     18 |  0.001 % |
78.48/78.66	c |    658607 |     350     1519     4622 |    13175    11362     18 |  0.001 % |
78.48/78.68	c |    658820 |     350     1519     4622 |    13175    11575     18 |  0.001 % |
78.58/78.70	c |    659054 |     350     1519     4622 |    13175    11809     18 |  0.001 % |
78.58/78.74	c |    659315 |     350     1519     4622 |    13175    12070     18 |  0.001 % |
78.58/78.77	c |    659597 |     350     1519     4622 |    13175    12352     18 |  0.001 % |
78.68/78.81	c |    659907 |     350     1519     4622 |    13175    12662     18 |  0.001 % |
78.68/78.86	c |    660248 |     350     1519     4622 |    12756    11181     18 |  0.001 % |
78.78/78.90	c |    660621 |     350     1519     4622 |    12756    11554     18 |  0.001 % |
78.78/78.95	c |    661031 |     350     1519     4622 |    12756    11964     18 |  0.001 % |
78.88/79.00	c |    661481 |     350     1519     4622 |    12756    12414     18 |  0.001 % |
78.88/79.07	c |    661977 |     350     1519     4622 |    12756    11048     18 |  0.001 % |
78.98/79.13	c |    662519 |     350     1519     4622 |    12756    11590     18 |  0.001 % |
78.98/79.19	c |    663115 |     350     1519     4622 |    12756    12186     18 |  0.001 % |
79.08/79.28	c |    663770 |     350     1519     4622 |    12756    11122     18 |  0.001 % |
79.18/79.36	c |    664492 |     350     1519     4622 |    12756    11844     18 |  0.001 % |
79.28/79.45	c |    665285 |     350     1519     4622 |    12756    12637     18 |  0.001 % |
79.38/79.54	c |    666156 |     350     1519     4622 |    12756    11794     17 |  0.001 % |
79.48/79.63	c |    667114 |     350     1519     4622 |    12756    12752     17 |  0.001 % |
79.58/79.74	c |    668167 |     350     1519     4622 |    12756    12220     18 |  0.001 % |
79.68/79.88	c |    669325 |     350     1519     4622 |    12756    11821     18 |  0.001 % |
79.88/80.03	c |    670598 |     350     1519     4622 |    12497    11574     17 |  0.001 % |
79.97/80.18	c |    671998 |     350     1519     4622 |    12497    11549     17 |  0.001 % |
80.18/80.33	c |    673538 |     350     1519     4622 |    12497    11789     17 |  0.001 % |
80.27/80.48	c |    675232 |     350     1519     4622 |    12497    12225     17 |  0.001 % |
80.47/80.66	c |    677095 |     350     1519     4622 |    12497    11580     17 |  0.001 % |
80.67/80.86	c |    679144 |     350     1519     4622 |    12497    12375     17 |  0.001 % |
80.97/81.10	c |    681397 |     350     1519     4622 | 2147483647    13376     17 |  0.001 % |
81.18/81.38	c |    683875 |     350     1519     4622 | 2147483647    15854     17 |  0.001 % |
81.57/81.76	c |    686602 |     350     1519     4622 | 2147483647    18581     17 |  0.001 % |
82.07/82.26	c |    689600 |     350     1519     4622 | 2147483647    21579     17 |  0.001 % |
82.57/82.72	c |    692897 |     350     1519     4622 |    21983    20511     17 |  0.001 % |
83.07/83.22	c |    696522 |     350     1519     4622 |    21983    19253     17 |  0.001 % |
83.57/83.73	c |    700509 |     350     1519     4622 |    17837    14434     17 |  0.001 % |
84.17/84.32	c |    704895 |     350     1519     4622 |    17837    14946     17 |  0.001 % |
84.77/84.91	c |    709719 |     350     1519     4622 |    17837    15947     17 |  0.001 % |
85.27/85.44	c |    715026 |     350     1519     4622 |    16229    14718     17 |  0.001 % |
85.87/86.07	c |    720861 |     350     1519     4622 |    13708    12088     18 |  0.001 % |
86.57/86.77	c |    727279 |     350     1519     4622 |    13708    12681     17 |  0.001 % |
86.57/86.78	c |    727379 |     350     1519     4622 |    13708    12781     17 |  0.001 % |
86.57/86.80	c |    727489 |     350     1519     4622 |    13708    12891     17 |  0.001 % |
86.68/86.81	c |    727610 |     350     1519     4622 |    13708    13012     17 |  0.001 % |
86.68/86.83	c |    727744 |     350     1519     4622 |    13708    13146     17 |  0.001 % |
86.68/86.84	c |    727890 |     350     1519     4622 |    13708    13292     17 |  0.001 % |
86.68/86.86	c |    728052 |     350     1519     4622 |    13708    13454     17 |  0.001 % |
86.68/86.88	c |    728229 |     350     1519     4622 |    13708    13631     17 |  0.001 % |
86.78/86.91	c |    728423 |     350     1519     4622 |    13708    11893     17 |  0.001 % |
86.78/86.93	c |    728635 |     350     1519     4622 |    13708    12105     17 |  0.001 % |
86.78/86.95	c |    728868 |     350     1519     4622 |    13708    12338     17 |  0.001 % |
86.78/86.97	c |    729124 |     350     1519     4622 |    13708    12594     17 |  0.001 % |
86.87/87.00	c |    729405 |     350     1519     4622 |    13708    12875     17 |  0.001 % |
86.87/87.04	c |    729715 |     350     1519     4622 |    13708    13185     17 |  0.001 % |
86.97/87.10	c |    730054 |     350     1519     4622 |    13470    11606     17 |  0.001 % |
86.97/87.14	c |    730426 |     350     1519     4622 |    13470    11978     17 |  0.001 % |
86.97/87.18	c |    730835 |     350     1519     4622 |    13470    12387     17 |  0.001 % |
87.07/87.23	c |    731286 |     350     1519     4622 |    13470    12838     17 |  0.001 % |
87.07/87.29	c |    731779 |     350     1519     4622 |    13470    13331     17 |  0.001 % |
87.17/87.36	c |    732321 |     350     1519     4622 |    13470    11932     16 |  0.001 % |
87.27/87.44	c |    732917 |     350     1519     4622 |    13470    12528     16 |  0.001 % |
87.37/87.50	c |    733572 |     350     1519     4622 |    13470    13183     16 |  0.001 % |
87.37/87.59	c |    734292 |     350     1519     4622 |    13470    11984     17 |  0.001 % |
87.47/87.68	c |    735084 |     350     1519     4622 |    13470    12776     17 |  0.001 % |
87.57/87.78	c |    735955 |     350     1519     4622 |    13470    11759     17 |  0.001 % |
87.67/87.87	c |    736913 |     350     1519     4622 |    13470    12717     17 |  0.001 % |
87.87/88.01	c |    737972 |     350     1519     4622 |    13470    11906     17 |  0.001 % |
87.97/88.14	c |    739130 |     350     1519     4622 |    13470    13064     17 |  0.001 % |
88.07/88.28	c |    740405 |     350     1519     4622 |    12096    10871     17 |  0.001 % |
88.27/88.42	c |    741805 |     350     1519     4622 |    12096    10864     17 |  0.001 % |
88.37/88.60	c |    743346 |     350     1519     4622 |    12096    11023     17 |  0.001 % |
88.57/88.76	c |    745041 |     350     1519     4622 |    12096    11454     17 |  0.001 % |
88.77/88.96	c |    746904 |     350     1519     4622 |    12096    12061     17 |  0.001 % |
88.97/89.17	c |    748953 |     350     1519     4622 |    12096    11654     16 |  0.001 % |
89.17/89.39	c |    751206 |     350     1519     4622 | 2147483647    12678     16 |  0.001 % |
89.57/89.70	c |    753685 |     350     1519     4622 | 2147483647    15157     17 |  0.001 % |
89.87/90.07	c |    756410 |     350     1519     4622 | 2147483647    17882     17 |  0.001 % |
90.27/90.49	c |    759409 |     350     1519     4622 | 2147483647    20881     17 |  0.001 % |
90.77/90.96	c |    762705 |     350     1519     4622 |    21472    19895     17 |  0.001 % |
91.37/91.59	c |    766330 |     350     1519     4622 |    21472    18587     17 |  0.001 % |
92.07/92.26	c |    770318 |     350     1519     4622 |    16745    12794     17 |  0.001 % |
92.57/92.77	c |    774705 |     350     1519     4622 |    16745    13607     18 |  0.001 % |
93.27/93.43	c |    779528 |     350     1519     4622 |    16745    14827     18 |  0.001 % |
93.77/93.95	c |    784833 |     350     1519     4622 |    15299    14422     18 |  0.001 % |
94.57/94.71	c |    790669 |     350     1519     4622 |    14236    12298     20 |  0.001 % |
95.37/95.50	c |    797088 |     350     1519     4622 |    14236    13448     18 |  0.001 % |
95.97/96.16	c |    804148 |     350     1519     4622 |    13787    13354     17 |  0.001 % |
95.97/96.17	c |    804250 |     350     1519     4622 |    13787    13456     17 |  0.001 % |
95.97/96.19	c |    804360 |     350     1519     4622 |    13787    13566     18 |  0.001 % |
96.07/96.20	c |    804481 |     350     1519     4622 |    13787    13687     18 |  0.001 % |
96.07/96.22	c |    804614 |     350     1519     4622 |    13787    13820     18 |  0.001 % |
96.07/96.24	c |    804760 |     350     1519     4622 |    13787    11945     17 |  0.001 % |
96.07/96.26	c |    804920 |     350     1519     4622 |    13787    12105     17 |  0.001 % |
96.07/96.28	c |    805097 |     350     1519     4622 |    13787    12282     17 |  0.001 % |
96.17/96.30	c |    805291 |     350     1519     4622 |    13787    12476     17 |  0.001 % |
96.17/96.33	c |    805503 |     350     1519     4622 |    13787    12688     17 |  0.001 % |
96.17/96.35	c |    805738 |     350     1519     4622 |    13787    12923     17 |  0.001 % |
96.17/96.38	c |    805995 |     350     1519     4622 |    13787    13180     17 |  0.001 % |
96.27/96.42	c |    806276 |     350     1519     4622 |    13787    13461     17 |  0.001 % |
96.27/96.47	c |    806585 |     350     1519     4622 |    13787    13770     17 |  0.001 % |
96.37/96.52	c |    806926 |     350     1519     4622 |    13787    11968     17 |  0.001 % |
96.37/96.56	c |    807298 |     350     1519     4622 |    13787    12340     18 |  0.001 % |
96.47/96.60	c |    807709 |     350     1519     4622 |    13787    12751     17 |  0.001 % |
96.47/96.66	c |    808159 |     350     1519     4622 |    13787    13201     17 |  0.001 % |
96.57/96.72	c |    808653 |     350     1519     4622 |    13787    13695     17 |  0.001 % |
96.57/96.78	c |    809196 |     350     1519     4622 |    13787    12095     17 |  0.001 % |
96.67/96.84	c |    809793 |     350     1519     4622 |    13787    12692     17 |  0.001 % |
96.77/96.93	c |    810448 |     350     1519     4622 |    12900    11366     17 |  0.001 % |
96.77/97.00	c |    811168 |     350     1519     4622 |    12900    12086     17 |  0.001 % |
96.87/97.07	c |    811960 |     350     1519     4622 |    12900    12878     17 |  0.001 % |
96.97/97.16	c |    812832 |     350     1519     4622 |    12900    12214     17 |  0.001 % |
97.07/97.27	c |    813791 |     350     1519     4622 |    12900    11734     17 |  0.001 % |
97.17/97.38	c |    814845 |     350     1519     4622 |    12900    12788     17 |  0.001 % |
97.36/97.51	c |    816004 |     350     1519     4622 |    12900    12571     17 |  0.001 % |
97.46/97.65	c |    817278 |     350     1519     4622 |    12900    12451     17 |  0.001 % |
97.67/97.81	c |    818678 |     350     1519     4622 |    12900    12452     17 |  0.001 % |
97.77/97.98	c |    820218 |     350     1519     4622 |    12367    11244     17 |  0.001 % |
97.96/98.17	c |    821912 |     350     1519     4622 |    12367    11672     17 |  0.001 % |
98.16/98.36	c |    823776 |     350     1519     4622 |    12367    12251     17 |  0.001 % |
98.36/98.59	c |    825826 |     350     1519     4622 |    12367    11820     17 |  0.001 % |
98.66/98.82	c |    828080 |     350     1519     4622 |    12367    11591     17 |  0.001 % |
98.87/99.08	c |    830559 |     350     1519     4622 | 2147483647    12830     17 |  0.001 % |
99.26/99.40	c |    833284 |     350     1519     4622 | 2147483647    15555     17 |  0.001 % |
99.56/99.77	c |    836283 |     350     1519     4622 | 2147483647    18554     17 |  0.001 % |
100.16/100.30	c |    839580 |     350     1519     4622 | 2147483647    21851     17 |  0.001 % |
100.66/100.87	c |    843206 |     350     1519     4622 |    22271    20798     17 |  0.001 % |
101.36/101.51	c |    847193 |     350     1519     4622 |    22271    19073     17 |  0.001 % |
101.96/102.18	c |    851579 |     350     1519     4622 |    21881    17685     17 |  0.001 % |
102.66/102.83	c |    856404 |     350     1519     4622 |    21881    16984     17 |  0.001 % |
103.46/103.64	c |    861709 |     350     1519     4622 |    20581    17062     17 |  0.001 % |
104.37/104.50	c |    867544 |     350     1519     4622 |    20581    17694     17 |  0.001 % |
105.06/105.23	c |    873965 |     350     1519     4622 |    20152    19421     18 |  0.001 % |
106.06/106.26	c |    881024 |     350     1519     4622 |    16676    14082     18 |  0.001 % |
107.06/107.24	c |    888789 |     350     1519     4622 |    16676    15198     18 |  0.001 % |
107.06/107.26	c |    888889 |     350     1519     4622 |    16676    15298     18 |  0.001 % |
107.06/107.28	c |    888999 |     350     1519     4622 |    16676    15408     18 |  0.001 % |
107.06/107.30	c |    889121 |     350     1519     4622 |    16676    15530     18 |  0.001 % |
107.16/107.32	c |    889257 |     350     1519     4622 |    16676    15666     18 |  0.001 % |
107.16/107.34	c |    889404 |     350     1519     4622 |    16676    15813     18 |  0.001 % |
107.16/107.36	c |    889564 |     350     1519     4622 |    16676    15973     18 |  0.001 % |
107.16/107.39	c |    889741 |     350     1519     4622 |    16676    16150     18 |  0.001 % |
107.26/107.42	c |    889934 |     350     1519     4622 |    16676    16343     18 |  0.001 % |
107.26/107.46	c |    890147 |     350     1519     4622 |    16409    13272     18 |  0.001 % |
107.26/107.49	c |    890381 |     350     1519     4622 |    16409    13506     18 |  0.001 % |
107.36/107.52	c |    890639 |     350     1519     4622 |    16409    13764     18 |  0.001 % |
107.36/107.55	c |    890922 |     350     1519     4622 |    16409    14047     18 |  0.001 % |
107.36/107.59	c |    891232 |     350     1519     4622 |    16409    14357     18 |  0.001 % |
107.46/107.64	c |    891571 |     350     1519     4622 |    16409    14696     18 |  0.001 % |
107.46/107.68	c |    891943 |     350     1519     4622 |    16409    15068     18 |  0.001 % |
107.56/107.72	c |    892353 |     350     1519     4622 |    16409    15478     18 |  0.001 % |
107.56/107.79	c |    892802 |     350     1519     4622 |    16409    15927     18 |  0.001 % |
107.66/107.85	c |    893296 |     350     1519     4622 |    16409    16421     18 |  0.001 % |
107.76/107.92	c |    893839 |     350     1519     4622 |    16409    13814     17 |  0.001 % |
107.76/107.99	c |    894435 |     350     1519     4622 |    16409    14410     17 |  0.001 % |
107.86/108.07	c |    895092 |     350     1519     4622 |    16409    15067     17 |  0.001 % |
107.96/108.19	c |    895813 |     350     1519     4622 |    16409    15788     17 |  0.001 % |
108.16/108.32	c |    896605 |     350     1519     4622 |    16409    13347     17 |  0.001 % |
108.26/108.41	c |    897478 |     350     1519     4622 |    16409    14220     17 |  0.001 % |
108.36/108.54	c |    898436 |     350     1519     4622 |    16409    15178     17 |  0.001 % |
108.46/108.68	c |    899489 |     350     1519     4622 |    16409    16231     17 |  0.001 % |
108.66/108.82	c |    900647 |     350     1519     4622 |    13587    11659     17 |  0.001 % |
108.76/108.95	c |    901921 |     350     1519     4622 |    13587    12933     17 |  0.001 % |
108.86/109.09	c |    903323 |     350     1519     4622 |    13587    12349     17 |  0.001 % |
109.06/109.26	c |    904866 |     350     1519     4622 |    13587    12136     17 |  0.001 % |
109.26/109.44	c |    906560 |     350     1519     4622 |    13587    12156     17 |  0.001 % |
109.46/109.63	c |    908423 |     350     1519     4622 |    13587    12406     17 |  0.001 % |
109.66/109.85	c |    910473 |     350     1519     4622 |    12385    11404     17 |  0.001 % |
109.86/110.09	c |    912727 |     350     1519     4622 |    12385    12258     17 |  0.001 % |
110.16/110.35	c |    915206 |     350     1519     4622 |    12385    11958     17 |  0.001 % |
110.46/110.64	c |    917931 |     350     1519     4622 |    12385    12023     16 |  0.001 % |
110.76/110.92	c |    920929 |     350     1519     4622 |    11510    11283     17 |  0.001 % |
111.06/111.22	c |    924227 |     350     1519     4622 |    11510    11118     17 |  0.001 % |
111.36/111.58	c |    927853 |     350     1519     4622 |    11510    11273     18 |  0.001 % |
111.76/111.97	c |    931841 |     350     1519     4622 | 2147483647    12952     18 |  0.001 % |
112.26/112.46	c |    936229 |     350     1519     4622 | 2147483647    17340     18 |  0.001 % |
113.06/113.23	c |    941052 |     350     1519     4622 |    21111    18442     18 |  0.001 % |
113.86/114.01	c |    946358 |     350     1519     4622 |    21111    18778     17 |  0.001 % |
114.66/114.85	c |    952193 |     350     1519     4622 |    17110    15028     16 |  0.001 % |
115.56/115.72	c |    958611 |     350     1519     4622 |    17110    13302     15 |  0.001 % |
116.36/116.55	c |    965670 |     350     1519     4622 |    14692    13950     16 |  0.001 % |
117.25/117.43	c |    973434 |     350     1519     4622 |    12532    11560     15 |  0.001 % |
118.15/118.30	c |    981974 |     350     1519     4622 |    11343    10577     16 |  0.001 % |
118.15/118.31	c |    982074 |     350     1519     4622 |    11343    10677     16 |  0.001 % |
118.15/118.32	c |    982185 |     350     1519     4622 |    11343    10788     16 |  0.001 % |
118.15/118.33	c |    982309 |     350     1519     4622 |    11343    10912     16 |  0.001 % |
118.15/118.34	c |    982442 |     350     1519     4622 |    11343    11045     16 |  0.001 % |
118.15/118.35	c |    982589 |     350     1519     4622 |    11343    11192     16 |  0.001 % |
118.15/118.37	c |    982749 |     350     1519     4622 |    11343    11352     16 |  0.001 % |
118.15/118.39	c |    982928 |     350     1519     4622 |    11343    10396     16 |  0.001 % |
118.25/118.41	c |    983123 |     350     1519     4622 |    11343    10591     16 |  0.001 % |
118.25/118.42	c |    983336 |     350     1519     4622 |    11343    10804     17 |  0.001 % |
118.25/118.46	c |    983571 |     350     1519     4622 |    11343    11039     17 |  0.001 % |
118.25/118.48	c |    983827 |     350     1519     4622 |    11343    11295     17 |  0.001 % |
118.35/118.52	c |    984110 |     350     1519     4622 |    11343    10441     17 |  0.001 % |
118.35/118.55	c |    984419 |     350     1519     4622 |    11343    10750     17 |  0.001 % |
118.35/118.58	c |    984758 |     350     1519     4622 |    11343    11089     17 |  0.001 % |
118.45/118.62	c |    985130 |     350     1519     4622 |    11343    10323     17 |  0.001 % |
118.45/118.66	c |    985539 |     350     1519     4622 |    11343    10732     17 |  0.001 % |
118.55/118.71	c |    985989 |     350     1519     4622 |    11343    11182     17 |  0.001 % |
118.55/118.77	c |    986482 |     350     1519     4622 |    11343    10537     17 |  0.001 % |
118.65/118.82	c |    987025 |     350     1519     4622 |    11343    11080     17 |  0.001 % |
118.65/118.88	c |    987621 |     350     1519     4622 |    11343    10538     17 |  0.001 % |
118.75/118.94	c |    988276 |     350     1519     4622 |    11343    11193     17 |  0.001 % |
118.85/119.02	c |    988998 |     350     1519     4622 |    11343    10778     17 |  0.001 % |
118.85/119.09	c |    989793 |     350     1519     4622 |    11343    10435     17 |  0.001 % |
118.95/119.17	c |    990665 |     350     1519     4622 | 2147483647    11307     17 |  0.001 % |
119.05/119.26	c |    991623 |     350     1519     4622 | 2147483647    12265     17 |  0.001 % |
119.15/119.37	c |    992679 |     350     1519     4622 | 2147483647    13321     17 |  0.001 % |
119.35/119.50	c |    993837 |     350     1519     4622 | 2147483647    14479     17 |  0.001 % |
119.45/119.64	c |    995110 |     350     1519     4622 | 2147483647    15752     18 |  0.001 % |
119.55/119.80	c |    996510 |     350     1519     4622 | 2147483647    17152     18 |  0.001 % |
119.75/119.99	c |    998050 |     350     1519     4622 | 2147483647    18692     18 |  0.001 % |
120.05/120.27	c |    999745 |     350     1519     4622 | 2147483647    20387     18 |  0.001 % |
120.45/120.61	c |   1001610 |     350     1519     4622 |    20642    18890     18 |  0.001 % |
120.75/120.97	c |   1003659 |     350     1519     4622 |    20642    16220     19 |  0.001 % |
121.15/121.31	c |   1005912 |     350     1519     4622 |    20642    18473     19 |  0.001 % |
121.55/121.71	c |   1008390 |     350     1519     4622 |    20642    16015     18 |  0.001 % |
121.85/122.07	c |   1011115 |     350     1519     4622 |    17625    14541     17 |  0.001 % |
122.35/122.52	c |   1014113 |     350     1519     4622 |    17625    17539     18 |  0.001 % |
122.75/122.97	c |   1017410 |     350     1519     4622 |    17625    16693     18 |  0.001 % |
123.34/123.56	c |   1021036 |     350     1519     4622 |    15228    12725     18 |  0.001 % |
123.74/123.96	c |   1025025 |     350     1519     4622 |    15228    13605     18 |  0.001 % |
124.24/124.45	c |   1029412 |     350     1519     4622 |    15228    15162     18 |  0.001 % |
124.84/125.00	c |   1034235 |     350     1519     4622 |    12966    12758     18 |  0.001 % |
125.44/125.61	c |   1039542 |     350     1519     4622 |    12966    12897     18 |  0.001 % |
125.94/126.15	c |   1045378 |     350     1519     4622 |    11621    10652     18 |  0.001 % |
126.64/126.81	c |   1051798 |     350     1519     4622 | 2147483647    12406     17 |  0.001 % |
127.54/127.75	c |   1058857 |     350     1519     4622 | 2147483647    19465     17 |  0.001 % |
128.54/128.77	c |   1066621 |     350     1519     4622 |    20608    18442     17 |  0.001 % |
129.64/129.89	c |   1075161 |     350     1519     4622 |    16879    14507     16 |  0.001 % |
130.74/131.00	c |   1084555 |     350     1519     4622 |    15989    14617     17 |  0.001 % |
130.84/131.01	c |   1084656 |     350     1519     4622 |    15989    14718     17 |  0.001 % |
130.84/131.03	c |   1084768 |     350     1519     4622 |    15989    14830     17 |  0.001 % |
130.84/131.04	c |   1084889 |     350     1519     4622 |    15989    14951     17 |  0.001 % |
130.84/131.06	c |   1085022 |     350     1519     4622 |    15989    15084     17 |  0.001 % |
130.84/131.08	c |   1085170 |     350     1519     4622 |    15989    15232     17 |  0.001 % |
130.94/131.10	c |   1085332 |     350     1519     4622 |    15989    15394     17 |  0.001 % |
130.94/131.13	c |   1085508 |     350     1519     4622 |    15989    15570     17 |  0.001 % |
130.94/131.15	c |   1085703 |     350     1519     4622 |    15989    15765     17 |  0.001 % |
130.94/131.18	c |   1085915 |     350     1519     4622 |    15989    15977     17 |  0.001 % |
131.04/131.22	c |   1086148 |     350     1519     4622 |    15989    13261     18 |  0.001 % |
131.04/131.24	c |   1086405 |     350     1519     4622 |    15989    13518     18 |  0.001 % |
131.04/131.28	c |   1086687 |     350     1519     4622 |    15989    13800     18 |  0.001 % |
131.14/131.32	c |   1086996 |     350     1519     4622 |    15989    14109     18 |  0.001 % |
131.14/131.36	c |   1087336 |     350     1519     4622 |    15989    14449     18 |  0.001 % |
131.24/131.40	c |   1087709 |     350     1519     4622 |    15989    14822     18 |  0.001 % |
131.24/131.46	c |   1088120 |     350     1519     4622 |    15989    15233     18 |  0.001 % |
131.34/131.52	c |   1088569 |     350     1519     4622 |    15989    15682     18 |  0.001 % |
131.44/131.61	c |   1089063 |     350     1519     4622 |    15989    13217     18 |  0.001 % |
131.44/131.68	c |   1089606 |     350     1519     4622 |    15989    13760     18 |  0.001 % |
131.54/131.75	c |   1090202 |     350     1519     4622 |    14160    11713     17 |  0.001 % |
131.64/131.82	c |   1090857 |     350     1519     4622 |    14160    12368     17 |  0.001 % |
131.74/131.90	c |   1091577 |     350     1519     4622 |    14160    13088     17 |  0.001 % |
131.74/132.00	c |   1092370 |     350     1519     4622 |    14160    13881     18 |  0.001 % |
131.84/132.09	c |   1093241 |     350     1519     4622 |    14160    12434     17 |  0.001 % |
131.94/132.18	c |   1094199 |     350     1519     4622 |    14160    13392     17 |  0.001 % |
132.14/132.34	c |   1095252 |     350     1519     4622 |    14160    12245     17 |  0.001 % |
132.24/132.44	c |   1096410 |     350     1519     4622 |    14160    13403     17 |  0.001 % |
132.44/132.60	c |   1097686 |     350     1519     4622 |    14160    12574     17 |  0.001 % |
132.54/132.77	c |   1099088 |     350     1519     4622 |    14160    13976     17 |  0.001 % |
132.74/132.95	c |   1100629 |     350     1519     4622 |    12771    11515     17 |  0.001 % |
132.94/133.13	c |   1102323 |     350     1519     4622 |    12771    11484     16 |  0.001 % |
133.14/133.32	c |   1104186 |     350     1519     4622 |    12771    11668     16 |  0.001 % |
133.34/133.51	c |   1106235 |     350     1519     4622 |    12771    12187     17 |  0.001 % |
133.53/133.73	c |   1108488 |     350     1519     4622 |    12771    11587     17 |  0.001 % |
133.73/133.97	c |   1110966 |     350     1519     4622 |    11721    11440     18 |  0.001 % |
134.04/134.25	c |   1113693 |     350     1519     4622 |    11721    10639     18 |  0.001 % |
134.33/134.56	c |   1116691 |     350     1519     4622 |    11721    11283     18 |  0.001 % |
134.73/134.92	c |   1119988 |     350     1519     4622 |    11721    11055     18 |  0.001 % |
135.14/135.32	c |   1123613 |     350     1519     4622 | 2147483647    14680     18 |  0.001 % |
135.73/135.96	c |   1127601 |     350     1519     4622 | 2147483647    18668     18 |  0.001 % |
136.43/136.66	c |   1131987 |     350     1519     4622 |    21067    18372     17 |  0.001 % |
137.23/137.42	c |   1136810 |     350     1519     4622 |    21067    17773     17 |  0.001 % |
137.93/138.15	c |   1142117 |     350     1519     4622 |    20964    17634     17 |  0.001 % |
138.83/139.08	c |   1147952 |     350     1519     4622 |    20964    17910     17 |  0.001 % |
139.73/139.98	c |   1154370 |     350     1519     4622 |    19958    19212     17 |  0.001 % |
140.73/140.90	c |   1161429 |     350     1519     4622 |    19946    16723     17 |  0.001 % |
141.73/141.98	c |   1169196 |     350     1519     4622 |    19946    19980     17 |  0.001 % |
142.73/142.96	c |   1177736 |     350     1519     4622 |    16321    14262     17 |  0.001 % |
143.73/143.96	c |   1187130 |     350     1519     4622 |    13469    12275     18 |  0.001 % |
144.83/145.08	c |   1197463 |     350     1519     4622 |    13205    13167     17 |  0.001 % |
144.93/145.11	c |   1197563 |     350     1519     4622 |    13205    11387     17 |  0.001 % |
144.93/145.11	c |   1197673 |     350     1519     4622 |    13205    11497     17 |  0.001 % |
144.93/145.12	c |   1197794 |     350     1519     4622 |    13205    11618     17 |  0.001 % |
144.93/145.14	c |   1197927 |     350     1519     4622 |    13205    11751     17 |  0.001 % |
144.93/145.15	c |   1198074 |     350     1519     4622 |    13205    11898     17 |  0.001 % |
144.93/145.17	c |   1198236 |     350     1519     4622 |    13205    12060     17 |  0.001 % |
144.93/145.19	c |   1198413 |     350     1519     4622 |    13205    12237     17 |  0.001 % |
145.03/145.21	c |   1198606 |     350     1519     4622 |    13205    12430     17 |  0.001 % |
145.03/145.23	c |   1198819 |     350     1519     4622 |    13205    12643     17 |  0.001 % |
145.03/145.25	c |   1199052 |     350     1519     4622 |    13205    12876     17 |  0.001 % |
145.03/145.27	c |   1199308 |     350     1519     4622 |    13205    13132     17 |  0.001 % |
145.13/145.31	c |   1199590 |     350     1519     4622 |    13205    11556     17 |  0.001 % |
145.13/145.34	c |   1199900 |     350     1519     4622 |    13205    11866     17 |  0.001 % |
145.13/145.38	c |   1200241 |     350     1519     4622 |    11968    10544     17 |  0.001 % |
145.23/145.42	c |   1200615 |     350     1519     4622 |    11968    10918     17 |  0.001 % |
145.23/145.47	c |   1201024 |     350     1519     4622 |    11968    11327     17 |  0.001 % |
145.33/145.52	c |   1201473 |     350     1519     4622 |    11968    11776     17 |  0.001 % |
145.33/145.57	c |   1201966 |     350     1519     4622 |    11968    10737     16 |  0.001 % |
145.42/145.64	c |   1202508 |     350     1519     4622 |    11968    11279     16 |  0.001 % |
145.52/145.70	c |   1203105 |     350     1519     4622 |    11968    11876     16 |  0.001 % |
145.52/145.77	c |   1203761 |     350     1519     4622 |    11968    11096     16 |  0.001 % |
145.62/145.84	c |   1204481 |     350     1519     4622 |    11968    11816     16 |  0.001 % |
145.72/145.92	c |   1205275 |     350     1519     4622 |    11968    11293     16 |  0.001 % |
145.82/146.00	c |   1206147 |     350     1519     4622 |    11968    10958     17 |  0.001 % |
145.82/146.10	c |   1207107 |     350     1519     4622 |    11968    11918     17 |  0.001 % |
146.03/146.20	c |   1208160 |     350     1519     4622 |    11968    11769     17 |  0.001 % |
146.13/146.32	c |   1209318 |     350     1519     4622 |    11968    11726     17 |  0.001 % |
146.22/146.44	c |   1210591 |     350     1519     4622 | 2147483647    11798     17 |  0.001 % |
146.32/146.57	c |   1211991 |     350     1519     4622 | 2147483647    13198     17 |  0.001 % |
146.52/146.74	c |   1213532 |     350     1519     4622 | 2147483647    14739     17 |  0.001 % |
146.72/146.96	c |   1215229 |     350     1519     4622 | 2147483647    16436     17 |  0.001 % |
147.02/147.21	c |   1217092 |     350     1519     4622 | 2147483647    18299     17 |  0.001 % |
147.32/147.52	c |   1219142 |     350     1519     4622 | 2147483647    20349     17 |  0.001 % |
147.62/147.83	c |   1221395 |     350     1519     4622 |    21207    18773     17 |  0.001 % |
147.92/148.19	c |   1223874 |     350     1519     4622 |    21207    16899     17 |  0.001 % |
148.33/148.60	c |   1226599 |     350     1519     4622 |    21207    19624     17 |  0.001 % |
148.82/149.01	c |   1229596 |     350     1519     4622 |    21207    17911     18 |  0.001 % |
149.22/149.40	c |   1232892 |     350     1519     4622 |    18316    17153     18 |  0.001 % |
149.62/149.86	c |   1236517 |     350     1519     4622 |    18316    16859     18 |  0.001 % |
150.22/150.41	c |   1240504 |     350     1519     4622 |    16415    13369     17 |  0.001 % |
150.72/150.97	c |   1244890 |     350     1519     4622 |    16415    14324     17 |  0.001 % |
151.33/151.57	c |   1249713 |     350     1519     4622 |    16415    15594     17 |  0.001 % |
152.03/152.23	c |   1255018 |     350     1519     4622 |    15881    14450     17 |  0.001 % |
152.53/152.78	c |   1260855 |     350     1519     4622 |    13827    12409     19 |  0.001 % |
153.23/153.49	c |   1267273 |     350     1519     4622 |    13827    12755     19 |  0.001 % |
154.13/154.33	c |   1274332 |     350     1519     4622 |    13439    11957     18 |  0.001 % |
155.03/155.29	c |   1282096 |     350     1519     4622 |    13474    13462     17 |  0.001 % |
155.83/156.07	c |   1290636 |     350     1519     4622 |    11950    11002     18 |  0.001 % |
156.83/157.05	c |   1300030 |     350     1519     4622 |    11758    11788     18 |  0.001 % |
157.83/158.03	c |   1310364 |     350     1519     4622 |    11489    10659     18 |  0.001 % |
158.92/159.19	c |   1321730 |     350     1519     4622 | 2147483647    12801     18 |  0.001 % |
159.02/159.20	c |   1321831 |     350     1519     4622 | 2147483647    12902     18 |  0.001 % |
159.02/159.22	c |   1321942 |     350     1519     4622 | 2147483647    13013     18 |  0.001 % |
159.02/159.23	c |   1322065 |     350     1519     4622 | 2147483647    13136     18 |  0.001 % |
159.02/159.25	c |   1322199 |     350     1519     4622 | 2147483647    13270     18 |  0.001 % |
159.02/159.27	c |   1322345 |     350     1519     4622 | 2147483647    13416     18 |  0.001 % |
159.12/159.30	c |   1322505 |     350     1519     4622 | 2147483647    13576     18 |  0.001 % |
159.12/159.33	c |   1322682 |     350     1519     4622 | 2147483647    13753     18 |  0.001 % |
159.12/159.35	c |   1322875 |     350     1519     4622 | 2147483647    13946     18 |  0.001 % |
159.12/159.38	c |   1323087 |     350     1519     4622 | 2147483647    14158     18 |  0.001 % |
159.23/159.41	c |   1323321 |     350     1519     4622 | 2147483647    14392     18 |  0.001 % |
159.23/159.44	c |   1323577 |     350     1519     4622 | 2147483647    14648     18 |  0.001 % |
159.23/159.48	c |   1323858 |     350     1519     4622 | 2147483647    14929     18 |  0.001 % |
159.33/159.52	c |   1324167 |     350     1519     4622 | 2147483647    15238     18 |  0.001 % |
159.33/159.57	c |   1324506 |     350     1519     4622 | 2147483647    15577     18 |  0.001 % |
159.42/159.64	c |   1324879 |     350     1519     4622 | 2147483647    15950     18 |  0.001 % |
159.42/159.69	c |   1325288 |     350     1519     4622 | 2147483647    16359     18 |  0.001 % |
159.52/159.75	c |   1325737 |     350     1519     4622 | 2147483647    16808     18 |  0.001 % |
159.62/159.82	c |   1326231 |     350     1519     4622 | 2147483647    17302     18 |  0.001 % |
159.72/159.90	c |   1326775 |     350     1519     4622 | 2147483647    17846     18 |  0.001 % |
159.72/159.98	c |   1327371 |     350     1519     4622 | 2147483647    18442     18 |  0.001 % |
159.82/160.07	c |   1328029 |     350     1519     4622 | 2147483647    19100     18 |  0.001 % |
159.92/160.18	c |   1328749 |     350     1519     4622 | 2147483647    19820     18 |  0.001 % |
160.12/160.30	c |   1329541 |     350     1519     4622 | 2147483647    20612     18 |  0.001 % |
160.22/160.47	c |   1330413 |     350     1519     4622 |    21072    17235     18 |  0.001 % |
160.43/160.61	c |   1331371 |     350     1519     4622 |    21072    18193     18 |  0.001 % |
160.52/160.78	c |   1332424 |     350     1519     4622 |    21072    19246     18 |  0.001 % |
160.72/160.96	c |   1333583 |     350     1519     4622 |    21072    20405     18 |  0.001 % |
161.02/161.21	c |   1334859 |     350     1519     4622 |    21072    16489     17 |  0.001 % |
161.22/161.41	c |   1336260 |     350     1519     4622 |    21072    17890     17 |  0.001 % |
161.43/161.67	c |   1337800 |     350     1519     4622 |    21072    19430     17 |  0.001 % |
161.72/161.98	c |   1339495 |     350     1519     4622 |    21072    21125     17 |  0.001 % |
162.02/162.22	c |   1341358 |     350     1519     4622 |    16250    13498     17 |  0.001 % |
162.22/162.48	c |   1343407 |     350     1519     4622 |    16250    15547     17 |  0.001 % |
162.53/162.79	c |   1345661 |     350     1519     4622 |    16250    14266     17 |  0.001 % |
162.92/163.12	c |   1348140 |     350     1519     4622 |    16250    13374     17 |  0.001 % |
163.22/163.42	c |   1350866 |     350     1519     4622 |    15234    13129     16 |  0.001 % |
163.52/163.79	c |   1353863 |     350     1519     4622 |    15234    13377     16 |  0.001 % |
163.92/164.19	c |   1357160 |     350     1519     4622 |    15234    14004     16 |  0.001 % |
164.42/164.67	c |   1360785 |     350     1519     4622 |    14089    12259     16 |  0.001 % |
164.92/165.16	c |   1364772 |     350     1519     4622 |    14089    13672     17 |  0.001 % |
165.52/165.72	c |   1369158 |     350     1519     4622 |    14089    12688     17 |  0.001 % |
166.02/166.28	c |   1373981 |     350     1519     4622 |    13531    12639     16 |  0.001 % |
166.62/166.89	c |   1379287 |     350     1519     4622 |    13531    13356     16 |  0.001 % |
167.32/167.52	c |   1385123 |     350     1519     4622 |    11832    11481     16 |  0.001 % |
168.02/168.22	c |   1391543 |     350     1519     4622 |    11418    11381     16 |  0.001 % |
168.62/168.84	c |   1398603 |     350     1519     4622 |    11418    10614     16 |  0.001 % |
169.42/169.64	c |   1406368 |     350     1519     4622 | 2147483647    17233     17 |  0.001 % |
170.62/170.88	c |   1414909 |     350     1519     4622 |    20865    17059     18 |  0.001 % |
172.11/172.33	c |   1424303 |     350     1519     4622 |    16838    16853     17 |  0.001 % |
173.22/173.47	c |   1434636 |     350     1519     4622 |    14667    13722     19 |  0.001 % |
174.51/174.71	c |   1446002 |     350     1519     4622 |    14495    13676     18 |  0.001 % |
175.82/176.09	c |   1458504 |     350     1519     4622 |    12767    11225     18 |  0.001 % |
175.91/176.10	c |   1458605 |     350     1519     4622 |    12767    11326     18 |  0.001 % |
175.91/176.11	c |   1458715 |     350     1519     4622 |    12767    11436     18 |  0.001 % |
175.91/176.12	c |   1458839 |     350     1519     4622 |    12767    11560     18 |  0.001 % |
175.91/176.14	c |   1458974 |     350     1519     4622 |    12767    11695     18 |  0.001 % |
175.91/176.15	c |   1459120 |     350     1519     4622 |    12767    11841     18 |  0.001 % |
175.91/176.16	c |   1459280 |     350     1519     4622 |    12767    12001     18 |  0.001 % |
175.91/176.18	c |   1459458 |     350     1519     4622 |    12767    12179     18 |  0.001 % |
176.01/176.20	c |   1459651 |     350     1519     4622 |    12767    12372     18 |  0.001 % |
176.01/176.23	c |   1459863 |     350     1519     4622 |    12767    12584     18 |  0.001 % |
176.01/176.26	c |   1460096 |     350     1519     4622 |    12721    11014     18 |  0.001 % |
176.01/176.28	c |   1460356 |     350     1519     4622 |    12721    11274     18 |  0.001 % |
176.11/176.31	c |   1460637 |     350     1519     4622 |    12721    11555     18 |  0.001 % |
176.11/176.34	c |   1460947 |     350     1519     4622 |    12721    11865     18 |  0.001 % |
176.11/176.37	c |   1461288 |     350     1519     4622 |    12721    12206     18 |  0.001 % |
176.21/176.40	c |   1461660 |     350     1519     4622 |    12721    12578     18 |  0.001 % |
176.21/176.45	c |   1462069 |     350     1519     4622 |    12721    11532     17 |  0.001 % |
176.21/176.49	c |   1462518 |     350     1519     4622 |    12721    11981     17 |  0.001 % |
176.31/176.54	c |   1463013 |     350     1519     4622 |    12721    12476     17 |  0.001 % |
176.41/176.60	c |   1463556 |     350     1519     4622 |    12721    11706     17 |  0.001 % |
176.41/176.66	c |   1464152 |     350     1519     4622 |    12721    12302     17 |  0.001 % |
176.51/176.73	c |   1464807 |     350     1519     4622 |    12721    11682     17 |  0.001 % |
176.61/176.80	c |   1465529 |     350     1519     4622 |    12721    12404     17 |  0.001 % |
176.61/176.90	c |   1466321 |     350     1519     4622 |    12721    11895     17 |  0.001 % |
176.71/176.99	c |   1467192 |     350     1519     4622 |    12721    11436     17 |  0.001 % |
176.82/177.10	c |   1468151 |     350     1519     4622 |    12721    12395     17 |  0.001 % |
177.01/177.22	c |   1469204 |     350     1519     4622 |    12721    12102     17 |  0.001 % |
177.11/177.35	c |   1470363 |     350     1519     4622 |    11511    10616     17 |  0.001 % |
177.21/177.47	c |   1471636 |     350     1519     4622 |    11511    10735     17 |  0.001 % |
177.41/177.63	c |   1473040 |     350     1519     4622 |    11511    10986     17 |  0.001 % |
177.51/177.77	c |   1474581 |     350     1519     4622 |    11511    11373     17 |  0.001 % |
177.71/177.93	c |   1476276 |     350     1519     4622 |    11511    10758     17 |  0.001 % |
177.92/178.10	c |   1478139 |     350     1519     4622 |    11511    11466     17 |  0.001 % |
178.11/178.33	c |   1480190 |     350     1519     4622 | 2147483647    11208     17 |  0.001 % |
178.31/178.58	c |   1482444 |     350     1519     4622 | 2147483647    13462     17 |  0.001 % |
178.61/178.87	c |   1484923 |     350     1519     4622 | 2147483647    15941     17 |  0.001 % |
179.02/179.23	c |   1487648 |     350     1519     4622 | 2147483647    18666     17 |  0.001 % |
179.51/179.75	c |   1490646 |     350     1519     4622 |    21018    17756     17 |  0.001 % |
180.01/180.24	c |   1493942 |     350     1519     4622 |    21018    21052     18 |  0.001 % |
180.51/180.77	c |   1497567 |     350     1519     4622 |    21018    20033     18 |  0.001 % |
181.01/181.26	c |   1501556 |     350     1519     4622 |    17619    15125     18 |  0.001 % |
181.61/181.86	c ===============================================================================
181.61/181.86	c restarts              : 1420
181.61/181.86	c conflicts             : 1505741        (8289 /sec)
181.61/181.86	c decisions             : 1819592        (1.81 % random) (10017 /sec)
181.61/181.86	c propagations          : 83469968       (459509 /sec)
181.61/181.86	c conflict literals     : 27595479       (20.74 % deleted)
181.61/181.86	c Memory used           : 6.54 MB
181.61/181.86	c CPU time              : 181.65 s
181.61/181.86	c 
181.61/181.86	s SATISFIABLE
181.61/181.87	s SATISFIABLE
181.61/181.87	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 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-1833579-1242823629/watcher-1833579-1242823629 -o /tmp/evaluation-result-1833579-1242823629/solver-1833579-1242823629 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833579-1242823629.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.01 3/65 3683
/proc/meminfo: memFree=1895664/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310392775 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3683/statm: 1339 235 195 169 0 50 0
[pid=3684] ppid=3683 vsize=0 CPUtime=0
/proc/3684/stat : 3684 (SatELiteGTI) R 3683 3683 3577 0 -1 4194372 61 188 0 0 0 0 0 0 21 0 1 0 310392775 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/3684/statm: -- couldn't open statm file --
[startup+0.0314831 s]
/proc/loadavg: 0.99 1.00 1.01 3/65 3683
/proc/meminfo: memFree=1895664/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101487 s]
/proc/loadavg: 0.99 1.00 1.01 3/65 3683
/proc/meminfo: memFree=1895664/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301508 s]
/proc/loadavg: 0.99 1.00 1.01 3/65 3683
/proc/meminfo: memFree=1895664/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701551 s]
/proc/loadavg: 0.99 1.00 1.01 3/65 3683
/proc/meminfo: memFree=1895664/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50164 s]
/proc/loadavg: 0.99 1.00 1.01 2/67 3689
/proc/meminfo: memFree=1893984/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=3660 CPUtime=1.47
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 562 0 0 0 147 0 0 0 25 0 1 0 310392776 3747840 548 1992294400 134512640 135215339 4294956240 18446744073709551615 134529122 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 915 548 76 171 0 742 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9016

[startup+3.10281 s]
/proc/loadavg: 0.99 1.00 1.01 2/67 3689
/proc/meminfo: memFree=1892832/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=4240 CPUtime=3.07
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 714 0 0 0 307 0 0 0 25 0 1 0 310392776 4341760 700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1060 700 76 171 0 887 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9596

[startup+6.30115 s]
/proc/loadavg: 0.99 1.00 1.01 2/67 3689
/proc/meminfo: memFree=1892640/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=4388 CPUtime=6.27
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 726 0 0 0 627 0 0 0 25 0 1 0 310392776 4493312 712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1097 712 76 171 0 924 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9744

[startup+12.7018 s]
/proc/loadavg: 0.99 1.00 1.01 2/67 3689
/proc/meminfo: memFree=1892384/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=4520 CPUtime=12.65
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 785 0 0 0 1265 0 0 0 25 0 1 0 310392776 4628480 771 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1130 771 76 171 0 957 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 9876

[startup+25.5012 s]
/proc/loadavg: 0.99 1.00 1.01 2/67 3689
/proc/meminfo: memFree=1892064/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=4784 CPUtime=25.44
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 847 0 0 0 2543 1 0 0 25 0 1 0 310392776 4898816 833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1196 833 76 171 0 1023 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10140

[startup+51.1019 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1891680/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=5184 CPUtime=50.99
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 950 0 0 0 5098 1 0 0 25 0 1 0 310392776 5308416 936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1296 936 76 171 0 1123 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 10540

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1890720/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=5868 CPUtime=102.17
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1122 0 0 0 10215 2 0 0 25 0 1 0 310392776 6008832 1108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1467 1108 76 171 0 1294 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 11224

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889952/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6560 CPUtime=162.12
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1288 0 0 0 16209 3 0 0 25 0 1 0 310392776 6717440 1274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1640 1274 76 171 0 1467 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 11916

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

[startup+166.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889952/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6560 CPUtime=166.12
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1288 0 0 0 16609 3 0 0 25 0 1 0 310392776 6717440 1274 1992294400 134512640 135215339 4294956240 18446744073709551615 134525090 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1640 1274 76 171 0 1467 0
Current children cumulated CPU time (s) 166.12
Current children cumulated vsize (KiB) 11916

[startup+172.706 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889824/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=172.52
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1303 0 0 0 17249 3 0 0 25 0 1 0 310392776 6856704 1289 1992294400 134512640 135215339 4294956240 18446744073709551615 134538974 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1289 76 171 0 1501 0
Current children cumulated CPU time (s) 172.52
Current children cumulated vsize (KiB) 12052

[startup+175.901 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889824/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=175.72
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1306 0 0 0 17569 3 0 0 25 0 1 0 310392776 6856704 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1292 76 171 0 1501 0
Current children cumulated CPU time (s) 175.72
Current children cumulated vsize (KiB) 12052

[startup+179.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889824/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=178.91
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1306 0 0 0 17888 3 0 0 25 0 1 0 310392776 6856704 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1292 76 171 0 1501 0
Current children cumulated CPU time (s) 178.91
Current children cumulated vsize (KiB) 12052

[startup+180.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889824/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=180.51
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1313 0 0 0 18048 3 0 0 25 0 1 0 310392776 6856704 1299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1299 76 171 0 1501 0
Current children cumulated CPU time (s) 180.51
Current children cumulated vsize (KiB) 12052

[startup+181.506 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889760/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=181.31
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1320 0 0 0 18128 3 0 0 25 0 1 0 310392776 6856704 1306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1306 76 171 0 1501 0
Current children cumulated CPU time (s) 181.31
Current children cumulated vsize (KiB) 12052

[startup+181.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889760/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=181.51
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1320 0 0 0 18148 3 0 0 25 0 1 0 310392776 6856704 1306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1306 76 171 0 1501 0
Current children cumulated CPU time (s) 181.51
Current children cumulated vsize (KiB) 12052

[startup+181.802 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3689
/proc/meminfo: memFree=1889760/2055920 swapFree=4105488/4192956
[pid=3683] ppid=3681 vsize=5356 CPUtime=0
/proc/3683/stat : 3683 (SatELiteGTI) S 3681 3683 3577 0 -1 4194304 336 401 0 0 0 0 0 0 20 0 1 0 310392775 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3683/statm: 1339 239 197 169 0 50 0
[pid=3689] ppid=3683 vsize=6696 CPUtime=181.61
/proc/3689/stat : 3689 (minisat_static) R 3683 3683 3577 0 -1 4194304 1320 0 0 0 18158 3 0 0 25 0 1 0 310392776 6856704 1306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/3689/statm: 1674 1306 76 171 0 1501 0
Current children cumulated CPU time (s) 181.61
Current children cumulated vsize (KiB) 12052

Child status: 10
Real time (s): 181.876
CPU time (s): 181.703
CPU user time (s): 181.658
CPU system time (s): 0.044993
CPU usage (%): 99.9053
Max. virtual memory (cumulated for all children) (KiB): 12052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.658
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2353
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= 48
involuntary context switches= 3131

runsolver used 0.19497 second user time and 0.566913 second system time

The end

Launcher Data

Begin job on node81 at 2009-05-20 14:47:09
IDJOB=1833579
IDBENCH=70753
IDSOLVER=671
FILE ID=node81/1833579-1242823629
PBS_JOBID= 9322519
Free space on /tmp= 126528 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/360/unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833579-1242823629/watcher-1833579-1242823629 -o /tmp/evaluation-result-1833579-1242823629/solver-1833579-1242823629 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833579-1242823629.cnf

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

MD5SUM BENCH= 827e988c6cf21e8a9c90f9f21d3beb6e
RANDOM SEED=985491788

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1896216 kB
Buffers:         17076 kB
Cached:          26232 kB
SwapCached:      80860 kB
Active:          36516 kB
Inactive:        89348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1896216 kB
SwapTotal:     4192956 kB
SwapFree:      4105488 kB
Dirty:            1604 kB
Writeback:           0 kB
Mapped:          13620 kB
Slab:            19660 kB
Committed_AS:   948316 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-20 14:50:11