Trace number 1837290

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? (MO) 9090.56 9093.21

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
Bench CategoryAPPLICATION (applications 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 variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.51	c ==============================================================================
0.00/0.51	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.51	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.51	c ==============================================================================
0.00/0.51	c |         0 |  599013  1397697 |  179703       0        0     nan |  0.000 % |
9.08/9.13	c |         0 |  340394  1129456 |      --       0       --      -- |     --   | -258577/-268140
9.08/9.13	c ==============================================================================
9.08/9.13	c Result  :   #vars: 72795   #clauses: 340394   #literals: 1129456
9.08/9.13	c CPU time:   8.87165 s
9.08/9.13	c ==============================================================================
9.48/9.56	c This is MiniSat 2.0 beta
9.48/9.56	c WARNING: for repeatability, setting FPU to use double precision
9.48/9.56	c ============================[ Problem Statistics ]=============================
9.48/9.56	c |                                                                             |
9.48/9.56	c |  Number of variables:  72795                                                |
9.48/9.56	c |  Number of clauses:    340394                                               |
9.54/9.78	c |  Parsing time:         0.20         s                                       |
9.54/9.79	c ============================[ Search Statistics ]==============================
9.54/9.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.54/9.79	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.54/9.79	c ===============================================================================
9.54/9.79	c |         0 |   72795   340394  1129456 |   113464        0    nan |  0.000 % |
9.86/9.98	c |       100 |   72795   340394  1129456 |   113464      100      6 |  0.000 % |
9.96/10.05	c |       200 |   72795   340394  1129456 |   113464      200     22 |  0.000 % |
10.06/10.19	c |       302 |   72795   340394  1129456 |   113464      302     26 |  0.000 % |
10.16/10.27	c |       412 |   72795   340394  1129456 |   113464      412     24 |  0.000 % |
10.26/10.36	c |       512 |   72795   340394  1129456 |   113464      512     24 |  0.000 % |
10.47/10.55	c |       623 |   72795   340394  1129456 |   113464      623     38 |  0.000 % |
10.57/10.61	c |       744 |   72795   340394  1129456 |   113464      744     55 |  0.000 % |
10.57/10.66	c |       844 |   72795   340394  1129456 |   113464      844     58 |  0.000 % |
10.67/10.74	c |       956 |   72795   340394  1129456 |   113464      956     54 |  0.000 % |
10.77/10.83	c |      1079 |   72795   340394  1129456 |   113464     1079     52 |  0.000 % |
10.87/10.94	c |      1212 |   72795   340394  1129456 |   113464     1212     66 |  0.000 % |
10.97/11.02	c |      1312 |   72795   340394  1129456 |   113464     1312     69 |  0.000 % |
10.97/11.05	c |      1422 |   72795   340394  1129456 |   113464     1422     66 |  0.000 % |
11.07/11.20	c |      1543 |   72795   340394  1129456 |   113464     1543     65 |  0.000 % |
11.37/11.48	c |      1676 |   72795   340394  1129456 |   113464     1676     63 |  0.000 % |
11.57/11.63	c |      1825 |   72795   340394  1129456 |   113464     1825     60 |  0.000 % |
11.67/11.79	c |      1925 |   72795   340394  1129456 |   113464     1925     57 |  0.000 % |
11.87/11.92	c |      2035 |   72795   340394  1129456 |   113464     2035     56 |  0.000 % |
11.97/12.04	c |      2157 |   72795   340394  1129456 |   113464     2157     56 |  0.000 % |
12.17/12.21	c |      2291 |   72795   340394  1129456 |   113464     2291     57 |  0.000 % |
12.47/12.57	c |      2438 |   72795   340394  1129456 |   113464     2438     54 |  0.000 % |
12.57/12.67	c |      2598 |   72795   340394  1129456 |   113464     2598     53 |  0.000 % |
12.76/12.82	c |      2698 |   72795   340394  1129456 |   113464     2698     51 |  0.000 % |
13.06/13.10	c |      2809 |   72795   340394  1129456 |   113464     2809     50 |  0.000 % |
13.17/13.21	c |      2930 |   72795   340394  1129456 |   113464     2930     49 |  0.000 % |
13.27/13.37	c |      3064 |   72795   340394  1129456 |   113464     3064     47 |  0.000 % |
13.46/13.59	c |      3212 |   72795   340394  1129456 |   113464     3212     53 |  0.000 % |
13.66/13.70	c |      3372 |   72795   340394  1129456 |   113464     3372     56 |  0.000 % |
13.76/13.82	c |      3548 |   72795   340394  1129456 |   113464     3548     63 |  0.000 % |
13.96/14.00	c |      3648 |   72795   340394  1129456 |   113464     3648     63 |  0.000 % |
14.16/14.26	c |      3758 |   72795   340394  1129456 |   113464     3758     63 |  0.000 % |
14.37/14.41	c |      3880 |   72795   340394  1129456 |   113464     3880     61 |  0.000 % |
14.46/14.55	c |      4014 |   72795   340394  1129456 |   113464     4014     60 |  0.000 % |
14.66/14.70	c |      4160 |   72795   340394  1129456 |   113464     4160     60 |  0.000 % |
14.86/14.97	c |      4321 |   72795   340394  1129456 |   113464     4321     60 |  0.000 % |
15.06/15.18	c |      4497 |   72795   340394  1129456 |   113464     4497     59 |  0.000 % |
15.47/15.52	c |      4690 |   72795   340394  1129456 |   113464     4690     60 |  0.000 % |
15.56/15.62	c |      4791 |   72795   340394  1129456 |   113464     4791     60 |  0.000 % |
15.56/15.67	c |      4903 |   72795   340394  1129456 |   113464     4903     59 |  0.000 % |
15.66/15.71	c |      5025 |   72795   340394  1129456 |   113464     5025     59 |  0.000 % |
15.66/15.78	c |      5158 |   72795   340394  1129456 |   113464     5158     58 |  0.000 % |
15.96/16.01	c |      5304 |   72795   340394  1129456 |   113464     5304     56 |  0.000 % |
16.16/16.20	c |      5464 |   72795   340394  1129456 |   113464     5464     56 |  0.000 % |
16.16/16.28	c |      5640 |   72795   340394  1129456 |   113464     5640     55 |  0.000 % |
16.36/16.45	c |      5833 |   72795   340394  1129456 |   113464     5833     55 |  0.000 % |
16.76/16.80	c |      6045 |   72795   340394  1129456 |   113464     6045     56 |  0.000 % |
16.96/17.00	c |      6147 |   72795   340394  1129456 |   113464     6147     56 |  0.000 % |
17.06/17.16	c |      6258 |   72795   340394  1129456 |   113464     6258     56 |  0.000 % |
17.16/17.29	c |      6379 |   72795   340394  1129456 |   113464     6379     55 |  0.000 % |
17.26/17.37	c |      6512 |   72795   340394  1129456 |   113464     6512     55 |  0.000 % |
17.46/17.54	c |      6658 |   72795   340394  1129456 |   113464     6658     54 |  0.000 % |
17.57/17.65	c |      6818 |   72795   340394  1129456 |   113464     6818     53 |  0.000 % |
18.06/18.14	c |      6995 |   72795   340394  1129456 |   113464     6995     55 |  0.000 % |
18.16/18.25	c |      7189 |   72795   340394  1129456 |   113464     7189     56 |  0.000 % |
18.36/18.47	c |      7402 |   72795   340394  1129456 |   113464     7402     55 |  0.000 % |
18.67/18.72	c |      7636 |   72795   340394  1129456 |   113464     7636     54 |  0.000 % |
18.96/19.10	c |      7736 |   72795   340394  1129456 |   113464     7736     54 |  0.000 % |
19.16/19.20	c |      7846 |   72795   340394  1129456 |   113464     7846     54 |  0.000 % |
19.56/19.60	c |      7967 |   72795   340394  1129456 |   113464     7967     53 |  0.000 % |
19.66/19.76	c |      8109 |   72795   340394  1129456 |   113464     8109     52 |  0.000 % |
19.77/19.87	c |      8255 |   72795   340394  1129456 |   113464     8255     51 |  0.000 % |
19.87/19.93	c |      8415 |   72795   340394  1129456 |   113464     8415     51 |  0.000 % |
19.96/20.01	c |      8591 |   72795   340394  1129456 |   113464     8591     51 |  0.000 % |
20.06/20.12	c |      8789 |   72795   340394  1129456 |   113464     8789     50 |  0.000 % |
20.16/20.29	c |      9004 |   72795   340394  1129456 |   113464     9004     49 |  0.000 % |
20.46/20.51	c |      9237 |   72795   340394  1129456 |   113464     9237     49 |  0.000 % |
20.76/20.80	c |      9493 |   72795   340394  1129456 |   113464     9493     50 |  0.000 % |
20.86/20.91	c |      9594 |   72795   340394  1129456 |   113464     9594     50 |  0.000 % |
20.96/21.08	c |      9706 |   72795   340394  1129456 |   113464     9706     51 |  0.000 % |
21.06/21.15	c |      9827 |   72795   340394  1129456 |   113464     9827     50 |  0.000 % |
21.36/21.45	c |      9960 |   72795   340394  1129456 |   113464     9960     50 |  0.000 % |
22.06/22.10	c |     10106 |   72795   340394  1129456 | 2147483647    10106     50 |  0.000 % |
22.16/22.27	c |     10267 |   72795   340394  1129456 | 2147483647    10267     49 |  0.000 % |
22.56/22.62	c |     10444 |   72795   340394  1129456 | 2147483647    10444     49 |  0.000 % |
22.76/22.89	c |     10637 |   72795   340394  1129456 | 2147483647    10637     48 |  0.000 % |
23.16/23.28	c |     10849 |   72795   340394  1129456 | 2147483647    10849     50 |  0.000 % |
23.36/23.49	c |     11082 |   72795   340394  1129456 | 2147483647    11082     50 |  0.000 % |
23.56/23.68	c |     11339 |   72795   340394  1129456 | 2147483647    11339     49 |  0.000 % |
23.86/23.90	c |     11620 |   72795   340394  1129456 | 2147483647    11620     49 |  0.000 % |
23.96/24.07	c |     11720 |   72795   340394  1129456 | 2147483647    11720     49 |  0.000 % |
24.16/24.22	c |     11831 |   72795   340394  1129456 | 2147483647    11831     49 |  0.000 % |
24.36/24.44	c |     11952 |   72795   340394  1129456 | 2147483647    11952     50 |  0.000 % |
24.56/24.61	c |     12086 |   72795   340394  1129456 | 2147483647    12086     50 |  0.000 % |
24.86/24.94	c |     12233 |   72795   340394  1129456 | 2147483647    12233     51 |  0.000 % |
25.16/25.25	c |     12394 |   72795   340394  1129456 | 2147483647    12394     52 |  0.000 % |
25.66/25.78	c |     12571 |   72795   340394  1129456 | 2147483647    12571     54 |  0.000 % |
25.96/26.06	c |     12765 |   72795   340394  1129456 | 2147483647    12765     56 |  0.000 % |
26.16/26.20	c |     12977 |   72795   340394  1129456 | 2147483647    12977     56 |  0.000 % |
26.26/26.36	c |     13211 |   72795   340394  1129456 | 2147483647    13211     56 |  0.000 % |
26.56/26.63	c |     13468 |   72795   340394  1129456 | 2147483647    13468     56 |  0.000 % |
27.06/27.14	c |     13750 |   72795   340394  1129456 | 2147483647    13750     56 |  0.000 % |
27.36/27.45	c |     14061 |   72795   340394  1129456 | 2147483647    14061     57 |  0.000 % |
27.57/27.65	c |     14161 |   72795   340394  1129456 | 2147483647    14161     57 |  0.000 % |
27.96/28.06	c |     14271 |   72795   340394  1129456 | 2147483647    14271     58 |  0.000 % |
28.16/28.23	c |     14392 |   72795   340394  1129456 | 2147483647    14392     58 |  0.000 % |
28.26/28.33	c |     14526 |   72795   340394  1129456 | 2147483647    14526     58 |  0.000 % |
28.57/28.62	c |     14673 |   72795   340394  1129456 | 2147483647    14673     59 |  0.000 % |
28.67/28.73	c |     14833 |   72795   340394  1129456 | 2147483647    14833     59 |  0.000 % |
28.96/29.01	c |     15009 |   72795   340394  1129456 | 2147483647    15009     59 |  0.000 % |
29.06/29.20	c |     15202 |   72795   340394  1129456 | 2147483647    15202     58 |  0.000 % |
29.16/29.29	c |     15414 |   72795   340394  1129456 | 2147483647    15414     57 |  0.000 % |
29.67/29.72	c |     15647 |   72795   340394  1129456 | 2147483647    15647     57 |  0.000 % |
29.86/29.92	c |     15904 |   72795   340394  1129456 | 2147483647    15904     58 |  0.000 % |
30.36/30.41	c |     16185 |   72795   340394  1129456 | 2147483647    16185     57 |  0.000 % |
30.66/30.72	c |     16494 |   72795   340394  1129456 | 2147483647    16494     57 |  0.000 % |
31.16/31.24	c |     16833 |   72795   340394  1129456 | 2147483647    16833     56 |  0.000 % |
31.46/31.53	c |     16933 |   72795   340394  1129456 | 2147483647    16933     56 |  0.000 % |
31.66/31.71	c |     17043 |   72795   340394  1129456 | 2147483647    17043     56 |  0.000 % |
31.96/32.08	c |     17166 |   72795   340394  1129456 | 2147483647    17166     56 |  0.000 % |
32.16/32.21	c |     17299 |   72795   340394  1129456 | 2147483647    17299     57 |  0.000 % |
32.26/32.32	c |     17445 |   72795   340394  1129456 | 2147483647    17445     56 |  0.000 % |
32.36/32.47	c |     17605 |   72795   340394  1129456 | 2147483647    17605     57 |  0.000 % |
32.56/32.66	c |     17787 |   72795   340394  1129456 | 2147483647    17787     57 |  0.000 % |
32.66/32.75	c |     17980 |   72795   340394  1129456 | 2147483647    17980     57 |  0.000 % |
32.86/32.93	c |     18194 |   72795   340394  1129456 | 2147483647    18194     56 |  0.000 % |
33.06/33.17	c |     18429 |   72795   340394  1129456 | 2147483647    18429     56 |  0.000 % |
33.35/33.46	c |     18685 |   72795   340394  1129456 | 2147483647    18685     55 |  0.000 % |
34.45/34.50	c |     18966 |   72795   340394  1129456 | 2147483647    18966     58 |  0.000 % |
34.75/34.82	c |     19275 |   72795   340394  1129456 | 2147483647    19275     58 |  0.000 % |
35.45/35.52	c |     19615 |   72795   340394  1129456 | 2147483647    19615     62 |  0.000 % |
36.15/36.20	c |     19987 |   72795   340394  1129456 | 2147483647    19987     64 |  0.000 % |
36.25/36.31	c |     20088 |   72795   340394  1129456 | 2147483647    20088     64 |  0.000 % |
36.25/36.38	c |     20198 |   72795   340394  1129456 | 2147483647    20198     63 |  0.000 % |
36.35/36.49	c |     20320 |   72795   340394  1129456 | 2147483647    20320     63 |  0.000 % |
36.45/36.59	c |     20453 |   72795   340394  1129456 | 2147483647    20453     63 |  0.000 % |
36.65/36.71	c |     20600 |   72795   340394  1129456 | 2147483647    20600     63 |  0.000 % |
36.75/36.87	c |     20760 |   72795   340394  1129456 | 2147483647    20760     62 |  0.000 % |
36.85/36.97	c |     20937 |   72795   340394  1129456 | 2147483647    20937     62 |  0.000 % |
36.95/37.03	c |     21130 |   72795   340394  1129456 | 2147483647    21130     62 |  0.000 % |
37.15/37.20	c |     21342 |   72795   340394  1129456 | 2147483647    21342     62 |  0.000 % |
37.45/37.57	c |     21576 |   72795   340394  1129456 | 2147483647    21576     62 |  0.000 % |
37.65/37.75	c |     21832 |   72795   340394  1129456 | 2147483647    21832     62 |  0.000 % |
37.75/37.88	c |     22113 |   72795   340394  1129456 | 2147483647    22113     61 |  0.000 % |
37.95/38.06	c |     22422 |   72795   340394  1129456 | 2147483647    22422     61 |  0.000 % |
38.35/38.43	c |     22763 |   72795   340394  1129456 | 2147483647    22763     61 |  0.000 % |
38.75/38.82	c |     23135 |   72795   340394  1129456 | 2147483647    23135     61 |  0.000 % |
38.95/39.03	c |     23546 |   72795   340394  1129456 | 2147483647    23546     60 |  0.000 % |
38.95/39.07	c |     23646 |   72795   340394  1129456 | 2147483647    23646     60 |  0.000 % |
39.15/39.28	c |     23757 |   72795   340394  1129456 | 2147483647    23757     60 |  0.000 % |
39.35/39.46	c |     23878 |   72795   340394  1129456 | 2147483647    23878     60 |  0.000 % |
39.35/39.49	c |     24011 |   72795   340394  1129456 | 2147483647    24011     60 |  0.000 % |
39.45/39.57	c |     24157 |   72795   340394  1129456 | 2147483647    24157     60 |  0.000 % |
39.85/39.91	c |     24318 |   72795   340394  1129456 | 2147483647    24318     60 |  0.000 % |
39.95/40.08	c |     24495 |   72795   340394  1129456 | 2147483647    24495     60 |  0.000 % |
40.25/40.30	c |     24689 |   72795   340394  1129456 | 2147483647    24689     60 |  0.000 % |
40.55/40.60	c |     24902 |   72795   340394  1129456 | 2147483647    24902     61 |  0.000 % |
40.85/40.98	c |     25135 |   72795   340394  1129456 | 2147483647    25135     62 |  0.000 % |
41.35/41.45	c |     25392 |   72795   340394  1129456 | 2147483647    25392     62 |  0.000 % |
41.55/41.65	c |     25674 |   72795   340394  1129456 | 2147483647    25674     62 |  0.000 % |
41.95/42.06	c |     25987 |   72795   340394  1129456 | 2147483647    25987     62 |  0.000 % |
42.35/42.43	c |     26326 |   72795   340394  1129456 | 2147483647    26326     62 |  0.000 % |
42.84/42.95	c |     26698 |   72795   340394  1129456 | 2147483647    26698     62 |  0.000 % |
43.45/43.55	c |     27107 |   72795   340394  1129456 | 2147483647    27107     64 |  0.000 % |
44.34/44.43	c |     27556 |   72795   340394  1129456 | 2147483647    27556     67 |  0.000 % |
44.44/44.54	c |     27658 |   72795   340394  1129456 | 2147483647    27658     67 |  0.000 % |
44.74/44.86	c |     27768 |   72795   340394  1129456 | 2147483647    27768     68 |  0.000 % |
44.94/45.06	c |     27889 |   72795   340394  1129456 | 2147483647    27889     68 |  0.000 % |
45.05/45.18	c |     28022 |   72795   340394  1129456 | 2147483647    28022     68 |  0.000 % |
45.34/45.41	c |     28169 |   72795   340394  1129456 | 2147483647    28169     68 |  0.000 % |
45.54/45.62	c |     28329 |   72795   340394  1129456 | 2147483647    28329     68 |  0.000 % |
45.54/45.65	c |     28505 |   72795   340394  1129456 | 2147483647    28505     67 |  0.000 % |
45.74/45.83	c |     28699 |   72795   340394  1129456 | 2147483647    28699     67 |  0.000 % |
46.04/46.13	c |     28911 |   72795   340394  1129456 | 2147483647    28911     67 |  0.000 % |
46.34/46.42	c |     29145 |   72795   340394  1129456 | 2147483647    29145     66 |  0.000 % |
46.64/46.72	c |     29401 |   72795   340394  1129456 | 2147483647    29401     66 |  0.000 % |
46.74/46.88	c |     29682 |   72795   340394  1129456 | 2147483647    29682     66 |  0.000 % |
47.34/47.43	c |     29991 |   72795   340394  1129456 | 2147483647    29991     66 |  0.000 % |
48.04/48.10	c |     30331 |   72795   340394  1129456 | 2147483647    30331     68 |  0.000 % |
48.34/48.48	c |     30706 |   72795   340394  1129456 | 2147483647    30706     69 |  0.000 % |
48.64/48.79	c |     31115 |   72795   340394  1129456 | 2147483647    31115     69 |  0.000 % |
49.64/49.72	c |     31565 |   72795   340394  1129456 | 2147483647    31565     69 |  0.000 % |
50.84/50.94	c |     32060 |   72795   340394  1129456 | 2147483647    32060     72 |  0.000 % |
51.04/51.12	c |     32161 |   72795   340394  1129456 | 2147483647    32161     72 |  0.000 % |
51.23/51.37	c |     32273 |   72795   340394  1129456 | 2147483647    32273     73 |  0.000 % |
51.43/51.51	c |     32397 |   72795   340394  1129456 | 2147483647    32397     73 |  0.000 % |
51.53/51.68	c |     32531 |   72795   340394  1129456 | 2147483647    32531     73 |  0.000 % |
51.83/51.95	c |     32677 |   72795   340394  1129456 | 2147483647    32677     73 |  0.000 % |
52.23/52.39	c |     32838 |   72795   340394  1129456 | 2147483647    32838     74 |  0.000 % |
52.74/52.88	c |     33015 |   72795   340394  1129456 | 2147483647    33015     74 |  0.000 % |
53.03/53.12	c |     33210 |   72795   340394  1129456 | 2147483647    33210     74 |  0.000 % |
53.43/53.54	c |     33422 |   72795   340394  1129456 | 2147483647    33422     74 |  0.000 % |
53.73/53.86	c |     33655 |   72795   340394  1129456 | 2147483647    33655     73 |  0.000 % |
54.24/54.30	c |     33911 |   72795   340394  1129456 | 2147483647    33911     73 |  0.000 % |
54.54/54.64	c |     34193 |   72795   340394  1129456 | 2147483647    34193     73 |  0.000 % |
54.95/55.09	c |     34504 |   72795   340394  1129456 | 2147483647    34504     73 |  0.000 % |
55.24/55.38	c |     34843 |   72795   340394  1129456 | 2147483647    34843     73 |  0.000 % |
55.84/55.95	c |     35216 |   72795   340394  1129456 | 2147483647    35216     73 |  0.000 % |
56.44/56.55	c |     35627 |   72795   340394  1129456 | 2147483647    35627     72 |  0.000 % |
56.74/56.80	c |     36076 |   72795   340394  1129456 | 2147483647    36076     72 |  0.000 % |
57.44/57.59	c |     36569 |   72795   340394  1129456 | 2147483647    36569     72 |  0.000 % |
58.74/58.87	c |     37111 |   72795   340394  1129456 | 2147483647    37111     72 |  0.000 % |
58.94/59.00	c |     37212 |   72795   340394  1129456 | 2147483647    37212     72 |  0.000 % |
59.14/59.24	c |     37322 |   72795   340394  1129456 | 2147483647    37322     72 |  0.000 % |
59.34/59.45	c |     37443 |   72795   340394  1129456 | 2147483647    37443     72 |  0.000 % |
59.34/59.47	c |     37576 |   72795   340394  1129456 | 2147483647    37576     72 |  0.000 % |
59.54/59.61	c |     37722 |   72795   340394  1129456 | 2147483647    37722     72 |  0.000 % |
59.84/59.93	c |     37882 |   72795   340394  1129456 | 2147483647    37882     72 |  0.000 % |
60.03/60.11	c |     38059 |   72795   340394  1129456 | 2147483647    38059     72 |  0.000 % |
60.23/60.36	c |     38252 |   72795   340394  1129456 | 2147483647    38252     72 |  0.000 % |
60.33/60.44	c |     38465 |   72795   340394  1129456 | 2147483647    38465     72 |  0.000 % |
60.73/60.84	c |     38699 |   72795   340394  1129456 | 2147483647    38699     72 |  0.000 % |
61.33/61.40	c |     38957 |   72795   340394  1129456 | 2147483647    38957     73 |  0.000 % |
62.03/62.19	c |     39238 |   72795   340394  1129456 | 2147483647    39238     73 |  0.000 % |
62.74/62.83	c |     39549 |   72795   340394  1129456 | 2147483647    39549     73 |  0.000 % |
63.03/63.15	c |     39888 |   72795   340394  1129456 | 2147483647    39888     73 |  0.000 % |
63.74/63.85	c |     40261 |   72795   340394  1129456 | 2147483647    40261     73 |  0.000 % |
64.73/64.86	c |     40670 |   72795   340394  1129456 | 2147483647    40670     73 |  0.000 % |
65.74/65.83	c |     41120 |   72795   340394  1129456 | 2147483647    41120     74 |  0.000 % |
66.44/66.59	c |     41613 |   72795   340394  1129456 | 2147483647    41613     74 |  0.000 % |
67.43/67.57	c |     42156 |   72795   340394  1129456 | 2147483647    42156     74 |  0.000 % |
68.03/68.12	c |     42752 |   72795   340394  1129456 | 2147483647    42752     76 |  0.000 % |
68.13/68.23	c |     42854 |   72795   340394  1129456 | 2147483647    42854     76 |  0.000 % |
68.23/68.39	c |     42965 |   72795   340394  1129456 | 2147483647    42965     76 |  0.000 % |
68.43/68.59	c |     43086 |   72795   340394  1129456 | 2147483647    43086     76 |  0.000 % |
68.73/68.81	c |     43219 |   72795   340394  1129456 | 2147483647    43219     76 |  0.000 % |
68.83/68.97	c |     43365 |   72795   340394  1129456 | 2147483647    43365     76 |  0.000 % |
68.93/69.04	c |     43526 |   72795   340394  1129456 | 2147483647    43526     76 |  0.000 % |
69.13/69.27	c |     43702 |   72795   340394  1129456 | 2147483647    43702     75 |  0.000 % |
69.53/69.67	c |     43899 |   72795   340394  1129456 | 2147483647    43899     76 |  0.000 % |
69.93/70.00	c |     44111 |   72795   340394  1129456 | 2147483647    44111     75 |  0.000 % |
70.33/70.48	c |     44345 |   72795   340394  1129456 | 2147483647    44345     76 |  0.000 % |
70.73/70.89	c |     44601 |   72795   340394  1129456 | 2147483647    44601     76 |  0.000 % |
71.03/71.19	c |     44883 |   72795   340394  1129456 | 2147483647    44883     76 |  0.000 % |
71.33/71.44	c |     45192 |   72795   340394  1129456 | 2147483647    45192     76 |  0.000 % |
71.63/71.71	c |     45533 |   72795   340394  1129456 | 2147483647    45533     76 |  0.000 % |
71.83/71.95	c |     45905 |   72795   340394  1129456 | 2147483647    45905     75 |  0.000 % |
72.03/72.17	c |     46315 |   72795   340394  1129456 | 2147483647    46315     75 |  0.000 % |
73.03/73.15	c |     46765 |   72795   340394  1129456 | 2147483647    46765     77 |  0.000 % |
74.33/74.40	c |     47258 |   72795   340394  1129456 | 2147483647    47258     77 |  0.000 % |
74.93/75.08	c |     47800 |   72795   340394  1129456 | 2147483647    47800     77 |  0.000 % |
75.52/75.60	c |     48396 |   72795   340394  1129456 | 2147483647    48396     77 |  0.000 % |
76.02/76.12	c |     49052 |   72795   340394  1129456 | 2147483647    49052     77 |  0.000 % |
76.22/76.33	c |     49152 |   72795   340394  1129456 | 2147483647    49152     77 |  0.000 % |
76.42/76.54	c |     49262 |   72795   340394  1129456 | 2147483647    49262     77 |  0.000 % |
76.72/76.82	c |     49383 |   72795   340394  1129456 | 2147483647    49383     77 |  0.000 % |
76.82/76.98	c |     49519 |   72795   340394  1129456 | 2147483647    49519     77 |  0.000 % |
77.03/77.14	c |     49666 |   72795   340394  1129456 | 2147483647    49666     77 |  0.000 % |
77.12/77.21	c |     49826 |   72795   340394  1129456 | 2147483647    49826     77 |  0.000 % |
77.42/77.55	c |     50003 |   72795   340394  1129456 | 2147483647    50003     77 |  0.000 % |
77.62/77.73	c |     50196 |   72795   340394  1129456 | 2147483647    50196     76 |  0.000 % |
77.82/77.97	c |     50408 |   72795   340394  1129456 | 2147483647    50408     76 |  0.000 % |
78.22/78.34	c |     50642 |   72795   340394  1129456 | 2147483647    50642     77 |  0.000 % |
78.42/78.52	c |     50898 |   72795   340394  1129456 | 2147483647    50898     77 |  0.000 % |
78.82/78.97	c |     51179 |   72795   340394  1129456 | 2147483647    51179     77 |  0.000 % |
79.42/79.54	c |     51488 |   72795   340394  1129456 | 2147483647    51488     78 |  0.000 % |
79.83/79.94	c |     51827 |   72795   340394  1129456 | 2147483647    51827     79 |  0.000 % |
80.23/80.38	c |     52199 |   72795   340394  1129456 | 2147483647    52199     79 |  0.000 % |
80.73/80.80	c |     52609 |   72795   340394  1129456 | 2147483647    52609     80 |  0.000 % |
81.83/81.94	c |     53059 |   72795   340394  1129456 | 2147483647    53059     81 |  0.000 % |
82.61/82.76	c |     53553 |   72795   340394  1129456 | 2147483647    53553     81 |  0.000 % |
85.72/85.89	c |     54096 |   72795   340394  1129456 | 2147483647    54096     84 |  0.000 % |
87.11/87.21	c |     54692 |   72795   340394  1129456 | 2147483647    54692     84 |  0.000 % |
88.22/88.37	c |     55347 |   72795   340394  1129456 | 2147483647    55347     86 |  0.000 % |
89.52/89.68	c |     56067 |   72795   340394  1129456 | 2147483647    56067     87 |  0.000 % |
89.72/89.81	c |     56167 |   72795   340394  1129456 | 2147483647    56167     87 |  0.000 % |
90.02/90.13	c |     56282 |   72795   340394  1129456 | 2147483647    56282     87 |  0.000 % |
90.22/90.38	c |     56403 |   72795   340394  1129456 | 2147483647    56403     88 |  0.000 % |
90.62/90.70	c |     56540 |   72795   340394  1129456 | 2147483647    56540     88 |  0.000 % |
90.72/90.87	c |     56686 |   72795   340394  1129456 | 2147483647    56686     87 |  0.000 % |
94.21/94.39	c |     56846 |   72795   340394  1129456 | 2147483647    56846     90 |  0.000 % |
94.62/94.71	c |     57024 |   72795   340394  1129456 | 2147483647    57024     89 |  0.000 % |
94.81/94.99	c |     57217 |   72795   340394  1129456 | 2147483647    57217     89 |  0.000 % |
95.21/95.34	c |     57429 |   72795   340394  1129456 | 2147483647    57429     89 |  0.000 % |
95.41/95.55	c |     57662 |   72795   340394  1129456 | 2147483647    57662     89 |  0.000 % |
95.62/95.74	c |     57920 |   72795   340394  1129456 | 2147483647    57920     88 |  0.000 % |
95.91/96.04	c |     58201 |   72795   340394  1129456 | 2147483647    58201     88 |  0.000 % |
96.11/96.25	c |     58515 |   72795   340394  1129456 | 2147483647    58515     88 |  0.000 % |
96.72/96.87	c |     58855 |   72795   340394  1129456 | 2147483647    58855     88 |  0.000 % |
97.21/97.35	c |     59227 |   72795   340394  1129456 | 2147483647    59227     88 |  0.000 % |
97.51/97.68	c |     59638 |   72795   340394  1129456 | 2147483647    59638     88 |  0.000 % |
98.01/98.18	c |     60087 |   72795   340394  1129456 | 2147483647    60087     87 |  0.000 % |
99.01/99.11	c |     60581 |   72795   340394  1129456 | 2147483647    60581     87 |  0.000 % |
99.61/99.76	c |     61123 |   72795   340394  1129456 | 2147483647    61123     87 |  0.000 % |
100.21/100.31	c |     61719 |   72795   340394  1129456 | 2147483647    61719     86 |  0.000 % |
101.41/101.59	c |     62374 |   72795   340394  1129456 | 2147483647    62374     86 |  0.000 % |
102.01/102.19	c |     63094 |   72795   340394  1129456 | 2147483647    63094     85 |  0.000 % |
103.51/103.70	c |     63886 |   72795   340394  1129456 | 2147483647    63886     86 |  0.000 % |
103.81/103.94	c |     63989 |   72795   340394  1129456 | 2147483647    63989     86 |  0.000 % |
103.91/104.10	c |     64099 |   72795   340394  1129456 | 2147483647    64099     86 |  0.000 % |
104.22/104.37	c |     64221 |   72795   340394  1129456 | 2147483647    64221     86 |  0.000 % |
104.52/104.65	c |     64354 |   72795   340394  1129456 | 2147483647    64354     86 |  0.000 % |
104.81/104.98	c |     64500 |   72795   340394  1129456 | 2147483647    64500     86 |  0.000 % |
105.01/105.18	c |     64660 |   72795   340394  1129456 | 2147483647    64660     86 |  0.000 % |
105.21/105.36	c |     64837 |   72795   340394  1129456 | 2147483647    64837     86 |  0.000 % |
105.41/105.51	c |     65030 |   72795   340394  1129456 | 2147483647    65030     86 |  0.000 % |
105.52/105.64	c |     65242 |   72795   340394  1129456 | 2147483647    65242     86 |  0.000 % |
106.01/106.14	c |     65475 |   72795   340394  1129456 | 2147483647    65475     86 |  0.000 % |
107.01/107.11	c |     65731 |   72795   340394  1129456 | 2147483647    65731     86 |  0.000 % |
107.41/107.53	c |     66014 |   72795   340394  1129456 | 2147483647    66014     86 |  0.000 % |
107.91/108.01	c |     66323 |   72795   340394  1129456 | 2147483647    66323     86 |  0.000 % |
108.31/108.43	c |     66662 |   72795   340394  1129456 | 2147483647    66662     87 |  0.000 % |
108.61/108.79	c |     67035 |   72795   340394  1129456 | 2147483647    67035     87 |  0.000 % |
109.21/109.38	c |     67444 |   72795   340394  1129456 | 2147483647    67444     87 |  0.000 % |
109.91/110.00	c |     67893 |   72795   340394  1129456 | 2147483647    67893     87 |  0.000 % |
110.41/110.50	c |     68386 |   72795   340394  1129456 | 2147483647    68386     87 |  0.000 % |
110.91/111.08	c |     68929 |   72795   340394  1129456 | 2147483647    68929     87 |  0.000 % |
111.71/111.89	c |     69527 |   72795   340394  1129456 | 2147483647    69527     88 |  0.000 % |
112.70/112.85	c |     70183 |   72795   340394  1129456 | 2147483647    70183     88 |  0.000 % |
113.70/113.83	c |     70903 |   72795   340394  1129456 | 2147483647    70903     90 |  0.000 % |
114.42/114.56	c |     71695 |   72795   340394  1129456 | 2147483647    71695     90 |  0.000 % |
115.11/115.20	c |     72566 |   72795   340394  1129456 | 2147483647    72566     90 |  0.000 % |
115.11/115.22	c |     72666 |   72795   340394  1129456 | 2147483647    72666     90 |  0.000 % |
115.21/115.35	c |     72776 |   72795   340394  1129456 | 2147483647    72776     90 |  0.000 % |
115.52/115.65	c |     72897 |   72795   340394  1129456 | 2147483647    72897     90 |  0.000 % |
115.71/115.84	c |     73033 |   72795   340394  1129456 | 2147483647    73033     90 |  0.000 % |
115.91/116.04	c |     73183 |   72795   340394  1129456 | 2147483647    73183     90 |  0.000 % |
116.31/116.48	c |     73343 |   72795   340394  1129456 | 2147483647    73343     91 |  0.000 % |
116.51/116.66	c |     73520 |   72795   340394  1129456 | 2147483647    73520     91 |  0.000 % |
116.81/116.95	c |     73713 |   72795   340394  1129456 | 2147483647    73713     91 |  0.000 % |
117.21/117.32	c |     73925 |   72795   340394  1129456 | 2147483647    73925     90 |  0.000 % |
117.61/117.76	c |     74159 |   72795   340394  1129456 | 2147483647    74159     91 |  0.000 % |
118.31/118.40	c |     74415 |   72795   340394  1129456 | 2147483647    74415     90 |  0.000 % |
118.71/118.83	c |     74697 |   72795   340394  1129456 | 2147483647    74697     91 |  0.000 % |
119.31/119.46	c |     75006 |   72795   340394  1129456 | 2147483647    75006     91 |  0.000 % |
119.61/119.75	c |     75347 |   72795   340394  1129456 | 2147483647    75347     91 |  0.000 % |
120.51/120.63	c |     75719 |   72795   340394  1129456 | 2147483647    75719     90 |  0.000 % |
121.81/121.97	c |     76128 |   72795   340394  1129456 | 2147483647    76128     91 |  0.000 % |
122.81/122.96	c |     76579 |   72795   340394  1129456 | 2147483647    76579     91 |  0.000 % |
123.60/123.77	c |     77073 |   72795   340394  1129456 | 2147483647    77073     92 |  0.000 % |
124.10/124.27	c |     77615 |   72795   340394  1129456 | 2147483647    77615     92 |  0.000 % |
124.70/124.89	c |     78212 |   72795   340394  1129456 | 2147483647    78212     92 |  0.000 % |
125.81/125.97	c |     78867 |   72795   340394  1129456 | 2147483647    78867     93 |  0.000 % |
126.51/126.67	c |     79587 |   72795   340394  1129456 | 2147483647    79587     93 |  0.000 % |
127.40/127.57	c |     80379 |   72795   340394  1129456 | 2147483647    80379     93 |  0.000 % |
129.00/129.15	c |     81250 |   72795   340394  1129456 | 2147483647    81250     94 |  0.000 % |
130.81/130.90	c |     82208 |   72795   340394  1129456 | 2147483647    82208     94 |  0.000 % |
131.21/131.34	c |     82308 |   72795   340394  1129456 | 2147483647    82308     94 |  0.000 % |
131.41/131.56	c |     82419 |   72795   340394  1129456 | 2147483647    82419     94 |  0.000 % |
131.81/131.92	c |     82540 |   72795   340394  1129456 | 2147483647    82540     94 |  0.000 % |
131.91/132.02	c |     82673 |   72795   340394  1129456 | 2147483647    82673     94 |  0.000 % |
132.21/132.36	c |     82822 |   72795   340394  1129456 | 2147483647    82822     94 |  0.000 % |
132.61/132.72	c |     82982 |   72795   340394  1129456 | 2147483647    82982     94 |  0.000 % |
132.81/132.93	c |     83159 |   72795   340394  1129456 | 2147483647    83159     94 |  0.000 % |
133.01/133.11	c |     83352 |   72795   340394  1129456 | 2147483647    83352     94 |  0.000 % |
133.11/133.27	c |     83564 |   72795   340394  1129456 | 2147483647    83564     94 |  0.000 % |
133.41/133.58	c |     83797 |   72795   340394  1129456 | 2147483647    83797     94 |  0.000 % |
133.61/133.71	c |     84053 |   72795   340394  1129456 | 2147483647    84053     93 |  0.000 % |
134.41/134.51	c |     84334 |   72795   340394  1129456 | 2147483647    84334     93 |  0.000 % |
135.40/135.51	c |     84644 |   72795   340394  1129456 | 2147483647    84644     94 |  0.000 % |
136.41/136.52	c |     84984 |   72795   340394  1129456 | 2147483647    84984     94 |  0.000 % |
137.00/137.12	c |     85356 |   72795   340394  1129456 | 2147483647    85356     94 |  0.000 % |
137.51/137.62	c |     85767 |   72795   340394  1129456 | 2147483647    85767     94 |  0.000 % |
138.40/138.58	c |     86216 |   72795   340394  1129456 | 2147483647    86216     94 |  0.000 % |
138.80/138.93	c |     86711 |   72795   340394  1129456 | 2147483647    86711     94 |  0.000 % |
139.90/140.01	c |     87254 |   72795   340394  1129456 | 2147483647    87254     95 |  0.000 % |
140.70/140.81	c |     87852 |   72795   340394  1129456 | 2147483647    87852     95 |  0.000 % |
142.21/142.32	c |     88507 |   72795   340394  1129456 | 2147483647    88507     95 |  0.000 % |
143.20/143.38	c |     89227 |   72795   340394  1129456 | 2147483647    89227     95 |  0.000 % |
144.40/144.52	c |     90019 |   72795   340394  1129456 | 2147483647    90019     96 |  0.000 % |
145.30/145.44	c |     90890 |   72795   340394  1129456 | 2147483647    90890     96 |  0.000 % |
145.90/146.09	c |     91849 |   72795   340394  1129456 | 2147483647    91849     95 |  0.000 % |
148.60/148.76	c |     92903 |   72795   340394  1129456 | 2147483647    92903     95 |  0.000 % |
149.00/149.17	c |     93003 |   72795   340394  1129456 | 2147483647    93003     95 |  0.000 % |
149.30/149.42	c |     93113 |   72795   340394  1129456 | 2147483647    93113     95 |  0.000 % |
149.70/149.86	c |     93235 |   72795   340394  1129456 | 2147483647    93235     95 |  0.000 % |
150.00/150.18	c |     93369 |   72795   340394  1129456 | 2147483647    93369     95 |  0.000 % |
150.20/150.38	c |     93515 |   72795   340394  1129456 | 2147483647    93515     95 |  0.000 % |
150.60/150.79	c |     93675 |   72795   340394  1129456 | 2147483647    93675     95 |  0.000 % |
151.10/151.28	c |     93851 |   72795   340394  1129456 | 2147483647    93851     95 |  0.000 % |
151.70/151.87	c |     94044 |   72795   340394  1129456 | 2147483647    94044     95 |  0.000 % |
152.10/152.20	c |     94256 |   72795   340394  1129456 | 2147483647    94256     95 |  0.000 % |
152.40/152.50	c |     94491 |   72795   340394  1129456 | 2147483647    94491     94 |  0.000 % |
152.99/153.17	c |     94748 |   72795   340394  1129456 | 2147483647    94748     94 |  0.000 % |
153.29/153.47	c |     95029 |   72795   340394  1129456 | 2147483647    95029     94 |  0.000 % |
153.69/153.81	c |     95338 |   72795   340394  1129456 | 2147483647    95338     95 |  0.000 % |
154.09/154.28	c |     95678 |   72795   340394  1129456 | 2147483647    95678     95 |  0.000 % |
155.01/155.11	c |     96052 |   72795   340394  1129456 | 2147483647    96052     94 |  0.000 % |
155.70/155.86	c |     96461 |   72795   340394  1129456 | 2147483647    96461     94 |  0.000 % |
156.30/156.43	c |     96910 |   72795   340394  1129456 | 2147483647    96910     94 |  0.000 % |
156.90/157.03	c |     97403 |   72795   340394  1129456 | 2147483647    97403     94 |  0.000 % |
157.90/158.02	c |     97945 |   72795   340394  1129456 | 2147483647    97945     95 |  0.000 % |
158.89/159.01	c |     98541 |   72795   340394  1129456 | 2147483647    98541     96 |  0.000 % |
159.19/159.37	c |     99196 |   72795   340394  1129456 | 2147483647    99196     96 |  0.000 % |
159.99/160.10	c |     99918 |   72795   340394  1129456 | 2147483647    99918     95 |  0.000 % |
161.19/161.35	c |    100710 |   72795   340394  1129456 | 2147483647   100710     96 |  0.000 % |
162.69/162.88	c |    101581 |   72795   340394  1129456 | 2147483647   101581     96 |  0.000 % |
163.20/163.38	c |    102540 |   72795   340394  1129456 | 2147483647   102540     96 |  0.000 % |
165.70/165.86	c |    103593 |   72795   340394  1129456 | 2147483647   103593     97 |  0.000 % |
167.99/168.15	c |    104751 |   72795   340394  1129456 | 2147483647   104751     98 |  0.000 % |
168.20/168.39	c |    104851 |   72795   340394  1129456 | 2147483647   104851     98 |  0.000 % |
168.49/168.67	c |    104964 |   72795   340394  1129456 | 2147483647   104964     98 |  0.000 % |
168.89/169.09	c |    105085 |   72795   340394  1129456 | 2147483647   105085     98 |  0.000 % |
169.19/169.38	c |    105219 |   72795   340394  1129456 | 2147483647   105219     98 |  0.000 % |
169.80/169.98	c |    105368 |   72795   340394  1129456 | 2147483647   105368     98 |  0.000 % |
170.20/170.38	c |    105529 |   72795   340394  1129456 | 2147483647   105529     98 |  0.000 % |
170.60/170.71	c |    105705 |   72795   340394  1129456 | 2147483647   105705     99 |  0.000 % |
170.99/171.11	c |    105899 |   72795   340394  1129456 | 2147483647   105899     99 |  0.000 % |
171.50/171.65	c |    106111 |   72795   340394  1129456 | 2147483647   106111     99 |  0.000 % |
171.89/172.09	c |    106345 |   72795   340394  1129456 | 2147483647   106345     99 |  0.000 % |
172.29/172.42	c |    106607 |   72795   340394  1129456 | 2147483647   106607     99 |  0.000 % |
172.49/172.66	c |    106890 |   72795   340394  1129456 | 2147483647   106890     99 |  0.000 % |
172.79/172.96	c |    107199 |   72795   340394  1129456 | 2147483647   107199     99 |  0.000 % |
173.39/173.55	c |    107540 |   72795   340394  1129456 | 2147483647   107540     99 |  0.000 % |
174.99/175.15	c |    107913 |   72795   340394  1129456 | 2147483647   107913    100 |  0.000 % |
176.79/176.96	c |    108322 |   72795   340394  1129456 | 2147483647   108322    100 |  0.000 % |
177.29/177.49	c |    108772 |   72795   340394  1129456 | 2147483647   108772    100 |  0.000 % |
178.10/178.25	c |    109265 |   72795   340394  1129456 | 2147483647   109265    100 |  0.000 % |
178.79/178.92	c |    109807 |   72795   340394  1129456 | 2147483647   109807    100 |  0.000 % |
179.20/179.31	c |    110403 |   72795   340394  1129456 | 2147483647   110403     99 |  0.000 % |
180.69/180.86	c |    111058 |   72795   340394  1129456 | 2147483647   111058    100 |  0.000 % |
181.69/181.88	c |    111778 |   72795   340394  1129456 | 2147483647   111778    100 |  0.000 % |
183.29/183.46	c |    112570 |   72795   340394  1129456 | 2147483647   112570    101 |  0.000 % |
185.59/185.71	c |    113441 |   72795   340394  1129456 | 2147483647   113441    101 |  0.000 % |
186.19/186.32	c |    114406 |   72795   340394  1129456 | 2147483647   114406    101 |  0.000 % |
187.00/187.15	c |    115459 |   72795   340394  1129456 | 2147483647   115459    101 |  0.000 % |
188.09/188.20	c |    116617 |   72795   340394  1129456 | 2147483647   116617    100 |  0.000 % |
189.29/189.45	c |    117891 |   72795   340394  1129456 | 2147483647   117891    100 |  0.000 % |
189.49/189.62	c |    117991 |   72795   340394  1129456 | 2147483647   117991    100 |  0.000 % |
189.69/189.84	c |    118101 |   72795   340394  1129456 | 2147483647   118101    100 |  0.000 % |
190.29/190.45	c |    118222 |   72795   340394  1129456 | 2147483647   118222    100 |  0.000 % |
190.69/190.86	c |    118356 |   72795   340394  1129456 | 2147483647   118356    100 |  0.000 % |
190.89/191.04	c |    118502 |   72795   340394  1129456 | 2147483647   118502    100 |  0.000 % |
191.19/191.36	c |    118662 |   72795   340394  1129456 | 2147483647   118662    100 |  0.000 % |
191.89/192.00	c |    118840 |   72795   340394  1129456 | 2147483647   118840    100 |  0.000 % |
192.58/192.73	c |    119035 |   72795   340394  1129456 | 2147483647   119035    100 |  0.000 % |
193.29/193.41	c |    119247 |   72795   340394  1129456 | 2147483647   119247    100 |  0.000 % |
193.60/193.76	c |    119481 |   72795   340394  1129456 | 2147483647   119481    100 |  0.000 % |
193.99/194.10	c |    119737 |   72795   340394  1129456 | 2147483647   119737    100 |  0.000 % |
194.19/194.36	c |    120019 |   72795   340394  1129456 | 2147483647   120019    100 |  0.000 % |
194.69/194.82	c |    120333 |   72795   340394  1129456 | 2147483647   120333    100 |  0.000 % |
195.19/195.36	c |    120672 |   72795   340394  1129456 | 2147483647   120672    100 |  0.000 % |
195.69/195.82	c |    121044 |   72795   340394  1129456 | 2147483647   121044    100 |  0.000 % |
196.59/196.72	c |    121453 |   72795   340394  1129456 | 2147483647   121453    100 |  0.000 % |
197.59/197.78	c |    121902 |   72795   340394  1129456 | 2147483647   121902    100 |  0.000 % |
198.59/198.73	c |    122395 |   72795   340394  1129456 | 2147483647   122395     99 |  0.000 % |
199.59/199.75	c |    122937 |   72795   340394  1129456 | 2147483647   122937     99 |  0.000 % |
200.49/200.60	c |    123534 |   72795   340394  1129456 | 2147483647   123534    100 |  0.000 % |
201.48/201.69	c |    124193 |   72795   340394  1129456 | 2147483647   124193    100 |  0.000 % |
202.18/202.39	c |    124913 |   72795   340394  1129456 | 2147483647   124913    101 |  0.000 % |
203.19/203.37	c |    125705 |   72795   340394  1129456 | 2147483647   125705    101 |  0.000 % |
204.39/204.53	c |    126576 |   72795   340394  1129456 | 2147483647   126576    101 |  0.000 % |
206.28/206.47	c |    127534 |   72795   340394  1129456 | 2147483647   127534    101 |  0.000 % |
207.79/207.99	c |    128588 |   72795   340394  1129456 | 2147483647   128588    101 |  0.000 % |
209.78/209.96	c |    129746 |   72795   340394  1129456 | 2147483647   129746    102 |  0.000 % |
211.48/211.68	c |    131021 |   72795   340394  1129456 | 2147483647   131021    103 |  0.000 % |
214.58/214.76	c |    132421 |   72795   340394  1129456 | 2147483647   132421    104 |  0.000 % |
214.78/214.98	c |    132525 |   72795   340394  1129456 | 2147483647   132525    104 |  0.000 % |
215.08/215.23	c |    132635 |   72795   340394  1129456 | 2147483647   132635    104 |  0.000 % |
215.49/215.66	c |    132757 |   72795   340394  1129456 | 2147483647   132757    104 |  0.000 % |
215.68/215.82	c |    132890 |   72795   340394  1129456 | 2147483647   132890    104 |  0.000 % |
215.98/216.18	c |    133036 |   72795   340394  1129456 | 2147483647   133036    104 |  0.000 % |
216.48/216.69	c |    133196 |   72795   340394  1129456 | 2147483647   133196    104 |  0.000 % |
216.78/216.90	c |    133373 |   72795   340394  1129456 | 2147483647   133373    104 |  0.000 % |
217.58/217.71	c |    133568 |   72795   340394  1129456 | 2147483647   133568    104 |  0.000 % |
217.98/218.12	c |    133783 |   72795   340394  1129456 | 2147483647   133783    104 |  0.000 % |
218.38/218.56	c |    134017 |   72795   340394  1129456 | 2147483647   134017    104 |  0.000 % |
219.48/219.63	c |    134275 |   72795   340394  1129456 | 2147483647   134275    104 |  0.000 % |
220.48/220.62	c |    134557 |   72795   340394  1129456 | 2147483647   134557    104 |  0.000 % |
221.18/221.37	c |    134866 |   72795   340394  1129456 | 2147483647   134866    104 |  0.000 % |
221.58/221.76	c |    135206 |   72795   340394  1129456 | 2147483647   135206    104 |  0.000 % |
222.08/222.28	c |    135578 |   72795   340394  1129456 | 2147483647   135578    104 |  0.000 % |
223.87/224.05	c |    135987 |   72795   340394  1129456 | 2147483647   135987    105 |  0.000 % |
224.38/224.54	c |    136437 |   72795   340394  1129456 | 2147483647   136437    104 |  0.000 % |
224.87/225.05	c |    136930 |   72795   340394  1129456 | 2147483647   136930    104 |  0.000 % |
226.37/226.52	c |    137473 |   72795   340394  1129456 | 2147483647   137473    104 |  0.000 % |
228.79/228.93	c |    138071 |   72795   340394  1129456 | 2147483647   138071    104 |  0.000 % |
229.98/230.14	c |    138727 |   72795   340394  1129456 | 2147483647   138727    104 |  0.000 % |
231.18/231.40	c |    139447 |   72795   340394  1129456 | 2147483647   139447    105 |  0.000 % |
232.37/232.59	c |    140239 |   72795   340394  1129456 | 2147483647   140239    106 |  0.000 % |
233.08/233.23	c |    141110 |   72795   340394  1129456 | 2147483647   141110    105 |  0.000 % |
234.98/235.14	c |    142068 |   72795   340394  1129456 | 2147483647   142068    106 |  0.000 % |
236.78/236.92	c |    143124 |   72795   340394  1129456 | 2147483647   143124    106 |  0.000 % |
238.78/238.90	c |    144283 |   72795   340394  1129456 | 2147483647   144283    106 |  0.000 % |
240.67/240.89	c |    145557 |   72795   340394  1129456 | 2147483647   145557    107 |  0.000 % |
242.68/242.87	c |    146959 |   72795   340394  1129456 | 2147483647   146959    108 |  0.000 % |
245.57/245.79	c |    148500 |   72795   340394  1129456 | 2147483647   148500    108 |  0.000 % |
245.97/246.11	c |    148601 |   72795   340394  1129456 | 2147483647   148601    109 |  0.000 % |
246.47/246.64	c |    148713 |   72795   340394  1129456 | 2147483647   148713    109 |  0.000 % |
246.67/246.83	c |    148834 |   72795   340394  1129456 | 2147483647   148834    108 |  0.000 % |
246.97/247.18	c |    148967 |   72795   340394  1129456 | 2147483647   148967    108 |  0.000 % |
247.17/247.39	c |    149113 |   72795   340394  1129456 | 2147483647   149113    108 |  0.000 % |
247.47/247.64	c |    149274 |   72795   340394  1129456 | 2147483647   149274    108 |  0.000 % |
248.07/248.27	c |    149450 |   72795   340394  1129456 | 2147483647   149450    108 |  0.000 % |
248.57/248.74	c |    149643 |   72795   340394  1129456 | 2147483647   149643    108 |  0.000 % |
249.07/249.27	c |    149857 |   72795   340394  1129456 | 2147483647   149857    108 |  0.000 % |
249.77/249.96	c |    150091 |   72795   340394  1129456 | 2147483647   150091    108 |  0.000 % |
251.07/251.28	c |    150348 |   72795   340394  1129456 | 2147483647   150348    108 |  0.000 % |
251.47/251.62	c |    150629 |   72795   340394  1129456 | 2147483647   150629    108 |  0.000 % |
252.07/252.25	c |    150938 |   72795   340394  1129456 | 2147483647   150938    108 |  0.000 % |
252.87/253.06	c |    151278 |   72795   340394  1129456 | 2147483647   151278    108 |  0.000 % |
253.87/254.05	c |    151651 |   72795   340394  1129456 | 2147483647   151651    108 |  0.000 % |
254.27/254.44	c |    152061 |   72795   340394  1129456 | 2147483647   152061    108 |  0.000 % |
255.17/255.37	c |    152510 |   72795   340394  1129456 | 2147483647   152510    108 |  0.000 % |
255.68/255.88	c |    153003 |   72795   340394  1129456 | 2147483647   153003    108 |  0.000 % |
256.88/257.00	c |    153545 |   72795   340394  1129456 | 2147483647   153545    108 |  0.000 % |
257.57/257.75	c |    154142 |   72795   340394  1129456 | 2147483647   154142    108 |  0.000 % |
258.57/258.77	c |    154798 |   72795   340394  1129456 | 2147483647   154798    108 |  0.000 % |
259.67/259.89	c |    155519 |   72795   340394  1129456 | 2147483647   155519    108 |  0.000 % |
260.58/260.71	c |    156311 |   72795   340394  1129456 | 2147483647   156311    108 |  0.000 % |
265.67/265.84	c |    157182 |   72795   340394  1129456 | 2147483647   157182    109 |  0.000 % |
267.66/267.86	c |    158140 |   72795   340394  1129456 | 2147483647   158140    108 |  0.000 % |
269.37/269.54	c |    159195 |   72795   340394  1129456 | 2147483647   159195    108 |  0.000 % |
270.87/271.03	c |    160354 |   72795   340394  1129456 | 2147483647   160354    108 |  0.000 % |
272.57/272.79	c |    161628 |   72795   340394  1129456 | 2147483647   161628    108 |  0.000 % |
274.76/275.00	c |    163030 |   72795   340394  1129456 | 2147483647   163030    108 |  0.000 % |
281.96/282.11	c |    164570 |   72795   340394  1129456 | 2147483647   164570    111 |  0.000 % |
284.77/284.93	c |    166264 |   72795   340394  1129456 | 2147483647   166264    111 |  0.000 % |
284.87/285.09	c |    166366 |   72795   340394  1129456 | 2147483647   166366    111 |  0.000 % |
285.07/285.21	c |    166478 |   72795   340394  1129456 | 2147483647   166478    111 |  0.000 % |
285.26/285.47	c |    166600 |   72795   340394  1129456 | 2147483647   166600    110 |  0.000 % |
285.66/285.80	c |    166733 |   72795   340394  1129456 | 2147483647   166733    111 |  0.000 % |
285.87/286.09	c |    166879 |   72795   340394  1129456 | 2147483647   166879    111 |  0.000 % |
286.16/286.39	c |    167040 |   72795   340394  1129456 | 2147483647   167040    110 |  0.000 % |
286.86/287.01	c |    167218 |   72795   340394  1129456 | 2147483647   167218    111 |  0.000 % |
287.46/287.65	c |    167411 |   72795   340394  1129456 | 2147483647   167411    110 |  0.000 % |
287.66/287.82	c |    167623 |   72795   340394  1129456 | 2147483647   167623    110 |  0.000 % |
288.06/288.27	c |    167856 |   72795   340394  1129456 | 2147483647   167856    111 |  0.000 % |
288.56/288.74	c |    168113 |   72795   340394  1129456 | 2147483647   168113    111 |  0.000 % |
289.56/289.75	c |    168394 |   72795   340394  1129456 | 2147483647   168394    111 |  0.000 % |
290.16/290.33	c |    168703 |   72795   340394  1129456 | 2147483647   168703    111 |  0.000 % |
290.96/291.17	c |    169042 |   72795   340394  1129456 | 2147483647   169042    110 |  0.000 % |
291.76/291.96	c |    169414 |   72795   340394  1129456 | 2147483647   169414    110 |  0.000 % |
292.76/292.98	c |    169825 |   72795   340394  1129456 | 2147483647   169825    110 |  0.000 % |
293.96/294.11	c |    170275 |   72795   340394  1129456 | 2147483647   170275    110 |  0.000 % |
294.66/294.80	c |    170768 |   72795   340394  1129456 | 2147483647   170768    110 |  0.000 % |
296.06/296.25	c |    171311 |   72795   340394  1129456 | 2147483647   171311    110 |  0.000 % |
297.05/297.24	c |    171907 |   72795   340394  1129456 | 2147483647   171907    110 |  0.000 % |
298.35/298.56	c |    172564 |   72795   340394  1129456 | 2147483647   172564    110 |  0.000 % |
299.86/300.09	c |    173285 |   72795   340394  1129456 | 2147483647   173285    110 |  0.000 % |
301.76/301.92	c |    174077 |   72795   340394  1129456 | 2147483647   174077    110 |  0.000 % |
303.26/303.41	c |    174949 |   72795   340394  1129456 | 2147483647   174949    110 |  0.000 % |
304.26/304.48	c |    175908 |   72795   340394  1129456 | 2147483647   175908    110 |  0.000 % |
305.96/306.18	c |    176961 |   72795   340394  1129456 | 2147483647   176961    110 |  0.000 % |
307.86/308.06	c |    178121 |   72795   340394  1129456 | 2147483647   178121    110 |  0.000 % |
309.25/309.49	c |    179394 |   72795   340394  1129456 | 2147483647   179394    109 |  0.000 % |
311.95/312.16	c |    180794 |   72795   340394  1129456 | 2147483647   180794    110 |  0.000 % |
313.86/314.03	c |    182334 |   72795   340394  1129456 | 2147483647   182334    110 |  0.000 % |
316.85/317.09	c |    184028 |   72795   340394  1129456 | 2147483647   184028    110 |  0.000 % |
319.75/319.90	c |    185891 |   72795   340394  1129456 | 2147483647   185891    111 |  0.000 % |
319.95/320.17	c |    185992 |   72795   340394  1129456 | 2147483647   185992    111 |  0.000 % |
320.25/320.44	c |    186104 |   72795   340394  1129456 | 2147483647   186104    111 |  0.000 % |
320.45/320.61	c |    186226 |   72795   340394  1129456 | 2147483647   186226    111 |  0.000 % |
320.65/320.81	c |    186359 |   72795   340394  1129456 | 2147483647   186359    111 |  0.000 % |
320.95/321.12	c |    186505 |   72795   340394  1129456 | 2147483647   186505    111 |  0.000 % |
321.45/321.67	c |    186666 |   72795   340394  1129456 | 2147483647   186666    111 |  0.000 % |
322.25/322.48	c |    186844 |   72795   340394  1129456 | 2147483647   186844    111 |  0.000 % |
322.45/322.62	c |    187039 |   72795   340394  1129456 | 2147483647   187039    111 |  0.000 % |
322.75/322.97	c |    187251 |   72795   340394  1129456 | 2147483647   187251    111 |  0.000 % |
323.55/323.74	c |    187486 |   72795   340394  1129456 | 2147483647   187486    111 |  0.000 % |
323.95/324.15	c |    187742 |   72795   340394  1129456 | 2147483647   187742    111 |  0.000 % |
324.55/324.79	c |    188024 |   72795   340394  1129456 | 2147483647   188024    111 |  0.000 % |
325.45/325.66	c |    188333 |   72795   340394  1129456 | 2147483647   188333    111 |  0.000 % |
325.85/326.04	c |    188673 |   72795   340394  1129456 | 2147483647   188673    111 |  0.000 % |
326.75/326.95	c |    189045 |   72795   340394  1129456 | 2147483647   189045    111 |  0.000 % |
327.65/327.86	c |    189455 |   72795   340394  1129456 | 2147483647   189455    111 |  0.000 % |
328.35/328.58	c |    189904 |   72795   340394  1129456 | 2147483647   189904    111 |  0.000 % |
329.55/329.70	c |    190397 |   72795   340394  1129456 | 2147483647   190397    111 |  0.000 % |
330.85/331.01	c |    190939 |   72795   340394  1129456 | 2147483647   190939    112 |  0.000 % |
332.25/332.49	c |    191535 |   72795   340394  1129456 | 2147483647   191535    112 |  0.000 % |
333.05/333.25	c |    192192 |   72795   340394  1129456 | 2147483647   192192    112 |  0.000 % |
333.65/333.82	c |    192912 |   72795   340394  1129456 | 2147483647   192912    112 |  0.000 % |
334.25/334.42	c |    193704 |   72795   340394  1129456 | 2147483647   193704    112 |  0.000 % |
336.05/336.23	c |    194575 |   72795   340394  1129456 | 2147483647   194575    112 |  0.000 % |
338.55/338.80	c |    195533 |   72795   340394  1129456 | 2147483647   195533    112 |  0.000 % |
340.64/340.85	c |    196587 |   72795   340394  1129456 | 2147483647   196587    113 |  0.000 % |
343.15/343.37	c |    197745 |   72795   340394  1129456 | 2147483647   197745    113 |  0.000 % |
345.25/345.43	c |    199018 |   72795   340394  1129456 | 2147483647   199018    113 |  0.000 % |
347.55/347.72	c |    200418 |   72795   340394  1129456 | 2147483647   200418    114 |  0.000 % |
354.34/354.56	c |    201958 |   72795   340394  1129456 | 2147483647   201958    114 |  0.000 % |
359.44/359.62	c |    203653 |   72795   340394  1129456 | 2147483647   203653    114 |  0.000 % |
365.84/366.02	c |    205517 |   72795   340394  1129456 | 2147483647   205517    115 |  0.000 % |
370.93/371.17	c |    207566 |   72795   340394  1129456 | 2147483647   207566    115 |  0.000 % |
371.23/371.44	c |    207666 |   72795   340394  1129456 | 2147483647   207666    115 |  0.000 % |
371.34/371.53	c |    207778 |   72795   340394  1129456 | 2147483647   207778    115 |  0.000 % |
371.54/371.75	c |    207900 |   72795   340394  1129456 | 2147483647   207900    115 |  0.000 % |
371.84/372.03	c |    208033 |   72795   340394  1129456 | 2147483647   208033    115 |  0.000 % |
372.14/372.34	c |    208179 |   72795   340394  1129456 | 2147483647   208179    115 |  0.000 % |
372.54/372.78	c |    208340 |   72795   340394  1129456 | 2147483647   208340    115 |  0.000 % |
373.04/373.24	c |    208516 |   72795   340394  1129456 | 2147483647   208516    115 |  0.000 % |
373.44/373.64	c |    208710 |   72795   340394  1129456 | 2147483647   208710    115 |  0.000 % |
373.84/374.03	c |    208922 |   72795   340394  1129456 | 2147483647   208922    115 |  0.000 % |
374.44/374.63	c |    209155 |   72795   340394  1129456 | 2147483647   209155    115 |  0.000 % |
375.24/375.43	c |    209412 |   72795   340394  1129456 | 2147483647   209412    116 |  0.000 % |
375.64/375.89	c |    209693 |   72795   340394  1129456 | 2147483647   209693    116 |  0.000 % |
376.14/376.32	c |    210002 |   72795   340394  1129456 | 2147483647   210002    116 |  0.000 % |
376.83/377.08	c |    210341 |   72795   340394  1129456 | 2147483647   210341    116 |  0.000 % |
377.83/378.00	c |    210713 |   72795   340394  1129456 | 2147483647   210713    116 |  0.000 % |
378.73/378.91	c |    211128 |   72795   340394  1129456 | 2147483647   211128    116 |  0.000 % |
380.24/380.45	c |    211577 |   72795   340394  1129456 | 2147483647   211577    116 |  0.000 % |
381.14/381.37	c |    212073 |   72795   340394  1129456 | 2147483647   212073    117 |  0.000 % |
382.33/382.52	c |    212615 |   72795   340394  1129456 | 2147483647   212615    117 |  0.000 % |
383.03/383.25	c |    213212 |   72795   340394  1129456 | 2147483647   213212    117 |  0.000 % |
385.23/385.45	c |    213869 |   72795   340394  1129456 | 2147483647   213869    117 |  0.000 % |
385.73/385.93	c |    214589 |   72795   340394  1129456 | 2147483647   214589    117 |  0.000 % |
387.24/387.41	c |    215381 |   72795   340394  1129456 | 2147483647   215381    117 |  0.000 % |
389.83/390.03	c |    216253 |   72795   340394  1129456 | 2147483647   216253    118 |  0.000 % |
391.63/391.85	c |    217211 |   72795   340394  1129456 | 2147483647   217211    118 |  0.000 % |
393.13/393.34	c |    218265 |   72795   340394  1129456 | 2147483647   218265    118 |  0.000 % |
395.53/395.77	c |    219423 |   72795   340394  1129456 | 2147483647   219423    118 |  0.000 % |
399.93/400.13	c |    220699 |   72795   340394  1129456 | 2147483647   220699    119 |  0.000 % |
402.73/402.90	c |    222099 |   72795   340394  1129456 | 2147483647   222099    120 |  0.000 % |
405.13/405.39	c |    223640 |   72795   340394  1129456 | 2147483647   223640    120 |  0.000 % |
408.33/408.54	c |    225334 |   72795   340394  1129456 | 2147483647   225334    121 |  0.000 % |
411.32/411.55	c |    227198 |   72795   340394  1129456 | 2147483647   227198    121 |  0.000 % |
412.63/412.89	c |    229250 |   72795   340394  1129456 | 2147483647   229250    121 |  0.000 % |
418.22/418.48	c |    231503 |   72795   340394  1129456 | 2147483647   231503    121 |  0.000 % |
418.62/418.86	c |    231603 |   72795   340394  1129456 | 2147483647   231603    121 |  0.000 % |
418.93/419.15	c |    231714 |   72795   340394  1129456 | 2147483647   231714    121 |  0.000 % |
419.22/419.40	c |    231835 |   72795   340394  1129456 | 2147483647   231835    121 |  0.000 % |
419.32/419.54	c |    231968 |   72795   340394  1129456 | 2147483647   231968    121 |  0.000 % |
419.72/419.94	c |    232114 |   72795   340394  1129456 | 2147483647   232114    121 |  0.000 % |
420.12/420.35	c |    232274 |   72795   340394  1129456 | 2147483647   232274    121 |  0.000 % |
420.52/420.74	c |    232450 |   72795   340394  1129456 | 2147483647   232450    121 |  0.000 % |
420.92/421.15	c |    232643 |   72795   340394  1129456 | 2147483647   232643    121 |  0.000 % |
421.52/421.72	c |    232855 |   72795   340394  1129456 | 2147483647   232855    121 |  0.000 % |
422.02/422.26	c |    233091 |   72795   340394  1129456 | 2147483647   233091    122 |  0.000 % |
422.42/422.69	c |    233347 |   72795   340394  1129456 | 2147483647   233347    122 |  0.000 % |
423.22/423.40	c |    233628 |   72795   340394  1129456 | 2147483647   233628    122 |  0.000 % |
423.72/423.95	c |    233937 |   72795   340394  1129456 | 2147483647   233937    122 |  0.000 % |
424.12/424.36	c |    234276 |   72795   340394  1129456 | 2147483647   234276    122 |  0.000 % |
424.92/425.10	c |    234648 |   72795   340394  1129456 | 2147483647   234648    122 |  0.000 % |
425.22/425.43	c |    235059 |   72795   340394  1129456 | 2147483647   235059    122 |  0.000 % |
425.72/425.99	c |    235510 |   72795   340394  1129456 | 2147483647   235510    121 |  0.000 % |
426.92/427.14	c |    236004 |   72795   340394  1129456 | 2147483647   236004    121 |  0.000 % |
428.02/428.27	c |    236548 |   72795   340394  1129456 | 2147483647   236548    121 |  0.000 % |
429.42/429.65	c |    237144 |   72795   340394  1129456 | 2147483647   237144    121 |  0.000 % |
430.82/431.02	c |    237800 |   72795   340394  1129456 | 2147483647   237800    121 |  0.000 % |
432.72/432.90	c |    238520 |   72795   340394  1129456 | 2147483647   238520    121 |  0.000 % |
434.32/434.52	c |    239314 |   72795   340394  1129456 | 2147483647   239314    121 |  0.000 % |
435.81/436.02	c |    240186 |   72795   340394  1129456 | 2147483647   240186    121 |  0.000 % |
438.51/438.75	c |    241145 |   72795   340394  1129456 | 2147483647   241145    122 |  0.000 % |
441.42/441.70	c |    242199 |   72795   340394  1129456 | 2147483647   242199    122 |  0.000 % |
443.51/443.78	c |    243357 |   72795   340394  1129456 | 2147483647   243357    122 |  0.000 % |
445.61/445.87	c |    244633 |   72795   340394  1129456 | 2147483647   244633    122 |  0.000 % |
447.61/447.89	c |    246039 |   72795   340394  1129456 | 2147483647   246039    121 |  0.000 % |
451.20/451.44	c |    247579 |   72795   340394  1129456 | 2147483647   247579    122 |  0.000 % |
453.12/453.32	c |    249274 |   72795   340394  1129456 | 2147483647   249274    121 |  0.000 % |
456.21/456.40	c |    251137 |   72795   340394  1129456 | 2147483647   251137    121 |  0.000 % |
460.10/460.37	c |    253186 |   72795   340394  1129456 | 2147483647   253186    121 |  0.000 % |
465.91/466.11	c |    255439 |   72795   340394  1129456 | 2147483647   255439    122 |  0.000 % |
474.50/474.75	c |    257917 |   72795   340394  1129456 | 2147483647   257917    123 |  0.000 % |
474.70/474.96	c |    258017 |   72795   340394  1129456 | 2147483647   258017    123 |  0.000 % |
474.80/475.08	c |    258127 |   72795   340394  1129456 | 2147483647   258127    123 |  0.000 % |
475.30/475.58	c |    258248 |   72795   340394  1129456 | 2147483647   258248    123 |  0.000 % |
475.60/475.86	c |    258382 |   72795   340394  1129456 | 2147483647   258382    123 |  0.000 % |
476.00/476.24	c |    258528 |   72795   340394  1129456 | 2147483647   258528    123 |  0.000 % |
476.30/476.54	c |    258688 |   72795   340394  1129456 | 2147483647   258688    123 |  0.000 % |
476.80/477.08	c |    258864 |   72795   340394  1129456 | 2147483647   258864    123 |  0.000 % |
477.10/477.34	c |    259057 |   72795   340394  1129456 | 2147483647   259057    123 |  0.000 % |
477.50/477.73	c |    259270 |   72795   340394  1129456 | 2147483647   259270    123 |  0.000 % |
478.20/478.43	c |    259503 |   72795   340394  1129456 | 2147483647   259503    123 |  0.000 % |
479.00/479.29	c |    259759 |   72795   340394  1129456 | 2147483647   259759    123 |  0.000 % |
480.10/480.32	c |    260041 |   72795   340394  1129456 | 2147483647   260041    123 |  0.000 % |
480.90/481.18	c |    260352 |   72795   340394  1129456 | 2147483647   260352    123 |  0.000 % |
481.80/482.08	c |    260692 |   72795   340394  1129456 | 2147483647   260692    123 |  0.000 % |
482.81/483.05	c |    261065 |   72795   340394  1129456 | 2147483647   261065    124 |  0.000 % |
484.00/484.22	c |    261474 |   72795   340394  1129456 | 2147483647   261474    124 |  0.000 % |
484.70/484.93	c |    261924 |   72795   340394  1129456 | 2147483647   261924    123 |  0.000 % |
485.50/485.71	c |    262420 |   72795   340394  1129456 | 2147483647   262420    124 |  0.000 % |
487.20/487.44	c |    262962 |   72795   340394  1129456 | 2147483647   262962    124 |  0.000 % |
488.40/488.60	c |    263558 |   72795   340394  1129456 | 2147483647   263558    124 |  0.000 % |
489.40/489.64	c |    264213 |   72795   340394  1129456 | 2147483647   264213    124 |  0.000 % |
490.59/490.85	c |    264934 |   72795   340394  1129456 | 2147483647   264934    124 |  0.000 % |
492.40/492.64	c |    265726 |   72795   340394  1129456 | 2147483647   265726    124 |  0.000 % |
493.90/494.18	c |    266597 |   72795   340394  1129456 | 2147483647   266597    124 |  0.000 % |
495.60/495.83	c |    267556 |   72795   340394  1129456 | 2147483647   267556    124 |  0.000 % |
497.79/498.09	c |    268610 |   72795   340394  1129456 | 2147483647   268610    125 |  0.000 % |
499.20/499.49	c |    269769 |   72795   340394  1129456 | 2147483647   269769    124 |  0.000 % |
503.19/503.49	c |    271042 |   72795   340394  1129456 | 2147483647   271042    125 |  0.000 % |
506.19/506.49	c |    272443 |   72795   340394  1129456 | 2147483647   272443    126 |  0.000 % |
509.99/510.24	c |    273983 |   72795   340394  1129456 | 2147483647   273983    126 |  0.000 % |
514.19/514.44	c |    275678 |   72795   340394  1129456 | 2147483647   275678    126 |  0.000 % |
515.99/516.29	c |    277542 |   72795   340394  1129456 | 2147483647   277542    127 |  0.000 % |
520.59/520.85	c |    279591 |   72795   340394  1129456 | 2147483647   279591    127 |  0.000 % |
524.89/525.12	c |    281844 |   72795   340394  1129456 | 2147483647   281844    127 |  0.000 % |
529.09/529.39	c |    284324 |   72795   340394  1129456 | 2147483647   284324    128 |  0.000 % |
532.89/533.17	c |    287049 |   72795   340394  1129456 | 2147483647   287049    128 |  0.000 % |
533.29/533.59	c |    287152 |   72795   340394  1129456 | 2147483647   287152    128 |  0.000 % |
533.68/533.95	c |    287262 |   72795   340394  1129456 | 2147483647   287262    128 |  0.000 % |
533.98/534.24	c |    287383 |   72795   340394  1129456 | 2147483647   287383    128 |  0.000 % |
534.28/534.59	c |    287516 |   72795   340394  1129456 | 2147483647   287516    128 |  0.000 % |
534.68/534.99	c |    287662 |   72795   340394  1129456 | 2147483647   287662    128 |  0.000 % |
535.28/535.56	c |    287824 |   72795   340394  1129456 | 2147483647   287824    128 |  0.000 % |
535.88/536.18	c |    288000 |   72795   340394  1129456 | 2147483647   288000    128 |  0.000 % |
536.18/536.49	c |    288193 |   72795   340394  1129456 | 2147483647   288193    128 |  0.000 % |
536.48/536.80	c |    288405 |   72795   340394  1129456 | 2147483647   288405    128 |  0.000 % |
537.28/537.51	c |    288638 |   72795   340394  1129456 | 2147483647   288638    128 |  0.000 % |
537.58/537.86	c |    288896 |   72795   340394  1129456 | 2147483647   288896    128 |  0.000 % |
538.08/538.32	c |    289177 |   72795   340394  1129456 | 2147483647   289177    128 |  0.000 % |
538.68/538.93	c |    289487 |   72795   340394  1129456 | 2147483647   289487    128 |  0.000 % |
539.28/539.53	c |    289829 |   72795   340394  1129456 | 2147483647   289829    128 |  0.000 % |
539.98/540.28	c |    290203 |   72795   340394  1129456 | 2147483647   290203    128 |  0.000 % |
540.88/541.18	c |    290612 |   72795   340394  1129456 | 2147483647   290612    128 |  0.000 % |
541.18/541.48	c |    291062 |   72795   340394  1129456 | 2147483647   291062    128 |  0.000 % |
542.28/542.58	c |    291556 |   72795   340394  1129456 | 2147483647   291556    128 |  0.000 % |
543.88/544.17	c |    292103 |   72795   340394  1129456 | 2147483647   292103    128 |  0.000 % |
545.68/545.97	c |    292699 |   72795   340394  1129456 | 2147483647   292699    128 |  0.000 % |
548.28/548.57	c |    293355 |   72795   340394  1129456 | 2147483647   293355    129 |  0.000 % |
549.98/550.24	c |    294075 |   72795   340394  1129456 | 2147483647   294075    129 |  0.000 % |
551.18/551.45	c |    294867 |   72795   340394  1129456 | 2147483647   294867    129 |  0.000 % |
552.67/552.95	c |    295739 |   72795   340394  1129456 | 2147483647   295739    129 |  0.000 % |
554.18/554.41	c |    296697 |   72795   340394  1129456 | 2147483647   296697    129 |  0.000 % |
555.88/556.15	c |    297750 |   72795   340394  1129456 | 2147483647   297750    129 |  0.000 % |
557.98/558.30	c |    298908 |   72795   340394  1129456 | 2147483647   298908    129 |  0.000 % |
559.48/559.80	c |    300183 |   72795   340394  1129456 | 2147483647   300183    129 |  0.000 % |
562.48/562.73	c |    301588 |   72795   340394  1129456 | 2147483647   301588    129 |  0.000 % |
564.48/564.74	c |    303131 |   72795   340394  1129456 | 2147483647   303131    129 |  0.000 % |
567.07/567.36	c |    304829 |   72795   340394  1129456 | 2147483647   304829    130 |  0.000 % |
572.28/572.52	c |    306697 |   72795   340394  1129456 | 2147483647   306697    130 |  0.000 % |
577.17/577.41	c |    308746 |   72795   340394  1129456 | 2147483647   308746    131 |  0.000 % |
581.78/582.02	c |    311002 |   72795   340394  1129456 | 2147483647   311002    131 |  0.000 % |
585.97/586.22	c |    313480 |   72795   340394  1129456 | 2147483647   313480    131 |  0.000 % |
591.17/591.45	c |    316206 |   72795   340394  1129456 | 2147483647   316206    131 |  0.000 % |
599.67/599.94	c |    319203 |   72795   340394  1129456 | 2147483647   319203    133 |  0.000 % |
600.07/600.34	c |    319306 |   72795   340394  1129456 | 2147483647   319306    133 |  0.000 % |
600.66/600.90	c |    319416 |   72795   340394  1129456 | 2147483647   319416    133 |  0.000 % |
601.06/601.35	c |    319538 |   72795   340394  1129456 | 2147483647   319538    133 |  0.000 % |
601.96/602.20	c |    319671 |   72795   340394  1129456 | 2147483647   319671    133 |  0.000 % |
602.16/602.43	c |    319817 |   72795   340394  1129456 | 2147483647   319817    133 |  0.000 % |
602.46/602.75	c |    319977 |   72795   340394  1129456 | 2147483647   319977    133 |  0.000 % |
602.76/603.08	c |    320155 |   72795   340394  1129456 | 2147483647   320155    133 |  0.000 % |
603.06/603.39	c |    320348 |   72795   340394  1129456 | 2147483647   320348    133 |  0.000 % |
603.77/604.02	c |    320560 |   72795   340394  1129456 | 2147483647   320560    133 |  0.000 % |
604.46/604.73	c |    320793 |   72795   340394  1129456 | 2147483647   320793    133 |  0.000 % |
605.26/605.52	c |    321050 |   72795   340394  1129456 | 2147483647   321050    133 |  0.000 % |
605.87/606.14	c |    321331 |   72795   340394  1129456 | 2147483647   321331    133 |  0.000 % |
606.47/606.72	c |    321640 |   72795   340394  1129456 | 2147483647   321640    133 |  0.000 % |
606.97/607.21	c |    321979 |   72795   340394  1129456 | 2147483647   321979    133 |  0.000 % |
607.97/608.20	c |    322353 |   72795   340394  1129456 | 2147483647   322353    133 |  0.000 % |
608.37/608.61	c |    322762 |   72795   340394  1129456 | 2147483647   322762    133 |  0.000 % |
609.36/609.60	c |    323215 |   72795   340394  1129456 | 2147483647   323215    133 |  0.000 % |
610.37/610.67	c |    323708 |   72795   340394  1129456 | 2147483647   323708    133 |  0.000 % |
612.86/613.19	c |    324263 |   72795   340394  1129456 | 2147483647   324263    133 |  0.000 % |
614.46/614.77	c |    324863 |   72795   340394  1129456 | 2147483647   324863    133 |  0.000 % |
616.87/617.17	c |    325518 |   72795   340394  1129456 | 2147483647   325518    134 |  0.000 % |
619.76/620.03	c |    326239 |   72795   340394  1129456 | 2147483647   326239    134 |  0.000 % |
621.86/622.13	c |    327032 |   72795   340394  1129456 | 2147483647   327032    134 |  0.000 % |
624.06/624.35	c |    327903 |   72795   340394  1129456 | 2147483647   327903    134 |  0.000 % |
625.25/625.56	c |    328864 |   72795   340394  1129456 | 2147483647   328864    134 |  0.000 % |
626.95/627.25	c |    329917 |   72795   340394  1129456 | 2147483647   329917    134 |  0.000 % |
628.75/629.03	c |    331075 |   72795   340394  1129456 | 2147483647   331075    134 |  0.000 % |
630.55/630.83	c |    332349 |   72795   340394  1129456 | 2147483647   332349    133 |  0.000 % |
633.25/633.57	c |    333750 |   72795   340394  1129456 | 2147483647   333750    134 |  0.000 % |
635.45/635.78	c |    335292 |   72795   340394  1129456 | 2147483647   335292    134 |  0.000 % |
638.25/638.55	c |    336986 |   72795   340394  1129456 | 2147483647   336986    134 |  0.000 % |
643.95/644.29	c |    338849 |   72795   340394  1129456 | 2147483647   338849    134 |  0.000 % |
649.55/649.84	c |    340898 |   72795   340394  1129456 | 2147483647   340898    134 |  0.000 % |
656.55/656.86	c |    343152 |   72795   340394  1129456 | 2147483647   343152    133 |  0.000 % |
663.75/664.07	c |    345632 |   72795   340394  1129456 | 2147483647   345632    134 |  0.000 % |
668.64/668.99	c |    348357 |   72795   340394  1129456 | 2147483647   348357    135 |  0.000 % |
674.44/674.76	c |    351354 |   72795   340394  1129456 | 2147483647   351354    135 |  0.000 % |
681.63/681.94	c |    354650 |   72795   340394  1129456 | 2147483647   354650    135 |  0.000 % |
682.03/682.38	c |    354750 |   72795   340394  1129456 | 2147483647   354750    135 |  0.000 % |
682.43/682.71	c |    354862 |   72795   340394  1129456 | 2147483647   354862    135 |  0.000 % |
683.03/683.33	c |    354983 |   72795   340394  1129456 | 2147483647   354983    135 |  0.000 % |
683.33/683.67	c |    355116 |   72795   340394  1129456 | 2147483647   355116    135 |  0.000 % |
683.63/683.94	c |    355262 |   72795   340394  1129456 | 2147483647   355262    135 |  0.000 % |
683.83/684.17	c |    355422 |   72795   340394  1129456 | 2147483647   355422    135 |  0.000 % |
684.74/685.05	c |    355598 |   72795   340394  1129456 | 2147483647   355598    135 |  0.000 % |
685.34/685.70	c |    355792 |   72795   340394  1129456 | 2147483647   355792    135 |  0.000 % |
685.74/686.05	c |    356006 |   72795   340394  1129456 | 2147483647   356006    135 |  0.000 % |
686.24/686.55	c |    356239 |   72795   340394  1129456 | 2147483647   356239    135 |  0.000 % |
686.84/687.19	c |    356495 |   72795   340394  1129456 | 2147483647   356495    135 |  0.000 % |
687.64/687.95	c |    356776 |   72795   340394  1129456 | 2147483647   356776    135 |  0.000 % |
688.53/688.83	c |    357086 |   72795   340394  1129456 | 2147483647   357086    135 |  0.000 % |
689.93/690.25	c |    357425 |   72795   340394  1129456 | 2147483647   357425    135 |  0.000 % |
690.93/691.27	c |    357797 |   72795   340394  1129456 | 2147483647   357797    135 |  0.000 % |
691.53/691.86	c |    358207 |   72795   340394  1129456 | 2147483647   358207    135 |  0.000 % |
692.33/692.62	c |    358656 |   72795   340394  1129456 | 2147483647   358656    135 |  0.000 % |
694.03/694.33	c |    359149 |   72795   340394  1129456 | 2147483647   359149    136 |  0.000 % |
696.14/696.49	c |    359691 |   72795   340394  1129456 | 2147483647   359691    136 |  0.000 % |
698.54/698.84	c |    360287 |   72795   340394  1129456 | 2147483647   360287    136 |  0.000 % |
700.13/700.42	c |    360942 |   72795   340394  1129456 | 2147483647   360942    136 |  0.000 % |
702.23/702.54	c |    361662 |   72795   340394  1129456 | 2147483647   361662    136 |  0.000 % |
703.63/703.94	c |    362454 |   72795   340394  1129456 | 2147483647   362454    136 |  0.000 % |
705.73/706.02	c |    363326 |   72795   340394  1129456 | 2147483647   363326    136 |  0.000 % |
708.83/709.10	c |    364285 |   72795   340394  1129456 | 2147483647   364285    137 |  0.000 % |
712.93/713.21	c |    365340 |   72795   340394  1129456 | 2147483647   365340    137 |  0.000 % |
718.22/718.54	c |    366499 |   72795   340394  1129456 | 2147483647   366499    137 |  0.000 % |
720.93/721.26	c |    367773 |   72795   340394  1129456 | 2147483647   367773    138 |  0.000 % |
726.83/727.14	c |    369173 |   72795   340394  1129456 | 2147483647   369173    138 |  0.000 % |
733.82/734.13	c |    370713 |   72795   340394  1129456 | 2147483647   370713    139 |  0.000 % |
736.92/737.28	c |    372407 |   72795   340394  1129456 | 2147483647   372407    139 |  0.000 % |
742.92/743.26	c |    374271 |   72795   340394  1129456 | 2147483647   374271    139 |  0.000 % |
749.41/749.77	c |    376322 |   72795   340394  1129456 | 2147483647   376322    139 |  0.000 % |
754.02/754.30	c |    378575 |   72795   340394  1129456 | 2147483647   378575    140 |  0.000 % |
761.81/762.16	c |    381054 |   72795   340394  1129456 | 2147483647   381054    140 |  0.000 % |
768.41/768.79	c |    383780 |   72795   340394  1129456 | 2147483647   383780    140 |  0.000 % |
776.91/777.23	c |    386777 |   72795   340394  1129456 | 2147483647   386777    140 |  0.000 % |
789.01/789.37	c |    390073 |   72795   340394  1129456 | 2147483647   390073    139 |  0.000 % |
803.00/803.38	c |    393699 |   72795   340394  1129456 | 2147483647   393699    140 |  0.000 % |
803.50/803.82	c |    393799 |   72795   340394  1129456 | 2147483647   393799    140 |  0.000 % |
803.50/803.90	c |    393909 |   72795   340394  1129456 | 2147483647   393909    140 |  0.000 % |
804.00/804.39	c |    394030 |   72795   340394  1129456 | 2147483647   394030    140 |  0.000 % |
804.60/804.93	c |    394163 |   72795   340394  1129456 | 2147483647   394163    140 |  0.000 % |
805.20/805.57	c |    394310 |   72795   340394  1129456 | 2147483647   394310    140 |  0.000 % |
805.60/805.93	c |    394470 |   72795   340394  1129456 | 2147483647   394470    140 |  0.000 % |
806.30/806.68	c |    394646 |   72795   340394  1129456 | 2147483647   394646    140 |  0.000 % |
806.79/807.14	c |    394839 |   72795   340394  1129456 | 2147483647   394839    140 |  0.000 % |
807.39/807.78	c |    395051 |   72795   340394  1129456 | 2147483647   395051    140 |  0.000 % |
808.09/808.44	c |    395284 |   72795   340394  1129456 | 2147483647   395284    140 |  0.000 % |
809.10/809.45	c |    395541 |   72795   340394  1129456 | 2147483647   395541    140 |  0.000 % |
810.80/811.10	c |    395822 |   72795   340394  1129456 | 2147483647   395822    140 |  0.000 % |
812.30/812.63	c |    396131 |   72795   340394  1129456 | 2147483647   396131    140 |  0.000 % |
813.20/813.52	c |    396470 |   72795   340394  1129456 | 2147483647   396470    140 |  0.000 % |
814.20/814.50	c |    396842 |   72795   340394  1129456 | 2147483647   396842    140 |  0.000 % |
815.90/816.25	c |    397251 |   72795   340394  1129456 | 2147483647   397251    140 |  0.000 % |
817.20/817.55	c |    397700 |   72795   340394  1129456 | 2147483647   397700    140 |  0.000 % |
818.80/819.12	c |    398198 |   72795   340394  1129456 | 2147483647   398198    140 |  0.000 % |
820.89/821.23	c |    398741 |   72795   340394  1129456 | 2147483647   398741    140 |  0.000 % |
823.29/823.69	c |    399337 |   72795   340394  1129456 | 2147483647   399337    140 |  0.000 % |
824.39/824.70	c |    399993 |   72795   340394  1129456 | 2147483647   399993    140 |  0.000 % |
825.49/825.82	c |    400714 |   72795   340394  1129456 | 2147483647   400714    140 |  0.000 % |
828.50/828.82	c |    401507 |   72795   340394  1129456 | 2147483647   401507    140 |  0.000 % |
829.69/830.00	c |    402378 |   72795   340394  1129456 | 2147483647   402378    140 |  0.000 % |
832.19/832.53	c |    403336 |   72795   340394  1129456 | 2147483647   403336    140 |  0.000 % |
835.49/835.85	c |    404392 |   72795   340394  1129456 | 2147483647   404392    140 |  0.000 % |
838.00/838.39	c |    405550 |   72795   340394  1129456 | 2147483647   405550    141 |  0.000 % |
839.49/839.87	c |    406823 |   72795   340394  1129456 | 2147483647   406823    141 |  0.000 % |
842.79/843.10	c |    408225 |   72795   340394  1129456 | 2147483647   408225    141 |  0.000 % |
847.49/847.87	c |    409765 |   72795   340394  1129456 | 2147483647   409765    141 |  0.000 % |
849.39/849.79	c |    411459 |   72795   340394  1129456 | 2147483647   411459    141 |  0.000 % |
854.29/854.69	c |    413323 |   72795   340394  1129456 | 2147483647   413323    141 |  0.000 % |
856.59/856.91	c |    415372 |   72795   340394  1129456 | 2147483647   415372    141 |  0.000 % |
861.28/861.63	c |    417625 |   72795   340394  1129456 | 2147483647   417625    141 |  0.000 % |
866.68/867.06	c |    420109 |   72795   340394  1129456 | 2147483647   420109    141 |  0.000 % |
870.88/871.21	c |    422835 |   72795   340394  1129456 | 2147483647   422835    141 |  0.000 % |
877.87/878.26	c |    425833 |   72795   340394  1129456 | 2147483647   425833    141 |  0.000 % |
884.48/884.82	c |    429129 |   72795   340394  1129456 | 2147483647   429129    141 |  0.000 % |
897.57/897.93	c |    432754 |   72795   340394  1129456 | 2147483647   432754    142 |  0.000 % |
906.37/906.79	c |    436742 |   72795   340394  1129456 | 2147483647   436742    142 |  0.000 % |
906.77/907.15	c |    436844 |   72795   340394  1129456 | 2147483647   436844    142 |  0.000 % |
907.18/907.51	c |    436959 |   72795   340394  1129456 | 2147483647   436959    142 |  0.000 % |
907.67/908.00	c |    437083 |   72795   340394  1129456 | 2147483647   437083    142 |  0.000 % |
908.17/908.52	c |    437216 |   72795   340394  1129456 | 2147483647   437216    142 |  0.000 % |
908.87/909.21	c |    437363 |   72795   340394  1129456 | 2147483647   437363    143 |  0.000 % |
909.17/909.57	c |    437523 |   72795   340394  1129456 | 2147483647   437523    143 |  0.000 % |
910.07/910.46	c |    437699 |   72795   340394  1129456 | 2147483647   437699    143 |  0.000 % |
910.57/910.98	c |    437892 |   72795   340394  1129456 | 2147483647   437892    143 |  0.000 % |
911.17/911.56	c |    438104 |   72795   340394  1129456 | 2147483647   438104    142 |  0.000 % |
911.67/912.02	c |    438337 |   72795   340394  1129456 | 2147483647   438337    143 |  0.000 % |
912.37/912.73	c |    438595 |   72795   340394  1129456 | 2147483647   438595    143 |  0.000 % |
913.57/913.92	c |    438877 |   72795   340394  1129456 | 2147483647   438877    143 |  0.000 % |
914.67/915.01	c |    439186 |   72795   340394  1129456 | 2147483647   439186    143 |  0.000 % |
915.77/916.20	c |    439526 |   72795   340394  1129456 | 2147483647   439526    143 |  0.000 % |
916.97/917.35	c |    439899 |   72795   340394  1129456 | 2147483647   439899    142 |  0.000 % |
917.97/918.36	c |    440309 |   72795   340394  1129456 | 2147483647   440309    142 |  0.000 % |
919.56/919.95	c |    440758 |   72795   340394  1129456 | 2147483647   440758    142 |  0.000 % |
920.86/921.23	c |    441251 |   72795   340394  1129456 | 2147483647   441251    142 |  0.000 % |
923.06/923.42	c |    441793 |   72795   340394  1129456 | 2147483647   441793    142 |  0.000 % |
926.76/927.18	c |    442389 |   72795   340394  1129456 | 2147483647   442389    142 |  0.000 % |
928.16/928.52	c |    443044 |   72795   340394  1129456 | 2147483647   443044    142 |  0.000 % |
929.96/930.37	c |    443764 |   72795   340394  1129456 | 2147483647   443764    142 |  0.000 % |
932.06/932.45	c |    444556 |   72795   340394  1129456 | 2147483647   444556    142 |  0.000 % |
934.56/934.99	c |    445427 |   72795   340394  1129456 | 2147483647   445427    142 |  0.000 % |
936.06/936.44	c |    446385 |   72795   340394  1129456 | 2147483647   446385    142 |  0.000 % |
937.36/937.77	c |    447440 |   72795   340394  1129456 | 2147483647   447440    142 |  0.000 % |
940.56/940.90	c |    448599 |   72795   340394  1129456 | 2147483647   448599    142 |  0.000 % |
942.15/942.51	c |    449873 |   72795   340394  1129456 | 2147483647   449873    142 |  0.000 % |
944.36/944.71	c |    451274 |   72795   340394  1129456 | 2147483647   451274    142 |  0.000 % |
949.35/949.79	c |    452817 |   72795   340394  1129456 | 2147483647   452817    143 |  0.000 % |
951.86/952.22	c |    454511 |   72795   340394  1129456 | 2147483647   454511    143 |  0.000 % |
960.25/960.62	c |    456378 |   72795   340394  1129456 | 2147483647   456378    143 |  0.000 % |
964.55/964.91	c |    458427 |   72795   340394  1129456 | 2147483647   458427    144 |  0.000 % |
971.95/972.39	c |    460680 |   72795   340394  1129456 | 2147483647   460680    144 |  0.000 % |
978.15/978.56	c |    463158 |   72795   340394  1129456 | 2147483647   463158    145 |  0.000 % |
991.04/991.50	c |    465884 |   72795   340394  1129456 | 2147483647   465884    146 |  0.000 % |
1000.24/1000.62	c |    468882 |   72795   340394  1129456 | 2147483647   468882    146 |  0.000 % |
1008.14/1008.57	c |    472179 |   72795   340394  1129456 | 2147483647   472179    146 |  0.000 % |
1019.13/1019.58	c |    475806 |   72795   340394  1129456 | 2147483647   475806    147 |  0.000 % |
1035.03/1035.40	c |    479793 |   72795   340394  1129456 | 2147483647   479793    148 |  0.000 % |
1047.43/1047.83	c |    484179 |   72795   340394  1129456 | 2147483647   484179    148 |  0.000 % |
1047.53/1047.95	c |    484279 |   72795   340394  1129456 | 2147483647   484279    148 |  0.000 % |
1047.73/1048.12	c |    484393 |   72795   340394  1129456 | 2147483647   484393    148 |  0.000 % |
1048.33/1048.75	c |    484515 |   72795   340394  1129456 | 2147483647   484515    148 |  0.000 % |
1049.43/1049.84	c |    484650 |   72795   340394  1129456 | 2147483647   484650    148 |  0.000 % |
1049.93/1050.34	c |    484796 |   72795   340394  1129456 | 2147483647   484796    148 |  0.000 % |
1050.13/1050.59	c |    484956 |   72795   340394  1129456 | 2147483647   484956    148 |  0.000 % |
1050.33/1050.79	c |    485133 |   72795   340394  1129456 | 2147483647   485133    148 |  0.000 % |
1051.03/1051.45	c |    485327 |   72795   340394  1129456 | 2147483647   485327    148 |  0.000 % |
1051.82/1052.28	c |    485539 |   72795   340394  1129456 | 2147483647   485539    148 |  0.000 % |
1052.33/1052.73	c |    485772 |   72795   340394  1129456 | 2147483647   485772    148 |  0.000 % |
1053.22/1053.68	c |    486030 |   72795   340394  1129456 | 2147483647   486030    148 |  0.000 % |
1054.22/1054.61	c |    486312 |   72795   340394  1129456 | 2147483647   486312    148 |  0.000 % |
1056.03/1056.41	c |    486624 |   72795   340394  1129456 | 2147483647   486624    149 |  0.000 % |
1057.33/1057.72	c |    486963 |   72795   340394  1129456 | 2147483647   486963    149 |  0.000 % |
1057.83/1058.30	c |    487335 |   72795   340394  1129456 | 2147483647   487335    149 |  0.000 % |
1059.03/1059.49	c |    487744 |   72795   340394  1129456 | 2147483647   487744    149 |  0.000 % |
1059.92/1060.32	c |    488193 |   72795   340394  1129456 | 2147483647   488193    149 |  0.000 % |
1061.72/1062.15	c |    488687 |   72795   340394  1129456 | 2147483647   488687    149 |  0.000 % |
1063.32/1063.74	c |    489231 |   72795   340394  1129456 | 2147483647   489231    149 |  0.000 % |
1065.32/1065.79	c |    489827 |   72795   340394  1129456 | 2147483647   489827    149 |  0.000 % |
1067.92/1068.34	c |    490484 |   72795   340394  1129456 | 2147483647   490484    149 |  0.000 % |
1069.72/1070.10	c |    491205 |   72795   340394  1129456 | 2147483647   491205    149 |  0.000 % |
1071.02/1071.48	c |    491997 |   72795   340394  1129456 | 2147483647   491997    149 |  0.000 % |
1072.92/1073.38	c |    492868 |   72795   340394  1129456 | 2147483647   492868    149 |  0.000 % |
1075.62/1076.02	c |    493826 |   72795   340394  1129456 | 2147483647   493826    149 |  0.000 % |
1078.72/1079.12	c |    494880 |   72795   340394  1129456 | 2147483647   494880    149 |  0.000 % |
1081.21/1081.69	c |    496038 |   72795   340394  1129456 | 2147483647   496038    149 |  0.000 % |
1085.01/1085.49	c |    497311 |   72795   340394  1129456 | 2147483647   497311    149 |  0.000 % |
1088.32/1088.77	c |    498711 |   72795   340394  1129456 | 2147483647   498711    149 |  0.000 % |
1092.02/1092.44	c |    500251 |   72795   340394  1129456 | 2147483647   500251    149 |  0.000 % |
1095.11/1095.51	c |    501946 |   72795   340394  1129456 | 2147483647   501946    149 |  0.000 % |
1096.91/1097.30	c |    503809 |   72795   340394  1129456 | 2147483647   503809    149 |  0.000 % |
1106.21/1106.61	c |    505860 |   72795   340394  1129456 | 2147483647   505860    149 |  0.000 % |
1109.91/1110.39	c |    508114 |   72795   340394  1129456 | 2147483647   508114    149 |  0.000 % |
1119.11/1119.58	c |    510592 |   72795   340394  1129456 | 2147483647   510592    150 |  0.000 % |
1127.00/1127.45	c |    513317 |   72795   340394  1129456 | 2147483647   513317    150 |  0.000 % |
1138.29/1138.73	c |    516314 |   72795   340394  1129456 | 2147483647   516314    151 |  0.000 % |
1147.10/1147.59	c |    519611 |   72795   340394  1129456 | 2147483647   519611    151 |  0.000 % |
1153.80/1154.29	c |    523239 |   72795   340394  1129456 | 2147483647   523239    151 |  0.000 % |
1168.39/1168.87	c |    527226 |   72795   340394  1129456 | 2147483647   527226    152 |  0.000 % |
1183.49/1183.90	c |    531611 |   72795   340394  1129456 | 2147483647   531611    153 |  0.000 % |
1197.59/1198.03	c |    536435 |   72795   340394  1129456 | 2147483647   536435    153 |  0.000 % |
1198.18/1198.65	c |    536536 |   72795   340394  1129456 | 2147483647   536536    153 |  0.000 % |
1199.18/1199.60	c |    536648 |   72795   340394  1129456 | 2147483647   536648    153 |  0.000 % |
1200.18/1200.61	c |    536769 |   72795   340394  1129456 | 2147483647   536769    153 |  0.000 % |
1201.08/1201.50	c |    536902 |   72795   340394  1129456 | 2147483647   536902    153 |  0.000 % |
1201.88/1202.37	c |    537050 |   72795   340394  1129456 | 2147483647   537050    153 |  0.000 % |
1202.58/1203.00	c |    537211 |   72795   340394  1129456 | 2147483647   537211    153 |  0.000 % |
1203.19/1203.63	c |    537390 |   72795   340394  1129456 | 2147483647   537390    153 |  0.000 % |
1204.28/1204.73	c |    537583 |   72795   340394  1129456 | 2147483647   537583    153 |  0.000 % |
1205.19/1205.62	c |    537796 |   72795   340394  1129456 | 2147483647   537796    153 |  0.000 % |
1205.98/1206.43	c |    538032 |   72795   340394  1129456 | 2147483647   538032    153 |  0.000 % |
1207.08/1207.59	c |    538289 |   72795   340394  1129456 | 2147483647   538289    154 |  0.000 % |
1208.28/1208.75	c |    538571 |   72795   340394  1129456 | 2147483647   538571    154 |  0.000 % |
1209.48/1209.99	c |    538882 |   72795   340394  1129456 | 2147483647   538882    154 |  0.000 % |
1210.18/1210.69	c |    539222 |   72795   340394  1129456 | 2147483647   539222    154 |  0.000 % |
1211.97/1212.42	c |    539595 |   72795   340394  1129456 | 2147483647   539595    154 |  0.000 % |
1213.98/1214.44	c |    540004 |   72795   340394  1129456 | 2147483647   540004    154 |  0.000 % |
1215.18/1215.61	c |    540453 |   72795   340394  1129456 | 2147483647   540453    154 |  0.000 % |
1217.48/1217.90	c |    540946 |   72795   340394  1129456 | 2147483647   540946    154 |  0.000 % |
1220.48/1220.99	c |    541488 |   72795   340394  1129456 | 2147483647   541488    154 |  0.000 % |
1223.57/1224.08	c |    542086 |   72795   340394  1129456 | 2147483647   542086    154 |  0.000 % |
1225.37/1225.86	c |    542743 |   72795   340394  1129456 | 2147483647   542743    154 |  0.000 % |
1227.28/1227.71	c |    543463 |   72795   340394  1129456 | 2147483647   543463    154 |  0.000 % |
1230.37/1230.82	c |    544256 |   72795   340394  1129456 | 2147483647   544256    154 |  0.000 % |
1234.27/1234.77	c |    545127 |   72795   340394  1129456 | 2147483647   545127    154 |  0.000 % |
1237.57/1238.07	c |    546087 |   72795   340394  1129456 | 2147483647   546087    154 |  0.000 % |
1241.58/1242.00	c |    547140 |   72795   340394  1129456 | 2147483647   547140    154 |  0.000 % |
1246.17/1246.62	c |    548298 |   72795   340394  1129456 | 2147483647   548298    155 |  0.000 % |
1253.97/1254.47	c |    549571 |   72795   340394  1129456 | 2147483647   549571    155 |  0.000 % |
1258.56/1259.04	c |    550971 |   72795   340394  1129456 | 2147483647   550971    155 |  0.000 % |
1265.96/1266.48	c |    552513 |   72795   340394  1129456 | 2147483647   552513    155 |  0.000 % |
1269.66/1270.18	c |    554207 |   72795   340394  1129456 | 2147483647   554207    155 |  0.000 % |
1276.36/1276.80	c |    556070 |   72795   340394  1129456 | 2147483647   556070    155 |  0.000 % |
1279.56/1280.04	c |    558121 |   72795   340394  1129456 | 2147483647   558121    155 |  0.000 % |
1289.45/1289.96	c |    560375 |   72795   340394  1129456 | 2147483647   560375    155 |  0.000 % |
1294.65/1295.13	c |    562853 |   72795   340394  1129456 | 2147483647   562853    155 |  0.000 % |
1300.76/1301.20	c |    565578 |   72795   340394  1129456 | 2147483647   565578    155 |  0.000 % |
1314.84/1315.32	c |    568576 |   72795   340394  1129456 | 2147483647   568576    156 |  0.000 % |
1326.44/1326.91	c |    571872 |   72795   340394  1129456 | 2147483647   571872    157 |  0.000 % |
1341.24/1341.79	c |    575497 |   72795   340394  1129456 | 2147483647   575497    158 |  0.000 % |
1351.94/1352.44	c |    579484 |   72795   340394  1129456 | 2147483647   579484    158 |  0.000 % |
1364.34/1364.81	c |    583870 |   72795   340394  1129456 | 2147483647   583870    159 |  0.000 % |
1383.13/1383.64	c |    588694 |   72795   340394  1129456 | 2147483647   588694    160 |  0.000 % |
1406.43/1406.94	c |    593999 |   72795   340394  1129456 | 2147483647   593999    162 |  0.000 % |
1406.92/1407.44	c |    594100 |   72795   340394  1129456 | 2147483647   594100    162 |  0.000 % |
1407.42/1407.93	c |    594210 |   72795   340394  1129456 | 2147483647   594210    162 |  0.000 % |
1408.12/1408.62	c |    594336 |   72795   340394  1129456 | 2147483647   594336    162 |  0.000 % |
1408.82/1409.32	c |    594469 |   72795   340394  1129456 | 2147483647   594469    162 |  0.000 % |
1409.42/1409.92	c |    594616 |   72795   340394  1129456 | 2147483647   594616    162 |  0.000 % |
1410.12/1410.62	c |    594776 |   72795   340394  1129456 | 2147483647   594776    162 |  0.000 % |
1410.72/1411.20	c |    594952 |   72795   340394  1129456 | 2147483647   594952    162 |  0.000 % |
1411.42/1411.94	c |    595145 |   72795   340394  1129456 | 2147483647   595145    162 |  0.000 % |
1412.12/1412.64	c |    595358 |   72795   340394  1129456 | 2147483647   595358    162 |  0.000 % |
1412.72/1413.20	c |    595594 |   72795   340394  1129456 | 2147483647   595594    162 |  0.000 % |
1413.52/1414.09	c |    595851 |   72795   340394  1129456 | 2147483647   595851    162 |  0.000 % |
1414.92/1415.43	c |    596132 |   72795   340394  1129456 | 2147483647   596132    162 |  0.000 % |
1416.42/1416.97	c |    596441 |   72795   340394  1129456 | 2147483647   596441    162 |  0.000 % |
1418.32/1418.81	c |    596782 |   72795   340394  1129456 | 2147483647   596782    162 |  0.000 % |
1418.62/1419.19	c |    597155 |   72795   340394  1129456 | 2147483647   597155    162 |  0.000 % |
1420.22/1420.79	c |    597564 |   72795   340394  1129456 | 2147483647   597564    162 |  0.000 % |
1422.72/1423.26	c |    598016 |   72795   340394  1129456 | 2147483647   598016    162 |  0.000 % |
1424.82/1425.35	c |    598509 |   72795   340394  1129456 | 2147483647   598509    162 |  0.000 % |
1428.42/1428.94	c |    599052 |   72795   340394  1129456 | 2147483647   599052    162 |  0.000 % |
1431.31/1431.87	c |    599648 |   72795   340394  1129456 | 2147483647   599648    162 |  0.000 % |
1434.11/1434.68	c |    600303 |   72795   340394  1129456 | 2147483647   600303    162 |  0.000 % |
1435.91/1436.45	c |    601023 |   72795   340394  1129456 | 2147483647   601023    162 |  0.000 % |
1439.21/1439.76	c |    601815 |   72795   340394  1129456 | 2147483647   601815    162 |  0.000 % |
1442.41/1442.92	c |    602686 |   72795   340394  1129456 | 2147483647   602686    162 |  0.000 % |
1445.81/1446.35	c |    603645 |   72795   340394  1129456 | 2147483647   603645    162 |  0.000 % |
1451.91/1452.47	c |    604698 |   72795   340394  1129456 | 2147483647   604698    162 |  0.000 % |
1455.60/1456.16	c |    605856 |   72795   340394  1129456 | 2147483647   605856    162 |  0.000 % |
1460.00/1460.59	c |    607129 |   72795   340394  1129456 | 2147483647   607129    162 |  0.000 % |
1463.71/1464.27	c |    608530 |   72795   340394  1129456 | 2147483647   608530    162 |  0.000 % |
1469.81/1470.30	c |    610071 |   72795   340394  1129456 | 2147483647   610071    163 |  0.000 % |
1474.51/1475.09	c |    611767 |   72795   340394  1129456 | 2147483647   611767    163 |  0.000 % |
1482.20/1482.78	c |    613631 |   72795   340394  1129456 | 2147483647   613631    163 |  0.000 % |
1488.00/1488.56	c |    615681 |   72795   340394  1129456 | 2147483647   615681    163 |  0.000 % |
1496.20/1496.75	c |    617935 |   72795   340394  1129456 | 2147483647   617935    164 |  0.000 % |
1505.69/1506.23	c |    620413 |   72795   340394  1129456 | 2147483647   620413    164 |  0.000 % |
1513.19/1513.73	c |    623140 |   72795   340394  1129456 | 2147483647   623140    164 |  0.000 % |
1526.99/1527.58	c |    626139 |   72795   340394  1129456 | 2147483647   626139    165 |  0.000 % |
1537.79/1538.31	c |    629435 |   72795   340394  1129456 | 2147483647   629435    165 |  0.000 % |
1552.69/1553.27	c |    633063 |   72795   340394  1129456 | 2147483647   633063    165 |  0.000 % |
1558.98/1559.56	c |    637051 |   72795   340394  1129456 | 2147483647   637051    165 |  0.000 % |
1580.07/1580.64	c |    641437 |   72795   340394  1129456 | 2147483647   641437    166 |  0.000 % |
1595.27/1595.85	c |    646260 |   72795   340394  1129456 | 2147483647   646260    167 |  0.000 % |
1623.96/1624.52	c |    651565 |   72795   340394  1129456 | 2147483647   651565    168 |  0.000 % |
1640.46/1641.07	c |    657401 |   72795   340394  1129456 | 2147483647   657401    168 |  0.000 % |
1640.76/1641.37	c |    657502 |   72795   340394  1129456 | 2147483647   657502    168 |  0.000 % |
1642.36/1642.90	c |    657616 |   72795   340394  1129456 | 2147483647   657616    168 |  0.000 % |
1643.46/1644.00	c |    657737 |   72795   340394  1129456 | 2147483647   657737    168 |  0.000 % |
1643.86/1644.49	c |    657870 |   72795   340394  1129456 | 2147483647   657870    168 |  0.000 % |
1644.66/1645.28	c |    658018 |   72795   340394  1129456 | 2147483647   658018    168 |  0.000 % |
1645.66/1646.28	c |    658178 |   72795   340394  1129456 | 2147483647   658178    168 |  0.000 % |
1646.85/1647.44	c |    658355 |   72795   340394  1129456 | 2147483647   658355    168 |  0.000 % |
1648.46/1649.02	c |    658548 |   72795   340394  1129456 | 2147483647   658548    168 |  0.000 % |
1649.75/1650.32	c |    658760 |   72795   340394  1129456 | 2147483647   658760    168 |  0.000 % |
1650.35/1650.92	c |    658993 |   72795   340394  1129456 | 2147483647   658993    168 |  0.000 % |
1651.76/1652.39	c |    659249 |   72795   340394  1129456 | 2147483647   659249    168 |  0.000 % |
1653.25/1653.82	c |    659530 |   72795   340394  1129456 | 2147483647   659530    168 |  0.000 % |
1654.75/1655.34	c |    659839 |   72795   340394  1129456 | 2147483647   659839    168 |  0.000 % |
1655.65/1656.20	c |    660178 |   72795   340394  1129456 | 2147483647   660178    168 |  0.000 % |
1656.55/1657.16	c |    660552 |   72795   340394  1129456 | 2147483647   660552    168 |  0.000 % |
1657.95/1658.55	c |    660961 |   72795   340394  1129456 | 2147483647   660961    168 |  0.000 % |
1660.95/1661.58	c |    661412 |   72795   340394  1129456 | 2147483647   661412    168 |  0.000 % |
1664.64/1665.26	c |    661906 |   72795   340394  1129456 | 2147483647   661906    168 |  0.000 % |
1666.44/1667.02	c |    662448 |   72795   340394  1129456 | 2147483647   662448    168 |  0.000 % |
1668.74/1669.32	c |    663044 |   72795   340394  1129456 | 2147483647   663044    168 |  0.000 % |
1671.84/1672.48	c |    663700 |   72795   340394  1129456 | 2147483647   663700    168 |  0.000 % |
1673.64/1674.29	c |    664420 |   72795   340394  1129456 | 2147483647   664420    168 |  0.000 % |
1675.05/1675.60	c |    665212 |   72795   340394  1129456 | 2147483647   665212    168 |  0.000 % |
1678.44/1679.04	c |    666083 |   72795   340394  1129456 | 2147483647   666083    168 |  0.000 % |
1681.84/1682.48	c |    667041 |   72795   340394  1129456 | 2147483647   667041    168 |  0.000 % |
1684.14/1684.77	c |    668096 |   72795   340394  1129456 | 2147483647   668096    168 |  0.000 % |
1689.44/1690.06	c |    669256 |   72795   340394  1129456 | 2147483647   669256    168 |  0.000 % |
1691.25/1691.85	c |    670529 |   72795   340394  1129456 | 2147483647   670529    168 |  0.000 % |
1699.93/1700.56	c |    671929 |   72795   340394  1129456 | 2147483647   671929    169 |  0.000 % |
1707.94/1708.56	c |    673472 |   72795   340394  1129456 | 2147483647   673472    169 |  0.000 % |
1718.53/1719.11	c |    675167 |   72795   340394  1129456 | 2147483647   675167    169 |  0.000 % |
1722.24/1722.85	c |    677030 |   72795   340394  1129456 | 2147483647   677030    169 |  0.000 % |
1729.93/1730.56	c |    679079 |   72795   340394  1129456 | 2147483647   679079    169 |  0.000 % |
1734.82/1735.41	c |    681333 |   72795   340394  1129456 | 2147483647   681333    169 |  0.000 % |
1743.62/1744.29	c |    683811 |   72795   340394  1129456 | 2147483647   683811    169 |  0.000 % |
1754.32/1754.93	c |    686537 |   72795   340394  1129456 | 2147483647   686537    169 |  0.000 % |
1765.12/1765.74	c |    689535 |   72795   340394  1129456 | 2147483647   689535    169 |  0.000 % |
1781.81/1782.47	c |    692833 |   72795   340394  1129456 | 2147483647   692833    170 |  0.000 % |
1805.31/1805.93	c |    696458 |   72795   340394  1129456 | 2147483647   696458    170 |  0.000 % |
1826.40/1827.04	c |    700450 |   72795   340394  1129456 | 2147483647   700450    170 |  0.000 % |
1850.39/1851.04	c |    704835 |   72795   340394  1129456 | 2147483647   704835    170 |  0.000 % |
1863.09/1863.74	c |    709658 |   72795   340394  1129456 | 2147483647   709658    171 |  0.000 % |
1878.39/1879.08	c |    714967 |   72795   340394  1129456 | 2147483647   714967    171 |  0.000 % |
1898.09/1898.79	c |    720803 |   72795   340394  1129456 | 2147483647   720803    171 |  0.000 % |
1930.37/1931.02	c |    727222 |   72795   340394  1129456 | 2147483647   727222    171 |  0.000 % |
1930.67/1931.36	c |    727322 |   72795   340394  1129456 | 2147483647   727322    171 |  0.000 % |
1931.08/1931.73	c |    727437 |   72795   340394  1129456 | 2147483647   727437    171 |  0.000 % |
1931.67/1932.38	c |    727564 |   72795   340394  1129456 | 2147483647   727564    171 |  0.000 % |
1932.37/1933.04	c |    727697 |   72795   340394  1129456 | 2147483647   727697    171 |  0.000 % |
1932.57/1933.20	c |    727844 |   72795   340394  1129456 | 2147483647   727844    171 |  0.000 % |
1933.17/1933.89	c |    728006 |   72795   340394  1129456 | 2147483647   728006    171 |  0.000 % |
1934.17/1934.83	c |    728185 |   72795   340394  1129456 | 2147483647   728185    171 |  0.000 % |
1935.57/1936.28	c |    728381 |   72795   340394  1129456 | 2147483647   728381    171 |  0.000 % |
1936.57/1937.25	c |    728593 |   72795   340394  1129456 | 2147483647   728593    171 |  0.000 % |
1937.17/1937.82	c |    728826 |   72795   340394  1129456 | 2147483647   728826    171 |  0.000 % |
1937.37/1938.02	c |    729082 |   72795   340394  1129456 | 2147483647   729082    171 |  0.000 % |
1938.96/1939.66	c |    729364 |   72795   340394  1129456 | 2147483647   729364    171 |  0.000 % |
1940.36/1941.02	c |    729673 |   72795   340394  1129456 | 2147483647   729673    171 |  0.000 % |
1943.76/1944.44	c |    730014 |   72795   340394  1129456 | 2147483647   730014    171 |  0.000 % |
1945.37/1946.04	c |    730386 |   72795   340394  1129456 | 2147483647   730386    171 |  0.000 % |
1947.67/1948.31	c |    730795 |   72795   340394  1129456 | 2147483647   730795    171 |  0.000 % |
1950.26/1950.97	c |    731244 |   72795   340394  1129456 | 2147483647   731244    171 |  0.000 % |
1953.76/1954.45	c |    731737 |   72795   340394  1129456 | 2147483647   731737    171 |  0.000 % |
1957.66/1958.38	c |    732280 |   72795   340394  1129456 | 2147483647   732280    171 |  0.000 % |
1961.05/1961.79	c |    732876 |   72795   340394  1129456 | 2147483647   732876    171 |  0.000 % |
1965.06/1965.77	c |    733534 |   72795   340394  1129456 | 2147483647   733534    172 |  0.000 % |
1967.75/1968.49	c |    734255 |   72795   340394  1129456 | 2147483647   734255    172 |  0.000 % |
1969.06/1969.79	c |    735047 |   72795   340394  1129456 | 2147483647   735047    172 |  0.000 % |
1973.06/1973.72	c |    735918 |   72795   340394  1129456 | 2147483647   735918    172 |  0.000 % |
1978.95/1979.69	c |    736876 |   72795   340394  1129456 | 2147483647   736876    172 |  0.000 % |
1981.45/1982.10	c |    737929 |   72795   340394  1129456 | 2147483647   737929    172 |  0.000 % |
1987.75/1988.47	c |    739087 |   72795   340394  1129456 | 2147483647   739087    172 |  0.000 % |
1994.05/1994.79	c |    740361 |   72795   340394  1129456 | 2147483647   740361    172 |  0.000 % |
1997.25/1997.95	c |    741763 |   72795   340394  1129456 | 2147483647   741763    172 |  0.000 % |
2005.54/2006.25	c |    743304 |   72795   340394  1129456 | 2147483647   743304    172 |  0.000 % |
2011.75/2012.47	c |    744998 |   72795   340394  1129456 | 2147483647   744998    173 |  0.000 % |
2016.94/2017.68	c |    746864 |   72795   340394  1129456 | 2147483647   746864    173 |  0.000 % |
2025.94/2026.63	c |    748916 |   72795   340394  1129456 | 2147483647   748916    173 |  0.000 % |
2033.63/2034.39	c |    751169 |   72795   340394  1129456 | 2147483647   751169    173 |  0.000 % |
2042.83/2043.52	c |    753648 |   72795   340394  1129456 | 2147483647   753648    173 |  0.000 % |
2053.63/2054.30	c |    756374 |   72795   340394  1129456 | 2147483647   756374    173 |  0.000 % |
2070.82/2071.59	c |    759371 |   72795   340394  1129456 | 2147483647   759371    174 |  0.000 % |
2075.62/2076.36	c |    762667 |   72795   340394  1129456 | 2147483647   762667    174 |  0.000 % |
2091.62/2092.38	c |    766292 |   72795   340394  1129456 | 2147483647   766292    174 |  0.000 % |
2097.52/2098.25	c |    770280 |   72795   340394  1129456 | 2147483647   770280    174 |  0.000 % |
2116.11/2116.81	c |    774666 |   72795   340394  1129456 | 2147483647   774666    174 |  0.000 % |
2137.61/2138.40	c |    779489 |   72795   340394  1129456 | 2147483647   779489    175 |  0.000 % |
2159.30/2160.07	c |    784795 |   72795   340394  1129456 | 2147483647   784795    175 |  0.000 % |
2181.29/2182.09	c |    790630 |   72795   340394  1129456 | 2147483647   790630    175 |  0.000 % |
2219.28/2220.03	c |    797048 |   72795   340394  1129456 | 2147483647   797048    176 |  0.000 % |
2242.08/2242.81	c |    804109 |   72795   340394  1129456 | 2147483647   804109    177 |  0.000 % |
2242.38/2243.17	c |    804209 |   72795   340394  1129456 | 2147483647   804209    177 |  0.000 % |
2242.48/2243.29	c |    804320 |   72795   340394  1129456 | 2147483647   804320    177 |  0.000 % |
2243.18/2243.91	c |    804441 |   72795   340394  1129456 | 2147483647   804441    177 |  0.000 % |
2244.38/2245.14	c |    804578 |   72795   340394  1129456 | 2147483647   804578    177 |  0.000 % |
2245.18/2245.97	c |    804724 |   72795   340394  1129456 | 2147483647   804724    177 |  0.000 % |
2245.97/2246.71	c |    804884 |   72795   340394  1129456 | 2147483647   804884    177 |  0.000 % |
2246.47/2247.22	c |    805060 |   72795   340394  1129456 | 2147483647   805060    177 |  0.000 % |
2247.68/2248.43	c |    805257 |   72795   340394  1129456 | 2147483647   805257    177 |  0.000 % |
2248.98/2249.74	c |    805469 |   72795   340394  1129456 | 2147483647   805469    177 |  0.000 % |
2249.78/2250.55	c |    805702 |   72795   340394  1129456 | 2147483647   805702    177 |  0.000 % |
2250.68/2251.50	c |    805960 |   72795   340394  1129456 | 2147483647   805960    177 |  0.000 % |
2252.08/2252.89	c |    806241 |   72795   340394  1129456 | 2147483647   806241    177 |  0.000 % |
2253.38/2254.17	c |    806551 |   72795   340394  1129456 | 2147483647   806551    177 |  0.000 % |
2254.77/2255.58	c |    806891 |   72795   340394  1129456 | 2147483647   806891    177 |  0.000 % |
2255.87/2256.62	c |    807265 |   72795   340394  1129456 | 2147483647   807265    177 |  0.000 % |
2258.47/2259.25	c |    807675 |   72795   340394  1129456 | 2147483647   807675    177 |  0.000 % |
2259.47/2260.24	c |    808127 |   72795   340394  1129456 | 2147483647   808127    177 |  0.000 % |
2261.67/2262.44	c |    808620 |   72795   340394  1129456 | 2147483647   808620    177 |  0.000 % |
2264.37/2265.18	c |    809162 |   72795   340394  1129456 | 2147483647   809162    177 |  0.000 % |
2268.97/2269.74	c |    809760 |   72795   340394  1129456 | 2147483647   809760    177 |  0.000 % |
2271.57/2272.32	c |    810417 |   72795   340394  1129456 | 2147483647   810417    177 |  0.000 % |
2275.57/2276.34	c |    811137 |   72795   340394  1129456 | 2147483647   811137    177 |  0.000 % |
2281.16/2281.95	c |    811929 |   72795   340394  1129456 | 2147483647   811929    177 |  0.000 % |
2287.37/2288.16	c |    812802 |   72795   340394  1129456 | 2147483647   812802    177 |  0.000 % |
2297.27/2298.02	c |    813760 |   72795   340394  1129456 | 2147483647   813760    177 |  0.000 % |
2301.36/2302.17	c |    814813 |   72795   340394  1129456 | 2147483647   814813    177 |  0.000 % |
2307.26/2308.09	c |    815972 |   72795   340394  1129456 | 2147483647   815972    178 |  0.000 % |
2313.66/2314.44	c |    817245 |   72795   340394  1129456 | 2147483647   817245    178 |  0.000 % |
2319.85/2320.68	c |    818645 |   72795   340394  1129456 | 2147483647   818645    178 |  0.000 % |
2324.05/2324.89	c |    820187 |   72795   340394  1129456 | 2147483647   820187    178 |  0.000 % |
2334.55/2335.35	c |    821883 |   72795   340394  1129456 | 2147483647   821883    178 |  0.000 % |
2343.05/2343.81	c |    823746 |   72795   340394  1129456 | 2147483647   823746    178 |  0.000 % |
2352.25/2353.09	c |    825796 |   72795   340394  1129456 | 2147483647   825796    178 |  0.000 % |
2364.84/2365.66	c |    828049 |   72795   340394  1129456 | 2147483647   828049    178 |  0.000 % |
2372.64/2373.49	c |    830527 |   72795   340394  1129456 | 2147483647   830527    178 |  0.000 % |
2384.94/2385.70	c |    833254 |   72795   340394  1129456 | 2147483647   833254    178 |  0.000 % |
2393.43/2394.24	c |    836251 |   72795   340394  1129456 | 2147483647   836251    178 |  0.000 % |
2408.73/2409.56	c |    839547 |   72795   340394  1129456 | 2147483647   839547    178 |  0.000 % |
2426.83/2427.67	c |    843173 |   72795   340394  1129456 | 2147483647   843173    178 |  0.000 % |
2440.23/2441.02	c |    847160 |   72795   340394  1129456 | 2147483647   847160    178 |  0.000 % |
2459.32/2460.15	c |    851545 |   72795   340394  1129456 | 2147483647   851545    179 |  0.000 % |
2470.31/2471.15	c |    856368 |   72795   340394  1129456 | 2147483647   856368    179 |  0.000 % |
2499.00/2499.85	c |    861674 |   72795   340394  1129456 | 2147483647   861674    179 |  0.000 % |
2522.90/2523.79	c |    867510 |   72795   340394  1129456 | 2147483647   867510    181 |  0.000 % |
2534.39/2535.21	c |    873928 |   72795   340394  1129456 | 2147483647   873928    180 |  0.000 % |
2554.39/2555.28	c |    880987 |   72795   340394  1129456 | 2147483647   880987    180 |  0.000 % |
2573.79/2574.62	c |    888752 |   72795   340394  1129456 | 2147483647   888752    180 |  0.000 % |
2574.39/2575.23	c |    888852 |   72795   340394  1129456 | 2147483647   888852    180 |  0.000 % |
2574.88/2575.71	c |    888962 |   72795   340394  1129456 | 2147483647   888962    180 |  0.000 % |
2574.98/2575.88	c |    889083 |   72795   340394  1129456 | 2147483647   889083    180 |  0.000 % |
2575.68/2576.53	c |    889220 |   72795   340394  1129456 | 2147483647   889220    180 |  0.000 % |
2576.78/2577.69	c |    889366 |   72795   340394  1129456 | 2147483647   889366    180 |  0.000 % |
2576.98/2577.86	c |    889528 |   72795   340394  1129456 | 2147483647   889528    180 |  0.000 % |
2578.08/2578.94	c |    889706 |   72795   340394  1129456 | 2147483647   889706    180 |  0.000 % |
2579.48/2580.32	c |    889902 |   72795   340394  1129456 | 2147483647   889902    180 |  0.000 % |
2581.28/2582.19	c |    890114 |   72795   340394  1129456 | 2147483647   890114    180 |  0.000 % |
2582.88/2583.70	c |    890350 |   72795   340394  1129456 | 2147483647   890350    180 |  0.000 % |
2584.38/2585.21	c |    890607 |   72795   340394  1129456 | 2147483647   890607    180 |  0.000 % |
2586.18/2587.00	c |    890888 |   72795   340394  1129456 | 2147483647   890888    180 |  0.000 % |
2588.28/2589.14	c |    891199 |   72795   340394  1129456 | 2147483647   891199    180 |  0.000 % |
2589.88/2590.76	c |    891538 |   72795   340394  1129456 | 2147483647   891538    180 |  0.000 % |
2591.58/2592.44	c |    891910 |   72795   340394  1129456 | 2147483647   891910    180 |  0.000 % |
2593.67/2594.56	c |    892319 |   72795   340394  1129456 | 2147483647   892319    180 |  0.000 % |
2595.57/2596.43	c |    892768 |   72795   340394  1129456 | 2147483647   892768    180 |  0.000 % |
2597.58/2598.42	c |    893262 |   72795   340394  1129456 | 2147483647   893262    180 |  0.000 % |
2598.78/2599.64	c |    893804 |   72795   340394  1129456 | 2147483647   893804    180 |  0.000 % |
2600.68/2601.54	c |    894400 |   72795   340394  1129456 | 2147483647   894400    180 |  0.000 % |
2603.57/2604.46	c |    895055 |   72795   340394  1129456 | 2147483647   895055    180 |  0.000 % |
2606.07/2606.93	c |    895775 |   72795   340394  1129456 | 2147483647   895775    180 |  0.000 % |
2609.67/2610.53	c |    896567 |   72795   340394  1129456 | 2147483647   896567    180 |  0.000 % |
2614.47/2615.34	c |    897438 |   72795   340394  1129456 | 2147483647   897438    180 |  0.000 % |
2619.06/2619.98	c |    898396 |   72795   340394  1129456 | 2147483647   898396    180 |  0.000 % |
2624.76/2625.68	c |    899451 |   72795   340394  1129456 | 2147483647   899451    180 |  0.000 % |
2628.97/2629.88	c |    900611 |   72795   340394  1129456 | 2147483647   900611    180 |  0.000 % |
2633.46/2634.37	c |    901886 |   72795   340394  1129456 | 2147483647   901886    180 |  0.000 % |
2637.67/2638.55	c |    903286 |   72795   340394  1129456 | 2147483647   903286    180 |  0.000 % |
2644.26/2645.15	c |    904826 |   72795   340394  1129456 | 2147483647   904826    180 |  0.000 % |
2651.06/2651.98	c |    906520 |   72795   340394  1129456 | 2147483647   906520    180 |  0.000 % |
2659.96/2660.84	c |    908383 |   72795   340394  1129456 | 2147483647   908383    180 |  0.000 % |
2667.55/2668.40	c |    910433 |   72795   340394  1129456 | 2147483647   910433    181 |  0.000 % |
2676.25/2677.14	c |    912687 |   72795   340394  1129456 | 2147483647   912687    181 |  0.000 % |
2690.25/2691.12	c |    915167 |   72795   340394  1129456 | 2147483647   915167    181 |  0.000 % |
2699.25/2700.13	c |    917892 |   72795   340394  1129456 | 2147483647   917892    181 |  0.000 % |
2720.04/2720.95	c |    920889 |   72795   340394  1129456 | 2147483647   920889    181 |  0.000 % |
2731.74/2732.63	c |    924186 |   72795   340394  1129456 | 2147483647   924186    182 |  0.000 % |
2753.33/2754.28	c |    927811 |   72795   340394  1129456 | 2147483647   927811    182 |  0.000 % |
2763.82/2764.78	c |    931798 |   72795   340394  1129456 | 2147483647   931798    183 |  0.000 % |
2779.62/2780.58	c |    936183 |   72795   340394  1129456 | 2147483647   936183    183 |  0.000 % |
2797.71/2798.64	c |    941006 |   72795   340394  1129456 | 2147483647   941006    183 |  0.000 % |
2814.91/2815.81	c |    946314 |   72795   340394  1129456 | 2147483647   946314    183 |  0.000 % |
2847.21/2848.19	c |    952152 |   72795   340394  1129456 | 2147483647   952152    184 |  0.000 % |
2869.39/2870.37	c |    958571 |   72795   340394  1129456 | 2147483647   958571    184 |  0.000 % |
2904.30/2905.24	c |    965630 |   72795   340394  1129456 | 2147483647   965630    185 |  0.000 % |
2961.97/2962.96	c |    973395 |   72795   340394  1129456 | 2147483647   973395    187 |  0.000 % |
2988.77/2989.79	c |    981935 |   72795   340394  1129456 | 2147483647   981935    187 |  0.000 % |
2989.77/2990.71	c |    982035 |   72795   340394  1129456 | 2147483647   982035    187 |  0.000 % |
2990.47/2991.43	c |    982149 |   72795   340394  1129456 | 2147483647   982149    187 |  0.000 % |
2991.07/2992.04	c |    982273 |   72795   340394  1129456 | 2147483647   982273    187 |  0.000 % |
2992.07/2993.06	c |    982407 |   72795   340394  1129456 | 2147483647   982407    187 |  0.000 % |
2992.97/2993.94	c |    982555 |   72795   340394  1129456 | 2147483647   982555    187 |  0.000 % |
2994.87/2995.80	c |    982718 |   72795   340394  1129456 | 2147483647   982718    187 |  0.000 % |
2995.87/2996.88	c |    982895 |   72795   340394  1129456 | 2147483647   982895    187 |  0.000 % |
2998.56/2999.52	c |    983090 |   72795   340394  1129456 | 2147483647   983090    187 |  0.000 % |
3000.16/3001.15	c |    983302 |   72795   340394  1129456 | 2147483647   983302    187 |  0.000 % |
3000.97/3001.97	c |    983535 |   72795   340394  1129456 | 2147483647   983535    187 |  0.000 % |
3003.06/3004.01	c |    983795 |   72795   340394  1129456 | 2147483647   983795    187 |  0.000 % |
3004.66/3005.69	c |    984077 |   72795   340394  1129456 | 2147483647   984077    187 |  0.000 % |
3006.26/3007.26	c |    984389 |   72795   340394  1129456 | 2147483647   984389    187 |  0.000 % |
3008.46/3009.44	c |    984729 |   72795   340394  1129456 | 2147483647   984729    187 |  0.000 % |
3010.16/3011.14	c |    985103 |   72795   340394  1129456 | 2147483647   985103    187 |  0.000 % |
3013.26/3014.29	c |    985512 |   72795   340394  1129456 | 2147483647   985512    187 |  0.000 % |
3015.95/3016.95	c |    985961 |   72795   340394  1129456 | 2147483647   985961    187 |  0.000 % |
3018.96/3019.93	c |    986455 |   72795   340394  1129456 | 2147483647   986455    187 |  0.000 % |
3023.06/3024.09	c |    986999 |   72795   340394  1129456 | 2147483647   986999    187 |  0.000 % |
3025.45/3026.50	c |    987595 |   72795   340394  1129456 | 2147483647   987595    187 |  0.000 % |
3027.85/3028.81	c |    988252 |   72795   340394  1129456 | 2147483647   988252    187 |  0.000 % |
3029.75/3030.77	c |    988975 |   72795   340394  1129456 | 2147483647   988975    187 |  0.000 % |
3033.95/3034.97	c |    989767 |   72795   340394  1129456 | 2147483647   989767    187 |  0.000 % |
3039.15/3040.20	c |    990639 |   72795   340394  1129456 | 2147483647   990639    187 |  0.000 % |
3046.05/3047.03	c |    991598 |   72795   340394  1129456 | 2147483647   991598    187 |  0.000 % |
3054.65/3055.64	c |    992652 |   72795   340394  1129456 | 2147483647   992652    187 |  0.000 % |
3060.84/3061.89	c |    993810 |   72795   340394  1129456 | 2147483647   993810    188 |  0.000 % |
3065.34/3066.40	c |    995085 |   72795   340394  1129456 | 2147483647   995085    188 |  0.000 % |
3073.34/3074.32	c |    996486 |   72795   340394  1129456 | 2147483647   996486    188 |  0.000 % |
3081.84/3082.88	c |    998026 |   72795   340394  1129456 | 2147483647   998026    188 |  0.000 % |
3094.43/3095.50	c |    999720 |   72795   340394  1129456 | 2147483647   999720    188 |  0.000 % |
3113.03/3114.06	c |   1001586 |   72795   340394  1129456 | 2147483647  1001586    188 |  0.000 % |
3128.42/3129.42	c |   1003635 |   72795   340394  1129456 | 2147483647  1003635    189 |  0.000 % |
3139.82/3140.84	c |   1005888 |   72795   340394  1129456 | 2147483647  1005888    189 |  0.000 % |
3151.02/3152.02	c |   1008366 |   72795   340394  1129456 | 2147483647  1008366    189 |  0.000 % |
3163.22/3164.26	c |   1011091 |   72795   340394  1129456 | 2147483647  1011091    189 |  0.000 % |
3177.12/3178.13	c |   1014090 |   72795   340394  1129456 | 2147483647  1014090    189 |  0.000 % |
3188.42/3189.43	c |   1017386 |   72795   340394  1129456 | 2147483647  1017386    189 |  0.000 % |
3208.00/3209.09	c |   1021011 |   72795   340394  1129456 | 2147483647  1021011    190 |  0.000 % |
3220.50/3221.57	c |   1024999 |   72795   340394  1129456 | 2147483647  1024999    190 |  0.000 % |
3249.00/3250.09	c |   1029386 |   72795   340394  1129456 | 2147483647  1029386    190 |  0.000 % |
3274.89/3275.99	c |   1034210 |   72795   340394  1129456 | 2147483647  1034210    191 |  0.000 % |
3291.98/3293.00	c |   1039517 |   72795   340394  1129456 | 2147483647  1039517    191 |  0.000 % |
3327.67/3328.77	c |   1045352 |   72795   340394  1129456 | 2147483647  1045352    191 |  0.000 % |
3349.77/3350.83	c |   1051771 |   72795   340394  1129456 | 2147483647  1051771    190 |  0.000 % |
3391.85/3392.99	c |   1058830 |   72795   340394  1129456 | 2147483647  1058830    191 |  0.000 % |
3441.54/3442.64	c |   1066595 |   72795   340394  1129456 | 2147483647  1066595    191 |  0.000 % |
3478.13/3479.27	c |   1075135 |   72795   340394  1129456 | 2147483647  1075135    192 |  0.000 % |
3516.32/3517.41	c |   1084529 |   72795   340394  1129456 | 2147483647  1084529    192 |  0.000 % |
3517.02/3518.18	c |   1084630 |   72795   340394  1129456 | 2147483647  1084630    192 |  0.000 % |
3518.12/3519.29	c |   1084743 |   72795   340394  1129456 | 2147483647  1084743    192 |  0.000 % |
3519.32/3520.40	c |   1084864 |   72795   340394  1129456 | 2147483647  1084864    192 |  0.000 % |
3520.52/3521.70	c |   1084997 |   72795   340394  1129456 | 2147483647  1084997    192 |  0.000 % |
3521.22/3522.38	c |   1085143 |   72795   340394  1129456 | 2147483647  1085143    192 |  0.000 % |
3522.32/3523.44	c |   1085303 |   72795   340394  1129456 | 2147483647  1085303    192 |  0.000 % |
3522.92/3524.01	c |   1085479 |   72795   340394  1129456 | 2147483647  1085479    192 |  0.000 % |
3523.62/3524.74	c |   1085673 |   72795   340394  1129456 | 2147483647  1085673    192 |  0.000 % |
3526.21/3527.35	c |   1085885 |   72795   340394  1129456 | 2147483647  1085885    192 |  0.000 % |
3527.72/3528.82	c |   1086121 |   72795   340394  1129456 | 2147483647  1086121    192 |  0.000 % |
3530.12/3531.26	c |   1086377 |   72795   340394  1129456 | 2147483647  1086377    192 |  0.000 % |
3530.92/3532.04	c |   1086658 |   72795   340394  1129456 | 2147483647  1086658    192 |  0.000 % |
3532.72/3533.87	c |   1086967 |   72795   340394  1129456 | 2147483647  1086967    192 |  0.000 % |
3535.72/3536.81	c |   1087306 |   72795   340394  1129456 | 2147483647  1087306    192 |  0.000 % |
3537.12/3538.25	c |   1087678 |   72795   340394  1129456 | 2147483647  1087678    192 |  0.000 % |
3539.01/3540.19	c |   1088088 |   72795   340394  1129456 | 2147483647  1088088    192 |  0.000 % |
3542.51/3543.65	c |   1088538 |   72795   340394  1129456 | 2147483647  1088538    192 |  0.000 % |
3546.21/3547.37	c |   1089031 |   72795   340394  1129456 | 2147483647  1089031    192 |  0.000 % |
3548.41/3549.50	c |   1089574 |   72795   340394  1129456 | 2147483647  1089574    192 |  0.000 % |
3552.01/3553.16	c |   1090170 |   72795   340394  1129456 | 2147483647  1090170    192 |  0.000 % |
3557.20/3558.33	c |   1090825 |   72795   340394  1129456 | 2147483647  1090825    192 |  0.000 % |
3560.41/3561.53	c |   1091546 |   72795   340394  1129456 | 2147483647  1091546    192 |  0.000 % |
3564.91/3566.06	c |   1092338 |   72795   340394  1129456 | 2147483647  1092338    192 |  0.000 % |
3573.60/3574.77	c |   1093213 |   72795   340394  1129456 | 2147483647  1093213    192 |  0.000 % |
3575.70/3576.87	c |   1094175 |   72795   340394  1129456 | 2147483647  1094175    192 |  0.000 % |
3582.10/3583.27	c |   1095228 |   72795   340394  1129456 | 2147483647  1095228    192 |  0.000 % |
3584.59/3585.77	c |   1096386 |   72795   340394  1129456 | 2147483647  1096386    192 |  0.000 % |
3592.20/3593.37	c |   1097660 |   72795   340394  1129456 | 2147483647  1097660    192 |  0.000 % |
3608.29/3609.43	c |   1099061 |   72795   340394  1129456 | 2147483647  1099061    192 |  0.000 % |
3614.19/3615.32	c |   1100601 |   72795   340394  1129456 | 2147483647  1100601    192 |  0.000 % |
3627.38/3628.59	c |   1102296 |   72795   340394  1129456 | 2147483647  1102296    192 |  0.000 % |
3646.28/3647.45	c |   1104159 |   72795   340394  1129456 | 2147483647  1104159    193 |  0.000 % |
3659.68/3660.84	c |   1106208 |   72795   340394  1129456 | 2147483647  1106208    193 |  0.000 % |
3671.68/3672.80	c |   1108461 |   72795   340394  1129456 | 2147483647  1108461    193 |  0.000 % |
3691.07/3692.23	c |   1110939 |   72795   340394  1129456 | 2147483647  1110939    193 |  0.000 % |
3714.67/3715.85	c |   1113665 |   72795   340394  1129456 | 2147483647  1113665    194 |  0.000 % |
3734.56/3735.79	c |   1116662 |   72795   340394  1129456 | 2147483647  1116662    194 |  0.000 % |
3755.75/3756.90	c |   1119958 |   72795   340394  1129456 | 2147483647  1119958    194 |  0.000 % |
3782.35/3783.52	c |   1123583 |   72795   340394  1129456 | 2147483647  1123583    195 |  0.000 % |
3791.94/3793.18	c |   1127571 |   72795   340394  1129456 | 2147483647  1127571    195 |  0.000 % |
3830.83/3832.06	c |   1131959 |   72795   340394  1129456 | 2147483647  1131959    195 |  0.000 % |
3856.63/3857.82	c |   1136786 |   72795   340394  1129456 | 2147483647  1136786    196 |  0.000 % |
3892.32/3893.53	c |   1142091 |   72795   340394  1129456 | 2147483647  1142091    196 |  0.000 % |
3928.71/3929.94	c |   1147926 |   72795   340394  1129456 | 2147483647  1147926    196 |  0.000 % |
3953.70/3954.98	c |   1154344 |   72795   340394  1129456 | 2147483647  1154344    197 |  0.000 % |
3982.29/3983.55	c |   1161404 |   72795   340394  1129456 | 2147483647  1161404    197 |  0.000 % |
4023.98/4025.21	c |   1169169 |   72795   340394  1129456 | 2147483647  1169169    198 |  0.000 % |
4055.88/4057.13	c |   1177709 |   72795   340394  1129456 | 2147483647  1177709    198 |  0.000 % |
4109.26/4110.50	c |   1187103 |   72795   340394  1129456 | 2147483647  1187103    198 |  0.000 % |
4156.05/4157.33	c |   1197437 |   72795   340394  1129456 | 2147483647  1197437    199 |  0.000 % |
4156.45/4157.72	c |   1197538 |   72795   340394  1129456 | 2147483647  1197538    199 |  0.000 % |
4157.05/4158.39	c |   1197648 |   72795   340394  1129456 | 2147483647  1197648    199 |  0.000 % |
4157.95/4159.23	c |   1197769 |   72795   340394  1129456 | 2147483647  1197769    199 |  0.000 % |
4159.14/4160.43	c |   1197902 |   72795   340394  1129456 | 2147483647  1197902    199 |  0.000 % |
4160.34/4161.67	c |   1198051 |   72795   340394  1129456 | 2147483647  1198051    199 |  0.000 % |
4161.74/4163.06	c |   1198212 |   72795   340394  1129456 | 2147483647  1198212    199 |  0.000 % |
4163.94/4165.20	c |   1198393 |   72795   340394  1129456 | 2147483647  1198393    199 |  0.000 % |
4165.44/4166.80	c |   1198586 |   72795   340394  1129456 | 2147483647  1198586    199 |  0.000 % |
4167.24/4168.57	c |   1198798 |   72795   340394  1129456 | 2147483647  1198798    199 |  0.000 % |
4168.64/4169.95	c |   1199032 |   72795   340394  1129456 | 2147483647  1199032    199 |  0.000 % |
4170.34/4171.64	c |   1199292 |   72795   340394  1129456 | 2147483647  1199292    199 |  0.000 % |
4173.54/4174.83	c |   1199574 |   72795   340394  1129456 | 2147483647  1199574    199 |  0.000 % |
4175.74/4177.09	c |   1199885 |   72795   340394  1129456 | 2147483647  1199885    199 |  0.000 % |
4180.04/4181.33	c |   1200224 |   72795   340394  1129456 | 2147483647  1200224    199 |  0.000 % |
4183.44/4184.78	c |   1200596 |   72795   340394  1129456 | 2147483647  1200596    199 |  0.000 % |
4186.34/4187.68	c |   1201005 |   72795   340394  1129456 | 2147483647  1201005    199 |  0.000 % |
4188.64/4189.98	c |   1201455 |   72795   340394  1129456 | 2147483647  1201455    199 |  0.000 % |
4191.03/4192.34	c |   1201948 |   72795   340394  1129456 | 2147483647  1201948    199 |  0.000 % |
4193.33/4194.66	c |   1202494 |   72795   340394  1129456 | 2147483647  1202494    199 |  0.000 % |
4196.03/4197.38	c |   1203091 |   72795   340394  1129456 | 2147483647  1203091    199 |  0.000 % |
4201.33/4202.64	c |   1203746 |   72795   340394  1129456 | 2147483647  1203746    199 |  0.000 % |
4203.93/4205.24	c |   1204469 |   72795   340394  1129456 | 2147483647  1204469    199 |  0.000 % |
4208.83/4210.15	c |   1205263 |   72795   340394  1129456 | 2147483647  1205263    199 |  0.000 % |
4212.53/4213.83	c |   1206134 |   72795   340394  1129456 | 2147483647  1206134    199 |  0.000 % |
4220.42/4221.72	c |   1207093 |   72795   340394  1129456 | 2147483647  1207093    199 |  0.000 % |
4228.52/4229.87	c |   1208148 |   72795   340394  1129456 | 2147483647  1208148    199 |  0.000 % |
4239.41/4240.73	c |   1209307 |   72795   340394  1129456 | 2147483647  1209307    199 |  0.000 % |
4245.41/4246.80	c |   1210580 |   72795   340394  1129456 | 2147483647  1210580    199 |  0.000 % |
4252.81/4254.10	c |   1211980 |   72795   340394  1129456 | 2147483647  1211980    199 |  0.000 % |
4258.51/4259.89	c |   1213520 |   72795   340394  1129456 | 2147483647  1213520    199 |  0.000 % |
4266.60/4267.92	c |   1215216 |   72795   340394  1129456 | 2147483647  1215216    199 |  0.000 % |
4283.00/4284.32	c |   1217080 |   72795   340394  1129456 | 2147483647  1217080    199 |  0.000 % |
4294.17/4295.54	c |   1219129 |   72795   340394  1129456 | 2147483647  1219129    199 |  0.000 % |
4307.96/4309.35	c |   1221385 |   72795   340394  1129456 | 2147483647  1221385    199 |  0.000 % |
4324.46/4325.85	c |   1223863 |   72795   340394  1129456 | 2147483647  1223863    200 |  0.000 % |
4337.46/4338.90	c |   1226589 |   72795   340394  1129456 | 2147483647  1226589    200 |  0.000 % |
4354.15/4355.59	c |   1229586 |   72795   340394  1129456 | 2147483647  1229586    200 |  0.000 % |
4375.15/4376.54	c |   1232882 |   72795   340394  1129456 | 2147483647  1232882    200 |  0.000 % |
4388.85/4390.21	c |   1236509 |   72795   340394  1129456 | 2147483647  1236509    200 |  0.000 % |
4424.54/4425.93	c |   1240496 |   72795   340394  1129456 | 2147483647  1240496    200 |  0.000 % |
4455.82/4457.23	c |   1244882 |   72795   340394  1129456 | 2147483647  1244882    199 |  0.000 % |
4475.42/4476.84	c |   1249706 |   72795   340394  1129456 | 2147483647  1249706    199 |  0.000 % |
4499.71/4501.18	c |   1255016 |   72795   340394  1129456 | 2147483647  1255016    199 |  0.000 % |
4534.60/4536.07	c |   1260851 |   72795   340394  1129456 | 2147483647  1260851    200 |  0.000 % |
4571.79/4573.23	c |   1267273 |   72795   340394  1129456 | 2147483647  1267273    200 |  0.000 % |
4601.59/4603.08	c |   1274332 |   72795   340394  1129456 | 2147483647  1274332    201 |  0.000 % |
4661.88/4663.39	c |   1282097 |   72795   340394  1129456 | 2147483647  1282097    202 |  0.000 % |
4725.45/4726.97	c |   1290638 |   72795   340394  1129456 | 2147483647  1290638    202 |  0.000 % |
4778.44/4779.99	c |   1300034 |   72795   340394  1129456 | 2147483647  1300034    202 |  0.000 % |
4869.32/4870.81	c |   1310367 |   72795   340394  1129456 | 2147483647  1310367    203 |  0.000 % |
4968.79/4970.39	c |   1321733 |   72795   340394  1129456 | 2147483647  1321733    204 |  0.000 % |
4969.69/4971.27	c |   1321834 |   72795   340394  1129456 | 2147483647  1321834    204 |  0.000 % |
4971.29/4972.80	c |   1321945 |   72795   340394  1129456 | 2147483647  1321945    204 |  0.000 % |
4972.29/4973.84	c |   1322068 |   72795   340394  1129456 | 2147483647  1322068    204 |  0.000 % |
4973.69/4975.30	c |   1322201 |   72795   340394  1129456 | 2147483647  1322201    204 |  0.000 % |
4975.59/4977.13	c |   1322347 |   72795   340394  1129456 | 2147483647  1322347    204 |  0.000 % |
4977.39/4978.97	c |   1322509 |   72795   340394  1129456 | 2147483647  1322509    204 |  0.000 % |
4978.78/4980.38	c |   1322689 |   72795   340394  1129456 | 2147483647  1322689    204 |  0.000 % |
4980.08/4981.69	c |   1322885 |   72795   340394  1129456 | 2147483647  1322885    204 |  0.000 % |
4982.48/4984.08	c |   1323098 |   72795   340394  1129456 | 2147483647  1323098    204 |  0.000 % |
4984.68/4986.29	c |   1323333 |   72795   340394  1129456 | 2147483647  1323333    204 |  0.000 % |
4987.79/4989.32	c |   1323589 |   72795   340394  1129456 | 2147483647  1323589    204 |  0.000 % |
4991.08/4992.60	c |   1323871 |   72795   340394  1129456 | 2147483647  1323871    204 |  0.000 % |
4995.79/4997.36	c |   1324180 |   72795   340394  1129456 | 2147483647  1324180    204 |  0.000 % |
4998.38/4999.90	c |   1324519 |   72795   340394  1129456 | 2147483647  1324519    204 |  0.000 % |
4999.78/5001.35	c |   1324891 |   72795   340394  1129456 | 2147483647  1324891    204 |  0.000 % |
5003.88/5005.48	c |   1325303 |   72795   340394  1129456 | 2147483647  1325303    204 |  0.000 % |
5009.08/5010.61	c |   1325753 |   72795   340394  1129456 | 2147483647  1325753    204 |  0.000 % |
5013.67/5015.21	c |   1326249 |   72795   340394  1129456 | 2147483647  1326249    204 |  0.000 % |
5016.97/5018.50	c |   1326791 |   72795   340394  1129456 | 2147483647  1326791    204 |  0.000 % |
5021.47/5023.05	c |   1327388 |   72795   340394  1129456 | 2147483647  1327388    204 |  0.000 % |
5024.48/5026.08	c |   1328044 |   72795   340394  1129456 | 2147483647  1328044    204 |  0.000 % |
5028.27/5029.80	c |   1328766 |   72795   340394  1129456 | 2147483647  1328766    204 |  0.000 % |
5035.06/5036.60	c |   1329558 |   72795   340394  1129456 | 2147483647  1329558    204 |  0.000 % |
5038.36/5039.99	c |   1330431 |   72795   340394  1129456 | 2147483647  1330431    204 |  0.000 % |
5041.17/5042.72	c |   1331390 |   72795   340394  1129456 | 2147483647  1331390    204 |  0.000 % |
5046.57/5048.19	c |   1332444 |   72795   340394  1129456 | 2147483647  1332444    204 |  0.000 % |
5056.16/5057.74	c |   1333602 |   72795   340394  1129456 | 2147483647  1333602    204 |  0.000 % |
5066.16/5067.72	c |   1334875 |   72795   340394  1129456 | 2147483647  1334875    204 |  0.000 % |
5071.85/5073.41	c |   1336275 |   72795   340394  1129456 | 2147483647  1336275    204 |  0.000 % |
5081.16/5082.75	c |   1337815 |   72795   340394  1129456 | 2147483647  1337815    204 |  0.000 % |
5088.16/5089.73	c |   1339511 |   72795   340394  1129456 | 2147483647  1339511    204 |  0.000 % |
5096.65/5098.26	c |   1341376 |   72795   340394  1129456 | 2147483647  1341376    204 |  0.000 % |
5105.55/5107.16	c |   1343425 |   72795   340394  1129456 | 2147483647  1343425    204 |  0.000 % |
5118.65/5120.20	c |   1345682 |   72795   340394  1129456 | 2147483647  1345682    204 |  0.000 % |
5133.94/5135.55	c |   1348160 |   72795   340394  1129456 | 2147483647  1348160    205 |  0.000 % |
5151.43/5153.02	c |   1350887 |   72795   340394  1129456 | 2147483647  1350887    204 |  0.000 % |
5164.43/5166.07	c |   1353884 |   72795   340394  1129456 | 2147483647  1353884    204 |  0.000 % |
5174.73/5176.40	c |   1357182 |   72795   340394  1129456 | 2147483647  1357182    204 |  0.000 % |
5198.92/5200.51	c |   1360807 |   72795   340394  1129456 | 2147483647  1360807    204 |  0.000 % |
5212.92/5214.53	c |   1364796 |   72795   340394  1129456 | 2147483647  1364796    204 |  0.000 % |
5230.21/5231.86	c |   1369181 |   72795   340394  1129456 | 2147483647  1369181    204 |  0.000 % |
5252.20/5253.82	c |   1374006 |   72795   340394  1129456 | 2147483647  1374006    204 |  0.000 % |
5290.10/5291.72	c |   1379313 |   72795   340394  1129456 | 2147483647  1379313    204 |  0.000 % |
5310.59/5312.22	c |   1385148 |   72795   340394  1129456 | 2147483647  1385148    204 |  0.000 % |
5340.09/5341.75	c |   1391566 |   72795   340394  1129456 | 2147483647  1391566    204 |  0.000 % |
5393.77/5395.44	c |   1398625 |   72795   340394  1129456 | 2147483647  1398625    205 |  0.000 % |
5423.87/5425.56	c |   1406389 |   72795   340394  1129456 | 2147483647  1406389    205 |  0.000 % |
5451.46/5453.12	c |   1414930 |   72795   340394  1129456 | 2147483647  1414930    205 |  0.000 % |
5491.24/5492.99	c |   1424324 |   72795   340394  1129456 | 2147483647  1424324    206 |  0.000 % |
5540.13/5541.90	c |   1434657 |   72795   340394  1129456 | 2147483647  1434657    205 |  0.000 % |
5592.12/5593.82	c |   1446023 |   72795   340394  1129456 | 2147483647  1446023    206 |  0.000 % |
5714.28/5716.06	c |   1458526 |   72795   340394  1129456 | 2147483647  1458526    208 |  0.000 % |
5715.28/5717.00	c |   1458628 |   72795   340394  1129456 | 2147483647  1458628    208 |  0.000 % |
5717.58/5719.32	c |   1458738 |   72795   340394  1129456 | 2147483647  1458738    208 |  0.000 % |
5719.78/5721.55	c |   1458859 |   72795   340394  1129456 | 2147483647  1458859    208 |  0.000 % |
5722.78/5724.53	c |   1458992 |   72795   340394  1129456 | 2147483647  1458992    208 |  0.000 % |
5726.08/5727.82	c |   1459139 |   72795   340394  1129456 | 2147483647  1459139    208 |  0.000 % |
5726.68/5728.48	c |   1459303 |   72795   340394  1129456 | 2147483647  1459303    208 |  0.000 % |
5728.08/5729.90	c |   1459481 |   72795   340394  1129456 | 2147483647  1459481    208 |  0.000 % |
5730.28/5732.07	c |   1459676 |   72795   340394  1129456 | 2147483647  1459676    208 |  0.000 % |
5731.28/5733.07	c |   1459892 |   72795   340394  1129456 | 2147483647  1459892    208 |  0.000 % |
5733.27/5735.05	c |   1460126 |   72795   340394  1129456 | 2147483647  1460126    208 |  0.000 % |
5735.67/5737.45	c |   1460385 |   72795   340394  1129456 | 2147483647  1460385    208 |  0.000 % |
5737.98/5739.72	c |   1460671 |   72795   340394  1129456 | 2147483647  1460671    208 |  0.000 % |
5741.18/5742.98	c |   1460983 |   72795   340394  1129456 | 2147483647  1460983    208 |  0.000 % |
5743.88/5745.66	c |   1461328 |   72795   340394  1129456 | 2147483647  1461328    208 |  0.000 % |
5748.37/5750.16	c |   1461700 |   72795   340394  1129456 | 2147483647  1461700    208 |  0.000 % |
5750.77/5752.55	c |   1462109 |   72795   340394  1129456 | 2147483647  1462109    208 |  0.000 % |
5754.37/5756.18	c |   1462558 |   72795   340394  1129456 | 2147483647  1462558    208 |  0.000 % |
5761.47/5763.20	c |   1463051 |   72795   340394  1129456 | 2147483647  1463051    208 |  0.000 % |
5764.97/5766.71	c |   1463596 |   72795   340394  1129456 | 2147483647  1463596    208 |  0.000 % |
5768.87/5770.63	c |   1464192 |   72795   340394  1129456 | 2147483647  1464192    208 |  0.000 % |
5771.17/5772.93	c |   1464847 |   72795   340394  1129456 | 2147483647  1464847    208 |  0.000 % |
5776.97/5778.78	c |   1465568 |   72795   340394  1129456 | 2147483647  1465568    208 |  0.000 % |
5782.66/5784.43	c |   1466361 |   72795   340394  1129456 | 2147483647  1466361    208 |  0.000 % |
5788.26/5790.00	c |   1467232 |   72795   340394  1129456 | 2147483647  1467232    208 |  0.000 % |
5797.57/5799.36	c |   1468190 |   72795   340394  1129456 | 2147483647  1468190    208 |  0.000 % |
5802.86/5804.64	c |   1469246 |   72795   340394  1129456 | 2147483647  1469246    208 |  0.000 % |
5810.55/5812.35	c |   1470407 |   72795   340394  1129456 | 2147483647  1470407    208 |  0.000 % |
5816.16/5817.94	c |   1471680 |   72795   340394  1129456 | 2147483647  1471680    208 |  0.000 % |
5824.15/5825.98	c |   1473080 |   72795   340394  1129456 | 2147483647  1473080    208 |  0.000 % |
5835.04/5836.80	c |   1474620 |   72795   340394  1129456 | 2147483647  1474620    208 |  0.000 % |
5841.55/5843.37	c |   1476315 |   72795   340394  1129456 | 2147483647  1476315    208 |  0.000 % |
5847.94/5849.79	c |   1478179 |   72795   340394  1129456 | 2147483647  1478179    208 |  0.000 % |
5855.85/5857.61	c |   1480229 |   72795   340394  1129456 | 2147483647  1480229    208 |  0.000 % |
5863.84/5865.66	c |   1482483 |   72795   340394  1129456 | 2147483647  1482483    208 |  0.000 % |
5879.84/5881.62	c |   1484961 |   72795   340394  1129456 | 2147483647  1484961    208 |  0.000 % |
5900.53/5902.31	c |   1487686 |   72795   340394  1129456 | 2147483647  1487686    208 |  0.000 % |
5921.43/5923.28	c |   1490683 |   72795   340394  1129456 | 2147483647  1490683    209 |  0.000 % |
5948.62/5950.45	c |   1493980 |   72795   340394  1129456 | 2147483647  1493980    209 |  0.000 % |
5974.21/5976.05	c |   1497605 |   72795   340394  1129456 | 2147483647  1497605    209 |  0.000 % |
6009.81/6011.69	c |   1501592 |   72795   340394  1129456 | 2147483647  1501592    209 |  0.000 % |
6043.19/6045.10	c |   1505977 |   72795   340394  1129456 | 2147483647  1505977    209 |  0.000 % |
6072.68/6074.50	c |   1510801 |   72795   340394  1129456 | 2147483647  1510801    209 |  0.000 % |
6106.68/6108.56	c |   1516108 |   72795   340394  1129456 | 2147483647  1516108    210 |  0.000 % |
6175.77/6177.61	c |   1521947 |   72795   340394  1129456 | 2147483647  1521947    210 |  0.000 % |
6198.55/6200.48	c |   1528365 |   72795   340394  1129456 | 2147483647  1528365    211 |  0.000 % |
6269.03/6270.92	c |   1535428 |   72795   340394  1129456 | 2147483647  1535428    211 |  0.000 % |
6309.92/6311.86	c |   1543192 |   72795   340394  1129456 | 2147483647  1543192    212 |  0.000 % |
6353.91/6355.82	c |   1551732 |   72795   340394  1129456 | 2147483647  1551732    212 |  0.000 % |
6409.70/6411.60	c |   1561128 |   72795   340394  1129456 | 2147483647  1561128    213 |  0.000 % |
6480.68/6482.66	c |   1571465 |   72795   340394  1129456 | 2147483647  1571465    214 |  0.000 % |
6592.15/6594.15	c |   1582831 |   72795   340394  1129456 | 2147483647  1582831    215 |  0.000 % |
6771.30/6773.36	c |   1595333 |   72795   340394  1129456 | 2147483647  1595333    216 |  0.000 % |
6866.07/6868.13	c |   1609086 |   72795   340394  1129456 | 2147483647  1609086    217 |  0.000 % |
6868.07/6870.14	c |   1609186 |   72795   340394  1129456 | 2147483647  1609186    217 |  0.000 % |
6869.77/6871.87	c |   1609297 |   72795   340394  1129456 | 2147483647  1609297    217 |  0.000 % |
6871.26/6873.35	c |   1609418 |   72795   340394  1129456 | 2147483647  1609418    217 |  0.000 % |
6872.47/6874.58	c |   1609551 |   72795   340394  1129456 | 2147483647  1609551    217 |  0.000 % |
6874.36/6876.40	c |   1609698 |   72795   340394  1129456 | 2147483647  1609698    217 |  0.000 % |
6876.07/6878.16	c |   1609861 |   72795   340394  1129456 | 2147483647  1609861    217 |  0.000 % |
6876.87/6878.91	c |   1610038 |   72795   340394  1129456 | 2147483647  1610038    217 |  0.000 % |
6878.17/6880.26	c |   1610231 |   72795   340394  1129456 | 2147483647  1610231    217 |  0.000 % |
6879.47/6881.52	c |   1610448 |   72795   340394  1129456 | 2147483647  1610448    217 |  0.000 % |
6881.57/6883.69	c |   1610682 |   72795   340394  1129456 | 2147483647  1610682    217 |  0.000 % |
6884.07/6886.15	c |   1610938 |   72795   340394  1129456 | 2147483647  1610938    217 |  0.000 % |
6884.47/6886.59	c |   1611219 |   72795   340394  1129456 | 2147483647  1611219    217 |  0.000 % |
6886.67/6888.77	c |   1611528 |   72795   340394  1129456 | 2147483647  1611528    217 |  0.000 % |
6888.26/6890.32	c |   1611868 |   72795   340394  1129456 | 2147483647  1611868    217 |  0.000 % |
6891.86/6893.93	c |   1612241 |   72795   340394  1129456 | 2147483647  1612241    217 |  0.000 % |
6897.46/6899.52	c |   1612654 |   72795   340394  1129456 | 2147483647  1612654    217 |  0.000 % |
6901.06/6903.13	c |   1613103 |   72795   340394  1129456 | 2147483647  1613103    217 |  0.000 % |
6904.86/6906.91	c |   1613596 |   72795   340394  1129456 | 2147483647  1613596    217 |  0.000 % |
6907.66/6909.77	c |   1614139 |   72795   340394  1129456 | 2147483647  1614139    217 |  0.000 % |
6911.96/6914.05	c |   1614737 |   72795   340394  1129456 | 2147483647  1614737    217 |  0.000 % |
6914.36/6916.50	c |   1615393 |   72795   340394  1129456 | 2147483647  1615393    217 |  0.000 % |
6920.15/6922.26	c |   1616115 |   72795   340394  1129456 | 2147483647  1616115    217 |  0.000 % |
6923.66/6925.77	c |   1616908 |   72795   340394  1129456 | 2147483647  1616908    217 |  0.000 % |
6931.05/6933.17	c |   1617780 |   72795   340394  1129456 | 2147483647  1617780    217 |  0.000 % |
6940.45/6942.54	c |   1618738 |   72795   340394  1129456 | 2147483647  1618738    217 |  0.000 % |
6950.94/6953.09	c |   1619791 |   72795   340394  1129456 | 2147483647  1619791    217 |  0.000 % |
6958.25/6960.35	c |   1620950 |   72795   340394  1129456 | 2147483647  1620950    217 |  0.000 % |
6968.84/6970.91	c |   1622223 |   72795   340394  1129456 | 2147483647  1622223    217 |  0.000 % |
6982.54/6984.64	c |   1623623 |   72795   340394  1129456 | 2147483647  1623623    217 |  0.000 % |
6996.83/6998.92	c |   1625166 |   72795   340394  1129456 | 2147483647  1625166    217 |  0.000 % |
7011.03/7013.12	c |   1626860 |   72795   340394  1129456 | 2147483647  1626860    217 |  0.000 % |
7043.63/7045.70	c |   1628725 |   72795   340394  1129456 | 2147483647  1628725    217 |  0.000 % |
7067.91/7070.01	c |   1630774 |   72795   340394  1129456 | 2147483647  1630774    217 |  0.000 % |
7084.91/7087.02	c |   1633030 |   72795   340394  1129456 | 2147483647  1633030    218 |  0.000 % |
7111.80/7113.97	c |   1635509 |   72795   340394  1129456 | 2147483647  1635509    218 |  0.000 % |
7141.89/7144.07	c |   1638236 |   72795   340394  1129456 | 2147483647  1638236    218 |  0.000 % |
7166.29/7168.42	c |   1641233 |   72795   340394  1129456 | 2147483647  1641233    218 |  0.000 % |
7201.17/7203.39	c |   1644533 |   72795   340394  1129456 | 2147483647  1644533    219 |  0.000 % |
7249.86/7252.08	c |   1648160 |   72795   340394  1129456 | 2147483647  1648160    219 |  0.000 % |
7275.76/7277.95	c |   1652147 |   72795   340394  1129456 | 2147483647  1652147    219 |  0.000 % |
7325.65/7327.89	c |   1656537 |   72795   340394  1129456 | 2147483647  1656537    219 |  0.000 % |
7351.94/7354.19	c |   1661360 |   72795   340394  1129456 | 2147483647  1661360    219 |  0.000 % |
7417.92/7420.17	c |   1666666 |   72795   340394  1129456 | 2147483647  1666666    220 |  0.000 % |
7456.11/7458.36	c |   1672503 |   72795   340394  1129456 | 2147483647  1672503    221 |  0.000 % |
7506.90/7509.19	c |   1678921 |   72795   340394  1129456 | 2147483647  1678921    221 |  0.000 % |
7551.29/7553.58	c |   1685980 |   72795   340394  1129456 | 2147483647  1685980    222 |  0.000 % |
7587.78/7590.03	c |   1693744 |   72795   340394  1129456 | 2147483647  1693744    222 |  0.000 % |
7627.06/7629.32	c |   1702284 |   72795   340394  1129456 | 2147483647  1702284    222 |  0.000 % |
7679.25/7681.59	c |   1711681 |   72795   340394  1129456 | 2147483647  1711681    222 |  0.000 % |
7728.33/7730.63	c |   1722017 |   72795   340394  1129456 | 2147483647  1722017    222 |  0.000 % |
7832.19/7834.57	c |   1733383 |   72795   340394  1129456 | 2147483647  1733383    223 |  0.000 % |
7898.27/7900.67	c |   1745889 |   72795   340394  1129456 | 2147483647  1745889    224 |  0.000 % |
8020.64/8023.05	c |   1759642 |   72795   340394  1129456 | 2147483647  1759642    224 |  0.000 % |
8143.41/8145.80	c |   1774769 |   72795   340394  1129456 | 2147483647  1774769    224 |  0.000 % |
8144.51/8146.94	c |   1774869 |   72795   340394  1129456 | 2147483647  1774869    224 |  0.000 % |
8145.01/8147.48	c |   1774980 |   72795   340394  1129456 | 2147483647  1774980    224 |  0.000 % |
8146.91/8149.38	c |   1775102 |   72795   340394  1129456 | 2147483647  1775102    224 |  0.000 % |
8147.81/8150.25	c |   1775238 |   72795   340394  1129456 | 2147483647  1775238    224 |  0.000 % |
8149.51/8151.91	c |   1775384 |   72795   340394  1129456 | 2147483647  1775384    224 |  0.000 % |
8150.71/8153.11	c |   1775545 |   72795   340394  1129456 | 2147483647  1775545    224 |  0.000 % |
8151.91/8154.30	c |   1775721 |   72795   340394  1129456 | 2147483647  1775721    224 |  0.000 % |
8152.41/8154.81	c |   1775914 |   72795   340394  1129456 | 2147483647  1775914    224 |  0.000 % |
8156.00/8158.45	c |   1776128 |   72795   340394  1129456 | 2147483647  1776128    224 |  0.000 % |
8157.30/8159.75	c |   1776362 |   72795   340394  1129456 | 2147483647  1776362    224 |  0.000 % |
8159.61/8162.04	c |   1776618 |   72795   340394  1129456 | 2147483647  1776618    224 |  0.000 % |
8162.00/8164.47	c |   1776899 |   72795   340394  1129456 | 2147483647  1776899    224 |  0.000 % |
8165.50/8167.93	c |   1777210 |   72795   340394  1129456 | 2147483647  1777210    224 |  0.000 % |
8168.90/8171.34	c |   1777549 |   72795   340394  1129456 | 2147483647  1777549    224 |  0.000 % |
8170.90/8173.32	c |   1777921 |   72795   340394  1129456 | 2147483647  1777921    224 |  0.000 % |
8172.40/8174.87	c |   1778330 |   72795   340394  1129456 | 2147483647  1778330    224 |  0.000 % |
8181.19/8183.68	c |   1778780 |   72795   340394  1129456 | 2147483647  1778780    224 |  0.000 % |
8184.89/8187.35	c |   1779274 |   72795   340394  1129456 | 2147483647  1779274    224 |  0.000 % |
8186.80/8189.25	c |   1779818 |   72795   340394  1129456 | 2147483647  1779818    224 |  0.000 % |
8191.19/8193.63	c |   1780415 |   72795   340394  1129456 | 2147483647  1780415    224 |  0.000 % |
8198.69/8201.10	c |   1781072 |   72795   340394  1129456 | 2147483647  1781072    224 |  0.000 % |
8202.19/8204.68	c |   1781792 |   72795   340394  1129456 | 2147483647  1781792    224 |  0.000 % |
8208.79/8211.23	c |   1782585 |   72795   340394  1129456 | 2147483647  1782585    224 |  0.000 % |
8217.79/8220.22	c |   1783456 |   72795   340394  1129456 | 2147483647  1783456    224 |  0.000 % |
8229.88/8232.33	c |   1784414 |   72795   340394  1129456 | 2147483647  1784414    224 |  0.000 % |
8243.28/8245.78	c |   1785467 |   72795   340394  1129456 | 2147483647  1785467    224 |  0.000 % |
8251.57/8254.08	c |   1786626 |   72795   340394  1129456 | 2147483647  1786626    224 |  0.000 % |
8266.77/8269.20	c |   1787899 |   72795   340394  1129456 | 2147483647  1787899    224 |  0.000 % |
8272.17/8274.65	c |   1789299 |   72795   340394  1129456 | 2147483647  1789299    224 |  0.000 % |
8289.57/8292.08	c |   1790840 |   72795   340394  1129456 | 2147483647  1790840    224 |  0.000 % |
8308.06/8310.57	c |   1792535 |   72795   340394  1129456 | 2147483647  1792535    224 |  0.000 % |
8326.66/8329.12	c |   1794398 |   72795   340394  1129456 | 2147483647  1794398    225 |  0.000 % |
8343.56/8346.09	c |   1796448 |   72795   340394  1129456 | 2147483647  1796448    225 |  0.000 % |
8363.84/8366.34	c |   1798701 |   72795   340394  1129456 | 2147483647  1798701    225 |  0.000 % |
8386.15/8388.65	c |   1801180 |   72795   340394  1129456 | 2147483647  1801180    225 |  0.000 % |
8414.13/8416.66	c |   1803905 |   72795   340394  1129456 | 2147483647  1803905    225 |  0.000 % |
8442.13/8444.69	c |   1806902 |   72795   340394  1129456 | 2147483647  1806902    225 |  0.000 % |
8479.22/8481.77	c |   1810199 |   72795   340394  1129456 | 2147483647  1810199    226 |  0.000 % |
8509.90/8512.44	c |   1813828 |   72795   340394  1129456 | 2147483647  1813828    226 |  0.000 % |
8548.90/8551.41	c |   1817817 |   72795   340394  1129456 | 2147483647  1817817    227 |  0.000 % |
8603.08/8605.61	c |   1822207 |   72795   340394  1129456 | 2147483647  1822207    227 |  0.000 % |
8645.57/8648.14	c |   1827030 |   72795   340394  1129456 | 2147483647  1827030    228 |  0.000 % |
8696.36/8698.98	c |   1832337 |   72795   340394  1129456 | 2147483647  1832337    228 |  0.000 % |
8778.74/8781.33	c |   1838172 |   72795   340394  1129456 | 2147483647  1838172    229 |  0.000 % |
8840.71/8843.37	c |   1844592 |   72795   340394  1129456 | 2147483647  1844592    230 |  0.000 % |
8916.90/8919.58	c |   1851653 |   72795   340394  1129456 | 2147483647  1851653    230 |  0.000 % |
8981.37/8984.07	c |   1859417 |   72795   340394  1129456 | 2147483647  1859417    230 |  0.000 % |
9050.37/9053.01	c |   1867957 |   72795   340394  1129456 | 2147483647  1867957    231 |  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-1837290-1242867037/watcher-1837290-1242867037 -o /tmp/evaluation-result-1837290-1242867037/solver-1837290-1242867037 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837290-1242867037.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.85 0.95 0.90 3/64 12637
/proc/meminfo: memFree=1668160/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0

[startup+0.10567 s]
/proc/loadavg: 0.85 0.95 0.90 3/64 12637
/proc/meminfo: memFree=1668160/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201679 s]
/proc/loadavg: 0.85 0.95 0.90 3/64 12637
/proc/meminfo: memFree=1668160/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301691 s]
/proc/loadavg: 0.85 0.95 0.90 3/64 12637
/proc/meminfo: memFree=1668160/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701736 s]
/proc/loadavg: 0.85 0.95 0.90 3/64 12637
/proc/meminfo: memFree=1668160/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50183 s]
/proc/loadavg: 0.85 0.95 0.90 2/66 12642
/proc/meminfo: memFree=1584240/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
[pid=12641] ppid=12637 vsize=92356 CPUtime=1.49
/proc/12641/stat : 12641 (SatELite_releas) R 12637 12637 12600 0 -1 4194304 22141 0 0 0 136 13 0 0 25 0 1 0 314737261 94572544 20467 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/12641/statm: 23089 20467 76 173 0 22914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97712

