Trace number 1820729

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 r-2009-03-18? (TO) 1200.08 1200.03

General information on the benchmark

Namegoldb-heqc-frg1mul.cnf
MD5SUM4984fea7abc49dd7f6973cd779e805d7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3230
Number of clauses20575
Sum of the clauses size69606
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24746
Number of clauses of size 39516
Number of clauses of size 40
Number of clauses of size 56312
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   20575    69606 |    6172       0        0     nan |  0.000 % |
0.04/0.06	c |         0 |   20567    69669 |      --       0       --      -- |     --   | -8/63
0.04/0.06	c ==============================================================================
0.04/0.06	c Result  :   #vars: 3221   #clauses: 20567   #literals: 69669
0.04/0.06	c CPU time:   0.05 s
0.04/0.06	c ==============================================================================
0.04/0.08	c This is MiniSat 2.0 beta
0.04/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.04/0.08	c ============================[ Problem Statistics ]=============================
0.04/0.08	c |                                                                             |
0.04/0.08	c |  Number of variables:  3221                                                 |
0.04/0.08	c |  Number of clauses:    20567                                                |
0.04/0.10	c |  Parsing time:         0.01         s                                       |
0.04/0.10	c ============================[ Search Statistics ]==============================
0.04/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.04/0.10	c ===============================================================================
0.04/0.10	c |         0 |    3221    20567    69669 |     6855        0    nan |  0.000 % |
0.08/0.14	c |       512 |    3221    20567    69669 |     6855      512     25 |  0.002 % |
0.08/0.19	c |      1024 |    3221    20567    69669 |     6855     1024     26 |  0.000 % |
0.08/0.24	c |      1536 |    3220    20559    69645 |     6855     1528     30 |  0.031 % |
0.08/0.34	c |      2560 |    3220    20559    69645 |     6855     2552     33 |  0.031 % |
0.08/0.39	c |      3072 |    3220    20559    69645 |     6855     3064     32 |  0.032 % |
0.08/0.45	c |      3585 |    3220    20559    69645 |     6855     3577     31 |  0.031 % |
0.08/0.57	c |      4612 |    3220    20559    69645 |     6855     4604     38 |  0.031 % |
0.08/0.86	c |      6660 |    3220    20559    69645 |     6855     6652     40 |  0.032 % |
0.08/0.93	c |      7172 |    3220    20559    69645 |     6855     7164     41 |  0.032 % |
1.00/1.01	c |      7685 |    3220    20559    69645 |     6855     6961     41 |  0.031 % |
1.11/1.15	c |      8710 |    3220    20559    69645 |     6855     7290     39 |  0.033 % |
1.20/1.21	c |      9222 |    3220    20559    69645 |     6855     7073     40 |  0.031 % |
1.20/1.30	c |      9734 |    3220    20559    69645 |     6855     6878     39 |  0.031 % |
1.40/1.43	c |     10759 |    3220    20559    69645 | 2147483647     7216     38 |  0.031 % |
1.70/1.76	c |     12807 |    3220    20559    69645 | 2147483647     9264     40 |  0.031 % |
2.40/2.47	c |     16903 |    3220    20559    69645 | 2147483647    13360     42 |  0.031 % |
2.50/2.56	c |     17418 |    3220    20559    69645 | 2147483647    13875     42 |  0.031 % |
2.60/2.68	c |     17932 |    3220    20559    69645 | 2147483647    14389     43 |  0.031 % |
2.80/2.88	c |     18957 |    3220    20559    69645 | 2147483647    15414     44 |  0.031 % |
2.90/2.95	c |     19470 |    3220    20559    69645 | 2147483647    15927     44 |  0.031 % |
3.00/3.05	c |     19983 |    3220    20559    69645 | 2147483647    16440     45 |  0.031 % |
3.20/3.29	c |     21007 |    3220    20559    69645 | 2147483647    17464     45 |  0.031 % |
3.70/3.78	c |     23055 |    3220    20559    69645 | 2147483647    19512     46 |  0.032 % |
3.80/3.90	c |     23567 |    3220    20559    69645 | 2147483647    20024     46 |  0.031 % |
4.00/4.03	c |     24080 |    3220    20559    69645 | 2147483647    20537     46 |  0.031 % |
4.20/4.30	c |     25104 |    3220    20559    69645 | 2147483647    21561     46 |  0.031 % |
4.41/4.43	c |     25617 |    3220    20559    69645 | 2147483647    22074     46 |  0.032 % |
4.50/4.57	c |     26130 |    3220    20559    69645 | 2147483647    22587     46 |  0.032 % |
4.80/4.86	c |     27155 |    3220    20559    69645 | 2147483647    23612     46 |  0.032 % |
5.40/5.48	c |     29206 |    3220    20559    69645 | 2147483647    25663     46 |  0.031 % |
6.70/6.71	c |     33304 |    3220    20559    69645 | 2147483647    29761     47 |  0.031 % |
9.70/9.72	c |     41497 |    3220    20559    69645 |    36457    32224     47 |  0.031 % |
9.91/9.92	c |     42010 |    3220    20559    69645 |    36457    32737     47 |  0.031 % |
10.00/10.08	c |     42522 |    3220    20559    69645 |    36457    33249     48 |  0.032 % |
10.40/10.50	c |     43547 |    3220    20559    69645 |    36457    34274     48 |  0.032 % |
10.60/10.68	c |     44060 |    3220    20559    69645 |    36457    34787     48 |  0.031 % |
10.80/10.86	c |     44572 |    3220    20559    69645 |    36457    35299     48 |  0.032 % |
11.30/11.31	c |     45596 |    3220    20559    69645 |    36457    36323     49 |  0.032 % |
12.00/12.01	c |     47645 |    3220    20559    69645 |    36457    31118     45 |  0.032 % |
12.11/12.19	c |     48158 |    3220    20559    69645 |    36457    31631     45 |  0.031 % |
12.30/12.38	c |     48671 |    3220    20559    69645 |    36457    32144     45 |  0.031 % |
12.80/12.87	c |     49695 |    3220    20559    69645 |    36457    33168     45 |  0.031 % |
13.00/13.09	c |     50208 |    3220    20559    69645 |    33475    33681     45 |  0.033 % |
13.30/13.32	c |     50721 |    3220    20559    69645 |    33475    27883     44 |  0.032 % |
13.60/13.61	c |     51747 |    3220    20559    69645 |    33475    28909     44 |  0.031 % |
14.10/14.19	c |     53797 |    3219    20550    69615 |    33475    30957     44 |  0.064 % |
15.90/15.96	c |     57894 |    3219    20550    69615 |    33475    35054     45 |  0.063 % |
16.10/16.19	c |     58406 |    3219    20550    69615 |    33475    28658     43 |  0.062 % |
16.30/16.38	c |     58918 |    3219    20550    69615 |    33475    29170     43 |  0.062 % |
16.60/16.66	c |     59942 |    3219    20550    69615 |    33475    30194     43 |  0.062 % |
16.80/16.84	c |     60456 |    3219    20550    69615 |    30252    30708     43 |  0.062 % |
16.90/16.98	c |     60968 |    3219    20550    69615 |    30252    25345     39 |  0.064 % |
17.20/17.24	c |     61993 |    3219    20550    69615 |    30252    26370     39 |  0.062 % |
17.90/17.93	c |     64042 |    3219    20550    69615 |    30252    28419     40 |  0.062 % |
18.00/18.09	c |     64555 |    3219    20550    69615 |    30252    28932     40 |  0.064 % |
18.20/18.27	c |     65068 |    3219    20550    69615 |    30252    29445     40 |  0.063 % |
18.50/18.52	c |     66092 |    3219    20550    69615 |    30252    30469     40 |  0.064 % |
18.71/18.71	c |     66605 |    3219    20550    69615 |    30252    25668     38 |  0.063 % |
18.80/18.87	c |     67117 |    3219    20550    69615 |    30252    26180     38 |  0.062 % |
19.10/19.17	c |     68141 |    3219    20550    69615 |    30252    27204     39 |  0.063 % |
19.81/19.82	c |     70189 |    3219    20550    69615 |    29063    29252     41 |  0.063 % |
21.20/21.24	c |     74285 |    3219    20550    69615 |    29063    28290     43 |  0.062 % |
24.00/24.05	c |     82478 |    3219    20550    69615 |    28698    26312     44 |  0.062 % |
29.20/29.29	c |     98864 |    3219    20550    69615 |    28918    25866     43 |  0.062 % |
29.40/29.43	c |     99377 |    3219    20550    69615 |    28918    26379     43 |  0.063 % |
29.50/29.60	c |     99890 |    3219    20550    69615 |    28918    26892     42 |  0.062 % |
29.80/29.81	c |    100914 |    3219    20550    69615 |    27003    23872     41 |  0.062 % |
29.90/29.94	c |    101426 |    3219    20550    69615 |    27003    24384     42 |  0.063 % |
30.00/30.08	c |    101939 |    3219    20550    69615 |    27003    24897     42 |  0.062 % |
30.30/30.35	c |    102967 |    3218    20541    69585 |    27003    25908     41 |  0.093 % |
31.00/31.08	c |    105015 |    3218    20541    69585 |    27003    24803     41 |  0.093 % |
31.20/31.23	c |    105528 |    3218    20541    69585 |    27003    25316     41 |  0.094 % |
31.30/31.37	c |    106041 |    3218    20541    69585 |    27003    25829     41 |  0.095 % |
31.80/31.87	c |    107066 |    3218    20541    69585 |    27003    26854     42 |  0.093 % |
32.00/32.08	c |    107580 |    3217    20531    69552 |    27003    27364     42 |  0.125 % |
32.20/32.24	c |    108092 |    3217    20531    69552 |    27003    24362     41 |  0.125 % |
32.50/32.55	c |    109116 |    3217    20531    69552 |    27003    25386     41 |  0.124 % |
33.10/33.13	c |    111164 |    3217    20531    69552 |    26270    24756     40 |  0.125 % |
34.50/34.58	c |    115260 |    3217    20531    69552 |    26270    26113     40 |  0.124 % |
34.70/34.76	c |    115772 |    3217    20531    69552 |    26270    23986     39 |  0.125 % |
34.90/34.93	c |    116284 |    3217    20531    69552 |    26270    24498     39 |  0.125 % |
35.10/35.18	c |    117310 |    3217    20531    69552 |    26270    25524     40 |  0.124 % |
35.30/35.36	c |    117822 |    3217    20531    69552 |    26270    26036     40 |  0.125 % |
35.41/35.51	c |    118334 |    3217    20531    69552 |    26270    26548     40 |  0.125 % |
35.71/35.77	c |    119359 |    3217    20531    69552 |    26270    24911     40 |  0.125 % |
36.31/36.37	c |    121407 |    3217    20531    69552 | 2147483647    26959     41 |  0.124 % |
36.51/36.55	c |    121919 |    3217    20531    69552 | 2147483647    27471     41 |  0.124 % |
36.71/36.73	c |    122433 |    3217    20531    69552 | 2147483647    27985     41 |  0.125 % |
37.01/37.01	c |    123457 |    3217    20531    69552 | 2147483647    29009     41 |  0.124 % |
37.11/37.16	c |    123969 |    3217    20531    69552 | 2147483647    29521     42 |  0.124 % |
37.21/37.31	c |    124481 |    3217    20531    69552 | 2147483647    30033     42 |  0.126 % |
37.61/37.63	c |    125505 |    3217    20531    69552 | 2147483647    31057     42 |  0.125 % |
38.21/38.25	c |    127553 |    3217    20531    69552 | 2147483647    33105     43 |  0.125 % |
39.91/39.91	c |    131651 |    3217    20531    69552 |    35552    30562     45 |  0.125 % |
43.01/43.02	c |    139843 |    3217    20531    69552 |    35552    32751     44 |  0.125 % |
43.21/43.24	c |    140355 |    3217    20531    69552 |    32908    33263     44 |  0.125 % |
43.41/43.45	c |    140867 |    3217    20531    69552 |    32908    28342     42 |  0.124 % |
43.81/43.82	c |    141891 |    3217    20531    69552 |    32908    29366     43 |  0.125 % |
43.91/43.99	c |    142405 |    3217    20531    69552 |    32908    29880     43 |  0.125 % |
44.11/44.16	c |    142917 |    3217    20531    69552 |    32908    30392     43 |  0.124 % |
44.41/44.47	c |    143941 |    3217    20531    69552 |    32908    31416     43 |  0.124 % |
45.01/45.11	c |    145989 |    3217    20531    69552 |    32908    33464     44 |  0.125 % |
45.31/45.32	c |    146501 |    3217    20531    69552 |    32908    28494     43 |  0.124 % |
45.41/45.47	c |    147013 |    3217    20531    69552 |    32908    29006     43 |  0.125 % |
45.71/45.71	c |    148037 |    3217    20531    69552 |    32908    30030     43 |  0.125 % |
45.81/45.86	c |    148549 |    3217    20531    69552 |    32908    30542     43 |  0.125 % |
46.01/46.03	c |    149062 |    3217    20531    69552 |    32908    31055     44 |  0.125 % |
46.41/46.42	c |    150086 |    3217    20531    69552 |    31993    32079     44 |  0.127 % |
47.11/47.13	c |    152134 |    3217    20531    69552 |    31993    29154     42 |  0.125 % |
48.41/48.46	c |    156230 |    3217    20531    69552 |    31993    33250     44 |  0.124 % |
48.61/48.64	c |    156742 |    3217    20531    69552 |    31993    27294     41 |  0.124 % |
48.71/48.77	c |    157254 |    3217    20531    69552 |    31993    27806     41 |  0.124 % |
49.01/49.11	c |    158279 |    3217    20531    69552 |    31993    28831     41 |  0.125 % |
49.21/49.25	c |    158791 |    3217    20531    69552 |    31993    29343     41 |  0.124 % |
49.41/49.43	c |    159305 |    3217    20531    69552 |    31993    29857     41 |  0.125 % |
49.71/49.75	c |    160330 |    3217    20531    69552 |    30553    30882     41 |  0.126 % |
50.41/50.42	c |    162378 |    3217    20531    69552 |    30553    27218     40 |  0.124 % |
50.51/50.56	c |    162890 |    3217    20531    69552 |    30553    27730     40 |  0.126 % |
50.71/50.71	c |    163403 |    3217    20531    69552 |    30553    28243     40 |  0.126 % |
51.01/51.04	c |    164427 |    3217    20531    69552 |    30553    29267     40 |  0.125 % |
51.11/51.18	c |    164939 |    3217    20531    69552 |    30553    29779     41 |  0.126 % |
51.31/51.32	c |    165451 |    3217    20531    69552 |    30553    30291     41 |  0.125 % |
51.51/51.61	c |    166477 |    3217    20531    69552 |    30553    31317     42 |  0.125 % |
52.31/52.34	c |    168525 |    3217    20531    69552 |    30553    27731     42 |  0.125 % |
53.61/53.62	c |    172622 |    3217    20531    69552 |    29207    26416     42 |  0.124 % |
56.41/56.48	c |    180814 |    3217    20531    69552 |    29155    25069     42 |  0.124 % |
62.11/62.16	c |    197198 |    3217    20531    69552 |    28914    29903     47 |  0.125 % |
74.11/74.20	c |    229970 |    3217    20531    69552 |    29305    27241     48 |  0.125 % |
74.41/74.43	c |    230484 |    3217    20531    69552 |    27271    27755     48 |  0.124 % |
74.61/74.62	c |    230996 |    3217    20531    69552 |    27271    22387     46 |  0.124 % |
74.91/74.96	c |    232020 |    3217    20531    69552 |    27271    23411     47 |  0.124 % |
75.01/75.09	c |    232532 |    3217    20531    69552 |    27271    23923     47 |  0.125 % |
75.21/75.26	c |    233044 |    3216    20526    69529 |    27271    24386     47 |  0.156 % |
75.51/75.60	c |    234068 |    3216    20526    69529 |    27271    25410     47 |  0.156 % |
76.21/76.28	c |    236116 |    3216    20526    69529 |    27271    27458     47 |  0.157 % |
76.51/76.52	c |    236628 |    3216    20526    69529 |    27271    22762     44 |  0.155 % |
76.61/76.66	c |    237142 |    3216    20526    69529 |    27271    23276     44 |  0.156 % |
76.91/76.91	c |    238166 |    3216    20526    69529 |    27271    24300     44 |  0.155 % |
77.01/77.04	c |    238678 |    3216    20526    69529 |    27271    24812     44 |  0.155 % |
77.11/77.18	c |    239190 |    3216    20526    69529 |    27271    25324     44 |  0.155 % |
77.41/77.41	c |    240214 |    3216    20526    69529 |    26134    26348     44 |  0.155 % |
77.91/77.94	c |    242263 |    3216    20526    69529 |    26134    24432     42 |  0.155 % |
78.91/78.94	c |    246359 |    3216    20526    69529 |    26134    25746     40 |  0.156 % |
79.01/79.04	c |    246873 |    3216    20526    69529 |    26134    26260     40 |  0.155 % |
79.11/79.20	c |    247387 |    3216    20526    69529 |    26134    24055     39 |  0.156 % |
79.51/79.55	c |    248411 |    3216    20526    69529 |    26134    25079     40 |  0.156 % |
79.61/79.70	c |    248923 |    3216    20526    69529 |    26134    25591     41 |  0.156 % |
79.81/79.86	c |    249436 |    3216    20526    69529 |    26134    26104     41 |  0.155 % |
80.21/80.21	c |    250461 |    3216    20526    69529 |    26668    24007     41 |  0.156 % |
80.71/80.79	c |    252509 |    3216    20526    69529 |    26668    26055     41 |  0.155 % |
80.91/80.93	c |    253022 |    3216    20526    69529 |    26668    26568     42 |  0.157 % |
81.01/81.06	c |    253535 |    3216    20526    69529 |    26668    27081     42 |  0.156 % |
81.31/81.36	c |    254559 |    3216    20526    69529 |    26668    25007     41 |  0.155 % |
81.51/81.52	c |    255071 |    3216    20526    69529 |    26668    25519     41 |  0.156 % |
81.61/81.66	c |    255583 |    3216    20526    69529 |    26668    26031     41 |  0.156 % |
81.91/81.97	c |    256607 |    3216    20526    69529 |    26668    27055     41 |  0.156 % |
82.51/82.59	c |    258655 |    3216    20526    69529 |    26668    25544     41 |  0.155 % |
83.91/83.94	c |    262752 |    3216    20526    69529 |    26890    25838     43 |  0.156 % |
87.11/87.21	c |    270944 |    3216    20526    69529 |    25524    26466     46 |  0.156 % |
87.31/87.38	c |    271456 |    3216    20526    69529 |    25524    22462     46 |  0.156 % |
87.51/87.56	c |    271968 |    3216    20526    69529 |    25524    22974     46 |  0.155 % |
87.81/87.86	c |    272992 |    3216    20526    69529 |    25524    23998     45 |  0.156 % |
88.01/88.06	c |    273505 |    3216    20526    69529 |    25524    24511     45 |  0.157 % |
88.11/88.20	c |    274017 |    3216    20526    69529 |    25524    25023     45 |  0.155 % |
88.41/88.48	c |    275041 |    3216    20526    69529 |    25524    26047     45 |  0.156 % |
89.11/89.12	c |    277089 |    3216    20526    69529 |    25524    24562     46 |  0.156 % |
89.21/89.27	c |    277601 |    3216    20526    69529 |    25524    25074     46 |  0.156 % |
89.41/89.44	c |    278114 |    3216    20526    69529 |    25524    25587     46 |  0.155 % |
89.81/89.83	c |    279139 |    3216    20526    69529 |    25524    22909     42 |  0.156 % |
89.91/89.95	c |    279651 |    3216    20526    69529 |    25524    23421     41 |  0.155 % |
90.01/90.06	c |    280164 |    3216    20526    69529 |    23771    23934     42 |  0.156 % |
90.21/90.30	c |    281188 |    3216    20526    69529 |    23771    21723     39 |  0.156 % |
90.91/90.97	c |    283237 |    3216    20526    69529 |    23771    23772     39 |  0.155 % |
91.91/91.96	c |    287333 |    3216    20526    69529 |    23771    22954     37 |  0.157 % |
92.11/92.12	c |    287845 |    3216    20526    69529 |    23771    23466     37 |  0.156 % |
92.21/92.29	c |    288360 |    3216    20526    69529 |    23771    23981     37 |  0.156 % |
92.51/92.57	c |    289386 |    3216    20526    69529 |    23771    22609     36 |  0.156 % |
92.61/92.71	c |    289899 |    3216    20526    69529 |    23771    23122     36 |  0.155 % |
92.81/92.84	c |    290411 |    3216    20526    69529 | 2147483647    23634     36 |  0.155 % |
93.01/93.11	c |    291435 |    3216    20526    69529 | 2147483647    24658     36 |  0.156 % |
93.71/93.71	c |    293486 |    3216    20526    69529 | 2147483647    26709     37 |  0.155 % |
93.81/93.90	c |    293998 |    3216    20526    69529 | 2147483647    27221     37 |  0.155 % |
94.01/94.08	c |    294510 |    3216    20526    69529 | 2147483647    27733     37 |  0.156 % |
94.31/94.34	c |    295536 |    3216    20526    69529 | 2147483647    28759     38 |  0.155 % |
94.41/94.45	c |    296048 |    3216    20526    69529 | 2147483647    29271     38 |  0.156 % |
94.51/94.60	c |    296561 |    3216    20526    69529 | 2147483647    29784     38 |  0.156 % |
94.91/94.98	c |    297585 |    3216    20526    69529 | 2147483647    30808     38 |  0.156 % |
95.61/95.67	c |    299634 |    3215    20521    69506 | 2147483647    32844     39 |  0.187 % |
97.11/97.12	c |    303732 |    3215    20521    69506 |    33211    31098     42 |  0.186 % |
100.21/100.27	c |    311926 |    3215    20521    69506 |    31123    27211     45 |  0.186 % |
106.41/106.44	c |    328310 |    3215    20521    69506 |    30193    28574     40 |  0.187 % |
106.51/106.60	c |    328823 |    3215    20521    69506 |    30193    29087     40 |  0.186 % |
106.72/106.76	c |    329337 |    3215    20521    69506 |    30193    29601     40 |  0.186 % |
107.11/107.20	c |    330361 |    3215    20521    69506 |    30264    30625     40 |  0.188 % |
107.31/107.37	c |    330873 |    3215    20521    69506 |    30264    26004     38 |  0.186 % |
107.51/107.52	c |    331385 |    3215    20521    69506 |    30264    26516     38 |  0.187 % |
107.71/107.81	c |    332412 |    3215    20521    69506 |    30264    27543     38 |  0.186 % |
108.41/108.43	c |    334460 |    3215    20521    69506 |    30264    29591     38 |  0.186 % |
108.51/108.57	c |    334973 |    3215    20521    69506 |    30264    30104     39 |  0.187 % |
108.71/108.71	c |    335485 |    3215    20521    69506 |    30264    30616     39 |  0.186 % |
108.92/109.00	c |    336510 |    3215    20521    69506 |    30264    27466     38 |  0.187 % |
109.11/109.19	c |    337022 |    3214    20516    69483 |    30264    27971     38 |  0.217 % |
109.31/109.37	c |    337534 |    3214    20516    69483 |    30264    28483     38 |  0.218 % |
109.61/109.64	c |    338558 |    3214    20516    69483 |    30264    29507     39 |  0.218 % |
110.41/110.44	c |    340606 |    3214    20516    69483 |    30950    27152     38 |  0.218 % |
111.81/111.84	c |    344703 |    3214    20516    69483 |    30950    31249     40 |  0.218 % |
112.01/112.04	c |    345216 |    3214    20516    69483 |    30950    26733     39 |  0.217 % |
112.11/112.18	c |    345728 |    3214    20516    69483 |    30950    27245     39 |  0.217 % |
112.41/112.44	c |    346752 |    3214    20516    69483 |    30950    28269     39 |  0.217 % |
112.51/112.60	c |    347264 |    3214    20516    69483 |    30950    28781     39 |  0.217 % |
112.71/112.75	c |    347776 |    3214    20516    69483 |    30950    29293     39 |  0.217 % |
113.01/113.05	c |    348800 |    3214    20516    69483 |    30950    30317     40 |  0.218 % |
113.81/113.84	c |    350848 |    3214    20516    69483 |    31517    32365     41 |  0.218 % |
114.01/114.09	c |    351360 |    3214    20516    69483 |    31517    27778     40 |  0.217 % |
114.21/114.23	c |    351873 |    3214    20516    69483 |    31517    28291     40 |  0.219 % |
114.51/114.60	c |    352897 |    3214    20516    69483 |    31517    29315     40 |  0.217 % |
114.71/114.79	c |    353409 |    3214    20516    69483 |    31517    29827     40 |  0.217 % |
114.91/114.94	c |    353922 |    3214    20516    69483 |    31517    30340     40 |  0.218 % |
115.21/115.24	c |    354946 |    3214    20516    69483 |    31517    31364     41 |  0.218 % |
116.01/116.01	c |    356994 |    3214    20516    69483 |    31517    28856     40 |  0.217 % |
117.72/117.74	c |    361090 |    3214    20516    69483 |    31864    32952     41 |  0.217 % |
121.41/121.50	c |    369282 |    3214    20516    69483 |    31864    30868     39 |  0.218 % |
121.61/121.70	c |    369795 |    3214    20516    69483 |    31864    31381     40 |  0.217 % |
121.81/121.86	c |    370308 |    3214    20516    69483 |    31586    31894     40 |  0.217 % |
122.12/122.18	c |    371333 |    3214    20516    69483 |    31586    27567     39 |  0.217 % |
122.31/122.32	c |    371846 |    3214    20516    69483 |    31586    28080     39 |  0.218 % |
122.41/122.49	c |    372358 |    3214    20516    69483 |    31586    28592     39 |  0.218 % |
122.71/122.77	c |    373382 |    3214    20516    69483 |    31586    29616     40 |  0.218 % |
123.22/123.29	c |    375431 |    3214    20516    69483 |    31586    31665     39 |  0.219 % |
123.41/123.49	c |    375943 |    3214    20516    69483 |    31586    27389     39 |  0.218 % |
123.61/123.65	c |    376457 |    3214    20516    69483 |    31586    27903     39 |  0.219 % |
123.91/123.98	c |    377482 |    3214    20516    69483 |    31586    28928     39 |  0.219 % |
124.11/124.15	c |    377994 |    3213    20508    69459 |    31586    29439     39 |  0.249 % |
124.21/124.29	c |    378506 |    3213    20508    69459 |    31586    29951     39 |  0.248 % |
124.51/124.60	c |    379530 |    3213    20508    69459 |    31586    30975     40 |  0.248 % |
125.31/125.31	c |    381578 |    3213    20508    69459 |    31445    33023     41 |  0.249 % |
126.52/126.53	c |    385676 |    3213    20508    69459 |    31445    30823     40 |  0.248 % |
126.61/126.70	c |    386189 |    3213    20508    69459 |    31445    31336     40 |  0.250 % |
126.81/126.83	c |    386704 |    3213    20508    69459 |    31445    31851     40 |  0.249 % |
127.11/127.11	c |    387731 |    3213    20508    69459 |    31445    27854     39 |  0.249 % |
127.31/127.31	c |    388243 |    3213    20508    69459 |    31445    28366     39 |  0.249 % |
127.41/127.48	c |    388755 |    3213    20508    69459 |    31445    28878     39 |  0.249 % |
127.71/127.81	c |    389779 |    3213    20508    69459 |    31445    29902     40 |  0.249 % |
128.41/128.43	c |    391828 |    3213    20508    69459 |    30123    27395     39 |  0.249 % |
128.51/128.61	c |    392341 |    3213    20508    69459 |    30123    27908     39 |  0.248 % |
128.72/128.79	c |    392854 |    3213    20508    69459 |    30123    28421     39 |  0.248 % |
129.11/129.17	c |    393878 |    3213    20508    69459 |    30123    29445     39 |  0.249 % |
129.31/129.32	c |    394392 |    3213    20508    69459 |    30123    29959     39 |  0.248 % |
129.41/129.48	c |    394905 |    3213    20508    69459 |    30123    30472     39 |  0.249 % |
129.82/129.82	c |    395930 |    3213    20508    69459 |    30123    27716     39 |  0.248 % |
130.31/130.37	c |    397979 |    3213    20508    69459 |    30123    29765     40 |  0.249 % |
131.51/131.60	c |    402075 |    3213    20508    69459 |    27832    25988     37 |  0.249 % |
134.61/134.67	c |    410268 |    3213    20508    69459 |    26811    27079     36 |  0.249 % |
140.41/140.50	c |    426654 |    3213    20508    69459 |    26797    26318     37 |  0.249 % |
152.92/152.94	c |    459422 |    3213    20508    69459 |    25451    23465     41 |  0.249 % |
179.32/179.35	c |    524959 |    3213    20508    69459 |    29585    29517     41 |  0.249 % |
179.52/179.53	c |    525471 |    3213    20508    69459 |    29585    30029     41 |  0.250 % |
179.72/179.75	c |    525983 |    3213    20508    69459 |    29585    25272     39 |  0.250 % |
180.02/180.11	c |    527008 |    3213    20508    69459 |    29585    26297     39 |  0.248 % |
180.22/180.26	c |    527521 |    3213    20508    69459 |    29585    26810     39 |  0.248 % |
180.42/180.43	c |    528033 |    3213    20508    69459 |    29585    27322     39 |  0.249 % |
180.62/180.64	c |    529057 |    3213    20508    69459 |    29585    28346     39 |  0.250 % |
181.42/181.44	c |    531106 |    3212    20498    69426 |    29289    25138     39 |  0.279 % |
181.52/181.59	c |    531618 |    3212    20498    69426 |    29289    25650     39 |  0.280 % |
181.72/181.78	c |    532131 |    3212    20498    69426 |    29289    26163     39 |  0.280 % |
182.12/182.12	c |    533155 |    3212    20498    69426 |    29289    27187     39 |  0.279 % |
182.22/182.27	c |    533671 |    3212    20498    69426 |    29289    27703     39 |  0.279 % |
182.42/182.45	c |    534184 |    3212    20498    69426 |    29289    28216     40 |  0.280 % |
182.82/182.85	c |    535208 |    3212    20498    69426 |    29289    29240     40 |  0.279 % |
183.42/183.50	c |    537256 |    3212    20498    69426 |    29289    26993     39 |  0.279 % |
184.92/184.93	c |    541354 |    3212    20498    69426 |    29737    26972     38 |  0.280 % |
185.02/185.10	c |    541867 |    3212    20498    69426 |    29737    27485     38 |  0.281 % |
185.32/185.32	c |    542379 |    3212    20498    69426 |    29737    27997     38 |  0.279 % |
185.62/185.66	c |    543404 |    3212    20498    69426 |    29737    29022     38 |  0.281 % |
185.82/185.83	c |    543916 |    3212    20498    69426 |    29737    29534     39 |  0.280 % |
185.92/186.01	c |    544429 |    3212    20498    69426 |    29737    30047     39 |  0.280 % |
186.32/186.38	c |    545454 |    3212    20498    69426 |    29737    26840     38 |  0.281 % |
187.02/187.08	c |    547502 |    3212    20498    69426 |    29737    28888     38 |  0.281 % |
187.22/187.25	c |    548014 |    3212    20498    69426 |    29737    29400     38 |  0.280 % |
187.42/187.42	c |    548527 |    3212    20498    69426 |    29737    29913     38 |  0.280 % |
187.72/187.81	c |    549551 |    3212    20498    69426 |    29737    26539     38 |  0.280 % |
187.92/187.97	c |    550063 |    3212    20498    69426 |    26990    27051     38 |  0.280 % |
188.12/188.17	c |    550575 |    3212    20498    69426 |    26990    23326     36 |  0.280 % |
188.42/188.44	c |    551600 |    3212    20498    69426 |    26990    24351     37 |  0.281 % |
189.02/189.05	c |    553648 |    3212    20498    69426 |    26990    26399     37 |  0.280 % |
190.02/190.03	c |    557745 |    3212    20498    69426 |    26990    27404     35 |  0.281 % |
193.02/193.09	c |    565937 |    3212    20498    69426 | 2147483647    32856     42 |  0.279 % |
193.32/193.32	c |    566449 |    3212    20498    69426 | 2147483647    33368     42 |  0.280 % |
193.52/193.55	c |    566962 |    3212    20498    69426 | 2147483647    33881     42 |  0.281 % |
193.92/193.92	c |    567986 |    3212    20498    69426 | 2147483647    34905     42 |  0.280 % |
194.12/194.15	c |    568500 |    3212    20498    69426 | 2147483647    35419     42 |  0.281 % |
194.32/194.33	c |    569012 |    3212    20498    69426 | 2147483647    35931     43 |  0.281 % |
194.72/194.74	c |    570036 |    3212    20498    69426 |    36919    36955     43 |  0.280 % |
195.52/195.54	c |    572084 |    3212    20498    69426 |    36919    32121     43 |  0.280 % |
195.72/195.75	c |    572597 |    3212    20498    69426 |    36919    32634     43 |  0.280 % |
196.02/196.04	c |    573109 |    3212    20498    69426 |    36919    33146     43 |  0.280 % |
196.52/196.56	c |    574133 |    3212    20498    69426 |    36919    34170     44 |  0.281 % |
196.72/196.78	c |    574647 |    3212    20498    69426 |    36919    34684     44 |  0.281 % |
196.92/196.96	c |    575159 |    3212    20498    69426 |    36919    35196     44 |  0.281 % |
197.72/197.74	c |    576183 |    3212    20498    69426 |    36919    36220     44 |  0.279 % |
198.62/198.62	c |    578231 |    3212    20498    69426 |    36919    30655     44 |  0.280 % |
200.42/200.48	c |    582330 |    3212    20498    69426 |    32425    28274     42 |  0.281 % |
200.72/200.74	c |    582842 |    3212    20498    69426 |    32425    28786     42 |  0.281 % |
200.92/200.93	c |    583354 |    3212    20498    69426 |    32425    29298     42 |  0.279 % |
201.22/201.30	c |    584378 |    3211    20488    69393 |    32425    30297     42 |  0.310 % |
201.42/201.50	c |    584890 |    3211    20488    69393 |    32425    30809     43 |  0.311 % |
201.62/201.62	c |    585404 |    3211    20488    69393 |    32425    31323     42 |  0.311 % |
201.82/201.89	c |    586430 |    3211    20488    69393 |    32425    32349     43 |  0.312 % |
202.72/202.74	c |    588480 |    3211    20488    69393 |    32425    29083     40 |  0.310 % |
202.92/202.93	c |    588994 |    3211    20488    69393 |    32425    29597     40 |  0.311 % |
203.12/203.14	c |    589507 |    3211    20488    69393 |    32425    30110     40 |  0.310 % |
203.52/203.55	c |    590531 |    3211    20488    69393 |    30603    31134     41 |  0.312 % |
203.72/203.75	c |    591044 |    3211    20488    69393 |    30603    26511     38 |  0.311 % |
203.92/203.92	c |    591556 |    3211    20488    69393 |    30603    27023     39 |  0.311 % |
204.12/204.19	c |    592581 |    3211    20488    69393 |    30603    28048     39 |  0.312 % |
205.02/205.04	c |    594629 |    3211    20488    69393 |    30603    30096     41 |  0.311 % |
206.32/206.36	c |    598725 |    3211    20488    69393 |    30603    29295     38 |  0.311 % |
209.02/209.08	c |    606920 |    3211    20488    69393 |    30571    29336     36 |  0.310 % |
215.62/215.63	c |    623304 |    3211    20488    69393 |    27464    24291     55 |  0.311 % |
215.72/215.76	c |    623817 |    3211    20488    69393 |    27464    24804     54 |  0.311 % |
215.92/215.94	c |    624330 |    3211    20488    69393 |    27464    25317     54 |  0.311 % |
216.22/216.29	c |    625354 |    3211    20488    69393 |    27464    26341     54 |  0.312 % |
216.42/216.49	c |    625866 |    3211    20488    69393 |    27464    26853     54 |  0.312 % |
216.62/216.67	c |    626378 |    3211    20488    69393 |    27464    27365     53 |  0.312 % |
217.02/217.05	c |    627402 |    3211    20488    69393 |    27464    28389     53 |  0.311 % |
217.62/217.71	c |    629451 |    3211    20488    69393 |    27464    26562     51 |  0.312 % |
217.83/217.84	c |    629963 |    3211    20488    69393 |    27464    27074     51 |  0.312 % |
217.92/217.98	c |    630475 |    3211    20488    69393 |    27114    27586     51 |  0.310 % |
218.32/218.32	c |    631499 |    3211    20488    69393 |    27114    25329     46 |  0.311 % |
218.42/218.49	c |    632011 |    3211    20488    69393 |    27114    25841     45 |  0.311 % |
218.62/218.67	c |    632523 |    3211    20488    69393 |    27114    26353     45 |  0.312 % |
218.93/218.97	c |    633548 |    3211    20488    69393 |    27114    27378     45 |  0.311 % |
219.62/219.61	c |    635597 |    3211    20488    69393 |    27114    26048     43 |  0.312 % |
220.72/220.76	c |    639695 |    3211    20488    69393 |    27114    26608     39 |  0.312 % |
220.92/220.92	c |    640207 |    3211    20488    69393 |    26913    27120     39 |  0.312 % |
221.02/221.07	c |    640719 |    3211    20488    69393 |    26913    24282     36 |  0.312 % |
221.32/221.37	c |    641743 |    3211    20488    69393 |    26913    25306     36 |  0.310 % |
221.52/221.52	c |    642255 |    3211    20488    69393 |    26913    25818     36 |  0.312 % |
221.62/221.67	c |    642768 |    3211    20488    69393 |    26913    26331     36 |  0.312 % |
222.02/222.02	c |    643792 |    3211    20488    69393 |    26913    27355     36 |  0.311 % |
222.61/222.63	c |    645840 |    3211    20488    69393 |    26913    25866     35 |  0.311 % |
222.71/222.79	c |    646352 |    3211    20488    69393 |    26913    26378     36 |  0.310 % |
222.91/222.99	c |    646865 |    3211    20488    69393 |    26913    26891     36 |  0.311 % |
223.32/223.38	c |    647889 |    3211    20488    69393 |    26913    24427     35 |  0.312 % |
223.51/223.55	c |    648403 |    3211    20488    69393 |    26913    24941     35 |  0.312 % |
223.71/223.71	c |    648915 |    3211    20488    69393 |    26913    25453     35 |  0.311 % |
223.91/223.98	c |    649939 |    3211    20488    69393 |    26913    26477     35 |  0.312 % |
224.61/224.61	c |    651989 |    3211    20488    69393 |    26541    24495     34 |  0.311 % |
225.81/225.87	c |    656086 |    3211    20488    69393 |    26541    24789     34 |  0.311 % |
228.51/228.52	c |    664278 |    3211    20488    69393 |    24729    21543     37 |  0.311 % |
228.61/228.66	c |    664790 |    3211    20488    69393 |    24729    22055     37 |  0.312 % |
228.82/228.82	c |    665303 |    3211    20488    69393 |    24729    22568     37 |  0.311 % |
229.11/229.11	c |    666327 |    3211    20488    69393 |    24729    23592     38 |  0.311 % |
229.21/229.28	c |    666839 |    3211    20488    69393 |    24729    24104     38 |  0.311 % |
229.41/229.49	c |    667351 |    3211    20488    69393 |    24729    24616     38 |  0.311 % |
229.71/229.80	c |    668376 |    3211    20488    69393 |    24729    25641     38 |  0.312 % |
230.41/230.48	c |    670424 |    3211    20488    69393 |    23800    24224     38 |  0.312 % |
230.61/230.63	c |    670937 |    3211    20488    69393 |    23800    21585     37 |  0.312 % |
230.71/230.80	c |    671451 |    3211    20488    69393 |    23800    22099     38 |  0.312 % |
231.02/231.07	c |    672475 |    3211    20488    69393 |    23800    23123     39 |  0.312 % |
231.11/231.18	c |    672989 |    3211    20488    69393 |    23800    23637     39 |  0.312 % |
231.31/231.33	c |    673501 |    3211    20488    69393 |    23800    24149     39 |  0.312 % |
231.61/231.64	c |    674525 |    3211    20488    69393 |    23800    21907     36 |  0.311 % |
232.21/232.22	c |    676573 |    3211    20488    69393 |    23800    23955     37 |  0.311 % |
233.22/233.25	c |    680671 |    3211    20488    69393 |    24261    24932     35 |  0.311 % |
233.41/233.41	c |    681184 |    3211    20488    69393 |    24261    22519     34 |  0.310 % |
233.51/233.56	c |    681697 |    3211    20488    69393 |    24261    23032     34 |  0.311 % |
233.81/233.87	c |    682721 |    3211    20488    69393 |    24261    24056     36 |  0.312 % |
234.01/234.09	c |    683233 |    3211    20488    69393 |    24261    24568     36 |  0.310 % |
234.21/234.26	c |    683745 |    3211    20488    69393 |    24261    22058     34 |  0.312 % |
234.51/234.55	c |    684771 |    3211    20488    69393 |    24261    23084     35 |  0.312 % |
235.11/235.19	c |    686819 |    3211    20488    69393 |    24261    25132     36 |  0.311 % |
235.31/235.35	c |    687333 |    3211    20488    69393 |    24261    22530     35 |  0.312 % |
235.51/235.56	c |    687846 |    3211    20488    69393 |    24261    23043     35 |  0.312 % |
235.81/235.86	c |    688870 |    3211    20488    69393 |    24261    24067     35 |  0.312 % |
236.01/236.01	c |    689382 |    3211    20488    69393 |    24261    24579     35 |  0.312 % |
236.11/236.16	c |    689895 |    3211    20488    69393 |    24261    22119     34 |  0.312 % |
236.41/236.43	c |    690920 |    3211    20488    69393 |    22224    23144     35 |  0.311 % |
236.91/236.96	c |    692968 |    3211    20488    69393 |    22224    22173     35 |  0.312 % |
238.11/238.18	c |    697065 |    3211    20488    69393 |    22224    23878     38 |  0.310 % |
240.51/240.55	c |    705257 |    3211    20488    69393 | 2147483647    27283     39 |  0.312 % |
247.31/247.40	c |    721642 |    3211    20488    69393 |    31612    27252     40 |  0.311 % |
258.61/258.70	c |    754411 |    3211    20488    69393 | 2147483647    33549     31 |  0.312 % |
258.81/258.87	c |    754923 |    3211    20488    69393 | 2147483647    34061     31 |  0.310 % |
259.01/259.06	c |    755435 |    3211    20488    69393 | 2147483647    34573     31 |  0.311 % |
259.41/259.40	c |    756459 |    3211    20488    69393 | 2147483647    35597     31 |  0.312 % |
259.51/259.55	c |    756973 |    3211    20488    69393 | 2147483647    36111     32 |  0.312 % |
259.62/259.69	c |    757486 |    3211    20488    69393 | 2147483647    36624     32 |  0.312 % |
260.11/260.11	c |    758510 |    3211    20488    69393 | 2147483647    37648     32 |  0.311 % |
260.72/260.77	c |    760558 |    3211    20488    69393 |    39138    39696     32 |  0.311 % |
261.01/261.03	c |    761070 |    3211    20488    69393 |    39138    34456     31 |  0.312 % |
261.21/261.22	c |    761585 |    3211    20488    69393 |    39138    34971     31 |  0.312 % |
261.61/261.60	c |    762611 |    3211    20488    69393 |    39138    35997     31 |  0.314 % |
261.71/261.75	c |    763124 |    3211    20488    69393 |    39138    36510     31 |  0.311 % |
261.91/261.94	c |    763636 |    3211    20488    69393 |    39138    37022     32 |  0.310 % |
262.32/262.35	c |    764660 |    3211    20488    69393 |    39138    38046     32 |  0.312 % |
263.02/263.08	c |    766710 |    3211    20488    69393 |    39138    40096     33 |  0.312 % |
264.92/264.94	c |    770806 |    3211    20488    69393 |    36744    30198     33 |  0.311 % |
265.12/265.12	c |    771320 |    3211    20488    69393 |    36744    30712     33 |  0.312 % |
265.22/265.26	c |    771832 |    3211    20488    69393 |    36744    31224     33 |  0.310 % |
265.62/265.65	c |    772856 |    3211    20488    69393 |    36744    32248     33 |  0.310 % |
265.82/265.84	c |    773368 |    3211    20488    69393 |    36744    32760     33 |  0.312 % |
266.02/266.03	c |    773881 |    3211    20488    69393 |    36744    33273     33 |  0.312 % |
266.42/266.45	c |    774905 |    3211    20488    69393 |    36744    34297     34 |  0.312 % |
267.22/267.25	c |    776954 |    3211    20488    69393 |    36744    36346     35 |  0.310 % |
267.42/267.50	c |    777466 |    3211    20488    69393 |    36744    36858     35 |  0.312 % |
267.72/267.75	c |    777978 |    3211    20488    69393 |    36744    30880     37 |  0.310 % |
268.02/268.10	c |    779003 |    3211    20488    69393 |    36744    31905     38 |  0.312 % |
268.32/268.32	c |    779516 |    3211    20488    69393 |    36744    32418     38 |  0.311 % |
268.42/268.49	c |    780029 |    3211    20488    69393 |    32904    32931     38 |  0.311 % |
268.92/268.93	c |    781053 |    3211    20488    69393 |    32904    28176     37 |  0.311 % |
269.52/269.57	c |    783103 |    3211    20488    69393 |    32904    30226     39 |  0.312 % |
271.02/271.01	c |    787199 |    3211    20488    69393 |    32904    34322     40 |  0.310 % |
273.92/274.01	c |    795392 |    3211    20488    69393 |    31356    31978     39 |  0.312 % |
274.12/274.20	c |    795905 |    3211    20488    69393 |    31356    26899     38 |  0.312 % |
274.32/274.39	c |    796417 |    3211    20488    69393 |    31356    27411     39 |  0.310 % |
274.72/274.72	c |    797441 |    3211    20488    69393 |    31356    28435     39 |  0.312 % |
274.82/274.87	c |    797954 |    3211    20488    69393 |    31356    28948     39 |  0.312 % |
275.02/275.06	c |    798466 |    3211    20488    69393 |    31356    29460     39 |  0.312 % |
275.42/275.45	c |    799490 |    3211    20488    69393 |    31356    30484     39 |  0.312 % |
276.22/276.26	c |    801539 |    3211    20488    69393 |    30995    26214     37 |  0.312 % |
276.42/276.43	c |    802052 |    3211    20488    69393 |    30995    26727     37 |  0.312 % |
276.52/276.60	c |    802565 |    3211    20488    69393 |    30995    27240     37 |  0.312 % |
276.92/276.99	c |    803589 |    3211    20488    69393 |    30995    28264     37 |  0.312 % |
277.12/277.19	c |    804101 |    3211    20488    69393 |    30995    28776     37 |  0.312 % |
277.42/277.41	c |    804613 |    3211    20488    69393 |    30995    29288     38 |  0.311 % |
277.72/277.79	c |    805639 |    3211    20488    69393 |    30995    30314     38 |  0.311 % |
278.32/278.31	c |    807688 |    3211    20488    69393 |    30995    27461     38 |  0.311 % |
279.82/279.88	c |    811784 |    3211    20488    69393 |    29774    26412     38 |  0.310 % |
280.02/280.06	c |    812296 |    3211    20488    69393 |    29774    26924     38 |  0.312 % |
280.12/280.21	c |    812809 |    3211    20488    69393 |    29774    27437     38 |  0.312 % |
280.52/280.56	c |    813833 |    3211    20488    69393 |    29774    28461     38 |  0.311 % |
280.72/280.75	c |    814346 |    3211    20488    69393 |    29774    28974     38 |  0.311 % |
280.92/280.99	c |    814861 |    3211    20488    69393 |    29774    29489     38 |  0.312 % |
281.32/281.38	c |    815885 |    3211    20488    69393 |    29774    30513     38 |  0.311 % |
281.92/281.98	c |    817934 |    3211    20488    69393 |    29774    27679     37 |  0.312 % |
282.12/282.17	c |    818450 |    3211    20488    69393 |    29774    28195     37 |  0.312 % |
282.42/282.44	c |    818962 |    3211    20488    69393 |    29774    28707     37 |  0.312 % |
282.72/282.81	c |    819989 |    3211    20488    69393 |    29774    29734     37 |  0.310 % |
283.02/283.02	c |    820501 |    3211    20488    69393 |    29746    26213     36 |  0.310 % |
283.12/283.16	c |    821013 |    3211    20488    69393 |    29746    26725     36 |  0.312 % |
283.42/283.49	c |    822037 |    3211    20488    69393 |    29746    27749     37 |  0.311 % |
284.12/284.14	c |    824086 |    3211    20488    69393 |    29746    29798     37 |  0.311 % |
285.42/285.43	c |    828183 |    3211    20488    69393 |    29746    29630     36 |  0.311 % |
288.82/288.90	c |    836375 |    3211    20488    69393 |    26874    23849     35 |  0.311 % |
295.02/295.02	c |    852760 |    3211    20488    69393 |    25062    24138     34 |  0.311 % |
295.12/295.14	c |    853274 |    3211    20488    69393 |    25062    24652     34 |  0.311 % |
295.32/295.33	c |    853786 |    3211    20488    69393 |    25062    25164     35 |  0.311 % |
295.62/295.70	c |    854810 |    3211    20488    69393 |    25062    22774     34 |  0.310 % |
295.82/295.84	c |    855325 |    3211    20488    69393 |    25062    23289     35 |  0.312 % |
295.92/295.97	c |    855837 |    3211    20488    69393 |    25062    23801     35 |  0.311 % |
296.22/296.23	c |    856863 |    3211    20488    69393 |    25062    24827     35 |  0.310 % |
296.92/296.96	c |    858912 |    3211    20488    69393 |    25062    23447     37 |  0.311 % |
297.02/297.10	c |    859426 |    3211    20488    69393 |    25062    23961     37 |  0.312 % |
297.22/297.28	c |    859939 |    3211    20488    69393 |    25062    24474     37 |  0.312 % |
297.72/297.73	c |    860964 |    3211    20488    69393 |    24537    22109     36 |  0.311 % |
297.82/297.89	c |    861476 |    3211    20488    69393 |    24537    22621     37 |  0.311 % |
298.02/298.06	c |    861990 |    3211    20488    69393 |    24537    23135     37 |  0.310 % |
298.42/298.43	c |    863014 |    3211    20488    69393 |    24537    24159     37 |  0.311 % |
299.02/299.04	c |    865062 |    3211    20488    69393 |    24537    26207     37 |  0.312 % |
300.22/300.23	c |    869159 |    3211    20488    69393 |    24537    24783     38 |  0.312 % |
300.32/300.40	c |    869671 |    3211    20488    69393 |    24537    22817     37 |  0.311 % |
300.52/300.55	c |    870185 |    3211    20488    69393 | 2147483647    23331     39 |  0.311 % |
300.82/300.84	c |    871209 |    3211    20488    69393 | 2147483647    24355     40 |  0.311 % |
300.92/300.98	c |    871721 |    3211    20488    69393 | 2147483647    24867     41 |  0.311 % |
301.12/301.12	c |    872233 |    3211    20488    69393 | 2147483647    25379     41 |  0.311 % |
301.32/301.40	c |    873258 |    3211    20488    69393 | 2147483647    26404     41 |  0.311 % |
302.02/302.05	c |    875309 |    3211    20488    69393 | 2147483647    28455     42 |  0.311 % |
302.22/302.22	c |    875822 |    3211    20488    69393 | 2147483647    28968     42 |  0.311 % |
302.42/302.45	c |    876335 |    3211    20488    69393 | 2147483647    29481     42 |  0.312 % |
302.82/302.82	c |    877359 |    3211    20488    69393 | 2147483647    30505     43 |  0.312 % |
302.92/302.99	c |    877871 |    3211    20488    69393 | 2147483647    31017     43 |  0.310 % |
303.12/303.17	c |    878383 |    3211    20488    69393 | 2147483647    31529     43 |  0.312 % |
303.52/303.52	c |    879408 |    3211    20488    69393 | 2147483647    32554     43 |  0.311 % |
304.32/304.32	c |    881459 |    3211    20488    69393 |    33148    29739     40 |  0.311 % |
305.92/305.94	c |    885555 |    3211    20488    69393 |    33148    27638     40 |  0.311 % |
308.82/308.90	c |    893748 |    3211    20488    69393 |    32083    29160     40 |  0.311 % |
309.02/309.10	c |    894260 |    3211    20488    69393 |    32083    29672     40 |  0.311 % |
309.32/309.32	c |    894773 |    3211    20488    69393 |    32083    30185     40 |  0.311 % |
309.62/309.67	c |    895797 |    3211    20488    69393 |    32083    31209     40 |  0.312 % |
309.82/309.87	c |    896309 |    3211    20488    69393 |    32083    31721     40 |  0.311 % |
310.02/310.04	c |    896821 |    3211    20488    69393 |    32083    32233     40 |  0.311 % |
310.32/310.34	c |    897845 |    3211    20488    69393 |    32083    27326     38 |  0.312 % |
310.82/310.90	c |    899893 |    3211    20488    69393 |    32083    29374     39 |  0.310 % |
311.02/311.06	c |    900405 |    3211    20488    69393 |    29481    29886     39 |  0.312 % |
311.22/311.24	c |    900917 |    3211    20488    69393 |    29481    25365     40 |  0.312 % |
311.62/311.63	c |    901941 |    3211    20488    69393 |    29481    26389     40 |  0.310 % |
311.82/311.84	c |    902455 |    3211    20488    69393 |    29481    26903     40 |  0.311 % |
312.02/312.02	c |    902967 |    3211    20488    69393 |    29481    27415     40 |  0.311 % |
312.22/312.28	c |    903991 |    3211    20488    69393 |    29481    28439     40 |  0.311 % |
312.92/312.92	c |    906040 |    3211    20488    69393 |    29481    30488     40 |  0.311 % |
314.42/314.45	c |    910136 |    3211    20488    69393 |    29819    25372     38 |  0.311 % |
314.62/314.66	c |    910649 |    3211    20488    69393 |    29819    25885     38 |  0.310 % |
314.72/314.80	c |    911161 |    3211    20488    69393 |    29819    26397     38 |  0.310 % |
315.12/315.20	c |    912186 |    3211    20488    69393 |    29819    27422     38 |  0.310 % |
315.32/315.36	c |    912699 |    3211    20488    69393 |    29819    27935     39 |  0.312 % |
315.42/315.48	c |    913212 |    3211    20488    69393 |    29819    28448     39 |  0.312 % |
315.82/315.81	c |    914236 |    3211    20488    69393 |    29819    29472     39 |  0.311 % |
316.42/316.47	c |    916284 |    3211    20488    69393 |    29819    26861     39 |  0.311 % |
316.62/316.70	c |    916798 |    3211    20488    69393 |    29819    27375     39 |  0.311 % |
316.82/316.89	c |    917310 |    3211    20488    69393 |    29819    27887     39 |  0.312 % |
317.22/317.22	c |    918335 |    3211    20488    69393 |    29819    28912     41 |  0.311 % |
317.42/317.45	c |    918848 |    3211    20488    69393 |    29819    29425     41 |  0.311 % |
317.62/317.66	c |    919361 |    3211    20488    69393 |    29819    29938     41 |  0.312 % |
318.02/318.03	c |    920385 |    3211    20488    69393 |    25867    26251     40 |  0.310 % |
318.62/318.66	c |    922433 |    3211    20488    69393 |    25867    24072     41 |  0.311 % |
319.92/319.95	c |    926530 |    3211    20488    69393 |    25867    23878     43 |  0.312 % |
323.22/323.24	c |    934722 |    3211    20488    69393 |    23135    21316     41 |  0.311 % |
328.72/328.78	c |    951108 |    3211    20488    69393 |    33994    35102     41 |  0.312 % |
340.92/341.01	c |    983876 |    3211    20488    69393 |    29390    26953     35 |  0.312 % |
365.82/365.84	c |   1049414 |    3211    20488    69393 |    28631    26132     50 |  0.312 % |
408.23/408.23	c |   1180486 |    3211    20488    69393 |    27982    28468     36 |  0.312 % |
408.43/408.42	c |   1180999 |    3211    20488    69393 |    27982    23350     37 |  0.310 % |
408.53/408.55	c |   1181511 |    3211    20488    69393 |    27982    23862     37 |  0.311 % |
408.83/408.85	c |   1182536 |    3211    20488    69393 |    27982    24887     37 |  0.311 % |
408.93/408.98	c |   1183048 |    3211    20488    69393 |    27982    25399     37 |  0.312 % |
409.13/409.13	c |   1183560 |    3211    20488    69393 |    27982    25911     37 |  0.311 % |
409.43/409.42	c |   1184585 |    3211    20488    69393 |    27982    26936     38 |  0.312 % |
409.93/410.00	c |   1186634 |    3211    20488    69393 |    27982    24315     36 |  0.311 % |
410.13/410.15	c |   1187147 |    3211    20488    69393 |    27982    24828     36 |  0.310 % |
410.23/410.31	c |   1187659 |    3211    20488    69393 |    27982    25340     36 |  0.310 % |
410.53/410.59	c |   1188683 |    3211    20488    69393 |    27982    26364     37 |  0.311 % |
410.73/410.77	c |   1189197 |    3211    20488    69393 |    27982    26878     37 |  0.311 % |
410.93/410.95	c |   1189709 |    3211    20488    69393 |    27982    27390     38 |  0.311 % |
411.23/411.30	c |   1190735 |    3211    20488    69393 |    27682    28416     39 |  0.312 % |
411.83/411.91	c |   1192784 |    3211    20488    69393 |    27682    26356     39 |  0.312 % |
413.33/413.32	c |   1196880 |    3211    20488    69393 |    27682    26636     42 |  0.312 % |
413.43/413.49	c |   1197392 |    3211    20488    69393 |    27682    27148     42 |  0.312 % |
413.63/413.64	c |   1197904 |    3211    20488    69393 |    27682    27660     43 |  0.310 % |
413.93/413.99	c |   1198928 |    3211    20488    69393 |    27682    28684     43 |  0.311 % |
414.23/414.22	c |   1199441 |    3211    20488    69393 |    27682    25084     43 |  0.310 % |
414.33/414.41	c |   1199953 |    3211    20488    69393 |    27682    25596     43 |  0.310 % |
414.73/414.75	c |   1200977 |    3211    20488    69393 |    25644    26620     43 |  0.312 % |
415.33/415.33	c |   1203025 |    3211    20488    69393 |    25644    24848     44 |  0.311 % |
415.43/415.49	c |   1203538 |    3211    20488    69393 |    25644    25361     44 |  0.311 % |
415.63/415.62	c |   1204050 |    3211    20488    69393 |    25644    25873     44 |  0.311 % |
415.83/415.89	c |   1205074 |    3211    20488    69393 |    25644    23175     42 |  0.312 % |
416.03/416.05	c |   1205587 |    3210    20478    69360 |    25644    23679     42 |  0.343 % |
416.13/416.18	c |   1206100 |    3210    20478    69360 |    25644    24192     42 |  0.342 % |
416.43/416.46	c |   1207124 |    3210    20478    69360 |    25644    25216     43 |  0.342 % |
417.03/417.05	c |   1209172 |    3210    20478    69360 |    25644    23528     42 |  0.342 % |
418.33/418.36	c |   1213268 |    3210    20478    69360 |    24356    24389     41 |  0.342 % |
421.33/421.35	c |   1221460 |    3210    20478    69360 |    23495    22205     41 |  0.342 % |
421.43/421.50	c |   1221973 |    3210    20478    69360 |    23495    22718     41 |  0.343 % |
421.63/421.67	c |   1222486 |    3210    20478    69360 |    23495    23231     42 |  0.343 % |
421.93/421.98	c |   1223511 |    3210    20478    69360 |    23495    21613     41 |  0.343 % |
422.03/422.11	c |   1224024 |    3210    20478    69360 |    23495    22126     41 |  0.343 % |
422.23/422.25	c |   1224536 |    3210    20478    69360 |    23495    22638     42 |  0.342 % |
422.53/422.53	c |   1225561 |    3210    20478    69360 |    23495    23663     42 |  0.342 % |
423.03/423.01	c |   1227609 |    3210    20478    69360 |    23495    22981     40 |  0.342 % |
423.13/423.15	c |   1228121 |    3210    20478    69360 |    23495    23493     41 |  0.343 % |
423.23/423.29	c |   1228634 |    3210    20478    69360 |    23495    24006     41 |  0.342 % |
423.53/423.56	c |   1229660 |    3210    20478    69360 |    23495    22447     42 |  0.342 % |
423.63/423.69	c |   1230172 |    3210    20478    69360 |    22789    22959     42 |  0.342 % |
423.83/423.85	c |   1230684 |    3210    20478    69360 |    22789    20847     40 |  0.342 % |
424.03/424.11	c |   1231708 |    3210    20478    69360 |    22789    21871     40 |  0.343 % |
424.63/424.65	c |   1233758 |    3210    20478    69360 |    22789    21599     41 |  0.342 % |
425.73/425.81	c |   1237854 |    3210    20478    69360 |    22789    23319     40 |  0.342 % |
425.93/425.97	c |   1238367 |    3210    20478    69360 |    22789    21501     39 |  0.343 % |
426.13/426.12	c |   1238880 |    3210    20478    69360 |    22789    22014     40 |  0.343 % |
426.43/426.42	c |   1239904 |    3210    20478    69360 |    22789    23038     40 |  0.342 % |
426.53/426.59	c |   1240416 |    3210    20478    69360 | 2147483647    21247     39 |  0.343 % |
426.73/426.75	c |   1240929 |    3210    20478    69360 | 2147483647    21760     39 |  0.342 % |
427.03/427.07	c |   1241956 |    3210    20478    69360 | 2147483647    22787     40 |  0.342 % |
427.83/427.82	c |   1244005 |    3210    20478    69360 | 2147483647    24836     42 |  0.342 % |
427.93/427.99	c |   1244517 |    3210    20478    69360 | 2147483647    25348     41 |  0.342 % |
428.13/428.14	c |   1245031 |    3210    20478    69360 | 2147483647    25862     42 |  0.343 % |
428.43/428.49	c |   1246055 |    3210    20478    69360 | 2147483647    26886     42 |  0.342 % |
428.53/428.61	c |   1246568 |    3210    20478    69360 | 2147483647    27399     42 |  0.343 % |
428.73/428.77	c |   1247082 |    3210    20478    69360 | 2147483647    27913     42 |  0.342 % |
429.13/429.20	c |   1248107 |    3210    20478    69360 | 2147483647    28938     43 |  0.342 % |
429.83/429.88	c |   1250155 |    3210    20478    69360 |    30835    30986     43 |  0.342 % |
431.43/431.48	c |   1254251 |    3210    20478    69360 |    30835    31132     43 |  0.342 % |
434.13/434.21	c |   1262443 |    3210    20478    69360 |    31926    29637     41 |  0.342 % |
440.73/440.77	c |   1278829 |    3210    20478    69360 |    31669    29817     42 |  0.342 % |
440.93/440.94	c |   1279341 |    3210    20478    69360 |    31669    30329     42 |  0.342 % |
441.13/441.14	c |   1279855 |    3210    20478    69360 |    31669    30843     42 |  0.342 % |
441.43/441.48	c |   1280879 |    3210    20478    69360 |    30988    31867     42 |  0.342 % |
441.63/441.65	c |   1281393 |    3210    20478    69360 |    30988    27401     41 |  0.342 % |
441.73/441.77	c |   1281908 |    3210    20478    69360 |    30988    27916     41 |  0.342 % |
442.03/442.03	c |   1282932 |    3210    20478    69360 |    30988    28940     41 |  0.342 % |
442.63/442.63	c |   1284982 |    3210    20478    69360 |    30988    30990     42 |  0.343 % |
442.83/442.82	c |   1285497 |    3210    20478    69360 |    30988    31505     41 |  0.342 % |
442.93/443.00	c |   1286009 |    3210    20478    69360 |    30988    27271     40 |  0.342 % |
443.34/443.36	c |   1287035 |    3210    20478    69360 |    30988    28297     40 |  0.342 % |
443.43/443.48	c |   1287547 |    3210    20478    69360 |    30988    28809     40 |  0.342 % |
443.63/443.67	c |   1288059 |    3210    20478    69360 |    30988    29321     40 |  0.342 % |
443.93/443.96	c |   1289084 |    3210    20478    69360 |    30988    30346     41 |  0.342 % |
444.63/444.68	c |   1291132 |    3210    20478    69360 |    31262    26881     39 |  0.342 % |
445.73/445.78	c |   1295228 |    3210    20478    69360 |    31262    30977     41 |  0.342 % |
445.93/445.95	c |   1295740 |    3210    20478    69360 |    31262    31489     41 |  0.342 % |
446.13/446.17	c |   1296252 |    3210    20478    69360 |    31262    27101     40 |  0.342 % |
446.43/446.50	c |   1297277 |    3210    20478    69360 |    31262    28126     40 |  0.342 % |
446.64/446.65	c |   1297790 |    3210    20478    69360 |    31262    28639     41 |  0.342 % |
446.83/446.91	c |   1298302 |    3210    20478    69360 |    31262    29151     41 |  0.342 % |
447.23/447.27	c |   1299327 |    3210    20478    69360 |    31262    30176     42 |  0.342 % |
448.03/448.05	c |   1301375 |    3210    20478    69360 |    30850    27126     42 |  0.342 % |
448.23/448.21	c |   1301887 |    3210    20478    69360 |    30850    27638     42 |  0.342 % |
448.33/448.38	c |   1302401 |    3210    20478    69360 |    30850    28152     42 |  0.342 % |
448.73/448.75	c |   1303425 |    3210    20478    69360 |    30850    29176     41 |  0.342 % |
448.93/448.91	c |   1303938 |    3210    20478    69360 |    30850    29689     42 |  0.342 % |
449.03/449.09	c |   1304451 |    3210    20478    69360 |    30850    30202     42 |  0.342 % |
449.33/449.40	c |   1305475 |    3210    20478    69360 |    30850    31226     42 |  0.342 % |
450.03/450.09	c |   1307523 |    3210    20478    69360 |    30850    28789     42 |  0.342 % |
451.53/451.54	c |   1311619 |    3210    20478    69360 |    31267    27912     41 |  0.342 % |
454.63/454.69	c |   1319812 |    3210    20478    69360 |    31267    29130     44 |  0.342 % |
454.83/454.85	c |   1320326 |    3210    20478    69360 |    29320    29644     44 |  0.342 % |
455.03/455.05	c |   1320840 |    3210    20478    69360 |    29320    23793     43 |  0.342 % |
455.33/455.36	c |   1321864 |    3210    20478    69360 |    29320    24817     43 |  0.342 % |
455.53/455.56	c |   1322377 |    3210    20478    69360 |    29320    25330     43 |  0.343 % |
455.73/455.79	c |   1322890 |    3210    20478    69360 |    29320    25843     43 |  0.342 % |
456.03/456.10	c |   1323914 |    3210    20478    69360 |    29320    26867     43 |  0.342 % |
456.73/456.74	c |   1325963 |    3210    20478    69360 |    29320    28916     43 |  0.342 % |
456.93/456.93	c |   1326475 |    3210    20478    69360 |    29320    29428     44 |  0.342 % |
457.13/457.16	c |   1326989 |    3210    20478    69360 |    29320    25252     43 |  0.342 % |
457.53/457.55	c |   1328013 |    3210    20478    69360 |    29320    26276     43 |  0.342 % |
457.64/457.69	c |   1328525 |    3210    20478    69360 |    29320    26788     43 |  0.342 % |
457.83/457.86	c |   1329037 |    3210    20478    69360 |    29320    27300     43 |  0.342 % |
458.13/458.21	c |   1330062 |    3210    20478    69360 |    28264    28325     44 |  0.343 % |
458.74/458.74	c |   1332110 |    3210    20478    69360 |    28264    26068     44 |  0.343 % |
460.13/460.19	c |   1336206 |    3210    20478    69360 |    28264    25135     44 |  0.342 % |
460.33/460.36	c |   1336718 |    3210    20478    69360 |    28264    25647     45 |  0.342 % |
460.53/460.53	c |   1337231 |    3210    20478    69360 |    28264    26160     45 |  0.342 % |
460.94/460.97	c |   1338257 |    3210    20478    69360 |    28264    27186     45 |  0.342 % |
461.13/461.13	c |   1338770 |    3210    20478    69360 |    28264    27699     46 |  0.342 % |
461.23/461.31	c |   1339282 |    3210    20478    69360 |    28264    28211     45 |  0.342 % |
461.63/461.65	c |   1340307 |    3210    20478    69360 |    28929    29236     46 |  0.342 % |
462.23/462.30	c |   1342355 |    3210    20478    69360 |    28929    26678     45 |  0.342 % |
462.43/462.48	c |   1342868 |    3210    20478    69360 |    28929    27191     45 |  0.342 % |
462.63/462.65	c |   1343380 |    3210    20478    69360 |    28929    27703     46 |  0.342 % |
463.03/463.02	c |   1344406 |    3210    20478    69360 |    28929    28729     46 |  0.342 % |
463.14/463.20	c |   1344918 |    3210    20478    69360 |    28929    29241     46 |  0.342 % |
463.33/463.41	c |   1345430 |    3210    20478    69360 |    28929    25311     45 |  0.342 % |
463.63/463.69	c |   1346455 |    3210    20478    69360 |    28929    26336     45 |  0.342 % |
464.33/464.36	c |   1348503 |    3210    20478    69360 |    28929    28384     45 |  0.342 % |
466.03/466.06	c |   1352599 |    3210    20478    69360 |    29882    27365     43 |  0.342 % |
468.73/468.74	c |   1360794 |    3210    20478    69360 |    30000    30793     42 |  0.342 % |
474.53/474.57	c |   1377179 |    3210    20478    69360 |    29351    27076     43 |  0.342 % |
485.63/485.69	c |   1409948 |    3210    20478    69360 |    29316    27039     48 |  0.342 % |
485.93/485.92	c |   1410460 |    3210    20478    69360 |    27094    22342     47 |  0.342 % |
486.03/486.08	c |   1410973 |    3210    20478    69360 |    27094    22855     46 |  0.342 % |
486.33/486.37	c |   1411998 |    3210    20478    69360 |    27094    23880     46 |  0.342 % |
486.53/486.51	c |   1412510 |    3210    20478    69360 |    27094    24392     46 |  0.342 % |
486.73/486.73	c |   1413022 |    3210    20478    69360 |    27094    24904     46 |  0.342 % |
487.03/487.03	c |   1414047 |    3210    20478    69360 |    27094    25929     46 |  0.342 % |
487.63/487.68	c |   1416096 |    3210    20478    69360 |    27094    27978     47 |  0.342 % |
487.83/487.87	c |   1416608 |    3210    20478    69360 |    27094    24075     44 |  0.342 % |
488.03/488.03	c |   1417121 |    3210    20478    69360 |    27094    24588     43 |  0.342 % |
488.23/488.29	c |   1418146 |    3210    20478    69360 |    27094    25613     44 |  0.342 % |
488.44/488.47	c |   1418658 |    3210    20478    69360 |    27094    26125     44 |  0.342 % |
488.63/488.63	c |   1419171 |    3210    20478    69360 |    27094    26638     43 |  0.343 % |
489.03/489.03	c |   1420196 |    3210    20478    69360 |    27467    27663     44 |  0.342 % |
489.64/489.67	c |   1422244 |    3210    20478    69360 |    27467    25529     41 |  0.342 % |
491.04/491.03	c |   1426340 |    3210    20478    69360 |    27467    25422     39 |  0.342 % |
491.14/491.22	c |   1426853 |    3210    20478    69360 |    27467    25935     40 |  0.342 % |
491.34/491.38	c |   1427365 |    3210    20478    69360 |    27467    26447     40 |  0.342 % |
491.64/491.68	c |   1428392 |    3210    20478    69360 |    27467    27474     40 |  0.342 % |
491.84/491.84	c |   1428904 |    3210    20478    69360 |    27467    27986     41 |  0.343 % |
492.04/492.04	c |   1429418 |    3210    20478    69360 |    27467    24398     39 |  0.342 % |
492.34/492.37	c |   1430442 |    3210    20478    69360 |    24980    25422     39 |  0.342 % |
493.14/493.19	c |   1432490 |    3210    20478    69360 |    24980    24237     38 |  0.342 % |
493.34/493.32	c |   1433003 |    3210    20478    69360 |    24980    24750     38 |  0.343 % |
493.44/493.48	c |   1433515 |    3210    20478    69360 |    24980    25262     38 |  0.342 % |
493.74/493.81	c |   1434539 |    3210    20478    69360 |    24980    23552     37 |  0.342 % |
493.94/493.99	c |   1435051 |    3210    20478    69360 |    24980    24064     37 |  0.343 % |
494.14/494.14	c |   1435563 |    3210    20478    69360 |    24980    24576     37 |  0.342 % |
494.44/494.46	c |   1436587 |    3210    20478    69360 |    24980    25600     38 |  0.342 % |
495.04/495.07	c |   1438636 |    3210    20478    69360 |    24980    24809     38 |  0.342 % |
496.24/496.30	c |   1442733 |    3210    20478    69360 |    23550    23450     38 |  0.342 % |
498.94/498.92	c |   1450926 |    3210    20478    69360 |    22261    23186     41 |  0.342 % |
499.04/499.07	c |   1451441 |    3210    20478    69360 |    22261    21291     41 |  0.342 % |
499.14/499.20	c |   1451954 |    3210    20478    69360 |    22261    21804     41 |  0.342 % |
499.54/499.54	c |   1452979 |    3210    20478    69360 |    22261    22829     41 |  0.342 % |
499.64/499.68	c |   1453493 |    3210    20478    69360 |    22261    21061     40 |  0.342 % |
499.84/499.85	c |   1454006 |    3210    20478    69360 |    22261    21574     40 |  0.342 % |
500.14/500.15	c |   1455031 |    3210    20478    69360 |    22261    22599     41 |  0.343 % |
500.84/500.83	c |   1457080 |    3210    20478    69360 |    22261    22389     41 |  0.342 % |
501.04/501.03	c |   1457593 |    3210    20478    69360 |    22261    20664     40 |  0.342 % |
501.14/501.17	c |   1458106 |    3210    20478    69360 |    22261    21177     40 |  0.342 % |
501.34/501.41	c |   1459133 |    3210    20478    69360 |    22261    22204     41 |  0.342 % |
501.54/501.57	c |   1459646 |    3210    20478    69360 |    22261    22717     41 |  0.342 % |
501.74/501.73	c |   1460160 |    3210    20478    69360 | 2147483647    20960     41 |  0.342 % |
501.94/501.97	c |   1461184 |    3210    20478    69360 | 2147483647    21984     42 |  0.343 % |
502.54/502.56	c |   1463232 |    3210    20478    69360 | 2147483647    24032     42 |  0.343 % |
503.84/503.83	c |   1467329 |    3210    20478    69360 | 2147483647    28129     42 |  0.343 % |
503.94/503.97	c |   1467842 |    3210    20478    69360 | 2147483647    28642     43 |  0.343 % |
504.14/504.14	c |   1468354 |    3210    20478    69360 | 2147483647    29154     43 |  0.342 % |
504.44/504.50	c |   1469379 |    3210    20478    69360 | 2147483647    30179     42 |  0.342 % |
504.64/504.71	c |   1469891 |    3210    20478    69360 | 2147483647    30691     43 |  0.343 % |
504.84/504.87	c |   1470403 |    3210    20478    69360 |    30801    31203     43 |  0.342 % |
505.24/505.27	c |   1471430 |    3210    20478    69360 |    30801    28442     41 |  0.342 % |
506.04/506.04	c |   1473478 |    3210    20478    69360 |    30801    30490     42 |  0.342 % |
506.24/506.23	c |   1473991 |    3210    20478    69360 |    30801    31003     41 |  0.342 % |
506.44/506.43	c |   1474503 |    3210    20478    69360 |    30801    27422     40 |  0.342 % |
506.74/506.75	c |   1475527 |    3210    20478    69360 |    30801    28446     40 |  0.342 % |
506.84/506.91	c |   1476039 |    3210    20478    69360 |    30801    28958     40 |  0.342 % |
507.04/507.09	c |   1476551 |    3210    20478    69360 |    30801    29470     40 |  0.342 % |
507.54/507.57	c |   1477575 |    3210    20478    69360 |    30801    30494     40 |  0.342 % |
508.44/508.44	c |   1479624 |    3210    20478    69360 |    30801    27650     39 |  0.342 % |
509.84/509.87	c |   1483720 |    3210    20478    69360 |    28027    26152     42 |  0.342 % |
512.34/512.38	c |   1491913 |    3210    20478    69360 |    27857    26615     38 |  0.342 % |
518.14/518.14	c |   1508297 |    3210    20478    69360 |    26721    26648     37 |  0.343 % |
518.24/518.26	c |   1508809 |    3210    20478    69360 |    26721    27160     37 |  0.343 % |
518.44/518.43	c |   1509321 |    3210    20478    69360 |    26721    23706     39 |  0.342 % |
518.64/518.71	c |   1510345 |    3210    20478    69360 |    24385    24730     39 |  0.343 % |
518.84/518.86	c |   1510859 |    3210    20478    69360 |    24385    21794     39 |  0.342 % |
518.94/518.99	c |   1511372 |    3210    20478    69360 |    24385    22307     38 |  0.342 % |
519.24/519.27	c |   1512396 |    3210    20478    69360 |    24385    23331     39 |  0.342 % |
519.84/519.83	c |   1514445 |    3210    20478    69360 |    24385    22586     38 |  0.342 % |
519.94/519.97	c |   1514958 |    3210    20478    69360 |    24385    23099     39 |  0.342 % |
520.14/520.13	c |   1515471 |    3210    20478    69360 |    24385    23612     38 |  0.342 % |
520.34/520.42	c |   1516495 |    3210    20478    69360 |    24385    24636     39 |  0.342 % |
520.54/520.58	c |   1517007 |    3210    20478    69360 |    24385    22685     38 |  0.342 % |
520.74/520.74	c |   1517519 |    3210    20478    69360 |    24385    23197     38 |  0.342 % |
520.94/521.00	c |   1518545 |    3210    20478    69360 |    24385    24223     39 |  0.342 % |
521.54/521.59	c |   1520593 |    3210    20478    69360 |    25679    26271     40 |  0.342 % |
522.94/523.01	c |   1524693 |    3210    20478    69360 |    25679    23707     37 |  0.342 % |
523.14/523.13	c |   1525206 |    3210    20478    69360 |    25679    24220     37 |  0.343 % |
523.24/523.27	c |   1525719 |    3210    20478    69360 |    25679    24733     38 |  0.342 % |
523.54/523.53	c |   1526744 |    3210    20478    69360 |    25679    25758     39 |  0.342 % |
523.74/523.73	c |   1527256 |    3210    20478    69360 |    25679    23043     38 |  0.342 % |
523.94/523.92	c |   1527768 |    3210    20478    69360 |    25679    23555     38 |  0.342 % |
524.24/524.23	c |   1528793 |    3210    20478    69360 |    25679    24580     39 |  0.343 % |
524.94/524.94	c |   1530844 |    3210    20478    69360 |    25788    24011     38 |  0.342 % |
525.14/525.14	c |   1531357 |    3210    20478    69360 |    25788    24524     38 |  0.343 % |
525.24/525.30	c |   1531871 |    3210    20478    69360 |    25788    25038     38 |  0.343 % |
525.54/525.58	c |   1532897 |    3210    20478    69360 |    25788    26064     38 |  0.342 % |
525.64/525.71	c |   1533409 |    3210    20478    69360 |    25788    23869     37 |  0.342 % |
525.84/525.91	c |   1533921 |    3210    20478    69360 |    25788    24381     37 |  0.342 % |
526.14/526.20	c |   1534946 |    3210    20478    69360 |    25788    25406     38 |  0.342 % |
526.84/526.82	c |   1536996 |    3210    20478    69360 |    25788    24491     39 |  0.342 % |
528.14/528.19	c |   1541092 |    3210    20478    69360 |    24667    25759     38 |  0.342 % |
530.64/530.65	c |   1549286 |    3210    20478    69360 |    24667    24839     38 |  0.343 % |
530.84/530.83	c |   1549798 |    3210    20478    69360 |    24667    22276     39 |  0.342 % |
530.94/530.95	c |   1550310 |    3210    20478    69360 |    22478    22788     39 |  0.342 % |
531.14/531.21	c |   1551334 |    3210    20478    69360 |    22478    21054     37 |  0.342 % |
531.34/531.36	c |   1551847 |    3210    20478    69360 |    22478    21567     37 |  0.342 % |
531.54/531.53	c |   1552361 |    3210    20478    69360 |    22478    22081     37 |  0.342 % |
531.74/531.78	c |   1553385 |    3210    20478    69360 |    22478    23105     37 |  0.342 % |
532.34/532.34	c |   1555435 |    3210    20478    69360 |    22478    22845     36 |  0.343 % |
532.44/532.47	c |   1555947 |    3210    20478    69360 |    22478    21073     35 |  0.342 % |
532.54/532.61	c |   1556459 |    3210    20478    69360 |    22478    21585     36 |  0.342 % |
532.94/532.92	c |   1557483 |    3210    20478    69360 |    22478    22609     37 |  0.342 % |
533.04/533.09	c |   1557995 |    3210    20478    69360 |    22478    20861     36 |  0.342 % |
533.24/533.23	c |   1558507 |    3210    20478    69360 |    22478    21373     36 |  0.342 % |
533.54/533.61	c |   1559531 |    3210    20478    69360 |    22478    22397     36 |  0.342 % |
534.24/534.31	c |   1561579 |    3210    20478    69360 | 2147483647    24445     37 |  0.342 % |
535.54/535.54	c |   1565675 |    3210    20478    69360 | 2147483647    28541     39 |  0.343 % |
535.74/535.76	c |   1566188 |    3210    20478    69360 | 2147483647    29054     39 |  0.342 % |
535.84/535.88	c |   1566700 |    3210    20478    69360 | 2147483647    29566     39 |  0.342 % |
536.14/536.13	c |   1567726 |    3210    20478    69360 | 2147483647    30592     38 |  0.342 % |
536.24/536.30	c |   1568241 |    3210    20478    69360 | 2147483647    31107     39 |  0.342 % |
536.44/536.51	c |   1568753 |    3210    20478    69360 | 2147483647    31619     39 |  0.342 % |
536.74/536.80	c |   1569777 |    3210    20478    69360 | 2147483647    32643     39 |  0.343 % |
537.44/537.48	c |   1571827 |    3210    20478    69360 |    32868    30814     39 |  0.342 % |
537.64/537.65	c |   1572340 |    3210    20478    69360 |    32868    31327     39 |  0.342 % |
537.84/537.84	c |   1572852 |    3210    20478    69360 |    32868    31839     39 |  0.342 % |
538.14/538.16	c |   1573879 |    3210    20478    69360 |    32868    32866     40 |  0.342 % |
538.34/538.35	c |   1574391 |    3210    20478    69360 |    32868    33378     40 |  0.342 % |
538.54/538.57	c |   1574904 |    3210    20478    69360 |    32868    29798     38 |  0.342 % |
538.94/538.93	c |   1575928 |    3210    20478    69360 |    32868    30822     38 |  0.342 % |
539.54/539.54	c |   1577978 |    3210    20478    69360 |    32868    32872     39 |  0.342 % |
540.94/541.01	c |   1582077 |    3210    20478    69360 |    30321    27905     38 |  0.342 % |
543.84/543.87	c |   1590271 |    3210    20478    69360 |    31133    31404     41 |  0.342 % |
550.24/550.30	c |   1606655 |    3210    20478    69360 |    32728    27979     43 |  0.342 % |
565.14/565.21	c |   1639423 |    3210    20478    69360 |    27168    24237     38 |  0.342 % |
589.73/589.75	c |   1704960 |    3210    20478    69360 |    21543    22277     40 |  0.342 % |
589.83/589.88	c |   1705472 |    3210    20478    69360 |    21543    19218     39 |  0.342 % |
590.03/590.04	c |   1705984 |    3210    20478    69360 |    21543    19730     39 |  0.342 % |
590.33/590.33	c |   1707009 |    3210    20478    69360 |    21543    20755     39 |  0.342 % |
590.43/590.45	c |   1707521 |    3210    20478    69360 |    21543    21267     39 |  0.342 % |
590.53/590.58	c |   1708034 |    3210    20478    69360 |    21543    21780     39 |  0.342 % |
590.83/590.83	c |   1709058 |    3210    20478    69360 |    21543    19678     39 |  0.343 % |
591.33/591.37	c |   1711106 |    3210    20478    69360 |    20620    18807     38 |  0.342 % |
591.53/591.52	c |   1711618 |    3210    20478    69360 |    20620    19319     38 |  0.342 % |
591.63/591.65	c |   1712130 |    3210    20478    69360 |    20620    19831     38 |  0.343 % |
591.93/591.91	c |   1713154 |    3210    20478    69360 |    20620    20855     38 |  0.342 % |
592.03/592.09	c |   1713667 |    3210    20478    69360 |    20620    19089     37 |  0.342 % |
592.23/592.23	c |   1714180 |    3210    20478    69360 |    20620    19602     37 |  0.343 % |
592.43/592.49	c |   1715205 |    3210    20478    69360 |    20620    20627     38 |  0.342 % |
593.03/593.02	c |   1717253 |    3210    20478    69360 |    20620    20462     38 |  0.342 % |
594.23/594.28	c |   1721349 |    3210    20478    69360 |    20943    19871     38 |  0.342 % |
594.43/594.41	c |   1721861 |    3210    20478    69360 |    20943    20383     38 |  0.342 % |
594.53/594.53	c |   1722373 |    3210    20478    69360 |    20943    20895     38 |  0.342 % |
594.83/594.81	c |   1723398 |    3210    20478    69360 |    20943    19636     38 |  0.342 % |
594.93/594.96	c |   1723911 |    3210    20478    69360 |    20943    20149     39 |  0.343 % |
595.03/595.09	c |   1724423 |    3210    20478    69360 |    20943    20661     39 |  0.342 % |
595.33/595.39	c |   1725447 |    3210    20478    69360 |    20943    21685     39 |  0.342 % |
595.93/595.95	c |   1727497 |    3210    20478    69360 |    20943    21567     39 |  0.342 % |
596.03/596.10	c |   1728010 |    3210    20478    69360 |    20943    19924     38 |  0.342 % |
596.24/596.24	c |   1728524 |    3210    20478    69360 |    20943    20438     38 |  0.342 % |
596.43/596.45	c |   1729548 |    3210    20478    69360 |    20943    21462     39 |  0.342 % |
596.53/596.57	c |   1730061 |    3210    20478    69360 | 2147483647    19829     38 |  0.342 % |
596.73/596.71	c |   1730573 |    3210    20478    69360 | 2147483647    20341     38 |  0.342 % |
596.93/596.97	c |   1731597 |    3210    20478    69360 | 2147483647    21365     38 |  0.343 % |
597.53/597.57	c |   1733645 |    3210    20478    69360 | 2147483647    23413     39 |  0.342 % |
598.63/598.70	c |   1737741 |    3210    20478    69360 | 2147483647    27509     41 |  0.342 % |
601.83/601.83	c |   1745935 |    3210    20478    69360 |    29769    26503     39 |  0.342 % |
602.03/602.02	c |   1746448 |    3210    20478    69360 |    29769    27016     39 |  0.342 % |
602.13/602.18	c |   1746960 |    3210    20478    69360 |    29769    27528     39 |  0.342 % |
602.43/602.50	c |   1747984 |    3210    20478    69360 |    29769    28552     41 |  0.343 % |
602.63/602.65	c |   1748500 |    3210    20478    69360 |    29769    29068     41 |  0.343 % |
602.84/602.87	c |   1749012 |    3210    20478    69360 |    29769    29580     41 |  0.342 % |
603.24/603.27	c |   1750036 |    3210    20478    69360 |    30569    30604     41 |  0.342 % |
603.94/603.95	c |   1752084 |    3210    20478    69360 |    30569    27788     40 |  0.343 % |
604.04/604.11	c |   1752596 |    3210    20478    69360 |    30569    28300     40 |  0.342 % |
604.24/604.27	c |   1753109 |    3210    20478    69360 |    30569    28813     40 |  0.342 % |
604.54/604.53	c |   1754135 |    3210    20478    69360 |    30569    29839     40 |  0.342 % |
604.64/604.70	c |   1754647 |    3210    20478    69360 |    30569    30351     40 |  0.342 % |
604.84/604.88	c |   1755160 |    3210    20478    69360 |    30569    30864     40 |  0.343 % |
605.24/605.25	c |   1756184 |    3210    20478    69360 |    30569    26589     38 |  0.342 % |
605.84/605.85	c |   1758234 |    3210    20478    69360 |    30569    28639     39 |  0.342 % |
607.74/607.77	c |   1762332 |    3210    20478    69360 |    30406    27544     39 |  0.342 % |
607.94/607.95	c |   1762844 |    3210    20478    69360 |    30406    28056     39 |  0.342 % |
608.14/608.16	c |   1763356 |    3210    20478    69360 |    30406    28568     39 |  0.343 % |
608.44/608.50	c |   1764380 |    3210    20478    69360 |    30406    29592     40 |  0.342 % |
608.64/608.68	c |   1764892 |    3210    20478    69360 |    30406    30104     40 |  0.342 % |
608.84/608.85	c |   1765405 |    3210    20478    69360 |    30406    30617     40 |  0.342 % |
609.14/609.15	c |   1766430 |    3210    20478    69360 |    30406    26345     38 |  0.342 % |
609.84/609.82	c |   1768478 |    3210    20478    69360 |    30406    28393     39 |  0.342 % |
609.94/610.00	c |   1768991 |    3210    20478    69360 |    30406    28906     39 |  0.342 % |
610.14/610.17	c |   1769504 |    3210    20478    69360 |    30406    29419     39 |  0.342 % |
610.54/610.61	c |   1770530 |    3210    20478    69360 |    29915    30445     40 |  0.342 % |
610.74/610.79	c |   1771042 |    3210    20478    69360 |    29915    25859     38 |  0.342 % |
610.94/610.95	c |   1771555 |    3210    20478    69360 |    29915    26372     38 |  0.342 % |
611.34/611.36	c |   1772580 |    3210    20478    69360 |    29915    27397     38 |  0.342 % |
612.04/612.10	c |   1774628 |    3210    20478    69360 |    29915    29445     39 |  0.343 % |
613.54/613.60	c |   1778725 |    3210    20478    69360 |    29915    28194     38 |  0.342 % |
616.44/616.47	c |   1786917 |    3210    20478    69360 |    29469    28639     35 |  0.342 % |
622.44/622.45	c |   1803302 |    3210    20478    69360 |    24944    22877     38 |  0.342 % |
622.64/622.61	c |   1803814 |    3210    20478    69360 |    24944    23389     38 |  0.342 % |
622.74/622.78	c |   1804327 |    3210    20478    69360 |    24944    23902     38 |  0.342 % |
623.14/623.15	c |   1805352 |    3210    20478    69360 |    24944    24927     38 |  0.342 % |
623.24/623.29	c |   1805864 |    3210    20478    69360 |    24944    25439     38 |  0.342 % |
623.44/623.48	c |   1806378 |    3210    20478    69360 |    24944    21581     38 |  0.342 % |
623.74/623.75	c |   1807403 |    3210    20478    69360 |    24944    22606     39 |  0.343 % |
624.34/624.39	c |   1809452 |    3210    20478    69360 |    24944    24655     40 |  0.342 % |
624.54/624.54	c |   1809964 |    3210    20478    69360 |    24944    25167     40 |  0.343 % |
624.74/624.73	c |   1810476 |    3210    20478    69360 |    21060    21533     39 |  0.342 % |
625.04/625.06	c |   1811500 |    3210    20478    69360 |    21060    19317     39 |  0.342 % |
625.14/625.19	c |   1812014 |    3210    20478    69360 |    21060    19831     39 |  0.342 % |
625.34/625.34	c |   1812526 |    3210    20478    69360 |    21060    20343     40 |  0.342 % |
625.64/625.63	c |   1813551 |    3210    20478    69360 |    21060    21368     39 |  0.342 % |
626.24/626.22	c |   1815600 |    3210    20478    69360 |    21060    20628     39 |  0.342 % |
627.34/627.34	c |   1819698 |    3210    20478    69360 |    21060    21990     43 |  0.342 % |
627.44/627.50	c |   1820212 |    3210    20478    69360 |    19454    19665     42 |  0.343 % |
627.64/627.64	c |   1820724 |    3210    20478    69360 |    19454    17779     42 |  0.343 % |
627.84/627.88	c |   1821750 |    3210    20478    69360 |    19454    18805     42 |  0.342 % |
627.94/628.00	c |   1822262 |    3210    20478    69360 |    19454    19317     42 |  0.342 % |
628.14/628.14	c |   1822774 |    3210    20478    69360 |    19454    19829     42 |  0.342 % |
628.34/628.37	c |   1823799 |    3210    20478    69360 |    19454    18872     42 |  0.342 % |
628.84/628.84	c |   1825847 |    3210    20478    69360 |    19454    18863     41 |  0.343 % |
628.94/628.94	c |   1826360 |    3210    20478    69360 |    19454    19376     41 |  0.342 % |
629.04/629.07	c |   1826873 |    3210    20478    69360 |    19454    17904     41 |  0.342 % |
629.24/629.29	c |   1827899 |    3210    20478    69360 |    19454    18930     41 |  0.343 % |
629.44/629.42	c |   1828412 |    3210    20478    69360 |    19454    19443     41 |  0.342 % |
629.54/629.59	c |   1828925 |    3210    20478    69360 |    19454    19956     41 |  0.342 % |
629.84/629.88	c |   1829949 |    3210    20478    69360 |    19454    18985     40 |  0.342 % |
630.34/630.39	c |   1831997 |    3210    20478    69360 | 2147483647    21033     41 |  0.343 % |
631.64/631.62	c |   1836094 |    3210    20478    69360 | 2147483647    25130     42 |  0.342 % |
634.74/634.74	c |   1844286 |    3210    20478    69360 |    29037    28636     40 |  0.342 % |
634.94/634.97	c |   1844798 |    3210    20478    69360 |    29037    29148     40 |  0.343 % |
635.14/635.11	c |   1845311 |    3210    20478    69360 |    29037    24636     38 |  0.343 % |
635.44/635.49	c |   1846335 |    3210    20478    69360 |    29037    25660     39 |  0.343 % |
635.64/635.63	c |   1846848 |    3210    20478    69360 |    29037    26173     39 |  0.343 % |
635.74/635.77	c |   1847362 |    3210    20478    69360 |    29037    26687     38 |  0.343 % |
636.14/636.12	c |   1848386 |    3210    20478    69360 |    29037    27711     38 |  0.342 % |
636.74/636.79	c |   1850435 |    3210    20478    69360 |    29326    29760     41 |  0.343 % |
636.94/636.97	c |   1850948 |    3210    20478    69360 |    29326    25364     40 |  0.342 % |
637.14/637.14	c |   1851461 |    3210    20478    69360 |    29326    25877     40 |  0.343 % |
637.44/637.47	c |   1852487 |    3210    20478    69360 |    29326    26903     40 |  0.342 % |
637.64/637.65	c |   1852999 |    3210    20478    69360 |    29326    27415     40 |  0.342 % |
637.74/637.78	c |   1853511 |    3210    20478    69360 |    29326    27927     39 |  0.343 % |
638.14/638.15	c |   1854536 |    3210    20478    69360 |    29326    28952     40 |  0.343 % |
638.84/638.87	c |   1856585 |    3210    20478    69360 |    29326    26360     38 |  0.342 % |
640.14/640.21	c |   1860681 |    3210    20478    69360 |    29775    30456     40 |  0.343 % |
640.34/640.39	c |   1861193 |    3210    20478    69360 |    29775    25631     37 |  0.342 % |
640.54/640.51	c |   1861705 |    3210    20478    69360 |    29775    26143     37 |  0.342 % |
640.94/640.94	c |   1862730 |    3210    20478    69360 |    29775    27168     37 |  0.342 % |
641.14/641.11	c |   1863242 |    3210    20478    69360 |    29775    27680     38 |  0.342 % |
641.34/641.33	c |   1863756 |    3210    20478    69360 |    29775    28194     38 |  0.342 % |
641.74/641.72	c |   1864780 |    3210    20478    69360 |    29775    29218     38 |  0.343 % |
642.54/642.51	c |   1866829 |    3210    20478    69360 |    29775    26574     37 |  0.342 % |
642.74/642.72	c |   1867341 |    3210    20478    69360 |    29775    27086     37 |  0.342 % |
642.94/642.93	c |   1867853 |    3210    20478    69360 |    29775    27598     37 |  0.343 % |
643.24/643.25	c |   1868878 |    3210    20478    69360 |    29775    28623     38 |  0.342 % |
643.44/643.47	c |   1869390 |    3210    20478    69360 |    29775    29135     38 |  0.342 % |
643.64/643.64	c |   1869902 |    3210    20478    69360 |    29775    29647     38 |  0.342 % |
643.94/644.00	c |   1870928 |    3210    20478    69360 |    29747    30673     39 |  0.342 % |
644.64/644.69	c |   1872977 |    3210    20478    69360 |    29747    27289     36 |  0.342 % |
646.24/646.24	c |   1877074 |    3210    20478    69360 |    29747    26936     35 |  0.342 % |
649.54/649.52	c |   1885267 |    3210    20478    69360 |    29862    29581     35 |  0.343 % |
655.54/655.61	c |   1901652 |    3210    20478    69360 |    26771    24191     41 |  0.343 % |
666.94/666.99	c |   1934422 |    3210    20478    69360 | 2147483647    27717     32 |  0.343 % |
667.14/667.13	c |   1934935 |    3210    20478    69360 | 2147483647    28230     32 |  0.343 % |
667.34/667.33	c |   1935447 |    3210    20478    69360 | 2147483647    28742     32 |  0.342 % |
667.74/667.78	c |   1936471 |    3210    20478    69360 | 2147483647    29766     33 |  0.343 % |
667.94/667.97	c |   1936983 |    3210    20478    69360 | 2147483647    30278     33 |  0.342 % |
668.14/668.20	c |   1937495 |    3210    20478    69360 | 2147483647    30790     33 |  0.342 % |
668.64/668.62	c |   1938519 |    3210    20478    69360 | 2147483647    31814     33 |  0.342 % |
669.24/669.26	c |   1940567 |    3210    20478    69360 |    33295    33862     34 |  0.342 % |
669.44/669.49	c |   1941079 |    3210    20478    69360 |    33295    29510     33 |  0.342 % |
669.64/669.65	c |   1941591 |    3210    20478    69360 |    33295    30022     33 |  0.342 % |
669.84/669.90	c |   1942615 |    3210    20478    69360 |    33295    31046     34 |  0.342 % |
670.04/670.09	c |   1943128 |    3210    20478    69360 |    33295    31559     34 |  0.342 % |
670.24/670.25	c |   1943640 |    3210    20478    69360 |    33295    32071     34 |  0.343 % |
670.64/670.69	c |   1944664 |    3210    20478    69360 |    33295    33095     34 |  0.343 % |
671.64/671.63	c |   1946715 |    3210    20478    69360 |    33295    29511     33 |  0.342 % |
673.84/673.83	c |   1950812 |    3210    20478    69360 |    32798    33608     33 |  0.343 % |
674.04/674.02	c |   1951326 |    3210    20478    69360 |    32798    28676     33 |  0.342 % |
674.24/674.27	c |   1951838 |    3210    20478    69360 |    32798    29188     33 |  0.343 % |
674.64/674.64	c |   1952863 |    3210    20478    69360 |    32798    30213     33 |  0.343 % |
674.84/674.85	c |   1953375 |    3210    20478    69360 |    32798    30725     33 |  0.343 % |
675.04/675.08	c |   1953887 |    3210    20478    69360 |    32798    31237     34 |  0.342 % |
675.45/675.51	c |   1954911 |    3210    20478    69360 |    32798    32261     34 |  0.342 % |
676.24/676.25	c |   1956961 |    3210    20478    69360 |    32798    34311     35 |  0.342 % |
676.44/676.44	c |   1957473 |    3210    20478    69360 |    32798    28780     36 |  0.343 % |
676.64/676.61	c |   1957985 |    3210    20478    69360 |    32798    29292     36 |  0.343 % |
676.94/677.00	c |   1959009 |    3210    20478    69360 |    32798    30316     36 |  0.342 % |
677.14/677.15	c |   1959523 |    3210    20478    69360 |    32798    30830     36 |  0.342 % |
677.34/677.33	c |   1960035 |    3210    20478    69360 |    31307    31342     37 |  0.343 % |
677.74/677.72	c |   1961059 |    3210    20478    69360 |    31307    26634     36 |  0.342 % |
678.34/678.34	c |   1963107 |    3210    20478    69360 |    31307    28682     36 |  0.343 % |
679.64/679.70	c |   1967203 |    3210    20478    69360 |    31307    26880     38 |  0.342 % |
682.54/682.55	c |   1975395 |    3210    20478    69360 |    29677    29745     42 |  0.342 % |
682.74/682.77	c |   1975909 |    3210    20478    69360 |    29677    25177     41 |  0.342 % |
682.84/682.88	c |   1976424 |    3210    20478    69360 |    29677    25692     41 |  0.342 % |
683.24/683.26	c |   1977448 |    3210    20478    69360 |    29677    26716     41 |  0.342 % |
683.44/683.42	c |   1977960 |    3210    20478    69360 |    29677    27228     42 |  0.342 % |
683.54/683.59	c |   1978472 |    3210    20478    69360 |    29677    27740     42 |  0.342 % |
683.84/683.86	c |   1979496 |    3210    20478    69360 |    29677    28764     42 |  0.342 % |
684.64/684.69	c |   1981544 |    3210    20478    69360 |    29270    30812     42 |  0.342 % |
684.94/684.93	c |   1982056 |    3210    20478    69360 |    29270    25546     41 |  0.342 % |
685.04/685.03	c |   1982568 |    3210    20478    69360 |    29270    26058     41 |  0.342 % |
685.24/685.31	c |   1983592 |    3210    20478    69360 |    29270    27082     42 |  0.342 % |
685.44/685.46	c |   1984105 |    3210    20478    69360 |    29270    27595     42 |  0.342 % |
685.64/685.62	c |   1984617 |    3210    20478    69360 |    29270    28107     42 |  0.342 % |
685.94/685.97	c |   1985642 |    3210    20478    69360 |    29270    29132     42 |  0.342 % |
686.64/686.61	c |   1987691 |    3210    20478    69360 |    29270    26193     38 |  0.342 % |
687.84/687.86	c |   1991788 |    3210    20478    69360 |    28502    25254     40 |  0.343 % |
687.94/687.97	c |   1992300 |    3210    20478    69360 |    28502    25766     40 |  0.342 % |
688.14/688.12	c |   1992813 |    3210    20478    69360 |    28502    26279     40 |  0.342 % |
688.44/688.48	c |   1993837 |    3210    20478    69360 |    28502    27303     40 |  0.342 % |
688.65/688.62	c |   1994349 |    3210    20478    69360 |    28502    27815     40 |  0.342 % |
688.74/688.76	c |   1994862 |    3210    20478    69360 |    28502    28328     40 |  0.342 % |
689.04/689.04	c |   1995886 |    3210    20478    69360 |    28502    29352     40 |  0.342 % |
689.75/689.76	c |   1997936 |    3210    20478    69360 |    28502    27451     40 |  0.342 % |
689.94/689.92	c |   1998448 |    3210    20478    69360 |    28502    27963     41 |  0.343 % |
690.04/690.09	c |   1998961 |    3210    20478    69360 |    28502    28476     41 |  0.342 % |
690.44/690.42	c |   1999985 |    3210    20478    69360 |    28502    25507     41 |  0.342 % |
690.64/690.65	c |   2000497 |    3210    20478    69360 |    25527    26019     41 |  0.342 % |
690.74/690.77	c |   2001010 |    3210    20478    69360 |    25527    23251     40 |  0.343 % |
691.14/691.11	c |   2002034 |    3210    20478    69360 |    25527    24275     41 |  0.342 % |
691.64/691.68	c |   2004082 |    3210    20478    69360 |    25527    26323     41 |  0.342 % |
692.84/692.85	c |   2008178 |    3210    20478    69360 |    25527    26663     43 |  0.342 % |
695.74/695.76	c |   2016370 |    3210    20478    69360 |    24636    25795     40 |  0.342 % |
701.34/701.38	c |   2032756 |    3210    20478    69360 |    34312    30577     45 |  0.342 % |
701.54/701.54	c |   2033268 |    3210    20478    69360 |    34312    31089     45 |  0.343 % |
701.74/701.72	c |   2033781 |    3210    20478    69360 |    34312    31602     45 |  0.342 % |
702.04/702.10	c |   2034805 |    3210    20478    69360 |    34312    32626     45 |  0.342 % |
702.24/702.25	c |   2035317 |    3210    20478    69360 |    34312    33138     45 |  0.343 % |
702.44/702.47	c |   2035829 |    3210    20478    69360 |    34312    33650     45 |  0.342 % |
702.84/702.82	c |   2036854 |    3210    20478    69360 |    34312    34675     45 |  0.342 % |
703.64/703.70	c |   2038902 |    3210    20478    69360 |    34312    30311     45 |  0.342 % |
703.84/703.91	c |   2039414 |    3210    20478    69360 |    34312    30823     45 |  0.343 % |
704.05/704.08	c |   2039926 |    3210    20478    69360 |    34312    31335     45 |  0.343 % |
704.44/704.44	c |   2040950 |    3210    20478    69360 |    31409    32359     45 |  0.343 % |
704.64/704.65	c |   2041463 |    3210    20478    69360 |    31409    27472     44 |  0.342 % |
704.84/704.87	c |   2041975 |    3210    20478    69360 |    31409    27984     44 |  0.342 % |
705.24/705.22	c |   2042999 |    3210    20478    69360 |    31409    29008     45 |  0.343 % |
705.94/706.00	c |   2045047 |    3210    20478    69360 |    31409    31056     45 |  0.342 % |
707.54/707.52	c |   2049146 |    3210    20478    69360 |    31409    29591     43 |  0.343 % |
707.64/707.68	c |   2049661 |    3210    20478    69360 |    31409    30106     43 |  0.342 % |
707.84/707.84	c |   2050173 |    3210    20478    69360 |    30445    30618     43 |  0.342 % |
708.14/708.20	c |   2051197 |    3210    20478    69360 |    30445    26347     38 |  0.342 % |
708.34/708.35	c |   2051710 |    3210    20478    69360 |    30445    26860     38 |  0.342 % |
708.45/708.49	c |   2052223 |    3210    20478    69360 |    30445    27373     38 |  0.342 % |
708.74/708.78	c |   2053247 |    3210    20478    69360 |    30445    28397     37 |  0.343 % |
709.44/709.41	c |   2055295 |    3210    20478    69360 |    30445    30445     39 |  0.342 % |
709.64/709.63	c |   2055807 |    3210    20478    69360 |    30445    26317     37 |  0.342 % |
709.74/709.78	c |   2056319 |    3210    20478    69360 |    30445    26829     37 |  0.343 % |
710.04/710.03	c |   2057344 |    3210    20478    69360 |    30445    27854     37 |  0.342 % |
710.24/710.24	c |   2057858 |    3210    20478    69360 |    30445    28368     37 |  0.342 % |
710.44/710.42	c |   2058371 |    3210    20478    69360 |    30445    28881     37 |  0.342 % |
710.84/710.83	c |   2059396 |    3210    20478    69360 |    30445    29906     37 |  0.342 % |
711.44/711.45	c |   2061445 |    3210    20478    69360 |    30511    27351     36 |  0.343 % |
712.94/712.96	c |   2065542 |    3210    20478    69360 |    30511    31448     40 |  0.343 % |
715.94/715.91	c |   2073736 |    3210    20478    69360 |    30428    28745     39 |  0.342 % |
716.04/716.08	c |   2074250 |    3210    20478    69360 |    30428    29259     38 |  0.342 % |
716.24/716.28	c |   2074762 |    3210    20478    69360 |    30428    29771     38 |  0.343 % |
716.65/716.70	c |   2075787 |    3210    20478    69360 |    30428    30796     39 |  0.342 % |
716.85/716.90	c |   2076299 |    3210    20478    69360 |    30428    26053     37 |  0.342 % |
717.05/717.07	c |   2076812 |    3210    20478    69360 |    30428    26566     37 |  0.342 % |
717.35/717.38	c |   2077837 |    3210    20478    69360 |    30428    27591     38 |  0.342 % |
718.05/718.03	c |   2079885 |    3210    20478    69360 |    30428    29639     38 |  0.342 % |
718.15/718.22	c |   2080397 |    3210    20478    69360 |    29756    30151     38 |  0.343 % |
718.35/718.41	c |   2080909 |    3210    20478    69360 |    29756    25842     37 |  0.343 % |
718.85/718.84	c |   2081937 |    3210    20478    69360 |    29756    26870     38 |  0.342 % |
718.95/718.99	c |   2082449 |    3210    20478    69360 |    29756    27382     38 |  0.343 % |
719.15/719.17	c |   2082961 |    3210    20478    69360 |    29756    27894     39 |  0.343 % |
719.55/719.53	c |   2083985 |    3210    20478    69360 |    29756    28918     39 |  0.342 % |
720.25/720.31	c |   2086036 |    3210    20478    69360 |    29756    25891     36 |  0.342 % |
721.45/721.52	c |   2090132 |    3210    20478    69360 |    29856    29987     37 |  0.342 % |
721.75/721.75	c |   2090646 |    3210    20478    69360 |    29856    26501     37 |  0.343 % |
721.85/721.90	c |   2091161 |    3210    20478    69360 |    29856    27016     37 |  0.342 % |
722.15/722.22	c |   2092188 |    3210    20478    69360 |    29856    28043     38 |  0.342 % |
722.35/722.39	c |   2092700 |    3210    20478    69360 |    29856    28555     38 |  0.343 % |
722.55/722.52	c |   2093214 |    3210    20478    69360 |    29856    29069     38 |  0.343 % |
722.85/722.85	c |   2094239 |    3210    20478    69360 |    29856    30094     38 |  0.342 % |
723.45/723.45	c |   2096289 |    3210    20478    69360 |    29856    27692     39 |  0.342 % |
723.65/723.63	c |   2096803 |    3210    20478    69360 |    29856    28206     39 |  0.342 % |
723.75/723.79	c |   2097315 |    3210    20478    69360 |    29856    28718     39 |  0.343 % |
724.15/724.12	c |   2098339 |    3210    20478    69360 |    29856    29742     39 |  0.343 % |
724.25/724.24	c |   2098851 |    3210    20478    69360 |    29856    30254     39 |  0.342 % |
724.45/724.44	c |   2099365 |    3210    20478    69360 |    29856    26514     38 |  0.343 % |
724.75/724.76	c |   2100389 |    3210    20478    69360 |    27151    27538     39 |  0.342 % |
725.45/725.43	c |   2102440 |    3210    20478    69360 |    27151    25545     38 |  0.342 % |
726.85/726.86	c |   2106536 |    3210    20478    69360 |    27151    25060     39 |  0.342 % |
729.75/729.75	c |   2114729 |    3210    20478    69360 |    24024    24777     36 |  0.343 % |
734.65/734.64	c |   2131113 |    3210    20478    69360 | 2147483647    24886     33 |  0.343 % |
749.25/749.29	c |   2163881 |    3210    20478    69360 |    29549    28122     39 |  0.342 % |
776.55/776.54	c |   2229417 |    3210    20478    69360 |    25265    24488     33 |  0.342 % |
827.34/827.40	c |   2360490 |    3210    20478    69360 |    23341    23830     34 |  0.342 % |
925.25/925.21	c |   2622637 |    3210    20478    69360 |    31815    28453     28 |  0.342 % |
925.35/925.37	c |   2623150 |    3210    20478    69360 |    31815    28966     28 |  0.342 % |
925.55/925.53	c |   2623663 |    3210    20478    69360 |    31815    29479     28 |  0.342 % |
925.95/925.96	c |   2624687 |    3210    20478    69360 |    31815    30503     28 |  0.342 % |
926.15/926.17	c |   2625199 |    3210    20478    69360 |    31815    31015     29 |  0.343 % |
926.26/926.29	c |   2625712 |    3210    20478    69360 |    31815    31528     29 |  0.343 % |
926.65/926.70	c |   2626738 |    3210    20478    69360 |    31815    27416     29 |  0.342 % |
927.36/927.33	c |   2628786 |    3210    20478    69360 |    31815    29464     30 |  0.342 % |
927.45/927.43	c |   2629298 |    3210    20478    69360 |    31815    29976     31 |  0.342 % |
927.55/927.57	c |   2629812 |    3210    20478    69360 |    31815    30490     31 |  0.342 % |
927.95/927.95	c |   2630836 |    3210    20478    69360 |    30678    31514     32 |  0.342 % |
928.15/928.15	c |   2631349 |    3210    20478    69360 |    30678    26186     31 |  0.342 % |
928.25/928.31	c |   2631863 |    3210    20478    69360 |    30678    26700     31 |  0.342 % |
928.65/928.63	c |   2632888 |    3210    20478    69360 |    30678    27725     32 |  0.342 % |
929.35/929.34	c |   2634938 |    3210    20478    69360 |    30678    29775     32 |  0.343 % |
930.85/930.90	c |   2639034 |    3210    20478    69360 |    30678    28116     33 |  0.342 % |
931.05/931.07	c |   2639546 |    3210    20478    69360 |    30678    28628     34 |  0.342 % |
931.25/931.24	c |   2640059 |    3210    20478    69360 |    29083    29141     34 |  0.342 % |
931.55/931.61	c |   2641084 |    3210    20478    69360 |    29083    25330     35 |  0.342 % |
931.76/931.75	c |   2641596 |    3210    20478    69360 |    29083    25842     35 |  0.342 % |
931.95/931.91	c |   2642108 |    3210    20478    69360 |    29083    26354     35 |  0.342 % |
932.15/932.21	c |   2643133 |    3210    20478    69360 |    29083    27379     35 |  0.342 % |
932.86/932.82	c |   2645183 |    3210    20478    69360 |    29083    29429     37 |  0.342 % |
932.95/932.99	c |   2645697 |    3210    20478    69360 |    29083    25260     38 |  0.342 % |
933.15/933.15	c |   2646209 |    3210    20478    69360 |    29083    25772     38 |  0.342 % |
933.35/933.39	c |   2647237 |    3210    20478    69360 |    29083    26800     38 |  0.342 % |
933.55/933.53	c |   2647749 |    3210    20478    69360 |    29083    27312     38 |  0.342 % |
933.65/933.68	c |   2648261 |    3210    20478    69360 |    29083    27824     38 |  0.342 % |
934.05/934.06	c |   2649285 |    3210    20478    69360 |    29083    28848     38 |  0.342 % |
934.85/934.83	c |   2651333 |    3210    20478    69360 |    29566    26643     37 |  0.342 % |
936.25/936.22	c |   2655431 |    3210    20478    69360 |    29566    30741     40 |  0.342 % |
939.45/939.47	c |   2663623 |    3210    20478    69360 |    29885    29647     38 |  0.342 % |
939.64/939.65	c |   2664136 |    3210    20478    69360 |    29885    30160     38 |  0.342 % |
939.84/939.82	c |   2664649 |    3210    20478    69360 |    29885    27657     38 |  0.342 % |
940.14/940.12	c |   2665673 |    3210    20478    69360 |    29885    28681     39 |  0.342 % |
940.24/940.28	c |   2666185 |    3210    20478    69360 |    29885    29193     39 |  0.342 % |
940.44/940.41	c |   2666699 |    3210    20478    69360 |    29885    29707     39 |  0.342 % |
940.74/940.70	c |   2667723 |    3210    20478    69360 |    29885    27723     38 |  0.342 % |
941.24/941.28	c |   2669772 |    3210    20478    69360 |    29885    29772     38 |  0.342 % |
941.44/941.45	c |   2670285 |    3210    20478    69360 | 2147483647    30285     38 |  0.342 % |
941.65/941.64	c |   2670797 |    3210    20478    69360 | 2147483647    30797     38 |  0.342 % |
941.94/941.90	c |   2671821 |    3210    20478    69360 | 2147483647    31821     39 |  0.342 % |
942.14/942.11	c |   2672337 |    3210    20478    69360 | 2147483647    32337     39 |  0.342 % |
942.24/942.29	c |   2672850 |    3210    20478    69360 | 2147483647    32850     39 |  0.342 % |
942.64/942.70	c |   2673875 |    3210    20478    69360 | 2147483647    33875     39 |  0.342 % |
943.64/943.62	c |   2675924 |    3210    20478    69360 | 2147483647    35924     40 |  0.343 % |
945.55/945.57	c |   2680021 |    3210    20478    69360 |    40000    40021     41 |  0.343 % |
945.75/945.81	c |   2680534 |    3210    20478    69360 |    40000    33450     39 |  0.343 % |
946.05/946.02	c |   2681048 |    3210    20478    69360 |    40000    33964     39 |  0.342 % |
946.35/946.37	c |   2682072 |    3210    20478    69360 |    40000    34988     40 |  0.343 % |
946.55/946.53	c |   2682584 |    3210    20478    69360 |    40000    35500     40 |  0.342 % |
946.75/946.74	c |   2683099 |    3210    20478    69360 |    40000    36015     40 |  0.342 % |
947.15/947.16	c |   2684124 |    3210    20478    69360 |    40000    37040     40 |  0.343 % |
948.15/948.17	c |   2686172 |    3210    20478    69360 |    40000    39088     41 |  0.342 % |
948.45/948.42	c |   2686686 |    3210    20478    69360 |    40000    39602     41 |  0.342 % |
948.65/948.63	c |   2687199 |    3210    20478    69360 |    40000    40115     41 |  0.343 % |
949.15/949.17	c |   2688223 |    3210    20478    69360 |    40000    32913     38 |  0.343 % |
949.35/949.37	c |   2688739 |    3210    20478    69360 |    40000    33429     39 |  0.342 % |
949.55/949.57	c |   2689251 |    3210    20478    69360 |    40000    33941     39 |  0.343 % |
950.05/950.07	c |   2690275 |    3210    20478    69360 |    34690    34965     39 |  0.342 % |
950.85/950.83	c |   2692324 |    3210    20478    69360 |    34690    29975     37 |  0.342 % |
952.25/952.23	c |   2696422 |    3210    20478    69360 |    34690    34073     41 |  0.343 % |
955.05/955.01	c |   2704614 |    3210    20478    69360 |    29738    28109     38 |  0.342 % |
960.45/960.46	c |   2721000 |    3210    20478    69360 | 2147483647    27510     33 |  0.342 % |
960.55/960.60	c |   2721512 |    3210    20478    69360 | 2147483647    28022     34 |  0.343 % |
960.75/960.74	c |   2722024 |    3210    20478    69360 | 2147483647    28534     34 |  0.342 % |
961.05/961.03	c |   2723048 |    3210    20478    69360 | 2147483647    29558     35 |  0.344 % |
961.15/961.18	c |   2723563 |    3210    20478    69360 | 2147483647    30073     36 |  0.342 % |
961.35/961.34	c |   2724077 |    3210    20478    69360 | 2147483647    30587     36 |  0.342 % |
961.65/961.65	c |   2725102 |    3210    20478    69360 | 2147483647    31612     36 |  0.342 % |
962.25/962.28	c |   2727150 |    3210    20478    69360 | 2147483647    33660     36 |  0.342 % |
962.45/962.46	c |   2727663 |    3210    20478    69360 | 2147483647    34173     37 |  0.343 % |
962.65/962.63	c |   2728175 |    3210    20478    69360 | 2147483647    34685     37 |  0.342 % |
963.05/963.02	c |   2729200 |    3210    20478    69360 | 2147483647    35710     37 |  0.342 % |
963.15/963.18	c |   2729714 |    3210    20478    69360 | 2147483647    36224     37 |  0.342 % |
963.35/963.37	c |   2730227 |    3210    20478    69360 |    36510    36737     37 |  0.342 % |
963.75/963.76	c |   2731252 |    3210    20478    69360 |    36510    32988     36 |  0.343 % |
964.45/964.42	c |   2733300 |    3210    20478    69360 |    36510    35036     37 |  0.343 % |
965.95/965.94	c |   2737397 |    3210    20478    69360 |    36510    32983     35 |  0.343 % |
966.15/966.11	c |   2737909 |    3210    20478    69360 |    36510    33495     35 |  0.342 % |
966.25/966.30	c |   2738421 |    3210    20478    69360 |    36510    34007     35 |  0.342 % |
966.65/966.67	c |   2739445 |    3210    20478    69360 |    36510    35031     35 |  0.344 % |
966.85/966.90	c |   2739957 |    3210    20478    69360 |    36510    35543     35 |  0.343 % |
967.05/967.08	c |   2740469 |    3210    20478    69360 |    35586    36055     35 |  0.342 % |
967.45/967.48	c |   2741493 |    3210    20478    69360 |    35586    30539     37 |  0.342 % |
968.25/968.23	c |   2743542 |    3210    20478    69360 |    35586    32588     37 |  0.342 % |
968.45/968.43	c |   2744054 |    3210    20478    69360 |    35586    33100     37 |  0.342 % |
968.65/968.66	c |   2744569 |    3210    20478    69360 |    35586    33615     37 |  0.342 % |
969.05/969.04	c |   2745593 |    3210    20478    69360 |    35586    34639     38 |  0.343 % |
969.25/969.24	c |   2746105 |    3210    20478    69360 |    35586    35151     38 |  0.345 % |
969.55/969.54	c |   2746618 |    3210    20478    69360 |    35586    35664     38 |  0.342 % |
969.95/970.00	c |   2747642 |    3210    20478    69360 |    35586    30120     38 |  0.342 % |
970.65/970.70	c |   2749690 |    3210    20478    69360 |    35586    32168     39 |  0.343 % |
972.45/972.41	c |   2753787 |    3210    20478    69360 |    32478    29841     38 |  0.342 % |
975.85/975.88	c |   2761982 |    3210    20478    69360 |    29760    26107     38 |  0.342 % |
975.95/976.00	c |   2762494 |    3210    20478    69360 |    29760    26619     39 |  0.342 % |
976.15/976.18	c |   2763007 |    3210    20478    69360 |    29760    27132     39 |  0.342 % |
976.45/976.49	c |   2764031 |    3210    20478    69360 |    29760    28156     39 |  0.342 % |
976.65/976.68	c |   2764543 |    3210    20478    69360 |    29760    28668     39 |  0.343 % |
976.85/976.86	c |   2765055 |    3210    20478    69360 |    29760    29180     39 |  0.342 % |
977.25/977.21	c |   2766080 |    3210    20478    69360 |    29760    30205     40 |  0.342 % |
977.65/977.67	c |   2768129 |    3210    20478    69360 |    29760    26643     37 |  0.343 % |
977.85/977.85	c |   2768641 |    3210    20478    69360 |    29760    27155     37 |  0.342 % |
978.05/978.01	c |   2769153 |    3210    20478    69360 |    29760    27667     37 |  0.343 % |
978.45/978.42	c |   2770178 |    3210    20478    69360 |    28517    28692     38 |  0.343 % |
978.55/978.57	c |   2770690 |    3210    20478    69360 |    28517    24491     36 |  0.342 % |
978.75/978.73	c |   2771203 |    3210    20478    69360 |    28517    25004     36 |  0.342 % |
979.05/979.03	c |   2772227 |    3210    20478    69360 |    28517    26028     36 |  0.343 % |
979.85/979.90	c |   2774275 |    3210    20478    69360 |    28517    28076     37 |  0.342 % |
981.15/981.19	c |   2778374 |    3210    20478    69360 |    28517    28234     37 |  0.343 % |
981.35/981.40	c |   2778886 |    3210    20478    69360 |    28517    28746     38 |  0.343 % |
981.55/981.59	c |   2779398 |    3210    20478    69360 |    28517    25581     36 |  0.343 % |
981.85/981.90	c |   2780424 |    3210    20478    69360 |    26184    26607     37 |  0.342 % |
982.05/982.09	c |   2780937 |    3210    20478    69360 |    26184    23655     36 |  0.342 % |
982.25/982.24	c |   2781450 |    3210    20478    69360 |    26184    24168     36 |  0.342 % |
982.55/982.57	c |   2782474 |    3210    20478    69360 |    26184    25192     36 |  0.343 % |
983.25/983.28	c |   2784523 |    3210    20478    69360 |    26184    23884     35 |  0.343 % |
983.45/983.43	c |   2785035 |    3210    20478    69360 |    26184    24396     36 |  0.343 % |
983.55/983.59	c |   2785547 |    3210    20478    69360 |    26184    24908     36 |  0.342 % |
983.85/983.89	c |   2786571 |    3210    20478    69360 |    26184    25932     36 |  0.343 % |
984.05/984.07	c |   2787083 |    3210    20478    69360 |    26184    26444     36 |  0.344 % |
984.25/984.26	c |   2787596 |    3210    20478    69360 |    26184    23681     37 |  0.343 % |
984.55/984.51	c |   2788621 |    3210    20478    69360 |    26184    24706     37 |  0.342 % |
985.15/985.13	c |   2790670 |    3210    20478    69360 |    26086    26755     39 |  0.343 % |
986.45/986.46	c |   2794767 |    3210    20478    69360 |    26086    23350     36 |  0.342 % |
989.25/989.21	c |   2802960 |    3210    20478    69360 |    25393    23971     40 |  0.342 % |
994.65/994.68	c |   2819344 |    3210    20478    69360 |    26667    26555     40 |  0.343 % |
1004.95/1004.93	c |   2852113 |    3210    20478    69360 |    32722    27732     35 |  0.342 % |
1005.15/1005.12	c |   2852625 |    3210    20478    69360 |    32722    28244     35 |  0.343 % |
1005.25/1005.30	c |   2853137 |    3210    20478    69360 |    32722    28756     35 |  0.342 % |
1005.65/1005.63	c |   2854163 |    3210    20478    69360 |    32722    29782     35 |  0.342 % |
1005.75/1005.80	c |   2854677 |    3210    20478    69360 |    32722    30296     35 |  0.342 % |
1006.05/1006.01	c |   2855191 |    3210    20478    69360 |    32722    30810     35 |  0.342 % |
1006.35/1006.37	c |   2856215 |    3210    20478    69360 |    32722    31834     35 |  0.343 % |
1007.15/1007.15	c |   2858263 |    3210    20478    69360 |    32722    27293     34 |  0.342 % |
1007.35/1007.34	c |   2858775 |    3210    20478    69360 |    32722    27805     34 |  0.342 % |
1007.55/1007.56	c |   2859288 |    3210    20478    69360 |    32722    28318     35 |  0.343 % |
1007.95/1007.92	c |   2860313 |    3210    20478    69360 |    29030    29343     35 |  0.342 % |
1008.05/1008.09	c |   2860828 |    3210    20478    69360 |    29030    24235     34 |  0.343 % |
1008.25/1008.23	c |   2861340 |    3210    20478    69360 |    29030    24747     34 |  0.342 % |
1008.45/1008.43	c |   2862364 |    3210    20478    69360 |    29030    25771     34 |  0.343 % |
1009.05/1009.07	c |   2864412 |    3210    20478    69360 |    29030    27819     34 |  0.343 % |
1010.75/1010.80	c |   2868508 |    3209    20470    69336 |    29030    25351     39 |  0.374 % |
1010.95/1010.98	c |   2869021 |    3209    20470    69336 |    29030    25864     39 |  0.373 % |
1011.15/1011.14	c |   2869534 |    3209    20470    69336 |    29030    26377     39 |  0.374 % |
1011.35/1011.39	c |   2870558 |    3209    20470    69336 |    26843    27401     39 |  0.374 % |
1011.55/1011.59	c |   2871071 |    3209    20470    69336 |    26843    23404     39 |  0.374 % |
1011.75/1011.71	c |   2871583 |    3209    20470    69336 |    26843    23916     39 |  0.373 % |
1011.95/1011.97	c |   2872608 |    3209    20470    69336 |    26843    24941     39 |  0.376 % |
1012.65/1012.63	c |   2874656 |    3209    20470    69336 |    26843    26989     41 |  0.373 % |
1012.85/1012.83	c |   2875169 |    3209    20470    69336 |    26843    23559     41 |  0.373 % |
1012.95/1012.97	c |   2875681 |    3209    20470    69336 |    26843    24071     41 |  0.373 % |
1013.16/1013.17	c |   2876705 |    3209    20470    69336 |    26843    25095     41 |  0.373 % |
1013.35/1013.36	c |   2877217 |    3209    20470    69336 |    26843    25607     41 |  0.373 % |
1013.55/1013.53	c |   2877729 |    3209    20470    69336 |    26843    26119     41 |  0.373 % |
1013.85/1013.88	c |   2878754 |    3209    20470    69336 |    26843    27144     41 |  0.374 % |
1014.65/1014.62	c |   2880802 |    3209    20470    69336 |    24821    25622     40 |  0.374 % |
1015.85/1015.88	c |   2884898 |    3209    20470    69336 |    24821    23815     37 |  0.373 % |
1018.45/1018.42	c |   2893091 |    3209    20470    69336 |    23537    24161     31 |  0.374 % |
1018.55/1018.56	c |   2893603 |    3209    20470    69336 |    23537    22257     31 |  0.373 % |
1018.66/1018.68	c |   2894116 |    3209    20470    69336 |    23537    22770     31 |  0.373 % |
1018.95/1018.97	c |   2895140 |    3209    20470    69336 |    23537    23794     32 |  0.373 % |
1019.05/1019.08	c |   2895652 |    3209    20470    69336 |    23537    21927     31 |  0.374 % |
1019.25/1019.22	c |   2896165 |    3209    20470    69336 |    23537    22440     32 |  0.373 % |
1019.45/1019.46	c |   2897189 |    3209    20470    69336 |    23537    23464     32 |  0.373 % |
1020.05/1020.04	c |   2899237 |    3209    20470    69336 |    23537    23101     33 |  0.373 % |
1020.15/1020.15	c |   2899750 |    3209    20470    69336 |    23537    23614     33 |  0.373 % |
1020.35/1020.31	c |   2900262 |    3209    20470    69336 | 2147483647    21765     33 |  0.373 % |
1020.55/1020.55	c |   2901288 |    3209    20470    69336 | 2147483647    22791     34 |  0.373 % |
1020.75/1020.71	c |   2901800 |    3209    20470    69336 | 2147483647    23303     34 |  0.373 % |
1020.86/1020.86	c |   2902314 |    3209    20470    69336 | 2147483647    23817     34 |  0.373 % |
1021.15/1021.11	c |   2903339 |    3209    20470    69336 | 2147483647    24842     35 |  0.374 % |
1021.75/1021.81	c |   2905387 |    3209    20470    69336 | 2147483647    26890     36 |  0.373 % |
1023.15/1023.12	c |   2909484 |    3209    20470    69336 | 2147483647    30987     39 |  0.373 % |
1023.35/1023.32	c |   2909996 |    3209    20470    69336 | 2147483647    31499     39 |  0.373 % |
1023.45/1023.49	c |   2910508 |    3209    20470    69336 |    31505    32011     39 |  0.374 % |
1023.75/1023.77	c |   2911533 |    3209    20470    69336 |    31505    28397     39 |  0.374 % |
1023.95/1023.92	c |   2912046 |    3209    20470    69336 |    31505    28910     39 |  0.373 % |
1024.05/1024.07	c |   2912558 |    3209    20470    69336 |    31505    29422     40 |  0.373 % |
1024.45/1024.48	c |   2913582 |    3209    20470    69336 |    31505    30446     41 |  0.374 % |
1025.26/1025.27	c |   2915630 |    3209    20470    69336 |    31505    32494     41 |  0.373 % |
1025.45/1025.48	c |   2916143 |    3209    20470    69336 |    31505    27058     42 |  0.373 % |
1025.75/1025.72	c |   2916656 |    3209    20470    69336 |    31505    27571     42 |  0.373 % |
1025.95/1025.97	c |   2917680 |    3209    20470    69336 |    31505    28595     43 |  0.373 % |
1026.15/1026.13	c |   2918193 |    3209    20470    69336 |    31505    29108     43 |  0.373 % |
1026.25/1026.28	c |   2918705 |    3209    20470    69336 |    31505    29620     43 |  0.374 % |
1026.65/1026.67	c |   2919730 |    3209    20470    69336 |    31505    30645     43 |  0.373 % |
1027.46/1027.46	c |   2921778 |    3209    20470    69336 |    30915    27821     42 |  0.374 % |
1028.95/1028.90	c |   2925874 |    3209    20470    69336 |    30915    26507     41 |  0.374 % |
1031.65/1031.68	c |   2934067 |    3209    20470    69336 |    30635    29984     40 |  0.373 % |
1037.65/1037.61	c |   2950451 |    3208    20462    69312 |    29699    30149     45 |  0.404 % |
1037.75/1037.80	c |   2950964 |    3208    20462    69312 |    29699    24340     46 |  0.404 % |
1037.95/1037.97	c |   2951476 |    3208    20462    69312 |    29699    24852     46 |  0.404 % |
1038.25/1038.30	c |   2952500 |    3208    20462    69312 |    29699    25876     45 |  0.405 % |
1038.46/1038.46	c |   2953015 |    3208    20462    69312 |    29699    26391     46 |  0.404 % |
1038.55/1038.60	c |   2953527 |    3208    20462    69312 |    29699    26903     46 |  0.404 % |
1038.95/1038.92	c |   2954551 |    3208    20462    69312 |    29699    27927     46 |  0.404 % |
1039.56/1039.56	c |   2956599 |    3208    20462    69312 |    29699    29975     45 |  0.404 % |
1039.75/1039.73	c |   2957111 |    3208    20462    69312 |    29699    24990     46 |  0.404 % |
1039.85/1039.89	c |   2957623 |    3208    20462    69312 |    29699    25502     46 |  0.404 % |
1040.25/1040.27	c |   2958647 |    3208    20462    69312 |    29699    26526     46 |  0.404 % |
1040.45/1040.44	c |   2959161 |    3208    20462    69312 |    29699    27040     46 |  0.405 % |
1040.55/1040.58	c |   2959673 |    3208    20462    69312 |    29699    27552     46 |  0.404 % |
1040.85/1040.88	c |   2960699 |    3208    20462    69312 |    27879    28578     46 |  0.405 % |
1041.55/1041.52	c |   2962747 |    3208    20462    69312 |    27879    25587     44 |  0.404 % |
1043.05/1043.08	c |   2966843 |    3208    20462    69312 |    27879    26215     42 |  0.405 % |
1043.25/1043.25	c |   2967355 |    3208    20462    69312 |    27879    26727     42 |  0.405 % |
1043.45/1043.42	c |   2967870 |    3208    20462    69312 |    27879    27242     42 |  0.405 % |
1043.65/1043.62	c |   2968894 |    3208    20462    69312 |    27879    28266     42 |  0.405 % |
1043.75/1043.78	c |   2969408 |    3208    20462    69312 |    27879    25578     39 |  0.404 % |
1043.96/1043.99	c |   2969920 |    3208    20462    69312 |    27879    26090     39 |  0.404 % |
1044.35/1044.35	c |   2970945 |    3208    20462    69312 |    26171    27115     40 |  0.405 % |
1044.95/1044.96	c |   2972993 |    3208    20462    69312 |    26171    25649     39 |  0.404 % |
1045.15/1045.14	c |   2973506 |    3208    20462    69312 |    26171    26162     39 |  0.404 % |
1045.25/1045.27	c |   2974018 |    3208    20462    69312 |    26171    26674     39 |  0.405 % |
1045.55/1045.57	c |   2975043 |    3208    20462    69312 |    26171    24222     38 |  0.404 % |
1045.65/1045.70	c |   2975555 |    3208    20462    69312 |    26171    24734     38 |  0.404 % |
1045.85/1045.82	c |   2976067 |    3208    20462    69312 |    26171    25246     38 |  0.405 % |
1046.16/1046.20	c |   2977092 |    3208    20462    69312 |    26171    26271     40 |  0.405 % |
1046.85/1046.81	c |   2979142 |    3207    20454    69288 |    26171    24491     38 |  0.436 % |
1048.05/1048.06	c |   2983238 |    3207    20454    69288 |    25350    24731     40 |  0.435 % |
1050.75/1050.74	c |   2991430 |    3207    20454    69288 |    23758    25188     46 |  0.435 % |
1050.85/1050.89	c |   2991942 |    3207    20454    69288 |    23758    22101     47 |  0.435 % |
1051.05/1051.01	c |   2992456 |    3207    20454    69288 |    23758    22615     46 |  0.435 % |
1051.25/1051.23	c |   2993481 |    3207    20454    69288 |    23758    23640     46 |  0.435 % |
1051.35/1051.37	c |   2993995 |    3207    20454    69288 |    23758    21413     45 |  0.435 % |
1051.45/1051.50	c |   2994507 |    3207    20454    69288 |    23758    21925     44 |  0.435 % |
1051.85/1051.85	c |   2995532 |    3207    20454    69288 |    23758    22950     44 |  0.435 % |
1052.35/1052.37	c |   2997580 |    3207    20454    69288 |    23758    24998     44 |  0.435 % |
1052.55/1052.53	c |   2998093 |    3207    20454    69288 |    23758    23012     42 |  0.436 % |
1052.65/1052.67	c |   2998606 |    3207    20454    69288 |    23758    23525     43 |  0.435 % |
1052.95/1052.99	c |   2999630 |    3207    20454    69288 |    23758    24549     43 |  0.435 % |
1053.15/1053.17	c |   3000143 |    3207    20454    69288 | 2147483647    22608     40 |  0.435 % |
1053.25/1053.30	c |   3000657 |    3207    20454    69288 | 2147483647    23122     40 |  0.435 % |
1053.65/1053.60	c |   3001682 |    3207    20454    69288 | 2147483647    24147     40 |  0.436 % |
1054.25/1054.27	c |   3003732 |    3207    20454    69288 | 2147483647    26197     40 |  0.435 % |
1055.65/1055.62	c |   3007828 |    3207    20454    69288 | 2147483647    30293     42 |  0.435 % |
1055.75/1055.77	c |   3008340 |    3207    20454    69288 | 2147483647    30805     42 |  0.436 % |
1055.95/1055.99	c |   3008852 |    3207    20454    69288 | 2147483647    31317     42 |  0.435 % |
1056.25/1056.28	c |   3009876 |    3207    20454    69288 | 2147483647    32341     42 |  0.435 % |
1056.45/1056.49	c |   3010388 |    3207    20454    69288 |    32465    32853     43 |  0.435 % |
1056.75/1056.71	c |   3010900 |    3207    20454    69288 |    32465    28165     39 |  0.436 % |
1057.05/1057.11	c |   3011924 |    3207    20454    69288 |    32465    29189     39 |  0.436 % |
1057.96/1057.98	c |   3013973 |    3207    20454    69288 |    32465    31238     40 |  0.435 % |
1058.26/1058.23	c |   3014485 |    3207    20454    69288 |    32465    31750     40 |  0.435 % |
1058.46/1058.41	c |   3014998 |    3207    20454    69288 |    32465    32263     40 |  0.436 % |
1058.86/1058.85	c |   3016023 |    3207    20454    69288 |    32465    33288     40 |  0.435 % |
1059.06/1059.06	c |   3016535 |    3207    20454    69288 |    32465    29035     38 |  0.436 % |
1059.26/1059.24	c |   3017047 |    3207    20454    69288 |    32465    29547     38 |  0.435 % |
1059.56/1059.61	c |   3018072 |    3207    20454    69288 |    32465    30572     38 |  0.435 % |
1060.26/1060.28	c |   3020121 |    3207    20454    69288 |    32501    32621     39 |  0.435 % |
1061.86/1061.89	c |   3024218 |    3207    20454    69288 |    32501    31290     41 |  0.435 % |
1064.46/1064.41	c |   3032410 |    3207    20454    69288 |    31018    28431     39 |  0.436 % |
1070.86/1070.83	c |   3048794 |    3207    20454    69288 |    30926    27270     44 |  0.435 % |
1081.86/1081.90	c |   3081563 |    3207    20454    69288 |    25302    26864     39 |  0.435 % |
1106.66/1106.62	c |   3147101 |    3207    20454    69288 |    24002    21942     26 |  0.435 % |
1106.76/1106.75	c |   3147613 |    3207    20454    69288 |    24002    22454     26 |  0.435 % |
1106.86/1106.89	c |   3148125 |    3207    20454    69288 |    24002    22966     26 |  0.435 % |
1107.16/1107.17	c |   3149149 |    3207    20454    69288 |    24002    23990     27 |  0.435 % |
1107.36/1107.37	c |   3149661 |    3207    20454    69288 |    24002    21190     27 |  0.435 % |
1107.56/1107.51	c |   3150173 |    3207    20454    69288 |    21532    21702     27 |  0.436 % |
1107.86/1107.83	c |   3151197 |    3207    20454    69288 |    21532    19685     28 |  0.435 % |
1108.36/1108.32	c |   3153245 |    3207    20454    69288 |    21532    21733     31 |  0.435 % |
1108.46/1108.48	c |   3153757 |    3207    20454    69288 |    21532    19778     32 |  0.435 % |
1108.66/1108.62	c |   3154269 |    3207    20454    69288 |    21532    20290     32 |  0.435 % |
1108.86/1108.90	c |   3155294 |    3207    20454    69288 |    21532    21315     33 |  0.435 % |
1109.06/1109.02	c |   3155808 |    3207    20454    69288 |    21532    21829     33 |  0.435 % |
1109.16/1109.19	c |   3156320 |    3207    20454    69288 |    21532    20065     34 |  0.435 % |
1109.46/1109.48	c |   3157344 |    3207    20454    69288 |    21532    21089     34 |  0.435 % |
1110.06/1110.03	c |   3159396 |    3207    20454    69288 |    21532    23141     38 |  0.435 % |
1111.06/1111.08	c |   3163495 |    3207    20454    69288 |    21204    22515     42 |  0.435 % |
1111.26/1111.21	c |   3164008 |    3207    20454    69288 |    21204    20777     44 |  0.435 % |
1111.36/1111.34	c |   3164521 |    3207    20454    69288 |    21204    21290     44 |  0.435 % |
1111.56/1111.54	c |   3165545 |    3207    20454    69288 |    21204    20183     44 |  0.435 % |
1111.66/1111.69	c |   3166058 |    3207    20454    69288 |    21204    20696     45 |  0.435 % |
1111.86/1111.81	c |   3166570 |    3207    20454    69288 |    21204    21208     46 |  0.435 % |
1112.06/1112.03	c |   3167594 |    3207    20454    69288 |    21204    22232     46 |  0.435 % |
1112.56/1112.51	c |   3169643 |    3207    20454    69288 |    21204    22007     47 |  0.435 % |
1112.66/1112.64	c |   3170155 |    3207    20454    69288 |    20118    20272     46 |  0.435 % |
1112.76/1112.77	c |   3170669 |    3207    20454    69288 |    20118    18647     47 |  0.435 % |
1113.06/1113.02	c |   3171693 |    3207    20454    69288 |    20118    19671     47 |  0.435 % |
1113.16/1113.16	c |   3172206 |    3207    20454    69288 |    20118    20184     47 |  0.435 % |
1113.26/1113.29	c |   3172718 |    3207    20454    69288 |    20118    18678     45 |  0.435 % |
1113.56/1113.52	c |   3173744 |    3207    20454    69288 |    20118    19704     46 |  0.435 % |
1114.06/1114.05	c |   3175794 |    3207    20454    69288 |    20118    19665     45 |  0.435 % |
1115.16/1115.12	c |   3179890 |    3207    20454    69288 |    20118    19531     45 |  0.436 % |
1117.66/1117.67	c |   3188084 |    3207    20454    69288 | 2147483647    27725     46 |  0.435 % |
1117.86/1117.83	c |   3188596 |    3207    20454    69288 | 2147483647    28237     46 |  0.436 % |
1118.06/1118.02	c |   3189109 |    3207    20454    69288 | 2147483647    28750     46 |  0.435 % |
1118.46/1118.42	c |   3190135 |    3207    20454    69288 |    29641    29776     46 |  0.435 % |
1118.66/1118.68	c |   3190647 |    3207    20454    69288 |    29641    25784     42 |  0.435 % |
1118.86/1118.85	c |   3191159 |    3207    20454    69288 |    29641    26296     42 |  0.435 % |
1119.16/1119.19	c |   3192184 |    3207    20454    69288 |    29641    27321     43 |  0.435 % |
1119.96/1119.94	c |   3194233 |    3207    20454    69288 |    29641    29370     44 |  0.436 % |
1120.16/1120.12	c |   3194746 |    3207    20454    69288 |    29641    29883     44 |  0.435 % |
1120.36/1120.32	c |   3195258 |    3207    20454    69288 |    29641    26032     42 |  0.435 % |
1120.76/1120.73	c |   3196284 |    3207    20454    69288 |    29641    27058     42 |  0.435 % |
1120.96/1120.92	c |   3196797 |    3207    20454    69288 |    29641    27571     42 |  0.435 % |
1121.06/1121.06	c |   3197309 |    3207    20454    69288 |    29641    28083     42 |  0.436 % |
1121.36/1121.34	c |   3198334 |    3207    20454    69288 |    29641    29108     42 |  0.435 % |
1121.86/1121.90	c |   3200383 |    3207    20454    69288 |    26528    26911     39 |  0.435 % |
1122.76/1122.78	c |   3204479 |    3207    20454    69288 |    26528    27375     36 |  0.435 % |
1122.96/1122.95	c |   3204993 |    3207    20454    69288 |    26528    24941     36 |  0.435 % |
1123.16/1123.12	c |   3205505 |    3207    20454    69288 |    26528    25453     36 |  0.436 % |
1123.46/1123.41	c |   3206529 |    3207    20454    69288 |    26528    26477     36 |  0.435 % |
1123.56/1123.56	c |   3207041 |    3207    20454    69288 |    26528    26989     36 |  0.436 % |
1123.76/1123.74	c |   3207553 |    3207    20454    69288 |    26528    24334     35 |  0.435 % |
1124.06/1124.05	c |   3208577 |    3207    20454    69288 |    26528    25358     36 |  0.435 % |
1124.66/1124.68	c |   3210626 |    3207    20454    69288 |    26781    27407     36 |  0.435 % |
1124.86/1124.86	c |   3211138 |    3207    20454    69288 |    26781    24271     33 |  0.435 % |
1125.06/1125.04	c |   3211650 |    3207    20454    69288 |    26781    24783     34 |  0.435 % |
1125.26/1125.31	c |   3212675 |    3207    20454    69288 |    26781    25808     35 |  0.435 % |
1125.46/1125.50	c |   3213188 |    3207    20454    69288 |    26781    26321     35 |  0.435 % |
1125.66/1125.64	c |   3213700 |    3207    20454    69288 |    26781    26833     35 |  0.435 % |
1126.06/1126.01	c |   3214724 |    3207    20454    69288 |    26781    24229     33 |  0.435 % |
1126.47/1126.45	c |   3216774 |    3207    20454    69288 |    26781    26279     34 |  0.436 % |
1127.57/1127.53	c |   3220870 |    3207    20454    69288 |    26486    27356     35 |  0.435 % |
1130.06/1130.05	c |   3229062 |    3207    20454    69288 |    26486    25277     37 |  0.435 % |
1136.37/1136.34	c |   3245448 |    3207    20454    69288 |    27589    27598     38 |  0.436 % |
1136.46/1136.46	c |   3245961 |    3207    20454    69288 |    27589    28111     38 |  0.435 % |
1136.66/1136.63	c |   3246474 |    3207    20454    69288 |    27589    23658     38 |  0.435 % |
1136.96/1136.91	c |   3247499 |    3207    20454    69288 |    27589    24683     38 |  0.435 % |
1137.16/1137.13	c |   3248013 |    3207    20454    69288 |    27589    25197     38 |  0.435 % |
1137.26/1137.30	c |   3248525 |    3207    20454    69288 |    27589    25709     39 |  0.435 % |
1137.56/1137.59	c |   3249549 |    3207    20454    69288 |    27589    26733     39 |  0.435 % |
1138.36/1138.31	c |   3251597 |    3207    20454    69288 |    27184    23997     38 |  0.435 % |
1138.46/1138.46	c |   3252109 |    3207    20454    69288 |    27184    24509     39 |  0.435 % |
1138.66/1138.68	c |   3252623 |    3207    20454    69288 |    27184    25023     39 |  0.435 % |
1138.96/1139.00	c |   3253647 |    3207    20454    69288 |    27184    26047     39 |  0.435 % |
1139.16/1139.15	c |   3254159 |    3207    20454    69288 |    27184    26559     39 |  0.435 % |
1139.26/1139.27	c |   3254671 |    3207    20454    69288 |    27184    27071     39 |  0.435 % |
1139.56/1139.57	c |   3255696 |    3207    20454    69288 |    27184    28096     40 |  0.435 % |
1140.16/1140.15	c |   3257744 |    3207    20454    69288 |    27184    25474     39 |  0.435 % |
1141.56/1141.54	c |   3261841 |    3207    20454    69288 |    27730    24611     40 |  0.435 % |
1141.66/1141.67	c |   3262354 |    3207    20454    69288 |    27730    25124     40 |  0.435 % |
1141.87/1141.83	c |   3262868 |    3207    20454    69288 |    27730    25638     40 |  0.435 % |
1142.16/1142.15	c |   3263894 |    3207    20454    69288 |    27730    26664     40 |  0.436 % |
1142.26/1142.29	c |   3264406 |    3207    20454    69288 |    27730    27176     40 |  0.435 % |
1142.46/1142.47	c |   3264918 |    3207    20454    69288 |    27730    27688     41 |  0.435 % |
1142.76/1142.81	c |   3265942 |    3207    20454    69288 |    27730    28712     42 |  0.436 % |
1143.46/1143.49	c |   3267991 |    3207    20454    69288 |    27730    26216     42 |  0.435 % |
1143.66/1143.61	c |   3268504 |    3207    20454    69288 |    27730    26729     42 |  0.435 % |
1143.76/1143.77	c |   3269017 |    3207    20454    69288 |    27730    27242     42 |  0.435 % |
1144.07/1144.06	c |   3270041 |    3207    20454    69288 |    28228    28266     42 |  0.435 % |
1144.26/1144.25	c |   3270553 |    3207    20454    69288 |    28228    24737     41 |  0.435 % |
1144.46/1144.44	c |   3271065 |    3207    20454    69288 |    28228    25249     42 |  0.436 % |
1144.76/1144.79	c |   3272094 |    3207    20454    69288 |    28228    26278     41 |  0.435 % |
1145.56/1145.54	c |   3274144 |    3207    20454    69288 |    28228    28328     42 |  0.435 % |
1146.86/1146.88	c |   3278240 |    3207    20454    69288 |    28228    27762     40 |  0.435 % |
1150.06/1150.10	c |   3286432 |    3207    20454    69288 |    29524    30557     42 |  0.435 % |
1150.36/1150.31	c |   3286944 |    3207    20454    69288 |    29524    25229     39 |  0.435 % |
1150.46/1150.47	c |   3287456 |    3207    20454    69288 |    29524    25741     39 |  0.435 % |
1150.76/1150.77	c |   3288481 |    3207    20454    69288 |    29524    26766     39 |  0.435 % |
1150.96/1150.95	c |   3288993 |    3207    20454    69288 |    29524    27278     40 |  0.436 % |
1151.06/1151.04	c |   3289505 |    3207    20454    69288 |    29524    27790     40 |  0.435 % |
1151.46/1151.44	c |   3290529 |    3207    20454    69288 |    28287    28814     40 |  0.435 % |
1152.16/1152.11	c |   3292577 |    3207    20454    69288 |    28287    25676     40 |  0.435 % |
1152.26/1152.28	c |   3293091 |    3207    20454    69288 |    28287    26190     40 |  0.435 % |
1152.46/1152.48	c |   3293603 |    3207    20454    69288 |    28287    26702     40 |  0.435 % |
1152.87/1152.82	c |   3294630 |    3207    20454    69288 |    28287    27729     40 |  0.435 % |
1153.06/1153.02	c |   3295142 |    3207    20454    69288 |    28287    28241     40 |  0.435 % |
1153.26/1153.22	c |   3295654 |    3207    20454    69288 |    28287    28753     40 |  0.435 % |
1153.56/1153.54	c |   3296678 |    3207    20454    69288 |    28287    24552     39 |  0.435 % |
1154.36/1154.31	c |   3298729 |    3207    20454    69288 |    28287    26603     39 |  0.435 % |
1155.86/1155.82	c |   3302829 |    3207    20454    69288 |    27875    25695     39 |  0.435 % |
1155.96/1155.99	c |   3303341 |    3207    20454    69288 |    27875    26207     39 |  0.435 % |
1156.17/1156.16	c |   3303854 |    3207    20454    69288 |    27875    26720     39 |  0.435 % |
1156.56/1156.53	c |   3304880 |    3207    20454    69288 |    27875    27746     39 |  0.435 % |
1156.76/1156.71	c |   3305394 |    3207    20454    69288 |    27875    28260     40 |  0.435 % |
1156.86/1156.87	c |   3305906 |    3207    20454    69288 |    27875    23744     37 |  0.435 % |
1157.27/1157.29	c |   3306932 |    3207    20454    69288 |    27875    24770     37 |  0.435 % |
1158.06/1158.09	c |   3308980 |    3207    20454    69288 |    27875    26818     38 |  0.435 % |
1158.26/1158.24	c |   3309493 |    3207    20454    69288 |    27875    27331     39 |  0.435 % |
1158.46/1158.45	c |   3310005 |    3207    20454    69288 |    27838    27843     39 |  0.435 % |
1158.86/1158.87	c |   3311029 |    3207    20454    69288 |    27838    28867     40 |  0.435 % |
1159.06/1159.05	c |   3311541 |    3207    20454    69288 |    27838    23874     39 |  0.435 % |
1159.16/1159.20	c |   3312054 |    3207    20454    69288 |    27838    24387     39 |  0.435 % |
1159.47/1159.46	c |   3313078 |    3207    20454    69288 |    27838    25411     40 |  0.435 % |
1160.06/1160.07	c |   3315128 |    3207    20454    69288 |    27838    27461     41 |  0.435 % |
1161.46/1161.41	c |   3319224 |    3207    20454    69288 |    27838    26124     40 |  0.435 % |
1164.06/1164.06	c |   3327416 |    3207    20454    69288 |    26900    24079     41 |  0.435 % |
1170.36/1170.41	c |   3343801 |    3207    20454    69288 |    26051    24586     37 |  0.435 % |
1181.67/1181.68	c |   3376569 |    3207    20454    69288 |    26744    24156     40 |  0.435 % |
1181.87/1181.84	c |   3377081 |    3207    20454    69288 |    26744    24668     40 |  0.435 % |
1181.97/1181.96	c |   3377593 |    3207    20454    69288 |    26744    25180     40 |  0.435 % |
1182.27/1182.25	c |   3378617 |    3207    20454    69288 |    26744    26204     40 |  0.435 % |
1182.37/1182.41	c |   3379131 |    3207    20454    69288 |    26744    26718     41 |  0.435 % |
1182.57/1182.59	c |   3379643 |    3207    20454    69288 |    26744    27230     40 |  0.435 % |
1182.87/1182.88	c |   3380667 |    3207    20454    69288 |    23504    24171     39 |  0.436 % |
1183.47/1183.49	c |   3382716 |    3207    20454    69288 |    23504    22651     39 |  0.435 % |
1183.67/1183.67	c |   3383230 |    3207    20454    69288 |    23504    23165     39 |  0.435 % |
1183.87/1183.83	c |   3383743 |    3207    20454    69288 |    23504    23678     39 |  0.435 % |
1184.07/1184.11	c |   3384767 |    3207    20454    69288 |    23504    21792     37 |  0.435 % |
1184.27/1184.26	c |   3385280 |    3207    20454    69288 |    23504    22305     37 |  0.435 % |
1184.37/1184.41	c |   3385793 |    3207    20454    69288 |    23504    22818     37 |  0.436 % |
1184.77/1184.72	c |   3386818 |    3207    20454    69288 |    23504    23843     37 |  0.435 % |
1185.27/1185.30	c |   3388867 |    3207    20454    69288 |    23504    23383     37 |  0.435 % |
1186.27/1186.29	c |   3392963 |    3207    20454    69288 | 2147483647    25005     35 |  0.435 % |
1186.47/1186.45	c |   3393475 |    3207    20454    69288 | 2147483647    25517     35 |  0.435 % |
1186.57/1186.60	c |   3393987 |    3207    20454    69288 | 2147483647    26029     35 |  0.435 % |
1186.97/1186.94	c |   3395013 |    3207    20454    69288 | 2147483647    27055     35 |  0.435 % |
1187.07/1187.11	c |   3395526 |    3207    20454    69288 | 2147483647    27568     36 |  0.435 % |
1187.27/1187.31	c |   3396038 |    3206    20445    69258 | 2147483647    28070     36 |  0.467 % |
1187.67/1187.66	c |   3397063 |    3206    20445    69258 | 2147483647    29095     37 |  0.466 % |
1188.47/1188.47	c |   3399111 |    3206    20445    69258 | 2147483647    31143     37 |  0.466 % |
1188.67/1188.62	c |   3399625 |    3206    20445    69258 | 2147483647    31657     37 |  0.466 % |
1188.77/1188.77	c |   3400138 |    3206    20445    69258 |    32032    32170     38 |  0.466 % |
1189.17/1189.17	c |   3401162 |    3206    20445    69258 |    32032    29324     38 |  0.466 % |
1189.37/1189.33	c |   3401674 |    3206    20445    69258 |    32032    29836     38 |  0.466 % |
1189.57/1189.61	c |   3402186 |    3206    20445    69258 |    32032    30348     38 |  0.466 % |
1190.07/1190.02	c |   3403210 |    3206    20445    69258 |    32032    31372     38 |  0.466 % |
1190.87/1190.83	c |   3405258 |    3206    20445    69258 |    32032    28833     37 |  0.467 % |
1192.47/1192.44	c |   3409355 |    3206    20445    69258 |    32032    32930     39 |  0.466 % |
1195.47/1195.48	c |   3417547 |    3206    20445    69258 |    28158    24833     38 |  0.466 % |
1195.57/1195.60	c |   3418060 |    3206    20445    69258 |    28158    25346     39 |  0.466 % |
1195.77/1195.74	c |   3418573 |    3206    20445    69258 |    28158    25859     39 |  0.466 % |
1196.07/1196.10	c |   3419598 |    3206    20445    69258 |    28158    26884     39 |  0.466 % |
1196.27/1196.31	c |   3420110 |    3206    20445    69258 |    27289    27396     39 |  0.466 % |
1196.47/1196.51	c |   3420624 |    3206    20445    69258 |    27289    22893     38 |  0.466 % |
1196.67/1196.71	c |   3421649 |    3206    20445    69258 |    27289    23918     37 |  0.466 % |
1197.37/1197.37	c |   3423699 |    3206    20445    69258 |    27289    25968     39 |  0.466 % |
1197.57/1197.57	c |   3424211 |    3206    20445    69258 |    27289    26480     39 |  0.466 % |
1197.77/1197.77	c |   3424723 |    3206    20445    69258 |    27289    26992     40 |  0.466 % |
1198.27/1198.24	c |   3425749 |    3206    20445    69258 |    27289    28018     40 |  0.467 % |
1198.47/1198.44	c |   3426261 |    3206    20445    69258 |    27289    24823     38 |  0.466 % |
1198.57/1198.60	c |   3426774 |    3206    20445    69258 |    27289    25336     38 |  0.466 % |
1198.97/1198.93	c |   3427800 |    3206    20445    69258 |    27289    26362     39 |  0.466 % |
1199.57/1199.60	c |   3429849 |    3206    20445    69258 |    27289    28411     40 |  0.466 % |
1200.07/1200.02	HOME/SatELiteGTI: line 36: 10225 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820729-1242471627/watcher-1820729-1242471627 -o /tmp/evaluation-result-1820729-1242471627/solver-1820729-1242471627 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820729-1242471627.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.97 0.99 2/93 10219
/proc/meminfo: memFree=1633432/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2416 CPUtime=0
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1011663502 2473984 277 4294967295 134512640 135169312 3213317056 3213315592 3085532910 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10219/statm: 604 277 235 161 0 43 0
[pid=10223] ppid=10219 vsize=812 CPUtime=0
/proc/10223/stat : 10223 (SatELite_releas) R 10219 10219 10114 0 -1 4194304 69 0 0 0 0 0 0 0 25 0 1 0 1011663502 831488 6 4294967295 134512640 135223648 3217121104 3217120992 134658290 0 0 0 0 0 0 0 17 2 0 0 0
/proc/10223/statm: 204 17 11 174 0 29 0

