Trace number 1834137

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.09 1200.61

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
MD5SUM424de5d4f0392bf458f49384a643429b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.16421
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   43649    87978 |   13094       0        0     nan |  0.000 % |
0.00/0.15	c |         0 |   42889   140074 |      --       0       --      -- |     --   | -760/52096
0.00/0.15	c ==============================================================================
0.00/0.15	c Result  :   #vars: 720   #clauses: 42889   #literals: 140074
0.00/0.15	c CPU time:   0.136979 s
0.00/0.15	c ==============================================================================
0.00/0.19	c This is MiniSat 2.0 beta
0.00/0.19	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19	c ============================[ Problem Statistics ]=============================
0.00/0.19	c |                                                                             |
0.00/0.19	c |  Number of variables:  720                                                  |
0.00/0.19	c |  Number of clauses:    42889                                                |
0.17/0.21	c |  Parsing time:         0.02         s                                       |
0.17/0.21	c ============================[ Search Statistics ]==============================
0.17/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.17/0.21	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.17/0.21	c ===============================================================================
0.17/0.21	c |         0 |     720    42889   140074 |    14296        0    nan |  0.000 % |
0.17/0.22	c |       101 |     720    42889   140074 |    14296      101     93 |  0.000 % |
0.17/0.23	c |       202 |     720    42889   140074 |    14296      202     75 |  0.000 % |
0.17/0.24	c |       302 |     720    42889   140074 |    14296      302     63 |  0.026 % |
0.17/0.25	c |       414 |     720    42889   140074 |    14296      414     58 |  0.000 % |
0.17/0.26	c |       517 |     720    42889   140074 |    14296      517     59 |  0.026 % |
0.17/0.27	c |       628 |     720    42889   140074 |    14296      628     62 |  0.000 % |
0.17/0.28	c |       750 |     720    42889   140074 |    14296      750     64 |  0.000 % |
0.17/0.28	c |       850 |     720    42889   140074 |    14296      850     64 |  0.026 % |
0.17/0.29	c |       960 |     720    42889   140074 |    14296      960     62 |  0.000 % |
0.17/0.30	c |      1082 |     720    42889   140074 |    14296     1082     59 |  0.023 % |
0.17/0.31	c |      1215 |     720    42889   140074 |    14296     1215     62 |  0.000 % |
0.17/0.32	c |      1316 |     720    42889   140074 |    14296     1316     60 |  0.000 % |
0.17/0.33	c |      1428 |     720    42889   140074 |    14296     1428     59 |  0.022 % |
0.17/0.34	c |      1549 |     720    42889   140074 |    14296     1549     57 |  0.025 % |
0.17/0.35	c |      1682 |     720    42889   140074 |    14296     1682     62 |  0.000 % |
0.17/0.36	c |      1829 |     720    42889   140074 |    14296     1829     64 |  0.000 % |
0.17/0.37	c |      1929 |     720    42889   140074 |    14296     1929     64 |  0.023 % |
0.17/0.38	c |      2040 |     720    42889   140074 |    14296     2040     64 |  0.023 % |
0.17/0.39	c |      2161 |     720    42889   140074 |    14296     2161     66 |  0.000 % |
0.17/0.40	c |      2295 |     720    42889   140074 |    14296     2295     66 |  0.000 % |
0.17/0.42	c |      2442 |     720    42889   140074 |    14296     2442     66 |  0.027 % |
0.17/0.43	c |      2602 |     720    42889   140074 |    14296     2602     67 |  0.000 % |
0.17/0.44	c |      2702 |     720    42889   140074 |    14296     2702     67 |  0.000 % |
0.17/0.46	c |      2812 |     720    42889   140074 |    14296     2812     68 |  0.000 % |
0.17/0.47	c |      2937 |     720    42889   140074 |    14296     2937     68 |  0.000 % |
0.17/0.48	c |      3073 |     720    42889   140074 |    14296     3073     68 |  0.026 % |
0.17/0.50	c |      3221 |     720    42889   140074 |    14296     3221     70 |  0.000 % |
0.17/0.51	c |      3381 |     720    42889   140074 |    14296     3381     70 |  0.000 % |
0.17/0.53	c |      3558 |     720    42889   140074 |    14296     3558     69 |  0.023 % |
0.17/0.54	c |      3658 |     720    42889   140074 |    14296     3658     70 |  0.000 % |
0.17/0.55	c |      3769 |     720    42889   140074 |    14296     3769     70 |  0.000 % |
0.17/0.56	c |      3890 |     720    42889   140074 |    14296     3890     69 |  0.000 % |
0.17/0.57	c |      4025 |     720    42889   140074 |    14296     4025     68 |  0.029 % |
0.17/0.59	c |      4172 |     720    42889   140074 |    14296     4172     68 |  0.000 % |
0.17/0.61	c |      4333 |     720    42889   140074 |    14296     4333     68 |  0.000 % |
0.17/0.62	c |      4509 |     720    42889   140074 |    14296     4509     67 |  0.022 % |
0.17/0.64	c |      4703 |     720    42889   140074 |    14296     4703     69 |  0.000 % |
0.17/0.66	c |      4806 |     720    42889   140074 |    14296     4806     70 |  0.000 % |
0.17/0.67	c |      4916 |     720    42889   140074 |    14296     4916     70 |  0.000 % |
0.17/0.68	c |      5038 |     720    42889   140074 |    14296     5038     70 |  0.000 % |
0.17/0.70	c |      5174 |     720    42889   140074 |    14296     5174     71 |  0.000 % |
0.17/0.71	c |      5323 |     720    42889   140074 |    14296     5323     71 |  0.000 % |
0.17/0.73	c |      5483 |     720    42889   140074 |    14296     5483     71 |  0.000 % |
0.17/0.75	c |      5660 |     720    42889   140074 |    14296     5660     71 |  0.000 % |
0.17/0.77	c |      5855 |     720    42889   140074 |    14296     5855     71 |  0.022 % |
0.17/0.80	c |      6067 |     720    42889   140074 |    14296     6067     71 |  0.000 % |
0.17/0.81	c |      6168 |     720    42889   140074 |    14296     6168     71 |  0.000 % |
0.17/0.83	c |      6278 |     720    42889   140074 |    14296     6278     71 |  0.000 % |
0.17/0.84	c |      6400 |     720    42889   140074 |    14296     6400     70 |  0.000 % |
0.17/0.86	c |      6536 |     720    42889   140074 |    14296     6536     70 |  0.000 % |
0.17/0.88	c |      6682 |     720    42889   140074 |    14296     6682     70 |  0.000 % |
0.17/0.89	c |      6842 |     720    42889   140074 |    14296     6842     70 |  0.000 % |
0.17/0.91	c |      7023 |     720    42889   140074 |    14296     7023     69 |  0.022 % |
0.17/0.94	c |      7217 |     720    42889   140074 |    14296     7217     70 |  0.000 % |
0.17/0.96	c |      7431 |     720    42889   140074 |    14296     7431     70 |  0.028 % |
0.17/0.99	c |      7664 |     720    42889   140074 |    14296     7664     69 |  0.000 % |
0.96/1.00	c |      7765 |     720    42889   140074 |    14296     7765     69 |  0.000 % |
0.96/1.02	c |      7876 |     720    42889   140074 |    14296     7876     69 |  0.000 % |
0.96/1.03	c |      7997 |     720    42889   140074 |    14296     7997     68 |  0.000 % |
0.96/1.05	c |      8130 |     720    42889   140074 |    14296     8130     68 |  0.027 % |
0.96/1.06	c |      8277 |     720    42889   140074 |    14296     8277     68 |  0.028 % |
0.96/1.08	c |      8437 |     720    42889   140074 |    14296     8437     67 |  0.027 % |
1.06/1.10	c |      8613 |     720    42889   140074 |    14296     8613     67 |  0.021 % |
1.06/1.13	c |      8806 |     720    42889   140074 |    14296     8806     67 |  0.000 % |
1.06/1.16	c |      9020 |     720    42889   140074 |    14296     9020     66 |  0.029 % |
1.16/1.20	c |      9254 |     720    42889   140074 |    14296     9254     67 |  0.000 % |
1.16/1.23	c |      9510 |     720    42889   140074 |    14296     9510     66 |  0.000 % |
1.16/1.25	c |      9612 |     720    42889   140074 |    14296     9612     67 |  0.000 % |
1.16/1.27	c |      9722 |     720    42889   140074 |    14296     9722     67 |  0.000 % |
1.16/1.28	c |      9843 |     720    42889   140074 |    14296     9843     67 |  0.000 % |
1.26/1.30	c |      9977 |     720    42889   140074 |    14296     9977     66 |  0.026 % |
1.26/1.32	c |     10123 |     720    42889   140074 | 2147483647    10123     66 |  0.022 % |
1.26/1.34	c |     10283 |     720    42889   140074 | 2147483647    10283     66 |  0.026 % |
1.26/1.37	c |     10460 |     720    42889   140074 | 2147483647    10460     65 |  0.026 % |
1.26/1.39	c |     10653 |     720    42889   140074 | 2147483647    10653     65 |  0.021 % |
1.36/1.42	c |     10866 |     720    42889   140074 | 2147483647    10866     64 |  0.022 % |
1.36/1.46	c |     11099 |     720    42889   140074 | 2147483647    11099     64 |  0.000 % |
1.47/1.50	c |     11355 |     720    42889   140074 | 2147483647    11355     64 |  0.000 % |
1.47/1.54	c |     11636 |     720    42889   140074 | 2147483647    11636     64 |  0.000 % |
1.47/1.55	c |     11736 |     720    42889   140074 | 2147483647    11736     64 |  0.000 % |
1.47/1.57	c |     11847 |     720    42889   140074 | 2147483647    11847     64 |  0.021 % |
1.47/1.58	c |     11968 |     720    42889   140074 | 2147483647    11968     64 |  0.000 % |
1.57/1.60	c |     12101 |     720    42889   140074 | 2147483647    12101     64 |  0.000 % |
1.57/1.62	c |     12247 |     720    42889   140074 | 2147483647    12247     63 |  0.029 % |
1.57/1.64	c |     12408 |     720    42889   140074 | 2147483647    12408     63 |  0.000 % |
1.57/1.66	c |     12585 |     720    42889   140074 | 2147483647    12585     63 |  0.024 % |
1.57/1.70	c |     12779 |     720    42889   140074 | 2147483647    12779     63 |  0.000 % |
1.67/1.73	c |     12992 |     720    42889   140074 | 2147483647    12992     63 |  0.000 % |
1.67/1.77	c |     13225 |     720    42889   140074 | 2147483647    13225     63 |  0.023 % |
1.77/1.81	c |     13483 |     720    42889   140074 | 2147483647    13483     62 |  0.023 % |
1.77/1.85	c |     13764 |     720    42889   140074 | 2147483647    13764     62 |  0.023 % |
1.77/1.89	c |     14073 |     720    42889   140074 | 2147483647    14073     61 |  0.023 % |
1.87/1.91	c |     14173 |     720    42889   140074 | 2147483647    14173     61 |  0.000 % |
1.87/1.93	c |     14284 |     720    42889   140074 | 2147483647    14284     62 |  0.000 % |
1.87/1.95	c |     14405 |     720    42889   140074 | 2147483647    14405     62 |  0.000 % |
1.87/1.97	c |     14539 |     720    42889   140074 | 2147483647    14539     62 |  0.000 % |
1.97/2.00	c |     14686 |     720    42889   140074 | 2147483647    14686     62 |  0.000 % |
1.97/2.03	c |     14847 |     720    42889   140074 | 2147483647    14847     62 |  0.022 % |
1.97/2.05	c |     15023 |     720    42889   140074 | 2147483647    15023     62 |  0.024 % |
1.97/2.09	c |     15217 |     720    42889   140074 | 2147483647    15217     62 |  0.000 % |
2.07/2.12	c |     15429 |     720    42889   140074 | 2147483647    15429     62 |  0.027 % |
2.07/2.17	c |     15663 |     720    42889   140074 | 2147483647    15663     62 |  0.022 % |
2.17/2.22	c |     15920 |     720    42889   140074 | 2147483647    15920     62 |  0.022 % |
2.17/2.27	c |     16202 |     720    42889   140074 | 2147483647    16202     61 |  0.000 % |
2.26/2.33	c |     16511 |     720    42889   140074 | 2147483647    16511     61 |  0.025 % |
2.26/2.39	c |     16850 |     720    42889   140074 | 2147483647    16850     62 |  0.000 % |
2.36/2.41	c |     16950 |     720    42889   140074 | 2147483647    16950     62 |  0.023 % |
2.36/2.43	c |     17061 |     720    42889   140074 | 2147483647    17061     62 |  0.000 % |
2.36/2.45	c |     17184 |     720    42889   140074 | 2147483647    17184     62 |  0.000 % |
2.36/2.47	c |     17317 |     720    42889   140074 | 2147483647    17317     62 |  0.000 % |
2.36/2.50	c |     17463 |     720    42889   140074 | 2147483647    17463     62 |  0.000 % |
2.46/2.53	c |     17623 |     720    42889   140074 | 2147483647    17623     62 |  0.023 % |
2.46/2.56	c |     17801 |     720    42889   140074 | 2147483647    17801     62 |  0.000 % |
2.56/2.60	c |     17994 |     720    42889   140074 | 2147483647    17994     61 |  0.023 % |
2.56/2.64	c |     18207 |     720    42889   140074 | 2147483647    18207     61 |  0.022 % |
2.56/2.68	c |     18440 |     720    42889   140074 | 2147483647    18440     61 |  0.000 % |
2.66/2.73	c |     18696 |     720    42889   140074 | 2147483647    18696     61 |  0.023 % |
2.66/2.78	c |     18978 |     720    42889   140074 | 2147483647    18978     60 |  0.000 % |
2.76/2.84	c |     19288 |     720    42889   140074 | 2147483647    19288     60 |  0.028 % |
2.86/2.91	c |     19627 |     720    42889   140074 | 2147483647    19627     59 |  0.028 % |
2.86/2.97	c |     20000 |     720    42889   140074 | 2147483647    20000     59 |  0.022 % |
2.86/2.99	c |     20101 |     720    42889   140074 | 2147483647    20101     59 |  0.000 % |
2.96/3.02	c |     20212 |     720    42889   140074 | 2147483647    20212     59 |  0.000 % |
2.96/3.04	c |     20333 |     720    42889   140074 | 2147483647    20333     59 |  0.000 % |
2.96/3.06	c |     20466 |     720    42889   140074 | 2147483647    20466     59 |  0.000 % |
3.06/3.10	c |     20612 |     720    42889   140074 | 2147483647    20612     59 |  0.000 % |
3.06/3.13	c |     20772 |     720    42889   140074 | 2147483647    20772     59 |  0.023 % |
3.06/3.16	c |     20948 |     720    42889   140074 | 2147483647    20948     59 |  0.023 % |
3.06/3.19	c |     21141 |     720    42889   140074 | 2147483647    21141     59 |  0.023 % |
3.16/3.23	c |     21357 |     720    42889   140074 | 2147483647    21357     59 |  0.000 % |
3.16/3.27	c |     21590 |     720    42889   140074 | 2147483647    21590     59 |  0.025 % |
3.26/3.32	c |     21849 |     720    42889   140074 | 2147483647    21849     59 |  0.000 % |
3.26/3.38	c |     22130 |     720    42889   140074 | 2147483647    22130     59 |  0.000 % |
3.36/3.44	c |     22440 |     720    42889   140074 | 2147483647    22440     58 |  0.000 % |
3.46/3.51	c |     22779 |     720    42889   140074 | 2147483647    22779     58 |  0.020 % |
3.46/3.59	c |     23151 |     720    42889   140074 | 2147483647    23151     58 |  0.020 % |
3.56/3.67	c |     23560 |     720    42889   140074 | 2147483647    23560     58 |  0.020 % |
3.56/3.69	c |     23661 |     720    42889   140074 | 2147483647    23661     58 |  0.000 % |
3.65/3.72	c |     23771 |     720    42889   140074 | 2147483647    23771     58 |  0.000 % |
3.65/3.75	c |     23895 |     720    42889   140074 | 2147483647    23895     58 |  0.000 % |
3.65/3.77	c |     24031 |     720    42889   140074 | 2147483647    24031     58 |  0.022 % |
3.75/3.82	c |     24179 |     720    42889   140074 | 2147483647    24179     58 |  0.000 % |
3.75/3.86	c |     24342 |     720    42889   140074 | 2147483647    24342     58 |  0.000 % |
3.75/3.89	c |     24518 |     720    42889   140074 | 2147483647    24518     58 |  0.000 % |
3.85/3.95	c |     24714 |     720    42889   140074 | 2147483647    24714     58 |  0.000 % |
3.95/4.00	c |     24926 |     720    42889   140074 | 2147483647    24926     59 |  0.000 % |
3.95/4.05	c |     25160 |     720    42889   140074 | 2147483647    25160     59 |  0.000 % |
3.95/4.09	c |     25417 |     720    42889   140074 | 2147483647    25417     59 |  0.000 % |
4.06/4.15	c |     25701 |     720    42889   140074 | 2147483647    25701     59 |  0.000 % |
4.16/4.21	c |     26012 |     720    42889   140074 | 2147483647    26012     59 |  0.029 % |
4.16/4.30	c |     26351 |     720    42889   140074 | 2147483647    26351     60 |  0.000 % |
4.27/4.39	c |     26725 |     720    42889   140074 | 2147483647    26725     60 |  0.000 % |
4.37/4.48	c |     27134 |     720    42889   140074 | 2147483647    27134     60 |  0.000 % |
4.46/4.57	c |     27584 |     720    42889   140074 | 2147483647    27584     60 |  0.021 % |
4.46/4.60	c |     27684 |     720    42889   140074 | 2147483647    27684     60 |  0.000 % |
4.56/4.62	c |     27794 |     720    42889   140074 | 2147483647    27794     60 |  0.000 % |
4.56/4.66	c |     27916 |     720    42889   140074 | 2147483647    27916     60 |  0.024 % |
4.56/4.69	c |     28051 |     720    42889   140074 | 2147483647    28051     60 |  0.023 % |
4.66/4.74	c |     28197 |     720    42889   140074 | 2147483647    28197     60 |  0.000 % |
4.66/4.79	c |     28359 |     720    42889   140074 | 2147483647    28359     60 |  0.000 % |
4.76/4.84	c |     28536 |     720    42889   140074 | 2147483647    28536     60 |  0.000 % |
4.76/4.89	c |     28730 |     720    42889   140074 | 2147483647    28730     61 |  0.000 % |
4.86/4.95	c |     28942 |     720    42889   140074 | 2147483647    28942     61 |  0.000 % |
4.96/5.01	c |     29176 |     720    42889   140074 | 2147483647    29176     61 |  0.000 % |
4.96/5.07	c |     29432 |     720    42889   140074 | 2147483647    29432     61 |  0.000 % |
5.06/5.14	c |     29715 |     720    42889   140074 | 2147483647    29715     61 |  0.020 % |
5.16/5.21	c |     30024 |     720    42889   140074 | 2147483647    30024     60 |  0.000 % |
5.26/5.33	c |     30363 |     720    42889   140074 | 2147483647    30363     61 |  0.000 % |
5.36/5.43	c |     30735 |     720    42889   140074 | 2147483647    30735     61 |  0.000 % |
5.46/5.55	c |     31147 |     720    42889   140074 | 2147483647    31147     61 |  0.026 % |
5.55/5.68	c |     31596 |     720    42889   140074 | 2147483647    31596     60 |  0.021 % |
5.75/5.83	c |     32090 |     720    42889   140074 | 2147483647    32090     61 |  0.000 % |
5.75/5.87	c |     32190 |     720    42889   140074 | 2147483647    32190     61 |  0.000 % |
5.85/5.91	c |     32300 |     720    42889   140074 | 2147483647    32300     61 |  0.000 % |
5.85/5.95	c |     32422 |     720    42889   140074 | 2147483647    32422     61 |  0.000 % |
5.85/5.98	c |     32556 |     720    42889   140074 | 2147483647    32556     61 |  0.000 % |
5.95/6.04	c |     32702 |     720    42889   140074 | 2147483647    32702     61 |  0.000 % |
5.95/6.09	c |     32862 |     720    42889   140074 | 2147483647    32862     61 |  0.022 % |
6.05/6.14	c |     33039 |     720    42889   140074 | 2147483647    33039     61 |  0.024 % |
6.15/6.21	c |     33233 |     720    42889   140074 | 2147483647    33233     61 |  0.000 % |
6.15/6.27	c |     33445 |     720    42889   140074 | 2147483647    33445     61 |  0.020 % |
6.25/6.33	c |     33680 |     720    42889   140074 | 2147483647    33680     62 |  0.000 % |
6.35/6.41	c |     33937 |     720    42889   140074 | 2147483647    33937     62 |  0.020 % |
6.35/6.48	c |     34219 |     720    42889   140074 | 2147483647    34219     62 |  0.026 % |
6.45/6.56	c |     34530 |     720    42889   140074 | 2147483647    34530     61 |  0.024 % |
6.65/6.70	c |     34869 |     720    42889   140074 | 2147483647    34869     62 |  0.000 % |
6.75/6.83	c |     35241 |     720    42889   140074 | 2147483647    35241     62 |  0.022 % |
6.85/6.98	c |     35650 |     720    42889   140074 | 2147483647    35650     61 |  0.022 % |
7.05/7.13	c |     36099 |     720    42889   140074 | 2147483647    36099     61 |  0.022 % |
7.25/7.33	c |     36593 |     720    42889   140074 | 2147483647    36593     62 |  0.000 % |
7.45/7.56	c |     37135 |     720    42889   140074 | 2147483647    37135     62 |  0.000 % |
7.45/7.59	c |     37236 |     720    42889   140074 | 2147483647    37236     62 |  0.000 % |
7.55/7.63	c |     37348 |     720    42889   140074 | 2147483647    37348     62 |  0.000 % |
7.55/7.66	c |     37472 |     720    42889   140074 | 2147483647    37472     62 |  0.026 % |
7.65/7.70	c |     37610 |     720    42889   140074 | 2147483647    37610     63 |  0.026 % |
7.65/7.75	c |     37756 |     720    42889   140074 | 2147483647    37756     62 |  0.000 % |
7.75/7.80	c |     37916 |     720    42889   140074 | 2147483647    37916     62 |  0.026 % |
7.75/7.86	c |     38092 |     720    42889   140074 | 2147483647    38092     62 |  0.021 % |
7.85/7.95	c |     38285 |     720    42889   140074 | 2147483647    38285     63 |  0.000 % |
7.95/8.02	c |     38497 |     720    42889   140074 | 2147483647    38497     63 |  0.000 % |
8.05/8.13	c |     38732 |     720    42889   140074 | 2147483647    38732     63 |  0.020 % |
8.15/8.23	c |     38988 |     720    42889   140074 | 2147483647    38988     63 |  0.019 % |
8.25/8.33	c |     39270 |     720    42889   140074 | 2147483647    39270     63 |  0.019 % |
8.35/8.46	c |     39580 |     720    42889   140074 | 2147483647    39580     62 |  0.020 % |
8.45/8.59	c |     39919 |     720    42889   140074 | 2147483647    39919     63 |  0.000 % |
8.66/8.72	c |     40291 |     720    42889   140074 | 2147483647    40291     63 |  0.023 % |
8.76/8.87	c |     40700 |     720    42889   140074 | 2147483647    40700     63 |  0.030 % |
8.95/9.02	c |     41150 |     720    42889   140074 | 2147483647    41150     63 |  0.000 % |
9.05/9.18	c |     41644 |     720    42889   140074 | 2147483647    41644     63 |  0.024 % |
9.25/9.36	c |     42188 |     720    42889   140074 | 2147483647    42188     62 |  0.029 % |
9.45/9.56	c |     42785 |     720    42889   140074 | 2147483647    42785     62 |  0.000 % |
9.55/9.60	c |     42887 |     720    42889   140074 | 2147483647    42887     62 |  0.029 % |
9.55/9.65	c |     42999 |     720    42889   140074 | 2147483647    42999     62 |  0.025 % |
9.65/9.70	c |     43120 |     720    42889   140074 | 2147483647    43120     62 |  0.025 % |
9.65/9.76	c |     43253 |     720    42889   140074 | 2147483647    43253     62 |  0.020 % |
9.75/9.82	c |     43400 |     720    42889   140074 | 2147483647    43400     62 |  0.020 % |
9.75/9.88	c |     43560 |     720    42889   140074 | 2147483647    43560     62 |  0.000 % |
9.85/9.95	c |     43737 |     720    42889   140074 | 2147483647    43737     62 |  0.000 % |
9.95/10.02	c |     43930 |     720    42889   140074 | 2147483647    43930     62 |  0.000 % |
10.05/10.12	c |     44142 |     720    42889   140074 | 2147483647    44142     62 |  0.000 % |
10.15/10.20	c |     44376 |     720    42889   140074 | 2147483647    44376     62 |  0.021 % |
10.15/10.29	c |     44632 |     720    42889   140074 | 2147483647    44632     62 |  0.022 % |
10.25/10.39	c |     44913 |     720    42889   140074 | 2147483647    44913     62 |  0.022 % |
10.45/10.51	c |     45222 |     720    42889   140074 | 2147483647    45222     62 |  0.022 % |
10.55/10.64	c |     45561 |     720    42889   140074 | 2147483647    45561     62 |  0.022 % |
10.65/10.79	c |     45934 |     720    42889   140074 | 2147483647    45934     62 |  0.000 % |
10.85/10.98	c |     46343 |     720    42889   140074 | 2147483647    46343     62 |  0.022 % |
11.04/11.13	c |     46794 |     720    42889   140074 | 2147483647    46794     62 |  0.028 % |
11.25/11.35	c |     47287 |     720    42889   140074 | 2147483647    47287     62 |  0.000 % |
11.45/11.59	c |     47830 |     720    42889   140074 | 2147483647    47830     62 |  0.022 % |
11.75/11.83	c |     48428 |     720    42889   140074 | 2147483647    48428     62 |  0.026 % |
12.05/12.17	c |     49083 |     720    42889   140074 | 2147483647    49083     61 |  0.020 % |
12.15/12.22	c |     49183 |     720    42889   140074 | 2147483647    49183     61 |  0.000 % |
12.15/12.27	c |     49295 |     720    42889   140074 | 2147483647    49295     61 |  0.023 % |
12.25/12.33	c |     49416 |     720    42889   140074 | 2147483647    49416     61 |  0.000 % |
12.25/12.38	c |     49550 |     720    42889   140074 | 2147483647    49550     61 |  0.026 % |
12.35/12.47	c |     49696 |     720    42889   140074 | 2147483647    49696     61 |  0.000 % |
12.45/12.54	c |     49857 |     720    42889   140074 | 2147483647    49857     61 |  0.000 % |
12.55/12.60	c |     50034 |     720    42889   140074 | 2147483647    50034     61 |  0.000 % |
12.55/12.70	c |     50228 |     720    42889   140074 | 2147483647    50228     62 |  0.000 % |
12.65/12.77	c |     50440 |     720    42889   140074 | 2147483647    50440     62 |  0.000 % |
12.75/12.86	c |     50673 |     720    42889   140074 | 2147483647    50673     62 |  0.000 % |
12.85/12.96	c |     50930 |     720    42889   140074 | 2147483647    50930     62 |  0.022 % |
12.95/13.06	c |     51211 |     720    42889   140074 | 2147483647    51211     62 |  0.000 % |
13.05/13.17	c |     51520 |     720    42889   140074 | 2147483647    51520     62 |  0.000 % |
13.24/13.36	c |     51860 |     720    42889   140074 | 2147483647    51860     62 |  0.000 % |
13.44/13.54	c |     52232 |     720    42889   140074 | 2147483647    52232     62 |  0.000 % |
13.64/13.73	c |     52643 |     720    42889   140074 | 2147483647    52643     63 |  0.000 % |
13.84/13.93	c |     53092 |     720    42889   140074 | 2147483647    53092     63 |  0.027 % |
14.14/14.22	c |     53586 |     720    42889   140074 | 2147483647    53586     63 |  0.000 % |
14.34/14.49	c |     54128 |     720    42889   140074 | 2147483647    54128     64 |  0.000 % |
14.64/14.75	c |     54725 |     720    42889   140074 | 2147483647    54725     64 |  0.000 % |
14.94/15.04	c |     55380 |     720    42889   140074 | 2147483647    55380     64 |  0.000 % |
15.25/15.32	c |     56100 |     720    42889   140074 | 2147483647    56100     64 |  0.023 % |
15.25/15.37	c |     56200 |     720    42889   140074 | 2147483647    56200     64 |  0.020 % |
15.35/15.43	c |     56311 |     720    42889   140074 | 2147483647    56311     64 |  0.000 % |
15.35/15.49	c |     56433 |     720    42889   140074 | 2147483647    56433     63 |  0.000 % |
15.44/15.56	c |     56567 |     720    42889   140074 | 2147483647    56567     63 |  0.000 % |
15.54/15.66	c |     56714 |     720    42889   140074 | 2147483647    56714     64 |  0.000 % |
15.64/15.76	c |     56874 |     720    42889   140074 | 2147483647    56874     64 |  0.026 % |
15.74/15.85	c |     57051 |     720    42889   140074 | 2147483647    57051     64 |  0.023 % |
15.84/15.98	c |     57249 |     720    42889   140074 | 2147483647    57249     64 |  0.000 % |
15.94/16.09	c |     57461 |     720    42889   140074 | 2147483647    57461     64 |  0.000 % |
16.14/16.24	c |     57695 |     720    42889   140074 | 2147483647    57695     64 |  0.000 % |
16.24/16.36	c |     57953 |     720    42889   140074 | 2147483647    57953     64 |  0.000 % |
16.34/16.50	c |     58234 |     720    42889   140074 | 2147483647    58234     64 |  0.000 % |
16.54/16.64	c |     58543 |     720    42889   140074 | 2147483647    58543     64 |  0.022 % |
16.74/16.85	c |     58882 |     720    42889   140074 | 2147483647    58882     64 |  0.000 % |
16.94/17.03	c |     59255 |     720    42889   140074 | 2147483647    59255     64 |  0.000 % |
17.14/17.24	c |     59664 |     720    42889   140074 | 2147483647    59664     64 |  0.000 % |
17.34/17.43	c |     60113 |     720    42889   140074 | 2147483647    60113     64 |  0.000 % |
17.64/17.70	c |     60606 |     720    42889   140074 | 2147483647    60606     64 |  0.000 % |
17.84/17.98	c |     61148 |     720    42889   140074 | 2147483647    61148     63 |  0.024 % |
18.13/18.26	c |     61744 |     720    42889   140074 | 2147483647    61744     63 |  0.020 % |
18.44/18.58	c |     62400 |     720    42889   140074 | 2147483647    62400     63 |  0.021 % |
18.84/18.90	c |     63120 |     720    42889   140074 | 2147483647    63120     63 |  0.020 % |
19.14/19.27	c |     63912 |     720    42889   140074 | 2147483647    63912     63 |  0.020 % |
19.24/19.34	c |     64012 |     720    42889   140074 | 2147483647    64012     63 |  0.022 % |
19.34/19.41	c |     64123 |     720    42889   140074 | 2147483647    64123     63 |  0.000 % |
19.34/19.46	c |     64244 |     720    42889   140074 | 2147483647    64244     63 |  0.000 % |
19.44/19.53	c |     64377 |     720    42889   140074 | 2147483647    64377     63 |  0.000 % |
19.54/19.61	c |     64524 |     720    42889   140074 | 2147483647    64524     63 |  0.024 % |
19.64/19.71	c |     64684 |     720    42889   140074 | 2147483647    64684     63 |  0.000 % |
19.74/19.81	c |     64861 |     720    42889   140074 | 2147483647    64861     63 |  0.000 % |
19.84/19.93	c |     65054 |     720    42889   140074 | 2147483647    65054     63 |  0.000 % |
19.94/20.06	c |     65266 |     720    42889   140074 | 2147483647    65266     63 |  0.000 % |
20.03/20.19	c |     65499 |     720    42889   140074 | 2147483647    65499     63 |  0.000 % |
20.23/20.35	c |     65755 |     720    42889   140074 | 2147483647    65755     63 |  0.029 % |
20.43/20.51	c |     66036 |     720    42889   140074 | 2147483647    66036     63 |  0.029 % |
20.53/20.70	c |     66346 |     720    42889   140074 | 2147483647    66346     63 |  0.000 % |
20.74/20.86	c |     66685 |     720    42889   140074 | 2147483647    66685     63 |  0.000 % |
20.93/21.06	c |     67059 |     720    42889   140074 | 2147483647    67059     63 |  0.000 % |
21.23/21.33	c |     67469 |     720    42889   140074 | 2147483647    67469     63 |  0.000 % |
21.43/21.53	c |     67918 |     720    42889   140074 | 2147483647    67918     63 |  0.000 % |
21.74/21.80	c |     68412 |     720    42889   140074 | 2147483647    68412     63 |  0.000 % |
21.95/22.06	c |     68956 |     720    42889   140074 | 2147483647    68956     63 |  0.029 % |
22.24/22.39	c |     69552 |     720    42889   140074 | 2147483647    69552     63 |  0.021 % |
22.84/22.93	c |     70207 |     720    42889   140074 |    70001    70207     64 |  0.000 % |
23.24/23.31	c |     70930 |     720    42889   140074 |    70001    62752     62 |  0.000 % |
23.74/23.81	c |     71723 |     720    42889   140074 |    70001    63545     63 |  0.000 % |
24.14/24.23	c |     72596 |     720    42889   140074 |    70001    64418     63 |  0.000 % |
24.24/24.30	c |     72696 |     720    42889   140074 |    70001    64518     63 |  0.000 % |
24.24/24.37	c |     72806 |     720    42889   140074 |    70001    64628     63 |  0.000 % |
24.34/24.45	c |     72927 |     720    42889   140074 |    70001    64749     63 |  0.000 % |
24.44/24.54	c |     73061 |     720    42889   140074 |    70001    64883     63 |  0.021 % |
24.54/24.64	c |     73207 |     720    42889   140074 |    70001    65029     63 |  0.000 % |
24.64/24.75	c |     73368 |     720    42889   140074 |    70001    65190     63 |  0.000 % |
24.74/24.86	c |     73544 |     720    42889   140074 |    70001    65366     63 |  0.000 % |
24.84/24.98	c |     73737 |     720    42889   140074 |    70001    65559     63 |  0.000 % |
25.04/25.14	c |     73950 |     720    42889   140074 |    70001    65772     63 |  0.000 % |
25.14/25.26	c |     74184 |     720    42889   140074 |    70001    66006     63 |  0.000 % |
25.33/25.43	c |     74441 |     720    42889   140074 |    70001    66263     63 |  0.023 % |
25.53/25.61	c |     74722 |     720    42889   140074 |    70001    66544     63 |  0.022 % |
25.73/25.80	c |     75034 |     720    42889   140074 |    70001    66856     63 |  0.000 % |
25.93/26.07	c |     75375 |     720    42889   140074 |    70001    67197     63 |  0.000 % |
26.24/26.36	c |     75747 |     720    42889   140074 |    70001    67569     63 |  0.020 % |
26.53/26.61	c |     76162 |     720    42889   140074 |    70001    67984     63 |  0.000 % |
26.73/26.84	c |     76611 |     720    42889   140074 |    70001    68433     63 |  0.000 % |
26.93/27.10	c |     77105 |     720    42889   140074 |    70001    68927     63 |  0.024 % |
27.23/27.40	c |     77647 |     720    42889   140074 |    70001    69469     63 |  0.025 % |
27.63/27.73	c |     78243 |     720    42889   140074 |    70001    70065     63 |  0.022 % |
28.03/28.11	c |     78898 |     720    42889   140074 |    70001    61553     63 |  0.022 % |
28.33/28.46	c |     79619 |     720    42889   140074 |    70001    62274     63 |  0.023 % |
28.73/28.87	c |     80411 |     720    42889   140074 |    62656    63066     63 |  0.022 % |
29.23/29.35	c |     81283 |     720    42889   140074 |    62656    55650     61 |  0.000 % |
29.73/29.83	c |     82241 |     720    42889   140074 |    62656    56608     61 |  0.022 % |
29.73/29.88	c |     82342 |     720    42889   140074 |    62656    56709     61 |  0.022 % |
29.83/29.95	c |     82452 |     720    42889   140074 |    62656    56819     61 |  0.000 % |
29.83/29.99	c |     82573 |     720    42889   140074 |    62656    56940     61 |  0.025 % |
30.03/30.10	c |     82706 |     720    42889   140074 |    62656    57073     61 |  0.000 % |
30.03/30.18	c |     82854 |     720    42889   140074 |    62656    57221     61 |  0.000 % |
30.13/30.26	c |     83014 |     720    42889   140074 |    62656    57381     61 |  0.024 % |
30.33/30.41	c |     83191 |     720    42889   140074 |    62656    57558     61 |  0.000 % |
30.43/30.53	c |     83385 |     720    42889   140074 |    62656    57752     61 |  0.000 % |
30.53/30.64	c |     83597 |     720    42889   140074 |    62656    57964     61 |  0.000 % |
30.63/30.79	c |     83834 |     720    42889   140074 |    62656    58201     61 |  0.000 % |
30.83/30.93	c |     84091 |     720    42889   140074 |    62656    58458     61 |  0.029 % |
31.03/31.12	c |     84373 |     720    42889   140074 |    62656    58740     62 |  0.000 % |
31.23/31.30	c |     84682 |     720    42889   140074 |    62656    59049     62 |  0.000 % |
31.43/31.50	c |     85024 |     720    42889   140074 |    62656    59391     62 |  0.020 % |
31.63/31.73	c |     85396 |     720    42889   140074 |    62656    59763     62 |  0.000 % |
31.83/31.98	c |     85805 |     720    42889   140074 |    62656    60172     62 |  0.000 % |
32.03/32.17	c |     86257 |     720    42889   140074 |    62656    60624     62 |  0.000 % |
32.23/32.39	c |     86750 |     720    42889   140074 |    62656    61117     62 |  0.000 % |
32.53/32.68	c |     87295 |     720    42889   140074 |    62656    61662     62 |  0.025 % |
32.83/32.97	c |     87891 |     720    42889   140074 |    62656    62258     61 |  0.025 % |
33.13/33.29	c |     88548 |     720    42889   140074 |    62656    62915     61 |  0.026 % |
33.73/33.84	c |     89269 |     720    42889   140074 |    62656    56225     60 |  0.000 % |
34.23/34.30	c |     90061 |     720    42889   140074 |    56957    57017     60 |  0.000 % |
34.73/34.89	c |     90934 |     720    42889   140074 |    56957    50930     60 |  0.000 % |
35.22/35.40	c |     91892 |     720    42889   140074 |    56957    51888     61 |  0.000 % |
35.82/35.93	c |     92945 |     720    42889   140074 |    56957    52941     61 |  0.000 % |
35.82/35.98	c |     93047 |     720    42889   140074 |    56957    53043     61 |  0.023 % |
35.92/36.04	c |     93160 |     720    42889   140074 |    56957    53156     61 |  0.000 % |
36.02/36.13	c |     93282 |     720    42889   140074 |    56957    53278     61 |  0.000 % |
36.02/36.20	c |     93416 |     720    42889   140074 |    56957    53412     61 |  0.029 % |
36.13/36.27	c |     93562 |     720    42889   140074 |    56957    53558     61 |  0.029 % |
36.23/36.37	c |     93722 |     720    42889   140074 |    56957    53718     61 |  0.000 % |
36.32/36.45	c |     93898 |     720    42889   140074 |    56957    53894     61 |  0.000 % |
36.42/36.54	c |     94092 |     720    42889   140074 |    56957    54088     61 |  0.000 % |
36.52/36.67	c |     94304 |     720    42889   140074 |    56957    54300     61 |  0.000 % |
36.62/36.78	c |     94538 |     720    42889   140074 |    56957    54534     61 |  0.000 % |
36.82/36.96	c |     94795 |     720    42889   140074 |    56957    54791     62 |  0.000 % |
37.02/37.15	c |     95076 |     720    42889   140074 |    56957    55072     62 |  0.000 % |
37.23/37.32	c |     95385 |     720    42889   140074 |    56957    55381     62 |  0.000 % |
37.42/37.53	c |     95724 |     720    42889   140074 |    56957    55720     62 |  0.000 % |
37.62/37.73	c |     96099 |     720    42889   140074 |    56957    56095     62 |  0.000 % |
37.82/37.98	c |     96508 |     720    42889   140074 |    56957    56504     63 |  0.000 % |
38.12/38.21	c |     96957 |     720    42889   140074 |    56957    56953     63 |  0.000 % |
38.43/38.50	c |     97450 |     720    42889   140074 |    56957    51283     63 |  0.025 % |
38.62/38.76	c |     97992 |     720    42889   140074 |    56957    51825     63 |  0.000 % |
39.02/39.11	c |     98589 |     720    42889   140074 |    56957    52422     63 |  0.022 % |
39.42/39.52	c |     99244 |     720    42889   140074 |    56957    53077     63 |  0.000 % |
39.72/39.84	c |     99965 |     720    42889   140074 |    56957    53798     63 |  0.024 % |
40.12/40.23	c |    100760 |     720    42889   140074 |    53834    48559     62 |  0.028 % |
40.52/40.67	c |    101631 |     720    42889   140074 |    53834    49430     62 |  0.000 % |
41.02/41.12	c |    102589 |     720    42889   140074 |    53834    50388     62 |  0.022 % |
41.72/41.83	c |    103642 |     720    42889   140074 |    53834    51441     63 |  0.000 % |
42.32/42.45	c |    104800 |     720    42889   140074 |    53834    52599     63 |  0.000 % |
42.42/42.51	c |    104900 |     720    42889   140074 |    53834    52699     63 |  0.000 % |
42.42/42.58	c |    105010 |     720    42889   140074 |    53834    52809     63 |  0.000 % |
42.52/42.67	c |    105131 |     720    42889   140074 |    53834    52930     63 |  0.000 % |
42.62/42.72	c |    105264 |     720    42889   140074 |    53834    53063     63 |  0.022 % |
42.62/42.79	c |    105410 |     720    42889   140074 |    53834    53209     63 |  0.026 % |
42.72/42.85	c |    105571 |     720    42889   140074 |    53834    53370     63 |  0.022 % |
42.82/42.97	c |    105747 |     720    42889   140074 |    53834    53546     63 |  0.000 % |
42.92/43.09	c |    105941 |     720    42889   140074 |    53834    53740     63 |  0.000 % |
43.12/43.22	c |    106155 |     720    42889   140074 |    53834    53954     63 |  0.000 % |
43.22/43.36	c |    106390 |     720    42889   140074 |    53834    48255     64 |  0.021 % |
43.32/43.47	c |    106646 |     720    42889   140074 |    53834    48511     64 |  0.021 % |
43.52/43.62	c |    106927 |     720    42889   140074 |    53834    48792     64 |  0.017 % |
43.72/43.80	c |    107238 |     720    42889   140074 |    53834    49103     64 |  0.000 % |
43.82/43.97	c |    107578 |     720    42889   140074 |    53834    49443     64 |  0.017 % |
44.12/44.22	c |    107950 |     720    42889   140074 |    53834    49815     64 |  0.000 % |
44.32/44.42	c |    108359 |     720    42889   140074 |    53834    50224     64 |  0.020 % |
44.52/44.65	c |    108809 |     720    42889   140074 |    53834    50674     64 |  0.020 % |
44.72/44.87	c |    109305 |     720    42889   140074 |    53834    51170     64 |  0.000 % |
45.12/45.23	c |    109848 |     720    42889   140074 |    53834    51713     63 |  0.000 % |
45.42/45.55	c |    110445 |     720    42889   140074 |    51868    52310     63 |  0.000 % |
45.72/45.86	c |    111101 |     720    42889   140074 |    51868    47031     61 |  0.024 % |
46.02/46.14	c |    111821 |     720    42889   140074 |    51868    47751     61 |  0.023 % |
46.42/46.58	c |    112614 |     720    42889   140074 |    51868    48544     61 |  0.028 % |
46.92/47.08	c |    113486 |     720    42889   140074 |    51868    49416     61 |  0.028 % |
47.51/47.62	c |    114445 |     720    42889   140074 |    51868    50375     61 |  0.000 % |
48.11/48.24	c |    115498 |     720    42889   140074 |    51868    51428     61 |  0.019 % |
48.81/48.96	c |    116656 |     720    42889   140074 |    51868    46177     60 |  0.000 % |
49.42/49.59	c |    117932 |     720    42889   140074 |    51868    47453     60 |  0.000 % |
49.52/49.64	c |    118032 |     720    42889   140074 |    51868    47553     60 |  0.022 % |
49.62/49.72	c |    118143 |     720    42889   140074 |    51868    47664     60 |  0.000 % |
49.62/49.79	c |    118266 |     720    42889   140074 |    51868    47787     60 |  0.000 % |
49.72/49.86	c |    118399 |     720    42889   140074 |    51868    47920     60 |  0.023 % |
49.82/49.94	c |    118547 |     720    42889   140074 |    51868    48068     60 |  0.022 % |
49.92/50.05	c |    118708 |     720    42889   140074 |    51868    48229     60 |  0.000 % |
50.02/50.16	c |    118884 |     720    42889   140074 |    51868    48405     60 |  0.000 % |
50.11/50.25	c |    119078 |     720    42889   140074 |    51868    48599     60 |  0.022 % |
50.31/50.40	c |    119290 |     720    42889   140074 |    51868    48811     60 |  0.000 % |
50.42/50.56	c |    119527 |     720    42889   140074 |    51868    49048     60 |  0.000 % |
50.61/50.72	c |    119783 |     720    42889   140074 |    51868    49304     61 |  0.000 % |
50.71/50.85	c |    120068 |     720    42889   140074 |    49523    49589     61 |  0.000 % |
50.91/51.06	c |    120377 |     720    42889   140074 |    49523    44175     62 |  0.000 % |
51.11/51.25	c |    120716 |     720    42889   140074 |    49523    44514     62 |  0.000 % |
51.31/51.42	c |    121089 |     720    42889   140074 |    49523    44887     62 |  0.000 % |
51.52/51.63	c |    121498 |     720    42889   140074 |    49523    45296     62 |  0.000 % |
51.71/51.86	c |    121947 |     720    42889   140074 |    49523    45745     62 |  0.000 % |
51.91/52.05	c |    122440 |     720    42889   140074 |    49523    46238     62 |  0.021 % |
52.11/52.26	c |    122984 |     720    42889   140074 |    49523    46782     62 |  0.000 % |
52.41/52.52	c |    123580 |     720    42889   140074 |    49523    47378     62 |  0.000 % |
52.81/52.93	c |    124236 |     720    42889   140074 |    49523    48034     63 |  0.000 % |
53.21/53.33	c |    124956 |     720    42889   140074 |    49523    48754     63 |  0.000 % |
53.61/53.78	c |    125748 |     720    42889   140074 |    49523    49546     63 |  0.000 % |
54.21/54.34	c |    126621 |     720    42889   140074 |    49523    45465     63 |  0.000 % |
54.71/54.84	c |    127581 |     720    42889   140074 |    49523    46425     63 |  0.019 % |
55.21/55.35	c |    128634 |     720    42889   140074 |    49523    47478     64 |  0.000 % |
55.81/55.97	c |    129792 |     720    42889   140074 |    49523    48636     64 |  0.000 % |
56.51/56.60	c |    131065 |     720    42889   140074 |    48845    44694     63 |  0.027 % |
57.21/57.35	c |    132465 |     720    42889   140074 |    48845    46094     64 |  0.000 % |
57.31/57.41	c |    132568 |     720    42889   140074 |    48845    46197     64 |  0.021 % |
57.41/57.50	c |    132679 |     720    42889   140074 |    48845    46308     64 |  0.000 % |
57.41/57.57	c |    132801 |     720    42889   140074 |    48845    46430     64 |  0.000 % |
57.51/57.65	c |    132934 |     720    42889   140074 |    48845    46563     64 |  0.000 % |
57.61/57.73	c |    133080 |     720    42889   140074 |    48845    46709     64 |  0.021 % |
57.71/57.82	c |    133242 |     720    42889   140074 |    48845    46871     64 |  0.000 % |
57.81/57.91	c |    133421 |     720    42889   140074 |    48845    47050     64 |  0.000 % |
57.91/58.02	c |    133616 |     720    42889   140074 |    48845    47245     64 |  0.023 % |
58.01/58.12	c |    133831 |     720    42889   140074 |    48845    47460     64 |  0.000 % |
58.12/58.26	c |    134065 |     720    42889   140074 |    48845    47694     64 |  0.000 % |
58.22/58.38	c |    134322 |     720    42889   140074 |    48845    47951     65 |  0.000 % |
58.41/58.58	c |    134605 |     720    42889   140074 |    48845    48234     65 |  0.000 % |
58.61/58.75	c |    134916 |     720    42889   140074 |    48845    48545     65 |  0.000 % |
58.81/58.99	c |    135256 |     720    42889   140074 |    48845    48885     65 |  0.000 % |
59.01/59.18	c |    135632 |     720    42889   140074 |    48845    43942     62 |  0.000 % |
59.21/59.37	c |    136041 |     720    42889   140074 |    48845    44351     62 |  0.020 % |
59.41/59.58	c |    136490 |     720    42889   140074 |    48845    44800     62 |  0.000 % |
59.71/59.83	c |    136983 |     720    42889   140074 |    48845    45293     63 |  0.000 % |
60.01/60.12	c |    137525 |     720    42889   140074 |    48845    45835     63 |  0.020 % |
60.41/60.58	c |    138121 |     720    42889   140074 |    48845    46431     63 |  0.000 % |
60.81/60.94	c |    138778 |     720    42889   140074 |    48845    47088     63 |  0.000 % |
61.11/61.28	c |    139499 |     720    42889   140074 |    48845    47809     63 |  0.021 % |
61.51/61.65	c |    140293 |     720    42889   140074 | 2147483647    48603     63 |  0.000 % |
61.91/62.06	c |    141165 |     720    42889   140074 | 2147483647    49475     63 |  0.024 % |
62.31/62.47	c |    142123 |     720    42889   140074 | 2147483647    50433     63 |  0.000 % |
62.91/63.05	c |    143177 |     720    42889   140074 | 2147483647    51487     63 |  0.024 % |
63.71/63.85	c |    144336 |     720    42889   140074 | 2147483647    52646     63 |  0.021 % |
64.61/64.74	c |    145609 |     720    42889   140074 | 2147483647    53919     63 |  0.000 % |
65.61/65.71	c |    147011 |     720    42889   140074 | 2147483647    55321     63 |  0.000 % |
66.61/66.76	c |    148553 |     720    42889   140074 | 2147483647    56863     64 |  0.000 % |
66.71/66.86	c |    148653 |     720    42889   140074 | 2147483647    56963     64 |  0.000 % |
66.81/66.93	c |    148763 |     720    42889   140074 | 2147483647    57073     64 |  0.000 % |
66.91/67.02	c |    148885 |     720    42889   140074 | 2147483647    57195     64 |  0.027 % |
67.01/67.11	c |    149020 |     720    42889   140074 | 2147483647    57330     64 |  0.017 % |
67.11/67.23	c |    149169 |     720    42889   140074 | 2147483647    57479     64 |  0.000 % |
67.21/67.34	c |    149329 |     720    42889   140074 | 2147483647    57639     64 |  0.000 % |
67.31/67.47	c |    149507 |     720    42889   140074 | 2147483647    57817     64 |  0.000 % |
67.51/67.62	c |    149701 |     720    42889   140074 | 2147483647    58011     64 |  0.000 % |
67.61/67.79	c |    149914 |     720    42889   140074 | 2147483647    58224     64 |  0.000 % |
67.81/67.97	c |    150149 |     720    42889   140074 |    58310    58459     64 |  0.000 % |
68.01/68.15	c |    150406 |     720    42889   140074 |    58310    50661     63 |  0.000 % |
68.21/68.33	c |    150690 |     720    42889   140074 |    58310    50945     63 |  0.000 % |
68.31/68.49	c |    151001 |     720    42889   140074 |    58310    51256     63 |  0.022 % |
68.51/68.70	c |    151341 |     720    42889   140074 |    58310    51596     63 |  0.000 % |
68.81/68.90	c |    151715 |     720    42889   140074 |    58310    51970     63 |  0.000 % |
68.91/69.07	c |    152126 |     720    42889   140074 |    58310    52381     63 |  0.026 % |
69.21/69.30	c |    152575 |     720    42889   140074 |    58310    52830     63 |  0.000 % |
69.50/69.61	c |    153068 |     720    42889   140074 |    58310    53323     64 |  0.000 % |
69.90/70.02	c |    153610 |     720    42889   140074 |    58310    53865     64 |  0.000 % |
70.21/70.38	c |    154206 |     720    42889   140074 |    58310    54461     64 |  0.000 % |
70.60/70.74	c |    154864 |     720    42889   140074 |    58310    55119     64 |  0.000 % |
70.90/71.08	c |    155584 |     720    42889   140074 |    58310    55839     64 |  0.000 % |
71.50/71.62	c |    156377 |     720    42889   140074 |    58310    56632     64 |  0.000 % |
72.10/72.24	c |    157249 |     720    42889   140074 |    58310    57504     64 |  0.000 % |
72.70/72.85	c |    158209 |     720    42889   140074 |    58310    58464     64 |  0.024 % |
73.30/73.48	c |    159264 |     720    42889   140074 |    58310    51265     65 |  0.019 % |
74.20/74.31	c |    160424 |     720    42889   140074 |    52003    45031     64 |  0.000 % |
74.90/75.04	c |    161698 |     720    42889   140074 |    52003    46305     64 |  0.000 % |
75.60/75.79	c |    163098 |     720    42889   140074 |    52003    47705     64 |  0.023 % |
76.70/76.80	c |    164638 |     720    42889   140074 |    52003    49245     66 |  0.000 % |
77.60/77.72	c |    166332 |     720    42889   140074 |    52003    50939     66 |  0.000 % |
77.60/77.77	c |    166434 |     720    42889   140074 |    52003    51041     66 |  0.000 % |
77.70/77.84	c |    166544 |     720    42889   140074 |    52003    51151     66 |  0.000 % |
77.80/77.93	c |    166665 |     720    42889   140074 |    52003    51272     66 |  0.000 % |
77.91/78.01	c |    166801 |     720    42889   140074 |    52003    51408     66 |  0.000 % |
77.91/78.10	c |    166947 |     720    42889   140074 |    52003    51554     66 |  0.000 % |
78.00/78.19	c |    167107 |     720    42889   140074 |    52003    51714     66 |  0.000 % |
78.10/78.28	c |    167283 |     720    42889   140074 |    52003    51890     66 |  0.000 % |
78.20/78.37	c |    167476 |     720    42889   140074 |    52003    52083     66 |  0.000 % |
78.41/78.53	c |    167689 |     720    42889   140074 |    52003    45341     64 |  0.025 % |
78.51/78.68	c |    167922 |     720    42889   140074 |    52003    45574     64 |  0.025 % |
78.71/78.84	c |    168179 |     720    42889   140074 |    52003    45831     64 |  0.022 % |
78.91/79.00	c |    168460 |     720    42889   140074 |    52003    46112     64 |  0.000 % |
79.01/79.18	c |    168770 |     720    42889   140074 |    52003    46422     64 |  0.025 % |
79.21/79.34	c |    169114 |     720    42889   140074 |    52003    46766     64 |  0.022 % |
79.41/79.52	c |    169487 |     720    42889   140074 |    52003    47139     63 |  0.021 % |
79.61/79.72	c |    169898 |     720    42889   140074 |    52003    47550     63 |  0.020 % |
79.81/79.95	c |    170347 |     720    42889   140074 |    47652    47999     63 |  0.018 % |
80.01/80.19	c |    170840 |     720    42889   140074 |    47652    42309     60 |  0.020 % |
80.31/80.45	c |    171383 |     720    42889   140074 |    47652    42852     60 |  0.020 % |
80.61/80.72	c |    171982 |     720    42889   140074 |    47652    43451     59 |  0.000 % |
80.91/81.02	c |    172638 |     720    42889   140074 |    47652    44107     59 |  0.000 % |
81.21/81.36	c |    173359 |     720    42889   140074 |    47652    44828     59 |  0.022 % |
81.61/81.73	c |    174152 |     720    42889   140074 |    47652    45621     59 |  0.024 % |
81.91/82.09	c |    175025 |     720    42889   140074 |    47652    46494     58 |  0.022 % |
82.60/82.73	c |    175985 |     720    42889   140074 |    47652    47454     59 |  0.000 % |
83.31/83.40	c |    177039 |     720    42889   140074 |    47652    43243     59 |  0.000 % |
83.81/83.97	c |    178198 |     720    42889   140074 |    47652    44402     60 |  0.000 % |
84.51/84.70	c |    179471 |     720    42889   140074 |    47652    45675     60 |  0.000 % |
85.20/85.39	c |    180871 |     720    42889   140074 |    46206    42222     61 |  0.026 % |
86.10/86.24	c |    182411 |     720    42889   140074 |    46206    43762     61 |  0.000 % |
87.00/87.17	c |    184105 |     720    42889   140074 |    46206    45456     60 |  0.000 % |
88.10/88.28	c |    185968 |     720    42889   140074 |    46206    42654     57 |  0.026 % |
88.20/88.32	c |    186071 |     720    42889   140074 |    46206    42757     57 |  0.024 % |
88.30/88.40	c |    186183 |     720    42889   140074 |    46206    42869     57 |  0.000 % |
88.30/88.47	c |    186306 |     720    42889   140074 |    46206    42992     57 |  0.028 % |
88.40/88.53	c |    186442 |     720    42889   140074 |    46206    43128     57 |  0.028 % |
88.50/88.60	c |    186588 |     720    42889   140074 |    46206    43274     57 |  0.000 % |
88.60/88.70	c |    186748 |     720    42889   140074 |    46206    43434     57 |  0.000 % |
88.70/88.80	c |    186924 |     720    42889   140074 |    46206    43610     57 |  0.000 % |
88.70/88.87	c |    187117 |     720    42889   140074 |    46206    43803     57 |  0.000 % |
88.80/88.98	c |    187330 |     720    42889   140074 |    46206    44016     57 |  0.000 % |
88.91/89.09	c |    187563 |     720    42889   140074 |    46206    44249     57 |  0.000 % |
89.10/89.21	c |    187820 |     720    42889   140074 |    46206    44506     58 |  0.000 % |
89.20/89.35	c |    188101 |     720    42889   140074 |    46206    44787     58 |  0.000 % |
89.40/89.53	c |    188410 |     720    42889   140074 |    46206    45096     58 |  0.000 % |
89.60/89.73	c |    188751 |     720    42889   140074 |    46206    45437     58 |  0.022 % |
89.80/89.93	c |    189124 |     720    42889   140074 |    46206    45810     59 |  0.022 % |
90.01/90.14	c |    189533 |     720    42889   140074 |    46206    46219     59 |  0.000 % |
90.30/90.45	c |    189983 |     720    42889   140074 |    46206    42048     58 |  0.000 % |
90.50/90.70	c |    190478 |     720    42889   140074 | 2147483647    42543     58 |  0.000 % |
90.80/90.94	c |    191020 |     720    42889   140074 | 2147483647    43085     59 |  0.000 % |
91.11/91.29	c |    191616 |     720    42889   140074 | 2147483647    43681     60 |  0.000 % |
91.50/91.68	c |    192272 |     720    42889   140074 | 2147483647    44337     60 |  0.000 % |
92.00/92.10	c |    192993 |     720    42889   140074 | 2147483647    45058     61 |  0.000 % |
92.40/92.50	c |    193786 |     720    42889   140074 | 2147483647    45851     61 |  0.000 % |
92.90/93.09	c |    194658 |     720    42889   140074 | 2147483647    46723     61 |  0.021 % |
93.50/93.66	c |    195619 |     720    42889   140074 | 2147483647    47684     61 |  0.000 % |
94.20/94.34	c |    196673 |     720    42889   140074 | 2147483647    48738     61 |  0.000 % |
94.90/95.07	c |    197831 |     720    42889   140074 | 2147483647    49896     61 |  0.000 % |
95.70/95.89	c |    199104 |     720    42889   140074 | 2147483647    51169     61 |  0.000 % |
96.70/96.86	c |    200504 |     720    42889   140074 |    52067    46106     60 |  0.000 % |
97.80/97.96	c |    202046 |     720    42889   140074 |    52067    47648     62 |  0.000 % |
99.00/99.15	c |    203740 |     720    42889   140074 |    52067    49342     63 |  0.000 % |
100.20/100.30	c |    205603 |     720    42889   140074 |    52067    51205     64 |  0.000 % |
101.30/101.48	c |    207653 |     720    42889   140074 |    52067    46288     63 |  0.000 % |
101.40/101.53	c |    207754 |     720    42889   140074 |    52067    46389     63 |  0.025 % |
101.50/101.62	c |    207864 |     720    42889   140074 |    52067    46499     63 |  0.023 % |
101.50/101.68	c |    207985 |     720    42889   140074 |    52067    46620     63 |  0.000 % |
101.60/101.77	c |    208118 |     720    42889   140074 |    52067    46753     63 |  0.025 % |
101.69/101.88	c |    208265 |     720    42889   140074 |    52067    46900     63 |  0.025 % |
101.79/101.97	c |    208426 |     720    42889   140074 |    52067    47061     63 |  0.000 % |
101.89/102.07	c |    208604 |     720    42889   140074 |    52067    47239     63 |  0.023 % |
101.99/102.16	c |    208798 |     720    42889   140074 |    52067    47433     63 |  0.025 % |
102.10/102.26	c |    209013 |     720    42889   140074 |    52067    47648     63 |  0.022 % |
102.29/102.45	c |    209246 |     720    42889   140074 |    52067    47881     64 |  0.000 % |
102.49/102.60	c |    209502 |     720    42889   140074 |    52067    48137     64 |  0.000 % |
102.59/102.78	c |    209783 |     720    42889   140074 |    52067    48418     64 |  0.000 % |
102.79/102.93	c |    210094 |     720    42889   140074 |    48636    48729     64 |  0.000 % |
103.09/103.26	c |    210433 |     720    42889   140074 |    48636    42627     65 |  0.000 % |
103.39/103.58	c |    210805 |     720    42889   140074 |    48636    42999     66 |  0.000 % |
103.59/103.75	c |    211216 |     720    42889   140074 |    48636    43410     66 |  0.000 % |
103.79/103.96	c |    211666 |     720    42889   140074 |    48636    43860     66 |  0.000 % |
104.09/104.20	c |    212159 |     720    42889   140074 |    48636    44353     65 |  0.022 % |
104.30/104.50	c |    212701 |     720    42889   140074 |    48636    44895     65 |  0.000 % |
104.59/104.78	c |    213297 |     720    42889   140074 |    48636    45491     65 |  0.021 % |
104.99/105.14	c |    213955 |     720    42889   140074 |    48636    46149     65 |  0.000 % |
105.40/105.60	c |    214680 |     720    42889   140074 |    48636    46874     65 |  0.000 % |
105.99/106.12	c |    215472 |     720    42889   140074 |    48636    47666     65 |  0.000 % |
106.39/106.56	c |    216344 |     720    42889   140074 |    48636    48538     65 |  0.021 % |
106.99/107.12	c |    217302 |     720    42889   140074 |    48636    42916     64 |  0.020 % |
107.49/107.70	c |    218361 |     720    42889   140074 |    48636    43975     63 |  0.000 % |
108.19/108.35	c |    219520 |     720    42889   140074 |    48636    45134     63 |  0.000 % |
108.99/109.17	c |    220794 |     720    42889   140074 |    45616    40528     65 |  0.000 % |
109.99/110.10	c |    222196 |     720    42889   140074 |    45616    41930     65 |  0.000 % |
110.89/111.02	c |    223736 |     720    42889   140074 |    45616    43470     65 |  0.000 % |
111.99/112.10	c |    225430 |     720    42889   140074 |    45616    45164     65 |  0.000 % |
112.99/113.10	c |    227296 |     720    42889   140074 |    45616    40708     61 |  0.000 % |
113.99/114.14	c |    229346 |     720    42889   140074 |    45616    42758     61 |  0.022 % |
115.19/115.32	c |    231600 |     720    42889   140074 |    43412    39259     61 |  0.022 % |
115.19/115.37	c |    231703 |     720    42889   140074 |    43412    39362     61 |  0.022 % |
115.29/115.44	c |    231813 |     720    42889   140074 |    43412    39472     61 |  0.022 % |
115.29/115.50	c |    231935 |     720    42889   140074 |    43412    39594     61 |  0.027 % |
115.39/115.56	c |    232071 |     720    42889   140074 |    43412    39730     61 |  0.000 % |
115.49/115.66	c |    232217 |     720    42889   140074 |    43412    39876     61 |  0.000 % |
115.59/115.76	c |    232377 |     720    42889   140074 |    43412    40036     61 |  0.000 % |
115.69/115.85	c |    232553 |     720    42889   140074 |    43412    40212     61 |  0.000 % |
115.79/115.97	c |    232746 |     720    42889   140074 |    43412    40405     62 |  0.000 % |
115.89/116.08	c |    232959 |     720    42889   140074 |    43412    40618     62 |  0.000 % |
116.08/116.22	c |    233192 |     720    42889   140074 |    43412    40851     62 |  0.000 % |
116.18/116.30	c |    233448 |     720    42889   140074 |    43412    41107     62 |  0.000 % |
116.28/116.45	c |    233729 |     720    42889   140074 |    43412    41388     62 |  0.000 % |
116.49/116.63	c |    234039 |     720    42889   140074 |    43412    41698     62 |  0.000 % |
116.58/116.79	c |    234379 |     720    42889   140074 |    43412    42038     63 |  0.000 % |
116.78/116.99	c |    234753 |     720    42889   140074 |    43412    42412     63 |  0.000 % |
117.08/117.26	c |    235162 |     720    42889   140074 |    43412    42821     63 |  0.022 % |
117.38/117.50	c |    235611 |     720    42889   140074 |    43412    43270     63 |  0.000 % |
117.59/117.75	c |    236105 |     720    42889   140074 |    43412    43764     63 |  0.000 % |
117.88/118.01	c |    236647 |     720    42889   140074 |    43412    39313     58 |  0.000 % |
118.08/118.28	c |    237244 |     720    42889   140074 |    43412    39910     58 |  0.000 % |
118.38/118.53	c |    237899 |     720    42889   140074 |    43412    40565     58 |  0.029 % |
118.69/118.86	c |    238622 |     720    42889   140074 |    43412    41288     58 |  0.021 % |
119.08/119.22	c |    239415 |     720    42889   140074 |    43412    42081     58 |  0.027 % |
119.48/119.65	c |    240288 |     720    42889   140074 |    42666    42954     58 |  0.000 % |
119.88/120.05	c |    241246 |     720    42889   140074 |    42666    39314     57 |  0.027 % |
120.48/120.60	c |    242302 |     720    42889   140074 |    42666    40370     57 |  0.000 % |
120.98/121.13	c |    243461 |     720    42889   140074 |    42666    41529     57 |  0.000 % |
121.68/121.82	c |    244734 |     720    42889   140074 |    42666    42802     58 |  0.023 % |
122.28/122.41	c |    246135 |     720    42889   140074 |    42666    39923     57 |  0.021 % |
122.88/123.05	c |    247675 |     720    42889   140074 |    42666    41463     56 |  0.000 % |
123.68/123.82	c |    249370 |     720    42889   140074 |    42666    38845     55 |  0.019 % |
124.48/124.69	c |    251234 |     720    42889   140074 | 2147483647    40709     55 |  0.024 % |
125.58/125.76	c |    253283 |     720    42889   140074 | 2147483647    42758     54 |  0.022 % |
126.68/126.88	c |    255537 |     720    42889   140074 | 2147483647    45012     54 |  0.018 % |
127.88/128.08	c |    258015 |     720    42889   140074 | 2147483647    47490     56 |  0.000 % |
127.98/128.14	c |    258115 |     720    42889   140074 | 2147483647    47590     56 |  0.000 % |
128.08/128.20	c |    258226 |     720    42889   140074 | 2147483647    47701     56 |  0.020 % |
128.08/128.26	c |    258348 |     720    42889   140074 | 2147483647    47823     56 |  0.000 % |
128.18/128.32	c |    258483 |     720    42889   140074 | 2147483647    47958     56 |  0.000 % |
128.28/128.40	c |    258630 |     720    42889   140074 | 2147483647    48105     56 |  0.000 % |
128.28/128.49	c |    258791 |     720    42889   140074 | 2147483647    48266     56 |  0.000 % |
128.38/128.58	c |    258967 |     720    42889   140074 | 2147483647    48442     56 |  0.023 % |
128.48/128.67	c |    259164 |     720    42889   140074 | 2147483647    48639     56 |  0.026 % |
128.58/128.76	c |    259377 |     720    42889   140074 | 2147483647    48852     56 |  0.025 % |
128.68/128.87	c |    259612 |     720    42889   140074 | 2147483647    49087     56 |  0.000 % |
128.78/128.99	c |    259869 |     720    42889   140074 | 2147483647    49344     56 |  0.000 % |
128.98/129.10	c |    260150 |     720    42889   140074 | 2147483647    49625     56 |  0.022 % |
129.08/129.23	c |    260460 |     720    42889   140074 | 2147483647    49935     56 |  0.023 % |
129.28/129.42	c |    260799 |     720    42889   140074 | 2147483647    50274     56 |  0.022 % |
129.38/129.58	c |    261171 |     720    42889   140074 | 2147483647    50646     56 |  0.022 % |
129.58/129.77	c |    261580 |     720    42889   140074 | 2147483647    51055     56 |  0.022 % |
129.88/130.01	c |    262030 |     720    42889   140074 | 2147483647    51505     56 |  0.000 % |
130.08/130.29	c |    262524 |     720    42889   140074 | 2147483647    51999     57 |  0.000 % |
130.48/130.68	c |    263069 |     720    42889   140074 | 2147483647    52544     57 |  0.000 % |
130.98/131.16	c |    263666 |     720    42889   140074 | 2147483647    53141     58 |  0.000 % |
131.38/131.52	c |    264323 |     720    42889   140074 | 2147483647    53798     58 |  0.000 % |
131.68/131.86	c |    265043 |     720    42889   140074 | 2147483647    54518     59 |  0.000 % |
132.28/132.43	c |    265841 |     720    42889   140074 | 2147483647    55316     59 |  0.000 % |
132.88/133.09	c |    266714 |     720    42889   140074 | 2147483647    56189     60 |  0.000 % |
133.47/133.67	c |    267673 |     720    42889   140074 | 2147483647    57148     60 |  0.000 % |
134.17/134.33	c |    268728 |     720    42889   140074 | 2147483647    58203     60 |  0.000 % |
134.78/134.97	c |    269890 |     720    42889   140074 | 2147483647    59365     60 |  0.000 % |
135.48/135.62	c |    271163 |     720    42889   140074 |    59475    54487     59 |  0.000 % |
136.07/136.26	c |    272564 |     720    42889   140074 |    59475    55888     59 |  0.000 % |
137.28/137.40	c |    274104 |     720    42889   140074 |    59475    57428     60 |  0.000 % |
138.17/138.33	c |    275798 |     720    42889   140074 |    59475    59122     59 |  0.017 % |
139.47/139.60	c |    277662 |     720    42889   140074 |    59475    53227     59 |  0.024 % |
140.77/140.96	c |    279711 |     720    42889   140074 |    59475    55276     58 |  0.029 % |
141.87/142.09	c |    281964 |     720    42889   140074 |    55565    50081     56 |  0.024 % |
143.27/143.44	c |    284442 |     720    42889   140074 |    55565    52559     56 |  0.000 % |
144.77/145.00	c |    287168 |     720    42889   140074 |    55565    55285     55 |  0.000 % |
144.87/145.05	c |    287269 |     720    42889   140074 |    55565    55386     55 |  0.024 % |
144.97/145.12	c |    287384 |     720    42889   140074 |    55565    55501     55 |  0.026 % |
144.97/145.18	c |    287505 |     720    42889   140074 |    55565    55622     55 |  0.000 % |
145.17/145.35	c |    287638 |     720    42889   140074 |    55565    48546     55 |  0.000 % |
145.27/145.43	c |    287785 |     720    42889   140074 |    55565    48693     55 |  0.000 % |
145.37/145.50	c |    287945 |     720    42889   140074 |    55565    48853     55 |  0.029 % |
145.47/145.62	c |    288122 |     720    42889   140074 |    55565    49030     55 |  0.021 % |
145.57/145.74	c |    288318 |     720    42889   140074 |    55565    49226     55 |  0.000 % |
145.67/145.85	c |    288532 |     720    42889   140074 |    55565    49440     55 |  0.000 % |
145.87/146.04	c |    288765 |     720    42889   140074 |    55565    49673     55 |  0.000 % |
145.97/146.14	c |    289022 |     720    42889   140074 |    55565    49930     56 |  0.000 % |
146.17/146.34	c |    289303 |     720    42889   140074 |    55565    50211     56 |  0.000 % |
146.37/146.51	c |    289612 |     720    42889   140074 |    55565    50520     56 |  0.000 % |
146.58/146.70	c |    289956 |     720    42889   140074 |    55565    50864     57 |  0.000 % |
146.78/146.93	c |    290329 |     720    42889   140074 |    50909    51237     57 |  0.000 % |
147.08/147.23	c |    290738 |     720    42889   140074 |    50909    45043     59 |  0.000 % |
147.28/147.46	c |    291187 |     720    42889   140074 |    50909    45492     60 |  0.000 % |
147.58/147.72	c |    291680 |     720    42889   140074 |    50909    45985     60 |  0.000 % |
147.87/148.08	c |    292222 |     720    42889   140074 |    50909    46527     60 |  0.023 % |
148.28/148.40	c |    292819 |     720    42889   140074 |    50909    47124     60 |  0.000 % |
148.57/148.78	c |    293474 |     720    42889   140074 |    50909    47779     60 |  0.000 % |
148.97/149.14	c |    294194 |     720    42889   140074 |    50909    48499     60 |  0.022 % |
149.38/149.55	c |    294986 |     720    42889   140074 |    50909    49291     60 |  0.024 % |
149.87/150.08	c |    295858 |     720    42889   140074 |    50909    50163     60 |  0.026 % |
150.48/150.62	c |    296816 |     720    42889   140074 |    50909    51121     59 |  0.019 % |
150.97/151.14	c |    297869 |     720    42889   140074 |    50909    45086     58 |  0.022 % |
151.47/151.70	c |    299029 |     720    42889   140074 |    50909    46246     58 |  0.000 % |
152.47/152.61	c |    300302 |     720    42889   140074 |    47219    47519     59 |  0.000 % |
153.17/153.32	c |    301702 |     720    42889   140074 |    47219    42763     57 |  0.000 % |
153.87/154.03	c |    303245 |     720    42889   140074 |    47219    44306     57 |  0.000 % |
154.77/154.93	c |    304939 |     720    42889   140074 |    47219    46000     58 |  0.000 % |
155.77/155.91	c |    306803 |     720    42889   140074 |    47219    43099     57 |  0.000 % |
156.77/156.93	c |    308854 |     720    42889   140074 |    47219    45150     57 |  0.000 % |
157.97/158.19	c |    311107 |     720    42889   140074 | 2147483647    47403     56 |  0.022 % |
159.27/159.48	c |    313585 |     720    42889   140074 | 2147483647    49881     57 |  0.000 % |
160.97/161.11	c |    316310 |     720    42889   140074 | 2147483647    52606     60 |  0.000 % |
162.57/162.73	c |    319307 |     720    42889   140074 | 2147483647    55603     61 |  0.000 % |
162.57/162.78	c |    319409 |     720    42889   140074 | 2147483647    55705     61 |  0.000 % |
162.67/162.86	c |    319523 |     720    42889   140074 | 2147483647    55819     61 |  0.000 % |
162.77/162.99	c |    319646 |     720    42889   140074 | 2147483647    55942     61 |  0.000 % |
162.87/163.10	c |    319780 |     720    42889   140074 | 2147483647    56076     61 |  0.000 % |
162.97/163.18	c |    319926 |     720    42889   140074 | 2147483647    56222     61 |  0.000 % |
163.07/163.28	c |    320086 |     720    42889   140074 |    56296    56382     61 |  0.000 % |
163.27/163.47	c |    320265 |     720    42889   140074 |    56296    50050     62 |  0.000 % |
163.37/163.56	c |    320459 |     720    42889   140074 |    56296    50244     62 |  0.000 % |
163.57/163.71	c |    320673 |     720    42889   140074 |    56296    50458     62 |  0.000 % |
163.67/163.84	c |    320906 |     720    42889   140074 |    56296    50691     62 |  0.000 % |
163.87/164.01	c |    321164 |     720    42889   140074 |    56296    50949     62 |  0.000 % |
163.97/164.12	c |    321448 |     720    42889   140074 |    56296    51233     62 |  0.023 % |
164.07/164.29	c |    321758 |     720    42889   140074 |    56296    51543     62 |  0.000 % |
164.27/164.45	c |    322097 |     720    42889   140074 |    56296    51882     61 |  0.027 % |
164.57/164.76	c |    322473 |     720    42889   140074 |    56296    52258     62 |  0.000 % |
164.87/165.02	c |    322882 |     720    42889   140074 |    56296    52667     62 |  0.000 % |
165.06/165.27	c |    323331 |     720    42889   140074 |    56296    53116     62 |  0.029 % |
165.36/165.56	c |    323826 |     720    42889   140074 |    56296    53611     62 |  0.000 % |
165.66/165.85	c |    324368 |     720    42889   140074 |    56296    54153     62 |  0.028 % |
165.97/166.19	c |    324964 |     720    42889   140074 |    56296    54749     62 |  0.000 % |
166.46/166.60	c |    325623 |     720    42889   140074 |    56296    55408     61 |  0.028 % |
166.86/167.01	c |    326344 |     720    42889   140074 |    56296    56129     61 |  0.028 % |
167.26/167.47	c |    327136 |     720    42889   140074 |    56296    49729     63 |  0.026 % |
167.76/167.93	c |    328008 |     720    42889   140074 |    56296    50601     63 |  0.019 % |
168.46/168.62	c |    328966 |     720    42889   140074 |    56296    51559     63 |  0.000 % |
169.06/169.26	c |    330019 |     720    42889   140074 |    52597    52612     63 |  0.000 % |
169.86/170.07	c |    331178 |     720    42889   140074 |    52597    47168     63 |  0.000 % |
170.56/170.77	c |    332451 |     720    42889   140074 |    52597    48441     63 |  0.000 % |
171.26/171.48	c |    333853 |     720    42889   140074 |    52597    49843     63 |  0.000 % |
172.16/172.30	c |    335393 |     720    42889   140074 |    52597    51383     62 |  0.000 % |
173.06/173.22	c |    337088 |     720    42889   140074 |    52597    46871     63 |  0.022 % |
174.46/174.60	c |    338951 |     720    42889   140074 |    52597    48734     65 |  0.000 % |
175.86/176.09	c |    341000 |     720    42889   140074 |    49783    43959     63 |  0.019 % |
177.36/177.53	c |    343253 |     720    42889   140074 |    49783    46212     65 |  0.000 % |
178.66/178.86	c |    345731 |     720    42889   140074 |    49783    48690     66 |  0.000 % |
180.16/180.36	c |    348456 |     720    42889   140074 |    49783    45132     66 |  0.027 % |
181.66/181.87	c |    351455 |     720    42889   140074 |    46677    42193     62 |  0.000 % |
183.65/183.84	c |    354751 |     720    42889   140074 |    46677    45489     60 |  0.000 % |
183.75/183.90	c |    354852 |     720    42889   140074 |    46677    45590     60 |  0.000 % |
183.75/183.96	c |    354962 |     720    42889   140074 |    46677    45700     60 |  0.000 % |
183.85/184.06	c |    355085 |     720    42889   140074 |    46677    45823     60 |  0.026 % |
183.95/184.16	c |    355218 |     720    42889   140074 |    46677    45956     60 |  0.000 % |
184.05/184.23	c |    355365 |     720    42889   140074 |    46677    46103     61 |  0.000 % |
184.15/184.34	c |    355528 |     720    42889   140074 |    46677    46266     61 |  0.023 % |
184.25/184.46	c |    355705 |     720    42889   140074 |    46677    46443     61 |  0.000 % |
184.35/184.59	c |    355900 |     720    42889   140074 |    46677    46638     61 |  0.000 % |
184.56/184.74	c |    356112 |     720    42889   140074 |    46677    46850     61 |  0.000 % |
184.66/184.89	c |    356346 |     720    42889   140074 |    46677    40831     59 |  0.000 % |
184.85/185.03	c |    356602 |     720    42889   140074 |    46677    41087     59 |  0.000 % |
184.95/185.16	c |    356883 |     720    42889   140074 |    46677    41368     59 |  0.000 % |
185.15/185.32	c |    357192 |     720    42889   140074 |    46677    41677     59 |  0.000 % |
185.35/185.50	c |    357531 |     720    42889   140074 |    46677    42016     59 |  0.024 % |
185.55/185.73	c |    357903 |     720    42889   140074 |    46677    42388     60 |  0.000 % |
185.76/185.92	c |    358312 |     720    42889   140074 |    46677    42797     60 |  0.000 % |
185.95/186.10	c |    358761 |     720    42889   140074 |    46677    43246     60 |  0.029 % |
186.15/186.33	c |    359254 |     720    42889   140074 |    46677    43739     60 |  0.025 % |
186.35/186.59	c |    359798 |     720    42889   140074 |    46677    44283     60 |  0.023 % |
186.65/186.87	c |    360397 |     720    42889   140074 |    44486    44882     60 |  0.029 % |
186.95/187.15	c |    361052 |     720    42889   140074 |    44486    40382     61 |  0.000 % |
187.45/187.65	c |    361774 |     720    42889   140074 |    44486    41104     62 |  0.000 % |
187.96/188.14	c |    362570 |     720    42889   140074 |    44486    41900     63 |  0.000 % |
188.55/188.75	c |    363442 |     720    42889   140074 |    44486    42772     64 |  0.000 % |
189.05/189.27	c |    364400 |     720    42889   140074 |    44486    43730     64 |  0.000 % |
189.65/189.90	c |    365456 |     720    42889   140074 |    44486    44786     64 |  0.000 % |
190.35/190.57	c |    366614 |     720    42889   140074 |    44486    41232     62 |  0.021 % |
191.05/191.26	c |    367888 |     720    42889   140074 |    44486    42506     61 |  0.021 % |
191.85/192.02	c |    369288 |     720    42889   140074 |    44486    43906     61 |  0.000 % |
192.75/192.98	c |    370830 |     720    42889   140074 |    44619    40687     60 |  0.021 % |
193.65/193.88	c |    372524 |     720    42889   140074 |    44619    42381     60 |  0.021 % |
194.85/195.06	c |    374387 |     720    42889   140074 |    44619    44244     63 |  0.000 % |
196.15/196.37	c |    376436 |     720    42889   140074 |    44619    41779     61 |  0.000 % |
197.35/197.51	c |    378689 |     720    42889   140074 |    44619    44032     62 |  0.000 % |
198.64/198.81	c |    381167 |     720    42889   140074 | 2147483647    42011     61 |  0.000 % |
199.95/200.14	c |    383892 |     720    42889   140074 | 2147483647    44736     62 |  0.000 % |
201.24/201.48	c |    386890 |     720    42889   140074 | 2147483647    47734     62 |  0.023 % |
203.35/203.54	c |    390186 |     720    42889   140074 | 2147483647    51030     63 |  0.023 % |
205.54/205.73	c |    393811 |     720    42889   140074 | 2147483647    54655     63 |  0.000 % |
205.54/205.79	c |    393911 |     720    42889   140074 | 2147483647    54755     64 |  0.000 % |
205.64/205.86	c |    394023 |     720    42889   140074 | 2147483647    54867     64 |  0.024 % |
205.74/205.94	c |    394147 |     720    42889   140074 | 2147483647    54991     64 |  0.000 % |
205.84/206.03	c |    394281 |     720    42889   140074 | 2147483647    55125     64 |  0.000 % |
205.94/206.13	c |    394427 |     720    42889   140074 | 2147483647    55271     64 |  0.024 % |
206.04/206.22	c |    394590 |     720    42889   140074 | 2147483647    55434     64 |  0.000 % |
206.14/206.35	c |    394766 |     720    42889   140074 | 2147483647    55610     64 |  0.000 % |
206.34/206.50	c |    394963 |     720    42889   140074 | 2147483647    55807     64 |  0.000 % |
206.44/206.63	c |    395176 |     720    42889   140074 | 2147483647    56020     64 |  0.000 % |
206.54/206.78	c |    395409 |     720    42889   140074 | 2147483647    56253     64 |  0.000 % |
206.74/206.90	c |    395666 |     720    42889   140074 | 2147483647    56510     64 |  0.000 % |
206.84/207.08	c |    395950 |     720    42889   140074 | 2147483647    56794     64 |  0.024 % |
207.04/207.27	c |    396259 |     720    42889   140074 | 2147483647    57103     64 |  0.023 % |
207.24/207.47	c |    396598 |     720    42889   140074 | 2147483647    57442     64 |  0.024 % |
207.54/207.73	c |    396970 |     720    42889   140074 | 2147483647    57814     64 |  0.000 % |
207.74/207.98	c |    397380 |     720    42889   140074 | 2147483647    58224     64 |  0.028 % |
208.04/208.23	c |    397830 |     720    42889   140074 | 2147483647    58674     63 |  0.023 % |
208.34/208.55	c |    398323 |     720    42889   140074 | 2147483647    59167     63 |  0.026 % |
208.74/208.94	c |    398865 |     720    42889   140074 | 2147483647    59709     63 |  0.000 % |
209.04/209.28	c |    399463 |     720    42889   140074 | 2147483647    60307     64 |  0.000 % |
209.44/209.65	c |    400118 |     720    42889   140074 |    60844    60962     63 |  0.000 % |
209.94/210.17	c |    400839 |     720    42889   140074 |    60844    52154     65 |  0.000 % |
210.44/210.68	c |    401632 |     720    42889   140074 |    60844    52947     65 |  0.025 % |
210.94/211.19	c |    402506 |     720    42889   140074 |    60844    53821     64 |  0.000 % |
211.74/211.95	c |    403465 |     720    42889   140074 |    60844    54780     65 |  0.000 % |
212.54/212.70	c |    404519 |     720    42889   140074 |    60844    55834     66 |  0.000 % |
213.44/213.68	c |    405677 |     720    42889   140074 |    60844    56992     67 |  0.000 % |
214.54/214.72	c |    406950 |     720    42889   140074 |    60844    58265     68 |  0.000 % |
215.44/215.65	c |    408352 |     720    42889   140074 |    60844    59667     68 |  0.021 % |
216.44/216.66	c |    409892 |     720    42889   140074 |    60844    61207     67 |  0.000 % |
217.33/217.51	c |    411588 |     720    42889   140074 |    51234    44280     64 |  0.023 % |
218.43/218.64	c |    413454 |     720    42889   140074 |    51234    46146     65 |  0.000 % |
219.63/219.81	c |    415503 |     720    42889   140074 |    51234    48195     65 |  0.000 % |
221.13/221.31	c |    417757 |     720    42889   140074 |    51234    50449     67 |  0.000 % |
222.63/222.88	c |    420236 |     720    42889   140074 |    45527    45762     66 |  0.020 % |
224.03/224.29	c |    422961 |     720    42889   140074 |    45527    42286     64 |  0.024 % |
225.63/225.90	c |    425962 |     720    42889   140074 |    45527    45287     63 |  0.020 % |
227.53/227.79	c |    429259 |     720    42889   140074 |    45527    42348     61 |  0.000 % |
229.33/229.59	c |    432888 |     720    42889   140074 |    43089    40570     60 |  0.023 % |
231.23/231.45	c |    436875 |     720    42889   140074 |    43089    39856     59 |  0.021 % |
231.33/231.52	c |    436975 |     720    42889   140074 |    43089    39956     59 |  0.024 % |
231.33/231.59	c |    437088 |     720    42889   140074 |    43089    40069     59 |  0.017 % |
231.43/231.68	c |    437211 |     720    42889   140074 |    43089    40192     59 |  0.000 % |
231.53/231.77	c |    437345 |     720    42889   140074 |    43089    40326     59 |  0.000 % |
231.63/231.87	c |    437493 |     720    42889   140074 |    43089    40474     59 |  0.022 % |
231.73/231.94	c |    437653 |     720    42889   140074 |    43089    40634     59 |  0.000 % |
231.83/232.04	c |    437829 |     720    42889   140074 |    43089    40810     59 |  0.000 % |
231.93/232.11	c |    438022 |     720    42889   140074 |    43089    41003     59 |  0.022 % |
232.03/232.24	c |    438234 |     720    42889   140074 |    43089    41215     60 |  0.000 % |
232.13/232.39	c |    438469 |     720    42889   140074 |    43089    41450     60 |  0.000 % |
232.33/232.54	c |    438726 |     720    42889   140074 |    43089    41707     60 |  0.022 % |
232.43/232.66	c |    439008 |     720    42889   140074 |    43089    41989     59 |  0.000 % |
232.63/232.83	c |    439317 |     720    42889   140074 |    43089    42298     60 |  0.000 % |
232.83/233.01	c |    439656 |     720    42889   140074 |    43089    42637     60 |  0.000 % |
232.93/233.19	c |    440029 |     720    42889   140074 |    42981    43010     60 |  0.000 % |
233.23/233.42	c |    440440 |     720    42889   140074 |    42981    38925     58 |  0.000 % |
233.43/233.61	c |    440890 |     720    42889   140074 |    42981    39375     58 |  0.000 % |
233.53/233.79	c |    441384 |     720    42889   140074 |    42981    39869     58 |  0.000 % |
233.83/234.02	c |    441929 |     720    42889   140074 |    42981    40414     58 |  0.025 % |
234.03/234.30	c |    442525 |     720    42889   140074 |    42981    41010     58 |  0.025 % |
234.43/234.64	c |    443180 |     720    42889   140074 |    42981    41665     59 |  0.000 % |
234.73/234.99	c |    443900 |     720    42889   140074 |    42981    42385     59 |  0.000 % |
235.13/235.37	c |    444696 |     720    42889   140074 |    42981    43181     59 |  0.022 % |
235.52/235.73	c |    445569 |     720    42889   140074 |    42981    39736     58 |  0.000 % |
236.12/236.30	c |    446527 |     720    42889   140074 |    42981    40694     59 |  0.000 % |
236.72/236.94	c |    447583 |     720    42889   140074 |    42981    41750     61 |  0.000 % |
237.43/237.63	c |    448741 |     720    42889   140074 |    42981    42908     62 |  0.000 % |
238.22/238.45	c |    450015 |     720    42889   140074 | 2147483647    39848     62 |  0.000 % |
239.02/239.27	c |    451416 |     720    42889   140074 | 2147483647    41249     64 |  0.000 % |
240.02/240.21	c |    452956 |     720    42889   140074 | 2147483647    42789     65 |  0.000 % |
241.02/241.27	c |    454656 |     720    42889   140074 | 2147483647    44489     66 |  0.000 % |
241.92/242.16	c |    456521 |     720    42889   140074 | 2147483647    46354     65 |  0.000 % |
243.62/243.82	c |    458571 |     720    42889   140074 | 2147483647    48404     67 |  0.000 % |
245.12/245.32	c |    460827 |     720    42889   140074 | 2147483647    50660     69 |  0.000 % |
246.42/246.65	c |    463305 |     720    42889   140074 | 2147483647    53138     69 |  0.021 % |
247.92/248.15	c |    466032 |     720    42889   140074 | 2147483647    55865     68 |  0.021 % |
250.33/250.51	c |    469032 |     720    42889   140074 | 2147483647    58865     70 |  0.000 % |
253.03/253.22	c |    472329 |     720    42889   140074 |    59833    53762     72 |  0.000 % |
255.23/255.40	c |    475957 |     720    42889   140074 |    59833    57390     71 |  0.025 % |
257.93/258.17	c |    479944 |     720    42889   140074 |    59833    51231     73 |  0.025 % |
260.53/260.70	c |    484329 |     720    42889   140074 |    51287    46396     70 |  0.000 % |
260.53/260.78	c |    484430 |     720    42889   140074 |    51287    46497     70 |  0.000 % |
260.62/260.86	c |    484540 |     720    42889   140074 |    51287    46607     70 |  0.025 % |
260.72/260.97	c |    484661 |     720    42889   140074 |    51287    46728     70 |  0.000 % |
260.82/261.07	c |    484797 |     720    42889   140074 |    51287    46864     70 |  0.000 % |
260.92/261.17	c |    484944 |     720    42889   140074 |    51287    47011     70 |  0.000 % |
261.02/261.26	c |    485104 |     720    42889   140074 |    51287    47171     70 |  0.000 % |
261.12/261.36	c |    485281 |     720    42889   140074 |    51287    47348     70 |  0.020 % |
261.22/261.47	c |    485474 |     720    42889   140074 |    51287    47541     70 |  0.022 % |
261.42/261.60	c |    485686 |     720    42889   140074 |    51287    47753     70 |  0.022 % |
261.53/261.75	c |    485920 |     720    42889   140074 |    51287    47987     70 |  0.027 % |
261.72/261.91	c |    486176 |     720    42889   140074 |    51287    48243     70 |  0.000 % |
261.82/262.07	c |    486457 |     720    42889   140074 |    51287    48524     69 |  0.021 % |
262.02/262.26	c |    486766 |     720    42889   140074 |    51287    48833     69 |  0.022 % |
262.22/262.48	c |    487106 |     720    42889   140074 |    51287    49173     69 |  0.021 % |
262.42/262.68	c |    487478 |     720    42889   140074 |    51287    49545     69 |  0.022 % |
262.73/262.97	c |    487887 |     720    42889   140074 |    51287    49954     69 |  0.021 % |
263.02/263.22	c |    488340 |     720    42889   140074 |    51287    50407     69 |  0.023 % |
263.32/263.50	c |    488833 |     720    42889   140074 |    51287    50900     69 |  0.023 % |
263.62/263.86	c |    489375 |     720    42889   140074 |    51287    51442     68 |  0.000 % |
264.02/264.23	c |    489972 |     720    42889   140074 |    51287    43384     61 |  0.022 % |
264.32/264.56	c |    490627 |     720    42889   140074 |    43414    37205     55 |  0.021 % |
264.72/264.90	c |    491347 |     720    42889   140074 |    43414    37925     55 |  0.023 % |
265.02/265.30	c |    492139 |     720    42889   140074 |    43414    38717     55 |  0.021 % |
265.42/265.65	c |    493010 |     720    42889   140074 |    43414    39588     54 |  0.022 % |
265.92/266.11	c |    493969 |     720    42889   140074 |    43414    40547     55 |  0.000 % |
266.42/266.61	c |    495022 |     720    42889   140074 |    43414    41600     57 |  0.000 % |
267.02/267.22	c |    496181 |     720    42889   140074 |    43414    42759     58 |  0.000 % |
267.72/267.93	c |    497454 |     720    42889   140074 |    43414    39648     59 |  0.000 % |
268.32/268.55	c |    498858 |     720    42889   140074 |    43414    41052     60 |  0.000 % |
269.02/269.20	c |    500399 |     720    42889   140074 | 2147483647    42593     60 |  0.000 % |
269.72/269.99	c |    502093 |     720    42889   140074 | 2147483647    44287     60 |  0.000 % |
270.72/270.95	c |    503957 |     720    42889   140074 | 2147483647    46151     63 |  0.000 % |
271.82/272.01	c |    506006 |     720    42889   140074 | 2147483647    48200     64 |  0.000 % |
273.12/273.34	c |    508260 |     720    42889   140074 | 2147483647    50454     66 |  0.000 % |
274.42/274.68	c |    510738 |     720    42889   140074 | 2147483647    52932     67 |  0.000 % |
276.12/276.32	c |    513463 |     720    42889   140074 | 2147483647    55657     66 |  0.000 % |
278.02/278.20	c |    516460 |     720    42889   140074 | 2147483647    58654     66 |  0.000 % |
280.32/280.58	c |    519756 |     720    42889   140074 | 2147483647    61950     67 |  0.023 % |
282.72/282.93	c |    523381 |     720    42889   140074 |    62194    54409     65 |  0.025 % |
285.51/285.79	c |    527369 |     720    42889   140074 |    62194    58397     67 |  0.000 % |
288.72/288.98	c |    531754 |     720    42889   140074 |    61028    50543     71 |  0.000 % |
291.91/292.14	c |    536577 |     720    42889   140074 |    61028    55366     71 |  0.000 % |
292.01/292.26	c |    536677 |     720    42889   140074 |    61028    55466     71 |  0.000 % |
292.11/292.37	c |    536787 |     720    42889   140074 |    61028    55576     71 |  0.000 % |
292.21/292.45	c |    536910 |     720    42889   140074 |    61028    55699     71 |  0.000 % |
292.32/292.57	c |    537045 |     720    42889   140074 |    61028    55834     71 |  0.023 % |
292.42/292.69	c |    537191 |     720    42889   140074 |    61028    55980     71 |  0.000 % |
292.61/292.82	c |    537351 |     720    42889   140074 |    61028    56140     71 |  0.000 % |
292.71/292.95	c |    537528 |     720    42889   140074 |    61028    56317     71 |  0.000 % |
292.91/293.11	c |    537721 |     720    42889   140074 |    61028    56510     71 |  0.000 % |
293.01/293.26	c |    537934 |     720    42889   140074 |    61028    56723     71 |  0.000 % |
293.21/293.45	c |    538171 |     720    42889   140074 |    61028    56960     71 |  0.000 % |
293.42/293.64	c |    538427 |     720    42889   140074 |    61028    57216     72 |  0.000 % |
293.61/293.82	c |    538708 |     720    42889   140074 |    61028    57497     72 |  0.000 % |
293.81/294.06	c |    539020 |     720    42889   140074 |    61028    57809     72 |  0.000 % |
294.11/294.33	c |    539359 |     720    42889   140074 |    61028    58148     72 |  0.000 % |
294.41/294.61	c |    539731 |     720    42889   140074 |    61028    58520     72 |  0.000 % |
294.61/294.87	c |    540140 |     720    42889   140074 |    58790    58929     72 |  0.000 % |
295.01/295.24	c |    540590 |     720    42889   140074 |    58790    47184     72 |  0.000 % |
295.31/295.53	c |    541083 |     720    42889   140074 |    58790    47677     73 |  0.000 % |
295.71/295.99	c |    541625 |     720    42889   140074 |    58790    48219     73 |  0.000 % |
296.11/296.34	c |    542221 |     720    42889   140074 |    58790    48815     73 |  0.000 % |
296.61/296.81	c |    542881 |     720    42889   140074 |    58790    49475     73 |  0.000 % |
297.01/297.28	c |    543601 |     720    42889   140074 |    58790    50195     72 |  0.024 % |
297.41/297.70	c |    544395 |     720    42889   140074 |    58790    50989     72 |  0.024 % |
297.91/298.18	c |    545266 |     720    42889   140074 |    58790    51860     72 |  0.027 % |
298.41/298.69	c |    546225 |     720    42889   140074 |    58790    52819     71 |  0.000 % |
298.91/299.16	c |    547280 |     720    42889   140074 |    58790    53874     71 |  0.000 % |
299.61/299.82	c |    548438 |     720    42889   140074 |    58790    55032     71 |  0.000 % |
300.31/300.54	c |    549713 |     720    42889   140074 |    58790    56307     71 |  0.026 % |
301.31/301.50	c |    551115 |     720    42889   140074 |    56594    47529     65 |  0.026 % |
301.91/302.15	c |    552655 |     720    42889   140074 |    56594    49069     65 |  0.023 % |
302.70/302.91	c |    554349 |     720    42889   140074 |    56594    50763     65 |  0.000 % |
303.60/303.80	c |    556213 |     720    42889   140074 |    56594    52627     65 |  0.000 % |
304.70/304.91	c |    558263 |     720    42889   140074 |    56594    54677     64 |  0.022 % |
306.20/306.47	c |    560516 |     720    42889   140074 |    56415    49762     63 |  0.000 % |
308.10/308.32	c |    562995 |     720    42889   140074 |    56415    52241     65 |  0.000 % |
309.90/310.15	c |    565721 |     720    42889   140074 |    56415    54967     67 |  0.000 % |
311.60/311.86	c |    568718 |     720    42889   140074 |    56415    49425     66 |  0.000 % |
313.50/313.76	c |    572015 |     720    42889   140074 |    50707    44988     65 |  0.000 % |
315.60/315.86	c |    575642 |     720    42889   140074 |    50707    48615     68 |  0.000 % |
318.10/318.35	c |    579629 |     720    42889   140074 |    50707    44763     65 |  0.000 % |
320.80/321.08	c |    584014 |     720    42889   140074 |    45134    42038     67 |  0.000 % |
324.10/324.31	c |    588837 |     720    42889   140074 |    45134    39370     76 |  0.000 % |
327.19/327.42	c |    594142 |     720    42889   140074 |    40533    37743     79 |  0.000 % |
327.19/327.48	c |    594242 |     720    42889   140074 |    40533    37843     79 |  0.000 % |
327.29/327.55	c |    594353 |     720    42889   140074 |    40533    37954     79 |  0.000 % |
327.39/327.62	c |    594475 |     720    42889   140074 |    40533    38076     79 |  0.000 % |
327.50/327.71	c |    594608 |     720    42889   140074 |    40533    38209     79 |  0.000 % |
327.60/327.82	c |    594754 |     720    42889   140074 |    40533    38355     79 |  0.022 % |
327.69/327.95	c |    594915 |     720    42889   140074 |    40533    38516     79 |  0.000 % |
327.89/328.11	c |    595091 |     720    42889   140074 |    40533    38692     79 |  0.000 % |
327.99/328.24	c |    595285 |     720    42889   140074 |    40533    38886     79 |  0.000 % |
328.19/328.40	c |    595500 |     720    42889   140074 |    40533    39101     79 |  0.000 % |
328.39/328.60	c |    595739 |     720    42889   140074 |    40533    39340     80 |  0.000 % |
328.60/328.81	c |    595996 |     720    42889   140074 |    40533    39597     80 |  0.000 % |
328.70/328.99	c |    596279 |     720    42889   140074 |    40533    39880     80 |  0.000 % |
328.99/329.21	c |    596590 |     720    42889   140074 |    40533    40191     80 |  0.000 % |
329.19/329.48	c |    596931 |     720    42889   140074 |    40533    40532     80 |  0.000 % |
329.59/329.81	c |    597304 |     720    42889   140074 |    40533    40905     80 |  0.000 % |
329.80/330.08	c |    597713 |     720    42889   140074 |    40533    34508     78 |  0.026 % |
329.99/330.27	c |    598162 |     720    42889   140074 |    40533    34957     78 |  0.000 % |
330.29/330.55	c |    598655 |     720    42889   140074 |    40533    35450     78 |  0.000 % |
330.59/330.85	c |    599199 |     720    42889   140074 |    40533    35994     77 |  0.019 % |
330.99/331.28	c |    599796 |     720    42889   140074 |    40533    36591     77 |  0.000 % |
331.49/331.77	c |    600453 |     720    42889   140074 |    36795    31479     75 |  0.024 % |
331.89/332.12	c |    601174 |     720    42889   140074 |    36795    32200     75 |  0.000 % |
332.19/332.47	c |    601968 |     720    42889   140074 |    36795    32994     74 |  0.026 % |
332.69/332.91	c |    602840 |     720    42889   140074 |    36795    33866     73 |  0.026 % |
333.19/333.44	c |    603798 |     720    42889   140074 |    36795    34824     73 |  0.023 % |
333.79/334.04	c |    604852 |     720    42889   140074 |    36795    35878     72 |  0.023 % |
334.29/334.54	c |    606013 |     720    42889   140074 |    36795    37039     72 |  0.023 % |
335.09/335.31	c |    607286 |     720    42889   140074 |    36795    34096     72 |  0.000 % |
335.79/336.09	c |    608686 |     720    42889   140074 |    36795    35496     73 |  0.000 % |
336.89/337.19	c |    610228 |     720    42889   140074 |    36810    37038     73 |  0.000 % |
337.69/337.92	c |    611922 |     720    42889   140074 |    36810    34334     72 |  0.022 % |
338.49/338.76	c |    613786 |     720    42889   140074 |    36810    36198     71 |  0.000 % |
339.39/339.69	c |    615836 |     720    42889   140074 |    36810    34523     64 |  0.029 % |
340.49/340.72	c |    618090 |     720    42889   140074 |    36810    36777     63 |  0.022 % |
341.79/342.07	c |    620568 |     720    42889   140074 | 2147483647    35528     63 |  0.000 % |
343.28/343.53	c |    623294 |     720    42889   140074 | 2147483647    38254     66 |  0.000 % |
344.78/345.01	c |    626292 |     720    42889   140074 | 2147483647    41252     67 |  0.000 % |
346.58/346.80	c |    629590 |     720    42889   140074 | 2147483647    44550     68 |  0.000 % |
349.08/349.38	c |    633215 |     720    42889   140074 | 2147483647    48175     70 |  0.000 % |
350.98/351.29	c |    637202 |     720    42889   140074 | 2147483647    52162     68 |  0.023 % |
353.28/353.54	c |    641588 |     720    42889   140074 |    54962    50142     64 |  0.029 % |
356.28/356.58	c |    646411 |     720    42889   140074 |    54962    54965     67 |  0.000 % |
359.88/360.13	c |    651716 |     720    42889   140074 |    52645    47850     68 |  0.000 % |
363.98/364.30	c |    657551 |     720    42889   140074 |    52645    46020     70 |  0.000 % |
364.08/364.39	c |    657651 |     720    42889   140074 |    52645    46120     70 |  0.000 % |
364.18/364.47	c |    657761 |     720    42889   140074 |    52645    46230     70 |  0.020 % |
364.28/364.56	c |    657882 |     720    42889   140074 |    52645    46351     70 |  0.022 % |
364.38/364.65	c |    658015 |     720    42889   140074 |    52645    46484     70 |  0.025 % |
364.48/364.74	c |    658161 |     720    42889   140074 |    52645    46630     70 |  0.000 % |
364.58/364.84	c |    658322 |     720    42889   140074 |    52645    46791     70 |  0.000 % |
364.68/364.92	c |    658499 |     720    42889   140074 |    52645    46968     70 |  0.000 % |
364.78/365.02	c |    658692 |     720    42889   140074 |    52645    47161     70 |  0.000 % |
364.88/365.14	c |    658906 |     720    42889   140074 |    52645    47375     70 |  0.000 % |
364.98/365.28	c |    659139 |     720    42889   140074 |    52645    47608     70 |  0.020 % |
365.18/365.42	c |    659395 |     720    42889   140074 |    52645    47864     70 |  0.022 % |
365.28/365.58	c |    659678 |     720    42889   140074 |    52645    48147     70 |  0.000 % |
365.48/365.75	c |    659987 |     720    42889   140074 |    52645    48456     70 |  0.021 % |
365.68/365.95	c |    660326 |     720    42889   140074 |    48470    48795     70 |  0.000 % |
365.88/366.17	c |    660701 |     720    42889   140074 |    48470    42284     65 |  0.023 % |
366.08/366.37	c |    661111 |     720    42889   140074 |    48470    42694     64 |  0.023 % |
366.28/366.56	c |    661561 |     720    42889   140074 |    48470    43144     64 |  0.029 % |
366.58/366.87	c |    662055 |     720    42889   140074 |    48470    43638     64 |  0.000 % |
366.98/367.22	c |    662598 |     720    42889   140074 |    48470    44181     65 |  0.000 % |
367.28/367.59	c |    663195 |     720    42889   140074 |    48470    44778     65 |  0.000 % |
367.58/367.88	c |    663852 |     720    42889   140074 |    48470    45435     65 |  0.000 % |
367.98/368.24	c |    664572 |     720    42889   140074 |    48470    46155     65 |  0.023 % |
368.38/368.67	c |    665365 |     720    42889   140074 |    48470    46948     66 |  0.000 % |
368.88/369.10	c |    666237 |     720    42889   140074 |    48470    47820     66 |  0.000 % |
369.28/369.51	c |    667195 |     720    42889   140074 |    48470    48778     66 |  0.022 % |
369.68/369.99	c |    668248 |     720    42889   140074 |    48470    44954     63 |  0.000 % |
370.27/370.53	c |    669407 |     720    42889   140074 |    48470    46113     63 |  0.022 % |
370.87/371.19	c |    670680 |     720    42889   140074 | 2147483647    47386     63 |  0.022 % |
371.67/371.90	c |    672080 |     720    42889   140074 | 2147483647    48786     62 |  0.000 % |
372.58/372.84	c |    673620 |     720    42889   140074 | 2147483647    50326     64 |  0.000 % |
373.68/373.90	c |    675314 |     720    42889   140074 | 2147483647    52020     65 |  0.000 % |
374.57/374.90	c |    677177 |     720    42889   140074 | 2147483647    53883     65 |  0.000 % |
375.87/376.14	c |    679226 |     720    42889   140074 | 2147483647    55932     66 |  0.000 % |
377.07/377.32	c |    681479 |     720    42889   140074 |    56706    52009     64 |  0.028 % |
378.38/378.62	c |    683957 |     720    42889   140074 |    56706    54487     63 |  0.021 % |
380.18/380.44	c |    686683 |     720    42889   140074 |    56706    49681     62 |  0.021 % |
381.88/382.14	c |    689681 |     720    42889   140074 |    56706    52679     61 |  0.028 % |
384.28/384.51	c |    692977 |     720    42889   140074 |    52998    48526     57 |  0.028 % |
386.28/386.59	c |    696602 |     720    42889   140074 |    52998    52151     58 |  0.000 % |
389.08/389.38	c |    700591 |     720    42889   140074 |    46961    39422     53 |  0.023 % |
390.97/391.26	c |    704976 |     720    42889   140074 |    46961    43807     57 |  0.000 % |
393.37/393.67	c |    709799 |     720    42889   140074 |    46961    43844     57 |  0.000 % |
395.97/396.20	c |    715105 |     720    42889   140074 |    44048    40124     50 |  0.022 % |
398.57/398.81	c |    720943 |     720    42889   140074 | 2147483647    41512     52 |  0.022 % |
401.87/402.16	c |    727361 |     720    42889   140074 | 2147483647    47930     52 |  0.022 % |
401.97/402.21	c |    727461 |     720    42889   140074 | 2147483647    48030     52 |  0.022 % |
401.97/402.27	c |    727573 |     720    42889   140074 | 2147483647    48142     52 |  0.000 % |
402.07/402.35	c |    727694 |     720    42889   140074 | 2147483647    48263     52 |  0.000 % |
402.17/402.41	c |    727827 |     720    42889   140074 | 2147483647    48396     52 |  0.000 % |
402.17/402.47	c |    727974 |     720    42889   140074 | 2147483647    48543     52 |  0.024 % |
402.27/402.53	c |    728136 |     720    42889   140074 | 2147483647    48705     52 |  0.022 % |
402.27/402.60	c |    728312 |     720    42889   140074 | 2147483647    48881     52 |  0.000 % |
402.37/402.68	c |    728506 |     720    42889   140074 | 2147483647    49075     52 |  0.000 % |
402.47/402.79	c |    728718 |     720    42889   140074 | 2147483647    49287     53 |  0.000 % |
402.67/402.90	c |    728951 |     720    42889   140074 | 2147483647    49520     53 |  0.000 % |
402.77/403.03	c |    729207 |     720    42889   140074 | 2147483647    49776     53 |  0.000 % |
402.87/403.16	c |    729488 |     720    42889   140074 | 2147483647    50057     53 |  0.000 % |
403.07/403.30	c |    729798 |     720    42889   140074 | 2147483647    50367     53 |  0.000 % |
403.17/403.47	c |    730141 |     720    42889   140074 | 2147483647    50710     53 |  0.020 % |
403.37/403.66	c |    730514 |     720    42889   140074 | 2147483647    51083     53 |  0.000 % |
403.67/403.91	c |    730925 |     720    42889   140074 | 2147483647    51494     54 |  0.000 % |
403.87/404.13	c |    731374 |     720    42889   140074 | 2147483647    51943     54 |  0.028 % |
404.07/404.38	c |    731867 |     720    42889   140074 | 2147483647    52436     54 |  0.000 % |
404.37/404.61	c |    732409 |     720    42889   140074 | 2147483647    52978     54 |  0.022 % |
404.67/404.90	c |    733005 |     720    42889   140074 | 2147483647    53574     54 |  0.000 % |
405.07/405.30	c |    733662 |     720    42889   140074 | 2147483647    54231     55 |  0.000 % |
405.47/405.70	c |    734382 |     720    42889   140074 | 2147483647    54951     55 |  0.000 % |
405.97/406.22	c |    735178 |     720    42889   140074 | 2147483647    55747     55 |  0.020 % |
406.37/406.67	c |    736051 |     720    42889   140074 | 2147483647    56620     56 |  0.020 % |
406.87/407.16	c |    737009 |     720    42889   140074 | 2147483647    57578     57 |  0.000 % |
407.57/407.83	c |    738062 |     720    42889   140074 | 2147483647    58631     58 |  0.000 % |
408.37/408.61	c |    739221 |     720    42889   140074 | 2147483647    59790     59 |  0.000 % |
409.07/409.39	c |    740494 |     720    42889   140074 | 2147483647    61063     59 |  0.023 % |
409.97/410.24	c |    741894 |     720    42889   140074 | 2147483647    62463     59 |  0.023 % |
410.87/411.11	c |    743434 |     720    42889   140074 | 2147483647    64003     59 |  0.000 % |
411.77/412.02	c |    745128 |     720    42889   140074 | 2147483647    65697     59 |  0.025 % |
412.97/413.22	c |    746991 |     720    42889   140074 | 2147483647    67560     59 |  0.025 % |
414.27/414.50	c |    749040 |     720    42889   140074 | 2147483647    69609     59 |  0.000 % |
415.96/416.25	c |    751294 |     720    42889   140074 |    70569    63769     61 |  0.000 % |
417.77/418.10	c |    753773 |     720    42889   140074 |    70569    66248     61 |  0.000 % |
419.46/419.70	c |    756498 |     720    42889   140074 |    70569    68973     61 |  0.000 % |
421.56/421.85	c |    759495 |     720    42889   140074 |    70569    62298     60 |  0.000 % |
423.86/424.11	c |    762793 |     720    42889   140074 |    62803    56549     61 |  0.000 % |
426.46/426.71	c |    766420 |     720    42889   140074 |    62803    60176     61 |  0.025 % |
429.36/429.69	c |    770408 |     720    42889   140074 |    52861    53269     61 |  0.000 % |
432.36/432.61	c |    774793 |     720    42889   140074 |    52861    48262     60 |  0.025 % |
435.86/436.11	c |    779616 |     720    42889   140074 |    52861    53085     58 |  0.000 % |
438.95/439.20	c |    784922 |     720    42889   140074 |    44170    41229     52 |  0.025 % |
441.96/442.23	c |    790758 |     720    42889   140074 |    40336    36007     46 |  0.025 % |
445.16/445.50	c |    797176 |     720    42889   140074 |    40336    38350     46 |  0.024 % |
448.15/448.46	c |    804235 |     720    42889   140074 | 2147483647    41327     47 |  0.025 % |
448.25/448.52	c |    804335 |     720    42889   140074 | 2147483647    41427     47 |  0.021 % |
448.25/448.59	c |    804447 |     720    42889   140074 | 2147483647    41539     47 |  0.000 % |
448.35/448.64	c |    804568 |     720    42889   140074 | 2147483647    41660     47 |  0.025 % |
448.35/448.70	c |    804701 |     720    42889   140074 | 2147483647    41793     47 |  0.000 % |
448.46/448.76	c |    804847 |     720    42889   140074 | 2147483647    41939     47 |  0.000 % |
448.56/448.83	c |    805007 |     720    42889   140074 | 2147483647    42099     47 |  0.000 % |
448.56/448.89	c |    805183 |     720    42889   140074 | 2147483647    42275     47 |  0.000 % |
448.65/448.98	c |    805376 |     720    42889   140074 | 2147483647    42468     48 |  0.000 % |
448.75/449.06	c |    805591 |     720    42889   140074 | 2147483647    42683     48 |  0.000 % |
448.85/449.14	c |    805825 |     720    42889   140074 | 2147483647    42917     48 |  0.000 % |
448.95/449.23	c |    806084 |     720    42889   140074 | 2147483647    43176     48 |  0.000 % |
449.05/449.35	c |    806365 |     720    42889   140074 | 2147483647    43457     49 |  0.000 % |
449.15/449.46	c |    806674 |     720    42889   140074 | 2147483647    43766     49 |  0.000 % |
449.25/449.60	c |    807013 |     720    42889   140074 | 2147483647    44105     50 |  0.000 % |
449.45/449.75	c |    807385 |     720    42889   140074 | 2147483647    44477     50 |  0.000 % |
449.55/449.86	c |    807794 |     720    42889   140074 | 2147483647    44886     50 |  0.000 % |
449.75/450.05	c |    808243 |     720    42889   140074 | 2147483647    45335     50 |  0.025 % |
449.95/450.21	c |    808736 |     720    42889   140074 | 2147483647    45828     50 |  0.022 % |
450.15/450.40	c |    809279 |     720    42889   140074 | 2147483647    46371     50 |  0.025 % |
450.35/450.62	c |    809877 |     720    42889   140074 | 2147483647    46969     50 |  0.020 % |
450.65/450.91	c |    810533 |     720    42889   140074 | 2147483647    47625     50 |  0.000 % |
450.95/451.25	c |    811254 |     720    42889   140074 | 2147483647    48346     51 |  0.000 % |
451.25/451.56	c |    812047 |     720    42889   140074 | 2147483647    49139     51 |  0.000 % |
451.55/451.87	c |    812918 |     720    42889   140074 | 2147483647    50010     52 |  0.000 % |
451.95/452.24	c |    813876 |     720    42889   140074 | 2147483647    50968     53 |  0.000 % |
452.45/452.78	c |    814929 |     720    42889   140074 | 2147483647    52021     54 |  0.000 % |
453.05/453.38	c |    816090 |     720    42889   140074 | 2147483647    53182     55 |  0.000 % |
453.75/454.03	c |    817363 |     720    42889   140074 | 2147483647    54455     56 |  0.000 % |
454.45/454.75	c |    818763 |     720    42889   140074 | 2147483647    55855     56 |  0.023 % |
455.25/455.53	c |    820304 |     720    42889   140074 | 2147483647    57396     56 |  0.023 % |
456.05/456.33	c |    821999 |     720    42889   140074 | 2147483647    59091     56 |  0.000 % |
456.85/457.16	c |    823863 |     720    42889   140074 | 2147483647    60955     56 |  0.023 % |
457.85/458.19	c |    825914 |     720    42889   140074 | 2147483647    63006     55 |  0.026 % |
458.95/459.25	c |    828167 |     720    42889   140074 | 2147483647    65259     55 |  0.020 % |
460.35/460.62	c |    830648 |     720    42889   140074 | 2147483647    67740     55 |  0.024 % |
461.85/462.19	c |    833376 |     720    42889   140074 | 2147483647    70468     54 |  0.020 % |
463.35/463.62	c |    836377 |     720    42889   140074 | 2147483647    73469     54 |  0.024 % |
465.54/465.81	c |    839673 |     720    42889   140074 | 2147483647    76765     54 |  0.029 % |
467.94/468.29	c |    843299 |     720    42889   140074 |    77093    67534     56 |  0.000 % |
470.94/471.28	c |    847286 |     720    42889   140074 |    77093    71521     55 |  0.000 % |
474.34/474.63	c |    851673 |     720    42889   140074 |    74238    61338     56 |  0.024 % |
477.74/478.04	c |    856497 |     720    42889   140074 |    74238    66162     55 |  0.020 % |
481.34/481.64	c |    861804 |     720    42889   140074 |    69666    58009     52 |  0.000 % |
484.84/485.15	c |    867639 |     720    42889   140074 |    69666    63844     51 |  0.020 % |
489.64/489.96	c |    874059 |     720    42889   140074 |    66208    56910     45 |  0.017 % |
493.13/493.43	c |    881122 |     720    42889   140074 |    62851    56522     53 |  0.000 % |
497.33/497.68	c |    888888 |     720    42889   140074 |    62851    56898     56 |  0.000 % |
497.43/497.73	c |    888988 |     720    42889   140074 |    62851    56998     56 |  0.023 % |
497.43/497.78	c |    889099 |     720    42889   140074 |    62851    57109     56 |  0.025 % |
497.53/497.87	c |    889221 |     720    42889   140074 |    62851    57231     56 |  0.000 % |
497.63/497.94	c |    889355 |     720    42889   140074 |    62851    57365     56 |  0.000 % |
497.73/498.00	c |    889501 |     720    42889   140074 |    62851    57511     56 |  0.000 % |
497.83/498.10	c |    889661 |     720    42889   140074 |    62851    57671     56 |  0.000 % |
497.83/498.19	c |    889838 |     720    42889   140074 |    62851    57848     56 |  0.029 % |
497.93/498.28	c |    890032 |     720    42889   140074 |    58013    58042     56 |  0.000 % |
498.13/498.49	c |    890244 |     720    42889   140074 |    58013    51440     57 |  0.000 % |
498.23/498.59	c |    890478 |     720    42889   140074 |    58013    51674     57 |  0.000 % |
498.43/498.72	c |    890734 |     720    42889   140074 |    58013    51930     57 |  0.022 % |
498.53/498.86	c |    891015 |     720    42889   140074 |    58013    52211     57 |  0.022 % |
498.73/499.01	c |    891325 |     720    42889   140074 |    58013    52521     57 |  0.000 % |
498.93/499.21	c |    891666 |     720    42889   140074 |    58013    52862     57 |  0.000 % |
499.13/499.42	c |    892040 |     720    42889   140074 |    58013    53236     58 |  0.000 % |
499.33/499.62	c |    892449 |     720    42889   140074 |    58013    53645     58 |  0.000 % |
499.53/499.84	c |    892898 |     720    42889   140074 |    58013    54094     58 |  0.022 % |
499.73/500.06	c |    893394 |     720    42889   140074 |    58013    54590     58 |  0.025 % |
500.03/500.32	c |    893939 |     720    42889   140074 |    58013    55135     58 |  0.020 % |
500.33/500.60	c |    894535 |     720    42889   140074 |    58013    55731     58 |  0.020 % |
500.73/501.00	c |    895190 |     720    42889   140074 |    58013    56386     58 |  0.000 % |
501.03/501.39	c |    895910 |     720    42889   140074 |    58013    57106     59 |  0.000 % |
501.53/501.81	c |    896702 |     720    42889   140074 |    58013    57898     59 |  0.000 % |
502.03/502.30	c |    897573 |     720    42889   140074 |    58013    52925     60 |  0.025 % |
502.43/502.78	c |    898531 |     720    42889   140074 |    58013    53883     61 |  0.000 % |
503.03/503.39	c |    899586 |     720    42889   140074 |    58013    54938     62 |  0.000 % |
503.72/504.06	c |    900744 |     720    42889   140074 | 2147483647    56096     63 |  0.000 % |
504.53/504.84	c |    902017 |     720    42889   140074 | 2147483647    57369     63 |  0.000 % |
505.32/505.66	c |    903418 |     720    42889   140074 | 2147483647    58770     64 |  0.000 % |
506.02/506.36	c |    904959 |     720    42889   140074 | 2147483647    60311     65 |  0.000 % |
506.92/507.22	c |    906653 |     720    42889   140074 | 2147483647    62005     65 |  0.020 % |
508.02/508.36	c |    908520 |     720    42889   140074 | 2147483647    63872     65 |  0.000 % |
509.82/510.13	c |    910573 |     720    42889   140074 |    65352    58241     69 |  0.000 % |
511.83/512.11	c |    912826 |     720    42889   140074 |    65352    60494     71 |  0.000 % |
513.63/513.90	c |    915305 |     720    42889   140074 |    65352    62973     71 |  0.000 % |
515.92/516.26	c |    918031 |     720    42889   140074 |    65352    65699     70 |  0.000 % |
518.42/518.70	c |    921029 |     720    42889   140074 |    56832    47890     76 |  0.000 % |
520.92/521.25	c |    924326 |     720    42889   140074 |    56832    51187     77 |  0.000 % |
523.62/523.95	c |    927952 |     720    42889   140074 |    56832    54813     77 |  0.000 % |
526.81/527.15	c |    931939 |     720    42889   140074 |    56861    47194     75 |  0.000 % |
530.11/530.48	c |    936324 |     720    42889   140074 |    56861    51579     73 |  0.026 % |
533.41/533.70	c |    941147 |     720    42889   140074 |    55255    43895     67 |  0.023 % |
536.42/536.73	c |    946454 |     720    42889   140074 |    55255    49202     64 |  0.023 % |
540.81/541.15	c |    952289 |     720    42889   140074 |    52749    43184     56 |  0.023 % |
544.61/544.91	c |    958709 |     720    42889   140074 |    52749    49604     56 |  0.023 % |
548.21/548.54	c |    965768 |     720    42889   140074 |    50896    48288     55 |  0.000 % |
552.61/552.94	c |    973534 |     720    42889   140074 |    45384    42713     56 |  0.000 % |
556.01/556.35	c |    982074 |     720    42889   140074 |    44175    41670     67 |  0.000 % |
556.10/556.43	c |    982174 |     720    42889   140074 |    44175    41770     67 |  0.000 % |
556.10/556.50	c |    982285 |     720    42889   140074 |    44175    41881     68 |  0.000 % |
556.21/556.57	c |    982408 |     720    42889   140074 |    44175    42004     68 |  0.000 % |
556.31/556.65	c |    982541 |     720    42889   140074 |    44175    42137     68 |  0.000 % |
556.40/556.74	c |    982689 |     720    42889   140074 |    44175    42285     68 |  0.000 % |
556.50/556.82	c |    982851 |     720    42889   140074 |    44175    42447     68 |  0.000 % |
556.60/556.90	c |    983027 |     720    42889   140074 |    44175    42623     68 |  0.023 % |
556.70/557.00	c |    983221 |     720    42889   140074 |    44175    42817     68 |  0.000 % |
556.70/557.09	c |    983434 |     720    42889   140074 |    44175    43030     68 |  0.000 % |
556.80/557.18	c |    983667 |     720    42889   140074 |    44175    43263     68 |  0.000 % |
556.90/557.28	c |    983923 |     720    42889   140074 |    44175    43519     68 |  0.024 % |
557.00/557.40	c |    984206 |     720    42889   140074 |    44175    43802     68 |  0.024 % |
557.20/557.55	c |    984515 |     720    42889   140074 |    44175    44111     68 |  0.026 % |
557.41/557.77	c |    984856 |     720    42889   140074 |    44175    44452     68 |  0.000 % |
557.70/558.01	c |    985230 |     720    42889   140074 |    44175    40381     72 |  0.000 % |
557.90/558.22	c |    985640 |     720    42889   140074 |    44175    40791     72 |  0.000 % |
558.10/558.43	c |    986090 |     720    42889   140074 |    44175    41241     72 |  0.000 % |
558.41/558.74	c |    986585 |     720    42889   140074 |    44175    41736     72 |  0.000 % |
558.70/559.05	c |    987128 |     720    42889   140074 |    44175    42279     73 |  0.000 % |
559.00/559.39	c |    987725 |     720    42889   140074 |    44175    42876     72 |  0.000 % |
559.30/559.63	c |    988383 |     720    42889   140074 |    44175    43534     72 |  0.000 % |
559.60/559.97	c |    989103 |     720    42889   140074 |    44175    44254     72 |  0.000 % |
560.00/560.39	c |    989895 |     720    42889   140074 |    44175    40621     74 |  0.026 % |
560.50/560.82	c |    990767 |     720    42889   140074 | 2147483647    41493     74 |  0.000 % |
560.90/561.27	c |    991725 |     720    42889   140074 | 2147483647    42451     73 |  0.020 % |
561.40/561.73	c |    992780 |     720    42889   140074 | 2147483647    43506     72 |  0.000 % |
561.90/562.23	c |    993945 |     720    42889   140074 | 2147483647    44671     72 |  0.000 % |
562.50/562.89	c |    995220 |     720    42889   140074 | 2147483647    45946     71 |  0.021 % |
563.30/563.67	c |    996620 |     720    42889   140074 | 2147483647    47346     71 |  0.021 % |
564.20/564.53	c |    998160 |     720    42889   140074 | 2147483647    48886     70 |  0.021 % |
565.30/565.63	c |    999854 |     720    42889   140074 | 2147483647    50580     69 |  0.025 % |
566.60/566.94	c |   1001718 |     720    42889   140074 | 2147483647    52444     68 |  0.025 % |
567.90/568.23	c |   1003767 |     720    42889   140074 | 2147483647    54493     67 |  0.025 % |
569.50/569.83	c |   1006022 |     720    42889   140074 | 2147483647    56748     67 |  0.022 % |
571.20/571.51	c |   1008502 |     720    42889   140074 | 2147483647    59228     70 |  0.000 % |
573.29/573.61	c |   1011227 |     720    42889   140074 |    60726    52848     73 |  0.000 % |
574.90/575.26	c |   1014224 |     720    42889   140074 |    60726    55845     72 |  0.023 % |
576.79/577.19	c |   1017521 |     720    42889   140074 |    60726    59142     71 |  0.024 % |
579.40/579.76	c |   1021146 |     720    42889   140074 |    52525    45432     66 |  0.000 % |
581.79/582.15	c |   1025133 |     720    42889   140074 |    52525    49419     67 |  0.000 % |
584.29/584.66	c |   1029518 |     720    42889   140074 |    52525    45888     64 |  0.000 % |
587.49/587.87	c |   1034342 |     720    42889   140074 |    46370    43986     71 |  0.000 % |
590.79/591.10	c |   1039648 |     720    42889   140074 |    46370    42646     77 |  0.000 % |
593.89/594.25	c |   1045484 |     720    42889   140074 |    42998    41618     73 |  0.000 % |
597.39/597.76	c |   1051902 |     720    42889   140074 |    39479    35364     64 |  0.022 % |
601.19/601.58	c |   1058963 |     720    42889   140074 |    39479    37571     59 |  0.023 % |
605.79/606.19	c |   1066730 |     720    42889   140074 |    38608    35945     51 |  0.023 % |
610.09/610.45	c |   1075273 |     720    42889   140074 |    34195    31680     44 |  0.023 % |
614.28/614.69	c |   1084667 |     720    42889   140074 | 2147483647    37615     46 |  0.000 % |
614.38/614.74	c |   1084769 |     720    42889   140074 | 2147483647    37717     46 |  0.023 % |
614.38/614.79	c |   1084879 |     720    42889   140074 | 2147483647    37827     46 |  0.023 % |
614.49/614.86	c |   1085000 |     720    42889   140074 | 2147483647    37948     46 |  0.023 % |
614.59/614.91	c |   1085133 |     720    42889   140074 | 2147483647    38081     46 |  0.000 % |
614.59/614.94	c |   1085279 |     720    42889   140074 | 2147483647    38227     46 |  0.000 % |
614.59/614.99	c |   1085439 |     720    42889   140074 | 2147483647    38387     46 |  0.000 % |
614.68/615.04	c |   1085616 |     720    42889   140074 | 2147483647    38564     47 |  0.025 % |
614.68/615.10	c |   1085811 |     720    42889   140074 | 2147483647    38759     47 |  0.000 % |
614.78/615.15	c |   1086024 |     720    42889   140074 | 2147483647    38972     47 |  0.024 % |
614.88/615.25	c |   1086257 |     720    42889   140074 | 2147483647    39205     47 |  0.000 % |
614.98/615.34	c |   1086513 |     720    42889   140074 | 2147483647    39461     47 |  0.000 % |
615.08/615.44	c |   1086795 |     720    42889   140074 | 2147483647    39743     48 |  0.000 % |
615.18/615.53	c |   1087104 |     720    42889   140074 | 2147483647    40052     48 |  0.026 % |
615.28/615.67	c |   1087444 |     720    42889   140074 | 2147483647    40392     48 |  0.026 % |
615.48/615.80	c |   1087817 |     720    42889   140074 | 2147483647    40765     48 |  0.022 % |
615.58/615.93	c |   1088226 |     720    42889   140074 | 2147483647    41174     48 |  0.021 % |
615.68/616.06	c |   1088675 |     720    42889   140074 | 2147483647    41623     48 |  0.000 % |
615.78/616.19	c |   1089169 |     720    42889   140074 | 2147483647    42117     48 |  0.021 % |
615.98/616.34	c |   1089712 |     720    42889   140074 | 2147483647    42660     48 |  0.028 % |
616.18/616.52	c |   1090308 |     720    42889   140074 | 2147483647    43256     48 |  0.028 % |
616.28/616.69	c |   1090965 |     720    42889   140074 | 2147483647    43913     48 |  0.000 % |
616.48/616.88	c |   1091685 |     720    42889   140074 | 2147483647    44633     48 |  0.000 % |
616.78/617.14	c |   1092477 |     720    42889   140074 | 2147483647    45425     47 |  0.026 % |
617.08/617.47	c |   1093350 |     720    42889   140074 | 2147483647    46298     47 |  0.026 % |
617.38/617.76	c |   1094310 |     720    42889   140074 | 2147483647    47258     47 |  0.000 % |
617.68/618.08	c |   1095364 |     720    42889   140074 | 2147483647    48312     48 |  0.024 % |
618.18/618.54	c |   1096522 |     720    42889   140074 | 2147483647    49470     48 |  0.000 % |
618.68/619.02	c |   1097795 |     720    42889   140074 | 2147483647    50743     49 |  0.000 % |
619.08/619.49	c |   1099195 |     720    42889   140074 | 2147483647    52143     50 |  0.000 % |
619.78/620.13	c |   1100736 |     720    42889   140074 | 2147483647    53684     50 |  0.018 % |
620.38/620.74	c |   1102430 |     720    42889   140074 | 2147483647    55378     50 |  0.027 % |
621.08/621.49	c |   1104294 |     720    42889   140074 | 2147483647    57242     51 |  0.027 % |
621.88/622.20	c |   1106345 |     720    42889   140074 | 2147483647    59293     51 |  0.000 % |
622.68/623.08	c |   1108599 |     720    42889   140074 | 2147483647    61547     51 |  0.020 % |
623.68/624.09	c |   1111078 |     720    42889   140074 | 2147483647    64026     53 |  0.000 % |
625.18/625.59	c |   1113805 |     720    42889   140074 | 2147483647    66753     55 |  0.000 % |
626.77/627.18	c |   1116803 |     720    42889   140074 | 2147483647    69751     56 |  0.020 % |
628.57/628.99	c |   1120101 |     720    42889   140074 | 2147483647    73049     55 |  0.024 % |
631.08/631.45	c |   1123726 |     720    42889   140074 | 2147483647    76674     55 |  0.024 % |
633.37/633.75	c |   1127713 |     720    42889   140074 | 2147483647    80661     54 |  0.024 % |
636.48/636.89	c |   1132102 |     720    42889   140074 |    82948    70502     56 |  0.021 % |
639.78/640.17	c |   1136925 |     720    42889   140074 |    82948    75325     56 |  0.000 % |
644.07/644.43	c |   1142231 |     720    42889   140074 |    78402    63541     57 |  0.024 % |
647.87/648.29	c |   1148069 |     720    42889   140074 |    78402    69379     56 |  0.026 % |
651.47/651.80	c |   1154488 |     720    42889   140074 |    71310    60863     62 |  0.000 % |
655.77/656.18	c |   1161550 |     720    42889   140074 |    66376    55999     61 |  0.022 % |
661.47/661.84	c |   1169316 |     720    42889   140074 |    66376    63765     66 |  0.000 % |
667.57/667.93	c |   1177856 |     720    42889   140074 |    64452    60395     69 |  0.000 % |
674.97/675.34	c |   1187251 |     720    42889   140074 |    62540    57267     72 |  0.000 % |
683.06/683.46	c |   1197586 |     720    42889   140074 |    60016    55562     74 |  0.027 % |
683.16/683.57	c |   1197686 |     720    42889   140074 |    60016    55662     74 |  0.000 % |
683.26/683.66	c |   1197796 |     720    42889   140074 |    60016    55772     74 |  0.000 % |
683.36/683.79	c |   1197917 |     720    42889   140074 |    60016    55893     74 |  0.024 % |
683.56/683.90	c |   1198051 |     720    42889   140074 |    60016    56027     74 |  0.024 % |
683.66/684.07	c |   1198197 |     720    42889   140074 |    60016    56173     74 |  0.000 % |
683.86/684.23	c |   1198358 |     720    42889   140074 |    60016    56334     74 |  0.000 % |
684.06/684.40	c |   1198535 |     720    42889   140074 |    60016    56511     74 |  0.000 % |
684.26/684.64	c |   1198729 |     720    42889   140074 |    60016    56705     74 |  0.000 % |
684.46/684.85	c |   1198942 |     720    42889   140074 |    60016    56918     74 |  0.000 % |
684.66/685.03	c |   1199175 |     720    42889   140074 |    60016    57151     74 |  0.000 % |
684.86/685.24	c |   1199433 |     720    42889   140074 |    60016    57409     74 |  0.000 % |
685.06/685.48	c |   1199715 |     720    42889   140074 |    60016    57691     74 |  0.027 % |
685.36/685.76	c |   1200025 |     720    42889   140074 |    57978    58001     74 |  0.020 % |
685.76/686.10	c |   1200364 |     720    42889   140074 |    57978    45663     69 |  0.000 % |
685.96/686.37	c |   1200739 |     720    42889   140074 |    57978    46038     69 |  0.000 % |
686.26/686.62	c |   1201149 |     720    42889   140074 |    57978    46448     69 |  0.024 % |
686.56/686.90	c |   1201599 |     720    42889   140074 |    57978    46898     69 |  0.024 % |
686.86/687.26	c |   1202095 |     720    42889   140074 |    57978    47394     69 |  0.000 % |
687.26/687.62	c |   1202637 |     720    42889   140074 |    57978    47936     70 |  0.000 % |
687.66/688.05	c |   1203233 |     720    42889   140074 |    57978    48532     70 |  0.000 % |
688.16/688.50	c |   1203888 |     720    42889   140074 |    57978    49187     70 |  0.000 % |
688.56/688.97	c |   1204608 |     720    42889   140074 |    57978    49907     70 |  0.000 % |
689.06/689.41	c |   1205401 |     720    42889   140074 |    57978    50700     70 |  0.021 % |
689.36/689.77	c |   1206272 |     720    42889   140074 |    57978    51571     70 |  0.023 % |
689.96/690.34	c |   1207231 |     720    42889   140074 |    57978    52530     70 |  0.021 % |
690.66/691.00	c |   1208284 |     720    42889   140074 |    57978    53583     69 |  0.000 % |
691.36/691.76	c |   1209442 |     720    42889   140074 |    57978    54741     69 |  0.026 % |
692.15/692.50	c |   1210717 |     720    42889   140074 |    55299    46774     64 |  0.026 % |
692.85/693.25	c |   1212117 |     720    42889   140074 |    55299    48174     63 |  0.000 % |
693.66/694.01	c |   1213657 |     720    42889   140074 |    55299    49714     62 |  0.026 % |
694.45/694.89	c |   1215353 |     720    42889   140074 |    55299    51410     62 |  0.026 % |
695.35/695.75	c |   1217217 |     720    42889   140074 |    55299    53274     61 |  0.028 % |
696.45/696.83	c |   1219266 |     720    42889   140074 |    55299    55323     61 |  0.026 % |
697.55/697.94	c |   1221519 |     720    42889   140074 |    48382    43417     55 |  0.000 % |
698.75/699.15	c |   1223999 |     720    42889   140074 |    48382    45897     58 |  0.000 % |
700.05/700.50	c |   1226724 |     720    42889   140074 |    48382    48622     61 |  0.000 % |
701.65/702.05	c |   1229723 |     720    42889   140074 |    48382    45995     62 |  0.000 % |
703.25/703.70	c |   1233021 |     720    42889   140074 |    46273    43826     63 |  0.023 % |
705.35/705.78	c |   1236648 |     720    42889   140074 |    46273    41063     66 |  0.000 % |
707.55/707.99	c |   1240637 |     720    42889   140074 |    44417    39312     66 |  0.000 % |
709.55/709.91	c |   1245022 |     720    42889   140074 |    44417    43697     65 |  0.022 % |
712.95/713.39	c |   1249845 |     720    42889   140074 |    44417    44042     70 |  0.000 % |
716.35/716.79	c |   1255150 |     720    42889   140074 |    44199    43585     73 |  0.000 % |
719.65/720.09	c |   1260988 |     720    42889   140074 |    41729    37612     68 |  0.000 % |
722.84/723.29	c |   1267409 |     720    42889   140074 |    41729    39330     63 |  0.000 % |
727.24/727.61	c |   1274468 |     720    42889   140074 |    41921    41223     56 |  0.000 % |
732.54/732.95	c |   1282232 |     720    42889   140074 |    41012    37068     48 |  0.025 % |
739.04/739.43	c |   1290773 |     720    42889   140074 |    37562    31503     39 |  0.025 % |
744.44/744.89	c |   1300167 |     720    42889   140074 |    34595    34762     38 |  0.025 % |
748.93/749.37	c |   1310500 |     720    42889   140074 | 2147483647    33454     36 |  0.020 % |
752.73/753.14	c |   1321867 |     720    42889   140074 | 2147483647    44821     54 |  0.000 % |
752.73/753.19	c |   1321968 |     720    42889   140074 | 2147483647    44922     54 |  0.000 % |
752.83/753.22	c |   1322079 |     720    42889   140074 | 2147483647    45033     54 |  0.000 % |
752.83/753.27	c |   1322201 |     720    42889   140074 | 2147483647    45155     54 |  0.000 % |
752.93/753.33	c |   1322334 |     720    42889   140074 | 2147483647    45288     54 |  0.000 % |
752.93/753.39	c |   1322482 |     720    42889   140074 | 2147483647    45436     54 |  0.000 % |
753.04/753.45	c |   1322642 |     720    42889   140074 | 2147483647    45596     54 |  0.000 % |
753.14/753.53	c |   1322820 |     720    42889   140074 | 2147483647    45774     54 |  0.000 % |
753.23/753.66	c |   1323014 |     720    42889   140074 | 2147483647    45968     54 |  0.022 % |
753.33/753.77	c |   1323227 |     720    42889   140074 | 2147483647    46181     55 |  0.000 % |
753.53/753.90	c |   1323460 |     720    42889   140074 | 2147483647    46414     55 |  0.000 % |
753.53/753.98	c |   1323716 |     720    42889   140074 | 2147483647    46670     55 |  0.000 % |
753.63/754.07	c |   1324000 |     720    42889   140074 | 2147483647    46954     55 |  0.000 % |
753.73/754.18	c |   1324312 |     720    42889   140074 | 2147483647    47266     55 |  0.000 % |
753.93/754.31	c |   1324652 |     720    42889   140074 | 2147483647    47606     56 |  0.000 % |
754.03/754.42	c |   1325025 |     720    42889   140074 | 2147483647    47979     56 |  0.000 % |
754.13/754.60	c |   1325435 |     720    42889   140074 | 2147483647    48389     56 |  0.000 % |
754.43/754.82	c |   1325885 |     720    42889   140074 | 2147483647    48839     56 |  0.000 % |
754.64/755.01	c |   1326378 |     720    42889   140074 | 2147483647    49332     56 |  0.026 % |
754.84/755.26	c |   1326921 |     720    42889   140074 | 2147483647    49875     56 |  0.026 % |
755.14/755.50	c |   1327519 |     720    42889   140074 | 2147483647    50473     56 |  0.020 % |
755.44/755.86	c |   1328174 |     720    42889   140074 | 2147483647    51128     57 |  0.000 % |
755.74/756.14	c |   1328895 |     720    42889   140074 | 2147483647    51849     57 |  0.000 % |
756.04/756.41	c |   1329687 |     720    42889   140074 | 2147483647    52641     57 |  0.026 % |
756.24/756.65	c |   1330559 |     720    42889   140074 | 2147483647    53513     57 |  0.026 % |
756.74/757.18	c |   1331518 |     720    42889   140074 | 2147483647    54472     58 |  0.000 % |
757.44/757.86	c |   1332572 |     720    42889   140074 | 2147483647    55526     58 |  0.000 % |
758.14/758.53	c |   1333730 |     720    42889   140074 | 2147483647    56684     59 |  0.000 % |
758.64/759.07	c |   1335003 |     720    42889   140074 | 2147483647    57957     59 |  0.000 % |
759.54/759.93	c |   1336405 |     720    42889   140074 | 2147483647    59359     60 |  0.000 % |
760.23/760.69	c |   1337945 |     720    42889   140074 | 2147483647    60899     60 |  0.018 % |
761.03/761.40	c |   1339639 |     720    42889   140074 | 2147483647    62593     59 |  0.022 % |
761.84/762.25	c |   1341505 |     720    42889   140074 | 2147483647    64459     59 |  0.022 % |
763.13/763.58	c |   1343555 |     720    42889   140074 | 2147483647    66509     61 |  0.000 % |
764.93/765.33	c |   1345809 |     720    42889   140074 | 2147483647    68763     62 |  0.000 % |
766.43/766.88	c |   1348291 |     720    42889   140074 | 2147483647    71245     63 |  0.000 % |
768.33/768.73	c |   1351017 |     720    42889   140074 | 2147483647    73971     63 |  0.000 % |
770.73/771.13	c |   1354014 |     720    42889   140074 | 2147483647    76968     64 |  0.000 % |
773.82/774.21	c |   1357310 |     720    42889   140074 | 2147483647    80264     66 |  0.000 % |
776.72/777.17	c |   1360939 |     720    42889   140074 |    82955    67331     73 |  0.022 % |
780.02/780.46	c |   1364926 |     720    42889   140074 |    82955    71318     72 |  0.022 % |
783.32/783.79	c |   1369313 |     720    42889   140074 |    82955    75705     70 |  0.026 % |
786.92/787.34	c |   1374141 |     720    42889   140074 |    76392    64379     72 |  0.026 % |
791.52/791.91	c |   1379448 |     720    42889   140074 |    76392    69686     70 |  0.026 % |
796.32/796.71	c |   1385283 |     720    42889   140074 |    70238    60454     62 |  0.026 % |
801.62/802.01	c |   1391702 |     720    42889   140074 |    65171    52317     54 |  0.026 % |
806.22/806.65	c |   1398762 |     720    42889   140074 |    65171    59377     53 |  0.026 % |
810.72/811.11	c |   1406528 |     720    42889   140074 |    60616    54697     44 |  0.026 % |
814.82/815.21	c |   1415070 |     720    42889   140074 |    58169    55354     52 |  0.000 % |
820.82/821.23	c |   1424464 |     720    42889   140074 | 2147483647    58907     62 |  0.000 % |
827.32/827.70	c |   1434797 |     720    42889   140074 |    64444    59716     68 |  0.000 % |
835.81/836.21	c |   1446163 |     720    42889   140074 |    52615    48571     82 |  0.000 % |
845.81/846.28	c |   1458665 |     720    42889   140074 |    52410    49569     76 |  0.023 % |
845.91/846.36	c |   1458770 |     720    42889   140074 |    52410    49674     76 |  0.023 % |
846.01/846.45	c |   1458880 |     720    42889   140074 |    52410    49784     76 |  0.000 % |
846.11/846.59	c |   1459001 |     720    42889   140074 |    52410    49905     76 |  0.023 % |
846.31/846.74	c |   1459134 |     720    42889   140074 |    52410    50038     76 |  0.000 % |
846.41/846.89	c |   1459282 |     720    42889   140074 |    52410    50186     76 |  0.000 % |
846.51/846.99	c |   1459443 |     720    42889   140074 |    52410    50347     76 |  0.000 % |
846.61/847.08	c |   1459619 |     720    42889   140074 |    52410    50523     76 |  0.000 % |
846.81/847.22	c |   1459812 |     720    42889   140074 |    52410    50716     76 |  0.000 % |
846.91/847.38	c |   1460025 |     720    42889   140074 |    50904    50929     76 |  0.022 % |
847.11/847.55	c |   1460260 |     720    42889   140074 |    50904    39468     66 |  0.000 % |
847.21/847.68	c |   1460517 |     720    42889   140074 |    50904    39725     66 |  0.000 % |
847.31/847.80	c |   1460798 |     720    42889   140074 |    50904    40006     67 |  0.000 % |
847.51/847.91	c |   1461108 |     720    42889   140074 |    50904    40316     67 |  0.000 % |
847.61/848.03	c |   1461447 |     720    42889   140074 |    50904    40655     67 |  0.000 % |
847.71/848.16	c |   1461820 |     720    42889   140074 |    50904    41028     67 |  0.000 % |
847.91/848.34	c |   1462229 |     720    42889   140074 |    50904    41437     67 |  0.000 % |
848.11/848.53	c |   1462679 |     720    42889   140074 |    50904    41887     67 |  0.000 % |
848.31/848.72	c |   1463173 |     720    42889   140074 |    50904    42381     66 |  0.029 % |
848.51/848.94	c |   1463716 |     720    42889   140074 |    50904    42924     66 |  0.000 % |
848.71/849.18	c |   1464313 |     720    42889   140074 |    50904    43521     66 |  0.000 % |
849.00/849.47	c |   1464968 |     720    42889   140074 |    50904    44176     66 |  0.000 % |
849.30/849.74	c |   1465688 |     720    42889   140074 |    50904    44896     66 |  0.022 % |
849.60/850.08	c |   1466483 |     720    42889   140074 |    50904    45691     66 |  0.022 % |
850.10/850.58	c |   1467354 |     720    42889   140074 |    50904    46562     65 |  0.021 % |
850.70/851.10	c |   1468312 |     720    42889   140074 |    50904    47520     65 |  0.023 % |
851.20/851.66	c |   1469366 |     720    42889   140074 |    50904    48574     65 |  0.023 % |
852.01/852.46	c |   1470525 |     720    42889   140074 |    49209    43942     61 |  0.023 % |
852.50/852.96	c |   1471798 |     720    42889   140074 |    49209    45215     62 |  0.000 % |
853.11/853.57	c |   1473200 |     720    42889   140074 |    49209    46617     63 |  0.000 % |
853.81/854.26	c |   1474742 |     720    42889   140074 |    49209    48159     63 |  0.019 % |
854.70/855.15	c |   1476437 |     720    42889   140074 |    49209    44886     60 |  0.022 % |
855.70/856.16	c |   1478301 |     720    42889   140074 |    49209    46750     60 |  0.000 % |
856.70/857.13	c |   1480351 |     720    42889   140074 | 2147483647    48800     59 |  0.022 % |
857.80/858.23	c |   1482604 |     720    42889   140074 | 2147483647    51053     58 |  0.019 % |
859.10/859.57	c |   1485083 |     720    42889   140074 | 2147483647    53532     57 |  0.025 % |
860.60/861.09	c |   1487809 |     720    42889   140074 | 2147483647    56258     60 |  0.000 % |
862.10/862.56	c |   1490808 |     720    42889   140074 | 2147483647    59257     61 |  0.000 % |
863.80/864.23	c |   1494105 |     720    42889   140074 | 2147483647    62554     60 |  0.022 % |
866.10/866.51	c |   1497730 |     720    42889   140074 | 2147483647    66179     60 |  0.022 % |
868.40/868.86	c |   1501724 |     720    42889   140074 |    68450    59290     55 |  0.024 % |
871.10/871.58	c |   1506110 |     720    42889   140074 |    68450    63676     54 |  0.024 % |
874.50/874.97	c |   1510934 |     720    42889   140074 |    67566    56638     52 |  0.024 % |
878.00/878.44	c |   1516239 |     720    42889   140074 |    67566    61943     52 |  0.024 % |
882.09/882.58	c |   1522074 |     720    42889   140074 |    65704    54632     49 |  0.026 % |
885.79/886.28	c |   1528492 |     720    42889   140074 |    65704    61050     54 |  0.000 % |
890.09/890.57	c |   1535551 |     720    42889   140074 |    62558    57832     57 |  0.000 % |
894.49/894.90	c |   1543315 |     720    42889   140074 |    62281    56766     61 |  0.000 % |
898.89/899.40	c |   1551856 |     720    42889   140074 |    56401    51805     65 |  0.000 % |
904.19/904.69	c |   1561253 |     720    42889   140074 |    53733    48676     74 |  0.022 % |
909.89/910.33	c |   1571586 |     720    42889   140074 |    50406    45519     72 |  0.000 % |
916.78/917.30	c |   1582952 |     720    42889   140074 |    47687    44974     74 |  0.000 % |
924.18/924.62	c |   1595455 |     720    42889   140074 |    45488    44330     70 |  0.000 % |
935.48/935.99	c |   1609207 |     720    42889   140074 |    41087    34103     57 |  0.026 % |
935.58/936.05	c |   1609308 |     720    42889   140074 |    41087    34204     57 |  0.026 % |
935.68/936.15	c |   1609418 |     720    42889   140074 |    41087    34314     57 |  0.000 % |
935.78/936.29	c |   1609540 |     720    42889   140074 |    41087    34436     56 |  0.025 % |
935.88/936.35	c |   1609675 |     720    42889   140074 |    41087    34571     57 |  0.000 % |
935.98/936.43	c |   1609823 |     720    42889   140074 |    41087    34719     57 |  0.000 % |
936.08/936.51	c |   1609983 |     720    42889   140074 |    41087    34879     57 |  0.021 % |
936.08/936.58	c |   1610160 |     720    42889   140074 |    34897    35056     57 |  0.000 % |
936.18/936.68	c |   1610354 |     720    42889   140074 |    34897    28351     52 |  0.022 % |
936.28/936.72	c |   1610567 |     720    42889   140074 |    34897    28564     52 |  0.022 % |
936.28/936.79	c |   1610800 |     720    42889   140074 |    34897    28797     53 |  0.000 % |
936.38/936.86	c |   1611056 |     720    42889   140074 |    34897    29053     53 |  0.000 % |
936.48/936.94	c |   1611337 |     720    42889   140074 |    34897    29334     54 |  0.000 % |
936.58/937.03	c |   1611647 |     720    42889   140074 |    34897    29644     54 |  0.000 % |
936.68/937.12	c |   1611986 |     720    42889   140074 |    34897    29983     55 |  0.000 % |
936.78/937.21	c |   1612360 |     720    42889   140074 |    34897    30357     55 |  0.000 % |
936.88/937.33	c |   1612773 |     720    42889   140074 |    34897    30770     54 |  0.024 % |
936.98/937.45	c |   1613222 |     720    42889   140074 |    34897    31219     54 |  0.024 % |
937.08/937.59	c |   1613717 |     720    42889   140074 |    34897    31714     54 |  0.024 % |
937.28/937.73	c |   1614259 |     720    42889   140074 |    34897    32256     54 |  0.022 % |
937.48/937.94	c |   1614855 |     720    42889   140074 |    34897    32852     54 |  0.000 % |
937.78/938.22	c |   1615510 |     720    42889   140074 |    34897    33507     54 |  0.022 % |
937.97/938.49	c |   1616231 |     720    42889   140074 |    34897    34228     55 |  0.000 % |
938.17/938.67	c |   1617023 |     720    42889   140074 |    34897    35020     56 |  0.000 % |
938.58/939.03	c |   1617898 |     720    42889   140074 |    34897    32393     56 |  0.000 % |
938.78/939.24	c |   1618856 |     720    42889   140074 |    34897    33351     57 |  0.000 % |
939.07/939.50	c |   1619910 |     720    42889   140074 |    34897    34405     57 |  0.020 % |
939.37/939.86	c |   1621069 |     720    42889   140074 | 2147483647    35564     57 |  0.000 % |
939.77/940.28	c |   1622343 |     720    42889   140074 | 2147483647    36838     59 |  0.000 % |
940.17/940.69	c |   1623744 |     720    42889   140074 | 2147483647    38239     60 |  0.000 % |
940.77/941.25	c |   1625284 |     720    42889   140074 | 2147483647    39779     60 |  0.000 % |
941.27/941.79	c |   1626980 |     720    42889   140074 | 2147483647    41475     59 |  0.000 % |
942.07/942.50	c |   1628844 |     720    42889   140074 | 2147483647    43339     59 |  0.000 % |
942.77/943.25	c |   1630893 |     720    42889   140074 | 2147483647    45388     59 |  0.022 % |
943.77/944.23	c |   1633147 |     720    42889   140074 | 2147483647    47642     58 |  0.022 % |
944.97/945.42	c |   1635626 |     720    42889   140074 | 2147483647    50121     58 |  0.022 % |
946.27/946.70	c |   1638353 |     720    42889   140074 | 2147483647    52848     58 |  0.000 % |
947.77/948.26	c |   1641352 |     720    42889   140074 | 2147483647    55847     57 |  0.023 % |
949.47/949.91	c |   1644648 |     720    42889   140074 | 2147483647    59143     56 |  0.022 % |
951.67/952.10	c |   1648273 |     720    42889   140074 | 2147483647    62768     56 |  0.022 % |
954.07/954.58	c |   1652264 |     720    42889   140074 |    64495    59285     55 |  0.000 % |
957.36/957.87	c |   1656651 |     720    42889   140074 |    64495    63672     54 |  0.022 % |
961.06/961.51	c |   1661474 |     720    42889   140074 |    56152    47750     51 |  0.022 % |
964.36/964.84	c |   1666779 |     720    42889   140074 |    56152    53055     50 |  0.023 % |
968.36/968.82	c |   1672616 |     720    42889   140074 |    56276    48115     44 |  0.027 % |
971.66/972.15	c |   1679034 |     720    42889   140074 |    56276    54533     44 |  0.022 % |
974.86/975.30	c |   1686095 |     720    42889   140074 |    55499    53072     52 |  0.000 % |
978.76/979.28	c |   1693860 |     720    42889   140074 | 2147483647    55243     57 |  0.000 % |
983.26/983.72	c |   1702401 |     720    42889   140074 |    61384    56366     57 |  0.000 % |
989.06/989.57	c |   1711795 |     720    42889   140074 |    54468    47101     64 |  0.023 % |
996.06/996.60	c |   1722130 |     720    42889   140074 |    45780    39706     57 |  0.000 % |
1002.36/1002.80	c |   1733496 |     720    42889   140074 |    40305    37585     47 |  0.023 % |
1008.06/1008.55	c |   1745998 |     720    42889   140074 |    38982    36321     41 |  0.026 % |
1016.15/1016.61	c |   1759750 |     720    42889   140074 |    35353    35353     40 |  0.023 % |
1024.15/1024.68	c |   1774877 |     720    42889   140074 |    30888    31122     40 |  0.026 % |
1024.25/1024.77	c |   1774977 |     720    42889   140074 |    30888    28110     40 |  0.000 % |
1024.35/1024.82	c |   1775088 |     720    42889   140074 |    30888    28221     40 |  0.000 % |
1024.35/1024.84	c |   1775209 |     720    42889   140074 |    30888    28342     40 |  0.000 % |
1024.35/1024.87	c |   1775342 |     720    42889   140074 |    30888    28475     40 |  0.000 % |
1024.35/1024.89	c |   1775489 |     720    42889   140074 |    30888    28622     41 |  0.000 % |
1024.45/1024.93	c |   1775649 |     720    42889   140074 |    30888    28782     41 |  0.000 % |
1024.45/1024.95	c |   1775825 |     720    42889   140074 |    30888    28958     41 |  0.000 % |
1024.45/1024.98	c |   1776019 |     720    42889   140074 |    30888    29152     41 |  0.000 % |
1024.55/1025.02	c |   1776232 |     720    42889   140074 |    30888    29365     41 |  0.000 % |
1024.55/1025.05	c |   1776465 |     720    42889   140074 |    30888    29598     41 |  0.025 % |
1024.55/1025.10	c |   1776722 |     720    42889   140074 |    30888    29855     41 |  0.000 % |
1024.66/1025.17	c |   1777006 |     720    42889   140074 |    30888    30139     42 |  0.020 % |
1024.76/1025.23	c |   1777316 |     720    42889   140074 |    30888    30449     42 |  0.000 % |
1024.85/1025.31	c |   1777656 |     720    42889   140074 |    30888    30789     42 |  0.000 % |
1024.85/1025.37	c |   1778028 |     720    42889   140074 |    30888    31161     42 |  0.000 % |
1025.05/1025.55	c |   1778437 |     720    42889   140074 |    30888    28454     43 |  0.000 % |
1025.15/1025.68	c |   1778890 |     720    42889   140074 |    30888    28907     43 |  0.000 % |
1025.25/1025.80	c |   1779383 |     720    42889   140074 |    30888    29400     44 |  0.026 % |
1025.45/1025.94	c |   1779926 |     720    42889   140074 |    30888    29943     44 |  0.022 % |
1025.55/1026.08	c |   1780523 |     720    42889   140074 | 2147483647    30540     44 |  0.020 % |
1025.75/1026.27	c |   1781179 |     720    42889   140074 | 2147483647    31196     45 |  0.000 % |
1025.95/1026.46	c |   1781899 |     720    42889   140074 | 2147483647    31916     47 |  0.000 % |
1026.15/1026.66	c |   1782691 |     720    42889   140074 | 2147483647    32708     47 |  0.000 % |
1026.35/1026.87	c |   1783563 |     720    42889   140074 | 2147483647    33580     48 |  0.024 % |
1026.65/1027.15	c |   1784521 |     720    42889   140074 | 2147483647    34538     49 |  0.000 % |
1026.95/1027.45	c |   1785574 |     720    42889   140074 | 2147483647    35591     51 |  0.000 % |
1027.35/1027.82	c |   1786733 |     720    42889   140074 | 2147483647    36750     53 |  0.000 % |
1027.75/1028.27	c |   1788006 |     720    42889   140074 | 2147483647    38023     54 |  0.000 % |
1028.25/1028.79	c |   1789407 |     720    42889   140074 | 2147483647    39424     55 |  0.000 % |
1028.85/1029.30	c |   1790947 |     720    42889   140074 | 2147483647    40964     55 |  0.000 % |
1029.45/1029.96	c |   1792641 |     720    42889   140074 | 2147483647    42658     56 |  0.000 % |
1030.25/1030.75	c |   1794507 |     720    42889   140074 | 2147483647    44524     56 |  0.000 % |
1031.15/1031.61	c |   1796556 |     720    42889   140074 | 2147483647    46573     58 |  0.000 % |
1032.25/1032.70	c |   1798809 |     720    42889   140074 | 2147483647    48826     60 |  0.000 % |
1033.45/1033.91	c |   1801287 |     720    42889   140074 | 2147483647    51304     60 |  0.000 % |
1034.84/1035.36	c |   1804012 |     720    42889   140074 | 2147483647    54029     61 |  0.000 % |
1036.85/1037.32	c |   1807009 |     720    42889   140074 | 2147483647    57026     62 |  0.000 % |
1038.94/1039.45	c |   1810306 |     720    42889   140074 | 2147483647    60323     64 |  0.000 % |
1041.34/1041.82	c |   1813935 |     720    42889   140074 | 2147483647    63952     65 |  0.000 % |
1043.84/1044.37	c |   1817923 |     720    42889   140074 | 2147483647    67940     65 |  0.000 % |
1047.24/1047.71	c |   1822308 |     720    42889   140074 |    70017    61313     69 |  0.000 % |
1051.33/1051.89	c |   1827131 |     720    42889   140074 |    70017    66136     69 |  0.000 % |
1056.33/1056.85	c |   1832436 |     720    42889   140074 |    69008    55584     73 |  0.020 % |
1062.14/1062.68	c |   1838271 |     720    42889   140074 |    69008    61419     71 |  0.000 % |
1068.03/1068.54	c |   1844689 |     720    42889   140074 |    63149    50126     64 |  0.000 % |
1072.13/1072.61	c |   1851751 |     720    42889   140074 |    55437    45764     59 |  0.000 % |
1075.93/1076.45	c |   1859516 |     720    42889   140074 |    55437    53529     58 |  0.029 % |
1080.83/1081.37	c |   1868056 |     720    42889   140074 |    54014    49327     63 |  0.000 % |
1086.82/1087.34	c |   1877450 |     720    42889   140074 |    51274    47264     70 |  0.000 % |
1093.42/1093.99	c |   1887786 |     720    42889   140074 |    49814    44291     78 |  0.000 % |
1101.32/1101.84	c |   1899155 |     720    42889   140074 |    46507    40355     80 |  0.000 % |
1107.62/1108.15	c |   1911658 |     720    42889   140074 |    39690    36887     70 |  0.000 % |
1113.72/1114.25	c |   1925411 |     720    42889   140074 | 2147483647    42463     62 |  0.000 % |
1122.11/1122.61	c |   1940538 |     720    42889   140074 |    57054    50924     62 |  0.000 % |
1131.21/1131.77	c |   1957178 |     720    42889   140074 |    54435    49691     65 |  0.000 % |
1131.31/1131.82	c |   1957278 |     720    42889   140074 |    54435    49791     65 |  0.000 % |
1131.31/1131.87	c |   1957390 |     720    42889   140074 |    54435    49903     65 |  0.024 % |
1131.41/1131.97	c |   1957512 |     720    42889   140074 |    54435    50025     65 |  0.000 % |
1131.51/1132.04	c |   1957646 |     720    42889   140074 |    54435    50159     65 |  0.000 % |
1131.61/1132.13	c |   1957792 |     720    42889   140074 |    54435    50305     65 |  0.000 % |
1131.71/1132.20	c |   1957953 |     720    42889   140074 |    54435    50466     65 |  0.000 % |
1131.71/1132.27	c |   1958129 |     720    42889   140074 |    54435    50642     65 |  0.000 % |
1131.81/1132.37	c |   1958325 |     720    42889   140074 |    54435    50838     65 |  0.023 % |
1131.91/1132.48	c |   1958538 |     720    42889   140074 |    54435    51051     65 |  0.026 % |
1132.11/1132.66	c |   1958771 |     720    42889   140074 |    54435    51284     65 |  0.000 % |
1132.31/1132.82	c |   1959029 |     720    42889   140074 |    54435    51542     65 |  0.023 % |
1132.41/1132.97	c |   1959311 |     720    42889   140074 |    54435    51824     65 |  0.000 % |
1132.61/1133.12	c |   1959621 |     720    42889   140074 |    54435    52134     65 |  0.000 % |
1132.71/1133.30	c |   1959962 |     720    42889   140074 |    54435    52475     65 |  0.000 % |
1132.91/1133.44	c |   1960337 |     720    42889   140074 |    52514    52850     65 |  0.000 % |
1133.21/1133.79	c |   1960746 |     720    42889   140074 |    52514    47605     66 |  0.000 % |
1133.61/1134.10	c |   1961195 |     720    42889   140074 |    52514    48054     66 |  0.021 % |
1133.91/1134.47	c |   1961689 |     720    42889   140074 |    52514    48548     66 |  0.022 % |
1134.21/1134.79	c |   1962231 |     720    42889   140074 |    52514    49090     65 |  0.000 % |
1134.61/1135.13	c |   1962827 |     720    42889   140074 |    52514    49686     65 |  0.023 % |
1135.01/1135.52	c |   1963483 |     720    42889   140074 |    52514    50342     65 |  0.000 % |
1135.31/1135.86	c |   1964203 |     720    42889   140074 |    52514    51062     64 |  0.022 % |
1135.81/1136.40	c |   1964995 |     720    42889   140074 |    52514    51854     64 |  0.000 % |
1136.51/1137.02	c |   1965866 |     720    42889   140074 |    52514    52725     64 |  0.000 % |
1137.21/1137.70	c |   1966824 |     720    42889   140074 |    52514    45739     65 |  0.000 % |
1137.71/1138.23	c |   1967878 |     720    42889   140074 |    52514    46793     64 |  0.000 % |
1138.11/1138.69	c |   1969036 |     720    42889   140074 |    52514    47951     64 |  0.000 % |
1138.91/1139.40	c |   1970309 |     720    42889   140074 |    48916    49224     65 |  0.000 % |
1139.61/1140.13	c |   1971711 |     720    42889   140074 |    48916    44070     64 |  0.000 % |
1140.21/1140.78	c |   1973251 |     720    42889   140074 |    48916    45610     64 |  0.000 % |
1141.01/1141.57	c |   1974945 |     720    42889   140074 |    48916    47304     63 |  0.000 % |
1142.01/1142.56	c |   1976808 |     720    42889   140074 |    48916    49167     63 |  0.024 % |
1143.01/1143.50	c |   1978857 |     720    42889   140074 |    48916    46300     61 |  0.024 % |
1144.01/1144.57	c |   1981111 |     720    42889   140074 | 2147483647    48554     60 |  0.027 % |
1145.20/1145.79	c |   1983591 |     720    42889   140074 | 2147483647    51034     59 |  0.023 % |
1146.90/1147.43	c |   1986316 |     720    42889   140074 | 2147483647    53759     61 |  0.000 % |
1148.40/1148.96	c |   1989313 |     720    42889   140074 | 2147483647    56756     60 |  0.025 % |
1150.30/1150.84	c |   1992610 |     720    42889   140074 |    57443    53401     57 |  0.000 % |
1152.31/1152.85	c |   1996235 |     720    42889   140074 |    57443    57026     57 |  0.000 % |
1155.00/1155.59	c |   2000223 |     720    42889   140074 |    53612    53834     53 |  0.025 % |
1157.40/1158.00	c |   2004609 |     720    42889   140074 |    53612    50681     49 |  0.023 % |
1159.70/1160.26	c |   2009432 |     720    42889   140074 |    53612    48041     48 |  0.023 % |
1162.30/1162.83	c |   2014737 |     720    42889   140074 |    48612    47179     45 |  0.024 % |
1164.40/1164.99	c |   2020573 |     720    42889   140074 | 2147483647    48107     45 |  0.026 % |
1167.40/1167.95	c |   2026991 |     720    42889   140074 | 2147483647    54525     52 |  0.000 % |
1170.80/1171.36	c |   2034050 |     720    42889   140074 | 2147483647    61584     55 |  0.000 % |
1175.79/1176.38	c |   2041814 |     720    42889   140074 |    67537    61171     62 |  0.000 % |
1181.79/1182.35	c |   2050354 |     720    42889   140074 |    58437    58790     66 |  0.000 % |
1187.99/1188.55	c |   2059748 |     720    42889   140074 |    58437    58541     69 |  0.000 % |
1196.39/1196.95	c |   2070081 |     720    42889   140074 |    38960    39040     69 |  0.000 % |

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834137-1242828405/watcher-1834137-1242828405 -o /tmp/evaluation-result-1834137-1242828405/solver-1834137-1242828405 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834137-1242828405.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.00 3/64 17802
/proc/meminfo: memFree=1962472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310868556 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 221954932818 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17802/statm: 1339 235 195 169 0 50 0
[pid=17803] ppid=17802 vsize=5356 CPUtime=0
/proc/17803/stat : 17803 (SatELiteGTI) S 17802 17802 17416 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310868556 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17803/statm: 1339 238 198 169 0 50 0
[pid=17805] ppid=17803 vsize=192 CPUtime=0
/proc/17805/stat : 17805 (sed) R 17803 17802 17416 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 310868556 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 221952144777 0 0 4096 0 0 0 0 17 0 0 0
/proc/17805/statm: 48 23 16 11 0 11 0