[startup+3.10301 s]
/proc/loadavg: 0.86 0.95 0.90 2/66 12642
/proc/meminfo: memFree=1576816/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
[pid=12641] ppid=12637 vsize=95624 CPUtime=3.08
/proc/12641/stat : 12641 (SatELite_releas) R 12637 12637 12600 0 -1 4194304 22948 0 0 0 293 15 0 0 25 0 1 0 314737261 97918976 21274 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/12641/statm: 23906 21274 76 173 0 23731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100980

[startup+6.30137 s]
/proc/loadavg: 0.86 0.95 0.90 2/66 12642
/proc/meminfo: memFree=1559216/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=0
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314737260 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12637/statm: 1339 237 197 169 0 50 0
[pid=12641] ppid=12637 vsize=100872 CPUtime=6.28
/proc/12641/stat : 12641 (SatELite_releas) R 12637 12637 12600 0 -1 4194304 24193 0 0 0 606 22 0 0 25 0 1 0 314737261 103292928 22519 1992294400 134512640 135223648 4294956128 18446744073709551615 134586667 0 0 4096 3 0 0 0 17 1 0 0
/proc/12641/statm: 25218 22519 76 173 0 25043 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 106228

[startup+12.7011 s]
/proc/loadavg: 0.88 0.96 0.91 2/66 12643
/proc/meminfo: memFree=1611248/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=25532 CPUtime=3.12
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 5858 0 0 0 310 2 0 0 25 0 1 0 314738216 26144768 5805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 6383 5805 77 171 0 6210 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30888