[startup+0.03766 s]
/proc/loadavg: 0.90 0.97 0.99 2/93 10219
/proc/meminfo: memFree=1633432/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2416 CPUtime=0
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1011663502 2473984 277 4294967295 134512640 135169312 3213317056 3213315592 3085532910 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/10219/statm: 604 277 235 161 0 43 0
[pid=10223] ppid=10219 vsize=3160 CPUtime=0.04
/proc/10223/stat : 10223 (SatELite_releas) R 10219 10219 10114 0 -1 4202496 681 0 0 0 3 1 0 0 25 0 1 0 1011663502 3235840 617 4294967295 134512640 135223648 3217121104 3217119120 134586740 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10223/statm: 790 617 73 174 0 615 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5576

[startup+0.107657 s]
/proc/loadavg: 0.90 0.97 0.99 2/93 10219
/proc/meminfo: memFree=1633432/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2420

[startup+0.307647 s]
/proc/loadavg: 0.90 0.97 0.99 2/93 10219
/proc/meminfo: memFree=1633432/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2420

[startup+0.707627 s]
/proc/loadavg: 0.90 0.97 0.99 2/93 10219
/proc/meminfo: memFree=1633432/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2420

[startup+1.50759 s]
/proc/loadavg: 0.90 0.97 0.99 2/95 10225
/proc/meminfo: memFree=1629424/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=4600 CPUtime=1.42
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 923 0 0 0 141 1 0 0 25 0 1 0 1011663510 4710400 858 4294967295 134512640 135216591 3214284032 3214282224 134528902 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 1150 858 75 172 0 977 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7020

