Trace number 1832297

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.02 1200.81

General information on the benchmark

Namecrafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
MD5SUMef7f419fe4e145465fe8ec684a206f9b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1296
Number of clauses95904
Sum of the clauses size379728
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21944
Number of clauses of size 30
Number of clauses of size 493960
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |   95904   379728 |   28771       0        0     nan |  0.000 % |
8.27/8.33	c |         0 |   94608   563760 |      --       0       --      -- |     --   | -1296/184032
8.27/8.33	c ==============================================================================
8.27/8.33	c Result  :   #vars: 972   #clauses: 94608   #literals: 563760
8.27/8.33	c CPU time:   8.26574 s
8.27/8.33	c ==============================================================================
8.37/8.49	c This is MiniSat 2.0 beta
8.37/8.49	c WARNING: for repeatability, setting FPU to use double precision
8.37/8.49	c ============================[ Problem Statistics ]=============================
8.37/8.49	c |                                                                             |
8.37/8.49	c |  Number of variables:  972                                                  |
8.37/8.49	c |  Number of clauses:    94608                                                |
8.47/8.58	c |  Parsing time:         0.08         s                                       |
8.47/8.59	c ============================[ Search Statistics ]==============================
8.47/8.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.47/8.59	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.47/8.59	c ===============================================================================
8.47/8.59	c |         0 |     972    94608   563760 |    31536        0    nan |  0.000 % |
8.47/8.63	c |       100 |     972    94608   563760 |    31536      100     75 |  0.000 % |
8.47/8.65	c |       200 |     972    94608   563760 |    31536      200     74 |  0.000 % |
8.47/8.67	c |       300 |     972    94608   563760 |    31536      300     66 |  0.000 % |
8.47/8.68	c |       410 |     972    94608   563760 |    31536      410     61 |  0.000 % |
8.47/8.69	c |       510 |     972    94608   563760 |    31536      510     59 |  0.000 % |
8.66/8.71	c |       620 |     972    94608   563760 |    31536      620     58 |  0.000 % |
8.66/8.72	c |       741 |     972    94608   563760 |    31536      741     58 |  0.000 % |
8.66/8.73	c |       841 |     972    94608   563760 |    31536      841     58 |  0.000 % |
8.66/8.74	c |       952 |     972    94608   563760 |    31536      952     58 |  0.000 % |
8.66/8.75	c |      1073 |     972    94608   563760 |    31536     1073     56 |  0.000 % |
8.66/8.76	c |      1207 |     972    94608   563760 |    31536     1207     55 |  0.000 % |
8.66/8.77	c |      1309 |     972    94608   563760 |    31536     1309     54 |  0.000 % |
8.66/8.78	c |      1419 |     972    94608   563760 |    31536     1419     55 |  0.000 % |
8.66/8.79	c |      1543 |     972    94608   563760 |    31536     1543     55 |  0.000 % |
8.76/8.81	c |      1676 |     972    94608   563760 |    31536     1676     56 |  0.000 % |
8.76/8.82	c |      1824 |     972    94608   563760 |    31536     1824     56 |  0.000 % |
8.76/8.83	c |      1924 |     972    94608   563760 |    31536     1924     56 |  0.000 % |
8.76/8.84	c |      2035 |     972    94608   563760 |    31536     2035     56 |  0.000 % |
8.76/8.85	c |      2157 |     972    94608   563760 |    31536     2157     56 |  0.000 % |
8.76/8.87	c |      2291 |     972    94608   563760 |    31536     2291     55 |  0.000 % |
8.76/8.89	c |      2438 |     972    94608   563760 |    31536     2438     55 |  0.000 % |
8.86/8.90	c |      2599 |     972    94608   563760 |    31536     2599     55 |  0.000 % |
8.86/8.91	c |      2700 |     972    94608   563760 |    31536     2700     56 |  0.000 % |
8.86/8.92	c |      2811 |     972    94608   563760 |    31536     2811     55 |  0.000 % |
8.86/8.93	c |      2935 |     972    94608   563760 |    31536     2935     55 |  0.000 % |
8.86/8.94	c |      3068 |     972    94608   563760 |    31536     3068     55 |  0.000 % |
8.86/8.95	c |      3216 |     972    94608   563760 |    31536     3216     55 |  0.000 % |
8.86/8.96	c |      3378 |     972    94608   563760 |    31536     3378     54 |  0.000 % |
8.86/8.98	c |      3554 |     972    94608   563760 |    31536     3554     54 |  0.000 % |
8.86/8.99	c |      3655 |     972    94608   563760 |    31536     3655     54 |  0.000 % |
8.96/9.00	c |      3765 |     972    94608   563760 |    31536     3765     54 |  0.000 % |
8.96/9.01	c |      3886 |     972    94608   563760 |    31536     3886     55 |  0.000 % |
8.96/9.02	c |      4021 |     972    94608   563760 |    31536     4021     55 |  0.000 % |
8.96/9.04	c |      4167 |     972    94608   563760 |    31536     4167     55 |  0.000 % |
8.96/9.06	c |      4330 |     972    94608   563760 |    31536     4330     55 |  0.000 % |
8.96/9.08	c |      4506 |     972    94608   563760 |    31536     4506     56 |  0.000 % |
9.06/9.10	c |      4699 |     972    94608   563760 |    31536     4699     57 |  0.000 % |
9.06/9.11	c |      4800 |     972    94608   563760 |    31536     4800     57 |  0.000 % |
9.06/9.12	c |      4910 |     972    94608   563760 |    31536     4910     57 |  0.000 % |
9.06/9.13	c |      5032 |     972    94608   563760 |    31536     5032     57 |  0.000 % |
9.06/9.14	c |      5166 |     972    94608   563760 |    31536     5166     57 |  0.000 % |
9.06/9.15	c |      5312 |     972    94608   563760 |    31536     5312     57 |  0.000 % |
9.06/9.17	c |      5472 |     972    94608   563760 |    31536     5472     56 |  0.000 % |
9.06/9.19	c |      5648 |     972    94608   563760 |    31536     5648     57 |  0.000 % |
9.16/9.20	c |      5841 |     972    94608   563760 |    31536     5841     57 |  0.000 % |
9.16/9.22	c |      6054 |     972    94608   563760 |    31536     6054     57 |  0.000 % |
9.16/9.23	c |      6155 |     972    94608   563760 |    31536     6155     57 |  0.000 % |
9.16/9.24	c |      6265 |     972    94608   563760 |    31536     6265     57 |  0.000 % |
9.16/9.25	c |      6386 |     972    94608   563760 |    31536     6386     57 |  0.000 % |
9.16/9.27	c |      6523 |     972    94608   563760 |    31536     6523     57 |  0.000 % |
9.16/9.29	c |      6669 |     972    94608   563760 |    31536     6669     58 |  0.000 % |
9.25/9.30	c |      6830 |     972    94608   563760 |    31536     6830     57 |  0.000 % |
9.25/9.31	c |      7006 |     972    94608   563760 |    31536     7006     57 |  0.000 % |
9.25/9.34	c |      7199 |     972    94608   563760 |    31536     7199     58 |  0.000 % |
9.25/9.36	c |      7411 |     972    94608   563760 |    31536     7411     58 |  0.000 % |
9.25/9.38	c |      7644 |     972    94608   563760 |    31536     7644     58 |  0.000 % |
9.25/9.38	c |      7746 |     972    94608   563760 |    31536     7746     57 |  0.000 % |
9.25/9.40	c |      7856 |     972    94608   563760 |    31536     7856     57 |  0.000 % |
9.35/9.41	c |      7979 |     972    94608   563760 |    31536     7979     57 |  0.000 % |
9.35/9.41	c |      8112 |     972    94608   563760 |    31536     8112     57 |  0.000 % |
9.35/9.43	c |      8258 |     972    94608   563760 |    31536     8258     57 |  0.000 % |
9.35/9.44	c |      8420 |     972    94608   563760 |    31536     8420     57 |  0.000 % |
9.35/9.46	c |      8596 |     972    94608   563760 |    31536     8596     57 |  0.000 % |
9.35/9.48	c |      8791 |     972    94608   563760 |    31536     8791     58 |  0.000 % |
9.45/9.50	c |      9003 |     972    94608   563760 |    31536     9003     58 |  0.000 % |
9.45/9.53	c |      9236 |     972    94608   563760 |    31536     9236     58 |  0.000 % |
9.45/9.54	c |      9492 |     972    94608   563760 |    31536     9492     57 |  0.000 % |
9.45/9.55	c |      9592 |     972    94608   563760 |    31536     9592     57 |  0.000 % |
9.45/9.57	c |      9703 |     972    94608   563760 |    31536     9703     57 |  0.000 % |
9.45/9.58	c |      9827 |     972    94608   563760 |    31536     9827     57 |  0.000 % |
9.45/9.59	c |      9961 |     972    94608   563760 |    31536     9961     57 |  0.000 % |
9.55/9.60	c |     10107 |     972    94608   563760 | 2147483647    10107     57 |  0.000 % |
9.55/9.61	c |     10267 |     972    94608   563760 | 2147483647    10267     57 |  0.000 % |
9.55/9.63	c |     10445 |     972    94608   563760 | 2147483647    10445     57 |  0.000 % |
9.55/9.65	c |     10638 |     972    94608   563760 | 2147483647    10638     57 |  0.000 % |
9.55/9.67	c |     10851 |     972    94608   563760 | 2147483647    10851     58 |  0.000 % |
9.65/9.70	c |     11084 |     972    94608   563760 | 2147483647    11084     58 |  0.000 % |
9.65/9.73	c |     11340 |     972    94608   563760 | 2147483647    11340     58 |  0.000 % |
9.65/9.75	c |     11621 |     972    94608   563760 | 2147483647    11621     58 |  0.000 % |
9.65/9.77	c |     11721 |     972    94608   563760 | 2147483647    11721     58 |  0.000 % |
9.65/9.78	c |     11831 |     972    94608   563760 | 2147483647    11831     58 |  0.000 % |
9.65/9.79	c |     11953 |     972    94608   563760 | 2147483647    11953     58 |  0.000 % |
9.75/9.80	c |     12086 |     972    94608   563760 | 2147483647    12086     58 |  0.000 % |
9.75/9.83	c |     12237 |     972    94608   563760 | 2147483647    12237     58 |  0.000 % |
9.75/9.84	c |     12398 |     972    94608   563760 | 2147483647    12398     58 |  0.000 % |
9.75/9.86	c |     12574 |     972    94608   563760 | 2147483647    12574     59 |  0.000 % |
9.75/9.88	c |     12767 |     972    94608   563760 | 2147483647    12767     58 |  0.000 % |
9.75/9.90	c |     12980 |     972    94608   563760 | 2147483647    12980     58 |  0.000 % |
9.85/9.91	c |     13214 |     972    94608   563760 | 2147483647    13214     58 |  0.000 % |
9.85/9.94	c |     13470 |     972    94608   563760 | 2147483647    13470     59 |  0.000 % |
9.85/9.97	c |     13751 |     972    94608   563760 | 2147483647    13751     58 |  0.000 % |
9.85/9.99	c |     14060 |     972    94608   563760 | 2147483647    14060     59 |  0.000 % |
9.94/10.01	c |     14164 |     972    94608   563760 | 2147483647    14164     59 |  0.000 % |
9.94/10.02	c |     14275 |     972    94608   563760 | 2147483647    14275     58 |  0.000 % |
9.94/10.03	c |     14399 |     972    94608   563760 | 2147483647    14399     58 |  0.000 % |
9.94/10.05	c |     14534 |     972    94608   563760 | 2147483647    14534     58 |  0.000 % |
9.94/10.07	c |     14684 |     972    94608   563760 | 2147483647    14684     59 |  0.000 % |
9.94/10.08	c |     14844 |     972    94608   563760 | 2147483647    14844     58 |  0.000 % |
10.04/10.10	c |     15020 |     972    94608   563760 | 2147483647    15020     59 |  0.000 % |
10.04/10.13	c |     15213 |     972    94608   563760 | 2147483647    15213     59 |  0.000 % |
10.04/10.14	c |     15425 |     972    94608   563760 | 2147483647    15425     59 |  0.000 % |
10.04/10.16	c |     15658 |     972    94608   563760 | 2147483647    15658     58 |  0.000 % |
10.04/10.19	c |     15914 |     972    94608   563760 | 2147483647    15914     58 |  0.000 % |
10.14/10.21	c |     16195 |     972    94608   563760 | 2147483647    16195     58 |  0.000 % |
10.14/10.24	c |     16504 |     972    94608   563760 | 2147483647    16504     58 |  0.000 % |
10.14/10.28	c |     16843 |     972    94608   563760 | 2147483647    16843     58 |  0.000 % |
10.14/10.29	c |     16944 |     972    94608   563760 | 2147483647    16944     58 |  0.000 % |
10.24/10.30	c |     17054 |     972    94608   563760 | 2147483647    17054     58 |  0.000 % |
10.24/10.32	c |     17175 |     972    94608   563760 | 2147483647    17175     58 |  0.000 % |
10.24/10.34	c |     17308 |     972    94608   563760 | 2147483647    17308     58 |  0.000 % |
10.24/10.35	c |     17455 |     972    94608   563760 | 2147483647    17455     58 |  0.000 % |
10.24/10.37	c |     17616 |     972    94608   563760 | 2147483647    17616     58 |  0.000 % |
10.24/10.38	c |     17792 |     972    94608   563760 | 2147483647    17792     58 |  0.000 % |
10.35/10.40	c |     17985 |     972    94608   563760 | 2147483647    17985     58 |  0.000 % |
10.35/10.42	c |     18200 |     972    94608   563760 | 2147483647    18200     58 |  0.000 % |
10.35/10.45	c |     18434 |     972    94608   563760 | 2147483647    18434     58 |  0.000 % |
10.35/10.48	c |     18691 |     972    94608   563760 | 2147483647    18691     58 |  0.000 % |
10.45/10.51	c |     18973 |     972    94608   563760 | 2147483647    18973     58 |  0.000 % |
10.45/10.53	c |     19283 |     972    94608   563760 | 2147483647    19283     58 |  0.000 % |
10.45/10.57	c |     19622 |     972    94608   563760 | 2147483647    19622     58 |  0.000 % |
10.55/10.60	c |     19996 |     972    94608   563760 | 2147483647    19996     58 |  0.000 % |
10.55/10.61	c |     20096 |     972    94608   563760 | 2147483647    20096     58 |  0.000 % |
10.55/10.62	c |     20206 |     972    94608   563760 | 2147483647    20206     58 |  0.000 % |
10.55/10.63	c |     20327 |     972    94608   563760 | 2147483647    20327     58 |  0.000 % |
10.55/10.64	c |     20460 |     972    94608   563760 | 2147483647    20460     58 |  0.000 % |
10.55/10.66	c |     20606 |     972    94608   563760 | 2147483647    20606     58 |  0.000 % |
10.55/10.68	c |     20766 |     972    94608   563760 | 2147483647    20766     58 |  0.000 % |
10.65/10.70	c |     20943 |     972    94608   563760 | 2147483647    20943     58 |  0.000 % |
10.65/10.72	c |     21137 |     972    94608   563760 | 2147483647    21137     58 |  0.000 % |
10.65/10.74	c |     21349 |     972    94608   563760 | 2147483647    21349     58 |  0.000 % |
10.65/10.76	c |     21582 |     972    94608   563760 | 2147483647    21582     58 |  0.000 % |
10.65/10.78	c |     21839 |     972    94608   563760 | 2147483647    21839     58 |  0.000 % |
10.75/10.82	c |     22120 |     972    94608   563760 | 2147483647    22120     58 |  0.000 % |
10.75/10.84	c |     22430 |     972    94608   563760 | 2147483647    22430     58 |  0.000 % |
10.75/10.88	c |     22769 |     972    94608   563760 | 2147483647    22769     58 |  0.000 % |
10.85/10.91	c |     23143 |     972    94608   563760 | 2147483647    23143     58 |  0.000 % |
10.85/10.97	c |     23553 |     972    94608   563760 | 2147483647    23553     58 |  0.000 % |
10.85/10.98	c |     23654 |     972    94608   563760 | 2147483647    23654     58 |  0.000 % |
10.85/11.00	c |     23764 |     972    94608   563760 | 2147483647    23764     58 |  0.000 % |
10.95/11.01	c |     23888 |     972    94608   563760 | 2147483647    23888     58 |  0.000 % |
10.95/11.03	c |     24021 |     972    94608   563760 | 2147483647    24021     58 |  0.000 % |
10.95/11.07	c |     24167 |     972    94608   563760 | 2147483647    24167     59 |  0.000 % |
10.95/11.09	c |     24327 |     972    94608   563760 | 2147483647    24327     59 |  0.000 % |
11.04/11.10	c |     24503 |     972    94608   563760 | 2147483647    24503     58 |  0.000 % |
11.04/11.13	c |     24698 |     972    94608   563760 | 2147483647    24698     58 |  0.000 % |
11.04/11.15	c |     24910 |     972    94608   563760 | 2147483647    24910     58 |  0.000 % |
11.04/11.17	c |     25147 |     972    94608   563760 | 2147483647    25147     58 |  0.000 % |
11.14/11.20	c |     25405 |     972    94608   563760 | 2147483647    25405     58 |  0.000 % |
11.14/11.23	c |     25688 |     972    94608   563760 | 2147483647    25688     58 |  0.000 % |
11.14/11.25	c |     25997 |     972    94608   563760 | 2147483647    25997     58 |  0.000 % |
11.14/11.27	c |     26336 |     972    94608   563760 | 2147483647    26336     58 |  0.000 % |
11.24/11.31	c |     26708 |     972    94608   563760 | 2147483647    26708     58 |  0.000 % |
11.24/11.36	c |     27118 |     972    94608   563760 | 2147483647    27118     58 |  0.000 % |
11.34/11.41	c |     27570 |     972    94608   563760 | 2147483647    27570     58 |  0.000 % |
11.34/11.43	c |     27671 |     972    94608   563760 | 2147483647    27671     58 |  0.000 % |
11.34/11.44	c |     27782 |     972    94608   563760 | 2147483647    27782     58 |  0.000 % |
11.34/11.46	c |     27903 |     972    94608   563760 | 2147483647    27903     58 |  0.000 % |
11.34/11.47	c |     28040 |     972    94608   563760 | 2147483647    28040     58 |  0.000 % |
11.44/11.50	c |     28186 |     972    94608   563760 | 2147483647    28186     58 |  0.000 % |
11.44/11.52	c |     28348 |     972    94608   563760 | 2147483647    28348     58 |  0.000 % |
11.44/11.54	c |     28524 |     972    94608   563760 | 2147483647    28524     58 |  0.000 % |
11.44/11.57	c |     28717 |     972    94608   563760 | 2147483647    28717     58 |  0.000 % |
11.44/11.58	c |     28929 |     972    94608   563760 | 2147483647    28929     58 |  0.000 % |
11.54/11.61	c |     29164 |     972    94608   563760 | 2147483647    29164     58 |  0.000 % |
11.54/11.63	c |     29421 |     972    94608   563760 | 2147483647    29421     58 |  0.000 % |
11.54/11.66	c |     29702 |     972    94608   563760 | 2147483647    29702     58 |  0.000 % |
11.54/11.70	c |     30011 |     972    94608   563760 | 2147483647    30011     58 |  0.000 % |
11.64/11.75	c |     30350 |     972    94608   563760 | 2147483647    30350     58 |  0.000 % |
11.64/11.78	c |     30722 |     972    94608   563760 | 2147483647    30722     58 |  0.000 % |
11.74/11.83	c |     31133 |     972    94608   563760 | 2147483647    31133     58 |  0.000 % |
11.74/11.87	c |     31584 |     972    94608   563760 | 2147483647    31584     58 |  0.000 % |
11.84/11.96	c |     32079 |     972    94608   563760 | 2147483647    32079     58 |  0.000 % |
11.84/11.97	c |     32179 |     972    94608   563760 | 2147483647    32179     58 |  0.000 % |
11.84/11.98	c |     32289 |     972    94608   563760 | 2147483647    32289     58 |  0.000 % |
11.95/12.01	c |     32410 |     972    94608   563760 | 2147483647    32410     58 |  0.000 % |
11.95/12.03	c |     32543 |     972    94608   563760 | 2147483647    32543     58 |  0.000 % |
11.95/12.05	c |     32689 |     972    94608   563760 | 2147483647    32689     58 |  0.000 % |
11.95/12.07	c |     32851 |     972    94608   563760 | 2147483647    32851     58 |  0.000 % |
11.95/12.10	c |     33028 |     972    94608   563760 | 2147483647    33028     58 |  0.000 % |
12.05/12.13	c |     33222 |     972    94608   563760 | 2147483647    33222     58 |  0.000 % |
12.05/12.14	c |     33434 |     972    94608   563760 | 2147483647    33434     58 |  0.000 % |
12.05/12.17	c |     33668 |     972    94608   563760 | 2147483647    33668     58 |  0.000 % |
12.15/12.21	c |     33924 |     972    94608   563760 | 2147483647    33924     58 |  0.000 % |
12.15/12.25	c |     34205 |     972    94608   563760 | 2147483647    34205     59 |  0.000 % |
12.15/12.29	c |     34515 |     972    94608   563760 | 2147483647    34515     59 |  0.000 % |
12.24/12.34	c |     34855 |     972    94608   563760 | 2147483647    34855     59 |  0.000 % |
12.24/12.37	c |     35228 |     972    94608   563760 | 2147483647    35228     59 |  0.000 % |
12.34/12.42	c |     35639 |     972    94608   563760 | 2147483647    35639     59 |  0.000 % |
12.34/12.48	c |     36090 |     972    94608   563760 | 2147483647    36090     59 |  0.000 % |
12.44/12.58	c |     36583 |     972    94608   563760 | 2147483647    36583     59 |  0.000 % |
12.54/12.65	c |     37125 |     972    94608   563760 | 2147483647    37125     59 |  0.000 % |
12.54/12.66	c |     37225 |     972    94608   563760 | 2147483647    37225     59 |  0.000 % |
12.54/12.68	c |     37335 |     972    94608   563760 | 2147483647    37335     59 |  0.000 % |
12.54/12.70	c |     37457 |     972    94608   563760 | 2147483647    37457     59 |  0.000 % |
12.64/12.71	c |     37590 |     972    94608   563760 | 2147483647    37590     59 |  0.000 % |
12.64/12.74	c |     37736 |     972    94608   563760 | 2147483647    37736     59 |  0.000 % |
12.64/12.76	c |     37896 |     972    94608   563760 | 2147483647    37896     59 |  0.000 % |
12.64/12.79	c |     38072 |     972    94608   563760 | 2147483647    38072     59 |  0.000 % |
12.74/12.82	c |     38266 |     972    94608   563760 | 2147483647    38266     59 |  0.000 % |
12.74/12.85	c |     38478 |     972    94608   563760 | 2147483647    38478     59 |  0.000 % |
12.74/12.88	c |     38711 |     972    94608   563760 | 2147483647    38711     59 |  0.000 % |
12.84/12.91	c |     38967 |     972    94608   563760 | 2147483647    38967     59 |  0.000 % |
12.84/12.95	c |     39249 |     972    94608   563760 | 2147483647    39249     59 |  0.000 % |
12.94/13.00	c |     39558 |     972    94608   563760 | 2147483647    39558     59 |  0.000 % |
12.94/13.06	c |     39901 |     972    94608   563760 | 2147483647    39901     59 |  0.000 % |
13.04/13.11	c |     40274 |     972    94608   563760 | 2147483647    40274     59 |  0.000 % |
13.04/13.17	c |     40684 |     972    94608   563760 | 2147483647    40684     59 |  0.000 % |
13.14/13.22	c |     41134 |     972    94608   563760 | 2147483647    41134     59 |  0.000 % |
13.14/13.26	c |     41629 |     972    94608   563760 | 2147483647    41629     59 |  0.000 % |
13.24/13.31	c |     42171 |     972    94608   563760 | 2147483647    42171     60 |  0.000 % |
13.34/13.45	c |     42767 |     972    94608   563760 | 2147483647    42767     60 |  0.000 % |
13.34/13.47	c |     42867 |     972    94608   563760 | 2147483647    42867     60 |  0.000 % |
13.34/13.49	c |     42978 |     972    94608   563760 | 2147483647    42978     60 |  0.000 % |
13.44/13.51	c |     43100 |     972    94608   563760 | 2147483647    43100     60 |  0.000 % |
13.44/13.53	c |     43233 |     972    94608   563760 | 2147483647    43233     60 |  0.000 % |
13.44/13.55	c |     43380 |     972    94608   563760 | 2147483647    43380     60 |  0.000 % |
13.44/13.57	c |     43541 |     972    94608   563760 | 2147483647    43541     60 |  0.000 % |
13.53/13.62	c |     43718 |     972    94608   563760 | 2147483647    43718     60 |  0.000 % |
13.53/13.66	c |     43911 |     972    94608   563760 | 2147483647    43911     60 |  0.000 % |
13.53/13.69	c |     44124 |     972    94608   563760 | 2147483647    44124     60 |  0.000 % |
13.63/13.71	c |     44357 |     972    94608   563760 | 2147483647    44357     60 |  0.000 % |
13.63/13.76	c |     44614 |     972    94608   563760 | 2147483647    44614     60 |  0.000 % |
13.73/13.80	c |     44896 |     972    94608   563760 | 2147483647    44896     60 |  0.000 % |
13.73/13.87	c |     45208 |     972    94608   563760 | 2147483647    45208     60 |  0.000 % |
13.83/13.94	c |     45548 |     972    94608   563760 | 2147483647    45548     60 |  0.000 % |
13.93/14.02	c |     45921 |     972    94608   563760 | 2147483647    45921     60 |  0.000 % |
13.93/14.07	c |     46332 |     972    94608   563760 | 2147483647    46332     60 |  0.000 % |
14.03/14.16	c |     46784 |     972    94608   563760 | 2147483647    46784     60 |  0.000 % |
14.14/14.24	c |     47278 |     972    94608   563760 | 2147483647    47278     60 |  0.000 % |
14.24/14.32	c |     47820 |     972    94608   563760 | 2147483647    47820     60 |  0.000 % |
14.33/14.46	c |     48416 |     972    94608   563760 | 2147483647    48416     61 |  0.000 % |
14.53/14.63	c |     49071 |     972    94608   563760 | 2147483647    49071     61 |  0.000 % |
14.53/14.66	c |     49172 |     972    94608   563760 | 2147483647    49172     61 |  0.000 % |
14.53/14.68	c |     49282 |     972    94608   563760 | 2147483647    49282     61 |  0.000 % |
14.53/14.69	c |     49403 |     972    94608   563760 | 2147483647    49403     61 |  0.000 % |
14.64/14.72	c |     49536 |     972    94608   563760 | 2147483647    49536     61 |  0.000 % |
14.64/14.75	c |     49682 |     972    94608   563760 | 2147483647    49682     61 |  0.000 % |
14.64/14.77	c |     49842 |     972    94608   563760 | 2147483647    49842     61 |  0.000 % |
14.74/14.80	c |     50018 |     972    94608   563760 | 2147483647    50018     61 |  0.000 % |
14.74/14.84	c |     50216 |     972    94608   563760 | 2147483647    50216     61 |  0.000 % |
14.74/14.87	c |     50428 |     972    94608   563760 | 2147483647    50428     61 |  0.000 % |
14.84/14.90	c |     50662 |     972    94608   563760 | 2147483647    50662     61 |  0.000 % |
14.84/14.95	c |     50918 |     972    94608   563760 | 2147483647    50918     61 |  0.000 % |
14.84/14.99	c |     51204 |     972    94608   563760 | 2147483647    51204     61 |  0.000 % |
14.94/15.05	c |     51513 |     972    94608   563760 | 2147483647    51513     61 |  0.000 % |
15.04/15.12	c |     51853 |     972    94608   563760 | 2147483647    51853     61 |  0.000 % |
15.04/15.17	c |     52225 |     972    94608   563760 | 2147483647    52225     61 |  0.000 % |
15.14/15.21	c |     52634 |     972    94608   563760 | 2147483647    52634     61 |  0.000 % |
15.14/15.27	c |     53085 |     972    94608   563760 | 2147483647    53085     61 |  0.000 % |
15.24/15.39	c |     53578 |     972    94608   563760 | 2147483647    53578     61 |  0.000 % |
15.34/15.46	c |     54120 |     972    94608   563760 | 2147483647    54120     61 |  0.000 % |
15.43/15.54	c |     54717 |     972    94608   563760 | 2147483647    54717     61 |  0.000 % |
15.53/15.67	c |     55373 |     972    94608   563760 | 2147483647    55373     61 |  0.000 % |
15.63/15.78	c |     56095 |     972    94608   563760 | 2147483647    56095     61 |  0.000 % |
15.73/15.81	c |     56197 |     972    94608   563760 | 2147483647    56197     61 |  0.000 % |
15.73/15.82	c |     56308 |     972    94608   563760 | 2147483647    56308     61 |  0.000 % |
15.73/15.85	c |     56429 |     972    94608   563760 | 2147483647    56429     61 |  0.000 % |
15.73/15.87	c |     56564 |     972    94608   563760 | 2147483647    56564     61 |  0.000 % |
15.83/15.90	c |     56710 |     972    94608   563760 | 2147483647    56710     61 |  0.000 % |
15.83/15.92	c |     56870 |     972    94608   563760 | 2147483647    56870     61 |  0.000 % |
15.83/15.96	c |     57047 |     972    94608   563760 | 2147483647    57047     61 |  0.000 % |
15.93/16.01	c |     57241 |     972    94608   563760 | 2147483647    57241     61 |  0.000 % |
15.93/16.05	c |     57453 |     972    94608   563760 | 2147483647    57453     61 |  0.000 % |
15.93/16.09	c |     57687 |     972    94608   563760 | 2147483647    57687     61 |  0.000 % |
16.03/16.13	c |     57943 |     972    94608   563760 | 2147483647    57943     61 |  0.000 % |
16.03/16.18	c |     58226 |     972    94608   563760 | 2147483647    58226     61 |  0.000 % |
16.13/16.25	c |     58535 |     972    94608   563760 | 2147483647    58535     61 |  0.000 % |
16.23/16.34	c |     58876 |     972    94608   563760 | 2147483647    58876     61 |  0.000 % |
16.23/16.38	c |     59248 |     972    94608   563760 | 2147483647    59248     61 |  0.000 % |
16.34/16.44	c |     59658 |     972    94608   563760 | 2147483647    59658     61 |  0.000 % |
16.44/16.51	c |     60107 |     972    94608   563760 | 2147483647    60107     61 |  0.000 % |
16.53/16.62	c |     60600 |     972    94608   563760 | 2147483647    60600     62 |  0.000 % |
16.53/16.67	c |     61142 |     972    94608   563760 | 2147483647    61142     62 |  0.000 % |
16.63/16.72	c |     61741 |     972    94608   563760 | 2147483647    61741     62 |  0.000 % |
16.73/16.80	c |     62396 |     972    94608   563760 | 2147483647    62396     62 |  0.000 % |
16.73/16.88	c |     63116 |     972    94608   563760 | 2147483647    63116     62 |  0.000 % |
16.93/17.00	c |     63910 |     972    94608   563760 | 2147483647    63910     62 |  0.000 % |
16.93/17.02	c |     64010 |     972    94608   563760 | 2147483647    64010     62 |  0.000 % |
16.93/17.05	c |     64123 |     972    94608   563760 | 2147483647    64123     62 |  0.000 % |
16.93/17.07	c |     64244 |     972    94608   563760 | 2147483647    64244     62 |  0.000 % |
16.93/17.09	c |     64377 |     972    94608   563760 | 2147483647    64377     62 |  0.000 % |
17.03/17.12	c |     64523 |     972    94608   563760 | 2147483647    64523     62 |  0.000 % |
17.03/17.16	c |     64683 |     972    94608   563760 | 2147483647    64683     62 |  0.000 % |
17.03/17.19	c |     64859 |     972    94608   563760 | 2147483647    64859     62 |  0.000 % |
17.13/17.22	c |     65052 |     972    94608   563760 | 2147483647    65052     62 |  0.000 % |
17.13/17.27	c |     65266 |     972    94608   563760 | 2147483647    65266     62 |  0.000 % |
17.23/17.30	c |     65499 |     972    94608   563760 | 2147483647    65499     62 |  0.000 % |
17.23/17.36	c |     65755 |     972    94608   563760 | 2147483647    65755     62 |  0.000 % |
17.33/17.40	c |     66036 |     972    94608   563760 | 2147483647    66036     62 |  0.000 % |
17.33/17.44	c |     66345 |     972    94608   563760 | 2147483647    66345     62 |  0.000 % |
17.43/17.52	c |     66684 |     972    94608   563760 | 2147483647    66684     62 |  0.000 % |
17.53/17.62	c |     67056 |     972    94608   563760 | 2147483647    67056     62 |  0.000 % |
17.63/17.73	c |     67465 |     972    94608   563760 | 2147483647    67465     62 |  0.000 % |
17.63/17.80	c |     67914 |     972    94608   563760 | 2147483647    67914     62 |  0.000 % |
17.73/17.86	c |     68407 |     972    94608   563760 | 2147483647    68407     62 |  0.000 % |
17.83/17.94	c |     68950 |     972    94608   563760 | 2147483647    68950     62 |  0.000 % |
17.93/18.05	c |     69546 |     972    94608   563760 | 2147483647    69546     62 |  0.000 % |
18.13/18.21	c |     70202 |     972    94608   563760 | 2147483647    70202     62 |  0.000 % |
18.22/18.31	c |     70922 |     972    94608   563760 | 2147483647    70922     62 |  0.000 % |
18.32/18.46	c |     71716 |     972    94608   563760 | 2147483647    71716     62 |  0.000 % |
18.53/18.67	c |     72587 |     972    94608   563760 | 2147483647    72587     62 |  0.000 % |
18.53/18.69	c |     72687 |     972    94608   563760 | 2147483647    72687     62 |  0.000 % |
18.62/18.72	c |     72797 |     972    94608   563760 | 2147483647    72797     62 |  0.000 % |
18.62/18.76	c |     72920 |     972    94608   563760 | 2147483647    72920     62 |  0.000 % |
18.62/18.78	c |     73053 |     972    94608   563760 | 2147483647    73053     62 |  0.000 % |
18.72/18.82	c |     73199 |     972    94608   563760 | 2147483647    73199     62 |  0.000 % |
18.72/18.85	c |     73360 |     972    94608   563760 | 2147483647    73360     62 |  0.000 % |
18.72/18.89	c |     73536 |     972    94608   563760 | 2147483647    73536     62 |  0.000 % |
18.82/18.95	c |     73729 |     972    94608   563760 | 2147483647    73729     62 |  0.000 % |
18.82/18.99	c |     73942 |     972    94608   563760 | 2147483647    73942     62 |  0.000 % |
18.92/19.05	c |     74176 |     972    94608   563760 | 2147483647    74176     62 |  0.000 % |
18.92/19.10	c |     74432 |     972    94608   563760 | 2147483647    74432     62 |  0.000 % |
19.02/19.13	c |     74713 |     972    94608   563760 | 2147483647    74713     62 |  0.000 % |
19.02/19.17	c |     75022 |     972    94608   563760 | 2147483647    75022     62 |  0.000 % |
19.12/19.25	c |     75361 |     972    94608   563760 | 2147483647    75361     62 |  0.000 % |
19.22/19.30	c |     75733 |     972    94608   563760 | 2147483647    75733     62 |  0.000 % |
19.33/19.40	c |     76142 |     972    94608   563760 | 2147483647    76142     62 |  0.000 % |
19.33/19.47	c |     76591 |     972    94608   563760 | 2147483647    76591     62 |  0.000 % |
19.43/19.60	c |     77085 |     972    94608   563760 | 2147483647    77085     62 |  0.000 % |
19.53/19.66	c |     77630 |     972    94608   563760 | 2147483647    77630     62 |  0.000 % |
19.63/19.75	c |     78226 |     972    94608   563760 | 2147483647    78226     62 |  0.000 % |
19.73/19.85	c |     78882 |     972    94608   563760 | 2147483647    78882     62 |  0.000 % |
19.83/19.98	c |     79602 |     972    94608   563760 | 2147483647    79602     62 |  0.000 % |
20.02/20.17	c |     80396 |     972    94608   563760 | 2147483647    80396     62 |  0.000 % |
20.22/20.33	c |     81269 |     972    94608   563760 | 2147483647    81269     62 |  0.000 % |
20.42/20.51	c |     82227 |     972    94608   563760 | 2147483647    82227     63 |  0.000 % |
20.42/20.54	c |     82327 |     972    94608   563760 | 2147483647    82327     63 |  0.000 % |
20.42/20.57	c |     82437 |     972    94608   563760 | 2147483647    82437     63 |  0.000 % |
20.42/20.59	c |     82559 |     972    94608   563760 | 2147483647    82559     63 |  0.000 % |
20.53/20.65	c |     82693 |     972    94608   563760 | 2147483647    82693     63 |  0.000 % |
20.53/20.69	c |     82839 |     972    94608   563760 | 2147483647    82839     63 |  0.000 % |
20.62/20.72	c |     83001 |     972    94608   563760 | 2147483647    83001     63 |  0.000 % |
20.62/20.76	c |     83177 |     972    94608   563760 | 2147483647    83177     63 |  0.000 % |
20.62/20.79	c |     83374 |     972    94608   563760 | 2147483647    83374     63 |  0.000 % |
20.73/20.83	c |     83587 |     972    94608   563760 | 2147483647    83587     63 |  0.000 % |
20.73/20.88	c |     83820 |     972    94608   563760 | 2147483647    83820     63 |  0.000 % |
20.83/20.93	c |     84076 |     972    94608   563760 | 2147483647    84076     63 |  0.000 % |
20.92/21.01	c |     84358 |     972    94608   563760 | 2147483647    84358     63 |  0.000 % |
20.92/21.05	c |     84669 |     972    94608   563760 | 2147483647    84669     63 |  0.000 % |
21.02/21.13	c |     85008 |     972    94608   563760 | 2147483647    85008     63 |  0.000 % |
21.12/21.25	c |     85380 |     972    94608   563760 | 2147483647    85380     63 |  0.000 % |
21.22/21.35	c |     85790 |     972    94608   563760 | 2147483647    85790     63 |  0.000 % |
21.32/21.42	c |     86239 |     972    94608   563760 | 2147483647    86239     63 |  0.000 % |
21.32/21.48	c |     86733 |     972    94608   563760 | 2147483647    86733     63 |  0.000 % |
21.42/21.57	c |     87276 |     972    94608   563760 | 2147483647    87276     63 |  0.000 % |
21.62/21.70	c |     87872 |     972    94608   563760 | 2147483647    87872     63 |  0.000 % |
21.72/21.84	c |     88527 |     972    94608   563760 | 2147483647    88527     63 |  0.000 % |
21.92/22.09	c |     89248 |     972    94608   563760 | 2147483647    89248     63 |  0.000 % |
22.12/22.26	c |     90040 |     972    94608   563760 | 2147483647    90040     63 |  0.000 % |
22.32/22.42	c |     90911 |     972    94608   563760 | 2147483647    90911     63 |  0.000 % |
22.42/22.57	c |     91869 |     972    94608   563760 | 2147483647    91869     63 |  0.000 % |
22.62/22.77	c |     92922 |     972    94608   563760 | 2147483647    92922     63 |  0.000 % |
22.72/22.81	c |     93022 |     972    94608   563760 | 2147483647    93022     63 |  0.000 % |
22.72/22.85	c |     93134 |     972    94608   563760 | 2147483647    93134     63 |  0.000 % |
22.72/22.87	c |     93255 |     972    94608   563760 | 2147483647    93255     63 |  0.000 % |
22.72/22.89	c |     93388 |     972    94608   563760 | 2147483647    93388     63 |  0.000 % |
22.82/22.92	c |     93536 |     972    94608   563760 | 2147483647    93536     63 |  0.000 % |
22.82/22.97	c |     93696 |     972    94608   563760 | 2147483647    93696     63 |  0.000 % |
22.82/22.99	c |     93872 |     972    94608   563760 | 2147483647    93872     63 |  0.000 % |
22.92/23.02	c |     94065 |     972    94608   563760 | 2147483647    94065     63 |  0.000 % |
22.92/23.07	c |     94277 |     972    94608   563760 | 2147483647    94277     63 |  0.000 % |
23.02/23.14	c |     94514 |     972    94608   563760 | 2147483647    94514     63 |  0.000 % |
23.12/23.20	c |     94770 |     972    94608   563760 | 2147483647    94770     63 |  0.000 % |
23.12/23.25	c |     95051 |     972    94608   563760 | 2147483647    95051     63 |  0.000 % |
23.22/23.37	c |     95361 |     972    94608   563760 | 2147483647    95361     63 |  0.000 % |
23.32/23.45	c |     95700 |     972    94608   563760 | 2147483647    95700     63 |  0.000 % |
23.42/23.52	c |     96072 |     972    94608   563760 | 2147483647    96072     63 |  0.000 % |
23.52/23.64	c |     96485 |     972    94608   563760 | 2147483647    96485     63 |  0.000 % |
23.62/23.72	c |     96935 |     972    94608   563760 | 2147483647    96935     63 |  0.000 % |
23.72/23.82	c |     97428 |     972    94608   563760 | 2147483647    97428     63 |  0.000 % |
23.82/23.94	c |     97970 |     972    94608   563760 | 2147483647    97970     63 |  0.000 % |
23.92/24.02	c |     98569 |     972    94608   563760 | 2147483647    98569     63 |  0.000 % |
24.02/24.20	c |     99224 |     972    94608   563760 | 2147483647    99224     63 |  0.000 % |
24.22/24.33	c |     99945 |     972    94608   563760 | 2147483647    99945     63 |  0.000 % |
24.42/24.54	c |    100737 |     972    94608   563760 | 2147483647   100737     63 |  0.000 % |
24.51/24.66	c |    101609 |     972    94608   563760 | 2147483647   101609     63 |  0.000 % |
24.71/24.88	c |    102567 |     972    94608   563760 | 2147483647   102567     64 |  0.000 % |
25.01/25.10	c |    103623 |     972    94608   563760 | 2147483647   103623     64 |  0.000 % |
25.23/25.36	c |    104781 |     972    94608   563760 | 2147483647   104781     64 |  0.000 % |
25.23/25.39	c |    104885 |     972    94608   563760 | 2147483647   104885     64 |  0.000 % |
25.32/25.42	c |    104996 |     972    94608   563760 | 2147483647   104996     64 |  0.000 % |
25.32/25.45	c |    105119 |     972    94608   563760 | 2147483647   105119     64 |  0.000 % |
25.32/25.48	c |    105252 |     972    94608   563760 | 2147483647   105252     64 |  0.000 % |
25.42/25.51	c |    105402 |     972    94608   563760 | 2147483647   105402     64 |  0.000 % |
25.42/25.54	c |    105562 |     972    94608   563760 | 2147483647   105562     64 |  0.000 % |
25.52/25.61	c |    105738 |     972    94608   563760 | 2147483647   105738     64 |  0.000 % |
25.52/25.66	c |    105931 |     972    94608   563760 | 2147483647   105931     64 |  0.000 % |
25.62/25.71	c |    106143 |     972    94608   563760 | 2147483647   106143     64 |  0.000 % |
25.62/25.76	c |    106376 |     972    94608   563760 | 2147483647   106376     64 |  0.000 % |
25.72/25.81	c |    106633 |     972    94608   563760 | 2147483647   106633     64 |  0.000 % |
25.72/25.89	c |    106915 |     972    94608   563760 | 2147483647   106915     64 |  0.000 % |
25.82/25.96	c |    107224 |     972    94608   563760 | 2147483647   107224     64 |  0.000 % |
25.92/26.03	c |    107563 |     972    94608   563760 | 2147483647   107563     64 |  0.000 % |
26.02/26.14	c |    107937 |     972    94608   563760 | 2147483647   107937     64 |  0.000 % |
26.12/26.22	c |    108346 |     972    94608   563760 | 2147483647   108346     64 |  0.000 % |
26.22/26.36	c |    108795 |     972    94608   563760 | 2147483647   108795     64 |  0.000 % |
26.32/26.47	c |    109289 |     972    94608   563760 | 2147483647   109289     64 |  0.000 % |
26.51/26.61	c |    109835 |     972    94608   563760 | 2147483647   109835     64 |  0.000 % |
26.61/26.71	c |    110433 |     972    94608   563760 | 2147483647   110433     64 |  0.000 % |
26.71/26.86	c |    111088 |     972    94608   563760 | 2147483647   111088     64 |  0.000 % |
27.01/27.12	c |    111808 |     972    94608   563760 | 2147483647   111808     64 |  0.000 % |
27.11/27.25	c |    112600 |     972    94608   563760 | 2147483647   112600     64 |  0.000 % |
27.32/27.44	c |    113473 |     972    94608   563760 | 2147483647   113473     64 |  0.000 % |
27.42/27.59	c |    114431 |     972    94608   563760 | 2147483647   114431     64 |  0.000 % |
27.71/27.85	c |    115484 |     972    94608   563760 | 2147483647   115484     64 |  0.000 % |
28.01/28.13	c |    116648 |     972    94608   563760 | 2147483647   116648     64 |  0.000 % |
28.42/28.52	c |    117921 |     972    94608   563760 | 2147483647   117921     64 |  0.000 % |
28.42/28.54	c |    118021 |     972    94608   563760 | 2147483647   118021     64 |  0.000 % |
28.42/28.60	c |    118131 |     972    94608   563760 | 2147483647   118131     64 |  0.000 % |
28.52/28.63	c |    118255 |     972    94608   563760 | 2147483647   118255     64 |  0.000 % |
28.52/28.67	c |    118389 |     972    94608   563760 | 2147483647   118389     64 |  0.000 % |
28.62/28.74	c |    118536 |     972    94608   563760 | 2147483647   118536     64 |  0.000 % |
28.72/28.81	c |    118696 |     972    94608   563760 | 2147483647   118696     64 |  0.000 % |
28.72/28.86	c |    118872 |     972    94608   563760 | 2147483647   118872     64 |  0.000 % |
28.72/28.88	c |    119065 |     972    94608   563760 | 2147483647   119065     64 |  0.000 % |
28.82/28.92	c |    119279 |     972    94608   563760 | 2147483647   119279     64 |  0.000 % |
28.82/28.96	c |    119513 |     972    94608   563760 | 2147483647   119513     64 |  0.000 % |
28.92/29.03	c |    119769 |     972    94608   563760 | 2147483647   119769     64 |  0.000 % |
29.02/29.11	c |    120050 |     972    94608   563760 | 2147483647   120050     64 |  0.000 % |
29.02/29.19	c |    120359 |     972    94608   563760 | 2147483647   120359     64 |  0.000 % |
29.12/29.24	c |    120698 |     972    94608   563760 | 2147483647   120698     64 |  0.000 % |
29.22/29.32	c |    121070 |     972    94608   563760 | 2147483647   121070     64 |  0.000 % |
29.31/29.43	c |    121479 |     972    94608   563760 | 2147483647   121479     64 |  0.000 % |
29.31/29.50	c |    121929 |     972    94608   563760 | 2147483647   121929     64 |  0.000 % |
29.52/29.61	c |    122423 |     972    94608   563760 | 2147483647   122423     64 |  0.000 % |
29.62/29.76	c |    122965 |     972    94608   563760 | 2147483647   122965     64 |  0.000 % |
29.81/29.93	c |    123561 |     972    94608   563760 | 2147483647   123561     64 |  0.000 % |
30.01/30.19	c |    124217 |     972    94608   563760 | 2147483647   124217     64 |  0.000 % |
30.21/30.34	c |    124938 |     972    94608   563760 | 2147483647   124938     64 |  0.000 % |
30.41/30.56	c |    125730 |     972    94608   563760 | 2147483647   125730     64 |  0.000 % |
30.81/30.94	c |    126601 |     972    94608   563760 | 2147483647   126601     64 |  0.000 % |
31.21/31.32	c |    127560 |     972    94608   563760 | 2147483647   127560     65 |  0.000 % |
31.61/31.71	c |    128613 |     972    94608   563760 | 2147483647   128613     65 |  0.000 % |
31.91/32.00	c |    129773 |     972    94608   563760 | 2147483647   129773     65 |  0.000 % |
32.31/32.49	c |    131047 |     972    94608   563760 | 2147483647   131047     65 |  0.000 % |
32.71/32.85	c |    132448 |     972    94608   563760 | 2147483647   132448     65 |  0.000 % |
32.71/32.88	c |    132548 |     972    94608   563760 | 2147483647   132548     65 |  0.000 % |
32.81/32.94	c |    132658 |     972    94608   563760 | 2147483647   132658     65 |  0.000 % |
32.81/32.98	c |    132779 |     972    94608   563760 | 2147483647   132779     65 |  0.000 % |
32.92/33.02	c |    132913 |     972    94608   563760 | 2147483647   132913     65 |  0.000 % |
32.92/33.05	c |    133060 |     972    94608   563760 | 2147483647   133060     65 |  0.000 % |
33.01/33.10	c |    133221 |     972    94608   563760 | 2147483647   133221     65 |  0.000 % |
33.01/33.13	c |    133397 |     972    94608   563760 | 2147483647   133397     65 |  0.000 % |
33.01/33.17	c |    133590 |     972    94608   563760 | 2147483647   133590     65 |  0.000 % |
33.11/33.25	c |    133804 |     972    94608   563760 | 2147483647   133804     65 |  0.000 % |
33.11/33.29	c |    134037 |     972    94608   563760 | 2147483647   134037     65 |  0.000 % |
33.21/33.37	c |    134294 |     972    94608   563760 | 2147483647   134294     65 |  0.000 % |
33.31/33.40	c |    134577 |     972    94608   563760 | 2147483647   134577     65 |  0.000 % |
33.31/33.47	c |    134886 |     972    94608   563760 | 2147483647   134886     65 |  0.000 % |
33.41/33.55	c |    135225 |     972    94608   563760 | 2147483647   135225     65 |  0.000 % |
33.51/33.64	c |    135597 |     972    94608   563760 | 2147483647   135597     65 |  0.000 % |
33.61/33.77	c |    136006 |     972    94608   563760 | 2147483647   136006     65 |  0.000 % |
33.71/33.89	c |    136456 |     972    94608   563760 | 2147483647   136456     65 |  0.000 % |
33.91/34.07	c |    136949 |     972    94608   563760 | 2147483647   136949     65 |  0.000 % |
34.11/34.26	c |    137492 |     972    94608   563760 | 2147483647   137492     65 |  0.000 % |
34.31/34.42	c |    138088 |     972    94608   563760 | 2147483647   138088     65 |  0.000 % |
34.41/34.59	c |    138743 |     972    94608   563760 | 2147483647   138743     65 |  0.000 % |
34.61/34.75	c |    139465 |     972    94608   563760 | 2147483647   139465     65 |  0.000 % |
34.81/34.91	c |    140258 |     972    94608   563760 | 2147483647   140258     65 |  0.000 % |
34.91/35.05	c |    141129 |     972    94608   563760 | 2147483647   141129     65 |  0.000 % |
35.11/35.21	c |    142087 |     972    94608   563760 | 2147483647   142087     65 |  0.000 % |
35.60/35.71	c |    143142 |     972    94608   563760 | 2147483647   143142     65 |  0.000 % |
35.90/36.06	c |    144300 |     972    94608   563760 | 2147483647   144300     65 |  0.000 % |
36.41/36.53	c |    145573 |     972    94608   563760 | 2147483647   145573     65 |  0.000 % |
36.91/37.03	c |    146974 |     972    94608   563760 | 2147483647   146974     65 |  0.000 % |
37.21/37.39	c |    148515 |     972    94608   563760 | 2147483647   148515     65 |  0.000 % |
37.31/37.44	c |    148616 |     972    94608   563760 | 2147483647   148616     65 |  0.000 % |
37.31/37.47	c |    148727 |     972    94608   563760 | 2147483647   148727     65 |  0.000 % |
37.40/37.50	c |    148849 |     972    94608   563760 | 2147483647   148849     65 |  0.000 % |
37.40/37.53	c |    148984 |     972    94608   563760 | 2147483647   148984     65 |  0.000 % |
37.40/37.59	c |    149130 |     972    94608   563760 | 2147483647   149130     65 |  0.000 % |
37.50/37.61	c |    149290 |     972    94608   563760 | 2147483647   149290     65 |  0.000 % |
37.50/37.68	c |    149466 |     972    94608   563760 | 2147483647   149466     65 |  0.000 % |
37.60/37.74	c |    149659 |     972    94608   563760 | 2147483647   149659     65 |  0.000 % |
37.70/37.81	c |    149873 |     972    94608   563760 | 2147483647   149873     65 |  0.000 % |
37.70/37.87	c |    150107 |     972    94608   563760 | 2147483647   150107     65 |  0.000 % |
37.80/37.93	c |    150363 |     972    94608   563760 | 2147483647   150363     65 |  0.000 % |
37.80/38.00	c |    150644 |     972    94608   563760 | 2147483647   150644     65 |  0.000 % |
37.90/38.05	c |    150955 |     972    94608   563760 | 2147483647   150955     65 |  0.000 % |
38.10/38.20	c |    151294 |     972    94608   563760 | 2147483647   151294     65 |  0.000 % |
38.10/38.28	c |    151666 |     972    94608   563760 | 2147483647   151666     65 |  0.000 % |
38.20/38.36	c |    152076 |     972    94608   563760 | 2147483647   152076     65 |  0.000 % |
38.41/38.53	c |    152525 |     972    94608   563760 | 2147483647   152525     65 |  0.000 % |
38.50/38.69	c |    153018 |     972    94608   563760 | 2147483647   153018     65 |  0.000 % |
38.70/38.83	c |    153563 |     972    94608   563760 | 2147483647   153563     65 |  0.000 % |
38.80/38.95	c |    154159 |     972    94608   563760 | 2147483647   154159     65 |  0.000 % |
39.00/39.12	c |    154816 |     972    94608   563760 | 2147483647   154816     65 |  0.000 % |
39.20/39.32	c |    155536 |     972    94608   563760 | 2147483647   155536     65 |  0.000 % |
39.40/39.55	c |    156329 |     972    94608   563760 | 2147483647   156329     65 |  0.000 % |
39.70/39.82	c |    157201 |     972    94608   563760 | 2147483647   157201     65 |  0.000 % |
39.91/40.05	c |    158160 |     972    94608   563760 | 2147483647   158160     65 |  0.000 % |
40.20/40.37	c |    159213 |     972    94608   563760 | 2147483647   159213     66 |  0.000 % |
40.60/40.73	c |    160371 |     972    94608   563760 | 2147483647   160371     66 |  0.000 % |
41.00/41.14	c |    161644 |     972    94608   563760 | 2147483647   161644     66 |  0.000 % |
41.50/41.67	c |    163048 |     972    94608   563760 | 2147483647   163048     66 |  0.000 % |
42.10/42.24	c |    164589 |     972    94608   563760 | 2147483647   164589     66 |  0.000 % |
42.60/42.79	c |    166284 |     972    94608   563760 | 2147483647   166284     66 |  0.000 % |
42.70/42.82	c |    166384 |     972    94608   563760 | 2147483647   166384     66 |  0.000 % |
42.70/42.85	c |    166494 |     972    94608   563760 | 2147483647   166494     66 |  0.000 % |
42.70/42.89	c |    166615 |     972    94608   563760 | 2147483647   166615     66 |  0.000 % |
42.80/42.92	c |    166748 |     972    94608   563760 | 2147483647   166748     66 |  0.000 % |
42.80/42.97	c |    166896 |     972    94608   563760 | 2147483647   166896     66 |  0.000 % |
42.80/42.99	c |    167056 |     972    94608   563760 | 2147483647   167056     66 |  0.000 % |
42.90/43.05	c |    167233 |     972    94608   563760 | 2147483647   167233     66 |  0.000 % |
43.00/43.10	c |    167427 |     972    94608   563760 | 2147483647   167427     66 |  0.000 % |
43.00/43.18	c |    167639 |     972    94608   563760 | 2147483647   167639     66 |  0.000 % |
43.10/43.24	c |    167876 |     972    94608   563760 | 2147483647   167876     66 |  0.000 % |
43.20/43.33	c |    168134 |     972    94608   563760 | 2147483647   168134     66 |  0.000 % |
43.30/43.42	c |    168415 |     972    94608   563760 | 2147483647   168415     66 |  0.000 % |
43.30/43.49	c |    168724 |     972    94608   563760 | 2147483647   168724     66 |  0.000 % |
43.39/43.55	c |    169063 |     972    94608   563760 | 2147483647   169063     66 |  0.000 % |
43.59/43.72	c |    169435 |     972    94608   563760 | 2147483647   169435     66 |  0.000 % |
43.69/43.82	c |    169845 |     972    94608   563760 | 2147483647   169845     66 |  0.000 % |
43.80/43.98	c |    170294 |     972    94608   563760 | 2147483647   170294     66 |  0.000 % |
43.99/44.18	c |    170787 |     972    94608   563760 | 2147483647   170787     66 |  0.000 % |
44.19/44.37	c |    171332 |     972    94608   563760 | 2147483647   171332     66 |  0.000 % |
44.39/44.53	c |    171929 |     972    94608   563760 | 2147483647   171929     66 |  0.000 % |
44.49/44.67	c |    172584 |     972    94608   563760 | 2147483647   172584     66 |  0.000 % |
44.89/45.01	c |    173306 |     972    94608   563760 | 2147483647   173306     66 |  0.000 % |
45.10/45.29	c |    174099 |     972    94608   563760 | 2147483647   174099     66 |  0.000 % |
45.40/45.56	c |    174972 |     972    94608   563760 | 2147483647   174972     66 |  0.000 % |
45.70/45.85	c |    175931 |     972    94608   563760 | 2147483647   175931     66 |  0.000 % |
46.10/46.21	c |    176984 |     972    94608   563760 | 2147483647   176984     67 |  0.000 % |
46.40/46.53	c |    178144 |     972    94608   563760 | 2147483647   178144     67 |  0.000 % |
46.80/46.96	c |    179420 |     972    94608   563760 | 2147483647   179420     67 |  0.000 % |
47.30/47.45	c |    180820 |     972    94608   563760 | 2147483647   180820     67 |  0.000 % |
47.59/47.80	c |    182360 |     972    94608   563760 | 2147483647   182360     67 |  0.000 % |
48.29/48.45	c |    184054 |     972    94608   563760 | 2147483647   184054     67 |  0.000 % |
49.19/49.31	c |    185917 |     972    94608   563760 | 2147483647   185917     67 |  0.000 % |
49.19/49.33	c |    186017 |     972    94608   563760 | 2147483647   186017     67 |  0.000 % |
49.19/49.38	c |    186127 |     972    94608   563760 | 2147483647   186127     67 |  0.000 % |
49.29/49.41	c |    186249 |     972    94608   563760 | 2147483647   186249     67 |  0.000 % |
49.29/49.44	c |    186383 |     972    94608   563760 | 2147483647   186383     67 |  0.000 % |
49.29/49.49	c |    186529 |     972    94608   563760 | 2147483647   186529     67 |  0.000 % |
49.39/49.57	c |    186689 |     972    94608   563760 | 2147483647   186689     67 |  0.000 % |
49.49/49.62	c |    186865 |     972    94608   563760 | 2147483647   186865     67 |  0.000 % |
49.49/49.69	c |    187058 |     972    94608   563760 | 2147483647   187058     67 |  0.000 % |
49.69/49.80	c |    187270 |     972    94608   563760 | 2147483647   187270     67 |  0.000 % |
49.69/49.86	c |    187504 |     972    94608   563760 | 2147483647   187504     67 |  0.000 % |
49.79/49.94	c |    187760 |     972    94608   563760 | 2147483647   187760     67 |  0.000 % |
49.89/50.01	c |    188041 |     972    94608   563760 | 2147483647   188041     67 |  0.000 % |
49.99/50.11	c |    188350 |     972    94608   563760 | 2147483647   188350     67 |  0.000 % |
49.99/50.18	c |    188689 |     972    94608   563760 | 2147483647   188689     67 |  0.000 % |
50.09/50.27	c |    189062 |     972    94608   563760 | 2147483647   189062     67 |  0.000 % |
50.29/50.42	c |    189471 |     972    94608   563760 | 2147483647   189471     67 |  0.000 % |
50.39/50.52	c |    189921 |     972    94608   563760 | 2147483647   189921     67 |  0.000 % |
50.49/50.68	c |    190415 |     972    94608   563760 | 2147483647   190415     67 |  0.000 % |
50.68/50.81	c |    190957 |     972    94608   563760 | 2147483647   190957     67 |  0.000 % |
50.78/50.95	c |    191555 |     972    94608   563760 | 2147483647   191555     67 |  0.000 % |
50.99/51.15	c |    192210 |     972    94608   563760 | 2147483647   192210     67 |  0.000 % |
51.29/51.42	c |    192930 |     972    94608   563760 | 2147483647   192930     67 |  0.000 % |
51.50/51.66	c |    193722 |     972    94608   563760 | 2147483647   193722     67 |  0.000 % |
51.69/51.89	c |    194593 |     972    94608   563760 | 2147483647   194593     67 |  0.000 % |
52.18/52.37	c |    195555 |     972    94608   563760 | 2147483647   195555     67 |  0.000 % |
52.48/52.67	c |    196608 |     972    94608   563760 | 2147483647   196608     67 |  0.000 % |
52.79/52.98	c |    197766 |     972    94608   563760 | 2147483647   197766     67 |  0.000 % |
53.18/53.36	c |    199040 |     972    94608   563760 | 2147483647   199040     67 |  0.000 % |
53.88/54.05	c |    200440 |     972    94608   563760 | 2147483647   200440     67 |  0.000 % |
54.28/54.46	c |    201980 |     972    94608   563760 | 2147483647   201980     67 |  0.000 % |
54.88/55.03	c |    203676 |     972    94608   563760 | 2147483647   203676     67 |  0.000 % |
55.68/55.80	c |    205539 |     972    94608   563760 | 2147483647   205539     67 |  0.000 % |
56.28/56.44	c |    207588 |     972    94608   563760 | 2147483647   207588     67 |  0.000 % |
56.28/56.49	c |    207688 |     972    94608   563760 | 2147483647   207688     67 |  0.000 % |
56.38/56.52	c |    207800 |     972    94608   563760 | 2147483647   207800     67 |  0.000 % |
56.38/56.56	c |    207922 |     972    94608   563760 | 2147483647   207922     67 |  0.000 % |
56.48/56.62	c |    208056 |     972    94608   563760 | 2147483647   208056     67 |  0.000 % |
56.48/56.68	c |    208203 |     972    94608   563760 | 2147483647   208203     67 |  0.000 % |
56.58/56.72	c |    208363 |     972    94608   563760 | 2147483647   208363     67 |  0.000 % |
56.58/56.79	c |    208541 |     972    94608   563760 | 2147483647   208541     67 |  0.000 % |
56.68/56.86	c |    208734 |     972    94608   563760 | 2147483647   208734     67 |  0.000 % |
56.78/56.95	c |    208946 |     972    94608   563760 | 2147483647   208946     67 |  0.000 % |
56.88/57.01	c |    209179 |     972    94608   563760 | 2147483647   209179     67 |  0.000 % |
56.88/57.09	c |    209436 |     972    94608   563760 | 2147483647   209436     67 |  0.000 % |
56.98/57.19	c |    209717 |     972    94608   563760 | 2147483647   209717     67 |  0.000 % |
57.18/57.34	c |    210026 |     972    94608   563760 | 2147483647   210026     67 |  0.000 % |
57.38/57.58	c |    210367 |     972    94608   563760 | 2147483647   210367     67 |  0.000 % |
57.58/57.73	c |    210739 |     972    94608   563760 | 2147483647   210739     67 |  0.000 % |
57.78/57.91	c |    211149 |     972    94608   563760 | 2147483647   211149     67 |  0.000 % |
57.88/58.06	c |    211598 |     972    94608   563760 | 2147483647   211598     67 |  0.000 % |
58.18/58.31	c |    212091 |     972    94608   563760 | 2147483647   212091     67 |  0.000 % |
58.28/58.43	c |    212635 |     972    94608   563760 | 2147483647   212635     67 |  0.000 % |
58.38/58.57	c |    213232 |     972    94608   563760 | 2147483647   213232     67 |  0.000 % |
58.58/58.75	c |    213888 |     972    94608   563760 | 2147483647   213888     67 |  0.000 % |
58.88/59.06	c |    214608 |     972    94608   563760 | 2147483647   214608     67 |  0.000 % |
59.08/59.25	c |    215400 |     972    94608   563760 | 2147483647   215400     67 |  0.000 % |
59.37/59.53	c |    216272 |     972    94608   563760 | 2147483647   216272     67 |  0.000 % |
59.57/59.79	c |    217230 |     972    94608   563760 | 2147483647   217230     67 |  0.000 % |
59.97/60.13	c |    218284 |     972    94608   563760 | 2147483647   218284     67 |  0.000 % |
60.27/60.50	c |    219443 |     972    94608   563760 | 2147483647   219443     67 |  0.000 % |
60.77/60.95	c |    220717 |     972    94608   563760 | 2147483647   220717     67 |  0.000 % |
61.07/61.29	c |    222117 |     972    94608   563760 | 2147483647   222117     67 |  0.000 % |
61.78/61.90	c |    223661 |     972    94608   563760 | 2147483647   223661     68 |  0.000 % |
62.48/62.63	c |    225355 |     972    94608   563760 | 2147483647   225355     68 |  0.000 % |
63.77/63.95	c |    227219 |     972    94608   563760 | 2147483647   227219     68 |  0.000 % |
64.27/64.43	c |    229268 |     972    94608   563760 | 2147483647   229268     68 |  0.000 % |
64.78/64.95	c |    231522 |     972    94608   563760 | 2147483647   231522     68 |  0.000 % |
64.87/65.02	c |    231622 |     972    94608   563760 | 2147483647   231622     68 |  0.000 % |
64.87/65.07	c |    231733 |     972    94608   563760 | 2147483647   231733     68 |  0.000 % |
64.97/65.11	c |    231854 |     972    94608   563760 | 2147483647   231854     68 |  0.000 % |
64.97/65.14	c |    231988 |     972    94608   563760 | 2147483647   231988     68 |  0.000 % |
64.97/65.18	c |    232135 |     972    94608   563760 | 2147483647   232135     68 |  0.000 % |
65.07/65.23	c |    232298 |     972    94608   563760 | 2147483647   232298     68 |  0.000 % |
65.07/65.29	c |    232475 |     972    94608   563760 | 2147483647   232475     68 |  0.000 % |
65.17/65.34	c |    232669 |     972    94608   563760 | 2147483647   232669     68 |  0.000 % |
65.27/65.44	c |    232883 |     972    94608   563760 | 2147483647   232883     68 |  0.000 % |
65.37/65.52	c |    233116 |     972    94608   563760 | 2147483647   233116     68 |  0.000 % |
65.37/65.58	c |    233373 |     972    94608   563760 | 2147483647   233373     68 |  0.000 % |
65.57/65.70	c |    233654 |     972    94608   563760 | 2147483647   233654     68 |  0.000 % |
65.67/65.82	c |    233963 |     972    94608   563760 | 2147483647   233963     68 |  0.000 % |
65.78/65.94	c |    234302 |     972    94608   563760 | 2147483647   234302     68 |  0.000 % |
65.87/66.05	c |    234675 |     972    94608   563760 | 2147483647   234675     68 |  0.000 % |
65.97/66.13	c |    235084 |     972    94608   563760 | 2147483647   235084     68 |  0.000 % |
66.17/66.34	c |    235535 |     972    94608   563760 | 2147483647   235535     68 |  0.000 % |
66.37/66.50	c |    236029 |     972    94608   563760 | 2147483647   236029     68 |  0.000 % |
66.47/66.67	c |    236571 |     972    94608   563760 | 2147483647   236571     68 |  0.000 % |
66.68/66.86	c |    237167 |     972    94608   563760 | 2147483647   237167     68 |  0.000 % |
66.88/67.02	c |    237822 |     972    94608   563760 | 2147483647   237822     68 |  0.000 % |
67.18/67.37	c |    238542 |     972    94608   563760 | 2147483647   238542     68 |  0.000 % |
67.58/67.77	c |    239334 |     972    94608   563760 | 2147483647   239334     68 |  0.000 % |
67.87/68.02	c |    240208 |     972    94608   563760 | 2147483647   240208     68 |  0.000 % |
68.37/68.51	c |    241166 |     972    94608   563760 | 2147483647   241166     68 |  0.000 % |
68.57/68.73	c |    242219 |     972    94608   563760 | 2147483647   242219     68 |  0.000 % |
69.07/69.23	c |    243379 |     972    94608   563760 | 2147483647   243379     68 |  0.000 % |
69.67/69.81	c |    244652 |     972    94608   563760 | 2147483647   244652     68 |  0.000 % |
69.97/70.16	c |    246052 |     972    94608   563760 | 2147483647   246052     68 |  0.000 % |
70.57/70.73	c |    247592 |     972    94608   563760 | 2147483647   247592     68 |  0.000 % |
71.27/71.48	c |    249286 |     972    94608   563760 | 2147483647   249286     68 |  0.000 % |
71.97/72.12	c |    251149 |     972    94608   563760 | 2147483647   251149     68 |  0.000 % |
73.07/73.23	c |    253199 |     972    94608   563760 | 2147483647   253199     69 |  0.000 % |
74.47/74.64	c |    255453 |     972    94608   563760 | 2147483647   255453     69 |  0.000 % |
75.56/75.72	c |    257932 |     972    94608   563760 | 2147483647   257932     69 |  0.000 % |
75.56/75.76	c |    258033 |     972    94608   563760 | 2147483647   258033     69 |  0.000 % |
75.67/75.87	c |    258143 |     972    94608   563760 | 2147483647   258143     69 |  0.000 % |
75.77/75.92	c |    258264 |     972    94608   563760 | 2147483647   258264     69 |  0.000 % |
75.77/75.97	c |    258397 |     972    94608   563760 | 2147483647   258397     69 |  0.000 % |
75.86/76.06	c |    258543 |     972    94608   563760 | 2147483647   258543     69 |  0.000 % |
75.96/76.14	c |    258705 |     972    94608   563760 | 2147483647   258705     69 |  0.000 % |
75.96/76.18	c |    258882 |     972    94608   563760 | 2147483647   258882     69 |  0.000 % |
76.06/76.29	c |    259075 |     972    94608   563760 | 2147483647   259075     69 |  0.000 % |
76.26/76.44	c |    259287 |     972    94608   563760 | 2147483647   259287     69 |  0.000 % |
76.36/76.54	c |    259520 |     972    94608   563760 | 2147483647   259520     69 |  0.000 % |
76.46/76.67	c |    259776 |     972    94608   563760 | 2147483647   259776     69 |  0.000 % |
76.56/76.76	c |    260058 |     972    94608   563760 | 2147483647   260058     69 |  0.000 % |
76.66/76.85	c |    260367 |     972    94608   563760 | 2147483647   260367     69 |  0.000 % |
76.77/76.97	c |    260706 |     972    94608   563760 | 2147483647   260706     69 |  0.000 % |
76.96/77.11	c |    261078 |     972    94608   563760 | 2147483647   261078     69 |  0.000 % |
77.16/77.40	c |    261487 |     972    94608   563760 | 2147483647   261487     69 |  0.000 % |
77.36/77.54	c |    261938 |     972    94608   563760 | 2147483647   261938     69 |  0.000 % |
77.56/77.77	c |    262431 |     972    94608   563760 | 2147483647   262431     69 |  0.000 % |
77.77/77.95	c |    262973 |     972    94608   563760 | 2147483647   262973     69 |  0.000 % |
78.07/78.24	c |    263570 |     972    94608   563760 | 2147483647   263570     69 |  0.000 % |
78.47/78.63	c |    264225 |     972    94608   563760 | 2147483647   264225     69 |  0.000 % |
78.87/79.04	c |    264945 |     972    94608   563760 | 2147483647   264945     69 |  0.000 % |
79.16/79.38	c |    265740 |     972    94608   563760 | 2147483647   265740     69 |  0.000 % |
79.56/79.74	c |    266612 |     972    94608   563760 | 2147483647   266612     69 |  0.000 % |
79.76/79.99	c |    267571 |     972    94608   563760 | 2147483647   267571     69 |  0.000 % |
80.46/80.69	c |    268624 |     972    94608   563760 | 2147483647   268624     69 |  0.000 % |
80.86/81.08	c |    269782 |     972    94608   563760 | 2147483647   269782     69 |  0.000 % |
81.46/81.69	c |    271055 |     972    94608   563760 | 2147483647   271055     69 |  0.000 % |
82.16/82.30	c |    272456 |     972    94608   563760 | 2147483647   272456     69 |  0.000 % |
82.46/82.68	c |    273996 |     972    94608   563760 | 2147483647   273996     69 |  0.000 % |
83.36/83.55	c |    275691 |     972    94608   563760 | 2147483647   275691     69 |  0.000 % |
83.96/84.20	c |    277556 |     972    94608   563760 | 2147483647   277556     69 |  0.000 % |
84.76/84.94	c |    279605 |     972    94608   563760 | 2147483647   279605     69 |  0.000 % |
86.16/86.32	c |    281858 |     972    94608   563760 | 2147483647   281858     69 |  0.000 % |
87.16/87.34	c |    284340 |     972    94608   563760 | 2147483647   284340     69 |  0.000 % |
88.76/88.90	c |    287067 |     972    94608   563760 | 2147483647   287067     70 |  0.000 % |
88.76/88.99	c |    287167 |     972    94608   563760 | 2147483647   287167     70 |  0.000 % |
88.86/89.04	c |    287277 |     972    94608   563760 | 2147483647   287277     70 |  0.000 % |
88.86/89.08	c |    287398 |     972    94608   563760 | 2147483647   287398     70 |  0.000 % |
88.96/89.19	c |    287531 |     972    94608   563760 | 2147483647   287531     70 |  0.000 % |
89.06/89.28	c |    287677 |     972    94608   563760 | 2147483647   287677     70 |  0.000 % |
89.16/89.38	c |    287839 |     972    94608   563760 | 2147483647   287839     70 |  0.000 % |
89.26/89.43	c |    288015 |     972    94608   563760 | 2147483647   288015     70 |  0.000 % |
89.36/89.58	c |    288209 |     972    94608   563760 | 2147483647   288209     70 |  0.000 % |
89.46/89.68	c |    288421 |     972    94608   563760 | 2147483647   288421     70 |  0.000 % |
89.55/89.76	c |    288659 |     972    94608   563760 | 2147483647   288659     70 |  0.000 % |
89.65/89.87	c |    288915 |     972    94608   563760 | 2147483647   288915     70 |  0.000 % |
89.85/90.02	c |    289199 |     972    94608   563760 | 2147483647   289199     70 |  0.000 % |
89.97/90.18	c |    289508 |     972    94608   563760 | 2147483647   289508     70 |  0.000 % |
90.16/90.38	c |    289847 |     972    94608   563760 | 2147483647   289847     70 |  0.000 % |
90.36/90.53	c |    290221 |     972    94608   563760 | 2147483647   290221     70 |  0.000 % |
90.66/90.80	c |    290630 |     972    94608   563760 | 2147483647   290630     70 |  0.000 % |
90.96/91.14	c |    291079 |     972    94608   563760 | 2147483647   291079     70 |  0.000 % |
91.26/91.46	c |    291573 |     972    94608   563760 | 2147483647   291573     70 |  0.000 % |
91.46/91.62	c |    292118 |     972    94608   563760 | 2147483647   292118     70 |  0.000 % |
91.56/91.79	c |    292718 |     972    94608   563760 | 2147483647   292718     70 |  0.000 % |
91.85/92.06	c |    293373 |     972    94608   563760 | 2147483647   293373     70 |  0.000 % |
92.35/92.51	c |    294093 |     972    94608   563760 | 2147483647   294093     70 |  0.000 % |
92.96/93.11	c |    294885 |     972    94608   563760 | 2147483647   294885     70 |  0.000 % |
93.26/93.43	c |    295756 |     972    94608   563760 | 2147483647   295756     70 |  0.000 % |
93.65/93.81	c |    296714 |     972    94608   563760 | 2147483647   296714     70 |  0.000 % |
94.16/94.30	c |    297767 |     972    94608   563760 | 2147483647   297767     70 |  0.000 % |
94.76/95.00	c |    298925 |     972    94608   563760 | 2147483647   298925     70 |  0.000 % |
95.76/95.91	c |    300199 |     972    94608   563760 |   300000   300199     70 |  0.000 % |
96.95/97.17	c |    301601 |     972    94608   563760 |   300000   269698     70 |  0.000 % |
97.45/97.60	c |    303141 |     972    94608   563760 |   300000   271238     70 |  0.000 % |
98.35/98.56	c |    304837 |     972    94608   563760 |   300000   272934     70 |  0.000 % |
99.25/99.43	c |    306701 |     972    94608   563760 |   300000   274798     70 |  0.000 % |
100.05/100.27	c |    308753 |     972    94608   563760 |   300000   276850     70 |  0.000 % |
101.05/101.21	c |    311008 |     972    94608   563760 | 2147483647   279105     71 |  0.000 % |
102.25/102.43	c |    313487 |     972    94608   563760 | 2147483647   281584     71 |  0.000 % |
102.95/103.11	c |    316212 |     972    94608   563760 | 2147483647   284309     71 |  0.000 % |
104.15/104.31	c |    319209 |     972    94608   563760 | 2147483647   287306     71 |  0.000 % |
104.15/104.34	c |    319311 |     972    94608   563760 | 2147483647   287408     71 |  0.000 % |
104.25/104.43	c |    319423 |     972    94608   563760 | 2147483647   287520     71 |  0.000 % |
104.35/104.54	c |    319545 |     972    94608   563760 | 2147483647   287642     71 |  0.000 % |
104.45/104.66	c |    319680 |     972    94608   563760 | 2147483647   287777     71 |  0.000 % |
104.55/104.72	c |    319827 |     972    94608   563760 | 2147483647   287924     71 |  0.000 % |
104.65/104.81	c |    319987 |     972    94608   563760 | 2147483647   288084     71 |  0.000 % |
104.75/104.96	c |    320167 |     972    94608   563760 | 2147483647   288264     71 |  0.000 % |
104.85/105.07	c |    320360 |     972    94608   563760 | 2147483647   288457     71 |  0.000 % |
105.05/105.21	c |    320572 |     972    94608   563760 | 2147483647   288669     71 |  0.000 % |
105.15/105.39	c |    320805 |     972    94608   563760 | 2147483647   288902     71 |  0.000 % |
105.35/105.51	c |    321061 |     972    94608   563760 | 2147483647   289158     71 |  0.000 % |
105.45/105.63	c |    321342 |     972    94608   563760 | 2147483647   289439     71 |  0.000 % |
105.54/105.76	c |    321652 |     972    94608   563760 | 2147483647   289749     71 |  0.000 % |
105.64/105.86	c |    321991 |     972    94608   563760 | 2147483647   290088     71 |  0.000 % |
105.84/106.05	c |    322363 |     972    94608   563760 | 2147483647   290460     71 |  0.000 % |
105.94/106.18	c |    322772 |     972    94608   563760 | 2147483647   290869     71 |  0.000 % |
106.24/106.42	c |    323222 |     972    94608   563760 | 2147483647   291319     71 |  0.000 % |
106.45/106.65	c |    323715 |     972    94608   563760 | 2147483647   291812     71 |  0.000 % |
106.74/106.92	c |    324257 |     972    94608   563760 | 2147483647   292354     71 |  0.000 % |
107.04/107.23	c |    324854 |     972    94608   563760 | 2147483647   292951     71 |  0.000 % |
107.44/107.61	c |    325509 |     972    94608   563760 | 2147483647   293606     71 |  0.000 % |
107.84/108.03	c |    326229 |     972    94608   563760 | 2147483647   294326     71 |  0.000 % |
108.34/108.58	c |    327022 |     972    94608   563760 | 2147483647   295119     71 |  0.000 % |
108.94/109.16	c |    327893 |     972    94608   563760 | 2147483647   295990     71 |  0.000 % |
109.44/109.62	c |    328851 |     972    94608   563760 | 2147483647   296948     71 |  0.000 % |
109.84/110.06	c |    329904 |     972    94608   563760 | 2147483647   298001     71 |  0.000 % |
110.64/110.89	c |    331062 |     972    94608   563760 |   298097   263485     71 |  0.000 % |
111.44/111.69	c |    332336 |     972    94608   563760 |   298097   264759     71 |  0.000 % |
111.94/112.17	c |    333736 |     972    94608   563760 |   298097   266159     71 |  0.000 % |
112.64/112.83	c |    335278 |     972    94608   563760 |   298097   267701     71 |  0.000 % |
113.34/113.58	c |    336972 |     972    94608   563760 |   298097   269395     71 |  0.000 % |
114.33/114.56	c |    338836 |     972    94608   563760 |   298097   271259     72 |  0.000 % |
115.13/115.34	c |    340885 |     972    94608   563760 | 2147483647   273308     72 |  0.000 % |
116.44/116.61	c |    343138 |     972    94608   563760 | 2147483647   275561     72 |  0.000 % |
118.03/118.26	c |    345618 |     972    94608   563760 | 2147483647   278041     72 |  0.000 % |
119.43/119.63	c |    348343 |     972    94608   563760 | 2147483647   280766     72 |  0.000 % |
121.13/121.39	c |    351340 |     972    94608   563760 | 2147483647   283763     72 |  0.000 % |
122.63/122.81	c |    354637 |     972    94608   563760 | 2147483647   287060     72 |  0.000 % |
122.63/122.85	c |    354738 |     972    94608   563760 | 2147483647   287161     72 |  0.000 % |
122.73/122.90	c |    354849 |     972    94608   563760 | 2147483647   287272     72 |  0.000 % |
122.73/122.98	c |    354970 |     972    94608   563760 | 2147483647   287393     72 |  0.000 % |
122.83/123.06	c |    355103 |     972    94608   563760 | 2147483647   287526     72 |  0.000 % |
122.94/123.14	c |    355250 |     972    94608   563760 | 2147483647   287673     72 |  0.000 % |
123.04/123.21	c |    355412 |     972    94608   563760 | 2147483647   287835     72 |  0.000 % |
123.13/123.32	c |    355589 |     972    94608   563760 | 2147483647   288012     72 |  0.000 % |
123.23/123.44	c |    355782 |     972    94608   563760 | 2147483647   288205     72 |  0.000 % |
123.33/123.55	c |    355994 |     972    94608   563760 | 2147483647   288417     72 |  0.000 % |
123.53/123.70	c |    356230 |     972    94608   563760 | 2147483647   288653     72 |  0.000 % |
123.63/123.84	c |    356486 |     972    94608   563760 | 2147483647   288909     72 |  0.000 % |
123.73/123.93	c |    356769 |     972    94608   563760 | 2147483647   289192     72 |  0.000 % |
123.83/124.06	c |    357079 |     972    94608   563760 | 2147483647   289502     72 |  0.000 % |
124.13/124.31	c |    357418 |     972    94608   563760 | 2147483647   289841     72 |  0.000 % |
124.23/124.41	c |    357790 |     972    94608   563760 | 2147483647   290213     72 |  0.000 % |
124.43/124.66	c |    358199 |     972    94608   563760 | 2147483647   290622     72 |  0.000 % |
124.73/124.93	c |    358648 |     972    94608   563760 | 2147483647   291071     72 |  0.000 % |
124.93/125.18	c |    359141 |     972    94608   563760 | 2147483647   291564     72 |  0.000 % |
125.33/125.53	c |    359684 |     972    94608   563760 | 2147483647   292107     72 |  0.000 % |
125.63/125.87	c |    360280 |     972    94608   563760 | 2147483647   292703     72 |  0.000 % |
126.03/126.28	c |    360935 |     972    94608   563760 | 2147483647   293358     72 |  0.000 % |
126.64/126.84	c |    361655 |     972    94608   563760 | 2147483647   294078     72 |  0.000 % |
127.04/127.21	c |    362449 |     972    94608   563760 | 2147483647   294872     72 |  0.000 % |
127.44/127.63	c |    363320 |     972    94608   563760 | 2147483647   295743     72 |  0.000 % |
128.03/128.24	c |    364280 |     972    94608   563760 | 2147483647   296703     72 |  0.000 % |
128.83/129.01	c |    365335 |     972    94608   563760 | 2147483647   297758     72 |  0.000 % |
129.53/129.79	c |    366493 |     972    94608   563760 | 2147483647   298916     72 |  0.000 % |
130.33/130.59	c |    367767 |     972    94608   563760 | 2147483647   300190     72 |  0.000 % |
131.14/131.39	c |    369167 |     972    94608   563760 | 2147483647   301590     72 |  0.000 % |
132.73/132.97	c |    370707 |     972    94608   563760 |   302424   272392     74 |  0.000 % |
134.13/134.32	c |    372401 |     972    94608   563760 |   302424   274086     74 |  0.000 % |
135.33/135.54	c |    374266 |     972    94608   563760 |   302424   275951     74 |  0.000 % |
136.33/136.55	c |    376316 |     972    94608   563760 |   302424   278001     74 |  0.000 % |
137.13/137.39	c |    378569 |     972    94608   563760 |   302424   280254     74 |  0.000 % |
138.83/139.08	c |    381047 |     972    94608   563760 |   281685   249538     74 |  0.000 % |
140.23/140.42	c |    383772 |     972    94608   563760 |   281685   252263     74 |  0.000 % |
142.32/142.56	c |    386770 |     972    94608   563760 |   281685   255261     75 |  0.000 % |
144.22/144.45	c |    390066 |     972    94608   563760 |   258492   258557     75 |  0.000 % |
146.62/146.88	c |    393691 |     972    94608   563760 |   258492   229201     76 |  0.000 % |
146.72/146.94	c |    393791 |     972    94608   563760 |   258492   229301     76 |  0.000 % |
146.72/146.99	c |    393901 |     972    94608   563760 |   258492   229411     76 |  0.000 % |
146.82/147.06	c |    394022 |     972    94608   563760 |   258492   229532     76 |  0.000 % |
146.92/147.16	c |    394156 |     972    94608   563760 |   258492   229666     76 |  0.000 % |
147.02/147.27	c |    394303 |     972    94608   563760 |   258492   229813     76 |  0.000 % |
147.12/147.31	c |    394463 |     972    94608   563760 |   258492   229973     76 |  0.000 % |
147.12/147.38	c |    394640 |     972    94608   563760 |   258492   230150     76 |  0.000 % |
147.22/147.47	c |    394833 |     972    94608   563760 |   258492   230343     76 |  0.000 % |
147.32/147.58	c |    395045 |     972    94608   563760 |   258492   230555     76 |  0.000 % |
147.52/147.76	c |    395280 |     972    94608   563760 |   258492   230790     76 |  0.000 % |
147.62/147.84	c |    395536 |     972    94608   563760 |   258492   231046     76 |  0.000 % |
147.72/147.99	c |    395819 |     972    94608   563760 |   258492   231329     76 |  0.000 % |
147.82/148.06	c |    396128 |     972    94608   563760 |   258492   231638     76 |  0.000 % |
148.02/148.20	c |    396470 |     972    94608   563760 |   258492   231980     76 |  0.000 % |
148.12/148.33	c |    396842 |     972    94608   563760 |   258492   232352     76 |  0.000 % |
148.22/148.45	c |    397253 |     972    94608   563760 |   258492   232763     76 |  0.000 % |
148.32/148.58	c |    397705 |     972    94608   563760 |   258492   233215     76 |  0.000 % |
148.52/148.74	c |    398199 |     972    94608   563760 |   258492   233709     76 |  0.000 % |
148.82/149.05	c |    398741 |     972    94608   563760 |   258492   234251     76 |  0.000 % |
149.12/149.32	c |    399340 |     972    94608   563760 |   258492   234850     76 |  0.000 % |
149.32/149.55	c |    399998 |     972    94608   563760 |   258492   235508     76 |  0.000 % |
149.52/149.76	c |    400718 |     972    94608   563760 | 2147483647   236228     76 |  0.000 % |
149.82/150.05	c |    401510 |     972    94608   563760 | 2147483647   237020     76 |  0.000 % |
150.22/150.50	c |    402381 |     972    94608   563760 | 2147483647   237891     76 |  0.000 % |
150.52/150.76	c |    403340 |     972    94608   563760 | 2147483647   238850     76 |  0.000 % |
150.92/151.18	c |    404394 |     972    94608   563760 | 2147483647   239904     76 |  0.000 % |
151.62/151.82	c |    405553 |     972    94608   563760 | 2147483647   241063     76 |  0.000 % |
152.22/152.43	c |    406827 |     972    94608   563760 | 2147483647   242337     76 |  0.000 % |
153.12/153.31	c |    408228 |     972    94608   563760 | 2147483647   243738     76 |  0.000 % |
154.12/154.31	c |    409769 |     972    94608   563760 | 2147483647   245279     76 |  0.000 % |
154.92/155.11	c |    411465 |     972    94608   563760 | 2147483647   246975     76 |  0.000 % |
155.51/155.79	c |    413330 |     972    94608   563760 | 2147483647   248840     76 |  0.000 % |
156.41/156.61	c |    415379 |     972    94608   563760 | 2147483647   250889     76 |  0.000 % |
157.91/158.11	c |    417635 |     972    94608   563760 | 2147483647   253145     76 |  0.000 % |
159.11/159.36	c |    420113 |     972    94608   563760 | 2147483647   255623     76 |  0.000 % |
160.32/160.59	c |    422839 |     972    94608   563760 | 2147483647   258349     76 |  0.000 % |
161.81/162.07	c |    425837 |     972    94608   563760 | 2147483647   261347     76 |  0.000 % |
163.62/163.84	c |    429133 |     972    94608   563760 | 2147483647   264643     76 |  0.000 % |
165.61/165.89	c |    432758 |     972    94608   563760 |   265512   239426     77 |  0.000 % |
168.51/168.76	c |    436746 |     972    94608   563760 |   265512   243414     77 |  0.000 % |
168.61/168.81	c |    436846 |     972    94608   563760 |   265512   243514     77 |  0.000 % |
168.61/168.88	c |    436957 |     972    94608   563760 |   265512   243625     77 |  0.000 % |
168.71/168.96	c |    437078 |     972    94608   563760 |   265512   243746     77 |  0.000 % |
168.81/169.04	c |    437211 |     972    94608   563760 |   265512   243879     77 |  0.000 % |
168.91/169.12	c |    437358 |     972    94608   563760 |   265512   244026     77 |  0.000 % |
169.01/169.26	c |    437518 |     972    94608   563760 |   265512   244186     77 |  0.000 % |
169.21/169.41	c |    437696 |     972    94608   563760 |   265512   244364     77 |  0.000 % |
169.21/169.45	c |    437892 |     972    94608   563760 |   265512   244560     77 |  0.000 % |
169.31/169.52	c |    438104 |     972    94608   563760 |   265512   244772     77 |  0.000 % |
169.41/169.60	c |    438337 |     972    94608   563760 |   265512   245005     77 |  0.000 % |
169.41/169.68	c |    438594 |     972    94608   563760 |   265512   245262     77 |  0.000 % |
169.61/169.88	c |    438876 |     972    94608   563760 |   265512   245544     77 |  0.000 % |
169.71/169.97	c |    439186 |     972    94608   563760 |   265512   245854     77 |  0.000 % |
169.91/170.11	c |    439525 |     972    94608   563760 |   265512   246193     77 |  0.000 % |
170.11/170.31	c |    439897 |     972    94608   563760 |   265512   246565     77 |  0.000 % |
170.21/170.49	c |    440306 |     972    94608   563760 | 2147483647   246974     77 |  0.000 % |
170.41/170.66	c |    440757 |     972    94608   563760 | 2147483647   247425     77 |  0.000 % |
170.61/170.84	c |    441251 |     972    94608   563760 | 2147483647   247919     77 |  0.000 % |
170.71/170.98	c |    441793 |     972    94608   563760 | 2147483647   248461     77 |  0.000 % |
170.91/171.13	c |    442389 |     972    94608   563760 | 2147483647   249057     77 |  0.000 % |
171.21/171.43	c |    443047 |     972    94608   563760 | 2147483647   249715     77 |  0.000 % |
171.71/171.94	c |    443769 |     972    94608   563760 | 2147483647   250437     77 |  0.000 % |
172.11/172.33	c |    444561 |     972    94608   563760 | 2147483647   251229     77 |  0.000 % |
172.61/172.89	c |    445433 |     972    94608   563760 | 2147483647   252101     77 |  0.000 % |
172.91/173.15	c |    446392 |     972    94608   563760 | 2147483647   253060     77 |  0.000 % |
173.31/173.59	c |    447445 |     972    94608   563760 | 2147483647   254113     77 |  0.000 % |
173.81/174.08	c |    448603 |     972    94608   563760 | 2147483647   255271     77 |  0.000 % |
174.21/174.46	c |    449877 |     972    94608   563760 | 2147483647   256545     77 |  0.000 % |
174.81/175.04	c |    451279 |     972    94608   563760 | 2147483647   257947     77 |  0.000 % |
175.41/175.63	c |    452823 |     972    94608   563760 | 2147483647   259491     77 |  0.000 % |
175.91/176.15	c |    454518 |     972    94608   563760 | 2147483647   261186     77 |  0.000 % |
176.71/176.98	c |    456381 |     972    94608   563760 | 2147483647   263049     77 |  0.000 % |
177.41/177.69	c |    458431 |     972    94608   563760 | 2147483647   265099     77 |  0.000 % |
178.60/178.84	c |    460686 |     972    94608   563760 | 2147483647   267354     77 |  0.000 % |
179.90/180.14	c |    463165 |     972    94608   563760 | 2147483647   269833     77 |  0.000 % |
181.30/181.53	c |    465891 |     972    94608   563760 | 2147483647   272559     77 |  0.000 % |
183.20/183.40	c |    468890 |     972    94608   563760 | 2147483647   275558     77 |  0.000 % |
184.80/185.09	c |    472186 |     972    94608   563760 | 2147483647   278854     77 |  0.000 % |
187.29/187.56	c |    475811 |     972    94608   563760 | 2147483647   282479     78 |  0.000 % |
189.49/189.76	c |    479799 |     972    94608   563760 | 2147483647   286467     78 |  0.000 % |
191.89/192.16	c |    484185 |     972    94608   563760 | 2147483647   290853     78 |  0.000 % |
191.99/192.23	c |    484285 |     972    94608   563760 | 2147483647   290953     78 |  0.000 % |
191.99/192.27	c |    484395 |     972    94608   563760 | 2147483647   291063     78 |  0.000 % |
192.09/192.33	c |    484516 |     972    94608   563760 | 2147483647   291184     78 |  0.000 % |
192.19/192.40	c |    484649 |     972    94608   563760 | 2147483647   291317     78 |  0.000 % |
192.19/192.46	c |    484796 |     972    94608   563760 | 2147483647   291464     78 |  0.000 % |
192.29/192.52	c |    484956 |     972    94608   563760 | 2147483647   291624     78 |  0.000 % |
192.29/192.56	c |    485133 |     972    94608   563760 | 2147483647   291801     78 |  0.000 % |
192.39/192.62	c |    485326 |     972    94608   563760 | 2147483647   291994     78 |  0.000 % |
192.39/192.67	c |    485538 |     972    94608   563760 | 2147483647   292206     78 |  0.000 % |
192.59/192.85	c |    485771 |     972    94608   563760 | 2147483647   292439     78 |  0.000 % |
192.69/192.91	c |    486028 |     972    94608   563760 | 2147483647   292696     78 |  0.000 % |
192.79/193.01	c |    486311 |     972    94608   563760 | 2147483647   292979     78 |  0.000 % |
192.79/193.08	c |    486620 |     972    94608   563760 | 2147483647   293288     78 |  0.000 % |
192.99/193.22	c |    486962 |     972    94608   563760 | 2147483647   293630     78 |  0.000 % |
193.19/193.43	c |    487334 |     972    94608   563760 | 2147483647   294002     78 |  0.000 % |
193.29/193.57	c |    487745 |     972    94608   563760 | 2147483647   294413     78 |  0.000 % |
193.59/193.81	c |    488195 |     972    94608   563760 | 2147483647   294863     78 |  0.000 % |
193.69/193.99	c |    488689 |     972    94608   563760 | 2147483647   295357     78 |  0.000 % |
193.89/194.16	c |    489231 |     972    94608   563760 | 2147483647   295899     78 |  0.000 % |
194.09/194.38	c |    489827 |     972    94608   563760 | 2147483647   296495     78 |  0.000 % |
194.40/194.62	c |    490485 |     972    94608   563760 | 2147483647   297153     78 |  0.000 % |
194.59/194.87	c |    491205 |     972    94608   563760 | 2147483647   297873     78 |  0.000 % |
194.99/195.21	c |    491998 |     972    94608   563760 | 2147483647   298666     78 |  0.000 % |
195.39/195.69	c |    492869 |     972    94608   563760 | 2147483647   299537     78 |  0.000 % |
195.99/196.22	c |    493827 |     972    94608   563760 | 2147483647   300495     78 |  0.000 % |
196.59/196.81	c |    494880 |     972    94608   563760 | 2147483647   301548     78 |  0.000 % |
196.89/197.14	c |    496038 |     972    94608   563760 | 2147483647   302706     78 |  0.000 % |
197.89/198.11	c |    497312 |     972    94608   563760 | 2147483647   303980     78 |  0.000 % |
198.39/198.62	c |    498712 |     972    94608   563760 | 2147483647   305380     78 |  0.000 % |
198.89/199.19	c |    500253 |     972    94608   563760 | 2147483647   306921     78 |  0.000 % |
199.58/199.83	c |    501947 |     972    94608   563760 | 2147483647   308615     78 |  0.000 % |
200.38/200.66	c |    503810 |     972    94608   563760 | 2147483647   310478     78 |  0.000 % |
201.69/201.94	c |    505860 |     972    94608   563760 | 2147483647   312528     78 |  0.000 % |
202.99/203.22	c |    508115 |     972    94608   563760 | 2147483647   314783     78 |  0.000 % |
204.29/204.55	c |    510593 |     972    94608   563760 | 2147483647   317261     78 |  0.000 % |
205.68/205.92	c |    513318 |     972    94608   563760 | 2147483647   319986     78 |  0.000 % |
207.48/207.72	c |    516315 |     972    94608   563760 | 2147483647   322983     78 |  0.000 % |
209.39/209.68	c |    519611 |     972    94608   563760 | 2147483647   326279     78 |  0.000 % |
210.48/210.77	c |    523236 |     972    94608   563760 | 2147483647   329904     78 |  0.000 % |
213.09/213.32	c |    527223 |     972    94608   563760 | 2147483647   333891     78 |  0.000 % |
215.78/216.00	c |    531608 |     972    94608   563760 | 2147483647   338276     78 |  0.000 % |
217.78/218.07	c |    536431 |     972    94608   563760 | 2147483647   343099     79 |  0.000 % |
217.88/218.15	c |    536531 |     972    94608   563760 | 2147483647   343199     79 |  0.000 % |
217.98/218.21	c |    536644 |     972    94608   563760 | 2147483647   343312     79 |  0.000 % |
217.98/218.27	c |    536769 |     972    94608   563760 | 2147483647   343437     79 |  0.000 % |
218.08/218.33	c |    536902 |     972    94608   563760 | 2147483647   343570     79 |  0.000 % |
218.18/218.41	c |    537048 |     972    94608   563760 | 2147483647   343716     79 |  0.000 % |
218.28/218.51	c |    537208 |     972    94608   563760 | 2147483647   343876     79 |  0.000 % |
218.28/218.59	c |    537384 |     972    94608   563760 | 2147483647   344052     79 |  0.000 % |
218.48/218.72	c |    537577 |     972    94608   563760 | 2147483647   344245     79 |  0.000 % |
218.58/218.88	c |    537790 |     972    94608   563760 | 2147483647   344458     79 |  0.000 % |
218.68/218.94	c |    538023 |     972    94608   563760 | 2147483647   344691     79 |  0.000 % |
218.78/219.10	c |    538280 |     972    94608   563760 | 2147483647   344948     78 |  0.000 % |
218.88/219.19	c |    538561 |     972    94608   563760 | 2147483647   345229     78 |  0.000 % |
219.08/219.33	c |    538870 |     972    94608   563760 | 2147483647   345538     78 |  0.000 % |
219.28/219.50	c |    539209 |     972    94608   563760 | 2147483647   345877     78 |  0.000 % |
219.38/219.64	c |    539581 |     972    94608   563760 | 2147483647   346249     78 |  0.000 % |
219.58/219.87	c |    539991 |     972    94608   563760 | 2147483647   346659     78 |  0.000 % |
219.98/220.26	c |    540440 |     972    94608   563760 | 2147483647   347108     78 |  0.000 % |
220.28/220.55	c |    540935 |     972    94608   563760 | 2147483647   347603     78 |  0.000 % |
220.68/220.96	c |    541479 |     972    94608   563760 | 2147483647   348147     78 |  0.000 % |
221.08/221.35	c |    542076 |     972    94608   563760 | 2147483647   348744     78 |  0.000 % |
221.48/221.77	c |    542731 |     972    94608   563760 | 2147483647   349399     78 |  0.000 % |
221.98/222.24	c |    543451 |     972    94608   563760 | 2147483647   350119     78 |  0.000 % |
222.38/222.64	c |    544243 |     972    94608   563760 | 2147483647   350911     78 |  0.000 % |
222.78/223.04	c |    545115 |     972    94608   563760 | 2147483647   351783     78 |  0.000 % |
223.28/223.56	c |    546073 |     972    94608   563760 | 2147483647   352741     78 |  0.000 % |
223.98/224.29	c |    547126 |     972    94608   563760 | 2147483647   353794     78 |  0.000 % |
224.78/225.02	c |    548284 |     972    94608   563760 | 2147483647   354952     78 |  0.000 % |
225.57/225.88	c |    549557 |     972    94608   563760 | 2147483647   356225     78 |  0.000 % |
226.97/227.26	c |    550957 |     972    94608   563760 |   356668   319093     78 |  0.000 % |
227.57/227.87	c |    552497 |     972    94608   563760 |   356668   320633     78 |  0.000 % |
228.37/228.66	c |    554191 |     972    94608   563760 |   356668   322327     78 |  0.000 % |
229.17/229.40	c |    556054 |     972    94608   563760 |   356668   324190     78 |  0.000 % |
230.17/230.45	c |    558105 |     972    94608   563760 |   356668   326241     78 |  0.000 % |
231.27/231.54	c |    560358 |     972    94608   563760 |   328137   328494     78 |  0.000 % |
232.86/233.16	c |    562837 |     972    94608   563760 |   328137   295630     78 |  0.000 % |
234.35/234.62	c |    565562 |     972    94608   563760 |   328137   298355     78 |  0.000 % |
236.64/236.94	c |    568559 |     972    94608   563760 |   328137   301352     78 |  0.000 % |
238.64/238.95	c |    571855 |     972    94608   563760 | 2147483647   304648     79 |  0.000 % |
240.55/240.84	c |    575480 |     972    94608   563760 | 2147483647   308273     79 |  0.000 % |
243.34/243.69	c |    579469 |     972    94608   563760 | 2147483647   312262     79 |  0.000 % |
246.44/246.78	c |    583854 |     972    94608   563760 |   312795   279597     79 |  0.000 % |
249.44/249.77	c |    588677 |     972    94608   563760 |   312795   284420     79 |  0.000 % |
252.64/252.94	c |    593982 |     972    94608   563760 |   285744   249053     79 |  0.000 % |
252.64/252.98	c |    594082 |     972    94608   563760 |   285744   249153     79 |  0.000 % |
252.84/253.10	c |    594193 |     972    94608   563760 |   285744   249264     79 |  0.000 % |
252.84/253.15	c |    594314 |     972    94608   563760 |   285744   249385     79 |  0.000 % |
252.94/253.24	c |    594447 |     972    94608   563760 |   285744   249518     79 |  0.000 % |
253.04/253.30	c |    594593 |     972    94608   563760 |   285744   249664     79 |  0.000 % |
253.14/253.42	c |    594753 |     972    94608   563760 |   285744   249824     79 |  0.000 % |
253.14/253.47	c |    594929 |     972    94608   563760 |   285744   250000     79 |  0.000 % |
253.24/253.56	c |    595122 |     972    94608   563760 |   285744   250193     79 |  0.000 % |
253.34/253.65	c |    595334 |     972    94608   563760 |   285744   250405     79 |  0.000 % |
253.44/253.71	c |    595567 |     972    94608   563760 |   285744   250638     79 |  0.000 % |
253.54/253.83	c |    595824 |     972    94608   563760 |   285744   250895     79 |  0.000 % |
253.64/253.94	c |    596105 |     972    94608   563760 |   285744   251176     79 |  0.000 % |
253.84/254.16	c |    596415 |     972    94608   563760 |   285744   251486     79 |  0.000 % |
254.04/254.34	c |    596754 |     972    94608   563760 |   285744   251825     79 |  0.000 % |
254.14/254.47	c |    597126 |     972    94608   563760 |   285744   252197     79 |  0.000 % |
254.44/254.78	c |    597538 |     972    94608   563760 |   285744   252609     79 |  0.000 % |
254.74/255.04	c |    597988 |     972    94608   563760 |   285744   253059     79 |  0.000 % |
254.84/255.20	c |    598483 |     972    94608   563760 |   285744   253554     79 |  0.000 % |
255.04/255.37	c |    599025 |     972    94608   563760 |   285744   254096     79 |  0.000 % |
255.34/255.64	c |    599622 |     972    94608   563760 |   285744   254693     79 |  0.000 % |
255.54/255.85	c |    600277 |     972    94608   563760 |   255071   255348     79 |  0.000 % |
256.14/256.44	c |    600997 |     972    94608   563760 |   255071   229368     80 |  0.000 % |
256.44/256.72	c |    601790 |     972    94608   563760 |   255071   230161     80 |  0.000 % |
256.84/257.19	c |    602666 |     972    94608   563760 |   255071   231037     80 |  0.000 % |
257.33/257.66	c |    603624 |     972    94608   563760 |   255071   231995     80 |  0.000 % |
257.73/258.04	c |    604679 |     972    94608   563760 |   255071   233050     80 |  0.000 % |
258.14/258.42	c |    605837 |     972    94608   563760 |   255071   234208     80 |  0.000 % |
258.43/258.76	c |    607111 |     972    94608   563760 |   255071   235482     80 |  0.000 % |
258.93/259.23	c |    608512 |     972    94608   563760 |   255071   236883     80 |  0.000 % |
259.43/259.72	c |    610052 |     972    94608   563760 | 2147483647   238423     79 |  0.000 % |
259.93/260.26	c |    611747 |     972    94608   563760 | 2147483647   240118     79 |  0.000 % |
260.93/261.28	c |    613610 |     972    94608   563760 | 2147483647   241981     79 |  0.000 % |
261.93/262.20	c |    615659 |     972    94608   563760 | 2147483647   244030     79 |  0.000 % |
262.93/263.27	c |    617912 |     972    94608   563760 | 2147483647   246283     80 |  0.000 % |
264.13/264.47	c |    620392 |     972    94608   563760 | 2147483647   248763     80 |  0.000 % |
266.03/266.33	c |    623118 |     972    94608   563760 | 2147483647   251489     80 |  0.000 % |
268.23/268.50	c |    626115 |     972    94608   563760 | 2147483647   254486     80 |  0.000 % |
270.13/270.47	c |    629413 |     972    94608   563760 | 2147483647   257784     80 |  0.000 % |
271.03/271.39	c |    633038 |     972    94608   563760 | 2147483647   261409     80 |  0.000 % |
272.73/273.09	c |    637026 |     972    94608   563760 | 2147483647   265397     80 |  0.000 % |
274.63/274.93	c |    641411 |     972    94608   563760 | 2147483647   269782     79 |  0.000 % |
276.72/277.09	c |    646235 |     972    94608   563760 | 2147483647   274606     79 |  0.000 % |
278.72/279.01	c |    651542 |     972    94608   563760 | 2147483647   279913     79 |  0.000 % |
282.42/282.71	c |    657379 |     972    94608   563760 | 2147483647   285750     80 |  0.000 % |
282.42/282.75	c |    657481 |     972    94608   563760 | 2147483647   285852     80 |  0.000 % |
282.42/282.79	c |    657591 |     972    94608   563760 | 2147483647   285962     80 |  0.000 % |
282.52/282.88	c |    657715 |     972    94608   563760 | 2147483647   286086     80 |  0.000 % |
282.62/282.95	c |    657849 |     972    94608   563760 | 2147483647   286220     80 |  0.000 % |
282.72/283.01	c |    657995 |     972    94608   563760 | 2147483647   286366     80 |  0.000 % |
282.72/283.09	c |    658155 |     972    94608   563760 | 2147483647   286526     80 |  0.000 % |
282.82/283.14	c |    658331 |     972    94608   563760 | 2147483647   286702     80 |  0.000 % |
282.92/283.25	c |    658525 |     972    94608   563760 | 2147483647   286896     80 |  0.000 % |
283.02/283.39	c |    658738 |     972    94608   563760 | 2147483647   287109     80 |  0.000 % |
283.12/283.47	c |    658972 |     972    94608   563760 | 2147483647   287343     80 |  0.000 % |
283.32/283.60	c |    659228 |     972    94608   563760 | 2147483647   287599     79 |  0.000 % |
283.42/283.72	c |    659509 |     972    94608   563760 | 2147483647   287880     79 |  0.000 % |
283.52/283.89	c |    659818 |     972    94608   563760 | 2147483647   288189     79 |  0.000 % |
283.72/284.02	c |    660157 |     972    94608   563760 | 2147483647   288528     79 |  0.000 % |
283.82/284.19	c |    660530 |     972    94608   563760 | 2147483647   288901     79 |  0.000 % |
284.12/284.45	c |    660939 |     972    94608   563760 | 2147483647   289310     79 |  0.000 % |
284.32/284.60	c |    661389 |     972    94608   563760 | 2147483647   289760     79 |  0.000 % |
284.42/284.75	c |    661882 |     972    94608   563760 | 2147483647   290253     79 |  0.000 % |
284.72/285.00	c |    662424 |     972    94608   563760 | 2147483647   290795     79 |  0.000 % |
284.82/285.20	c |    663022 |     972    94608   563760 | 2147483647   291393     79 |  0.000 % |
285.22/285.52	c |    663678 |     972    94608   563760 | 2147483647   292049     79 |  0.000 % |
285.42/285.78	c |    664398 |     972    94608   563760 | 2147483647   292769     79 |  0.000 % |
285.72/286.08	c |    665190 |     972    94608   563760 | 2147483647   293561     79 |  0.000 % |
286.12/286.49	c |    666063 |     972    94608   563760 | 2147483647   294434     79 |  0.000 % |
286.82/287.12	c |    667022 |     972    94608   563760 | 2147483647   295393     79 |  0.000 % |
287.22/287.58	c |    668076 |     972    94608   563760 | 2147483647   296447     79 |  0.000 % |
287.82/288.15	c |    669234 |     972    94608   563760 | 2147483647   297605     79 |  0.000 % |
288.41/288.70	c |    670507 |     972    94608   563760 | 2147483647   298878     79 |  0.000 % |
289.21/289.57	c |    671907 |     972    94608   563760 | 2147483647   300278     79 |  0.000 % |
290.21/290.53	c |    673447 |     972    94608   563760 | 2147483647   301818     79 |  0.000 % |
291.51/291.82	c |    675143 |     972    94608   563760 | 2147483647   303514     79 |  0.000 % |
292.71/293.06	c |    677006 |     972    94608   563760 | 2147483647   305377     79 |  0.000 % |
293.91/294.20	c |    679056 |     972    94608   563760 | 2147483647   307427     79 |  0.000 % |
294.71/295.08	c |    681310 |     972    94608   563760 | 2147483647   309681     79 |  0.000 % |
295.52/295.80	c |    683790 |     972    94608   563760 | 2147483647   312161     79 |  0.000 % |
296.31/296.60	c |    686517 |     972    94608   563760 | 2147483647   314888     79 |  0.000 % |
297.91/298.26	c |    689514 |     972    94608   563760 | 2147483647   317885     79 |  0.000 % |
299.11/299.46	c |    692810 |     972    94608   563760 | 2147483647   321181     79 |  0.000 % |
301.11/301.44	c |    696436 |     972    94608   563760 | 2147483647   324807     79 |  0.000 % |
303.41/303.72	c |    700423 |     972    94608   563760 |   328371   328794     79 |  0.000 % |
306.41/306.78	c |    704809 |     972    94608   563760 |   328371   298105     79 |  0.000 % |
308.71/309.02	c |    709633 |     972    94608   563760 |   328371   302929     79 |  0.000 % |
311.11/311.48	c |    714938 |     972    94608   563760 | 2147483647   308234     79 |  0.000 % |
313.90/314.24	c |    720775 |     972    94608   563760 | 2147483647   314071     79 |  0.000 % |
318.30/318.66	c |    727194 |     972    94608   563760 | 2147483647   320490     79 |  0.000 % |
318.40/318.75	c |    727296 |     972    94608   563760 | 2147483647   320592     79 |  0.000 % |
318.50/318.80	c |    727406 |     972    94608   563760 | 2147483647   320702     79 |  0.000 % |
318.50/318.85	c |    727528 |     972    94608   563760 | 2147483647   320824     79 |  0.000 % |
318.60/318.98	c |    727661 |     972    94608   563760 | 2147483647   320957     79 |  0.000 % |
318.70/319.03	c |    727807 |     972    94608   563760 | 2147483647   321103     79 |  0.000 % |
318.80/319.10	c |    727968 |     972    94608   563760 | 2147483647   321264     79 |  0.000 % |
318.90/319.21	c |    728146 |     972    94608   563760 | 2147483647   321442     79 |  0.000 % |
319.00/319.33	c |    728340 |     972    94608   563760 | 2147483647   321636     79 |  0.000 % |
319.00/319.38	c |    728553 |     972    94608   563760 | 2147483647   321849     79 |  0.000 % |
319.10/319.49	c |    728788 |     972    94608   563760 | 2147483647   322084     79 |  0.000 % |
319.30/319.69	c |    729044 |     972    94608   563760 | 2147483647   322340     79 |  0.000 % |
319.50/319.88	c |    729325 |     972    94608   563760 | 2147483647   322621     79 |  0.000 % |
319.70/320.06	c |    729635 |     972    94608   563760 | 2147483647   322931     79 |  0.000 % |
319.80/320.18	c |    729975 |     972    94608   563760 | 2147483647   323271     79 |  0.000 % |
320.00/320.36	c |    730347 |     972    94608   563760 |   323296   323643     79 |  0.000 % |
320.60/320.98	c |    730756 |     972    94608   563760 |   323296   287527     79 |  0.000 % |
320.80/321.12	c |    731206 |     972    94608   563760 |   323296   287977     79 |  0.000 % |
321.00/321.30	c |    731700 |     972    94608   563760 |   323296   288471     79 |  0.000 % |
321.30/321.61	c |    732243 |     972    94608   563760 |   323296   289014     79 |  0.000 % |
321.60/321.98	c |    732840 |     972    94608   563760 |   323296   289611     79 |  0.000 % |
321.90/322.23	c |    733497 |     972    94608   563760 |   323296   290268     79 |  0.000 % |
322.09/322.49	c |    734217 |     972    94608   563760 |   323296   290988     79 |  0.000 % |
322.49/322.85	c |    735011 |     972    94608   563760 |   323296   291782     79 |  0.000 % |
323.09/323.42	c |    735882 |     972    94608   563760 |   323296   292653     79 |  0.000 % |
323.29/323.65	c |    736840 |     972    94608   563760 |   323296   293611     79 |  0.000 % |
323.89/324.22	c |    737897 |     972    94608   563760 |   323296   294668     79 |  0.000 % |
324.28/324.67	c |    739055 |     972    94608   563760 |   323296   295826     79 |  0.000 % |
325.18/325.57	c |    740328 |     972    94608   563760 | 2147483647   297099     79 |  0.000 % |
325.78/326.13	c |    741728 |     972    94608   563760 | 2147483647   298499     79 |  0.000 % |
326.48/326.81	c |    743269 |     972    94608   563760 | 2147483647   300040     79 |  0.000 % |
327.28/327.70	c |    744963 |     972    94608   563760 | 2147483647   301734     79 |  0.000 % |
328.48/328.82	c |    746826 |     972    94608   563760 | 2147483647   303597     79 |  0.000 % |
329.58/329.96	c |    748875 |     972    94608   563760 | 2147483647   305646     79 |  0.000 % |
330.87/331.21	c |    751128 |     972    94608   563760 | 2147483647   307899     79 |  0.000 % |
332.17/332.57	c |    753606 |     972    94608   563760 | 2147483647   310377     79 |  0.000 % |
333.57/333.90	c |    756331 |     972    94608   563760 | 2147483647   313102     79 |  0.000 % |
334.97/335.38	c |    759331 |     972    94608   563760 | 2147483647   316102     79 |  0.000 % |
336.78/337.10	c |    762628 |     972    94608   563760 | 2147483647   319399     79 |  0.000 % |
339.38/339.70	c |    766253 |     972    94608   563760 | 2147483647   323024     79 |  0.000 % |
341.58/341.93	c |    770240 |     972    94608   563760 | 2147483647   327011     80 |  0.000 % |
343.68/344.02	c |    774625 |     972    94608   563760 | 2147483647   331396     80 |  0.000 % |
345.98/346.34	c |    779448 |     972    94608   563760 | 2147483647   336219     80 |  0.000 % |
348.48/348.82	c |    784753 |     972    94608   563760 | 2147483647   341524     81 |  0.000 % |
352.37/352.73	c |    790588 |     972    94608   563760 | 2147483647   347359     81 |  0.000 % |
356.57/356.92	c |    797009 |     972    94608   563760 | 2147483647   353780     81 |  0.000 % |
360.47/360.86	c |    804068 |     972    94608   563760 |   356772   317790     82 |  0.000 % |
360.57/360.95	c |    804171 |     972    94608   563760 |   356772   317893     82 |  0.000 % |
360.67/361.01	c |    804282 |     972    94608   563760 |   356772   318004     82 |  0.000 % |
360.67/361.08	c |    804403 |     972    94608   563760 |   356772   318125     82 |  0.000 % |
360.77/361.13	c |    804537 |     972    94608   563760 |   356772   318259     82 |  0.000 % |
360.87/361.27	c |    804685 |     972    94608   563760 |   356772   318407     82 |  0.000 % |
360.97/361.33	c |    804845 |     972    94608   563760 |   356772   318567     82 |  0.000 % |
361.07/361.44	c |    805022 |     972    94608   563760 |   356772   318744     82 |  0.000 % |
361.27/361.62	c |    805215 |     972    94608   563760 |   356772   318937     82 |  0.000 % |
361.37/361.71	c |    805431 |     972    94608   563760 |   356772   319153     82 |  0.000 % |
361.47/361.83	c |    805665 |     972    94608   563760 |   356772   319387     82 |  0.000 % |
361.57/361.94	c |    805921 |     972    94608   563760 |   356772   319643     82 |  0.000 % |
361.67/362.03	c |    806202 |     972    94608   563760 |   356772   319924     82 |  0.000 % |
361.77/362.12	c |    806511 |     972    94608   563760 |   356772   320233     81 |  0.000 % |
361.97/362.34	c |    806850 |     972    94608   563760 |   356772   320572     81 |  0.000 % |
362.07/362.44	c |    807223 |     972    94608   563760 |   356772   320945     81 |  0.000 % |
362.27/362.66	c |    807634 |     972    94608   563760 |   356772   321356     81 |  0.000 % |
362.37/362.79	c |    808083 |     972    94608   563760 |   356772   321805     81 |  0.000 % |
362.77/363.11	c |    808576 |     972    94608   563760 |   356772   322298     81 |  0.000 % |
363.17/363.53	c |    809119 |     972    94608   563760 |   356772   322841     81 |  0.000 % |
363.37/363.76	c |    809717 |     972    94608   563760 |   356772   323439     81 |  0.000 % |
363.67/364.07	c |    810372 |     972    94608   563760 |   323722   324094     81 |  0.000 % |
364.47/364.85	c |    811094 |     972    94608   563760 |   323722   290727     82 |  0.000 % |
365.07/365.43	c |    811887 |     972    94608   563760 |   323722   291520     82 |  0.000 % |
365.47/365.86	c |    812759 |     972    94608   563760 |   323722   292392     81 |  0.000 % |
366.27/366.61	c |    813718 |     972    94608   563760 |   323722   293351     82 |  0.000 % |
366.66/367.00	c |    814772 |     972    94608   563760 |   323722   294405     81 |  0.000 % |
367.16/367.57	c |    815931 |     972    94608   563760 |   323722   295564     81 |  0.000 % |
367.66/368.06	c |    817204 |     972    94608   563760 |   323722   296837     81 |  0.000 % |
368.36/368.73	c |    818605 |     972    94608   563760 |   323722   298238     81 |  0.000 % |
369.16/369.58	c |    820145 |     972    94608   563760 | 2147483647   299778     81 |  0.000 % |
370.06/370.48	c |    821839 |     972    94608   563760 | 2147483647   301472     81 |  0.000 % |
370.96/371.37	c |    823702 |     972    94608   563760 | 2147483647   303335     81 |  0.000 % |
372.46/372.81	c |    825751 |     972    94608   563760 | 2147483647   305384     81 |  0.000 % |
373.05/373.40	c |    828006 |     972    94608   563760 | 2147483647   307639     81 |  0.000 % |
374.95/375.40	c |    830486 |     972    94608   563760 | 2147483647   310119     81 |  0.000 % |
376.65/377.05	c |    833211 |     972    94608   563760 | 2147483647   312844     81 |  0.000 % |
378.85/379.27	c |    836212 |     972    94608   563760 | 2147483647   315845     82 |  0.000 % |
381.85/382.22	c |    839509 |     972    94608   563760 | 2147483647   319142     82 |  0.000 % |
384.75/385.16	c |    843135 |     972    94608   563760 |   319633   279680     83 |  0.000 % |
386.45/386.89	c |    847123 |     972    94608   563760 |   319633   283668     83 |  0.000 % |
389.35/389.77	c |    851508 |     972    94608   563760 | 2147483647   288053     83 |  0.000 % |
393.04/393.46	c |    856331 |     972    94608   563760 | 2147483647   292876     83 |  0.000 % |
396.14/396.55	c |    861636 |     972    94608   563760 | 2147483647   298181     83 |  0.000 % |
400.34/400.79	c |    867474 |     972    94608   563760 | 2147483647   304019     83 |  0.000 % |
403.94/404.32	c |    873892 |     972    94608   563760 |   306546   276861     84 |  0.000 % |
408.04/408.43	c |    880953 |     972    94608   563760 |   282970   254014     84 |  0.000 % |
414.23/414.65	c |    888718 |     972    94608   563760 |   282970   261779     85 |  0.000 % |
414.23/414.68	c |    888819 |     972    94608   563760 |   282970   261880     85 |  0.000 % |
414.33/414.76	c |    888930 |     972    94608   563760 |   282970   261991     85 |  0.000 % |
414.43/414.83	c |    889051 |     972    94608   563760 |   282970   262112     85 |  0.000 % |
414.53/414.93	c |    889185 |     972    94608   563760 |   282970   262246     85 |  0.000 % |
414.53/414.99	c |    889332 |     972    94608   563760 |   282970   262393     85 |  0.000 % |
414.63/415.03	c |    889492 |     972    94608   563760 |   282970   262553     85 |  0.000 % |
414.73/415.10	c |    889668 |     972    94608   563760 |   282970   262729     85 |  0.000 % |
414.73/415.19	c |    889861 |     972    94608   563760 |   282970   262922     85 |  0.000 % |
414.93/415.34	c |    890073 |     972    94608   563760 |   263062   263134     85 |  0.000 % |
415.43/415.88	c |    890309 |     972    94608   563760 |   263062   234349     85 |  0.000 % |
415.53/415.99	c |    890567 |     972    94608   563760 |   263062   234607     85 |  0.000 % |
415.73/416.11	c |    890848 |     972    94608   563760 |   263062   234888     85 |  0.000 % |
415.83/416.24	c |    891157 |     972    94608   563760 |   263062   235197     85 |  0.000 % |
415.93/416.38	c |    891497 |     972    94608   563760 |   263062   235537     85 |  0.000 % |
416.13/416.54	c |    891869 |     972    94608   563760 |   263062   235909     85 |  0.000 % |
416.33/416.71	c |    892278 |     972    94608   563760 |   263062   236318     85 |  0.000 % |
416.43/416.87	c |    892728 |     972    94608   563760 |   263062   236768     85 |  0.000 % |
416.63/417.09	c |    893221 |     972    94608   563760 |   263062   237261     85 |  0.000 % |
416.83/417.28	c |    893765 |     972    94608   563760 |   263062   237805     85 |  0.000 % |
417.13/417.53	c |    894362 |     972    94608   563760 |   263062   238402     85 |  0.000 % |
417.33/417.76	c |    895017 |     972    94608   563760 |   263062   239057     85 |  0.000 % |
417.73/418.12	c |    895738 |     972    94608   563760 |   263062   239778     85 |  0.000 % |
417.83/418.29	c |    896532 |     972    94608   563760 |   263062   240572     85 |  0.000 % |
418.13/418.56	c |    897404 |     972    94608   563760 |   263062   241444     85 |  0.000 % |
418.63/419.06	c |    898365 |     972    94608   563760 |   263062   242405     85 |  0.000 % |
419.32/419.71	c |    899420 |     972    94608   563760 |   263062   243460     85 |  0.000 % |
419.92/420.35	c |    900580 |     972    94608   563760 | 2147483647   244620     85 |  0.000 % |
420.83/421.21	c |    901854 |     972    94608   563760 | 2147483647   245894     85 |  0.000 % |
421.42/421.84	c |    903254 |     972    94608   563760 | 2147483647   247294     85 |  0.000 % |
421.93/422.38	c |    904794 |     972    94608   563760 | 2147483647   248834     84 |  0.000 % |
422.42/422.89	c |    906491 |     972    94608   563760 | 2147483647   250531     84 |  0.000 % |
422.92/423.36	c |    908355 |     972    94608   563760 | 2147483647   252395     84 |  0.000 % |
423.82/424.21	c |    910405 |     972    94608   563760 | 2147483647   254445     84 |  0.000 % |
425.12/425.52	c |    912659 |     972    94608   563760 | 2147483647   256699     84 |  0.000 % |
425.82/426.23	c |    915139 |     972    94608   563760 | 2147483647   259179     84 |  0.000 % |
427.02/427.41	c |    917864 |     972    94608   563760 | 2147483647   261904     84 |  0.000 % |
428.02/428.43	c |    920862 |     972    94608   563760 | 2147483647   264902     84 |  0.000 % |
429.42/429.81	c |    924158 |     972    94608   563760 | 2147483647   268198     84 |  0.000 % |
431.12/431.50	c |    927784 |     972    94608   563760 | 2147483647   271824     84 |  0.000 % |
432.32/432.70	c |    931773 |     972    94608   563760 | 2147483647   275813     84 |  0.000 % |
434.72/435.12	c |    936162 |     972    94608   563760 | 2147483647   280202     84 |  0.000 % |
436.81/437.27	c |    940985 |     972    94608   563760 | 2147483647   285025     84 |  0.000 % |
439.81/440.23	c |    946291 |     972    94608   563760 | 2147483647   290331     85 |  0.000 % |
442.51/442.96	c |    952126 |     972    94608   563760 | 2147483647   296166     85 |  0.000 % |
447.11/447.56	c |    958544 |     972    94608   563760 | 2147483647   302584     86 |  0.000 % |
451.61/452.10	c |    965603 |     972    94608   563760 | 2147483647   309643     86 |  0.000 % |
455.21/455.61	c |    973367 |     972    94608   563760 | 2147483647   317407     86 |  0.000 % |
460.20/460.63	c |    981907 |     972    94608   563760 |   324040   286224     87 |  0.000 % |
460.30/460.70	c |    982007 |     972    94608   563760 |   324040   286324     87 |  0.000 % |
460.40/460.83	c |    982117 |     972    94608   563760 |   324040   286434     87 |  0.000 % |
460.40/460.89	c |    982238 |     972    94608   563760 |   324040   286555     87 |  0.000 % |
460.50/460.97	c |    982371 |     972    94608   563760 |   324040   286688     87 |  0.000 % |
460.60/461.03	c |    982517 |     972    94608   563760 |   324040   286834     87 |  0.000 % |
460.70/461.12	c |    982679 |     972    94608   563760 |   324040   286996     87 |  0.000 % |
460.70/461.19	c |    982855 |     972    94608   563760 |   324040   287172     86 |  0.000 % |
460.80/461.23	c |    983048 |     972    94608   563760 |   324040   287365     86 |  0.000 % |
460.90/461.37	c |    983260 |     972    94608   563760 |   324040   287577     86 |  0.000 % |
461.00/461.47	c |    983494 |     972    94608   563760 |   324040   287811     86 |  0.000 % |
461.10/461.56	c |    983750 |     972    94608   563760 |   324040   288067     86 |  0.000 % |
461.30/461.71	c |    984033 |     972    94608   563760 |   324040   288350     86 |  0.000 % |
461.40/461.89	c |    984343 |     972    94608   563760 |   324040   288660     86 |  0.000 % |
461.50/461.99	c |    984683 |     972    94608   563760 |   324040   289000     86 |  0.000 % |
461.70/462.13	c |    985056 |     972    94608   563760 |   324040   289373     86 |  0.000 % |
461.90/462.37	c |    985465 |     972    94608   563760 |   324040   289782     86 |  0.000 % |
462.10/462.58	c |    985915 |     972    94608   563760 |   324040   290232     86 |  0.000 % |
462.30/462.79	c |    986408 |     972    94608   563760 |   324040   290725     86 |  0.000 % |
462.50/462.96	c |    986952 |     972    94608   563760 |   324040   291269     86 |  0.000 % |
462.79/463.21	c |    987550 |     972    94608   563760 |   324040   291867     86 |  0.000 % |
463.10/463.58	c |    988205 |     972    94608   563760 |   324040   292522     86 |  0.000 % |
463.40/463.80	c |    988925 |     972    94608   563760 |   324040   293242     86 |  0.000 % |
463.60/464.09	c |    989718 |     972    94608   563760 |   324040   294035     86 |  0.000 % |
464.09/464.59	c |    990589 |     972    94608   563760 | 2147483647   294906     86 |  0.000 % |
464.90/465.32	c |    991549 |     972    94608   563760 | 2147483647   295866     86 |  0.000 % |
465.29/465.79	c |    992602 |     972    94608   563760 | 2147483647   296919     86 |  0.000 % |
465.90/466.38	c |    993761 |     972    94608   563760 | 2147483647   298078     86 |  0.000 % |
466.49/466.99	c |    995034 |     972    94608   563760 | 2147483647   299351     86 |  0.000 % |
467.59/468.05	c |    996436 |     972    94608   563760 | 2147483647   300753     86 |  0.000 % |
468.49/468.97	c |    997977 |     972    94608   563760 | 2147483647   302294     86 |  0.000 % |
469.79/470.22	c |    999672 |     972    94608   563760 | 2147483647   303989     86 |  0.000 % |
470.89/471.37	c |   1001535 |     972    94608   563760 | 2147483647   305852     86 |  0.000 % |
471.99/472.46	c |   1003585 |     972    94608   563760 | 2147483647   307902     86 |  0.000 % |
472.79/473.26	c |   1005841 |     972    94608   563760 | 2147483647   310158     86 |  0.000 % |
473.99/474.41	c |   1008321 |     972    94608   563760 | 2147483647   312638     86 |  0.000 % |
475.19/475.63	c |   1011046 |     972    94608   563760 | 2147483647   315363     85 |  0.000 % |
476.49/476.96	c |   1014045 |     972    94608   563760 | 2147483647   318362     85 |  0.000 % |
477.59/478.00	c |   1017341 |     972    94608   563760 | 2147483647   321658     85 |  0.000 % |
478.89/479.38	c |   1020966 |     972    94608   563760 | 2147483647   325283     85 |  0.000 % |
481.89/482.35	c |   1024955 |     972    94608   563760 | 2147483647   329272     85 |  0.000 % |
485.38/485.82	c |   1029340 |     972    94608   563760 | 2147483647   333657     85 |  0.000 % |
489.38/489.81	c |   1034163 |     972    94608   563760 |   334318   293855     85 |  0.000 % |
491.58/492.05	c |   1039470 |     972    94608   563760 |   334318   299162     85 |  0.000 % |
494.88/495.37	c |   1045305 |     972    94608   563760 | 2147483647   304997     85 |  0.000 % |
499.08/499.57	c |   1051726 |     972    94608   563760 | 2147483647   311418     86 |  0.000 % |
504.47/504.97	c |   1058785 |     972    94608   563760 | 2147483647   318477     86 |  0.000 % |
506.97/507.40	c |   1066549 |     972    94608   563760 | 2147483647   326241     86 |  0.000 % |
511.17/511.69	c |   1075090 |     972    94608   563760 | 2147483647   334782     86 |  0.000 % |
514.57/515.07	c |   1084485 |     972    94608   563760 | 2147483647   344177     86 |  0.000 % |
514.67/515.12	c |   1084586 |     972    94608   563760 | 2147483647   344278     85 |  0.000 % |
514.67/515.18	c |   1084697 |     972    94608   563760 | 2147483647   344389     85 |  0.000 % |
514.77/515.27	c |   1084819 |     972    94608   563760 | 2147483647   344511     85 |  0.000 % |
514.87/515.36	c |   1084954 |     972    94608   563760 | 2147483647   344646     85 |  0.000 % |
514.97/515.43	c |   1085101 |     972    94608   563760 | 2147483647   344793     85 |  0.000 % |
515.07/515.50	c |   1085262 |     972    94608   563760 | 2147483647   344954     85 |  0.000 % |
515.17/515.60	c |   1085439 |     972    94608   563760 | 2147483647   345131     85 |  0.000 % |
515.26/515.70	c |   1085634 |     972    94608   563760 | 2147483647   345326     85 |  0.000 % |
515.37/515.80	c |   1085846 |     972    94608   563760 | 2147483647   345538     85 |  0.000 % |
515.37/515.89	c |   1086079 |     972    94608   563760 | 2147483647   345771     85 |  0.000 % |
515.56/516.09	c |   1086335 |     972    94608   563760 | 2147483647   346027     85 |  0.000 % |
515.66/516.19	c |   1086617 |     972    94608   563760 | 2147483647   346309     85 |  0.000 % |
515.76/516.27	c |   1086926 |     972    94608   563760 | 2147483647   346618     85 |  0.000 % |
515.96/516.40	c |   1087266 |     972    94608   563760 | 2147483647   346958     85 |  0.000 % |
516.06/516.54	c |   1087638 |     972    94608   563760 | 2147483647   347330     85 |  0.000 % |
516.26/516.79	c |   1088048 |     972    94608   563760 | 2147483647   347740     85 |  0.000 % |
516.47/516.94	c |   1088498 |     972    94608   563760 | 2147483647   348190     85 |  0.000 % |
516.67/517.12	c |   1088991 |     972    94608   563760 | 2147483647   348683     85 |  0.000 % |
516.87/517.39	c |   1089533 |     972    94608   563760 | 2147483647   349225     85 |  0.000 % |
517.07/517.59	c |   1090131 |     972    94608   563760 | 2147483647   349823     85 |  0.000 % |
517.27/517.76	c |   1090788 |     972    94608   563760 | 2147483647   350480     85 |  0.000 % |
517.57/518.02	c |   1091508 |     972    94608   563760 | 2147483647   351200     85 |  0.000 % |
518.07/518.53	c |   1092300 |     972    94608   563760 | 2147483647   351992     85 |  0.000 % |
518.57/519.05	c |   1093173 |     972    94608   563760 | 2147483647   352865     85 |  0.000 % |
518.87/519.39	c |   1094131 |     972    94608   563760 | 2147483647   353823     85 |  0.000 % |
519.27/519.76	c |   1095185 |     972    94608   563760 | 2147483647   354877     85 |  0.000 % |
519.56/520.04	c |   1096344 |     972    94608   563760 | 2147483647   356036     85 |  0.000 % |
520.26/520.77	c |   1097617 |     972    94608   563760 | 2147483647   357309     85 |  0.000 % |
521.06/521.50	c |   1099017 |     972    94608   563760 | 2147483647   358709     85 |  0.000 % |
521.96/522.50	c |   1100557 |     972    94608   563760 | 2147483647   360249     85 |  0.000 % |
522.96/523.41	c |   1102253 |     972    94608   563760 | 2147483647   361945     85 |  0.000 % |
524.07/524.56	c |   1104116 |     972    94608   563760 | 2147483647   363808     85 |  0.000 % |
525.37/525.85	c |   1106166 |     972    94608   563760 | 2147483647   365858     85 |  0.000 % |
526.06/526.55	c |   1108419 |     972    94608   563760 | 2147483647   368111     85 |  0.000 % |
527.56/528.03	c |   1110898 |     972    94608   563760 | 2147483647   370590     85 |  0.000 % |
528.26/528.74	c |   1113627 |     972    94608   563760 | 2147483647   373319     85 |  0.000 % |
529.56/530.06	c |   1116624 |     972    94608   563760 | 2147483647   376316     85 |  0.000 % |
530.96/531.47	c |   1119920 |     972    94608   563760 | 2147483647   379612     85 |  0.000 % |
533.07/533.54	c |   1123545 |     972    94608   563760 | 2147483647   383237     85 |  0.000 % |
536.16/536.66	c |   1127535 |     972    94608   563760 | 2147483647   387227     85 |  0.000 % |
537.85/538.35	c |   1131920 |     972    94608   563760 | 2147483647   391612     85 |  0.000 % |
540.66/541.17	c |   1136743 |     972    94608   563760 | 2147483647   396435     85 |  0.000 % |
544.25/544.74	c |   1142048 |     972    94608   563760 |   399693   351014     85 |  0.000 % |
549.05/549.54	c |   1147884 |     972    94608   563760 |   399693   356850     85 |  0.000 % |
553.15/553.69	c |   1154302 |     972    94608   563760 |   358967   317198     85 |  0.000 % |
558.44/558.96	c |   1161361 |     972    94608   563760 |   322896   285362     85 |  0.000 % |
563.14/563.69	c |   1169127 |     972    94608   563760 |   322896   293128     85 |  0.000 % |
570.74/571.28	c |   1177667 |     972    94608   563760 |   294002   270747     86 |  0.000 % |
578.04/578.52	c |   1187063 |     972    94608   563760 |   273081   250474     87 |  0.000 % |
584.33/584.82	c |   1197396 |     972    94608   563760 |   253412   234995     87 |  0.000 % |
584.43/584.92	c |   1197496 |     972    94608   563760 |   253412   235095     87 |  0.000 % |
584.43/584.97	c |   1197606 |     972    94608   563760 |   253412   235205     87 |  0.000 % |
584.53/585.05	c |   1197728 |     972    94608   563760 |   253412   235327     87 |  0.000 % |
584.64/585.14	c |   1197863 |     972    94608   563760 |   253412   235462     87 |  0.000 % |
584.74/585.22	c |   1198010 |     972    94608   563760 |   253412   235609     87 |  0.000 % |
584.83/585.35	c |   1198170 |     972    94608   563760 |   253412   235769     87 |  0.000 % |
584.93/585.42	c |   1198346 |     972    94608   563760 |   253412   235945     87 |  0.000 % |
585.03/585.54	c |   1198542 |     972    94608   563760 |   253412   236141     87 |  0.000 % |
585.23/585.71	c |   1198755 |     972    94608   563760 |   253412   236354     87 |  0.000 % |
585.33/585.86	c |   1198988 |     972    94608   563760 |   253412   236587     87 |  0.000 % |
585.43/585.96	c |   1199244 |     972    94608   563760 |   253412   236843     87 |  0.000 % |
585.63/586.16	c |   1199525 |     972    94608   563760 |   253412   237124     87 |  0.000 % |
585.84/586.33	c |   1199834 |     972    94608   563760 |   253412   237433     87 |  0.000 % |
586.03/586.52	c |   1200174 |     972    94608   563760 | 2147483647   237773     87 |  0.000 % |
586.23/586.71	c |   1200546 |     972    94608   563760 | 2147483647   238145     87 |  0.000 % |
586.43/586.90	c |   1200955 |     972    94608   563760 | 2147483647   238554     87 |  0.000 % |
586.53/587.04	c |   1201406 |     972    94608   563760 | 2147483647   239005     87 |  0.000 % |
586.73/587.25	c |   1201899 |     972    94608   563760 | 2147483647   239498     87 |  0.000 % |
587.03/587.57	c |   1202441 |     972    94608   563760 | 2147483647   240040     87 |  0.000 % |
587.33/587.85	c |   1203039 |     972    94608   563760 | 2147483647   240638     87 |  0.000 % |
587.73/588.22	c |   1203695 |     972    94608   563760 | 2147483647   241294     86 |  0.000 % |
587.93/588.40	c |   1204416 |     972    94608   563760 | 2147483647   242015     86 |  0.000 % |
588.23/588.75	c |   1205208 |     972    94608   563760 | 2147483647   242807     86 |  0.000 % |
588.53/589.04	c |   1206080 |     972    94608   563760 | 2147483647   243679     86 |  0.000 % |
589.13/589.68	c |   1207038 |     972    94608   563760 | 2147483647   244637     86 |  0.000 % |
589.63/590.13	c |   1208095 |     972    94608   563760 | 2147483647   245694     86 |  0.000 % |
590.03/590.52	c |   1209253 |     972    94608   563760 | 2147483647   246852     86 |  0.000 % |
590.53/591.05	c |   1210526 |     972    94608   563760 | 2147483647   248125     86 |  0.000 % |
591.52/592.00	c |   1211927 |     972    94608   563760 | 2147483647   249526     86 |  0.000 % |
592.33/592.84	c |   1213467 |     972    94608   563760 | 2147483647   251066     86 |  0.000 % |
592.82/593.39	c |   1215161 |     972    94608   563760 | 2147483647   252760     86 |  0.000 % |
593.92/594.49	c |   1217024 |     972    94608   563760 | 2147483647   254623     86 |  0.000 % |
595.22/595.77	c |   1219073 |     972    94608   563760 | 2147483647   256672     86 |  0.000 % |
596.83/597.31	c |   1221326 |     972    94608   563760 | 2147483647   258925     86 |  0.000 % |
598.22/598.72	c |   1223804 |     972    94608   563760 | 2147483647   261403     86 |  0.000 % |
600.13/600.65	c |   1226530 |     972    94608   563760 | 2147483647   264129     86 |  0.000 % |
601.92/602.42	c |   1229528 |     972    94608   563760 | 2147483647   267127     86 |  0.000 % |
603.82/604.31	c |   1232824 |     972    94608   563760 | 2147483647   270423     86 |  0.000 % |
606.02/606.54	c |   1236452 |     972    94608   563760 | 2147483647   274051     86 |  0.000 % |
608.12/608.70	c |   1240440 |     972    94608   563760 |   277600   278039     85 |  0.000 % |
611.92/612.44	c |   1244829 |     972    94608   563760 |   277600   245346     86 |  0.000 % |
616.02/616.58	c |   1249653 |     972    94608   563760 |   277600   250170     86 |  0.000 % |
621.11/621.64	c |   1254958 |     972    94608   563760 |   250517   225905     87 |  0.000 % |
624.11/624.64	c |   1260793 |     972    94608   563760 |   230947   207909     87 |  0.000 % |
627.01/627.55	c |   1267211 |     972    94608   563760 |   230947   214327     87 |  0.000 % |
630.61/631.13	c |   1274271 |     972    94608   563760 | 2147483647   221387     87 |  0.000 % |
636.70/637.26	c |   1282036 |     972    94608   563760 |   227116   204414     87 |  0.000 % |
643.00/643.59	c |   1290576 |     972    94608   563760 | 2147483647   212954     88 |  0.000 % |
648.80/649.34	c |   1299972 |     972    94608   563760 | 2147483647   222350     88 |  0.000 % |
654.60/655.17	c |   1310305 |     972    94608   563760 | 2147483647   232683     88 |  0.000 % |
662.70/663.29	c |   1321674 |     972    94608   563760 |   242379   214486     87 |  0.000 % |
662.80/663.33	c |   1321774 |     972    94608   563760 |   242379   214586     87 |  0.000 % |
662.80/663.39	c |   1321886 |     972    94608   563760 |   242379   214698     87 |  0.000 % |
662.89/663.45	c |   1322007 |     972    94608   563760 |   242379   214819     87 |  0.000 % |
662.99/663.55	c |   1322140 |     972    94608   563760 |   242379   214952     87 |  0.000 % |
662.99/663.59	c |   1322288 |     972    94608   563760 |   242379   215100     87 |  0.000 % |
663.09/663.65	c |   1322448 |     972    94608   563760 |   242379   215260     87 |  0.000 % |
663.19/663.73	c |   1322625 |     972    94608   563760 |   242379   215437     87 |  0.000 % |
663.29/663.84	c |   1322818 |     972    94608   563760 |   242379   215630     87 |  0.000 % |
663.39/663.90	c |   1323032 |     972    94608   563760 |   242379   215844     87 |  0.000 % |
663.49/664.08	c |   1323268 |     972    94608   563760 |   242379   216080     87 |  0.000 % |
663.59/664.15	c |   1323524 |     972    94608   563760 |   242379   216336     87 |  0.000 % |
663.69/664.27	c |   1323806 |     972    94608   563760 |   242379   216618     86 |  0.000 % |
663.79/664.37	c |   1324115 |     972    94608   563760 |   242379   216927     86 |  0.000 % |
663.99/664.53	c |   1324456 |     972    94608   563760 |   242379   217268     86 |  0.000 % |
664.09/664.60	c |   1324833 |     972    94608   563760 |   242379   217645     86 |  0.000 % |
664.09/664.69	c |   1325242 |     972    94608   563760 |   242379   218054     86 |  0.000 % |
664.29/664.81	c |   1325692 |     972    94608   563760 |   242379   218504     86 |  0.000 % |
664.49/665.00	c |   1326186 |     972    94608   563760 |   242379   218998     86 |  0.000 % |
664.59/665.13	c |   1326728 |     972    94608   563760 |   242379   219540     86 |  0.000 % |
664.89/665.43	c |   1327324 |     972    94608   563760 |   242379   220136     86 |  0.000 % |
665.09/665.66	c |   1327979 |     972    94608   563760 |   242379   220791     86 |  0.000 % |
665.39/665.99	c |   1328699 |     972    94608   563760 |   242379   221511     86 |  0.000 % |
665.89/666.41	c |   1329491 |     972    94608   563760 |   242379   222303     86 |  0.000 % |
666.39/666.91	c |   1330366 |     972    94608   563760 | 2147483647   223178     86 |  0.000 % |
666.79/667.37	c |   1331326 |     972    94608   563760 | 2147483647   224138     86 |  0.000 % |
667.29/667.85	c |   1332380 |     972    94608   563760 | 2147483647   225192     86 |  0.000 % |
667.88/668.46	c |   1333538 |     972    94608   563760 | 2147483647   226350     86 |  0.000 % |
668.48/669.08	c |   1334812 |     972    94608   563760 | 2147483647   227624     86 |  0.000 % |
669.08/669.64	c |   1336212 |     972    94608   563760 | 2147483647   229024     86 |  0.000 % |
669.78/670.30	c |   1337753 |     972    94608   563760 | 2147483647   230565     86 |  0.000 % |
670.49/671.09	c |   1339447 |     972    94608   563760 | 2147483647   232259     86 |  0.000 % |
671.49/672.10	c |   1341310 |     972    94608   563760 | 2147483647   234122     86 |  0.000 % |
672.78/673.31	c |   1343362 |     972    94608   563760 | 2147483647   236174     86 |  0.000 % |
674.28/674.85	c |   1345615 |     972    94608   563760 | 2147483647   238427     86 |  0.000 % |
675.48/676.06	c |   1348093 |     972    94608   563760 | 2147483647   240905     86 |  0.000 % |
677.08/677.66	c |   1350820 |     972    94608   563760 | 2147483647   243632     86 |  0.000 % |
678.58/679.10	c |   1353818 |     972    94608   563760 | 2147483647   246630     86 |  0.000 % |
680.48/681.01	c |   1357115 |     972    94608   563760 | 2147483647   249927     86 |  0.000 % |
682.77/683.34	c |   1360741 |     972    94608   563760 | 2147483647   253553     86 |  0.000 % |
684.78/685.30	c |   1364729 |     972    94608   563760 | 2147483647   257541     86 |  0.000 % |
686.88/687.42	c |   1369114 |     972    94608   563760 | 2147483647   261926     86 |  0.000 % |
690.17/690.80	c |   1373938 |     972    94608   563760 | 2147483647   266750     86 |  0.000 % |
692.97/693.60	c |   1379245 |     972    94608   563760 | 2147483647   272057     87 |  0.000 % |
695.07/695.61	c |   1385082 |     972    94608   563760 | 2147483647   277894     86 |  0.000 % |
698.57/699.16	c |   1391502 |     972    94608   563760 | 2147483647   284314     86 |  0.000 % |
702.76/703.34	c |   1398562 |     972    94608   563760 | 2147483647   291374     86 |  0.000 % |
706.06/706.62	c |   1406326 |     972    94608   563760 | 2147483647   299138     86 |  0.000 % |
711.17/711.79	c |   1414867 |     972    94608   563760 | 2147483647   307679     86 |  0.000 % |
717.07/717.62	c |   1424261 |     972    94608   563760 |   312812   266113     88 |  0.000 % |
723.67/724.23	c |   1434595 |     972    94608   563760 |   271852   237099     88 |  0.000 % |
732.56/733.20	c |   1445961 |     972    94608   563760 |   242504   223739     88 |  0.000 % |
738.85/739.40	c |   1458467 |     972    94608   563760 | 2147483647   236245     88 |  0.000 % |
738.85/739.44	c |   1458571 |     972    94608   563760 | 2147483647   236349     88 |  0.000 % |
738.95/739.54	c |   1458682 |     972    94608   563760 | 2147483647   236460     88 |  0.000 % |
738.95/739.58	c |   1458804 |     972    94608   563760 | 2147483647   236582     88 |  0.000 % |
739.05/739.64	c |   1458937 |     972    94608   563760 | 2147483647   236715     88 |  0.000 % |
739.15/739.75	c |   1459083 |     972    94608   563760 | 2147483647   236861     88 |  0.000 % |
739.25/739.84	c |   1459243 |     972    94608   563760 | 2147483647   237021     88 |  0.000 % |
739.25/739.90	c |   1459420 |     972    94608   563760 | 2147483647   237198     88 |  0.000 % |
739.45/740.00	c |   1459613 |     972    94608   563760 | 2147483647   237391     88 |  0.000 % |
739.55/740.11	c |   1459825 |     972    94608   563760 | 2147483647   237603     88 |  0.000 % |
739.65/740.21	c |   1460061 |     972    94608   563760 | 2147483647   237839     88 |  0.000 % |
739.75/740.39	c |   1460317 |     972    94608   563760 | 2147483647   238095     88 |  0.000 % |
739.95/740.52	c |   1460598 |     972    94608   563760 | 2147483647   238376     88 |  0.000 % |
740.05/740.67	c |   1460909 |     972    94608   563760 | 2147483647   238687     88 |  0.000 % |
740.15/740.74	c |   1461248 |     972    94608   563760 | 2147483647   239026     87 |  0.000 % |
740.25/740.84	c |   1461621 |     972    94608   563760 | 2147483647   239399     87 |  0.000 % |
740.45/741.00	c |   1462031 |     972    94608   563760 | 2147483647   239809     87 |  0.000 % |
740.75/741.36	c |   1462484 |     972    94608   563760 | 2147483647   240262     87 |  0.000 % |
741.05/741.60	c |   1462978 |     972    94608   563760 | 2147483647   240756     87 |  0.000 % |
741.25/741.81	c |   1463520 |     972    94608   563760 | 2147483647   241298     87 |  0.000 % |
741.45/742.06	c |   1464116 |     972    94608   563760 | 2147483647   241894     87 |  0.000 % |
741.85/742.48	c |   1464773 |     972    94608   563760 | 2147483647   242551     87 |  0.000 % |
742.15/742.77	c |   1465493 |     972    94608   563760 | 2147483647   243271     87 |  0.000 % |
742.75/743.39	c |   1466286 |     972    94608   563760 | 2147483647   244064     87 |  0.000 % |
743.35/743.95	c |   1467157 |     972    94608   563760 | 2147483647   244935     87 |  0.000 % |
743.95/744.50	c |   1468115 |     972    94608   563760 | 2147483647   245893     87 |  0.000 % |
744.45/745.04	c |   1469168 |     972    94608   563760 | 2147483647   246946     87 |  0.000 % |
744.95/745.55	c |   1470327 |     972    94608   563760 | 2147483647   248105     87 |  0.000 % |
745.65/746.27	c |   1471600 |     972    94608   563760 | 2147483647   249378     87 |  0.000 % |
746.25/746.86	c |   1473000 |     972    94608   563760 | 2147483647   250778     87 |  0.000 % |
747.35/747.92	c |   1474540 |     972    94608   563760 | 2147483647   252318     87 |  0.000 % |
748.34/748.96	c |   1476234 |     972    94608   563760 | 2147483647   254012     87 |  0.000 % |
749.44/750.08	c |   1478098 |     972    94608   563760 | 2147483647   255876     86 |  0.000 % |
750.75/751.34	c |   1480149 |     972    94608   563760 | 2147483647   257927     86 |  0.000 % |
751.54/752.10	c |   1482402 |     972    94608   563760 | 2147483647   260180     86 |  0.000 % |
752.64/753.20	c |   1484881 |     972    94608   563760 | 2147483647   262659     86 |  0.000 % |
754.05/754.68	c |   1487607 |     972    94608   563760 | 2147483647   265385     86 |  0.000 % |
755.64/756.28	c |   1490604 |     972    94608   563760 | 2147483647   268382     86 |  0.000 % |
757.44/758.05	c |   1493901 |     972    94608   563760 | 2147483647   271679     86 |  0.000 % |
759.34/759.91	c |   1497526 |     972    94608   563760 | 2147483647   275304     86 |  0.000 % |
761.14/761.75	c |   1501514 |     972    94608   563760 | 2147483647   279292     86 |  0.000 % |
763.44/764.06	c |   1505901 |     972    94608   563760 | 2147483647   283679     85 |  0.000 % |
765.64/766.22	c |   1510724 |     972    94608   563760 | 2147483647   288502     85 |  0.000 % |
769.24/769.87	c |   1516030 |     972    94608   563760 | 2147483647   293808     85 |  0.000 % |
773.84/774.46	c |   1521865 |     972    94608   563760 |   297780   263135     86 |  0.000 % |
777.73/778.30	c |   1528284 |     972    94608   563760 |   297780   269554     86 |  0.000 % |
780.83/781.50	c |   1535343 |     972    94608   563760 | 2147483647   276613     86 |  0.000 % |
785.73/786.36	c |   1543107 |     972    94608   563760 | 2147483647   284377     86 |  0.000 % |
789.73/790.39	c |   1551648 |     972    94608   563760 | 2147483647   292918     86 |  0.000 % |
796.72/797.30	c |   1561042 |     972    94608   563760 |   301270   266339     86 |  0.000 % |
805.02/805.70	c |   1571377 |     972    94608   563760 |   275298   249028     87 |  0.000 % |
812.32/812.94	c |   1582743 |     972    94608   563760 | 2147483647   260394     87 |  0.000 % |
821.41/822.09	c |   1595247 |     972    94608   563760 |   267652   236923     87 |  0.000 % |
833.81/834.42	c |   1609001 |     972    94608   563760 |   241676   214678     89 |  0.000 % |
833.91/834.52	c |   1609101 |     972    94608   563760 |   241676   214778     89 |  0.000 % |
833.91/834.57	c |   1609214 |     972    94608   563760 |   241676   214891     89 |  0.000 % |
834.01/834.63	c |   1609336 |     972    94608   563760 |   241676   215013     89 |  0.000 % |
834.01/834.67	c |   1609470 |     972    94608   563760 |   241676   215147     88 |  0.000 % |
834.11/834.75	c |   1609616 |     972    94608   563760 |   241676   215293     88 |  0.000 % |
834.21/834.83	c |   1609777 |     972    94608   563760 |   241676   215454     88 |  0.000 % |
834.31/834.95	c |   1609953 |     972    94608   563760 |   241676   215630     88 |  0.000 % |
834.41/835.05	c |   1610147 |     972    94608   563760 |   215678   215824     88 |  0.000 % |
834.81/835.45	c |   1610360 |     972    94608   563760 |   215678   184495     90 |  0.000 % |
834.91/835.52	c |   1610593 |     972    94608   563760 |   215678   184728     90 |  0.000 % |
835.11/835.72	c |   1610849 |     972    94608   563760 |   215678   184984     90 |  0.000 % |
835.21/835.81	c |   1611130 |     972    94608   563760 |   215678   185265     90 |  0.000 % |
835.31/835.92	c |   1611439 |     972    94608   563760 |   215678   185574     90 |  0.000 % |
835.41/836.08	c |   1611780 |     972    94608   563760 |   215678   185915     90 |  0.000 % |
835.61/836.27	c |   1612153 |     972    94608   563760 |   215678   186288     90 |  0.000 % |
835.81/836.44	c |   1612562 |     972    94608   563760 |   215678   186697     90 |  0.000 % |
836.11/836.78	c |   1613011 |     972    94608   563760 |   215678   187146     90 |  0.000 % |
836.41/837.01	c |   1613504 |     972    94608   563760 |   215678   187639     90 |  0.000 % |
836.60/837.29	c |   1614046 |     972    94608   563760 |   215678   188181     90 |  0.000 % |
836.90/837.59	c |   1614642 |     972    94608   563760 |   215678   188777     90 |  0.000 % |
837.30/837.93	c |   1615297 |     972    94608   563760 |   215678   189432     90 |  0.000 % |
837.61/838.30	c |   1616017 |     972    94608   563760 |   215678   190152     90 |  0.000 % |
838.00/838.67	c |   1616809 |     972    94608   563760 |   215678   190944     90 |  0.000 % |
838.30/838.95	c |   1617680 |     972    94608   563760 |   215678   191815     90 |  0.000 % |
838.71/839.33	c |   1618638 |     972    94608   563760 |   215678   192773     89 |  0.000 % |
839.30/839.94	c |   1619692 |     972    94608   563760 |   215678   193827     89 |  0.000 % |
839.81/840.41	c |   1620851 |     972    94608   563760 | 2147483647   194986     89 |  0.000 % |
840.40/841.06	c |   1622125 |     972    94608   563760 | 2147483647   196260     89 |  0.000 % |
841.10/841.79	c |   1623525 |     972    94608   563760 | 2147483647   197660     89 |  0.000 % |
842.10/842.75	c |   1625066 |     972    94608   563760 | 2147483647   199201     89 |  0.000 % |
842.80/843.44	c |   1626760 |     972    94608   563760 | 2147483647   200895     89 |  0.000 % |
843.70/844.35	c |   1628623 |     972    94608   563760 | 2147483647   202758     89 |  0.000 % |
845.00/845.65	c |   1630673 |     972    94608   563760 | 2147483647   204808     89 |  0.000 % |
846.40/847.04	c |   1632927 |     972    94608   563760 | 2147483647   207062     89 |  0.000 % |
847.40/848.10	c |   1635406 |     972    94608   563760 | 2147483647   209541     89 |  0.000 % |
848.30/848.95	c |   1638132 |     972    94608   563760 | 2147483647   212267     89 |  0.000 % |
849.90/850.55	c |   1641130 |     972    94608   563760 | 2147483647   215265     89 |  0.000 % |
851.60/852.21	c |   1644426 |     972    94608   563760 | 2147483647   218561     89 |  0.000 % |
853.80/854.48	c |   1648052 |     972    94608   563760 | 2147483647   222187     88 |  0.000 % |
857.30/858.00	c |   1652039 |     972    94608   563760 |   224136   201929     88 |  0.000 % |
859.70/860.30	c |   1656424 |     972    94608   563760 |   224136   206314     88 |  0.000 % |
863.39/864.08	c |   1661248 |     972    94608   563760 |   209894   185428     88 |  0.000 % |
865.59/866.26	c |   1666554 |     972    94608   563760 |   209894   190734     87 |  0.000 % |
869.29/869.93	c |   1672389 |     972    94608   563760 | 2147483647   196569     87 |  0.000 % |
872.19/872.80	c |   1678808 |     972    94608   563760 | 2147483647   202988     87 |  0.000 % |
876.49/877.10	c |   1685868 |     972    94608   563760 | 2147483647   210048     87 |  0.000 % |
880.18/880.82	c |   1693632 |     972    94608   563760 | 2147483647   217812     87 |  0.000 % |
885.68/886.31	c |   1702175 |     972    94608   563760 | 2147483647   226355     88 |  0.000 % |
891.18/891.86	c |   1711569 |     972    94608   563760 | 2147483647   235749     88 |  0.000 % |
898.48/899.12	c |   1721903 |     972    94608   563760 |   244180   220403     87 |  0.000 % |
905.58/906.24	c |   1733270 |     972    94608   563760 | 2147483647   231770     87 |  0.000 % |
912.87/913.56	c |   1745774 |     972    94608   563760 |   238502   216610     87 |  0.000 % |
920.56/921.23	c |   1759527 |     972    94608   563760 |   220836   206233     86 |  0.000 % |
929.46/930.16	c |   1774655 |     972    94608   563760 | 2147483647   221361     87 |  0.000 % |
929.56/930.20	c |   1774757 |     972    94608   563760 | 2147483647   221463     87 |  0.000 % |
929.56/930.27	c |   1774867 |     972    94608   563760 | 2147483647   221573     87 |  0.000 % |
929.66/930.32	c |   1774990 |     972    94608   563760 | 2147483647   221696     87 |  0.000 % |
929.66/930.39	c |   1775125 |     972    94608   563760 | 2147483647   221831     87 |  0.000 % |
929.76/930.46	c |   1775272 |     972    94608   563760 | 2147483647   221978     87 |  0.000 % |
929.86/930.52	c |   1775434 |     972    94608   563760 | 2147483647   222140     87 |  0.000 % |
929.96/930.61	c |   1775610 |     972    94608   563760 | 2147483647   222316     87 |  0.000 % |
929.96/930.69	c |   1775803 |     972    94608   563760 | 2147483647   222509     87 |  0.000 % |
930.06/930.76	c |   1776018 |     972    94608   563760 | 2147483647   222724     86 |  0.000 % |
930.36/931.00	c |   1776251 |     972    94608   563760 | 2147483647   222957     86 |  0.000 % |
930.46/931.15	c |   1776508 |     972    94608   563760 | 2147483647   223214     86 |  0.000 % |
930.56/931.28	c |   1776790 |     972    94608   563760 | 2147483647   223496     86 |  0.000 % |
930.76/931.41	c |   1777099 |     972    94608   563760 | 2147483647   223805     86 |  0.000 % |
930.86/931.56	c |   1777441 |     972    94608   563760 | 2147483647   224147     86 |  0.000 % |
930.96/931.65	c |   1777813 |     972    94608   563760 | 2147483647   224519     86 |  0.000 % |
931.06/931.77	c |   1778223 |     972    94608   563760 | 2147483647   224929     86 |  0.000 % |
931.26/931.95	c |   1778675 |     972    94608   563760 | 2147483647   225381     86 |  0.000 % |
931.56/932.22	c |   1779168 |     972    94608   563760 | 2147483647   225874     86 |  0.000 % |
931.76/932.48	c |   1779710 |     972    94608   563760 | 2147483647   226416     86 |  0.000 % |
932.16/932.84	c |   1780306 |     972    94608   563760 | 2147483647   227012     86 |  0.000 % |
932.56/933.23	c |   1780961 |     972    94608   563760 | 2147483647   227667     86 |  0.000 % |
932.96/933.61	c |   1781681 |     972    94608   563760 | 2147483647   228387     86 |  0.000 % |
933.26/933.92	c |   1782473 |     972    94608   563760 | 2147483647   229179     86 |  0.000 % |
933.56/934.23	c |   1783348 |     972    94608   563760 | 2147483647   230054     86 |  0.000 % |
934.06/934.72	c |   1784306 |     972    94608   563760 | 2147483647   231012     86 |  0.000 % |
934.66/935.35	c |   1785360 |     972    94608   563760 | 2147483647   232066     86 |  0.000 % |
935.56/936.22	c |   1786519 |     972    94608   563760 | 2147483647   233225     86 |  0.000 % |
936.36/937.04	c |   1787794 |     972    94608   563760 | 2147483647   234500     86 |  0.000 % |
936.95/937.62	c |   1789195 |     972    94608   563760 | 2147483647   235901     86 |  0.000 % |
938.05/938.78	c |   1790735 |     972    94608   563760 | 2147483647   237441     86 |  0.000 % |
939.05/939.76	c |   1792431 |     972    94608   563760 | 2147483647   239137     86 |  0.000 % |
939.95/940.60	c |   1794295 |     972    94608   563760 | 2147483647   241001     86 |  0.000 % |
940.75/941.50	c |   1796344 |     972    94608   563760 | 2147483647   243050     86 |  0.000 % |
941.45/942.14	c |   1798597 |     972    94608   563760 | 2147483647   245303     86 |  0.000 % |
943.25/943.99	c |   1801075 |     972    94608   563760 | 2147483647   247781     86 |  0.000 % |
944.55/945.24	c |   1803800 |     972    94608   563760 | 2147483647   250506     85 |  0.000 % |
945.65/946.31	c |   1806801 |     972    94608   563760 | 2147483647   253507     85 |  0.000 % |
947.45/948.14	c |   1810099 |     972    94608   563760 | 2147483647   256805     85 |  0.000 % |
949.75/950.49	c |   1813728 |     972    94608   563760 | 2147483647   260434     85 |  0.000 % |
951.14/951.88	c |   1817717 |     972    94608   563760 | 2147483647   264423     85 |  0.000 % |
953.24/953.98	c |   1822102 |     972    94608   563760 | 2147483647   268808     85 |  0.000 % |
956.24/956.97	c |   1826925 |     972    94608   563760 | 2147483647   273631     85 |  0.000 % |
958.74/959.42	c |   1832230 |     972    94608   563760 | 2147483647   278936     85 |  0.000 % |
961.54/962.21	c |   1838066 |     972    94608   563760 | 2147483647   284772     85 |  0.000 % |
965.64/966.30	c |   1844485 |     972    94608   563760 | 2147483647   291191     85 |  0.000 % |
969.73/970.45	c |   1851546 |     972    94608   563760 | 2147483647   298252     85 |  0.000 % |
975.53/976.23	c |   1859310 |     972    94608   563760 | 2147483647   306016     85 |  0.000 % |
982.83/983.58	c |   1867850 |     972    94608   563760 | 2147483647   314556     86 |  0.000 % |
987.73/988.43	c |   1877244 |     972    94608   563760 | 2147483647   323950     86 |  0.000 % |
995.02/995.74	c |   1887580 |     972    94608   563760 |   326706   298200     86 |  0.000 % |
1001.92/1002.62	c |   1898948 |     972    94608   563760 |   300621   274787     86 |  0.000 % |
1011.82/1012.55	c |   1911452 |     972    94608   563760 | 2147483647   254786     87 |  0.000 % |
1020.12/1020.83	c |   1925205 |     972    94608   563760 | 2147483647   268539     88 |  0.000 % |
1031.41/1032.15	c |   1940332 |     972    94608   563760 | 2147483647   283666     89 |  0.000 % |
1045.70/1046.43	c |   1956972 |     972    94608   563760 | 2147483647   300306     90 |  0.000 % |
1045.80/1046.51	c |   1957073 |     972    94608   563760 | 2147483647   300407     90 |  0.000 % |
1045.90/1046.61	c |   1957183 |     972    94608   563760 | 2147483647   300517     90 |  0.000 % |
1045.90/1046.66	c |   1957304 |     972    94608   563760 | 2147483647   300638     90 |  0.000 % |
1045.99/1046.72	c |   1957438 |     972    94608   563760 | 2147483647   300772     90 |  0.000 % |
1045.99/1046.79	c |   1957584 |     972    94608   563760 | 2147483647   300918     90 |  0.000 % |
1046.19/1046.93	c |   1957745 |     972    94608   563760 | 2147483647   301079     90 |  0.000 % |
1046.29/1047.00	c |   1957923 |     972    94608   563760 | 2147483647   301257     89 |  0.000 % |
1046.40/1047.12	c |   1958117 |     972    94608   563760 | 2147483647   301451     89 |  0.000 % |
1046.50/1047.25	c |   1958329 |     972    94608   563760 | 2147483647   301663     89 |  0.000 % |
1046.59/1047.36	c |   1958562 |     972    94608   563760 | 2147483647   301896     89 |  0.000 % |
1046.79/1047.54	c |   1958818 |     972    94608   563760 | 2147483647   302152     89 |  0.000 % |
1046.89/1047.66	c |   1959100 |     972    94608   563760 | 2147483647   302434     89 |  0.000 % |
1047.09/1047.89	c |   1959409 |     972    94608   563760 | 2147483647   302743     89 |  0.000 % |
1047.39/1048.12	c |   1959748 |     972    94608   563760 | 2147483647   303082     89 |  0.000 % |
1047.60/1048.35	c |   1960121 |     972    94608   563760 |   303335   303455     89 |  0.000 % |
1048.19/1048.96	c |   1960531 |     972    94608   563760 |   303335   268021     89 |  0.000 % |
1048.59/1049.34	c |   1960981 |     972    94608   563760 |   303335   268471     89 |  0.000 % |
1048.69/1049.44	c |   1961476 |     972    94608   563760 |   303335   268966     89 |  0.000 % |
1048.79/1049.57	c |   1962019 |     972    94608   563760 |   303335   269509     89 |  0.000 % |
1049.09/1049.82	c |   1962615 |     972    94608   563760 |   303335   270105     89 |  0.000 % |
1049.29/1050.06	c |   1963272 |     972    94608   563760 |   303335   270762     89 |  0.000 % |
1049.49/1050.26	c |   1963993 |     972    94608   563760 |   303335   271483     89 |  0.000 % |
1049.79/1050.56	c |   1964785 |     972    94608   563760 |   303335   272275     89 |  0.000 % |
1050.09/1050.85	c |   1965656 |     972    94608   563760 |   303335   273146     89 |  0.000 % |
1050.49/1051.26	c |   1966615 |     972    94608   563760 |   303335   274105     89 |  0.000 % |
1050.99/1051.71	c |   1967669 |     972    94608   563760 |   303335   275159     89 |  0.000 % |
1051.59/1052.32	c |   1968827 |     972    94608   563760 |   303335   276317     89 |  0.000 % |
1052.09/1052.82	c |   1970100 |     972    94608   563760 | 2147483647   277590     89 |  0.000 % |
1052.89/1053.63	c |   1971501 |     972    94608   563760 | 2147483647   278991     89 |  0.000 % |
1053.69/1054.41	c |   1973042 |     972    94608   563760 | 2147483647   280532     89 |  0.000 % |
1054.49/1055.28	c |   1974736 |     972    94608   563760 | 2147483647   282226     89 |  0.000 % |
1054.99/1055.79	c |   1976602 |     972    94608   563760 | 2147483647   284092     88 |  0.000 % |
1055.59/1056.34	c |   1978652 |     972    94608   563760 | 2147483647   286142     88 |  0.000 % |
1056.49/1057.24	c |   1980905 |     972    94608   563760 | 2147483647   288395     88 |  0.000 % |
1057.68/1058.45	c |   1983383 |     972    94608   563760 | 2147483647   290873     88 |  0.000 % |
1058.98/1059.78	c |   1986108 |     972    94608   563760 | 2147483647   293598     88 |  0.000 % |
1060.38/1061.17	c |   1989105 |     972    94608   563760 | 2147483647   296595     88 |  0.000 % |
1062.48/1063.20	c |   1992401 |     972    94608   563760 | 2147483647   299891     88 |  0.000 % |
1064.38/1065.18	c |   1996026 |     972    94608   563760 | 2147483647   303516     88 |  0.000 % |
1067.18/1067.99	c |   2000014 |     972    94608   563760 | 2147483647   307504     88 |  0.000 % |
1069.68/1070.44	c |   2004399 |     972    94608   563760 | 2147483647   311889     88 |  0.000 % |
1073.08/1073.84	c |   2009222 |     972    94608   563760 | 2147483647   316712     88 |  0.000 % |
1075.18/1075.94	c |   2014527 |     972    94608   563760 | 2147483647   322017     88 |  0.000 % |
1077.38/1078.16	c |   2020362 |     972    94608   563760 | 2147483647   327852     87 |  0.000 % |
1081.27/1082.02	c |   2026780 |     972    94608   563760 | 2147483647   334270     87 |  0.000 % |
1086.78/1087.51	c |   2033839 |     972    94608   563760 |   337491   301437     88 |  0.000 % |
1092.18/1092.92	c |   2041603 |     972    94608   563760 | 2147483647   309201     88 |  0.000 % |
1097.97/1098.80	c |   2050145 |     972    94608   563760 |   317599   317743     88 |  0.000 % |
1104.87/1105.60	c |   2059540 |     972    94608   563760 |   317599   291826     89 |  0.000 % |
1113.17/1113.99	c |   2069873 |     972    94608   563760 | 2147483647   302159     89 |  0.000 % |
1121.06/1121.82	c |   2081240 |     972    94608   563760 | 2147483647   278899     90 |  0.000 % |
1132.56/1133.34	c |   2093744 |     972    94608   563760 |   287659   260374     91 |  0.000 % |
1143.75/1144.54	c |   2107497 |     972    94608   563760 |   266630   239029     92 |  0.000 % |
1159.75/1160.51	c |   2122626 |     972    94608   563760 |   215254   185886     95 |  0.000 % |
1175.74/1176.59	c |   2139265 |     972    94608   563760 |   193261   173047     96 |  0.000 % |
1186.03/1186.85	c |   2157567 |     972    94608   563760 | 2147483647   167479     97 |  0.000 % |
1186.13/1186.95	c |   2157670 |     972    94608   563760 | 2147483647   167582     97 |  0.000 % |
1186.13/1186.99	c |   2157781 |     972    94608   563760 | 2147483647   167693     97 |  0.000 % |
1186.23/1187.04	c |   2157902 |     972    94608   563760 | 2147483647   167814     97 |  0.000 % |
1186.33/1187.11	c |   2158035 |     972    94608   563760 | 2147483647   167947     96 |  0.000 % |
1186.43/1187.24	c |   2158181 |     972    94608   563760 | 2147483647   168093     96 |  0.000 % |
1186.53/1187.30	c |   2158341 |     972    94608   563760 | 2147483647   168253     96 |  0.000 % |
1186.53/1187.37	c |   2158517 |     972    94608   563760 | 2147483647   168429     96 |  0.000 % |
1186.73/1187.50	c |   2158711 |     972    94608   563760 | 2147483647   168623     96 |  0.000 % |
1186.73/1187.56	c |   2158923 |     972    94608   563760 | 2147483647   168835     96 |  0.000 % |
1186.83/1187.64	c |   2159157 |     972    94608   563760 | 2147483647   169069     96 |  0.000 % |
1187.03/1187.80	c |   2159415 |     972    94608   563760 | 2147483647   169327     96 |  0.000 % |
1187.03/1187.89	c |   2159696 |     972    94608   563760 | 2147483647   169608     96 |  0.000 % |
1187.13/1187.97	c |   2160006 |     972    94608   563760 | 2147483647   169918     96 |  0.000 % |
1187.43/1188.24	c |   2160346 |     972    94608   563760 | 2147483647   170258     96 |  0.000 % |
1187.53/1188.37	c |   2160719 |     972    94608   563760 | 2147483647   170631     96 |  0.000 % |
1187.73/1188.59	c |   2161129 |     972    94608   563760 | 2147483647   171041     96 |  0.000 % |
1187.93/1188.79	c |   2161580 |     972    94608   563760 | 2147483647   171492     96 |  0.000 % |
1188.23/1189.05	c |   2162073 |     972    94608   563760 | 2147483647   171985     96 |  0.000 % |
1188.43/1189.29	c |   2162617 |     972    94608   563760 | 2147483647   172529     96 |  0.000 % |
1188.63/1189.48	c |   2163213 |     972    94608   563760 | 2147483647   173125     95 |  0.000 % |
1189.03/1189.82	c |   2163868 |     972    94608   563760 | 2147483647   173780     95 |  0.000 % |
1189.23/1190.02	c |   2164588 |     972    94608   563760 | 2147483647   174500     95 |  0.000 % |
1189.73/1190.50	c |   2165381 |     972    94608   563760 | 2147483647   175293     95 |  0.000 % |
1190.02/1190.87	c |   2166253 |     972    94608   563760 | 2147483647   176165     95 |  0.000 % |
1190.43/1191.21	c |   2167212 |     972    94608   563760 | 2147483647   177124     95 |  0.000 % |
1190.62/1191.47	c |   2168265 |     972    94608   563760 | 2147483647   178177     95 |  0.000 % |
1191.02/1191.82	c |   2169423 |     972    94608   563760 | 2147483647   179335     95 |  0.000 % |
1191.42/1192.21	c |   2170697 |     972    94608   563760 | 2147483647   180609     94 |  0.000 % |
1191.82/1192.62	c |   2172098 |     972    94608   563760 | 2147483647   182010     94 |  0.000 % |
1192.63/1193.42	c |   2173640 |     972    94608   563760 | 2147483647   183552     94 |  0.000 % |
1193.02/1193.89	c |   2175335 |     972    94608   563760 | 2147483647   185247     94 |  0.000 % |
1193.73/1194.52	c |   2177198 |     972    94608   563760 | 2147483647   187110     94 |  0.000 % |
1194.82/1195.65	c |   2179247 |     972    94608   563760 | 2147483647   189159     94 |  0.000 % |
1196.32/1197.10	c |   2181503 |     972    94608   563760 | 2147483647   191415     94 |  0.000 % |
1197.32/1198.14	c |   2183984 |     972    94608   563760 | 2147483647   193896     94 |  0.000 % |
1198.22/1199.05	c |   2186709 |     972    94608   563760 | 2147483647   196621     93 |  0.000 % |
1199.62/1200.45	c |   2189706 |     972    94608   563760 | 2147483647   199618     93 |  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-1832297-1242771552/watcher-1832297-1242771552 -o /tmp/evaluation-result-1832297-1242771552/solver-1832297-1242771552 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832297-1242771552.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.92 0.99 0.95 3/64 14461
/proc/meminfo: memFree=1818216/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305182555 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14461/statm: 1339 235 195 169 0 50 0
[pid=14462] ppid=14461 vsize=5356 CPUtime=0
/proc/14462/stat : 14462 (SatELiteGTI) S 14461 14461 14239 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305182555 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14462/statm: 1339 238 198 169 0 50 0
[pid=14464] ppid=14462 vsize=192 CPUtime=0
/proc/14464/stat : 14464 (sed) R 14462 14461 14239 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 305182555 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 218073462153 0 0 4096 0 0 0 0 17 0 0 0
/proc/14464/statm: 48 23 16 11 0 11 0