[startup+0.012795 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17802
/proc/meminfo: memFree=1962472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310868556 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17802/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.1018 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17802
/proc/meminfo: memFree=1962472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310868556 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17802/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301821 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17802
/proc/meminfo: memFree=1962472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+0.701856 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17802
/proc/meminfo: memFree=1962472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1956184/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=7320 CPUtime=1.3
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 1613 0 0 0 129 1 0 0 25 0 1 0 310868575 7495680 1599 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 1830 1599 77 171 0 1657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12676

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1954136/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=9624 CPUtime=2.89
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 2191 0 0 0 288 1 0 0 25 0 1 0 310868575 9854976 2177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 2406 2177 77 171 0 2233 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14980

[startup+6.30235 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1949656/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=13484 CPUtime=6.08
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 3159 0 0 0 606 2 0 0 25 0 1 0 310868575 13807616 3145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 3371 3145 77 171 0 3198 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 18840

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1944344/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=18316 CPUtime=12.48
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 4353 0 0 0 1244 4 0 0 25 0 1 0 310868575 18755584 4339 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 4579 4339 77 171 0 4406 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 23672

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1937624/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=24644 CPUtime=25.26
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 5936 0 0 0 2519 7 0 0 25 0 1 0 310868575 25235456 5922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6161 5922 77 171 0 5988 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 30000

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1937624/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=24644 CPUtime=50.84
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 5936 0 0 0 5077 7 0 0 25 0 1 0 310868575 25235456 5922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6161 5922 77 171 0 5988 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 30000

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1937432/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=24644 CPUtime=102.03
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 5936 0 0 0 10195 8 0 0 25 0 1 0 310868575 25235456 5922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6161 5922 77 171 0 5988 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 30000

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1937304/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=24644 CPUtime=162
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 5936 0 0 0 16191 9 0 0 25 0 1 0 310868575 25235456 5922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6161 5922 77 171 0 5988 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 30000

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1936472/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=25436 CPUtime=221.96
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 6128 0 0 0 22187 9 0 0 25 0 1 0 310868575 26046464 6114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6359 6114 77 171 0 6186 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 30792

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1935448/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=26228 CPUtime=281.95
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 6342 0 0 0 28185 10 0 0 25 0 1 0 310868575 26857472 6328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6557 6328 77 171 0 6384 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 31584

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1934872/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=26756 CPUtime=341.91
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 6473 0 0 0 34181 10 0 0 25 0 1 0 310868575 27398144 6459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 6689 6459 77 171 0 6516 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 32112

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1934744/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=26756 CPUtime=401.9

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

/proc/17808/statm: 7316 7075 77 171 0 7143 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 34620

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1931800/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=29532 CPUtime=581.82
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 7141 0 0 0 58170 12 0 0 25 0 1 0 310868575 30240768 7127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 7383 7127 77 171 0 7210 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 34888

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1931032/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=30060 CPUtime=641.81
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 7302 0 0 0 64168 13 0 0 25 0 1 0 310868575 30781440 7288 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 7515 7288 77 171 0 7342 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 35416

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1930648/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=30456 CPUtime=701.78
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 7379 0 0 0 70165 13 0 0 25 0 1 0 310868575 31186944 7365 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 7614 7365 77 171 0 7441 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 35812

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1930200/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=30724 CPUtime=761.77
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 7459 0 0 0 76163 14 0 0 25 0 1 0 310868575 31461376 7445 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 7681 7445 77 171 0 7508 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 36080

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925848/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=821.75
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8530 0 0 0 82160 15 0 0 25 0 1 0 310868575 35840000 8516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8516 77 171 0 8577 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 40356

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925720/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=881.72
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8530 0 0 0 88157 15 0 0 25 0 1 0 310868575 35840000 8516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8516 77 171 0 8577 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 40356

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925656/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=941.7
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 94155 15 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 40356

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925528/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=1001.69
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 100153 16 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134537883 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 40356

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925464/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=1061.66
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 106150 16 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 40356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925336/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=1121.64
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 112148 16 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 40356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925272/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=1181.62
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 118146 16 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 40356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17808
/proc/meminfo: memFree=1925208/2055920 swapFree=4180444/4192956
[pid=17802] ppid=17800 vsize=5356 CPUtime=0.17
/proc/17802/stat : 17802 (SatELiteGTI) S 17800 17802 17416 0 -1 4194304 336 1295 0 0 0 0 17 0 16 0 1 0 310868556 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17802/statm: 1339 239 197 169 0 50 0
[pid=17808] ppid=17802 vsize=35000 CPUtime=1199.92
/proc/17808/stat : 17808 (minisat_static) R 17802 17802 17416 0 -1 4194304 8531 0 0 0 119976 16 0 0 25 0 1 0 310868575 35840000 8517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/17808/statm: 8750 8517 77 171 0 8577 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 40356

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.93
CPU system time (s): 0.16
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 40356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.177972
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6

runsolver used 1.49277 second user time and 3.03654 second system time

The end

Launcher Data

Begin job on node43 at 2009-05-20 16:06:45
IDJOB=1834137
IDBENCH=71569
IDSOLVER=671
FILE ID=node43/1834137-1242828405
PBS_JOBID= 9322541
Free space on /tmp= 66132 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834137-1242828405/watcher-1834137-1242828405 -o /tmp/evaluation-result-1834137-1242828405/solver-1834137-1242828405 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834137-1242828405.cnf

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

MD5SUM BENCH= 424de5d4f0392bf458f49384a643429b
RANDOM SEED=2108582661

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.237
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:       1962952 kB
Buffers:          4916 kB
Cached:          52196 kB
SwapCached:       5992 kB
Active:          40116 kB
Inactive:        25140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1962952 kB
SwapTotal:     4192956 kB
SwapFree:      4180444 kB
Dirty:            2084 kB
Writeback:           0 kB
Mapped:          13940 kB
Slab:            13752 kB
Committed_AS:  1143192 kB
PageTables:       1448 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= 66132 MiB
End job on node43 at 2009-05-20 16:26:48