[startup+3.10751 s]
/proc/loadavg: 0.90 0.97 0.99 2/95 10225
/proc/meminfo: memFree=1628556/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=6712 CPUtime=3.02
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 1446 0 0 0 300 2 0 0 25 0 1 0 1011663510 6873088 1381 4294967295 134512640 135216591 3214284032 3214282224 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 1678 1381 75 172 0 1505 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9132

[startup+6.30735 s]
/proc/loadavg: 0.91 0.97 0.99 2/95 10225
/proc/meminfo: memFree=1625208/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=9528 CPUtime=6.22
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2143 0 0 0 620 2 0 0 25 0 1 0 1011663510 9756672 2078 4294967295 134512640 135216591 3214284032 3214282224 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 2382 2078 75 172 0 2209 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11948

[startup+12.707 s]
/proc/loadavg: 0.91 0.97 0.99 2/95 10225
/proc/meminfo: memFree=1621832/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12180 CPUtime=12.62
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2803 0 0 0 1260 2 0 0 25 0 1 0 1011663510 12472320 2738 4294967295 134512640 135216591 3214284032 3214282000 134538270 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3045 2738 75 172 0 2872 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 14600

[startup+25.5064 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 10410
/proc/meminfo: memFree=1620996/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12180 CPUtime=25.42
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2808 0 0 0 2540 2 0 0 25 0 1 0 1011663510 12472320 2743 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3045 2743 75 172 0 2872 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 14600

[startup+51.1152 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 10412
/proc/meminfo: memFree=1621284/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12180 CPUtime=51.03
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2815 0 0 0 5101 2 0 0 25 0 1 0 1011663510 12472320 2750 4294967295 134512640 135216591 3214284032 3214282000 134538846 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3045 2750 75 172 0 2872 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 14600

[startup+102.313 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 10599
/proc/meminfo: memFree=1621236/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12312 CPUtime=102.23
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2831 0 0 0 10221 2 0 0 25 0 1 0 1011663510 12607488 2766 4294967295 134512640 135216591 3214284032 3214282208 134525563 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3078 2766 75 172 0 2905 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 14732

[startup+162.32 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 10786
/proc/meminfo: memFree=1621144/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12448 CPUtime=162.24
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2863 0 0 0 16218 6 0 0 25 0 1 0 1011663510 12746752 2798 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3112 2798 75 172 0 2939 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 14868

[startup+222.307 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 10975
/proc/meminfo: memFree=1620732/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12848 CPUtime=222.23
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 2981 0 0 0 22217 6 0 0 25 0 1 0 1011663510 13156352 2916 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3212 2916 75 172 0 3039 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 15268

[startup+282.314 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 11169
/proc/meminfo: memFree=1620684/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12988 CPUtime=282.24
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3002 0 0 0 28217 7 0 0 25 0 1 0 1011663510 13299712 2937 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3247 2937 75 172 0 3074 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 15408

[startup+342.311 s]
/proc/loadavg: 1.00 0.98 0.99 3/95 11355
/proc/meminfo: memFree=1620880/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=12988 CPUtime=342.24
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3010 0 0 0 34217 7 0 0 25 0 1 0 1011663510 13299712 2945 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3247 2945 75 172 0 3074 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 15408

[startup+402.318 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 11544
/proc/meminfo: memFree=1620740/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13128 CPUtime=402.25

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

[pid=10225] ppid=10219 vsize=13128 CPUtime=462.25
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3040 0 0 0 46218 7 0 0 25 0 1 0 1011663510 13443072 2975 4294967295 134512640 135216591 3214284032 3214282224 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3282 2975 75 172 0 3109 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 15548

[startup+522.322 s]
/proc/loadavg: 1.00 0.98 0.99 4/95 11920
/proc/meminfo: memFree=1620492/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13364 CPUtime=522.26
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3094 0 0 0 52218 8 0 0 25 0 1 0 1011663510 13684736 3029 4294967295 134512640 135216591 3214284032 3214282224 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3341 3029 75 172 0 3168 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 15784

[startup+582.309 s]
/proc/loadavg: 1.00 0.98 0.99 2/95 12108
/proc/meminfo: memFree=1620444/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13364 CPUtime=582.25
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3095 0 0 0 58217 8 0 0 25 0 1 0 1011663510 13684736 3030 4294967295 134512640 135216591 3214284032 3214282224 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3341 3030 75 172 0 3168 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 15784

[startup+642.316 s]
/proc/loadavg: 1.04 1.00 1.00 3/95 12294
/proc/meminfo: memFree=1620508/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13364 CPUtime=642.26
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3095 0 0 0 64218 8 0 0 25 0 1 0 1011663510 13684736 3030 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3341 3030 75 172 0 3168 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 15784

[startup+702.314 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 12487
/proc/meminfo: memFree=1620088/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13892 CPUtime=702.26
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3231 0 0 0 70216 10 0 0 25 0 1 0 1011663510 14225408 3166 4294967295 134512640 135216591 3214284032 3214282224 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3473 3166 75 172 0 3300 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 16312

[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12674
/proc/meminfo: memFree=1620120/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13892 CPUtime=762.27
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3231 0 0 0 76216 11 0 0 25 0 1 0 1011663510 14225408 3166 4294967295 134512640 135216591 3214284032 3214282224 134528862 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3473 3166 75 172 0 3300 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 16312

[startup+822.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12863
/proc/meminfo: memFree=1619708/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13892 CPUtime=822.26
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3231 0 0 0 82215 11 0 0 25 0 1 0 1011663510 14225408 3166 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3473 3166 75 172 0 3300 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 16312

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13051
/proc/meminfo: memFree=1619460/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13972 CPUtime=882.27
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3232 0 0 0 88216 11 0 0 25 0 1 0 1011663510 14307328 3167 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3493 3167 75 172 0 3320 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 16392

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13237
/proc/meminfo: memFree=1619376/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=13972 CPUtime=942.26
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3245 0 0 0 94215 11 0 0 25 0 1 0 1011663510 14307328 3180 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3493 3180 75 172 0 3320 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 16392

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13429
/proc/meminfo: memFree=1618692/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=14636 CPUtime=1002.27
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3396 0 0 0 100216 11 0 0 25 0 1 0 1011663510 14987264 3331 4294967295 134512640 135216591 3214284032 3214282224 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3659 3331 75 172 0 3486 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 17056

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13620
/proc/meminfo: memFree=1618632/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=14636 CPUtime=1062.28
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3396 0 0 0 106217 11 0 0 25 0 1 0 1011663510 14987264 3331 4294967295 134512640 135216591 3214284032 3214282224 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3659 3331 75 172 0 3486 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 17056

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 13809
/proc/meminfo: memFree=1618484/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=14636 CPUtime=1122.28
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3397 0 0 0 112217 11 0 0 25 0 1 0 1011663510 14987264 3332 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3659 3332 75 172 0 3486 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 17056

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13997
/proc/meminfo: memFree=1618344/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=14636 CPUtime=1182.29
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3397 0 0 0 118218 11 0 0 25 0 1 0 1011663510 14987264 3332 4294967295 134512640 135216591 3214284032 3214282224 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3659 3332 75 172 0 3486 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 17056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13998
/proc/meminfo: memFree=1618580/2074464 swapFree=1950884/1959888
[pid=10219] ppid=10217 vsize=2420 CPUtime=0.08
/proc/10219/stat : 10219 (SatELiteGTI) S 10217 10219 10114 0 -1 4194304 387 1331 0 0 0 0 7 1 25 0 1 0 1011663502 2478080 278 4294967295 134512640 135169312 3213317056 3213313272 3085532910 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10219/statm: 605 278 235 161 0 44 0
[pid=10225] ppid=10219 vsize=14636 CPUtime=1199.99
/proc/10225/stat : 10225 (minisat_static) R 10219 10219 10114 0 -1 4202496 3397 0 0 0 119988 11 0 0 25 0 1 0 1011663510 14987264 3332 4294967295 134512640 135216591 3214284032 3214282224 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10225/statm: 3659 3332 75 172 0 3486 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 17056

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

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.96
CPU system time (s): 0.12
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 17056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5392
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= 20
involuntary context switches= 1649

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-16 13:00:27
IDJOB=1820729
IDBENCH=69567
IDSOLVER=658
FILE ID=tipi13/1820729-1242471627
PBS_JOBID=
Free space on /tmp= 7406 MiB

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

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

MD5SUM BENCH= 4984fea7abc49dd7f6973cd779e805d7
RANDOM SEED= 92585059

Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1633448 kB
Buffers:         34772 kB
Cached:         314796 kB
SwapCached:       3452 kB
Active:         223960 kB
Inactive:       135012 kB
HighTotal:     1178688 kB
HighFree:       888264 kB
LowTotal:       895776 kB
LowFree:        745184 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            1888 kB
Writeback:           0 kB
AnonPages:        8620 kB
Mapped:           3116 kB
Slab:            73812 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90596 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 7406 MiB
End job on tipi13 at 2009-05-16 13:20:27