[startup+0.0729759 s]
/proc/loadavg: 0.92 0.99 0.95 3/64 14461
/proc/meminfo: memFree=1818216/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102978 s]
/proc/loadavg: 0.92 0.99 0.95 3/64 14461
/proc/meminfo: memFree=1818216/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302013 s]
/proc/loadavg: 0.92 0.99 0.95 3/64 14461
/proc/meminfo: memFree=1818216/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701082 s]
/proc/loadavg: 0.92 0.99 0.95 3/64 14461
/proc/meminfo: memFree=1818216/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5022 s]
/proc/loadavg: 0.92 0.99 0.95 2/66 14466
/proc/meminfo: memFree=1804248/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
[pid=14466] ppid=14461 vsize=12756 CPUtime=1.49
/proc/14466/stat : 14466 (SatELite_releas) R 14461 14461 14239 0 -1 4194304 2951 0 0 0 145 4 0 0 25 0 1 0 305182555 13062144 2937 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/14466/statm: 3189 2937 76 173 0 3014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18112

[startup+3.10147 s]
/proc/loadavg: 0.92 0.99 0.95 2/66 14466
/proc/meminfo: memFree=1804120/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
[pid=14466] ppid=14461 vsize=12756 CPUtime=3.08
/proc/14466/stat : 14466 (SatELite_releas) R 14461 14461 14239 0 -1 4194304 2951 0 0 0 304 4 0 0 25 0 1 0 305182555 13062144 2937 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/14466/statm: 3189 2937 76 173 0 3014 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18112

