Trace number 1833477

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 313.916 314.138

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
MD5SUMf67f090e24644066ce5872fbc256498a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses1870
Sum of the clauses size5610
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31870
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 |    1870     5610 |     560       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    1859     5641 |      --       0       --      -- |     --   | -11/31
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 428   #clauses: 1859   #literals: 5641
0.00/0.01	c CPU time:   0.004999 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:  428                                                  |
0.00/0.01	c |  Number of clauses:    1859                                                 |
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 |     428     1859     5641 |      619        0    nan |  0.000 % |
0.00/0.01	c |       101 |     428     1859     5641 |      619      101     19 |  0.001 % |
0.00/0.02	c |       201 |     428     1859     5641 |      619      201     20 |  0.001 % |
0.00/0.02	c |       303 |     428     1859     5641 |      619      303     20 |  0.001 % |
0.00/0.02	c |       415 |     428     1859     5641 |      619      415     20 |  0.001 % |
0.00/0.03	c |       515 |     428     1859     5641 |      619      515     20 |  0.001 % |
0.00/0.03	c |       625 |     428     1859     5641 |      619      625     21 |  0.001 % |
0.00/0.03	c |       747 |     428     1859     5641 |      619      618     20 |  0.001 % |
0.00/0.04	c |       847 |     428     1859     5641 |      619      653     19 |  0.001 % |
0.00/0.04	c |       958 |     428     1859     5641 |      619      634     19 |  0.001 % |
0.00/0.05	c |      1080 |     428     1859     5641 |      619      629     18 |  0.001 % |
0.00/0.05	c |      1213 |     428     1859     5641 |      619      633     18 |  0.001 % |
0.00/0.05	c |      1314 |     428     1859     5641 |      619      671     19 |  0.001 % |
0.00/0.06	c |      1425 |     428     1859     5641 |      619      648     19 |  0.001 % |
0.00/0.06	c |      1547 |     428     1859     5641 |      619      641     19 |  0.001 % |
0.00/0.06	c |      1680 |     428     1859     5641 |      619      644     19 |  0.001 % |
0.00/0.07	c |      1826 |     428     1859     5641 |      619      662     19 |  0.001 % |
0.00/0.07	c |      1926 |     428     1859     5641 |      619      631     19 |  0.001 % |
0.00/0.08	c |      2039 |     428     1859     5641 |      619      681     19 |  0.001 % |
0.00/0.08	c |      2160 |     428     1859     5641 |      619      607     19 |  0.001 % |
0.00/0.08	c |      2293 |     428     1859     5641 |      619      676     19 |  0.001 % |
0.00/0.09	c |      2442 |     428     1859     5641 |      619      629     19 |  0.001 % |
0.00/0.09	c |      2604 |     428     1859     5641 |      619      664     18 |  0.001 % |
0.00/0.10	c |      2704 |     428     1859     5641 |      619      634     18 |  0.001 % |
0.00/0.10	c |      2815 |     428     1859     5641 |      619      616     18 |  0.001 % |
0.00/0.11	c |      2937 |     428     1859     5641 |      619      612     17 |  0.001 % |
0.00/0.11	c |      3070 |     428     1859     5641 |      619      616     17 |  0.001 % |
0.00/0.12	c |      3217 |     428     1859     5641 |      619      634     18 |  0.001 % |
0.00/0.12	c |      3377 |     428     1859     5641 |      619      665     18 |  0.001 % |
0.00/0.13	c |      3553 |     428     1859     5641 |      619      645     18 |  0.001 % |
0.00/0.13	c |      3653 |     428     1859     5641 |      619      617     17 |  0.001 % |
0.00/0.13	c |      3765 |     428     1859     5641 |      619      600     17 |  0.001 % |
0.00/0.14	c |      3886 |     428     1859     5641 |      619      656     17 |  0.001 % |
0.00/0.14	c |      4019 |     428     1859     5641 |      619      660     17 |  0.001 % |
0.00/0.15	c |      4166 |     428     1859     5641 |      619      612     16 |  0.001 % |
0.00/0.15	c |      4327 |     428     1859     5641 |      619      643     17 |  0.001 % |
0.00/0.16	c |      4503 |     428     1859     5641 |      619      623     17 |  0.001 % |
0.00/0.16	c |      4696 |     428     1859     5641 |      619      627     17 |  0.001 % |
0.00/0.17	c |      4800 |     428     1859     5641 |      619      669     17 |  0.001 % |
0.00/0.17	c |      4910 |     428     1859     5641 |      619      648     17 |  0.001 % |
0.00/0.18	c |      5032 |     428     1859     5641 |      619      641     17 |  0.001 % |
0.00/0.18	c |      5165 |     428     1859     5641 |      619      646     17 |  0.001 % |
0.00/0.19	c |      5311 |     428     1859     5641 |      619      662     18 |  0.001 % |
0.00/0.19	c |      5472 |     428     1859     5641 |      619      629     18 |  0.001 % |
0.00/0.20	c |      5649 |     428     1859     5641 |      619      680     18 |  0.001 % |
0.00/0.20	c |      5842 |     428     1859     5641 |      619      673     17 |  0.001 % |
0.00/0.21	c |      6055 |     428     1859     5641 |      619      624     17 |  0.001 % |
0.00/0.21	c |      6156 |     428     1859     5641 |      619      663     18 |  0.001 % |
0.00/0.22	c |      6267 |     428     1859     5641 |      619      644     17 |  0.001 % |
0.00/0.22	c |      6388 |     428     1859     5641 |      619      635     18 |  0.001 % |
0.00/0.23	c |      6521 |     428     1859     5641 |      619      705     18 |  0.001 % |
0.00/0.23	c |      6667 |     428     1859     5641 |      619      653     18 |  0.001 % |
0.00/0.24	c |      6827 |     428     1859     5641 |      619      618     17 |  0.001 % |
0.00/0.24	c |      7003 |     428     1859     5641 |      619      661     17 |  0.001 % |
0.00/0.25	c |      7197 |     428     1859     5641 |      619      656     18 |  0.001 % |
0.00/0.26	c |      7410 |     428     1859     5641 |      619      612     17 |  0.001 % |
0.00/0.26	c |      7643 |     428     1859     5641 |      619      651     17 |  0.001 % |
0.00/0.27	c |      7746 |     428     1859     5641 |      619      626     16 |  0.001 % |
0.00/0.27	c |      7856 |     428     1859     5641 |      619      674     16 |  0.001 % |
0.00/0.27	c |      7977 |     428     1859     5641 |      619      663     17 |  0.001 % |
0.00/0.28	c |      8112 |     428     1859     5641 |      619      603     17 |  0.001 % |
0.00/0.28	c |      8258 |     428     1859     5641 |      619      618     17 |  0.001 % |
0.00/0.29	c |      8419 |     428     1859     5641 |      619      648     16 |  0.001 % |
0.00/0.30	c |      8598 |     428     1859     5641 |      619      636     17 |  0.001 % |
0.00/0.30	c |      8793 |     428     1859     5641 |      619      638     17 |  0.001 % |
0.00/0.31	c |      9005 |     428     1859     5641 |      619      605     16 |  0.001 % |
0.00/0.32	c |      9238 |     428     1859     5641 |      619      643     17 |  0.001 % |
0.00/0.33	c |      9497 |     428     1859     5641 |      619      646     17 |  0.001 % |
0.00/0.33	c |      9598 |     428     1859     5641 |      619      683     17 |  0.001 % |
0.00/0.33	c |      9709 |     428     1859     5641 |      619      660     17 |  0.001 % |
0.00/0.34	c |      9832 |     428     1859     5641 |      619      651     17 |  0.001 % |
0.00/0.34	c |      9965 |     428     1859     5641 |      619      654     17 |  0.001 % |
0.00/0.35	c |     10112 |     428     1859     5641 | 2147483647      736     18 |  0.001 % |
0.00/0.35	c |     10274 |     428     1859     5641 | 2147483647      898     19 |  0.001 % |
0.00/0.36	c |     10451 |     428     1859     5641 | 2147483647     1075     20 |  0.001 % |
0.00/0.37	c |     10645 |     428     1859     5641 | 2147483647     1269     20 |  0.001 % |
0.00/0.37	c |     10857 |     428     1859     5641 | 2147483647     1481     20 |  0.001 % |
0.00/0.38	c |     11091 |     428     1859     5641 | 2147483647     1715     20 |  0.001 % |
0.00/0.39	c |     11347 |     428     1859     5641 | 2147483647     1971     21 |  0.001 % |
0.00/0.40	c |     11629 |     428     1859     5641 | 2147483647     2253     21 |  0.001 % |
0.00/0.41	c |     11730 |     428     1859     5641 | 2147483647     2354     21 |  0.001 % |
0.00/0.41	c |     11840 |     428     1859     5641 | 2147483647     2464     21 |  0.001 % |
0.00/0.42	c |     11962 |     428     1859     5641 | 2147483647     2586     21 |  0.001 % |
0.00/0.42	c |     12097 |     428     1859     5641 | 2147483647     2721     21 |  0.001 % |
0.00/0.43	c |     12244 |     428     1859     5641 | 2147483647     2868     21 |  0.001 % |
0.00/0.43	c |     12405 |     428     1859     5641 | 2147483647     3029     21 |  0.001 % |
0.00/0.44	c |     12581 |     428     1859     5641 | 2147483647     3205     21 |  0.001 % |
0.00/0.45	c |     12778 |     428     1859     5641 | 2147483647     3402     21 |  0.001 % |
0.00/0.46	c |     12990 |     428     1859     5641 | 2147483647     3614     21 |  0.001 % |
0.00/0.47	c |     13225 |     428     1859     5641 | 2147483647     3849     21 |  0.001 % |
0.00/0.49	c |     13482 |     428     1859     5641 | 2147483647     4106     21 |  0.001 % |
0.00/0.50	c |     13764 |     428     1859     5641 | 2147483647     4388     21 |  0.001 % |
0.00/0.52	c |     14073 |     428     1859     5641 | 2147483647     4697     21 |  0.001 % |
0.00/0.52	c |     14175 |     428     1859     5641 | 2147483647     4799     21 |  0.001 % |
0.00/0.53	c |     14285 |     428     1859     5641 | 2147483647     4909     21 |  0.001 % |
0.00/0.54	c |     14408 |     428     1859     5641 | 2147483647     5032     21 |  0.001 % |
0.00/0.54	c |     14541 |     428     1859     5641 | 2147483647     5165     21 |  0.001 % |
0.00/0.55	c |     14688 |     428     1859     5641 | 2147483647     5312     21 |  0.001 % |
0.00/0.56	c |     14848 |     428     1859     5641 | 2147483647     5472     21 |  0.001 % |
0.00/0.57	c |     15025 |     428     1859     5641 | 2147483647     5649     21 |  0.001 % |
0.00/0.59	c |     15218 |     428     1859     5641 | 2147483647     5842     21 |  0.001 % |
0.00/0.60	c |     15431 |     428     1859     5641 | 2147483647     6055     21 |  0.001 % |
0.00/0.62	c |     15664 |     428     1859     5641 | 2147483647     6288     21 |  0.001 % |
0.00/0.63	c |     15922 |     428     1859     5641 | 2147483647     6546     21 |  0.001 % |
0.00/0.65	c |     16206 |     428     1859     5641 | 2147483647     6830     21 |  0.001 % |
0.00/0.68	c |     16516 |     428     1859     5641 | 2147483647     7140     21 |  0.001 % |
0.00/0.70	c |     16856 |     428     1859     5641 | 2147483647     7480     21 |  0.001 % |
0.00/0.70	c |     16957 |     428     1859     5641 | 2147483647     7581     21 |  0.001 % |
0.00/0.71	c |     17067 |     428     1859     5641 | 2147483647     7691     21 |  0.001 % |
0.00/0.72	c |     17188 |     428     1859     5641 | 2147483647     7812     21 |  0.001 % |
0.00/0.73	c |     17321 |     428     1859     5641 | 2147483647     7945     21 |  0.001 % |
0.00/0.74	c |     17467 |     428     1859     5641 | 2147483647     8091     21 |  0.001 % |
0.00/0.76	c |     17629 |     428     1859     5641 | 2147483647     8253     21 |  0.001 % |
0.00/0.77	c |     17805 |     428     1859     5641 | 2147483647     8429     21 |  0.001 % |
0.00/0.78	c |     18000 |     428     1859     5641 | 2147483647     8624     21 |  0.001 % |
0.00/0.80	c |     18214 |     428     1859     5641 | 2147483647     8838     21 |  0.001 % |
0.00/0.82	c |     18447 |     428     1859     5641 | 2147483647     9071     21 |  0.001 % |
0.00/0.84	c |     18703 |     428     1859     5641 | 2147483647     9327     21 |  0.001 % |
0.00/0.86	c |     18984 |     428     1859     5641 | 2147483647     9608     21 |  0.001 % |
0.00/0.89	c |     19293 |     428     1859     5641 | 2147483647     9917     21 |  0.001 % |
0.00/0.92	c |     19633 |     428     1859     5641 | 2147483647    10257     21 |  0.001 % |
0.00/0.95	c |     20005 |     428     1859     5641 | 2147483647    10629     22 |  0.001 % |
0.00/0.96	c |     20107 |     428     1859     5641 | 2147483647    10731     22 |  0.001 % |
0.00/0.97	c |     20217 |     428     1859     5641 | 2147483647    10841     21 |  0.001 % |
0.00/0.98	c |     20338 |     428     1859     5641 | 2147483647    10962     21 |  0.001 % |
0.00/0.99	c |     20472 |     428     1859     5641 | 2147483647    11096     21 |  0.001 % |
0.98/1.01	c |     20618 |     428     1859     5641 | 2147483647    11242     21 |  0.001 % |
0.98/1.03	c |     20779 |     428     1859     5641 | 2147483647    11403     21 |  0.001 % |
0.98/1.04	c |     20958 |     428     1859     5641 | 2147483647    11582     21 |  0.001 % |
0.98/1.06	c |     21151 |     428     1859     5641 | 2147483647    11775     21 |  0.001 % |
0.98/1.08	c |     21365 |     428     1859     5641 | 2147483647    11989     21 |  0.001 % |
1.08/1.11	c |     21598 |     428     1859     5641 | 2147483647    12222     21 |  0.001 % |
1.08/1.14	c |     21855 |     428     1859     5641 | 2147483647    12479     21 |  0.001 % |
1.08/1.17	c |     22137 |     428     1859     5641 | 2147483647    12761     21 |  0.001 % |
1.18/1.21	c |     22449 |     428     1859     5641 | 2147483647    13073     21 |  0.001 % |
1.18/1.25	c |     22789 |     428     1859     5641 | 2147483647    13413     21 |  0.001 % |
1.18/1.29	c |     23163 |     428     1859     5641 | 2147483647    13787     21 |  0.001 % |
1.28/1.33	c |     23572 |     428     1859     5641 | 2147483647    14196     21 |  0.001 % |
1.28/1.35	c |     23674 |     428     1859     5641 | 2147483647    14298     21 |  0.001 % |
1.28/1.36	c |     23784 |     428     1859     5641 | 2147483647    14408     21 |  0.001 % |
1.28/1.38	c |     23907 |     428     1859     5641 | 2147483647    14531     21 |  0.001 % |
1.28/1.39	c |     24040 |     428     1859     5641 | 2147483647    14664     21 |  0.001 % |
1.38/1.41	c |     24186 |     428     1859     5641 | 2147483647    14810     21 |  0.001 % |
1.38/1.43	c |     24347 |     428     1859     5641 | 2147483647    14971     21 |  0.001 % |
1.38/1.45	c |     24523 |     428     1859     5641 | 2147483647    15147     21 |  0.001 % |
1.38/1.47	c |     24718 |     428     1859     5641 | 2147483647    15342     21 |  0.001 % |
1.48/1.50	c |     24931 |     428     1859     5641 | 2147483647    15555     21 |  0.001 % |
1.48/1.53	c |     25164 |     428     1859     5641 | 2147483647    15788     21 |  0.001 % |
1.48/1.57	c |     25420 |     428     1859     5641 | 2147483647    16044     21 |  0.001 % |
1.57/1.60	c |     25701 |     428     1859     5641 | 2147483647    16325     21 |  0.001 % |
1.57/1.65	c |     26012 |     428     1859     5641 | 2147483647    16636     21 |  0.001 % |
1.57/1.69	c |     26352 |     428     1859     5641 | 2147483647    16976     21 |  0.001 % |
1.67/1.74	c |     26724 |     428     1859     5641 | 2147483647    17348     21 |  0.001 % |
1.77/1.80	c |     27135 |     428     1859     5641 | 2147483647    17759     22 |  0.001 % |
1.77/1.87	c |     27585 |     428     1859     5641 | 2147483647    18209     22 |  0.001 % |
1.77/1.89	c |     27687 |     428     1859     5641 | 2147483647    18311     22 |  0.001 % |
1.87/1.90	c |     27798 |     428     1859     5641 | 2147483647    18422     22 |  0.001 % |
1.87/1.93	c |     27919 |     428     1859     5641 | 2147483647    18543     22 |  0.001 % |
1.87/1.95	c |     28055 |     428     1859     5641 | 2147483647    18679     22 |  0.001 % |
1.87/1.97	c |     28201 |     428     1859     5641 | 2147483647    18825     22 |  0.001 % |
1.97/2.01	c |     28362 |     428     1859     5641 | 2147483647    18986     22 |  0.001 % |
1.97/2.03	c |     28538 |     428     1859     5641 | 2147483647    19162     22 |  0.001 % |
1.97/2.07	c |     28731 |     428     1859     5641 | 2147483647    19355     22 |  0.001 % |
2.08/2.11	c |     28945 |     428     1859     5641 | 2147483647    19569     22 |  0.001 % |
2.08/2.15	c |     29179 |     428     1859     5641 | 2147483647    19803     22 |  0.001 % |
2.08/2.19	c |     29436 |     428     1859     5641 | 2147483647    20060     22 |  0.001 % |
2.17/2.24	c |     29719 |     428     1859     5641 | 2147483647    20343     22 |  0.001 % |
2.17/2.29	c |     30028 |     428     1859     5641 | 2147483647    20652     22 |  0.001 % |
2.27/2.35	c |     30368 |     428     1859     5641 | 2147483647    20992     22 |  0.001 % |
2.37/2.41	c |     30741 |     428     1859     5641 | 2147483647    21365     22 |  0.001 % |
2.37/2.49	c |     31151 |     428     1859     5641 | 2147483647    21775     22 |  0.001 % |
2.47/2.58	c |     31601 |     428     1859     5641 | 2147483647    22225     22 |  0.001 % |
2.57/2.67	c |     32095 |     428     1859     5641 | 2147483647    22719     22 |  0.001 % |
2.57/2.69	c |     32195 |     428     1859     5641 | 2147483647    22819     22 |  0.001 % |
2.67/2.71	c |     32305 |     428     1859     5641 | 2147483647    22929     22 |  0.001 % |
2.67/2.74	c |     32427 |     428     1859     5641 | 2147483647    23051     22 |  0.001 % |
2.67/2.76	c |     32560 |     428     1859     5641 | 2147483647    23184     22 |  0.001 % |
2.67/2.79	c |     32706 |     428     1859     5641 | 2147483647    23330     22 |  0.001 % |
2.77/2.82	c |     32866 |     428     1859     5641 | 2147483647    23490     22 |  0.001 % |
2.77/2.86	c |     33042 |     428     1859     5641 | 2147483647    23666     22 |  0.001 % |
2.87/2.90	c |     33237 |     428     1859     5641 | 2147483647    23861     22 |  0.001 % |
2.87/2.95	c |     33449 |     428     1859     5641 | 2147483647    24073     22 |  0.001 % |
2.97/3.00	c |     33683 |     428     1859     5641 | 2147483647    24307     22 |  0.001 % |
2.97/3.05	c |     33940 |     428     1859     5641 | 2147483647    24564     22 |  0.001 % |
3.07/3.12	c |     34221 |     428     1859     5641 | 2147483647    24845     22 |  0.001 % |
3.07/3.19	c |     34532 |     428     1859     5641 | 2147483647    25156     22 |  0.001 % |
3.17/3.26	c |     34872 |     428     1859     5641 | 2147483647    25496     22 |  0.001 % |
3.27/3.35	c |     35244 |     428     1859     5641 | 2147483647    25868     22 |  0.001 % |
3.36/3.45	c |     35655 |     428     1859     5641 | 2147483647    26279     22 |  0.001 % |
3.46/3.55	c |     36106 |     428     1859     5641 | 2147483647    26730     22 |  0.001 % |
3.56/3.67	c |     36601 |     428     1859     5641 | 2147483647    27225     22 |  0.001 % |
3.76/3.80	c |     37144 |     428     1859     5641 | 2147483647    27768     22 |  0.001 % |
3.76/3.82	c |     37244 |     428     1859     5641 | 2147483647    27868     22 |  0.001 % |
3.76/3.86	c |     37355 |     428     1859     5641 | 2147483647    27979     22 |  0.001 % |
3.76/3.89	c |     37477 |     428     1859     5641 | 2147483647    28101     22 |  0.001 % |
3.86/3.92	c |     37610 |     428     1859     5641 | 2147483647    28234     22 |  0.001 % |
3.86/3.96	c |     37757 |     428     1859     5641 | 2147483647    28381     22 |  0.001 % |
3.96/4.01	c |     37918 |     428     1859     5641 | 2147483647    28542     22 |  0.001 % |
3.96/4.06	c |     38096 |     428     1859     5641 | 2147483647    28720     22 |  0.001 % |
4.06/4.11	c |     38290 |     428     1859     5641 | 2147483647    28914     22 |  0.001 % |
4.06/4.17	c |     38502 |     428     1859     5641 | 2147483647    29126     22 |  0.001 % |
4.16/4.24	c |     38735 |     428     1859     5641 | 2147483647    29359     22 |  0.001 % |
4.27/4.32	c |     38992 |     428     1859     5641 | 2147483647    29616     22 |  0.001 % |
4.27/4.40	c |     39273 |     428     1859     5641 | 2147483647    29897     22 |  0.001 % |
4.37/4.49	c |     39582 |     428     1859     5641 | 2147483647    30206     22 |  0.001 % |
4.56/4.60	c |     39923 |     428     1859     5641 | 2147483647    30547     22 |  0.001 % |
4.66/4.71	c |     40298 |     428     1859     5641 |    30624    23942     22 |  0.001 % |
4.76/4.81	c |     40707 |     428     1859     5641 |    30624    24351     22 |  0.001 % |
4.86/4.91	c |     41156 |     428     1859     5641 |    30624    24800     22 |  0.001 % |
4.96/5.01	c |     41649 |     428     1859     5641 |    30624    25293     22 |  0.001 % |
5.06/5.12	c |     42191 |     428     1859     5641 |    30624    25835     22 |  0.001 % |
5.16/5.25	c |     42787 |     428     1859     5641 |    30624    26431     22 |  0.001 % |
5.16/5.28	c |     42888 |     428     1859     5641 |    30624    26532     22 |  0.001 % |
5.26/5.30	c |     42999 |     428     1859     5641 |    30624    26643     22 |  0.001 % |
5.26/5.33	c |     43120 |     428     1859     5641 |    30624    26764     22 |  0.001 % |
5.26/5.36	c |     43254 |     428     1859     5641 |    30624    26898     22 |  0.001 % |
5.26/5.40	c |     43400 |     428     1859     5641 |    30624    27044     22 |  0.001 % |
5.37/5.44	c |     43560 |     428     1859     5641 |    30624    27204     22 |  0.001 % |
5.37/5.49	c |     43736 |     428     1859     5641 |    30624    27380     22 |  0.001 % |
5.46/5.54	c |     43930 |     428     1859     5641 |    30624    27574     22 |  0.001 % |
5.46/5.59	c |     44143 |     428     1859     5641 |    30624    27787     22 |  0.001 % |
5.56/5.66	c |     44377 |     428     1859     5641 |    30624    28021     22 |  0.001 % |
5.66/5.73	c |     44633 |     428     1859     5641 |    30624    28277     22 |  0.001 % |
5.76/5.81	c |     44914 |     428     1859     5641 |    30624    28558     22 |  0.001 % |
5.76/5.89	c |     45223 |     428     1859     5641 |    30624    28867     22 |  0.001 % |
5.86/5.99	c |     45563 |     428     1859     5641 |    30624    29207     22 |  0.001 % |
5.96/6.09	c |     45937 |     428     1859     5641 |    30624    29581     22 |  0.001 % |
6.16/6.21	c |     46346 |     428     1859     5641 |    30624    29990     22 |  0.001 % |
6.26/6.33	c |     46795 |     428     1859     5641 |    30624    30439     22 |  0.001 % |
6.36/6.45	c |     47291 |     428     1859     5641 |    30624    22822     22 |  0.001 % |
6.46/6.56	c |     47833 |     428     1859     5641 |    30624    23364     22 |  0.001 % |
6.66/6.70	c |     48430 |     428     1859     5641 |    30624    23961     22 |  0.001 % |
6.76/6.84	c |     49085 |     428     1859     5641 |    30624    24616     22 |  0.001 % |
6.76/6.87	c |     49186 |     428     1859     5641 |    30624    24717     22 |  0.001 % |
6.76/6.89	c |     49296 |     428     1859     5641 |    30624    24827     22 |  0.001 % |
6.86/6.93	c |     49418 |     428     1859     5641 |    30624    24949     22 |  0.001 % |
6.86/6.95	c |     49552 |     428     1859     5641 |    30624    25083     22 |  0.001 % |
6.96/7.00	c |     49701 |     428     1859     5641 |    30624    25232     22 |  0.001 % |
6.96/7.04	c |     49861 |     428     1859     5641 |    30624    25392     22 |  0.001 % |
6.96/7.08	c |     50038 |     428     1859     5641 |    25531    25569     22 |  0.001 % |
7.06/7.13	c |     50233 |     428     1859     5641 |    25531    19115     21 |  0.001 % |
7.06/7.17	c |     50446 |     428     1859     5641 |    25531    19328     21 |  0.001 % |
7.16/7.21	c |     50680 |     428     1859     5641 |    25531    19562     21 |  0.001 % |
7.16/7.26	c |     50937 |     428     1859     5641 |    25531    19819     21 |  0.001 % |
7.26/7.31	c |     51218 |     428     1859     5641 |    25531    20100     21 |  0.001 % |
7.26/7.37	c |     51528 |     428     1859     5641 |    25531    20410     21 |  0.001 % |
7.36/7.43	c |     51868 |     428     1859     5641 |    25531    20750     21 |  0.001 % |
7.36/7.49	c |     52240 |     428     1859     5641 |    25531    21122     21 |  0.001 % |
7.46/7.56	c |     52649 |     428     1859     5641 |    25531    21531     21 |  0.001 % |
7.56/7.63	c |     53100 |     428     1859     5641 |    25531    21982     21 |  0.001 % |
7.66/7.72	c |     53593 |     428     1859     5641 |    25531    22475     21 |  0.001 % |
7.76/7.83	c |     54135 |     428     1859     5641 |    25531    23017     21 |  0.001 % |
7.86/7.95	c |     54732 |     428     1859     5641 |    25531    23614     21 |  0.001 % |
7.96/8.09	c |     55391 |     428     1859     5641 |    25531    24273     21 |  0.001 % |
8.16/8.25	c |     56112 |     428     1859     5641 |    25531    24994     21 |  0.001 % |
8.16/8.27	c |     56212 |     428     1859     5641 |    25531    25094     21 |  0.001 % |
8.16/8.30	c |     56323 |     428     1859     5641 |    25531    25205     21 |  0.001 % |
8.26/8.32	c |     56447 |     428     1859     5641 |    25531    25329     21 |  0.001 % |
8.26/8.35	c |     56580 |     428     1859     5641 |    25531    25462     21 |  0.001 % |
8.36/8.41	c |     56726 |     428     1859     5641 |    25531    19484     21 |  0.001 % |
8.36/8.44	c |     56887 |     428     1859     5641 |    25531    19645     21 |  0.001 % |
8.36/8.47	c |     57064 |     428     1859     5641 |    25531    19822     21 |  0.001 % |
8.46/8.50	c |     57257 |     428     1859     5641 |    25531    20015     21 |  0.001 % |
8.46/8.55	c |     57469 |     428     1859     5641 |    25531    20227     21 |  0.001 % |
8.46/8.59	c |     57705 |     428     1859     5641 |    25531    20463     21 |  0.001 % |
8.56/8.64	c |     57961 |     428     1859     5641 |    25531    20719     21 |  0.001 % |
8.56/8.70	c |     58243 |     428     1859     5641 |    25531    21001     21 |  0.001 % |
8.66/8.76	c |     58552 |     428     1859     5641 |    25531    21310     21 |  0.001 % |
8.76/8.83	c |     58891 |     428     1859     5641 |    25531    21649     21 |  0.001 % |
8.76/8.90	c |     59264 |     428     1859     5641 |    25531    22022     21 |  0.001 % |
8.86/8.98	c |     59673 |     428     1859     5641 |    25531    22431     21 |  0.001 % |
8.96/9.07	c |     60125 |     428     1859     5641 |    22761    17566     21 |  0.001 % |
9.06/9.15	c |     60620 |     428     1859     5641 |    22761    18061     21 |  0.001 % |
9.16/9.23	c |     61162 |     428     1859     5641 |    22761    18603     21 |  0.001 % |
9.26/9.32	c |     61758 |     428     1859     5641 |    22761    19199     21 |  0.001 % |
9.36/9.44	c |     62416 |     428     1859     5641 |    22761    19857     21 |  0.001 % |
9.46/9.57	c |     63137 |     428     1859     5641 |    22761    20578     21 |  0.001 % |
9.66/9.74	c |     63929 |     428     1859     5641 |    22761    21370     21 |  0.001 % |
9.66/9.75	c |     64030 |     428     1859     5641 |    22761    21471     21 |  0.001 % |
9.66/9.78	c |     64140 |     428     1859     5641 |    22761    21581     21 |  0.001 % |
9.76/9.81	c |     64262 |     428     1859     5641 |    22761    21703     21 |  0.001 % |
9.76/9.83	c |     64397 |     428     1859     5641 |    22761    21838     21 |  0.001 % |
9.76/9.86	c |     64544 |     428     1859     5641 |    22761    21985     21 |  0.001 % |
9.76/9.89	c |     64706 |     428     1859     5641 |    22761    22147     21 |  0.001 % |
9.86/9.93	c |     64883 |     428     1859     5641 |    22761    22324     21 |  0.001 % |
9.86/9.96	c |     65076 |     428     1859     5641 |    22761    22517     21 |  0.001 % |
9.96/10.00	c |     65288 |     428     1859     5641 |    22761    22729     21 |  0.001 % |
9.96/10.06	c |     65521 |     428     1859     5641 |    22761    18149     21 |  0.001 % |
10.06/10.10	c |     65778 |     428     1859     5641 |    22761    18406     21 |  0.001 % |
10.06/10.14	c |     66059 |     428     1859     5641 |    22761    18687     21 |  0.001 % |
10.15/10.20	c |     66368 |     428     1859     5641 |    22761    18996     21 |  0.001 % |
10.15/10.25	c |     66708 |     428     1859     5641 |    22761    19336     21 |  0.001 % |
10.25/10.31	c |     67080 |     428     1859     5641 |    22761    19708     21 |  0.001 % |
10.25/10.37	c |     67490 |     428     1859     5641 |    22761    20118     21 |  0.001 % |
10.35/10.46	c |     67942 |     428     1859     5641 |    22761    20570     21 |  0.001 % |
10.45/10.54	c |     68436 |     428     1859     5641 |    22761    21064     21 |  0.001 % |
10.55/10.64	c |     68979 |     428     1859     5641 |    22761    21607     21 |  0.001 % |
10.65/10.75	c |     69576 |     428     1859     5641 |    22761    22204     21 |  0.001 % |
10.75/10.88	c |     70234 |     428     1859     5641 |    22629    18267     21 |  0.001 % |
10.87/10.98	c |     70954 |     428     1859     5641 |    22629    18987     21 |  0.001 % |
11.06/11.11	c |     71748 |     428     1859     5641 |    22629    19781     21 |  0.001 % |
11.16/11.26	c |     72619 |     428     1859     5641 |    22629    20652     21 |  0.001 % |
11.16/11.28	c |     72719 |     428     1859     5641 |    22629    20752     21 |  0.001 % |
11.16/11.30	c |     72829 |     428     1859     5641 |    22629    20862     21 |  0.001 % |
11.26/11.32	c |     72950 |     428     1859     5641 |    22629    20983     21 |  0.001 % |
11.26/11.34	c |     73084 |     428     1859     5641 |    22629    21117     21 |  0.001 % |
11.26/11.37	c |     73230 |     428     1859     5641 |    22629    21263     21 |  0.001 % |
11.36/11.40	c |     73390 |     428     1859     5641 |    22629    21423     21 |  0.001 % |
11.36/11.44	c |     73566 |     428     1859     5641 |    22629    21599     21 |  0.001 % |
11.36/11.49	c |     73759 |     428     1859     5641 |    22629    21792     21 |  0.001 % |
11.46/11.53	c |     73971 |     428     1859     5641 |    22629    22004     21 |  0.001 % |
11.46/11.58	c |     74206 |     428     1859     5641 |    22629    22239     21 |  0.001 % |
11.56/11.64	c |     74462 |     428     1859     5641 |    22629    22495     21 |  0.001 % |
11.66/11.70	c |     74743 |     428     1859     5641 |    22629    18315     21 |  0.001 % |
11.66/11.75	c |     75053 |     428     1859     5641 |    22629    18625     21 |  0.001 % |
11.76/11.81	c |     75393 |     428     1859     5641 |    22629    18965     21 |  0.001 % |
11.76/11.88	c |     75766 |     428     1859     5641 |    22629    19338     21 |  0.001 % |
11.86/11.94	c |     76176 |     428     1859     5641 |    22629    19748     21 |  0.001 % |
11.97/12.02	c |     76625 |     428     1859     5641 |    22629    20197     21 |  0.001 % |
11.97/12.09	c |     77119 |     428     1859     5641 |    22629    20691     21 |  0.001 % |
12.16/12.20	c |     77661 |     428     1859     5641 |    22629    21233     21 |  0.001 % |
12.26/12.30	c |     78260 |     428     1859     5641 |    22629    21832     21 |  0.001 % |
12.36/12.41	c |     78917 |     428     1859     5641 |    22629    22489     21 |  0.001 % |
12.46/12.54	c |     79637 |     428     1859     5641 |    22629    18830     21 |  0.001 % |
12.56/12.67	c |     80429 |     428     1859     5641 |    19193    15914     21 |  0.001 % |
12.66/12.79	c |     81300 |     428     1859     5641 |    19193    16785     21 |  0.001 % |
12.86/12.92	c |     82258 |     428     1859     5641 |    19193    17743     21 |  0.001 % |
12.86/12.94	c |     82360 |     428     1859     5641 |    19193    17845     21 |  0.001 % |
12.86/12.95	c |     82470 |     428     1859     5641 |    19193    17955     21 |  0.001 % |
12.86/12.97	c |     82591 |     428     1859     5641 |    19193    18076     21 |  0.001 % |
12.86/12.99	c |     82724 |     428     1859     5641 |    19193    18209     21 |  0.001 % |
12.96/13.01	c |     82870 |     428     1859     5641 |    19193    18355     21 |  0.001 % |
12.96/13.04	c |     83031 |     428     1859     5641 |    19193    18516     21 |  0.001 % |
12.96/13.07	c |     83207 |     428     1859     5641 |    19193    18692     21 |  0.001 % |
12.96/13.10	c |     83400 |     428     1859     5641 |    19193    18885     21 |  0.001 % |
13.06/13.14	c |     83614 |     428     1859     5641 |    19193    19099     21 |  0.001 % |
13.06/13.19	c |     83848 |     428     1859     5641 |    19193    16097     20 |  0.001 % |
13.16/13.23	c |     84104 |     428     1859     5641 |    19193    16353     20 |  0.001 % |
13.16/13.26	c |     84385 |     428     1859     5641 |    19193    16634     20 |  0.001 % |
13.26/13.31	c |     84695 |     428     1859     5641 |    19193    16944     20 |  0.001 % |
13.26/13.36	c |     85034 |     428     1859     5641 |    19193    17283     21 |  0.001 % |
13.36/13.41	c |     85406 |     428     1859     5641 |    19193    17655     21 |  0.001 % |
13.36/13.46	c |     85815 |     428     1859     5641 |    19193    18064     21 |  0.001 % |
13.46/13.53	c |     86265 |     428     1859     5641 |    19193    18514     21 |  0.001 % |
13.56/13.60	c |     86758 |     428     1859     5641 |    19193    19007     21 |  0.001 % |
13.56/13.69	c |     87300 |     428     1859     5641 |    19193    16497     21 |  0.001 % |
13.66/13.78	c |     87898 |     428     1859     5641 |    19193    17095     21 |  0.001 % |
13.76/13.88	c |     88553 |     428     1859     5641 |    19193    17750     21 |  0.001 % |
13.86/13.97	c |     89274 |     428     1859     5641 |    19193    18471     21 |  0.001 % |
14.06/14.11	c |     90066 |     428     1859     5641 |    19197    16291     21 |  0.001 % |
14.16/14.24	c |     90937 |     428     1859     5641 |    19197    17162     21 |  0.001 % |
14.26/14.37	c |     91896 |     428     1859     5641 |    19197    18121     21 |  0.001 % |
14.46/14.54	c |     92949 |     428     1859     5641 |    19197    19174     21 |  0.001 % |
14.46/14.57	c |     93051 |     428     1859     5641 |    19197    16449     21 |  0.001 % |
14.46/14.59	c |     93162 |     428     1859     5641 |    19197    16560     21 |  0.001 % |
14.56/14.60	c |     93284 |     428     1859     5641 |    19197    16682     21 |  0.001 % |
14.56/14.62	c |     93417 |     428     1859     5641 |    19197    16815     21 |  0.001 % |
14.56/14.64	c |     93563 |     428     1859     5641 |    19197    16961     21 |  0.001 % |
14.56/14.67	c |     93724 |     428     1859     5641 |    19197    17122     21 |  0.001 % |
14.66/14.70	c |     93901 |     428     1859     5641 |    19197    17299     21 |  0.001 % |
14.66/14.73	c |     94095 |     428     1859     5641 |    19197    17493     21 |  0.001 % |
14.66/14.77	c |     94308 |     428     1859     5641 |    19197    17706     21 |  0.001 % |
14.76/14.81	c |     94542 |     428     1859     5641 |    19197    17940     21 |  0.001 % |
14.76/14.85	c |     94799 |     428     1859     5641 |    19197    18197     21 |  0.001 % |
14.86/14.90	c |     95080 |     428     1859     5641 |    19197    18478     21 |  0.001 % |
14.86/14.95	c |     95389 |     428     1859     5641 |    19197    18787     21 |  0.001 % |
14.96/15.02	c |     95730 |     428     1859     5641 |    19197    19128     21 |  0.001 % |
14.96/15.08	c |     96102 |     428     1859     5641 |    19197    16534     21 |  0.001 % |
15.06/15.14	c |     96511 |     428     1859     5641 |    19197    16943     21 |  0.001 % |
15.16/15.21	c |     96961 |     428     1859     5641 |    19197    17393     21 |  0.001 % |
15.16/15.28	c |     97455 |     428     1859     5641 |    19197    17887     21 |  0.001 % |
15.26/15.36	c |     97997 |     428     1859     5641 |    19197    18429     21 |  0.001 % |
15.36/15.46	c |     98594 |     428     1859     5641 |    19197    19026     21 |  0.001 % |
15.45/15.56	c |     99250 |     428     1859     5641 |    19197    16770     21 |  0.001 % |
15.55/15.66	c |     99971 |     428     1859     5641 |    19197    17491     21 |  0.001 % |
15.65/15.76	c |    100763 |     428     1859     5641 |    17520    15739     21 |  0.001 % |
15.85/15.90	c |    101635 |     428     1859     5641 |    17520    16611     21 |  0.001 % |
15.95/16.04	c |    102593 |     428     1859     5641 |    17520    17569     21 |  0.001 % |
16.15/16.20	c |    103650 |     428     1859     5641 |    17520    16370     21 |  0.001 % |
16.25/16.37	c |    104809 |     428     1859     5641 |    17520    17529     21 |  0.001 % |
16.25/16.39	c |    104909 |     428     1859     5641 |    17520    15331     21 |  0.001 % |
16.36/16.41	c |    105022 |     428     1859     5641 |    17520    15444     21 |  0.001 % |
16.36/16.42	c |    105143 |     428     1859     5641 |    17520    15565     21 |  0.001 % |
16.36/16.44	c |    105276 |     428     1859     5641 |    17520    15698     21 |  0.001 % |
16.36/16.46	c |    105422 |     428     1859     5641 |    17520    15844     21 |  0.001 % |
16.36/16.49	c |    105583 |     428     1859     5641 |    17520    16005     21 |  0.001 % |
16.46/16.52	c |    105760 |     428     1859     5641 |    17520    16182     21 |  0.001 % |
16.46/16.54	c |    105953 |     428     1859     5641 |    17520    16375     21 |  0.001 % |
16.46/16.58	c |    106165 |     428     1859     5641 |    17520    16587     21 |  0.001 % |
16.55/16.61	c |    106398 |     428     1859     5641 |    17520    16820     21 |  0.001 % |
16.55/16.64	c |    106654 |     428     1859     5641 |    17520    17076     21 |  0.001 % |
16.55/16.68	c |    106935 |     428     1859     5641 |    17520    17357     21 |  0.001 % |
16.65/16.74	c |    107246 |     428     1859     5641 |    17520    15417     21 |  0.001 % |
16.65/16.79	c |    107587 |     428     1859     5641 |    17520    15758     21 |  0.001 % |
16.75/16.84	c |    107959 |     428     1859     5641 |    17520    16130     21 |  0.001 % |
16.75/16.89	c |    108369 |     428     1859     5641 |    17520    16540     21 |  0.001 % |
16.85/16.95	c |    108818 |     428     1859     5641 |    17520    16989     21 |  0.001 % |
16.95/17.02	c |    109311 |     428     1859     5641 |    17520    17482     21 |  0.001 % |
17.05/17.10	c |    109854 |     428     1859     5641 |    17520    15890     20 |  0.001 % |
17.05/17.18	c |    110451 |     428     1859     5641 |    16037    14558     20 |  0.001 % |
17.15/17.27	c |    111107 |     428     1859     5641 |    16037    15214     20 |  0.001 % |
17.25/17.37	c |    111827 |     428     1859     5641 |    16037    15934     20 |  0.001 % |
17.35/17.48	c |    112621 |     428     1859     5641 |    16037    15024     20 |  0.001 % |
17.46/17.59	c |    113493 |     428     1859     5641 |    16037    15896     20 |  0.001 % |
17.65/17.73	c |    114451 |     428     1859     5641 |    16037    15246     20 |  0.001 % |
17.75/17.85	c |    115504 |     428     1859     5641 |    16037    14690     20 |  0.001 % |
17.95/18.01	c |    116662 |     428     1859     5641 |    16037    15848     20 |  0.001 % |
18.05/18.18	c |    117937 |     428     1859     5641 |    16037    15515     20 |  0.001 % |
18.05/18.19	c |    118037 |     428     1859     5641 |    16037    15615     20 |  0.001 % |
18.15/18.21	c |    118147 |     428     1859     5641 |    16037    15725     20 |  0.001 % |
18.15/18.23	c |    118268 |     428     1859     5641 |    16037    15846     20 |  0.001 % |
18.15/18.24	c |    118402 |     428     1859     5641 |    16037    15980     20 |  0.001 % |
18.15/18.27	c |    118549 |     428     1859     5641 |    16037    14518     20 |  0.001 % |
18.15/18.29	c |    118709 |     428     1859     5641 |    16037    14678     20 |  0.001 % |
18.25/18.31	c |    118886 |     428     1859     5641 |    16037    14855     20 |  0.001 % |
18.25/18.33	c |    119079 |     428     1859     5641 |    16037    15048     20 |  0.001 % |
18.25/18.36	c |    119292 |     428     1859     5641 |    16037    15261     20 |  0.001 % |
18.25/18.39	c |    119525 |     428     1859     5641 |    16037    15494     20 |  0.001 % |
18.35/18.43	c |    119781 |     428     1859     5641 |    16037    15750     20 |  0.001 % |
18.35/18.47	c |    120062 |     428     1859     5641 | 2147483647    16031     20 |  0.001 % |
18.45/18.52	c |    120371 |     428     1859     5641 | 2147483647    16340     20 |  0.001 % |
18.45/18.57	c |    120712 |     428     1859     5641 | 2147483647    16681     20 |  0.001 % |
18.55/18.63	c |    121085 |     428     1859     5641 | 2147483647    17054     20 |  0.001 % |
18.55/18.68	c |    121494 |     428     1859     5641 | 2147483647    17463     21 |  0.001 % |
18.65/18.75	c |    121943 |     428     1859     5641 | 2147483647    17912     21 |  0.001 % |
18.75/18.82	c |    122438 |     428     1859     5641 | 2147483647    18407     21 |  0.001 % |
18.75/18.89	c |    122981 |     428     1859     5641 | 2147483647    18950     21 |  0.001 % |
18.85/18.97	c |    123577 |     428     1859     5641 | 2147483647    19546     21 |  0.001 % |
18.95/19.06	c |    124233 |     428     1859     5641 | 2147483647    20202     21 |  0.001 % |
19.05/19.16	c |    124953 |     428     1859     5641 | 2147483647    20922     21 |  0.001 % |
19.15/19.29	c |    125745 |     428     1859     5641 | 2147483647    21714     21 |  0.001 % |
19.35/19.42	c |    126617 |     428     1859     5641 | 2147483647    22586     21 |  0.001 % |
19.55/19.60	c |    127575 |     428     1859     5641 | 2147483647    23544     21 |  0.001 % |
19.65/19.77	c |    128628 |     428     1859     5641 | 2147483647    24597     21 |  0.001 % |
19.95/20.01	c |    129788 |     428     1859     5641 | 2147483647    25757     21 |  0.001 % |
20.15/20.28	c |    131063 |     428     1859     5641 |    25969    23130     22 |  0.001 % |
20.45/20.59	c |    132463 |     428     1859     5641 |    25969    24530     22 |  0.001 % |
20.55/20.61	c |    132564 |     428     1859     5641 |    25969    24631     22 |  0.001 % |
20.55/20.64	c |    132674 |     428     1859     5641 |    25969    24741     22 |  0.001 % |
20.55/20.67	c |    132795 |     428     1859     5641 |    25969    24862     22 |  0.001 % |
20.65/20.70	c |    132929 |     428     1859     5641 |    25969    24996     22 |  0.001 % |
20.65/20.74	c |    133077 |     428     1859     5641 |    25969    25144     22 |  0.001 % |
20.65/20.79	c |    133239 |     428     1859     5641 |    25969    25306     22 |  0.001 % |
20.75/20.82	c |    133416 |     428     1859     5641 |    25969    25483     22 |  0.001 % |
20.75/20.87	c |    133610 |     428     1859     5641 |    25969    25677     22 |  0.001 % |
20.85/20.92	c |    133823 |     428     1859     5641 |    25969    25890     22 |  0.001 % |
20.85/20.99	c |    134058 |     428     1859     5641 |    25969    20438     22 |  0.001 % |
20.95/21.05	c |    134314 |     428     1859     5641 |    25969    20694     22 |  0.001 % |
21.05/21.10	c |    134595 |     428     1859     5641 |    25969    20975     22 |  0.001 % |
21.05/21.15	c |    134904 |     428     1859     5641 |    25969    21284     22 |  0.001 % |
21.14/21.22	c |    135244 |     428     1859     5641 |    25969    21624     22 |  0.001 % |
21.14/21.29	c |    135616 |     428     1859     5641 |    25969    21996     22 |  0.001 % |
21.24/21.37	c |    136027 |     428     1859     5641 |    25969    22407     22 |  0.001 % |
21.34/21.47	c |    136480 |     428     1859     5641 |    25969    22860     22 |  0.001 % |
21.44/21.57	c |    136974 |     428     1859     5641 |    25969    23354     22 |  0.001 % |
21.54/21.69	c |    137516 |     428     1859     5641 |    25969    23896     22 |  0.001 % |
21.74/21.82	c |    138112 |     428     1859     5641 |    25969    24492     22 |  0.001 % |
21.85/21.96	c |    138768 |     428     1859     5641 |    25969    25148     22 |  0.001 % |
22.04/22.10	c |    139488 |     428     1859     5641 |    25969    25868     22 |  0.001 % |
22.14/22.28	c |    140280 |     428     1859     5641 |    20592    16304     21 |  0.001 % |
22.34/22.41	c |    141153 |     428     1859     5641 |    20592    17177     21 |  0.001 % |
22.44/22.56	c |    142112 |     428     1859     5641 |    20592    18136     21 |  0.001 % |
22.64/22.71	c |    143166 |     428     1859     5641 |    20592    19190     21 |  0.001 % |
22.74/22.88	c |    144324 |     428     1859     5641 |    20592    20348     21 |  0.001 % |
22.95/23.06	c |    145597 |     428     1859     5641 |    20592    18013     21 |  0.001 % |
23.14/23.29	c |    146997 |     428     1859     5641 |    20592    19413     21 |  0.001 % |
23.44/23.54	c |    148538 |     428     1859     5641 |    20592    17466     21 |  0.001 % |
23.44/23.55	c |    148638 |     428     1859     5641 |    20592    17566     21 |  0.001 % |
23.44/23.57	c |    148748 |     428     1859     5641 |    20592    17676     21 |  0.001 % |
23.44/23.59	c |    148869 |     428     1859     5641 |    20592    17797     21 |  0.001 % |
23.54/23.61	c |    149003 |     428     1859     5641 |    20592    17931     21 |  0.001 % |
23.54/23.63	c |    149151 |     428     1859     5641 |    20592    18079     21 |  0.001 % |
23.54/23.65	c |    149313 |     428     1859     5641 |    20592    18241     21 |  0.001 % |
23.54/23.68	c |    149490 |     428     1859     5641 |    20592    18418     21 |  0.001 % |
23.64/23.71	c |    149685 |     428     1859     5641 |    20592    18613     21 |  0.001 % |
23.64/23.75	c |    149898 |     428     1859     5641 |    20592    18826     21 |  0.001 % |
23.64/23.80	c |    150134 |     428     1859     5641 |    18930    15888     20 |  0.001 % |
23.74/23.83	c |    150390 |     428     1859     5641 |    18930    16144     20 |  0.001 % |
23.74/23.87	c |    150671 |     428     1859     5641 |    18930    16425     20 |  0.001 % |
23.84/23.91	c |    150980 |     428     1859     5641 |    18930    16734     20 |  0.001 % |
23.84/23.95	c |    151319 |     428     1859     5641 |    18930    17073     20 |  0.001 % |
23.94/24.00	c |    151694 |     428     1859     5641 |    18930    17448     20 |  0.001 % |
23.94/24.06	c |    152103 |     428     1859     5641 |    18930    17857     20 |  0.001 % |
24.04/24.13	c |    152552 |     428     1859     5641 |    18930    18306     20 |  0.001 % |
24.14/24.21	c |    153046 |     428     1859     5641 |    18930    18800     21 |  0.001 % |
24.14/24.29	c |    153589 |     428     1859     5641 |    18930    16525     20 |  0.001 % |
24.24/24.37	c |    154186 |     428     1859     5641 |    18930    17122     20 |  0.001 % |
24.34/24.47	c |    154841 |     428     1859     5641 |    18930    17777     21 |  0.001 % |
24.44/24.59	c |    155561 |     428     1859     5641 |    18930    18497     21 |  0.001 % |
24.64/24.72	c |    156354 |     428     1859     5641 |    18930    16523     21 |  0.001 % |
24.74/24.83	c |    157225 |     428     1859     5641 |    18930    17394     21 |  0.001 % |
24.84/24.97	c |    158185 |     428     1859     5641 |    18930    18354     21 |  0.001 % |
25.04/25.15	c |    159238 |     428     1859     5641 |    18930    16659     20 |  0.001 % |
25.14/25.30	c |    160396 |     428     1859     5641 |    17422    15333     20 |  0.001 % |
25.34/25.47	c |    161670 |     428     1859     5641 |    17422    16607     21 |  0.001 % |
25.54/25.67	c |    163070 |     428     1859     5641 |    17422    15730     20 |  0.001 % |
25.74/25.86	c |    164612 |     428     1859     5641 |    17422    17272     21 |  0.001 % |
25.94/26.10	c |    166306 |     428     1859     5641 |    17422    16769     21 |  0.001 % |
26.04/26.11	c |    166407 |     428     1859     5641 |    17422    16870     21 |  0.001 % |
26.04/26.13	c |    166517 |     428     1859     5641 |    17422    16980     21 |  0.001 % |
26.04/26.15	c |    166638 |     428     1859     5641 |    17422    17101     21 |  0.001 % |
26.04/26.17	c |    166774 |     428     1859     5641 |    17422    17237     21 |  0.001 % |
26.04/26.19	c |    166920 |     428     1859     5641 |    17422    17383     21 |  0.001 % |
26.14/26.23	c |    167080 |     428     1859     5641 |    17422    15260     21 |  0.001 % |
26.14/26.26	c |    167256 |     428     1859     5641 |    17422    15436     21 |  0.001 % |
26.14/26.28	c |    167451 |     428     1859     5641 |    17422    15631     21 |  0.001 % |
26.24/26.31	c |    167664 |     428     1859     5641 |    17422    15844     21 |  0.001 % |
26.24/26.34	c |    167897 |     428     1859     5641 |    17422    16077     21 |  0.001 % |
26.24/26.38	c |    168153 |     428     1859     5641 |    17422    16333     21 |  0.001 % |
26.34/26.42	c |    168434 |     428     1859     5641 |    17422    16614     21 |  0.001 % |
26.34/26.46	c |    168744 |     428     1859     5641 |    17422    16924     21 |  0.001 % |
26.44/26.51	c |    169083 |     428     1859     5641 |    17422    17263     21 |  0.001 % |
26.44/26.57	c |    169458 |     428     1859     5641 |    17422    15334     21 |  0.001 % |
26.54/26.62	c |    169869 |     428     1859     5641 |    17422    15745     21 |  0.001 % |
26.54/26.68	c |    170320 |     428     1859     5641 |    15880    14143     21 |  0.001 % |
26.63/26.74	c |    170815 |     428     1859     5641 |    15880    14638     21 |  0.001 % |
26.73/26.80	c |    171361 |     428     1859     5641 |    15880    15184     21 |  0.001 % |
26.73/26.88	c |    171958 |     428     1859     5641 |    15880    15781     21 |  0.001 % |
26.83/26.97	c |    172616 |     428     1859     5641 |    15880    14740     21 |  0.001 % |
26.93/27.05	c |    173336 |     428     1859     5641 |    15880    15460     21 |  0.001 % |
27.03/27.15	c |    174130 |     428     1859     5641 |    15880    14660     21 |  0.001 % |
27.13/27.26	c |    175002 |     428     1859     5641 |    15880    15532     21 |  0.001 % |
27.23/27.38	c |    175963 |     428     1859     5641 |    15880    14900     21 |  0.001 % |
27.44/27.52	c |    177016 |     428     1859     5641 |    15880    14358     21 |  0.001 % |
27.53/27.65	c |    178174 |     428     1859     5641 |    15880    15516     21 |  0.001 % |
27.73/27.82	c |    179447 |     428     1859     5641 |    15880    15195     21 |  0.001 % |
27.93/28.01	c |    180848 |     428     1859     5641 | 2147483647    16596     22 |  0.001 % |
28.13/28.22	c |    182388 |     428     1859     5641 | 2147483647    18136     22 |  0.001 % |
28.33/28.47	c |    184083 |     428     1859     5641 | 2147483647    19831     22 |  0.001 % |
28.63/28.77	c |    185947 |     428     1859     5641 | 2147483647    21695     23 |  0.001 % |
28.63/28.79	c |    186047 |     428     1859     5641 | 2147483647    21795     23 |  0.001 % |
28.73/28.82	c |    186158 |     428     1859     5641 | 2147483647    21906     23 |  0.001 % |
28.73/28.84	c |    186280 |     428     1859     5641 | 2147483647    22028     23 |  0.001 % |
28.73/28.87	c |    186414 |     428     1859     5641 | 2147483647    22162     23 |  0.001 % |
28.83/28.90	c |    186560 |     428     1859     5641 | 2147483647    22308     23 |  0.001 % |
28.83/28.94	c |    186720 |     428     1859     5641 | 2147483647    22468     23 |  0.001 % |
28.83/28.98	c |    186896 |     428     1859     5641 | 2147483647    22644     23 |  0.001 % |
28.93/29.03	c |    187089 |     428     1859     5641 | 2147483647    22837     23 |  0.001 % |
28.93/29.09	c |    187301 |     428     1859     5641 | 2147483647    23049     23 |  0.001 % |
29.03/29.15	c |    187534 |     428     1859     5641 | 2147483647    23282     23 |  0.001 % |
29.13/29.21	c |    187790 |     428     1859     5641 | 2147483647    23538     23 |  0.001 % |
29.13/29.27	c |    188071 |     428     1859     5641 | 2147483647    23819     23 |  0.001 % |
29.23/29.34	c |    188381 |     428     1859     5641 | 2147483647    24129     23 |  0.001 % |
29.33/29.40	c |    188720 |     428     1859     5641 | 2147483647    24468     23 |  0.001 % |
29.33/29.49	c |    189092 |     428     1859     5641 | 2147483647    24840     23 |  0.001 % |
29.43/29.59	c |    189504 |     428     1859     5641 | 2147483647    25252     23 |  0.001 % |
29.54/29.69	c |    189954 |     428     1859     5641 | 2147483647    25702     23 |  0.001 % |
29.73/29.81	c |    190447 |     428     1859     5641 |    25748    21355     23 |  0.001 % |
29.83/29.92	c |    190989 |     428     1859     5641 |    25748    21897     23 |  0.001 % |
29.93/30.04	c |    191585 |     428     1859     5641 |    25748    22493     23 |  0.001 % |
30.03/30.18	c |    192240 |     428     1859     5641 |    25748    23148     23 |  0.001 % |
30.23/30.33	c |    192960 |     428     1859     5641 |    25748    23868     23 |  0.001 % |
30.33/30.48	c |    193753 |     428     1859     5641 |    25748    24661     23 |  0.001 % |
30.53/30.67	c |    194625 |     428     1859     5641 |    25748    25533     23 |  0.001 % |
30.74/30.87	c |    195583 |     428     1859     5641 |    25748    20905     22 |  0.001 % |
30.93/31.05	c |    196636 |     428     1859     5641 |    25748    21958     23 |  0.001 % |
31.13/31.26	c |    197794 |     428     1859     5641 |    25748    23116     23 |  0.001 % |
31.33/31.49	c |    199069 |     428     1859     5641 |    25748    24391     23 |  0.001 % |
31.73/31.81	c |    200471 |     428     1859     5641 |    25322    20100     22 |  0.001 % |
31.93/32.10	c |    202013 |     428     1859     5641 |    25322    21642     22 |  0.001 % |
32.33/32.43	c |    203707 |     428     1859     5641 |    25322    23336     22 |  0.001 % |
32.73/32.81	c |    205571 |     428     1859     5641 |    25322    25200     22 |  0.001 % |
33.13/33.20	c |    207620 |     428     1859     5641 |    25322    21387     22 |  0.001 % |
33.13/33.22	c |    207721 |     428     1859     5641 |    25322    21488     22 |  0.001 % |
33.13/33.24	c |    207832 |     428     1859     5641 |    25322    21599     22 |  0.001 % |
33.13/33.27	c |    207954 |     428     1859     5641 |    25322    21721     22 |  0.001 % |
33.23/33.30	c |    208087 |     428     1859     5641 |    25322    21854     22 |  0.001 % |
33.23/33.33	c |    208233 |     428     1859     5641 |    25322    22000     22 |  0.001 % |
33.23/33.37	c |    208395 |     428     1859     5641 |    25322    22162     22 |  0.001 % |
33.33/33.41	c |    208572 |     428     1859     5641 |    25322    22339     22 |  0.001 % |
33.33/33.44	c |    208766 |     428     1859     5641 |    25322    22533     22 |  0.001 % |
33.33/33.49	c |    208978 |     428     1859     5641 |    25322    22745     22 |  0.001 % |
33.43/33.54	c |    209212 |     428     1859     5641 |    25322    22979     22 |  0.001 % |
33.43/33.59	c |    209468 |     428     1859     5641 |    25322    23235     22 |  0.001 % |
33.53/33.65	c |    209749 |     428     1859     5641 |    25322    23516     22 |  0.001 % |
33.63/33.72	c |    210058 |     428     1859     5641 |    23767    18312     22 |  0.001 % |
33.63/33.78	c |    210398 |     428     1859     5641 |    23767    18652     22 |  0.001 % |
33.73/33.84	c |    210770 |     428     1859     5641 |    23767    19024     22 |  0.001 % |
33.83/33.90	c |    211180 |     428     1859     5641 |    23767    19434     22 |  0.001 % |
33.83/33.99	c |    211629 |     428     1859     5641 |    23767    19883     22 |  0.001 % |
33.93/34.07	c |    212123 |     428     1859     5641 |    23767    20377     22 |  0.001 % |
34.03/34.14	c |    212667 |     428     1859     5641 |    23767    20921     22 |  0.001 % |
34.13/34.26	c |    213263 |     428     1859     5641 |    23767    21517     22 |  0.001 % |
34.22/34.38	c |    213919 |     428     1859     5641 |    23767    22173     22 |  0.001 % |
34.42/34.51	c |    214640 |     428     1859     5641 |    23767    22894     22 |  0.001 % |
34.52/34.65	c |    215433 |     428     1859     5641 |    23767    23687     22 |  0.001 % |
34.72/34.83	c |    216305 |     428     1859     5641 |    23767    19395     21 |  0.001 % |
34.82/34.99	c |    217263 |     428     1859     5641 |    23767    20353     21 |  0.001 % |
35.03/35.19	c |    218316 |     428     1859     5641 |    23767    21406     21 |  0.001 % |
35.32/35.40	c |    219475 |     428     1859     5641 |    23767    22565     21 |  0.001 % |
35.52/35.63	c |    220748 |     428     1859     5641 |    23090    18873     21 |  0.001 % |
35.72/35.86	c |    222149 |     428     1859     5641 |    23090    20274     21 |  0.001 % |
36.02/36.14	c |    223689 |     428     1859     5641 |    23090    21814     21 |  0.001 % |
36.32/36.43	c |    225387 |     428     1859     5641 |    23090    18641     21 |  0.001 % |
36.62/36.74	c |    227250 |     428     1859     5641 |    23090    20504     21 |  0.001 % |
36.92/37.09	c |    229299 |     428     1859     5641 |    23090    22553     21 |  0.001 % |
37.32/37.46	c |    231552 |     428     1859     5641 |    18516    16284     20 |  0.001 % |
37.32/37.47	c |    231652 |     428     1859     5641 |    18516    16384     20 |  0.001 % |
37.32/37.49	c |    231764 |     428     1859     5641 |    18516    16496     20 |  0.001 % |
37.42/37.51	c |    231885 |     428     1859     5641 |    18516    16617     20 |  0.001 % |
37.42/37.52	c |    232018 |     428     1859     5641 |    18516    16750     20 |  0.001 % |
37.42/37.55	c |    232165 |     428     1859     5641 |    18516    16897     20 |  0.001 % |
37.42/37.58	c |    232326 |     428     1859     5641 |    18516    17058     20 |  0.001 % |
37.52/37.61	c |    232503 |     428     1859     5641 |    18516    17235     20 |  0.001 % |
37.52/37.64	c |    232696 |     428     1859     5641 |    18516    17428     20 |  0.001 % |
37.52/37.67	c |    232909 |     428     1859     5641 |    18516    17641     20 |  0.001 % |
37.62/37.70	c |    233143 |     428     1859     5641 |    18516    17875     20 |  0.001 % |
37.62/37.75	c |    233401 |     428     1859     5641 |    18516    18133     20 |  0.001 % |
37.62/37.79	c |    233682 |     428     1859     5641 |    18516    18414     20 |  0.001 % |
37.72/37.85	c |    233991 |     428     1859     5641 |    18516    15660     20 |  0.001 % |
37.72/37.89	c |    234330 |     428     1859     5641 |    18516    15999     20 |  0.001 % |
37.82/37.94	c |    234706 |     428     1859     5641 |    18516    16375     20 |  0.001 % |
37.92/38.01	c |    235116 |     428     1859     5641 |    18516    16785     20 |  0.001 % |
37.92/38.08	c |    235566 |     428     1859     5641 |    18516    17235     20 |  0.001 % |
38.02/38.15	c |    236060 |     428     1859     5641 |    18516    17729     20 |  0.001 % |
38.12/38.23	c |    236604 |     428     1859     5641 |    18516    18273     20 |  0.001 % |
38.22/38.34	c |    237203 |     428     1859     5641 |    18516    16020     20 |  0.001 % |
38.33/38.44	c |    237858 |     428     1859     5641 |    18516    16675     20 |  0.001 % |
38.43/38.55	c |    238580 |     428     1859     5641 |    18516    17397     20 |  0.001 % |
38.52/38.65	c |    239373 |     428     1859     5641 |    18516    18190     21 |  0.001 % |
38.62/38.78	c |    240246 |     428     1859     5641 |    16033    13906     20 |  0.001 % |
38.72/38.89	c |    241204 |     428     1859     5641 |    16033    14864     20 |  0.001 % |
38.92/39.03	c |    242257 |     428     1859     5641 |    16033    15917     20 |  0.001 % |
39.02/39.19	c |    243416 |     428     1859     5641 |    16033    15065     20 |  0.001 % |
39.22/39.37	c |    244689 |     428     1859     5641 |    16033    14411     20 |  0.001 % |
39.43/39.54	c |    246090 |     428     1859     5641 |    16033    15812     21 |  0.001 % |
39.62/39.73	c |    247631 |     428     1859     5641 |    16033    15572     21 |  0.001 % |
39.82/39.94	c |    249326 |     428     1859     5641 |    16033    15516     21 |  0.001 % |
40.12/40.20	c |    251190 |     428     1859     5641 |    14453    14073     21 |  0.001 % |
40.32/40.49	c |    253240 |     428     1859     5641 |    14453    13179     21 |  0.001 % |
40.63/40.78	c |    255493 |     428     1859     5641 |    14453    13973     21 |  0.001 % |
40.92/41.08	c |    257971 |     428     1859     5641 |    14453    13552     22 |  0.001 % |
40.92/41.09	c |    258072 |     428     1859     5641 |    14453    13653     22 |  0.001 % |
41.02/41.11	c |    258183 |     428     1859     5641 |    14453    13764     22 |  0.001 % |
41.02/41.12	c |    258304 |     428     1859     5641 |    14453    13885     22 |  0.001 % |
41.02/41.14	c |    258438 |     428     1859     5641 |    14453    14019     22 |  0.001 % |
41.02/41.16	c |    258586 |     428     1859     5641 |    14453    14167     22 |  0.001 % |
41.02/41.18	c |    258746 |     428     1859     5641 |    14453    14327     22 |  0.001 % |
41.12/41.21	c |    258923 |     428     1859     5641 |    14453    13055     22 |  0.001 % |
41.12/41.23	c |    259117 |     428     1859     5641 |    14453    13249     22 |  0.001 % |
41.12/41.26	c |    259329 |     428     1859     5641 |    14453    13461     22 |  0.001 % |
41.12/41.29	c |    259563 |     428     1859     5641 |    14453    13695     22 |  0.001 % |
41.22/41.32	c |    259820 |     428     1859     5641 |    14453    13952     22 |  0.001 % |
41.22/41.36	c |    260101 |     428     1859     5641 | 2147483647    14233     22 |  0.001 % |
41.32/41.41	c |    260412 |     428     1859     5641 | 2147483647    14544     22 |  0.001 % |
41.32/41.46	c |    260751 |     428     1859     5641 | 2147483647    14883     22 |  0.001 % |
41.42/41.50	c |    261125 |     428     1859     5641 | 2147483647    15257     22 |  0.001 % |
41.42/41.55	c |    261536 |     428     1859     5641 | 2147483647    15668     22 |  0.001 % |
41.52/41.61	c |    261986 |     428     1859     5641 | 2147483647    16118     22 |  0.001 % |
41.52/41.67	c |    262479 |     428     1859     5641 | 2147483647    16611     22 |  0.001 % |
41.63/41.74	c |    263021 |     428     1859     5641 | 2147483647    17153     22 |  0.001 % |
41.72/41.82	c |    263618 |     428     1859     5641 | 2147483647    17750     22 |  0.001 % |
41.82/41.92	c |    264274 |     428     1859     5641 | 2147483647    18406     22 |  0.001 % |
41.92/42.04	c |    264997 |     428     1859     5641 | 2147483647    19129     22 |  0.001 % |
42.02/42.18	c |    265789 |     428     1859     5641 | 2147483647    19921     22 |  0.001 % |
42.22/42.31	c |    266660 |     428     1859     5641 | 2147483647    20792     22 |  0.001 % |
42.32/42.47	c |    267618 |     428     1859     5641 | 2147483647    21750     22 |  0.001 % |
42.52/42.66	c |    268672 |     428     1859     5641 | 2147483647    22804     22 |  0.001 % |
42.73/42.89	c |    269831 |     428     1859     5641 | 2147483647    23963     22 |  0.001 % |
43.02/43.15	c |    271104 |     428     1859     5641 |    24132    21660     22 |  0.001 % |
43.32/43.41	c |    272504 |     428     1859     5641 |    24132    23060     22 |  0.001 % |
43.62/43.72	c |    274044 |     428     1859     5641 |    24132    19988     22 |  0.001 % |
43.92/44.02	c |    275740 |     428     1859     5641 |    24132    21684     22 |  0.001 % |
44.22/44.33	c |    277605 |     428     1859     5641 |    24132    23549     23 |  0.001 % |
44.62/44.72	c |    279655 |     428     1859     5641 |    24132    20860     22 |  0.001 % |
44.92/45.06	c |    281908 |     428     1859     5641 |    21206    18920     22 |  0.001 % |
45.32/45.49	c |    284387 |     428     1859     5641 |    21206    17409     22 |  0.001 % |
45.82/45.92	c |    287114 |     428     1859     5641 |    21206    20136     22 |  0.001 % |
45.82/45.94	c |    287218 |     428     1859     5641 |    21206    20240     22 |  0.001 % |
45.82/45.96	c |    287329 |     428     1859     5641 |    21206    20351     22 |  0.001 % |
45.82/45.99	c |    287450 |     428     1859     5641 |    21206    20472     22 |  0.001 % |
45.92/46.01	c |    287586 |     428     1859     5641 |    21206    20608     22 |  0.001 % |
45.92/46.04	c |    287733 |     428     1859     5641 |    21206    20755     22 |  0.001 % |
45.92/46.07	c |    287893 |     428     1859     5641 |    21206    20915     22 |  0.001 % |
46.02/46.10	c |    288069 |     428     1859     5641 |    21206    21091     22 |  0.001 % |
46.02/46.16	c |    288263 |     428     1859     5641 |    21206    17234     22 |  0.001 % |
46.02/46.19	c |    288475 |     428     1859     5641 |    21206    17446     22 |  0.001 % |
46.12/46.22	c |    288709 |     428     1859     5641 |    21206    17680     22 |  0.001 % |
46.12/46.27	c |    288967 |     428     1859     5641 |    21206    17938     22 |  0.001 % |
46.22/46.31	c |    289248 |     428     1859     5641 |    21206    18219     22 |  0.001 % |
46.22/46.36	c |    289559 |     428     1859     5641 |    21206    18530     22 |  0.001 % |
46.32/46.43	c |    289899 |     428     1859     5641 |    21206    18870     22 |  0.001 % |
46.32/46.49	c |    290273 |     428     1859     5641 |    18974    15628     21 |  0.001 % |
46.42/46.55	c |    290684 |     428     1859     5641 |    18974    16039     21 |  0.001 % |
46.52/46.60	c |    291134 |     428     1859     5641 |    18974    16489     21 |  0.001 % |
46.52/46.67	c |    291627 |     428     1859     5641 |    18974    16982     21 |  0.001 % |
46.62/46.75	c |    292170 |     428     1859     5641 |    18974    17525     21 |  0.001 % |
46.72/46.85	c |    292766 |     428     1859     5641 |    18974    18121     21 |  0.001 % |
46.82/46.98	c |    293421 |     428     1859     5641 |    18974    18776     21 |  0.001 % |
47.02/47.11	c |    294141 |     428     1859     5641 |    18974    16208     21 |  0.001 % |
47.12/47.22	c |    294934 |     428     1859     5641 |    18974    17001     21 |  0.001 % |
47.22/47.36	c |    295807 |     428     1859     5641 |    18974    17874     21 |  0.001 % |
47.42/47.51	c |    296766 |     428     1859     5641 |    18974    18833     21 |  0.001 % |
47.52/47.67	c |    297819 |     428     1859     5641 |    18974    16630     21 |  0.001 % |
47.72/47.84	c |    298978 |     428     1859     5641 |    18974    17789     21 |  0.001 % |
47.92/48.07	c |    300253 |     428     1859     5641 |    18811    15851     21 |  0.001 % |
48.12/48.28	c |    301653 |     428     1859     5641 |    18811    17251     21 |  0.001 % |
48.42/48.54	c |    303194 |     428     1859     5641 |    18811    18792     21 |  0.001 % |
48.62/48.77	c |    304888 |     428     1859     5641 |    18811    17375     21 |  0.001 % |
48.92/49.05	c |    306751 |     428     1859     5641 |    18811    16256     20 |  0.001 % |
49.22/49.34	c |    308802 |     428     1859     5641 |    18811    18307     21 |  0.001 % |
49.52/49.66	c |    311055 |     428     1859     5641 |    16636    15211     20 |  0.001 % |
49.81/49.93	c |    313535 |     428     1859     5641 |    16636    15798     20 |  0.001 % |
50.11/50.28	c |    316260 |     428     1859     5641 |    16636    14975     21 |  0.001 % |
50.61/50.70	c |    319257 |     428     1859     5641 |    16636    16131     21 |  0.001 % |
50.61/50.71	c |    319358 |     428     1859     5641 |    16636    16232     21 |  0.001 % |
50.61/50.73	c |    319468 |     428     1859     5641 |    16636    16342     21 |  0.001 % |
50.61/50.74	c |    319589 |     428     1859     5641 |    16636    16463     21 |  0.001 % |
50.61/50.76	c |    319724 |     428     1859     5641 |    16636    16598     21 |  0.001 % |
50.61/50.79	c |    319870 |     428     1859     5641 |    16636    14945     20 |  0.001 % |
50.71/50.81	c |    320030 |     428     1859     5641 |    15075    15105     20 |  0.001 % |
50.71/50.84	c |    320206 |     428     1859     5641 |    15075    13678     20 |  0.001 % |
50.71/50.87	c |    320400 |     428     1859     5641 |    15075    13872     20 |  0.001 % |
50.81/50.90	c |    320616 |     428     1859     5641 |    15075    14088     20 |  0.001 % |
50.81/50.93	c |    320851 |     428     1859     5641 |    15075    14323     20 |  0.001 % |
50.81/50.97	c |    321107 |     428     1859     5641 |    15075    14579     20 |  0.001 % |
50.91/51.02	c |    321388 |     428     1859     5641 |    15075    14860     20 |  0.001 % |
50.91/51.06	c |    321697 |     428     1859     5641 |    15075    13515     20 |  0.001 % |
51.01/51.10	c |    322036 |     428     1859     5641 |    15075    13854     20 |  0.001 % |
51.01/51.15	c |    322408 |     428     1859     5641 |    15075    14226     20 |  0.001 % |
51.01/51.20	c |    322817 |     428     1859     5641 |    15075    14635     20 |  0.001 % |
51.11/51.25	c |    323267 |     428     1859     5641 |    15075    15085     21 |  0.001 % |
51.21/51.31	c |    323761 |     428     1859     5641 |    15075    14071     21 |  0.001 % |
51.21/51.36	c |    324305 |     428     1859     5641 |    15075    14615     21 |  0.001 % |
51.31/51.44	c |    324901 |     428     1859     5641 |    15075    13699     21 |  0.001 % |
51.41/51.51	c |    325556 |     428     1859     5641 |    15075    14354     21 |  0.001 % |
51.41/51.59	c |    326276 |     428     1859     5641 |    15075    15074     21 |  0.001 % |
51.52/51.69	c |    327068 |     428     1859     5641 |    15075    14354     21 |  0.001 % |
51.71/51.80	c |    327941 |     428     1859     5641 |    15075    13714     21 |  0.001 % |
51.71/51.89	c |    328903 |     428     1859     5641 |    15075    14676     21 |  0.001 % |
51.91/52.02	c |    329956 |     428     1859     5641 |    15075    14216     21 |  0.001 % |
52.01/52.16	c |    331115 |     428     1859     5641 | 2147483647    15375     21 |  0.001 % |
52.21/52.32	c |    332389 |     428     1859     5641 | 2147483647    16649     22 |  0.001 % |
52.41/52.51	c |    333791 |     428     1859     5641 | 2147483647    18051     22 |  0.001 % |
52.62/52.75	c |    335331 |     428     1859     5641 | 2147483647    19591     22 |  0.001 % |
52.91/53.04	c |    337026 |     428     1859     5641 | 2147483647    21286     22 |  0.001 % |
53.21/53.33	c |    338889 |     428     1859     5641 | 2147483647    23149     22 |  0.001 % |
53.61/53.71	c |    340938 |     428     1859     5641 |    24260    22038     22 |  0.001 % |
54.01/54.13	c |    343191 |     428     1859     5641 |    24260    24291     23 |  0.001 % |
54.51/54.62	c |    345671 |     428     1859     5641 |    24260    22556     22 |  0.001 % |
55.01/55.17	c |    348396 |     428     1859     5641 |    24260    20276     22 |  0.001 % |
55.51/55.65	c |    351394 |     428     1859     5641 |    21880    18731     22 |  0.001 % |
56.11/56.29	c |    354690 |     428     1859     5641 |    21880    17409     21 |  0.001 % |
56.21/56.31	c |    354791 |     428     1859     5641 |    21880    17510     21 |  0.001 % |
56.21/56.33	c |    354902 |     428     1859     5641 |    21880    17621     21 |  0.001 % |
56.21/56.35	c |    355023 |     428     1859     5641 |    21880    17742     21 |  0.001 % |
56.21/56.37	c |    355158 |     428     1859     5641 |    21880    17877     21 |  0.001 % |
56.31/56.40	c |    355304 |     428     1859     5641 |    21880    18023     21 |  0.001 % |
56.31/56.43	c |    355464 |     428     1859     5641 |    21880    18183     21 |  0.001 % |
56.31/56.46	c |    355641 |     428     1859     5641 |    21880    18360     21 |  0.001 % |
56.31/56.49	c |    355834 |     428     1859     5641 |    21880    18553     21 |  0.001 % |
56.41/56.53	c |    356047 |     428     1859     5641 |    21880    18766     21 |  0.001 % |
56.41/56.57	c |    356280 |     428     1859     5641 |    21880    18999     21 |  0.001 % |
56.51/56.61	c |    356536 |     428     1859     5641 |    21880    19255     21 |  0.001 % |
56.51/56.66	c |    356817 |     428     1859     5641 |    21880    19536     21 |  0.001 % |
56.61/56.71	c |    357128 |     428     1859     5641 |    21880    19847     21 |  0.001 % |
56.61/56.77	c |    357467 |     428     1859     5641 |    21880    20186     21 |  0.001 % |
56.71/56.83	c |    357840 |     428     1859     5641 |    21880    20559     21 |  0.001 % |
56.81/56.90	c |    358249 |     428     1859     5641 |    21880    20968     21 |  0.001 % |
56.81/56.99	c |    358698 |     428     1859     5641 |    21880    21417     21 |  0.001 % |
56.91/57.07	c |    359192 |     428     1859     5641 |    21880    21911     21 |  0.001 % |
57.01/57.17	c |    359735 |     428     1859     5641 |    21880    17913     21 |  0.001 % |
57.11/57.27	c |    360332 |     428     1859     5641 |    18180    14805     21 |  0.001 % |
57.21/57.35	c |    360988 |     428     1859     5641 |    18180    15461     21 |  0.001 % |
57.31/57.45	c |    361708 |     428     1859     5641 |    18180    16181     21 |  0.001 % |
57.41/57.56	c |    362500 |     428     1859     5641 |    18180    16973     21 |  0.001 % |
57.51/57.69	c |    363371 |     428     1859     5641 |    18180    17844     21 |  0.001 % |
57.71/57.82	c |    364331 |     428     1859     5641 |    18180    15679     21 |  0.001 % |
57.81/57.97	c |    365389 |     428     1859     5641 |    18180    16737     21 |  0.001 % |
58.01/58.13	c |    366548 |     428     1859     5641 |    18180    17896     21 |  0.001 % |
58.21/58.31	c |    367822 |     428     1859     5641 |    18180    16357     21 |  0.001 % |
58.41/58.51	c |    369222 |     428     1859     5641 |    18180    17757     21 |  0.001 % |
58.61/58.73	c |    370762 |     428     1859     5641 |    15835    14269     20 |  0.001 % |
58.81/58.96	c |    372456 |     428     1859     5641 |    15835    14091     20 |  0.001 % |
59.01/59.19	c |    374319 |     428     1859     5641 |    15835    14323     21 |  0.001 % |
59.31/59.44	c |    376371 |     428     1859     5641 |    15835    14787     21 |  0.001 % |
59.61/59.72	c |    378624 |     428     1859     5641 |    15835    15454     20 |  0.001 % |
59.91/60.04	c |    381103 |     428     1859     5641 | 2147483647    16345     20 |  0.001 % |
60.31/60.41	c |    383829 |     428     1859     5641 | 2147483647    19071     20 |  0.001 % |
60.70/60.82	c |    386827 |     428     1859     5641 | 2147483647    22069     21 |  0.001 % |
61.30/61.46	c |    390123 |     428     1859     5641 |    25242    21212     21 |  0.001 % |
62.00/62.12	c |    393749 |     428     1859     5641 |    25242    24838     21 |  0.001 % |
62.00/62.15	c |    393849 |     428     1859     5641 |    25242    24938     21 |  0.001 % |
62.00/62.18	c |    393959 |     428     1859     5641 |    25242    25048     21 |  0.001 % |
62.10/62.20	c |    394080 |     428     1859     5641 |    25242    25169     21 |  0.001 % |
62.10/62.24	c |    394215 |     428     1859     5641 |    25242    25304     21 |  0.001 % |
62.10/62.28	c |    394364 |     428     1859     5641 |    25242    20108     21 |  0.001 % |
62.20/62.31	c |    394524 |     428     1859     5641 |    25242    20268     21 |  0.001 % |
62.20/62.34	c |    394700 |     428     1859     5641 |    25242    20444     21 |  0.001 % |
62.20/62.37	c |    394895 |     428     1859     5641 |    25242    20639     21 |  0.001 % |
62.30/62.41	c |    395111 |     428     1859     5641 |    25242    20855     21 |  0.001 % |
62.30/62.45	c |    395344 |     428     1859     5641 |    25242    21088     21 |  0.001 % |
62.30/62.49	c |    395602 |     428     1859     5641 |    25242    21346     21 |  0.001 % |
62.40/62.54	c |    395884 |     428     1859     5641 |    25242    21628     21 |  0.001 % |
62.51/62.61	c |    396193 |     428     1859     5641 |    25242    21937     21 |  0.001 % |
62.51/62.67	c |    396532 |     428     1859     5641 |    25242    22276     21 |  0.001 % |
62.61/62.75	c |    396907 |     428     1859     5641 |    25242    22651     21 |  0.001 % |
62.70/62.84	c |    397316 |     428     1859     5641 |    25242    23060     21 |  0.001 % |
62.80/62.93	c |    397765 |     428     1859     5641 |    25242    23509     21 |  0.001 % |
62.90/63.03	c |    398263 |     428     1859     5641 |    25242    24007     21 |  0.001 % |
63.00/63.15	c |    398808 |     428     1859     5641 |    25242    24552     21 |  0.001 % |
63.10/63.27	c |    399404 |     428     1859     5641 |    25242    25148     21 |  0.001 % |
63.30/63.41	c |    400059 |     428     1859     5641 |    20187    20243     21 |  0.001 % |
63.40/63.52	c |    400780 |     428     1859     5641 |    20187    16515     21 |  0.001 % |
63.50/63.64	c |    401572 |     428     1859     5641 |    20187    17307     21 |  0.001 % |
63.60/63.76	c |    402443 |     428     1859     5641 |    20187    18178     21 |  0.001 % |
63.80/63.90	c |    403402 |     428     1859     5641 |    20187    19137     21 |  0.001 % |
63.90/64.09	c |    404455 |     428     1859     5641 |    20187    20190     21 |  0.001 % |
64.10/64.27	c |    405616 |     428     1859     5641 |    20187    17492     21 |  0.001 % |
64.30/64.49	c |    406889 |     428     1859     5641 |    20187    18765     21 |  0.001 % |
64.60/64.76	c |    408290 |     428     1859     5641 |    20187    20166     21 |  0.001 % |
64.90/65.01	c |    409832 |     428     1859     5641 |    20187    17780     20 |  0.001 % |
65.10/65.26	c |    411526 |     428     1859     5641 |    17948    16059     20 |  0.001 % |
65.30/65.48	c |    413389 |     428     1859     5641 |    17948    17922     21 |  0.001 % |
65.60/65.74	c |    415438 |     428     1859     5641 |    17948    17046     21 |  0.001 % |
65.90/66.04	c |    417693 |     428     1859     5641 |    17948    16685     21 |  0.001 % |
66.30/66.41	c |    420173 |     428     1859     5641 |    16400    14266     21 |  0.001 % |
66.60/66.78	c |    422898 |     428     1859     5641 |    16400    14906     21 |  0.001 % |
67.00/67.19	c |    425897 |     428     1859     5641 |    16400    15945     21 |  0.001 % |
67.50/67.68	c |    429195 |     428     1859     5641 |    16400    15238     21 |  0.001 % |
68.10/68.20	c |    432820 |     428     1859     5641 |    16043    14833     21 |  0.001 % |
68.60/68.77	c |    436807 |     428     1859     5641 |    16043    14749     21 |  0.001 % |
68.60/68.79	c |    436907 |     428     1859     5641 |    16043    14849     21 |  0.001 % |
68.70/68.81	c |    437019 |     428     1859     5641 |    16043    14961     21 |  0.001 % |
68.70/68.82	c |    437140 |     428     1859     5641 |    16043    15082     21 |  0.001 % |
68.70/68.83	c |    437273 |     428     1859     5641 |    16043    15215     21 |  0.001 % |
68.70/68.85	c |    437420 |     428     1859     5641 |    16043    15362     21 |  0.001 % |
68.70/68.87	c |    437580 |     428     1859     5641 |    16043    15522     21 |  0.001 % |
68.70/68.89	c |    437756 |     428     1859     5641 |    16043    15698     21 |  0.001 % |
68.80/68.92	c |    437949 |     428     1859     5641 |    16043    15891     21 |  0.001 % |
68.80/68.94	c |    438161 |     428     1859     5641 |    16043    16103     21 |  0.001 % |
68.80/68.98	c |    438394 |     428     1859     5641 |    16043    14452     21 |  0.001 % |
68.89/69.01	c |    438650 |     428     1859     5641 |    16043    14708     21 |  0.001 % |
68.89/69.05	c |    438932 |     428     1859     5641 |    16043    14990     21 |  0.001 % |
68.89/69.08	c |    439242 |     428     1859     5641 |    16043    15300     21 |  0.001 % |
68.99/69.13	c |    439582 |     428     1859     5641 |    16043    15640     21 |  0.001 % |
68.99/69.17	c |    439954 |     428     1859     5641 |    16043    16012     21 |  0.001 % |
69.10/69.22	c |    440365 |     428     1859     5641 |    16059    14667     20 |  0.001 % |
69.10/69.27	c |    440814 |     428     1859     5641 |    16059    15116     21 |  0.001 % |
69.20/69.33	c |    441308 |     428     1859     5641 |    16059    15610     21 |  0.001 % |
69.29/69.41	c |    441850 |     428     1859     5641 |    16059    14543     20 |  0.001 % |
69.29/69.48	c |    442448 |     428     1859     5641 |    16059    15141     20 |  0.001 % |
69.39/69.57	c |    443106 |     428     1859     5641 |    16059    15799     20 |  0.001 % |
69.49/69.67	c |    443826 |     428     1859     5641 |    16059    14907     20 |  0.001 % |
69.59/69.77	c |    444618 |     428     1859     5641 |    16059    15699     20 |  0.001 % |
69.69/69.87	c |    445490 |     428     1859     5641 |    16059    14961     20 |  0.001 % |
69.79/69.99	c |    446450 |     428     1859     5641 |    16059    15921     20 |  0.001 % |
69.99/70.13	c |    447504 |     428     1859     5641 |    16059    15364     20 |  0.001 % |
70.09/70.28	c |    448662 |     428     1859     5641 |    16059    14912     21 |  0.001 % |
70.30/70.44	c |    449935 |     428     1859     5641 |    16059    14575     21 |  0.001 % |
70.49/70.60	c |    451335 |     428     1859     5641 | 2147483647    15975     21 |  0.001 % |
70.69/70.81	c |    452875 |     428     1859     5641 | 2147483647    17515     21 |  0.001 % |
70.89/71.06	c |    454570 |     428     1859     5641 | 2147483647    19210     21 |  0.001 % |
71.19/71.35	c |    456433 |     428     1859     5641 | 2147483647    21073     22 |  0.001 % |
71.49/71.67	c |    458482 |     428     1859     5641 | 2147483647    23122     22 |  0.001 % |
71.99/72.15	c |    460735 |     428     1859     5641 |    24642    21846     22 |  0.001 % |
72.49/72.65	c |    463213 |     428     1859     5641 |    24642    24324     22 |  0.001 % |
72.99/73.18	c |    465938 |     428     1859     5641 |    24642    22078     22 |  0.001 % |
73.69/73.84	c |    468936 |     428     1859     5641 |    24642    19695     22 |  0.001 % |
74.19/74.39	c |    472233 |     428     1859     5641 |    20761    18476     21 |  0.001 % |
74.89/75.00	c |    475858 |     428     1859     5641 |    20761    18092     21 |  0.001 % |
75.49/75.63	c |    479846 |     428     1859     5641 |    20761    18160     21 |  0.001 % |
76.09/76.27	c |    484231 |     428     1859     5641 |    18317    15916     20 |  0.001 % |
76.09/76.28	c |    484332 |     428     1859     5641 |    18317    16017     20 |  0.001 % |
76.19/76.30	c |    484442 |     428     1859     5641 |    18317    16127     20 |  0.001 % |
76.19/76.32	c |    484565 |     428     1859     5641 |    18317    16250     20 |  0.001 % |
76.19/76.33	c |    484698 |     428     1859     5641 |    18317    16383     20 |  0.001 % |
76.19/76.34	c |    484846 |     428     1859     5641 |    18317    16531     20 |  0.001 % |
76.19/76.36	c |    485008 |     428     1859     5641 |    18317    16693     20 |  0.001 % |
76.19/76.38	c |    485185 |     428     1859     5641 |    18317    16870     20 |  0.001 % |
76.29/76.42	c |    485379 |     428     1859     5641 |    18317    17064     20 |  0.001 % |
76.29/76.46	c |    485591 |     428     1859     5641 |    18317    17276     20 |  0.001 % |
76.29/76.49	c |    485826 |     428     1859     5641 |    18317    17511     20 |  0.001 % |
76.39/76.53	c |    486084 |     428     1859     5641 |    18317    17769     20 |  0.001 % |
76.39/76.58	c |    486366 |     428     1859     5641 |    18317    18051     20 |  0.001 % |
76.49/76.63	c |    486675 |     428     1859     5641 |    18317    18360     20 |  0.001 % |
76.49/76.69	c |    487015 |     428     1859     5641 |    18317    15669     20 |  0.001 % |
76.59/76.74	c |    487388 |     428     1859     5641 |    18317    16042     20 |  0.001 % |
76.69/76.80	c |    487797 |     428     1859     5641 |    18317    16451     20 |  0.001 % |
76.69/76.87	c |    488247 |     428     1859     5641 |    18317    16901     20 |  0.001 % |
76.79/76.94	c |    488741 |     428     1859     5641 |    18317    17395     20 |  0.001 % |
76.89/77.03	c |    489285 |     428     1859     5641 |    18317    17939     20 |  0.001 % |
76.99/77.12	c |    489881 |     428     1859     5641 |    18317    15577     20 |  0.001 % |
77.09/77.22	c |    490537 |     428     1859     5641 |    15698    13695     20 |  0.001 % |
77.09/77.30	c |    491257 |     428     1859     5641 |    15698    14415     20 |  0.001 % |
77.19/77.39	c |    492050 |     428     1859     5641 |    15698    15208     21 |  0.001 % |
77.38/77.51	c |    492921 |     428     1859     5641 |    15698    14177     21 |  0.001 % |
77.48/77.62	c |    493879 |     428     1859     5641 |    15698    15135     21 |  0.001 % |
77.58/77.78	c |    494933 |     428     1859     5641 |    15698    14480     21 |  0.001 % |
77.78/77.95	c |    496091 |     428     1859     5641 |    15698    15638     21 |  0.001 % |
77.99/78.12	c |    497364 |     428     1859     5641 |    15698    15146     21 |  0.001 % |
78.18/78.30	c |    498766 |     428     1859     5641 |    15698    14848     21 |  0.001 % |
78.38/78.50	c |    500306 |     428     1859     5641 | 2147483647    14807     21 |  0.001 % |
78.58/78.71	c |    502001 |     428     1859     5641 | 2147483647    16502     22 |  0.001 % |
78.78/78.96	c |    503865 |     428     1859     5641 | 2147483647    18366     22 |  0.001 % |
79.09/79.28	c |    505915 |     428     1859     5641 | 2147483647    20416     22 |  0.001 % |
79.48/79.68	c |    508168 |     428     1859     5641 | 2147483647    22669     22 |  0.001 % |
79.98/80.17	c |    510647 |     428     1859     5641 |    24503    21152     22 |  0.001 % |
80.48/80.67	c |    513372 |     428     1859     5641 |    24503    23877     22 |  0.001 % |
80.98/81.17	c |    516369 |     428     1859     5641 |    24503    22051     22 |  0.001 % |
81.58/81.76	c |    519665 |     428     1859     5641 |    24503    20400     22 |  0.001 % |
82.18/82.33	c |    523290 |     428     1859     5641 |    20736    19858     22 |  0.001 % |
82.78/82.96	c |    527279 |     428     1859     5641 |    20736    20024     22 |  0.001 % |
83.49/83.61	c |    531664 |     428     1859     5641 |    19000    17294     23 |  0.001 % |
84.18/84.37	c |    536487 |     428     1859     5641 |    19000    18972     22 |  0.001 % |
84.28/84.40	c |    536587 |     428     1859     5641 |    19000    15845     22 |  0.001 % |
84.28/84.42	c |    536697 |     428     1859     5641 |    19000    15955     22 |  0.001 % |
84.28/84.43	c |    536819 |     428     1859     5641 |    19000    16077     22 |  0.001 % |
84.28/84.45	c |    536955 |     428     1859     5641 |    19000    16213     22 |  0.001 % |
84.28/84.48	c |    537101 |     428     1859     5641 |    19000    16359     22 |  0.001 % |
84.38/84.51	c |    537264 |     428     1859     5641 |    19000    16522     22 |  0.001 % |
84.38/84.54	c |    537440 |     428     1859     5641 |    19000    16698     22 |  0.001 % |
84.38/84.58	c |    537635 |     428     1859     5641 |    19000    16893     22 |  0.001 % |
84.49/84.61	c |    537847 |     428     1859     5641 |    19000    17105     22 |  0.001 % |
84.49/84.65	c |    538081 |     428     1859     5641 |    19000    17339     22 |  0.001 % |
84.49/84.70	c |    538341 |     428     1859     5641 |    19000    17599     22 |  0.001 % |
84.59/84.74	c |    538624 |     428     1859     5641 |    19000    17882     22 |  0.001 % |
84.59/84.79	c |    538933 |     428     1859     5641 |    19000    18191     22 |  0.001 % |
84.68/84.84	c |    539273 |     428     1859     5641 |    19000    18531     22 |  0.001 % |
84.68/84.89	c |    539646 |     428     1859     5641 |    19000    18904     22 |  0.001 % |
84.78/84.97	c |    540056 |     428     1859     5641 |    16071    13467     21 |  0.001 % |
84.88/85.02	c |    540506 |     428     1859     5641 |    16071    13917     21 |  0.001 % |
84.88/85.09	c |    541000 |     428     1859     5641 |    16071    14411     21 |  0.001 % |
84.98/85.16	c |    541542 |     428     1859     5641 |    16071    14953     22 |  0.001 % |
85.08/85.24	c |    542140 |     428     1859     5641 |    16071    15551     22 |  0.001 % |
85.18/85.35	c |    542795 |     428     1859     5641 |    16071    13892     21 |  0.001 % |
85.28/85.45	c |    543515 |     428     1859     5641 |    16071    14612     21 |  0.001 % |
85.38/85.53	c |    544309 |     428     1859     5641 |    16071    15406     21 |  0.001 % |
85.48/85.64	c |    545181 |     428     1859     5641 |    16071    14213     21 |  0.001 % |
85.59/85.77	c |    546139 |     428     1859     5641 |    16071    15171     21 |  0.001 % |
85.78/85.90	c |    547193 |     428     1859     5641 |    16071    14373     21 |  0.001 % |
85.88/86.04	c |    548352 |     428     1859     5641 |    16071    15532     21 |  0.001 % |
86.08/86.22	c |    549626 |     428     1859     5641 |    16071    15058     21 |  0.001 % |
86.28/86.42	c |    551026 |     428     1859     5641 |    15433    14778     21 |  0.001 % |
86.48/86.60	c |    552567 |     428     1859     5641 |    15433    14713     22 |  0.001 % |
86.68/86.84	c |    554265 |     428     1859     5641 |    15433    14853     22 |  0.001 % |
86.88/87.08	c |    556128 |     428     1859     5641 |    15433    15167     22 |  0.001 % |
87.18/87.37	c |    558178 |     428     1859     5641 |    15433    14122     22 |  0.001 % |
87.48/87.67	c |    560431 |     428     1859     5641 | 2147483647    14826     22 |  0.001 % |
87.88/88.03	c |    562909 |     428     1859     5641 | 2147483647    17304     22 |  0.001 % |
88.28/88.44	c |    565634 |     428     1859     5641 | 2147483647    20029     22 |  0.001 % |
88.78/88.99	c |    568631 |     428     1859     5641 | 2147483647    23026     22 |  0.001 % |
89.48/89.64	c |    571930 |     428     1859     5641 |    24396    22268     22 |  0.001 % |
90.18/90.39	c |    575556 |     428     1859     5641 |    24396    20495     21 |  0.001 % |
90.88/91.00	c |    579544 |     428     1859     5641 |    24396    19147     21 |  0.001 % |
91.38/91.54	c |    583929 |     428     1859     5641 |    19603    19291     21 |  0.001 % |
91.98/92.16	c |    588754 |     428     1859     5641 |    19603    17421     21 |  0.001 % |
92.78/92.91	c |    594059 |     428     1859     5641 |    18668    17255     22 |  0.001 % |
92.78/92.93	c |    594159 |     428     1859     5641 |    18668    17355     22 |  0.001 % |
92.78/92.94	c |    594271 |     428     1859     5641 |    18668    17467     22 |  0.001 % |
92.78/92.96	c |    594392 |     428     1859     5641 |    18668    17588     22 |  0.001 % |
92.78/92.99	c |    594526 |     428     1859     5641 |    18668    17722     22 |  0.001 % |
92.88/93.01	c |    594673 |     428     1859     5641 |    18668    17869     22 |  0.001 % |
92.88/93.04	c |    594833 |     428     1859     5641 |    18668    18029     22 |  0.001 % |
92.88/93.07	c |    595009 |     428     1859     5641 |    18668    18205     22 |  0.001 % |
92.97/93.11	c |    595202 |     428     1859     5641 |    18668    18398     22 |  0.001 % |
92.97/93.15	c |    595414 |     428     1859     5641 |    18668    18610     22 |  0.001 % |
92.97/93.20	c |    595648 |     428     1859     5641 |    18668    16062     22 |  0.001 % |
93.07/93.23	c |    595905 |     428     1859     5641 |    18668    16319     22 |  0.001 % |
93.07/93.27	c |    596186 |     428     1859     5641 |    18668    16600     22 |  0.001 % |
93.17/93.32	c |    596495 |     428     1859     5641 |    18668    16909     22 |  0.001 % |
93.17/93.36	c |    596835 |     428     1859     5641 |    18668    17249     22 |  0.001 % |
93.28/93.40	c |    597207 |     428     1859     5641 |    18668    17621     22 |  0.001 % |
93.28/93.46	c |    597616 |     428     1859     5641 |    18668    18030     22 |  0.001 % |
93.38/93.54	c |    598068 |     428     1859     5641 |    18668    18482     22 |  0.001 % |
93.48/93.62	c |    598561 |     428     1859     5641 |    18668    16260     22 |  0.001 % |
93.58/93.70	c |    599103 |     428     1859     5641 |    18668    16802     22 |  0.001 % |
93.58/93.78	c |    599700 |     428     1859     5641 |    18668    17399     22 |  0.001 % |
93.68/93.89	c |    600356 |     428     1859     5641 |    17701    15509     22 |  0.001 % |
93.77/93.98	c |    601078 |     428     1859     5641 |    17701    16231     22 |  0.001 % |
93.87/94.08	c |    601871 |     428     1859     5641 |    17701    17024     22 |  0.001 % |
94.07/94.23	c |    602742 |     428     1859     5641 |    17701    15413     21 |  0.001 % |
94.17/94.33	c |    603701 |     428     1859     5641 |    17701    16372     21 |  0.001 % |
94.27/94.48	c |    604754 |     428     1859     5641 |    17701    17425     21 |  0.001 % |
94.48/94.65	c |    605912 |     428     1859     5641 |    17701    16182     21 |  0.001 % |
94.57/94.79	c |    607186 |     428     1859     5641 |    17701    17456     21 |  0.001 % |
94.87/95.00	c |    608589 |     428     1859     5641 |    17701    16503     20 |  0.001 % |
95.07/95.24	c |    610130 |     428     1859     5641 |    15510    13525     20 |  0.001 % |
95.27/95.45	c |    611825 |     428     1859     5641 |    15510    15220     21 |  0.001 % |
95.48/95.68	c |    613688 |     428     1859     5641 |    15510    15235     20 |  0.001 % |
95.77/95.95	c |    615737 |     428     1859     5641 |    15510    15570     21 |  0.001 % |
96.07/96.23	c |    617990 |     428     1859     5641 |    15510    14654     21 |  0.001 % |
96.37/96.58	c |    620472 |     428     1859     5641 | 2147483647    15577     21 |  0.001 % |
96.77/96.99	c |    623197 |     428     1859     5641 | 2147483647    18302     21 |  0.001 % |
97.37/97.50	c |    626194 |     428     1859     5641 | 2147483647    21299     21 |  0.001 % |
97.97/98.17	c |    629490 |     428     1859     5641 | 2147483647    24595     21 |  0.001 % |
98.67/98.89	c |    633115 |     428     1859     5641 |    25106    23370     21 |  0.001 % |
99.57/99.72	c |    637102 |     428     1859     5641 |    25106    21581     20 |  0.001 % |
100.37/100.55	c |    641487 |     428     1859     5641 |    24479    20258     20 |  0.001 % |
101.17/101.37	c |    646311 |     428     1859     5641 |    24479    19574     20 |  0.001 % |
102.07/102.21	c |    651617 |     428     1859     5641 |    23263    19828     20 |  0.001 % |
102.97/103.17	c |    657452 |     428     1859     5641 |    23263    20997     21 |  0.001 % |
102.97/103.19	c |    657552 |     428     1859     5641 |    23263    21097     21 |  0.001 % |
103.07/103.21	c |    657662 |     428     1859     5641 |    23263    21207     21 |  0.001 % |
103.07/103.23	c |    657783 |     428     1859     5641 |    23263    21328     21 |  0.001 % |
103.07/103.26	c |    657916 |     428     1859     5641 |    23263    21461     21 |  0.001 % |
103.07/103.29	c |    658063 |     428     1859     5641 |    23263    21608     21 |  0.001 % |
103.17/103.32	c |    658223 |     428     1859     5641 |    23263    21768     21 |  0.001 % |
103.17/103.35	c |    658401 |     428     1859     5641 |    23263    21946     21 |  0.001 % |
103.17/103.39	c |    658596 |     428     1859     5641 |    23263    22141     21 |  0.001 % |
103.27/103.43	c |    658809 |     428     1859     5641 |    23263    22354     21 |  0.001 % |
103.27/103.47	c |    659042 |     428     1859     5641 |    23263    22587     21 |  0.001 % |
103.37/103.51	c |    659299 |     428     1859     5641 |    23263    22844     21 |  0.001 % |
103.37/103.56	c |    659583 |     428     1859     5641 |    23263    23128     21 |  0.001 % |
103.47/103.64	c |    659892 |     428     1859     5641 |    23263    18715     21 |  0.001 % |
103.47/103.70	c |    660231 |     428     1859     5641 |    18823    15270     20 |  0.001 % |
103.56/103.74	c |    660607 |     428     1859     5641 |    18823    15646     21 |  0.001 % |
103.56/103.80	c |    661016 |     428     1859     5641 |    18823    16055     21 |  0.001 % |
103.66/103.86	c |    661468 |     428     1859     5641 |    18823    16507     21 |  0.001 % |
103.76/103.92	c |    661961 |     428     1859     5641 |    18823    17000     21 |  0.001 % |
103.76/103.99	c |    662503 |     428     1859     5641 |    18823    17542     21 |  0.001 % |
103.87/104.09	c |    663100 |     428     1859     5641 |    18823    18139     21 |  0.001 % |
104.07/104.20	c |    663756 |     428     1859     5641 |    18823    18795     21 |  0.001 % |
104.17/104.33	c |    664476 |     428     1859     5641 |    18823    16307     20 |  0.001 % |
104.28/104.45	c |    665268 |     428     1859     5641 |    18823    17099     21 |  0.001 % |
104.38/104.59	c |    666139 |     428     1859     5641 |    18823    17970     21 |  0.001 % |
104.57/104.77	c |    667099 |     428     1859     5641 |    18823    15677     21 |  0.001 % |
104.77/104.91	c |    668156 |     428     1859     5641 |    18823    16734     21 |  0.001 % |
104.87/105.08	c |    669315 |     428     1859     5641 |    18823    17893     21 |  0.001 % |
105.07/105.28	c |    670588 |     428     1859     5641 |    18578    16078     21 |  0.001 % |
105.27/105.46	c |    671989 |     428     1859     5641 |    18578    17479     21 |  0.001 % |
105.47/105.67	c |    673530 |     428     1859     5641 |    18578    16327     22 |  0.001 % |
105.77/105.91	c |    675226 |     428     1859     5641 |    18578    18023     22 |  0.001 % |
106.07/106.20	c |    677091 |     428     1859     5641 |    18578    17219     22 |  0.001 % |
106.37/106.52	c |    679140 |     428     1859     5641 |    18578    16523     22 |  0.001 % |
106.67/106.84	c |    681394 |     428     1859     5641 |    17384    16236     22 |  0.001 % |
107.07/107.21	c |    683872 |     428     1859     5641 |    17384    16431     22 |  0.001 % |
107.47/107.60	c |    686599 |     428     1859     5641 |    17384    16924     22 |  0.001 % |
107.77/107.96	c |    689596 |     428     1859     5641 |    17384    15658     22 |  0.001 % |
108.17/108.37	c |    692894 |     428     1859     5641 |    16062    15512     22 |  0.001 % |
108.67/108.86	c |    696520 |     428     1859     5641 |    16062    15915     22 |  0.001 % |
109.17/109.37	c |    700507 |     428     1859     5641 | 2147483647    15066     22 |  0.001 % |
109.77/109.96	c |    704893 |     428     1859     5641 | 2147483647    19452     23 |  0.001 % |
110.57/110.76	c |    709719 |     428     1859     5641 | 2147483647    24278     23 |  0.001 % |
111.57/111.71	c |    715027 |     428     1859     5641 |    24560    21450     23 |  0.001 % |
112.47/112.64	c |    720863 |     428     1859     5641 |    21729    18348     24 |  0.001 % |
113.57/113.73	c |    727282 |     428     1859     5641 |    21729    20380     24 |  0.001 % |
113.57/113.75	c |    727385 |     428     1859     5641 |    21729    20483     24 |  0.001 % |
113.57/113.78	c |    727495 |     428     1859     5641 |    21729    20593     24 |  0.001 % |
113.67/113.81	c |    727616 |     428     1859     5641 |    21729    20714     24 |  0.001 % |
113.67/113.84	c |    727751 |     428     1859     5641 |    21729    20849     24 |  0.001 % |
113.67/113.87	c |    727898 |     428     1859     5641 |    21729    20996     24 |  0.001 % |
113.76/113.90	c |    728059 |     428     1859     5641 |    21729    21157     24 |  0.001 % |
113.76/113.95	c |    728236 |     428     1859     5641 |    21729    21334     24 |  0.001 % |
113.76/113.99	c |    728430 |     428     1859     5641 |    21729    21528     24 |  0.001 % |
113.86/114.03	c |    728645 |     428     1859     5641 |    21729    21743     24 |  0.001 % |
113.86/114.09	c |    728879 |     428     1859     5641 |    21729    17436     24 |  0.001 % |
113.96/114.13	c |    729135 |     428     1859     5641 |    21729    17692     24 |  0.001 % |
113.96/114.19	c |    729416 |     428     1859     5641 |    21729    17973     24 |  0.001 % |
114.06/114.25	c |    729725 |     428     1859     5641 |    21729    18282     24 |  0.001 % |
114.17/114.31	c |    730064 |     428     1859     5641 |    18557    14827     23 |  0.001 % |
114.17/114.36	c |    730437 |     428     1859     5641 |    18557    15200     23 |  0.001 % |
114.27/114.43	c |    730846 |     428     1859     5641 |    18557    15609     23 |  0.001 % |
114.27/114.49	c |    731297 |     428     1859     5641 |    18557    16060     23 |  0.001 % |
114.36/114.57	c |    731790 |     428     1859     5641 |    18557    16553     23 |  0.001 % |
114.46/114.65	c |    732333 |     428     1859     5641 |    18557    17096     23 |  0.001 % |
114.56/114.75	c |    732931 |     428     1859     5641 |    18557    17694     23 |  0.001 % |
114.66/114.85	c |    733586 |     428     1859     5641 |    18557    18349     23 |  0.001 % |
114.76/114.98	c |    734308 |     428     1859     5641 |    18557    15783     23 |  0.001 % |
114.96/115.10	c |    735101 |     428     1859     5641 |    18557    16576     23 |  0.001 % |
115.06/115.24	c |    735973 |     428     1859     5641 |    18557    17448     23 |  0.001 % |
115.27/115.41	c |    736931 |     428     1859     5641 |    18557    18406     23 |  0.001 % |
115.37/115.58	c |    737985 |     428     1859     5641 |    18557    16255     23 |  0.001 % |
115.56/115.74	c |    739143 |     428     1859     5641 |    18557    17413     23 |  0.001 % |
115.76/115.94	c |    740418 |     428     1859     5641 |    18270    15719     22 |  0.001 % |
115.96/116.15	c |    741819 |     428     1859     5641 |    18270    17120     22 |  0.001 % |
116.26/116.40	c |    743359 |     428     1859     5641 |    18270    15918     21 |  0.001 % |
116.46/116.67	c |    745053 |     428     1859     5641 |    18270    17612     21 |  0.001 % |
116.76/116.94	c |    746917 |     428     1859     5641 |    18270    16629     21 |  0.001 % |
117.06/117.23	c |    748966 |     428     1859     5641 |    18270    15915     21 |  0.001 % |
117.36/117.51	c |    751219 |     428     1859     5641 |    16950    15687     21 |  0.001 % |
117.66/117.84	c |    753698 |     428     1859     5641 |    16950    16217     21 |  0.001 % |
118.06/118.22	c |    756425 |     428     1859     5641 |    16950    15282     21 |  0.001 % |
118.46/118.62	c |    759423 |     428     1859     5641 |    16950    16581     21 |  0.001 % |
118.96/119.10	c |    762719 |     428     1859     5641 | 2147483647    18178     21 |  0.001 % |
119.56/119.71	c |    766344 |     428     1859     5641 | 2147483647    21803     21 |  0.001 % |
120.26/120.45	c |    770331 |     428     1859     5641 |    25461    21211     21 |  0.001 % |
121.16/121.36	c |    774718 |     428     1859     5641 |    25461    19925     21 |  0.001 % |
122.06/122.22	c |    779541 |     428     1859     5641 |    25461    24748     21 |  0.001 % |
122.86/123.01	c |    784847 |     428     1859     5641 |    25207    24400     22 |  0.001 % |
123.76/124.00	c |    790682 |     428     1859     5641 |    24034    19505     22 |  0.001 % |
124.86/125.03	c |    797100 |     428     1859     5641 |    24034    20858     22 |  0.001 % |
126.06/126.26	c |    804160 |     428     1859     5641 |    23758    22991     22 |  0.001 % |
126.06/126.28	c |    804260 |     428     1859     5641 |    23758    23091     22 |  0.001 % |
126.16/126.31	c |    804370 |     428     1859     5641 |    23758    23201     22 |  0.001 % |
126.16/126.34	c |    804491 |     428     1859     5641 |    23758    23322     22 |  0.001 % |
126.16/126.37	c |    804624 |     428     1859     5641 |    23758    23455     22 |  0.001 % |
126.16/126.40	c |    804770 |     428     1859     5641 |    23758    23601     22 |  0.001 % |
126.26/126.44	c |    804933 |     428     1859     5641 |    23758    23764     22 |  0.001 % |
126.26/126.49	c |    805109 |     428     1859     5641 |    23758    18588     22 |  0.001 % |
126.36/126.52	c |    805302 |     428     1859     5641 |    23758    18781     22 |  0.001 % |
126.36/126.55	c |    805514 |     428     1859     5641 |    23758    18993     22 |  0.001 % |
126.36/126.59	c |    805747 |     428     1859     5641 |    23758    19226     22 |  0.001 % |
126.45/126.63	c |    806004 |     428     1859     5641 |    23758    19483     22 |  0.001 % |
126.45/126.68	c |    806286 |     428     1859     5641 |    23758    19765     22 |  0.001 % |
126.55/126.74	c |    806597 |     428     1859     5641 |    23758    20076     22 |  0.001 % |
126.65/126.80	c |    806940 |     428     1859     5641 |    23758    20419     22 |  0.001 % |
126.65/126.86	c |    807313 |     428     1859     5641 |    23758    20792     22 |  0.001 % |
126.75/126.93	c |    807723 |     428     1859     5641 |    23758    21202     22 |  0.001 % |
126.85/127.00	c |    808172 |     428     1859     5641 |    23758    21651     22 |  0.001 % |
126.85/127.08	c |    808665 |     428     1859     5641 |    23758    22144     22 |  0.001 % |
126.95/127.19	c |    809210 |     428     1859     5641 |    23758    22689     22 |  0.001 % |
127.05/127.30	c |    809809 |     428     1859     5641 |    23758    23288     22 |  0.001 % |
127.25/127.44	c |    810465 |     428     1859     5641 |    23485    19077     22 |  0.001 % |
127.36/127.57	c |    811185 |     428     1859     5641 |    23485    19797     22 |  0.001 % |
127.46/127.69	c |    811979 |     428     1859     5641 |    23485    20591     22 |  0.001 % |
127.65/127.84	c |    812850 |     428     1859     5641 |    23485    21462     22 |  0.001 % |
127.85/128.01	c |    813808 |     428     1859     5641 |    23485    22420     22 |  0.001 % |
128.05/128.21	c |    814861 |     428     1859     5641 |    23485    23473     22 |  0.001 % |
128.25/128.44	c |    816019 |     428     1859     5641 |    23485    20246     22 |  0.001 % |
128.46/128.61	c |    817292 |     428     1859     5641 |    23485    21519     22 |  0.001 % |
128.65/128.85	c |    818694 |     428     1859     5641 |    23485    22921     22 |  0.001 % |
128.95/129.16	c |    820235 |     428     1859     5641 |    19855    16394     21 |  0.001 % |
129.25/129.43	c |    821930 |     428     1859     5641 |    19855    18089     21 |  0.001 % |
129.55/129.74	c |    823793 |     428     1859     5641 |    19855    16394     21 |  0.001 % |
129.85/130.06	c |    825842 |     428     1859     5641 |    19855    18443     21 |  0.001 % |
130.25/130.44	c |    828095 |     428     1859     5641 |    19855    17166     21 |  0.001 % |
130.55/130.79	c |    830574 |     428     1859     5641 |    19071    16329     20 |  0.001 % |
130.95/131.14	c |    833302 |     428     1859     5641 |    19071    19057     21 |  0.001 % |
131.45/131.64	c |    836299 |     428     1859     5641 |    19071    16389     21 |  0.001 % |
131.95/132.15	c |    839595 |     428     1859     5641 |    19071    16816     21 |  0.001 % |
132.45/132.66	c |    843222 |     428     1859     5641 |    17224    15548     22 |  0.001 % |
133.05/133.23	c |    847210 |     428     1859     5641 |    17224    17183     22 |  0.001 % |
133.75/133.90	c |    851595 |     428     1859     5641 |    15078    14510     21 |  0.001 % |
134.25/134.45	c |    856419 |     428     1859     5641 |    15078    14312     21 |  0.001 % |
134.85/135.09	c |    861726 |     428     1859     5641 | 2147483647    16594     21 |  0.001 % |
135.85/136.09	c |    867561 |     428     1859     5641 | 2147483647    22429     22 |  0.001 % |
136.95/137.12	c |    873981 |     428     1859     5641 |    24869    24601     23 |  0.001 % |
138.35/138.57	c |    881040 |     428     1859     5641 |    19914    16383     24 |  0.001 % |
139.55/139.76	c |    888804 |     428     1859     5641 |    19914    16447     22 |  0.001 % |
139.55/139.77	c |    888905 |     428     1859     5641 |    19914    16548     22 |  0.001 % |
139.55/139.79	c |    889015 |     428     1859     5641 |    19914    16658     22 |  0.001 % |
139.64/139.81	c |    889136 |     428     1859     5641 |    19914    16779     22 |  0.001 % |
139.64/139.83	c |    889269 |     428     1859     5641 |    19914    16912     22 |  0.001 % |
139.64/139.86	c |    889417 |     428     1859     5641 |    19914    17060     22 |  0.001 % |
139.64/139.89	c |    889578 |     428     1859     5641 |    19914    17221     22 |  0.001 % |
139.74/139.92	c |    889754 |     428     1859     5641 |    19914    17397     22 |  0.001 % |
139.74/139.96	c |    889948 |     428     1859     5641 |    19914    17591     22 |  0.001 % |
139.84/140.01	c |    890162 |     428     1859     5641 |    17643    14428     22 |  0.001 % |
139.84/140.04	c |    890395 |     428     1859     5641 |    17643    14661     22 |  0.001 % |
139.84/140.07	c |    890652 |     428     1859     5641 |    17643    14918     22 |  0.001 % |
139.94/140.11	c |    890935 |     428     1859     5641 |    17643    15201     22 |  0.001 % |
139.94/140.17	c |    891244 |     428     1859     5641 |    17643    15510     22 |  0.001 % |
140.04/140.21	c |    891584 |     428     1859     5641 |    17643    15850     22 |  0.001 % |
140.04/140.26	c |    891957 |     428     1859     5641 |    17643    16223     22 |  0.001 % |
140.14/140.32	c |    892368 |     428     1859     5641 |    17643    16634     22 |  0.001 % |
140.14/140.38	c |    892817 |     428     1859     5641 |    17643    17083     22 |  0.001 % |
140.24/140.45	c |    893313 |     428     1859     5641 |    17643    17579     22 |  0.001 % |
140.34/140.53	c |    893856 |     428     1859     5641 |    17643    15436     22 |  0.001 % |
140.44/140.63	c |    894453 |     428     1859     5641 |    17643    16033     22 |  0.001 % |
140.55/140.74	c |    895108 |     428     1859     5641 |    17643    16688     22 |  0.001 % |
140.65/140.87	c |    895828 |     428     1859     5641 |    17643    17408     22 |  0.001 % |
140.84/141.01	c |    896621 |     428     1859     5641 |    17643    15543     22 |  0.001 % |
140.94/141.14	c |    897492 |     428     1859     5641 |    17643    16414     22 |  0.001 % |
141.04/141.29	c |    898450 |     428     1859     5641 |    17643    17372     22 |  0.001 % |
141.24/141.44	c |    899503 |     428     1859     5641 |    17643    15818     21 |  0.001 % |
141.34/141.60	c |    900662 |     428     1859     5641 |    16315    14652     21 |  0.001 % |
141.54/141.77	c |    901935 |     428     1859     5641 |    16315    15925     21 |  0.001 % |
141.74/141.98	c |    903337 |     428     1859     5641 |    16315    15369     21 |  0.001 % |
141.94/142.19	c |    904880 |     428     1859     5641 |    16315    15082     21 |  0.001 % |
142.24/142.43	c |    906575 |     428     1859     5641 |    16315    15074     21 |  0.001 % |
142.44/142.66	c |    908440 |     428     1859     5641 |    16315    15201     21 |  0.001 % |
142.74/142.94	c |    910489 |     428     1859     5641 |    15057    13998     21 |  0.001 % |
143.04/143.24	c |    912742 |     428     1859     5641 |    15057    14742     20 |  0.001 % |
143.34/143.54	c |    915221 |     428     1859     5641 |    15057    14197     20 |  0.001 % |
143.74/143.91	c |    917946 |     428     1859     5641 |    15057    13904     21 |  0.001 % |
144.04/144.29	c |    920945 |     428     1859     5641 | 2147483647    15395     21 |  0.001 % |
144.54/144.79	c |    924241 |     428     1859     5641 | 2147483647    18691     21 |  0.001 % |
145.24/145.41	c |    927866 |     428     1859     5641 | 2147483647    22316     21 |  0.001 % |
145.94/146.19	c |    931853 |     428     1859     5641 |    24451    22081     21 |  0.001 % |
146.84/147.05	c |    936238 |     428     1859     5641 |    24451    21292     21 |  0.001 % |
147.84/148.07	c |    941061 |     428     1859     5641 |    19653    16361     21 |  0.001 % |
148.54/148.75	c |    946366 |     428     1859     5641 |    19653    18064     21 |  0.001 % |
149.44/149.62	c |    952201 |     428     1859     5641 |    18223    17335     22 |  0.001 % |
150.54/150.78	c |    958620 |     428     1859     5641 |    18223    17479     22 |  0.001 % |
151.64/151.82	c |    965679 |     428     1859     5641 |    15623    14254     21 |  0.001 % |
152.64/152.85	c |    973444 |     428     1859     5641 |    14550    13161     20 |  0.001 % |
153.74/153.92	c |    981984 |     428     1859     5641 | 2147483647    15861     21 |  0.001 % |
153.74/153.94	c |    982084 |     428     1859     5641 | 2147483647    15961     21 |  0.001 % |
153.74/153.95	c |    982196 |     428     1859     5641 | 2147483647    16073     21 |  0.001 % |
153.74/153.96	c |    982317 |     428     1859     5641 | 2147483647    16194     21 |  0.001 % |
153.74/153.98	c |    982450 |     428     1859     5641 | 2147483647    16327     21 |  0.001 % |
153.84/154.00	c |    982596 |     428     1859     5641 | 2147483647    16473     21 |  0.001 % |
153.84/154.03	c |    982756 |     428     1859     5641 | 2147483647    16633     21 |  0.001 % |
153.84/154.05	c |    982933 |     428     1859     5641 | 2147483647    16810     21 |  0.001 % |
153.84/154.08	c |    983126 |     428     1859     5641 | 2147483647    17003     21 |  0.001 % |
153.93/154.11	c |    983338 |     428     1859     5641 | 2147483647    17215     21 |  0.001 % |
153.93/154.14	c |    983571 |     428     1859     5641 | 2147483647    17448     21 |  0.001 % |
153.93/154.19	c |    983828 |     428     1859     5641 | 2147483647    17705     21 |  0.001 % |
154.03/154.24	c |    984109 |     428     1859     5641 | 2147483647    17986     21 |  0.001 % |
154.03/154.28	c |    984419 |     428     1859     5641 | 2147483647    18296     21 |  0.001 % |
154.13/154.35	c |    984758 |     428     1859     5641 | 2147483647    18635     21 |  0.001 % |
154.23/154.42	c |    985130 |     428     1859     5641 | 2147483647    19007     21 |  0.001 % |
154.23/154.49	c |    985539 |     428     1859     5641 | 2147483647    19416     21 |  0.001 % |
154.33/154.55	c |    985988 |     428     1859     5641 | 2147483647    19865     21 |  0.001 % |
154.43/154.62	c |    986481 |     428     1859     5641 | 2147483647    20358     21 |  0.001 % |
154.53/154.70	c |    987023 |     428     1859     5641 | 2147483647    20900     22 |  0.001 % |
154.63/154.80	c |    987620 |     428     1859     5641 | 2147483647    21497     22 |  0.001 % |
154.73/154.91	c |    988275 |     428     1859     5641 | 2147483647    22152     22 |  0.001 % |
154.84/155.05	c |    988995 |     428     1859     5641 | 2147483647    22872     21 |  0.001 % |
155.03/155.20	c |    989787 |     428     1859     5641 | 2147483647    23664     21 |  0.001 % |
155.23/155.40	c |    990659 |     428     1859     5641 |    23881    20969     22 |  0.001 % |
155.43/155.61	c |    991619 |     428     1859     5641 |    23881    21929     21 |  0.001 % |
155.63/155.84	c |    992672 |     428     1859     5641 |    23881    22982     21 |  0.001 % |
155.83/156.08	c |    993830 |     428     1859     5641 |    23881    19314     21 |  0.001 % |
156.13/156.30	c |    995103 |     428     1859     5641 |    23881    20587     21 |  0.001 % |
156.33/156.53	c |    996503 |     428     1859     5641 |    23881    21987     21 |  0.001 % |
156.53/156.79	c |    998044 |     428     1859     5641 |    23881    23528     21 |  0.001 % |
156.83/157.08	c |    999739 |     428     1859     5641 |    23881    20372     21 |  0.001 % |
157.13/157.36	c |   1001602 |     428     1859     5641 |    20633    18136     22 |  0.001 % |
157.53/157.70	c |   1003653 |     428     1859     5641 |    20633    20187     22 |  0.001 % |
157.83/158.07	c |   1005906 |     428     1859     5641 |    20633    18973     22 |  0.001 % |
158.23/158.47	c |   1008384 |     428     1859     5641 |    20633    18052     22 |  0.001 % |
158.73/158.90	c |   1011110 |     428     1859     5641 |    19668    17532     22 |  0.001 % |
159.23/159.42	c |   1014107 |     428     1859     5641 |    19668    17220     22 |  0.001 % |
159.73/159.98	c |   1017404 |     428     1859     5641 |    19668    17111     21 |  0.001 % |
160.33/160.59	c |   1021030 |     428     1859     5641 |    19710    17292     20 |  0.001 % |
160.93/161.10	c |   1025017 |     428     1859     5641 |    19710    18206     21 |  0.001 % |
161.53/161.75	c |   1029402 |     428     1859     5641 |    19710    19665     21 |  0.001 % |
162.23/162.46	c |   1034228 |     428     1859     5641 |    17301    16732     22 |  0.001 % |
163.03/163.29	c |   1039533 |     428     1859     5641 |    17301    15034     21 |  0.001 % |
163.73/163.94	c |   1045368 |     428     1859     5641 |    15502    14097     22 |  0.001 % |
164.53/164.79	c |   1051786 |     428     1859     5641 | 2147483647    15850     23 |  0.001 % |
165.73/165.93	c |   1058845 |     428     1859     5641 | 2147483647    22909     24 |  0.001 % |
167.22/167.42	c |   1066610 |     428     1859     5641 |    24064    21467     23 |  0.001 % |
168.72/168.95	c |   1075150 |     428     1859     5641 |    19660    16526     21 |  0.001 % |
170.12/170.37	c |   1084545 |     428     1859     5641 |    17469    15557     20 |  0.001 % |
170.12/170.39	c |   1084645 |     428     1859     5641 |    17469    15657     20 |  0.001 % |
170.12/170.40	c |   1084759 |     428     1859     5641 |    17469    15771     20 |  0.001 % |
170.23/170.42	c |   1084880 |     428     1859     5641 |    17469    15892     20 |  0.001 % |
170.23/170.43	c |   1085015 |     428     1859     5641 |    17469    16027     20 |  0.001 % |
170.23/170.45	c |   1085164 |     428     1859     5641 |    17469    16176     20 |  0.001 % |
170.23/170.47	c |   1085324 |     428     1859     5641 |    17469    16336     20 |  0.001 % |
170.23/170.50	c |   1085501 |     428     1859     5641 |    17469    16513     20 |  0.001 % |
170.33/170.53	c |   1085695 |     428     1859     5641 |    17469    16707     20 |  0.001 % |
170.33/170.56	c |   1085907 |     428     1859     5641 |    17469    16919     20 |  0.001 % |
170.42/170.60	c |   1086140 |     428     1859     5641 |    17469    17152     20 |  0.001 % |
170.42/170.64	c |   1086399 |     428     1859     5641 |    17469    17411     20 |  0.001 % |
170.42/170.69	c |   1086680 |     428     1859     5641 |    17469    14912     20 |  0.001 % |
170.52/170.73	c |   1086989 |     428     1859     5641 |    17469    15221     20 |  0.001 % |
170.52/170.77	c |   1087329 |     428     1859     5641 |    17469    15561     20 |  0.001 % |
170.62/170.82	c |   1087701 |     428     1859     5641 |    17469    15933     20 |  0.001 % |
170.62/170.89	c |   1088110 |     428     1859     5641 |    17469    16342     20 |  0.001 % |
170.72/170.95	c |   1088562 |     428     1859     5641 |    17469    16794     20 |  0.001 % |
170.82/171.02	c |   1089055 |     428     1859     5641 |    17469    17287     20 |  0.001 % |
170.92/171.12	c |   1089598 |     428     1859     5641 |    17469    15214     20 |  0.001 % |
171.02/171.20	c |   1090194 |     428     1859     5641 |    15616    13569     20 |  0.001 % |
171.02/171.27	c |   1090852 |     428     1859     5641 |    15616    14227     20 |  0.001 % |
171.12/171.36	c |   1091572 |     428     1859     5641 |    15616    14947     20 |  0.001 % |
171.22/171.46	c |   1092364 |     428     1859     5641 |    15616    14015     20 |  0.001 % |
171.33/171.57	c |   1093235 |     428     1859     5641 |    15616    14886     20 |  0.001 % |
171.43/171.69	c |   1094193 |     428     1859     5641 |    15616    14275     21 |  0.001 % |
171.62/171.81	c |   1095247 |     428     1859     5641 |    15616    15329     21 |  0.001 % |
171.72/171.95	c |   1096405 |     428     1859     5641 |    15616    14922     21 |  0.001 % |
171.92/172.12	c |   1097678 |     428     1859     5641 |    15616    14626     21 |  0.001 % |
172.12/172.30	c |   1099080 |     428     1859     5641 |    15616    14460     22 |  0.001 % |
172.22/172.48	c |   1100620 |     428     1859     5641 | 2147483647    16000     22 |  0.001 % |
172.52/172.71	c |   1102316 |     428     1859     5641 | 2147483647    17696     22 |  0.001 % |
172.82/173.01	c |   1104179 |     428     1859     5641 | 2147483647    19559     23 |  0.001 % |
173.12/173.37	c |   1106228 |     428     1859     5641 | 2147483647    21608     23 |  0.001 % |
173.52/173.80	c |   1108481 |     428     1859     5641 | 2147483647    23861     22 |  0.001 % |
174.12/174.37	c |   1110959 |     428     1859     5641 |    25380    22149     23 |  0.001 % |
174.72/174.99	c |   1113685 |     428     1859     5641 |    25380    24875     23 |  0.001 % |
175.32/175.58	c |   1116683 |     428     1859     5641 |    25380    22551     22 |  0.001 % |
176.02/176.21	c |   1119979 |     428     1859     5641 |    25380    20404     22 |  0.001 % |
176.52/176.75	c |   1123604 |     428     1859     5641 |    20427    19678     21 |  0.001 % |
177.22/177.40	c |   1127592 |     428     1859     5641 |    20427    19968     22 |  0.001 % |
177.72/177.95	c |   1131978 |     428     1859     5641 |    18755    17596     23 |  0.001 % |
178.42/178.66	c |   1136803 |     428     1859     5641 |    18755    17053     23 |  0.001 % |
179.22/179.43	c |   1142108 |     428     1859     5641 |    17547    17082     23 |  0.001 % |
180.02/180.28	c |   1147945 |     428     1859     5641 |    17547    15656     21 |  0.001 % |
181.02/181.22	c |   1154365 |     428     1859     5641 |    15380    13902     19 |  0.001 % |
182.02/182.23	c |   1161424 |     428     1859     5641 |    13501    13162     18 |  0.001 % |
182.92/183.13	c |   1169188 |     428     1859     5641 |    13501    12585     20 |  0.001 % |
184.12/184.31	c |   1177729 |     428     1859     5641 | 2147483647    21126     21 |  0.001 % |
185.91/186.17	c |   1187124 |     428     1859     5641 |    23397    21382     21 |  0.001 % |
187.62/187.88	c |   1197457 |     428     1859     5641 |    18602    17472     20 |  0.001 % |
187.62/187.89	c |   1197558 |     428     1859     5641 |    18602    17573     20 |  0.001 % |
187.72/187.91	c |   1197668 |     428     1859     5641 |    18602    17683     20 |  0.001 % |
187.72/187.92	c |   1197791 |     428     1859     5641 |    18602    17806     20 |  0.001 % |
187.72/187.94	c |   1197925 |     428     1859     5641 |    18602    17940     20 |  0.001 % |
187.72/187.97	c |   1198071 |     428     1859     5641 |    18602    18086     20 |  0.001 % |
187.72/187.99	c |   1198231 |     428     1859     5641 |    18602    18246     20 |  0.001 % |
187.83/188.02	c |   1198407 |     428     1859     5641 |    18602    18422     20 |  0.001 % |
187.83/188.05	c |   1198600 |     428     1859     5641 |    18602    18615     20 |  0.001 % |
187.83/188.10	c |   1198812 |     428     1859     5641 |    18602    15168     20 |  0.001 % |
187.93/188.13	c |   1199047 |     428     1859     5641 |    18602    15403     20 |  0.001 % |
187.93/188.17	c |   1199303 |     428     1859     5641 |    18602    15659     20 |  0.001 % |
188.02/188.20	c |   1199585 |     428     1859     5641 |    18602    15941     20 |  0.001 % |
188.02/188.23	c |   1199894 |     428     1859     5641 |    18602    16250     20 |  0.001 % |
188.02/188.29	c |   1200234 |     428     1859     5641 |    16356    13564     20 |  0.001 % |
188.12/188.33	c |   1200607 |     428     1859     5641 |    16356    13937     20 |  0.001 % |
188.12/188.39	c |   1201017 |     428     1859     5641 |    16356    14347     20 |  0.001 % |
188.22/188.44	c |   1201467 |     428     1859     5641 |    16356    14797     20 |  0.001 % |
188.22/188.49	c |   1201960 |     428     1859     5641 |    16356    15290     20 |  0.001 % |
188.32/188.55	c |   1202503 |     428     1859     5641 |    16356    15833     20 |  0.001 % |
188.42/188.65	c |   1203099 |     428     1859     5641 |    16356    14398     20 |  0.001 % |
188.52/188.73	c |   1203755 |     428     1859     5641 |    16356    15054     20 |  0.001 % |
188.62/188.81	c |   1204475 |     428     1859     5641 |    16356    15774     20 |  0.001 % |
188.72/188.92	c |   1205268 |     428     1859     5641 |    16356    14712     20 |  0.001 % |
188.82/189.03	c |   1206139 |     428     1859     5641 |    16356    15583     20 |  0.001 % |
188.92/189.16	c |   1207097 |     428     1859     5641 |    16356    14779     20 |  0.001 % |
189.02/189.28	c |   1208151 |     428     1859     5641 |    16356    15833     21 |  0.001 % |
189.22/189.43	c |   1209309 |     428     1859     5641 |    16356    15353     21 |  0.001 % |
189.42/189.61	c |   1210582 |     428     1859     5641 | 2147483647    16626     21 |  0.001 % |
189.62/189.82	c |   1211982 |     428     1859     5641 | 2147483647    18026     21 |  0.001 % |
189.82/190.06	c |   1213523 |     428     1859     5641 | 2147483647    19567     21 |  0.001 % |
190.12/190.33	c |   1215217 |     428     1859     5641 | 2147483647    21261     21 |  0.001 % |
190.42/190.65	c |   1217080 |     428     1859     5641 | 2147483647    23124     21 |  0.001 % |
190.82/191.04	c |   1219131 |     428     1859     5641 | 2147483647    25175     21 |  0.001 % |
191.22/191.49	c |   1221385 |     428     1859     5641 |    26047    22827     21 |  0.001 % |
191.72/191.98	c |   1223864 |     428     1859     5641 |    26047    25306     22 |  0.001 % |
192.32/192.52	c |   1226589 |     428     1859     5641 |    26047    22597     22 |  0.001 % |
192.82/193.06	c |   1229586 |     428     1859     5641 |    26047    25594     22 |  0.001 % |
193.42/193.66	c |   1232882 |     428     1859     5641 |    26010    23280     22 |  0.001 % |
194.32/194.51	c |   1236507 |     428     1859     5641 |    26010    20796     22 |  0.001 % |
195.12/195.31	c |   1240494 |     428     1859     5641 |    24289    18873     22 |  0.001 % |
196.02/196.22	c |   1244879 |     428     1859     5641 |    24289    23258     22 |  0.001 % |
196.82/197.09	c |   1249703 |     428     1859     5641 |    24289    22034     22 |  0.001 % |
197.82/198.04	c |   1255009 |     428     1859     5641 |    22332    21978     23 |  0.001 % |
198.71/198.96	c |   1260844 |     428     1859     5641 |    21903    17898     23 |  0.001 % |
199.92/200.10	c |   1267264 |     428     1859     5641 |    21903    19779     22 |  0.001 % |
201.02/201.29	c |   1274324 |     428     1859     5641 |    17891    15395     21 |  0.001 % |
202.31/202.56	c |   1282088 |     428     1859     5641 |    17920    16848     21 |  0.001 % |
203.41/203.67	c |   1290628 |     428     1859     5641 |    17138    15445     22 |  0.001 % |
204.71/204.94	c |   1300023 |     428     1859     5641 |    15283    15306     23 |  0.001 % |
206.01/206.26	c |   1310357 |     428     1859     5641 | 2147483647    14728     24 |  0.001 % |
208.01/208.27	c |   1321724 |     428     1859     5641 |    24372    22128     23 |  0.001 % |
208.01/208.29	c |   1321824 |     428     1859     5641 |    24372    22228     23 |  0.001 % |
208.11/208.32	c |   1321934 |     428     1859     5641 |    24372    22338     23 |  0.001 % |
208.11/208.35	c |   1322056 |     428     1859     5641 |    24372    22460     23 |  0.001 % |
208.11/208.38	c |   1322189 |     428     1859     5641 |    24372    22593     23 |  0.001 % |
208.21/208.41	c |   1322337 |     428     1859     5641 |    24372    22741     23 |  0.001 % |
208.21/208.45	c |   1322497 |     428     1859     5641 |    24372    22901     23 |  0.001 % |
208.21/208.49	c |   1322673 |     428     1859     5641 |    24372    23077     23 |  0.001 % |
208.31/208.52	c |   1322866 |     428     1859     5641 |    24372    23270     23 |  0.001 % |
208.31/208.57	c |   1323078 |     428     1859     5641 |    24372    23482     23 |  0.001 % |
208.41/208.62	c |   1323312 |     428     1859     5641 |    24372    23716     23 |  0.001 % |
208.41/208.69	c |   1323568 |     428     1859     5641 |    24372    23972     23 |  0.001 % |
208.51/208.75	c |   1323849 |     428     1859     5641 |    24372    24253     23 |  0.001 % |
208.61/208.83	c |   1324158 |     428     1859     5641 |    24372    19169     23 |  0.001 % |
208.71/208.91	c |   1324497 |     428     1859     5641 |    24372    19508     23 |  0.001 % |
208.71/208.99	c |   1324869 |     428     1859     5641 |    24372    19880     23 |  0.001 % |
208.81/209.07	c |   1325279 |     428     1859     5641 |    24372    20290     22 |  0.001 % |
208.91/209.15	c |   1325729 |     428     1859     5641 |    24372    20740     22 |  0.001 % |
209.01/209.25	c |   1326227 |     428     1859     5641 |    24372    21238     22 |  0.001 % |
209.11/209.36	c |   1326771 |     428     1859     5641 |    24372    21782     22 |  0.001 % |
209.31/209.51	c |   1327367 |     428     1859     5641 |    24372    22378     22 |  0.001 % |
209.41/209.66	c |   1328022 |     428     1859     5641 |    24372    23033     22 |  0.001 % |
209.61/209.82	c |   1328742 |     428     1859     5641 |    24372    23753     23 |  0.001 % |
209.81/210.01	c |   1329535 |     428     1859     5641 |    24372    18880     22 |  0.001 % |
209.91/210.18	c |   1330408 |     428     1859     5641 |    19345    15273     22 |  0.001 % |
210.11/210.31	c |   1331367 |     428     1859     5641 |    19345    16232     22 |  0.001 % |
210.21/210.47	c |   1332420 |     428     1859     5641 |    19345    17285     22 |  0.001 % |
210.41/210.65	c |   1333578 |     428     1859     5641 |    19345    18443     22 |  0.001 % |
210.61/210.86	c |   1334852 |     428     1859     5641 |    19345    16167     22 |  0.001 % |
210.81/211.09	c |   1336253 |     428     1859     5641 |    19345    17568     22 |  0.001 % |
211.11/211.35	c |   1337793 |     428     1859     5641 |    19345    19108     22 |  0.001 % |
211.41/211.63	c |   1339487 |     428     1859     5641 |    19345    17296     21 |  0.001 % |
211.61/211.89	c |   1341352 |     428     1859     5641 |    17809    16040     21 |  0.001 % |
212.01/212.22	c |   1343401 |     428     1859     5641 |    17809    15321     21 |  0.001 % |
212.31/212.55	c |   1345654 |     428     1859     5641 |    17809    17574     21 |  0.001 % |
212.71/212.92	c |   1348133 |     428     1859     5641 |    17809    17433     20 |  0.001 % |
213.11/213.33	c |   1350860 |     428     1859     5641 |    16788    15313     20 |  0.001 % |
213.51/213.71	c |   1353860 |     428     1859     5641 |    16788    16353     20 |  0.001 % |
214.01/214.20	c |   1357157 |     428     1859     5641 |    16788    15696     20 |  0.001 % |
214.51/214.74	c |   1360783 |     428     1859     5641 |    16479    15178     20 |  0.001 % |
215.01/215.25	c |   1364771 |     428     1859     5641 |    16479    15185     20 |  0.001 % |
215.61/215.82	c |   1369157 |     428     1859     5641 |    16479    15634     21 |  0.001 % |
216.31/216.51	c |   1373981 |     428     1859     5641 |    16477    15086     22 |  0.001 % |
217.11/217.34	c |   1379286 |     428     1859     5641 |    16477    14435     23 |  0.001 % |
217.90/218.16	c |   1385122 |     428     1859     5641 |    15149    14504     22 |  0.001 % |
218.71/218.95	c |   1391540 |     428     1859     5641 |    14059    14041     22 |  0.001 % |
219.60/219.84	c |   1398600 |     428     1859     5641 |    14059    14049     21 |  0.001 % |
220.70/220.92	c |   1406365 |     428     1859     5641 | 2147483647    20403     20 |  0.001 % |
222.30/222.54	c |   1414905 |     428     1859     5641 |    24038    19419     20 |  0.001 % |
224.00/224.25	c |   1424300 |     428     1859     5641 |    18840    18716     20 |  0.001 % |
225.60/225.81	c |   1434633 |     428     1859     5641 |    16875    15467     20 |  0.001 % |
227.20/227.44	c |   1446000 |     428     1859     5641 |    15486    14543     21 |  0.001 % |
228.60/228.89	c |   1458504 |     428     1859     5641 |    14690    13950     23 |  0.001 % |
228.70/228.91	c |   1458604 |     428     1859     5641 |    14690    14050     23 |  0.001 % |
228.70/228.92	c |   1458716 |     428     1859     5641 |    14690    14162     23 |  0.001 % |
228.70/228.94	c |   1458838 |     428     1859     5641 |    14690    14284     23 |  0.001 % |
228.70/228.96	c |   1458972 |     428     1859     5641 |    14690    14418     23 |  0.001 % |
228.70/228.98	c |   1459119 |     428     1859     5641 |    14690    14565     23 |  0.001 % |
228.80/229.00	c |   1459279 |     428     1859     5641 |    14690    14725     23 |  0.001 % |
228.80/229.03	c |   1459455 |     428     1859     5641 |    14690    13359     23 |  0.001 % |
228.80/229.05	c |   1459648 |     428     1859     5641 |    14690    13552     23 |  0.001 % |
228.80/229.08	c |   1459864 |     428     1859     5641 |    14690    13768     23 |  0.001 % |
228.90/229.11	c |   1460097 |     428     1859     5641 |    13904    12607     22 |  0.001 % |
228.90/229.14	c |   1460353 |     428     1859     5641 |    13904    12863     22 |  0.001 % |
228.90/229.17	c |   1460636 |     428     1859     5641 |    13904    13146     22 |  0.001 % |
229.00/229.21	c |   1460946 |     428     1859     5641 |    13904    13456     22 |  0.001 % |
229.00/229.25	c |   1461286 |     428     1859     5641 |    13904    13796     22 |  0.001 % |
229.10/229.30	c |   1461659 |     428     1859     5641 |    13904    12774     22 |  0.001 % |
229.10/229.35	c |   1462069 |     428     1859     5641 |    13904    13184     22 |  0.001 % |
229.10/229.40	c |   1462518 |     428     1859     5641 |    13904    13633     22 |  0.001 % |
229.20/229.46	c |   1463012 |     428     1859     5641 |    13904    12730     22 |  0.001 % |
229.30/229.52	c |   1463554 |     428     1859     5641 |    13904    13272     22 |  0.001 % |
229.30/229.59	c |   1464151 |     428     1859     5641 |    13904    13869     22 |  0.001 % |
229.40/229.67	c |   1464806 |     428     1859     5641 |    13904    13127     22 |  0.001 % |
229.50/229.75	c |   1465526 |     428     1859     5641 |    13904    13847     22 |  0.001 % |
229.60/229.85	c |   1466319 |     428     1859     5641 |    13904    13241     22 |  0.001 % |
229.70/229.96	c |   1467191 |     428     1859     5641 |    13904    12719     22 |  0.001 % |
229.80/230.08	c |   1468149 |     428     1859     5641 |    13904    13677     21 |  0.001 % |
230.00/230.21	c |   1469205 |     428     1859     5641 |    13904    13337     21 |  0.001 % |
230.10/230.36	c |   1470364 |     428     1859     5641 | 2147483647    13101     21 |  0.001 % |
230.30/230.51	c |   1471638 |     428     1859     5641 | 2147483647    14375     21 |  0.001 % |
230.40/230.68	c |   1473038 |     428     1859     5641 | 2147483647    15775     21 |  0.001 % |
230.70/230.91	c |   1474578 |     428     1859     5641 | 2147483647    17315     21 |  0.001 % |
230.90/231.17	c |   1476273 |     428     1859     5641 | 2147483647    19010     21 |  0.001 % |
231.20/231.45	c |   1478137 |     428     1859     5641 | 2147483647    20874     22 |  0.001 % |
231.60/231.85	c |   1480188 |     428     1859     5641 |    22737    20326     22 |  0.001 % |
232.00/232.23	c |   1482443 |     428     1859     5641 |    22737    22581     22 |  0.001 % |
232.39/232.67	c |   1484923 |     428     1859     5641 |    22737    21647     22 |  0.001 % |
232.90/233.16	c |   1487648 |     428     1859     5641 |    22737    20701     22 |  0.001 % |
233.49/233.73	c |   1490645 |     428     1859     5641 |    19212    16602     22 |  0.001 % |
234.00/234.30	c |   1493942 |     428     1859     5641 |    19212    17099     22 |  0.001 % |
234.69/234.95	c |   1497567 |     428     1859     5641 |    19212    17778     21 |  0.001 % |
235.20/235.42	c |   1501555 |     428     1859     5641 |    17402    16478     21 |  0.001 % |
235.69/235.98	c |   1505940 |     428     1859     5641 |    17402    16936     22 |  0.001 % |
236.39/236.68	c |   1510763 |     428     1859     5641 |    16897    15688     22 |  0.001 % |
237.19/237.45	c |   1516070 |     428     1859     5641 |    16897    15437     21 |  0.001 % |
237.99/238.25	c |   1521905 |     428     1859     5641 |    15523    14033     21 |  0.001 % |
238.99/239.20	c |   1528324 |     428     1859     5641 |    15523    15281     21 |  0.001 % |
239.89/240.11	c |   1535383 |     428     1859     5641 |    15054    14059     21 |  0.001 % |
240.79/241.05	c |   1543149 |     428     1859     5641 | 2147483647    17290     22 |  0.001 % |
242.39/242.69	c |   1551689 |     428     1859     5641 |    24142    21719     22 |  0.001 % |
244.29/244.55	c |   1561084 |     428     1859     5641 |    19330    16176     20 |  0.001 % |
245.59/245.87	c |   1571418 |     428     1859     5641 |    18143    16442     20 |  0.001 % |
247.19/247.46	c |   1582785 |     428     1859     5641 |    16645    14497     21 |  0.001 % |
248.99/249.28	c |   1595287 |     428     1859     5641 |    14665    14086     21 |  0.001 % |
250.89/251.19	c |   1609039 |     428     1859     5641 |    13182    12570     20 |  0.001 % |
250.99/251.20	c |   1609139 |     428     1859     5641 |    13182    12670     20 |  0.001 % |
250.99/251.21	c |   1609252 |     428     1859     5641 |    13182    12783     20 |  0.001 % |
250.99/251.22	c |   1609373 |     428     1859     5641 |    13182    12904     20 |  0.001 % |
250.99/251.24	c |   1609506 |     428     1859     5641 |    13182    13037     20 |  0.001 % |
250.99/251.26	c |   1609654 |     428     1859     5641 |    13182    13185     20 |  0.001 % |
250.99/251.28	c |   1609814 |     428     1859     5641 |    13182    12027     20 |  0.001 % |
251.08/251.30	c |   1609990 |     428     1859     5641 |    13182    12203     20 |  0.001 % |
251.08/251.33	c |   1610184 |     428     1859     5641 | 2147483647    12397     20 |  0.001 % |
251.08/251.35	c |   1610396 |     428     1859     5641 | 2147483647    12609     20 |  0.001 % |
251.08/251.37	c |   1610630 |     428     1859     5641 | 2147483647    12843     20 |  0.001 % |
251.08/251.39	c |   1610887 |     428     1859     5641 | 2147483647    13100     20 |  0.001 % |
251.18/251.43	c |   1611168 |     428     1859     5641 | 2147483647    13381     20 |  0.001 % |
251.18/251.46	c |   1611477 |     428     1859     5641 | 2147483647    13690     20 |  0.001 % |
251.28/251.51	c |   1611818 |     428     1859     5641 | 2147483647    14031     20 |  0.001 % |
251.28/251.57	c |   1612190 |     428     1859     5641 | 2147483647    14403     20 |  0.001 % |
251.38/251.62	c |   1612600 |     428     1859     5641 | 2147483647    14813     20 |  0.001 % |
251.38/251.67	c |   1613050 |     428     1859     5641 | 2147483647    15263     20 |  0.001 % |
251.48/251.72	c |   1613543 |     428     1859     5641 | 2147483647    15756     20 |  0.001 % |
251.48/251.80	c |   1614087 |     428     1859     5641 | 2147483647    16300     20 |  0.001 % |
251.59/251.86	c |   1614684 |     428     1859     5641 | 2147483647    16897     20 |  0.001 % |
251.69/251.94	c |   1615339 |     428     1859     5641 | 2147483647    17552     20 |  0.001 % |
251.78/252.03	c |   1616059 |     428     1859     5641 | 2147483647    18272     20 |  0.001 % |
251.88/252.15	c |   1616852 |     428     1859     5641 | 2147483647    19065     21 |  0.001 % |
252.08/252.31	c |   1617725 |     428     1859     5641 | 2147483647    19938     21 |  0.001 % |
252.18/252.49	c |   1618684 |     428     1859     5641 | 2147483647    20897     21 |  0.001 % |
252.38/252.65	c |   1619738 |     428     1859     5641 | 2147483647    21951     21 |  0.001 % |
252.58/252.87	c |   1620897 |     428     1859     5641 |    22213    20508     21 |  0.001 % |
252.79/253.08	c |   1622171 |     428     1859     5641 |    22213    21782     21 |  0.001 % |
253.08/253.35	c |   1623574 |     428     1859     5641 |    22213    19753     21 |  0.001 % |
253.28/253.58	c |   1625115 |     428     1859     5641 |    22213    21294     21 |  0.001 % |
253.58/253.85	c |   1626810 |     428     1859     5641 |    22213    19320     22 |  0.001 % |
253.89/254.16	c |   1628674 |     428     1859     5641 |    22213    21184     22 |  0.001 % |
254.28/254.51	c |   1630724 |     428     1859     5641 |    18909    16560     22 |  0.001 % |
254.58/254.86	c |   1632979 |     428     1859     5641 |    18909    18815     22 |  0.001 % |
255.08/255.30	c |   1635457 |     428     1859     5641 |    18909    18608     22 |  0.001 % |
255.48/255.74	c |   1638182 |     428     1859     5641 |    18909    18468     22 |  0.001 % |
255.88/256.15	c |   1641179 |     428     1859     5641 |    17480    16130     21 |  0.001 % |
256.28/256.58	c |   1644477 |     428     1859     5641 |    17480    17235     21 |  0.001 % |
256.78/257.07	c |   1648103 |     428     1859     5641 |    17480    16660     21 |  0.001 % |
257.38/257.61	c |   1652090 |     428     1859     5641 |    16403    16446     21 |  0.001 % |
257.88/258.14	c |   1656476 |     428     1859     5641 |    16403    14991     22 |  0.001 % |
258.58/258.83	c |   1661301 |     428     1859     5641 |    14623    14190     22 |  0.001 % |
259.28/259.54	c |   1666610 |     428     1859     5641 |    14623    13526     21 |  0.001 % |
260.18/260.40	c |   1672445 |     428     1859     5641 |    13968    13426     21 |  0.001 % |
261.08/261.30	c |   1678863 |     428     1859     5641 |    13968    13758     22 |  0.001 % |
262.08/262.37	c |   1685922 |     428     1859     5641 | 2147483647    19406     23 |  0.001 % |
263.48/263.72	c |   1693687 |     428     1859     5641 |    23484    19311     23 |  0.001 % |
265.28/265.52	c |   1702228 |     428     1859     5641 |    20708    18479     23 |  0.001 % |
266.78/267.06	c |   1711622 |     428     1859     5641 |    17609    15655     22 |  0.001 % |
268.38/268.66	c |   1721956 |     428     1859     5641 |    15145    14604     23 |  0.001 % |
269.98/270.26	c |   1733323 |     428     1859     5641 |    14013    13855     23 |  0.001 % |
271.87/272.16	c |   1745827 |     428     1859     5641 |    12855    12439     23 |  0.001 % |
273.87/274.15	c |   1759580 |     428     1859     5641 | 2147483647    22198     23 |  0.001 % |
276.17/276.49	c |   1774710 |     428     1859     5641 |    19976    15991     24 |  0.001 % |
276.27/276.51	c |   1774812 |     428     1859     5641 |    19976    16093     23 |  0.001 % |
276.27/276.52	c |   1774926 |     428     1859     5641 |    19976    16207     23 |  0.001 % |
276.27/276.54	c |   1775049 |     428     1859     5641 |    19976    16330     23 |  0.001 % |
276.27/276.56	c |   1775182 |     428     1859     5641 |    19976    16463     23 |  0.001 % |
276.27/276.58	c |   1775328 |     428     1859     5641 |    19976    16609     23 |  0.001 % |
276.38/276.61	c |   1775488 |     428     1859     5641 |    19976    16769     23 |  0.001 % |
276.38/276.64	c |   1775665 |     428     1859     5641 |    19976    16946     23 |  0.001 % |
276.38/276.67	c |   1775858 |     428     1859     5641 |    19976    17139     23 |  0.001 % |
276.48/276.71	c |   1776072 |     428     1859     5641 |    19976    17353     23 |  0.001 % |
276.48/276.75	c |   1776306 |     428     1859     5641 |    19976    17587     23 |  0.001 % |
276.48/276.80	c |   1776565 |     428     1859     5641 |    19976    17846     23 |  0.001 % |
276.58/276.86	c |   1776847 |     428     1859     5641 |    19976    18128     23 |  0.001 % |
276.68/276.93	c |   1777156 |     428     1859     5641 |    19976    18437     23 |  0.001 % |
276.68/276.98	c |   1777495 |     428     1859     5641 |    19976    18776     23 |  0.001 % |
276.78/277.06	c |   1777867 |     428     1859     5641 |    19976    19148     23 |  0.001 % |
276.88/277.13	c |   1778276 |     428     1859     5641 |    19976    19557     23 |  0.001 % |
276.98/277.20	c |   1778725 |     428     1859     5641 |    19976    20006     23 |  0.001 % |
276.98/277.30	c |   1779218 |     428     1859     5641 |    19976    16231     23 |  0.001 % |
277.08/277.37	c |   1779760 |     428     1859     5641 |    19976    16773     23 |  0.001 % |
277.18/277.46	c |   1780356 |     428     1859     5641 |    17014    13847     22 |  0.001 % |
277.28/277.54	c |   1781011 |     428     1859     5641 |    17014    14502     22 |  0.001 % |
277.38/277.63	c |   1781731 |     428     1859     5641 |    17014    15222     22 |  0.001 % |
277.48/277.77	c |   1782523 |     428     1859     5641 |    17014    16014     22 |  0.001 % |
277.58/277.89	c |   1783394 |     428     1859     5641 |    17014    16885     22 |  0.001 % |
277.78/278.02	c |   1784353 |     428     1859     5641 |    17014    15052     21 |  0.001 % |
277.88/278.16	c |   1785407 |     428     1859     5641 |    17014    16106     21 |  0.001 % |
278.08/278.33	c |   1786565 |     428     1859     5641 |    17014    14847     21 |  0.001 % |
278.18/278.50	c |   1787839 |     428     1859     5641 |    17014    16121     21 |  0.001 % |
278.38/278.69	c |   1789239 |     428     1859     5641 |    17014    15232     21 |  0.001 % |
278.58/278.88	c |   1790782 |     428     1859     5641 |    15993    14747     21 |  0.001 % |
278.78/279.08	c |   1792476 |     428     1859     5641 |    15993    14837     21 |  0.001 % |
279.08/279.34	c |   1794340 |     428     1859     5641 |    15993    15098     21 |  0.001 % |
279.38/279.63	c |   1796390 |     428     1859     5641 |    15993    15543     22 |  0.001 % |
279.68/279.94	c |   1798643 |     428     1859     5641 |    15993    14588     22 |  0.001 % |
280.08/280.32	c |   1801121 |     428     1859     5641 | 2147483647    17066     22 |  0.001 % |
280.48/280.73	c |   1803847 |     428     1859     5641 | 2147483647    19792     22 |  0.001 % |
281.08/281.34	c |   1806845 |     428     1859     5641 | 2147483647    22790     22 |  0.001 % |
281.78/282.01	c |   1810142 |     428     1859     5641 |    25945    21568     22 |  0.001 % |
282.48/282.76	c |   1813768 |     428     1859     5641 |    25945    25194     22 |  0.001 % |
283.38/283.61	c |   1817755 |     428     1859     5641 |    25945    23694     22 |  0.001 % |
284.18/284.41	c |   1822140 |     428     1859     5641 |    25940    22442     22 |  0.001 % |
285.08/285.37	c |   1826964 |     428     1859     5641 |    25940    21796     22 |  0.001 % |
286.28/286.51	c |   1832269 |     428     1859     5641 |    24833    21572     22 |  0.001 % |
287.48/287.78	c |   1838106 |     428     1859     5641 |    24833    21373     21 |  0.001 % |
288.78/289.06	c |   1844524 |     428     1859     5641 |    23267    22157     21 |  0.001 % |
289.77/290.05	c |   1851585 |     428     1859     5641 |    22312    18898     21 |  0.001 % |
290.98/291.21	c |   1859352 |     428     1859     5641 |    22312    21764     22 |  0.001 % |
292.28/292.58	c |   1867892 |     428     1859     5641 |    17637    15661     22 |  0.001 % |
293.67/293.92	c |   1877286 |     428     1859     5641 |    14821    14058     22 |  0.001 % |
295.07/295.30	c |   1887619 |     428     1859     5641 |    13364    12776     22 |  0.001 % |
296.68/296.93	c |   1898986 |     428     1859     5641 | 2147483647    21460     22 |  0.001 % |
299.27/299.59	c |   1911489 |     428     1859     5641 |    18863    15941     21 |  0.001 % |
301.37/301.64	c |   1925241 |     428     1859     5641 |    17215    16675     21 |  0.001 % |
303.67/303.91	c |   1940368 |     428     1859     5641 |    15282    13488     21 |  0.001 % |
305.87/306.12	c |   1957007 |     428     1859     5641 | 2147483647    20903     23 |  0.001 % |
305.87/306.14	c |   1957107 |     428     1859     5641 | 2147483647    21003     23 |  0.001 % |
305.87/306.16	c |   1957220 |     428     1859     5641 | 2147483647    21116     23 |  0.001 % |
305.87/306.18	c |   1957341 |     428     1859     5641 | 2147483647    21237     23 |  0.001 % |
305.97/306.21	c |   1957474 |     428     1859     5641 | 2147483647    21370     23 |  0.001 % |
305.97/306.24	c |   1957621 |     428     1859     5641 | 2147483647    21517     23 |  0.001 % |
305.97/306.28	c |   1957781 |     428     1859     5641 | 2147483647    21677     23 |  0.001 % |
306.07/306.31	c |   1957958 |     428     1859     5641 | 2147483647    21854     23 |  0.001 % |
306.07/306.36	c |   1958151 |     428     1859     5641 | 2147483647    22047     23 |  0.001 % |
306.17/306.41	c |   1958364 |     428     1859     5641 | 2147483647    22260     23 |  0.001 % |
306.17/306.44	c |   1958598 |     428     1859     5641 | 2147483647    22494     23 |  0.001 % |
306.27/306.50	c |   1958854 |     428     1859     5641 | 2147483647    22750     23 |  0.001 % |
306.27/306.55	c |   1959135 |     428     1859     5641 | 2147483647    23031     23 |  0.001 % |
306.37/306.61	c |   1959446 |     428     1859     5641 | 2147483647    23342     23 |  0.001 % |
306.37/306.68	c |   1959785 |     428     1859     5641 | 2147483647    23681     23 |  0.001 % |
306.47/306.77	c |   1960159 |     428     1859     5641 |    23898    20137     23 |  0.001 % |
306.57/306.85	c |   1960569 |     428     1859     5641 |    23898    20547     23 |  0.001 % |
306.67/306.93	c |   1961019 |     428     1859     5641 |    23898    20997     23 |  0.001 % |
306.76/307.02	c |   1961514 |     428     1859     5641 |    23898    21492     23 |  0.001 % |
306.86/307.12	c |   1962057 |     428     1859     5641 |    23898    22035     23 |  0.001 % |
306.96/307.24	c |   1962653 |     428     1859     5641 |    23898    22631     23 |  0.001 % |
307.06/307.38	c |   1963308 |     428     1859     5641 |    23898    23286     23 |  0.001 % |
307.27/307.55	c |   1964028 |     428     1859     5641 |    23898    19120     23 |  0.001 % |
307.37/307.66	c |   1964820 |     428     1859     5641 |    23898    19912     23 |  0.001 % |
307.47/307.79	c |   1965691 |     428     1859     5641 |    23898    20783     23 |  0.001 % |
307.67/307.95	c |   1966649 |     428     1859     5641 |    23898    21741     23 |  0.001 % |
307.87/308.13	c |   1967702 |     428     1859     5641 |    23898    22794     23 |  0.001 % |
308.07/308.38	c |   1968860 |     428     1859     5641 |    23898    19268     23 |  0.001 % |
308.36/308.63	c |   1970135 |     428     1859     5641 |    20410    16484     22 |  0.001 % |
308.56/308.85	c |   1971535 |     428     1859     5641 |    20410    17884     22 |  0.001 % |
308.77/309.08	c |   1973076 |     428     1859     5641 |    20410    19425     23 |  0.001 % |
309.06/309.38	c |   1974770 |     428     1859     5641 |    20410    17415     22 |  0.001 % |
309.36/309.66	c |   1976633 |     428     1859     5641 |    20410    19278     22 |  0.001 % |
309.76/310.00	c |   1978683 |     428     1859     5641 |    20410    17725     22 |  0.001 % |
310.06/310.36	c |   1980938 |     428     1859     5641 |    19044    16683     22 |  0.001 % |
310.46/310.73	c |   1983416 |     428     1859     5641 |    19044    16399     21 |  0.001 % |
310.86/311.12	c |   1986141 |     428     1859     5641 |    19044    16475     21 |  0.001 % |
311.26/311.58	c |   1989138 |     428     1859     5641 |    19044    16707     21 |  0.001 % |
311.76/312.07	c |   1992436 |     428     1859     5641 |    17571    17427     21 |  0.001 % |
312.36/312.61	c |   1996061 |     428     1859     5641 |    17571    16262     21 |  0.001 % |
312.76/313.05	c |   2000048 |     428     1859     5641 |    15689    15737     21 |  0.001 % |
313.36/313.62	c |   2004433 |     428     1859     5641 |    15689    14864     21 |  0.001 % |
313.86/314.12	c ===============================================================================
313.86/314.12	c restarts              : 1583
313.86/314.12	c conflicts             : 2008327        (6399 /sec)
313.86/314.12	c decisions             : 2469845        (1.80 % random) (7870 /sec)
313.86/314.12	c propagations          : 129211268      (411708 /sec)
313.86/314.12	c conflict literals     : 45327791       (19.18 % deleted)
313.86/314.12	c Memory used           : 8.60 MB
313.86/314.12	c CPU time              : 313.842 s
313.86/314.12	c 
313.86/314.12	s SATISFIABLE
313.86/314.13	s SATISFIABLE
313.86/314.13	v -1 -2 3 -4 -5 -6 -7 8 -9 10 11 12 -13 -14 15 -16 17 18 19 20 -21 -22 23 24 -25 26 27 -28 -29 30 -31 32 33 34 -35 -36 -37 38 -39 40 41 42 43 44 45 -46 -47 -48 49 50 -51 52 53 -54 -55 -56 -57 58 59 60 -61 62 -63 64 65 -66 -67 -68 69 -70 71 72 -73 74 75 -76 77 78 -79 80 -81 -82 83 84 -85 86 -87 88 89 -90 -91 92 -93 94 95 -96 -97 98 -99 100 -101 -102 -103 104 105 106 -107 -108 -109 -110 111 -112 113 -114 -115 -116 117 118 -119 120 121 -122 -123 -124 -125 -126 127 -128 -129 -130 131 -132 133 -134 -135 -136 137 138 139 140 -141 142 -143 -144 -145 -146 -147 148 149 -150 151 -152 153 -154 -155 -156 -157 158 159 160 161 162 -163 164 165 166 -167 -168 169 170 171 172 173 174 175 -176 177 -178 179 180 -181 -182 183 184 -185 -186 187 188 -189 190 -191 -192 193 -194 195 -196 197 -198 199 -200 -201 -202 203 204 -205 -206 207 -208 -209 210 211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 224 -225 -226 -227 228 229 230 231 232 -233 -234 -235 -236 -237 238 239 240 241 242 -243 244 -245 246 -247 -248 -249 -250 251 252 -253 254 255 256 -257 -258 -259 -260 -261 262 -263 -264 265 266 267 -268 269 -270 -271 -272 273 274 -275 -276 277 -278 279 280 281 282 283 -284 285 -286 287 288 -289 -290 -291 -292 293 294 -295 296 -297 298 -299 300 -301 -302 303 -304 305 -306 307 308 -309 -310 -311 -312 313 -314 315 -316 317 318 -319 320 321 -322 323 324 325 -326 327 -328 329 -330 331 -332 333 334 -335 336 337 -338 -339 340 -341 342 -343 344 -345 -346 347 348 349 350 -351 -352 353 -354 -355 -356 357 358 359 -360 361 362 363 -364 -365 366 367 368 -369 370 -371 -372 -373 374 375 376 377 378 379 380 -381 -382 -383 -384 -385 386 -387 -388 -389 390 391 -392 393 -394 395 -396 -397 -398 399 400 -401 402 -403 -404 -405 -406 -407 -408 409 -410 -411 412 413 -414 -415 -416 -417 418 419 -420 -421 -422 423 -424 425 426 -427 -428 429 -430 431 -432 -433 -434 -435 -436 437 438 -439 440 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-1833477-1242822274/watcher-1833477-1242822274 -o /tmp/evaluation-result-1833477-1242822274/solver-1833477-1242822274 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833477-1242822274.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 4400
/proc/meminfo: memFree=1976392/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310260877 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4400/statm: 1339 237 197 169 0 50 0