[startup+25.5016 s]
/proc/loadavg: 0.90 0.96 0.91 2/66 12643
/proc/meminfo: memFree=1608560/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=28376 CPUtime=15.92
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 6552 0 0 0 1590 2 0 0 25 0 1 0 314738216 29057024 6499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 7094 6499 77 171 0 6921 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 33732

[startup+51.1015 s]
/proc/loadavg: 0.93 0.96 0.91 2/66 12643
/proc/meminfo: memFree=1601392/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=35696 CPUtime=41.5
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 8392 0 0 0 4146 4 0 0 25 0 1 0 314738216 36552704 8339 1992294400 134512640 135215339 4294956240 18446744073709551615 134532498 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 8924 8339 77 171 0 8751 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 41052

[startup+102.301 s]
/proc/loadavg: 0.97 0.96 0.91 2/66 12643
/proc/meminfo: memFree=1587632/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=49236 CPUtime=92.67
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 11754 0 0 0 9259 8 0 0 25 0 1 0 314738216 50417664 11701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 12309 11701 77 171 0 12136 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 54592

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12643
/proc/meminfo: memFree=1568880/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=68080 CPUtime=152.65
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 16447 0 0 0 15251 14 0 0 25 0 1 0 314738216 69713920 16394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 17020 16394 77 171 0 16847 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 73436

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12643
/proc/meminfo: memFree=1549936/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=86740 CPUtime=212.64
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 21155 0 0 0 21244 20 0 0 25 0 1 0 314738216 88821760 21102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 21685 21102 77 171 0 21512 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 92096

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12643
/proc/meminfo: memFree=1532464/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=104528 CPUtime=272.62
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 25571 0 0 0 27236 26 0 0 25 0 1 0 314738216 107036672 25518 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 26132 25518 77 171 0 25959 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 109884

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12643
/proc/meminfo: memFree=1514544/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=122228 CPUtime=332.6
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 29995 0 0 0 33229 31 0 0 25 0 1 0 314738216 125161472 29942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 30557 29942 77 171 0 30384 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 127584

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12643
/proc/meminfo: memFree=1497200/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=140352 CPUtime=392.58
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 34435 0 0 0 39221 37 0 0 25 0 1 0 314738216 143720448 34382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 35088 34382 77 171 0 34915 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 145708