[startup+6.30301 s]
/proc/loadavg: 0.93 0.99 0.95 2/66 14466
/proc/meminfo: memFree=1803936/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=0
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182555 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 237 197 169 0 50 0
[pid=14466] ppid=14461 vsize=12756 CPUtime=6.28
/proc/14466/stat : 14466 (SatELite_releas) R 14461 14461 14239 0 -1 4194304 2951 0 0 0 624 4 0 0 25 0 1 0 305182555 13062144 2937 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/14466/statm: 3189 2937 76 173 0 3014 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18112

[startup+12.7011 s]
/proc/loadavg: 0.93 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1797536/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=17692 CPUtime=4.17
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 4260 0 0 0 414 3 0 0 25 0 1 0 305183404 18116608 4246 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 4423 4246 77 171 0 4250 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 23048

[startup+25.5012 s]
/proc/loadavg: 0.95 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1776416/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=37872 CPUtime=16.95
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 9278 0 0 0 1686 9 0 0 25 0 1 0 305183404 38780928 9264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 9468 9264 77 171 0 9295 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 43228

[startup+51.1015 s]
/proc/loadavg: 0.96 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1749536/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=64816 CPUtime=42.52
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 16038 0 0 0 4236 16 0 0 25 0 1 0 305183404 66371584 16024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 16204 16024 77 171 0 16031 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 70172

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1713312/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=100240 CPUtime=93.68
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 24904 0 0 0 9344 24 0 0 25 0 1 0 305183404 102645760 24890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 25060 24890 77 171 0 24887 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 105596

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1708128/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=105132 CPUtime=153.64
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 26143 0 0 0 15338 26 0 0 25 0 1 0 305183404 107655168 26129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 26283 26129 77 171 0 26110 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 110488

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1684448/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=129372 CPUtime=213.61
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 32077 0 0 0 21330 31 0 0 25 0 1 0 305183404 132476928 32063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 32343 32063 77 171 0 32170 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 134728

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1681888/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=131616 CPUtime=273.55
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 32646 0 0 0 27324 31 0 0 25 0 1 0 305183404 134774784 32632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 32904 32632 77 171 0 32731 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 136972

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1681760/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=131616 CPUtime=333.51
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 32646 0 0 0 33319 32 0 0 25 0 1 0 305183404 134774784 32632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 32904 32632 77 171 0 32731 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 136972

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1677024/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=136236 CPUtime=393.47

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

