Trace number 1821377

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-18UNSAT 1161.1 1161.1

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
MD5SUMed7689c65135a913d97feca3ab3874eb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark497.89
Satisfiable
(Un)Satisfiability was proved
Number of variables33871
Number of clauses170161
Sum of the clauses size490938
Maximum clause length9
Minimum clause length1
Number of clauses of size 14346
Number of clauses of size 241947
Number of clauses of size 3100545
Number of clauses of size 416116
Number of clauses of size 57066
Number of clauses of size over 5141

Solver Data 

0.00/0.00	c Parsing...
0.13/0.15	c ==============================================================================
0.13/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.13/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.13/0.15	c ==============================================================================
0.13/0.15	c |         0 |  159423   466748 |   47826       0        0     nan |  0.000 % |
1.13/1.20	c |         0 |   71082   239848 |      --       0       --      -- |     --   | -82705/-209984
1.13/1.20	c ==============================================================================
1.13/1.20	c Result  :   #vars: 8110   #clauses: 71082   #literals: 239848
1.13/1.20	c CPU time:   1.16 s
1.13/1.20	c ==============================================================================
1.23/1.29	c This is MiniSat 2.0 beta
1.23/1.29	c WARNING: for repeatability, setting FPU to use double precision
1.23/1.29	c ============================[ Problem Statistics ]=============================
1.23/1.29	c |                                                                             |
1.23/1.29	c |  Number of variables:  8110                                                 |
1.23/1.29	c |  Number of clauses:    71082                                                |
1.30/1.34	c |  Parsing time:         0.04         s                                       |
1.30/1.34	c ============================[ Search Statistics ]==============================
1.30/1.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.30/1.34	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.30/1.34	c ===============================================================================
1.30/1.34	c |         0 |    8110    71082   239848 |    23694        0    nan |  0.000 % |
1.30/1.36	c |       512 |    8108    71082   239848 |    23694      511     10 |  0.025 % |
1.30/1.39	c |      1025 |    8108    71082   239848 |    23694     1024     14 |  0.025 % |
1.30/1.42	c |      1537 |    8107    71082   239848 |    23694     1535     15 |  0.037 % |
1.30/1.48	c |      2561 |    8107    71082   239848 |    23694     2559     16 |  0.037 % |
1.30/1.52	c |      3076 |    8107    70650   237736 |    23694     3073     16 |  0.037 % |
1.30/1.55	c |      3588 |    8107    70650   237736 |    23694     3585     15 |  0.037 % |
1.30/1.61	c |      4612 |    8107    70650   237736 |    23694     4609     15 |  0.037 % |
1.30/1.76	c |      6660 |    8107    70650   237736 |    23694     6657     16 |  0.037 % |
1.30/1.79	c |      7172 |    8107    70650   237736 |    23694     7169     16 |  0.037 % |
1.30/1.82	c |      7686 |    8107    70650   237736 |    23694     7683     16 |  0.037 % |
1.30/1.89	c |      8718 |    8107    70650   237736 |    23694     8715     16 |  0.037 % |
1.30/1.94	c |      9231 |    8107    70650   237736 |    23694     9228     16 |  0.037 % |
1.30/1.97	c |      9744 |    8107    70650   237736 |    23694     9741     16 |  0.037 % |
1.30/2.04	c |     10768 |    8107    70650   237736 | 2147483647    10765     16 |  0.037 % |
2.13/2.22	c |     12816 |    8107    70650   237736 | 2147483647    12813     16 |  0.037 % |
2.60/2.63	c |     16913 |    8107    70650   237736 | 2147483647    16910     16 |  0.037 % |
2.60/2.70	c |     17426 |    8107    70650   237736 | 2147483647    17423     16 |  0.037 % |
2.70/2.76	c |     17941 |    8107    70650   237736 | 2147483647    17938     16 |  0.037 % |
2.78/2.89	c |     18965 |    8107    70650   237736 | 2147483647    18962     16 |  0.037 % |
2.88/2.96	c |     19482 |    8107    70650   237736 | 2147483647    19479     16 |  0.037 % |
2.98/3.04	c |     19995 |    8107    70650   237736 | 2147483647    19992     16 |  0.037 % |
3.08/3.21	c |     21019 |    8106    70506   237033 | 2147483647    16994     15 |  0.049 % |
3.38/3.50	c |     23067 |    8106    70506   237033 | 2147483647    19042     16 |  0.049 % |
3.48/3.58	c |     23579 |    8106    70506   237033 | 2147483647    19554     16 |  0.049 % |
3.58/3.65	c |     24092 |    8106    70506   237033 | 2147483647    20067     16 |  0.049 % |
3.68/3.79	c |     25116 |    8106    70506   237033 | 2147483647    21091     16 |  0.049 % |
3.78/3.86	c |     25628 |    8106    70506   237033 | 2147483647    21603     16 |  0.049 % |
3.88/3.92	c |     26141 |    8106    70506   237033 | 2147483647    22116     16 |  0.049 % |
3.98/4.06	c |     27165 |    8106    70506   237033 | 2147483647    23140     16 |  0.049 % |
4.28/4.38	c |     29213 |    8106    70506   237033 | 2147483647    25188     16 |  0.049 % |
5.08/5.21	c |     33309 |    8106    70506   237033 | 2147483647    29284     17 |  0.049 % |
7.28/7.34	c |     41501 |    8106    70506   237033 |    35975    33244     18 |  0.049 % |
7.38/7.43	c |     42013 |    8106    70506   237033 |    35975    33756     18 |  0.049 % |
7.48/7.54	c |     42525 |    8106    70506   237033 |    35975    34268     18 |  0.049 % |
7.68/7.76	c |     43550 |    8106    70506   237033 |    35975    35293     18 |  0.049 % |
7.78/7.85	c |     44062 |    8106    70506   237033 |    35975    35805     18 |  0.049 % |
7.88/7.99	c |     44574 |    8106    70506   237033 |    35975    36317     18 |  0.049 % |
8.18/8.25	c |     45599 |    8106    70506   237033 |    35975    32468     18 |  0.049 % |
8.68/8.75	c |     47649 |    8106    70506   237033 |    35975    34518     18 |  0.049 % |
8.78/8.90	c |     48162 |    8106    70506   237033 |    35975    35031     18 |  0.049 % |
8.98/9.04	c |     48674 |    8106    70506   237033 |    35975    35543     18 |  0.049 % |
9.18/9.31	c |     49700 |    8106    70506   237033 |    35975    31279     18 |  0.049 % |
9.38/9.44	c |     50213 |    8106    70506   237033 |    31581    27125     18 |  0.049 % |
9.48/9.54	c |     50727 |    8106    70506   237033 |    31581    27639     18 |  0.049 % |
9.68/9.74	c |     51752 |    8106    70506   237033 |    31581    28664     18 |  0.049 % |
10.08/10.18	c |     53800 |    8106    70506   237033 |    31581    30712     18 |  0.049 % |
11.08/11.17	c |     57897 |    8106    70506   237033 |    31581    30673     18 |  0.049 % |
11.18/11.30	c |     58412 |    8106    70506   237033 |    31581    31188     18 |  0.049 % |
11.28/11.38	c |     58924 |    8106    70506   237033 |    31581    31700     18 |  0.049 % |
11.58/11.65	c |     59949 |    8106    70506   237033 |    31581    29094     18 |  0.049 % |
11.68/11.76	c |     60461 |    8106    70506   237033 |    29145    29606     18 |  0.049 % |
11.78/11.87	c |     60973 |    8106    70506   237033 |    29145    26915     17 |  0.049 % |
11.98/12.09	c |     61999 |    8106    70506   237033 |    29145    27941     17 |  0.049 % |
12.38/12.49	c |     64049 |    8106    70506   237033 |    29145    29991     17 |  0.049 % |
12.58/12.66	c |     64561 |    8106    70506   237033 |    29145    27504     17 |  0.049 % |
12.68/12.79	c |     65075 |    8106    70506   237033 |    29145    28018     17 |  0.049 % |
12.88/13.01	c |     66100 |    8106    70506   237033 |    29145    29043     17 |  0.049 % |
13.08/13.15	c |     66613 |    8106    70506   237033 |    29145    29556     17 |  0.049 % |
13.18/13.28	c |     67125 |    8106    70506   237033 |    29145    27113     17 |  0.049 % |
13.48/13.57	c |     68150 |    8106    70506   237033 |    29145    28138     17 |  0.049 % |
13.98/14.10	c |     70199 |    8106    70506   237033 | 2147483647    27259     17 |  0.049 % |
15.18/15.23	c |     74296 |    8106    70506   237033 | 2147483647    31356     18 |  0.049 % |
18.18/18.24	c |     82488 |    8106    70506   237033 |    37060    34279     18 |  0.049 % |
24.18/24.28	c |     98872 |    8106    70506   237033 |    36038    32987     17 |  0.049 % |
24.38/24.46	c |     99387 |    8106    70506   237033 |    36038    33502     17 |  0.049 % |
24.48/24.55	c |     99900 |    8106    70506   237033 |    36038    34015     17 |  0.049 % |
24.78/24.84	c |    100924 |    8106    70506   237033 |    34117    29198     16 |  0.049 % |
24.88/24.95	c |    101436 |    8106    70506   237033 |    34117    29710     16 |  0.049 % |
24.98/25.12	c |    101949 |    8106    70506   237033 |    34117    30223     16 |  0.049 % |
25.18/25.31	c |    102973 |    8106    70506   237033 |    34117    31247     17 |  0.049 % |
25.88/25.92	c |    105021 |    8106    70506   237033 |    34117    33295     17 |  0.049 % |
25.88/26.01	c |    105534 |    8106    70506   237033 |    34117    33808     17 |  0.049 % |
26.08/26.22	c |    106046 |    8106    70506   237033 |    34117    29674     17 |  0.049 % |
26.28/26.38	c |    107071 |    8106    70506   237033 |    34117    30699     16 |  0.049 % |
26.38/26.49	c |    107583 |    8096    69372   230627 |    34117    29665     17 |  0.173 % |
26.58/26.66	c |    108097 |    8096    69372   230627 |    34117    30179     17 |  0.173 % |
26.88/27.00	c |    109122 |    8096    69372   230627 |    34117    31204     17 |  0.173 % |
27.68/27.75	c |    111173 |    8096    69372   230627 |    32082    28776     16 |  0.173 % |
29.08/29.15	c |    115270 |    8096    69372   230627 |    32082    28033     17 |  0.173 % |
29.28/29.33	c |    115782 |    8096    69372   230627 |    32082    28545     17 |  0.173 % |
29.38/29.48	c |    116294 |    8096    69372   230627 |    32082    29057     17 |  0.173 % |
29.58/29.70	c |    117320 |    8096    69372   230627 |    32082    30083     17 |  0.173 % |
29.68/29.78	c |    117832 |    8096    69372   230627 |    32082    30595     16 |  0.173 % |
29.78/29.90	c |    118344 |    8096    69372   230627 |    32082    31107     16 |  0.173 % |
30.08/30.14	c |    119368 |    8096    69372   230627 |    32082    32131     16 |  0.173 % |
30.48/30.60	c |    121416 |    8096    69372   230627 |    28185    25687     15 |  0.173 % |
30.58/30.71	c |    121931 |    8096    69372   230627 |    28185    26202     15 |  0.173 % |
30.78/30.82	c |    122444 |    8096    69372   230627 |    28185    26715     15 |  0.173 % |
30.98/31.05	c |    123468 |    8096    69372   230627 |    28185    27739     15 |  0.173 % |
31.08/31.19	c |    123980 |    8096    69372   230627 |    28185    28251     15 |  0.173 % |
31.28/31.33	c |    124492 |    8096    69372   230627 |    28185    25100     15 |  0.173 % |
31.58/31.71	c |    125517 |    8096    69372   230627 |    28185    26125     15 |  0.173 % |
32.38/32.44	c |    127568 |    8096    69372   230627 |    28185    28176     15 |  0.173 % |
33.78/33.88	c |    131664 |    8096    69372   230627 |    26719    24711     14 |  0.173 % |
36.88/36.95	c |    139859 |    8095    69369   230621 |    26719    25222     15 |  0.185 % |
37.08/37.15	c |    140371 |    8095    69369   230621 |    25364    22134     15 |  0.185 % |
37.18/37.30	c |    140883 |    8095    69369   230621 |    25364    22646     15 |  0.185 % |
37.48/37.61	c |    141909 |    8095    69369   230621 |    25364    23672     15 |  0.185 % |
37.68/37.77	c |    142421 |    8095    69369   230621 |    25364    24184     15 |  0.185 % |
37.88/37.95	c |    142933 |    8095    69369   230621 |    25364    24696     15 |  0.185 % |
38.38/38.42	c |    143957 |    8095    69369   230621 |    25364    22218     15 |  0.185 % |
38.98/39.11	c |    146006 |    8095    69369   230621 |    25364    24267     15 |  0.185 % |
39.08/39.21	c |    146518 |    8095    69369   230621 |    25364    24779     15 |  0.185 % |
39.18/39.30	c |    147030 |    8095    69369   230621 |    25364    25291     15 |  0.185 % |
39.48/39.56	c |    148054 |    8095    69369   230621 |    25364    23251     15 |  0.185 % |
39.68/39.78	c |    148566 |    8095    69369   230621 |    25364    23763     15 |  0.185 % |
39.88/39.98	c |    149079 |    8095    69369   230621 |    25364    24276     15 |  0.185 % |
40.18/40.30	c |    150104 |    8095    69369   230621 |    25198    25301     15 |  0.185 % |
40.98/41.10	c |    152154 |    8095    69369   230621 |    25198    24438     15 |  0.185 % |
42.48/42.60	c |    156250 |    8095    69369   230621 |    25198    25390     15 |  0.185 % |
42.68/42.74	c |    156763 |    8095    69369   230621 |    25198    22866     14 |  0.185 % |
42.88/42.93	c |    157275 |    8095    69369   230621 |    25198    23378     15 |  0.185 % |
43.28/43.34	c |    158299 |    8095    69369   230621 |    25198    24402     15 |  0.185 % |
43.38/43.50	c |    158812 |    8093    69087   229504 |    25198     9677     12 |  0.210 % |
43.48/43.56	c |    159324 |    8093    69087   229504 |    25198    10189     13 |  0.210 % |
43.58/43.66	c |    160348 |    8093    69087   229504 | 2147483647    11213     14 |  0.210 % |
43.88/43.92	c |    162399 |    8093    69087   229504 | 2147483647    13264     14 |  0.210 % |
43.88/43.96	c |    162912 |    8093    69087   229504 | 2147483647    13777     15 |  0.210 % |
43.98/44.02	c |    163427 |    8093    69087   229504 | 2147483647    14292     15 |  0.210 % |
44.08/44.13	c |    164451 |    8093    69087   229504 | 2147483647    15316     15 |  0.210 % |
44.08/44.21	c |    164963 |    8093    69087   229504 | 2147483647    15828     15 |  0.210 % |
44.18/44.28	c |    165479 |    8093    69087   229504 | 2147483647    16344     15 |  0.210 % |
44.38/44.46	c |    166503 |    8093    69087   229504 | 2147483647    17368     16 |  0.210 % |
44.68/44.74	c |    168552 |    8093    69087   229504 | 2147483647    19417     17 |  0.210 % |
45.48/45.58	c |    172649 |    8093    69087   229504 | 2147483647    23514     17 |  0.210 % |
47.78/47.84	c |    180842 |    8093    69087   229504 | 2147483647    31707     19 |  0.210 % |
53.08/53.20	c |    197228 |    8093    69087   229504 | 2147483647    48093     20 |  0.210 % |
69.29/69.40	c |    229997 |    8093    69087   229504 |    38686    36432     19 |  0.210 % |
69.58/69.63	c |    230509 |    8093    69087   229504 |    36437    31223     18 |  0.210 % |
69.68/69.78	c |    231021 |    8093    69087   229504 |    36437    31735     19 |  0.210 % |
69.88/70.00	c |    232046 |    8093    69087   229504 |    36437    32760     19 |  0.210 % |
70.08/70.12	c |    232559 |    8093    69087   229504 |    36437    33273     19 |  0.210 % |
70.18/70.25	c |    233072 |    8093    69087   229504 |    36437    33786     19 |  0.210 % |
70.39/70.50	c |    234096 |    8093    69087   229504 |    36437    34810     19 |  0.210 % |
70.98/71.08	c |    236145 |    8093    69087   229504 |    36437    31334     18 |  0.210 % |
71.08/71.21	c |    236657 |    8093    69087   229504 |    36437    31846     18 |  0.210 % |
71.28/71.34	c |    237169 |    8093    69087   229504 |    36437    32358     18 |  0.210 % |
71.58/71.63	c |    238195 |    8093    69087   229504 |    36437    33384     18 |  0.210 % |
71.78/71.84	c |    238709 |    8093    69087   229504 |    36437    33898     18 |  0.210 % |
71.88/71.97	c |    239222 |    8093    69087   229504 |    36437    34411     18 |  0.210 % |
72.18/72.26	c |    240247 |    8093    69087   229504 |    35190    35436     18 |  0.210 % |
72.78/72.85	c |    242297 |    8093    69087   229504 |    35190    32392     18 |  0.210 % |
74.08/74.16	c |    246393 |    8093    69087   229504 |    35190    32197     18 |  0.210 % |
74.18/74.29	c |    246905 |    8093    69087   229504 |    35190    32709     18 |  0.210 % |
74.38/74.42	c |    247418 |    8093    69087   229504 |    35190    33222     18 |  0.210 % |
74.58/74.66	c |    248443 |    8093    69087   229504 |    35190    34247     18 |  0.210 % |
74.68/74.81	c |    248955 |    8093    69087   229504 |    35190    34759     18 |  0.210 % |
74.88/74.95	c |    249468 |    8093    69087   229504 |    35190    35272     18 |  0.210 % |
75.18/75.26	c |    250492 |    8093    69087   229504 |    31870    28878     18 |  0.210 % |
75.78/75.83	c |    252540 |    8093    69087   229504 |    31870    30926     18 |  0.210 % |
75.89/75.97	c |    253054 |    8093    69087   229504 |    31870    31440     18 |  0.210 % |
76.08/76.13	c |    253567 |    8093    69087   229504 |    31870    31953     18 |  0.210 % |
76.38/76.42	c |    254593 |    8093    69087   229504 |    31870    29484     18 |  0.210 % |
76.48/76.54	c |    255106 |    8093    69087   229504 |    31870    29997     18 |  0.210 % |
76.58/76.68	c |    255618 |    8093    69087   229504 |    31870    30509     18 |  0.210 % |
76.88/76.99	c |    256644 |    8093    69087   229504 |    31870    31535     18 |  0.210 % |
77.48/77.58	c |    258693 |    8093    69087   229504 |    31870    30034     18 |  0.210 % |
78.78/78.88	c |    262789 |    8093    69087   229504 |    31343    30876     18 |  0.210 % |
81.38/81.42	c |    270981 |    8093    69087   229504 | 2147483647    29528     18 |  0.210 % |
81.58/81.63	c |    271495 |    8093    69087   229504 | 2147483647    30042     18 |  0.210 % |
81.68/81.78	c |    272009 |    8093    69087   229504 | 2147483647    30556     18 |  0.210 % |
81.98/82.02	c |    273033 |    8093    69087   229504 | 2147483647    31580     18 |  0.210 % |
82.18/82.22	c |    273546 |    8093    69087   229504 | 2147483647    32093     18 |  0.210 % |
82.28/82.37	c |    274058 |    8093    69087   229504 | 2147483647    32605     18 |  0.210 % |
82.58/82.65	c |    275084 |    8093    69087   229504 | 2147483647    33631     18 |  0.210 % |
83.18/83.22	c |    277133 |    8093    69087   229504 | 2147483647    35680     19 |  0.210 % |
83.28/83.35	c |    277645 |    8093    69087   229504 | 2147483647    36192     19 |  0.210 % |
83.38/83.49	c |    278159 |    8093    69087   229504 | 2147483647    36706     19 |  0.210 % |
83.78/83.87	c |    279184 |    8093    69087   229504 | 2147483647    37731     19 |  0.210 % |
83.98/84.09	c |    279696 |    8093    69087   229504 | 2147483647    38243     19 |  0.210 % |
84.18/84.25	c |    280208 |    8093    69087   229504 |    38549    38755     19 |  0.210 % |
84.48/84.60	c |    281235 |    8093    69087   229504 |    38549    34852     19 |  0.210 % |
85.28/85.36	c |    283284 |    8093    69087   229504 |    38549    36901     19 |  0.210 % |
86.88/86.92	c |    287380 |    8093    69087   229504 |    38549    35443     19 |  0.210 % |
86.98/87.05	c |    287892 |    8093    69087   229504 |    38549    35955     19 |  0.210 % |
87.08/87.20	c |    288405 |    8093    69087   229504 |    38549    36468     19 |  0.210 % |
87.48/87.58	c |    289429 |    8093    69087   229504 |    38549    37492     19 |  0.210 % |
87.68/87.80	c |    289941 |    8093    69087   229504 |    38549    38004     19 |  0.210 % |
87.88/88.00	c |    290456 |    8093    69087   229504 |    38063    32955     18 |  0.210 % |
88.18/88.30	c |    291480 |    8093    69087   229504 |    38063    33979     18 |  0.210 % |
88.98/89.04	c |    293531 |    8093    69087   229504 |    38063    36030     19 |  0.210 % |
89.08/89.21	c |    294043 |    8093    69087   229504 |    38063    36542     19 |  0.210 % |
89.28/89.32	c |    294555 |    8093    69087   229504 |    38063    37054     19 |  0.210 % |
89.58/89.70	c |    295579 |    8093    69087   229504 |    38063    38078     19 |  0.210 % |
89.88/89.95	c |    296092 |    8093    69087   229504 |    38063    32921     19 |  0.210 % |
90.08/90.14	c |    296607 |    8093    69087   229504 |    38063    33436     19 |  0.210 % |
90.48/90.52	c |    297631 |    8093    69087   229504 |    38063    34460     19 |  0.210 % |
91.28/91.36	c |    299679 |    8093    69087   229504 |    38063    36508     19 |  0.210 % |
92.78/92.91	c |    303775 |    8093    69087   229504 |    36829    34629     18 |  0.210 % |
96.08/96.12	c |    311969 |    8093    69087   229504 |    35347    32704     18 |  0.210 % |
101.88/101.94	c |    328354 |    8093    69087   229504 |    32315    30476     20 |  0.210 % |
101.98/102.10	c |    328866 |    8093    69087   229504 |    32315    30988     20 |  0.210 % |
102.18/102.29	c |    329381 |    8093    69087   229504 |    32315    31503     20 |  0.210 % |
102.58/102.69	c |    330406 |    8093    69087   229504 | 2147483647    32528     20 |  0.210 % |
102.78/102.85	c |    330919 |    8093    69087   229504 | 2147483647    33041     20 |  0.210 % |
102.88/102.96	c |    331432 |    8093    69087   229504 | 2147483647    33554     20 |  0.210 % |
103.08/103.20	c |    332456 |    8093    69087   229504 | 2147483647    34578     20 |  0.210 % |
103.78/103.87	c |    334504 |    8093    69087   229504 | 2147483647    36626     20 |  0.210 % |
103.98/104.02	c |    335016 |    8093    69087   229504 | 2147483647    37138     20 |  0.210 % |
104.08/104.18	c |    335528 |    8093    69087   229504 | 2147483647    37650     20 |  0.210 % |
104.38/104.50	c |    336553 |    8093    69087   229504 | 2147483647    38675     20 |  0.210 % |
104.58/104.63	c |    337066 |    8093    69087   229504 | 2147483647    39188     20 |  0.210 % |
104.68/104.81	c |    337578 |    8093    69087   229504 | 2147483647    39700     20 |  0.210 % |
105.28/105.32	c |    338603 |    8093    69087   229504 | 2147483647    40725     20 |  0.210 % |
106.18/106.30	c |    340651 |    8093    69087   229504 |    42123    36486     20 |  0.210 % |
108.08/108.18	c |    344747 |    8093    69087   229504 |    42123    40582     20 |  0.210 % |
108.28/108.39	c |    345260 |    8093    69087   229504 |    42123    41095     20 |  0.210 % |
108.48/108.59	c |    345773 |    8093    69087   229504 |    42123    41608     20 |  0.210 % |
108.98/109.09	c |    346797 |    8093    69087   229504 |    42123    35859     19 |  0.210 % |
109.28/109.34	c |    347310 |    8093    69087   229504 |    42123    36372     19 |  0.210 % |
109.48/109.59	c |    347822 |    8093    69087   229504 |    42123    36884     19 |  0.210 % |
109.88/109.99	c |    348848 |    8093    69087   229504 |    42123    37910     20 |  0.210 % |
110.58/110.68	c |    350896 |    8093    69087   229504 |    39064    33875     19 |  0.210 % |
110.78/110.86	c |    351408 |    8093    69087   229504 |    39064    34387     19 |  0.210 % |
110.98/111.03	c |    351920 |    8093    69087   229504 |    39064    34899     19 |  0.210 % |
111.38/111.41	c |    352948 |    8093    69087   229504 |    39064    35927     19 |  0.210 % |
111.48/111.59	c |    353460 |    8093    69087   229504 |    39064    36439     19 |  0.210 % |
111.68/111.79	c |    353972 |    8093    69087   229504 |    39064    36951     19 |  0.210 % |
112.08/112.15	c |    354997 |    8093    69087   229504 |    39064    37976     19 |  0.210 % |
112.78/112.91	c |    357045 |    8093    69087   229504 |    39064    34471     19 |  0.210 % |
114.68/114.75	c |    361141 |    8093    69087   229504 |    37428    33128     19 |  0.210 % |
117.58/117.67	c |    369333 |    8093    69087   229504 |    37428    36095     19 |  0.210 % |
117.78/117.85	c |    369845 |    8093    69087   229504 |    37428    36607     19 |  0.210 % |
118.08/118.13	c |    370359 |    8093    69087   229504 |    36762    31707     19 |  0.210 % |
118.48/118.53	c |    371386 |    8093    69087   229504 |    36762    32734     19 |  0.210 % |
118.58/118.71	c |    371898 |    8093    69087   229504 |    36762    33246     19 |  0.210 % |
118.88/118.92	c |    372412 |    8093    69087   229504 |    36762    33760     19 |  0.210 % |
119.28/119.39	c |    373436 |    8093    69087   229504 |    36762    34784     19 |  0.210 % |
120.08/120.12	c |    375484 |    8093    69087   229504 |    36762    36832     19 |  0.210 % |
120.28/120.32	c |    375997 |    8093    69087   229504 |    36762    32560     19 |  0.210 % |
120.48/120.51	c |    376509 |    8093    69087   229504 |    36762    33072     19 |  0.210 % |
120.78/120.91	c |    377533 |    8093    69087   229504 |    36762    34096     19 |  0.210 % |
120.98/121.07	c |    378047 |    8093    69087   229504 |    36762    34610     19 |  0.210 % |
121.18/121.22	c |    378560 |    8093    69087   229504 |    36762    35123     19 |  0.210 % |
121.48/121.59	c |    379585 |    8093    69087   229504 |    36762    36148     19 |  0.210 % |
122.18/122.21	c |    381635 |    8093    69087   229504 |    36563    33361     19 |  0.210 % |
123.68/123.73	c |    385733 |    8093    69087   229504 |    36563    32928     19 |  0.210 % |
123.78/123.90	c |    386245 |    8093    69087   229504 |    36563    33440     19 |  0.210 % |
123.98/124.08	c |    386757 |    8093    69087   229504 |    36563    33952     19 |  0.210 % |
124.38/124.46	c |    387781 |    8093    69087   229504 |    36563    34976     19 |  0.210 % |
124.68/124.71	c |    388294 |    8093    69087   229504 |    36563    35489     19 |  0.210 % |
124.78/124.88	c |    388806 |    8093    69087   229504 |    36563    36001     19 |  0.210 % |
125.28/125.36	c |    389830 |    8093    69087   229504 |    36563    32071     18 |  0.210 % |
126.08/126.20	c |    391878 |    8093    69087   229504 |    32241    29698     18 |  0.210 % |
126.38/126.43	c |    392397 |    8093    69087   229504 |    32241    30217     18 |  0.210 % |
126.58/126.62	c |    392909 |    8093    69087   229504 |    32241    30729     18 |  0.210 % |
126.88/126.98	c |    393933 |    8093    69087   229504 |    32241    31753     18 |  0.210 % |
127.08/127.13	c |    394445 |    8093    69087   229504 |    32241    32265     18 |  0.210 % |
127.18/127.29	c |    394957 |    8093    69087   229504 |    32241    29037     18 |  0.210 % |
127.59/127.66	c |    395981 |    8093    69087   229504 |    32241    30061     18 |  0.210 % |
128.38/128.46	c |    398030 |    8093    69087   229504 |    32241    32110     18 |  0.210 % |
129.98/130.02	c |    402130 |    8093    69087   229504 |    30074    28369     18 |  0.210 % |
133.28/133.39	c |    410322 |    8093    69087   229504 |    29471    29793     18 |  0.210 % |
138.18/138.28	c |    426707 |    8093    69087   229504 | 2147483647    34241     18 |  0.210 % |
152.89/152.95	c |    459477 |    8093    69087   229504 |    35617    34578     19 |  0.210 % |
179.69/179.79	c |    525013 |    8093    69087   229504 |    37528    37338     20 |  0.210 % |
179.89/179.98	c |    525527 |    8093    69087   229504 |    37528    37852     20 |  0.210 % |
180.19/180.24	c |    526039 |    8093    69087   229504 |    37528    33035     19 |  0.210 % |
180.49/180.57	c |    527063 |    8093    69087   229504 |    37528    34059     19 |  0.210 % |
180.69/180.73	c |    527576 |    8093    69087   229504 |    37528    34572     19 |  0.210 % |
180.79/180.84	c |    528088 |    8093    69087   229504 |    37528    35084     19 |  0.210 % |
181.09/181.17	c |    529114 |    8093    69087   229504 |    37528    36110     19 |  0.210 % |
181.69/181.73	c |    531162 |    8093    69087   229504 |    36996    32860     19 |  0.210 % |
181.79/181.88	c |    531675 |    8093    69087   229504 |    36996    33373     19 |  0.210 % |
181.99/182.03	c |    532188 |    8093    69087   229504 |    36996    33886     19 |  0.210 % |
182.29/182.37	c |    533212 |    8093    69087   229504 |    36996    34910     19 |  0.210 % |
182.49/182.52	c |    533724 |    8093    69087   229504 |    36996    35422     19 |  0.210 % |
182.59/182.68	c |    534238 |    8093    69087   229504 |    36996    35936     19 |  0.210 % |
182.89/182.93	c |    535262 |    8093    69087   229504 |    36996    36960     20 |  0.210 % |
183.49/183.59	c |    537311 |    8093    69087   229504 |    36996    34169     19 |  0.210 % |
185.09/185.13	c |    541407 |    8093    69087   229504 |    36858    33550     19 |  0.210 % |
185.19/185.27	c |    541920 |    8093    69087   229504 |    36858    34063     19 |  0.210 % |
185.29/185.41	c |    542432 |    8093    69087   229504 |    36858    34575     19 |  0.210 % |
185.69/185.75	c |    543458 |    8093    69087   229504 |    36858    35601     19 |  0.210 % |
185.79/185.88	c |    543970 |    8093    69087   229504 |    36858    36113     19 |  0.210 % |
185.99/186.06	c |    544482 |    8093    69087   229504 |    36858    36625     19 |  0.210 % |
186.39/186.47	c |    545506 |    8093    69087   229504 |    36858    32497     19 |  0.210 % |
187.09/187.17	c |    547559 |    8093    69087   229504 |    36858    34550     19 |  0.210 % |
187.29/187.40	c |    548073 |    8093    69087   229504 |    36858    35064     19 |  0.210 % |
187.59/187.61	c |    548585 |    8093    69087   229504 |    36858    35576     19 |  0.210 % |
187.99/188.02	c |    549609 |    8093    69087   229504 |    36858    36600     20 |  0.210 % |
188.09/188.21	c |    550121 |    8093    69087   229504 |    36991    37112     20 |  0.210 % |
188.39/188.45	c |    550633 |    8093    69087   229504 |    36991    32433     19 |  0.210 % |
188.79/188.86	c |    551657 |    8093    69087   229504 |    36991    33457     19 |  0.210 % |
189.39/189.48	c |    553709 |    8093    69087   229504 |    36991    35509     19 |  0.210 % |
191.09/191.15	c |    557806 |    8093    69087   229504 |    36991    34737     19 |  0.210 % |
194.49/194.57	c |    565998 |    8093    69087   229504 |    36931    32284     18 |  0.210 % |
194.69/194.72	c |    566511 |    8093    69087   229504 |    36931    32797     19 |  0.210 % |
194.79/194.89	c |    567023 |    8093    69087   229504 |    36931    33309     19 |  0.210 % |
195.19/195.26	c |    568048 |    8093    69087   229504 |    36931    34334     19 |  0.210 % |
195.39/195.46	c |    568560 |    8093    69087   229504 |    36931    34846     19 |  0.210 % |
195.59/195.62	c |    569073 |    8093    69087   229504 |    36931    35359     19 |  0.210 % |
195.89/195.97	c |    570097 |    8093    69087   229504 |    36287    36383     19 |  0.210 % |
196.59/196.69	c |    572149 |    8093    69087   229504 |    36287    32910     18 |  0.210 % |
196.79/196.90	c |    572661 |    8093    69087   229504 |    36287    33422     18 |  0.210 % |
197.09/197.12	c |    573174 |    8093    69087   229504 |    36287    33935     18 |  0.210 % |
197.39/197.48	c |    574198 |    8093    69087   229504 |    36287    34959     18 |  0.210 % |
197.69/197.76	c |    574710 |    8093    69087   229504 |    36287    35471     18 |  0.210 % |
197.89/197.94	c |    575226 |    8093    69087   229504 |    36287    35987     19 |  0.210 % |
198.19/198.30	c |    576252 |    8093    69087   229504 |    36287    31435     18 |  0.210 % |
198.89/198.95	c |    578301 |    8093    69087   229504 |    36287    33484     18 |  0.210 % |
200.29/200.31	c |    582398 |    8093    69087   229504 |    35183    32496     19 |  0.210 % |
200.39/200.50	c |    582912 |    8093    69087   229504 |    35183    33010     19 |  0.210 % |
200.59/200.68	c |    583424 |    8093    69087   229504 |    35183    33522     19 |  0.210 % |
200.99/201.10	c |    584448 |    8093    69087   229504 |    35183    34546     19 |  0.210 % |
201.29/201.33	c |    584960 |    8093    69087   229504 |    35183    35058     19 |  0.210 % |
201.48/201.51	c |    585473 |    8093    69087   229504 |    35183    31072     19 |  0.210 % |
201.78/201.86	c |    586497 |    8093    69087   229504 |    35183    32096     19 |  0.210 % |
202.38/202.46	c |    588545 |    8093    69087   229504 |    35183    34144     19 |  0.210 % |
202.58/202.62	c |    589057 |    8093    69087   229504 |    35183    34656     19 |  0.210 % |
202.68/202.78	c |    589570 |    8093    69087   229504 |    35183    35169     19 |  0.210 % |
202.98/203.07	c |    590594 |    8093    69087   229504 |    31141    27906     18 |  0.210 % |
203.08/203.18	c |    591106 |    8093    69087   229504 |    31141    28418     18 |  0.210 % |
203.28/203.33	c |    591620 |    8093    69087   229504 |    31141    28932     19 |  0.210 % |
203.47/203.60	c |    592644 |    8093    69087   229504 |    31141    29956     19 |  0.210 % |
204.07/204.14	c |    594694 |    8093    69087   229504 |    31141    28618     18 |  0.210 % |
205.27/205.34	c |    598792 |    8093    69087   229504 |    31141    29420     18 |  0.210 % |
207.45/207.56	c |    606985 |    8093    69087   229504 |    30630    28198     18 |  0.210 % |
212.05/212.13	c |    623369 |    8093    69087   229504 |    38124    36787     20 |  0.210 % |
212.15/212.29	c |    623882 |    8093    69087   229504 |    38124    37300     20 |  0.210 % |
212.35/212.45	c |    624398 |    8093    69087   229504 |    38124    37816     20 |  0.210 % |
212.65/212.77	c |    625422 |    8093    69087   229504 |    38124    33585     21 |  0.210 % |
212.85/212.95	c |    625934 |    8093    69087   229504 |    38124    34097     21 |  0.210 % |
212.95/213.11	c |    626446 |    8093    69087   229504 |    38124    34609     21 |  0.210 % |
213.36/213.43	c |    627470 |    8093    69087   229504 |    38124    35633     21 |  0.210 % |
213.85/213.98	c |    629518 |    8093    69087   229504 |    38124    37681     21 |  0.210 % |
214.05/214.17	c |    630030 |    8093    69087   229504 |    38164    38193     21 |  0.210 % |
214.25/214.35	c |    630542 |    8093    69087   229504 |    38164    33026     20 |  0.210 % |
214.55/214.64	c |    631566 |    8093    69087   229504 |    38164    34050     20 |  0.210 % |
214.65/214.79	c |    632082 |    8093    69087   229504 |    38164    34566     20 |  0.210 % |
214.75/214.90	c |    632596 |    8093    69087   229504 |    38164    35080     20 |  0.210 % |
215.15/215.22	c |    633620 |    8093    69087   229504 |    38164    36104     20 |  0.210 % |
215.75/215.87	c |    635669 |    8093    69087   229504 |    38164    38153     21 |  0.210 % |
217.05/217.17	c |    639766 |    8093    69087   229504 |    38164    36819     20 |  0.210 % |
217.25/217.31	c |    640279 |    8093    69087   229504 |    37053    37332     20 |  0.210 % |
217.35/217.47	c |    640794 |    8093    69087   229504 |    37053    32387     19 |  0.210 % |
217.65/217.73	c |    641818 |    8093    69087   229504 |    37053    33411     19 |  0.210 % |
217.76/217.87	c |    642330 |    8093    69087   229504 |    37053    33923     19 |  0.210 % |
217.95/218.04	c |    642842 |    8093    69087   229504 |    37053    34435     19 |  0.210 % |
218.25/218.40	c |    643867 |    8093    69087   229504 |    37053    35460     19 |  0.210 % |
218.95/219.10	c |    645915 |    8093    69087   229504 |    37053    37508     19 |  0.210 % |
219.25/219.34	c |    646429 |    8093    69087   229504 |    37053    33244     18 |  0.210 % |
219.45/219.52	c |    646941 |    8093    69087   229504 |    37053    33756     18 |  0.210 % |
219.84/219.96	c |    647965 |    8093    69087   229504 |    37053    34780     18 |  0.210 % |
219.95/220.10	c |    648479 |    8093    69087   229504 |    37053    35294     18 |  0.210 % |
220.14/220.27	c |    648993 |    8093    69087   229504 |    37053    35808     18 |  0.210 % |
220.54/220.61	c |    650017 |    8093    69087   229504 |    36815    36832     19 |  0.210 % |
221.14/221.23	c |    652065 |    8093    69087   229504 |    36815    33984     18 |  0.210 % |
222.44/222.56	c |    656161 |    8093    69087   229504 |    36815    32536     18 |  0.210 % |
225.64/225.75	c |    664353 |    8093    69087   229504 |    36376    35014     18 |  0.210 % |
225.74/225.90	c |    664865 |    8093    69087   229504 |    36376    35526     18 |  0.210 % |
225.94/226.06	c |    665379 |    8093    69087   229504 |    36376    36040     18 |  0.210 % |
226.34/226.43	c |    666405 |    8093    69087   229504 |    36376    31526     18 |  0.210 % |
226.44/226.59	c |    666917 |    8093    69087   229504 |    36376    32038     18 |  0.210 % |
226.64/226.77	c |    667429 |    8093    69087   229504 |    36376    32550     18 |  0.210 % |
226.94/227.02	c |    668454 |    8093    69087   229504 |    36376    33575     18 |  0.210 % |
227.54/227.65	c |    670503 |    8093    69087   229504 |    35121    30565     18 |  0.210 % |
227.74/227.82	c |    671015 |    8093    69087   229504 |    35121    31077     18 |  0.210 % |
227.84/227.98	c |    671527 |    8093    69087   229504 |    35121    31589     18 |  0.210 % |
228.24/228.34	c |    672551 |    8093    69087   229504 |    35121    32613     18 |  0.210 % |
228.34/228.46	c |    673064 |    8093    69087   229504 |    35121    33126     19 |  0.210 % |
228.54/228.63	c |    673577 |    8093    69087   229504 |    35121    33639     19 |  0.210 % |
228.84/228.95	c |    674602 |    8093    69087   229504 |    35121    34664     19 |  0.210 % |
229.54/229.69	c |    676650 |    8093    69087   229504 |    35121    31670     18 |  0.210 % |
230.74/230.88	c |    680746 |    8093    69087   229504 |    35021    31086     18 |  0.210 % |
230.95/231.06	c |    681258 |    8093    69087   229504 |    35021    31598     18 |  0.210 % |
231.14/231.24	c |    681772 |    8093    69087   229504 |    35021    32112     18 |  0.210 % |
231.34/231.49	c |    682796 |    8093    69087   229504 |    35021    33136     19 |  0.210 % |
231.64/231.71	c |    683308 |    8093    69087   229504 |    35021    33648     19 |  0.210 % |
231.74/231.84	c |    683821 |    8093    69087   229504 |    35021    34161     19 |  0.210 % |
232.05/232.21	c |    684845 |    8093    69087   229504 |    35021    35185     19 |  0.210 % |
232.74/232.85	c |    686894 |    8093    69087   229504 |    35021    32516     19 |  0.210 % |
232.94/233.02	c |    687406 |    8093    69087   229504 |    35021    33028     19 |  0.210 % |
233.04/233.20	c |    687918 |    8093    69087   229504 |    35021    33540     19 |  0.210 % |
233.34/233.51	c |    688942 |    8093    69087   229504 |    35021    34564     19 |  0.210 % |
233.54/233.65	c |    689455 |    8093    69087   229504 |    35021    35077     19 |  0.210 % |
233.64/233.81	c |    689969 |    8093    69087   229504 |    35021    30880     18 |  0.210 % |
233.94/234.11	c |    690995 |    8093    69087   229504 |    30912    27910     18 |  0.210 % |
234.54/234.63	c |    693044 |    8093    69087   229504 |    30912    29959     18 |  0.210 % |
235.74/235.90	c |    697140 |    8093    69087   229504 |    30912    30476     18 |  0.210 % |
238.74/238.89	c |    705333 |    8093    69087   229504 |    29975    29124     19 |  0.210 % |
245.04/245.16	c |    721717 |    8093    69087   229504 |    37685    34468     19 |  0.210 % |
256.85/256.93	c |    754485 |    8093    69087   229504 |    36055    35666     20 |  0.210 % |
257.05/257.12	c |    754999 |    8093    69087   229504 |    36055    36180     20 |  0.210 % |
257.15/257.26	c |    755511 |    8093    69087   229504 |    36055    31711     20 |  0.210 % |
257.45/257.57	c |    756535 |    8093    69087   229504 |    36055    32735     20 |  0.210 % |
257.55/257.71	c |    757050 |    8093    69087   229504 |    36055    33250     20 |  0.210 % |
257.65/257.81	c |    757564 |    8093    69087   229504 |    36055    33764     20 |  0.210 % |
258.05/258.21	c |    758589 |    8093    69087   229504 |    36055    34789     20 |  0.210 % |
258.85/258.94	c |    760637 |    8093    69087   229504 |    36202    31655     20 |  0.210 % |
259.05/259.12	c |    761149 |    8093    69087   229504 |    36202    32167     20 |  0.210 % |
259.15/259.30	c |    761662 |    8093    69087   229504 |    36202    32680     20 |  0.210 % |
259.55/259.66	c |    762688 |    8093    69087   229504 |    36202    33706     20 |  0.210 % |
259.75/259.82	c |    763200 |    8093    69087   229504 |    36202    34218     20 |  0.210 % |
259.85/260.00	c |    763713 |    8093    69087   229504 |    36202    34731     20 |  0.210 % |
260.25/260.32	c |    764739 |    8093    69087   229504 |    36202    35757     20 |  0.210 % |
260.85/260.92	c |    766787 |    8093    69087   229504 |    36202    32914     20 |  0.210 % |
262.15/262.22	c |    770883 |    8093    69087   229504 |    36128    32155     19 |  0.210 % |
262.25/262.39	c |    771395 |    8093    69087   229504 |    36128    32667     19 |  0.210 % |
262.45/262.52	c |    771908 |    8093    69087   229504 |    36128    33180     19 |  0.210 % |
262.75/262.83	c |    772932 |    8093    69087   229504 |    36128    34204     19 |  0.210 % |
262.85/262.96	c |    773445 |    8093    69087   229504 |    36128    34717     19 |  0.210 % |
262.95/263.08	c |    773957 |    8093    69087   229504 |    36128    35229     19 |  0.210 % |
263.25/263.37	c |    774984 |    8093    69087   229504 |    36128    36256     19 |  0.210 % |
263.95/264.08	c |    777032 |    8093    69087   229504 |    36128    33236     19 |  0.210 % |
264.05/264.20	c |    777544 |    8093    69087   229504 |    36128    33748     19 |  0.210 % |
264.25/264.40	c |    778056 |    8093    69087   229504 |    36128    34260     19 |  0.210 % |
264.65/264.74	c |    779080 |    8093    69087   229504 |    36128    35284     19 |  0.210 % |
264.75/264.87	c |    779592 |    8093    69087   229504 |    36128    35796     19 |  0.210 % |
264.95/265.08	c |    780104 |    8093    69087   229504 |    36204    36308     19 |  0.210 % |
265.25/265.38	c |    781129 |    8093    69087   229504 |    36204    32354     19 |  0.210 % |
265.75/265.89	c |    783178 |    8093    69087   229504 |    36204    34403     19 |  0.210 % |
267.25/267.40	c |    787274 |    8093    69087   229504 |    36204    33969     19 |  0.210 % |
270.15/270.27	c |    795466 |    8093    69087   229504 |    32208    29926     18 |  0.210 % |
270.25/270.38	c |    795979 |    8093    69087   229504 |    32208    30439     18 |  0.210 % |
270.45/270.54	c |    796492 |    8093    69087   229504 |    32208    30952     18 |  0.210 % |
270.75/270.82	c |    797516 |    8093    69087   229504 |    32208    31976     18 |  0.210 % |
270.95/271.02	c |    798028 |    8093    69087   229504 |    32208    28623     18 |  0.210 % |
271.05/271.19	c |    798541 |    8093    69087   229504 |    32208    29136     18 |  0.210 % |
271.45/271.54	c |    799566 |    8093    69087   229504 |    32208    30161     18 |  0.210 % |
271.95/272.05	c |    801614 |    8093    69087   229504 |    30595    28724     18 |  0.210 % |
272.15/272.23	c |    802127 |    8093    69087   229504 |    30595    29237     18 |  0.210 % |
272.25/272.38	c |    802639 |    8093    69087   229504 |    30595    29749     18 |  0.210 % |
272.65/272.72	c |    803664 |    8093    69087   229504 |    30595    30774     18 |  0.210 % |
272.75/272.89	c |    804176 |    8093    69087   229504 |    30595    27915     18 |  0.210 % |
272.95/273.02	c |    804690 |    8093    69087   229504 |    30595    28429     18 |  0.210 % |
273.25/273.32	c |    805714 |    8093    69087   229504 |    30595    29453     18 |  0.210 % |
273.75/273.84	c |    807762 |    8093    69087   229504 |    30595    28262     18 |  0.210 % |
275.05/275.12	c |    811858 |    8093    69087   229504 | 2147483647    32358     18 |  0.210 % |
275.15/275.29	c |    812370 |    8093    69087   229504 | 2147483647    32870     18 |  0.210 % |
275.35/275.48	c |    812882 |    8093    69087   229504 | 2147483647    33382     19 |  0.210 % |
275.75/275.82	c |    813906 |    8093    69087   229504 | 2147483647    34406     19 |  0.210 % |
275.85/275.99	c |    814419 |    8093    69087   229504 | 2147483647    34919     19 |  0.210 % |
276.05/276.21	c |    814931 |    8093    69087   229504 | 2147483647    35431     19 |  0.210 % |
276.35/276.51	c |    815955 |    8093    69087   229504 | 2147483647    36455     19 |  0.210 % |
277.05/277.19	c |    818005 |    8093    69087   229504 | 2147483647    38505     19 |  0.210 % |
277.35/277.42	c |    818518 |    8093    69087   229504 | 2147483647    39018     19 |  0.210 % |
277.45/277.61	c |    819030 |    8093    69087   229504 | 2147483647    39530     19 |  0.210 % |
277.95/278.03	c |    820056 |    8093    69087   229504 |    40500    40556     19 |  0.210 % |
278.25/278.33	c |    820568 |    8093    69087   229504 |    40500    35257     19 |  0.210 % |
278.45/278.55	c |    821080 |    8093    69087   229504 |    40500    35769     19 |  0.210 % |
278.75/278.90	c |    822105 |    8093    69087   229504 |    40500    36794     19 |  0.210 % |
279.65/279.72	c |    824153 |    8093    69087   229504 |    40500    38842     19 |  0.210 % |
281.35/281.52	c |    828249 |    8093    69087   229504 |    40500    36565     18 |  0.210 % |
284.45/284.58	c |    836443 |    8093    69087   229504 |    38316    38559     18 |  0.210 % |
291.15/291.25	c |    852827 |    8093    69087   229504 |    36139    34435     19 |  0.210 % |
291.35/291.42	c |    853339 |    8093    69087   229504 |    36139    34947     19 |  0.210 % |
291.45/291.59	c |    853851 |    8093    69087   229504 |    36139    35459     19 |  0.210 % |
291.85/291.92	c |    854876 |    8093    69087   229504 |    36139    36484     20 |  0.210 % |
291.95/292.09	c |    855390 |    8093    69087   229504 |    36139    32168     19 |  0.210 % |
292.05/292.21	c |    855904 |    8093    69087   229504 |    36139    32682     19 |  0.210 % |
292.45/292.57	c |    856929 |    8093    69087   229504 |    36139    33707     19 |  0.210 % |
293.25/293.35	c |    858977 |    8093    69087   229504 |    36139    35755     20 |  0.210 % |
293.45/293.55	c |    859489 |    8093    69087   229504 |    36139    36267     20 |  0.210 % |
293.65/293.73	c |    860004 |    8093    69087   229504 |    31900    31904     19 |  0.210 % |
293.95/294.06	c |    861028 |    8093    69087   229504 |    31900    28398     19 |  0.210 % |
294.15/294.23	c |    861540 |    8093    69087   229504 |    31900    28910     19 |  0.210 % |
294.25/294.37	c |    862054 |    8093    69087   229504 |    31900    29424     19 |  0.210 % |
294.55/294.67	c |    863078 |    8093    69087   229504 |    31900    30448     19 |  0.210 % |
295.35/295.42	c |    865126 |    8093    69087   229504 |    31900    28283     18 |  0.210 % |
296.65/296.77	c |    869222 |    8093    69087   229504 |    31900    28271     18 |  0.210 % |
296.85/296.93	c |    869735 |    8093    69087   229504 |    31900    28784     18 |  0.210 % |
296.96/297.04	c |    870249 |    8093    69087   229504 |    29050    29298     18 |  0.210 % |
297.25/297.38	c |    871273 |    8093    69087   229504 |    29050    26706     18 |  0.210 % |
297.35/297.49	c |    871787 |    8093    69087   229504 |    29050    27220     18 |  0.210 % |
297.55/297.65	c |    872299 |    8093    69087   229504 |    29050    27732     18 |  0.210 % |
297.85/297.98	c |    873323 |    8093    69087   229504 |    29050    28756     18 |  0.210 % |
298.45/298.61	c |    875373 |    8093    69087   229504 |    29050    27703     18 |  0.210 % |
298.65/298.79	c |    875885 |    8093    69087   229504 |    29050    28215     18 |  0.210 % |
298.75/298.90	c |    876397 |    8093    69087   229504 |    29050    28727     18 |  0.210 % |
299.05/299.19	c |    877421 |    8093    69087   229504 |    29050    26758     18 |  0.210 % |
299.16/299.28	c |    877933 |    8093    69087   229504 |    29050    27270     18 |  0.210 % |
299.35/299.43	c |    878447 |    8093    69087   229504 |    29050    27784     18 |  0.210 % |
299.55/299.66	c |    879471 |    8093    69087   229504 |    29050    28808     18 |  0.210 % |
300.15/300.32	c |    881519 |    8093    69087   229504 | 2147483647    27934     18 |  0.210 % |
301.55/301.67	c |    885616 |    8093    69087   229504 | 2147483647    32031     18 |  0.210 % |
304.75/304.84	c |    893809 |    8093    69087   229504 |    36420    35511     18 |  0.210 % |
304.95/305.02	c |    894323 |    8093    69087   229504 |    36420    36025     18 |  0.210 % |
305.05/305.20	c |    894837 |    8093    69087   229504 |    36420    36539     18 |  0.210 % |
305.45/305.60	c |    895862 |    8093    69087   229504 |    36420    32035     18 |  0.210 % |
305.65/305.78	c |    896374 |    8093    69087   229504 |    36420    32547     18 |  0.210 % |
305.85/305.92	c |    896886 |    8093    69087   229504 |    36420    33059     18 |  0.210 % |
306.15/306.27	c |    897910 |    8093    69087   229504 |    36420    34083     18 |  0.210 % |
306.95/307.07	c |    899960 |    8093    69087   229504 |    36420    36133     18 |  0.210 % |
307.15/307.30	c |    900472 |    8093    69087   229504 |    36175    31687     18 |  0.210 % |
307.35/307.48	c |    900984 |    8093    69087   229504 |    36175    32199     18 |  0.210 % |
307.75/307.84	c |    902008 |    8093    69087   229504 |    36175    33223     18 |  0.210 % |
307.85/307.97	c |    902522 |    8093    69087   229504 |    36175    33737     18 |  0.210 % |
308.05/308.19	c |    903035 |    8093    69087   229504 |    36175    34250     18 |  0.210 % |
308.45/308.52	c |    904059 |    8093    69087   229504 |    36175    35274     19 |  0.210 % |
309.25/309.31	c |    906107 |    8093    69087   229504 |    36175    32200     18 |  0.210 % |
310.55/310.70	c |    910203 |    8093    69087   229504 |    36093    36296     19 |  0.210 % |
310.75/310.86	c |    910717 |    8093    69087   229504 |    36093    31678     18 |  0.210 % |
310.95/311.07	c |    911229 |    8093    69087   229504 |    36093    32190     18 |  0.210 % |
311.26/311.40	c |    912253 |    8093    69087   229504 |    36093    33214     19 |  0.210 % |
311.45/311.56	c |    912767 |    8093    69087   229504 |    36093    33728     19 |  0.210 % |
311.55/311.69	c |    913279 |    8093    69087   229504 |    36093    34240     19 |  0.210 % |
312.05/312.18	c |    914305 |    8093    69087   229504 |    36093    35266     19 |  0.210 % |
312.75/312.83	c |    916353 |    8093    69087   229504 |    36093    32347     19 |  0.210 % |
312.95/313.02	c |    916866 |    8093    69087   229504 |    36093    32860     19 |  0.210 % |
313.05/313.19	c |    917378 |    8093    69087   229504 |    36093    33372     19 |  0.210 % |
313.35/313.52	c |    918402 |    8093    69087   229504 |    36093    34396     19 |  0.210 % |
313.55/313.66	c |    918915 |    8093    69087   229504 |    36093    34909     19 |  0.210 % |
313.75/313.84	c |    919429 |    8093    69087   229504 |    36093    35423     19 |  0.210 % |
314.15/314.28	c |    920457 |    8093    69087   229504 |    35994    31542     19 |  0.210 % |
314.85/314.98	c |    922505 |    8093    69087   229504 |    35994    33590     19 |  0.210 % |
316.45/316.53	c |    926602 |    8093    69087   229504 |    35994    33172     18 |  0.210 % |
319.25/319.34	c |    934794 |    8093    69087   229504 |    31894    28785     18 |  0.210 % |
323.95/324.05	c |    951179 |    8093    69087   229504 | 2147483647    29091     20 |  0.210 % |
336.16/336.30	c |    983947 |    8093    69087   229504 |    31061    27846     20 |  0.210 % |
356.96/357.06	c |   1049484 |    8093    69087   229504 |    29957    28817     18 |  0.210 % |
404.46/404.56	c |   1180556 |    8093    69087   229504 |    33728    30339     20 |  0.210 % |
404.56/404.67	c |   1181069 |    8093    69087   229504 |    33728    30852     20 |  0.210 % |
404.66/404.81	c |   1181581 |    8093    69087   229504 |    33728    31364     20 |  0.210 % |
405.06/405.17	c |   1182608 |    8093    69087   229504 |    33728    32391     20 |  0.210 % |
405.26/405.34	c |   1183121 |    8093    69087   229504 |    33728    32904     20 |  0.210 % |
405.46/405.52	c |   1183637 |    8093    69087   229504 |    33728    33420     20 |  0.210 % |
405.66/405.81	c |   1184663 |    8093    69087   229504 |    33728    29844     19 |  0.210 % |
406.26/406.40	c |   1186712 |    8093    69087   229504 |    33728    31893     19 |  0.210 % |
406.46/406.54	c |   1187226 |    8093    69087   229504 |    33728    32407     19 |  0.210 % |
406.56/406.69	c |   1187739 |    8093    69087   229504 |    33728    32920     19 |  0.210 % |
406.97/407.05	c |   1188763 |    8093    69087   229504 |    33728    33944     19 |  0.210 % |
407.06/407.20	c |   1189276 |    8093    69087   229504 |    33728    29812     19 |  0.210 % |
407.16/407.30	c |   1189788 |    8093    69087   229504 |    33728    30324     19 |  0.210 % |
407.46/407.58	c |   1190812 |    8093    69087   229504 |    30537    27350     18 |  0.210 % |
407.96/408.08	c |   1192861 |    8093    69087   229504 |    30537    29399     19 |  0.210 % |
408.96/409.11	c |   1196958 |    8093    69087   229504 |    30537    30424     19 |  0.210 % |
409.17/409.27	c |   1197470 |    8093    69087   229504 |    30537    27856     19 |  0.210 % |
409.26/409.39	c |   1197984 |    8093    69087   229504 |    30537    28370     19 |  0.210 % |
409.56/409.66	c |   1199008 |    8093    69087   229504 |    30537    29394     19 |  0.210 % |
409.66/409.78	c |   1199520 |    8093    69087   229504 |    30537    29906     19 |  0.210 % |
409.76/409.87	c |   1200032 |    8093    69087   229504 | 2147483647    30418     19 |  0.210 % |
410.06/410.16	c |   1201056 |    8093    69087   229504 | 2147483647    31442     19 |  0.210 % |
410.67/410.81	c |   1203105 |    8093    69087   229504 | 2147483647    33491     19 |  0.210 % |
410.87/410.94	c |   1203618 |    8093    69087   229504 | 2147483647    34004     19 |  0.210 % |
410.97/411.07	c |   1204132 |    8093    69087   229504 | 2147483647    34518     19 |  0.210 % |
411.17/411.32	c |   1205157 |    8093    69087   229504 | 2147483647    35543     20 |  0.210 % |
411.37/411.51	c |   1205670 |    8093    69087   229504 | 2147483647    36056     20 |  0.210 % |
411.67/411.73	c |   1206182 |    8093    69087   229504 | 2147483647    36568     20 |  0.210 % |
411.97/412.11	c |   1207206 |    8093    69087   229504 | 2147483647    37592     20 |  0.210 % |
412.77/412.86	c |   1209256 |    8093    69087   229504 | 2147483647    39642     20 |  0.210 % |
414.17/414.28	c |   1213352 |    8093    69087   229504 |    40388    38669     20 |  0.210 % |
417.37/417.43	c |   1221544 |    8093    69087   229504 |    38933    34216     19 |  0.210 % |
417.57/417.69	c |   1222056 |    8093    69087   229504 |    38933    34728     19 |  0.210 % |
417.77/417.90	c |   1222568 |    8093    69087   229504 |    38933    35240     19 |  0.210 % |
418.17/418.26	c |   1223592 |    8093    69087   229504 |    38933    36264     19 |  0.210 % |
418.27/418.40	c |   1224104 |    8093    69087   229504 |    38933    36776     19 |  0.210 % |
418.47/418.58	c |   1224616 |    8093    69087   229504 |    38933    37288     19 |  0.210 % |
418.87/419.00	c |   1225640 |    8093    69087   229504 |    38933    38312     20 |  0.210 % |
419.57/419.64	c |   1227690 |    8093    69087   229504 |    38933    34070     19 |  0.210 % |
419.67/419.80	c |   1228202 |    8093    69087   229504 |    38933    34582     19 |  0.210 % |
419.87/419.93	c |   1228714 |    8093    69087   229504 |    38933    35094     19 |  0.210 % |
420.17/420.25	c |   1229739 |    8093    69087   229504 |    38933    36119     19 |  0.210 % |
420.37/420.43	c |   1230252 |    8093    69087   229504 |    36381    36632     19 |  0.210 % |
420.47/420.62	c |   1230765 |    8093    69087   229504 |    36381    31380     18 |  0.210 % |
420.87/420.97	c |   1231789 |    8093    69087   229504 |    36381    32404     18 |  0.210 % |
421.37/421.50	c |   1233838 |    8093    69087   229504 |    36381    34453     19 |  0.210 % |
422.87/422.97	c |   1237936 |    8093    69087   229504 |    36381    33234     19 |  0.210 % |
423.07/423.12	c |   1238452 |    8093    69087   229504 |    36381    33750     19 |  0.210 % |
423.17/423.30	c |   1238965 |    8093    69087   229504 |    36381    34263     19 |  0.210 % |
423.47/423.55	c |   1239990 |    8093    69087   229504 |    36381    35288     19 |  0.210 % |
423.57/423.70	c |   1240502 |    8093    69087   229504 |    35298    35800     19 |  0.210 % |
423.77/423.87	c |   1241014 |    8093    69087   229504 |    35298    31359     18 |  0.210 % |
424.07/424.17	c |   1242039 |    8093    69087   229504 |    35298    32384     19 |  0.210 % |
424.57/424.70	c |   1244087 |    8093    69087   229504 |    35298    34432     19 |  0.210 % |
424.77/424.86	c |   1244599 |    8093    69087   229504 |    35298    34944     19 |  0.210 % |
424.87/425.01	c |   1245112 |    8093    69087   229504 |    35298    35457     19 |  0.210 % |
425.17/425.29	c |   1246136 |    8093    69087   229504 |    35298    31331     18 |  0.210 % |
425.37/425.44	c |   1246648 |    8093    69087   229504 |    35298    31843     18 |  0.210 % |
425.47/425.58	c |   1247160 |    8093    69087   229504 |    35298    32355     18 |  0.210 % |
425.87/425.93	c |   1248184 |    8093    69087   229504 |    35298    33379     19 |  0.210 % |
426.37/426.51	c |   1250232 |    8093    69087   229504 |    35195    35427     19 |  0.210 % |
427.57/427.65	c |   1254328 |    8093    69087   229504 |    35195    34538     19 |  0.210 % |
430.37/430.45	c |   1262520 |    8093    69087   229504 |    35436    32914     18 |  0.210 % |
436.17/436.30	c |   1278904 |    8093    69087   229504 |    35583    35261     19 |  0.210 % |
436.37/436.45	c |   1279418 |    8093    69087   229504 |    35583    35775     19 |  0.210 % |
436.47/436.59	c |   1279931 |    8093    69087   229504 |    35583    32052     19 |  0.210 % |
436.87/436.96	c |   1280958 |    8093    69087   229504 |    32121    29249     19 |  0.210 % |
437.07/437.15	c |   1281473 |    8093    69087   229504 |    32121    29764     19 |  0.210 % |
437.17/437.27	c |   1281985 |    8093    69087   229504 |    32121    30276     19 |  0.210 % |
437.47/437.53	c |   1283009 |    8093    69087   229504 |    32121    31300     19 |  0.210 % |
437.97/438.08	c |   1285057 |    8093    69087   229504 |    32121    29700     19 |  0.210 % |
438.07/438.22	c |   1285569 |    8093    69087   229504 |    32121    30212     19 |  0.210 % |
438.27/438.33	c |   1286081 |    8093    69087   229504 |    32121    30724     19 |  0.210 % |
438.56/438.65	c |   1287110 |    8093    69087   229504 |    32121    31753     19 |  0.210 % |
438.66/438.79	c |   1287623 |    8093    69087   229504 |    32121    32266     19 |  0.210 % |
438.86/438.97	c |   1288135 |    8093    69087   229504 |    32121    29008     19 |  0.210 % |
439.16/439.24	c |   1289161 |    8093    69087   229504 |    32121    30034     19 |  0.210 % |
439.76/439.81	c |   1291209 |    8093    69087   229504 |    30876    28717     19 |  0.210 % |
440.86/440.98	c |   1295306 |    8093    69087   229504 |    30876    29512     19 |  0.210 % |
441.06/441.11	c |   1295820 |    8093    69087   229504 |    30876    30026     19 |  0.210 % |
441.16/441.28	c |   1296333 |    8093    69087   229504 |    30876    30539     19 |  0.210 % |
441.46/441.58	c |   1297357 |    8093    69087   229504 |    30876    28371     18 |  0.210 % |
441.66/441.71	c |   1297870 |    8093    69087   229504 |    30876    28884     18 |  0.210 % |
441.76/441.86	c |   1298383 |    8093    69087   229504 |    30876    29397     18 |  0.210 % |
442.06/442.13	c |   1299407 |    8093    69087   229504 |    30876    30421     18 |  0.210 % |
442.56/442.64	c |   1301455 |    8093    69087   229504 |    31015    29110     18 |  0.210 % |
442.66/442.79	c |   1301967 |    8093    69087   229504 |    31015    29622     18 |  0.210 % |
442.86/442.91	c |   1302480 |    8093    69087   229504 |    31015    30135     18 |  0.210 % |
443.06/443.18	c |   1303504 |    8093    69087   229504 |    31015    31159     19 |  0.210 % |
443.26/443.37	c |   1304017 |    8093    69087   229504 |    31015    28304     18 |  0.210 % |
443.36/443.50	c |   1304529 |    8093    69087   229504 |    31015    28816     18 |  0.210 % |
443.76/443.84	c |   1305554 |    8093    69087   229504 |    31015    29841     18 |  0.210 % |
444.26/444.33	c |   1307603 |    8093    69087   229504 |    31015    28561     19 |  0.210 % |
445.76/445.87	c |   1311699 |    8093    69087   229504 |    30959    29286     18 |  0.210 % |
448.36/448.41	c |   1319892 |    8093    69087   229504 |    30959    29912     18 |  0.210 % |
448.46/448.56	c |   1320404 |    8093    69087   229504 |    30021    26725     18 |  0.210 % |
448.56/448.70	c |   1320916 |    8093    69087   229504 |    30021    27237     18 |  0.210 % |
448.86/448.95	c |   1321940 |    8093    69087   229504 |    30021    28261     18 |  0.210 % |
448.96/449.11	c |   1322452 |    8093    69087   229504 |    30021    28773     18 |  0.210 % |
449.16/449.26	c |   1322964 |    8093    69087   229504 |    30021    29285     18 |  0.210 % |
449.46/449.55	c |   1323988 |    8093    69087   229504 |    30021    30309     18 |  0.210 % |
450.16/450.22	c |   1326036 |    8093    69087   229504 |    30021    29137     18 |  0.210 % |
450.26/450.37	c |   1326548 |    8093    69087   229504 |    30021    29649     18 |  0.210 % |
450.36/450.49	c |   1327060 |    8093    69087   229504 |    30021    30161     18 |  0.210 % |
450.76/450.84	c |   1328084 |    8093    69087   229504 |    30021    28090     17 |  0.210 % |
450.86/450.96	c |   1328596 |    8093    69087   229504 |    30021    28602     17 |  0.210 % |
451.06/451.11	c |   1329109 |    8093    69087   229504 |    30021    29115     17 |  0.210 % |
451.36/451.42	c |   1330134 |    8093    69087   229504 |    30006    30140     18 |  0.210 % |
452.06/452.12	c |   1332182 |    8093    69087   229504 |    30006    29174     18 |  0.210 % |
453.06/453.19	c |   1336278 |    8093    69087   229504 |    30006    30233     18 |  0.210 % |
453.26/453.37	c |   1336791 |    8093    69087   229504 |    30006    27723     18 |  0.210 % |
453.36/453.50	c |   1337304 |    8093    69087   229504 |    30006    28236     18 |  0.210 % |
453.66/453.80	c |   1338333 |    8093    69087   229504 |    30006    29265     18 |  0.210 % |
453.76/453.90	c |   1338845 |    8093    69087   229504 |    30006    29777     18 |  0.210 % |
453.96/454.03	c |   1339358 |    8093    69087   229504 |    30006    30290     18 |  0.210 % |
454.26/454.32	c |   1340383 |    8093    69087   229504 | 2147483647    28286     18 |  0.210 % |
454.86/454.97	c |   1342431 |    8093    69087   229504 | 2147483647    30334     18 |  0.210 % |
455.06/455.17	c |   1342943 |    8093    69087   229504 | 2147483647    30846     18 |  0.210 % |
455.26/455.36	c |   1343458 |    8093    69087   229504 | 2147483647    31361     18 |  0.210 % |
455.56/455.70	c |   1344482 |    8093    69087   229504 | 2147483647    32385     19 |  0.210 % |
455.76/455.87	c |   1344994 |    8093    69087   229504 | 2147483647    32897     19 |  0.210 % |
455.96/456.01	c |   1345506 |    8093    69087   229504 | 2147483647    33409     19 |  0.210 % |
456.26/456.31	c |   1346531 |    8093    69087   229504 | 2147483647    34434     19 |  0.210 % |
456.96/457.03	c |   1348582 |    8093    69087   229504 | 2147483647    36485     19 |  0.210 % |
458.36/458.42	c |   1352678 |    8093    69087   229504 |    37903    36133     19 |  0.210 % |
461.76/461.88	c |   1360871 |    8093    69087   229504 |    37836    32724     18 |  0.210 % |
467.86/468.00	c |   1377256 |    8093    69087   229504 |    35231    31731     17 |  0.210 % |
479.26/479.32	c |   1410024 |    8093    69087   229504 | 2147483647    30213     18 |  0.210 % |
479.36/479.43	c |   1410539 |    8093    69087   229504 | 2147483647    30728     18 |  0.210 % |
479.46/479.59	c |   1411051 |    8093    69087   229504 | 2147483647    31240     18 |  0.210 % |
479.76/479.86	c |   1412075 |    8093    69087   229504 | 2147483647    32264     18 |  0.210 % |
479.96/480.03	c |   1412587 |    8093    69087   229504 | 2147483647    32776     18 |  0.210 % |
480.06/480.19	c |   1413101 |    8093    69087   229504 | 2147483647    33290     18 |  0.210 % |
480.46/480.58	c |   1414125 |    8093    69087   229504 | 2147483647    34314     18 |  0.210 % |
481.16/481.27	c |   1416173 |    8093    69087   229504 | 2147483647    36362     18 |  0.210 % |
481.36/481.44	c |   1416685 |    8093    69087   229504 | 2147483647    36874     18 |  0.210 % |
481.46/481.54	c |   1417198 |    8093    69087   229504 | 2147483647    37387     19 |  0.210 % |
481.77/481.87	c |   1418222 |    8093    69087   229504 | 2147483647    38411     19 |  0.210 % |
481.96/482.02	c |   1418734 |    8093    69087   229504 | 2147483647    38923     19 |  0.210 % |
482.06/482.18	c |   1419246 |    8093    69087   229504 | 2147483647    39435     19 |  0.210 % |
482.46/482.51	c |   1420273 |    8093    69087   229504 |    40189    40462     19 |  0.210 % |
483.16/483.25	c |   1422323 |    8093    69087   229504 |    40189    36597     19 |  0.210 % |
484.66/484.74	c |   1426421 |    8093    69087   229504 |    40189    34250     19 |  0.210 % |
484.76/484.85	c |   1426934 |    8093    69087   229504 |    40189    34763     19 |  0.210 % |
484.86/484.97	c |   1427447 |    8093    69087   229504 |    40189    35276     19 |  0.210 % |
485.26/485.34	c |   1428471 |    8093    69087   229504 |    40189    36300     19 |  0.210 % |
485.46/485.51	c |   1428985 |    8093    69087   229504 |    40189    36814     19 |  0.210 % |
485.66/485.71	c |   1429497 |    8093    69087   229504 |    40189    37326     19 |  0.210 % |
486.06/486.13	c |   1430521 |    8093    69087   229504 |    37829    32357     18 |  0.210 % |
486.56/486.68	c |   1432571 |    8093    69087   229504 |    37829    34407     19 |  0.210 % |
486.76/486.86	c |   1433085 |    8093    69087   229504 |    37829    34921     19 |  0.210 % |
486.96/487.09	c |   1433597 |    8093    69087   229504 |    37829    35433     19 |  0.210 % |
487.36/487.47	c |   1434622 |    8093    69087   229504 |    37829    36458     19 |  0.210 % |
487.56/487.67	c |   1435134 |    8093    69087   229504 |    37829    36970     19 |  0.210 % |
487.76/487.85	c |   1435648 |    8093    69087   229504 |    37829    37484     19 |  0.210 % |
488.06/488.14	c |   1436673 |    8093    69087   229504 |    37829    38509     19 |  0.210 % |
488.76/488.84	c |   1438721 |    8093    69087   229504 |    37829    34694     19 |  0.210 % |
490.06/490.16	c |   1442819 |    8093    69087   229504 |    35974    33682     19 |  0.210 % |
492.87/492.94	c |   1451011 |    8093    69087   229504 |    36205    32141     19 |  0.210 % |
493.07/493.12	c |   1451523 |    8093    69087   229504 |    36205    32653     19 |  0.210 % |
493.27/493.40	c |   1452035 |    8093    69087   229504 |    36205    33165     19 |  0.210 % |
493.57/493.71	c |   1453060 |    8093    69087   229504 |    36205    34190     19 |  0.210 % |
493.77/493.86	c |   1453572 |    8093    69087   229504 |    36205    34702     19 |  0.210 % |
493.97/494.05	c |   1454085 |    8093    69087   229504 |    36205    35215     19 |  0.210 % |
494.37/494.42	c |   1455109 |    8093    69087   229504 |    36205    36239     19 |  0.210 % |
495.07/495.12	c |   1457157 |    8093    69087   229504 |    36205    32832     19 |  0.210 % |
495.17/495.26	c |   1457669 |    8093    69087   229504 |    36205    33344     19 |  0.210 % |
495.37/495.45	c |   1458181 |    8093    69087   229504 |    36205    33856     19 |  0.210 % |
495.77/495.87	c |   1459206 |    8093    69087   229504 |    36205    34881     19 |  0.210 % |
495.97/496.05	c |   1459719 |    8093    69087   229504 |    36205    35394     19 |  0.210 % |
496.17/496.25	c |   1460232 |    8093    69087   229504 |    35676    35907     19 |  0.210 % |
496.57/496.61	c |   1461257 |    8093    69087   229504 |    35676    31477     19 |  0.210 % |
497.27/497.38	c |   1463307 |    8093    69087   229504 |    35676    33527     19 |  0.210 % |
498.87/498.92	c |   1467403 |    8093    69087   229504 |    35676    32174     19 |  0.210 % |
498.97/499.08	c |   1467916 |    8093    69087   229504 |    35676    32687     19 |  0.210 % |
499.17/499.28	c |   1468428 |    8093    69087   229504 |    35676    33199     19 |  0.210 % |
499.47/499.56	c |   1469452 |    8093    69087   229504 |    35676    34223     19 |  0.210 % |
499.67/499.74	c |   1469965 |    8093    69087   229504 |    35676    34736     19 |  0.210 % |
499.77/499.90	c |   1470477 |    8093    69087   229504 |    34772    30121     18 |  0.210 % |
500.17/500.23	c |   1471502 |    8093    69087   229504 |    34772    31146     18 |  0.210 % |
500.87/500.98	c |   1473550 |    8093    69087   229504 |    34772    33194     19 |  0.210 % |
501.17/501.22	c |   1474065 |    8093    69087   229504 |    34772    33709     19 |  0.210 % |
501.37/501.42	c |   1474577 |    8093    69087   229504 |    34772    34221     19 |  0.210 % |
501.67/501.80	c |   1475601 |    8093    69087   229504 |    34772    30385     18 |  0.210 % |
501.87/501.99	c |   1476113 |    8093    69087   229504 |    34772    30897     18 |  0.210 % |
502.07/502.14	c |   1476626 |    8093    69087   229504 |    34772    31410     18 |  0.210 % |
502.27/502.36	c |   1477652 |    8093    69087   229504 |    34772    32436     19 |  0.210 % |
502.87/502.93	c |   1479701 |    8093    69087   229504 |    34772    34485     19 |  0.210 % |
504.27/504.40	c |   1483797 |    8093    69087   229504 |    34784    33385     19 |  0.210 % |
506.87/506.98	c |   1491989 |    8093    69087   229504 |    34670    32140     19 |  0.210 % |
512.77/512.90	c |   1508375 |    8093    69087   229504 |    31587    28903     19 |  0.210 % |
512.97/513.05	c |   1508887 |    8093    69087   229504 |    31587    29415     19 |  0.210 % |
513.07/513.17	c |   1509400 |    8093    69087   229504 |    31587    29928     19 |  0.210 % |
513.47/513.51	c |   1510425 |    8093    69087   229504 |    30529    27560     19 |  0.210 % |
513.57/513.65	c |   1510938 |    8093    69087   229504 |    30529    28073     19 |  0.210 % |
513.67/513.78	c |   1511451 |    8093    69087   229504 |    30529    28586     19 |  0.210 % |
513.97/514.02	c |   1512475 |    8093    69087   229504 |    30529    29610     19 |  0.210 % |
514.57/514.63	c |   1514525 |    8093    69087   229504 |    30529    28383     19 |  0.210 % |
514.67/514.77	c |   1515037 |    8093    69087   229504 |    30529    28895     19 |  0.210 % |
514.87/514.93	c |   1515549 |    8093    69087   229504 |    30529    29407     19 |  0.210 % |
515.17/515.24	c |   1516574 |    8093    69087   229504 |    30529    30432     19 |  0.210 % |
515.37/515.41	c |   1517086 |    8093    69087   229504 |    30529    30944     19 |  0.210 % |
515.47/515.56	c |   1517598 |    8093    69087   229504 |    30529    28153     19 |  0.210 % |
515.67/515.80	c |   1518624 |    8093    69087   229504 |    30529    29179     19 |  0.210 % |
516.37/516.43	c |   1520672 |    8093    69087   229504 |    30555    27987     19 |  0.210 % |
517.77/517.87	c |   1524768 |    8093    69087   229504 |    30555    28460     18 |  0.210 % |
517.97/518.02	c |   1525280 |    8093    69087   229504 |    30555    28972     18 |  0.210 % |
518.07/518.15	c |   1525792 |    8093    69087   229504 |    30555    29484     18 |  0.210 % |
518.37/518.46	c |   1526816 |    8093    69087   229504 |    30555    30508     19 |  0.210 % |
518.57/518.64	c |   1527329 |    8093    69087   229504 |    30555    27343     18 |  0.210 % |
518.67/518.80	c |   1527841 |    8093    69087   229504 |    30555    27855     18 |  0.210 % |
519.07/519.14	c |   1528866 |    8093    69087   229504 |    30555    28880     18 |  0.210 % |
519.57/519.70	c |   1530914 |    8093    69087   229504 |    30014    27509     18 |  0.210 % |
519.77/519.86	c |   1531426 |    8093    69087   229504 |    30014    28021     18 |  0.210 % |
519.87/519.98	c |   1531938 |    8093    69087   229504 |    30014    28533     18 |  0.210 % |
520.17/520.28	c |   1532962 |    8093    69087   229504 |    30014    29557     18 |  0.210 % |
520.37/520.45	c |   1533474 |    8093    69087   229504 |    30014    30069     18 |  0.210 % |
520.47/520.60	c |   1533986 |    8093    69087   229504 |    30014    27454     18 |  0.210 % |
520.77/520.85	c |   1535010 |    8093    69087   229504 |    30014    28478     18 |  0.210 % |
521.37/521.46	c |   1537059 |    8093    69087   229504 |    30014    27240     18 |  0.210 % |
522.47/522.58	c |   1541155 |    8093    69087   229504 |    30181    28292     18 |  0.210 % |
524.47/524.60	c |   1549347 |    8093    69087   229504 |    30181    29952     20 |  0.210 % |
524.67/524.75	c |   1549860 |    8093    69087   229504 |    30181    30465     20 |  0.210 % |
524.87/524.92	c |   1550373 |    8093    69087   229504 |    27441    24912     19 |  0.210 % |
525.07/525.16	c |   1551398 |    8093    69087   229504 |    27441    25937     19 |  0.210 % |
525.17/525.28	c |   1551912 |    8093    69087   229504 |    27441    26451     19 |  0.210 % |
525.37/525.42	c |   1552426 |    8093    69087   229504 |    27441    26965     19 |  0.210 % |
525.57/525.69	c |   1553451 |    8093    69087   229504 |    27441    25206     19 |  0.210 % |
526.17/526.23	c |   1555500 |    8093    69087   229504 |    27441    27255     19 |  0.210 % |
526.27/526.36	c |   1556014 |    8093    69087   229504 |    27441    25006     19 |  0.210 % |
526.37/526.46	c |   1556528 |    8093    69087   229504 |    27441    25520     19 |  0.210 % |
526.67/526.73	c |   1557554 |    8093    69087   229504 |    27441    26546     19 |  0.210 % |
526.77/526.85	c |   1558068 |    8093    69087   229504 |    27441    27060     19 |  0.210 % |
526.87/527.01	c |   1558580 |    8093    69087   229504 |    27441    27572     19 |  0.210 % |
527.17/527.28	c |   1559604 |    8093    69087   229504 |    27441    25839     19 |  0.210 % |
527.67/527.78	c |   1561652 |    8093    69087   229504 | 2147483647    27887     19 |  0.210 % |
528.97/529.06	c |   1565748 |    8093    69087   229504 | 2147483647    31983     19 |  0.210 % |
529.17/529.24	c |   1566260 |    8093    69087   229504 | 2147483647    32495     19 |  0.210 % |
529.27/529.38	c |   1566773 |    8093    69087   229504 | 2147483647    33008     19 |  0.210 % |
529.57/529.61	c |   1567801 |    8093    69087   229504 | 2147483647    34036     19 |  0.210 % |
529.67/529.76	c |   1568313 |    8093    69087   229504 | 2147483647    34548     19 |  0.210 % |
529.77/529.84	c |   1568827 |    8093    69087   229504 | 2147483647    35062     19 |  0.210 % |
529.87/529.98	c |   1569853 |    8093    69087   229504 | 2147483647    36088     19 |  0.210 % |
530.27/530.38	c |   1571901 |    8093    69087   229504 | 2147483647    38136     19 |  0.210 % |
530.37/530.50	c |   1572413 |    8093    69087   229504 | 2147483647    38648     19 |  0.210 % |
530.47/530.61	c |   1572927 |    8093    69087   229504 | 2147483647    39162     19 |  0.210 % |
530.77/530.89	c |   1573951 |    8093    69087   229504 | 2147483647    40186     19 |  0.210 % |
530.97/531.06	c |   1574463 |    8093    69087   229504 | 2147483647    40698     19 |  0.210 % |
531.17/531.26	c |   1574975 |    8093    69087   229504 | 2147483647    41210     19 |  0.210 % |
531.57/531.61	c |   1576000 |    8093    69087   229504 | 2147483647    42235     19 |  0.210 % |
532.47/532.59	c |   1578048 |    8093    69087   229504 | 2147483647    44283     20 |  0.210 % |
534.37/534.44	c |   1582147 |    8093    69087   229504 |    46237    41951     19 |  0.210 % |
537.97/538.09	c |   1590343 |    8093    69087   229504 |    42304    35580     18 |  0.210 % |
545.37/545.46	c |   1606727 |    8093    69087   229504 |    38938    34202     18 |  0.210 % |
558.57/558.67	c |   1639498 |    8093    69087   229504 |    35494    34896     17 |  0.210 % |
580.88/580.98	c |   1705036 |    8093    69087   229504 |    35098    32238     19 |  0.210 % |
581.08/581.13	c |   1705549 |    8093    69087   229504 |    35098    32751     19 |  0.210 % |
581.18/581.28	c |   1706061 |    8093    69087   229504 |    35098    33263     19 |  0.210 % |
581.58/581.64	c |   1707086 |    8093    69087   229504 |    35098    34288     19 |  0.210 % |
581.68/581.79	c |   1707598 |    8093    69087   229504 |    35098    34800     20 |  0.210 % |
581.88/581.99	c |   1708110 |    8093    69087   229504 |    35098    35312     20 |  0.210 % |
582.18/582.25	c |   1709135 |    8093    69087   229504 |    35098    32050     19 |  0.210 % |
582.88/582.94	c |   1711183 |    8093    69087   229504 |    32916    30320     19 |  0.210 % |
582.98/583.11	c |   1711697 |    8093    69087   229504 |    32916    30834     19 |  0.210 % |
583.18/583.30	c |   1712209 |    8093    69087   229504 |    32916    31346     19 |  0.210 % |
583.48/583.59	c |   1713235 |    8093    69087   229504 |    32916    32372     19 |  0.210 % |
583.68/583.80	c |   1713748 |    8093    69087   229504 |    32916    32885     19 |  0.210 % |
583.98/584.04	c |   1714261 |    8093    69087   229504 |    32916    29760     19 |  0.210 % |
584.28/584.35	c |   1715285 |    8093    69087   229504 |    32916    30784     19 |  0.210 % |
584.98/585.06	c |   1717333 |    8093    69087   229504 |    32916    32832     19 |  0.210 % |
586.48/586.55	c |   1721429 |    8093    69087   229504 |    32010    29823     19 |  0.210 % |
586.58/586.70	c |   1721942 |    8093    69087   229504 |    32010    30336     19 |  0.210 % |
586.78/586.87	c |   1722458 |    8093    69087   229504 |    32010    30852     19 |  0.210 % |
587.08/587.15	c |   1723482 |    8093    69087   229504 |    32010    31876     19 |  0.210 % |
587.28/587.33	c |   1723994 |    8093    69087   229504 |    32010    28958     19 |  0.210 % |
587.38/587.47	c |   1724506 |    8093    69087   229504 |    32010    29470     19 |  0.210 % |
587.68/587.76	c |   1725531 |    8093    69087   229504 |    32010    30495     19 |  0.210 % |
588.28/588.33	c |   1727580 |    8093    69087   229504 |    32010    28899     18 |  0.210 % |
588.38/588.49	c |   1728092 |    8093    69087   229504 |    32010    29411     18 |  0.210 % |
588.58/588.63	c |   1728606 |    8093    69087   229504 |    32010    29925     19 |  0.210 % |
588.88/588.92	c |   1729631 |    8093    69087   229504 |    32010    30950     19 |  0.210 % |
588.98/589.06	c |   1730143 |    8093    69087   229504 |    31319    31462     19 |  0.210 % |
589.18/589.22	c |   1730655 |    8093    69087   229504 |    31319    28337     18 |  0.210 % |
589.38/589.51	c |   1731682 |    8093    69087   229504 |    31319    29364     18 |  0.210 % |
590.08/590.12	c |   1733730 |    8093    69087   229504 |    31319    31412     18 |  0.210 % |
591.38/591.44	c |   1737826 |    8093    69087   229504 |    31319    28550     18 |  0.210 % |
594.48/594.52	c |   1746020 |    8093    69087   229504 |    30724    30054     18 |  0.210 % |
594.68/594.71	c |   1746535 |    8093    69087   229504 |    30724    30569     18 |  0.210 % |
594.78/594.84	c |   1747047 |    8093    69087   229504 |    30724    31081     18 |  0.210 % |
595.08/595.17	c |   1748073 |    8093    69087   229504 |    30724    28615     18 |  0.210 % |
595.28/595.33	c |   1748585 |    8093    69087   229504 |    30724    29127     18 |  0.210 % |
595.48/595.52	c |   1749097 |    8093    69087   229504 |    30724    29639     18 |  0.210 % |
595.68/595.78	c |   1750121 |    8093    69087   229504 |    30543    30663     18 |  0.210 % |
596.18/596.30	c |   1752169 |    8093    69087   229504 |    30543    29354     18 |  0.210 % |
596.38/596.45	c |   1752682 |    8093    69087   229504 |    30543    29867     18 |  0.210 % |
596.58/596.61	c |   1753197 |    8093    69087   229504 |    30543    30382     18 |  0.210 % |
596.88/596.97	c |   1754222 |    8093    69087   229504 |    30543    28308     18 |  0.210 % |
597.08/597.13	c |   1754736 |    8093    69087   229504 |    30543    28822     18 |  0.210 % |
597.18/597.28	c |   1755248 |    8093    69087   229504 |    30543    29334     18 |  0.210 % |
597.58/597.65	c |   1756273 |    8093    69087   229504 |    30543    30359     18 |  0.210 % |
598.28/598.40	c |   1758322 |    8093    69087   229504 |    30543    29238     18 |  0.210 % |
599.58/599.70	c |   1762418 |    8093    69087   229504 |    27683    27072     18 |  0.210 % |
599.68/599.81	c |   1762930 |    8093    69087   229504 |    27683    27584     18 |  0.210 % |
599.88/599.99	c |   1763444 |    8093    69087   229504 |    27683    28098     18 |  0.210 % |
600.28/600.34	c |   1764468 |    8093    69087   229504 |    27683    26225     18 |  0.210 % |
600.38/600.48	c |   1764984 |    8093    69087   229504 |    27683    26741     18 |  0.210 % |
600.58/600.62	c |   1765496 |    8093    69087   229504 |    27683    27253     18 |  0.210 % |
600.88/600.91	c |   1766520 |    8093    69087   229504 |    27683    25475     17 |  0.210 % |
601.28/601.35	c |   1768568 |    8093    69087   229504 |    27683    27523     18 |  0.210 % |
601.48/601.52	c |   1769080 |    8093    69087   229504 |    27683    25247     17 |  0.210 % |
601.58/601.66	c |   1769592 |    8093    69087   229504 |    27683    25759     17 |  0.210 % |
601.78/601.88	c |   1770617 |    8093    69087   229504 | 2147483647    26784     17 |  0.210 % |
601.98/602.03	c |   1771130 |    8093    69087   229504 | 2147483647    27297     17 |  0.210 % |
602.08/602.19	c |   1771645 |    8093    69087   229504 | 2147483647    27812     17 |  0.210 % |
602.48/602.58	c |   1772671 |    8093    69087   229504 | 2147483647    28838     17 |  0.210 % |
603.18/603.29	c |   1774721 |    8093    69087   229504 | 2147483647    30888     18 |  0.210 % |
604.28/604.38	c |   1778817 |    8093    69087   229504 | 2147483647    34984     19 |  0.210 % |
607.28/607.37	c |   1787009 |    8092    69084   229498 |    36166    33319     19 |  0.222 % |
612.38/612.50	c |   1803393 |    8092    69084   229498 |    36333    34826     21 |  0.222 % |
612.58/612.67	c |   1803906 |    8092    69084   229498 |    36333    35339     21 |  0.222 % |
612.78/612.88	c |   1804418 |    8092    69084   229498 |    36333    35851     21 |  0.222 % |
613.18/613.29	c |   1805443 |    8092    69084   229498 |    36333    31918     21 |  0.222 % |
613.38/613.46	c |   1805955 |    8092    69084   229498 |    36333    32430     21 |  0.222 % |
613.48/613.60	c |   1806467 |    8092    69084   229498 |    36333    32942     21 |  0.222 % |
613.88/613.96	c |   1807492 |    8092    69084   229498 |    36333    33967     21 |  0.222 % |
614.68/614.74	c |   1809540 |    8092    69084   229498 |    36333    36015     21 |  0.222 % |
614.88/614.92	c |   1810052 |    8092    69084   229498 |    36475    36527     21 |  0.222 % |
614.98/615.09	c |   1810564 |    8092    69084   229498 |    36475    32192     21 |  0.222 % |
615.28/615.36	c |   1811588 |    8092    69084   229498 |    36475    33216     21 |  0.222 % |
615.38/615.49	c |   1812100 |    8092    69084   229498 |    36475    33728     21 |  0.222 % |
615.58/615.65	c |   1812613 |    8092    69084   229498 |    36475    34241     21 |  0.222 % |
615.88/615.99	c |   1813637 |    8092    69084   229498 |    36475    35265     21 |  0.222 % |
616.58/616.62	c |   1815685 |    8092    69084   229498 |    36475    32451     20 |  0.222 % |
618.18/618.21	c |   1819783 |    8092    69084   229498 |    36475    36549     20 |  0.222 % |
618.38/618.43	c |   1820296 |    8092    69084   229498 |    31933    32227     19 |  0.222 % |
618.48/618.58	c |   1820809 |    8092    69084   229498 |    31933    28495     18 |  0.222 % |
618.78/618.85	c |   1821834 |    8092    69084   229498 |    31933    29520     18 |  0.222 % |
618.88/619.00	c |   1822348 |    8092    69084   229498 |    31933    30034     18 |  0.222 % |
619.08/619.13	c |   1822860 |    8092    69084   229498 |    31933    30546     18 |  0.222 % |
619.38/619.44	c |   1823886 |    8092    69084   229498 |    31933    31572     18 |  0.222 % |
620.08/620.19	c |   1825934 |    8092    69084   229498 |    31933    29778     18 |  0.222 % |
620.18/620.31	c |   1826447 |    8092    69084   229498 |    31933    30291     18 |  0.222 % |
620.38/620.47	c |   1826960 |    8092    69084   229498 |    31933    30804     18 |  0.222 % |
620.88/620.92	c |   1827984 |    8092    69084   229498 |    31933    31828     18 |  0.222 % |
621.08/621.16	c |   1828500 |    8092    69084   229498 |    31933    28605     18 |  0.222 % |
621.28/621.34	c |   1829012 |    8092    69084   229498 |    31933    29117     18 |  0.222 % |
621.68/621.71	c |   1830036 |    8092    69084   229498 |    30106    30141     18 |  0.222 % |
622.38/622.45	c |   1832084 |    8092    69084   229498 |    30106    28740     18 |  0.222 % |
623.48/623.59	c |   1836180 |    8092    69084   229498 |    30106    29797     18 |  0.222 % |
626.08/626.17	c |   1844372 |    8092    69084   229498 | 2147483647    34959     19 |  0.222 % |
626.28/626.36	c |   1844886 |    8092    69084   229498 | 2147483647    35473     19 |  0.222 % |
626.48/626.51	c |   1845398 |    8092    69084   229498 | 2147483647    35985     19 |  0.222 % |
626.88/626.93	c |   1846422 |    8092    69084   229498 | 2147483647    37009     19 |  0.222 % |
627.08/627.12	c |   1846934 |    8092    69084   229498 | 2147483647    37521     19 |  0.222 % |
627.28/627.32	c |   1847447 |    8092    69084   229498 | 2147483647    38034     20 |  0.222 % |
627.68/627.77	c |   1848471 |    8092    69084   229498 | 2147483647    39058     20 |  0.222 % |
628.58/628.68	c |   1850522 |    8092    69084   229498 |    40587    35655     19 |  0.222 % |
628.78/628.87	c |   1851035 |    8092    69084   229498 |    40587    36168     20 |  0.222 % |
629.08/629.14	c |   1851548 |    8092    69084   229498 |    40587    36681     20 |  0.222 % |
629.48/629.57	c |   1852572 |    8092    69084   229498 |    40587    37705     20 |  0.222 % |
629.68/629.80	c |   1853084 |    8092    69084   229498 |    40587    38217     20 |  0.222 % |
629.98/630.04	c |   1853598 |    8092    69084   229498 |    40587    38731     20 |  0.222 % |
630.48/630.58	c |   1854623 |    8092    69084   229498 |    40587    39756     20 |  0.222 % |
631.48/631.57	c |   1856671 |    8092    69084   229498 |    40587    34997     19 |  0.222 % |
633.28/633.37	c |   1860770 |    8092    69084   229498 |    38326    32571     18 |  0.222 % |
633.48/633.54	c |   1861283 |    8092    69084   229498 |    38326    33084     19 |  0.222 % |
633.68/633.73	c |   1861795 |    8092    69084   229498 |    38326    33596     19 |  0.222 % |
634.08/634.11	c |   1862819 |    8092    69084   229498 |    38326    34620     19 |  0.222 % |
634.18/634.29	c |   1863333 |    8092    69084   229498 |    38326    35134     19 |  0.222 % |
634.48/634.54	c |   1863845 |    8092    69084   229498 |    38326    35646     19 |  0.222 % |
634.98/635.06	c |   1864869 |    8092    69084   229498 |    38326    36670     19 |  0.222 % |
635.88/635.97	c |   1866917 |    8092    69084   229498 |    38326    32560     18 |  0.222 % |
636.08/636.12	c |   1867429 |    8092    69084   229498 |    38326    33072     18 |  0.222 % |
636.18/636.23	c |   1867942 |    8092    69084   229498 |    38326    33585     18 |  0.222 % |
636.48/636.54	c |   1868969 |    8092    69084   229498 |    38326    34612     18 |  0.222 % |
636.68/636.72	c |   1869482 |    8092    69084   229498 |    38326    35125     18 |  0.222 % |
636.78/636.85	c |   1869995 |    8092    69084   229498 |    38326    35638     18 |  0.222 % |
637.18/637.22	c |   1871019 |    8092    69084   229498 |    35643    30965     18 |  0.222 % |
637.78/637.82	c |   1873067 |    8092    69084   229498 |    35643    33013     18 |  0.222 % |
638.78/638.84	c |   1877163 |    8092    69084   229498 |    35643    31959     18 |  0.222 % |
641.68/641.75	c |   1885355 |    8092    69084   229498 |    34797    34977     18 |  0.222 % |
646.98/647.05	c |   1901739 |    8092    69084   229498 |    35059    31560     18 |  0.222 % |
658.29/658.35	c |   1934507 |    8092    69084   229498 |    29566    27325     17 |  0.222 % |
658.39/658.45	c |   1935020 |    8092    69084   229498 |    29566    27838     17 |  0.222 % |
658.49/658.61	c |   1935532 |    8092    69084   229498 |    29566    28350     17 |  0.222 % |
658.79/658.88	c |   1936556 |    8092    69084   229498 |    29566    29374     17 |  0.222 % |
658.89/659.00	c |   1937073 |    8092    69084   229498 |    29566    29891     17 |  0.222 % |
659.09/659.22	c |   1937585 |    8092    69084   229498 |    29566    27394     17 |  0.222 % |
659.39/659.45	c |   1938609 |    8092    69084   229498 |    29566    28418     17 |  0.222 % |
659.99/660.05	c |   1940658 |    8092    69084   229498 |    26762    24650     17 |  0.222 % |
660.09/660.16	c |   1941171 |    8092    69084   229498 |    26762    25163     17 |  0.222 % |
660.19/660.29	c |   1941684 |    8092    69084   229498 |    26762    25676     17 |  0.222 % |
660.49/660.61	c |   1942708 |    8092    69084   229498 |    26762    26700     17 |  0.222 % |
660.69/660.77	c |   1943222 |    8092    69084   229498 |    26762    24517     17 |  0.222 % |
660.89/660.92	c |   1943734 |    8092    69084   229498 |    26762    25029     17 |  0.222 % |
661.09/661.19	c |   1944758 |    8092    69084   229498 |    26762    26053     17 |  0.222 % |
661.69/661.74	c |   1946806 |    8092    69084   229498 |    26762    25404     17 |  0.222 % |
662.89/662.95	c |   1950903 |    8092    69084   229498 | 2147483647    26771     18 |  0.222 % |
663.09/663.12	c |   1951417 |    8092    69084   229498 | 2147483647    27285     18 |  0.222 % |
663.19/663.28	c |   1951930 |    8092    69084   229498 | 2147483647    27798     18 |  0.222 % |
663.49/663.54	c |   1952954 |    8092    69084   229498 | 2147483647    28822     18 |  0.222 % |
663.69/663.73	c |   1953466 |    8092    69084   229498 | 2147483647    29334     18 |  0.222 % |
663.79/663.86	c |   1953978 |    8092    69084   229498 | 2147483647    29846     18 |  0.222 % |
664.19/664.24	c |   1955003 |    8092    69084   229498 | 2147483647    30871     18 |  0.222 % |
664.89/664.94	c |   1957051 |    8092    69084   229498 | 2147483647    32919     18 |  0.222 % |
665.09/665.18	c |   1957563 |    8092    69084   229498 | 2147483647    33431     18 |  0.222 % |
665.29/665.42	c |   1958076 |    8092    69084   229498 | 2147483647    33944     18 |  0.222 % |
665.69/665.80	c |   1959102 |    8092    69084   229498 | 2147483647    34970     18 |  0.222 % |
665.89/665.99	c |   1959616 |    8092    69084   229498 | 2147483647    35484     18 |  0.222 % |
666.09/666.14	c |   1960130 |    8092    69084   229498 |    35869    35998     19 |  0.222 % |
666.49/666.60	c |   1961155 |    8092    69084   229498 |    35869    32591     18 |  0.222 % |
667.29/667.34	c |   1963203 |    8092    69084   229498 |    35869    34639     18 |  0.222 % |
668.59/668.71	c |   1967301 |    8092    69084   229498 |    35869    33676     18 |  0.222 % |
671.09/671.12	c |   1975495 |    8092    69084   229498 |    31277    28572     18 |  0.222 % |
671.19/671.28	c |   1976007 |    8092    69084   229498 |    31277    29084     18 |  0.222 % |
671.29/671.40	c |   1976520 |    8092    69084   229498 |    31277    29597     18 |  0.222 % |
671.59/671.69	c |   1977549 |    8092    69084   229498 |    31277    30626     18 |  0.222 % |
671.69/671.81	c |   1978062 |    8092    69084   229498 |    31277    31139     18 |  0.222 % |
671.99/672.03	c |   1978574 |    8092    69084   229498 |    31277    28294     18 |  0.222 % |
672.19/672.29	c |   1979600 |    8092    69084   229498 |    31277    29320     18 |  0.222 % |
672.79/672.89	c |   1981648 |    8092    69084   229498 |    29721    28191     18 |  0.222 % |
672.99/673.05	c |   1982160 |    8092    69084   229498 |    29721    28703     18 |  0.222 % |
673.09/673.21	c |   1982673 |    8092    69084   229498 |    29721    29216     18 |  0.222 % |
673.49/673.54	c |   1983697 |    8092    69084   229498 |    29721    27180     18 |  0.222 % |
673.69/673.72	c |   1984210 |    8092    69084   229498 |    29721    27693     18 |  0.222 % |
673.79/673.87	c |   1984724 |    8092    69084   229498 |    29721    28207     18 |  0.222 % |
674.19/674.23	c |   1985748 |    8092    69084   229498 |    29721    29231     18 |  0.222 % |
674.79/674.85	c |   1987798 |    8092    69084   229498 |    29721    28241     18 |  0.222 % |
675.99/676.07	c |   1991898 |    8092    69084   229498 | 2147483647    29341     18 |  0.222 % |
676.09/676.19	c |   1992410 |    8092    69084   229498 | 2147483647    29853     18 |  0.222 % |
676.29/676.35	c |   1992925 |    8092    69084   229498 | 2147483647    30368     18 |  0.222 % |
676.59/676.62	c |   1993949 |    8092    69084   229498 | 2147483647    31392     18 |  0.222 % |
676.79/676.82	c |   1994462 |    8092    69084   229498 | 2147483647    31905     18 |  0.222 % |
676.89/676.95	c |   1994974 |    8092    69084   229498 | 2147483647    32417     18 |  0.222 % |
677.19/677.28	c |   1995998 |    8092    69084   229498 | 2147483647    33441     18 |  0.222 % |
678.09/678.12	c |   1998046 |    8092    69084   229498 | 2147483647    35489     18 |  0.222 % |
678.19/678.30	c |   1998558 |    8092    69084   229498 | 2147483647    36001     18 |  0.222 % |
678.39/678.48	c |   1999070 |    8092    69084   229498 | 2147483647    36513     18 |  0.222 % |
678.79/678.83	c |   2000094 |    8092    69084   229498 |    37444    37537     18 |  0.222 % |
678.89/679.01	c |   2000606 |    8092    69084   229498 |    37444    33361     18 |  0.222 % |
679.09/679.17	c |   2001118 |    8092    69084   229498 |    37444    33873     18 |  0.222 % |
679.49/679.55	c |   2002143 |    8092    69084   229498 |    37444    34898     18 |  0.222 % |
680.09/680.19	c |   2004192 |    8092    69084   229498 |    37444    36947     18 |  0.222 % |
681.69/681.79	c |   2008289 |    8092    69084   229498 |    37444    35609     18 |  0.222 % |
684.89/684.92	c |   2016481 |    8092    69084   229498 |    37320    33195     18 |  0.222 % |
690.39/690.50	c |   2032865 |    8092    69084   229498 |    36827    34432     19 |  0.222 % |
690.59/690.67	c |   2033377 |    8092    69084   229498 |    36827    34944     19 |  0.222 % |
690.79/690.87	c |   2033889 |    8092    69084   229498 |    36827    35456     19 |  0.222 % |
691.19/691.27	c |   2034913 |    8092    69084   229498 |    36827    36480     19 |  0.222 % |
691.39/691.43	c |   2035425 |    8092    69084   229498 |    36827    36992     19 |  0.222 % |
691.49/691.61	c |   2035937 |    8092    69084   229498 |    36827    31898     18 |  0.222 % |
691.89/691.98	c |   2036961 |    8092    69084   229498 |    36827    32922     19 |  0.222 % |
692.49/692.60	c |   2039009 |    8092    69084   229498 |    36827    34970     19 |  0.222 % |
692.69/692.78	c |   2039521 |    8092    69084   229498 |    36827    35482     19 |  0.222 % |
692.89/692.98	c |   2040033 |    8092    69084   229498 |    35962    35994     19 |  0.222 % |
693.29/693.37	c |   2041058 |    8092    69084   229498 |    35962    31567     18 |  0.222 % |
693.49/693.57	c |   2041570 |    8092    69084   229498 |    35962    32079     18 |  0.222 % |
693.69/693.72	c |   2042083 |    8092    69084   229498 |    35962    32592     19 |  0.222 % |
694.09/694.14	c |   2043107 |    8092    69084   229498 |    35962    33616     19 |  0.222 % |
694.79/694.87	c |   2045155 |    8092    69084   229498 |    35962    35664     19 |  0.222 % |
696.49/696.52	c |   2049251 |    8092    69084   229498 |    35962    34166     18 |  0.222 % |
696.59/696.67	c |   2049763 |    8092    69084   229498 |    35962    34678     19 |  0.222 % |
696.79/696.83	c |   2050275 |    8092    69084   229498 |    34915    35190     19 |  0.222 % |
697.09/697.11	c |   2051302 |    8092    69084   229498 |    34915    30791     18 |  0.222 % |
697.09/697.21	c |   2051814 |    8092    69084   229498 |    34915    31303     18 |  0.222 % |
697.19/697.29	c |   2052326 |    8092    69084   229498 |    34915    31815     18 |  0.222 % |
697.39/697.48	c |   2053351 |    8092    69084   229498 |    34915    32840     18 |  0.222 % |
697.99/698.08	c |   2055399 |    8092    69084   229498 |    34915    34888     18 |  0.222 % |
698.09/698.19	c |   2055912 |    8092    69084   229498 |    34915    35401     18 |  0.222 % |
698.29/698.32	c |   2056425 |    8092    69084   229498 |    34915    31954     18 |  0.222 % |
698.49/698.56	c |   2057450 |    8092    69084   229498 |    34915    32979     18 |  0.222 % |
698.69/698.74	c |   2057964 |    8092    69084   229498 |    34915    33493     18 |  0.222 % |
698.89/698.92	c |   2058476 |    8092    69084   229498 |    34915    34005     18 |  0.222 % |
699.29/699.37	c |   2059503 |    8092    69084   229498 |    34915    35032     18 |  0.222 % |
700.09/700.18	c |   2061552 |    8092    69084   229498 |    31313    28939     17 |  0.222 % |
701.29/701.34	c |   2065650 |    8092    69084   229498 |    31313    29098     18 |  0.222 % |
704.09/704.12	c |   2073842 |    8092    69084   229498 |    29533    29443     18 |  0.222 % |
704.29/704.31	c |   2074354 |    8092    69084   229498 |    29533    29955     18 |  0.222 % |
704.39/704.48	c |   2074866 |    8092    69084   229498 |    29533    26445     18 |  0.222 % |
704.79/704.83	c |   2075891 |    8092    69084   229498 |    29533    27470     18 |  0.222 % |
704.89/704.99	c |   2076403 |    8092    69084   229498 |    29533    27982     18 |  0.222 % |
705.10/705.18	c |   2076915 |    8092    69084   229498 |    29533    28494     18 |  0.222 % |
705.39/705.47	c |   2077940 |    8092    69084   229498 |    29533    29519     18 |  0.222 % |
705.99/706.05	c |   2079990 |    8092    69084   229498 |    29533    27723     18 |  0.222 % |
706.20/706.25	c |   2080503 |    8092    69084   229498 |    27733    24872     17 |  0.222 % |
706.29/706.35	c |   2081015 |    8092    69084   229498 |    27733    25384     17 |  0.222 % |
706.69/706.72	c |   2082039 |    8092    69084   229498 |    27733    26408     18 |  0.222 % |
706.79/706.84	c |   2082551 |    8092    69084   229498 |    27733    26920     18 |  0.222 % |
706.89/706.98	c |   2083063 |    8092    69084   229498 |    27733    27432     18 |  0.222 % |
707.19/707.31	c |   2084088 |    8092    69084   229498 |    27733    25287     18 |  0.222 % |
707.89/707.99	c |   2086136 |    8092    69084   229498 |    27733    27335     18 |  0.222 % |
709.19/709.24	c |   2090232 |    8092    69084   229498 | 2147483647    25633     18 |  0.222 % |
709.29/709.38	c |   2090744 |    8092    69084   229498 | 2147483647    26145     18 |  0.222 % |
709.50/709.52	c |   2091258 |    8092    69084   229498 | 2147483647    26659     18 |  0.222 % |
709.79/709.84	c |   2092284 |    8092    69084   229498 | 2147483647    27685     18 |  0.222 % |
709.89/709.98	c |   2092797 |    8092    69084   229498 | 2147483647    28198     18 |  0.222 % |
710.09/710.17	c |   2093310 |    8092    69084   229498 | 2147483647    28711     18 |  0.222 % |
710.39/710.49	c |   2094334 |    8092    69084   229498 | 2147483647    29735     18 |  0.222 % |
711.19/711.23	c |   2096382 |    8092    69084   229498 | 2147483647    31783     18 |  0.222 % |
711.29/711.41	c |   2096894 |    8092    69084   229498 | 2147483647    32295     19 |  0.222 % |
711.59/711.62	c |   2097406 |    8092    69084   229498 | 2147483647    32807     19 |  0.222 % |
711.89/711.92	c |   2098432 |    8092    69084   229498 | 2147483647    33833     19 |  0.222 % |
712.09/712.13	c |   2098945 |    8092    69084   229498 | 2147483647    34346     19 |  0.222 % |
712.19/712.30	c |   2099457 |    8092    69084   229498 | 2147483647    34858     19 |  0.222 % |
712.59/712.62	c |   2100481 |    8092    69084   229498 |    35401    31760     18 |  0.222 % |
713.29/713.34	c |   2102530 |    8092    69084   229498 |    35401    33809     19 |  0.222 % |
715.00/715.02	c |   2106629 |    8092    69084   229498 |    35401    33241     19 |  0.222 % |
717.69/717.79	c |   2114822 |    8092    69084   229498 |    31995    28917     18 |  0.222 % |
723.80/723.89	c |   2131207 |    8092    69084   229498 |    30751    28794     19 |  0.222 % |
734.89/734.93	c |   2163975 |    8092    69084   229498 |    37265    35598     18 |  0.222 % |
757.90/758.00	c |   2229512 |    8092    69084   229498 |    28600    28189     18 |  0.222 % |
805.49/805.53	c |   2360584 |    8092    69084   229498 | 2147483647    31420     19 |  0.222 % |
892.30/892.37	c |   2622729 |    8092    69084   229498 |    34438    32201     19 |  0.222 % |
892.40/892.47	c |   2623242 |    8092    69084   229498 |    34438    32714     19 |  0.222 % |
892.50/892.54	c |   2623754 |    8092    69084   229498 |    34438    33226     19 |  0.222 % |
892.60/892.69	c |   2624778 |    8092    69084   229498 |    34438    34250     19 |  0.222 % |
892.70/892.77	c |   2625294 |    8092    69084   229498 |    34438    34766     19 |  0.222 % |
892.90/892.91	c |   2625807 |    8092    69084   229498 |    34438    31058     18 |  0.222 % |
893.00/893.05	c |   2626832 |    8092    69084   229498 |    34438    32083     18 |  0.222 % |
893.50/893.57	c |   2628880 |    8092    69084   229498 |    34438    34131     19 |  0.222 % |
893.60/893.65	c |   2629393 |    8092    69084   229498 |    34438    34644     19 |  0.222 % |
893.70/893.78	c |   2629905 |    8092    69084   229498 |    34438    31692     19 |  0.222 % |
894.10/894.11	c |   2630929 |    8092    69084   229498 | 2147483647    32716     19 |  0.222 % |
894.20/894.29	c |   2631441 |    8092    69084   229498 | 2147483647    33228     19 |  0.222 % |
894.31/894.39	c |   2631953 |    8092    69084   229498 | 2147483647    33740     19 |  0.222 % |
894.60/894.66	c |   2632978 |    8092    69084   229498 | 2147483647    34765     19 |  0.222 % |
895.10/895.17	c |   2635026 |    8092    69084   229498 | 2147483647    36813     19 |  0.222 % |
896.40/896.41	c |   2639124 |    8092    69084   229498 | 2147483647    40911     20 |  0.222 % |
896.51/896.58	c |   2639637 |    8092    69084   229498 | 2147483647    41424     20 |  0.222 % |
896.70/896.76	c |   2640152 |    8092    69084   229498 |    41787    41939     20 |  0.222 % |
897.10/897.12	c |   2641176 |    8092    69084   229498 |    41787    36879     19 |  0.222 % |
897.20/897.27	c |   2641689 |    8092    69084   229498 |    41787    37392     19 |  0.222 % |
897.30/897.38	c |   2642201 |    8092    69084   229498 |    41787    37904     19 |  0.222 % |
897.70/897.73	c |   2643226 |    8092    69084   229498 |    41787    38929     19 |  0.222 % |
898.30/898.35	c |   2645274 |    8092    69084   229498 |    41787    40977     20 |  0.222 % |
898.50/898.57	c |   2645786 |    8092    69084   229498 |    41787    41489     20 |  0.222 % |
898.71/898.74	c |   2646298 |    8092    69084   229498 |    41787    42001     20 |  0.222 % |
899.00/899.06	c |   2647322 |    8092    69084   229498 |    41787    36361     19 |  0.222 % |
899.20/899.23	c |   2647834 |    8092    69084   229498 |    41787    36873     19 |  0.222 % |
899.40/899.44	c |   2648346 |    8092    69084   229498 |    41787    37385     19 |  0.222 % |
899.70/899.76	c |   2649373 |    8092    69084   229498 |    41787    38412     19 |  0.222 % |
900.50/900.51	c |   2651423 |    8092    69084   229498 |    39041    34225     19 |  0.222 % |
901.90/901.93	c |   2655521 |    8092    69084   229498 |    39041    38323     19 |  0.222 % |
904.81/904.84	c |   2663713 |    8092    69084   229498 |    37076    35212     18 |  0.222 % |
904.91/904.99	c |   2664226 |    8092    69084   229498 |    37076    35725     18 |  0.222 % |
905.11/905.18	c |   2664739 |    8092    69084   229498 |    37076    36238     19 |  0.222 % |
905.41/905.49	c |   2665764 |    8092    69084   229498 |    37076    37263     19 |  0.222 % |
905.61/905.69	c |   2666276 |    8092    69084   229498 |    37076    32947     18 |  0.222 % |
905.71/905.81	c |   2666789 |    8092    69084   229498 |    37076    33460     18 |  0.222 % |
906.01/906.10	c |   2667813 |    8092    69084   229498 |    37076    34484     19 |  0.222 % |
906.81/906.85	c |   2669862 |    8092    69084   229498 |    37076    36533     19 |  0.222 % |
906.91/906.99	c |   2670374 |    8092    69084   229498 |    36672    37045     19 |  0.222 % |
907.11/907.15	c |   2670886 |    8092    69084   229498 |    36672    32570     18 |  0.222 % |
907.51/907.54	c |   2671910 |    8092    69084   229498 |    36672    33594     18 |  0.222 % |
907.61/907.68	c |   2672422 |    8092    69084   229498 |    36672    34106     18 |  0.222 % |
907.81/907.82	c |   2672935 |    8092    69084   229498 |    36672    34619     18 |  0.222 % |
908.01/908.08	c |   2673964 |    8092    69084   229498 |    36672    35648     19 |  0.222 % |
908.81/908.82	c |   2676013 |    8092    69084   229498 |    36672    32749     18 |  0.222 % |
910.11/910.13	c |   2680110 |    8092    69084   229498 |    36736    36846     19 |  0.222 % |
910.31/910.34	c |   2680623 |    8092    69084   229498 |    36736    32001     18 |  0.222 % |
910.41/910.50	c |   2681135 |    8092    69084   229498 |    36736    32513     18 |  0.222 % |
910.80/910.86	c |   2682159 |    8092    69084   229498 |    36736    33537     18 |  0.222 % |
911.00/911.02	c |   2682672 |    8092    69084   229498 |    36736    34050     18 |  0.222 % |
911.10/911.16	c |   2683184 |    8092    69084   229498 |    36736    34562     18 |  0.222 % |
911.50/911.53	c |   2684208 |    8092    69084   229498 |    36736    35586     18 |  0.222 % |
912.20/912.30	c |   2686256 |    8092    69084   229498 |    36736    31955     18 |  0.222 % |
912.40/912.47	c |   2686769 |    8092    69084   229498 |    36736    32468     18 |  0.222 % |
912.60/912.63	c |   2687281 |    8092    69084   229498 |    36736    32980     18 |  0.222 % |
913.00/913.04	c |   2688306 |    8092    69084   229498 |    36736    34005     18 |  0.222 % |
913.20/913.27	c |   2688822 |    8092    69084   229498 |    36736    34521     18 |  0.222 % |
913.40/913.44	c |   2689335 |    8092    69084   229498 |    36736    35034     18 |  0.222 % |
913.80/913.82	c |   2690359 |    8092    69084   229498 |    35700    30431     17 |  0.222 % |
914.30/914.40	c |   2692408 |    8092    69084   229498 |    35700    32480     18 |  0.222 % |
915.70/915.72	c |   2696504 |    8092    69084   229498 |    35700    31760     18 |  0.222 % |
918.50/918.60	c |   2704696 |    8092    69084   229498 |    35256    35182     18 |  0.222 % |
924.20/924.21	c |   2721080 |    8090    69059   229438 |    30836    28344     19 |  0.247 % |
924.30/924.38	c |   2721595 |    8088    69034   229378 |    30836    28858     19 |  0.271 % |
924.50/924.53	c |   2722107 |    8088    69034   229378 |    30836    29369     19 |  0.296 % |
924.80/924.86	c |   2723131 |    8088    69034   229378 |    30836    30393     19 |  0.296 % |
924.90/925.00	c |   2723643 |    8088    69034   229378 |    30836    30905     19 |  0.296 % |
925.10/925.15	c |   2724155 |    8088    69034   229378 |    30836    27867     19 |  0.296 % |
925.40/925.49	c |   2725180 |    8084    68984   229258 |    30836    28890     19 |  0.345 % |
925.90/925.98	c |   2727228 |    8084    68984   229258 |    30836    30938     19 |  0.345 % |
926.10/926.17	c |   2727741 |    8084    68984   229258 |    30836    28076     18 |  0.345 % |
926.20/926.30	c |   2728253 |    8084    68984   229258 |    30836    28588     18 |  0.345 % |
926.50/926.60	c |   2729278 |    8084    68984   229258 |    30836    29613     18 |  0.345 % |
926.70/926.79	c |   2729790 |    8082    68959   229198 |    30836    30125     18 |  0.345 % |
926.90/926.93	c |   2730302 |    8082    68959   229198 |    30335    30637     18 |  0.345 % |
927.30/927.37	c |   2731327 |    8082    68959   229198 |    30335    28289     18 |  0.345 % |
928.10/928.13	c |   2733378 |    8082    68959   229198 |    30335    30340     18 |  0.345 % |
929.30/929.36	c |   2737474 |    8079    68934   229138 |    30335    30763     18 |  0.382 % |
929.40/929.50	c |   2737988 |    8079    68934   229138 |    30335    27561     17 |  0.382 % |
929.60/929.65	c |   2738501 |    8079    68934   229138 |    30335    28074     17 |  0.382 % |
929.80/929.90	c |   2739526 |    8079    68934   229138 |    30335    29099     18 |  0.382 % |
930.00/930.08	c |   2740041 |    8079    68921   229100 |    29576    29613     18 |  0.382 % |
930.20/930.23	c |   2740556 |    8079    68921   229100 |    29576    26600     17 |  0.382 % |
930.40/930.51	c |   2741580 |    8079    68921   229100 |    29576    27624     18 |  0.382 % |
931.10/931.18	c |   2743630 |    8079    68921   229100 |    29576    29674     18 |  0.382 % |
931.30/931.35	c |   2744143 |    8079    68921   229100 |    29576    27094     18 |  0.382 % |
931.40/931.48	c |   2744655 |    8079    68921   229100 |    29576    27606     18 |  0.382 % |
931.70/931.79	c |   2745679 |    8079    68921   229100 |    29576    28630     18 |  0.382 % |
931.90/931.94	c |   2746194 |    8079    68921   229100 |    29576    29145     18 |  0.382 % |
932.00/932.11	c |   2746708 |    8079    68921   229100 |    29576    29659     18 |  0.382 % |
932.40/932.43	c |   2747732 |    8079    68921   229100 |    29576    27420     18 |  0.382 % |
933.00/933.06	c |   2749782 |    8077    68896   229040 |    29576    29468     18 |  0.432 % |
934.20/934.27	c |   2753879 |    8073    68861   228957 |    29686    27357     18 |  0.456 % |
936.60/936.70	c |   2762072 |    8072    68861   228957 | 2147483647    29451     18 |  0.481 % |
936.80/936.88	c |   2762584 |    8071    68836   228897 | 2147483647    29963     18 |  0.481 % |
937.00/937.08	c |   2763098 |    8071    68836   228897 | 2147483647    30477     18 |  0.481 % |
937.30/937.32	c |   2764122 |    8071    68836   228897 | 2147483647    31501     18 |  0.481 % |
937.50/937.53	c |   2764634 |    8071    68836   228897 | 2147483647    32013     18 |  0.481 % |
937.60/937.66	c |   2765148 |    8071    68836   228897 | 2147483647    32527     18 |  0.481 % |
938.00/938.01	c |   2766172 |    8071    68836   228897 | 2147483647    33551     18 |  0.481 % |
938.70/938.71	c |   2768220 |    8071    68836   228897 | 2147483647    35599     19 |  0.481 % |
938.80/938.87	c |   2768734 |    8071    68836   228897 | 2147483647    36113     19 |  0.481 % |
939.00/939.10	c |   2769246 |    8071    68836   228897 | 2147483647    36625     19 |  0.481 % |
939.50/939.53	c |   2770270 |    8071    68836   228897 |    37379    37649     19 |  0.481 % |
939.70/939.79	c |   2770784 |    8071    68836   228897 |    37379    33462     18 |  0.481 % |
940.00/940.01	c |   2771297 |    8071    68836   228897 |    37379    33975     18 |  0.481 % |
940.40/940.48	c |   2772321 |    8071    68836   228897 |    37379    34999     18 |  0.481 % |
941.40/941.44	c |   2774369 |    8071    68836   228897 |    37379    37047     19 |  0.481 % |
942.90/942.97	c |   2778465 |    8071    68836   228897 |    37379    35579     18 |  0.481 % |
943.10/943.15	c |   2778977 |    8071    68836   228897 |    37379    36091     18 |  0.481 % |
943.30/943.37	c |   2779489 |    8071    68836   228897 |    37379    36603     18 |  0.481 % |
943.70/943.79	c |   2780513 |    8071    68836   228897 |    37115    31877     18 |  0.481 % |
943.90/943.94	c |   2781026 |    8071    68836   228897 |    37115    32390     18 |  0.481 % |
944.10/944.15	c |   2781538 |    8071    68836   228897 |    37115    32902     18 |  0.481 % |
944.40/944.47	c |   2782564 |    8071    68836   228897 |    37115    33928     18 |  0.481 % |
945.20/945.23	c |   2784612 |    8071    68836   228897 |    37115    35976     18 |  0.481 % |
945.40/945.44	c |   2785125 |    8071    68836   228897 |    37115    36489     18 |  0.481 % |
945.60/945.66	c |   2785640 |    8071    68836   228897 |    37115    37004     18 |  0.481 % |
946.10/946.19	c |   2786664 |    8071    68836   228897 |    37115    31966     18 |  0.481 % |
946.30/946.38	c |   2787176 |    8069    68811   228837 |    37115    32477     18 |  0.506 % |
946.50/946.54	c |   2787689 |    8069    68811   228837 |    37115    32990     18 |  0.506 % |
946.80/946.83	c |   2788713 |    8069    68811   228837 |    37115    34014     18 |  0.506 % |
947.70/947.71	c |   2790761 |    8069    68811   228837 |    35302    30301     18 |  0.506 % |
949.00/949.05	c |   2794858 |    8069    68811   228837 |    35302    34398     18 |  0.506 % |
952.10/952.16	c |   2803050 |    8069    68811   228837 |    34277    32309     17 |  0.506 % |
956.40/956.48	c |   2819434 |    8064    68758   228711 |    30135    29510     18 |  0.567 % |
969.70/969.76	c |   2852207 |    8064    68758   228711 |    35700    32553     18 |  0.567 % |
969.90/969.98	c |   2852719 |    8064    68758   228711 |    35700    33065     18 |  0.567 % |
970.10/970.14	c |   2853231 |    8064    68758   228711 |    35700    33577     18 |  0.567 % |
970.40/970.43	c |   2854257 |    8064    68758   228711 |    35700    34603     19 |  0.567 % |
970.60/970.68	c |   2854772 |    8064    68758   228711 |    35700    35118     19 |  0.567 % |
970.80/970.81	c |   2855285 |    8064    68758   228711 |    35700    35631     19 |  0.567 % |
971.20/971.26	c |   2856311 |    8064    68758   228711 |    35700    31178     18 |  0.567 % |
971.70/971.75	c |   2858359 |    8064    68758   228711 |    35700    33226     19 |  0.567 % |
971.90/971.91	c |   2858873 |    8064    68758   228711 |    35700    33740     19 |  0.567 % |
972.10/972.13	c |   2859385 |    8064    68758   228711 |    35700    34252     19 |  0.567 % |
972.41/972.45	c |   2860409 |    8064    68758   228711 |    34868    30067     18 |  0.567 % |
972.50/972.57	c |   2860921 |    8064    68758   228711 |    34868    30579     18 |  0.567 % |
972.70/972.77	c |   2861433 |    8064    68758   228711 |    34868    31091     18 |  0.567 % |
973.00/973.08	c |   2862457 |    8064    68758   228711 |    34868    32115     18 |  0.567 % |
973.70/973.80	c |   2864507 |    8064    68758   228711 |    34868    34165     19 |  0.567 % |
975.50/975.55	c |   2868604 |    8064    68758   228711 |    34868    33339     18 |  0.567 % |
975.71/975.75	c |   2869116 |    8064    68758   228711 |    34868    33851     18 |  0.567 % |
975.90/975.99	c |   2869630 |    8064    68758   228711 |    34868    34365     19 |  0.567 % |
976.30/976.34	c |   2870655 |    8064    68758   228711 |    34738    30068     18 |  0.567 % |
976.40/976.50	c |   2871167 |    8064    68758   228711 |    34738    30580     18 |  0.567 % |
976.60/976.66	c |   2871679 |    8062    68733   228651 |    34738    31091     18 |  0.592 % |
977.00/977.07	c |   2872704 |    8062    68733   228651 |    34738    32116     18 |  0.592 % |
977.60/977.66	c |   2874757 |    8062    68733   228651 |    34738    34169     18 |  0.592 % |
977.80/977.86	c |   2875269 |    8062    68733   228651 |    34738    34681     18 |  0.592 % |
978.00/978.05	c |   2875783 |    8062    68733   228651 |    34738    30453     18 |  0.592 % |
978.40/978.41	c |   2876807 |    8061    68730   228645 |    34738    31476     18 |  0.604 % |
978.50/978.57	c |   2877319 |    8061    68730   228645 |    34738    31988     18 |  0.604 % |
978.70/978.74	c |   2877832 |    8061    68730   228645 |    34738    32501     18 |  0.604 % |
979.10/979.20	c |   2878856 |    8061    68730   228645 |    34738    33525     18 |  0.604 % |
980.00/980.06	c |   2880905 |    8061    68730   228645 |    34671    30775     18 |  0.604 % |
981.70/981.80	c |   2885001 |    8061    68730   228645 |    34671    34871     18 |  0.604 % |
984.80/984.82	c |   2893193 |    8061    68730   228645 |    30933    29786     17 |  0.604 % |
984.91/984.97	c |   2893705 |    8061    68730   228645 |    30933    30298     17 |  0.604 % |
985.11/985.12	c |   2894218 |    8061    68730   228645 |    30933    30811     17 |  0.604 % |
985.41/985.50	c |   2895244 |    8061    68730   228645 |    30933    27866     17 |  0.604 % |
985.61/985.67	c |   2895756 |    8061    68730   228645 |    30933    28378     17 |  0.604 % |
985.71/985.79	c |   2896269 |    8061    68730   228645 |    30933    28891     17 |  0.604 % |
986.01/986.09	c |   2897293 |    8061    68730   228645 |    30933    29915     17 |  0.604 % |
986.81/986.83	c |   2899343 |    8061    68730   228645 |    30933    28016     17 |  0.604 % |
986.91/986.96	c |   2899856 |    8061    68730   228645 |    30933    28529     17 |  0.604 % |
987.11/987.12	c |   2900369 |    8061    68730   228645 |    28674    29042     17 |  0.604 % |
987.31/987.40	c |   2901393 |    8061    68730   228645 |    28674    26469     17 |  0.604 % |
987.51/987.58	c |   2901910 |    8061    68730   228645 |    28674    26986     17 |  0.604 % |
987.71/987.73	c |   2902423 |    8061    68730   228645 |    28674    27499     17 |  0.604 % |
987.91/988.00	c |   2903447 |    8061    68730   228645 |    28674    28523     17 |  0.604 % |
988.61/988.66	c |   2905495 |    8061    68730   228645 |    28674    27661     17 |  0.604 % |
989.81/989.83	c |   2909591 |    8061    68730   228645 |    28674    28842     17 |  0.604 % |
989.91/989.99	c |   2910103 |    8061    68730   228645 | 2147483647    26470     17 |  0.604 % |
990.11/990.17	c |   2910615 |    8061    68730   228645 | 2147483647    26982     17 |  0.604 % |
990.31/990.40	c |   2911640 |    8061    68730   228645 | 2147483647    28007     17 |  0.604 % |
990.51/990.59	c |   2912152 |    8061    68730   228645 | 2147483647    28519     17 |  0.604 % |
990.71/990.76	c |   2912664 |    8061    68730   228645 | 2147483647    29031     17 |  0.604 % |
991.01/991.09	c |   2913688 |    8061    68730   228645 | 2147483647    30055     17 |  0.604 % |
991.61/991.69	c |   2915737 |    8061    68730   228645 | 2147483647    32104     18 |  0.604 % |
991.81/991.84	c |   2916250 |    8061    68730   228645 | 2147483647    32617     18 |  0.604 % |
992.01/992.02	c |   2916762 |    8061    68730   228645 | 2147483647    33129     18 |  0.604 % |
992.31/992.35	c |   2917787 |    8061    68730   228645 | 2147483647    34154     18 |  0.604 % |
992.51/992.57	c |   2918301 |    8061    68730   228645 | 2147483647    34668     18 |  0.604 % |
992.61/992.70	c |   2918813 |    8061    68730   228645 | 2147483647    35180     18 |  0.604 % |
993.11/993.15	c |   2919838 |    8061    68730   228645 | 2147483647    36205     18 |  0.604 % |
993.91/993.98	c |   2921887 |    8061    68730   228645 |    36369    33984     18 |  0.604 % |
995.61/995.67	c |   2925984 |    8061    68730   228645 |    36369    33530     18 |  0.604 % |
999.01/999.11	c |   2934176 |    8061    68730   228645 |    32603    32318     18 |  0.604 % |
1005.11/1005.16	c |   2950564 |    8061    68730   228645 |    28311    25702     18 |  0.604 % |
1005.21/1005.31	c |   2951077 |    8061    68730   228645 |    28311    26215     18 |  0.604 % |
1005.41/1005.44	c |   2951589 |    8061    68730   228645 |    28311    26727     18 |  0.604 % |
1005.61/1005.69	c |   2952613 |    8061    68730   228645 |    28311    27751     18 |  0.604 % |
1005.71/1005.80	c |   2953128 |    8061    68730   228645 |    28311    28266     18 |  0.604 % |
1005.91/1005.97	c |   2953641 |    8061    68730   228645 |    28311    25689     18 |  0.604 % |
1006.21/1006.24	c |   2954665 |    8061    68730   228645 |    28311    26713     18 |  0.604 % |
1006.71/1006.76	c |   2956715 |    8061    68730   228645 |    28311    25806     18 |  0.604 % |
1006.81/1006.88	c |   2957227 |    8061    68730   228645 |    28311    26318     18 |  0.604 % |
1007.01/1007.03	c |   2957740 |    8061    68730   228645 |    28311    26831     18 |  0.604 % |
1007.21/1007.26	c |   2958764 |    8061    68730   228645 |    28311    27855     18 |  0.604 % |
1007.41/1007.44	c |   2959276 |    8061    68730   228645 |    28311    28367     18 |  0.604 % |
1007.51/1007.59	c |   2959789 |    8061    68730   228645 |    28311    25958     18 |  0.604 % |
1007.81/1007.84	c |   2960813 |    8061    68730   228645 |    26170    24312     18 |  0.604 % |
1008.31/1008.41	c |   2962863 |    8061    68730   228645 |    26170    26362     18 |  0.604 % |
1009.41/1009.48	c |   2966959 |    8061    68730   228645 |    26170    25160     18 |  0.604 % |
1009.51/1009.60	c |   2967471 |    8061    68730   228645 |    26170    25672     18 |  0.604 % |
1009.71/1009.76	c |   2967983 |    8061    68730   228645 |    26170    26184     18 |  0.604 % |
1010.01/1010.04	c |   2969010 |    8061    68730   228645 |    26170    24562     18 |  0.604 % |
1010.11/1010.18	c |   2969522 |    8061    68730   228645 |    26170    25074     18 |  0.604 % |
1010.31/1010.32	c |   2970035 |    8061    68730   228645 | 2147483647    25587     18 |  0.604 % |
1010.51/1010.60	c |   2971059 |    8061    68730   228645 | 2147483647    26611     18 |  0.604 % |
1011.11/1011.11	c |   2973108 |    8061    68730   228645 | 2147483647    28660     19 |  0.604 % |
1011.21/1011.27	c |   2973620 |    8061    68730   228645 | 2147483647    29172     19 |  0.604 % |
1011.41/1011.42	c |   2974132 |    8061    68730   228645 | 2147483647    29684     19 |  0.604 % |
1011.71/1011.73	c |   2975161 |    8061    68730   228645 | 2147483647    30713     19 |  0.604 % |
1011.81/1011.86	c |   2975674 |    8061    68730   228645 | 2147483647    31226     19 |  0.604 % |
1012.01/1012.04	c |   2976187 |    8061    68730   228645 | 2147483647    31739     19 |  0.604 % |
1012.31/1012.39	c |   2977214 |    8061    68730   228645 | 2147483647    32766     19 |  0.604 % |
1013.11/1013.13	c |   2979265 |    8061    68730   228645 | 2147483647    34817     19 |  0.604 % |
1014.51/1014.53	c |   2983362 |    8061    68730   228645 |    35552    34808     19 |  0.604 % |
1017.11/1017.20	c |   2991554 |    8061    68730   228645 |    31941    29035     18 |  0.604 % |
1017.31/1017.38	c |   2992068 |    8061    68730   228645 |    31941    29549     18 |  0.604 % |
1017.51/1017.55	c |   2992580 |    8061    68730   228645 |    31941    30061     18 |  0.604 % |
1017.91/1017.92	c |   2993604 |    8061    68730   228645 |    31941    31085     18 |  0.604 % |
1018.01/1018.08	c |   2994116 |    8061    68730   228645 |    31941    31597     18 |  0.604 % |
1018.21/1018.26	c |   2994629 |    8061    68730   228645 |    31941    32110     18 |  0.604 % |
1018.61/1018.68	c |   2995653 |    8061    68730   228645 |    31941    28634     18 |  0.604 % |
1019.31/1019.37	c |   2997701 |    8061    68730   228645 |    31941    30682     18 |  0.604 % |
1019.51/1019.53	c |   2998214 |    8061    68730   228645 |    31941    31195     18 |  0.604 % |
1019.61/1019.65	c |   2998726 |    8061    68730   228645 |    31941    31707     18 |  0.604 % |
1019.91/1020.00	c |   2999752 |    8061    68730   228645 |    31941    28270     18 |  0.604 % |
1020.11/1020.16	c |   3000265 |    8061    68730   228645 |    28518    28783     18 |  0.604 % |
1020.31/1020.35	c |   3000777 |    8061    68730   228645 |    28518    25448     17 |  0.604 % |
1020.51/1020.56	c |   3001802 |    8061    68730   228645 |    28518    26473     18 |  0.604 % |
1021.11/1021.20	c |   3003850 |    8061    68730   228645 |    28518    28521     18 |  0.604 % |
1022.51/1022.57	c |   3007949 |    8061    68730   228645 |    28518    26310     18 |  0.604 % |
1022.71/1022.74	c |   3008461 |    8061    68730   228645 |    28518    26822     18 |  0.604 % |
1022.81/1022.90	c |   3008974 |    8061    68730   228645 |    28518    27335     18 |  0.604 % |
1023.21/1023.21	c |   3009998 |    8061    68730   228645 |    28518    28359     18 |  0.604 % |
1023.31/1023.40	c |   3010512 |    8061    68730   228645 | 2147483647    28873     18 |  0.604 % |
1023.51/1023.55	c |   3011025 |    8061    68730   228645 | 2147483647    29386     18 |  0.604 % |
1023.91/1023.96	c |   3012052 |    8061    68730   228645 | 2147483647    30413     18 |  0.604 % |
1024.51/1024.60	c |   3014100 |    8061    68730   228645 | 2147483647    32461     18 |  0.604 % |
1024.71/1024.76	c |   3014612 |    8061    68730   228645 | 2147483647    32973     18 |  0.604 % |
1024.81/1024.87	c |   3015125 |    8061    68730   228645 | 2147483647    33486     19 |  0.604 % |
1025.21/1025.25	c |   3016153 |    8061    68730   228645 | 2147483647    34514     19 |  0.604 % |
1025.41/1025.44	c |   3016665 |    8061    68730   228645 | 2147483647    35026     19 |  0.604 % |
1025.61/1025.70	c |   3017177 |    8061    68730   228645 | 2147483647    35538     19 |  0.604 % |
1026.11/1026.18	c |   3018201 |    8061    68730   228645 | 2147483647    36562     19 |  0.604 % |
1026.81/1026.83	c |   3020249 |    8061    68730   228645 |    38361    38610     19 |  0.604 % |
1028.01/1028.03	c |   3024345 |    8061    68730   228645 |    38361    37036     19 |  0.604 % |
1031.01/1031.07	c |   3032537 |    8061    68730   228645 |    36761    33565     18 |  0.604 % |
1037.61/1037.67	c |   3048921 |    8060    68727   228639 |    35195    32738     17 |  0.617 % |
1049.21/1049.26	c |   3081689 |    8058    68721   228627 |    31364    29217     19 |  0.641 % |
1072.22/1072.24	c |   3147228 |    8058    68721   228627 |    36584    32273     18 |  0.641 % |
1072.32/1072.35	c |   3147740 |    8058    68721   228627 |    36584    32785     18 |  0.641 % |
1072.42/1072.45	c |   3148254 |    8058    68721   228627 |    36584    33299     18 |  0.641 % |
1072.82/1072.85	c |   3149278 |    8058    68721   228627 |    36584    34323     18 |  0.641 % |
1072.92/1072.99	c |   3149791 |    8058    68721   228627 |    36584    34836     18 |  0.641 % |
1073.02/1073.10	c |   3150304 |    8058    68721   228627 |    35045    35349     18 |  0.641 % |
1073.32/1073.40	c |   3151328 |    8058    68721   228627 |    35045    31240     18 |  0.641 % |
1073.72/1073.81	c |   3153377 |    8058    68721   228627 |    35045    33289     18 |  0.641 % |
1073.92/1073.99	c |   3153889 |    8058    68721   228627 |    35045    33801     18 |  0.641 % |
1074.12/1074.20	c |   3154401 |    8058    68721   228627 |    35045    34313     18 |  0.641 % |
1074.42/1074.47	c |   3155425 |    8058    68721   228627 |    35045    35337     18 |  0.641 % |
1074.62/1074.70	c |   3155937 |    8058    68721   228627 |    35045    30901     18 |  0.641 % |
1074.82/1074.88	c |   3156453 |    8058    68721   228627 |    35045    31417     18 |  0.641 % |
1075.22/1075.22	c |   3157477 |    8058    68721   228627 |    35045    32441     18 |  0.641 % |
1075.82/1075.91	c |   3159525 |    8058    68721   228627 |    35045    34489     18 |  0.641 % |
1077.22/1077.25	c |   3163623 |    8058    68721   228627 |    34964    34232     18 |  0.641 % |
1077.42/1077.42	c |   3164137 |    8058    68721   228627 |    34964    34746     18 |  0.641 % |
1077.62/1077.63	c |   3164650 |    8058    68721   228627 |    34964    35259     18 |  0.641 % |
1077.92/1077.95	c |   3165674 |    8058    68721   228627 |    34964    31332     18 |  0.641 % |
1078.12/1078.14	c |   3166191 |    8058    68721   228627 |    34964    31849     18 |  0.641 % |
1078.22/1078.30	c |   3166703 |    8058    68721   228627 |    34964    32361     18 |  0.641 % |
1078.62/1078.66	c |   3167727 |    8058    68721   228627 |    34964    33385     18 |  0.641 % |
1079.42/1079.44	c |   3169775 |    8058    68721   228627 |    34964    30624     18 |  0.641 % |
1079.62/1079.64	c |   3170289 |    8058    68721   228627 |    30849    27004     18 |  0.641 % |
1079.71/1079.78	c |   3170803 |    8058    68721   228627 |    30849    27518     18 |  0.641 % |
1079.91/1080.00	c |   3171827 |    8058    68721   228627 |    30849    28542     18 |  0.641 % |
1080.11/1080.18	c |   3172339 |    8058    68721   228627 |    30849    29054     18 |  0.641 % |
1080.21/1080.31	c |   3172851 |    8058    68721   228627 |    30849    29566     18 |  0.641 % |
1080.61/1080.63	c |   3173877 |    8058    68721   228627 |    30849    30592     18 |  0.641 % |
1081.21/1081.26	c |   3175927 |    8058    68721   228627 |    30849    28971     18 |  0.641 % |
1082.41/1082.47	c |   3180024 |    8058    68721   228627 |    29388    29412     18 |  0.641 % |
1084.91/1084.93	c |   3188216 |    8058    68721   228627 |    29388    27270     16 |  0.641 % |
1085.01/1085.08	c |   3188728 |    8058    68721   228627 |    29388    27782     16 |  0.641 % |
1085.21/1085.25	c |   3189240 |    8058    68721   228627 |    29388    28294     16 |  0.641 % |
1085.51/1085.61	c |   3190265 |    8058    68721   228627 |    29054    29319     16 |  0.641 % |
1085.71/1085.77	c |   3190779 |    8058    68721   228627 |    29054    26597     16 |  0.641 % |
1085.81/1085.89	c |   3191293 |    8058    68721   228627 |    29054    27111     16 |  0.641 % |
1086.11/1086.20	c |   3192317 |    8058    68721   228627 |    29054    28135     17 |  0.641 % |
1086.81/1086.83	c |   3194367 |    8058    68721   228627 |    29054    27211     16 |  0.641 % |
1086.91/1086.96	c |   3194880 |    8058    68721   228627 |    29054    27724     17 |  0.641 % |
1087.01/1087.09	c |   3195393 |    8058    68721   228627 |    29054    28237     17 |  0.641 % |
1087.31/1087.39	c |   3196417 |    8058    68721   228627 |    29054    29261     17 |  0.641 % |
1087.51/1087.53	c |   3196931 |    8058    68721   228627 |    29054    26849     17 |  0.641 % |
1087.61/1087.69	c |   3197444 |    8058    68721   228627 |    29054    27362     17 |  0.641 % |
1087.91/1087.95	c |   3198468 |    8058    68721   228627 |    29054    28386     17 |  0.641 % |
1088.41/1088.51	c |   3200516 |    8058    68721   228627 | 2147483647    27488     17 |  0.641 % |
1089.51/1089.61	c |   3204612 |    8057    68718   228621 | 2147483647    31583     18 |  0.654 % |
1089.71/1089.77	c |   3205124 |    8057    68718   228621 | 2147483647    32095     18 |  0.654 % |
1089.91/1089.94	c |   3205636 |    8057    68718   228621 | 2147483647    32607     18 |  0.654 % |
1090.21/1090.26	c |   3206660 |    8057    68718   228621 | 2147483647    33631     18 |  0.654 % |
1090.31/1090.41	c |   3207172 |    8057    68718   228621 | 2147483647    34143     18 |  0.654 % |
1090.51/1090.53	c |   3207684 |    8057    68718   228621 | 2147483647    34655     18 |  0.654 % |
1090.81/1090.85	c |   3208708 |    8057    68718   228621 | 2147483647    35679     18 |  0.654 % |
1091.51/1091.54	c |   3210760 |    8057    68718   228621 |    36971    33252     18 |  0.654 % |
1091.61/1091.71	c |   3211275 |    8057    68718   228621 |    36971    33767     18 |  0.654 % |
1091.81/1091.88	c |   3211788 |    8057    68718   228621 |    36971    34280     18 |  0.654 % |
1092.21/1092.26	c |   3212812 |    8057    68718   228621 |    36971    35304     19 |  0.654 % |
1092.41/1092.47	c |   3213324 |    8057    68718   228621 |    36971    35816     19 |  0.654 % |
1092.71/1092.72	c |   3213836 |    8057    68718   228621 |    36971    36328     19 |  0.654 % |
1093.11/1093.21	c |   3214860 |    8057    68718   228621 |    36971    32026     19 |  0.654 % |
1093.91/1093.95	c |   3216911 |    8057    68718   228621 |    36971    34077     19 |  0.654 % |
1095.41/1095.50	c |   3221007 |    8057    68718   228621 |    37167    32903     19 |  0.654 % |
1098.01/1098.10	c |   3229200 |    8057    68718   228621 |    37167    36057     20 |  0.654 % |
1104.41/1104.45	c |   3245584 |    8057    68718   228621 |    36323    31907     19 |  0.654 % |
1104.61/1104.67	c |   3246096 |    8057    68718   228621 |    36323    32419     19 |  0.654 % |
1104.81/1104.87	c |   3246609 |    8057    68718   228621 |    36323    32932     19 |  0.654 % |
1105.21/1105.22	c |   3247633 |    8057    68718   228621 |    36323    33956     20 |  0.654 % |
1105.31/1105.41	c |   3248145 |    8057    68718   228621 |    36323    34468     20 |  0.654 % |
1105.61/1105.61	c |   3248657 |    8057    68718   228621 |    36323    34980     20 |  0.654 % |
1105.91/1105.98	c |   3249681 |    8057    68718   228621 |    36323    36004     20 |  0.654 % |
1106.81/1106.83	c |   3251730 |    8057    68718   228621 |    36323    32956     19 |  0.654 % |
1107.01/1107.03	c |   3252245 |    8057    68718   228621 |    36323    33471     19 |  0.654 % |
1107.11/1107.19	c |   3252757 |    8057    68718   228621 |    36323    33983     19 |  0.654 % |
1107.41/1107.45	c |   3253781 |    8057    68718   228621 |    36323    35007     19 |  0.654 % |
1107.61/1107.63	c |   3254295 |    8057    68718   228621 |    36323    35521     19 |  0.654 % |
1107.71/1107.78	c |   3254809 |    8057    68718   228621 |    36323    36035     19 |  0.654 % |
1108.11/1108.17	c |   3255833 |    8057    68718   228621 |    36323    32185     19 |  0.654 % |
1108.71/1108.77	c |   3257881 |    8057    68718   228621 |    36323    34233     19 |  0.654 % |
1109.91/1109.95	c |   3261978 |    8057    68718   228621 |    36354    33857     18 |  0.654 % |
1110.01/1110.11	c |   3262490 |    8057    68718   228621 |    36354    34369     18 |  0.654 % |
1110.21/1110.28	c |   3263002 |    8057    68718   228621 |    36354    34881     19 |  0.654 % |
1110.51/1110.59	c |   3264026 |    8057    68718   228621 |    36354    35905     19 |  0.654 % |
1110.71/1110.78	c |   3264538 |    8057    68718   228621 |    36354    36417     19 |  0.654 % |
1110.91/1110.99	c |   3265051 |    8057    68718   228621 |    36354    32248     18 |  0.654 % |
1111.31/1111.33	c |   3266078 |    8057    68718   228621 |    36354    33275     18 |  0.654 % |
1111.81/1111.90	c |   3268128 |    8057    68718   228621 |    36354    35325     19 |  0.654 % |
1112.01/1112.07	c |   3268642 |    8057    68718   228621 |    36354    35839     19 |  0.654 % |
1112.21/1112.28	c |   3269155 |    8057    68718   228621 |    36354    36352     19 |  0.654 % |
1112.61/1112.70	c |   3270179 |    8057    68718   228621 |    32478    32654     18 |  0.654 % |
1112.81/1112.90	c |   3270694 |    8057    68718   228621 |    32478    28953     18 |  0.654 % |
1113.01/1113.08	c |   3271206 |    8057    68718   228621 |    32478    29465     18 |  0.654 % |
1113.21/1113.31	c |   3272230 |    8057    68718   228621 |    32478    30489     18 |  0.654 % |
1114.01/1114.02	c |   3274280 |    8057    68718   228621 |    32478    32539     18 |  0.654 % |
1115.31/1115.38	c |   3278377 |    8057    68718   228621 |    32478    32907     18 |  0.654 % |
1118.21/1118.26	c |   3286569 |    8057    68718   228621 |    30763    30495     19 |  0.654 % |
1118.41/1118.48	c |   3287082 |    8057    68718   228621 |    30763    31008     19 |  0.654 % |
1118.61/1118.66	c |   3287596 |    8057    68718   228621 |    30763    28236     18 |  0.654 % |
1119.01/1119.01	c |   3288620 |    8057    68718   228621 |    30763    29260     18 |  0.654 % |
1119.11/1119.14	c |   3289133 |    8057    68718   228621 |    30763    29773     18 |  0.654 % |
1119.21/1119.29	c |   3289645 |    8057    68718   228621 |    30763    30285     18 |  0.654 % |
1119.61/1119.69	c |   3290670 |    8057    68718   228621 |    30641    27989     18 |  0.654 % |
1120.21/1120.21	c |   3292719 |    8057    68718   228621 |    30641    30038     18 |  0.654 % |
1120.31/1120.38	c |   3293231 |    8057    68718   228621 |    30641    30550     18 |  0.654 % |
1120.51/1120.59	c |   3293743 |    8057    68718   228621 |    30641    31062     18 |  0.654 % |
1120.81/1120.86	c |   3294769 |    8057    68718   228621 |    30641    28982     18 |  0.654 % |
1121.01/1121.04	c |   3295281 |    8057    68718   228621 |    30641    29494     18 |  0.654 % |
1121.21/1121.27	c |   3295794 |    8057    68718   228621 |    30641    30007     18 |  0.654 % |
1121.61/1121.66	c |   3296821 |    8057    68718   228621 |    30641    31034     18 |  0.654 % |
1122.31/1122.38	c |   3298870 |    8057    68718   228621 |    30641    29980     18 |  0.654 % |
1123.81/1123.86	c |   3302966 |    8056    68715   228615 | 2147483647    34075     19 |  0.666 % |
1124.01/1124.06	c |   3303481 |    8056    68715   228615 | 2147483647    34590     19 |  0.666 % |
1124.11/1124.22	c |   3303995 |    8056    68715   228615 | 2147483647    35104     19 |  0.666 % |
1124.41/1124.50	c |   3305021 |    8056    68715   228615 | 2147483647    36130     19 |  0.666 % |
1124.71/1124.81	c |   3305533 |    8056    68715   228615 | 2147483647    36642     19 |  0.666 % |
1125.01/1125.01	c |   3306046 |    8056    68715   228615 | 2147483647    37155     19 |  0.666 % |
1125.41/1125.46	c |   3307071 |    8056    68715   228615 | 2147483647    38180     19 |  0.666 % |
1126.31/1126.41	c |   3309121 |    8056    68715   228615 | 2147483647    40230     19 |  0.666 % |
1126.71/1126.74	c |   3309634 |    8056    68715   228615 | 2147483647    40743     19 |  0.666 % |
1127.01/1127.03	c |   3310146 |    8056    68715   228615 |    41109    41255     19 |  0.666 % |
1127.52/1127.55	c |   3311171 |    8056    68715   228615 |    41109    36314     18 |  0.666 % |
1127.61/1127.69	c |   3311683 |    8056    68715   228615 |    41109    36826     18 |  0.666 % |
1127.81/1127.88	c |   3312195 |    8056    68715   228615 |    41109    37338     19 |  0.666 % |
1128.31/1128.40	c |   3313219 |    8056    68715   228615 |    41109    38362     19 |  0.666 % |
1129.31/1129.41	c |   3315269 |    8056    68715   228615 |    41109    40412     19 |  0.666 % |
1131.21/1131.26	c |   3319367 |    8056    68715   228615 |    41109    38021     19 |  0.666 % |
1134.61/1134.70	c |   3327562 |    8055    68712   228609 |    38654    34289     18 |  0.678 % |
1140.31/1140.33	c |   3343947 |    8052    68684   228543 |    36651    35953     18 |  0.728 % |
1151.72/1151.76	c |   3376715 |    8051    68681   228537 |    29645    29697     17 |  0.728 % |
1151.92/1151.96	c |   3377227 |    8051    68681   228537 |    29645    27217     17 |  0.728 % |
1152.12/1152.13	c |   3377743 |    8051    68681   228537 |    29645    27733     17 |  0.728 % |
1152.42/1152.47	c |   3378769 |    8051    68681   228537 |    29645    28759     17 |  0.728 % |
1152.62/1152.65	c |   3379281 |    8051    68681   228537 |    29645    29271     17 |  0.728 % |
1152.82/1152.83	c |   3379795 |    8051    68681   228537 |    29645    29785     17 |  0.728 % |
1153.12/1153.14	c |   3380819 |    8051    68681   228537 | 2147483647    27828     17 |  0.728 % |
1153.92/1153.93	c |   3382867 |    8051    68681   228537 | 2147483647    29876     17 |  0.728 % |
1154.12/1154.14	c |   3383379 |    8051    68681   228537 | 2147483647    30388     17 |  0.728 % |
1154.31/1154.37	c |   3383892 |    8051    68681   228537 | 2147483647    30901     17 |  0.728 % |
1154.71/1154.80	c |   3384917 |    8051    68681   228537 | 2147483647    31926     17 |  0.727 % |
1155.01/1155.03	c |   3385429 |    8051    68681   228537 | 2147483647    32438     17 |  0.728 % |
1155.21/1155.28	c |   3385941 |    8051    68681   228537 | 2147483647    32950     17 |  0.727 % |
1155.61/1155.69	c |   3386967 |    8051    68681   228537 | 2147483647    33976     17 |  0.727 % |
1156.11/1156.14	c |   3389016 |    8046    68678   228531 | 2147483647    36023     17 |  0.801 % |
1157.01/1157.05	c |   3393115 |    8046    68678   228531 |    37008    35426     16 |  0.801 % |
1157.11/1157.14	c |   3393627 |    8046    68678   228531 |    37008    35938     16 |  0.801 % |
1157.21/1157.26	c |   3394139 |    8045    68542   228145 |    37008    36436     16 |  0.802 % |
1157.51/1157.59	c |   3395164 |    8045    68542   228145 |    37008    33530     16 |  0.802 % |
1157.61/1157.69	c |   3395678 |    8045    68542   228145 |    37008    34044     16 |  0.802 % |
1157.71/1157.79	c |   3396190 |    8045    68542   228145 |    37008    34556     16 |  0.801 % |
1157.91/1157.99	c |   3397214 |    8045    68542   228145 |    37008    35580     16 |  0.801 % |
1158.51/1158.59	c |   3399263 |    8045    68542   228145 |    37008    33691     16 |  0.801 % |
1158.71/1158.73	c |   3399775 |    8044    68539   228139 |    37008    34202     16 |  0.814 % |
1158.81/1158.83	c |   3400288 |    8044    68539   228139 |    34427    34715     16 |  0.814 % |
1159.01/1159.09	c |   3401312 |    8044    68539   228139 |    34427    31963     16 |  0.814 % |
1159.11/1159.19	c |   3401824 |    8044    68539   228139 |    34427    32475     16 |  0.814 % |
1159.21/1159.29	c |   3402337 |    8044    68539   228139 |    34427    32988     16 |  0.814 % |
1159.51/1159.53	c |   3403362 |    8044    68539   228139 |    34427    34013     16 |  0.814 % |
1160.11/1160.14	c |   3405411 |    8041    68119   225784 |    34427    13652     11 |  0.851 % |
1160.61/1160.69	c |   3409507 |    8041    68119   225784 |    34427    17748     12 |  0.851 % |
1161.01/1161.09	c ===============================================================================
1161.01/1161.09	c restarts              : 1437
1161.01/1161.09	c conflicts             : 3411810        (2942 /sec)
1161.01/1161.09	c decisions             : 5136818        (1.79 % random) (4429 /sec)
1161.01/1161.09	c propagations          : 796585010      (686889 /sec)
1161.01/1161.09	c conflict literals     : 73727646       (36.63 % deleted)
1161.01/1161.09	c Memory used           : 14.59 MB
1161.01/1161.09	c CPU time              : 1159.7 s
1161.01/1161.09	c 
1161.01/1161.10	s UNSATISFIABLE
1161.01/1161.10	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821377-1242522608/watcher-1821377-1242522608 -o /tmp/evaluation-result-1821377-1242522608/solver-1821377-1242522608 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821377-1242522608.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: 1.04 1.02 1.00 3/93 23806
/proc/meminfo: memFree=934832/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2412 CPUtime=0
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1016761842 2469888 276 4294967295 134512640 135169312 3219818992 3219817528 3085610734 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23806/statm: 603 276 235 161 0 42 0
[pid=23810] ppid=23806 vsize=952 CPUtime=0
/proc/23810/stat : 23810 (SatELite_releas) R 23806 23806 20977 0 -1 4202496 122 0 0 0 0 0 0 0 18 0 1 0 1016761843 974848 58 4294967295 134512640 135223648 3213775904 3213774716 134545552 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23810/statm: 238 59 47 174 0 63 0

