Trace number 1832387

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1200.81

General information on the benchmark

Namegoldb-heqc-x1mul.cnf
MD5SUMb44e541aede789d4830fa0a3a047fcda
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark100.681
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   55543   187718 |   16662       0        0     nan |  0.000 % |
0.00/0.15	c |         0 |   55174   187112 |      --       0       --      -- |     --   | -313/-424
0.00/0.15	c ==============================================================================
0.00/0.15	c Result  :   #vars: 8607   #clauses: 55174   #literals: 187112
0.00/0.15	c CPU time:   0.141978 s
0.00/0.15	c ==============================================================================
0.00/0.21	c This is MiniSat 2.0 beta
0.00/0.21	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.21	c ============================[ Problem Statistics ]=============================
0.00/0.21	c |                                                                             |
0.00/0.21	c |  Number of variables:  8607                                                 |
0.00/0.21	c |  Number of clauses:    55174                                                |
0.00/0.26	c |  Parsing time:         0.03         s                                       |
0.00/0.26	c ============================[ Search Statistics ]==============================
0.00/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.26	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.26	c ===============================================================================
0.00/0.26	c |         0 |    8607    55174   187112 |    18391        0    nan |  0.000 % |
0.00/0.29	c |       100 |    8607    55174   187112 |    18391      100     11 |  0.000 % |
0.20/0.31	c |       200 |    8607    55174   187112 |    18391      200     11 |  0.000 % |
0.20/0.33	c |       300 |    8607    55174   187112 |    18391      300     13 |  0.000 % |
0.20/0.34	c |       410 |    8607    55174   187112 |    18391      410     13 |  0.000 % |
0.20/0.35	c |       511 |    8607    55174   187112 |    18391      511     12 |  0.000 % |
0.20/0.39	c |       621 |    8606    55165   187082 |    18391      616     11 |  0.012 % |
0.20/0.42	c |       743 |    8606    55165   187082 |    18391      738     12 |  0.012 % |
0.20/0.44	c |       844 |    8605    55163   187076 |    18391      836     12 |  0.023 % |
0.20/0.47	c |       956 |    8605    55163   187076 |    18391      948     13 |  0.023 % |
0.20/0.50	c |      1077 |    8605    55163   187076 |    18391     1069     13 |  0.023 % |
0.20/0.53	c |      1212 |    8605    55163   187076 |    18391     1204     13 |  0.023 % |
0.20/0.55	c |      1312 |    8605    55163   187076 |    18391     1304     12 |  0.023 % |
0.20/0.57	c |      1422 |    8605    55163   187076 |    18391     1414     13 |  0.023 % |
0.20/0.59	c |      1543 |    8605    55163   187076 |    18391     1535     13 |  0.023 % |
0.20/0.62	c |      1676 |    8605    55163   187076 |    18391     1668     13 |  0.023 % |
0.20/0.64	c |      1822 |    8605    55163   187076 |    18391     1814     14 |  0.023 % |
0.20/0.66	c |      1922 |    8605    55163   187076 |    18391     1914     14 |  0.023 % |
0.20/0.69	c |      2032 |    8604    55155   187052 |    18391     2022     13 |  0.035 % |
0.20/0.72	c |      2153 |    8604    55155   187052 |    18391     2143     14 |  0.035 % |
0.20/0.74	c |      2286 |    8604    55155   187052 |    18391     2276     14 |  0.035 % |
0.20/0.76	c |      2433 |    8604    55155   187052 |    18391     2423     14 |  0.035 % |
0.20/0.79	c |      2593 |    8604    55155   187052 |    18391     2583     13 |  0.035 % |
0.20/0.81	c |      2693 |    8604    55155   187052 |    18391     2683     13 |  0.035 % |
0.20/0.84	c |      2803 |    8604    55155   187052 |    18391     2793     13 |  0.035 % |
0.20/0.88	c |      2925 |    8604    55155   187052 |    18391     2915     14 |  0.035 % |
0.20/0.90	c |      3059 |    8604    55155   187052 |    18391     3049     14 |  0.035 % |
0.20/0.92	c |      3205 |    8604    55155   187052 |    18391     3195     14 |  0.035 % |
0.20/0.95	c |      3365 |    8604    55155   187052 |    18391     3355     14 |  0.035 % |
0.20/0.97	c |      3541 |    8604    55155   187052 |    18391     3531     14 |  0.035 % |
0.20/0.99	c |      3641 |    8602    55153   187046 |    18391     3624     14 |  0.058 % |
0.20/1.00	c |      3751 |    8602    55153   187046 |    18391     3734     14 |  0.058 % |
0.95/1.01	c |      3872 |    8602    55153   187046 |    18391     3855     14 |  0.058 % |
0.95/1.03	c |      4005 |    8602    55153   187046 |    18391     3988     14 |  0.058 % |
0.95/1.07	c |      4151 |    8602    55153   187046 |    18391     4134     14 |  0.058 % |
1.05/1.11	c |      4311 |    8602    55153   187046 |    18391     4294     14 |  0.058 % |
1.05/1.15	c |      4487 |    8602    55144   187016 |    18391     4451     14 |  0.058 % |
1.05/1.18	c |      4680 |    8602    55144   187016 |    18391     4644     15 |  0.058 % |
1.05/1.19	c |      4780 |    8602    55144   187016 |    18391     4744     15 |  0.058 % |
1.14/1.22	c |      4890 |    8602    55144   187016 |    18391     4854     16 |  0.058 % |
1.14/1.23	c |      5012 |    8602    55144   187016 |    18391     4976     16 |  0.058 % |
1.14/1.27	c |      5146 |    8602    55144   187016 |    18391     5110     15 |  0.058 % |
1.14/1.28	c |      5292 |    8602    55144   187016 |    18391     5256     16 |  0.058 % |
1.24/1.30	c |      5452 |    8602    55144   187016 |    18391     5416     15 |  0.058 % |
1.24/1.33	c |      5629 |    8602    55144   187016 |    18391     5593     16 |  0.058 % |
1.24/1.37	c |      5822 |    8602    55144   187016 |    18391     5786     16 |  0.058 % |
1.34/1.41	c |      6034 |    8602    55144   187016 |    18391     5998     16 |  0.058 % |
1.34/1.44	c |      6137 |    8602    55144   187016 |    18391     6101     16 |  0.058 % |
1.34/1.45	c |      6248 |    8602    55144   187016 |    18391     6212     16 |  0.058 % |
1.34/1.48	c |      6369 |    8602    55144   187016 |    18391     6333     16 |  0.058 % |
1.44/1.50	c |      6502 |    8602    55144   187016 |    18391     6466     16 |  0.058 % |
1.44/1.54	c |      6649 |    8602    55144   187016 |    18391     6613     16 |  0.058 % |
1.44/1.56	c |      6809 |    8602    55144   187016 |    18391     6773     16 |  0.058 % |
1.44/1.57	c |      6985 |    8602    55144   187016 |    18391     6949     16 |  0.058 % |
1.54/1.62	c |      7179 |    8602    55144   187016 |    18391     7143     17 |  0.058 % |
1.54/1.64	c |      7392 |    8602    55144   187016 |    18391     7356     17 |  0.058 % |
1.54/1.67	c |      7625 |    8602    55144   187016 |    18391     7589     18 |  0.058 % |
1.54/1.68	c |      7727 |    8602    55144   187016 |    18391     7691     18 |  0.058 % |
1.54/1.70	c |      7838 |    8602    55144   187016 |    18391     7802     18 |  0.058 % |
1.64/1.71	c |      7960 |    8602    55144   187016 |    18391     7924     18 |  0.058 % |
1.64/1.73	c |      8093 |    8602    55144   187016 |    18391     8057     18 |  0.058 % |
1.64/1.77	c |      8239 |    8602    55144   187016 |    18391     8203     18 |  0.058 % |
1.64/1.79	c |      8399 |    8602    55144   187016 |    18391     8363     18 |  0.058 % |
1.74/1.83	c |      8575 |    8602    55144   187016 |    18391     8539     18 |  0.058 % |
1.74/1.88	c |      8769 |    8602    55144   187016 |    18391     8733     18 |  0.058 % |
1.84/1.93	c |      8982 |    8602    55144   187016 |    18391     8946     19 |  0.058 % |
1.84/1.96	c |      9215 |    8602    55144   187016 |    18391     9179     18 |  0.058 % |
1.84/1.99	c |      9473 |    8602    55144   187016 |    18391     9437     18 |  0.058 % |
1.94/2.01	c |      9574 |    8602    55144   187016 |    18391     9538     18 |  0.058 % |
1.94/2.04	c |      9684 |    8602    55144   187016 |    18391     9648     18 |  0.058 % |
1.94/2.07	c |      9806 |    8602    55144   187016 |    18391     9770     18 |  0.058 % |
1.94/2.09	c |      9941 |    8602    55144   187016 |    18391     9905     18 |  0.058 % |
2.04/2.13	c |     10087 |    8602    55144   187016 | 2147483647    10051     18 |  0.058 % |
2.04/2.16	c |     10247 |    8602    55144   187016 | 2147483647    10211     19 |  0.058 % |
2.04/2.19	c |     10423 |    8602    55144   187016 | 2147483647    10387     19 |  0.058 % |
2.15/2.25	c |     10619 |    8602    55144   187016 | 2147483647    10583     19 |  0.058 % |
2.15/2.29	c |     10831 |    8602    55144   187016 | 2147483647    10795     19 |  0.058 % |
2.25/2.34	c |     11065 |    8602    55144   187016 | 2147483647    11029     19 |  0.058 % |
2.25/2.40	c |     11324 |    8602    55144   187016 | 2147483647    11288     19 |  0.058 % |
2.35/2.46	c |     11605 |    8602    55144   187016 | 2147483647    11569     19 |  0.058 % |
2.35/2.48	c |     11706 |    8602    55144   187016 | 2147483647    11670     20 |  0.058 % |
2.35/2.49	c |     11817 |    8602    55144   187016 | 2147483647    11781     20 |  0.058 % |
2.45/2.50	c |     11939 |    8602    55144   187016 | 2147483647    11903     20 |  0.058 % |
2.45/2.54	c |     12073 |    8602    55144   187016 | 2147483647    12037     20 |  0.058 % |
2.45/2.57	c |     12219 |    8602    55144   187016 | 2147483647    12183     20 |  0.058 % |
2.45/2.59	c |     12383 |    8602    55144   187016 | 2147483647    12347     20 |  0.058 % |
2.55/2.61	c |     12560 |    8602    55144   187016 | 2147483647    12524     20 |  0.058 % |
2.55/2.64	c |     12753 |    8602    55144   187016 | 2147483647    12717     20 |  0.058 % |
2.55/2.69	c |     12965 |    8602    55144   187016 | 2147483647    12929     20 |  0.058 % |
2.65/2.76	c |     13198 |    8602    55144   187016 | 2147483647    13162     20 |  0.058 % |
2.75/2.80	c |     13455 |    8602    55144   187016 | 2147483647    13419     20 |  0.058 % |
2.75/2.88	c |     13736 |    8602    55144   187016 | 2147483647    13700     20 |  0.058 % |
2.84/2.95	c |     14045 |    8602    55144   187016 | 2147483647    14009     20 |  0.058 % |
2.84/2.99	c |     14145 |    8601    55142   187010 | 2147483647    14102     20 |  0.070 % |
2.94/3.01	c |     14256 |    8601    55142   187010 | 2147483647    14213     20 |  0.070 % |
2.94/3.05	c |     14378 |    8601    55142   187010 | 2147483647    14335     20 |  0.070 % |
2.94/3.08	c |     14511 |    8601    55142   187010 | 2147483647    14468     20 |  0.070 % |
3.04/3.11	c |     14657 |    8600    55142   187010 | 2147483647    14613     20 |  0.081 % |
3.04/3.14	c |     14817 |    8600    55142   187010 | 2147483647    14773     20 |  0.081 % |
3.04/3.19	c |     14993 |    8600    55142   187010 | 2147483647    14949     20 |  0.081 % |
3.15/3.21	c |     15186 |    8600    55142   187010 | 2147483647    15142     20 |  0.081 % |
3.15/3.26	c |     15398 |    8600    55142   187010 | 2147483647    15354     20 |  0.081 % |
3.25/3.31	c |     15631 |    8600    55132   186977 | 2147483647    15548     20 |  0.081 % |
3.25/3.35	c |     15887 |    8600    55132   186977 | 2147483647    15804     20 |  0.081 % |
3.34/3.42	c |     16168 |    8600    55132   186977 | 2147483647    16085     20 |  0.081 % |
3.34/3.48	c |     16477 |    8600    55132   186977 | 2147483647    16394     20 |  0.082 % |
3.44/3.56	c |     16817 |    8600    55132   186977 | 2147483647    16734     21 |  0.081 % |
3.44/3.57	c |     16919 |    8600    55132   186977 | 2147483647    16836     21 |  0.081 % |
3.44/3.59	c |     17031 |    8600    55132   186977 | 2147483647    16948     21 |  0.081 % |
3.54/3.62	c |     17152 |    8600    55132   186977 | 2147483647    17069     21 |  0.081 % |
3.54/3.64	c |     17285 |    8599    55130   186971 | 2147483647    17192     21 |  0.093 % |
3.54/3.66	c |     17433 |    8599    55130   186971 | 2147483647    17340     21 |  0.093 % |
3.64/3.73	c |     17593 |    8599    55130   186971 | 2147483647    17500     21 |  0.093 % |
3.64/3.77	c |     17769 |    8599    55130   186971 | 2147483647    17676     21 |  0.093 % |
3.74/3.82	c |     17962 |    8599    55130   186971 | 2147483647    17869     21 |  0.093 % |
3.74/3.85	c |     18174 |    8599    55130   186971 | 2147483647    18081     21 |  0.093 % |
3.74/3.87	c |     18408 |    8599    55130   186971 | 2147483647    18315     21 |  0.093 % |
3.84/3.90	c |     18664 |    8599    55130   186971 | 2147483647    18571     21 |  0.093 % |
3.84/3.93	c |     18946 |    8599    55130   186971 | 2147483647    18853     21 |  0.093 % |
3.84/3.98	c |     19255 |    8599    55130   186971 | 2147483647    19162     21 |  0.093 % |
3.94/4.02	c |     19594 |    8599    55130   186971 | 2147483647    19501     21 |  0.093 % |
4.04/4.14	c |     19969 |    8599    55130   186971 | 2147483647    19876     21 |  0.093 % |
4.04/4.18	c |     20070 |    8599    55130   186971 | 2147483647    19977     21 |  0.093 % |
4.14/4.21	c |     20180 |    8599    55130   186971 | 2147483647    20087     21 |  0.093 % |
4.14/4.24	c |     20303 |    8599    55130   186971 | 2147483647    20210     21 |  0.093 % |
4.14/4.29	c |     20436 |    8599    55130   186971 | 2147483647    20343     21 |  0.093 % |
4.24/4.33	c |     20582 |    8599    55130   186971 | 2147483647    20489     22 |  0.093 % |
4.24/4.38	c |     20742 |    8599    55130   186971 | 2147483647    20649     22 |  0.093 % |
4.34/4.43	c |     20918 |    8599    55130   186971 | 2147483647    20825     22 |  0.093 % |
4.34/4.48	c |     21111 |    8599    55130   186971 | 2147483647    21018     22 |  0.093 % |
4.44/4.51	c |     21324 |    8599    55130   186971 | 2147483647    21231     22 |  0.093 % |
4.44/4.55	c |     21557 |    8599    55130   186971 | 2147483647    21464     22 |  0.093 % |
4.54/4.62	c |     21813 |    8599    55130   186971 | 2147483647    21720     22 |  0.093 % |
4.64/4.70	c |     22094 |    8599    55130   186971 | 2147483647    22001     23 |  0.093 % |
4.64/4.74	c |     22403 |    8599    55130   186971 | 2147483647    22310     23 |  0.093 % |
4.64/4.79	c |     22744 |    8599    55130   186971 | 2147483647    22651     23 |  0.093 % |
4.74/4.83	c |     23116 |    8599    55130   186971 | 2147483647    23023     22 |  0.093 % |
4.84/4.96	c |     23527 |    8599    55130   186971 | 2147483647    23434     23 |  0.093 % |
4.84/4.99	c |     23627 |    8599    55130   186971 | 2147483647    23534     23 |  0.093 % |
4.94/5.05	c |     23737 |    8598    55128   186965 | 2147483647    23561     23 |  0.105 % |
4.94/5.07	c |     23861 |    8598    55128   186965 | 2147483647    23685     23 |  0.105 % |
4.94/5.09	c |     23994 |    8598    55128   186965 | 2147483647    23818     23 |  0.105 % |
5.04/5.12	c |     24141 |    8598    55128   186965 | 2147483647    23965     23 |  0.105 % |
5.04/5.13	c |     24301 |    8598    55128   186965 | 2147483647    24125     23 |  0.105 % |
5.04/5.18	c |     24477 |    8598    55128   186965 | 2147483647    24301     23 |  0.105 % |
5.14/5.20	c |     24671 |    8598    55128   186965 | 2147483647    24495     23 |  0.105 % |
5.14/5.23	c |     24884 |    8598    55128   186965 | 2147483647    24708     23 |  0.105 % |
5.24/5.30	c |     25117 |    8597    55128   186965 | 2147483647    24940     23 |  0.116 % |
5.24/5.35	c |     25374 |    8597    55128   186965 | 2147483647    25197     23 |  0.116 % |
5.34/5.42	c |     25656 |    8597    55128   186965 | 2147483647    25479     23 |  0.116 % |
5.34/5.48	c |     25965 |    8596    55124   186953 | 2147483647    25744     23 |  0.128 % |
5.44/5.58	c |     26304 |    8596    55124   186953 | 2147483647    26083     23 |  0.128 % |
5.64/5.70	c |     26676 |    8596    55124   186953 | 2147483647    26455     23 |  0.128 % |
5.64/5.75	c |     27086 |    8596    55124   186953 | 2147483647    26865     23 |  0.128 % |
5.74/5.87	c |     27537 |    8596    55124   186953 | 2147483647    27316     23 |  0.128 % |
5.84/5.91	c |     27637 |    8596    55124   186953 | 2147483647    27416     23 |  0.128 % |
5.84/5.93	c |     27748 |    8596    55124   186953 | 2147483647    27527     23 |  0.128 % |
5.84/5.98	c |     27870 |    8596    55124   186953 | 2147483647    27649     23 |  0.128 % |
5.94/6.01	c |     28005 |    8596    55124   186953 | 2147483647    27784     23 |  0.128 % |
5.94/6.07	c |     28153 |    8596    55124   186953 | 2147483647    27932     24 |  0.128 % |
6.04/6.10	c |     28314 |    8596    55124   186953 | 2147483647    28093     24 |  0.128 % |
6.04/6.13	c |     28490 |    8596    55124   186953 | 2147483647    28269     24 |  0.128 % |
6.04/6.18	c |     28684 |    8596    55124   186953 | 2147483647    28463     24 |  0.128 % |
6.14/6.25	c |     28896 |    8596    55124   186953 | 2147483647    28675     24 |  0.128 % |
6.14/6.30	c |     29129 |    8596    55124   186953 | 2147483647    28908     24 |  0.128 % |
6.24/6.33	c |     29385 |    8596    55124   186953 | 2147483647    29164     24 |  0.128 % |
6.24/6.38	c |     29666 |    8596    55124   186953 | 2147483647    29445     24 |  0.128 % |
6.34/6.42	c |     29976 |    8596    55124   186953 | 2147483647    29755     24 |  0.128 % |
6.34/6.49	c |     30315 |    8596    55124   186953 | 2147483647    30094     24 |  0.128 % |
6.45/6.60	c |     30690 |    8596    55124   186953 | 2147483647    30469     24 |  0.128 % |
6.64/6.74	c |     31099 |    8594    55122   186947 | 2147483647    30855     24 |  0.151 % |
6.74/6.86	c |     31549 |    8594    55122   186947 | 2147483647    31305     24 |  0.151 % |
6.94/7.01	c |     32042 |    8594    55122   186947 | 2147483647    31798     24 |  0.151 % |
6.94/7.06	c |     32142 |    8594    55122   186947 | 2147483647    31898     24 |  0.152 % |
7.04/7.11	c |     32252 |    8594    55122   186947 | 2147483647    32008     24 |  0.151 % |
7.04/7.15	c |     32373 |    8594    55122   186947 | 2147483647    32129     24 |  0.151 % |
7.04/7.18	c |     32506 |    8594    55122   186947 | 2147483647    32262     24 |  0.151 % |
7.14/7.23	c |     32654 |    8594    55122   186947 | 2147483647    32410     25 |  0.151 % |
7.14/7.27	c |     32815 |    8594    55122   186947 | 2147483647    32571     25 |  0.151 % |
7.24/7.30	c |     32992 |    8594    55122   186947 | 2147483647    32748     24 |  0.151 % |
7.24/7.39	c |     33186 |    8594    55120   186941 | 2147483647    32932     24 |  0.151 % |
7.34/7.42	c |     33400 |    8594    55120   186941 | 2147483647    33146     24 |  0.151 % |
7.34/7.50	c |     33634 |    8594    55120   186941 | 2147483647    33380     24 |  0.151 % |
7.44/7.55	c |     33890 |    8594    55120   186941 | 2147483647    33636     25 |  0.151 % |
7.54/7.61	c |     34172 |    8594    55120   186941 | 2147483647    33918     25 |  0.151 % |
7.54/7.67	c |     34481 |    8594    55120   186941 | 2147483647    34227     25 |  0.151 % |
7.64/7.73	c |     34821 |    8594    55120   186941 | 2147483647    34567     25 |  0.151 % |
7.64/7.80	c |     35193 |    8594    55120   186941 | 2147483647    34939     25 |  0.151 % |
7.84/7.94	c |     35602 |    8593    55120   186941 | 2147483647    35347     25 |  0.163 % |
7.94/8.07	c |     36051 |    8593    55120   186941 | 2147483647    35796     25 |  0.163 % |
8.14/8.20	c |     36547 |    8593    55112   186917 | 2147483647    36288     26 |  0.163 % |
8.34/8.42	c |     37089 |    8593    55112   186917 | 2147483647    36830     26 |  0.163 % |
8.34/8.47	c |     37189 |    8593    55112   186917 | 2147483647    36930     26 |  0.163 % |
8.44/8.51	c |     37299 |    8593    55112   186917 | 2147483647    37040     26 |  0.163 % |
8.44/8.56	c |     37420 |    8593    55112   186917 | 2147483647    37161     26 |  0.163 % |
8.44/8.59	c |     37553 |    8593    55112   186917 | 2147483647    37294     26 |  0.163 % |
8.54/8.64	c |     37699 |    8593    55112   186917 | 2147483647    37440     26 |  0.163 % |
8.54/8.67	c |     37859 |    8593    55112   186917 | 2147483647    37600     26 |  0.163 % |
8.54/8.70	c |     38035 |    8593    55112   186917 | 2147483647    37776     26 |  0.163 % |
8.64/8.78	c |     38228 |    8593    55112   186917 | 2147483647    37969     26 |  0.163 % |
8.74/8.82	c |     38440 |    8593    55112   186917 | 2147483647    38181     26 |  0.163 % |
8.74/8.89	c |     38674 |    8593    55112   186917 | 2147483647    38415     26 |  0.163 % |
8.84/8.99	c |     38930 |    8593    55112   186917 | 2147483647    38671     26 |  0.163 % |
8.94/9.06	c |     39212 |    8593    55112   186917 | 2147483647    38953     26 |  0.163 % |
9.04/9.15	c |     39521 |    8593    55112   186917 | 2147483647    39262     26 |  0.163 % |
9.14/9.26	c |     39862 |    8593    55112   186917 | 2147483647    39603     26 |  0.163 % |
9.24/9.36	c |     40235 |    8593    55112   186917 | 2147483647    39976     26 |  0.163 % |
9.44/9.51	c |     40644 |    8593    55112   186917 | 2147483647    40385     27 |  0.163 % |
9.54/9.67	c |     41093 |    8593    55112   186917 | 2147483647    40834     27 |  0.163 % |
9.74/9.81	c |     41586 |    8593    55112   186917 | 2147483647    41327     27 |  0.163 % |
9.94/10.04	c |     42128 |    8593    55112   186917 | 2147483647    41869     27 |  0.163 % |
10.14/10.27	c |     42726 |    8593    55112   186917 | 2147483647    42467     27 |  0.163 % |
10.24/10.30	c |     42826 |    8593    55112   186917 | 2147483647    42567     27 |  0.163 % |
10.24/10.33	c |     42937 |    8593    55112   186917 | 2147483647    42678     27 |  0.163 % |
10.24/10.36	c |     43058 |    8593    55112   186917 | 2147483647    42799     27 |  0.163 % |
10.34/10.41	c |     43191 |    8593    55112   186917 | 2147483647    42932     27 |  0.163 % |
10.34/10.46	c |     43339 |    8593    55112   186917 | 2147483647    43080     27 |  0.163 % |
10.44/10.50	c |     43499 |    8593    55112   186917 | 2147483647    43240     27 |  0.163 % |
10.44/10.57	c |     43675 |    8593    55112   186917 | 2147483647    43416     27 |  0.163 % |
10.54/10.64	c |     43871 |    8593    55112   186917 | 2147483647    43612     27 |  0.163 % |
10.64/10.71	c |     44083 |    8593    55112   186917 | 2147483647    43824     27 |  0.163 % |
10.74/10.81	c |     44316 |    8590    55102   186884 | 2147483647    44042     27 |  0.198 % |
10.74/10.88	c |     44572 |    8590    55102   186884 | 2147483647    44298     27 |  0.198 % |
10.94/11.01	c |     44853 |    8590    55102   186884 | 2147483647    44579     27 |  0.198 % |
11.03/11.12	c |     45162 |    8590    55102   186884 | 2147483647    44888     27 |  0.198 % |
11.03/11.19	c |     45501 |    8590    55102   186884 | 2147483647    45227     27 |  0.198 % |
11.23/11.33	c |     45874 |    8590    55102   186884 | 2147483647    45600     28 |  0.198 % |
11.33/11.46	c |     46283 |    8590    55102   186884 | 2147483647    46009     28 |  0.198 % |
11.43/11.59	c |     46734 |    8590    55102   186884 | 2147483647    46460     28 |  0.198 % |
11.63/11.72	c |     47227 |    8590    55102   186884 | 2147483647    46953     28 |  0.198 % |
11.73/11.85	c |     47769 |    8590    55102   186884 | 2147483647    47495     28 |  0.198 % |
11.94/12.01	c |     48369 |    8590    55102   186884 | 2147483647    48095     28 |  0.198 % |
12.13/12.24	c |     49024 |    8590    55098   186872 | 2147483647    48543     29 |  0.198 % |
12.13/12.29	c |     49124 |    8590    55098   186872 | 2147483647    48643     29 |  0.198 % |
12.23/12.34	c |     49237 |    8590    55098   186872 | 2147483647    48756     29 |  0.198 % |
12.23/12.38	c |     49358 |    8590    55098   186872 | 2147483647    48877     29 |  0.198 % |
12.33/12.43	c |     49491 |    8590    55098   186872 | 2147483647    49010     29 |  0.198 % |
12.33/12.49	c |     49637 |    8590    55098   186872 | 2147483647    49156     29 |  0.198 % |
12.43/12.53	c |     49797 |    8590    55098   186872 | 2147483647    49316     29 |  0.198 % |
12.43/12.57	c |     49975 |    8590    55098   186872 | 2147483647    49494     29 |  0.198 % |
12.53/12.63	c |     50168 |    8590    55098   186872 | 2147483647    49687     29 |  0.198 % |
12.53/12.66	c |     50381 |    8590    55098   186872 | 2147483647    49900     29 |  0.198 % |
12.73/12.80	c |     50614 |    8590    55098   186872 | 2147483647    50133     29 |  0.198 % |
12.73/12.88	c |     50870 |    8590    55098   186872 | 2147483647    50389     29 |  0.198 % |
12.83/12.96	c |     51152 |    8590    55098   186872 | 2147483647    50671     29 |  0.198 % |
12.93/13.04	c |     51463 |    8590    55098   186872 | 2147483647    50982     29 |  0.198 % |
13.03/13.17	c |     51802 |    8590    55098   186872 | 2147483647    51321     29 |  0.198 % |
13.13/13.28	c |     52174 |    8590    55098   186872 | 2147483647    51693     29 |  0.198 % |
13.23/13.39	c |     52583 |    8590    55098   186872 | 2147483647    52102     29 |  0.198 % |
13.43/13.56	c |     53032 |    8590    55098   186872 | 2147483647    52551     29 |  0.198 % |
13.64/13.73	c |     53525 |    8590    55098   186872 | 2147483647    53044     29 |  0.198 % |
13.73/13.89	c |     54067 |    8590    55098   186872 | 2147483647    53586     29 |  0.198 % |
14.03/14.11	c |     54663 |    8590    55098   186872 | 2147483647    54182     30 |  0.198 % |
14.24/14.34	c |     55318 |    8590    55098   186872 | 2147483647    54837     30 |  0.198 % |
14.43/14.55	c |     56038 |    8590    55098   186872 | 2147483647    55557     30 |  0.198 % |
14.43/14.58	c |     56138 |    8590    55098   186872 | 2147483647    55657     30 |  0.198 % |
14.53/14.62	c |     56248 |    8590    55098   186872 | 2147483647    55767     30 |  0.198 % |
14.53/14.68	c |     56370 |    8590    55098   186872 | 2147483647    55889     30 |  0.198 % |
14.63/14.73	c |     56503 |    8590    55098   186872 | 2147483647    56022     30 |  0.198 % |
14.63/14.78	c |     56652 |    8590    55098   186872 | 2147483647    56171     30 |  0.198 % |
14.73/14.83	c |     56812 |    8590    55098   186872 | 2147483647    56331     30 |  0.198 % |
14.73/14.86	c |     56991 |    8590    55098   186872 | 2147483647    56510     30 |  0.198 % |
14.83/14.95	c |     57184 |    8590    55098   186872 | 2147483647    56703     30 |  0.198 % |
14.93/15.01	c |     57398 |    8590    55098   186872 | 2147483647    56917     30 |  0.198 % |
15.03/15.11	c |     57631 |    8590    55098   186872 | 2147483647    57150     30 |  0.198 % |
15.03/15.19	c |     57888 |    8590    55098   186872 | 2147483647    57407     30 |  0.198 % |
15.13/15.28	c |     58169 |    8590    55098   186872 | 2147483647    57688     30 |  0.198 % |
15.23/15.35	c |     58480 |    8590    55098   186872 | 2147483647    57999     30 |  0.198 % |
15.23/15.40	c |     58819 |    8590    55098   186872 | 2147483647    58338     30 |  0.198 % |
15.33/15.44	c |     59191 |    8590    55098   186872 | 2147483647    58710     30 |  0.198 % |
15.43/15.50	c |     59601 |    8590    55098   186872 | 2147483647    59120     30 |  0.198 % |
15.43/15.56	c |     60051 |    8590    55098   186872 | 2147483647    59570     30 |  0.198 % |
15.63/15.78	c |     60545 |    8590    55098   186872 | 2147483647    60064     30 |  0.198 % |
15.83/15.98	c |     61087 |    8590    55098   186872 | 2147483647    60606     30 |  0.198 % |
16.03/16.18	c |     61683 |    8590    55098   186872 | 2147483647    61202     30 |  0.198 % |
16.33/16.42	c |     62339 |    8590    55098   186872 | 2147483647    61858     30 |  0.198 % |
16.52/16.66	c |     63059 |    8590    55098   186872 | 2147483647    62578     30 |  0.198 % |
16.92/17.03	c |     63852 |    8590    55098   186872 | 2147483647    63371     31 |  0.198 % |
16.92/17.08	c |     63954 |    8590    55098   186872 | 2147483647    63473     31 |  0.198 % |
17.02/17.13	c |     64064 |    8590    55098   186872 | 2147483647    63583     31 |  0.198 % |
17.13/17.20	c |     64187 |    8590    55098   186872 | 2147483647    63706     31 |  0.198 % |
17.13/17.25	c |     64321 |    8590    55098   186872 | 2147483647    63840     31 |  0.198 % |
17.13/17.29	c |     64468 |    8590    55098   186872 | 2147483647    63987     31 |  0.198 % |
17.23/17.36	c |     64628 |    8590    55098   186872 | 2147483647    64147     31 |  0.198 % |
17.33/17.43	c |     64804 |    8590    55098   186872 | 2147483647    64323     31 |  0.198 % |
17.43/17.52	c |     64997 |    8590    55098   186872 | 2147483647    64516     31 |  0.198 % |
17.53/17.62	c |     65209 |    8590    55098   186872 | 2147483647    64728     31 |  0.198 % |
17.53/17.65	c |     65442 |    8590    55098   186872 | 2147483647    64961     31 |  0.198 % |
17.53/17.68	c |     65698 |    8590    55098   186872 | 2147483647    65217     31 |  0.198 % |
17.73/17.82	c |     65979 |    8590    55098   186872 | 2147483647    65498     31 |  0.198 % |
17.83/17.92	c |     66289 |    8590    55098   186872 | 2147483647    65808     31 |  0.198 % |
17.93/18.02	c |     66631 |    8590    55098   186872 | 2147483647    66150     31 |  0.198 % |
18.03/18.13	c |     67003 |    8590    55098   186872 | 2147483647    66522     31 |  0.198 % |
18.33/18.40	c |     67412 |    8589    55096   186866 | 2147483647    66826     31 |  0.209 % |
18.43/18.53	c |     67862 |    8589    55096   186866 | 2147483647    67276     31 |  0.209 % |
18.53/18.69	c |     68356 |    8589    55096   186866 | 2147483647    67770     31 |  0.209 % |
18.72/18.87	c |     68898 |    8589    55096   186866 | 2147483647    68312     31 |  0.209 % |
18.92/19.06	c |     69495 |    8589    55096   186866 | 2147483647    68909     31 |  0.209 % |
19.12/19.30	c |     70152 |    8589    55096   186866 | 2147483647    69566     31 |  0.209 % |
19.42/19.57	c |     70872 |    8589    55096   186866 | 2147483647    70286     31 |  0.209 % |
19.73/19.86	c |     71664 |    8589    55096   186866 | 2147483647    71078     31 |  0.209 % |
20.12/20.26	c |     72535 |    8589    55096   186866 | 2147483647    71949     31 |  0.209 % |
20.22/20.34	c |     72638 |    8589    55096   186866 | 2147483647    72052     31 |  0.209 % |
20.22/20.38	c |     72749 |    8589    55096   186866 | 2147483647    72163     31 |  0.209 % |
20.32/20.41	c |     72871 |    8589    55096   186866 | 2147483647    72285     31 |  0.209 % |
20.32/20.44	c |     73005 |    8589    55096   186866 | 2147483647    72419     31 |  0.209 % |
20.42/20.54	c |     73156 |    8589    55096   186866 | 2147483647    72570     31 |  0.209 % |
20.52/20.60	c |     73317 |    8589    55096   186866 | 2147483647    72731     31 |  0.209 % |
20.52/20.66	c |     73493 |    8589    55096   186866 | 2147483647    72907     31 |  0.209 % |
20.62/20.74	c |     73686 |    8589    55096   186866 | 2147483647    73100     31 |  0.209 % |
20.62/20.79	c |     73899 |    8589    55096   186866 | 2147483647    73313     31 |  0.209 % |
20.83/20.91	c |     74132 |    8589    55096   186866 | 2147483647    73546     31 |  0.209 % |
20.92/21.03	c |     74388 |    8589    55096   186866 | 2147483647    73802     31 |  0.209 % |
21.02/21.12	c |     74670 |    8589    55096   186866 | 2147483647    74084     31 |  0.209 % |
21.12/21.23	c |     74980 |    8589    55096   186866 | 2147483647    74394     31 |  0.209 % |
21.22/21.35	c |     75319 |    8589    55096   186866 | 2147483647    74733     31 |  0.209 % |
21.42/21.57	c |     75692 |    8589    55096   186866 | 2147483647    75106     31 |  0.209 % |
21.62/21.78	c |     76101 |    8589    55096   186866 | 2147483647    75515     31 |  0.209 % |
21.82/21.98	c |     76550 |    8589    55096   186866 | 2147483647    75964     32 |  0.209 % |
22.12/22.25	c |     77043 |    8589    55096   186866 | 2147483647    76457     32 |  0.209 % |
22.32/22.42	c |     77585 |    8589    55096   186866 | 2147483647    76999     32 |  0.210 % |
22.62/22.74	c |     78182 |    8589    55096   186866 | 2147483647    77596     32 |  0.209 % |
22.92/23.02	c |     78837 |    8589    55096   186866 | 2147483647    78251     32 |  0.209 % |
23.32/23.41	c |     79558 |    8589    55096   186866 | 2147483647    78972     32 |  0.209 % |
23.51/23.66	c |     80352 |    8589    55096   186866 | 2147483647    79766     32 |  0.209 % |
23.91/24.09	c |     81225 |    8589    55096   186866 | 2147483647    80639     33 |  0.209 % |
24.41/24.52	c |     82183 |    8589    55096   186866 | 2147483647    81597     33 |  0.209 % |
24.41/24.57	c |     82284 |    8589    55096   186866 | 2147483647    81698     33 |  0.209 % |
24.51/24.62	c |     82396 |    8589    55096   186866 | 2147483647    81810     33 |  0.209 % |
24.51/24.67	c |     82517 |    8589    55096   186866 | 2147483647    81931     33 |  0.209 % |
24.61/24.76	c |     82650 |    8589    55096   186866 | 2147483647    82064     33 |  0.209 % |
24.71/24.85	c |     82797 |    8589    55096   186866 | 2147483647    82211     33 |  0.209 % |
24.81/24.92	c |     82957 |    8589    55096   186866 | 2147483647    82371     33 |  0.209 % |
24.91/25.02	c |     83133 |    8589    55096   186866 | 2147483647    82547     33 |  0.209 % |
25.01/25.12	c |     83326 |    8589    55096   186866 | 2147483647    82740     33 |  0.209 % |
25.01/25.17	c |     83538 |    8589    55096   186866 | 2147483647    82952     33 |  0.209 % |
25.22/25.32	c |     83771 |    8589    55096   186866 | 2147483647    83185     33 |  0.209 % |
25.32/25.46	c |     84029 |    8589    55096   186866 | 2147483647    83443     33 |  0.209 % |
25.52/25.60	c |     84311 |    8589    55096   186866 | 2147483647    83725     33 |  0.209 % |
25.62/25.75	c |     84620 |    8589    55096   186866 | 2147483647    84034     33 |  0.209 % |
25.82/25.92	c |     84959 |    8589    55096   186866 | 2147483647    84373     33 |  0.209 % |
25.92/26.00	c |     85332 |    8589    55096   186866 | 2147483647    84746     33 |  0.209 % |
26.12/26.24	c |     85743 |    8589    55096   186866 | 2147483647    85157     33 |  0.209 % |
26.32/26.44	c |     86193 |    8589    55096   186866 | 2147483647    85607     33 |  0.209 % |
26.62/26.73	c |     86686 |    8589    55096   186866 | 2147483647    86100     33 |  0.209 % |
26.82/26.97	c |     87229 |    8589    55096   186866 | 2147483647    86643     33 |  0.209 % |
27.12/27.24	c |     87828 |    8589    55096   186866 | 2147483647    87242     33 |  0.209 % |
27.32/27.48	c |     88483 |    8589    55096   186866 | 2147483647    87897     33 |  0.209 % |
27.82/27.96	c |     89203 |    8589    55096   186866 | 2147483647    88617     33 |  0.209 % |
28.21/28.32	c |     89998 |    8589    55096   186866 | 2147483647    89412     34 |  0.209 % |
28.52/28.67	c |     90869 |    8589    55096   186866 | 2147483647    90283     34 |  0.209 % |
28.91/29.07	c |     91827 |    8589    55096   186866 | 2147483647    91241     34 |  0.209 % |
29.52/29.67	c |     92882 |    8589    55096   186866 | 2147483647    92296     34 |  0.209 % |
29.62/29.72	c |     92982 |    8589    55096   186866 | 2147483647    92396     34 |  0.209 % |
29.62/29.79	c |     93092 |    8589    55096   186866 | 2147483647    92506     34 |  0.209 % |
29.81/29.90	c |     93216 |    8589    55096   186866 | 2147483647    92630     34 |  0.209 % |
29.81/29.94	c |     93350 |    8589    55096   186866 | 2147483647    92764     34 |  0.209 % |
29.91/30.03	c |     93496 |    8589    55096   186866 | 2147483647    92910     34 |  0.209 % |
30.01/30.14	c |     93659 |    8589    55096   186866 | 2147483647    93073     34 |  0.209 % |
30.11/30.30	c |     93835 |    8588    55094   186860 | 2147483647    93241     34 |  0.221 % |
30.21/30.36	c |     94029 |    8588    55094   186860 | 2147483647    93435     34 |  0.221 % |
30.41/30.53	c |     94241 |    8588    55094   186860 | 2147483647    93647     34 |  0.221 % |
30.51/30.61	c |     94474 |    8588    55094   186860 | 2147483647    93880     34 |  0.221 % |
30.61/30.76	c |     94730 |    8588    55094   186860 | 2147483647    94136     34 |  0.221 % |
30.71/30.89	c |     95011 |    8588    55094   186860 | 2147483647    94417     34 |  0.221 % |
31.00/31.10	c |     95322 |    8588    55094   186860 | 2147483647    94728     34 |  0.221 % |
31.20/31.32	c |     95662 |    8588    55094   186860 | 2147483647    95068     34 |  0.221 % |
31.30/31.49	c |     96034 |    8588    55094   186860 | 2147483647    95440     34 |  0.221 % |
31.60/31.71	c |     96443 |    8588    55094   186860 | 2147483647    95849     34 |  0.221 % |
31.80/31.97	c |     96892 |    8588    55094   186860 | 2147483647    96298     34 |  0.221 % |
32.10/32.25	c |     97386 |    8588    55094   186860 | 2147483647    96792     34 |  0.221 % |
32.20/32.37	c |     97928 |    8588    55094   186860 | 2147483647    97334     34 |  0.221 % |
32.61/32.77	c |     98524 |    8588    55094   186860 | 2147483647    97930     34 |  0.221 % |
32.91/33.07	c |     99180 |    8588    55094   186860 | 2147483647    98586     34 |  0.221 % |
33.30/33.45	c |     99901 |    8588    55094   186860 | 2147483647    99307     34 |  0.221 % |
33.80/33.90	c |    100693 |    8588    55094   186860 | 2147483647   100099     34 |  0.221 % |
34.20/34.32	c |    101566 |    8588    55094   186860 | 2147483647   100972     34 |  0.221 % |
34.60/34.78	c |    102526 |    8588    55094   186860 | 2147483647   101932     35 |  0.221 % |
35.30/35.49	c |    103579 |    8588    55094   186860 | 2147483647   102985     35 |  0.221 % |
36.00/36.12	c |    104737 |    8588    55094   186860 | 2147483647   104143     35 |  0.221 % |
36.10/36.20	c |    104840 |    8588    55094   186860 | 2147483647   104246     35 |  0.221 % |
36.10/36.27	c |    104950 |    8588    55094   186860 | 2147483647   104356     35 |  0.221 % |
36.20/36.34	c |    105071 |    8588    55094   186860 | 2147483647   104477     35 |  0.221 % |
36.29/36.45	c |    105205 |    8588    55094   186860 | 2147483647   104611     35 |  0.221 % |
36.39/36.54	c |    105352 |    8588    55094   186860 | 2147483647   104758     35 |  0.221 % |
36.49/36.64	c |    105513 |    8588    55094   186860 | 2147483647   104919     35 |  0.221 % |
36.59/36.77	c |    105690 |    8588    55094   186860 | 2147483647   105096     35 |  0.221 % |
36.69/36.89	c |    105890 |    8588    55094   186860 | 2147483647   105296     35 |  0.221 % |
36.89/37.04	c |    106102 |    8588    55094   186860 | 2147483647   105508     35 |  0.221 % |
36.99/37.16	c |    106336 |    8588    55094   186860 | 2147483647   105742     35 |  0.221 % |
37.09/37.29	c |    106594 |    8588    55094   186860 | 2147483647   106000     35 |  0.221 % |
37.39/37.51	c |    106877 |    8588    55094   186860 | 2147483647   106283     36 |  0.221 % |
37.59/37.71	c |    107186 |    8588    55094   186860 | 2147483647   106592     36 |  0.221 % |
37.80/37.97	c |    107526 |    8588    55094   186860 | 2147483647   106932     36 |  0.221 % |
38.00/38.17	c |    107898 |    8588    55094   186860 | 2147483647   107304     36 |  0.221 % |
38.30/38.43	c |    108307 |    8588    55094   186860 | 2147483647   107713     36 |  0.221 % |
38.60/38.71	c |    108757 |    8588    55094   186860 | 2147483647   108163     36 |  0.221 % |
38.80/38.95	c |    109250 |    8588    55094   186860 | 2147483647   108656     36 |  0.221 % |
39.10/39.26	c |    109792 |    8588    55094   186860 | 2147483647   109198     36 |  0.221 % |
39.50/39.62	c |    110388 |    8588    55094   186860 | 2147483647   109794     36 |  0.221 % |
39.89/40.00	c |    111044 |    8588    55094   186860 | 2147483647   110450     36 |  0.221 % |
40.29/40.42	c |    111764 |    8588    55094   186860 | 2147483647   111170     36 |  0.221 % |
40.69/40.86	c |    112556 |    8588    55094   186860 | 2147483647   111962     36 |  0.221 % |
41.19/41.36	c |    113428 |    8588    55094   186860 | 2147483647   112834     36 |  0.221 % |
41.70/41.87	c |    114387 |    8588    55094   186860 | 2147483647   113793     36 |  0.221 % |
42.19/42.39	c |    115440 |    8588    55094   186860 | 2147483647   114846     36 |  0.221 % |
42.89/43.02	c |    116598 |    8588    55094   186860 | 2147483647   116004     36 |  0.221 % |
43.59/43.73	c |    117872 |    8588    55094   186860 | 2147483647   117278     36 |  0.221 % |
43.69/43.82	c |    117972 |    8588    55094   186860 | 2147483647   117378     37 |  0.221 % |
43.69/43.90	c |    118083 |    8588    55094   186860 | 2147483647   117489     37 |  0.221 % |
43.89/44.02	c |    118204 |    8588    55094   186860 | 2147483647   117610     37 |  0.221 % |
43.99/44.14	c |    118339 |    8588    55094   186860 | 2147483647   117745     37 |  0.221 % |
44.09/44.27	c |    118488 |    8588    55094   186860 | 2147483647   117894     37 |  0.221 % |
44.28/44.41	c |    118649 |    8588    55094   186860 | 2147483647   118055     37 |  0.221 % |
44.38/44.52	c |    118826 |    8588    55094   186860 | 2147483647   118232     37 |  0.221 % |
44.48/44.64	c |    119019 |    8588    55094   186860 | 2147483647   118425     37 |  0.221 % |
44.68/44.80	c |    119232 |    8588    55094   186860 | 2147483647   118638     37 |  0.221 % |
44.78/44.96	c |    119465 |    8588    55094   186860 | 2147483647   118871     37 |  0.221 % |
44.99/45.12	c |    119722 |    8588    55094   186860 | 2147483647   119128     37 |  0.221 % |
45.18/45.32	c |    120004 |    8588    55094   186860 | 2147483647   119410     37 |  0.221 % |
45.38/45.57	c |    120313 |    8588    55094   186860 | 2147483647   119719     37 |  0.221 % |
45.58/45.78	c |    120653 |    8588    55094   186860 | 2147483647   120059     37 |  0.221 % |
45.79/45.99	c |    121025 |    8588    55094   186860 | 2147483647   120431     37 |  0.221 % |
46.19/46.30	c |    121435 |    8588    55094   186860 | 2147483647   120841     37 |  0.221 % |
46.49/46.61	c |    121884 |    8588    55094   186860 | 2147483647   121290     37 |  0.221 % |
46.79/46.93	c |    122377 |    8588    55094   186860 | 2147483647   121783     37 |  0.221 % |
47.29/47.41	c |    122919 |    8588    55094   186860 | 2147483647   122325     37 |  0.221 % |
47.59/47.78	c |    123516 |    8588    55094   186860 | 2147483647   122922     37 |  0.221 % |
47.99/48.14	c |    124172 |    8588    55094   186860 | 2147483647   123578     37 |  0.221 % |
48.59/48.72	c |    124894 |    8588    55094   186860 | 2147483647   124300     37 |  0.221 % |
49.09/49.27	c |    125687 |    8588    55094   186860 | 2147483647   125093     37 |  0.221 % |
49.68/49.83	c |    126558 |    8588    55094   186860 | 2147483647   125964     37 |  0.221 % |
50.39/50.55	c |    127516 |    8588    55094   186860 | 2147483647   126922     38 |  0.221 % |
51.28/51.41	c |    128569 |    8588    55094   186860 | 2147483647   127975     38 |  0.221 % |
51.98/52.15	c |    129728 |    8588    55094   186860 | 2147483647   129134     38 |  0.221 % |
52.88/53.08	c |    131003 |    8588    55094   186860 | 2147483647   130409     39 |  0.221 % |
53.98/54.14	c |    132403 |    8588    55094   186860 | 2147483647   131809     39 |  0.221 % |
54.08/54.23	c |    132503 |    8588    55094   186860 | 2147483647   131909     39 |  0.221 % |
54.18/54.35	c |    132616 |    8588    55094   186860 | 2147483647   132022     39 |  0.221 % |
54.28/54.48	c |    132737 |    8588    55094   186860 | 2147483647   132143     39 |  0.221 % |
54.38/54.60	c |    132871 |    8588    55094   186860 | 2147483647   132277     39 |  0.221 % |
54.58/54.70	c |    133017 |    8588    55094   186860 | 2147483647   132423     39 |  0.221 % |
54.68/54.83	c |    133178 |    8588    55094   186860 | 2147483647   132584     39 |  0.221 % |
54.79/54.95	c |    133354 |    8588    55094   186860 | 2147483647   132760     39 |  0.221 % |
54.98/55.13	c |    133547 |    8588    55094   186860 | 2147483647   132953     39 |  0.221 % |
55.18/55.31	c |    133759 |    8588    55094   186860 | 2147483647   133165     39 |  0.221 % |
55.28/55.45	c |    133993 |    8588    55094   186860 | 2147483647   133399     39 |  0.221 % |
55.48/55.64	c |    134252 |    8588    55094   186860 | 2147483647   133658     39 |  0.221 % |
55.58/55.79	c |    134533 |    8588    55094   186860 | 2147483647   133939     39 |  0.221 % |
55.88/56.03	c |    134843 |    8588    55094   186860 | 2147483647   134249     39 |  0.221 % |
55.98/56.17	c |    135185 |    8588    55094   186860 | 2147483647   134591     39 |  0.221 % |
56.18/56.30	c |    135557 |    8588    55094   186860 | 2147483647   134963     39 |  0.221 % |
56.58/56.70	c |    135967 |    8588    55094   186860 | 2147483647   135373     39 |  0.221 % |
56.78/56.90	c |    136417 |    8588    55094   186860 | 2147483647   135823     39 |  0.221 % |
57.18/57.31	c |    136910 |    8588    55094   186860 | 2147483647   136316     39 |  0.221 % |
57.48/57.67	c |    137453 |    8588    55094   186860 | 2147483647   136859     39 |  0.221 % |
58.08/58.22	c |    138049 |    8586    55090   186848 | 2147483647   137309     39 |  0.244 % |
58.58/58.70	c |    138706 |    8586    55090   186848 | 2147483647   137966     39 |  0.244 % |
58.99/59.15	c |    139426 |    8586    55090   186848 | 2147483647   138686     39 |  0.244 % |
59.59/59.77	c |    140218 |    8586    55090   186848 | 2147483647   139478     39 |  0.244 % |
60.19/60.39	c |    141091 |    8586    55090   186848 | 2147483647   140351     39 |  0.244 % |
60.98/61.12	c |    142049 |    8586    55090   186848 | 2147483647   141309     39 |  0.244 % |
61.98/62.16	c |    143102 |    8586    55090   186848 | 2147483647   142362     40 |  0.244 % |
62.78/62.97	c |    144261 |    8586    55090   186848 | 2147483647   143521     40 |  0.244 % |
63.59/63.77	c |    145534 |    8586    55090   186848 | 2147483647   144794     39 |  0.244 % |
64.38/64.59	c |    146934 |    8586    55090   186848 | 2147483647   146194     40 |  0.244 % |
64.98/65.17	c |    148474 |    8586    55090   186848 | 2147483647   147734     39 |  0.244 % |
65.08/65.23	c |    148574 |    8586    55090   186848 | 2147483647   147834     39 |  0.244 % |
65.18/65.36	c |    148685 |    8586    55090   186848 | 2147483647   147945     39 |  0.244 % |
65.28/65.48	c |    148807 |    8586    55090   186848 | 2147483647   148067     39 |  0.244 % |
65.48/65.67	c |    148940 |    8586    55090   186848 | 2147483647   148200     39 |  0.244 % |
65.68/65.81	c |    149086 |    8586    55090   186848 | 2147483647   148346     39 |  0.244 % |
65.78/65.93	c |    149246 |    8586    55090   186848 | 2147483647   148506     39 |  0.244 % |
65.88/66.00	c |    149423 |    8586    55090   186848 | 2147483647   148683     39 |  0.244 % |
65.98/66.11	c |    149617 |    8586    55090   186848 | 2147483647   148877     39 |  0.244 % |
66.08/66.20	c |    149829 |    8586    55090   186848 | 2147483647   149089     39 |  0.244 % |
66.08/66.30	c |    150062 |    8586    55090   186848 | 2147483647   149322     39 |  0.244 % |
66.38/66.54	c |    150319 |    8586    55090   186848 | 2147483647   149579     39 |  0.244 % |
66.58/66.74	c |    150602 |    8586    55090   186848 | 2147483647   149862     39 |  0.244 % |
66.78/66.94	c |    150913 |    8586    55090   186848 | 2147483647   150173     39 |  0.244 % |
66.98/67.19	c |    151253 |    8586    55090   186848 | 2147483647   150513     39 |  0.244 % |
67.37/67.57	c |    151626 |    8586    55090   186848 | 2147483647   150886     39 |  0.244 % |
67.67/67.88	c |    152036 |    8586    55090   186848 | 2147483647   151296     39 |  0.244 % |
68.28/68.44	c |    152485 |    8586    55090   186848 | 2147483647   151745     39 |  0.244 % |
68.58/68.80	c |    152978 |    8586    55090   186848 | 2147483647   152238     39 |  0.244 % |
68.97/69.12	c |    153521 |    8586    55090   186848 | 2147483647   152781     40 |  0.244 % |
69.58/69.70	c |    154117 |    8586    55090   186848 | 2147483647   153377     40 |  0.244 % |
70.08/70.22	c |    154772 |    8586    55090   186848 | 2147483647   154032     40 |  0.244 % |
70.68/70.86	c |    155492 |    8586    55090   186848 | 2147483647   154752     40 |  0.244 % |
71.28/71.40	c |    156285 |    8586    55090   186848 | 2147483647   155545     40 |  0.244 % |
71.88/72.08	c |    157156 |    8586    55090   186848 | 2147483647   156416     40 |  0.244 % |
72.68/72.85	c |    158114 |    8586    55090   186848 | 2147483647   157374     40 |  0.244 % |
73.38/73.55	c |    159167 |    8586    55090   186848 | 2147483647   158427     40 |  0.244 % |
74.28/74.44	c |    160325 |    8586    55090   186848 | 2147483647   159585     40 |  0.244 % |
75.17/75.36	c |    161599 |    8586    55090   186848 | 2147483647   160859     40 |  0.244 % |
76.07/76.27	c |    163002 |    8586    55090   186848 | 2147483647   162262     40 |  0.244 % |
77.67/77.82	c |    164543 |    8586    55090   186848 | 2147483647   163803     40 |  0.244 % |
79.07/79.22	c |    166237 |    8586    55090   186848 | 2147483647   165497     40 |  0.244 % |
79.17/79.32	c |    166338 |    8586    55090   186848 | 2147483647   165598     40 |  0.244 % |
79.27/79.45	c |    166448 |    8586    55090   186848 | 2147483647   165708     40 |  0.244 % |
79.47/79.60	c |    166570 |    8586    55090   186848 | 2147483647   165830     40 |  0.244 % |
79.57/79.77	c |    166706 |    8586    55090   186848 | 2147483647   165966     40 |  0.244 % |
79.77/79.92	c |    166852 |    8586    55090   186848 | 2147483647   166112     40 |  0.244 % |
79.87/80.05	c |    167013 |    8586    55090   186848 | 2147483647   166273     40 |  0.244 % |
80.07/80.24	c |    167189 |    8586    55090   186848 | 2147483647   166449     40 |  0.244 % |
80.17/80.38	c |    167382 |    8586    55090   186848 | 2147483647   166642     40 |  0.244 % |
80.47/80.65	c |    167594 |    8586    55090   186848 | 2147483647   166854     40 |  0.244 % |
80.67/80.89	c |    167827 |    8586    55090   186848 | 2147483647   167087     40 |  0.244 % |
80.96/81.19	c |    168084 |    8586    55090   186848 | 2147483647   167344     40 |  0.244 % |
81.27/81.46	c |    168367 |    8586    55090   186848 | 2147483647   167627     40 |  0.244 % |
81.56/81.73	c |    168677 |    8586    55090   186848 | 2147483647   167937     40 |  0.244 % |
81.96/82.13	c |    169017 |    8586    55090   186848 | 2147483647   168277     40 |  0.244 % |
82.37/82.51	c |    169391 |    8586    55090   186848 | 2147483647   168651     40 |  0.244 % |
82.66/82.89	c |    169800 |    8586    55090   186848 | 2147483647   169060     41 |  0.244 % |
83.06/83.29	c |    170251 |    8586    55090   186848 | 2147483647   169511     41 |  0.244 % |
83.26/83.43	c |    170744 |    8586    55090   186848 | 2147483647   170004     41 |  0.244 % |
83.37/83.60	c |    171288 |    8586    55090   186848 | 2147483647   170548     40 |  0.244 % |
84.16/84.34	c |    171885 |    8586    55090   186848 | 2147483647   171145     41 |  0.244 % |
84.76/84.94	c |    172541 |    8586    55090   186848 | 2147483647   171801     40 |  0.244 % |
85.46/85.69	c |    173261 |    8586    55090   186848 | 2147483647   172521     41 |  0.244 % |
86.16/86.36	c |    174053 |    8586    55090   186848 | 2147483647   173313     41 |  0.244 % |
86.97/87.18	c |    174926 |    8586    55090   186848 | 2147483647   174186     41 |  0.244 % |
87.97/88.13	c |    175885 |    8586    55090   186848 | 2147483647   175145     41 |  0.244 % |
88.87/89.03	c |    176938 |    8586    55090   186848 | 2147483647   176198     41 |  0.244 % |
89.67/89.85	c |    178096 |    8586    55090   186848 | 2147483647   177356     40 |  0.244 % |
90.76/90.97	c |    179371 |    8586    55090   186848 | 2147483647   178631     41 |  0.244 % |
92.27/92.42	c |    180771 |    8586    55090   186848 | 2147483647   180031     41 |  0.244 % |
93.86/94.01	c |    182311 |    8586    55090   186848 | 2147483647   181571     41 |  0.244 % |
95.37/95.57	c |    184005 |    8586    55090   186848 | 2147483647   183265     41 |  0.244 % |
97.46/97.64	c |    185869 |    8586    55090   186848 | 2147483647   185129     41 |  0.244 % |
97.56/97.76	c |    185970 |    8586    55090   186848 | 2147483647   185230     41 |  0.244 % |
97.67/97.87	c |    186080 |    8586    55090   186848 | 2147483647   185340     41 |  0.244 % |
97.86/98.09	c |    186202 |    8586    55090   186848 | 2147483647   185462     41 |  0.244 % |
98.06/98.26	c |    186336 |    8586    55090   186848 | 2147483647   185596     41 |  0.244 % |
98.26/98.44	c |    186484 |    8586    55090   186848 | 2147483647   185744     41 |  0.244 % |
98.36/98.59	c |    186645 |    8586    55090   186848 | 2147483647   185905     41 |  0.244 % |
98.57/98.73	c |    186822 |    8586    55090   186848 | 2147483647   186082     41 |  0.244 % |
98.66/98.88	c |    187015 |    8586    55090   186848 | 2147483647   186275     41 |  0.244 % |
98.96/99.14	c |    187227 |    8586    55090   186848 | 2147483647   186487     41 |  0.244 % |
99.16/99.36	c |    187460 |    8586    55090   186848 | 2147483647   186720     41 |  0.244 % |
99.36/99.56	c |    187717 |    8586    55090   186848 | 2147483647   186977     41 |  0.244 % |
99.56/99.76	c |    187998 |    8586    55090   186848 | 2147483647   187258     41 |  0.244 % |
99.87/100.02	c |    188308 |    8586    55090   186848 | 2147483647   187568     41 |  0.244 % |
100.26/100.44	c |    188647 |    8586    55090   186848 | 2147483647   187907     41 |  0.244 % |
100.56/100.77	c |    189020 |    8586    55090   186848 | 2147483647   188280     41 |  0.244 % |
100.97/101.15	c |    189429 |    8586    55090   186848 | 2147483647   188689     41 |  0.244 % |
101.36/101.56	c |    189879 |    8586    55090   186848 | 2147483647   189139     41 |  0.244 % |
101.76/101.99	c |    190373 |    8586    55090   186848 | 2147483647   189633     41 |  0.244 % |
102.26/102.49	c |    190915 |    8586    55090   186848 | 2147483647   190175     41 |  0.244 % |
102.86/103.03	c |    191512 |    8586    55090   186848 | 2147483647   190772     41 |  0.244 % |
103.76/103.95	c |    192168 |    8586    55090   186848 | 2147483647   191428     41 |  0.244 % |
104.16/104.37	c |    192888 |    8586    55090   186848 | 2147483647   192148     41 |  0.244 % |
105.16/105.31	c |    193681 |    8586    55090   186848 | 2147483647   192941     41 |  0.244 % |
105.96/106.19	c |    194553 |    8586    55090   186848 | 2147483647   193813     41 |  0.244 % |
107.15/107.30	c |    195511 |    8586    55090   186848 | 2147483647   194771     42 |  0.244 % |
108.05/108.21	c |    196564 |    8586    55090   186848 | 2147483647   195824     42 |  0.244 % |
109.25/109.45	c |    197723 |    8586    55090   186848 | 2147483647   196983     42 |  0.244 % |
110.45/110.66	c |    198996 |    8586    55090   186848 | 2147483647   198256     42 |  0.244 % |
111.96/112.12	c |    200397 |    8586    55090   186848 | 2147483647   199657     42 |  0.244 % |
113.25/113.42	c |    201937 |    8586    55090   186848 | 2147483647   201197     42 |  0.244 % |
114.65/114.84	c |    203631 |    8586    55090   186848 | 2147483647   202891     42 |  0.244 % |
115.25/115.43	c |    205494 |    8586    55090   186848 | 2147483647   204754     42 |  0.244 % |
117.96/118.15	c |    207543 |    8586    55090   186848 | 2147483647   206803     42 |  0.244 % |
118.16/118.34	c |    207643 |    8586    55090   186848 | 2147483647   206903     42 |  0.244 % |
118.36/118.55	c |    207753 |    8586    55090   186848 | 2147483647   207013     42 |  0.244 % |
118.46/118.69	c |    207874 |    8586    55090   186848 | 2147483647   207134     42 |  0.244 % |
118.66/118.81	c |    208007 |    8586    55090   186848 | 2147483647   207267     42 |  0.244 % |
118.86/119.01	c |    208154 |    8586    55090   186848 | 2147483647   207414     42 |  0.244 % |
119.06/119.24	c |    208316 |    8586    55090   186848 | 2147483647   207576     42 |  0.244 % |
119.36/119.52	c |    208492 |    8586    55090   186848 | 2147483647   207752     42 |  0.244 % |
119.56/119.70	c |    208686 |    8586    55090   186848 | 2147483647   207946     42 |  0.244 % |
119.76/119.93	c |    208900 |    8586    55090   186848 | 2147483647   208160     42 |  0.244 % |
120.05/120.25	c |    209134 |    8586    55090   186848 | 2147483647   208394     42 |  0.244 % |
120.35/120.56	c |    209391 |    8586    55090   186848 | 2147483647   208651     42 |  0.244 % |
120.55/120.71	c |    209672 |    8586    55090   186848 | 2147483647   208932     42 |  0.244 % |
120.65/120.83	c |    209981 |    8586    55090   186848 | 2147483647   209241     42 |  0.244 % |
120.75/120.94	c |    210320 |    8586    55090   186848 |   209261   209580     42 |  0.244 % |
121.35/121.53	c |    210692 |    8586    55090   186848 |   209261   182313     41 |  0.244 % |
121.45/121.66	c |    211101 |    8586    55090   186848 |   209261   182722     41 |  0.244 % |
122.15/122.36	c |    211550 |    8586    55090   186848 |   209261   183171     41 |  0.244 % |
122.65/122.87	c |    212043 |    8586    55090   186848 |   209261   183664     41 |  0.244 % |
123.15/123.38	c |    212586 |    8586    55090   186848 |   209261   184207     41 |  0.244 % |
123.95/124.15	c |    213182 |    8586    55090   186848 |   209261   184803     41 |  0.244 % |
124.55/124.73	c |    213837 |    8586    55090   186848 |   209261   185458     41 |  0.244 % |
125.15/125.38	c |    214557 |    8586    55090   186848 |   209261   186178     41 |  0.244 % |
126.15/126.39	c |    215349 |    8586    55090   186848 |   209261   186970     41 |  0.244 % |
126.95/127.10	c |    216220 |    8586    55090   186848 |   209261   187841     41 |  0.244 % |
127.55/127.79	c |    217178 |    8586    55090   186848 |   209261   188799     41 |  0.244 % |
128.95/129.12	c |    218231 |    8586    55090   186848 |   209261   189852     42 |  0.244 % |
130.05/130.22	c |    219389 |    8586    55090   186848 |   209261   191010     42 |  0.244 % |
131.35/131.57	c |    220665 |    8586    55090   186848 |   191621   192286     42 |  0.244 % |
132.74/132.99	c |    222065 |    8586    55090   186848 |   191621   164746     42 |  0.244 % |
134.54/134.75	c |    223607 |    8586    55090   186848 |   191621   166288     42 |  0.244 % |
135.84/136.04	c |    225304 |    8586    55090   186848 |   191621   167985     42 |  0.244 % |
137.64/137.88	c |    227168 |    8586    55090   186848 |   191621   169849     42 |  0.244 % |
139.34/139.58	c |    229218 |    8586    55090   186848 |   191621   171899     42 |  0.244 % |
141.04/141.27	c |    231472 |    8586    55090   186848 | 2147483647   174153     42 |  0.244 % |
141.14/141.37	c |    231572 |    8586    55090   186848 | 2147483647   174253     42 |  0.244 % |
141.34/141.55	c |    231684 |    8586    55090   186848 | 2147483647   174365     42 |  0.244 % |
141.44/141.68	c |    231806 |    8586    55090   186848 | 2147483647   174487     42 |  0.244 % |
141.64/141.82	c |    231940 |    8586    55090   186848 | 2147483647   174621     42 |  0.244 % |
141.74/141.95	c |    232086 |    8586    55090   186848 | 2147483647   174767     42 |  0.244 % |
141.94/142.17	c |    232248 |    8586    55090   186848 | 2147483647   174929     42 |  0.244 % |
142.24/142.41	c |    232425 |    8586    55090   186848 | 2147483647   175106     42 |  0.244 % |
142.34/142.52	c |    232618 |    8586    55090   186848 | 2147483647   175299     42 |  0.244 % |
142.64/142.80	c |    232830 |    8586    55090   186848 | 2147483647   175511     42 |  0.244 % |
142.74/142.92	c |    233063 |    8586    55090   186848 | 2147483647   175744     42 |  0.244 % |
143.14/143.31	c |    233319 |    8586    55090   186848 | 2147483647   176000     42 |  0.244 % |
143.34/143.57	c |    233601 |    8586    55090   186848 | 2147483647   176282     42 |  0.244 % |
143.64/143.86	c |    233910 |    8586    55090   186848 | 2147483647   176591     42 |  0.244 % |
143.94/144.17	c |    234249 |    8586    55090   186848 | 2147483647   176930     42 |  0.244 % |
144.24/144.47	c |    234621 |    8586    55090   186848 | 2147483647   177302     42 |  0.244 % |
144.54/144.79	c |    235031 |    8586    55090   186848 | 2147483647   177712     42 |  0.244 % |
145.24/145.49	c |    235481 |    8586    55090   186848 | 2147483647   178162     42 |  0.244 % |
145.74/145.91	c |    235975 |    8586    55090   186848 | 2147483647   178656     42 |  0.244 % |
146.14/146.38	c |    236517 |    8586    55090   186848 | 2147483647   179198     42 |  0.244 % |
146.74/146.92	c |    237116 |    8586    55090   186848 | 2147483647   179797     42 |  0.244 % |
147.44/147.61	c |    237771 |    8586    55090   186848 | 2147483647   180452     42 |  0.244 % |
148.04/148.27	c |    238491 |    8586    55090   186848 | 2147483647   181172     42 |  0.244 % |
148.94/149.16	c |    239283 |    8586    55090   186848 | 2147483647   181964     42 |  0.244 % |
149.54/149.79	c |    240155 |    8586    55090   186848 | 2147483647   182836     42 |  0.244 % |
150.54/150.76	c |    241113 |    8586    55090   186848 | 2147483647   183794     42 |  0.244 % |
151.54/151.74	c |    242169 |    8586    55090   186848 | 2147483647   184850     42 |  0.244 % |
152.43/152.62	c |    243327 |    8586    55090   186848 | 2147483647   186008     42 |  0.244 % |
154.03/154.29	c |    244600 |    8586    55090   186848 | 2147483647   187281     42 |  0.244 % |
155.53/155.72	c |    246000 |    8586    55090   186848 | 2147483647   188681     42 |  0.244 % |
157.04/157.29	c |    247540 |    8586    55090   186848 | 2147483647   190221     42 |  0.244 % |
159.24/159.42	c |    249234 |    8586    55090   186848 | 2147483647   191915     42 |  0.244 % |
161.44/161.66	c |    251097 |    8586    55090   186848 |   192683   193778     43 |  0.244 % |
163.73/163.96	c |    253148 |    8586    55090   186848 |   192683   167546     41 |  0.244 % |
165.73/165.97	c |    255403 |    8586    55090   186848 |   192683   169801     41 |  0.244 % |
167.52/167.76	c |    257881 |    8586    55090   186848 |   192683   172279     41 |  0.244 % |
167.62/167.85	c |    257981 |    8586    55090   186848 |   192683   172379     41 |  0.244 % |
167.72/167.95	c |    258091 |    8586    55090   186848 |   192683   172489     41 |  0.244 % |
167.92/168.15	c |    258212 |    8586    55090   186848 |   192683   172610     41 |  0.244 % |
168.12/168.33	c |    258345 |    8586    55090   186848 |   192683   172743     41 |  0.244 % |
168.22/168.47	c |    258491 |    8586    55090   186848 |   192683   172889     41 |  0.244 % |
168.42/168.68	c |    258651 |    8586    55090   186848 |   192683   173049     41 |  0.244 % |
168.62/168.82	c |    258828 |    8586    55090   186848 |   192683   173226     41 |  0.244 % |
168.72/168.98	c |    259022 |    8586    55090   186848 |   192683   173420     41 |  0.244 % |
169.12/169.32	c |    259235 |    8586    55090   186848 |   192683   173633     41 |  0.244 % |
169.32/169.52	c |    259468 |    8586    55090   186848 |   192683   173866     41 |  0.244 % |
169.52/169.73	c |    259724 |    8586    55090   186848 |   192683   174122     41 |  0.244 % |
169.72/169.96	c |    260008 |    8586    55090   186848 |   174400   174406     41 |  0.244 % |
170.02/170.28	c |    260318 |    8586    55090   186848 |   174400   174716     41 |  0.244 % |
170.72/170.98	c |    260658 |    8586    55090   186848 |   174400   150850     39 |  0.244 % |
171.12/171.30	c |    261030 |    8586    55090   186848 |   174400   151222     40 |  0.244 % |
171.52/171.76	c |    261439 |    8586    55090   186848 |   174400   151631     40 |  0.244 % |
171.82/172.09	c |    261888 |    8586    55090   186848 |   174400   152080     40 |  0.244 % |
172.32/172.58	c |    262381 |    8586    55090   186848 |   174400   152573     40 |  0.244 % |
172.82/173.07	c |    262923 |    8586    55090   186848 |   174400   153115     40 |  0.244 % |
173.32/173.56	c |    263520 |    8586    55090   186848 |   174400   153712     40 |  0.244 % |
174.12/174.36	c |    264176 |    8586    55090   186848 |   174400   154368     40 |  0.244 % |
174.72/174.99	c |    264898 |    8586    55090   186848 |   174400   155090     40 |  0.244 % |
175.42/175.64	c |    265691 |    8586    55090   186848 |   174400   155883     40 |  0.244 % |
176.12/176.38	c |    266563 |    8586    55090   186848 |   174400   156755     40 |  0.244 % |
177.52/177.76	c |    267521 |    8586    55090   186848 |   174400   157713     40 |  0.244 % |
178.62/178.82	c |    268574 |    8586    55090   186848 |   174400   158766     40 |  0.244 % |
180.12/180.35	c |    269733 |    8586    55090   186848 |   174400   159925     40 |  0.244 % |
181.42/181.70	c |    271006 |    8586    55090   186848 |   160193   139319     39 |  0.244 % |
182.72/182.93	c |    272408 |    8586    55090   186848 |   160193   140721     39 |  0.244 % |
184.01/184.28	c |    273948 |    8586    55090   186848 |   160193   142261     39 |  0.244 % |
185.72/185.93	c |    275643 |    8586    55090   186848 |   160193   143956     39 |  0.244 % |
187.31/187.51	c |    277506 |    8586    55090   186848 |   160193   145819     39 |  0.244 % |
189.61/189.81	c |    279556 |    8586    55090   186848 |   160193   147869     40 |  0.244 % |
192.01/192.21	c |    281810 |    8586    55090   186848 | 2147483647   150123     40 |  0.244 % |
194.11/194.30	c |    284288 |    8586    55090   186848 | 2147483647   152601     40 |  0.244 % |
197.21/197.47	c |    287015 |    8586    55090   186848 | 2147483647   155328     40 |  0.244 % |
197.41/197.65	c |    287118 |    8586    55090   186848 | 2147483647   155431     40 |  0.244 % |
197.51/197.78	c |    287228 |    8586    55090   186848 | 2147483647   155541     40 |  0.244 % |
197.61/197.88	c |    287350 |    8586    55090   186848 | 2147483647   155663     40 |  0.244 % |
197.71/198.00	c |    287483 |    8586    55090   186848 | 2147483647   155796     40 |  0.244 % |
197.91/198.13	c |    287630 |    8586    55090   186848 | 2147483647   155943     40 |  0.244 % |
198.01/198.28	c |    287790 |    8586    55090   186848 | 2147483647   156103     40 |  0.244 % |
198.21/198.44	c |    287966 |    8586    55090   186848 | 2147483647   156279     40 |  0.244 % |
198.41/198.61	c |    288161 |    8586    55090   186848 | 2147483647   156474     40 |  0.244 % |
198.61/198.81	c |    288376 |    8586    55090   186848 | 2147483647   156689     40 |  0.244 % |
198.81/199.03	c |    288609 |    8586    55090   186848 | 2147483647   156922     40 |  0.244 % |
198.91/199.18	c |    288865 |    8586    55090   186848 | 2147483647   157178     40 |  0.244 % |
199.01/199.28	c |    289146 |    8586    55090   186848 | 2147483647   157459     40 |  0.244 % |
199.11/199.38	c |    289455 |    8586    55090   186848 | 2147483647   157768     40 |  0.244 % |
199.51/199.80	c |    289794 |    8586    55090   186848 | 2147483647   158107     40 |  0.244 % |
199.91/200.13	c |    290167 |    8586    55090   186848 | 2147483647   158480     40 |  0.244 % |
200.21/200.50	c |    290577 |    8586    55090   186848 | 2147483647   158890     40 |  0.244 % |
200.81/201.01	c |    291026 |    8586    55090   186848 | 2147483647   159339     40 |  0.244 % |
201.31/201.54	c |    291519 |    8586    55090   186848 | 2147483647   159832     40 |  0.244 % |
201.71/201.95	c |    292061 |    8586    55090   186848 | 2147483647   160374     41 |  0.244 % |
202.11/202.31	c |    292660 |    8586    55090   186848 | 2147483647   160973     40 |  0.244 % |
202.21/202.48	c |    293315 |    8586    55090   186848 | 2147483647   161628     40 |  0.244 % |
202.41/202.67	c |    294035 |    8586    55090   186848 | 2147483647   162348     40 |  0.244 % |
203.51/203.75	c |    294828 |    8586    55090   186848 | 2147483647   163141     40 |  0.244 % |
204.31/204.55	c |    295699 |    8586    55090   186848 | 2147483647   164012     40 |  0.244 % |
205.21/205.43	c |    296658 |    8586    55090   186848 | 2147483647   164971     41 |  0.244 % |
206.20/206.43	c |    297711 |    8586    55090   186848 | 2147483647   166024     41 |  0.244 % |
207.10/207.39	c |    298871 |    8586    55090   186848 | 2147483647   167184     41 |  0.244 % |
208.81/209.04	c |    300144 |    8586    55090   186848 | 2147483647   168457     41 |  0.244 % |
210.30/210.56	c |    301545 |    8586    55090   186848 | 2147483647   169858     41 |  0.244 % |
212.10/212.37	c |    303086 |    8586    55090   186848 | 2147483647   171399     41 |  0.244 % |
214.10/214.30	c |    304780 |    8586    55090   186848 | 2147483647   173093     41 |  0.244 % |
215.80/216.00	c |    306643 |    8586    55090   186848 | 2147483647   174956     41 |  0.244 % |
217.29/217.59	c |    308694 |    8586    55090   186848 | 2147483647   177007     41 |  0.244 % |
219.80/220.03	c |    310947 |    8586    55090   186848 |   178315   155722     40 |  0.244 % |
222.09/222.33	c |    313427 |    8586    55090   186848 |   178315   158202     40 |  0.244 % |
224.29/224.53	c |    316153 |    8586    55090   186848 |   178315   160928     40 |  0.244 % |
226.59/226.88	c |    319150 |    8586    55090   186848 |   178315   163925     40 |  0.244 % |
226.69/226.98	c |    319252 |    8586    55090   186848 |   178315   164027     40 |  0.244 % |
226.79/227.08	c |    319363 |    8586    55090   186848 |   178315   164138     40 |  0.244 % |
226.89/227.18	c |    319484 |    8586    55090   186848 |   178315   164259     40 |  0.244 % |
226.99/227.29	c |    319617 |    8586    55090   186848 |   178315   164392     40 |  0.244 % |
227.09/227.37	c |    319763 |    8586    55090   186848 |   178315   164538     40 |  0.244 % |
227.19/227.42	c |    319924 |    8586    55090   186848 |   178315   164699     40 |  0.244 % |
227.29/227.50	c |    320100 |    8586    55090   186848 | 2147483647   164875     40 |  0.244 % |
227.29/227.58	c |    320295 |    8586    55090   186848 | 2147483647   165070     40 |  0.244 % |
227.49/227.77	c |    320507 |    8586    55090   186848 | 2147483647   165282     40 |  0.244 % |
227.89/228.14	c |    320741 |    8586    55090   186848 | 2147483647   165516     40 |  0.244 % |
228.19/228.43	c |    320997 |    8586    55090   186848 | 2147483647   165772     40 |  0.244 % |
228.49/228.79	c |    321278 |    8586    55090   186848 | 2147483647   166053     40 |  0.244 % |
228.99/229.21	c |    321588 |    8586    55090   186848 | 2147483647   166363     40 |  0.244 % |
229.29/229.57	c |    321927 |    8586    55090   186848 | 2147483647   166702     40 |  0.244 % |
229.69/229.99	c |    322300 |    8586    55090   186848 | 2147483647   167075     40 |  0.244 % |
230.19/230.46	c |    322709 |    8586    55090   186848 | 2147483647   167484     40 |  0.244 % |
230.69/230.90	c |    323158 |    8586    55090   186848 | 2147483647   167933     40 |  0.244 % |
230.89/231.19	c |    323651 |    8586    55090   186848 | 2147483647   168426     40 |  0.244 % |
231.19/231.41	c |    324193 |    8586    55090   186848 | 2147483647   168968     40 |  0.244 % |
231.39/231.62	c |    324790 |    8586    55090   186848 | 2147483647   169565     40 |  0.244 % |
231.89/232.10	c |    325447 |    8586    55090   186848 | 2147483647   170222     40 |  0.244 % |
232.49/232.71	c |    326168 |    8586    55090   186848 | 2147483647   170943     40 |  0.244 % |
233.09/233.38	c |    326960 |    8586    55090   186848 | 2147483647   171735     40 |  0.244 % |
233.99/234.24	c |    327832 |    8586    55090   186848 | 2147483647   172607     40 |  0.244 % |
235.19/235.42	c |    328790 |    8586    55090   186848 | 2147483647   173565     40 |  0.244 % |
235.79/236.05	c |    329843 |    8586    55090   186848 | 2147483647   174618     40 |  0.244 % |
236.19/236.42	c |    331001 |    8586    55090   186848 | 2147483647   175776     40 |  0.244 % |
237.79/238.06	c |    332274 |    8586    55090   186848 | 2147483647   177049     40 |  0.244 % |
239.29/239.55	c |    333674 |    8586    55090   186848 | 2147483647   178449     40 |  0.244 % |
240.59/240.89	c |    335214 |    8586    55090   186848 | 2147483647   179989     40 |  0.244 % |
242.49/242.75	c |    336908 |    8586    55090   186848 | 2147483647   181683     40 |  0.244 % |
245.18/245.47	c |    338771 |    8586    55090   186848 | 2147483647   183546     41 |  0.244 % |
247.29/247.59	c |    340820 |    8586    55090   186848 | 2147483647   185595     41 |  0.244 % |
249.39/249.61	c |    343073 |    8586    55090   186848 | 2147483647   187848     41 |  0.244 % |
252.18/252.42	c |    345552 |    8586    55090   186848 | 2147483647   190327     41 |  0.244 % |
255.58/255.85	c |    348277 |    8586    55090   186848 | 2147483647   193052     42 |  0.244 % |
256.77/257.04	c |    351275 |    8586    55090   186848 | 2147483647   196050     41 |  0.244 % |
261.37/261.63	c |    354571 |    8586    55090   186848 | 2147483647   199346     42 |  0.244 % |
261.58/261.84	c |    354671 |    8586    55090   186848 | 2147483647   199446     42 |  0.244 % |
261.77/262.04	c |    354783 |    8586    55090   186848 | 2147483647   199558     42 |  0.244 % |
261.87/262.15	c |    354905 |    8586    55090   186848 | 2147483647   199680     42 |  0.244 % |
262.07/262.37	c |    355039 |    8586    55090   186848 | 2147483647   199814     42 |  0.244 % |
262.27/262.59	c |    355185 |    8586    55090   186848 | 2147483647   199960     42 |  0.244 % |
262.47/262.78	c |    355346 |    8586    55090   186848 | 2147483647   200121     42 |  0.244 % |
262.68/262.96	c |    355523 |    8586    55090   186848 | 2147483647   200298     42 |  0.244 % |
263.07/263.31	c |    355717 |    8586    55090   186848 | 2147483647   200492     42 |  0.244 % |
263.37/263.60	c |    355930 |    8586    55090   186848 | 2147483647   200705     42 |  0.244 % |
263.47/263.76	c |    356163 |    8586    55090   186848 | 2147483647   200938     42 |  0.244 % |
263.87/264.10	c |    356419 |    8586    55090   186848 | 2147483647   201194     42 |  0.244 % |
263.87/264.18	c |    356702 |    8586    55090   186848 | 2147483647   201477     42 |  0.244 % |
264.27/264.52	c |    357011 |    8586    55090   186848 | 2147483647   201786     42 |  0.244 % |
264.77/265.06	c |    357350 |    8586    55090   186848 | 2147483647   202125     42 |  0.244 % |
265.17/265.45	c |    357722 |    8586    55090   186848 | 2147483647   202497     42 |  0.244 % |
265.57/265.86	c |    358133 |    8586    55090   186848 | 2147483647   202908     42 |  0.244 % |
265.97/266.24	c |    358583 |    8586    55090   186848 | 2147483647   203358     42 |  0.244 % |
266.67/266.93	c |    359076 |    8586    55090   186848 | 2147483647   203851     42 |  0.244 % |
267.07/267.39	c |    359619 |    8586    55090   186848 | 2147483647   204394     42 |  0.244 % |
267.57/267.83	c |    360216 |    8586    55090   186848 |   204775   204991     42 |  0.244 % |
268.57/268.81	c |    360871 |    8586    55090   186848 |   204775   168118     41 |  0.244 % |
269.57/269.86	c |    361591 |    8586    55090   186848 |   204775   168838     41 |  0.244 % |
270.27/270.55	c |    362383 |    8586    55090   186848 |   204775   169630     41 |  0.244 % |
270.97/271.23	c |    363254 |    8586    55090   186848 |   204775   170501     41 |  0.244 % |
271.67/271.99	c |    364215 |    8586    55090   186848 |   204775   171462     41 |  0.244 % |
272.77/273.01	c |    365268 |    8586    55090   186848 |   204775   172515     41 |  0.244 % |
273.57/273.90	c |    366427 |    8586    55090   186848 |   204775   173674     41 |  0.244 % |
274.37/274.64	c |    367700 |    8586    55090   186848 |   204775   174947     41 |  0.244 % |
275.87/276.17	c |    369101 |    8586    55090   186848 |   204775   176348     41 |  0.244 % |
277.47/277.70	c |    370642 |    8586    55090   186848 | 2147483647   177889     41 |  0.244 % |
278.87/279.12	c |    372336 |    8586    55090   186848 | 2147483647   179583     41 |  0.244 % |
280.27/280.50	c |    374199 |    8586    55090   186848 | 2147483647   181446     41 |  0.244 % |
282.56/282.84	c |    376248 |    8586    55090   186848 | 2147483647   183495     41 |  0.244 % |
284.46/284.73	c |    378502 |    8586    55090   186848 | 2147483647   185749     41 |  0.244 % |
287.36/287.67	c |    380982 |    8586    55090   186848 |   187249   169414     41 |  0.244 % |
288.36/288.69	c |    383709 |    8586    55090   186848 |   187249   172141     40 |  0.244 % |
292.27/292.57	c |    386706 |    8586    55090   186848 |   187249   175138     41 |  0.244 % |
296.16/296.48	c |    390004 |    8586    55090   186848 |   178432   178436     41 |  0.244 % |
300.75/301.02	c |    393630 |    8586    55090   186848 |   178432   162362     41 |  0.244 % |
300.85/301.16	c |    393731 |    8586    55090   186848 |   178432   162463     41 |  0.244 % |
300.95/301.28	c |    393842 |    8586    55090   186848 |   178432   162574     41 |  0.244 % |
301.06/301.39	c |    393963 |    8586    55090   186848 |   178432   162695     41 |  0.244 % |
301.25/301.55	c |    394097 |    8586    55090   186848 |   178432   162829     41 |  0.244 % |
301.45/301.73	c |    394243 |    8586    55090   186848 |   178432   162975     41 |  0.244 % |
301.55/301.82	c |    394403 |    8586    55090   186848 |   178432   163135     41 |  0.244 % |
301.75/302.03	c |    394579 |    8586    55090   186848 |   178432   163311     41 |  0.244 % |
301.95/302.22	c |    394773 |    8586    55090   186848 |   178432   163505     41 |  0.244 % |
302.05/302.35	c |    394985 |    8586    55090   186848 |   178432   163717     41 |  0.244 % |
302.35/302.63	c |    395220 |    8586    55090   186848 |   178432   163952     41 |  0.244 % |
302.65/302.91	c |    395478 |    8586    55090   186848 |   178432   164210     41 |  0.244 % |
302.95/303.24	c |    395760 |    8586    55090   186848 |   178432   164492     41 |  0.244 % |
303.25/303.53	c |    396070 |    8586    55090   186848 |   178432   164802     41 |  0.244 % |
303.75/304.00	c |    396410 |    8586    55090   186848 |   178432   165142     41 |  0.244 % |
304.15/304.48	c |    396782 |    8586    55090   186848 |   178432   165514     41 |  0.244 % |
304.45/304.76	c |    397191 |    8586    55090   186848 |   178432   165923     41 |  0.244 % |
304.95/305.25	c |    397642 |    8586    55090   186848 |   178432   166374     41 |  0.244 % |
305.45/305.72	c |    398136 |    8586    55090   186848 |   178432   166868     41 |  0.244 % |
305.95/306.27	c |    398679 |    8586    55090   186848 |   178432   167411     41 |  0.244 % |
306.55/306.82	c |    399276 |    8586    55090   186848 |   178432   168008     41 |  0.244 % |
307.25/307.52	c |    399931 |    8586    55090   186848 |   178432   168663     41 |  0.244 % |
308.15/308.42	c |    400651 |    8586    55090   186848 | 2147483647   169383     41 |  0.244 % |
308.75/309.03	c |    401444 |    8586    55090   186848 | 2147483647   170176     41 |  0.244 % |
309.55/309.86	c |    402316 |    8586    55090   186848 | 2147483647   171048     41 |  0.244 % |
310.65/310.96	c |    403274 |    8586    55090   186848 | 2147483647   172006     41 |  0.244 % |
311.65/311.94	c |    404327 |    8586    55090   186848 | 2147483647   173059     41 |  0.244 % |
312.65/312.94	c |    405488 |    8586    55090   186848 | 2147483647   174220     41 |  0.244 % |
313.65/313.95	c |    406762 |    8586    55090   186848 | 2147483647   175494     41 |  0.244 % |
315.15/315.48	c |    408162 |    8586    55090   186848 | 2147483647   176894     41 |  0.244 % |
316.64/316.95	c |    409702 |    8586    55090   186848 | 2147483647   178434     41 |  0.244 % |
318.24/318.53	c |    411397 |    8586    55090   186848 | 2147483647   180129     41 |  0.244 % |
320.04/320.34	c |    413261 |    8586    55090   186848 | 2147483647   181993     41 |  0.244 % |
322.34/322.66	c |    415310 |    8586    55090   186848 | 2147483647   184042     41 |  0.244 % |
324.94/325.22	c |    417566 |    8586    55090   186848 | 2147483647   186298     41 |  0.244 % |
327.64/327.93	c |    420045 |    8586    55090   186848 | 2147483647   188777     42 |  0.244 % |
331.64/331.90	c |    422772 |    8586    55090   186848 | 2147483647   191504     42 |  0.244 % |
334.34/334.69	c |    425771 |    8586    55090   186848 | 2147483647   194503     42 |  0.244 % |
337.14/337.44	c |    429069 |    8586    55090   186848 | 2147483647   197801     42 |  0.244 % |
341.74/342.03	c |    432694 |    8586    55090   186848 | 2147483647   201426     42 |  0.244 % |
346.13/346.49	c |    436682 |    8586    55090   186848 | 2147483647   205414     42 |  0.244 % |
346.23/346.59	c |    436782 |    8586    55090   186848 | 2147483647   205514     42 |  0.244 % |
346.42/346.73	c |    436893 |    8586    55090   186848 | 2147483647   205625     42 |  0.244 % |
346.72/347.01	c |    437014 |    8586    55090   186848 | 2147483647   205746     42 |  0.244 % |
346.92/347.24	c |    437147 |    8586    55090   186848 | 2147483647   205879     42 |  0.244 % |
347.02/347.32	c |    437294 |    8586    55090   186848 | 2147483647   206026     42 |  0.244 % |
347.02/347.39	c |    437454 |    8586    55090   186848 | 2147483647   206186     42 |  0.244 % |
347.33/347.65	c |    437631 |    8586    55090   186848 | 2147483647   206363     42 |  0.244 % |
347.43/347.74	c |    437825 |    8586    55090   186848 | 2147483647   206557     42 |  0.244 % |
347.62/347.95	c |    438039 |    8586    55090   186848 | 2147483647   206771     42 |  0.244 % |
348.12/348.42	c |    438273 |    8586    55090   186848 | 2147483647   207005     42 |  0.244 % |
348.43/348.71	c |    438529 |    8586    55090   186848 | 2147483647   207261     42 |  0.244 % |
348.72/349.06	c |    438810 |    8586    55090   186848 | 2147483647   207542     42 |  0.244 % |
349.02/349.34	c |    439119 |    8586    55090   186848 | 2147483647   207851     42 |  0.244 % |
349.62/349.92	c |    439461 |    8586    55090   186848 | 2147483647   208193     42 |  0.244 % |
350.03/350.36	c |    439833 |    8586    55090   186848 | 2147483647   208565     42 |  0.244 % |
350.43/350.71	c |    440242 |    8586    55090   186848 |   208732   208974     42 |  0.244 % |
351.23/351.51	c |    440693 |    8586    55090   186848 |   208732   188528     41 |  0.244 % |
351.74/352.05	c |    441188 |    8586    55090   186848 |   208732   189023     41 |  0.244 % |
352.33/352.68	c |    441730 |    8586    55090   186848 |   208732   189565     41 |  0.244 % |
353.13/353.42	c |    442326 |    8586    55090   186848 |   208732   190161     41 |  0.244 % |
353.83/354.14	c |    442981 |    8586    55090   186848 |   208732   190816     41 |  0.244 % |
354.43/354.78	c |    443703 |    8586    55090   186848 |   208732   191538     41 |  0.244 % |
355.43/355.73	c |    444496 |    8586    55090   186848 |   208732   192331     41 |  0.244 % |
356.43/356.75	c |    445367 |    8586    55090   186848 |   208732   193202     41 |  0.244 % |
357.53/357.86	c |    446325 |    8586    55090   186848 |   208732   194160     41 |  0.244 % |
358.33/358.62	c |    447379 |    8586    55090   186848 |   208732   195214     41 |  0.244 % |
359.23/359.59	c |    448537 |    8586    55090   186848 |   208732   196372     41 |  0.244 % |
361.53/361.80	c |    449810 |    8586    55090   186848 |   208732   197645     41 |  0.244 % |
363.13/363.40	c |    451212 |    8586    55090   186848 |   197835   199047     41 |  0.244 % |
365.03/365.32	c |    452752 |    8586    55090   186848 |   197835   175118     40 |  0.244 % |
367.33/367.68	c |    454446 |    8586    55090   186848 |   197835   176812     41 |  0.244 % |
369.33/369.61	c |    456310 |    8586    55090   186848 |   197835   178676     41 |  0.244 % |
370.82/371.13	c |    458360 |    8586    55090   186848 |   197835   180726     41 |  0.244 % |
372.92/373.25	c |    460615 |    8586    55090   186848 |   182367   162530     39 |  0.244 % |
374.52/374.80	c |    463093 |    8586    55090   186848 |   182367   165008     39 |  0.244 % |
377.22/377.51	c |    465818 |    8586    55090   186848 |   182367   167733     39 |  0.244 % |
380.32/380.67	c |    468815 |    8586    55090   186848 |   182367   170730     40 |  0.244 % |
382.82/383.18	c |    472111 |    8586    55090   186848 |   171915   155295     38 |  0.244 % |
386.32/386.61	c |    475737 |    8586    55090   186848 |   171915   158921     39 |  0.244 % |
391.41/391.76	c |    479725 |    8586    55090   186848 |   171915   162909     39 |  0.244 % |
394.81/395.17	c |    484113 |    8586    55090   186848 |   163184   167297     40 |  0.244 % |
395.51/395.86	c |    484214 |    8586    55090   186848 |   163184   133572     38 |  0.244 % |
395.61/395.93	c |    484324 |    8586    55090   186848 |   163184   133682     38 |  0.244 % |
395.71/396.03	c |    484445 |    8586    55090   186848 |   163184   133803     38 |  0.244 % |
395.81/396.19	c |    484578 |    8586    55090   186848 |   163184   133936     38 |  0.244 % |
395.91/396.30	c |    484727 |    8586    55090   186848 |   163184   134085     38 |  0.244 % |
396.01/396.37	c |    484887 |    8586    55090   186848 |   163184   134245     38 |  0.244 % |
396.11/396.46	c |    485064 |    8586    55090   186848 |   163184   134422     38 |  0.244 % |
396.41/396.71	c |    485258 |    8586    55090   186848 |   163184   134616     38 |  0.244 % |
396.61/396.90	c |    485470 |    8586    55090   186848 |   163184   134828     38 |  0.244 % |
396.81/397.13	c |    485704 |    8586    55090   186848 |   163184   135062     38 |  0.244 % |
397.00/397.33	c |    485960 |    8586    55090   186848 |   163184   135318     38 |  0.244 % |
397.20/397.52	c |    486241 |    8586    55090   186848 |   163184   135599     38 |  0.244 % |
397.40/397.71	c |    486550 |    8586    55090   186848 |   163184   135908     38 |  0.244 % |
397.70/398.00	c |    486889 |    8586    55090   186848 |   163184   136247     38 |  0.244 % |
397.81/398.13	c |    487264 |    8586    55090   186848 |   163184   136622     38 |  0.244 % |
397.91/398.24	c |    487674 |    8586    55090   186848 |   163184   137032     38 |  0.244 % |
398.01/398.33	c |    488124 |    8586    55090   186848 |   163184   137482     38 |  0.244 % |
398.11/398.44	c |    488617 |    8586    55090   186848 |   163184   137975     37 |  0.244 % |
398.31/398.62	c |    489160 |    8586    55090   186848 |   163184   138518     37 |  0.244 % |
399.10/399.40	c |    489756 |    8586    55090   186848 |   163184   139114     37 |  0.244 % |
399.40/399.71	c |    490411 |    8586    55090   186848 | 2147483647   139769     38 |  0.244 % |
400.01/400.39	c |    491131 |    8586    55090   186848 | 2147483647   140489     38 |  0.244 % |
400.70/401.04	c |    491923 |    8586    55090   186848 | 2147483647   141281     38 |  0.244 % |
401.30/401.61	c |    492795 |    8586    55090   186848 | 2147483647   142153     37 |  0.244 % |
402.21/402.51	c |    493753 |    8586    55090   186848 | 2147483647   143111     38 |  0.244 % |
402.40/402.75	c |    494806 |    8586    55090   186848 | 2147483647   144164     37 |  0.244 % |
403.10/403.46	c |    495967 |    8586    55090   186848 | 2147483647   145325     37 |  0.244 % |
404.51/404.81	c |    497240 |    8586    55090   186848 | 2147483647   146598     37 |  0.244 % |
405.51/405.89	c |    498640 |    8586    55090   186848 | 2147483647   147998     37 |  0.244 % |
407.50/407.85	c |    500180 |    8586    55090   186848 | 2147483647   149538     38 |  0.244 % |
408.90/409.27	c |    501875 |    8586    55090   186848 | 2147483647   151233     38 |  0.244 % |
410.60/410.95	c |    503738 |    8586    55090   186848 | 2147483647   153096     38 |  0.244 % |
413.00/413.33	c |    505788 |    8586    55090   186848 | 2147483647   155146     38 |  0.244 % |
415.50/415.83	c |    508042 |    8586    55090   186848 | 2147483647   157400     38 |  0.244 % |
418.40/418.70	c |    510520 |    8586    55090   186848 | 2147483647   159878     39 |  0.244 % |
420.90/421.28	c |    513249 |    8586    55090   186848 | 2147483647   162607     39 |  0.244 % |
423.39/423.71	c |    516248 |    8586    55090   186848 | 2147483647   165606     39 |  0.244 % |
425.69/426.08	c |    519544 |    8586    55090   186848 | 2147483647   168902     39 |  0.244 % |
429.39/429.73	c |    523170 |    8586    55090   186848 |   169358   172528     39 |  0.244 % |
433.99/434.40	c |    527157 |    8586    55090   186848 |   169358   157444     39 |  0.244 % |
438.39/438.77	c |    531542 |    8586    55090   186848 |   160287   161829     39 |  0.244 % |
444.39/444.76	c |    536366 |    8586    55090   186848 |   160287   150471     39 |  0.244 % |
444.48/444.85	c |    536466 |    8586    55090   186848 |   160287   150571     39 |  0.244 % |
444.58/444.95	c |    536577 |    8586    55090   186848 |   160287   150682     39 |  0.244 % |
444.78/445.12	c |    536698 |    8586    55090   186848 |   160287   150803     39 |  0.244 % |
444.88/445.26	c |    536831 |    8586    55090   186848 |   160287   150936     39 |  0.244 % |
444.98/445.40	c |    536978 |    8586    55090   186848 |   160287   151083     39 |  0.244 % |
445.19/445.52	c |    537138 |    8586    55090   186848 |   160287   151243     39 |  0.244 % |
445.28/445.67	c |    537314 |    8586    55090   186848 |   160287   151419     39 |  0.244 % |
445.48/445.83	c |    537507 |    8586    55090   186848 |   160287   151612     39 |  0.244 % |
445.78/446.13	c |    537720 |    8586    55090   186848 |   160287   151825     39 |  0.244 % |
445.98/446.36	c |    537953 |    8586    55090   186848 |   160287   152058     39 |  0.244 % |
446.28/446.61	c |    538209 |    8586    55090   186848 |   160287   152314     39 |  0.244 % |
446.38/446.77	c |    538491 |    8586    55090   186848 |   160287   152596     39 |  0.244 % |
446.58/446.99	c |    538802 |    8586    55090   186848 |   160287   152907     39 |  0.244 % |
446.98/447.31	c |    539142 |    8586    55090   186848 |   160287   153247     39 |  0.244 % |
447.28/447.65	c |    539514 |    8586    55090   186848 |   160287   153619     39 |  0.244 % |
447.88/448.23	c |    539923 |    8586    55090   186848 |   160287   154028     39 |  0.244 % |
448.18/448.59	c |    540375 |    8586    55090   186848 |   154107   154480     39 |  0.244 % |
448.98/449.30	c |    540868 |    8586    55090   186848 |   154107   138646     39 |  0.244 % |
449.48/449.81	c |    541413 |    8586    55090   186848 |   154107   139191     39 |  0.244 % |
449.98/450.34	c |    542009 |    8586    55090   186848 |   154107   139787     39 |  0.244 % |
450.68/451.01	c |    542664 |    8586    55090   186848 |   154107   140442     39 |  0.244 % |
451.18/451.55	c |    543385 |    8586    55090   186848 |   154107   141163     39 |  0.244 % |
452.08/452.41	c |    544177 |    8586    55090   186848 |   154107   141955     39 |  0.244 % |
452.78/453.13	c |    545049 |    8586    55090   186848 |   154107   142827     39 |  0.244 % |
453.68/454.10	c |    546008 |    8586    55090   186848 |   154107   143786     39 |  0.244 % |
454.88/455.25	c |    547062 |    8586    55090   186848 |   154107   144840     39 |  0.244 % |
456.18/456.59	c |    548220 |    8586    55090   186848 |   154107   145998     39 |  0.244 % |
457.28/457.61	c |    549493 |    8586    55090   186848 |   154107   147271     39 |  0.244 % |
458.47/458.83	c |    550894 |    8586    55090   186848 | 2147483647   148672     39 |  0.244 % |
459.67/460.08	c |    552435 |    8586    55090   186848 | 2147483647   150213     40 |  0.244 % |
461.47/461.82	c |    554129 |    8586    55090   186848 | 2147483647   151907     40 |  0.244 % |
463.17/463.59	c |    555993 |    8586    55090   186848 | 2147483647   153771     40 |  0.244 % |
464.97/465.33	c |    558042 |    8586    55090   186848 | 2147483647   155820     40 |  0.244 % |
467.27/467.67	c |    560296 |    8586    55090   186848 | 2147483647   158074     40 |  0.244 % |
470.37/470.75	c |    562774 |    8586    55090   186848 | 2147483647   160552     40 |  0.244 % |
473.57/473.99	c |    565499 |    8586    55090   186848 | 2147483647   163277     41 |  0.244 % |
476.17/476.55	c |    568496 |    8586    55090   186848 | 2147483647   166274     40 |  0.244 % |
479.57/479.92	c |    571792 |    8586    55090   186848 |   167779   142476     39 |  0.244 % |
483.36/483.79	c |    575417 |    8586    55090   186848 |   167779   146101     40 |  0.244 % |
486.06/486.44	c |    579404 |    8586    55090   186848 |   167779   150088     40 |  0.244 % |
489.16/489.59	c |    583789 |    8586    55090   186848 | 2147483647   154473     40 |  0.244 % |
493.25/493.61	c |    588612 |    8586    55090   186848 | 2147483647   159296     40 |  0.244 % |
498.55/498.95	c |    593917 |    8586    55090   186848 | 2147483647   164601     41 |  0.244 % |
498.65/499.08	c |    594017 |    8586    55090   186848 | 2147483647   164701     41 |  0.244 % |
498.95/499.31	c |    594128 |    8586    55090   186848 | 2147483647   164812     41 |  0.244 % |
499.05/499.45	c |    594250 |    8586    55090   186848 | 2147483647   164934     41 |  0.244 % |
499.15/499.59	c |    594383 |    8586    55090   186848 | 2147483647   165067     41 |  0.244 % |
499.45/499.81	c |    594529 |    8586    55090   186848 | 2147483647   165213     41 |  0.244 % |
499.65/500.03	c |    594689 |    8586    55090   186848 | 2147483647   165373     41 |  0.244 % |
499.85/500.22	c |    594866 |    8586    55090   186848 | 2147483647   165550     41 |  0.244 % |
500.05/500.41	c |    595060 |    8586    55090   186848 | 2147483647   165744     41 |  0.244 % |
500.25/500.70	c |    595272 |    8586    55090   186848 | 2147483647   165956     41 |  0.244 % |
500.55/500.97	c |    595505 |    8586    55090   186848 | 2147483647   166189     41 |  0.244 % |
501.05/501.40	c |    595762 |    8586    55090   186848 | 2147483647   166446     41 |  0.244 % |
501.25/501.69	c |    596043 |    8586    55090   186848 | 2147483647   166727     41 |  0.244 % |
501.75/502.10	c |    596352 |    8586    55090   186848 | 2147483647   167036     41 |  0.244 % |
502.05/502.45	c |    596692 |    8586    55090   186848 | 2147483647   167376     41 |  0.244 % |
502.45/502.83	c |    597064 |    8586    55090   186848 | 2147483647   167748     41 |  0.244 % |
502.75/503.10	c |    597474 |    8586    55090   186848 | 2147483647   168158     41 |  0.244 % |
502.85/503.25	c |    597923 |    8586    55090   186848 | 2147483647   168607     41 |  0.244 % |
502.95/503.38	c |    598419 |    8586    55090   186848 | 2147483647   169103     41 |  0.244 % |
503.35/503.73	c |    598962 |    8586    55090   186848 | 2147483647   169646     41 |  0.244 % |
504.25/504.62	c |    599558 |    8586    55090   186848 | 2147483647   170242     41 |  0.244 % |
504.95/505.36	c |    600213 |    8586    55090   186848 |   170684   170897     41 |  0.244 % |
505.95/506.34	c |    600934 |    8586    55090   186848 |   170684   150261     40 |  0.244 % |
506.65/507.01	c |    601726 |    8586    55090   186848 |   170684   151053     40 |  0.244 % |
506.94/507.36	c |    602597 |    8586    55090   186848 |   170684   151924     40 |  0.244 % |
508.24/508.69	c |    603555 |    8586    55090   186848 |   170684   152882     40 |  0.244 % |
509.54/509.96	c |    604608 |    8586    55090   186848 |   170684   153935     40 |  0.244 % |
510.44/510.83	c |    605769 |    8586    55090   186848 |   170684   155096     40 |  0.244 % |
511.44/511.81	c |    607043 |    8586    55090   186848 |   170684   156370     40 |  0.244 % |
513.14/513.51	c |    608444 |    8586    55090   186848 |   170684   157771     40 |  0.244 % |
514.54/515.00	c |    609984 |    8586    55090   186848 |   170684   159311     40 |  0.244 % |
516.14/516.55	c |    611678 |    8586    55090   186848 | 2147483647   161005     40 |  0.244 % |
518.24/518.61	c |    613541 |    8586    55090   186848 | 2147483647   162868     40 |  0.244 % |
520.54/520.97	c |    615591 |    8586    55090   186848 | 2147483647   164918     40 |  0.244 % |
523.34/523.76	c |    617844 |    8586    55090   186848 | 2147483647   167171     41 |  0.244 % |
525.34/525.71	c |    620322 |    8586    55090   186848 |   169328   169649     41 |  0.244 % |
527.83/528.27	c |    623047 |    8586    55090   186848 |   169328   146406     39 |  0.244 % |
531.03/531.47	c |    626045 |    8586    55090   186848 |   169328   149404     40 |  0.244 % |
533.83/534.29	c |    629343 |    8586    55090   186848 |   169328   152702     40 |  0.244 % |
537.43/537.81	c |    632969 |    8586    55090   186848 |   153359   156328     41 |  0.244 % |
541.23/541.66	c |    636958 |    8586    55090   186848 |   153359   143809     38 |  0.244 % |
545.42/545.82	c |    641344 |    8586    55090   186848 | 2147483647   148195     38 |  0.244 % |
550.32/550.79	c |    646168 |    8586    55090   186848 | 2147483647   153019     39 |  0.244 % |
554.42/554.81	c |    651474 |    8586    55090   186848 | 2147483647   158325     39 |  0.244 % |
561.22/561.67	c |    657311 |    8586    55090   186848 | 2147483647   164162     40 |  0.244 % |
561.42/561.80	c |    657412 |    8586    55090   186848 | 2147483647   164263     40 |  0.244 % |
561.42/561.89	c |    657524 |    8586    55090   186848 | 2147483647   164375     40 |  0.244 % |
561.72/562.17	c |    657645 |    8586    55090   186848 | 2147483647   164496     40 |  0.244 % |
561.82/562.30	c |    657778 |    8586    55090   186848 | 2147483647   164629     40 |  0.244 % |
562.02/562.40	c |    657924 |    8586    55090   186848 | 2147483647   164775     40 |  0.244 % |
562.22/562.60	c |    658086 |    8586    55090   186848 | 2147483647   164937     40 |  0.244 % |
562.42/562.88	c |    658262 |    8586    55090   186848 | 2147483647   165113     40 |  0.244 % |
562.62/563.04	c |    658456 |    8586    55090   186848 | 2147483647   165307     40 |  0.244 % |
562.82/563.24	c |    658669 |    8586    55090   186848 | 2147483647   165520     40 |  0.244 % |
563.02/563.49	c |    658903 |    8586    55090   186848 | 2147483647   165754     40 |  0.244 % |
563.32/563.71	c |    659162 |    8586    55090   186848 | 2147483647   166013     40 |  0.244 % |
563.52/563.91	c |    659446 |    8586    55090   186848 | 2147483647   166297     40 |  0.244 % |
563.72/564.16	c |    659755 |    8586    55090   186848 | 2147483647   166606     40 |  0.244 % |
564.02/564.46	c |    660095 |    8586    55090   186848 | 2147483647   166946     40 |  0.244 % |
564.42/564.83	c |    660467 |    8586    55090   186848 | 2147483647   167318     40 |  0.244 % |
564.92/565.31	c |    660876 |    8586    55090   186848 | 2147483647   167727     40 |  0.244 % |
565.31/565.77	c |    661326 |    8586    55090   186848 | 2147483647   168177     40 |  0.244 % |
565.81/566.29	c |    661821 |    8586    55090   186848 | 2147483647   168672     40 |  0.244 % |
566.41/566.88	c |    662364 |    8586    55090   186848 | 2147483647   169215     40 |  0.244 % |
567.31/567.72	c |    662963 |    8586    55090   186848 | 2147483647   169814     40 |  0.244 % |
567.91/568.37	c |    663618 |    8586    55090   186848 | 2147483647   170469     40 |  0.244 % |
568.51/568.93	c |    664339 |    8586    55090   186848 | 2147483647   171190     40 |  0.244 % |
569.51/569.99	c |    665132 |    8586    55090   186848 | 2147483647   171983     40 |  0.244 % |
570.31/570.74	c |    666003 |    8586    55090   186848 | 2147483647   172854     40 |  0.244 % |
571.51/571.99	c |    666961 |    8586    55090   186848 | 2147483647   173812     40 |  0.244 % |
572.50/573.00	c |    668014 |    8586    55090   186848 | 2147483647   174865     40 |  0.244 % |
573.90/574.38	c |    669173 |    8586    55090   186848 | 2147483647   176024     40 |  0.244 % |
574.91/575.39	c |    670446 |    8586    55090   186848 |   176852   177297     40 |  0.244 % |
576.50/577.00	c |    671846 |    8586    55090   186848 |   176852   160968     39 |  0.244 % |
577.80/578.27	c |    673388 |    8586    55090   186848 |   176852   162510     39 |  0.244 % |
579.60/580.05	c |    675082 |    8586    55090   186848 |   176852   164204     39 |  0.244 % |
582.20/582.66	c |    676945 |    8586    55090   186848 |   176852   166067     40 |  0.244 % |
584.80/585.22	c |    678994 |    8586    55090   186848 |   176852   168116     40 |  0.244 % |
586.79/587.22	c |    681247 |    8586    55090   186848 |   169122   147765     38 |  0.244 % |
588.89/589.30	c |    683726 |    8586    55090   186848 |   169122   150244     38 |  0.244 % |
591.59/592.04	c |    686453 |    8586    55090   186848 |   169122   152971     39 |  0.244 % |
594.39/594.83	c |    689450 |    8586    55090   186848 |   169122   155968     39 |  0.244 % |
597.69/598.18	c |    692746 |    8586    55090   186848 | 2147483647   159264     39 |  0.244 % |
599.09/599.54	c |    696371 |    8586    55090   186848 | 2147483647   162889     39 |  0.244 % |
604.29/604.74	c |    700358 |    8586    55090   186848 | 2147483647   166876     40 |  0.244 % |
607.89/608.33	c |    704744 |    8586    55090   186848 | 2147483647   171262     40 |  0.244 % |
611.29/611.77	c |    709567 |    8586    55090   186848 | 2147483647   176085     40 |  0.244 % |
618.68/619.19	c |    714873 |    8586    55090   186848 | 2147483647   181391     41 |  0.244 % |
623.87/624.33	c |    720708 |    8586    55090   186848 | 2147483647   187226     41 |  0.244 % |
632.17/632.68	c |    727128 |    8586    55090   186848 | 2147483647   193646     42 |  0.244 % |
632.37/632.82	c |    727228 |    8586    55090   186848 | 2147483647   193746     42 |  0.244 % |
632.47/632.95	c |    727339 |    8586    55090   186848 | 2147483647   193857     42 |  0.244 % |
632.77/633.21	c |    727461 |    8586    55090   186848 | 2147483647   193979     42 |  0.244 % |
632.97/633.43	c |    727594 |    8586    55090   186848 | 2147483647   194112     42 |  0.244 % |
633.27/633.72	c |    727741 |    8586    55090   186848 | 2147483647   194259     42 |  0.244 % |
633.47/633.91	c |    727903 |    8586    55090   186848 | 2147483647   194421     42 |  0.244 % |
633.67/634.10	c |    728079 |    8586    55090   186848 | 2147483647   194597     42 |  0.244 % |
633.87/634.39	c |    728272 |    8586    55090   186848 | 2147483647   194790     42 |  0.244 % |
634.17/634.67	c |    728484 |    8586    55090   186848 | 2147483647   195002     42 |  0.244 % |
634.47/634.98	c |    728718 |    8586    55090   186848 | 2147483647   195236     42 |  0.244 % |
634.67/635.12	c |    728974 |    8586    55090   186848 | 2147483647   195492     42 |  0.244 % |
634.77/635.23	c |    729255 |    8586    55090   186848 | 2147483647   195773     42 |  0.244 % |
635.07/635.59	c |    729564 |    8586    55090   186848 | 2147483647   196082     42 |  0.244 % |
635.57/636.00	c |    729904 |    8586    55090   186848 | 2147483647   196422     42 |  0.244 % |
635.67/636.18	c |    730276 |    8586    55090   186848 |   196519   196794     42 |  0.244 % |
636.97/637.44	c |    730685 |    8586    55090   186848 |   196519   174956     42 |  0.244 % |
637.48/637.92	c |    731135 |    8586    55090   186848 |   196519   175406     42 |  0.244 % |
637.88/638.32	c |    731628 |    8586    55090   186848 |   196519   175899     42 |  0.244 % |
638.28/638.79	c |    732173 |    8586    55090   186848 |   196519   176444     42 |  0.244 % |
638.68/639.13	c |    732769 |    8586    55090   186848 |   196519   177040     42 |  0.244 % |
638.78/639.26	c |    733427 |    8586    55090   186848 |   196519   177698     41 |  0.244 % |
640.08/640.54	c |    734149 |    8586    55090   186848 |   196519   178420     42 |  0.244 % |
640.98/641.44	c |    734941 |    8586    55090   186848 |   196519   179212     42 |  0.244 % |
641.58/642.07	c |    735813 |    8586    55090   186848 |   196519   180084     42 |  0.244 % |
642.18/642.67	c |    736771 |    8586    55090   186848 |   196519   181042     42 |  0.244 % |
643.37/643.87	c |    737824 |    8586    55090   186848 |   196519   182095     42 |  0.244 % |
644.57/645.02	c |    738983 |    8586    55090   186848 |   196519   183254     42 |  0.244 % |
645.87/646.39	c |    740256 |    8586    55090   186848 | 2147483647   184527     42 |  0.244 % |
647.57/648.01	c |    741656 |    8586    55090   186848 | 2147483647   185927     42 |  0.244 % |
648.58/649.10	c |    743196 |    8586    55090   186848 | 2147483647   187467     42 |  0.244 % |
650.27/650.76	c |    744890 |    8586    55090   186848 | 2147483647   189161     42 |  0.244 % |
652.07/652.60	c |    746753 |    8586    55090   186848 | 2147483647   191024     42 |  0.244 % |
654.27/654.72	c |    748806 |    8586    55090   186848 | 2147483647   193077     42 |  0.244 % |
655.97/656.48	c |    751060 |    8586    55090   186848 | 2147483647   195331     42 |  0.244 % |
658.97/659.42	c |    753538 |    8586    55090   186848 | 2147483647   197809     42 |  0.244 % |
662.77/663.26	c |    756263 |    8586    55090   186848 | 2147483647   200534     42 |  0.244 % |
665.96/666.47	c |    759261 |    8586    55090   186848 | 2147483647   203532     42 |  0.244 % |
669.86/670.38	c |    762557 |    8586    55090   186848 |   204271   206828     43 |  0.244 % |
675.85/676.30	c |    766182 |    8586    55090   186848 |   204271   165338     41 |  0.244 % |
680.15/680.61	c |    770170 |    8586    55090   186848 |   169156   169326     42 |  0.244 % |
684.05/684.51	c |    774555 |    8586    55090   186848 |   169156   155369     41 |  0.244 % |
688.85/689.34	c |    779378 |    8586    55090   186848 |   169156   160192     41 |  0.244 % |
695.35/695.86	c |    784684 |    8586    55090   186848 |   160817   165498     42 |  0.244 % |
699.65/700.13	c |    790520 |    8586    55090   186848 |   136993   123484     39 |  0.244 % |
706.63/707.19	c |    796939 |    8586    55090   186848 |   136993   129903     40 |  0.244 % |
711.73/712.23	c |    803998 |    8586    55090   186848 | 2147483647   136962     41 |  0.244 % |
711.73/712.28	c |    804099 |    8586    55090   186848 | 2147483647   137063     41 |  0.244 % |
711.83/712.38	c |    804209 |    8586    55090   186848 | 2147483647   137173     41 |  0.244 % |
712.03/712.55	c |    804330 |    8586    55090   186848 | 2147483647   137294     41 |  0.244 % |
712.13/712.62	c |    804465 |    8586    55090   186848 | 2147483647   137429     41 |  0.244 % |
712.13/712.67	c |    804612 |    8586    55090   186848 | 2147483647   137576     41 |  0.245 % |
712.34/712.83	c |    804772 |    8586    55090   186848 | 2147483647   137736     41 |  0.244 % |
712.43/712.93	c |    804948 |    8586    55090   186848 | 2147483647   137912     41 |  0.244 % |
712.63/713.15	c |    805142 |    8586    55090   186848 | 2147483647   138106     41 |  0.244 % |
712.73/713.24	c |    805354 |    8586    55090   186848 | 2147483647   138318     41 |  0.244 % |
712.83/713.30	c |    805588 |    8586    55090   186848 | 2147483647   138552     41 |  0.244 % |
713.13/713.60	c |    805844 |    8586    55090   186848 | 2147483647   138808     41 |  0.244 % |
713.44/713.92	c |    806126 |    8586    55090   186848 | 2147483647   139090     41 |  0.244 % |
713.73/714.23	c |    806436 |    8586    55090   186848 | 2147483647   139400     41 |  0.244 % |
714.03/714.52	c |    806777 |    8586    55090   186848 | 2147483647   139741     41 |  0.244 % |
714.23/714.79	c |    807149 |    8586    55090   186848 | 2147483647   140113     41 |  0.244 % |
714.73/715.26	c |    807559 |    8586    55090   186848 | 2147483647   140523     41 |  0.244 % |
715.13/715.65	c |    808008 |    8586    55090   186848 | 2147483647   140972     41 |  0.244 % |
715.93/716.41	c |    808501 |    8586    55090   186848 | 2147483647   141465     41 |  0.244 % |
716.43/716.96	c |    809044 |    8586    55090   186848 | 2147483647   142008     41 |  0.244 % |
717.13/717.67	c |    809641 |    8586    55090   186848 | 2147483647   142605     41 |  0.244 % |
717.63/718.20	c |    810296 |    8586    55090   186848 | 2147483647   143260     41 |  0.244 % |
718.13/718.65	c |    811016 |    8586    55090   186848 | 2147483647   143980     41 |  0.244 % |
719.33/719.83	c |    811809 |    8586    55090   186848 | 2147483647   144773     41 |  0.244 % |
720.23/720.73	c |    812681 |    8586    55090   186848 | 2147483647   145645     41 |  0.244 % |
720.93/721.47	c |    813639 |    8586    55090   186848 | 2147483647   146603     41 |  0.244 % |
721.53/722.06	c |    814692 |    8586    55090   186848 | 2147483647   147656     41 |  0.244 % |
722.43/722.91	c |    815850 |    8586    55090   186848 | 2147483647   148814     41 |  0.244 % |
723.23/723.71	c |    817124 |    8586    55090   186848 | 2147483647   150088     41 |  0.244 % |
723.92/724.48	c |    818524 |    8586    55090   186848 | 2147483647   151488     41 |  0.244 % |
724.72/725.28	c |    820064 |    8586    55090   186848 | 2147483647   153028     41 |  0.244 % |
727.12/727.67	c |    821758 |    8586    55090   186848 | 2147483647   154722     41 |  0.244 % |
728.22/728.77	c |    823623 |    8586    55090   186848 | 2147483647   156587     41 |  0.244 % |
730.62/731.13	c |    825673 |    8586    55090   186848 | 2147483647   158637     41 |  0.244 % |
732.82/733.35	c |    827926 |    8586    55090   186848 | 2147483647   160890     41 |  0.244 % |
735.02/735.59	c |    830405 |    8586    55090   186848 | 2147483647   163369     42 |  0.244 % |
737.82/738.30	c |    833132 |    8585    55088   186842 | 2147483647   163507     42 |  0.256 % |
740.62/741.16	c |    836129 |    8585    55088   186842 | 2147483647   166504     42 |  0.256 % |
744.22/744.75	c |    839425 |    8585    55088   186842 | 2147483647   169800     42 |  0.256 % |
748.11/748.63	c |    843051 |    8585    55088   186842 |   170375   153711     40 |  0.256 % |
751.51/752.00	c |    847038 |    8585    55088   186842 |   170375   157698     40 |  0.256 % |
756.21/756.70	c |    851425 |    8585    55088   186842 |   160660   162085     41 |  0.256 % |
760.71/761.26	c |    856248 |    8585    55088   186842 |   160660   150700     40 |  0.256 % |
765.70/766.23	c |    861553 |    8585    55088   186842 | 2147483647   156005     40 |  0.256 % |
771.30/771.85	c |    867389 |    8585    55088   186842 | 2147483647   161841     41 |  0.256 % |
777.99/778.57	c |    873807 |    8585    55088   186842 |   164452   147605     40 |  0.256 % |
783.49/784.02	c |    880868 |    8585    55088   186842 | 2147483647   154666     40 |  0.256 % |
790.59/791.12	c |    888632 |    8585    55088   186842 | 2147483647   162430     41 |  0.256 % |
790.69/791.22	c |    888732 |    8585    55088   186842 | 2147483647   162530     41 |  0.256 % |
790.79/791.31	c |    888843 |    8585    55088   186842 | 2147483647   162641     41 |  0.256 % |
790.89/791.45	c |    888964 |    8585    55088   186842 | 2147483647   162762     41 |  0.256 % |
790.99/791.60	c |    889097 |    8585    55088   186842 | 2147483647   162895     41 |  0.256 % |
791.29/791.81	c |    889243 |    8585    55088   186842 | 2147483647   163041     41 |  0.256 % |
791.49/792.03	c |    889404 |    8585    55088   186842 | 2147483647   163202     41 |  0.256 % |
791.69/792.23	c |    889580 |    8585    55088   186842 | 2147483647   163378     41 |  0.256 % |
791.99/792.55	c |    889774 |    8585    55088   186842 | 2147483647   163572     41 |  0.256 % |
792.19/792.78	c |    889986 |    8585    55088   186842 | 2147483647   163784     41 |  0.256 % |
792.49/793.02	c |    890220 |    8585    55088   186842 | 2147483647   164018     41 |  0.256 % |
792.79/793.37	c |    890476 |    8585    55088   186842 | 2147483647   164274     41 |  0.256 % |
793.09/793.64	c |    890758 |    8585    55088   186842 | 2147483647   164556     41 |  0.256 % |
793.39/793.93	c |    891067 |    8585    55088   186842 | 2147483647   164865     41 |  0.256 % |
793.99/794.56	c |    891406 |    8585    55088   186842 | 2147483647   165204     41 |  0.256 % |
794.29/794.89	c |    891779 |    8585    55088   186842 | 2147483647   165577     41 |  0.256 % |
794.69/795.26	c |    892188 |    8585    55088   186842 | 2147483647   165986     41 |  0.256 % |
795.28/795.83	c |    892639 |    8585    55088   186842 | 2147483647   166437     41 |  0.256 % |
795.79/796.38	c |    893132 |    8585    55088   186842 | 2147483647   166930     41 |  0.256 % |
796.58/797.12	c |    893675 |    8585    55088   186842 | 2147483647   167473     41 |  0.256 % |
797.08/797.69	c |    894272 |    8585    55088   186842 | 2147483647   168070     41 |  0.256 % |
797.68/798.22	c |    894929 |    8585    55088   186842 | 2147483647   168727     41 |  0.256 % |
798.38/798.93	c |    895649 |    8585    55088   186842 | 2147483647   169447     41 |  0.256 % |
798.98/799.60	c |    896442 |    8585    55088   186842 | 2147483647   170240     41 |  0.256 % |
799.98/800.56	c |    897313 |    8585    55088   186842 | 2147483647   171111     41 |  0.256 % |
800.78/801.34	c |    898271 |    8585    55088   186842 | 2147483647   172069     41 |  0.256 % |
802.38/802.93	c |    899324 |    8585    55088   186842 | 2147483647   173122     41 |  0.256 % |
803.48/804.03	c |    900484 |    8585    55088   186842 | 2147483647   174282     41 |  0.256 % |
804.68/805.27	c |    901757 |    8585    55088   186842 | 2147483647   175555     41 |  0.256 % |
805.78/806.36	c |    903157 |    8585    55088   186842 | 2147483647   176955     41 |  0.256 % |
807.17/807.76	c |    904697 |    8585    55088   186842 | 2147483647   178495     41 |  0.256 % |
809.57/810.15	c |    906394 |    8585    55088   186842 | 2147483647   180192     41 |  0.256 % |
811.37/811.94	c |    908258 |    8585    55088   186842 | 2147483647   182056     41 |  0.256 % |
813.97/814.58	c |    910307 |    8585    55088   186842 | 2147483647   184105     42 |  0.256 % |
815.97/816.59	c |    912560 |    8585    55088   186842 | 2147483647   186358     42 |  0.256 % |
818.27/818.88	c |    915038 |    8585    55088   186842 | 2147483647   188836     42 |  0.256 % |
822.57/823.17	c |    917764 |    8585    55088   186842 | 2147483647   191562     42 |  0.256 % |
825.97/826.56	c |    920762 |    8585    55088   186842 |   193799   194560     42 |  0.256 % |
829.97/830.55	c |    924060 |    8585    55088   186842 |   193799   178402     41 |  0.256 % |
834.46/835.09	c |    927685 |    8585    55088   186842 |   193799   182027     42 |  0.256 % |
837.57/838.19	c |    931675 |    8585    55088   186842 |   184342   186017     42 |  0.256 % |
844.26/844.82	c |    936060 |    8585    55088   186842 |   184342   170363     42 |  0.256 % |
849.65/850.21	c |    940883 |    8585    55088   186842 |   174303   175186     42 |  0.256 % |
851.95/852.58	c |    946188 |    8585    55088   186842 |   174303   159870     41 |  0.256 % |
860.25/860.88	c |    952023 |    8585    55088   186842 | 2147483647   165705     42 |  0.256 % |
867.14/867.75	c |    958442 |    8585    55088   186842 | 2147483647   172124     42 |  0.256 % |
876.04/876.65	c |    965502 |    8585    55088   186842 |   173683   152644     42 |  0.256 % |
882.74/883.30	c |    973268 |    8585    55088   186842 |   157144   160410     42 |  0.256 % |
886.93/887.58	c |    981809 |    8585    55088   186842 | 2147483647   145071     40 |  0.256 % |
887.03/887.66	c |    981909 |    8585    55088   186842 | 2147483647   145171     40 |  0.256 % |
887.13/887.78	c |    982019 |    8585    55088   186842 | 2147483647   145281     40 |  0.256 % |
887.33/887.97	c |    982140 |    8585    55088   186842 | 2147483647   145402     40 |  0.256 % |
887.53/888.15	c |    982273 |    8585    55088   186842 | 2147483647   145535     40 |  0.256 % |
887.73/888.30	c |    982419 |    8585    55088   186842 | 2147483647   145681     40 |  0.256 % |
887.83/888.46	c |    982580 |    8585    55088   186842 | 2147483647   145842     40 |  0.256 % |
888.03/888.64	c |    982758 |    8585    55088   186842 | 2147483647   146020     40 |  0.256 % |
888.13/888.77	c |    982953 |    8585    55088   186842 | 2147483647   146215     40 |  0.256 % |
888.23/888.89	c |    983166 |    8585    55088   186842 | 2147483647   146428     40 |  0.256 % |
888.52/889.15	c |    983400 |    8585    55088   186842 | 2147483647   146662     40 |  0.256 % |
888.82/889.42	c |    983656 |    8585    55088   186842 | 2147483647   146918     40 |  0.256 % |
889.12/889.73	c |    983938 |    8585    55088   186842 | 2147483647   147200     40 |  0.256 % |
889.33/889.96	c |    984247 |    8585    55088   186842 | 2147483647   147509     40 |  0.256 % |
889.72/890.33	c |    984586 |    8585    55088   186842 | 2147483647   147848     40 |  0.256 % |
890.12/890.75	c |    984958 |    8585    55088   186842 | 2147483647   148220     40 |  0.256 % |
890.33/890.91	c |    985367 |    8585    55088   186842 | 2147483647   148629     40 |  0.256 % |
890.43/891.06	c |    985817 |    8585    55088   186842 | 2147483647   149079     40 |  0.256 % |
891.02/891.66	c |    986311 |    8585    55088   186842 | 2147483647   149573     40 |  0.256 % |
891.62/892.28	c |    986853 |    8585    55088   186842 | 2147483647   150115     40 |  0.256 % |
892.12/892.70	c |    987451 |    8585    55088   186842 | 2147483647   150713     40 |  0.256 % |
892.42/893.07	c |    988106 |    8585    55088   186842 | 2147483647   151368     40 |  0.256 % |
892.92/893.52	c |    988827 |    8585    55088   186842 | 2147483647   152089     40 |  0.256 % |
893.32/893.96	c |    989619 |    8585    55088   186842 | 2147483647   152881     40 |  0.256 % |
894.52/895.13	c |    990490 |    8585    55088   186842 | 2147483647   153752     40 |  0.256 % |
895.32/895.92	c |    991449 |    8585    55088   186842 | 2147483647   154711     40 |  0.256 % |
896.02/896.68	c |    992502 |    8585    55088   186842 | 2147483647   155764     40 |  0.256 % |
897.72/898.38	c |    993661 |    8585    55088   186842 | 2147483647   156923     40 |  0.256 % |
898.82/899.47	c |    994936 |    8585    55088   186842 | 2147483647   158198     41 |  0.256 % |
900.52/901.16	c |    996337 |    8585    55088   186842 | 2147483647   159599     41 |  0.256 % |
902.02/902.68	c |    997878 |    8585    55088   186842 | 2147483647   161140     41 |  0.256 % |
904.02/904.64	c |    999572 |    8585    55088   186842 | 2147483647   162834     41 |  0.256 % |
905.62/906.21	c |   1001435 |    8585    55088   186842 | 2147483647   164697     41 |  0.256 % |
906.72/907.31	c |   1003486 |    8585    55088   186842 | 2147483647   166748     41 |  0.256 % |
909.62/910.22	c |   1005740 |    8585    55088   186842 | 2147483647   169002     41 |  0.256 % |
912.11/912.77	c |   1008218 |    8585    55088   186842 | 2147483647   171480     41 |  0.256 % |
914.71/915.30	c |   1010944 |    8585    55088   186842 | 2147483647   174206     41 |  0.256 % |
918.41/919.05	c |   1013941 |    8585    55088   186842 | 2147483647   177203     42 |  0.256 % |
921.61/922.23	c |   1017237 |    8585    55088   186842 | 2147483647   180499     42 |  0.256 % |
925.71/926.33	c |   1020862 |    8585    55088   186842 | 2147483647   184124     42 |  0.256 % |
930.10/930.73	c |   1024849 |    8585    55088   186842 | 2147483647   188111     42 |  0.256 % |
933.50/934.13	c |   1029234 |    8585    55088   186842 | 2147483647   192496     42 |  0.256 % |
936.50/937.18	c |   1034058 |    8585    55088   186842 | 2147483647   197320     41 |  0.256 % |
944.69/945.32	c |   1039363 |    8585    55088   186842 | 2147483647   202625     42 |  0.256 % |
951.59/952.28	c |   1045200 |    8585    55088   186842 |   203264   187865     41 |  0.256 % |
958.09/958.74	c |   1051618 |    8585    55088   186842 |   192666   194283     42 |  0.256 % |
967.78/968.43	c |   1058678 |    8585    55088   186842 |   192666   168919     40 |  0.256 % |
975.97/976.67	c |   1066442 |    8585    55088   186842 |   170242   141839     37 |  0.256 % |
986.37/987.00	c |   1074984 |    8585    55088   186842 |   145399   131962     40 |  0.256 % |
995.67/996.34	c |   1084378 |    8585    55088   186842 | 2147483647   141356     40 |  0.256 % |
995.78/996.48	c |   1084479 |    8585    55088   186842 | 2147483647   141457     40 |  0.256 % |
995.88/996.58	c |   1084590 |    8585    55088   186842 | 2147483647   141568     40 |  0.256 % |
996.07/996.77	c |   1084712 |    8585    55088   186842 | 2147483647   141690     40 |  0.256 % |
996.27/996.94	c |   1084845 |    8585    55088   186842 | 2147483647   141823     40 |  0.256 % |
996.37/997.09	c |   1084991 |    8585    55088   186842 | 2147483647   141969     40 |  0.256 % |
996.57/997.28	c |   1085153 |    8585    55088   186842 | 2147483647   142131     40 |  0.256 % |
996.77/997.40	c |   1085330 |    8585    55088   186842 | 2147483647   142308     40 |  0.256 % |
996.87/997.54	c |   1085523 |    8585    55088   186842 | 2147483647   142501     40 |  0.256 % |
997.17/997.89	c |   1085735 |    8585    55088   186842 | 2147483647   142713     40 |  0.256 % |
997.27/997.96	c |   1085969 |    8585    55088   186842 | 2147483647   142947     40 |  0.256 % |
997.37/998.07	c |   1086226 |    8585    55088   186842 | 2147483647   143204     40 |  0.256 % |
997.67/998.36	c |   1086507 |    8585    55088   186842 | 2147483647   143485     40 |  0.256 % |
997.97/998.64	c |   1086816 |    8585    55088   186842 | 2147483647   143794     40 |  0.256 % |
998.37/999.07	c |   1087156 |    8585    55088   186842 | 2147483647   144134     40 |  0.256 % |
998.57/999.28	c |   1087528 |    8585    55088   186842 | 2147483647   144506     40 |  0.256 % |
999.07/999.70	c |   1087937 |    8585    55088   186842 | 2147483647   144915     40 |  0.256 % |
999.47/1000.17	c |   1088388 |    8585    55088   186842 | 2147483647   145366     40 |  0.256 % |
999.97/1000.61	c |   1088881 |    8585    55088   186842 | 2147483647   145859     40 |  0.256 % |
1000.57/1001.25	c |   1089423 |    8585    55088   186842 | 2147483647   146401     40 |  0.256 % |
1001.17/1001.86	c |   1090021 |    8585    55088   186842 | 2147483647   146999     40 |  0.256 % |
1001.57/1002.25	c |   1090676 |    8585    55088   186842 | 2147483647   147654     40 |  0.256 % |
1002.27/1002.98	c |   1091399 |    8585    55088   186842 | 2147483647   148377     41 |  0.256 % |
1002.77/1003.44	c |   1092193 |    8585    55088   186842 | 2147483647   149171     40 |  0.256 % |
1003.37/1004.07	c |   1093065 |    8585    55088   186842 | 2147483647   150043     41 |  0.256 % |
1004.97/1005.66	c |   1094024 |    8585    55088   186842 | 2147483647   151002     41 |  0.256 % |
1005.77/1006.49	c |   1095079 |    8585    55088   186842 | 2147483647   152057     41 |  0.256 % |
1007.57/1008.26	c |   1096237 |    8585    55088   186842 | 2147483647   153215     41 |  0.256 % |
1008.96/1009.69	c |   1097511 |    8585    55088   186842 | 2147483647   154489     41 |  0.256 % |
1010.56/1011.21	c |   1098911 |    8585    55088   186842 | 2147483647   155889     41 |  0.256 % |
1012.66/1013.30	c |   1100453 |    8585    55088   186842 |   156978   157431     42 |  0.256 % |
1014.86/1015.54	c |   1102149 |    8585    55088   186842 |   156978   140609     40 |  0.256 % |
1016.16/1016.84	c |   1104012 |    8585    55088   186842 |   156978   142472     41 |  0.256 % |
1019.46/1020.17	c |   1106061 |    8585    55088   186842 |   156978   144521     41 |  0.256 % |
1021.26/1021.94	c |   1108315 |    8585    55088   186842 |   156978   146775     41 |  0.256 % |
1024.75/1025.48	c |   1110793 |    8585    55088   186842 |   148462   149253     42 |  0.256 % |
1027.45/1028.18	c |   1113518 |    8585    55088   186842 |   148462   133666     41 |  0.256 % |
1029.85/1030.52	c |   1116515 |    8585    55088   186842 |   148462   136663     41 |  0.256 % |
1033.15/1033.81	c |   1119813 |    8585    55088   186842 |   148462   139961     42 |  0.256 % |
1036.94/1037.66	c |   1123438 |    8585    55088   186842 |   140148   129308     42 |  0.256 % |
1039.85/1040.54	c |   1127425 |    8585    55088   186842 |   140148   133295     42 |  0.256 % |
1045.04/1045.71	c |   1131810 |    8585    55088   186842 | 2147483647   137680     43 |  0.256 % |
1048.94/1049.62	c |   1136633 |    8585    55088   186842 | 2147483647   142503     44 |  0.256 % |
1052.44/1053.10	c |   1141938 |    8585    55088   186842 | 2147483647   147808     43 |  0.256 % |
1059.94/1060.62	c |   1147773 |    8585    55088   186842 | 2147483647   153643     44 |  0.256 % |
1067.43/1068.12	c |   1154194 |    8585    55088   186842 | 2147483647   160064     44 |  0.256 % |
1075.32/1076.05	c |   1161253 |    8585    55088   186842 | 2147483647   167123     44 |  0.256 % |
1083.22/1083.93	c |   1169017 |    8585    55088   186842 | 2147483647   174887     44 |  0.256 % |
1092.02/1092.75	c |   1177557 |    8585    55088   186842 |   175870   143329     41 |  0.256 % |
1100.01/1100.73	c |   1186952 |    8585    55088   186842 |   145772   130852     41 |  0.256 % |
1108.61/1109.36	c |   1197285 |    8585    55088   186842 | 2147483647   141185     42 |  0.256 % |
1108.71/1109.47	c |   1197386 |    8585    55088   186842 | 2147483647   141286     42 |  0.256 % |
1108.81/1109.57	c |   1197496 |    8585    55088   186842 | 2147483647   141396     42 |  0.256 % |
1108.91/1109.68	c |   1197618 |    8585    55088   186842 | 2147483647   141518     42 |  0.256 % |
1109.11/1109.81	c |   1197751 |    8585    55088   186842 | 2147483647   141651     42 |  0.256 % |
1109.21/1109.92	c |   1197899 |    8585    55088   186842 | 2147483647   141799     42 |  0.256 % |
1109.31/1110.03	c |   1198059 |    8585    55088   186842 | 2147483647   141959     42 |  0.256 % |
1109.41/1110.19	c |   1198235 |    8585    55088   186842 | 2147483647   142135     42 |  0.256 % |
1109.51/1110.26	c |   1198431 |    8585    55088   186842 | 2147483647   142331     42 |  0.256 % |
1109.91/1110.64	c |   1198644 |    8585    55088   186842 | 2147483647   142544     42 |  0.256 % |
1110.21/1110.90	c |   1198877 |    8585    55088   186842 | 2147483647   142777     42 |  0.256 % |
1110.21/1110.98	c |   1199133 |    8585    55088   186842 | 2147483647   143033     42 |  0.256 % |
1110.50/1111.29	c |   1199415 |    8585    55088   186842 | 2147483647   143315     42 |  0.256 % |
1110.80/1111.59	c |   1199725 |    8585    55088   186842 | 2147483647   143625     42 |  0.256 % |
1111.10/1111.83	c |   1200065 |    8585    55088   186842 | 2147483647   143965     42 |  0.256 % |
1111.50/1112.21	c |   1200438 |    8585    55088   186842 | 2147483647   144338     42 |  0.256 % |
1111.80/1112.53	c |   1200847 |    8585    55088   186842 | 2147483647   144747     42 |  0.256 % |
1112.20/1112.91	c |   1201296 |    8585    55088   186842 | 2147483647   145196     42 |  0.256 % |
1112.50/1113.28	c |   1201789 |    8585    55088   186842 | 2147483647   145689     42 |  0.256 % |
1112.90/1113.69	c |   1202331 |    8585    55088   186842 | 2147483647   146231     42 |  0.256 % |
1113.30/1114.09	c |   1202927 |    8585    55088   186842 | 2147483647   146827     42 |  0.256 % |
1113.90/1114.65	c |   1203582 |    8585    55088   186842 | 2147483647   147482     42 |  0.256 % |
1114.80/1115.58	c |   1204303 |    8585    55088   186842 | 2147483647   148203     42 |  0.256 % |
1115.60/1116.31	c |   1205095 |    8585    55088   186842 | 2147483647   148995     42 |  0.256 % |
1116.40/1117.15	c |   1205966 |    8585    55088   186842 | 2147483647   149866     42 |  0.256 % |
1117.10/1117.89	c |   1206924 |    8585    55088   186842 | 2147483647   150824     42 |  0.256 % |
1117.80/1118.55	c |   1207977 |    8585    55088   186842 | 2147483647   151877     42 |  0.256 % |
1118.69/1119.43	c |   1209136 |    8585    55088   186842 | 2147483647   153036     42 |  0.256 % |
1119.89/1120.69	c |   1210410 |    8585    55088   186842 | 2147483647   154310     42 |  0.256 % |
1121.30/1122.05	c |   1211812 |    8585    55088   186842 | 2147483647   155712     42 |  0.256 % |
1122.30/1123.08	c |   1213353 |    8585    55088   186842 | 2147483647   157253     42 |  0.256 % |
1123.59/1124.37	c |   1215048 |    8585    55088   186842 | 2147483647   158948     42 |  0.256 % |
1126.49/1127.27	c |   1216911 |    8585    55088   186842 | 2147483647   160811     42 |  0.256 % |
1128.59/1129.30	c |   1218960 |    8585    55088   186842 | 2147483647   162860     42 |  0.256 % |
1130.49/1131.27	c |   1221213 |    8585    55088   186842 | 2147483647   165113     43 |  0.256 % |
1133.49/1134.26	c |   1223691 |    8585    55088   186842 | 2147483647   167591     43 |  0.256 % |
1137.39/1138.11	c |   1226419 |    8585    55088   186842 | 2147483647   170319     43 |  0.256 % |
1140.09/1140.80	c |   1229417 |    8585    55088   186842 | 2147483647   173317     43 |  0.256 % |
1143.58/1144.39	c |   1232714 |    8585    55088   186842 | 2147483647   176614     43 |  0.256 % |
1146.18/1146.92	c |   1236341 |    8585    55088   186842 | 2147483647   180241     43 |  0.256 % |
1149.28/1150.03	c |   1240329 |    8585    55088   186842 |   183901   184229     43 |  0.256 % |
1156.27/1157.10	c |   1244715 |    8585    55088   186842 |   183901   170138     42 |  0.256 % |
1160.47/1161.27	c |   1249538 |    8585    55088   186842 |   183901   174961     42 |  0.256 % |
1166.17/1167.00	c |   1254843 |    8585    55088   186842 | 2147483647   180266     43 |  0.256 % |
1168.27/1169.06	c |   1260680 |    8585    55088   186842 | 2147483647   186103     42 |  0.256 % |
1175.66/1176.41	c |   1267099 |    8585    55088   186842 | 2147483647   192522     43 |  0.256 % |
1187.46/1188.28	c |   1274159 |    8585    55088   186842 |   195425   199582     44 |  0.256 % |
1195.55/1196.36	c |   1281924 |    8585    55088   186842 |   166986   168908     42 |  0.256 % |

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-1832387-1242772749/watcher-1832387-1242772749 -o /tmp/evaluation-result-1832387-1242772749/solver-1832387-1242772749 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832387-1242772749.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305309045 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 206381482066 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/26102/statm: 1339 235 195 169 0 50 0
[pid=26103] ppid=26102 vsize=5356 CPUtime=0
/proc/26103/stat : 26103 (SatELiteGTI) S 26102 26102 25926 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305309045 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/26103/statm: 1339 238 198 169 0 50 0
[pid=26105] ppid=26103 vsize=184 CPUtime=0
/proc/26105/stat : 26105 (sed) R 26103 26102 25926 0 -1 4194304 27 0 0 0 0 0 0 0 21 0 1 0 305309045 188416 8 1992294400 4194304 4240196 548682069056 18446744073709551615 206378662224 0 0 4096 0 0 0 0 17 1 0 0
/proc/26105/statm: 48 18 11 11 0 11 0