/proc/14467/statm: 36061 35800 77 171 0 35888 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 149600

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1654496/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158244 CPUtime=573.36
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 57297 39 0 0 25 0 1 0 305183404 162041856 39338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39561 39338 77 171 0 39388 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 163600

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1654432/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158244 CPUtime=633.33
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 63294 39 0 0 25 0 1 0 305183404 162041856 39338 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39561 39338 77 171 0 39388 0
Current children cumulated CPU time (s) 641.8
Current children cumulated vsize (KiB) 163600

[startup+702.303 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1654368/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158236 CPUtime=693.3
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 69291 39 0 0 25 0 1 0 305183404 162033664 39338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39559 39338 77 171 0 39386 0
Current children cumulated CPU time (s) 701.77
Current children cumulated vsize (KiB) 163592

[startup+762.307 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1654240/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=753.27
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 75287 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 761.74
Current children cumulated vsize (KiB) 163484

[startup+822.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/66 14467
/proc/meminfo: memFree=1654176/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=813.24
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 81284 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 163484

[startup+882.302 s]
/proc/loadavg: 1.06 1.01 0.96 2/66 14467
/proc/meminfo: memFree=1654048/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=873.21
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 87281 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (KiB) 163484

[startup+942.302 s]
/proc/loadavg: 1.08 1.02 0.96 2/66 14467
/proc/meminfo: memFree=1653984/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=933.18
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 93278 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 163484

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 0.96 2/66 14467
/proc/meminfo: memFree=1653856/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=993.15
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 99275 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 163484

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/66 14467
/proc/meminfo: memFree=1653792/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=1053.11
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 105271 40 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 163484

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14467
/proc/meminfo: memFree=1653664/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=1113.09
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 111268 41 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 163484

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14467
/proc/meminfo: memFree=1653536/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=1173.06
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 117265 41 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 163484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 14467
/proc/meminfo: memFree=1653536/2055920 swapFree=4180328/4192956
[pid=14461] ppid=14459 vsize=5356 CPUtime=8.47
/proc/14461/stat : 14461 (SatELiteGTI) S 14459 14461 14239 0 -1 4194304 336 3205 0 0 0 0 841 6 16 0 1 0 305182555 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14461/statm: 1339 239 197 169 0 50 0
[pid=14467] ppid=14461 vsize=158128 CPUtime=1191.55
/proc/14467/stat : 14467 (minisat_static) R 14461 14461 14239 0 -1 4194304 39363 0 0 0 119114 41 0 0 25 0 1 0 305183404 161923072 39324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14467/statm: 39532 39324 77 171 0 39359 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 163484

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.02
CPU user time (s): 1199.55
CPU system time (s): 0.47
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 163600

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

runsolver used 1.07883 second user time and 3.45447 second system time

The end

Launcher Data

Begin job on node57 at 2009-05-20 00:19:13
IDJOB=1832297
IDBENCH=24701
IDSOLVER=671
FILE ID=node57/1832297-1242771552
PBS_JOBID= 9322244
Free space on /tmp= 66036 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest03/others/color-18-4.sat05-443.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832297-1242771552/watcher-1832297-1242771552 -o /tmp/evaluation-result-1832297-1242771552/solver-1832297-1242771552 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832297-1242771552.cnf

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

MD5SUM BENCH= ef7f419fe4e145465fe8ec684a206f9b
RANDOM SEED=597974570

node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1818696 kB
Buffers:         14196 kB
Cached:         186600 kB
SwapCached:       6944 kB
Active:          26024 kB
Inactive:       183192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818696 kB
SwapTotal:     4192956 kB
SwapFree:      4180328 kB
Dirty:            3488 kB
Writeback:           0 kB
Mapped:          13448 kB
Slab:            14132 kB
Committed_AS:   872468 kB
PageTables:       1392 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= 66032 MiB
End job on node57 at 2009-05-20 00:39:16