[startup+0.095425 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 23806
/proc/meminfo: memFree=934832/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2412 CPUtime=0
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1016761842 2469888 276 4294967295 134512640 135169312 3219818992 3219817528 3085610734 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23806/statm: 603 276 235 161 0 42 0
[pid=23810] ppid=23806 vsize=10996 CPUtime=0.1
/proc/23810/stat : 23810 (SatELite_releas) R 23806 23806 20977 0 -1 4202496 2485 0 0 0 10 0 0 0 18 0 1 0 1016761843 11259904 2421 4294967295 134512640 135223648 3213775904 3213774472 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23810/statm: 2749 2421 47 174 0 2574 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13408

[startup+0.125421 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 23806
/proc/meminfo: memFree=934832/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2412 CPUtime=0
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1016761842 2469888 276 4294967295 134512640 135169312 3219818992 3219817528 3085610734 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23806/statm: 603 276 235 161 0 42 0
[pid=23810] ppid=23806 vsize=13896 CPUtime=0.13
/proc/23810/stat : 23810 (SatELite_releas) R 23806 23806 20977 0 -1 4202496 3250 0 0 0 12 1 0 0 18 0 1 0 1016761843 14229504 3186 4294967295 134512640 135223648 3213775904 3213774856 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23810/statm: 3474 3187 47 174 0 3299 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 16308

[startup+0.325401 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 23806
/proc/meminfo: memFree=934832/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2412 CPUtime=0
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1016761842 2469888 276 4294967295 134512640 135169312 3219818992 3219817528 3085610734 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23806/statm: 603 276 235 161 0 42 0
[pid=23810] ppid=23806 vsize=22264 CPUtime=0.33
/proc/23810/stat : 23810 (SatELite_releas) R 23806 23806 20977 0 -1 4202496 4627 0 0 0 30 3 0 0 18 0 1 0 1016761843 22798336 4563 4294967295 134512640 135223648 3213775904 3213773984 134548345 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23810/statm: 5566 4563 72 174 0 5391 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 24676

[startup+0.725362 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 23806
/proc/meminfo: memFree=934832/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2412 CPUtime=0
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1016761842 2469888 276 4294967295 134512640 135169312 3219818992 3219817528 3085610734 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23806/statm: 603 276 235 161 0 42 0
[pid=23810] ppid=23806 vsize=22020 CPUtime=0.73
/proc/23810/stat : 23810 (SatELite_releas) R 23806 23806 20977 0 -1 4202496 4978 0 0 0 68 5 0 0 18 0 1 0 1016761843 22548480 4519 4294967295 134512640 135223648 3213775904 3213773672 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23810/statm: 5505 4519 73 174 0 5330 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 24432

[startup+1.52529 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 23811
/proc/meminfo: memFree=914464/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2416

[startup+3.12513 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 23812
/proc/meminfo: memFree=926120/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=7588 CPUtime=1.78
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 1812 0 0 0 178 0 0 0 25 0 1 0 1016761972 7770112 1747 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 1897 1747 75 172 0 1724 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10004

[startup+6.32481 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 23812
/proc/meminfo: memFree=924136/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=9228 CPUtime=4.98
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 2214 0 0 0 498 0 0 0 25 0 1 0 1016761972 9449472 2149 4294967295 134512640 135216591 3214558528 3214556720 134528833 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 2307 2149 75 172 0 2134 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11644

[startup+12.7242 s]
/proc/loadavg: 1.03 1.02 1.00 2/95 23813
/proc/meminfo: memFree=922960/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=9760 CPUtime=11.38
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 2327 0 0 0 1138 0 0 0 25 0 1 0 1016761972 9994240 2262 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 2440 2262 75 172 0 2267 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12176

[startup+25.5229 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 23815
/proc/meminfo: memFree=922560/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=10316 CPUtime=24.18
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 2466 0 0 0 2418 0 0 0 25 0 1 0 1016761972 10563584 2401 4294967295 134512640 135216591 3214558528 3214556720 134528894 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 2579 2401 75 172 0 2406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12732

[startup+51.1204 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 23999
/proc/meminfo: memFree=921472/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=11188 CPUtime=49.78
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 2694 0 0 0 4977 1 0 0 25 0 1 0 1016761972 11456512 2629 4294967295 134512640 135216591 3214558528 3214556720 134529012 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 2797 2629 75 172 0 2624 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13604

[startup+102.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 24188
/proc/meminfo: memFree=919416/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=12680 CPUtime=100.98
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3061 0 0 0 10096 2 0 0 25 0 1 0 1016761972 12984320 2996 4294967295 134512640 135216591 3214558528 3214556528 134527532 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 3170 2996 75 172 0 2997 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15096

[startup+162.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 24374
/proc/meminfo: memFree=919316/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=12956 CPUtime=160.98
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3114 0 0 0 16096 2 0 0 25 0 1 0 1016761972 13266944 3049 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23812/statm: 3239 3049 75 172 0 3066 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15372

[startup+222.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24562
/proc/meminfo: memFree=919084/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=13112 CPUtime=220.94
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3147 0 0 0 22092 2 0 0 25 0 1 0 1016761972 13426688 3082 4294967295 134512640 135216591 3214558528 3214556640 134534339 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3278 3082 75 172 0 3105 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 15528

[startup+282.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24753
/proc/meminfo: memFree=919448/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=13112 CPUtime=280.95
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3169 0 0 0 28092 3 0 0 25 0 1 0 1016761972 13426688 3104 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3278 3104 75 172 0 3105 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 15528

[startup+342.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24944
/proc/meminfo: memFree=919052/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=13248 CPUtime=340.96
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3182 0 0 0 34090 6 0 0 25 0 1 0 1016761972 13565952 3117 4294967295 134512640 135216591 3214558528 3214556496 134538400 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3312 3117 75 172 0 3139 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 15664

[startup+402.316 s]

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


[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26642
/proc/meminfo: memFree=918332/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=881
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3550 0 0 0 88091 9 0 0 25 0 1 0 1016761972 15118336 3485 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3485 75 172 0 3518 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 17180

[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26830
/proc/meminfo: memFree=918176/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=941
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3556 0 0 0 94091 9 0 0 25 0 1 0 1016761972 15118336 3491 4294967295 134512640 135216591 3214558528 3214556720 134529102 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3491 75 172 0 3518 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 17180

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27022
/proc/meminfo: memFree=917944/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1001.01
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3556 0 0 0 100092 9 0 0 25 0 1 0 1016761972 15118336 3491 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3491 75 172 0 3518 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 17180

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27209
/proc/meminfo: memFree=918184/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1061.01
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3557 0 0 0 106092 9 0 0 25 0 1 0 1016761972 15118336 3492 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3492 75 172 0 3518 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 17180

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27397
/proc/meminfo: memFree=918316/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1121.01
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3557 0 0 0 112092 9 0 0 25 0 1 0 1016761972 15118336 3492 4294967295 134512640 135216591 3214558528 3214556720 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3492 75 172 0 3518 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 17180

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

[startup+1126.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27397
/proc/meminfo: memFree=918504/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1125.01
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3557 0 0 0 112492 9 0 0 25 0 1 0 1016761972 15118336 3492 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3492 75 172 0 3518 0
Current children cumulated CPU time (s) 1126.31
Current children cumulated vsize (KiB) 17180

[startup+1139.11 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27399
/proc/meminfo: memFree=918476/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1137.81
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3566 0 0 0 113772 9 0 0 25 0 1 0 1016761972 15118336 3501 4294967295 134512640 135216591 3214558528 3214556640 134534336 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3501 75 172 0 3518 0
Current children cumulated CPU time (s) 1139.11
Current children cumulated vsize (KiB) 17180

[startup+1151.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27400
/proc/meminfo: memFree=918516/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1150.62
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3566 0 0 0 115053 9 0 0 25 0 1 0 1016761972 15118336 3501 4294967295 134512640 135216591 3214558528 3214556720 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3501 75 172 0 3518 0
Current children cumulated CPU time (s) 1151.92
Current children cumulated vsize (KiB) 17180

[startup+1155.11 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918508/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14764 CPUtime=1153.81
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3566 0 0 0 115372 9 0 0 25 0 1 0 1016761972 15118336 3501 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3691 3501 75 172 0 3518 0
Current children cumulated CPU time (s) 1155.11
Current children cumulated vsize (KiB) 17180

[startup+1158.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918384/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14940 CPUtime=1157.01
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3586 0 0 0 115692 9 0 0 25 0 1 0 1016761972 15298560 3521 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3735 3521 75 172 0 3562 0
Current children cumulated CPU time (s) 1158.31
Current children cumulated vsize (KiB) 17356

[startup+1159.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918392/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14940 CPUtime=1158.61
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3586 0 0 0 115852 9 0 0 25 0 1 0 1016761972 15298560 3521 4294967295 134512640 135216591 3214558528 3214556640 134534669 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3735 3521 75 172 0 3562 0
Current children cumulated CPU time (s) 1159.91
Current children cumulated vsize (KiB) 17356

[startup+1160.71 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918392/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14940 CPUtime=1159.41
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3586 0 0 0 115932 9 0 0 25 0 1 0 1016761972 15298560 3521 4294967295 134512640 135216591 3214558528 3214556720 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3735 3521 75 172 0 3562 0
Current children cumulated CPU time (s) 1160.71
Current children cumulated vsize (KiB) 17356

[startup+1160.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918392/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14940 CPUtime=1159.61
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3586 0 0 0 115952 9 0 0 25 0 1 0 1016761972 15298560 3521 4294967295 134512640 135216591 3214558528 3214556720 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3735 3521 75 172 0 3562 0
Current children cumulated CPU time (s) 1160.91
Current children cumulated vsize (KiB) 17356

[startup+1161.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27401
/proc/meminfo: memFree=918392/2074464 swapFree=1951864/1959888
[pid=23806] ppid=23804 vsize=2416 CPUtime=1.3
/proc/23806/stat : 23806 (SatELiteGTI) S 23804 23806 20977 0 -1 4194304 386 6170 0 0 0 0 124 6 18 0 1 0 1016761842 2473984 277 4294967295 134512640 135169312 3219818992 3219815208 3085610734 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23806/statm: 604 277 235 161 0 43 0
[pid=23812] ppid=23806 vsize=14940 CPUtime=1159.71
/proc/23812/stat : 23812 (minisat_static) R 23806 23806 20977 0 -1 4202496 3586 0 0 0 115962 9 0 0 25 0 1 0 1016761972 15298560 3521 4294967295 134512640 135216591 3214558528 3214556704 134525205 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23812/statm: 3735 3521 75 172 0 3562 0
Current children cumulated CPU time (s) 1161.01
Current children cumulated vsize (KiB) 17356

Child status: 20
Real time (s): 1161.1
CPU time (s): 1161.1
CPU user time (s): 1160.95
CPU system time (s): 0.15
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 27592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1160.95
system time used= 0.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10427
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= 19
involuntary context switches= 6725

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 03:10:08
IDJOB=1821377
IDBENCH=70946
IDSOLVER=658
FILE ID=tipi10/1821377-1242522608
PBS_JOBID=
Free space on /tmp= 4165 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821377-1242522608/watcher-1821377-1242522608 -o /tmp/evaluation-result-1821377-1242522608/solver-1821377-1242522608 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821377-1242522608.cnf

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

MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED= 1531856751

Linux tipi10 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.367
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.367
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.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
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.367
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.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        934848 kB
Buffers:         25448 kB
Cached:         999992 kB
SwapCached:       2732 kB
Active:         470084 kB
Inactive:       565328 kB
HighTotal:     1178688 kB
HighFree:       323424 kB
LowTotal:       895776 kB
LowFree:        611424 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            4780 kB
Writeback:           0 kB
AnonPages:        9160 kB
Mapped:           3264 kB
Slab:            94896 kB
PageTables:        564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4165 MiB
End job on tipi10 at 2009-05-17 03:29:29