[startup+0.060441 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305309045 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26102/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101446 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305309045 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26102/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301492 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356

[startup+0.701568 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1966424/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=5872 CPUtime=1.24
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 1318 0 0 0 124 0 0 0 25 0 1 0 305309066 6012928 1304 1992294400 134512640 135215339 4294956240 18446744073709551615 134529139 0 0 4096 3 0 0 0 17 1 0 0
/proc/26108/statm: 1468 1304 77 171 0 1295 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 11228

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1965464/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=6988 CPUtime=2.84
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 1593 0 0 0 283 1 0 0 25 0 1 0 305309066 7155712 1579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 1747 1579 77 171 0 1574 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 12344

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1963160/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=9068 CPUtime=6.04
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 2134 0 0 0 602 2 0 0 25 0 1 0 305309066 9285632 2120 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 2267 2120 77 171 0 2094 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 14424

[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1959264/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=12848 CPUtime=12.43
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 3071 0 0 0 1241 2 0 0 25 0 1 0 305309066 13156352 3057 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 3212 3057 77 171 0 3039 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 18204

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1952544/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=19372 CPUtime=25.22
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 4705 0 0 0 2517 5 0 0 25 0 1 0 305309066 19836928 4691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 4843 4691 77 171 0 4670 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 24728

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1942560/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=29444 CPUtime=50.78
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 7216 0 0 0 5070 8 0 0 25 0 1 0 305309066 30150656 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 7361 7202 77 171 0 7188 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 34800

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1927776/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=44064 CPUtime=101.96
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 10811 0 0 0 10184 12 0 0 25 0 1 0 305309066 45121536 10797 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 11016 10797 77 171 0 10843 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 49420

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1922848/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=49196 CPUtime=161.93
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12028 0 0 0 16180 13 0 0 25 0 1 0 305309066 50376704 12014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12299 12014 77 171 0 12126 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 54552

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1922336/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=49388 CPUtime=221.89
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12070 0 0 0 22176 13 0 0 25 0 1 0 305309066 50573312 12056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12347 12056 77 171 0 12174 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 54744

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1921952/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=50040 CPUtime=281.86
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12194 0 0 0 28173 13 0 0 25 0 1 0 305309066 51240960 12180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12510 12180 77 171 0 12337 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 55396

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1921760/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=50180 CPUtime=341.84
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12244 0 0 0 34171 13 0 0 25 0 1 0 305309066 51384320 12230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12545 12230 77 171 0 12372 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 55536

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920800/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51088 CPUtime=401.8

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

/proc/26108/statm: 12808 12461 77 171 0 12635 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 56588

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920352/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51232 CPUtime=581.7
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12484 0 0 0 58156 14 0 0 25 0 1 0 305309066 52461568 12470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12808 12470 77 171 0 12635 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 56588

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920032/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51448 CPUtime=641.68
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12545 0 0 0 64153 15 0 0 25 0 1 0 305309066 52682752 12531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12862 12531 77 171 0 12689 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 56804

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919712/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51628 CPUtime=701.65
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12575 0 0 0 70150 15 0 0 25 0 1 0 305309066 52867072 12561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12907 12561 77 171 0 12734 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 56984

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919520/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=761.61
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12591 0 0 0 76146 15 0 0 25 0 1 0 305309066 53010432 12577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12577 77 171 0 12769 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 57124

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=821.57
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12611 0 0 0 82142 15 0 0 25 0 1 0 305309066 53010432 12597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12597 77 171 0 12769 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 57124

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919328/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=881.54
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12615 0 0 0 88139 15 0 0 25 0 1 0 305309066 53010432 12601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12601 77 171 0 12769 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 57124

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919072/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51924 CPUtime=941.5
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12641 0 0 0 94135 15 0 0 25 0 1 0 305309066 53170176 12627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12981 12627 77 171 0 12808 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 57280

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919008/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51924 CPUtime=1001.47
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12645 0 0 0 100131 16 0 0 25 0 1 0 305309066 53170176 12631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12981 12631 77 171 0 12808 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 57280

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918880/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1061.43
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12672 0 0 0 106127 16 0 0 25 0 1 0 305309066 53362688 12658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12658 77 171 0 12855 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 57468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918752/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1121.39
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12675 0 0 0 112123 16 0 0 25 0 1 0 305309066 53362688 12661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12661 77 171 0 12855 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 57468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918560/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1181.36
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12704 0 0 0 118120 16 0 0 25 0 1 0 305309066 53362688 12690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12690 77 171 0 12855 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 57468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918496/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1199.85
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12704 0 0 0 119969 16 0 0 25 0 1 0 305309066 53362688 12690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12690 77 171 0 12855 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 57468

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.17
CPU usage (%): 99.9364
Max. virtual memory (cumulated for all children) (KiB): 57468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.19497
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2308
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= 16
involuntary context switches= 9

runsolver used 1.08583 second user time and 3.40648 second system time

The end

Launcher Data

Begin job on node2 at 2009-05-20 00:39:09
IDJOB=1832387
IDBENCH=69560
IDSOLVER=671
FILE ID=node2/1832387-1242772749
PBS_JOBID= 9322296
Free space on /tmp= 66424 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-x1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832387-1242772749/watcher-1832387-1242772749 -o /tmp/evaluation-result-1832387-1242772749/solver-1832387-1242772749 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832387-1242772749.cnf

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

MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED=195091390

node2.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.265
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.265
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:       1972872 kB
Buffers:         11844 kB
Cached:          35892 kB
SwapCached:       6596 kB
Active:          22676 kB
Inactive:        33748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1972872 kB
SwapTotal:     4192956 kB
SwapFree:      4180404 kB
Dirty:            2536 kB
Writeback:           0 kB
Mapped:          13956 kB
Slab:            12572 kB
Committed_AS:  1280596 kB
PageTables:       1476 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= 66420 MiB
End job on node2 at 2009-05-20 00:59:12