Trace number 1834133

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.01 1200.71

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
MD5SUM0b0881d9187e7912564ae88556ada128
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.6625
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   61409   123673 |   18422       0        0     nan |  0.000 % |
0.18/0.22	c |         0 |   60464   199184 |      --       0       --      -- |     --   | -945/75511
0.18/0.22	c ==============================================================================
0.18/0.22	c Result  :   #vars: 900   #clauses: 60464   #literals: 199184
0.18/0.22	c CPU time:   0.207968 s
0.18/0.22	c ==============================================================================
0.18/0.27	c This is MiniSat 2.0 beta
0.18/0.27	c WARNING: for repeatability, setting FPU to use double precision
0.18/0.27	c ============================[ Problem Statistics ]=============================
0.18/0.27	c |                                                                             |
0.18/0.27	c |  Number of variables:  900                                                  |
0.18/0.27	c |  Number of clauses:    60464                                                |
0.26/0.30	c |  Parsing time:         0.03         s                                       |
0.26/0.31	c ============================[ Search Statistics ]==============================
0.26/0.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.26/0.31	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.26/0.31	c ===============================================================================
0.26/0.31	c |         0 |     900    60464   199184 |    20154        0    nan |  0.000 % |
0.26/0.32	c |       100 |     900    60464   199184 |    20154      100    106 |  0.000 % |
0.26/0.33	c |       200 |     900    60464   199184 |    20154      200     92 |  0.000 % |
0.26/0.34	c |       300 |     900    60464   199184 |    20154      300     87 |  0.016 % |
0.26/0.35	c |       412 |     900    60464   199184 |    20154      412     80 |  0.016 % |
0.26/0.35	c |       512 |     900    60464   199184 |    20154      512     74 |  0.016 % |
0.26/0.37	c |       622 |     900    60464   199184 |    20154      622     80 |  0.000 % |
0.26/0.38	c |       743 |     900    60464   199184 |    20154      743     84 |  0.000 % |
0.26/0.39	c |       844 |     900    60464   199184 |    20154      844     84 |  0.000 % |
0.26/0.40	c |       954 |     900    60464   199184 |    20154      954     83 |  0.000 % |
0.26/0.41	c |      1076 |     900    60464   199184 |    20154     1076     81 |  0.017 % |
0.26/0.42	c |      1209 |     900    60464   199184 |    20154     1209     84 |  0.000 % |
0.26/0.43	c |      1309 |     900    60464   199184 |    20154     1309     84 |  0.000 % |
0.26/0.44	c |      1419 |     900    60464   199184 |    20154     1419     83 |  0.016 % |
0.26/0.45	c |      1541 |     900    60464   199184 |    20154     1541     81 |  0.020 % |
0.26/0.47	c |      1675 |     900    60464   199184 |    20154     1675     86 |  0.000 % |
0.26/0.48	c |      1821 |     900    60464   199184 |    20154     1821     86 |  0.000 % |
0.26/0.49	c |      1923 |     900    60464   199184 |    20154     1923     85 |  0.000 % |
0.26/0.50	c |      2033 |     900    60464   199184 |    20154     2033     85 |  0.016 % |
0.26/0.52	c |      2155 |     900    60464   199184 |    20154     2155     88 |  0.000 % |
0.26/0.53	c |      2288 |     900    60464   199184 |    20154     2288     90 |  0.000 % |
0.26/0.55	c |      2434 |     900    60464   199184 |    20154     2434     89 |  0.000 % |
0.26/0.57	c |      2594 |     900    60464   199184 |    20154     2594     88 |  0.000 % |
0.26/0.58	c |      2698 |     900    60464   199184 |    20154     2698     88 |  0.000 % |
0.26/0.59	c |      2808 |     900    60464   199184 |    20154     2808     88 |  0.018 % |
0.26/0.60	c |      2929 |     900    60464   199184 |    20154     2929     87 |  0.013 % |
0.26/0.62	c |      3062 |     900    60464   199184 |    20154     3062     86 |  0.016 % |
0.26/0.63	c |      3208 |     900    60464   199184 |    20154     3208     86 |  0.000 % |
0.26/0.65	c |      3369 |     900    60464   199184 |    20154     3369     86 |  0.018 % |
0.26/0.67	c |      3548 |     900    60464   199184 |    20154     3548     85 |  0.000 % |
0.26/0.69	c |      3648 |     900    60464   199184 |    20154     3648     86 |  0.000 % |
0.26/0.70	c |      3758 |     900    60464   199184 |    20154     3758     85 |  0.000 % |
0.26/0.71	c |      3881 |     900    60464   199184 |    20154     3881     84 |  0.019 % |
0.26/0.72	c |      4014 |     900    60464   199184 |    20154     4014     83 |  0.019 % |
0.26/0.74	c |      4160 |     900    60464   199184 |    20154     4160     83 |  0.000 % |
0.26/0.76	c |      4321 |     900    60464   199184 |    20154     4321     83 |  0.000 % |
0.26/0.78	c |      4497 |     900    60464   199184 |    20154     4497     82 |  0.016 % |
0.26/0.80	c |      4691 |     900    60464   199184 |    20154     4691     81 |  0.000 % |
0.26/0.82	c |      4791 |     900    60464   199184 |    20154     4791     82 |  0.016 % |
0.26/0.83	c |      4901 |     900    60464   199184 |    20154     4901     81 |  0.000 % |
0.26/0.84	c |      5022 |     900    60464   199184 |    20154     5022     81 |  0.000 % |
0.26/0.86	c |      5155 |     900    60464   199184 |    20154     5155     82 |  0.000 % |
0.26/0.88	c |      5303 |     900    60464   199184 |    20154     5303     82 |  0.000 % |
0.26/0.89	c |      5464 |     900    60464   199184 |    20154     5464     82 |  0.015 % |
0.26/0.92	c |      5640 |     900    60464   199184 |    20154     5640     82 |  0.016 % |
0.26/0.94	c |      5835 |     900    60464   199184 |    20154     5835     81 |  0.000 % |
0.26/0.97	c |      6047 |     900    60464   199184 |    20154     6047     81 |  0.017 % |
0.26/0.99	c |      6147 |     900    60464   199184 |    20154     6147     82 |  0.000 % |
0.97/1.00	c |      6257 |     900    60464   199184 |    20154     6257     82 |  0.000 % |
0.97/1.02	c |      6378 |     900    60464   199184 |    20154     6378     81 |  0.016 % |
0.97/1.03	c |      6513 |     900    60464   199184 |    20154     6513     81 |  0.000 % |
0.97/1.05	c |      6659 |     900    60464   199184 |    20154     6659     81 |  0.000 % |
0.97/1.07	c |      6819 |     900    60464   199184 |    20154     6819     81 |  0.000 % |
0.97/1.09	c |      6996 |     900    60464   199184 |    20154     6996     80 |  0.015 % |
1.08/1.12	c |      7189 |     900    60464   199184 |    20154     7189     79 |  0.014 % |
1.08/1.14	c |      7401 |     900    60464   199184 |    20154     7401     78 |  0.015 % |
1.08/1.17	c |      7636 |     900    60464   199184 |    20154     7636     77 |  0.015 % |
1.08/1.18	c |      7737 |     900    60464   199184 |    20154     7737     77 |  0.015 % |
1.08/1.20	c |      7848 |     900    60464   199184 |    20154     7848     77 |  0.000 % |
1.17/1.21	c |      7969 |     900    60464   199184 |    20154     7969     77 |  0.017 % |
1.17/1.23	c |      8105 |     900    60464   199184 |    20154     8105     76 |  0.000 % |
1.17/1.25	c |      8251 |     900    60464   199184 |    20154     8251     76 |  0.000 % |
1.17/1.27	c |      8412 |     900    60464   199184 |    20154     8412     76 |  0.018 % |
1.17/1.30	c |      8588 |     900    60464   199184 |    20154     8588     76 |  0.000 % |
1.27/1.33	c |      8781 |     900    60464   199184 |    20154     8781     76 |  0.000 % |
1.27/1.35	c |      8993 |     900    60464   199184 |    20154     8993     77 |  0.000 % |
1.27/1.39	c |      9226 |     900    60464   199184 |    20154     9226     77 |  0.000 % |
1.37/1.42	c |      9482 |     900    60464   199184 |    20154     9482     76 |  0.017 % |
1.37/1.43	c |      9582 |     900    60464   199184 |    20154     9582     76 |  0.000 % |
1.37/1.45	c |      9694 |     900    60464   199184 |    20154     9694     77 |  0.000 % |
1.37/1.46	c |      9815 |     900    60464   199184 |    20154     9815     77 |  0.000 % |
1.37/1.48	c |      9949 |     900    60464   199184 |    20154     9949     77 |  0.000 % |
1.47/1.51	c |     10095 |     900    60464   199184 | 2147483647    10095     77 |  0.000 % |
1.47/1.53	c |     10255 |     900    60464   199184 | 2147483647    10255     78 |  0.000 % |
1.47/1.56	c |     10433 |     900    60464   199184 | 2147483647    10433     77 |  0.015 % |
1.47/1.59	c |     10627 |     900    60464   199184 | 2147483647    10627     77 |  0.000 % |
1.57/1.62	c |     10839 |     900    60464   199184 | 2147483647    10839     76 |  0.000 % |
1.57/1.66	c |     11076 |     900    60464   199184 | 2147483647    11076     76 |  0.016 % |
1.67/1.70	c |     11333 |     900    60464   199184 | 2147483647    11333     77 |  0.000 % |
1.67/1.75	c |     11614 |     900    60464   199184 | 2147483647    11614     77 |  0.000 % |
1.67/1.76	c |     11714 |     900    60464   199184 | 2147483647    11714     77 |  0.017 % |
1.67/1.78	c |     11827 |     900    60464   199184 | 2147483647    11827     77 |  0.017 % |
1.67/1.79	c |     11949 |     900    60464   199184 | 2147483647    11949     77 |  0.000 % |
1.77/1.81	c |     12083 |     900    60464   199184 | 2147483647    12083     77 |  0.000 % |
1.77/1.84	c |     12232 |     900    60464   199184 | 2147483647    12232     77 |  0.000 % |
1.77/1.87	c |     12392 |     900    60464   199184 | 2147483647    12392     78 |  0.000 % |
1.87/1.90	c |     12569 |     900    60464   199184 | 2147483647    12569     78 |  0.000 % |
1.87/1.93	c |     12763 |     900    60464   199184 | 2147483647    12763     78 |  0.000 % |
1.87/1.97	c |     12976 |     900    60464   199184 | 2147483647    12976     78 |  0.000 % |
1.97/2.01	c |     13214 |     900    60464   199184 | 2147483647    13214     78 |  0.000 % |
1.97/2.04	c |     13471 |     900    60464   199184 | 2147483647    13471     77 |  0.000 % |
1.97/2.09	c |     13753 |     900    60464   199184 | 2147483647    13753     76 |  0.020 % |
2.07/2.14	c |     14063 |     900    60464   199184 | 2147483647    14063     76 |  0.019 % |
2.07/2.16	c |     14163 |     900    60464   199184 | 2147483647    14163     76 |  0.000 % |
2.07/2.18	c |     14274 |     900    60464   199184 | 2147483647    14274     76 |  0.018 % |
2.07/2.20	c |     14395 |     900    60464   199184 | 2147483647    14395     76 |  0.018 % |
2.17/2.22	c |     14529 |     900    60464   199184 | 2147483647    14529     76 |  0.019 % |
2.17/2.25	c |     14675 |     900    60464   199184 | 2147483647    14675     76 |  0.000 % |
2.17/2.27	c |     14835 |     900    60464   199184 | 2147483647    14835     76 |  0.017 % |
2.27/2.30	c |     15012 |     900    60464   199184 | 2147483647    15012     75 |  0.000 % |
2.27/2.34	c |     15205 |     900    60464   199184 | 2147483647    15205     76 |  0.000 % |
2.27/2.38	c |     15417 |     900    60464   199184 | 2147483647    15417     76 |  0.000 % |
2.37/2.42	c |     15650 |     900    60464   199184 | 2147483647    15650     75 |  0.016 % |
2.37/2.46	c |     15906 |     900    60464   199184 | 2147483647    15906     75 |  0.016 % |
2.47/2.50	c |     16188 |     900    60464   199184 | 2147483647    16188     75 |  0.000 % |
2.47/2.55	c |     16497 |     900    60464   199184 | 2147483647    16497     75 |  0.015 % |
2.57/2.60	c |     16836 |     900    60464   199184 | 2147483647    16836     74 |  0.016 % |
2.57/2.62	c |     16937 |     900    60464   199184 | 2147483647    16937     74 |  0.018 % |
2.57/2.64	c |     17048 |     900    60464   199184 | 2147483647    17048     74 |  0.000 % |
2.57/2.67	c |     17174 |     900    60464   199184 | 2147483647    17174     74 |  0.000 % |
2.67/2.70	c |     17309 |     900    60464   199184 | 2147483647    17309     75 |  0.000 % |
2.67/2.73	c |     17457 |     900    60464   199184 | 2147483647    17457     74 |  0.013 % |
2.67/2.77	c |     17618 |     900    60464   199184 | 2147483647    17618     74 |  0.000 % |
2.76/2.80	c |     17794 |     900    60464   199184 | 2147483647    17794     74 |  0.013 % |
2.76/2.83	c |     17988 |     900    60464   199184 | 2147483647    17988     74 |  0.000 % |
2.76/2.87	c |     18202 |     900    60464   199184 | 2147483647    18202     74 |  0.014 % |
2.86/2.91	c |     18435 |     900    60464   199184 | 2147483647    18435     73 |  0.014 % |
2.86/2.96	c |     18691 |     900    60464   199184 | 2147483647    18691     73 |  0.017 % |
2.96/3.01	c |     18972 |     900    60464   199184 | 2147483647    18972     73 |  0.014 % |
2.96/3.07	c |     19281 |     900    60464   199184 | 2147483647    19281     73 |  0.000 % |
3.06/3.13	c |     19621 |     900    60464   199184 | 2147483647    19621     72 |  0.000 % |
3.06/3.20	c |     19993 |     900    60464   199184 | 2147483647    19993     72 |  0.018 % |
3.17/3.22	c |     20093 |     900    60464   199184 | 2147483647    20093     72 |  0.016 % |
3.17/3.25	c |     20203 |     900    60464   199184 | 2147483647    20203     72 |  0.000 % |
3.17/3.28	c |     20325 |     900    60464   199184 | 2147483647    20325     72 |  0.017 % |
3.26/3.30	c |     20460 |     900    60464   199184 | 2147483647    20460     72 |  0.017 % |
3.26/3.33	c |     20607 |     900    60464   199184 | 2147483647    20607     72 |  0.017 % |
3.26/3.37	c |     20767 |     900    60464   199184 | 2147483647    20767     72 |  0.016 % |
3.36/3.40	c |     20943 |     900    60464   199184 | 2147483647    20943     72 |  0.016 % |
3.36/3.44	c |     21137 |     900    60464   199184 | 2147483647    21137     72 |  0.021 % |
3.36/3.48	c |     21350 |     900    60464   199184 | 2147483647    21350     71 |  0.016 % |
3.46/3.52	c |     21583 |     900    60464   199184 | 2147483647    21583     71 |  0.016 % |
3.46/3.59	c |     21840 |     900    60464   199184 | 2147483647    21840     72 |  0.000 % |
3.56/3.65	c |     22121 |     900    60464   199184 | 2147483647    22121     72 |  0.015 % |
3.66/3.71	c |     22431 |     900    60464   199184 | 2147483647    22431     72 |  0.015 % |
3.66/3.79	c |     22770 |     900    60464   199184 | 2147483647    22770     71 |  0.015 % |
3.76/3.88	c |     23142 |     900    60464   199184 | 2147483647    23142     71 |  0.000 % |
3.86/3.97	c |     23552 |     900    60464   199184 | 2147483647    23552     71 |  0.000 % |
3.86/3.99	c |     23652 |     900    60464   199184 | 2147483647    23652     71 |  0.000 % |
3.96/4.02	c |     23766 |     900    60464   199184 | 2147483647    23766     71 |  0.017 % |
3.96/4.05	c |     23889 |     900    60464   199184 | 2147483647    23889     71 |  0.018 % |
3.96/4.07	c |     24023 |     900    60464   199184 | 2147483647    24023     71 |  0.000 % |
4.06/4.10	c |     24172 |     900    60464   199184 | 2147483647    24172     71 |  0.000 % |
4.06/4.14	c |     24332 |     900    60464   199184 | 2147483647    24332     72 |  0.016 % |
4.06/4.18	c |     24509 |     900    60464   199184 | 2147483647    24509     72 |  0.014 % |
4.16/4.23	c |     24702 |     900    60464   199184 | 2147483647    24702     72 |  0.000 % |
4.16/4.28	c |     24914 |     900    60464   199184 | 2147483647    24914     72 |  0.000 % |
4.26/4.33	c |     25148 |     900    60464   199184 | 2147483647    25148     72 |  0.021 % |
4.26/4.37	c |     25405 |     900    60464   199184 | 2147483647    25405     72 |  0.021 % |
4.36/4.43	c |     25689 |     900    60464   199184 | 2147483647    25689     72 |  0.000 % |
4.46/4.50	c |     25998 |     900    60464   199184 | 2147483647    25998     71 |  0.000 % |
4.46/4.56	c |     26337 |     900    60464   199184 | 2147483647    26337     71 |  0.018 % |
4.56/4.64	c |     26709 |     900    60464   199184 | 2147483647    26709     71 |  0.000 % |
4.66/4.73	c |     27119 |     900    60464   199184 | 2147483647    27119     71 |  0.000 % |
4.76/4.84	c |     27568 |     900    60464   199184 | 2147483647    27568     71 |  0.016 % |
4.76/4.86	c |     27668 |     900    60464   199184 | 2147483647    27668     71 |  0.000 % |
4.76/4.88	c |     27779 |     900    60464   199184 | 2147483647    27779     71 |  0.000 % |
4.86/4.92	c |     27901 |     900    60464   199184 | 2147483647    27901     71 |  0.000 % |
4.86/4.95	c |     28034 |     900    60464   199184 | 2147483647    28034     72 |  0.000 % |
4.86/4.98	c |     28181 |     900    60464   199184 | 2147483647    28181     72 |  0.000 % |
4.96/5.01	c |     28341 |     900    60464   199184 | 2147483647    28341     72 |  0.000 % |
4.96/5.05	c |     28517 |     900    60464   199184 | 2147483647    28517     72 |  0.000 % |
5.06/5.11	c |     28710 |     900    60464   199184 | 2147483647    28710     72 |  0.000 % |
5.06/5.17	c |     28925 |     900    60464   199184 | 2147483647    28925     72 |  0.000 % |
5.16/5.23	c |     29158 |     900    60464   199184 | 2147483647    29158     72 |  0.018 % |
5.16/5.29	c |     29414 |     900    60464   199184 | 2147483647    29414     72 |  0.000 % |
5.26/5.36	c |     29697 |     900    60464   199184 | 2147483647    29697     72 |  0.000 % |
5.37/5.44	c |     30008 |     900    60464   199184 | 2147483647    30008     72 |  0.013 % |
5.47/5.56	c |     30347 |     900    60464   199184 | 2147483647    30347     72 |  0.000 % |
5.56/5.65	c |     30719 |     900    60464   199184 | 2147483647    30719     72 |  0.000 % |
5.66/5.78	c |     31128 |     900    60464   199184 | 2147483647    31128     72 |  0.000 % |
5.86/5.90	c |     31579 |     900    60464   199184 | 2147483647    31579     72 |  0.018 % |
5.96/6.02	c |     32073 |     900    60464   199184 | 2147483647    32073     73 |  0.000 % |
5.96/6.06	c |     32174 |     900    60464   199184 | 2147483647    32174     73 |  0.000 % |
6.06/6.10	c |     32284 |     900    60464   199184 | 2147483647    32284     73 |  0.016 % |
6.06/6.13	c |     32405 |     900    60464   199184 | 2147483647    32405     72 |  0.016 % |
6.06/6.18	c |     32539 |     900    60464   199184 | 2147483647    32539     72 |  0.012 % |
6.16/6.22	c |     32686 |     900    60464   199184 | 2147483647    32686     73 |  0.000 % |
6.16/6.26	c |     32846 |     900    60464   199184 | 2147483647    32846     73 |  0.000 % |
6.26/6.30	c |     33022 |     900    60464   199184 | 2147483647    33022     73 |  0.000 % |
6.26/6.35	c |     33216 |     900    60464   199184 | 2147483647    33216     73 |  0.000 % |
6.36/6.41	c |     33428 |     900    60464   199184 | 2147483647    33428     73 |  0.000 % |
6.36/6.46	c |     33663 |     900    60464   199184 | 2147483647    33663     73 |  0.015 % |
6.46/6.54	c |     33920 |     900    60464   199184 | 2147483647    33920     73 |  0.000 % |
6.56/6.61	c |     34202 |     900    60464   199184 | 2147483647    34202     73 |  0.000 % |
6.56/6.69	c |     34511 |     900    60464   199184 | 2147483647    34511     73 |  0.015 % |
6.76/6.80	c |     34850 |     900    60464   199184 | 2147483647    34850     73 |  0.000 % |
6.85/6.90	c |     35222 |     900    60464   199184 | 2147483647    35222     74 |  0.000 % |
6.95/7.02	c |     35631 |     900    60464   199184 | 2147483647    35631     74 |  0.000 % |
7.05/7.14	c |     36081 |     900    60464   199184 | 2147483647    36081     73 |  0.018 % |
7.26/7.30	c |     36574 |     900    60464   199184 | 2147483647    36574     74 |  0.000 % |
7.46/7.50	c |     37118 |     900    60464   199184 | 2147483647    37118     74 |  0.000 % |
7.46/7.53	c |     37218 |     900    60464   199184 | 2147483647    37218     75 |  0.000 % |
7.46/7.57	c |     37330 |     900    60464   199184 | 2147483647    37330     75 |  0.016 % |
7.56/7.62	c |     37452 |     900    60464   199184 | 2147483647    37452     74 |  0.016 % |
7.56/7.65	c |     37586 |     900    60464   199184 | 2147483647    37586     75 |  0.018 % |
7.56/7.70	c |     37733 |     900    60464   199184 | 2147483647    37733     75 |  0.000 % |
7.66/7.75	c |     37894 |     900    60464   199184 | 2147483647    37894     75 |  0.000 % |
7.76/7.80	c |     38072 |     900    60464   199184 | 2147483647    38072     75 |  0.019 % |
7.76/7.87	c |     38265 |     900    60464   199184 | 2147483647    38265     75 |  0.000 % |
7.86/7.92	c |     38477 |     900    60464   199184 | 2147483647    38477     75 |  0.000 % |
7.96/8.00	c |     38710 |     900    60464   199184 | 2147483647    38710     75 |  0.000 % |
7.96/8.08	c |     38966 |     900    60464   199184 | 2147483647    38966     75 |  0.016 % |
8.06/8.16	c |     39247 |     900    60464   199184 | 2147483647    39247     75 |  0.014 % |
8.16/8.26	c |     39556 |     900    60464   199184 | 2147483647    39556     75 |  0.000 % |
8.26/8.38	c |     39895 |     900    60464   199184 | 2147483647    39895     75 |  0.000 % |
8.46/8.51	c |     40267 |     900    60464   199184 | 2147483647    40267     75 |  0.000 % |
8.56/8.66	c |     40677 |     900    60464   199184 | 2147483647    40677     76 |  0.000 % |
8.66/8.79	c |     41126 |     900    60464   199184 | 2147483647    41126     76 |  0.017 % |
8.85/8.93	c |     41622 |     900    60464   199184 | 2147483647    41622     76 |  0.000 % |
9.05/9.12	c |     42164 |     900    60464   199184 | 2147483647    42164     76 |  0.000 % |
9.25/9.33	c |     42760 |     900    60464   199184 | 2147483647    42760     76 |  0.000 % |
9.25/9.37	c |     42860 |     900    60464   199184 | 2147483647    42860     75 |  0.000 % |
9.35/9.41	c |     42972 |     900    60464   199184 | 2147483647    42972     75 |  0.016 % |
9.35/9.45	c |     43093 |     900    60464   199184 | 2147483647    43093     75 |  0.015 % |
9.45/9.52	c |     43227 |     900    60464   199184 | 2147483647    43227     76 |  0.000 % |
9.45/9.57	c |     43373 |     900    60464   199184 | 2147483647    43373     76 |  0.000 % |
9.55/9.63	c |     43534 |     900    60464   199184 | 2147483647    43534     76 |  0.000 % |
9.65/9.70	c |     43710 |     900    60464   199184 | 2147483647    43710     76 |  0.000 % |
9.65/9.77	c |     43903 |     900    60464   199184 | 2147483647    43903     76 |  0.000 % |
9.76/9.85	c |     44117 |     900    60464   199184 | 2147483647    44117     76 |  0.000 % |
9.86/9.94	c |     44350 |     900    60464   199184 | 2147483647    44350     76 |  0.018 % |
9.95/10.02	c |     44606 |     900    60464   199184 | 2147483647    44606     76 |  0.000 % |
10.05/10.12	c |     44890 |     900    60464   199184 | 2147483647    44890     76 |  0.000 % |
10.16/10.24	c |     45200 |     900    60464   199184 | 2147483647    45200     76 |  0.016 % |
10.26/10.38	c |     45540 |     900    60464   199184 | 2147483647    45540     76 |  0.000 % |
10.46/10.55	c |     45914 |     900    60464   199184 | 2147483647    45914     76 |  0.000 % |
10.66/10.72	c |     46323 |     900    60464   199184 | 2147483647    46323     76 |  0.000 % |
10.76/10.89	c |     46774 |     900    60464   199184 | 2147483647    46774     76 |  0.000 % |
10.96/11.07	c |     47267 |     900    60464   199184 | 2147483647    47267     76 |  0.000 % |
11.15/11.26	c |     47810 |     900    60464   199184 | 2147483647    47810     76 |  0.017 % |
11.45/11.51	c |     48406 |     900    60464   199184 | 2147483647    48406     76 |  0.000 % |
11.65/11.75	c |     49063 |     900    60464   199184 | 2147483647    49063     76 |  0.000 % |
11.65/11.80	c |     49164 |     900    60464   199184 | 2147483647    49164     76 |  0.000 % |
11.75/11.85	c |     49274 |     900    60464   199184 | 2147483647    49274     76 |  0.000 % |
11.85/11.90	c |     49399 |     900    60464   199184 | 2147483647    49399     76 |  0.000 % |
11.85/11.96	c |     49533 |     900    60464   199184 | 2147483647    49533     76 |  0.000 % |
11.96/12.05	c |     49679 |     900    60464   199184 | 2147483647    49679     76 |  0.000 % |
12.06/12.11	c |     49844 |     900    60464   199184 | 2147483647    49844     76 |  0.000 % |
12.06/12.18	c |     50020 |     900    60464   199184 | 2147483647    50020     76 |  0.015 % |
12.15/12.26	c |     50215 |     900    60464   199184 | 2147483647    50215     76 |  0.000 % |
12.25/12.35	c |     50427 |     900    60464   199184 | 2147483647    50427     76 |  0.000 % |
12.35/12.44	c |     50661 |     900    60464   199184 | 2147483647    50661     76 |  0.000 % |
12.45/12.54	c |     50919 |     900    60464   199184 | 2147483647    50919     76 |  0.016 % |
12.55/12.66	c |     51200 |     900    60464   199184 | 2147483647    51200     76 |  0.013 % |
12.65/12.79	c |     51509 |     900    60464   199184 | 2147483647    51509     76 |  0.000 % |
12.85/12.98	c |     51848 |     900    60464   199184 | 2147483647    51848     76 |  0.000 % |
13.05/13.13	c |     52220 |     900    60464   199184 | 2147483647    52220     76 |  0.014 % |
13.25/13.30	c |     52629 |     900    60464   199184 | 2147483647    52629     76 |  0.000 % |
13.35/13.48	c |     53079 |     900    60464   199184 | 2147483647    53079     76 |  0.000 % |
13.65/13.73	c |     53573 |     900    60464   199184 | 2147483647    53573     76 |  0.000 % |
13.95/14.03	c |     54116 |     900    60464   199184 | 2147483647    54116     77 |  0.000 % |
14.25/14.32	c |     54714 |     900    60464   199184 | 2147483647    54714     77 |  0.000 % |
14.44/14.59	c |     55372 |     900    60464   199184 | 2147483647    55372     77 |  0.000 % |
14.74/14.89	c |     56093 |     900    60464   199184 | 2147483647    56093     78 |  0.000 % |
14.84/14.93	c |     56193 |     900    60464   199184 | 2147483647    56193     78 |  0.000 % |
14.84/15.00	c |     56303 |     900    60464   199184 | 2147483647    56303     78 |  0.000 % |
14.94/15.06	c |     56425 |     900    60464   199184 | 2147483647    56425     78 |  0.017 % |
15.04/15.13	c |     56558 |     900    60464   199184 | 2147483647    56558     78 |  0.015 % |
15.14/15.21	c |     56705 |     900    60464   199184 | 2147483647    56705     78 |  0.000 % |
15.14/15.27	c |     56865 |     900    60464   199184 | 2147483647    56865     78 |  0.000 % |
15.24/15.36	c |     57041 |     900    60464   199184 | 2147483647    57041     78 |  0.000 % |
15.34/15.46	c |     57234 |     900    60464   199184 | 2147483647    57234     78 |  0.000 % |
15.43/15.57	c |     57446 |     900    60464   199184 | 2147483647    57446     78 |  0.000 % |
15.53/15.68	c |     57682 |     900    60464   199184 | 2147483647    57682     78 |  0.000 % |
15.73/15.83	c |     57939 |     900    60464   199184 | 2147483647    57939     78 |  0.016 % |
15.83/15.95	c |     58220 |     900    60464   199184 | 2147483647    58220     78 |  0.000 % |
15.93/16.08	c |     58530 |     900    60464   199184 | 2147483647    58530     78 |  0.020 % |
16.13/16.28	c |     58869 |     900    60464   199184 | 2147483647    58869     78 |  0.000 % |
16.33/16.43	c |     59241 |     900    60464   199184 | 2147483647    59241     78 |  0.017 % |
16.53/16.60	c |     59650 |     900    60464   199184 | 2147483647    59650     78 |  0.017 % |
16.74/16.80	c |     60099 |     900    60464   199184 | 2147483647    60099     78 |  0.019 % |
16.94/17.05	c |     60592 |     900    60464   199184 | 2147483647    60592     78 |  0.000 % |
17.24/17.34	c |     61134 |     900    60464   199184 | 2147483647    61134     79 |  0.000 % |
17.54/17.69	c |     61732 |     900    60464   199184 | 2147483647    61732     79 |  0.000 % |
17.83/17.99	c |     62387 |     900    60464   199184 | 2147483647    62387     79 |  0.000 % |
18.23/18.33	c |     63107 |     900    60464   199184 | 2147483647    63107     78 |  0.000 % |
18.64/18.76	c |     63899 |     900    60464   199184 | 2147483647    63899     78 |  0.000 % |
18.73/18.81	c |     63999 |     900    60464   199184 | 2147483647    63999     78 |  0.018 % |
18.73/18.88	c |     64109 |     900    60464   199184 | 2147483647    64109     78 |  0.017 % |
18.83/18.95	c |     64230 |     900    60464   199184 | 2147483647    64230     78 |  0.000 % |
18.93/19.02	c |     64364 |     900    60464   199184 | 2147483647    64364     78 |  0.015 % |
18.93/19.09	c |     64511 |     900    60464   199184 | 2147483647    64511     78 |  0.000 % |
19.03/19.18	c |     64671 |     900    60464   199184 | 2147483647    64671     78 |  0.000 % |
19.13/19.28	c |     64847 |     900    60464   199184 | 2147483647    64847     78 |  0.015 % |
19.23/19.37	c |     65041 |     900    60464   199184 | 2147483647    65041     78 |  0.018 % |
19.43/19.53	c |     65255 |     900    60464   199184 | 2147483647    65255     78 |  0.000 % |
19.53/19.66	c |     65489 |     900    60464   199184 | 2147483647    65489     78 |  0.000 % |
19.73/19.82	c |     65746 |     900    60464   199184 | 2147483647    65746     78 |  0.016 % |
19.83/19.97	c |     66027 |     900    60464   199184 | 2147483647    66027     78 |  0.017 % |
20.03/20.20	c |     66338 |     900    60464   199184 | 2147483647    66338     78 |  0.000 % |
20.23/20.39	c |     66678 |     900    60464   199184 | 2147483647    66678     78 |  0.000 % |
20.52/20.61	c |     67050 |     900    60464   199184 | 2147483647    67050     78 |  0.000 % |
20.83/20.92	c |     67459 |     900    60464   199184 | 2147483647    67459     79 |  0.000 % |
21.02/21.18	c |     67910 |     900    60464   199184 | 2147483647    67910     79 |  0.000 % |
21.32/21.42	c |     68403 |     900    60464   199184 | 2147483647    68403     79 |  0.017 % |
21.62/21.71	c |     68945 |     900    60464   199184 | 2147483647    68945     78 |  0.018 % |
21.93/22.04	c |     69544 |     900    60464   199184 | 2147483647    69544     78 |  0.000 % |
22.43/22.51	c |     70200 |     900    60464   199184 | 2147483647    70200     79 |  0.000 % |
22.83/22.95	c |     70922 |     900    60464   199184 | 2147483647    70922     79 |  0.000 % |
23.23/23.37	c |     71714 |     900    60464   199184 | 2147483647    71714     79 |  0.000 % |
23.83/23.93	c |     72585 |     900    60464   199184 | 2147483647    72585     78 |  0.020 % |
23.83/23.99	c |     72686 |     900    60464   199184 | 2147483647    72686     79 |  0.000 % |
23.93/24.06	c |     72796 |     900    60464   199184 | 2147483647    72796     79 |  0.019 % |
24.03/24.13	c |     72917 |     900    60464   199184 | 2147483647    72917     79 |  0.000 % |
24.13/24.22	c |     73050 |     900    60464   199184 | 2147483647    73050     79 |  0.019 % |
24.23/24.33	c |     73201 |     900    60464   199184 | 2147483647    73201     79 |  0.000 % |
24.33/24.43	c |     73362 |     900    60464   199184 | 2147483647    73362     79 |  0.000 % |
24.43/24.55	c |     73540 |     900    60464   199184 | 2147483647    73540     79 |  0.000 % |
24.53/24.69	c |     73733 |     900    60464   199184 | 2147483647    73733     79 |  0.000 % |
24.73/24.81	c |     73945 |     900    60464   199184 | 2147483647    73945     79 |  0.000 % |
24.83/24.93	c |     74178 |     900    60464   199184 | 2147483647    74178     79 |  0.020 % |
24.93/25.09	c |     74435 |     900    60464   199184 | 2147483647    74435     79 |  0.015 % |
25.13/25.25	c |     74721 |     900    60464   199184 | 2147483647    74721     79 |  0.016 % |
25.23/25.39	c |     75030 |     900    60464   199184 | 2147483647    75030     78 |  0.000 % |
25.53/25.66	c |     75369 |     900    60464   199184 | 2147483647    75369     79 |  0.000 % |
25.83/25.90	c |     75741 |     900    60464   199184 | 2147483647    75741     79 |  0.000 % |
26.03/26.16	c |     76150 |     900    60464   199184 | 2147483647    76150     79 |  0.000 % |
26.33/26.43	c |     76600 |     900    60464   199184 | 2147483647    76600     78 |  0.016 % |
26.72/26.82	c |     77093 |     900    60464   199184 | 2147483647    77093     78 |  0.000 % |
27.12/27.20	c |     77636 |     900    60464   199184 | 2147483647    77636     78 |  0.000 % |
27.52/27.61	c |     78234 |     900    60464   199184 | 2147483647    78234     78 |  0.000 % |
27.92/28.00	c |     78889 |     900    60464   199184 | 2147483647    78889     78 |  0.017 % |
28.32/28.49	c |     79609 |     900    60464   199184 | 2147483647    79609     78 |  0.017 % |
28.92/29.03	c |     80402 |     900    60464   199184 | 2147483647    80402     78 |  0.000 % |
29.42/29.57	c |     81273 |     900    60464   199184 | 2147483647    81273     78 |  0.017 % |
30.12/30.22	c |     82231 |     900    60464   199184 | 2147483647    82231     77 |  0.017 % |
30.12/30.29	c |     82331 |     900    60464   199184 | 2147483647    82331     77 |  0.016 % |
30.22/30.37	c |     82442 |     900    60464   199184 | 2147483647    82442     77 |  0.016 % |
30.32/30.46	c |     82563 |     900    60464   199184 | 2147483647    82563     77 |  0.018 % |
30.42/30.59	c |     82699 |     900    60464   199184 | 2147483647    82699     77 |  0.000 % |
30.52/30.68	c |     82847 |     900    60464   199184 | 2147483647    82847     77 |  0.000 % |
30.62/30.79	c |     83009 |     900    60464   199184 | 2147483647    83009     77 |  0.014 % |
30.82/30.95	c |     83188 |     900    60464   199184 | 2147483647    83188     77 |  0.000 % |
31.02/31.10	c |     83384 |     900    60464   199184 | 2147483647    83384     77 |  0.000 % |
31.12/31.24	c |     83598 |     900    60464   199184 | 2147483647    83598     77 |  0.013 % |
31.22/31.39	c |     83831 |     900    60464   199184 | 2147483647    83831     77 |  0.000 % |
31.42/31.56	c |     84089 |     900    60464   199184 | 2147483647    84089     78 |  0.000 % |
31.73/31.85	c |     84370 |     900    60464   199184 | 2147483647    84370     78 |  0.000 % |
31.92/32.03	c |     84679 |     900    60464   199184 | 2147483647    84679     78 |  0.000 % |
32.12/32.29	c |     85021 |     900    60464   199184 | 2147483647    85021     78 |  0.000 % |
32.52/32.63	c |     85395 |     900    60464   199184 | 2147483647    85395     78 |  0.000 % |
32.83/32.93	c |     85804 |     900    60464   199184 | 2147483647    85804     78 |  0.013 % |
33.12/33.28	c |     86256 |     900    60464   199184 | 2147483647    86256     78 |  0.016 % |
33.52/33.60	c |     86753 |     900    60464   199184 | 2147483647    86753     78 |  0.019 % |
33.82/33.96	c |     87297 |     900    60464   199184 | 2147483647    87297     78 |  0.016 % |
34.21/34.37	c |     87896 |     900    60464   199184 | 2147483647    87896     78 |  0.000 % |
34.61/34.79	c |     88553 |     900    60464   199184 | 2147483647    88553     78 |  0.016 % |
35.31/35.42	c |     89273 |     900    60464   199184 | 2147483647    89273     78 |  0.000 % |
35.81/35.97	c |     90067 |     900    60464   199184 |    90001    90067     78 |  0.000 % |
36.61/36.77	c |     90938 |     900    60464   199184 |    90001    79566     77 |  0.000 % |
37.31/37.44	c |     91897 |     900    60464   199184 |    90001    80525     77 |  0.000 % |
38.11/38.26	c |     92952 |     900    60464   199184 |    90001    81580     77 |  0.013 % |
38.21/38.37	c |     93053 |     900    60464   199184 |    90001    81681     77 |  0.000 % |
38.31/38.47	c |     93165 |     900    60464   199184 |    90001    81793     77 |  0.000 % |
38.41/38.58	c |     93286 |     900    60464   199184 |    90001    81914     77 |  0.017 % |
38.51/38.66	c |     93419 |     900    60464   199184 |    90001    82047     77 |  0.017 % |
38.61/38.76	c |     93567 |     900    60464   199184 |    90001    82195     77 |  0.000 % |
38.81/38.90	c |     93729 |     900    60464   199184 |    90001    82357     77 |  0.000 % |
38.91/39.07	c |     93906 |     900    60464   199184 |    90001    82534     77 |  0.000 % |
39.11/39.21	c |     94101 |     900    60464   199184 |    90001    82729     77 |  0.017 % |
39.21/39.38	c |     94316 |     900    60464   199184 |    90001    82944     77 |  0.017 % |
39.41/39.55	c |     94549 |     900    60464   199184 |    90001    83177     77 |  0.015 % |
39.61/39.77	c |     94806 |     900    60464   199184 |    90001    83434     77 |  0.000 % |
39.80/39.96	c |     95088 |     900    60464   199184 |    90001    83716     77 |  0.000 % |
40.10/40.24	c |     95397 |     900    60464   199184 |    90001    84025     77 |  0.000 % |
40.51/40.61	c |     95737 |     900    60464   199184 |    90001    84365     77 |  0.000 % |
40.80/40.90	c |     96110 |     900    60464   199184 |    90001    84738     77 |  0.000 % |
41.00/41.16	c |     96521 |     900    60464   199184 |    90001    85149     77 |  0.000 % |
41.40/41.57	c |     96970 |     900    60464   199184 |    90001    85598     78 |  0.000 % |
41.80/41.96	c |     97463 |     900    60464   199184 |    90001    86091     78 |  0.000 % |
42.20/42.40	c |     98008 |     900    60464   199184 |    90001    86636     78 |  0.000 % |
42.60/42.78	c |     98605 |     900    60464   199184 |    90001    87233     78 |  0.000 % |
43.20/43.32	c |     99260 |     900    60464   199184 |    90001    87888     78 |  0.000 % |
43.60/43.79	c |     99980 |     900    60464   199184 |    90001    88608     78 |  0.000 % |
44.30/44.47	c |    100775 |     900    60464   199184 |    88629    76127     79 |  0.000 % |
44.91/45.03	c |    101647 |     900    60464   199184 |    88629    76999     78 |  0.016 % |
45.50/45.63	c |    102605 |     900    60464   199184 |    88629    77957     78 |  0.000 % |
46.20/46.32	c |    103660 |     900    60464   199184 |    88629    79012     78 |  0.016 % |
46.90/47.06	c |    104818 |     900    60464   199184 |    88629    80170     77 |  0.019 % |
47.00/47.14	c |    104919 |     900    60464   199184 |    88629    80271     77 |  0.018 % |
47.10/47.22	c |    105032 |     900    60464   199184 |    88629    80384     77 |  0.018 % |
47.20/47.37	c |    105154 |     900    60464   199184 |    88629    80506     77 |  0.000 % |
47.30/47.49	c |    105289 |     900    60464   199184 |    88629    80641     77 |  0.000 % |
47.50/47.61	c |    105435 |     900    60464   199184 |    88629    80787     77 |  0.018 % |
47.60/47.74	c |    105595 |     900    60464   199184 |    88629    80947     77 |  0.019 % |
47.70/47.88	c |    105771 |     900    60464   199184 |    88629    81123     77 |  0.000 % |
47.90/48.03	c |    105965 |     900    60464   199184 |    88629    81317     77 |  0.000 % |
48.10/48.23	c |    106178 |     900    60464   199184 |    88629    81530     77 |  0.000 % |
48.20/48.39	c |    106411 |     900    60464   199184 |    88629    81763     77 |  0.000 % |
48.40/48.57	c |    106669 |     900    60464   199184 |    88629    82021     77 |  0.017 % |
48.60/48.77	c |    106950 |     900    60464   199184 |    88629    82302     77 |  0.000 % |
48.90/49.03	c |    107260 |     900    60464   199184 |    88629    82612     77 |  0.000 % |
49.20/49.31	c |    107600 |     900    60464   199184 |    88629    82952     77 |  0.019 % |
49.50/49.61	c |    107973 |     900    60464   199184 |    88629    83325     77 |  0.000 % |
49.80/49.98	c |    108384 |     900    60464   199184 |    88629    83736     77 |  0.000 % |
50.30/50.42	c |    108835 |     900    60464   199184 |    88629    84187     77 |  0.000 % |
50.70/50.89	c |    109329 |     900    60464   199184 |    88629    84681     77 |  0.000 % |
51.20/51.32	c |    109872 |     900    60464   199184 |    88629    85224     77 |  0.000 % |
51.70/51.82	c |    110468 |     900    60464   199184 |    85352    85820     77 |  0.000 % |
52.20/52.37	c |    111123 |     900    60464   199184 |    85352    73681     74 |  0.019 % |
52.80/52.94	c |    111843 |     900    60464   199184 |    85352    74401     74 |  0.000 % |
53.40/53.50	c |    112638 |     900    60464   199184 |    85352    75196     74 |  0.000 % |
53.90/54.09	c |    113510 |     900    60464   199184 |    85352    76068     74 |  0.000 % |
54.70/54.81	c |    114468 |     900    60464   199184 |    85352    77026     74 |  0.000 % |
55.50/55.62	c |    115524 |     900    60464   199184 |    85352    78082     75 |  0.000 % |
56.30/56.49	c |    116683 |     900    60464   199184 |    85352    79241     75 |  0.000 % |
57.40/57.51	c |    117956 |     900    60464   199184 |    85352    80514     76 |  0.000 % |
57.50/57.60	c |    118056 |     900    60464   199184 |    85352    80614     76 |  0.017 % |
57.60/57.72	c |    118173 |     900    60464   199184 |    85352    80731     76 |  0.000 % |
57.70/57.83	c |    118297 |     900    60464   199184 |    85352    80855     76 |  0.000 % |
57.80/57.93	c |    118431 |     900    60464   199184 |    85352    80989     76 |  0.000 % |
57.90/58.04	c |    118578 |     900    60464   199184 |    85352    81136     76 |  0.000 % |
58.00/58.18	c |    118738 |     900    60464   199184 |    85352    81296     76 |  0.000 % |
58.20/58.33	c |    118916 |     900    60464   199184 |    85352    81474     76 |  0.000 % |
58.30/58.49	c |    119111 |     900    60464   199184 |    85352    81669     76 |  0.000 % |
58.50/58.66	c |    119323 |     900    60464   199184 |    85352    81881     76 |  0.000 % |
58.70/58.81	c |    119558 |     900    60464   199184 |    85352    82116     76 |  0.019 % |
58.90/59.05	c |    119817 |     900    60464   199184 |    85352    82375     76 |  0.000 % |
59.20/59.31	c |    120099 |     900    60464   199184 |    82559    82657     76 |  0.000 % |
59.49/59.63	c |    120408 |     900    60464   199184 |    82559    70525     74 |  0.000 % |
59.69/59.88	c |    120748 |     900    60464   199184 |    82559    70865     74 |  0.000 % |
59.99/60.11	c |    121122 |     900    60464   199184 |    82559    71239     74 |  0.020 % |
60.19/60.38	c |    121531 |     900    60464   199184 |    82559    71648     74 |  0.000 % |
60.59/60.77	c |    121980 |     900    60464   199184 |    82559    72097     74 |  0.000 % |
60.89/61.06	c |    122477 |     900    60464   199184 |    82559    72594     74 |  0.000 % |
61.29/61.46	c |    123019 |     900    60464   199184 |    82559    73136     74 |  0.017 % |
61.79/62.00	c |    123616 |     900    60464   199184 |    82559    73733     75 |  0.000 % |
62.39/62.51	c |    124272 |     900    60464   199184 |    82559    74389     75 |  0.000 % |
62.89/63.05	c |    124992 |     900    60464   199184 |    82559    75109     75 |  0.000 % |
63.49/63.61	c |    125785 |     900    60464   199184 |    82559    75902     75 |  0.000 % |
64.09/64.26	c |    126657 |     900    60464   199184 |    82559    76774     75 |  0.000 % |
64.80/64.97	c |    127620 |     900    60464   199184 |    82559    77737     75 |  0.018 % |
65.49/65.63	c |    128673 |     900    60464   199184 |    82559    78790     74 |  0.018 % |
66.29/66.49	c |    129831 |     900    60464   199184 |    82559    79948     74 |  0.000 % |
67.29/67.45	c |    131104 |     900    60464   199184 |    80117    69124     71 |  0.000 % |
68.29/68.42	c |    132505 |     900    60464   199184 |    80117    70525     71 |  0.000 % |
68.39/68.52	c |    132606 |     900    60464   199184 |    80117    70626     71 |  0.000 % |
68.49/68.61	c |    132716 |     900    60464   199184 |    80117    70736     71 |  0.000 % |
68.59/68.70	c |    132838 |     900    60464   199184 |    80117    70858     71 |  0.000 % |
68.59/68.78	c |    132974 |     900    60464   199184 |    80117    70994     71 |  0.000 % |
68.69/68.87	c |    133120 |     900    60464   199184 |    80117    71140     71 |  0.016 % |
68.79/68.95	c |    133280 |     900    60464   199184 |    80117    71300     71 |  0.018 % |
68.89/69.06	c |    133457 |     900    60464   199184 |    80117    71477     71 |  0.000 % |
68.99/69.20	c |    133651 |     900    60464   199184 |    80117    71671     71 |  0.017 % |
69.19/69.34	c |    133865 |     900    60464   199184 |    80117    71885     71 |  0.017 % |
69.29/69.49	c |    134098 |     900    60464   199184 |    80117    72118     71 |  0.017 % |
69.49/69.68	c |    134356 |     900    60464   199184 |    80117    72376     71 |  0.000 % |
69.79/69.91	c |    134638 |     900    60464   199184 |    80117    72658     71 |  0.000 % |
69.99/70.13	c |    134947 |     900    60464   199184 |    80117    72967     71 |  0.000 % |
70.19/70.38	c |    135286 |     900    60464   199184 |    80117    73306     71 |  0.000 % |
70.49/70.67	c |    135658 |     900    60464   199184 |    80117    73678     71 |  0.000 % |
70.79/70.93	c |    136067 |     900    60464   199184 |    80117    74087     71 |  0.000 % |
71.09/71.29	c |    136518 |     900    60464   199184 |    80117    74538     72 |  0.000 % |
71.59/71.73	c |    137011 |     900    60464   199184 |    80117    75031     72 |  0.000 % |
72.09/72.25	c |    137553 |     900    60464   199184 |    80117    75573     73 |  0.000 % |
72.69/72.80	c |    138149 |     900    60464   199184 |    80117    76169     73 |  0.000 % |
73.19/73.40	c |    138806 |     900    60464   199184 |    80117    76826     73 |  0.000 % |
73.79/73.95	c |    139526 |     900    60464   199184 |    80117    77546     73 |  0.000 % |
74.49/74.69	c |    140318 |     900    60464   199184 |    78020    78338     73 |  0.000 % |
75.19/75.39	c |    141189 |     900    60464   199184 |    78020    67912     74 |  0.000 % |
75.88/76.09	c |    142151 |     900    60464   199184 |    78020    68874     74 |  0.000 % |
76.79/76.90	c |    143204 |     900    60464   199184 |    78020    69927     74 |  0.000 % |
77.68/77.85	c |    144364 |     900    60464   199184 |    78020    71087     74 |  0.019 % |
78.58/78.78	c |    145637 |     900    60464   199184 |    78020    72360     74 |  0.000 % |
79.68/79.89	c |    147038 |     900    60464   199184 |    78020    73761     74 |  0.000 % |
81.18/81.33	c |    148580 |     900    60464   199184 |    78020    75303     75 |  0.000 % |
81.28/81.41	c |    148680 |     900    60464   199184 |    78020    75403     75 |  0.000 % |
81.38/81.51	c |    148791 |     900    60464   199184 |    78020    75514     75 |  0.000 % |
81.48/81.60	c |    148912 |     900    60464   199184 |    78020    75635     75 |  0.000 % |
81.58/81.70	c |    149047 |     900    60464   199184 |    78020    75770     75 |  0.000 % |
81.68/81.85	c |    149193 |     900    60464   199184 |    78020    75916     75 |  0.000 % |
81.78/81.99	c |    149353 |     900    60464   199184 |    78020    76076     75 |  0.000 % |
81.98/82.16	c |    149529 |     900    60464   199184 |    78020    76252     75 |  0.000 % |
82.28/82.42	c |    149722 |     900    60464   199184 |    78020    76445     75 |  0.000 % |
82.48/82.60	c |    149934 |     900    60464   199184 |    78020    76657     75 |  0.000 % |
82.58/82.77	c |    150170 |     900    60464   199184 |    76723    76893     75 |  0.000 % |
82.78/82.99	c |    150426 |     900    60464   199184 |    76723    65214     74 |  0.000 % |
83.08/83.21	c |    150707 |     900    60464   199184 |    76723    65495     74 |  0.000 % |
83.28/83.42	c |    151017 |     900    60464   199184 |    76723    65805     74 |  0.000 % |
83.48/83.68	c |    151358 |     900    60464   199184 |    76723    66146     74 |  0.000 % |
83.88/84.06	c |    151732 |     900    60464   199184 |    76723    66520     74 |  0.000 % |
84.28/84.41	c |    152141 |     900    60464   199184 |    76723    66929     75 |  0.000 % |
84.68/84.80	c |    152590 |     900    60464   199184 |    76723    67378     75 |  0.000 % |
85.08/85.21	c |    153084 |     900    60464   199184 |    76723    67872     75 |  0.000 % |
85.58/85.72	c |    153626 |     900    60464   199184 |    76723    68414     75 |  0.000 % |
86.08/86.21	c |    154223 |     900    60464   199184 |    76723    69011     75 |  0.000 % |
86.58/86.76	c |    154879 |     900    60464   199184 |    76723    69667     75 |  0.015 % |
87.08/87.27	c |    155599 |     900    60464   199184 |    76723    70387     75 |  0.000 % |
87.88/88.04	c |    156391 |     900    60464   199184 |    76723    71179     76 |  0.000 % |
88.58/88.76	c |    157262 |     900    60464   199184 |    76723    72050     76 |  0.000 % |
89.28/89.47	c |    158220 |     900    60464   199184 |    76723    73008     77 |  0.000 % |
90.28/90.42	c |    159274 |     900    60464   199184 |    76723    74062     77 |  0.000 % |
91.18/91.38	c |    160432 |     900    60464   199184 |    74788    75220     77 |  0.016 % |
92.28/92.42	c |    161706 |     900    60464   199184 |    74788    64498     77 |  0.000 % |
93.28/93.40	c |    163106 |     900    60464   199184 |    74788    65898     77 |  0.000 % |
94.38/94.52	c |    164649 |     900    60464   199184 |    74788    67441     77 |  0.000 % |
95.58/95.79	c |    166343 |     900    60464   199184 |    74788    69135     78 |  0.000 % |
95.67/95.87	c |    166443 |     900    60464   199184 |    74788    69235     78 |  0.000 % |
95.77/95.97	c |    166553 |     900    60464   199184 |    74788    69345     78 |  0.000 % |
95.97/96.11	c |    166674 |     900    60464   199184 |    74788    69466     78 |  0.000 % |
96.07/96.26	c |    166807 |     900    60464   199184 |    74788    69599     78 |  0.000 % |
96.17/96.39	c |    166953 |     900    60464   199184 |    74788    69745     78 |  0.000 % |
96.37/96.56	c |    167113 |     900    60464   199184 |    74788    69905     78 |  0.015 % |
96.58/96.70	c |    167289 |     900    60464   199184 |    74788    70081     78 |  0.000 % |
96.68/96.87	c |    167482 |     900    60464   199184 |    74788    70274     78 |  0.000 % |
96.87/97.05	c |    167694 |     900    60464   199184 |    74788    70486     78 |  0.000 % |
97.07/97.24	c |    167928 |     900    60464   199184 |    74788    70720     78 |  0.000 % |
97.27/97.49	c |    168186 |     900    60464   199184 |    74788    70978     78 |  0.000 % |
97.47/97.69	c |    168469 |     900    60464   199184 |    74788    71261     78 |  0.000 % |
97.77/97.99	c |    168778 |     900    60464   199184 |    74788    71570     78 |  0.000 % |
98.07/98.29	c |    169119 |     900    60464   199184 |    74788    71911     78 |  0.000 % |
98.37/98.54	c |    169491 |     900    60464   199184 |    74788    72283     78 |  0.000 % |
98.67/98.88	c |    169901 |     900    60464   199184 |    74788    72693     78 |  0.000 % |
99.07/99.22	c |    170351 |     900    60464   199184 |    72792    73143     78 |  0.000 % |
99.47/99.67	c |    170845 |     900    60464   199184 |    72792    61440     76 |  0.000 % |
99.87/100.07	c |    171387 |     900    60464   199184 |    72792    61982     76 |  0.000 % |
100.27/100.48	c |    171983 |     900    60464   199184 |    72792    62578     76 |  0.000 % |
100.77/100.97	c |    172638 |     900    60464   199184 |    72792    63233     75 |  0.000 % |
101.27/101.47	c |    173359 |     900    60464   199184 |    72792    63954     75 |  0.021 % |
101.87/102.09	c |    174152 |     900    60464   199184 |    72792    64747     75 |  0.000 % |
102.56/102.70	c |    175023 |     900    60464   199184 |    72792    65618     75 |  0.000 % |
103.56/103.74	c |    175982 |     900    60464   199184 |    72792    66577     76 |  0.000 % |
104.37/104.55	c |    177035 |     900    60464   199184 |    72792    67630     76 |  0.000 % |
105.47/105.64	c |    178194 |     900    60464   199184 |    72792    68789     77 |  0.000 % |
106.66/106.86	c |    179467 |     900    60464   199184 |    72792    70062     78 |  0.000 % |
107.96/108.18	c |    180869 |     900    60464   199184 |    70595    59763     79 |  0.000 % |
109.06/109.26	c |    182411 |     900    60464   199184 |    70595    61305     80 |  0.000 % |
110.56/110.74	c |    184105 |     900    60464   199184 |    70595    62999     79 |  0.000 % |
112.26/112.47	c |    185968 |     900    60464   199184 |    70595    64862     79 |  0.018 % |
112.36/112.55	c |    186069 |     900    60464   199184 |    70595    64963     79 |  0.000 % |
112.46/112.69	c |    186181 |     900    60464   199184 |    70595    65075     79 |  0.000 % |
112.56/112.78	c |    186303 |     900    60464   199184 |    70595    65197     79 |  0.000 % |
112.66/112.89	c |    186437 |     900    60464   199184 |    70595    65331     79 |  0.000 % |
112.86/113.03	c |    186583 |     900    60464   199184 |    70595    65477     79 |  0.000 % |
112.96/113.18	c |    186744 |     900    60464   199184 |    70595    65638     79 |  0.000 % |
113.17/113.33	c |    186920 |     900    60464   199184 |    70595    65814     79 |  0.000 % |
113.26/113.47	c |    187114 |     900    60464   199184 |    70595    66008     79 |  0.000 % |
113.46/113.66	c |    187329 |     900    60464   199184 |    70595    66223     79 |  0.000 % |
113.66/113.83	c |    187563 |     900    60464   199184 |    70595    66457     79 |  0.000 % |
113.96/114.12	c |    187820 |     900    60464   199184 |    70595    66714     79 |  0.000 % |
114.16/114.32	c |    188101 |     900    60464   199184 |    70595    66995     79 |  0.000 % |
114.36/114.57	c |    188411 |     900    60464   199184 |    70595    67305     79 |  0.020 % |
114.56/114.77	c |    188751 |     900    60464   199184 |    70595    67645     79 |  0.000 % |
114.96/115.14	c |    189124 |     900    60464   199184 |    70595    68018     79 |  0.000 % |
115.26/115.41	c |    189533 |     900    60464   199184 |    70595    68427     79 |  0.016 % |
115.66/115.83	c |    189982 |     900    60464   199184 |    70595    68876     80 |  0.000 % |
116.06/116.24	c |    190476 |     900    60464   199184 |    68894    69370     80 |  0.000 % |
116.56/116.73	c |    191018 |     900    60464   199184 |    68894    57789     78 |  0.019 % |
117.16/117.34	c |    191614 |     900    60464   199184 |    68894    58385     79 |  0.000 % |
117.66/117.84	c |    192271 |     900    60464   199184 |    68894    59042     79 |  0.000 % |
118.26/118.49	c |    192992 |     900    60464   199184 |    68894    59763     79 |  0.000 % |
118.86/119.09	c |    193786 |     900    60464   199184 |    68894    60557     79 |  0.015 % |
119.66/119.83	c |    194657 |     900    60464   199184 |    68894    61428     79 |  0.016 % |
120.36/120.58	c |    195615 |     900    60464   199184 |    68894    62386     79 |  0.000 % |
121.16/121.36	c |    196668 |     900    60464   199184 |    68894    63439     79 |  0.000 % |
121.96/122.19	c |    197826 |     900    60464   199184 |    68894    64597     79 |  0.000 % |
123.06/123.26	c |    199099 |     900    60464   199184 |    68894    65870     79 |  0.000 % |
124.65/124.84	c |    200500 |     900    60464   199184 |    66771    56091     77 |  0.000 % |
126.15/126.32	c |    202041 |     900    60464   199184 |    66771    57632     79 |  0.000 % |
127.65/127.80	c |    203736 |     900    60464   199184 |    66771    59327     80 |  0.000 % |
129.25/129.41	c |    205600 |     900    60464   199184 |    66771    61191     81 |  0.000 % |
130.85/131.01	c |    207650 |     900    60464   199184 |    66771    63241     82 |  0.000 % |
130.95/131.11	c |    207752 |     900    60464   199184 |    66771    63343     82 |  0.000 % |
131.05/131.20	c |    207865 |     900    60464   199184 |    66771    63456     81 |  0.000 % |
131.15/131.32	c |    207988 |     900    60464   199184 |    66771    63579     81 |  0.000 % |
131.25/131.45	c |    208123 |     900    60464   199184 |    66771    63714     81 |  0.000 % |
131.45/131.60	c |    208269 |     900    60464   199184 |    66771    63860     81 |  0.000 % |
131.55/131.71	c |    208430 |     900    60464   199184 |    66771    64021     81 |  0.000 % |
131.65/131.85	c |    208606 |     900    60464   199184 |    66771    64197     81 |  0.000 % |
131.75/131.99	c |    208799 |     900    60464   199184 |    66771    64390     81 |  0.000 % |
131.95/132.18	c |    209013 |     900    60464   199184 |    66771    64604     81 |  0.000 % |
132.25/132.46	c |    209247 |     900    60464   199184 |    66771    64838     81 |  0.000 % |
132.54/132.71	c |    209505 |     900    60464   199184 |    66771    65096     81 |  0.000 % |
132.85/133.01	c |    209786 |     900    60464   199184 |    66771    65377     82 |  0.000 % |
133.04/133.27	c |    210096 |     900    60464   199184 |    65593    65687     82 |  0.000 % |
133.44/133.62	c |    210435 |     900    60464   199184 |    65593    55647     80 |  0.000 % |
133.74/133.99	c |    210808 |     900    60464   199184 |    65593    56020     80 |  0.000 % |
134.05/134.28	c |    211217 |     900    60464   199184 |    65593    56429     80 |  0.000 % |
134.44/134.63	c |    211666 |     900    60464   199184 |    65593    56878     80 |  0.000 % |
134.84/135.06	c |    212160 |     900    60464   199184 |    65593    57372     80 |  0.000 % |
135.24/135.45	c |    212702 |     900    60464   199184 |    65593    57914     80 |  0.000 % |
135.64/135.89	c |    213298 |     900    60464   199184 |    65593    58510     80 |  0.000 % |
136.15/136.33	c |    213954 |     900    60464   199184 |    65593    59166     80 |  0.000 % |
136.54/136.80	c |    214674 |     900    60464   199184 |    65593    59886     80 |  0.000 % |
137.14/137.39	c |    215467 |     900    60464   199184 |    65593    60679     80 |  0.000 % |
137.74/137.98	c |    216341 |     900    60464   199184 |    65593    61553     79 |  0.000 % |
138.54/138.73	c |    217299 |     900    60464   199184 |    65593    62511     79 |  0.000 % |
139.34/139.59	c |    218352 |     900    60464   199184 |    65593    63564     79 |  0.014 % |
140.44/140.60	c |    219512 |     900    60464   199184 |    65593    64724     79 |  0.014 % |
141.44/141.69	c |    220785 |     900    60464   199184 |    65214    55247     81 |  0.000 % |
142.54/142.76	c |    222186 |     900    60464   199184 |    65214    56648     81 |  0.000 % |
143.54/143.75	c |    223726 |     900    60464   199184 |    65214    58188     81 |  0.000 % |
144.94/145.20	c |    225420 |     900    60464   199184 |    65214    59882     81 |  0.000 % |
146.44/146.64	c |    227284 |     900    60464   199184 |    65214    61746     81 |  0.000 % |
148.03/148.29	c |    229334 |     900    60464   199184 |    65214    63796     80 |  0.000 % |
149.73/149.97	c |    231588 |     900    60464   199184 |    64463    55703     76 |  0.000 % |
149.83/150.09	c |    231688 |     900    60464   199184 |    64463    55803     77 |  0.000 % |
149.93/150.17	c |    231799 |     900    60464   199184 |    64463    55914     77 |  0.000 % |
150.03/150.27	c |    231922 |     900    60464   199184 |    64463    56037     77 |  0.000 % |
150.13/150.37	c |    232055 |     900    60464   199184 |    64463    56170     77 |  0.000 % |
150.33/150.53	c |    232201 |     900    60464   199184 |    64463    56316     77 |  0.000 % |
150.44/150.65	c |    232362 |     900    60464   199184 |    64463    56477     77 |  0.000 % |
150.63/150.80	c |    232538 |     900    60464   199184 |    64463    56653     77 |  0.000 % |
150.73/150.99	c |    232731 |     900    60464   199184 |    64463    56846     77 |  0.000 % |
151.03/151.20	c |    232944 |     900    60464   199184 |    64463    57059     77 |  0.000 % |
151.23/151.40	c |    233180 |     900    60464   199184 |    64463    57295     77 |  0.000 % |
151.33/151.58	c |    233437 |     900    60464   199184 |    64463    57552     77 |  0.000 % |
151.64/151.80	c |    233719 |     900    60464   199184 |    64463    57834     77 |  0.016 % |
151.73/151.99	c |    234028 |     900    60464   199184 |    64463    58143     77 |  0.000 % |
152.03/152.29	c |    234367 |     900    60464   199184 |    64463    58482     78 |  0.000 % |
152.33/152.56	c |    234746 |     900    60464   199184 |    64463    58861     78 |  0.000 % |
152.64/152.85	c |    235159 |     900    60464   199184 |    64463    59274     78 |  0.000 % |
152.93/153.19	c |    235610 |     900    60464   199184 |    64463    59725     78 |  0.015 % |
153.33/153.56	c |    236103 |     900    60464   199184 |    64463    60218     78 |  0.000 % |
153.74/153.94	c |    236645 |     900    60464   199184 |    64463    60760     78 |  0.000 % |
154.13/154.36	c |    237241 |     900    60464   199184 |    64463    61356     78 |  0.000 % |
154.63/154.83	c |    237897 |     900    60464   199184 |    64463    62012     78 |  0.000 % |
155.13/155.32	c |    238621 |     900    60464   199184 |    64463    62736     79 |  0.000 % |
155.73/155.97	c |    239413 |     900    60464   199184 |    64463    63528     79 |  0.018 % |
156.53/156.77	c |    240285 |     900    60464   199184 |    64120    64400     78 |  0.000 % |
157.33/157.59	c |    241243 |     900    60464   199184 |    64120    55861     77 |  0.000 % |
158.13/158.36	c |    242297 |     900    60464   199184 |    64120    56915     77 |  0.000 % |
159.13/159.33	c |    243455 |     900    60464   199184 |    64120    58073     77 |  0.000 % |
160.03/160.27	c |    244729 |     900    60464   199184 |    64120    59347     77 |  0.000 % |
161.13/161.35	c |    246129 |     900    60464   199184 |    64120    60747     77 |  0.000 % |
162.33/162.58	c |    247670 |     900    60464   199184 |    64120    62288     77 |  0.000 % |
163.73/163.94	c |    249365 |     900    60464   199184 |    64120    63983     77 |  0.000 % |
165.33/165.55	c |    251228 |     900    60464   199184 |    64620    55675     71 |  0.000 % |
166.83/167.08	c |    253277 |     900    60464   199184 |    64620    57724     71 |  0.000 % |
168.52/168.78	c |    255530 |     900    60464   199184 |    64620    59977     70 |  0.000 % |
170.72/170.90	c |    258009 |     900    60464   199184 |    64620    62456     73 |  0.000 % |
170.82/171.03	c |    258111 |     900    60464   199184 |    64620    62558     73 |  0.000 % |
170.92/171.12	c |    258221 |     900    60464   199184 |    64620    62668     74 |  0.000 % |
171.02/171.23	c |    258342 |     900    60464   199184 |    64620    62789     74 |  0.000 % |
171.12/171.36	c |    258475 |     900    60464   199184 |    64620    62922     74 |  0.000 % |
171.32/171.52	c |    258621 |     900    60464   199184 |    64620    63068     74 |  0.000 % |
171.42/171.63	c |    258781 |     900    60464   199184 |    64620    63228     74 |  0.000 % |
171.62/171.80	c |    258957 |     900    60464   199184 |    64620    63404     74 |  0.000 % |
171.72/171.94	c |    259151 |     900    60464   199184 |    64620    63598     74 |  0.000 % |
171.92/172.11	c |    259363 |     900    60464   199184 |    64620    63810     74 |  0.000 % |
172.12/172.31	c |    259599 |     900    60464   199184 |    64620    64046     74 |  0.000 % |
172.32/172.55	c |    259856 |     900    60464   199184 |    64620    64303     74 |  0.000 % |
172.52/172.79	c |    260140 |     900    60464   199184 |    64448    64587     74 |  0.000 % |
172.82/173.02	c |    260449 |     900    60464   199184 |    64448    55668     73 |  0.000 % |
173.02/173.27	c |    260788 |     900    60464   199184 |    64448    56007     73 |  0.000 % |
173.32/173.52	c |    261160 |     900    60464   199184 |    64448    56379     73 |  0.014 % |
173.52/173.77	c |    261569 |     900    60464   199184 |    64448    56788     73 |  0.000 % |
173.92/174.18	c |    262019 |     900    60464   199184 |    64448    57238     73 |  0.000 % |
174.41/174.67	c |    262512 |     900    60464   199184 |    64448    57731     74 |  0.000 % |
174.81/175.05	c |    263057 |     900    60464   199184 |    64448    58276     74 |  0.000 % |
175.31/175.57	c |    263653 |     900    60464   199184 |    64448    58872     75 |  0.000 % |
176.01/176.21	c |    264310 |     900    60464   199184 |    64448    59529     75 |  0.000 % |
176.51/176.76	c |    265031 |     900    60464   199184 |    64448    60250     75 |  0.000 % |
177.31/177.53	c |    265824 |     900    60464   199184 |    64448    61043     76 |  0.000 % |
178.11/178.32	c |    266695 |     900    60464   199184 |    64448    61914     77 |  0.000 % |
178.91/179.10	c |    267654 |     900    60464   199184 |    64448    62873     77 |  0.000 % |
179.71/179.90	c |    268708 |     900    60464   199184 |    64448    63927     77 |  0.000 % |
180.61/180.86	c |    269866 |     900    60464   199184 |    64448    56269     76 |  0.000 % |
181.51/181.75	c |    271140 |     900    60464   199184 |    56408    50125     76 |  0.000 % |
182.51/182.72	c |    272540 |     900    60464   199184 |    56408    51525     76 |  0.000 % |
183.61/183.88	c |    274080 |     900    60464   199184 |    56408    53065     77 |  0.000 % |
185.01/185.24	c |    275775 |     900    60464   199184 |    56408    54760     79 |  0.000 % |
186.51/186.72	c |    277640 |     900    60464   199184 |    56408    56625     80 |  0.000 % |
188.21/188.49	c |    279690 |     900    60464   199184 |    56408    51477     78 |  0.000 % |
190.11/190.35	c |    281945 |     900    60464   199184 |    51787    46680     79 |  0.000 % |
191.81/192.08	c |    284423 |     900    60464   199184 |    51787    49158     79 |  0.000 % |
193.91/194.12	c |    287149 |     900    60464   199184 |    51787    51884     78 |  0.000 % |
194.01/194.28	c |    287250 |     900    60464   199184 |    51787    44833     80 |  0.000 % |
194.11/194.37	c |    287360 |     900    60464   199184 |    51787    44943     80 |  0.000 % |
194.31/194.51	c |    287483 |     900    60464   199184 |    51787    45066     80 |  0.000 % |
194.41/194.62	c |    287616 |     900    60464   199184 |    51787    45199     80 |  0.000 % |
194.51/194.70	c |    287762 |     900    60464   199184 |    51787    45345     80 |  0.000 % |
194.61/194.80	c |    287925 |     900    60464   199184 |    51787    45508     80 |  0.000 % |
194.71/194.93	c |    288101 |     900    60464   199184 |    51787    45684     80 |  0.017 % |
194.81/195.07	c |    288294 |     900    60464   199184 |    51787    45877     80 |  0.000 % |
195.01/195.21	c |    288508 |     900    60464   199184 |    51787    46091     80 |  0.000 % |
195.21/195.47	c |    288742 |     900    60464   199184 |    51787    46325     80 |  0.000 % |
195.41/195.69	c |    289000 |     900    60464   199184 |    51787    46583     80 |  0.000 % |
195.72/195.99	c |    289281 |     900    60464   199184 |    51787    46864     80 |  0.000 % |
196.02/196.24	c |    289593 |     900    60464   199184 |    51787    47176     81 |  0.000 % |
196.32/196.53	c |    289933 |     900    60464   199184 |    51787    47516     81 |  0.000 % |
196.72/196.91	c |    290305 |     900    60464   199184 |    47583    47888     81 |  0.000 % |
197.01/197.22	c |    290714 |     900    60464   199184 |    47583    42153     79 |  0.000 % |
197.21/197.49	c |    291164 |     900    60464   199184 |    47583    42603     79 |  0.000 % |
197.62/197.81	c |    291657 |     900    60464   199184 |    47583    43096     79 |  0.000 % |
197.91/198.18	c |    292202 |     900    60464   199184 |    47583    43641     79 |  0.000 % |
198.41/198.61	c |    292798 |     900    60464   199184 |    47583    44237     80 |  0.000 % |
198.92/199.18	c |    293455 |     900    60464   199184 |    47583    44894     80 |  0.000 % |
199.51/199.74	c |    294176 |     900    60464   199184 |    47583    45615     80 |  0.000 % |
200.11/200.31	c |    294968 |     900    60464   199184 |    47583    46407     81 |  0.000 % |
200.81/201.00	c |    295840 |     900    60464   199184 |    47583    47279     81 |  0.000 % |
201.41/201.61	c |    296798 |     900    60464   199184 |    47583    43226     79 |  0.000 % |
202.12/202.34	c |    297853 |     900    60464   199184 |    47583    44281     79 |  0.000 % |
202.91/203.13	c |    299018 |     900    60464   199184 |    47583    45446     79 |  0.000 % |
203.81/204.07	c |    300291 |     900    60464   199184 | 2147483647    46719     80 |  0.000 % |
204.81/205.07	c |    301691 |     900    60464   199184 | 2147483647    48119     81 |  0.000 % |
205.81/206.07	c |    303233 |     900    60464   199184 | 2147483647    49661     81 |  0.000 % |
207.01/207.29	c |    304929 |     900    60464   199184 | 2147483647    51357     82 |  0.000 % |
208.51/208.74	c |    306793 |     900    60464   199184 | 2147483647    53221     82 |  0.000 % |
210.11/210.38	c |    308842 |     900    60464   199184 | 2147483647    55270     83 |  0.000 % |
212.21/212.46	c |    311096 |     900    60464   199184 |    56432    50191     81 |  0.000 % |
214.40/214.69	c |    313574 |     900    60464   199184 |    56432    52669     83 |  0.000 % |
216.90/217.10	c |    316300 |     900    60464   199184 |    56432    55395     85 |  0.000 % |
219.20/219.45	c |    319297 |     900    60464   199184 |    56432    50214     83 |  0.000 % |
219.30/219.54	c |    319397 |     900    60464   199184 |    56432    50314     83 |  0.000 % |
219.40/219.64	c |    319508 |     900    60464   199184 |    56432    50425     83 |  0.000 % |
219.50/219.78	c |    319630 |     900    60464   199184 |    56432    50547     83 |  0.000 % |
219.60/219.87	c |    319764 |     900    60464   199184 |    56432    50681     83 |  0.000 % |
219.70/219.98	c |    319910 |     900    60464   199184 |    56432    50827     83 |  0.000 % |
219.80/220.09	c |    320070 |     900    60464   199184 |    50917    50987     83 |  0.000 % |
220.10/220.30	c |    320246 |     900    60464   199184 |    50917    43718     84 |  0.000 % |
220.20/220.44	c |    320439 |     900    60464   199184 |    50917    43911     84 |  0.000 % |
220.40/220.67	c |    320653 |     900    60464   199184 |    50917    44125     84 |  0.000 % |
220.60/220.86	c |    320888 |     900    60464   199184 |    50917    44360     84 |  0.000 % |
220.80/221.04	c |    321144 |     900    60464   199184 |    50917    44616     84 |  0.000 % |
220.99/221.25	c |    321425 |     900    60464   199184 |    50917    44897     84 |  0.000 % |
221.29/221.52	c |    321734 |     900    60464   199184 |    50917    45206     84 |  0.000 % |
221.59/221.80	c |    322073 |     900    60464   199184 |    50917    45545     84 |  0.000 % |
221.90/222.13	c |    322445 |     900    60464   199184 |    50917    45917     84 |  0.000 % |
222.09/222.39	c |    322861 |     900    60464   199184 |    50917    46333     84 |  0.000 % |
222.49/222.75	c |    323311 |     900    60464   199184 |    50917    46783     84 |  0.000 % |
222.79/223.07	c |    323804 |     900    60464   199184 |    50917    47276     84 |  0.000 % |
223.20/223.44	c |    324346 |     900    60464   199184 |    50917    47818     84 |  0.000 % |
223.59/223.88	c |    324943 |     900    60464   199184 |    50917    48415     84 |  0.000 % |
224.10/224.38	c |    325599 |     900    60464   199184 |    50917    49071     84 |  0.000 % |
224.69/224.92	c |    326321 |     900    60464   199184 |    50917    49793     85 |  0.000 % |
225.30/225.54	c |    327113 |     900    60464   199184 |    50917    50585     85 |  0.000 % |
225.79/226.07	c |    327985 |     900    60464   199184 |    50917    51457     85 |  0.000 % |
226.59/226.81	c |    328944 |     900    60464   199184 |    50917    45739     84 |  0.000 % |
227.19/227.46	c |    329997 |     900    60464   199184 |    50917    46792     84 |  0.000 % |
227.89/228.14	c |    331155 |     900    60464   199184 |    46797    42448     83 |  0.000 % |
228.79/229.03	c |    332428 |     900    60464   199184 |    46797    43721     83 |  0.000 % |
229.69/229.98	c |    333830 |     900    60464   199184 |    46797    45123     83 |  0.000 % |
230.69/230.94	c |    335370 |     900    60464   199184 |    46797    46663     82 |  0.017 % |
231.69/231.97	c |    337064 |     900    60464   199184 |    46797    43622     79 |  0.000 % |
233.09/233.39	c |    338927 |     900    60464   199184 |    46797    45485     82 |  0.000 % |
234.49/234.78	c |    340980 |     900    60464   199184 | 2147483647    47538     82 |  0.000 % |
235.99/236.24	c |    343234 |     900    60464   199184 | 2147483647    49792     82 |  0.000 % |
237.59/237.87	c |    345712 |     900    60464   199184 | 2147483647    52270     81 |  0.000 % |
239.69/239.90	c |    348438 |     900    60464   199184 | 2147483647    54996     81 |  0.000 % |
242.19/242.45	c |    351437 |     900    60464   199184 |    56559    51067     79 |  0.000 % |
244.69/244.99	c |    354733 |     900    60464   199184 |    56559    54363     80 |  0.000 % |
244.78/245.07	c |    354833 |     900    60464   199184 |    56559    54463     80 |  0.000 % |
244.88/245.18	c |    354946 |     900    60464   199184 |    56559    54576     80 |  0.000 % |
244.99/245.28	c |    355067 |     900    60464   199184 |    56559    54697     80 |  0.018 % |
245.09/245.39	c |    355200 |     900    60464   199184 |    56559    54830     80 |  0.000 % |
245.18/245.49	c |    355349 |     900    60464   199184 |    56559    54979     80 |  0.000 % |
245.38/245.62	c |    355509 |     900    60464   199184 |    56559    55139     80 |  0.000 % |
245.48/245.80	c |    355685 |     900    60464   199184 |    56559    55315     80 |  0.000 % |
245.68/245.94	c |    355880 |     900    60464   199184 |    56559    55510     80 |  0.000 % |
245.88/246.13	c |    356095 |     900    60464   199184 |    56559    55725     80 |  0.000 % |
246.09/246.35	c |    356328 |     900    60464   199184 |    56559    55958     80 |  0.000 % |
246.28/246.56	c |    356589 |     900    60464   199184 |    56559    56219     81 |  0.000 % |
246.58/246.84	c |    356871 |     900    60464   199184 |    56559    56501     81 |  0.000 % |
246.78/247.08	c |    357180 |     900    60464   199184 |    56559    56810     81 |  0.000 % |
247.08/247.36	c |    357521 |     900    60464   199184 |    56559    50166     76 |  0.000 % |
247.38/247.65	c |    357894 |     900    60464   199184 |    56559    50539     77 |  0.000 % |
247.68/247.99	c |    358304 |     900    60464   199184 |    56559    50949     77 |  0.000 % |
248.08/248.37	c |    358754 |     900    60464   199184 |    56559    51399     77 |  0.000 % |
248.58/248.85	c |    359247 |     900    60464   199184 |    56559    51892     78 |  0.018 % |
249.08/249.32	c |    359790 |     900    60464   199184 |    56559    52435     78 |  0.000 % |
249.58/249.83	c |    360386 |     900    60464   199184 |    52645    53031     78 |  0.000 % |
250.08/250.32	c |    361041 |     900    60464   199184 |    52645    47586     77 |  0.000 % |
250.58/250.82	c |    361762 |     900    60464   199184 |    52645    48307     77 |  0.000 % |
251.08/251.39	c |    362554 |     900    60464   199184 |    52645    49099     78 |  0.000 % |
251.78/252.04	c |    363425 |     900    60464   199184 |    52645    49970     78 |  0.000 % |
252.58/252.80	c |    364383 |     900    60464   199184 |    52645    50928     79 |  0.000 % |
253.38/253.62	c |    365437 |     900    60464   199184 |    52645    51982     80 |  0.000 % |
254.08/254.38	c |    366595 |     900    60464   199184 |    52645    53140     79 |  0.017 % |
255.18/255.50	c |    367869 |     900    60464   199184 |    52645    49100     79 |  0.000 % |
256.48/256.80	c |    369269 |     900    60464   199184 |    52645    50500     80 |  0.000 % |
257.88/258.14	c |    370811 |     900    60464   199184 | 2147483647    52042     81 |  0.000 % |
259.27/259.50	c |    372506 |     900    60464   199184 | 2147483647    53737     81 |  0.000 % |
260.77/261.00	c |    374370 |     900    60464   199184 | 2147483647    55601     82 |  0.000 % |
262.57/262.89	c |    376419 |     900    60464   199184 | 2147483647    57650     82 |  0.000 % |
264.47/264.78	c |    378673 |     900    60464   199184 | 2147483647    59904     82 |  0.000 % |
266.57/266.88	c |    381152 |     900    60464   199184 |    61232    54050     83 |  0.000 % |
268.77/269.01	c |    383879 |     900    60464   199184 |    61232    56777     83 |  0.000 % |
271.06/271.34	c |    386877 |     900    60464   199184 |    61232    59775     83 |  0.000 % |
273.67/273.98	c |    390174 |     900    60464   199184 |    54444    54615     80 |  0.000 % |
276.36/276.66	c |    393799 |     900    60464   199184 |    54444    50907     81 |  0.000 % |
276.46/276.74	c |    393899 |     900    60464   199184 |    54444    51007     81 |  0.000 % |
276.56/276.83	c |    394009 |     900    60464   199184 |    54444    51117     81 |  0.000 % |
276.66/276.98	c |    394131 |     900    60464   199184 |    54444    51239     81 |  0.000 % |
276.76/277.09	c |    394266 |     900    60464   199184 |    54444    51374     81 |  0.000 % |
276.86/277.19	c |    394413 |     900    60464   199184 |    54444    51521     81 |  0.000 % |
277.06/277.34	c |    394573 |     900    60464   199184 |    54444    51681     81 |  0.000 % |
277.26/277.54	c |    394750 |     900    60464   199184 |    54444    51858     81 |  0.000 % |
277.36/277.69	c |    394944 |     900    60464   199184 |    54444    52052     81 |  0.000 % |
277.56/277.88	c |    395160 |     900    60464   199184 |    54444    52268     81 |  0.000 % |
277.76/278.09	c |    395393 |     900    60464   199184 |    54444    52501     81 |  0.000 % |
277.96/278.26	c |    395650 |     900    60464   199184 |    54444    52758     81 |  0.013 % |
278.16/278.45	c |    395931 |     900    60464   199184 |    54444    53039     81 |  0.000 % |
278.36/278.63	c |    396242 |     900    60464   199184 |    54444    53350     82 |  0.000 % |
278.56/278.86	c |    396582 |     900    60464   199184 |    54444    53690     82 |  0.000 % |
278.96/279.25	c |    396955 |     900    60464   199184 |    54444    54063     82 |  0.000 % |
279.26/279.56	c |    397366 |     900    60464   199184 |    54444    54474     82 |  0.000 % |
279.66/279.95	c |    397816 |     900    60464   199184 |    54444    48229     80 |  0.000 % |
280.06/280.35	c |    398311 |     900    60464   199184 |    54444    48724     80 |  0.000 % |
280.46/280.78	c |    398854 |     900    60464   199184 |    54444    49267     79 |  0.000 % |
280.96/281.22	c |    399451 |     900    60464   199184 |    54444    49864     79 |  0.000 % |
281.36/281.70	c |    400107 |     900    60464   199184 |    50415    50520     79 |  0.000 % |
281.86/282.13	c |    400828 |     900    60464   199184 |    50415    45182     75 |  0.000 % |
282.36/282.64	c |    401621 |     900    60464   199184 |    50415    45975     75 |  0.000 % |
282.96/283.21	c |    402492 |     900    60464   199184 |    50415    46846     75 |  0.000 % |
283.46/283.79	c |    403451 |     900    60464   199184 |    50415    47805     75 |  0.000 % |
284.16/284.44	c |    404504 |     900    60464   199184 |    50415    48858     75 |  0.000 % |
284.96/285.28	c |    405663 |     900    60464   199184 |    50415    50017     76 |  0.000 % |
285.96/286.27	c |    406938 |     900    60464   199184 |    50415    46201     75 |  0.000 % |
286.96/287.27	c |    408338 |     900    60464   199184 |    50415    47601     76 |  0.000 % |
287.96/288.23	c |    409879 |     900    60464   199184 |    50415    49142     77 |  0.000 % |
289.06/289.38	c |    411574 |     900    60464   199184 | 2147483647    50837     78 |  0.000 % |
290.55/290.86	c |    413438 |     900    60464   199184 | 2147483647    52701     80 |  0.000 % |
291.95/292.25	c |    415492 |     900    60464   199184 | 2147483647    54755     81 |  0.000 % |
293.55/293.88	c |    417746 |     900    60464   199184 | 2147483647    57009     81 |  0.000 % |
295.25/295.57	c |    420225 |     900    60464   199184 | 2147483647    59488     81 |  0.000 % |
297.45/297.72	c |    422950 |     900    60464   199184 | 2147483647    62213     81 |  0.000 % |
299.55/299.83	c |    425947 |     900    60464   199184 | 2147483647    65210     80 |  0.017 % |
302.05/302.39	c |    429243 |     900    60464   199184 | 2147483647    68506     80 |  0.000 % |
305.95/306.22	c |    432868 |     900    60464   199184 |    69263    61988     80 |  0.000 % |
309.74/310.09	c |    436855 |     900    60464   199184 |    69263    65975     82 |  0.000 % |
309.85/310.18	c |    436958 |     900    60464   199184 |    69263    66078     82 |  0.000 % |
310.04/310.34	c |    437068 |     900    60464   199184 |    69263    66188     82 |  0.000 % |
310.14/310.47	c |    437189 |     900    60464   199184 |    69263    66309     82 |  0.000 % |
310.24/310.58	c |    437322 |     900    60464   199184 |    69263    66442     82 |  0.000 % |
310.44/310.70	c |    437468 |     900    60464   199184 |    69263    66588     82 |  0.000 % |
310.54/310.84	c |    437631 |     900    60464   199184 |    69263    66751     82 |  0.000 % |
310.64/310.99	c |    437808 |     900    60464   199184 |    69263    66928     82 |  0.000 % |
310.84/311.15	c |    438002 |     900    60464   199184 |    69263    67122     83 |  0.000 % |
311.04/311.35	c |    438221 |     900    60464   199184 |    69263    67341     83 |  0.000 % |
311.24/311.52	c |    438455 |     900    60464   199184 |    69263    67575     83 |  0.000 % |
311.44/311.76	c |    438711 |     900    60464   199184 |    69263    67831     83 |  0.000 % |
311.74/312.01	c |    438992 |     900    60464   199184 |    69263    68112     83 |  0.000 % |
312.04/312.30	c |    439302 |     900    60464   199184 |    69263    68422     83 |  0.000 % |
312.24/312.58	c |    439642 |     900    60464   199184 |    69263    68762     83 |  0.000 % |
312.54/312.87	c |    440015 |     900    60464   199184 |    69122    69135     83 |  0.000 % |
313.14/313.44	c |    440424 |     900    60464   199184 |    69122    58919     84 |  0.000 % |
313.54/313.89	c |    440873 |     900    60464   199184 |    69122    59368     84 |  0.000 % |
314.04/314.33	c |    441366 |     900    60464   199184 |    69122    59861     84 |  0.000 % |
314.44/314.75	c |    441909 |     900    60464   199184 |    69122    60404     84 |  0.000 % |
314.94/315.28	c |    442505 |     900    60464   199184 |    69122    61000     84 |  0.017 % |
315.64/315.99	c |    443162 |     900    60464   199184 |    69122    61657     84 |  0.000 % |
316.24/316.52	c |    443883 |     900    60464   199184 |    69122    62378     84 |  0.000 % |
317.04/317.30	c |    444676 |     900    60464   199184 |    69122    63171     85 |  0.000 % |
317.84/318.16	c |    445550 |     900    60464   199184 |    69122    64045     85 |  0.000 % |
318.94/319.28	c |    446508 |     900    60464   199184 |    69122    65003     85 |  0.000 % |
320.14/320.45	c |    447562 |     900    60464   199184 |    69122    66057     86 |  0.000 % |
321.54/321.83	c |    448720 |     900    60464   199184 |    69122    67215     86 |  0.000 % |
322.93/323.25	c |    449995 |     900    60464   199184 |    69122    68490     87 |  0.000 % |
324.33/324.68	c |    451395 |     900    60464   199184 |    68495    57508     87 |  0.000 % |
325.83/326.13	c |    452936 |     900    60464   199184 |    68495    59049     88 |  0.000 % |
327.44/327.75	c |    454636 |     900    60464   199184 |    68495    60749     87 |  0.000 % |
329.23/329.54	c |    456499 |     900    60464   199184 |    68495    62612     87 |  0.000 % |
331.53/331.81	c |    458551 |     900    60464   199184 |    68495    64664     87 |  0.000 % |
333.63/333.99	c |    460805 |     900    60464   199184 |    66115    53295     83 |  0.000 % |
335.53/335.86	c |    463283 |     900    60464   199184 |    66115    55773     83 |  0.000 % |
337.53/337.88	c |    466011 |     900    60464   199184 |    66115    58501     83 |  0.000 % |
340.43/340.74	c |    469008 |     900    60464   199184 |    66115    61498     85 |  0.000 % |
343.63/343.91	c |    472304 |     900    60464   199184 |    62490    53181     89 |  0.000 % |
347.42/347.75	c |    475930 |     900    60464   199184 |    62490    56807     89 |  0.000 % |
350.82/351.19	c |    479919 |     900    60464   199184 |    62490    60796     88 |  0.000 % |
354.52/354.87	c |    484305 |     900    60464   199184 |    60881    53524     82 |  0.000 % |
354.61/354.96	c |    484408 |     900    60464   199184 |    60881    53627     82 |  0.000 % |
354.71/355.07	c |    484519 |     900    60464   199184 |    60881    53738     82 |  0.000 % |
354.92/355.24	c |    484640 |     900    60464   199184 |    60881    53859     82 |  0.000 % |
355.02/355.37	c |    484774 |     900    60464   199184 |    60881    53993     82 |  0.000 % |
355.11/355.50	c |    484920 |     900    60464   199184 |    60881    54139     82 |  0.000 % |
355.31/355.64	c |    485082 |     900    60464   199184 |    60881    54301     82 |  0.000 % |
355.51/355.81	c |    485259 |     900    60464   199184 |    60881    54478     82 |  0.000 % |
355.61/355.94	c |    485453 |     900    60464   199184 |    60881    54672     82 |  0.000 % |
355.81/356.17	c |    485666 |     900    60464   199184 |    60881    54885     82 |  0.000 % |
356.02/356.34	c |    485899 |     900    60464   199184 |    60881    55118     82 |  0.000 % |
356.21/356.53	c |    486155 |     900    60464   199184 |    60881    55374     82 |  0.000 % |
356.41/356.76	c |    486438 |     900    60464   199184 |    60881    55657     82 |  0.000 % |
356.71/357.08	c |    486747 |     900    60464   199184 |    60881    55966     82 |  0.000 % |
357.12/357.41	c |    487087 |     900    60464   199184 |    60881    56306     82 |  0.000 % |
357.41/357.75	c |    487461 |     900    60464   199184 |    60881    56680     83 |  0.000 % |
357.81/358.13	c |    487870 |     900    60464   199184 |    60881    57089     83 |  0.000 % |
358.22/358.55	c |    488320 |     900    60464   199184 |    60881    57539     83 |  0.000 % |
358.61/358.95	c |    488815 |     900    60464   199184 |    60881    58034     83 |  0.000 % |
359.01/359.36	c |    489358 |     900    60464   199184 |    60881    58577     83 |  0.000 % |
359.51/359.87	c |    489954 |     900    60464   199184 |    60881    59173     83 |  0.000 % |
360.11/360.46	c |    490610 |     900    60464   199184 |    59220    50272     79 |  0.000 % |
360.71/361.01	c |    491330 |     900    60464   199184 |    59220    50992     79 |  0.000 % |
361.11/361.46	c |    492123 |     900    60464   199184 |    59220    51785     79 |  0.000 % |
361.71/362.06	c |    492994 |     900    60464   199184 |    59220    52656     79 |  0.000 % |
362.51/362.85	c |    493955 |     900    60464   199184 |    59220    53617     79 |  0.000 % |
363.41/363.76	c |    495009 |     900    60464   199184 |    59220    54671     79 |  0.000 % |
364.31/364.68	c |    496168 |     900    60464   199184 |    59220    55830     80 |  0.000 % |
365.41/365.77	c |    497443 |     900    60464   199184 |    59220    57105     81 |  0.000 % |
366.61/366.92	c |    498843 |     900    60464   199184 |    59220    58505     81 |  0.000 % |
367.91/368.22	c |    500385 |     900    60464   199184 |    59662    60047     82 |  0.000 % |
369.31/369.64	c |    502079 |     900    60464   199184 |    59662    52710     81 |  0.000 % |
370.91/371.23	c |    503942 |     900    60464   199184 |    59662    54573     82 |  0.000 % |
372.61/372.99	c |    505993 |     900    60464   199184 |    59662    56624     83 |  0.000 % |
374.60/374.98	c |    508246 |     900    60464   199184 |    59662    58877     83 |  0.000 % |
376.50/376.88	c |    510724 |     900    60464   199184 |    52290    45733     76 |  0.000 % |
378.70/379.08	c |    513450 |     900    60464   199184 |    52290    48459     77 |  0.000 % |
381.00/381.36	c |    516449 |     900    60464   199184 |    52290    51458     78 |  0.000 % |
383.00/383.34	c |    519748 |     900    60464   199184 |    52290    46912     79 |  0.000 % |
385.30/385.66	c |    523374 |     900    60464   199184 |    47164    43985     81 |  0.000 % |
387.60/387.99	c |    527361 |     900    60464   199184 |    47164    43191     82 |  0.000 % |
390.40/390.74	c |    531750 |     900    60464   199184 | 2147483647    47580     83 |  0.000 % |
393.30/393.69	c |    536574 |     900    60464   199184 | 2147483647    52404     82 |  0.000 % |
393.50/393.81	c |    536674 |     900    60464   199184 | 2147483647    52504     82 |  0.000 % |
393.60/393.91	c |    536784 |     900    60464   199184 | 2147483647    52614     83 |  0.000 % |
393.70/394.01	c |    536905 |     900    60464   199184 | 2147483647    52735     83 |  0.000 % |
393.80/394.15	c |    537039 |     900    60464   199184 | 2147483647    52869     83 |  0.000 % |
394.00/394.30	c |    537185 |     900    60464   199184 | 2147483647    53015     83 |  0.000 % |
394.10/394.43	c |    537345 |     900    60464   199184 | 2147483647    53175     83 |  0.000 % |
394.20/394.54	c |    537523 |     900    60464   199184 | 2147483647    53353     83 |  0.000 % |
394.40/394.73	c |    537716 |     900    60464   199184 | 2147483647    53546     83 |  0.000 % |
394.60/394.91	c |    537928 |     900    60464   199184 | 2147483647    53758     83 |  0.000 % |
394.71/395.08	c |    538161 |     900    60464   199184 | 2147483647    53991     84 |  0.000 % |
394.91/395.26	c |    538417 |     900    60464   199184 | 2147483647    54247     84 |  0.000 % |
395.20/395.51	c |    538698 |     900    60464   199184 | 2147483647    54528     84 |  0.000 % |
395.40/395.76	c |    539007 |     900    60464   199184 | 2147483647    54837     84 |  0.000 % |
395.71/396.04	c |    539346 |     900    60464   199184 | 2147483647    55176     84 |  0.000 % |
396.00/396.33	c |    539719 |     900    60464   199184 | 2147483647    55549     84 |  0.000 % |
396.40/396.70	c |    540129 |     900    60464   199184 |    55832    55959     84 |  0.000 % |
396.71/397.10	c |    540580 |     900    60464   199184 |    55832    49369     82 |  0.000 % |
397.20/397.54	c |    541073 |     900    60464   199184 |    55832    49862     82 |  0.000 % |
397.60/397.95	c |    541615 |     900    60464   199184 |    55832    50404     83 |  0.000 % |
398.10/398.41	c |    542212 |     900    60464   199184 |    55832    51001     83 |  0.000 % |
398.60/398.95	c |    542867 |     900    60464   199184 |    55832    51656     84 |  0.000 % |
399.40/399.72	c |    543589 |     900    60464   199184 |    55832    52378     85 |  0.000 % |
400.00/400.35	c |    544381 |     900    60464   199184 |    55832    53170     85 |  0.000 % |
400.70/401.07	c |    545252 |     900    60464   199184 |    55832    54041     85 |  0.000 % |
401.50/401.80	c |    546211 |     900    60464   199184 |    55832    55000     85 |  0.000 % |
402.10/402.45	c |    547264 |     900    60464   199184 |    55832    56053     85 |  0.000 % |
403.00/403.31	c |    548422 |     900    60464   199184 |    55832    51606     82 |  0.000 % |
403.90/404.27	c |    549697 |     900    60464   199184 |    55832    52881     82 |  0.000 % |
404.90/405.22	c |    551098 |     900    60464   199184 |    53186    48895     83 |  0.000 % |
406.30/406.63	c |    552638 |     900    60464   199184 |    53186    50435     85 |  0.000 % |
407.80/408.14	c |    554332 |     900    60464   199184 |    53186    52129     85 |  0.000 % |
409.20/409.55	c |    556195 |     900    60464   199184 |    53186    48246     85 |  0.000 % |
410.70/411.08	c |    558249 |     900    60464   199184 |    53186    50300     84 |  0.000 % |
412.40/412.79	c |    560503 |     900    60464   199184 |    52052    46685     82 |  0.000 % |
414.60/414.99	c |    562984 |     900    60464   199184 |    52052    49166     85 |  0.000 % |
416.70/417.08	c |    565710 |     900    60464   199184 |    52052    51892     85 |  0.000 % |
419.39/419.78	c |    568707 |     900    60464   199184 |    52052    48705     84 |  0.000 % |
422.19/422.56	c |    572005 |     900    60464   199184 |    49999    45027     84 |  0.018 % |
425.59/425.94	c |    575630 |     900    60464   199184 |    49999    48652     87 |  0.000 % |
429.39/429.71	c |    579618 |     900    60464   199184 |    49999    45025     86 |  0.000 % |
432.59/432.97	c |    584005 |     900    60464   199184 |    45408    42700     85 |  0.000 % |
436.49/436.82	c |    588830 |     900    60464   199184 |    45408    41189     88 |  0.000 % |
440.79/441.17	c |    594136 |     900    60464   199184 |    42360    40601     90 |  0.000 % |
440.88/441.28	c |    594236 |     900    60464   199184 |    42360    40701     90 |  0.000 % |
440.98/441.38	c |    594346 |     900    60464   199184 |    42360    40811     90 |  0.018 % |
441.08/441.50	c |    594468 |     900    60464   199184 |    42360    40933     90 |  0.000 % |
441.28/441.65	c |    594601 |     900    60464   199184 |    42360    41066     90 |  0.000 % |
441.48/441.80	c |    594748 |     900    60464   199184 |    42360    41213     90 |  0.000 % |
441.58/441.94	c |    594909 |     900    60464   199184 |    42360    41374     90 |  0.000 % |
441.78/442.10	c |    595087 |     900    60464   199184 |    42360    41552     90 |  0.000 % |
441.88/442.29	c |    595280 |     900    60464   199184 |    42360    41745     90 |  0.000 % |
442.08/442.46	c |    595492 |     900    60464   199184 |    42360    41957     90 |  0.000 % |
442.28/442.66	c |    595725 |     900    60464   199184 |    42360    42190     90 |  0.000 % |
442.58/442.95	c |    595983 |     900    60464   199184 |    42360    42448     90 |  0.000 % |
442.88/443.26	c |    596264 |     900    60464   199184 |    42360    36495     90 |  0.000 % |
443.18/443.51	c |    596576 |     900    60464   199184 |    42360    36807     90 |  0.000 % |
443.38/443.72	c |    596915 |     900    60464   199184 |    42360    37146     90 |  0.000 % |
443.68/444.02	c |    597288 |     900    60464   199184 |    42360    37519     90 |  0.000 % |
443.88/444.29	c |    597698 |     900    60464   199184 |    42360    37929     90 |  0.000 % |
444.18/444.56	c |    598147 |     900    60464   199184 |    42360    38378     90 |  0.000 % |
444.48/444.89	c |    598641 |     900    60464   199184 |    42360    38872     90 |  0.000 % |
444.88/445.25	c |    599184 |     900    60464   199184 |    42360    39415     90 |  0.000 % |
445.28/445.63	c |    599781 |     900    60464   199184 |    42360    40012     90 |  0.000 % |
445.78/446.19	c |    600436 |     900    60464   199184 |    40231    35725     91 |  0.000 % |
446.28/446.69	c |    601156 |     900    60464   199184 |    40231    36445     91 |  0.000 % |
446.78/447.12	c |    601948 |     900    60464   199184 |    40231    37237     91 |  0.000 % |
447.18/447.60	c |    602820 |     900    60464   199184 |    40231    38109     90 |  0.000 % |
447.78/448.18	c |    603778 |     900    60464   199184 |    40231    39067     91 |  0.000 % |
448.58/448.91	c |    604832 |     900    60464   199184 |    40231    40121     90 |  0.000 % |
449.28/449.67	c |    605990 |     900    60464   199184 |    40231    37216     87 |  0.000 % |
450.08/450.42	c |    607263 |     900    60464   199184 |    40231    38489     88 |  0.000 % |
450.98/451.33	c |    608664 |     900    60464   199184 |    40231    39890     88 |  0.000 % |
451.98/452.31	c |    610204 |     900    60464   199184 | 2147483647    37345     84 |  0.000 % |
452.98/453.38	c |    611902 |     900    60464   199184 | 2147483647    39043     84 |  0.000 % |
454.27/454.64	c |    613767 |     900    60464   199184 | 2147483647    40908     83 |  0.000 % |
455.67/456.03	c |    615817 |     900    60464   199184 | 2147483647    42958     83 |  0.000 % |
456.87/457.30	c |    618072 |     900    60464   199184 | 2147483647    45213     83 |  0.000 % |
459.38/459.72	c |    620554 |     900    60464   199184 | 2147483647    47695     86 |  0.000 % |
461.57/461.98	c |    623279 |     900    60464   199184 | 2147483647    50420     88 |  0.000 % |
464.37/464.79	c |    626276 |     900    60464   199184 | 2147483647    53417     90 |  0.000 % |
466.97/467.35	c |    629572 |     900    60464   199184 | 2147483647    56713     91 |  0.000 % |
470.47/470.82	c |    633197 |     900    60464   199184 |    57141    53573     92 |  0.000 % |
473.47/473.89	c |    637184 |     900    60464   199184 |    57141    57560     93 |  0.000 % |
477.07/477.47	c |    641575 |     900    60464   199184 |    51916    45676     91 |  0.000 % |
481.76/482.13	c |    646400 |     900    60464   199184 |    51916    50501     96 |  0.000 % |
486.86/487.27	c |    651706 |     900    60464   199184 |    45978    40233    101 |  0.000 % |
492.65/493.06	c |    657544 |     900    60464   199184 |    45978    46071    100 |  0.000 % |
492.85/493.23	c |    657647 |     900    60464   199184 |    45978    38565     97 |  0.000 % |
492.95/493.33	c |    657757 |     900    60464   199184 |    45978    38675     97 |  0.000 % |
493.05/493.47	c |    657879 |     900    60464   199184 |    45978    38797     97 |  0.000 % |
493.15/493.56	c |    658012 |     900    60464   199184 |    45978    38930     97 |  0.000 % |
493.35/493.78	c |    658158 |     900    60464   199184 |    45978    39076     97 |  0.000 % |
493.56/493.93	c |    658318 |     900    60464   199184 |    45978    39236     97 |  0.000 % |
493.65/494.09	c |    658494 |     900    60464   199184 |    45978    39412     97 |  0.000 % |
493.85/494.20	c |    658687 |     900    60464   199184 |    45978    39605     97 |  0.000 % |
493.95/494.34	c |    658901 |     900    60464   199184 |    45978    39819     97 |  0.000 % |
494.15/494.54	c |    659134 |     900    60464   199184 |    45978    40052     97 |  0.000 % |
494.35/494.73	c |    659390 |     900    60464   199184 |    45978    40308     97 |  0.000 % |
494.55/494.93	c |    659671 |     900    60464   199184 |    45978    40589     97 |  0.000 % |
494.75/495.12	c |    659982 |     900    60464   199184 |    45978    40900     97 |  0.000 % |
494.95/495.34	c |    660321 |     900    60464   199184 |    40918    41239     96 |  0.000 % |
495.25/495.67	c |    660693 |     900    60464   199184 |    40918    35280     93 |  0.014 % |
495.55/495.95	c |    661102 |     900    60464   199184 |    40918    35689     93 |  0.014 % |
495.85/496.21	c |    661553 |     900    60464   199184 |    40918    36140     93 |  0.000 % |
496.25/496.60	c |    662047 |     900    60464   199184 |    40918    36634     93 |  0.000 % |
496.75/497.12	c |    662590 |     900    60464   199184 |    40918    37177     94 |  0.000 % |
497.25/497.67	c |    663186 |     900    60464   199184 |    40918    37773     95 |  0.000 % |
497.85/498.24	c |    663842 |     900    60464   199184 |    40918    38429     95 |  0.000 % |
498.35/498.71	c |    664564 |     900    60464   199184 |    40918    39151     95 |  0.000 % |
498.95/499.36	c |    665356 |     900    60464   199184 |    40918    39943     96 |  0.000 % |
499.45/499.87	c |    666227 |     900    60464   199184 |    40918    40814     96 |  0.000 % |
500.15/500.58	c |    667186 |     900    60464   199184 |    40918    37231     94 |  0.000 % |
500.95/501.39	c |    668239 |     900    60464   199184 |    40918    38284     95 |  0.000 % |
501.85/502.20	c |    669400 |     900    60464   199184 |    40918    39445     95 |  0.000 % |
502.75/503.13	c |    670673 |     900    60464   199184 | 2147483647    40718     96 |  0.000 % |
503.65/504.05	c |    672075 |     900    60464   199184 | 2147483647    42120     95 |  0.000 % |
504.75/505.12	c |    673617 |     900    60464   199184 | 2147483647    43662     96 |  0.000 % |
506.05/506.42	c |    675311 |     900    60464   199184 | 2147483647    45356     96 |  0.000 % |
507.54/507.99	c |    677174 |     900    60464   199184 | 2147483647    47219     95 |  0.000 % |
509.24/509.60	c |    679223 |     900    60464   199184 | 2147483647    49268     95 |  0.000 % |
511.15/511.52	c |    681477 |     900    60464   199184 |    50045    45432     92 |  0.000 % |
512.74/513.14	c |    683955 |     900    60464   199184 |    50045    47910     91 |  0.000 % |
515.14/515.51	c |    686680 |     900    60464   199184 |    50045    50635     90 |  0.000 % |
517.54/517.96	c |    689677 |     900    60464   199184 |    50045    46989     85 |  0.000 % |
520.04/520.41	c |    692973 |     900    60464   199184 |    47314    44664     82 |  0.018 % |
522.54/522.99	c |    696598 |     900    60464   199184 |    47314    43407     82 |  0.000 % |
525.74/526.18	c |    700586 |     900    60464   199184 | 2147483647    47395     86 |  0.000 % |
529.93/530.31	c |    704972 |     900    60464   199184 | 2147483647    51781     90 |  0.000 % |
534.23/534.62	c |    709796 |     900    60464   199184 | 2147483647    56605     93 |  0.000 % |
538.63/539.07	c |    715101 |     900    60464   199184 |    56809    54137     92 |  0.000 % |
543.83/544.29	c |    720936 |     900    60464   199184 |    50375    43369     94 |  0.000 % |
548.63/549.02	c |    727355 |     900    60464   199184 |    50375    49788     95 |  0.016 % |
548.73/549.10	c |    727455 |     900    60464   199184 |    50375    49888     95 |  0.000 % |
548.73/549.19	c |    727566 |     900    60464   199184 |    50375    49999     95 |  0.000 % |
548.93/549.36	c |    727687 |     900    60464   199184 |    50375    50120     95 |  0.000 % |
549.12/549.51	c |    727821 |     900    60464   199184 |    50375    50254     95 |  0.000 % |
549.22/549.66	c |    727968 |     900    60464   199184 |    50375    50401     95 |  0.000 % |
549.42/549.85	c |    728128 |     900    60464   199184 |    50375    42812     98 |  0.000 % |
549.53/549.99	c |    728305 |     900    60464   199184 |    50375    42989     98 |  0.000 % |
549.72/550.15	c |    728498 |     900    60464   199184 |    50375    43182     98 |  0.000 % |
549.92/550.30	c |    728710 |     900    60464   199184 |    50375    43394     97 |  0.000 % |
550.02/550.48	c |    728943 |     900    60464   199184 |    50375    43627     97 |  0.020 % |
550.22/550.68	c |    729201 |     900    60464   199184 |    50375    43885     97 |  0.018 % |
550.42/550.84	c |    729484 |     900    60464   199184 |    50375    44168     97 |  0.016 % |
550.63/551.09	c |    729795 |     900    60464   199184 |    50375    44479     96 |  0.015 % |
550.92/551.34	c |    730136 |     900    60464   199184 |    44684    44820     96 |  0.000 % |
551.12/551.57	c |    730508 |     900    60464   199184 |    44684    38371     94 |  0.017 % |
551.42/551.89	c |    730917 |     900    60464   199184 |    44684    38780     95 |  0.000 % |
551.82/552.26	c |    731369 |     900    60464   199184 |    44684    39232     94 |  0.000 % |
552.02/552.47	c |    731863 |     900    60464   199184 |    44684    39726     94 |  0.016 % |
552.22/552.69	c |    732406 |     900    60464   199184 |    44684    40269     94 |  0.000 % |
552.52/552.91	c |    733003 |     900    60464   199184 |    44684    40866     93 |  0.014 % |
553.02/553.49	c |    733658 |     900    60464   199184 |    44684    41521     94 |  0.000 % |
553.52/553.94	c |    734380 |     900    60464   199184 |    44684    42243     94 |  0.000 % |
553.82/554.29	c |    735177 |     900    60464   199184 |    44684    43040     93 |  0.017 % |
554.32/554.70	c |    736048 |     900    60464   199184 |    44684    43911     92 |  0.017 % |
554.92/555.37	c |    737010 |     900    60464   199184 |    44684    44873     93 |  0.000 % |
555.72/556.16	c |    738063 |     900    60464   199184 |    44684    41439     90 |  0.000 % |
556.62/557.03	c |    739221 |     900    60464   199184 |    44684    42597     91 |  0.000 % |
557.32/557.74	c |    740494 |     900    60464   199184 | 2147483647    43870     91 |  0.016 % |
558.12/558.50	c |    741895 |     900    60464   199184 | 2147483647    45271     90 |  0.000 % |
558.82/559.28	c |    743436 |     900    60464   199184 | 2147483647    46812     88 |  0.017 % |
559.62/560.01	c |    745130 |     900    60464   199184 | 2147483647    48506     87 |  0.016 % |
560.62/561.01	c |    746995 |     900    60464   199184 | 2147483647    50371     85 |  0.017 % |
561.91/562.38	c |    749044 |     900    60464   199184 | 2147483647    52420     84 |  0.017 % |
563.92/564.31	c |    751297 |     900    60464   199184 | 2147483647    54673     86 |  0.000 % |
565.52/565.93	c |    753777 |     900    60464   199184 | 2147483647    57153     85 |  0.016 % |
567.51/567.97	c |    756502 |     900    60464   199184 | 2147483647    59878     84 |  0.018 % |
569.51/569.97	c |    759501 |     900    60464   199184 | 2147483647    62877     86 |  0.000 % |
572.21/572.69	c |    762799 |     900    60464   199184 |    63376    57234     84 |  0.000 % |
574.91/575.31	c |    766424 |     900    60464   199184 |    63376    60859     83 |  0.000 % |
577.80/578.22	c |    770411 |     900    60464   199184 |    55751    56161     79 |  0.018 % |
580.80/581.29	c |    774797 |     900    60464   199184 |    55751    53177     76 |  0.000 % |
585.00/585.47	c |    779621 |     900    60464   199184 |    55751    50231     74 |  0.018 % |
588.20/588.66	c |    784927 |     900    60464   199184 |    50611    48489     71 |  0.000 % |
591.70/592.13	c |    790764 |     900    60464   199184 |    47861    43541     70 |  0.017 % |
595.30/595.77	c |    797183 |     900    60464   199184 |    47861    45117     69 |  0.000 % |
599.49/599.95	c |    804242 |     900    60464   199184 | 2147483647    52176     68 |  0.017 % |
599.59/600.01	c |    804342 |     900    60464   199184 | 2147483647    52276     68 |  0.016 % |
599.59/600.09	c |    804452 |     900    60464   199184 | 2147483647    52386     68 |  0.015 % |
599.69/600.16	c |    804574 |     900    60464   199184 | 2147483647    52508     68 |  0.016 % |
599.79/600.27	c |    804707 |     900    60464   199184 | 2147483647    52641     68 |  0.000 % |
599.89/600.35	c |    804853 |     900    60464   199184 | 2147483647    52787     68 |  0.000 % |
599.99/600.43	c |    805014 |     900    60464   199184 | 2147483647    52948     68 |  0.000 % |
600.10/600.54	c |    805191 |     900    60464   199184 | 2147483647    53125     68 |  0.000 % |
600.20/600.68	c |    805387 |     900    60464   199184 | 2147483647    53321     68 |  0.000 % |
600.39/600.80	c |    805601 |     900    60464   199184 | 2147483647    53535     68 |  0.000 % |
600.49/600.93	c |    805834 |     900    60464   199184 | 2147483647    53768     68 |  0.000 % |
600.59/601.07	c |    806091 |     900    60464   199184 | 2147483647    54025     68 |  0.018 % |
600.79/601.28	c |    806373 |     900    60464   199184 | 2147483647    54307     69 |  0.000 % |
600.99/601.43	c |    806684 |     900    60464   199184 | 2147483647    54618     69 |  0.000 % |
601.09/601.57	c |    807023 |     900    60464   199184 | 2147483647    54957     69 |  0.000 % |
601.29/601.76	c |    807397 |     900    60464   199184 | 2147483647    55331     69 |  0.000 % |
601.59/602.00	c |    807806 |     900    60464   199184 | 2147483647    55740     70 |  0.000 % |
601.79/602.25	c |    808257 |     900    60464   199184 | 2147483647    56191     70 |  0.000 % |
601.99/602.48	c |    808750 |     900    60464   199184 | 2147483647    56684     70 |  0.000 % |
602.39/602.82	c |    809293 |     900    60464   199184 | 2147483647    57227     70 |  0.000 % |
602.69/603.13	c |    809890 |     900    60464   199184 | 2147483647    57824     70 |  0.000 % |
602.99/603.44	c |    810547 |     900    60464   199184 | 2147483647    58481     70 |  0.000 % |
603.39/603.88	c |    811267 |     900    60464   199184 | 2147483647    59201     71 |  0.000 % |
603.79/604.30	c |    812059 |     900    60464   199184 | 2147483647    59993     71 |  0.000 % |
604.49/604.94	c |    812931 |     900    60464   199184 | 2147483647    60865     71 |  0.000 % |
605.09/605.57	c |    813891 |     900    60464   199184 | 2147483647    61825     72 |  0.000 % |
605.79/606.23	c |    814944 |     900    60464   199184 | 2147483647    62878     72 |  0.000 % |
606.69/607.17	c |    816102 |     900    60464   199184 | 2147483647    64036     73 |  0.000 % |
607.58/608.06	c |    817375 |     900    60464   199184 | 2147483647    65309     73 |  0.000 % |
608.39/608.89	c |    818775 |     900    60464   199184 | 2147483647    66709     74 |  0.000 % |
609.38/609.87	c |    820315 |     900    60464   199184 | 2147483647    68249     74 |  0.000 % |
610.58/611.02	c |    822011 |     900    60464   199184 | 2147483647    69945     74 |  0.000 % |
611.88/612.34	c |    823875 |     900    60464   199184 | 2147483647    71809     75 |  0.000 % |
613.48/613.98	c |    825925 |     900    60464   199184 | 2147483647    73859     75 |  0.000 % |
615.28/615.70	c |    828179 |     900    60464   199184 | 2147483647    76113     75 |  0.000 % |
617.08/617.56	c |    830657 |     900    60464   199184 | 2147483647    78591     75 |  0.000 % |
619.18/619.60	c |    833383 |     900    60464   199184 | 2147483647    81317     76 |  0.000 % |
621.38/621.80	c |    836380 |     900    60464   199184 | 2147483647    84314     76 |  0.000 % |
623.98/624.49	c |    839679 |     900    60464   199184 | 2147483647    87613     76 |  0.000 % |
627.28/627.77	c |    843304 |     900    60464   199184 |    87934    77712     72 |  0.000 % |
630.48/630.92	c |    847291 |     900    60464   199184 |    87934    81699     72 |  0.000 % |
634.08/634.57	c |    851677 |     900    60464   199184 |    84410    73169     74 |  0.000 % |
638.17/638.61	c |    856500 |     900    60464   199184 |    84410    77992     74 |  0.000 % |
642.87/643.38	c |    861808 |     900    60464   199184 |    81492    71258     79 |  0.000 % |
647.97/648.45	c |    867643 |     900    60464   199184 |    81492    77093     79 |  0.000 % |
653.27/653.70	c |    874062 |     900    60464   199184 |    79450    69910     79 |  0.000 % |
659.47/659.97	c |    881122 |     900    60464   199184 |    75851    63410     81 |  0.000 % |
665.66/666.14	c |    888886 |     900    60464   199184 |    75851    71174     84 |  0.000 % |
665.76/666.27	c |    888988 |     900    60464   199184 |    75851    71276     84 |  0.000 % |
665.96/666.41	c |    889098 |     900    60464   199184 |    75851    71386     84 |  0.000 % |
666.06/666.60	c |    889219 |     900    60464   199184 |    75851    71507     84 |  0.000 % |
666.26/666.73	c |    889352 |     900    60464   199184 |    75851    71640     84 |  0.000 % |
666.36/666.85	c |    889499 |     900    60464   199184 |    75851    71787     84 |  0.000 % |
666.56/667.00	c |    889659 |     900    60464   199184 |    75851    71947     84 |  0.000 % |
666.66/667.15	c |    889835 |     900    60464   199184 |    75851    72123     84 |  0.000 % |
666.86/667.33	c |    890028 |     900    60464   199184 |    72288    72316     84 |  0.015 % |
667.06/667.58	c |    890240 |     900    60464   199184 |    72288    60357     84 |  0.000 % |
667.26/667.79	c |    890476 |     900    60464   199184 |    72288    60593     84 |  0.000 % |
667.56/668.02	c |    890732 |     900    60464   199184 |    72288    60849     84 |  0.000 % |
667.76/668.25	c |    891013 |     900    60464   199184 |    72288    61130     84 |  0.000 % |
667.96/668.49	c |    891323 |     900    60464   199184 |    72288    61440     84 |  0.000 % |
668.26/668.80	c |    891662 |     900    60464   199184 |    72288    61779     84 |  0.000 % |
668.66/669.10	c |    892034 |     900    60464   199184 |    72288    62151     84 |  0.000 % |
668.96/669.47	c |    892444 |     900    60464   199184 |    72288    62561     84 |  0.000 % |
669.36/669.88	c |    892896 |     900    60464   199184 |    72288    63013     84 |  0.000 % |
669.86/670.34	c |    893389 |     900    60464   199184 |    72288    63506     84 |  0.000 % |
670.36/670.88	c |    893932 |     900    60464   199184 |    72288    64049     85 |  0.000 % |
670.86/671.30	c |    894528 |     900    60464   199184 |    72288    64645     85 |  0.000 % |
671.46/671.99	c |    895183 |     900    60464   199184 |    72288    65300     85 |  0.000 % |
672.16/672.61	c |    895904 |     900    60464   199184 |    72288    66021     85 |  0.000 % |
672.76/673.27	c |    896700 |     900    60464   199184 |    72288    66817     85 |  0.000 % |
673.46/673.97	c |    897572 |     900    60464   199184 |    72288    67689     85 |  0.018 % |
674.46/674.93	c |    898530 |     900    60464   199184 |    72288    68647     85 |  0.000 % |
675.46/675.94	c |    899583 |     900    60464   199184 |    72288    69700     86 |  0.000 % |
676.76/677.27	c |    900743 |     900    60464   199184 |    70118    59357     88 |  0.000 % |
677.76/678.28	c |    902016 |     900    60464   199184 |    70118    60630     88 |  0.000 % |
679.26/679.79	c |    903416 |     900    60464   199184 |    70118    62030     89 |  0.000 % |
681.05/681.50	c |    904956 |     900    60464   199184 |    70118    63570     90 |  0.000 % |
682.45/682.96	c |    906650 |     900    60464   199184 |    70118    65264     90 |  0.015 % |
683.95/684.44	c |    908513 |     900    60464   199184 |    70118    67127     89 |  0.000 % |
686.25/686.75	c |    910563 |     900    60464   199184 |    68615    69177     90 |  0.000 % |
688.25/688.74	c |    912816 |     900    60464   199184 |    68615    58681     90 |  0.000 % |
690.15/690.66	c |    915294 |     900    60464   199184 |    68615    61159     90 |  0.000 % |
692.15/692.65	c |    918021 |     900    60464   199184 |    68615    63886     90 |  0.000 % |
694.85/695.39	c |    921020 |     900    60464   199184 |    65865    55211     94 |  0.000 % |
697.85/698.38	c |    924317 |     900    60464   199184 |    65865    58508     96 |  0.000 % |
701.15/701.62	c |    927945 |     900    60464   199184 |    65865    62136     96 |  0.000 % |
704.65/705.16	c |    931935 |     900    60464   199184 |    64193    53444     90 |  0.000 % |
708.84/709.39	c |    936320 |     900    60464   199184 |    64193    57829     89 |  0.000 % |
713.14/713.64	c |    941143 |     900    60464   199184 |    61512    51117     89 |  0.000 % |
717.53/718.01	c |    946449 |     900    60464   199184 |    61512    56423     88 |  0.000 % |
723.34/723.85	c |    952284 |     900    60464   199184 |    59974    52589     86 |  0.000 % |
728.84/729.36	c |    958702 |     900    60464   199184 |    59974    59007     84 |  0.000 % |
734.03/734.50	c |    965762 |     900    60464   199184 |    60309    57349     80 |  0.000 % |
739.53/740.09	c |    973526 |     900    60464   199184 |    53197    49860     69 |  0.020 % |
745.83/746.36	c |    982067 |     900    60464   199184 | 2147483647    53035     79 |  0.000 % |
745.93/746.47	c |    982169 |     900    60464   199184 | 2147483647    53137     79 |  0.000 % |
746.03/746.56	c |    982279 |     900    60464   199184 | 2147483647    53247     79 |  0.000 % |
746.12/746.65	c |    982400 |     900    60464   199184 | 2147483647    53368     79 |  0.000 % |
746.22/746.77	c |    982533 |     900    60464   199184 | 2147483647    53501     79 |  0.000 % |
746.43/746.91	c |    982679 |     900    60464   199184 | 2147483647    53647     79 |  0.000 % |
746.52/747.02	c |    982839 |     900    60464   199184 | 2147483647    53807     79 |  0.000 % |
746.62/747.19	c |    983016 |     900    60464   199184 | 2147483647    53984     79 |  0.000 % |
746.82/747.37	c |    983210 |     900    60464   199184 | 2147483647    54178     79 |  0.000 % |
747.02/747.51	c |    983422 |     900    60464   199184 | 2147483647    54390     79 |  0.000 % |
747.22/747.75	c |    983656 |     900    60464   199184 | 2147483647    54624     79 |  0.000 % |
747.43/747.96	c |    983915 |     900    60464   199184 | 2147483647    54883     79 |  0.000 % |
747.62/748.17	c |    984196 |     900    60464   199184 | 2147483647    55164     80 |  0.000 % |
747.82/748.39	c |    984505 |     900    60464   199184 | 2147483647    55473     80 |  0.000 % |
748.12/748.65	c |    984846 |     900    60464   199184 | 2147483647    55814     80 |  0.000 % |
748.42/748.93	c |    985218 |     900    60464   199184 | 2147483647    56186     80 |  0.000 % |
748.72/749.24	c |    985627 |     900    60464   199184 | 2147483647    56595     80 |  0.000 % |
749.02/749.59	c |    986079 |     900    60464   199184 | 2147483647    57047     80 |  0.000 % |
749.42/749.97	c |    986575 |     900    60464   199184 | 2147483647    57543     81 |  0.000 % |
749.92/750.40	c |    987121 |     900    60464   199184 | 2147483647    58089     81 |  0.000 % |
750.32/750.83	c |    987717 |     900    60464   199184 | 2147483647    58685     81 |  0.000 % |
750.83/751.32	c |    988376 |     900    60464   199184 | 2147483647    59344     82 |  0.000 % |
751.42/751.97	c |    989098 |     900    60464   199184 | 2147483647    60066     82 |  0.000 % |
752.12/752.60	c |    989890 |     900    60464   199184 | 2147483647    60858     83 |  0.000 % |
752.92/753.41	c |    990761 |     900    60464   199184 | 2147483647    61729     83 |  0.000 % |
753.51/754.09	c |    991720 |     900    60464   199184 | 2147483647    62688     84 |  0.000 % |
754.41/755.00	c |    992773 |     900    60464   199184 | 2147483647    63741     85 |  0.000 % |
755.31/755.87	c |    993934 |     900    60464   199184 | 2147483647    64902     85 |  0.000 % |
756.41/756.98	c |    995208 |     900    60464   199184 | 2147483647    66176     85 |  0.000 % |
757.71/758.23	c |    996608 |     900    60464   199184 | 2147483647    67576     85 |  0.000 % |
759.01/759.57	c |    998148 |     900    60464   199184 | 2147483647    69116     86 |  0.000 % |
760.41/760.98	c |    999844 |     900    60464   199184 | 2147483647    70812     86 |  0.000 % |
762.31/762.88	c |   1001707 |     900    60464   199184 |    70968    62521     84 |  0.000 % |
764.01/764.55	c |   1003756 |     900    60464   199184 |    70968    64570     84 |  0.000 % |
765.71/766.23	c |   1006010 |     900    60464   199184 |    70968    66824     84 |  0.000 % |
768.41/768.98	c |   1008488 |     900    60464   199184 |    70968    69302     86 |  0.000 % |
770.81/771.35	c |   1011215 |     900    60464   199184 |    70814    60645     88 |  0.000 % |
773.60/774.19	c |   1014212 |     900    60464   199184 |    70814    63642     87 |  0.018 % |
777.21/777.73	c |   1017508 |     900    60464   199184 |    70814    66938     86 |  0.000 % |
781.90/782.47	c |   1021133 |     900    60464   199184 |    69431    56121     96 |  0.000 % |
787.01/787.52	c |   1025122 |     900    60464   199184 |    69431    60110     98 |  0.000 % |
791.30/791.83	c |   1029507 |     900    60464   199184 |    69431    64495     98 |  0.000 % |
796.70/797.23	c |   1034330 |     900    60464   199184 |    64990    55579     95 |  0.000 % |
802.89/803.43	c |   1039640 |     900    60464   199184 |    64990    60889     97 |  0.000 % |
809.00/809.56	c |   1045475 |     900    60464   199184 |    61250    54621     96 |  0.000 % |
816.19/816.71	c |   1051895 |     900    60464   199184 |    59146    47759     99 |  0.000 % |
822.79/823.35	c |   1058956 |     900    60464   199184 |    59146    54820    102 |  0.000 % |
831.59/832.13	c |   1066721 |     900    60464   199184 |    55864    52021    104 |  0.000 % |
840.08/840.65	c |   1075261 |     900    60464   199184 |    55300    50166    101 |  0.000 % |
848.77/849.39	c |   1084655 |     900    60464   199184 |    54907    49462     95 |  0.000 % |
848.97/849.51	c |   1084757 |     900    60464   199184 |    54907    49564     95 |  0.000 % |
849.08/849.64	c |   1084868 |     900    60464   199184 |    54907    49675     95 |  0.000 % |
849.18/849.77	c |   1084992 |     900    60464   199184 |    54907    49799     95 |  0.000 % |
849.38/849.92	c |   1085126 |     900    60464   199184 |    54907    49933     95 |  0.000 % |
849.48/850.05	c |   1085272 |     900    60464   199184 |    54907    50079     95 |  0.000 % |
849.68/850.22	c |   1085433 |     900    60464   199184 |    54907    50240     95 |  0.017 % |
849.78/850.38	c |   1085611 |     900    60464   199184 |    54907    50418     95 |  0.000 % |
849.98/850.56	c |   1085804 |     900    60464   199184 |    54907    50611     95 |  0.000 % |
850.18/850.77	c |   1086018 |     900    60464   199184 |    54907    50825     95 |  0.000 % |
850.48/851.01	c |   1086251 |     900    60464   199184 |    54907    51058     95 |  0.000 % |
850.68/851.24	c |   1086508 |     900    60464   199184 |    54907    51315     95 |  0.000 % |
850.98/851.56	c |   1086789 |     900    60464   199184 |    54907    51596     95 |  0.000 % |
851.38/851.96	c |   1087100 |     900    60464   199184 |    54907    51907     95 |  0.000 % |
851.88/852.41	c |   1087439 |     900    60464   199184 |    54907    52246     95 |  0.000 % |
852.18/852.78	c |   1087811 |     900    60464   199184 |    54907    52618     95 |  0.000 % |
852.58/853.17	c |   1088220 |     900    60464   199184 |    54907    53027     95 |  0.000 % |
852.98/853.58	c |   1088670 |     900    60464   199184 |    54907    53477     95 |  0.000 % |
853.58/854.13	c |   1089165 |     900    60464   199184 |    54907    53972     96 |  0.000 % |
854.08/854.64	c |   1089707 |     900    60464   199184 |    54907    54514     96 |  0.000 % |
854.58/855.16	c |   1090303 |     900    60464   199184 |    54807    55110     96 |  0.000 % |
855.08/855.64	c |   1090960 |     900    60464   199184 |    54807    45877     92 |  0.000 % |
855.58/856.16	c |   1091681 |     900    60464   199184 |    54807    46598     92 |  0.000 % |
856.18/856.79	c |   1092473 |     900    60464   199184 |    54807    47390     92 |  0.000 % |
856.78/857.39	c |   1093347 |     900    60464   199184 |    54807    48264     92 |  0.000 % |
857.48/858.03	c |   1094305 |     900    60464   199184 |    54807    49222     92 |  0.000 % |
858.28/858.85	c |   1095358 |     900    60464   199184 |    54807    50275     92 |  0.000 % |
859.27/859.85	c |   1096519 |     900    60464   199184 |    54807    51436     92 |  0.000 % |
860.68/861.25	c |   1097794 |     900    60464   199184 |    54807    52711     93 |  0.000 % |
861.88/862.47	c |   1099194 |     900    60464   199184 |    54807    54111     93 |  0.000 % |
862.88/863.48	c |   1100734 |     900    60464   199184 |    54922    47787     88 |  0.000 % |
864.08/864.66	c |   1102429 |     900    60464   199184 |    54922    49482     88 |  0.000 % |
865.47/866.08	c |   1104293 |     900    60464   199184 |    54922    51346     88 |  0.000 % |
867.07/867.62	c |   1106343 |     900    60464   199184 |    54922    53396     88 |  0.000 % |
869.07/869.64	c |   1108599 |     900    60464   199184 |    54922    49048     84 |  0.000 % |
871.27/871.90	c |   1111077 |     900    60464   199184 |    50450    46026     84 |  0.000 % |
873.87/874.47	c |   1113802 |     900    60464   199184 |    50450    48751     87 |  0.000 % |
876.67/877.20	c |   1116799 |     900    60464   199184 |    50450    46463     89 |  0.000 % |
879.37/879.94	c |   1120097 |     900    60464   199184 |    49664    49761     90 |  0.000 % |
882.77/883.34	c |   1123722 |     900    60464   199184 |    49664    47915     94 |  0.000 % |
886.86/887.42	c |   1127709 |     900    60464   199184 |    49664    46063     98 |  0.000 % |
891.46/892.04	c |   1132096 |     900    60464   199184 |    48354    44077    101 |  0.000 % |
896.96/897.55	c |   1136920 |     900    60464   199184 |    48354    41639    105 |  0.000 % |
901.65/902.24	c |   1142226 |     900    60464   199184 |    44722    40297    107 |  0.000 % |
907.05/907.65	c |   1148063 |     900    60464   199184 |    44722    39814    102 |  0.000 % |
913.25/913.88	c |   1154481 |     900    60464   199184 |    41751    40388    106 |  0.000 % |
919.95/920.55	c |   1161541 |     900    60464   199184 |    39986    35824     98 |  0.000 % |
925.05/925.70	c |   1169305 |     900    60464   199184 |    39986    39536     94 |  0.000 % |
931.74/932.35	c |   1177845 |     900    60464   199184 | 2147483647    48076     92 |  0.000 % |
939.13/939.71	c |   1187242 |     900    60464   199184 | 2147483647    57473     89 |  0.000 % |
948.03/948.63	c |   1197578 |     900    60464   199184 |    60231    57346     84 |  0.000 % |
948.13/948.74	c |   1197682 |     900    60464   199184 |    60231    57450     84 |  0.000 % |
948.23/948.86	c |   1197793 |     900    60464   199184 |    60231    57561     84 |  0.000 % |
948.33/948.99	c |   1197914 |     900    60464   199184 |    60231    57682     84 |  0.000 % |
948.53/949.12	c |   1198048 |     900    60464   199184 |    60231    57816     84 |  0.000 % |
948.73/949.31	c |   1198198 |     900    60464   199184 |    60231    57966     84 |  0.000 % |
948.83/949.44	c |   1198358 |     900    60464   199184 |    60231    58126     84 |  0.000 % |
949.03/949.60	c |   1198536 |     900    60464   199184 |    60231    58304     84 |  0.000 % |
949.23/949.80	c |   1198730 |     900    60464   199184 |    60231    58498     84 |  0.000 % |
949.33/949.97	c |   1198944 |     900    60464   199184 |    60231    58712     84 |  0.000 % |
949.53/950.18	c |   1199178 |     900    60464   199184 |    60231    58946     84 |  0.000 % |
949.73/950.40	c |   1199434 |     900    60464   199184 |    60231    59202     84 |  0.000 % |
950.03/950.63	c |   1199716 |     900    60464   199184 |    60231    59484     84 |  0.000 % |
950.33/950.93	c |   1200026 |     900    60464   199184 |    59772    59794     84 |  0.000 % |
950.63/951.26	c |   1200365 |     900    60464   199184 |    59772    49335     76 |  0.000 % |
950.83/951.47	c |   1200738 |     900    60464   199184 |    59772    49708     76 |  0.000 % |
951.03/951.68	c |   1201148 |     900    60464   199184 |    59772    50118     77 |  0.000 % |
951.33/951.95	c |   1201599 |     900    60464   199184 |    59772    50569     77 |  0.000 % |
951.63/952.23	c |   1202093 |     900    60464   199184 |    59772    51063     77 |  0.000 % |
951.93/952.59	c |   1202635 |     900    60464   199184 |    59772    51605     78 |  0.000 % |
952.23/952.87	c |   1203231 |     900    60464   199184 |    59772    52201     78 |  0.000 % |
952.63/953.22	c |   1203886 |     900    60464   199184 |    59772    52856     79 |  0.000 % |
953.23/953.81	c |   1204608 |     900    60464   199184 |    59772    53578     79 |  0.000 % |
953.73/954.33	c |   1205404 |     900    60464   199184 |    59772    54374     79 |  0.000 % |
954.33/954.92	c |   1206278 |     900    60464   199184 |    59772    55248     79 |  0.000 % |
954.93/955.56	c |   1207239 |     900    60464   199184 |    59772    56209     79 |  0.012 % |
955.53/956.14	c |   1208292 |     900    60464   199184 |    59772    57262     79 |  0.000 % |
956.23/956.87	c |   1209450 |     900    60464   199184 |    59772    58420     79 |  0.000 % |
957.13/957.75	c |   1210724 |     900    60464   199184 | 2147483647    59694     79 |  0.014 % |
958.03/958.70	c |   1212125 |     900    60464   199184 | 2147483647    61095     79 |  0.000 % |
959.13/959.70	c |   1213665 |     900    60464   199184 | 2147483647    62635     78 |  0.000 % |
960.32/960.91	c |   1215359 |     900    60464   199184 | 2147483647    64329     78 |  0.014 % |
961.52/962.19	c |   1217224 |     900    60464   199184 | 2147483647    66194     78 |  0.000 % |
963.22/963.87	c |   1219274 |     900    60464   199184 | 2147483647    68244     78 |  0.000 % |
964.92/965.57	c |   1221527 |     900    60464   199184 | 2147483647    70497     78 |  0.000 % |
966.62/967.28	c |   1224005 |     900    60464   199184 | 2147483647    72975     80 |  0.000 % |
968.92/969.50	c |   1226731 |     900    60464   199184 | 2147483647    75701     81 |  0.000 % |
971.32/971.98	c |   1229728 |     900    60464   199184 | 2147483647    78698     82 |  0.000 % |
974.22/974.83	c |   1233026 |     900    60464   199184 |    78970    71349     80 |  0.000 % |
978.01/978.63	c |   1236651 |     900    60464   199184 |    78970    74974     82 |  0.000 % |
981.71/982.34	c |   1240638 |     900    60464   199184 |    78325    67418     83 |  0.000 % |
986.01/986.68	c |   1245023 |     900    60464   199184 |    78325    71803     85 |  0.000 % |
991.10/991.74	c |   1249850 |     900    60464   199184 |    78325    76630     88 |  0.000 % |
996.91/997.51	c |   1255155 |     900    60464   199184 |    76782    68155     94 |  0.000 % |
1003.11/1003.70	c |   1260990 |     900    60464   199184 |    73000    60265     94 |  0.000 % |
1010.31/1010.92	c |   1267408 |     900    60464   199184 |    73000    66683     93 |  0.000 % |
1019.11/1019.72	c |   1274468 |     900    60464   199184 |    69275    58232     94 |  0.000 % |
1028.29/1028.95	c |   1282236 |     900    60464   199184 |    63766    50145     87 |  0.000 % |
1037.99/1038.65	c |   1290778 |     900    60464   199184 |    57909    45459     79 |  0.000 % |
1048.28/1048.98	c |   1300173 |     900    60464   199184 |    54684    54854     79 |  0.000 % |
1058.78/1059.45	c |   1310506 |     900    60464   199184 |    52714    53220     74 |  0.000 % |
1068.07/1068.78	c |   1321875 |     900    60464   199184 |    51407    46436     87 |  0.000 % |
1068.17/1068.88	c |   1321976 |     900    60464   199184 |    51407    46537     87 |  0.000 % |
1068.27/1068.98	c |   1322086 |     900    60464   199184 |    51407    46647     87 |  0.000 % |
1068.47/1069.11	c |   1322209 |     900    60464   199184 |    51407    46770     87 |  0.000 % |
1068.57/1069.22	c |   1322342 |     900    60464   199184 |    51407    46903     87 |  0.000 % |
1068.67/1069.34	c |   1322488 |     900    60464   199184 |    51407    47049     87 |  0.000 % |
1068.87/1069.51	c |   1322649 |     900    60464   199184 |    51407    47210     87 |  0.000 % |
1068.97/1069.61	c |   1322827 |     900    60464   199184 |    51407    47388     87 |  0.000 % |
1069.07/1069.76	c |   1323022 |     900    60464   199184 |    51407    47583     87 |  0.000 % |
1069.27/1069.95	c |   1323235 |     900    60464   199184 |    51407    47796     87 |  0.000 % |
1069.47/1070.15	c |   1323468 |     900    60464   199184 |    51407    48029     88 |  0.000 % |
1069.67/1070.30	c |   1323725 |     900    60464   199184 |    51407    48286     88 |  0.000 % |
1069.77/1070.45	c |   1324007 |     900    60464   199184 |    51407    48568     87 |  0.000 % |
1069.97/1070.64	c |   1324319 |     900    60464   199184 |    51407    48880     88 |  0.000 % |
1070.17/1070.88	c |   1324658 |     900    60464   199184 |    51407    49219     88 |  0.000 % |
1070.47/1071.18	c |   1325030 |     900    60464   199184 |    51407    49591     88 |  0.000 % |
1070.97/1071.61	c |   1325439 |     900    60464   199184 |    51407    50000     88 |  0.000 % |
1071.27/1071.93	c |   1325889 |     900    60464   199184 |    51407    50450     88 |  0.000 % |
1071.57/1072.27	c |   1326382 |     900    60464   199184 |    51407    50943     88 |  0.000 % |
1071.87/1072.59	c |   1326926 |     900    60464   199184 |    51407    51487     88 |  0.013 % |
1072.47/1073.12	c |   1327522 |     900    60464   199184 |    51407    46597     88 |  0.000 % |
1072.97/1073.64	c |   1328178 |     900    60464   199184 |    51407    47253     89 |  0.000 % |
1073.37/1074.01	c |   1328898 |     900    60464   199184 |    51407    47973     89 |  0.000 % |
1073.87/1074.56	c |   1329690 |     900    60464   199184 |    51407    48765     89 |  0.000 % |
1074.57/1075.28	c |   1330564 |     900    60464   199184 |    49075    44677     89 |  0.000 % |
1075.37/1076.00	c |   1331526 |     900    60464   199184 |    49075    45639     89 |  0.000 % |
1076.46/1077.12	c |   1332581 |     900    60464   199184 |    49075    46694     90 |  0.000 % |
1077.46/1078.10	c |   1333739 |     900    60464   199184 |    49075    47852     91 |  0.000 % |
1078.26/1078.98	c |   1335012 |     900    60464   199184 |    49075    49125     92 |  0.000 % |
1079.57/1080.26	c |   1336412 |     900    60464   199184 |    49075    45613     94 |  0.000 % |
1080.67/1081.38	c |   1337952 |     900    60464   199184 |    49075    47153     94 |  0.000 % |
1081.96/1082.60	c |   1339648 |     900    60464   199184 |    49075    48849     95 |  0.000 % |
1083.46/1084.10	c |   1341514 |     900    60464   199184 | 2147483647    50715     94 |  0.000 % |
1085.16/1085.86	c |   1343563 |     900    60464   199184 | 2147483647    52764     96 |  0.000 % |
1087.46/1088.19	c |   1345816 |     900    60464   199184 | 2147483647    55017     97 |  0.000 % |
1089.76/1090.44	c |   1348298 |     900    60464   199184 | 2147483647    57499     97 |  0.000 % |
1092.16/1092.87	c |   1351024 |     900    60464   199184 |    59202    52762    100 |  0.000 % |
1095.05/1095.78	c |   1354023 |     900    60464   199184 |    59202    55761    101 |  0.000 % |
1098.05/1098.71	c |   1357320 |     900    60464   199184 |    59202    59058    103 |  0.000 % |
1101.75/1102.41	c |   1360946 |     900    60464   199184 |    52196    44727    101 |  0.000 % |
1105.15/1105.83	c |   1364933 |     900    60464   199184 |    52196    48714    101 |  0.000 % |
1109.85/1110.55	c |   1369318 |     900    60464   199184 |    52196    44576    102 |  0.000 % |
1113.65/1114.34	c |   1374144 |     900    60464   199184 |    45258    42285    100 |  0.000 % |
1118.44/1119.11	c |   1379450 |     900    60464   199184 |    45258    41878    102 |  0.000 % |
1122.54/1123.25	c |   1385285 |     900    60464   199184 |    42428    42721    100 |  0.000 % |
1127.54/1128.28	c |   1391704 |     900    60464   199184 | 2147483647    40567     94 |  0.000 % |
1133.24/1134.00	c |   1398765 |     900    60464   199184 | 2147483647    47628     92 |  0.000 % |
1139.74/1140.43	c |   1406529 |     900    60464   199184 |    48864    47855     86 |  0.000 % |
1145.13/1145.82	c |   1415071 |     900    60464   199184 |    42918    41615     85 |  0.000 % |
1150.63/1151.37	c |   1424467 |     900    60464   199184 | 2147483647    46684     92 |  0.000 % |
1158.13/1158.89	c |   1434801 |     900    60464   199184 | 2147483647    57018     94 |  0.000 % |
1167.32/1168.04	c |   1446167 |     900    60464   199184 | 2147483647    68384     94 |  0.000 % |
1182.12/1182.84	c |   1458670 |     900    60464   199184 |    72217    66577     93 |  0.000 % |
1182.22/1182.98	c |   1458773 |     900    60464   199184 |    72217    66680     93 |  0.000 % |
1182.42/1183.12	c |   1458883 |     900    60464   199184 |    72217    66790     93 |  0.000 % |
1182.52/1183.28	c |   1459004 |     900    60464   199184 |    72217    66911     93 |  0.000 % |
1182.72/1183.46	c |   1459139 |     900    60464   199184 |    72217    67046     94 |  0.000 % |
1182.92/1183.65	c |   1459287 |     900    60464   199184 |    72217    67194     94 |  0.000 % |
1183.12/1183.83	c |   1459447 |     900    60464   199184 |    72217    67354     94 |  0.000 % |
1183.32/1184.00	c |   1459623 |     900    60464   199184 |    72217    67530     93 |  0.000 % |
1183.42/1184.17	c |   1459817 |     900    60464   199184 |    72217    67724     93 |  0.015 % |
1183.62/1184.37	c |   1460032 |     900    60464   199184 |    67908    67939     93 |  0.000 % |
1184.02/1184.73	c |   1460265 |     900    60464   199184 |    67908    52758     95 |  0.000 % |
1184.22/1184.95	c |   1460521 |     900    60464   199184 |    67908    53014     95 |  0.000 % |
1184.52/1185.22	c |   1460802 |     900    60464   199184 |    67908    53295     95 |  0.000 % |
1184.72/1185.42	c |   1461111 |     900    60464   199184 |    67908    53604     95 |  0.000 % |
1184.92/1185.69	c |   1461451 |     900    60464   199184 |    67908    53944     95 |  0.000 % |
1185.21/1185.99	c |   1461823 |     900    60464   199184 |    67908    54316     95 |  0.000 % |
1185.61/1186.32	c |   1462232 |     900    60464   199184 |    67908    54725     95 |  0.000 % |
1186.01/1186.72	c |   1462684 |     900    60464   199184 |    67908    55177     95 |  0.000 % |
1186.51/1187.21	c |   1463177 |     900    60464   199184 |    67908    55670     95 |  0.000 % |
1187.01/1187.71	c |   1463719 |     900    60464   199184 |    67908    56212     95 |  0.018 % |
1187.51/1188.27	c |   1464316 |     900    60464   199184 |    67908    56809     95 |  0.000 % |
1188.11/1188.82	c |   1464971 |     900    60464   199184 |    67908    57464     95 |  0.000 % |
1188.71/1189.43	c |   1465694 |     900    60464   199184 |    67908    58187     95 |  0.000 % |
1189.31/1190.02	c |   1466489 |     900    60464   199184 |    67908    58982     95 |  0.000 % |
1189.91/1190.66	c |   1467360 |     900    60464   199184 |    67908    59853     94 |  0.000 % |
1190.71/1191.46	c |   1468319 |     900    60464   199184 |    67908    60812     94 |  0.000 % |
1191.62/1192.34	c |   1469372 |     900    60464   199184 |    67908    61865     94 |  0.000 % |
1192.61/1193.38	c |   1470531 |     900    60464   199184 |    62493    63024     93 |  0.000 % |
1193.61/1194.34	c |   1471804 |     900    60464   199184 |    62493    53690     86 |  0.000 % |
1194.41/1195.17	c |   1473206 |     900    60464   199184 |    62493    55092     87 |  0.000 % |
1195.61/1196.31	c |   1474749 |     900    60464   199184 |    62493    56635     88 |  0.000 % |
1196.81/1197.54	c |   1476443 |     900    60464   199184 |    62493    58329     88 |  0.000 % |
1198.11/1198.85	c |   1478307 |     900    60464   199184 |    62493    60193     88 |  0.000 % |
1199.91/1200.68	c |   1480358 |     900    60464   199184 |    61886    62244     87 |  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-1834133-1242828343/watcher-1834133-1242828343 -o /tmp/evaluation-result-1834133-1242828343/solver-1834133-1242828343 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834133-1242828343.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 13612
/proc/meminfo: memFree=1686752/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0
/proc/13612/stat : 13612 (SatELiteGTI) R 13610 13612 13360 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 310863981 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/13612/statm: 1339 237 197 169 0 50 0
[pid=13616] ppid=13612 vsize=872 CPUtime=0
/proc/13616/stat : 13616 (SatELite_releas) R 13612 13612 13360 0 -1 4194304 79 0 0 0 0 0 0 0 18 0 1 0 310863981 892928 65 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/13616/statm: 218 66 49 173 0 43 0