[startup+0.0808711 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 4400
/proc/meminfo: memFree=1976392/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102871 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 4400
/proc/meminfo: memFree=1976392/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302888 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 4400
/proc/meminfo: memFree=1976392/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701929 s]
/proc/loadavg: 1.00 1.00 1.19 3/64 4400
/proc/meminfo: memFree=1976392/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.19 2/66 4406
/proc/meminfo: memFree=1974456/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=3896 CPUtime=1.48
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 617 0 0 0 148 0 0 0 25 0 1 0 310260879 3989504 603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 974 603 76 171 0 801 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9252

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.19 2/66 4406
/proc/meminfo: memFree=1973304/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=5024 CPUtime=3.07
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 915 0 0 0 307 0 0 0 25 0 1 0 310260879 5144576 901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1256 901 76 171 0 1083 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10380

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.19 2/66 4406
/proc/meminfo: memFree=1971704/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=5848 CPUtime=6.26
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1116 0 0 0 626 0 0 0 25 0 1 0 310260879 5988352 1102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1462 1102 76 171 0 1289 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11204

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.18 2/66 4406
/proc/meminfo: memFree=1971576/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=5980 CPUtime=12.66
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1127 0 0 0 1265 1 0 0 25 0 1 0 310260879 6123520 1113 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1495 1113 76 171 0 1322 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11336