[startup+462.301 s]

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

/proc/12643/statm: 433456 429831 77 171 0 433283 0
Current children cumulated CPU time (s) 8439.83
Current children cumulated vsize (KiB) 1739180

[startup+8502.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=16240/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1742932 CPUtime=8490.27
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 432234 0 0 0 848540 487 0 0 25 0 1 0 314738216 1784762368 432082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 435733 432082 77 171 0 435560 0
Current children cumulated CPU time (s) 8499.81
Current children cumulated vsize (KiB) 1748288

[startup+8562.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15600/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1754292 CPUtime=8550.25
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 435095 0 0 0 854535 490 0 0 25 0 1 0 314738216 1796395008 434943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 438573 434943 77 171 0 438400 0
Current children cumulated CPU time (s) 8559.79
Current children cumulated vsize (KiB) 1759648

[startup+8622.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15344/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1763540 CPUtime=8610.24
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 437428 0 0 0 860531 493 0 0 25 0 1 0 314738216 1805864960 437276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 440885 437276 77 171 0 440712 0
Current children cumulated CPU time (s) 8619.78
Current children cumulated vsize (KiB) 1768896

[startup+8682.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15920/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1775320 CPUtime=8670.23
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 440345 0 0 0 866526 497 0 0 25 0 1 0 314738216 1817927680 440193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 443830 440193 77 171 0 443657 0
Current children cumulated CPU time (s) 8679.77
Current children cumulated vsize (KiB) 1780676

[startup+8742.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=16176/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1782720 CPUtime=8730.21
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 442233 0 0 0 872522 499 0 0 25 0 1 0 314738216 1825505280 442081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 445680 442081 77 171 0 445507 0
Current children cumulated CPU time (s) 8739.75
Current children cumulated vsize (KiB) 1788076

[startup+8802.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15344/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1791444 CPUtime=8790.19
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 444396 0 0 0 878517 502 0 0 25 0 1 0 314738216 1834438656 444244 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 447861 444244 77 171 0 447688 0
Current children cumulated CPU time (s) 8799.73
Current children cumulated vsize (KiB) 1796800

[startup+8862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=14960/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1801216 CPUtime=8850.17
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 446863 0 0 0 884513 504 0 0 25 0 1 0 314738216 1844445184 446711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 450304 446711 77 171 0 450131 0
Current children cumulated CPU time (s) 8859.71
Current children cumulated vsize (KiB) 1806572

[startup+8922.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=16240/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1809140 CPUtime=8910.15
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 448841 0 0 0 890509 506 0 0 25 0 1 0 314738216 1852559360 448689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 452285 448689 77 171 0 452112 0
Current children cumulated CPU time (s) 8919.69
Current children cumulated vsize (KiB) 1814496

[startup+8982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15792/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1817324 CPUtime=8970.14
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 450919 0 0 0 896506 508 0 0 25 0 1 0 314738216 1860939776 450767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 454331 450767 77 171 0 454158 0
Current children cumulated CPU time (s) 8979.68
Current children cumulated vsize (KiB) 1822680

[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=14896/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1828944 CPUtime=9030.13
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 453831 0 0 0 902501 512 0 0 25 0 1 0 314738216 1872838656 453679 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 457236 453679 77 171 0 457063 0
Current children cumulated CPU time (s) 9039.67
Current children cumulated vsize (KiB) 1834300



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+9093.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15472/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1837924 CPUtime=9081.02
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 456022 0 0 0 907588 514 0 0 25 0 1 0 314738216 1882034176 455870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 459481 455870 77 171 0 459308 0
Current children cumulated CPU time (s) 9090.56
Current children cumulated vsize (KiB) 1843280

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

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

[startup+9093.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13141
/proc/meminfo: memFree=15472/2055920 swapFree=4180076/4192956
[pid=12637] ppid=12635 vsize=5356 CPUtime=9.54
/proc/12637/stat : 12637 (SatELiteGTI) S 12635 12637 12600 0 -1 4194304 336 27144 0 0 0 0 924 30 16 0 1 0 314737260 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12637/statm: 1339 239 197 169 0 50 0
[pid=12643] ppid=12637 vsize=1837924 CPUtime=9081.02
/proc/12643/stat : 12643 (minisat_static) R 12637 12637 12600 0 -1 4194304 456022 0 0 0 907588 514 0 0 25 0 1 0 314738216 1882034176 455870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/12643/statm: 459481 455870 77 171 0 459308 0
Current children cumulated CPU time (s) 9090.56
Current children cumulated vsize (KiB) 1843280

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 9093.21
CPU time (s): 9090.56
CPU user time (s): 9085.12
CPU system time (s): 5.44
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1843280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.24259
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27480
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= 15
involuntary context switches= 21

runsolver used 10.1225 second user time and 23.1015 second system time

The end

Launcher Data

Begin job on node23 at 2009-05-21 02:50:38
IDJOB=1837290
IDBENCH=70815
IDSOLVER=674
FILE ID=node23/1837290-1242867037
PBS_JOBID= 9328558
Free space on /tmp= 66364 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837290-1242867037/watcher-1837290-1242867037 -o /tmp/evaluation-result-1837290-1242867037/solver-1837290-1242867037 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837290-1242867037.cnf

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=900857511

node23.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.238
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.238
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:       1668576 kB
Buffers:         65360 kB
Cached:         248688 kB
SwapCached:       7116 kB
Active:         110336 kB
Inactive:       212400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1668576 kB
SwapTotal:     4192956 kB
SwapFree:      4180076 kB
Dirty:           12400 kB
Writeback:           0 kB
Mapped:          13916 kB
Slab:            50620 kB
Committed_AS:  1045752 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= 66328 MiB
End job on node23 at 2009-05-21 05:22:13