[startup+0.045667 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 13612
/proc/meminfo: memFree=1686752/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310863981 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13612/statm: 1339 237 197 169 0 50 0
[pid=13616] ppid=13612 vsize=4752 CPUtime=0.03
/proc/13616/stat : 13616 (SatELite_releas) R 13612 13612 13360 0 -1 4194304 1029 0 0 0 3 0 0 0 21 0 1 0 310863981 4866048 1015 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/13616/statm: 1188 1015 75 173 0 1013 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10108

[startup+0.102672 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 13612
/proc/meminfo: memFree=1686752/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310863981 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13612/statm: 1339 237 197 169 0 50 0
[pid=13616] ppid=13612 vsize=6616 CPUtime=0.09
/proc/13616/stat : 13616 (SatELite_releas) R 13612 13612 13360 0 -1 4194304 1366 0 0 0 9 0 0 0 21 0 1 0 310863981 6774784 1352 1992294400 134512640 135223648 4294956128 18446744073709551615 134585495 0 0 4096 3 0 0 0 17 0 0 0
/proc/13616/statm: 1654 1352 76 173 0 1479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11972

[startup+0.301704 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 13612
/proc/meminfo: memFree=1686752/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356

[startup+0.701747 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 13612
/proc/meminfo: memFree=1686752/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356

[startup+1.50283 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1679120/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=8104 CPUtime=1.21
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 1925 0 0 0 120 1 0 0 25 0 1 0 310864008 8298496 1911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 2026 1911 77 171 0 1853 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13460

[startup+3.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1676624/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=11008 CPUtime=2.8
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 2644 0 0 0 279 1 0 0 25 0 1 0 310864008 11272192 2630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 2752 2630 77 171 0 2579 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16364

[startup+6.30136 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1671568/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=15528 CPUtime=6
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 3761 0 0 0 598 2 0 0 25 0 1 0 310864008 15900672 3747 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 3882 3747 77 171 0 3709 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20884

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1664272/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=22208 CPUtime=12.39
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 5424 0 0 0 1235 4 0 0 25 0 1 0 310864008 22740992 5410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/13618/statm: 5552 5410 77 171 0 5379 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27564

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1654928/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=31176 CPUtime=25.17
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 7684 0 0 0 2511 6 0 0 25 0 1 0 310864008 31924224 7670 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 7794 7670 77 171 0 7621 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 36532

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649552/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=50.74
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 5067 7 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 41680

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649360/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=101.91
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 10184 7 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 41680

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649296/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=161.87
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 16180 7 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 41680

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649296/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=221.83
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 22175 8 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 41680

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649232/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=281.8
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 28172 8 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 41680

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649168/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=36324 CPUtime=341.77
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 8960 0 0 0 34169 8 0 0 25 0 1 0 310864008 37195776 8946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 41680

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1649104/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26

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

/proc/13618/statm: 9081 8946 77 171 0 8908 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 41680

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645520/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39632 CPUtime=641.62
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9800 0 0 0 64152 10 0 0 25 0 1 0 310864008 40583168 9786 1992294400 134512640 135215339 4294956240 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9908 9786 77 171 0 9735 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 44988

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645392/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39632 CPUtime=701.59
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9808 0 0 0 70149 10 0 0 25 0 1 0 310864008 40583168 9794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9908 9794 77 171 0 9735 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 44988

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645264/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39804 CPUtime=761.55
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9836 0 0 0 76145 10 0 0 25 0 1 0 310864008 40759296 9822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9951 9822 77 171 0 9778 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 45160

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645200/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39804 CPUtime=821.53
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9836 0 0 0 82143 10 0 0 25 0 1 0 310864008 40759296 9822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9951 9822 77 171 0 9778 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 45160

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645136/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39804 CPUtime=881.51
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9836 0 0 0 88140 11 0 0 25 0 1 0 310864008 40759296 9822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9951 9822 77 171 0 9778 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 45160

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1645072/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=39804 CPUtime=941.47
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 9836 0 0 0 94136 11 0 0 25 0 1 0 310864008 40759296 9822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 9951 9822 77 171 0 9778 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 45160

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1643728/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41124 CPUtime=1001.45
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10169 0 0 0 100133 12 0 0 25 0 1 0 310864008 42110976 10155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10281 10155 77 171 0 10108 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 46480

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1643152/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41676 CPUtime=1061.42
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10294 0 0 0 106130 12 0 0 25 0 1 0 310864008 42676224 10280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10419 10280 77 171 0 10246 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 47032

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1643024/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41676 CPUtime=1121.38
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10295 0 0 0 112126 12 0 0 25 0 1 0 310864008 42676224 10281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10419 10281 77 171 0 10246 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 47032

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1642960/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41676 CPUtime=1181.36
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10301 0 0 0 118124 12 0 0 25 0 1 0 310864008 42676224 10287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10419 10287 77 171 0 10246 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 47032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1642832/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41816 CPUtime=1199.75
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10338 0 0 0 119963 12 0 0 25 0 1 0 310864008 42819584 10324 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10454 10324 77 171 0 10281 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 47172

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

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

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 13618
/proc/meminfo: memFree=1642832/2055920 swapFree=4120972/4192956
[pid=13612] ppid=13610 vsize=5356 CPUtime=0.26
/proc/13612/stat : 13612 (SatELiteGTI) S 13610 13612 13360 0 -1 4194304 336 1619 0 0 0 0 25 1 15 0 1 0 310863981 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13612/statm: 1339 239 197 169 0 50 0
[pid=13618] ppid=13612 vsize=41816 CPUtime=1199.75
/proc/13618/stat : 13618 (minisat_static) R 13612 13612 13360 0 -1 4194304 10338 0 0 0 119963 12 0 0 25 0 1 0 310864008 42819584 10324 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 0 0 0
/proc/13618/statm: 10454 10324 77 171 0 10281 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 47172

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.01
CPU user time (s): 1199.88
CPU system time (s): 0.13
CPU usage (%): 99.9415
Max. virtual memory (cumulated for all children) (KiB): 47172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.26196
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 20

runsolver used 1.01285 second user time and 3.49447 second system time

The end

Launcher Data

Begin job on node86 at 2009-05-20 16:05:43
IDJOB=1834133
IDBENCH=71554
IDSOLVER=671
FILE ID=node86/1834133-1242828343
PBS_JOBID= 9322533
Free space on /tmp= 66328 MiB

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

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

MD5SUM BENCH= 0b0881d9187e7912564ae88556ada128
RANDOM SEED=205455902

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1687296 kB
Buffers:         52992 kB
Cached:         204076 kB
SwapCached:      66340 kB
Active:         125340 kB
Inactive:       200260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687296 kB
SwapTotal:     4192956 kB
SwapFree:      4120972 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          14044 kB
Slab:            29016 kB
Committed_AS:  1075736 kB
PageTables:       1464 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= 66328 MiB
End job on node86 at 2009-05-20 16:25:46