[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 1.18 2/66 4406
/proc/meminfo: memFree=1971512/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=5980 CPUtime=25.44
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1127 0 0 0 2543 1 0 0 25 0 1 0 310260879 6123520 1113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1495 1113 76 171 0 1322 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 11336

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.18 2/66 4406
/proc/meminfo: memFree=1971320/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=6116 CPUtime=51.01
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1168 0 0 0 5099 2 0 0 25 0 1 0 310260879 6262784 1154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1529 1154 76 171 0 1356 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 11472

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.17 2/66 4406
/proc/meminfo: memFree=1970552/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=6788 CPUtime=102.17
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1326 0 0 0 10215 2 0 0 25 0 1 0 310260879 6950912 1312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1697 1312 76 171 0 1524 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 12144

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.15 2/66 4406
/proc/meminfo: memFree=1969720/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=7456 CPUtime=162.13
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1485 0 0 0 16210 3 0 0 25 0 1 0 310260879 7634944 1471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 1864 1471 76 171 0 1691 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 12812

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.14 2/66 4406
/proc/meminfo: memFree=1969016/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8144 CPUtime=222.1
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1661 0 0 0 22206 4 0 0 25 0 1 0 310260879 8339456 1647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2036 1647 76 171 0 1863 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 13500

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.13 2/66 4406
/proc/meminfo: memFree=1968632/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8540 CPUtime=282.08
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1777 0 0 0 28203 5 0 0 25 0 1 0 310260879 8744960 1763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2135 1763 76 171 0 1962 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 13896

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

[startup+294.301 s]
/proc/loadavg: 1.00 1.00 1.13 2/66 4406
/proc/meminfo: memFree=1968376/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8672 CPUtime=294.07
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1797 0 0 0 29402 5 0 0 25 0 1 0 310260879 8880128 1783 1992294400 134512640 135215339 4294956240 18446744073709551615 134545475 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2168 1783 76 171 0 1995 0
Current children cumulated CPU time (s) 294.07
Current children cumulated vsize (KiB) 14028

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 1.13 2/66 4406
/proc/meminfo: memFree=1968248/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=306.86
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 30681 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 306.86
Current children cumulated vsize (KiB) 14160

[startup+310.302 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 4406
/proc/meminfo: memFree=1968248/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=310.06
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 31001 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 310.06
Current children cumulated vsize (KiB) 14160

[startup+311.902 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 4406
/proc/meminfo: memFree=1968248/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=311.66
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 31161 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 311.66
Current children cumulated vsize (KiB) 14160

[startup+313.506 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 4406
/proc/meminfo: memFree=1968184/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=313.27
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 31322 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 313.27
Current children cumulated vsize (KiB) 14160

[startup+313.902 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 4406
/proc/meminfo: memFree=1968184/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=313.66
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 31361 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 313.66
Current children cumulated vsize (KiB) 14160

[startup+314.102 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 4406
/proc/meminfo: memFree=1968184/2055920 swapFree=4180004/4192956
[pid=4400] ppid=4398 vsize=5356 CPUtime=0
/proc/4400/stat : 4400 (SatELiteGTI) S 4398 4400 4302 0 -1 4194304 336 407 0 0 0 0 0 0 16 0 1 0 310260877 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4400/statm: 1339 239 197 169 0 50 0
[pid=4406] ppid=4400 vsize=8804 CPUtime=313.86
/proc/4406/stat : 4406 (minisat_static) R 4400 4400 4302 0 -1 4194304 1834 0 0 0 31381 5 0 0 25 0 1 0 310260879 9015296 1820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/4406/statm: 2201 1820 76 171 0 2028 0
Current children cumulated CPU time (s) 313.86
Current children cumulated vsize (KiB) 14160

Child status: 10
Real time (s): 314.138
CPU time (s): 313.916
CPU user time (s): 313.852
CPU system time (s): 0.06399
CPU usage (%): 99.9295
Max. virtual memory (cumulated for all children) (KiB): 14160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.852
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 3876

runsolver used 0.396939 second user time and 0.844871 second system time

The end

Launcher Data

Begin job on node14 at 2009-05-20 14:24:34
IDJOB=1833477
IDBENCH=70702
IDSOLVER=671
FILE ID=node14/1833477-1242822274
PBS_JOBID= 9322471
Free space on /tmp= 66296 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/440/unif-k3-r4.25-v440-c1870-S725789261-031.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833477-1242822274/watcher-1833477-1242822274 -o /tmp/evaluation-result-1833477-1242822274/solver-1833477-1242822274 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833477-1242822274.cnf

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

MD5SUM BENCH= f67f090e24644066ce5872fbc256498a
RANDOM SEED=1262801192

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1976872 kB
Buffers:         11248 kB
Cached:          30328 kB
SwapCached:       6908 kB
Active:          23924 kB
Inactive:        26240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1976872 kB
SwapTotal:     4192956 kB
SwapFree:      4180004 kB
Dirty:            1632 kB
Writeback:           0 kB
Mapped:          13924 kB
Slab:            14880 kB
Committed_AS:   996472 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66292 MiB
End job on node14 at 2009-05-20 14:29:48