Trace number 1837260

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000 10004.4

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
MD5SUMd464f22dd212ad9afa317dae82dd7350
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables301759
Number of clauses904892
Sum of the clauses size2111412
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2603260
Number of clauses of size 3301630
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.02	c Parsing...
0.00/0.76	c ==============================================================================
0.00/0.76	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.76	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.76	c ==============================================================================
0.00/0.76	c |         0 |  904890  2111410 |  271466       0        0     nan |  0.000 % |
13.16/13.21	c |         0 |  561543  1734504 |      --       0       --      -- |     --   | -343345/-376901
13.16/13.22	c ==============================================================================
13.16/13.22	c Result  :   #vars: 110076   #clauses: 561543   #literals: 1734504
13.16/13.22	c CPU time:   12.7911 s
13.16/13.22	c ==============================================================================
13.78/14.01	c This is MiniSat 2.0 beta
13.78/14.01	c WARNING: for repeatability, setting FPU to use double precision
13.78/14.01	c ============================[ Problem Statistics ]=============================
13.78/14.01	c |                                                                             |
13.78/14.01	c |  Number of variables:  110076                                               |
13.78/14.01	c |  Number of clauses:    561543                                               |
14.07/14.36	c |  Parsing time:         0.31         s                                       |
14.07/14.38	c ============================[ Search Statistics ]==============================
14.07/14.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.07/14.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.07/14.38	c ===============================================================================
14.07/14.38	c |         0 |  110076   561543  1734504 |   187181        0    nan |  0.000 % |
14.36/14.60	c |       100 |  110076   561543  1734504 |   187181      100     48 |  0.000 % |
14.36/14.64	c |       200 |  110076   561543  1734504 |   187181      200     38 |  0.000 % |
14.46/14.72	c |       300 |  110076   561543  1734504 |   187181      300     34 |  0.000 % |
14.46/14.77	c |       412 |  110076   561543  1734504 |   187181      412     29 |  0.000 % |
14.56/14.81	c |       513 |  110076   561543  1734504 |   187181      513     27 |  0.000 % |
14.56/14.88	c |       624 |  110076   561543  1734504 |   187181      624     27 |  0.000 % |
14.66/14.96	c |       745 |  110076   561543  1734504 |   187181      745     29 |  0.000 % |
14.96/15.27	c |       846 |  110076   561543  1734504 |   187181      846     38 |  0.000 % |
15.07/15.32	c |       956 |  110076   561543  1734504 |   187181      956     35 |  0.000 % |
15.07/15.36	c |      1078 |  110076   561543  1734504 |   187181     1078     34 |  0.000 % |
15.07/15.38	c |      1212 |  110076   561543  1734504 |   187181     1212     33 |  0.000 % |
15.16/15.40	c |      1314 |  110076   561543  1734504 |   187181     1314     32 |  0.000 % |
15.16/15.43	c |      1425 |  110076   561543  1734504 |   187181     1425     30 |  0.000 % |
15.16/15.47	c |      1546 |  110076   561543  1734504 |   187181     1546     29 |  0.000 % |
15.26/15.50	c |      1681 |  110076   561543  1734504 |   187181     1681     29 |  0.000 % |
15.26/15.54	c |      1827 |  110076   561543  1734504 |   187181     1827     28 |  0.000 % |
15.26/15.57	c |      1928 |  110076   561543  1734504 |   187181     1928     27 |  0.000 % |
15.36/15.60	c |      2039 |  110076   561543  1734504 |   187181     2039     27 |  0.000 % |
15.36/15.63	c |      2160 |  110076   561543  1734504 |   187181     2160     26 |  0.000 % |
15.36/15.67	c |      2293 |  110076   561543  1734504 |   187181     2293     26 |  0.000 % |
16.07/16.38	c |      2439 |  110076   561543  1734504 |   187181     2439     31 |  0.000 % |
16.17/16.45	c |      2600 |  110076   561543  1734504 |   187181     2600     31 |  0.000 % |
16.27/16.55	c |      2700 |  110076   561543  1734504 |   187181     2700     32 |  0.000 % |
16.27/16.58	c |      2811 |  110076   561543  1734504 |   187181     2811     32 |  0.000 % |
16.37/16.60	c |      2933 |  110076   561543  1734504 |   187181     2933     31 |  0.000 % |
16.47/16.71	c |      3066 |  110076   561543  1734504 |   187181     3066     33 |  0.000 % |
16.47/16.73	c |      3212 |  110076   561543  1734504 |   187181     3212     32 |  0.000 % |
16.47/16.77	c |      3374 |  110076   561543  1734504 |   187181     3374     31 |  0.000 % |
16.87/17.12	c |      3552 |  110076   561543  1734504 |   187181     3552     35 |  0.000 % |
16.87/17.16	c |      3654 |  110076   561543  1734504 |   187181     3654     35 |  0.000 % |
16.97/17.26	c |      3764 |  110076   561543  1734504 |   187181     3764     35 |  0.000 % |
17.07/17.32	c |      3885 |  110076   561543  1734504 |   187181     3885     34 |  0.000 % |
17.17/17.47	c |      4018 |  110076   561543  1734504 |   187181     4018     34 |  0.000 % |
17.27/17.52	c |      4165 |  110076   561543  1734504 |   187181     4165     33 |  0.000 % |
17.27/17.59	c |      4325 |  110076   561543  1734504 |   187181     4325     33 |  0.000 % |
17.37/17.64	c |      4501 |  110076   561543  1734504 |   187181     4501     33 |  0.000 % |
17.47/17.73	c |      4695 |  110076   561543  1734504 |   187181     4695     34 |  0.000 % |
17.47/17.75	c |      4795 |  110076   561543  1734504 |   187181     4795     33 |  0.000 % |
17.47/17.78	c |      4905 |  110076   561543  1734504 |   187181     4905     33 |  0.000 % |
17.57/17.81	c |      5027 |  110076   561543  1734504 |   187181     5027     33 |  0.000 % |
17.57/17.83	c |      5160 |  110076   561543  1734504 |   187181     5160     32 |  0.000 % |
17.57/17.87	c |      5307 |  110076   561543  1734504 |   187181     5307     32 |  0.000 % |
17.87/18.12	c |      5467 |  110076   561543  1734504 |   187181     5467     33 |  0.000 % |
18.07/18.34	c |      5644 |  110076   561543  1734504 |   187181     5644     33 |  0.000 % |
18.17/18.47	c |      5838 |  110076   561543  1734504 |   187181     5838     33 |  0.000 % |
18.37/18.70	c |      6051 |  110076   561543  1734504 |   187181     6051     34 |  0.000 % |
18.47/18.75	c |      6154 |  110076   561543  1734504 |   187181     6154     34 |  0.000 % |
18.47/18.78	c |      6264 |  110076   561543  1734504 |   187181     6264     34 |  0.000 % |
18.57/18.81	c |      6385 |  110076   561543  1734504 |   187181     6385     33 |  0.000 % |
19.76/20.07	c |      6518 |  110076   561543  1734504 |   187181     6518     36 |  0.000 % |
19.96/20.27	c |      6664 |  110076   561543  1734504 |   187181     6664     36 |  0.000 % |
20.06/20.34	c |      6824 |  110076   561543  1734504 |   187181     6824     36 |  0.000 % |
20.16/20.46	c |      7000 |  110076   561543  1734504 |   187181     7000     35 |  0.000 % |
20.26/20.51	c |      7196 |  110076   561543  1734504 |   187181     7196     35 |  0.000 % |
20.26/20.57	c |      7408 |  110076   561543  1734504 |   187181     7408     35 |  0.000 % |
20.46/20.77	c |      7641 |  110076   561543  1734504 |   187181     7641     36 |  0.000 % |
21.76/22.09	c |      7741 |  110076   561543  1734504 |   187181     7741     39 |  0.000 % |
22.06/22.32	c |      7852 |  110076   561543  1734504 |   187181     7852     39 |  0.000 % |
22.06/22.39	c |      7974 |  110076   561543  1734504 |   187181     7974     39 |  0.000 % |
22.16/22.45	c |      8107 |  110076   561543  1734504 |   187181     8107     39 |  0.000 % |
22.26/22.55	c |      8257 |  110076   561543  1734504 |   187181     8257     39 |  0.000 % |
22.36/22.64	c |      8418 |  110076   561543  1734504 |   187181     8418     38 |  0.000 % |
24.36/24.65	c |      8595 |  110076   561543  1734504 |   187181     8595     41 |  0.000 % |
24.46/24.75	c |      8788 |  110076   561543  1734504 |   187181     8788     41 |  0.000 % |
24.56/24.85	c |      9000 |  105890   531968  1662068 |   187181     8999     40 |  3.803 % |
24.66/24.91	c |      9233 |  105890   531968  1662068 |   187181     9232     39 |  3.803 % |
24.76/25.00	c |      9491 |  105890   531968  1662068 |   187181     9490     39 |  3.803 % |
24.76/25.07	c |      9591 |  105890   531968  1662068 |   187181     9590     38 |  3.803 % |
24.96/25.28	c |      9702 |  105890   531968  1662068 |   187181     9701     39 |  3.803 % |
25.06/25.31	c |      9824 |  105890   531968  1662068 |   187181     9823     39 |  3.803 % |
25.06/25.34	c |      9957 |  105890   531968  1662068 |   187181     9956     39 |  3.803 % |
25.16/25.41	c |     10104 |  105890   531968  1662068 | 2147483647    10103     39 |  3.803 % |
25.16/25.48	c |     10267 |  105890   531968  1662068 | 2147483647    10266     39 |  3.803 % |
25.26/25.56	c |     10443 |  105890   531968  1662068 | 2147483647    10442     39 |  3.803 % |
25.37/25.64	c |     10636 |  105890   531968  1662068 | 2147483647    10635     38 |  3.803 % |
25.37/25.69	c |     10849 |  105890   531968  1662068 | 2147483647    10848     38 |  3.803 % |
25.46/25.76	c |     11086 |  105890   531968  1662068 | 2147483647    11085     38 |  3.803 % |
25.57/25.86	c |     11343 |  105890   531968  1662068 | 2147483647    11342     38 |  3.803 % |
25.67/25.93	c |     11625 |  105890   531968  1662068 | 2147483647    11624     38 |  3.803 % |
25.67/25.96	c |     11727 |  105890   531968  1662068 | 2147483647    11726     38 |  3.803 % |
25.67/25.98	c |     11838 |  105890   531968  1662068 | 2147483647    11837     38 |  3.803 % |
25.77/26.02	c |     11961 |  105890   531968  1662068 | 2147483647    11960     37 |  3.803 % |
25.77/26.06	c |     12095 |  105890   531968  1662068 | 2147483647    12094     37 |  3.803 % |
25.77/26.09	c |     12241 |  105890   531968  1662068 | 2147483647    12240     37 |  3.803 % |
27.17/27.46	c |     12402 |  105890   531968  1662068 | 2147483647    12401     40 |  3.803 % |
27.36/27.62	c |     12579 |  105890   531968  1662068 | 2147483647    12578     40 |  3.803 % |
27.66/27.94	c |     12774 |  103646   517698  1627278 | 2147483647    12768     40 |  7.729 % |
29.47/29.77	c |     12986 |  103415   517698  1627278 | 2147483647    12980     43 |  7.729 % |
29.66/29.90	c |     13219 |  101568   501987  1587719 | 2147483647    13213     43 |  7.729 % |
29.66/29.98	c |     13476 |  101568   501987  1587719 | 2147483647    13470     42 |  7.729 % |
29.96/30.23	c |     13758 |  101568   501987  1587719 | 2147483647    13752     42 |  7.729 % |
30.06/30.32	c |     14068 |  101568   501987  1587719 | 2147483647    14062     41 |  7.729 % |
30.06/30.35	c |     14169 |  101568   501987  1587719 | 2147483647    14163     41 |  7.729 % |
30.06/30.37	c |     14280 |  101568   501987  1587719 | 2147483647    14274     41 |  7.729 % |
30.16/30.46	c |     14402 |  101568   501987  1587719 | 2147483647    14396     41 |  7.729 % |
30.36/30.61	c |     14535 |  101566   501987  1587719 | 2147483647    14527     41 |  7.843 % |
30.47/30.71	c |     14683 |  101563   501987  1587719 | 2147483647    14674     40 |  7.845 % |
30.47/30.76	c |     14844 |  101561   501987  1587719 | 2147483647    14834     40 |  7.956 % |
30.66/30.90	c |     15021 |  101558   501987  1587719 | 2147483647    15011     40 |  7.956 % |
30.66/30.93	c |     15214 |  101558   501987  1587719 | 2147483647    15204     40 |  7.956 % |
30.76/31.06	c |     15428 |  101558   501987  1587719 | 2147483647    15418     39 |  7.956 % |
30.96/31.29	c |     15661 |  101073   499515  1580254 | 2147483647    15648     39 |  8.179 % |
31.16/31.49	c |     15917 |  101073   499515  1580254 | 2147483647    15904     39 |  8.179 % |
31.26/31.58	c |     16198 |  101073   499515  1580254 | 2147483647    16185     38 |  8.179 % |
31.36/31.66	c |     16507 |  101073   499515  1580254 | 2147483647    16494     38 |  8.179 % |
31.57/31.80	c |     16846 |  101073   499515  1580254 | 2147483647    16833     38 |  8.179 % |
31.57/31.83	c |     16947 |  101073   499515  1580254 | 2147483647    16934     38 |  8.179 % |
31.57/31.87	c |     17057 |  101073   499515  1580254 | 2147483647    17044     38 |  8.179 % |
31.67/31.91	c |     17179 |  101073   499515  1580254 | 2147483647    17166     38 |  8.179 % |
31.67/31.98	c |     17312 |  101071   499515  1580254 | 2147483647    17297     38 |  8.181 % |
31.76/32.04	c |     17458 |  101071   499515  1580254 | 2147483647    17443     38 |  8.181 % |
31.76/32.06	c |     17620 |  101071   499515  1580254 | 2147483647    17605     38 |  8.181 % |
31.86/32.13	c |     17797 |  101071   499515  1580254 | 2147483647    17782     38 |  8.181 % |
31.96/32.20	c |     17991 |  101071   499515  1580254 | 2147483647    17976     37 |  8.181 % |
31.96/32.26	c |     18203 |  101071   499515  1580254 | 2147483647    18188     37 |  8.181 % |
32.06/32.31	c |     18436 |  101071   499515  1580254 | 2147483647    18421     37 |  8.181 % |
32.06/32.37	c |     18692 |  101071   499515  1580254 | 2147483647    18677     37 |  8.181 % |
32.16/32.41	c |     18974 |  101071   499515  1580254 | 2147483647    18959     37 |  8.181 % |
32.26/32.51	c |     19284 |  101071   499515  1580254 | 2147483647    19269     36 |  8.181 % |
32.36/32.66	c |     19624 |  101071   499515  1580254 | 2147483647    19609     36 |  8.181 % |
32.56/32.81	c |     19996 |  101071   499500  1580218 | 2147483647    19981     36 |  8.181 % |
32.56/32.85	c |     20097 |  101071   499500  1580218 | 2147483647    20082     36 |  8.181 % |
32.67/32.90	c |     20208 |  101071   499500  1580218 | 2147483647    20193     36 |  8.181 % |
32.67/32.94	c |     20329 |  101071   499500  1580218 | 2147483647    20314     36 |  8.181 % |
32.67/32.97	c |     20462 |  101071   499500  1580218 | 2147483647    20447     36 |  8.181 % |
32.77/33.04	c |     20608 |  101071   499500  1580218 | 2147483647    20593     36 |  8.181 % |
32.96/33.25	c |     20769 |  101071   499500  1580218 | 2147483647    20754     36 |  8.181 % |
33.06/33.30	c |     20947 |  101071   499500  1580218 | 2147483647    20932     36 |  8.181 % |
33.06/33.34	c |     21140 |  101071   499500  1580218 | 2147483647    21125     36 |  8.181 % |
33.16/33.40	c |     21353 |  101071   499500  1580218 | 2147483647    21338     36 |  8.181 % |
33.16/33.44	c |     21588 |  101071   499500  1580218 | 2147483647    21573     36 |  8.181 % |
33.26/33.50	c |     21844 |  101071   499500  1580218 | 2147483647    21829     35 |  8.181 % |
33.26/33.56	c |     22126 |  101071   499500  1580218 | 2147483647    22111     35 |  8.181 % |
33.36/33.61	c |     22437 |  101071   499500  1580218 | 2147483647    22422     35 |  8.181 % |
33.46/33.72	c |     22776 |  101071   499500  1580218 | 2147483647    22761     35 |  8.181 % |
33.56/33.83	c |     23149 |  101071   499500  1580218 | 2147483647    23134     35 |  8.181 % |
33.66/33.93	c |     23558 |  101071   499500  1580218 | 2147483647    23543     35 |  8.181 % |
33.66/33.97	c |     23658 |  101071   499500  1580218 | 2147483647    23643     35 |  8.181 % |
33.76/34.06	c |     23768 |  101071   499500  1580218 | 2147483647    23753     35 |  8.181 % |
33.86/34.14	c |     23889 |  101071   499500  1580218 | 2147483647    23874     35 |  8.181 % |
33.96/34.21	c |     24023 |  101071   499500  1580218 | 2147483647    24008     35 |  8.181 % |
33.96/34.23	c |     24171 |  101071   499500  1580218 | 2147483647    24156     35 |  8.181 % |
34.06/34.31	c |     24331 |  101071   499500  1580218 | 2147483647    24316     34 |  8.181 % |
34.06/34.34	c |     24509 |  101071   499500  1580218 | 2147483647    24494     34 |  8.181 % |
34.16/34.42	c |     24703 |  101071   499500  1580218 | 2147483647    24688     34 |  8.181 % |
34.16/34.48	c |     24915 |  101071   499500  1580218 | 2147483647    24900     34 |  8.181 % |
34.26/34.57	c |     25148 |  101071   499500  1580218 | 2147483647    25133     34 |  8.181 % |
34.35/34.67	c |     25404 |  101071   499500  1580218 | 2147483647    25389     34 |  8.181 % |
34.45/34.77	c |     25685 |  101071   499500  1580218 | 2147483647    25670     34 |  8.181 % |
34.55/34.89	c |     25994 |  101071   499500  1580218 | 2147483647    25979     34 |  8.181 % |
34.75/35.01	c |     26333 |  101071   499500  1580218 | 2147483647    26318     34 |  8.181 % |
34.86/35.12	c |     26706 |  101071   499500  1580218 | 2147483647    26691     34 |  8.181 % |
35.15/35.41	c |     27117 |  101071   499500  1580218 | 2147483647    27102     34 |  8.181 % |
35.35/35.62	c |     27566 |  101071   499500  1580218 | 2147483647    27551     34 |  8.181 % |
35.35/35.66	c |     27666 |  101071   499500  1580218 | 2147483647    27651     34 |  8.181 % |
35.45/35.70	c |     27777 |  101071   499500  1580218 | 2147483647    27762     34 |  8.181 % |
35.45/35.75	c |     27898 |  101071   499500  1580218 | 2147483647    27883     34 |  8.181 % |
35.45/35.78	c |     28032 |  101071   499500  1580218 | 2147483647    28017     34 |  8.181 % |
35.55/35.85	c |     28179 |  101071   499500  1580218 | 2147483647    28164     34 |  8.181 % |
35.65/35.91	c |     28340 |  101071   499500  1580218 | 2147483647    28325     34 |  8.181 % |
35.75/36.00	c |     28516 |  101071   499500  1580218 | 2147483647    28501     34 |  8.181 % |
35.85/36.11	c |     28710 |  101071   499500  1580218 | 2147483647    28695     34 |  8.181 % |
35.85/36.13	c |     28923 |  101071   499500  1580218 | 2147483647    28908     34 |  8.181 % |
35.96/36.21	c |     29158 |  101071   499500  1580218 | 2147483647    29143     34 |  8.181 % |
35.96/36.28	c |     29414 |  101071   499500  1580218 | 2147483647    29399     34 |  8.181 % |
39.26/39.51	c |     29697 |  101071   499500  1580218 | 2147483647    29682     36 |  8.181 % |
39.46/39.74	c |     30006 |  101071   499500  1580218 | 2147483647    29991     36 |  8.181 % |
39.86/40.18	c |     30345 |  101071   499500  1580218 | 2147483647    30330     36 |  8.181 % |
40.06/40.31	c |     30717 |  101071   499500  1580218 | 2147483647    30702     36 |  8.181 % |
40.26/40.52	c |     31127 |  101071   499500  1580218 | 2147483647    31112     36 |  8.181 % |
41.06/41.36	c |     31576 |  101071   499500  1580218 | 2147483647    31561     36 |  8.181 % |
41.36/41.64	c |     32069 |  101071   499500  1580218 | 2147483647    32054     36 |  8.181 % |
41.36/41.68	c |     32169 |  101071   499500  1580218 | 2147483647    32154     36 |  8.181 % |
41.46/41.73	c |     32279 |  101071   499500  1580218 | 2147483647    32264     36 |  8.181 % |
41.56/41.86	c |     32401 |  101071   499500  1580218 | 2147483647    32386     36 |  8.181 % |
41.66/41.92	c |     32534 |  101071   499500  1580218 | 2147483647    32519     36 |  8.181 % |
41.86/42.10	c |     32680 |  101071   499500  1580218 | 2147483647    32665     36 |  8.181 % |
42.16/42.46	c |     32842 |  101071   499500  1580218 | 2147483647    32827     36 |  8.181 % |
42.36/42.64	c |     33018 |  101071   499500  1580218 | 2147483647    33003     36 |  8.181 % |
42.46/42.75	c |     33211 |  101071   499500  1580218 | 2147483647    33196     36 |  8.181 % |
42.66/42.93	c |     33426 |  101071   499500  1580218 | 2147483647    33411     36 |  8.181 % |
42.76/43.09	c |     33659 |  101071   499500  1580218 | 2147483647    33644     36 |  8.181 % |
43.16/43.46	c |     33916 |  101071   499500  1580218 | 2147483647    33901     35 |  8.181 % |
43.36/43.61	c |     34197 |  101071   499500  1580218 | 2147483647    34182     35 |  8.181 % |
43.46/43.71	c |     34506 |  101071   499500  1580218 | 2147483647    34491     35 |  8.181 % |
43.66/43.92	c |     34845 |  101071   499500  1580218 | 2147483647    34830     35 |  8.181 % |
43.76/44.06	c |     35217 |  101071   499500  1580218 | 2147483647    35202     35 |  8.181 % |
43.95/44.26	c |     35628 |  101071   499500  1580218 | 2147483647    35613     35 |  8.181 % |
44.15/44.41	c |     36077 |  101071   499500  1580218 | 2147483647    36062     35 |  8.181 % |
44.25/44.56	c |     36573 |  101071   499500  1580218 | 2147483647    36558     35 |  8.181 % |
44.35/44.66	c |     37115 |  101071   499500  1580218 | 2147483647    37100     35 |  8.181 % |
44.35/44.69	c |     37215 |  101071   499500  1580218 | 2147483647    37200     35 |  8.181 % |
44.45/44.72	c |     37325 |  101071   499500  1580218 | 2147483647    37310     35 |  8.181 % |
44.45/44.77	c |     37447 |  101071   499500  1580218 | 2147483647    37432     35 |  8.181 % |
44.55/44.85	c |     37582 |  101071   499500  1580218 | 2147483647    37567     35 |  8.181 % |
44.65/44.98	c |     37729 |  101071   499500  1580218 | 2147483647    37714     35 |  8.181 % |
44.76/45.09	c |     37890 |  101071   499500  1580218 | 2147483647    37875     35 |  8.181 % |
44.95/45.20	c |     38066 |  101071   499500  1580218 | 2147483647    38051     35 |  8.181 % |
44.95/45.28	c |     38261 |  101071   499500  1580218 | 2147483647    38246     35 |  8.181 % |
45.05/45.39	c |     38474 |  101071   499500  1580218 | 2147483647    38459     35 |  8.181 % |
45.15/45.47	c |     38708 |  101071   499500  1580218 | 2147483647    38693     35 |  8.181 % |
50.25/50.57	c |     38966 |  101071   499500  1580218 | 2147483647    38951     37 |  8.181 % |
50.45/50.74	c |     39248 |  101071   499500  1580218 | 2147483647    39233     37 |  8.181 % |
50.55/50.84	c |     39557 |  101071   499500  1580218 | 2147483647    39542     36 |  8.181 % |
50.75/51.01	c |     39897 |  101071   499500  1580218 | 2147483647    39882     36 |  8.181 % |
50.85/51.17	c |     40269 |  101071   499500  1580218 | 2147483647    40254     36 |  8.181 % |
51.45/51.80	c |     40678 |  101071   499500  1580218 | 2147483647    40663     36 |  8.181 % |
51.75/52.03	c |     41127 |  101071   499500  1580218 | 2147483647    41112     36 |  8.181 % |
51.95/52.24	c |     41620 |  101071   499500  1580218 | 2147483647    41605     36 |  8.181 % |
52.45/52.72	c |     42163 |  100941   498950  1578568 | 2147483647    42140     36 |  8.491 % |
52.75/53.08	c |     42759 |  100941   498950  1578568 | 2147483647    42736     35 |  8.491 % |
53.25/53.57	c |     42862 |  100941   498950  1578568 | 2147483647    42839     36 |  8.491 % |
53.34/53.69	c |     42972 |  100941   498950  1578568 | 2147483647    42949     36 |  8.491 % |
53.44/53.75	c |     43094 |  100941   498950  1578568 | 2147483647    43071     36 |  8.491 % |
53.65/53.92	c |     43227 |  100941   498950  1578568 | 2147483647    43204     35 |  8.491 % |
54.14/54.49	c |     43373 |  100941   498950  1578568 | 2147483647    43350     36 |  8.491 % |
54.34/54.66	c |     43533 |  100941   498950  1578568 | 2147483647    43510     36 |  8.491 % |
54.44/54.74	c |     43709 |  100941   498950  1578568 | 2147483647    43686     36 |  8.491 % |
54.75/55.09	c |     43903 |  100941   498950  1578568 | 2147483647    43880     36 |  8.491 % |
54.84/55.19	c |     44117 |  100729   497887  1575389 | 2147483647    44093     35 |  8.491 % |
55.04/55.34	c |     44350 |  100729   497887  1575389 | 2147483647    44326     35 |  8.491 % |
55.34/55.61	c |     44607 |  100729   497887  1575389 | 2147483647    44583     35 |  8.491 % |
57.75/58.06	c |     44888 |  100729   497887  1575389 | 2147483647    44864     36 |  8.491 % |
58.05/58.34	c |     45197 |  100729   497887  1575389 | 2147483647    45173     36 |  8.491 % |
58.25/58.53	c |     45536 |  100729   497887  1575389 | 2147483647    45512     36 |  8.491 % |
58.45/58.74	c |     45908 |  100729   497887  1575389 | 2147483647    45884     36 |  8.491 % |
58.55/58.89	c |     46319 |  100729   497887  1575389 | 2147483647    46295     36 |  8.491 % |
58.65/58.98	c |     46768 |  100729   497887  1575389 | 2147483647    46744     36 |  8.491 % |
59.35/59.64	c |     47261 |  100729   497887  1575389 | 2147483647    47237     36 |  8.491 % |
59.65/59.92	c |     47803 |  100729   497887  1575389 | 2147483647    47779     36 |  8.491 % |
59.95/60.22	c |     48399 |  100729   497887  1575389 | 2147483647    48375     36 |  8.491 % |
60.55/60.89	c |     49054 |  100729   497887  1575389 | 2147483647    49030     36 |  8.491 % |
60.65/60.94	c |     49155 |  100729   497887  1575389 | 2147483647    49131     36 |  8.491 % |
60.65/60.96	c |     49265 |  100729   497887  1575389 | 2147483647    49241     36 |  8.491 % |
60.65/60.99	c |     49386 |  100729   497887  1575389 | 2147483647    49362     36 |  8.491 % |
60.74/61.08	c |     49520 |  100729   497887  1575389 | 2147483647    49496     36 |  8.491 % |
60.84/61.14	c |     49666 |  100729   497887  1575389 | 2147483647    49642     36 |  8.491 % |
61.25/61.56	c |     49826 |  100729   497887  1575389 | 2147483647    49802     36 |  8.491 % |
61.35/61.67	c |     50002 |  100729   497887  1575389 | 2147483647    49978     36 |  8.491 % |
61.45/61.74	c |     50195 |  100729   497887  1575389 | 2147483647    50171     36 |  8.491 % |
61.74/62.02	c |     50408 |  100729   497887  1575389 | 2147483647    50384     36 |  8.491 % |
61.94/62.27	c |     50641 |  100729   497887  1575389 | 2147483647    50617     36 |  8.491 % |
62.04/62.37	c |     50897 |  100729   497887  1575389 | 2147483647    50873     36 |  8.491 % |
62.14/62.45	c |     51180 |  100729   497887  1575389 | 2147483647    51156     36 |  8.491 % |
62.24/62.52	c |     51489 |  100729   497887  1575389 | 2147483647    51465     36 |  8.491 % |
62.24/62.59	c |     51828 |  100729   497887  1575389 | 2147483647    51804     36 |  8.491 % |
62.35/62.65	c |     52200 |  100729   497887  1575389 | 2147483647    52176     36 |  8.491 % |
62.54/62.85	c |     52611 |  100729   497887  1575389 | 2147483647    52587     35 |  8.491 % |
62.74/63.03	c |     53061 |  100729   497887  1575389 | 2147483647    53037     35 |  8.491 % |
63.04/63.32	c |     53554 |  100729   497887  1575389 | 2147483647    53530     35 |  8.491 % |
66.15/66.43	c |     54096 |  100729   497887  1575389 | 2147483647    54072     37 |  8.491 % |
66.65/66.92	c |     54693 |  100729   497887  1575389 | 2147483647    54669     36 |  8.491 % |
68.24/68.57	c |     55348 |  100729   497887  1575389 | 2147483647    55324     37 |  8.491 % |
69.24/69.51	c |     56068 |  100729   497887  1575389 | 2147483647    56044     37 |  8.491 % |
69.44/69.70	c |     56170 |  100729   497887  1575389 | 2147483647    56146     37 |  8.491 % |
69.64/69.97	c |     56280 |  100729   497887  1575389 | 2147483647    56256     37 |  8.491 % |
69.74/70.10	c |     56401 |  100729   497887  1575389 | 2147483647    56377     37 |  8.491 % |
69.84/70.18	c |     56535 |  100729   497887  1575389 | 2147483647    56511     37 |  8.491 % |
69.94/70.25	c |     56682 |  100729   497887  1575389 | 2147483647    56658     37 |  8.491 % |
70.05/70.38	c |     56842 |  100729   497887  1575389 | 2147483647    56818     37 |  8.491 % |
70.44/70.75	c |     57020 |  100729   497887  1575389 | 2147483647    56996     37 |  8.491 % |
70.84/71.11	c |     57214 |  100729   497887  1575389 | 2147483647    57190     37 |  8.491 % |
71.04/71.36	c |     57426 |  100729   497887  1575389 | 2147483647    57402     37 |  8.491 % |
71.34/71.65	c |     57660 |  100729   497887  1575389 | 2147483647    57636     37 |  8.491 % |
71.64/71.99	c |     57916 |  100729   497887  1575389 | 2147483647    57892     37 |  8.491 % |
71.94/72.26	c |     58198 |  100729   497887  1575389 | 2147483647    58174     37 |  8.491 % |
72.35/72.64	c |     58507 |  100729   497887  1575389 | 2147483647    58483     37 |  8.491 % |
72.54/72.82	c |     58846 |  100729   497887  1575389 | 2147483647    58822     37 |  8.491 % |
72.74/73.00	c |     59219 |  100729   497887  1575389 | 2147483647    59195     37 |  8.491 % |
73.04/73.36	c |     59628 |  100729   497887  1575389 | 2147483647    59604     37 |  8.491 % |
75.84/76.13	c |     60081 |  100729   497887  1575389 | 2147483647    60057     39 |  8.491 % |
78.84/79.11	c |     60574 |  100729   497887  1575389 | 2147483647    60550     40 |  8.491 % |
79.74/80.00	c |     61116 |  100729   497887  1575389 | 2147483647    61092     40 |  8.491 % |
80.24/80.55	c |     61713 |  100729   497887  1575389 | 2147483647    61689     41 |  8.491 % |
80.54/80.84	c |     62370 |  100729   497887  1575389 | 2147483647    62346     41 |  8.491 % |
80.94/81.26	c |     63091 |  100729   497887  1575389 | 2147483647    63067     40 |  8.491 % |
82.25/82.59	c |     63884 |  100729   497887  1575389 | 2147483647    63860     41 |  8.491 % |
82.34/82.65	c |     63986 |  100729   497887  1575389 | 2147483647    63962     41 |  8.491 % |
82.44/82.79	c |     64099 |  100729   497887  1575389 | 2147483647    64075     41 |  8.491 % |
82.54/82.87	c |     64221 |  100729   497887  1575389 | 2147483647    64197     41 |  8.491 % |
82.84/83.14	c |     64355 |  100729   497887  1575389 | 2147483647    64331     41 |  8.491 % |
83.04/83.40	c |     64502 |  100729   497887  1575389 | 2147483647    64478     41 |  8.491 % |
83.35/83.63	c |     64663 |  100729   497887  1575389 | 2147483647    64639     41 |  8.491 % |
83.54/83.80	c |     64839 |  100729   497887  1575389 | 2147483647    64815     41 |  8.491 % |
83.74/84.00	c |     65034 |  100729   497887  1575389 | 2147483647    65010     41 |  8.491 % |
83.84/84.16	c |     65247 |  100729   497887  1575389 | 2147483647    65223     41 |  8.491 % |
85.84/86.12	c |     65481 |  100729   497887  1575389 | 2147483647    65457     42 |  8.491 % |
86.04/86.39	c |     65737 |  100729   497887  1575389 | 2147483647    65713     42 |  8.491 % |
86.14/86.47	c |     66018 |  100729   497887  1575389 | 2147483647    65994     42 |  8.491 % |
86.54/86.87	c |     66328 |  100729   497887  1575389 | 2147483647    66304     42 |  8.491 % |
86.93/87.25	c |     66667 |  100729   497887  1575389 | 2147483647    66643     42 |  8.491 % |
87.03/87.38	c |     67040 |  100729   497887  1575389 | 2147483647    67016     42 |  8.491 % |
87.13/87.49	c |     67449 |  100729   497887  1575389 | 2147483647    67425     42 |  8.491 % |
87.33/87.62	c |     67901 |  100729   497887  1575389 | 2147483647    67877     42 |  8.491 % |
87.43/87.76	c |     68395 |  100729   497887  1575389 | 2147483647    68371     42 |  8.491 % |
87.64/87.91	c |     68938 |  100729   497887  1575389 | 2147483647    68914     42 |  8.491 % |
89.33/89.69	c |     69534 |  100729   497887  1575389 | 2147483647    69510     42 |  8.491 % |
90.43/90.75	c |     70189 |  100729   497887  1575389 | 2147483647    70165     42 |  8.491 % |
90.83/91.17	c |     70910 |  100729   497887  1575389 | 2147483647    70886     42 |  8.491 % |
101.43/101.78	c |     71702 |  100729   497887  1575389 | 2147483647    71678     45 |  8.491 % |
101.63/101.99	c |     72573 |  100729   497887  1575389 | 2147483647    72549     45 |  8.491 % |
101.83/102.17	c |     72673 |  100729   497887  1575389 | 2147483647    72649     45 |  8.491 % |
101.94/102.25	c |     72784 |  100729   497887  1575389 | 2147483647    72760     45 |  8.491 % |
101.94/102.30	c |     72906 |  100729   497887  1575389 | 2147483647    72882     45 |  8.491 % |
102.13/102.41	c |     73039 |  100729   497887  1575389 | 2147483647    73015     45 |  8.491 % |
102.53/102.89	c |     73186 |  100729   497887  1575389 | 2147483647    73162     45 |  8.491 % |
102.63/102.97	c |     73349 |  100729   497887  1575389 | 2147483647    73325     45 |  8.491 % |
102.73/103.04	c |     73526 |  100729   497887  1575389 | 2147483647    73502     45 |  8.491 % |
102.83/103.19	c |     73720 |  100729   497887  1575389 | 2147483647    73696     45 |  8.491 % |
103.14/103.46	c |     73934 |  100729   497887  1575389 | 2147483647    73910     45 |  8.491 % |
103.23/103.57	c |     74170 |  100729   497887  1575389 | 2147483647    74146     45 |  8.491 % |
103.63/103.91	c |     74427 |  100729   497887  1575389 | 2147483647    74403     45 |  8.491 % |
104.33/104.68	c |     74708 |  100729   497887  1575389 | 2147483647    74684     45 |  8.491 % |
104.63/104.94	c |     75018 |  100729   497887  1575389 | 2147483647    74994     45 |  8.491 % |
105.03/105.32	c |     75358 |  100729   497887  1575389 | 2147483647    75334     45 |  8.491 % |
105.43/105.70	c |     75732 |  100729   497887  1575389 | 2147483647    75708     45 |  8.491 % |
105.83/106.11	c |     76141 |  100729   497887  1575389 | 2147483647    76117     45 |  8.491 % |
106.23/106.53	c |     76591 |  100729   497887  1575389 | 2147483647    76567     45 |  8.491 % |
106.43/106.72	c |     77084 |  100729   497887  1575389 | 2147483647    77060     45 |  8.491 % |
106.53/106.88	c |     77626 |  100729   497887  1575389 | 2147483647    77602     45 |  8.491 % |
109.82/110.18	c |     78222 |  100729   497887  1575389 | 2147483647    78198     46 |  8.491 % |
110.73/111.04	c |     78877 |  100729   497887  1575389 | 2147483647    78853     46 |  8.491 % |
111.42/111.74	c |     79597 |  100729   497887  1575389 | 2147483647    79573     46 |  8.491 % |
111.83/112.16	c |     80390 |  100729   497887  1575389 | 2147483647    80366     46 |  8.491 % |
112.02/112.36	c |     81261 |  100729   497887  1575389 | 2147483647    81237     46 |  8.491 % |
123.32/123.63	c |     82219 |  100729   497887  1575389 | 2147483647    82195     49 |  8.491 % |
123.62/123.94	c |     82319 |  100729   497887  1575389 | 2147483647    82295     49 |  8.491 % |
123.72/124.00	c |     82430 |  100729   497887  1575389 | 2147483647    82406     49 |  8.491 % |
123.82/124.18	c |     82551 |  100729   497887  1575389 | 2147483647    82527     49 |  8.491 % |
124.12/124.42	c |     82685 |  100729   497887  1575389 | 2147483647    82661     49 |  8.491 % |
124.12/124.48	c |     82832 |  100729   497887  1575389 | 2147483647    82808     49 |  8.491 % |
124.22/124.51	c |     82992 |  100729   497887  1575389 | 2147483647    82968     49 |  8.491 % |
124.42/124.73	c |     83169 |  100729   497887  1575389 | 2147483647    83145     49 |  8.491 % |
125.32/125.63	c |     83362 |  100729   497887  1575389 | 2147483647    83338     49 |  8.491 % |
125.42/125.76	c |     83574 |  100729   497887  1575389 | 2147483647    83550     49 |  8.491 % |
125.52/125.86	c |     83807 |  100729   497887  1575389 | 2147483647    83783     49 |  8.491 % |
125.62/125.95	c |     84064 |  100729   497887  1575389 | 2147483647    84040     49 |  8.491 % |
125.72/126.02	c |     84345 |  100729   497887  1575389 | 2147483647    84321     49 |  8.491 % |
125.72/126.10	c |     84654 |  100729   497887  1575389 | 2147483647    84630     49 |  8.491 % |
125.92/126.22	c |     84993 |  100729   497887  1575389 | 2147483647    84969     49 |  8.491 % |
126.12/126.42	c |     85365 |  100729   497887  1575389 | 2147483647    85341     49 |  8.491 % |
126.22/126.58	c |     85774 |  100729   497887  1575389 | 2147483647    85750     49 |  8.491 % |
126.32/126.67	c |     86225 |  100729   497887  1575389 | 2147483647    86201     49 |  8.491 % |
126.82/127.17	c |     86718 |  100729   497887  1575389 | 2147483647    86694     49 |  8.491 % |
127.12/127.48	c |     87261 |  100729   497887  1575389 | 2147483647    87237     49 |  8.491 % |
127.42/127.71	c |     87858 |  100729   497887  1575389 | 2147483647    87834     48 |  8.491 % |
127.72/128.03	c |     88514 |  100729   497887  1575389 | 2147483647    88490     48 |  8.491 % |
128.12/128.44	c |     89235 |  100729   497887  1575389 | 2147483647    89211     48 |  8.491 % |
128.62/128.92	c |     90028 |  100729   497887  1575389 | 2147483647    90004     48 |  8.491 % |
128.82/129.18	c |     90901 |  100729   497887  1575389 | 2147483647    90877     48 |  8.491 % |
129.12/129.48	c |     91859 |  100729   497887  1575389 | 2147483647    91835     48 |  8.491 % |
137.71/138.06	c |     92912 |  100729   497887  1575389 | 2147483647    92888     50 |  8.491 % |
137.81/138.14	c |     93012 |  100729   497887  1575389 | 2147483647    92988     50 |  8.491 % |
138.32/138.68	c |     93123 |  100729   497887  1575389 | 2147483647    93099     50 |  8.491 % |
138.41/138.72	c |     93244 |  100729   497887  1575389 | 2147483647    93220     50 |  8.491 % |
138.51/138.81	c |     93378 |  100729   497887  1575389 | 2147483647    93354     50 |  8.491 % |
138.51/138.87	c |     93524 |  100729   497887  1575389 | 2147483647    93500     50 |  8.491 % |
138.71/139.02	c |     93684 |  100729   497887  1575389 | 2147483647    93660     50 |  8.491 % |
138.81/139.16	c |     93860 |  100729   497887  1575389 | 2147483647    93836     50 |  8.491 % |
139.01/139.32	c |     94053 |  100729   497887  1575389 | 2147483647    94029     50 |  8.491 % |
139.11/139.48	c |     94266 |  100729   497887  1575389 | 2147483647    94242     50 |  8.491 % |
139.21/139.55	c |     94500 |  100729   497887  1575389 | 2147483647    94476     50 |  8.491 % |
139.42/139.76	c |     94757 |  100729   497887  1575389 | 2147483647    94733     50 |  8.491 % |
139.51/139.86	c |     95040 |  100729   497887  1575389 | 2147483647    95016     50 |  8.491 % |
140.52/140.84	c |     95350 |  100729   497887  1575389 | 2147483647    95326     50 |  8.491 % |
140.61/140.93	c |     95689 |  100729   497887  1575389 | 2147483647    95665     50 |  8.491 % |
140.81/141.12	c |     96063 |  100729   497887  1575389 | 2147483647    96039     50 |  8.491 % |
141.01/141.39	c |     96474 |  100729   497887  1575389 | 2147483647    96450     50 |  8.491 % |
141.31/141.60	c |     96923 |  100729   497887  1575389 | 2147483647    96899     50 |  8.491 % |
141.51/141.87	c |     97418 |  100729   497887  1575389 | 2147483647    97394     50 |  8.491 % |
141.71/142.05	c |     97960 |  100729   497887  1575389 | 2147483647    97936     49 |  8.491 % |
142.12/142.40	c |     98556 |  100729   497887  1575389 | 2147483647    98532     49 |  8.491 % |
142.72/143.02	c |     99213 |  100729   497887  1575389 | 2147483647    99189     49 |  8.491 % |
143.32/143.69	c |     99933 |  100729   497887  1575389 | 2147483647    99909     49 |  8.491 % |
143.92/144.20	c |    100725 |  100729   497887  1575389 | 2147483647   100701     49 |  8.491 % |
151.91/152.26	c |    101596 |  100729   497887  1575389 | 2147483647   101572     51 |  8.491 % |
152.61/152.95	c |    102554 |  100729   497887  1575389 | 2147483647   102530     51 |  8.491 % |
152.91/153.26	c |    103607 |  100729   497887  1575389 | 2147483647   103583     51 |  8.491 % |
153.51/153.88	c |    104766 |  100729   497887  1575389 | 2147483647   104742     50 |  8.491 % |
154.01/154.38	c |    104866 |  100729   497887  1575389 | 2147483647   104842     50 |  8.491 % |
154.11/154.47	c |    104977 |  100729   497887  1575389 | 2147483647   104953     50 |  8.491 % |
154.21/154.58	c |    105099 |  100729   497887  1575389 | 2147483647   105075     50 |  8.491 % |
154.31/154.68	c |    105234 |  100729   497887  1575389 | 2147483647   105210     50 |  8.491 % |
154.51/154.84	c |    105380 |  100729   497887  1575389 | 2147483647   105356     50 |  8.491 % |
154.71/155.03	c |    105541 |  100729   497887  1575389 | 2147483647   105517     50 |  8.491 % |
154.81/155.18	c |    105718 |  100729   497887  1575389 | 2147483647   105694     50 |  8.491 % |
157.41/157.70	c |    105912 |  100729   497887  1575389 | 2147483647   105888     51 |  8.491 % |
157.51/157.90	c |    106125 |  100729   497887  1575389 | 2147483647   106101     51 |  8.491 % |
157.61/157.99	c |    106361 |  100729   497887  1575389 | 2147483647   106337     51 |  8.491 % |
157.91/158.22	c |    106617 |  100729   497887  1575389 | 2147483647   106593     51 |  8.491 % |
158.21/158.50	c |    106898 |  100729   497887  1575389 | 2147483647   106874     51 |  8.491 % |
158.51/158.81	c |    107207 |  100729   497887  1575389 | 2147483647   107183     51 |  8.491 % |
164.11/164.48	c |    107547 |  100729   497887  1575389 | 2147483647   107523     51 |  8.491 % |
164.31/164.62	c |    107919 |  100729   497887  1575389 | 2147483647   107895     51 |  8.491 % |
164.51/164.82	c |    108328 |  100729   497887  1575389 | 2147483647   108304     51 |  8.491 % |
164.61/164.96	c |    108778 |  100729   497887  1575389 | 2147483647   108754     51 |  8.491 % |
164.81/165.17	c |    109271 |  100729   497887  1575389 | 2147483647   109247     51 |  8.491 % |
165.11/165.49	c |    109813 |  100729   497887  1575389 | 2147483647   109789     51 |  8.491 % |
165.31/165.69	c |    110409 |  100729   497887  1575389 | 2147483647   110385     51 |  8.491 % |
165.61/165.98	c |    111066 |  100729   497887  1575389 | 2147483647   111042     51 |  8.491 % |
174.61/174.94	c |    111786 |  100729   497887  1575389 | 2147483647   111762     53 |  8.491 % |
175.50/175.81	c |    112579 |  100729   497887  1575389 | 2147483647   112555     52 |  8.491 % |
175.71/176.02	c |    113450 |  100729   497887  1575389 | 2147483647   113426     52 |  8.491 % |
176.50/176.87	c |    114408 |  100729   497887  1575389 | 2147483647   114384     52 |  8.491 % |
177.20/177.57	c |    115461 |  100729   497887  1575389 | 2147483647   115437     52 |  8.491 % |
180.70/181.07	c |    116620 |  100729   497887  1575389 | 2147483647   116596     52 |  8.491 % |
181.50/181.82	c |    117895 |  100729   497887  1575389 | 2147483647   117871     52 |  8.491 % |
181.70/182.06	c |    117997 |  100729   497887  1575389 | 2147483647   117973     52 |  8.491 % |
181.80/182.19	c |    118107 |  100729   497887  1575389 | 2147483647   118083     52 |  8.491 % |
181.90/182.27	c |    118229 |  100729   497887  1575389 | 2147483647   118205     52 |  8.491 % |
182.00/182.35	c |    118363 |  100729   497887  1575389 | 2147483647   118339     52 |  8.491 % |
182.20/182.50	c |    118509 |  100729   497887  1575389 | 2147483647   118485     52 |  8.491 % |
182.49/182.87	c |    118670 |  100729   497887  1575389 | 2147483647   118646     52 |  8.491 % |
182.69/183.01	c |    118847 |  100729   497887  1575389 | 2147483647   118823     52 |  8.491 % |
182.69/183.07	c |    119042 |  100729   497887  1575389 | 2147483647   119018     52 |  8.491 % |
182.89/183.25	c |    119254 |  100729   497887  1575389 | 2147483647   119230     52 |  8.491 % |
183.09/183.45	c |    119487 |  100729   497887  1575389 | 2147483647   119463     52 |  8.491 % |
183.19/183.56	c |    119743 |  100729   497887  1575389 | 2147483647   119719     52 |  8.491 % |
183.30/183.66	c |    120025 |  100729   497887  1575389 | 2147483647   120001     52 |  8.491 % |
183.40/183.79	c |    120334 |  100729   497887  1575389 | 2147483647   120310     52 |  8.491 % |
183.59/183.94	c |    120674 |  100729   497887  1575389 | 2147483647   120650     52 |  8.491 % |
183.79/184.10	c |    121046 |  100729   497887  1575389 | 2147483647   121022     52 |  8.491 % |
183.99/184.36	c |    121457 |  100729   497887  1575389 | 2147483647   121433     52 |  8.491 % |
186.40/186.74	c |    121908 |  100729   497887  1575389 | 2147483647   121884     52 |  8.491 % |
186.90/187.22	c |    122402 |  100729   497887  1575389 | 2147483647   122378     52 |  8.491 % |
187.70/188.10	c |    122947 |  100719   497839  1575243 | 2147483647   122920     52 |  8.500 % |
188.10/188.50	c |    123543 |  100717   497839  1575243 | 2147483647   123515     52 |  8.502 % |
188.60/188.90	c |    124198 |  100717   497839  1575243 | 2147483647   124170     52 |  8.502 % |
189.00/189.35	c |    124920 |  100717   497839  1575243 | 2147483647   124892     52 |  8.502 % |
189.40/189.72	c |    125715 |  100717   497839  1575243 | 2147483647   125687     52 |  8.502 % |
189.60/189.97	c |    126586 |  100717   497839  1575243 | 2147483647   126558     52 |  8.502 % |
190.20/190.51	c |    127544 |  100717   497839  1575243 | 2147483647   127516     51 |  8.502 % |
191.59/191.95	c |    128597 |  100717   497839  1575243 | 2147483647   128569     52 |  8.502 % |
192.10/192.47	c |    129755 |  100717   497839  1575243 | 2147483647   129727     51 |  8.502 % |
192.69/193.07	c |    131028 |  100717   497839  1575243 | 2147483647   131000     51 |  8.502 % |
193.79/194.12	c |    132430 |  100717   497839  1575243 | 2147483647   132402     51 |  8.502 % |
193.79/194.18	c |    132530 |  100717   497839  1575243 | 2147483647   132502     51 |  8.502 % |
193.89/194.23	c |    132641 |  100717   497839  1575243 | 2147483647   132613     51 |  8.502 % |
193.99/194.32	c |    132762 |  100717   497839  1575243 | 2147483647   132734     51 |  8.502 % |
194.09/194.42	c |    132897 |  100717   497839  1575243 | 2147483647   132869     51 |  8.502 % |
194.30/194.64	c |    133043 |  100717   497839  1575243 | 2147483647   133015     51 |  8.502 % |
194.30/194.69	c |    133203 |  100717   497839  1575243 | 2147483647   133175     51 |  8.502 % |
194.49/194.84	c |    133379 |  100717   497839  1575243 | 2147483647   133351     51 |  8.502 % |
194.59/194.93	c |    133572 |  100717   497839  1575243 | 2147483647   133544     51 |  8.502 % |
194.70/195.03	c |    133785 |  100717   497839  1575243 | 2147483647   133757     51 |  8.502 % |
194.80/195.15	c |    134018 |  100717   497839  1575243 | 2147483647   133990     51 |  8.502 % |
194.90/195.28	c |    134274 |  100717   497839  1575243 | 2147483647   134246     51 |  8.502 % |
196.60/196.96	c |    134555 |  100717   497839  1575243 | 2147483647   134527     51 |  8.502 % |
196.90/197.28	c |    134869 |  100717   497832  1575221 | 2147483647   134840     51 |  8.502 % |
197.10/197.44	c |    135210 |  100717   497832  1575221 | 2147483647   135181     51 |  8.502 % |
197.30/197.65	c |    135582 |  100717   497832  1575221 | 2147483647   135553     51 |  8.502 % |
197.80/198.10	c |    135991 |  100717   497832  1575221 | 2147483647   135962     51 |  8.502 % |
197.90/198.26	c |    136440 |  100717   497832  1575221 | 2147483647   136411     51 |  8.502 % |
198.60/198.91	c |    136933 |  100717   497832  1575221 | 2147483647   136904     51 |  8.502 % |
199.49/199.83	c |    137475 |  100717   497832  1575221 | 2147483647   137446     51 |  8.502 % |
199.80/200.11	c |    138071 |  100717   497832  1575221 | 2147483647   138042     51 |  8.502 % |
200.59/200.91	c |    138726 |  100717   497832  1575221 | 2147483647   138697     51 |  8.502 % |
201.19/201.56	c |    139448 |  100717   497832  1575221 | 2147483647   139419     51 |  8.502 % |
201.59/201.99	c |    140241 |  100717   497832  1575221 | 2147483647   140212     51 |  8.502 % |
203.19/203.58	c |    141113 |  100717   497832  1575221 | 2147483647   141084     51 |  8.502 % |
204.29/204.66	c |    142071 |  100717   497832  1575221 | 2147483647   142042     51 |  8.502 % |
204.70/205.04	c |    143124 |  100717   497832  1575221 | 2147483647   143095     51 |  8.502 % |
205.59/205.93	c |    144282 |  100717   497832  1575221 | 2147483647   144253     50 |  8.502 % |
206.29/206.69	c |    145555 |  100717   497832  1575221 | 2147483647   145526     50 |  8.502 % |
208.89/209.21	c |    146959 |  100717   497832  1575221 | 2147483647   146930     51 |  8.502 % |
210.89/211.22	c |    148499 |  100717   497832  1575221 | 2147483647   148470     51 |  8.502 % |
210.99/211.33	c |    148599 |  100717   497832  1575221 | 2147483647   148570     51 |  8.502 % |
211.09/211.49	c |    148709 |  100717   497832  1575221 | 2147483647   148680     51 |  8.502 % |
211.39/211.71	c |    148832 |  100717   497832  1575221 | 2147483647   148803     51 |  8.502 % |
211.79/212.19	c |    148966 |  100717   497832  1575221 | 2147483647   148937     51 |  8.502 % |
211.89/212.28	c |    149112 |  100717   497832  1575221 | 2147483647   149083     51 |  8.502 % |
212.19/212.53	c |    149272 |  100717   497832  1575221 | 2147483647   149243     51 |  8.502 % |
212.29/212.65	c |    149448 |  100717   497832  1575221 | 2147483647   149419     51 |  8.502 % |
212.39/212.79	c |    149641 |  100717   497832  1575221 | 2147483647   149612     51 |  8.502 % |
212.59/212.97	c |    149856 |  100717   497832  1575221 | 2147483647   149827     50 |  8.502 % |
212.89/213.24	c |    150091 |  100717   497832  1575221 | 2147483647   150062     50 |  8.502 % |
213.29/213.62	c |    150348 |  100717   497832  1575221 | 2147483647   150319     50 |  8.502 % |
213.39/213.79	c |    150629 |  100717   497832  1575221 | 2147483647   150600     50 |  8.502 % |
213.79/214.12	c |    150939 |  100717   497832  1575221 | 2147483647   150910     50 |  8.502 % |
214.29/214.65	c |    151278 |  100717   497832  1575221 | 2147483647   151249     50 |  8.502 % |
214.39/214.78	c |    151650 |  100717   497832  1575221 | 2147483647   151621     50 |  8.502 % |
214.78/215.15	c |    152059 |  100717   497832  1575221 | 2147483647   152030     50 |  8.502 % |
214.98/215.31	c |    152508 |  100717   497832  1575221 | 2147483647   152479     50 |  8.502 % |
215.48/215.83	c |    153001 |  100717   497832  1575221 | 2147483647   152972     50 |  8.502 % |
215.88/216.24	c |    153544 |  100717   497832  1575221 | 2147483647   153515     50 |  8.502 % |
216.08/216.41	c |    154140 |  100717   497832  1575221 | 2147483647   154111     50 |  8.502 % |
216.29/216.65	c |    154796 |  100717   497832  1575221 | 2147483647   154767     50 |  8.502 % |
222.09/222.41	c |    155517 |  100717   497832  1575221 | 2147483647   155488     51 |  8.502 % |
222.68/223.03	c |    156309 |  100717   497832  1575221 | 2147483647   156280     51 |  8.502 % |
222.99/223.32	c |    157180 |  100717   497832  1575221 | 2147483647   157151     51 |  8.502 % |
223.69/224.07	c |    158138 |  100717   497832  1575221 | 2147483647   158109     51 |  8.502 % |
224.78/225.16	c |    159195 |  100717   497832  1575221 | 2147483647   159166     50 |  8.502 % |
225.48/225.82	c |    160353 |  100717   497832  1575221 | 2147483647   160324     50 |  8.502 % |
225.88/226.27	c |    161627 |  100717   497832  1575221 | 2147483647   161598     50 |  8.502 % |
226.28/226.69	c |    163029 |  100717   497832  1575221 | 2147483647   163000     50 |  8.502 % |
227.08/227.43	c |    164569 |  100717   497832  1575221 | 2147483647   164540     50 |  8.502 % |
228.68/229.09	c |    166264 |  100717   497832  1575221 | 2147483647   166235     50 |  8.502 % |
228.78/229.14	c |    166365 |  100717   497832  1575221 | 2147483647   166336     50 |  8.502 % |
229.78/230.17	c |    166475 |  100717   497832  1575221 | 2147483647   166446     50 |  8.502 % |
230.28/230.61	c |    166598 |  100717   497832  1575221 | 2147483647   166569     50 |  8.502 % |
230.38/230.70	c |    166731 |  100717   497832  1575221 | 2147483647   166702     50 |  8.502 % |
230.48/230.82	c |    166877 |  100717   497832  1575221 | 2147483647   166848     50 |  8.502 % |
230.58/230.96	c |    167039 |  100717   497832  1575221 | 2147483647   167010     50 |  8.502 % |
230.78/231.13	c |    167216 |  100717   497832  1575221 | 2147483647   167187     50 |  8.502 % |
231.17/231.59	c |    167411 |  100717   497832  1575221 | 2147483647   167382     50 |  8.502 % |
231.57/231.92	c |    167623 |  100717   497832  1575221 | 2147483647   167594     50 |  8.502 % |
231.78/232.12	c |    167857 |  100717   497832  1575221 | 2147483647   167828     50 |  8.502 % |
232.37/232.75	c |    168114 |  100717   497832  1575221 | 2147483647   168085     50 |  8.502 % |
232.47/232.88	c |    168396 |  100717   497832  1575221 | 2147483647   168367     50 |  8.502 % |
232.67/233.03	c |    168705 |  100717   497832  1575221 | 2147483647   168676     50 |  8.502 % |
232.89/233.23	c |    169044 |  100717   497832  1575221 | 2147483647   169015     50 |  8.502 % |
233.08/233.47	c |    169416 |  100717   497832  1575221 | 2147483647   169387     50 |  8.502 % |
233.48/233.81	c |    169826 |  100717   497832  1575221 | 2147483647   169797     50 |  8.502 % |
234.38/234.77	c |    170275 |  100717   497832  1575221 | 2147483647   170246     50 |  8.502 % |
234.68/235.00	c |    170768 |  100717   497832  1575221 | 2147483647   170739     50 |  8.502 % |
234.99/235.31	c |    171310 |  100717   497832  1575221 | 2147483647   171281     50 |  8.502 % |
235.38/235.76	c |    171907 |  100717   497832  1575221 | 2147483647   171878     49 |  8.502 % |
235.88/236.27	c |    172563 |  100717   497832  1575221 | 2147483647   172534     49 |  8.502 % |
236.58/236.96	c |    173283 |  100717   497832  1575221 | 2147483647   173254     49 |  8.502 % |
236.98/237.35	c |    174075 |  100717   497832  1575221 | 2147483647   174046     49 |  8.502 % |
237.28/237.65	c |    174946 |  100717   497832  1575221 | 2147483647   174917     49 |  8.502 % |
237.78/238.16	c |    175906 |  100717   497832  1575221 | 2147483647   175877     49 |  8.502 % |
238.18/238.52	c |    176960 |  100717   497832  1575221 | 2147483647   176931     49 |  8.502 % |
240.07/240.48	c |    178119 |  100717   497832  1575221 | 2147483647   178090     49 |  8.502 % |
240.77/241.19	c |    179394 |  100717   497832  1575221 | 2147483647   179365     49 |  8.502 % |
241.58/241.98	c |    180797 |  100717   497832  1575221 | 2147483647   180768     49 |  8.502 % |
242.78/243.17	c |    182337 |  100717   497832  1575221 | 2147483647   182308     49 |  8.502 % |
244.28/244.63	c |    184032 |  100717   497832  1575221 | 2147483647   184003     49 |  8.502 % |
245.37/245.71	c |    185895 |  100717   497832  1575221 | 2147483647   185866     49 |  8.502 % |
245.47/245.80	c |    185995 |  100717   497832  1575221 | 2147483647   185966     49 |  8.502 % |
245.47/245.87	c |    186106 |  100717   497832  1575221 | 2147483647   186077     49 |  8.502 % |
245.57/245.93	c |    186229 |  100717   497832  1575221 | 2147483647   186200     49 |  8.502 % |
245.67/246.04	c |    186363 |  100717   497832  1575221 | 2147483647   186334     49 |  8.502 % |
245.87/246.20	c |    186509 |  100717   497832  1575221 | 2147483647   186480     49 |  8.502 % |
245.98/246.37	c |    186669 |  100717   497832  1575221 | 2147483647   186640     49 |  8.502 % |
246.17/246.58	c |    186845 |  100717   497832  1575221 | 2147483647   186816     49 |  8.502 % |
246.47/246.84	c |    187040 |  100717   497832  1575221 | 2147483647   187011     49 |  8.502 % |
249.17/249.50	c |    187252 |  100717   497832  1575221 | 2147483647   187223     49 |  8.502 % |
249.38/249.75	c |    187487 |  100717   497832  1575221 | 2147483647   187458     49 |  8.502 % |
249.77/250.10	c |    187743 |  100717   497832  1575221 | 2147483647   187714     49 |  8.502 % |
250.17/250.54	c |    188024 |  100717   497832  1575221 | 2147483647   187995     49 |  8.502 % |
250.37/250.71	c |    188334 |  100717   497832  1575221 | 2147483647   188305     49 |  8.502 % |
250.67/251.06	c |    188673 |  100717   497832  1575221 | 2147483647   188644     49 |  8.502 % |
251.57/251.98	c |    189046 |  100717   497832  1575221 | 2147483647   189017     49 |  8.502 % |
251.97/252.40	c |    189458 |  100717   497832  1575221 | 2147483647   189429     49 |  8.502 % |
252.37/252.79	c |    189907 |  100717   497832  1575221 | 2147483647   189878     49 |  8.502 % |
252.87/253.25	c |    190400 |  100717   497832  1575221 | 2147483647   190371     49 |  8.502 % |
253.47/253.81	c |    190942 |  100717   497832  1575221 | 2147483647   190913     49 |  8.502 % |
253.97/254.39	c |    191539 |  100717   497832  1575221 | 2147483647   191510     49 |  8.502 % |
254.37/254.79	c |    192194 |  100717   497832  1575221 | 2147483647   192165     49 |  8.502 % |
254.98/255.38	c |    192916 |  100717   497832  1575221 | 2147483647   192887     49 |  8.502 % |
256.08/256.41	c |    193708 |  100717   497832  1575221 | 2147483647   193679     49 |  8.502 % |
256.77/257.15	c |    194579 |  100717   497832  1575221 | 2147483647   194550     49 |  8.502 % |
257.37/257.71	c |    195537 |  100717   497832  1575221 | 2147483647   195508     49 |  8.502 % |
257.87/258.25	c |    196591 |  100717   497832  1575221 | 2147483647   196562     49 |  8.502 % |
258.47/258.83	c |    197749 |  100717   497832  1575221 | 2147483647   197720     48 |  8.502 % |
259.47/259.81	c |    199022 |  100717   497832  1575221 | 2147483647   198993     49 |  8.502 % |
273.47/273.89	c |    200422 |  100717   497832  1575221 | 2147483647   200393     50 |  8.502 % |
274.57/274.95	c |    201962 |  100717   497832  1575221 | 2147483647   201933     51 |  8.502 % |
276.06/276.48	c |    203657 |  100717   497832  1575221 | 2147483647   203628     50 |  8.502 % |
277.16/277.55	c |    205521 |  100717   497832  1575221 | 2147483647   205492     50 |  8.502 % |
278.96/279.38	c |    207570 |  100717   497832  1575221 | 2147483647   207541     50 |  8.502 % |
279.06/279.44	c |    207671 |  100717   497832  1575221 | 2147483647   207642     50 |  8.502 % |
279.16/279.54	c |    207781 |  100717   497832  1575221 | 2147483647   207752     50 |  8.502 % |
279.26/279.62	c |    207902 |  100717   497832  1575221 | 2147483647   207873     50 |  8.502 % |
279.36/279.71	c |    208035 |  100717   497832  1575221 | 2147483647   208006     50 |  8.502 % |
279.96/280.31	c |    208181 |  100717   497832  1575221 | 2147483647   208152     50 |  8.502 % |
280.36/280.77	c |    208342 |  100717   497832  1575221 | 2147483647   208313     50 |  8.502 % |
282.46/282.83	c |    208519 |  100717   497832  1575221 | 2147483647   208490     51 |  8.502 % |
282.56/282.90	c |    208713 |  100717   497832  1575221 | 2147483647   208684     51 |  8.502 % |
282.66/283.05	c |    208925 |  100717   497832  1575221 | 2147483647   208896     50 |  8.502 % |
282.76/283.16	c |    209158 |  100717   497832  1575221 | 2147483647   209129     50 |  8.502 % |
282.96/283.40	c |    209414 |  100717   497832  1575221 | 2147483647   209385     50 |  8.502 % |
283.26/283.68	c |    209697 |  100717   497832  1575221 | 2147483647   209668     50 |  8.502 % |
283.56/283.97	c |    210007 |  100717   497832  1575221 | 2147483647   209978     50 |  8.502 % |
284.15/284.58	c |    210347 |  100717   497832  1575221 | 2147483647   210318     50 |  8.502 % |
284.76/285.14	c |    210720 |  100717   497832  1575221 | 2147483647   210691     50 |  8.502 % |
288.35/288.77	c |    211129 |  100717   497832  1575221 | 2147483647   211100     51 |  8.502 % |
289.25/289.67	c |    211581 |  100717   497832  1575221 | 2147483647   211552     51 |  8.502 % |
289.96/290.40	c |    212075 |  100717   497832  1575221 | 2147483647   212046     51 |  8.502 % |
290.36/290.71	c |    212618 |  100717   497832  1575221 | 2147483647   212589     51 |  8.502 % |
290.76/291.18	c |    213214 |  100717   497832  1575221 | 2147483647   213185     51 |  8.502 % |
291.36/291.72	c |    213869 |  100717   497832  1575221 | 2147483647   213840     51 |  8.502 % |
293.06/293.43	c |    214589 |  100717   497832  1575221 | 2147483647   214560     51 |  8.502 % |
294.16/294.57	c |    215383 |  100717   497832  1575221 | 2147483647   215354     51 |  8.502 % |
295.25/295.65	c |    216254 |  100717   497832  1575221 | 2147483647   216225     51 |  8.502 % |
296.05/296.44	c |    217212 |  100717   497832  1575221 | 2147483647   217183     51 |  8.502 % |
296.75/297.11	c |    218266 |  100717   497832  1575221 | 2147483647   218237     51 |  8.502 % |
297.05/297.49	c |    219424 |  100717   497832  1575221 | 2147483647   219395     50 |  8.502 % |
306.46/306.81	c |    220697 |  100717   497832  1575221 | 2147483647   220668     52 |  8.502 % |
309.15/309.59	c |    222097 |  100717   497832  1575221 | 2147483647   222068     52 |  8.502 % |
321.65/322.06	c |    223637 |  100717   497832  1575221 | 2147483647   223608     53 |  8.502 % |
323.25/323.66	c |    225334 |  100332   497312  1573661 | 2147483647   225260     53 | 10.167 % |
324.84/325.30	c |    227198 |  100332   497312  1573661 | 2147483647   227124     53 | 10.167 % |
326.74/327.12	c |    229247 |  100332   497312  1573661 | 2147483647   229173     53 | 10.167 % |
328.64/329.06	c |    231500 |  100332   497312  1573661 | 2147483647   231426     53 | 10.167 % |
328.74/329.17	c |    231600 |  100332   497312  1573661 | 2147483647   231526     53 | 10.167 % |
328.94/329.36	c |    231710 |  100332   497312  1573661 | 2147483647   231636     53 | 10.167 % |
329.14/329.59	c |    231832 |  100332   497312  1573661 | 2147483647   231758     53 | 10.167 % |
329.34/329.77	c |    231965 |  100332   497312  1573661 | 2147483647   231891     53 | 10.167 % |
329.54/329.91	c |    232114 |  100332   497312  1573661 | 2147483647   232040     53 | 10.167 % |
332.44/332.87	c |    232275 |  100332   497312  1573661 | 2147483647   232201     53 | 10.167 % |
332.54/332.99	c |    232452 |  100332   497312  1573661 | 2147483647   232378     53 | 10.167 % |
332.74/333.16	c |    232645 |  100332   497312  1573661 | 2147483647   232571     53 | 10.167 % |
333.04/333.49	c |    232858 |  100332   497312  1573661 | 2147483647   232784     53 | 10.167 % |
333.24/333.63	c |    233092 |  100332   497312  1573661 | 2147483647   233018     53 | 10.167 % |
333.34/333.79	c |    233351 |  100332   497312  1573661 | 2147483647   233277     53 | 10.167 % |
333.74/334.14	c |    233633 |  100332   497312  1573661 | 2147483647   233559     53 | 10.167 % |
334.04/334.50	c |    233942 |  100332   497312  1573661 | 2147483647   233868     53 | 10.167 % |
334.34/334.74	c |    234282 |  100332   497312  1573661 | 2147483647   234208     53 | 10.167 % |
334.64/335.08	c |    234654 |  100332   497312  1573661 | 2147483647   234580     53 | 10.167 % |
334.94/335.31	c |    235063 |  100332   497312  1573661 | 2147483647   234989     53 | 10.167 % |
335.24/335.62	c |    235514 |  100332   497312  1573661 | 2147483647   235440     53 | 10.167 % |
336.24/336.64	c |    236007 |  100332   497312  1573661 | 2147483647   235933     53 | 10.167 % |
336.73/337.13	c |    236549 |  100332   497312  1573661 | 2147483647   236475     53 | 10.167 % |
337.24/337.65	c |    237145 |  100332   497312  1573661 | 2147483647   237071     53 | 10.167 % |
337.84/338.24	c |    237800 |  100332   497312  1573661 | 2147483647   237726     53 | 10.167 % |
338.54/338.91	c |    238521 |   98885   489274  1549557 | 2147483647   238376     52 | 10.167 % |
340.74/341.10	c |    239313 |   98885   489274  1549557 | 2147483647   239168     53 | 10.167 % |
341.94/342.36	c |    240184 |   98885   489274  1549557 | 2147483647   240039     53 | 10.167 % |
345.63/346.06	c |    241144 |   98885   489274  1549557 | 2147483647   240999     53 | 10.167 % |
347.43/347.86	c |    242199 |   98885   489274  1549557 | 2147483647   242054     53 | 10.167 % |
348.43/348.85	c |    243357 |   98885   489274  1549557 | 2147483647   243212     53 | 10.167 % |
349.83/350.20	c |    244630 |   98885   489274  1549557 | 2147483647   244485     53 | 10.167 % |
351.43/351.81	c |    246032 |   98885   489274  1549557 | 2147483647   245887     53 | 10.167 % |
352.04/352.42	c |    247572 |   98885   489274  1549557 | 2147483647   247427     53 | 10.167 % |
354.14/354.53	c |    249267 |   98885   489274  1549557 | 2147483647   249122     53 | 10.167 % |
364.53/364.96	c |    251130 |   98885   489274  1549557 | 2147483647   250985     54 | 10.167 % |
365.62/366.07	c |    253181 |   98885   489274  1549557 | 2147483647   253036     54 | 10.167 % |
369.52/369.97	c |    255435 |   98885   489274  1549557 | 2147483647   255290     54 | 10.167 % |
371.02/371.47	c |    257913 |   98885   489274  1549557 | 2147483647   257768     54 | 10.167 % |
371.93/372.30	c |    258013 |   98885   489274  1549557 | 2147483647   257868     54 | 10.167 % |
372.23/372.67	c |    258124 |   98885   489274  1549557 | 2147483647   257979     54 | 10.167 % |
374.13/374.51	c |    258246 |   98882   489270  1549549 | 2147483647   258098     54 | 10.169 % |
376.13/376.53	c |    258379 |   98882   489270  1549549 | 2147483647   258231     54 | 10.169 % |
378.82/379.27	c |    258526 |   98882   489270  1549549 | 2147483647   258378     54 | 10.169 % |
379.13/379.51	c |    258688 |   98882   489270  1549549 | 2147483647   258540     54 | 10.169 % |
379.42/379.84	c |    258865 |   98882   489270  1549549 | 2147483647   258717     54 | 10.169 % |
379.52/379.94	c |    259058 |   98882   489270  1549549 | 2147483647   258910     54 | 10.169 % |
379.72/380.17	c |    259272 |   98882   489270  1549549 | 2147483647   259124     54 | 10.169 % |
379.92/380.35	c |    259508 |   98882   489270  1549549 | 2147483647   259360     54 | 10.169 % |
380.13/380.54	c |    259764 |   98882   489270  1549549 | 2147483647   259616     54 | 10.169 % |
380.42/380.86	c |    260046 |   98882   489270  1549549 | 2147483647   259898     54 | 10.169 % |
380.62/381.03	c |    260357 |   98882   489270  1549549 | 2147483647   260209     54 | 10.169 % |
380.72/381.12	c |    260699 |   98882   489270  1549549 | 2147483647   260551     54 | 10.169 % |
381.02/381.42	c |    261073 |   98882   489270  1549549 | 2147483647   260925     54 | 10.169 % |
381.72/382.19	c |    261483 |   98882   489270  1549549 | 2147483647   261335     54 | 10.169 % |
381.92/382.37	c |    261935 |   98882   489270  1549549 | 2147483647   261787     54 | 10.169 % |
382.32/382.73	c |    262429 |   98882   489270  1549549 | 2147483647   262281     54 | 10.169 % |
382.82/383.24	c |    262972 |   98882   489270  1549549 | 2147483647   262824     54 | 10.169 % |
383.32/383.79	c |    263568 |   98882   489270  1549549 | 2147483647   263420     54 | 10.169 % |
383.82/384.26	c |    264223 |   98882   489270  1549549 | 2147483647   264075     54 | 10.169 % |
391.52/391.90	c |    264943 |   98882   489270  1549549 | 2147483647   264795     54 | 10.169 % |
392.02/392.42	c |    265735 |   98882   489270  1549549 | 2147483647   265587     54 | 10.169 % |
393.02/393.41	c |    266606 |   98882   489262  1549533 | 2147483647   266458     54 | 10.169 % |
394.02/394.48	c |    267564 |   98882   489262  1549533 | 2147483647   267416     54 | 10.169 % |
394.62/395.03	c |    268617 |   98882   489262  1549533 | 2147483647   268469     54 | 10.169 % |
395.21/395.66	c |    269776 |   98882   489262  1549533 | 2147483647   269628     54 | 10.169 % |
395.81/396.20	c |    271050 |   98882   489262  1549533 | 2147483647   270902     54 | 10.169 % |
397.82/398.25	c |    272451 |   98882   489262  1549533 | 2147483647   272303     54 | 10.169 % |
399.02/399.43	c |    273993 |   98882   489262  1549533 | 2147483647   273845     54 | 10.169 % |
402.22/402.66	c |    275687 |   98882   489262  1549533 | 2147483647   275539     54 | 10.169 % |
422.31/422.78	c |    277550 |   98882   489262  1549533 | 2147483647   277402     56 | 10.169 % |
430.60/431.00	c |    279600 |   98882   489262  1549533 | 2147483647   279452     56 | 10.169 % |
433.70/434.17	c |    281853 |   98882   489262  1549533 | 2147483647   281705     56 | 10.169 % |
435.10/435.57	c |    284331 |   98882   489262  1549533 | 2147483647   284183     56 | 10.169 % |
437.00/437.48	c |    287056 |   98882   489262  1549533 | 2147483647   286908     56 | 10.169 % |
437.10/437.56	c |    287156 |   98882   489262  1549533 | 2147483647   287008     56 | 10.169 % |
437.20/437.62	c |    287266 |   98882   489262  1549533 | 2147483647   287118     56 | 10.169 % |
437.30/437.80	c |    287388 |   98882   489262  1549533 | 2147483647   287240     56 | 10.169 % |
437.50/437.98	c |    287521 |   98882   489262  1549533 | 2147483647   287373     56 | 10.169 % |
437.80/438.27	c |    287668 |   98882   489262  1549533 | 2147483647   287520     55 | 10.169 % |
438.30/438.76	c |    287829 |   98882   489262  1549533 | 2147483647   287681     55 | 10.169 % |
438.40/438.84	c |    288008 |   98882   489262  1549533 | 2147483647   287860     55 | 10.169 % |
438.90/439.38	c |    288201 |   98882   489262  1549533 | 2147483647   288053     55 | 10.169 % |
439.10/439.58	c |    288414 |   98882   489262  1549533 | 2147483647   288266     55 | 10.169 % |
439.40/439.85	c |    288648 |   98882   489262  1549533 | 2147483647   288500     55 | 10.169 % |
439.80/440.20	c |    288905 |   98882   489262  1549533 | 2147483647   288757     55 | 10.169 % |
440.10/440.51	c |    289186 |   98882   489262  1549533 | 2147483647   289038     55 | 10.169 % |
440.39/440.89	c |    289495 |   98882   489262  1549533 | 2147483647   289347     55 | 10.169 % |
443.49/443.91	c |    289835 |   98882   489262  1549533 | 2147483647   289687     55 | 10.169 % |
446.59/447.08	c |    290207 |   98882   489262  1549533 | 2147483647   290059     56 | 10.169 % |
447.59/448.07	c |    290616 |   98882   489262  1549533 | 2147483647   290468     56 | 10.169 % |
448.39/448.87	c |    291065 |   98882   489262  1549533 | 2147483647   290917     56 | 10.169 % |
448.79/449.24	c |    291559 |   98882   489262  1549533 | 2147483647   291411     55 | 10.169 % |
450.50/450.97	c |    292101 |   98882   489262  1549533 | 2147483647   291953     56 | 10.169 % |
451.50/451.95	c |    292697 |   98882   489262  1549533 | 2147483647   292549     56 | 10.169 % |
452.00/452.47	c |    293353 |   98882   489262  1549533 | 2147483647   293205     56 | 10.169 % |
452.90/453.33	c |    294075 |   98882   489262  1549533 | 2147483647   293927     56 | 10.169 % |
453.39/453.84	c |    294867 |   98882   489262  1549533 | 2147483647   294719     56 | 10.169 % |
455.09/455.51	c |    295738 |   98882   489262  1549533 | 2147483647   295590     55 | 10.169 % |
455.49/455.96	c |    296699 |   98882   489262  1549533 | 2147483647   296551     55 | 10.169 % |
458.29/458.72	c |    297752 |   98882   489262  1549533 | 2147483647   297604     55 | 10.169 % |
471.99/472.41	c |    298910 |   98882   489262  1549533 | 2147483647   298762     56 | 10.169 % |
473.39/473.82	c |    300183 |   98882   489262  1549533 | 2147483647   300035     56 | 10.169 % |
485.08/485.52	c |    301583 |   98882   489262  1549533 | 2147483647   301435     58 | 10.169 % |
487.48/487.96	c |    303123 |   98882   489262  1549533 | 2147483647   302975     58 | 10.169 % |
488.48/488.93	c |    304818 |   98882   489262  1549533 | 2147483647   304670     57 | 10.169 % |
507.97/508.45	c |    306681 |   98882   489262  1549533 | 2147483647   306533     59 | 10.169 % |
508.97/509.49	c |    308730 |   98882   489262  1549533 | 2147483647   308582     59 | 10.169 % |
513.08/513.58	c |    310983 |   98882   489262  1549533 | 2147483647   310835     59 | 10.169 % |
520.37/520.88	c |    313461 |   98882   489262  1549533 | 2147483647   313313     60 | 10.169 % |
521.87/522.31	c |    316186 |   98882   489262  1549533 | 2147483647   316038     60 | 10.169 % |
527.86/528.38	c |    319183 |   98882   489262  1549533 | 2147483647   319035     60 | 10.169 % |
527.96/528.49	c |    319285 |   98882   489262  1549533 | 2147483647   319137     60 | 10.169 % |
528.06/528.52	c |    319396 |   98882   489262  1549533 | 2147483647   319248     60 | 10.169 % |
528.46/528.91	c |    319518 |   98882   489262  1549533 | 2147483647   319370     60 | 10.169 % |
528.57/529.02	c |    319653 |   98882   489262  1549533 | 2147483647   319505     60 | 10.169 % |
528.66/529.14	c |    319799 |   98882   489262  1549533 | 2147483647   319651     59 | 10.169 % |
529.06/529.51	c |    319959 |   98882   489262  1549533 | 2147483647   319811     59 | 10.169 % |
529.26/529.70	c |    320135 |   98882   489262  1549533 | 2147483647   319987     59 | 10.169 % |
529.36/529.83	c |    320329 |   98882   489262  1549533 | 2147483647   320181     59 | 10.169 % |
529.76/530.23	c |    320542 |   98882   489262  1549533 | 2147483647   320394     59 | 10.169 % |
530.66/531.15	c |    320776 |   98882   489262  1549533 | 2147483647   320628     59 | 10.169 % |
530.86/531.35	c |    321032 |   98882   489262  1549533 | 2147483647   320884     59 | 10.169 % |
533.36/533.89	c |    321314 |   98882   489262  1549533 | 2147483647   321166     60 | 10.169 % |
534.06/534.52	c |    321624 |   98882   489262  1549533 | 2147483647   321476     60 | 10.169 % |
534.26/534.75	c |    321963 |   98882   489262  1549533 | 2147483647   321815     60 | 10.169 % |
534.56/535.05	c |    322337 |   98882   489262  1549533 | 2147483647   322189     60 | 10.169 % |
535.06/535.52	c |    322746 |   98882   489262  1549533 | 2147483647   322598     60 | 10.169 % |
535.56/536.03	c |    323195 |   98882   489262  1549533 | 2147483647   323047     60 | 10.169 % |
537.06/537.54	c |    323688 |   98882   489262  1549533 | 2147483647   323540     60 | 10.169 % |
537.37/537.82	c |    324230 |   98882   489262  1549533 | 2147483647   324082     59 | 10.169 % |
537.66/538.12	c |    324826 |   98882   489262  1549533 | 2147483647   324678     59 | 10.169 % |
538.86/539.32	c |    325483 |   98807   489225  1549422 | 2147483647   325324     59 | 10.257 % |
539.46/539.94	c |    326206 |   98807   489225  1549422 | 2147483647   326047     59 | 10.257 % |
539.96/540.41	c |    326998 |   98807   489225  1549422 | 2147483647   326839     59 | 10.257 % |
545.56/546.07	c |    327869 |   98807   489225  1549422 | 2147483647   327710     60 | 10.257 % |
546.75/547.22	c |    328828 |   98807   489225  1549422 | 2147483647   328669     60 | 10.257 % |
548.65/549.19	c |    329882 |   98807   489225  1549422 | 2147483647   329723     60 | 10.257 % |
550.15/550.60	c |    331041 |   98807   489225  1549422 | 2147483647   330882     60 | 10.257 % |
550.95/551.40	c |    332315 |   98807   489225  1549422 | 2147483647   332156     60 | 10.257 % |
567.94/568.41	c |    333717 |   98807   489225  1549422 | 2147483647   333558     61 | 10.258 % |
569.65/570.18	c |    335261 |   98785   488807  1548168 | 2147483647   335084     61 | 10.257 % |
570.85/571.37	c |    336955 |   98785   488807  1548168 | 2147483647   336778     61 | 10.257 % |
572.45/573.00	c |    338819 |   98785   488807  1548168 | 2147483647   338642     61 | 10.257 % |
574.35/574.85	c |    340869 |   98785   488807  1548168 | 2147483647   340692     61 | 10.257 % |
575.74/576.30	c |    343123 |   98785   488807  1548168 | 2147483647   342946     61 | 10.257 % |
578.04/578.59	c |    345601 |   98785   488807  1548168 | 2147483647   345424     61 | 10.257 % |
589.04/589.56	c |    348327 |   98785   488807  1548168 | 2147483647   348150     62 | 10.257 % |
592.74/593.28	c |    351324 |   98785   488807  1548168 | 2147483647   351147     62 | 10.257 % |
597.94/598.44	c |    354620 |   98785   488807  1548168 | 2147483647   354443     61 | 10.257 % |
598.03/598.51	c |    354720 |   98785   488807  1548168 | 2147483647   354543     61 | 10.257 % |
598.13/598.64	c |    354832 |   98785   488807  1548168 | 2147483647   354655     61 | 10.257 % |
598.33/598.80	c |    354953 |   98785   488807  1548168 | 2147483647   354776     61 | 10.257 % |
599.64/600.17	c |    355086 |   98785   488807  1548168 | 2147483647   354909     61 | 10.257 % |
599.74/600.28	c |    355233 |   98785   488807  1548168 | 2147483647   355056     61 | 10.257 % |
599.84/600.37	c |    355393 |   98785   488807  1548168 | 2147483647   355216     61 | 10.257 % |
600.34/600.86	c |    355569 |   98785   488807  1548168 | 2147483647   355392     61 | 10.257 % |
600.64/601.13	c |    355763 |   98785   488807  1548168 | 2147483647   355586     61 | 10.257 % |
601.44/601.91	c |    355975 |   98785   488807  1548168 | 2147483647   355798     61 | 10.257 % |
601.64/602.16	c |    356210 |   98785   488807  1548168 | 2147483647   356033     61 | 10.257 % |
601.94/602.41	c |    356467 |   98785   488807  1548168 | 2147483647   356290     61 | 10.257 % |
602.24/602.72	c |    356749 |   98785   488807  1548168 | 2147483647   356572     61 | 10.257 % |
605.84/606.37	c |    357059 |   98785   488807  1548168 | 2147483647   356882     62 | 10.257 % |
606.83/607.30	c |    357398 |   98785   488807  1548168 | 2147483647   357221     62 | 10.257 % |
607.43/607.91	c |    357770 |   98785   488807  1548168 | 2147483647   357593     62 | 10.257 % |
607.74/608.28	c |    358179 |   98785   488807  1548168 | 2147483647   358002     62 | 10.257 % |
608.53/609.04	c |    358630 |   98785   488807  1548168 | 2147483647   358453     62 | 10.257 % |
609.13/609.65	c |    359124 |   98785   488807  1548168 | 2147483647   358947     62 | 10.257 % |
610.63/611.15	c |    359666 |   98785   488807  1548168 | 2147483647   359489     62 | 10.257 % |
611.14/611.67	c |    360264 |   98785   488807  1548168 | 2147483647   360087     62 | 10.257 % |
611.63/612.19	c |    360920 |   98785   488807  1548168 | 2147483647   360743     62 | 10.257 % |
612.03/612.59	c |    361641 |   98785   488807  1548168 | 2147483647   361464     61 | 10.257 % |
612.63/613.11	c |    362435 |   98785   488807  1548168 | 2147483647   362258     61 | 10.257 % |
613.23/613.77	c |    363307 |   98785   488807  1548168 | 2147483647   363130     61 | 10.257 % |
614.03/614.53	c |    364265 |   98785   488807  1548168 | 2147483647   364088     61 | 10.257 % |
614.43/615.00	c |    365318 |   98785   488807  1548168 | 2147483647   365141     61 | 10.257 % |
616.12/616.64	c |    366476 |   98785   488807  1548168 | 2147483647   366299     61 | 10.257 % |
617.73/618.29	c |    367749 |   98785   488807  1548168 | 2147483647   367572     61 | 10.257 % |
618.84/619.36	c |    369150 |   98785   488807  1548168 | 2147483647   368973     61 | 10.257 % |
620.13/620.66	c |    370690 |   98785   488807  1548168 | 2147483647   370513     61 | 10.257 % |
641.62/642.18	c |    372384 |   98785   488807  1548168 | 2147483647   372207     62 | 10.257 % |
645.02/645.55	c |    374249 |   98785   488807  1548168 | 2147483647   374072     62 | 10.257 % |
646.91/647.42	c |    376298 |   98785   488807  1548168 | 2147483647   376121     62 | 10.257 % |
650.11/650.62	c |    378552 |   98785   488807  1548168 | 2147483647   378375     62 | 10.257 % |
651.41/651.98	c |    381031 |   98785   488807  1548168 | 2147483647   380854     62 | 10.257 % |
678.50/679.09	c |    383758 |   98785   488807  1548168 | 2147483647   383581     64 | 10.257 % |
681.60/682.19	c |    386757 |   98785   488807  1548168 | 2147483647   386580     64 | 10.257 % |
686.00/686.54	c |    390055 |   98785   488807  1548168 | 2147483647   389878     64 | 10.257 % |
690.40/690.92	c |    393680 |   98785   488807  1548168 | 2147483647   393503     63 | 10.257 % |
690.80/691.30	c |    393781 |   98785   488807  1548168 | 2147483647   393604     63 | 10.257 % |
691.00/691.58	c |    393891 |   98785   488807  1548168 | 2147483647   393714     63 | 10.257 % |
691.10/691.70	c |    394012 |   98785   488807  1548168 | 2147483647   393835     63 | 10.257 % |
691.30/691.85	c |    394147 |   98785   488807  1548168 | 2147483647   393970     63 | 10.257 % |
691.50/692.09	c |    394293 |   98785   488807  1548168 | 2147483647   394116     63 | 10.257 % |
691.80/692.37	c |    394455 |   98785   488807  1548168 | 2147483647   394278     63 | 10.257 % |
692.69/693.22	c |    394632 |   98785   488807  1548168 | 2147483647   394455     63 | 10.257 % |
693.29/693.84	c |    394826 |   98785   488807  1548168 | 2147483647   394649     63 | 10.257 % |
694.39/694.92	c |    395038 |   98783   488800  1548146 | 2147483647   394858     63 | 10.259 % |
695.09/695.68	c |    395273 |   98783   488800  1548146 | 2147483647   395093     63 | 10.259 % |
695.39/695.96	c |    395529 |   98783   488800  1548146 | 2147483647   395349     63 | 10.259 % |
695.80/696.30	c |    395810 |   98783   488800  1548146 | 2147483647   395630     63 | 10.259 % |
696.19/696.79	c |    396119 |   98783   488800  1548146 | 2147483647   395939     63 | 10.259 % |
696.99/697.55	c |    396460 |   98783   488800  1548146 | 2147483647   396280     63 | 10.259 % |
698.19/698.72	c |    396832 |   98783   488800  1548146 | 2147483647   396652     63 | 10.259 % |
703.89/704.42	c |    397241 |   98783   488800  1548146 | 2147483647   397061     64 | 10.259 % |
704.59/705.17	c |    397690 |   98783   488800  1548146 | 2147483647   397510     64 | 10.259 % |
711.20/711.71	c |    398184 |   98783   488800  1548146 | 2147483647   398004     64 | 10.259 % |
711.89/712.41	c |    398726 |   98783   488800  1548146 | 2147483647   398546     64 | 10.259 % |
713.89/714.45	c |    399322 |   98783   488800  1548146 | 2147483647   399142     64 | 10.259 % |
714.59/715.18	c |    399979 |   98783   488800  1548146 | 2147483647   399799     64 | 10.259 % |
714.99/715.51	c |    400699 |   98783   488800  1548146 | 2147483647   400519     64 | 10.259 % |
715.89/716.42	c |    401491 |   98783   488800  1548146 | 2147483647   401311     64 | 10.259 % |
717.39/717.98	c |    402364 |   98783   488800  1548146 | 2147483647   402184     64 | 10.259 % |
718.59/719.12	c |    403322 |   98783   488800  1548146 | 2147483647   403142     64 | 10.259 % |
719.99/720.51	c |    404376 |   98783   488800  1548146 | 2147483647   404196     64 | 10.259 % |
721.38/721.92	c |    405536 |   98783   488800  1548146 | 2147483647   405356     64 | 10.259 % |
722.98/723.52	c |    406810 |   98783   488800  1548146 | 2147483647   406630     64 | 10.259 % |
726.48/727.02	c |    408210 |   98783   488800  1548146 | 2147483647   408030     64 | 10.259 % |
728.18/728.76	c |    409751 |   98783   488800  1548146 | 2147483647   409571     64 | 10.259 % |
729.48/730.06	c |    411446 |   98783   488800  1548146 | 2147483647   411266     64 | 10.259 % |
730.99/731.58	c |    413311 |   98783   488800  1548146 | 2147483647   413131     64 | 10.259 % |
733.48/734.06	c |    415360 |   98783   488800  1548146 | 2147483647   415180     63 | 10.259 % |
734.78/735.31	c |    417613 |   98783   488800  1548146 | 2147483647   417433     63 | 10.259 % |
736.18/736.79	c |    420091 |   98783   488800  1548146 | 2147483647   419911     63 | 10.259 % |
738.68/739.23	c |    422817 |   98783   488800  1548146 | 2147483647   422637     63 | 10.259 % |
767.86/768.45	c |    425814 |   98783   488800  1548146 | 2147483647   425634     65 | 10.259 % |
770.47/771.04	c |    429110 |   98783   488800  1548146 | 2147483647   428930     65 | 10.259 % |
776.26/776.89	c |    432735 |   98783   488800  1548146 | 2147483647   432555     65 | 10.259 % |
818.74/819.32	c |    436723 |   98783   488800  1548146 | 2147483647   436543     67 | 10.259 % |
818.84/819.41	c |    436823 |   98783   488800  1548146 | 2147483647   436643     67 | 10.259 % |
819.04/819.63	c |    436937 |   98783   488800  1548146 | 2147483647   436757     67 | 10.259 % |
819.14/819.76	c |    437059 |   98783   488800  1548146 | 2147483647   436879     67 | 10.259 % |
819.35/819.93	c |    437193 |   98783   488800  1548146 | 2147483647   437013     67 | 10.259 % |
821.15/821.76	c |    437339 |   98783   488800  1548146 | 2147483647   437159     67 | 10.259 % |
821.25/821.80	c |    437499 |   98783   488800  1548146 | 2147483647   437319     67 | 10.259 % |
821.35/821.95	c |    437675 |   98783   488800  1548146 | 2147483647   437495     67 | 10.259 % |
822.45/823.01	c |    437869 |   98783   488800  1548146 | 2147483647   437689     67 | 10.259 % |
822.75/823.31	c |    438081 |   98783   488800  1548146 | 2147483647   437901     67 | 10.259 % |
822.95/823.57	c |    438314 |   98783   488800  1548146 | 2147483647   438134     67 | 10.259 % |
823.65/824.30	c |    438571 |   98783   488800  1548146 | 2147483647   438391     67 | 10.259 % |
824.04/824.63	c |    438855 |   98783   488800  1548146 | 2147483647   438675     67 | 10.259 % |
824.54/825.16	c |    439164 |   98783   488800  1548146 | 2147483647   438984     67 | 10.259 % |
825.04/825.63	c |    439505 |   98783   488800  1548146 | 2147483647   439325     67 | 10.259 % |
830.04/830.63	c |    439879 |   98783   488800  1548146 | 2147483647   439699     68 | 10.259 % |
830.74/831.33	c |    440290 |   98783   488800  1548146 | 2147483647   440110     68 | 10.259 % |
831.64/832.29	c |    440741 |   98783   488800  1548146 | 2147483647   440561     68 | 10.259 % |
832.34/832.95	c |    441235 |   98783   488800  1548146 | 2147483647   441055     68 | 10.259 % |
832.84/833.42	c |    441779 |   98783   488800  1548146 | 2147483647   441599     68 | 10.259 % |
833.53/834.10	c |    442375 |   98783   488800  1548146 | 2147483647   442195     67 | 10.259 % |
834.03/834.60	c |    443030 |   98783   488800  1548146 | 2147483647   442850     67 | 10.259 % |
834.83/835.46	c |    443751 |   98783   488800  1548146 | 2147483647   443571     67 | 10.259 % |
836.03/836.68	c |    444543 |   98783   488800  1548146 | 2147483647   444363     67 | 10.259 % |
836.94/837.52	c |    445414 |   98783   488800  1548146 | 2147483647   445234     67 | 10.259 % |
837.74/838.30	c |    446374 |   98783   488800  1548146 | 2147483647   446194     67 | 10.259 % |
838.94/839.57	c |    447427 |   98783   488800  1548146 | 2147483647   447247     67 | 10.259 % |
839.64/840.29	c |    448585 |   98783   488800  1548146 | 2147483647   448405     67 | 10.259 % |
840.64/841.22	c |    449858 |   98783   488800  1548146 | 2147483647   449678     67 | 10.259 % |
842.74/843.30	c |    451258 |   98783   488800  1548146 | 2147483647   451078     67 | 10.259 % |
843.93/844.54	c |    452798 |   98783   488800  1548146 | 2147483647   452618     67 | 10.259 % |
846.53/847.10	c |    454493 |   98783   488800  1548146 | 2147483647   454313     67 | 10.259 % |
852.23/852.85	c |    456357 |   98783   488800  1548146 | 2147483647   456177     67 | 10.259 % |
854.32/854.93	c |    458406 |   98783   488800  1548146 | 2147483647   458226     67 | 10.259 % |
857.22/857.89	c |    460660 |   98783   488800  1548146 | 2147483647   460480     67 | 10.259 % |
862.43/863.09	c |    463138 |   98783   488800  1548146 | 2147483647   462958     67 | 10.259 % |
865.13/865.79	c |    465863 |   98783   488800  1548146 | 2147483647   465683     67 | 10.259 % |
880.42/881.05	c |    468863 |   98783   488800  1548146 | 2147483647   468683     68 | 10.259 % |
885.62/886.25	c |    472161 |   98783   488800  1548146 | 2147483647   471981     68 | 10.259 % |
909.11/909.77	c |    475786 |   98783   488800  1548146 | 2147483647   475606     69 | 10.259 % |
913.51/914.15	c |    479775 |   98783   488800  1548146 | 2147483647   479595     69 | 10.259 % |
951.29/951.97	c |    484160 |   98783   488800  1548146 | 2147483647   483980     70 | 10.259 % |
951.79/952.42	c |    484260 |   98783   488800  1548146 | 2147483647   484080     70 | 10.259 % |
951.90/952.56	c |    484371 |   98783   488800  1548146 | 2147483647   484191     70 | 10.259 % |
952.09/952.77	c |    484493 |   98783   488800  1548146 | 2147483647   484313     70 | 10.259 % |
952.29/952.96	c |    484627 |   98783   488800  1548146 | 2147483647   484447     70 | 10.259 % |
952.49/953.12	c |    484773 |   98783   488800  1548146 | 2147483647   484593     70 | 10.259 % |
952.79/953.44	c |    484934 |   98783   488800  1548146 | 2147483647   484754     70 | 10.259 % |
953.69/954.36	c |    485111 |   98783   488800  1548146 | 2147483647   484931     70 | 10.259 % |
953.89/954.54	c |    485304 |   98783   488800  1548146 | 2147483647   485124     70 | 10.259 % |
953.99/954.67	c |    485517 |   98783   488800  1548146 | 2147483647   485337     70 | 10.259 % |
954.39/955.07	c |    485750 |   98783   488800  1548146 | 2147483647   485570     70 | 10.259 % |
954.89/955.55	c |    486006 |   98783   488800  1548146 | 2147483647   485826     70 | 10.259 % |
955.39/956.01	c |    486287 |   98783   488800  1548146 | 2147483647   486107     70 | 10.259 % |
955.69/956.32	c |    486597 |   98783   488800  1548146 | 2147483647   486417     70 | 10.259 % |
955.99/956.66	c |    486936 |   98783   488800  1548146 | 2147483647   486756     70 | 10.259 % |
956.59/957.24	c |    487308 |   98783   488800  1548146 | 2147483647   487128     70 | 10.259 % |
956.99/957.69	c |    487720 |   98783   488800  1548146 | 2147483647   487540     70 | 10.259 % |
957.89/958.53	c |    488169 |   98783   488800  1548146 | 2147483647   487989     70 | 10.259 % |
958.28/958.98	c |    488663 |   98783   488800  1548146 | 2147483647   488483     70 | 10.259 % |
959.48/960.12	c |    489206 |   98783   488800  1548146 | 2147483647   489026     70 | 10.259 % |
962.78/963.49	c |    489802 |   98783   488800  1548146 | 2147483647   489622     70 | 10.259 % |
963.88/964.55	c |    490458 |   98783   488800  1548146 | 2147483647   490278     70 | 10.259 % |
967.18/967.84	c |    491179 |   98783   488800  1548146 | 2147483647   490999     70 | 10.259 % |
968.57/969.20	c |    491973 |   98783   488800  1548146 | 2147483647   491793     70 | 10.259 % |
969.78/970.50	c |    492844 |   98783   488800  1548146 | 2147483647   492664     70 | 10.259 % |
974.98/975.62	c |    493803 |   98783   488800  1548146 | 2147483647   493623     70 | 10.259 % |
975.58/976.25	c |    494856 |   98783   488800  1548146 | 2147483647   494676     70 | 10.259 % |
978.97/979.69	c |    496015 |   98783   488800  1548146 | 2147483647   495835     70 | 10.259 % |
979.97/980.65	c |    497288 |   98783   488800  1548146 | 2147483647   497108     70 | 10.259 % |
981.28/981.92	c |    498688 |   98783   488800  1548146 | 2147483647   498508     70 | 10.259 % |
983.37/984.09	c |    500229 |   98783   488800  1548146 | 2147483647   500049     70 | 10.259 % |
985.37/986.09	c |    501923 |   98783   488800  1548146 | 2147483647   501743     70 | 10.259 % |
987.97/988.64	c |    503786 |   98783   488800  1548146 | 2147483647   503606     70 | 10.259 % |
990.77/991.42	c |    505835 |   98783   488800  1548146 | 2147483647   505655     70 | 10.259 % |
992.47/993.19	c |    508089 |   98783   488800  1548146 | 2147483647   507909     69 | 10.259 % |
998.17/998.90	c |    510568 |   98783   488800  1548146 | 2147483647   510388     69 | 10.259 % |
1002.07/1002.70	c |    513293 |   98783   488800  1548146 | 2147483647   513113     69 | 10.259 % |
1008.07/1008.75	c |    516291 |   98783   488800  1548146 | 2147483647   516111     69 | 10.259 % |
1012.66/1013.36	c |    519588 |   98783   488800  1548146 | 2147483647   519408     69 | 10.259 % |
1016.95/1017.60	c |    523215 |   98783   488800  1548146 | 2147483647   523035     69 | 10.259 % |
1023.36/1024.00	c |    527203 |   98783   488800  1548146 | 2147483647   527023     69 | 10.259 % |
1028.35/1029.05	c |    531588 |   98783   488800  1548146 | 2147483647   531408     69 | 10.259 % |
1051.44/1052.12	c |    536412 |   98783   488800  1548146 | 2147483647   536232     70 | 10.259 % |
1051.74/1052.43	c |    536513 |   98783   488800  1548146 | 2147483647   536333     70 | 10.259 % |
1051.94/1052.70	c |    536623 |   98783   488800  1548146 | 2147483647   536443     70 | 10.259 % |
1052.04/1052.78	c |    536744 |   98783   488800  1548146 | 2147483647   536564     70 | 10.259 % |
1052.14/1052.86	c |    536877 |   98783   488800  1548146 | 2147483647   536697     70 | 10.259 % |
1052.34/1053.05	c |    537023 |   98783   488800  1548146 | 2147483647   536843     70 | 10.259 % |
1053.24/1053.99	c |    537183 |   98783   488800  1548146 | 2147483647   537003     70 | 10.259 % |
1054.04/1054.78	c |    537359 |   98783   488800  1548146 | 2147483647   537179     70 | 10.259 % |
1054.44/1055.18	c |    537554 |   98783   488800  1548146 | 2147483647   537374     70 | 10.259 % |
1054.64/1055.39	c |    537767 |   98783   488800  1548146 | 2147483647   537587     70 | 10.259 % |
1054.84/1055.54	c |    538000 |   98783   488800  1548146 | 2147483647   537820     70 | 10.259 % |
1055.24/1055.97	c |    538256 |   98783   488800  1548146 | 2147483647   538076     70 | 10.259 % |
1055.63/1056.33	c |    538539 |   98783   488800  1548146 | 2147483647   538359     70 | 10.259 % |
1056.23/1056.90	c |    538852 |   98783   488800  1548146 | 2147483647   538672     70 | 10.259 % |
1056.54/1057.25	c |    539192 |   98783   488800  1548146 | 2147483647   539012     70 | 10.259 % |
1056.84/1057.57	c |    539564 |   98783   488800  1548146 | 2147483647   539384     70 | 10.259 % |
1057.34/1058.03	c |    539975 |   98783   488800  1548146 | 2147483647   539795     70 | 10.259 % |
1058.04/1058.78	c |    540426 |   98783   488800  1548146 | 2147483647   540246     70 | 10.259 % |
1062.34/1063.00	c |    540922 |   98783   488800  1548146 | 2147483647   540742     70 | 10.259 % |
1062.64/1063.35	c |    541465 |   98783   488800  1548146 | 2147483647   541285     70 | 10.259 % |
1063.14/1063.87	c |    542061 |   98783   488800  1548146 | 2147483647   541881     70 | 10.259 % |
1064.14/1064.84	c |    542721 |   98783   488800  1548146 | 2147483647   542541     70 | 10.259 % |
1065.53/1066.24	c |    543443 |   98783   488800  1548146 | 2147483647   543263     70 | 10.259 % |
1068.23/1068.96	c |    544235 |   98783   488800  1548146 | 2147483647   544055     70 | 10.259 % |
1069.43/1070.10	c |    545106 |   98493   488408  1546969 | 2147483647   544879     70 | 11.338 % |
1070.93/1071.61	c |    546064 |   98493   488408  1546969 | 2147483647   545837     70 | 11.338 % |
1072.43/1073.11	c |    547117 |   98493   488408  1546969 | 2147483647   546890     70 | 11.338 % |
1075.32/1076.05	c |    548276 |   98493   488408  1546969 | 2147483647   548049     70 | 11.338 % |
1085.33/1086.09	c |    549550 |   98493   488408  1546969 | 2147483647   549323     70 | 11.338 % |
1086.93/1087.64	c |    550950 |   98493   488408  1546969 | 2147483647   550723     70 | 11.338 % |
1088.02/1088.79	c |    552490 |   98493   488408  1546969 | 2147483647   552263     70 | 11.338 % |
1089.43/1090.17	c |    554186 |   98493   488408  1546969 | 2147483647   553959     70 | 11.338 % |
1090.92/1091.61	c |    556050 |   98493   488408  1546969 | 2147483647   555823     70 | 11.338 % |
1092.42/1093.18	c |    558101 |   98493   488408  1546969 | 2147483647   557874     70 | 11.338 % |
1096.02/1096.75	c |    560355 |   98493   488408  1546969 | 2147483647   560128     70 | 11.338 % |
1098.13/1098.86	c |    562834 |   98493   488408  1546969 | 2147483647   562607     70 | 11.338 % |
1101.52/1102.21	c |    565559 |   98493   488408  1546969 | 2147483647   565332     70 | 11.338 % |
1108.41/1109.14	c |    568556 |   98493   488408  1546969 | 2147483647   568329     70 | 11.338 % |
1118.62/1119.34	c |    571852 |   98493   488408  1546969 | 2147483647   571625     70 | 11.338 % |
1130.81/1131.50	c |    575480 |   98493   488408  1546969 | 2147483647   575253     70 | 11.338 % |
1134.81/1135.50	c |    579468 |   98493   488408  1546969 | 2147483647   579241     70 | 11.338 % |
1137.91/1138.61	c |    583853 |   98493   488408  1546969 | 2147483647   583626     70 | 11.338 % |
1142.90/1143.67	c |    588679 |   98493   488408  1546969 | 2147483647   588452     70 | 11.338 % |
1147.71/1148.44	c |    593985 |   98493   488408  1546969 | 2147483647   593758     70 | 11.338 % |
1148.40/1149.19	c |    594085 |   97596   483227  1531439 | 2147483647   593744     70 | 11.338 % |
1148.60/1149.33	c |    594196 |   97596   483227  1531439 | 2147483647   593855     70 | 11.338 % |
1149.00/1149.74	c |    594319 |   97596   483227  1531439 | 2147483647   593978     70 | 11.338 % |
1149.10/1149.84	c |    594452 |   97596   483227  1531439 | 2147483647   594111     70 | 11.338 % |
1149.20/1149.98	c |    594598 |   97596   483227  1531439 | 2147483647   594257     70 | 11.338 % |
1149.60/1150.40	c |    594759 |   97596   483227  1531439 | 2147483647   594418     70 | 11.338 % |
1151.50/1152.20	c |    594936 |   97596   483227  1531439 | 2147483647   594595     70 | 11.338 % |
1151.70/1152.44	c |    595129 |   97596   483227  1531439 | 2147483647   594788     70 | 11.338 % |
1151.90/1152.60	c |    595341 |   97596   483227  1531439 | 2147483647   595000     70 | 11.338 % |
1152.10/1152.86	c |    595574 |   97596   483227  1531439 | 2147483647   595233     70 | 11.338 % |
1153.50/1154.26	c |    595830 |   97596   483227  1531439 | 2147483647   595489     70 | 11.338 % |
1155.40/1156.14	c |    596111 |   97596   483227  1531439 | 2147483647   595770     70 | 11.338 % |
1160.99/1161.78	c |    596421 |   97596   483227  1531439 | 2147483647   596080     70 | 11.338 % |
1161.69/1162.41	c |    596760 |   97596   483227  1531439 | 2147483647   596419     70 | 11.338 % |
1162.89/1163.61	c |    597132 |   97596   483227  1531439 | 2147483647   596791     70 | 11.338 % |
1162.99/1163.76	c |    597541 |   97596   483227  1531439 | 2147483647   597200     70 | 11.338 % |
1163.69/1164.41	c |    597990 |   97596   483227  1531439 | 2147483647   597649     70 | 11.338 % |
1165.09/1165.81	c |    598483 |   97596   483227  1531439 | 2147483647   598142     70 | 11.338 % |
1166.09/1166.84	c |    599025 |   97596   483227  1531439 | 2147483647   598684     70 | 11.338 % |
1166.59/1167.37	c |    599622 |   97596   483227  1531439 | 2147483647   599281     70 | 11.338 % |
1170.08/1170.88	c |    600277 |   97596   483227  1531439 | 2147483647   599936     70 | 11.338 % |
1171.58/1172.35	c |    600997 |   97596   483227  1531439 | 2147483647   600656     70 | 11.338 % |
1173.78/1174.58	c |    601789 |   97596   483227  1531439 | 2147483647   601448     70 | 11.338 % |
1174.79/1175.51	c |    602660 |   97596   483227  1531439 | 2147483647   602319     70 | 11.338 % |
1186.18/1186.91	c |    603619 |   97596   483227  1531439 | 2147483647   603278     70 | 11.338 % |
1189.38/1190.17	c |    604675 |   97596   483227  1531439 | 2147483647   604334     70 | 11.338 % |
1190.17/1190.99	c |    605833 |   97596   483227  1531439 | 2147483647   605492     70 | 11.338 % |
1192.08/1192.85	c |    607106 |   97596   483227  1531439 | 2147483647   606765     70 | 11.338 % |
1193.98/1194.76	c |    608506 |   97596   483227  1531439 | 2147483647   608165     70 | 11.338 % |
1196.08/1196.84	c |    610050 |   97596   483227  1531439 | 2147483647   609709     70 | 11.338 % |
1204.77/1205.53	c |    611744 |   97596   483227  1531439 | 2147483647   611403     70 | 11.338 % |
1209.07/1209.87	c |    613607 |   97596   483227  1531439 | 2147483647   613266     70 | 11.338 % |
1216.06/1216.81	c |    615657 |   97596   483227  1531439 | 2147483647   615316     71 | 11.338 % |
1218.96/1219.72	c |    617910 |   97596   483227  1531439 | 2147483647   617569     70 | 11.338 % |
1227.86/1228.69	c |    620388 |   97596   483227  1531439 | 2147483647   620047     70 | 11.338 % |
1234.86/1235.67	c |    623113 |   97596   483227  1531439 | 2147483647   622772     70 | 11.338 % |
1238.36/1239.16	c |    626110 |   97596   483227  1531439 | 2147483647   625769     70 | 11.338 % |
1280.24/1281.03	c |    629406 |   97596   483227  1531439 | 2147483647   629065     72 | 11.338 % |
1284.04/1284.87	c |    633033 |   97596   483227  1531439 | 2147483647   632692     72 | 11.338 % |
1293.74/1294.58	c |    637020 |   97596   483227  1531439 | 2147483647   636679     72 | 11.338 % |
1305.13/1305.95	c |    641406 |   97596   483227  1531439 | 2147483647   641065     72 | 11.338 % |
1312.72/1313.54	c |    646230 |   97596   483227  1531439 | 2147483647   645889     72 | 11.338 % |
1318.33/1319.11	c |    651535 |   97596   483227  1531439 | 2147483647   651194     72 | 11.338 % |
1329.12/1329.96	c |    657370 |   97596   483227  1531439 | 2147483647   657029     72 | 11.338 % |
1329.22/1330.09	c |    657470 |   97596   483227  1531439 | 2147483647   657129     72 | 11.338 % |
1329.42/1330.21	c |    657582 |   97596   483227  1531439 | 2147483647   657241     72 | 11.338 % |
1329.82/1330.63	c |    657705 |   97596   483227  1531439 | 2147483647   657364     72 | 11.338 % |
1330.42/1331.24	c |    657839 |   97596   483227  1531439 | 2147483647   657498     72 | 11.338 % |
1331.02/1331.90	c |    657987 |   97596   483227  1531439 | 2147483647   657646     72 | 11.338 % |
1331.42/1332.21	c |    658148 |   97596   483227  1531439 | 2147483647   657807     72 | 11.338 % |
1332.12/1332.99	c |    658324 |   97596   483227  1531439 | 2147483647   657983     72 | 11.338 % |
1332.62/1333.42	c |    658517 |   97596   483227  1531439 | 2147483647   658176     72 | 11.338 % |
1332.82/1333.69	c |    658729 |   97596   483227  1531439 | 2147483647   658388     72 | 11.338 % |
1333.32/1334.12	c |    658963 |   97596   483227  1531439 | 2147483647   658622     72 | 11.338 % |
1333.72/1334.52	c |    659220 |   97596   483227  1531439 | 2147483647   658879     72 | 11.338 % |
1334.02/1334.88	c |    659502 |   97596   483227  1531439 | 2147483647   659161     72 | 11.338 % |
1334.62/1335.42	c |    659814 |   97596   483227  1531439 | 2147483647   659473     72 | 11.338 % |
1334.91/1335.79	c |    660153 |   97596   483227  1531439 | 2147483647   659812     72 | 11.338 % |
1335.62/1336.48	c |    660526 |   97596   483227  1531439 | 2147483647   660185     72 | 11.338 % |
1337.32/1338.15	c |    660936 |   97596   483227  1531439 | 2147483647   660595     72 | 11.338 % |
1338.12/1339.00	c |    661386 |   97596   483227  1531439 | 2147483647   661045     72 | 11.338 % |
1338.82/1339.66	c |    661880 |   97596   483227  1531439 | 2147483647   661539     72 | 11.338 % |
1341.42/1342.27	c |    662425 |   97596   483227  1531439 | 2147483647   662084     72 | 11.338 % |
1342.02/1342.84	c |    663022 |   97596   483227  1531439 | 2147483647   662681     72 | 11.338 % |
1342.81/1343.66	c |    663678 |   97596   483227  1531439 | 2147483647   663337     72 | 11.338 % |
1345.11/1345.92	c |    664399 |   97596   483227  1531439 | 2147483647   664058     72 | 11.338 % |
1346.11/1346.92	c |    665191 |   97596   483227  1531439 | 2147483647   664850     72 | 11.338 % |
1347.71/1348.56	c |    666062 |   97596   483227  1531439 | 2147483647   665721     72 | 11.338 % |
1349.21/1350.09	c |    667020 |   97596   483227  1531439 | 2147483647   666679     72 | 11.338 % |
1350.21/1351.08	c |    668073 |   97596   483227  1531439 | 2147483647   667732     72 | 11.338 % |
1351.61/1352.44	c |    669232 |   97596   483227  1531439 | 2147483647   668891     72 | 11.338 % |
1355.21/1356.02	c |    670507 |   97596   483227  1531439 | 2147483647   670166     72 | 11.338 % |
1358.51/1359.33	c |    671908 |   97596   483227  1531439 | 2147483647   671567     72 | 11.338 % |
1361.70/1362.52	c |    673448 |   97596   483227  1531439 | 2147483647   673107     72 | 11.338 % |
1363.60/1364.41	c |    675142 |   97596   483227  1531439 | 2147483647   674801     72 | 11.338 % |
1365.50/1366.35	c |    677006 |   97596   483227  1531439 | 2147483647   676665     72 | 11.338 % |
1367.11/1367.91	c |    679055 |   97596   483227  1531439 | 2147483647   678714     72 | 11.338 % |
1370.01/1370.89	c |    681309 |   97596   483227  1531439 | 2147483647   680968     72 | 11.338 % |
1393.70/1394.53	c |    683788 |   97596   483227  1531439 | 2147483647   683447     73 | 11.338 % |
1399.29/1400.19	c |    686514 |   97596   483227  1531439 | 2147483647   686173     73 | 11.338 % |
1406.29/1407.17	c |    689511 |   97596   483227  1531439 | 2147483647   689170     72 | 11.338 % |
1410.68/1411.51	c |    692809 |   97596   483227  1531439 | 2147483647   692468     72 | 11.338 % |
1413.18/1414.08	c |    696435 |   97596   483227  1531439 | 2147483647   696094     72 | 11.338 % |
1419.38/1420.23	c |    700424 |   97596   483227  1531439 | 2147483647   700083     72 | 11.338 % |
1432.97/1433.81	c |    704810 |   97596   483227  1531439 | 2147483647   704469     72 | 11.338 % |
1479.77/1480.66	c |    709633 |   97588   483188  1531322 | 2147483647   709290     74 | 11.345 % |
1485.56/1486.49	c |    714939 |   97588   483188  1531322 | 2147483647   714596     74 | 11.345 % |
1514.45/1515.37	c |    720777 |   97588   483188  1531322 | 2147483647   720434     74 | 11.345 % |
1527.84/1528.71	c |    727196 |   97588   483188  1531322 | 2147483647   726853     74 | 11.345 % |
1528.04/1528.92	c |    727297 |   97588   483188  1531322 | 2147483647   726954     74 | 11.345 % |
1528.34/1529.21	c |    727409 |   97588   483188  1531322 | 2147483647   727066     74 | 11.345 % |
1528.54/1529.44	c |    727533 |   97588   483188  1531322 | 2147483647   727190     74 | 11.345 % |
1528.64/1529.56	c |    727666 |   97588   483188  1531322 | 2147483647   727323     74 | 11.345 % |
1529.04/1529.90	c |    727812 |   97588   483188  1531322 | 2147483647   727469     74 | 11.345 % |
1529.14/1530.08	c |    727973 |   97588   483188  1531322 | 2147483647   727630     74 | 11.345 % |
1529.54/1530.45	c |    728149 |   97588   483188  1531322 | 2147483647   727806     74 | 11.345 % |
1529.74/1530.66	c |    728342 |   97588   483188  1531322 | 2147483647   727999     74 | 11.345 % |
1530.34/1531.26	c |    728555 |   97588   483188  1531322 | 2147483647   728212     74 | 11.345 % |
1530.74/1531.68	c |    728788 |   97588   483188  1531322 | 2147483647   728445     74 | 11.345 % |
1531.23/1532.20	c |    729044 |   97588   483188  1531322 | 2147483647   728701     74 | 11.345 % |
1531.83/1532.77	c |    729326 |   97588   483188  1531322 | 2147483647   728983     74 | 11.345 % |
1532.44/1533.40	c |    729635 |   97588   483188  1531322 | 2147483647   729292     74 | 11.345 % |
1533.23/1534.18	c |    729976 |   97588   483188  1531322 | 2147483647   729633     74 | 11.345 % |
1533.83/1534.77	c |    730349 |   97588   483188  1531322 | 2147483647   730006     74 | 11.345 % |
1535.83/1536.73	c |    730760 |   97588   483188  1531322 | 2147483647   730417     74 | 11.345 % |
1536.13/1537.07	c |    731209 |   97588   483188  1531322 | 2147483647   730866     74 | 11.345 % |
1536.64/1537.53	c |    731703 |   97588   483188  1531322 | 2147483647   731360     74 | 11.345 % |
1537.64/1538.57	c |    732245 |   97588   483188  1531322 | 2147483647   731902     74 | 11.345 % |
1538.74/1539.69	c |    732841 |   97588   483188  1531322 | 2147483647   732498     74 | 11.345 % |
1539.44/1540.35	c |    733496 |   97588   483188  1531322 | 2147483647   733153     74 | 11.345 % |
1541.24/1542.20	c |    734216 |   97588   483188  1531322 | 2147483647   733873     74 | 11.345 % |
1543.54/1544.47	c |    735008 |   97588   483188  1531322 | 2147483647   734665     74 | 11.345 % |
1545.23/1546.18	c |    735880 |   97588   483188  1531322 | 2147483647   735537     74 | 11.345 % |
1563.82/1564.76	c |    736838 |   97588   483188  1531322 | 2147483647   736495     74 | 11.345 % |
1565.92/1566.87	c |    737891 |   97588   483188  1531322 | 2147483647   737548     74 | 11.345 % |
1570.42/1571.38	c |    739051 |   97588   483188  1531322 | 2147483647   738708     74 | 11.345 % |
1573.13/1574.03	c |    740324 |   97588   483188  1531322 | 2147483647   739981     74 | 11.345 % |
1574.72/1575.68	c |    741726 |   97588   483188  1531322 | 2147483647   741383     74 | 11.345 % |
1595.60/1596.54	c |    743266 |   97588   483188  1531322 | 2147483647   742923     75 | 11.345 % |
1599.71/1600.69	c |    744960 |   97588   483188  1531322 | 2147483647   744617     75 | 11.345 % |
1607.40/1608.37	c |    746823 |   97588   483188  1531322 | 2147483647   746480     75 | 11.345 % |
1613.60/1614.56	c |    748873 |   97588   483188  1531322 | 2147483647   748530     75 | 11.345 % |
1619.10/1620.09	c |    751127 |   97588   483188  1531322 | 2147483647   750784     75 | 11.345 % |
1625.90/1626.88	c |    753605 |   97588   483188  1531322 | 2147483647   753262     75 | 11.345 % |
1627.80/1628.76	c |    756330 |   97588   483188  1531322 | 2147483647   755987     75 | 11.345 % |
1634.99/1635.93	c |    759328 |   97588   483188  1531322 | 2147483647   758985     74 | 11.345 % |
1675.98/1676.93	c |    762625 |   97588   483188  1531322 | 2147483647   762282     76 | 11.345 % |
1684.48/1685.48	c |    766250 |   97588   483188  1531322 | 2147483647   765907     76 | 11.345 % |
1694.87/1695.89	c |    770237 |   97588   483188  1531322 | 2147483647   769894     76 | 11.345 % |
1703.47/1704.45	c |    774623 |   97588   483188  1531322 | 2147483647   774280     76 | 11.345 % |
1707.56/1708.51	c |    779447 |   97588   483188  1531322 | 2147483647   779104     76 | 11.345 % |
1768.34/1769.35	c |    784754 |   97588   483188  1531322 | 2147483647   784411     77 | 11.345 % |
1774.24/1775.21	c |    790590 |   97588   483188  1531322 | 2147483647   790247     77 | 11.345 % |
1781.13/1782.16	c |    797010 |   97588   483188  1531322 | 2147483647   796667     77 | 11.345 % |
1797.72/1798.72	c |    804069 |   97588   483188  1531322 | 2147483647   803726     78 | 11.345 % |
1797.92/1799.00	c |    804169 |   97588   483188  1531322 | 2147483647   803826     78 | 11.345 % |
1798.22/1799.27	c |    804280 |   97588   483188  1531322 | 2147483647   803937     78 | 11.345 % |
1798.53/1799.53	c |    804402 |   97588   483188  1531322 | 2147483647   804059     78 | 11.345 % |
1798.72/1799.74	c |    804535 |   97588   483188  1531322 | 2147483647   804192     78 | 11.345 % |
1799.02/1800.01	c |    804681 |   97588   483188  1531322 | 2147483647   804338     78 | 11.345 % |
1799.22/1800.26	c |    804843 |   97588   483188  1531322 | 2147483647   804500     78 | 11.345 % |
1799.73/1800.77	c |    805019 |   97588   483188  1531322 | 2147483647   804676     78 | 11.345 % |
1800.02/1801.10	c |    805212 |   97588   483188  1531322 | 2147483647   804869     78 | 11.345 % |
1800.32/1801.39	c |    805430 |   97588   483188  1531322 | 2147483647   805087     78 | 11.345 % |
1800.62/1801.68	c |    805664 |   97588   483188  1531322 | 2147483647   805321     78 | 11.345 % |
1801.12/1802.19	c |    805920 |   97588   483188  1531322 | 2147483647   805577     78 | 11.345 % |
1801.72/1802.79	c |    806201 |   97588   483188  1531322 | 2147483647   805858     78 | 11.345 % |
1802.32/1803.30	c |    806511 |   97588   483188  1531322 | 2147483647   806168     78 | 11.345 % |
1802.82/1803.87	c |    806850 |   97588   483188  1531322 | 2147483647   806507     78 | 11.345 % |
1803.32/1804.39	c |    807224 |   97588   483188  1531322 | 2147483647   806881     78 | 11.345 % |
1803.82/1804.90	c |    807634 |   97588   483188  1531322 | 2147483647   807291     78 | 11.345 % |
1804.72/1805.71	c |    808083 |   97588   483188  1531322 | 2147483647   807740     78 | 11.345 % |
1805.32/1806.33	c |    808577 |   97588   483188  1531322 | 2147483647   808234     78 | 11.345 % |
1806.42/1807.42	c |    809119 |   97588   483188  1531322 | 2147483647   808776     78 | 11.345 % |
1808.62/1809.66	c |    809715 |   97588   483188  1531322 | 2147483647   809372     78 | 11.345 % |
1809.62/1810.65	c |    810370 |   97588   483188  1531322 | 2147483647   810027     78 | 11.345 % |
1814.02/1815.09	c |    811090 |   97588   483188  1531322 | 2147483647   810747     78 | 11.345 % |
1816.61/1817.64	c |    811884 |   97588   483188  1531322 | 2147483647   811541     78 | 11.345 % |
1818.01/1819.05	c |    812755 |   97588   483188  1531322 | 2147483647   812412     78 | 11.345 % |
1820.22/1821.27	c |    813713 |   97588   483188  1531322 | 2147483647   813370     78 | 11.345 % |
1822.22/1823.28	c |    814767 |   97588   483188  1531322 | 2147483647   814424     78 | 11.345 % |
1843.20/1844.20	c |    815925 |   97588   483188  1531322 | 2147483647   815582     78 | 11.345 % |
1844.50/1845.53	c |    817199 |   97588   483188  1531322 | 2147483647   816856     78 | 11.345 % |
1846.50/1847.53	c |    818600 |   97588   483188  1531322 | 2147483647   818257     78 | 11.345 % |
1850.00/1851.02	c |    820141 |   97588   483188  1531322 | 2147483647   819798     78 | 11.345 % |
1853.39/1854.44	c |    821835 |   97588   483188  1531322 | 2147483647   821492     78 | 11.345 % |
1858.10/1859.14	c |    823698 |   97588   483188  1531322 | 2147483647   823355     78 | 11.345 % |
1862.30/1863.38	c |    825747 |   97588   483188  1531322 | 2147483647   825404     78 | 11.345 % |
1896.88/1897.99	c |    828000 |   97588   483188  1531322 | 2147483647   827657     79 | 11.345 % |
1909.68/1910.72	c |    830478 |   97588   483188  1531322 | 2147483647   830135     80 | 11.345 % |
1914.47/1915.60	c |    833204 |   97588   483188  1531322 | 2147483647   832861     79 | 11.345 % |
1918.87/1919.91	c |    836203 |   97588   483188  1531322 | 2147483647   835860     79 | 11.345 % |
1945.26/1946.32	c |    839501 |   97588   483188  1531322 | 2147483647   839158     80 | 11.345 % |
1958.76/1959.82	c |    843127 |   97588   483188  1531322 | 2147483647   842784     80 | 11.345 % |
2018.63/2019.70	c |    847114 |   97588   483188  1531322 | 2147483647   846771     81 | 11.345 % |
2031.32/2032.45	c |    851500 |   97588   483188  1531322 | 2147483647   851157     82 | 11.345 % |
2044.72/2045.81	c |    856325 |   97588   483188  1531322 | 2147483647   855982     81 | 11.345 % |
2067.21/2068.34	c |    861632 |   97588   483188  1531322 | 2147483647   861289     82 | 11.345 % |
2108.29/2109.44	c |    867467 |   97588   483188  1531322 | 2147483647   867124     82 | 11.345 % |
2118.00/2119.20	c |    873885 |   97588   483188  1531322 | 2147483647   873542     82 | 11.345 % |
2127.59/2128.74	c |    880945 |   97588   483188  1531322 | 2147483647   880602     82 | 11.345 % |
2136.48/2137.66	c |    888710 |   97588   483188  1531322 | 2147483647   888367     81 | 11.345 % |
2136.78/2137.94	c |    888812 |   97588   483188  1531322 | 2147483647   888469     81 | 11.345 % |
2137.08/2138.21	c |    888922 |   97588   483188  1531322 | 2147483647   888579     81 | 11.345 % |
2137.38/2138.57	c |    889045 |   97588   483188  1531322 | 2147483647   888702     81 | 11.345 % |
2137.78/2138.98	c |    889178 |   97588   483188  1531322 | 2147483647   888835     81 | 11.345 % |
2138.29/2139.49	c |    889325 |   97588   483188  1531322 | 2147483647   888982     81 | 11.345 % |
2138.88/2140.08	c |    889489 |   97588   483188  1531322 | 2147483647   889146     81 | 11.345 % |
2140.88/2142.09	c |    889665 |   97588   483188  1531322 | 2147483647   889322     81 | 11.345 % |
2141.08/2142.20	c |    889861 |   97588   483188  1531322 | 2147483647   889518     81 | 11.345 % |
2141.48/2142.64	c |    890074 |   97588   483188  1531322 | 2147483647   889731     81 | 11.345 % |
2142.18/2143.35	c |    890307 |   97588   483188  1531322 | 2147483647   889964     81 | 11.345 % |
2142.68/2143.87	c |    890565 |   97588   483188  1531322 | 2147483647   890222     81 | 11.345 % |
2143.28/2144.40	c |    890846 |   97588   483188  1531322 | 2147483647   890503     81 | 11.345 % |
2143.78/2144.97	c |    891156 |   97588   483188  1531322 | 2147483647   890813     81 | 11.345 % |
2144.38/2145.53	c |    891495 |   97588   483188  1531322 | 2147483647   891152     81 | 11.345 % |
2145.18/2146.39	c |    891867 |   97588   483188  1531322 | 2147483647   891524     81 | 11.345 % |
2149.77/2150.95	c |    892276 |   97588   483188  1531322 | 2147483647   891933     81 | 11.345 % |
2153.78/2154.97	c |    892725 |   97588   483188  1531322 | 2147483647   892382     81 | 11.345 % |
2163.38/2164.50	c |    893218 |   97588   483188  1531322 | 2147483647   892875     81 | 11.345 % |
2164.27/2165.49	c |    893760 |   97588   483188  1531322 | 2147483647   893417     81 | 11.345 % |
2165.47/2166.61	c |    894356 |   97588   483188  1531322 | 2147483647   894013     81 | 11.345 % |
2166.47/2167.68	c |    895012 |   97588   483188  1531322 | 2147483647   894669     81 | 11.345 % |
2174.67/2175.82	c |    895734 |   97588   483188  1531322 | 2147483647   895391     82 | 11.345 % |
2176.56/2177.73	c |    896527 |   97588   483188  1531322 | 2147483647   896184     82 | 11.345 % |
2179.07/2180.23	c |    897399 |   97588   483188  1531322 | 2147483647   897056     81 | 11.345 % |
2181.06/2182.25	c |    898357 |   97588   483188  1531322 | 2147483647   898014     81 | 11.345 % |
2187.87/2189.06	c |    899410 |   97588   483188  1531322 | 2147483647   899067     82 | 11.345 % |
2191.36/2192.52	c |    900568 |   97588   483188  1531322 | 2147483647   900225     82 | 11.345 % |
2193.46/2194.62	c |    901843 |   97588   483188  1531322 | 2147483647   901500     81 | 11.345 % |
2197.66/2198.85	c |    903244 |   97588   483188  1531322 | 2147483647   902901     81 | 11.345 % |
2200.06/2201.20	c |    904785 |   97588   483188  1531322 | 2147483647   904442     81 | 11.345 % |
2207.06/2208.28	c |    906480 |   97588   483188  1531322 | 2147483647   906137     81 | 11.345 % |
2210.46/2211.62	c |    908345 |   97588   483188  1531322 | 2147483647   908002     81 | 11.345 % |
2232.14/2233.33	c |    910394 |   97588   483188  1531322 | 2147483647   910051     82 | 11.345 % |
2238.24/2239.46	c |    912647 |   97588   483188  1531322 | 2147483647   912304     82 | 11.345 % |
2253.44/2254.67	c |    915126 |   97588   483188  1531322 | 2147483647   914783     82 | 11.345 % |
2260.53/2261.72	c |    917851 |   97588   483188  1531322 | 2147483647   917508     82 | 11.345 % |
2263.73/2264.93	c |    920850 |   97588   483188  1531322 | 2147483647   920507     82 | 11.345 % |
2270.23/2271.44	c |    924146 |   97588   483188  1531322 | 2147483647   923803     82 | 11.345 % |
2274.83/2276.02	c |    927771 |   97588   483188  1531322 | 2147483647   927428     82 | 11.345 % |
2280.92/2282.11	c |    931760 |   97588   483188  1531322 | 2147483647   931417     81 | 11.345 % |
2330.71/2331.92	c |    936146 |   97588   483188  1531322 | 2147483647   935803     83 | 11.345 % |
2340.50/2341.74	c |    940970 |   97588   483188  1531322 | 2147483647   940627     82 | 11.345 % |
2357.19/2358.47	c |    946276 |   97588   483188  1531322 | 2147483647   945933     82 | 11.345 % |
2367.29/2368.57	c |    952111 |   97588   483188  1531322 | 2147483647   951768     82 | 11.345 % |
2381.59/2382.89	c |    958532 |   97588   483188  1531322 | 2147483647   958189     82 | 11.345 % |
2400.77/2402.09	c |    965591 |   97588   483188  1531322 | 2147483647   965248     82 | 11.345 % |
2410.58/2411.87	c |    973355 |   97588   483188  1531322 |   969657   973012     82 | 11.345 % |
2429.97/2431.28	c |    981895 |   97588   483188  1531322 | 2147483647   981552     82 | 11.345 % |
2430.17/2431.48	c |    981995 |   97588   483188  1531322 | 2147483647   981652     82 | 11.345 % |
2430.37/2431.60	c |    982106 |   97588   483188  1531322 | 2147483647   981763     82 | 11.345 % |
2430.67/2431.92	c |    982227 |   97588   483188  1531322 | 2147483647   981884     82 | 11.345 % |
2430.87/2432.17	c |    982361 |   97588   483188  1531322 | 2147483647   982018     82 | 11.345 % |
2431.17/2432.46	c |    982511 |   97588   483188  1531322 | 2147483647   982168     82 | 11.345 % |
2434.17/2435.41	c |    982671 |   97588   483188  1531322 | 2147483647   982328     82 | 11.345 % |
2434.86/2436.12	c |    982849 |   97588   483188  1531322 | 2147483647   982506     82 | 11.345 % |
2435.76/2437.02	c |    983044 |   97588   483188  1531322 | 2147483647   982701     82 | 11.345 % |
2436.16/2437.46	c |    983259 |   97588   483188  1531322 | 2147483647   982916     82 | 11.345 % |
2436.66/2437.97	c |    983492 |   97588   483188  1531322 | 2147483647   983149     82 | 11.345 % |
2437.36/2438.68	c |    983749 |   97588   483188  1531322 | 2147483647   983406     82 | 11.345 % |
2438.16/2439.42	c |    984031 |   97588   483188  1531322 | 2147483647   983688     82 | 11.345 % |
2439.26/2440.50	c |    984340 |   97588   483188  1531322 | 2147483647   983997     82 | 11.345 % |
2440.26/2441.52	c |    984680 |   97588   483188  1531322 | 2147483647   984337     82 | 11.345 % |
2441.76/2443.04	c |    985052 |   97588   483188  1531322 | 2147483647   984709     82 | 11.345 % |
2443.06/2444.34	c |    985461 |   97588   483188  1531322 | 2147483647   985118     82 | 11.345 % |
2444.26/2445.51	c |    985911 |   97588   483188  1531322 | 2147483647   985568     82 | 11.345 % |
2454.15/2455.43	c |    986405 |   97588   483188  1531322 | 2147483647   986062     82 | 11.345 % |
2455.25/2456.51	c |    986947 |   97588   483188  1531322 | 2147483647   986604     82 | 11.345 % |
2458.35/2459.63	c |    987543 |   97588   483188  1531322 | 2147483647   987200     82 | 11.345 % |
2464.55/2465.87	c |    988200 |   97588   483188  1531322 | 2147483647   987857     82 | 11.345 % |
2470.35/2471.66	c |    988921 |   97588   483188  1531322 | 2147483647   988578     82 | 11.345 % |
2471.84/2473.16	c |    989714 |   97588   483188  1531322 | 2147483647   989371     82 | 11.345 % |
2476.04/2477.30	c |    990587 |   97588   483188  1531322 | 2147483647   990244     82 | 11.345 % |
2478.64/2479.91	c |    991546 |   97588   483188  1531322 | 2147483647   991203     82 | 11.345 % |
2480.14/2481.45	c |    992601 |   97588   483188  1531322 | 2147483647   992258     82 | 11.345 % |
2482.14/2483.43	c |    993759 |   97588   483188  1531322 | 2147483647   993416     82 | 11.345 % |
2483.84/2485.19	c |    995032 |   97588   483188  1531322 | 2147483647   994689     82 | 11.345 % |
2502.13/2503.44	c |    996433 |   97588   483188  1531322 | 2147483647   996090     82 | 11.345 % |
2505.93/2507.27	c |    997974 |   97587   483181  1531302 | 2147483647   997630     82 | 11.346 % |
2511.23/2512.55	c |    999669 |   97587   483181  1531302 | 2147483647   999325     82 | 11.346 % |
2517.13/2518.41	c |   1001532 |   97587   483181  1531302 | 2147483647  1001188     82 | 11.346 % |
2519.63/2520.93	c |   1003581 |   97587   483181  1531302 | 2147483647  1003237     82 | 11.346 % |
2559.51/2560.88	c |   1005835 |   97587   483181  1531302 | 2147483647  1005491     83 | 11.346 % |
2563.70/2565.09	c |   1008313 |   97587   483181  1531302 | 2147483647  1007969     83 | 11.346 % |
2567.11/2568.40	c |   1011039 |   97587   483181  1531302 | 2147483647  1010695     83 | 11.346 % |
2571.20/2572.58	c |   1014037 |   97587   483181  1531302 | 2147483647  1013693     82 | 11.346 % |
2576.80/2578.18	c |   1017333 |   97587   483181  1531302 | 2147483647  1016989     83 | 11.346 % |
2581.90/2583.24	c |   1020959 |   97587   483181  1531302 | 2147483647  1020615     82 | 11.346 % |
2587.90/2589.29	c |   1024946 |   97587   483181  1531302 | 2147483647  1024602     82 | 11.346 % |
2593.69/2595.00	c |   1029331 |   97587   483181  1531302 | 2147483647  1028987     82 | 11.346 % |
2603.19/2604.54	c |   1034154 |   97587   483181  1531302 | 2147483647  1033810     82 | 11.346 % |
2610.59/2611.93	c |   1039461 |   97587   483181  1531302 | 2147483647  1039117     82 | 11.346 % |
2639.68/2641.02	c |   1045296 |   97587   483181  1531302 | 2147483647  1044952     83 | 11.346 % |
2670.07/2671.47	c |   1051715 |   97587   483181  1531302 | 2147483647  1051371     83 | 11.346 % |
2685.56/2686.92	c |   1058774 |   97587   483181  1531302 | 2147483647  1058430     83 | 11.346 % |
2696.15/2697.56	c |   1066538 |   97587   483181  1531302 | 2147483647  1066194     83 | 11.346 % |
2708.14/2709.59	c |   1075080 |   97587   483181  1531302 | 2147483647  1074736     83 | 11.346 % |
2719.24/2720.60	c |   1084475 |   97587   483181  1531302 |  1079656  1084131     82 | 11.346 % |
2719.44/2720.82	c |   1084575 |   97587   483181  1531302 |  1079656  1084231     82 | 11.346 % |
2719.74/2721.16	c |   1084685 |   97587   483181  1531302 |  1079656  1084341     82 | 11.346 % |
2720.14/2721.55	c |   1084807 |   97587   483181  1531302 |  1079656  1084463     82 | 11.346 % |
2720.34/2721.78	c |   1084940 |   97587   483181  1531302 |  1079656  1084596     82 | 11.346 % |
2720.74/2722.11	c |   1085087 |   97587   483181  1531302 |  1079656  1084743     82 | 11.346 % |
2721.14/2722.55	c |   1085247 |   97587   483181  1531302 |  1079656  1084903     82 | 11.346 % |
2721.44/2722.85	c |   1085425 |   97587   483181  1531302 |  1079656  1085081     82 | 11.346 % |
2721.84/2723.20	c |   1085618 |   97587   483181  1531302 |  1079656  1085274     82 | 11.346 % |
2722.34/2723.75	c |   1085831 |   97587   483181  1531302 |  1079656  1085487     82 | 11.346 % |
2722.75/2724.18	c |   1086066 |   97587   483181  1531302 |  1079656  1085722     82 | 11.346 % |
2723.25/2724.65	c |   1086322 |   97587   483181  1531302 |  1079656  1085978     82 | 11.346 % |
2724.14/2725.56	c |   1086604 |   97587   483181  1531302 |  1079656  1086260     82 | 11.346 % |
2725.04/2726.42	c |   1086913 |   97587   483181  1531302 |  1079656  1086569     82 | 11.346 % |
2726.04/2727.44	c |   1087252 |   97587   483181  1531302 |  1079656  1086908     82 | 11.346 % |
2726.54/2728.00	c |   1087624 |   97587   483181  1531302 |  1079656  1087280     82 | 11.346 % |
2728.94/2730.39	c |   1088034 |   97587   483181  1531302 |  1079656  1087690     82 | 11.346 % |
2731.44/2732.84	c |   1088483 |   97587   483181  1531302 |  1079656  1088139     82 | 11.346 % |
2732.34/2733.75	c |   1088979 |   97587   483181  1531302 |  1079656  1088635     82 | 11.346 % |
2741.13/2742.51	c |   1089521 |   97587   483181  1531302 |  1079656  1089177     82 | 11.346 % |
2741.53/2742.98	c |   1090117 |   97587   483181  1531302 | 2147483647  1089773     82 | 11.346 % |
2743.93/2745.39	c |   1090772 |   97587   483181  1531302 | 2147483647  1090428     82 | 11.346 % |
2748.73/2750.13	c |   1091492 |   97587   483181  1531302 | 2147483647  1091148     82 | 11.346 % |
2750.43/2751.83	c |   1092286 |   97587   483181  1531302 | 2147483647  1091942     82 | 11.346 % |
2752.53/2753.90	c |   1093157 |   97587   483181  1531302 | 2147483647  1092813     82 | 11.346 % |
2753.93/2755.30	c |   1094115 |   97587   483181  1531302 | 2147483647  1093771     82 | 11.346 % |
2755.63/2757.06	c |   1095168 |   97587   483181  1531302 | 2147483647  1094824     82 | 11.346 % |
2756.73/2758.19	c |   1096326 |   97587   483181  1531302 | 2147483647  1095982     82 | 11.346 % |
2759.03/2760.46	c |   1097599 |   97587   483181  1531302 | 2147483647  1097255     82 | 11.346 % |
2762.22/2763.70	c |   1099000 |   97587   483181  1531302 | 2147483647  1098656     82 | 11.346 % |
2772.62/2774.08	c |   1100541 |   97587   483181  1531302 | 2147483647  1100197     82 | 11.346 % |
2778.51/2779.97	c |   1102238 |   97587   483181  1531302 | 2147483647  1101894     82 | 11.346 % |
2802.61/2804.01	c |   1104101 |   97587   483181  1531302 | 2147483647  1103757     83 | 11.346 % |
2806.20/2807.66	c |   1106151 |   97587   483181  1531302 | 2147483647  1105807     83 | 11.346 % |
2838.10/2839.55	c |   1108405 |   97587   483181  1531302 | 2147483647  1108061     83 | 11.346 % |
2848.79/2850.21	c |   1110885 |   97587   483181  1531302 | 2147483647  1110541     83 | 11.346 % |
2875.98/2877.43	c |   1113611 |   97587   483181  1531302 | 2147483647  1113267     84 | 11.346 % |
2883.37/2884.83	c |   1116610 |   97587   483181  1531302 | 2147483647  1116266     84 | 11.346 % |
2894.17/2895.62	c |   1119907 |   97587   483181  1531302 | 2147483647  1119563     83 | 11.346 % |
2905.47/2906.98	c |   1123532 |   97587   483181  1531302 | 2147483647  1123188     83 | 11.346 % |
2914.16/2915.61	c |   1127519 |   97587   483181  1531302 | 2147483647  1127175     83 | 11.346 % |
2927.16/2928.60	c |   1131905 |   97587   483181  1531302 | 2147483647  1131561     83 | 11.346 % |
2949.65/2951.16	c |   1136729 |   97587   483181  1531302 | 2147483647  1136385     83 | 11.346 % |
2984.94/2986.41	c |   1142034 |   97587   483181  1531302 | 2147483647  1141690     84 | 11.346 % |
2997.14/2998.65	c |   1147869 |   97587   483181  1531302 | 2147483647  1147525     84 | 11.346 % |
3007.63/3009.19	c |   1154287 |   97587   483181  1531302 | 2147483647  1153943     84 | 11.346 % |
3016.22/3017.75	c |   1161346 |   97587   483181  1531302 | 2147483647  1161002     83 | 11.346 % |
3040.71/3042.24	c |   1169111 |   97587   483181  1531302 | 2147483647  1168767     83 | 11.346 % |
3161.97/3163.54	c |   1177651 |   97587   483181  1531302 | 2147483647  1177307     86 | 11.346 % |
3218.95/3220.57	c |   1187046 |   97587   483181  1531302 | 2147483647  1186702     86 | 11.346 % |
3304.01/3305.62	c |   1197379 |   97587   483181  1531302 | 2147483647  1197035     87 | 11.346 % |
3304.51/3306.15	c |   1197479 |   97587   483181  1531302 | 2147483647  1197135     87 | 11.346 % |
3304.61/3306.30	c |   1197589 |   97587   483181  1531302 | 2147483647  1197245     87 | 11.346 % |
3305.11/3306.74	c |   1197713 |   97587   483181  1531302 | 2147483647  1197369     87 | 11.346 % |
3305.51/3307.17	c |   1197847 |   97587   483181  1531302 | 2147483647  1197503     87 | 11.346 % |
3307.71/3309.34	c |   1197994 |   97587   483181  1531302 | 2147483647  1197650     87 | 11.346 % |
3308.11/3309.76	c |   1198154 |   97587   483181  1531302 | 2147483647  1197810     87 | 11.346 % |
3312.50/3314.12	c |   1198331 |   97587   483181  1531302 | 2147483647  1197987     88 | 11.346 % |
3314.91/3316.54	c |   1198524 |   97587   483181  1531302 | 2147483647  1198180     88 | 11.346 % |
3315.40/3317.05	c |   1198737 |   97587   483181  1531302 | 2147483647  1198393     88 | 11.346 % |
3316.10/3317.75	c |   1198970 |   97587   483181  1531302 | 2147483647  1198626     88 | 11.346 % |
3316.70/3318.35	c |   1199226 |   97587   483181  1531302 | 2147483647  1198882     88 | 11.346 % |
3317.40/3319.06	c |   1199508 |   97587   483181  1531302 | 2147483647  1199164     88 | 11.346 % |
3318.00/3319.67	c |   1199818 |   97587   483181  1531302 | 2147483647  1199474     88 | 11.346 % |
3318.50/3320.12	c |   1200158 |   97587   483181  1531302 | 2147483647  1199814     88 | 11.346 % |
3319.10/3320.72	c |   1200532 |   97587   483181  1531302 | 2147483647  1200188     87 | 11.346 % |
3319.81/3321.40	c |   1200944 |   97587   483181  1531302 | 2147483647  1200600     87 | 11.346 % |
3320.61/3322.26	c |   1201394 |   97587   483181  1531302 | 2147483647  1201050     87 | 11.346 % |
3321.21/3322.88	c |   1201887 |   97587   483181  1531302 | 2147483647  1201543     87 | 11.346 % |
3322.41/3324.07	c |   1202431 |   97587   483181  1531302 | 2147483647  1202087     87 | 11.346 % |
3323.71/3325.34	c |   1203029 |   97587   483181  1531302 | 2147483647  1202685     87 | 11.346 % |
3326.60/3328.28	c |   1203684 |   97587   483181  1531302 | 2147483647  1203340     87 | 11.346 % |
3327.70/3329.38	c |   1204404 |   97587   483181  1531302 | 2147483647  1204060     87 | 11.346 % |
3329.50/3331.16	c |   1205199 |   97587   483181  1531302 | 2147483647  1204855     87 | 11.346 % |
3330.80/3332.43	c |   1206070 |   97587   483181  1531302 | 2147483647  1205726     87 | 11.346 % |
3331.90/3333.57	c |   1207029 |   97587   483181  1531302 | 2147483647  1206685     87 | 11.346 % |
3339.79/3341.40	c |   1208082 |   97587   483181  1531302 | 2147483647  1207738     87 | 11.346 % |
3343.69/3345.38	c |   1209241 |   97587   483181  1531302 | 2147483647  1208897     87 | 11.346 % |
3361.29/3363.00	c |   1210514 |   97587   483181  1531302 | 2147483647  1210170     88 | 11.346 % |
3370.48/3372.15	c |   1211914 |   97587   483181  1531302 | 2147483647  1211570     88 | 11.346 % |
3397.77/3399.43	c |   1213454 |   97587   483181  1531302 | 2147483647  1213110     88 | 11.346 % |
3399.77/3401.44	c |   1215152 |   97587   483181  1531302 | 2147483647  1214808     88 | 11.346 % |
3405.47/3407.13	c |   1217015 |   97587   483181  1531302 | 2147483647  1216671     88 | 11.346 % |
3410.37/3412.04	c |   1219066 |   97587   483181  1531302 | 2147483647  1218722     88 | 11.346 % |
3414.76/3416.41	c |   1221319 |   97587   483181  1531302 | 2147483647  1220975     88 | 11.346 % |
3460.65/3462.35	c |   1223797 |   97587   483181  1531302 | 2147483647  1223453     89 | 11.346 % |
3474.44/3476.17	c |   1226523 |   97587   483181  1531302 | 2147483647  1226179     89 | 11.346 % |
3503.23/3504.90	c |   1229520 |   97587   483181  1531302 | 2147483647  1229176     89 | 11.346 % |
3508.22/3509.99	c |   1232816 |   97587   483181  1531302 | 2147483647  1232472     89 | 11.346 % |
3512.53/3514.26	c |   1236442 |   97587   483181  1531302 | 2147483647  1236098     89 | 11.346 % |
3555.11/3556.82	c |   1240429 |   97587   483181  1531302 | 2147483647  1240085     90 | 11.346 % |
3570.30/3572.08	c |   1244814 |   97587   483181  1531302 | 2147483647  1244470     89 | 11.346 % |
3633.18/3634.92	c |   1249637 |   97587   483181  1531302 | 2147483647  1249293     90 | 11.346 % |
3648.17/3649.98	c |   1254942 |   97587   483181  1531302 | 2147483647  1254598     90 | 11.346 % |
3663.97/3665.75	c |   1260777 |   97587   483181  1531302 | 2147483647  1260433     90 | 11.346 % |
3679.26/3681.07	c |   1267196 |   97587   483181  1531302 | 2147483647  1266852     90 | 11.346 % |
3720.95/3722.75	c |   1274255 |   97587   483181  1531302 | 2147483647  1273911     90 | 11.346 % |
3752.74/3754.53	c |   1282020 |   97586   483176  1531287 | 2147483647  1281674     90 | 11.347 % |
3798.81/3800.68	c |   1290562 |   97586   483176  1531287 | 2147483647  1290216     91 | 11.347 % |
3821.90/3823.71	c |   1299956 |   97586   483176  1531287 | 2147483647  1299610     90 | 11.347 % |
3969.24/3971.17	c |   1310290 |   97586   483176  1531287 | 2147483647  1309944     92 | 11.347 % |
4007.13/4009.07	c |   1321656 |   97586   483176  1531287 | 2147483647  1321310     92 | 11.347 % |
4007.43/4009.30	c |   1321758 |   97586   483176  1531287 | 2147483647  1321412     92 | 11.347 % |
4007.63/4009.53	c |   1321868 |   97586   483176  1531287 | 2147483647  1321522     92 | 11.347 % |
4007.93/4009.88	c |   1321989 |   97586   483176  1531287 | 2147483647  1321643     92 | 11.347 % |
4008.23/4010.16	c |   1322122 |   97586   483176  1531287 | 2147483647  1321776     92 | 11.347 % |
4008.63/4010.54	c |   1322269 |   97586   483176  1531287 | 2147483647  1321923     92 | 11.347 % |
4008.83/4010.76	c |   1322429 |   97586   483176  1531287 | 2147483647  1322083     92 | 11.347 % |
4009.43/4011.38	c |   1322605 |   97586   483176  1531287 | 2147483647  1322259     92 | 11.347 % |
4010.03/4011.91	c |   1322798 |   97586   483176  1531287 | 2147483647  1322452     92 | 11.347 % |
4010.84/4012.79	c |   1323013 |   97586   483176  1531287 | 2147483647  1322667     92 | 11.347 % |
4011.53/4013.45	c |   1323246 |   97586   483176  1531287 | 2147483647  1322900     92 | 11.347 % |
4012.23/4014.11	c |   1323502 |   97586   483176  1531287 | 2147483647  1323156     92 | 11.347 % |
4013.03/4014.93	c |   1323784 |   97586   483176  1531287 | 2147483647  1323438     92 | 11.347 % |
4013.73/4015.63	c |   1324093 |   97586   483176  1531287 | 2147483647  1323747     92 | 11.347 % |
4015.02/4016.95	c |   1324436 |   97586   483176  1531287 | 2147483647  1324090     92 | 11.347 % |
4015.42/4017.33	c |   1324809 |   97586   483176  1531287 | 2147483647  1324463     92 | 11.347 % |
4024.12/4026.09	c |   1325218 |   97586   483176  1531287 | 2147483647  1324872     92 | 11.347 % |
4025.32/4027.21	c |   1325667 |   97586   483176  1531287 | 2147483647  1325321     92 | 11.347 % |
4027.42/4029.32	c |   1326162 |   97586   483176  1531287 | 2147483647  1325816     92 | 11.347 % |
4028.91/4030.83	c |   1326704 |   97586   483176  1531287 | 2147483647  1326358     92 | 11.347 % |
4031.31/4033.24	c |   1327300 |   97586   483176  1531287 | 2147483647  1326954     92 | 11.347 % |
4032.82/4034.72	c |   1327956 |   97586   483176  1531287 | 2147483647  1327610     92 | 11.347 % |
4037.11/4039.05	c |   1328676 |   97586   483176  1531287 | 2147483647  1328330     92 | 11.347 % |
4042.72/4044.64	c |   1329468 |   97586   483176  1531287 | 2147483647  1329122     92 | 11.347 % |
4045.02/4046.94	c |   1330340 |   97586   483176  1531287 | 2147483647  1329994     92 | 11.347 % |
4048.21/4050.15	c |   1331298 |   97575   483120  1531123 | 2147483647  1330951     92 | 11.357 % |
4050.31/4052.25	c |   1332352 |   97575   483120  1531123 | 2147483647  1332005     92 | 11.357 % |
4053.01/4054.91	c |   1333510 |   97575   483120  1531123 | 2147483647  1333163     92 | 11.357 % |
4055.11/4057.04	c |   1334785 |   97575   483120  1531123 | 2147483647  1334438     92 | 11.357 % |
4058.80/4060.72	c |   1336185 |   97575   483120  1531123 | 2147483647  1335838     92 | 11.357 % |
4064.10/4066.01	c |   1337726 |   97575   483120  1531123 | 2147483647  1337379     92 | 11.357 % |
4068.20/4070.16	c |   1339421 |   97575   483120  1531123 | 2147483647  1339074     92 | 11.357 % |
4073.61/4075.59	c |   1341284 |   97575   483120  1531123 | 2147483647  1340937     92 | 11.357 % |
4077.10/4079.03	c |   1343333 |   97575   483120  1531123 | 2147483647  1342986     92 | 11.357 % |
4081.00/4082.90	c |   1345587 |   97575   483120  1531123 | 2147483647  1345240     92 | 11.357 % |
4087.69/4089.62	c |   1348066 |   97575   483120  1531123 | 2147483647  1347719     92 | 11.357 % |
4099.99/4101.98	c |   1350791 |   97575   483120  1531123 |  1349657  1350444     92 | 11.357 % |
4107.59/4109.58	c |   1353789 |   97575   483120  1531123 |  1349657  1353442     92 | 11.357 % |
4112.68/4114.67	c |   1357085 |   97575   483120  1531123 |  1349657  1356738     92 | 11.357 % |
4127.48/4129.49	c |   1360711 |   97575   483120  1531123 |  1359653  1360364     91 | 11.357 % |
4195.55/4197.52	c |   1364698 |   97575   483120  1531123 |  1359653  1364351     92 | 11.357 % |
4205.45/4207.49	c |   1369084 |   97575   483120  1531123 |  1359653  1368737     92 | 11.357 % |
4236.83/4238.90	c |   1373907 |   97575   483120  1531123 | 2147483647  1373560     93 | 11.357 % |
4260.33/4262.32	c |   1379212 |   97575   483120  1531123 | 2147483647  1378865     93 | 11.357 % |
4276.12/4278.16	c |   1385048 |   97575   483120  1531123 | 2147483647  1384701     93 | 11.357 % |
4290.91/4292.92	c |   1391467 |   97575   483120  1531123 |  1389653  1391120     93 | 11.357 % |
4306.01/4308.07	c |   1398526 |   97575   483120  1531123 |  1389653  1398179     92 | 11.357 % |
4325.00/4327.08	c |   1406292 |   97575   483120  1531123 |  1399653  1405945     93 | 11.357 % |
4346.99/4349.06	c |   1414832 |   97575   483120  1531123 |  1409654  1414485     92 | 11.357 % |
4362.68/4364.75	c |   1424226 |   97575   483120  1531123 |  1419653  1423879     92 | 11.357 % |
4380.87/4382.96	c |   1434559 |   97575   483120  1531123 | 2147483647  1434212     92 | 11.357 % |
4404.16/4406.21	c |   1445926 |   97575   483120  1531123 |  1439655  1445579     92 | 11.357 % |
4596.79/4598.96	c |   1458429 |   97575   483120  1531123 | 2147483647  1458082     94 | 11.357 % |
4597.09/4599.24	c |   1458529 |   97575   483120  1531123 | 2147483647  1458182     94 | 11.357 % |
4597.59/4599.75	c |   1458639 |   97575   483120  1531123 | 2147483647  1458292     94 | 11.357 % |
4598.39/4600.51	c |   1458760 |   97575   483120  1531123 | 2147483647  1458413     94 | 11.357 % |
4598.79/4600.90	c |   1458894 |   97575   483120  1531123 | 2147483647  1458547     94 | 11.357 % |
4599.49/4601.60	c |   1459040 |   97575   483120  1531123 | 2147483647  1458693     94 | 11.357 % |
4599.89/4602.03	c |   1459200 |   97575   483120  1531123 | 2147483647  1458853     94 | 11.357 % |
4600.49/4602.68	c |   1459376 |   97575   483120  1531123 | 2147483647  1459029     94 | 11.357 % |
4601.09/4603.26	c |   1459571 |   97575   483120  1531123 | 2147483647  1459224     94 | 11.357 % |
4602.39/4604.54	c |   1459783 |   97575   483120  1531123 | 2147483647  1459436     94 | 11.357 % |
4603.09/4605.23	c |   1460017 |   97575   483120  1531123 | 2147483647  1459670     94 | 11.357 % |
4604.09/4606.27	c |   1460275 |   97575   483120  1531123 | 2147483647  1459928     94 | 11.357 % |
4604.79/4606.91	c |   1460556 |   97575   483120  1531123 | 2147483647  1460209     94 | 11.357 % |
4605.49/4607.68	c |   1460866 |   97575   483120  1531123 | 2147483647  1460519     94 | 11.357 % |
4610.19/4612.38	c |   1461205 |   97575   483120  1531123 | 2147483647  1460858     94 | 11.357 % |
4611.29/4613.40	c |   1461578 |   97575   483120  1531123 | 2147483647  1461231     94 | 11.357 % |
4613.28/4615.44	c |   1461988 |   97575   483120  1531123 | 2147483647  1461641     94 | 11.357 % |
4614.48/4616.65	c |   1462439 |   97575   483120  1531123 | 2147483647  1462092     94 | 11.357 % |
4615.38/4617.57	c |   1462933 |   97575   483120  1531123 | 2147483647  1462586     94 | 11.357 % |
4617.08/4619.25	c |   1463475 |   97575   483120  1531123 | 2147483647  1463128     94 | 11.357 % |
4618.18/4620.38	c |   1464073 |   97575   483120  1531123 | 2147483647  1463726     94 | 11.357 % |
4621.28/4623.47	c |   1464728 |   97575   483120  1531123 | 2147483647  1464381     94 | 11.357 % |
4623.38/4625.51	c |   1465449 |   97575   483120  1531123 | 2147483647  1465102     94 | 11.357 % |
4630.58/4632.75	c |   1466241 |   97575   483120  1531123 | 2147483647  1465894     94 | 11.357 % |
4638.18/4640.37	c |   1467112 |   97555   483026  1530843 | 2147483647  1466763     94 | 11.375 % |
4640.57/4642.78	c |   1468070 |   97555   483026  1530843 | 2147483647  1467721     94 | 11.375 % |
4644.87/4647.08	c |   1469124 |   97555   483026  1530843 | 2147483647  1468775     94 | 11.375 % |
4646.47/4648.65	c |   1470282 |   97555   483026  1530843 | 2147483647  1469933     94 | 11.375 % |
4659.37/4661.54	c |   1471555 |   97555   483026  1530843 | 2147483647  1471206     94 | 11.375 % |
4661.67/4663.87	c |   1472955 |   97555   483026  1530843 | 2147483647  1472606     94 | 11.375 % |
4663.66/4665.89	c |   1474499 |   97555   483026  1530843 | 2147483647  1474150     94 | 11.375 % |
4667.96/4670.15	c |   1476193 |   97555   483026  1530843 | 2147483647  1475844     94 | 11.375 % |
4671.36/4673.51	c |   1478056 |   97555   483026  1530843 | 2147483647  1477707     94 | 11.375 % |
4707.64/4709.85	c |   1480105 |   97555   483026  1530843 | 2147483647  1479756     94 | 11.375 % |
4720.04/4722.26	c |   1482359 |   97555   483026  1530843 | 2147483647  1482010     94 | 11.375 % |
4733.44/4735.60	c |   1484837 |   97540   483026  1530843 | 2147483647  1484487     94 | 11.478 % |
4742.73/4744.97	c |   1487563 |   97517   483026  1530843 | 2147483647  1487206     94 | 11.524 % |
4792.71/4794.97	c |   1490560 |   97517   483026  1530843 | 2147483647  1490203     95 | 11.524 % |
4798.91/4801.11	c |   1493856 |   97517   483026  1530843 | 2147483647  1493499     94 | 11.524 % |
4814.31/4816.53	c |   1497481 |   97517   483026  1530843 | 2147483647  1497124     94 | 11.524 % |
4878.38/4880.69	c |   1501468 |   97517   483026  1530843 | 2147483647  1501111     95 | 11.524 % |
4887.78/4890.05	c |   1505854 |   97517   483026  1530843 | 2147483647  1505497     95 | 11.524 % |
4904.27/4906.58	c |   1510680 |   97517   483026  1530843 | 2147483647  1510323     95 | 11.524 % |
4961.14/4963.47	c |   1515986 |   97517   483026  1530843 | 2147483647  1515629     95 | 11.524 % |
5012.02/5014.35	c |   1521823 |   97517   483026  1530843 | 2147483647  1521466     96 | 11.524 % |
5049.31/5051.67	c |   1528241 |   97517   483026  1530843 | 2147483647  1527884     96 | 11.524 % |
5072.50/5074.87	c |   1535300 |   97391   482280  1528610 | 2147483647  1534934     96 | 11.524 % |
5103.59/5105.98	c |   1543065 |   97391   482280  1528610 | 2147483647  1542699     96 | 11.524 % |
5130.48/5132.84	c |   1551606 |   97391   482280  1528610 |  1549634  1551240     96 | 11.524 % |
5158.16/5160.52	c |   1561001 |   97391   482280  1528610 | 2147483647  1560635     96 | 11.524 % |
5191.45/5193.86	c |   1571334 |   97391   482280  1528610 |  1569635  1570968     95 | 11.524 % |
5209.95/5212.31	c |   1582701 |   97391   482280  1528610 | 2147483647  1582335     95 | 11.524 % |
5404.76/5407.22	c |   1595205 |   97391   482280  1528610 | 2147483647  1594839     98 | 11.524 % |
5587.28/5589.98	c |   1608959 |   97391   482280  1528610 | 2147483647  1608593     99 | 11.524 % |
5588.18/5590.81	c |   1609060 |   97391   482280  1528610 | 2147483647  1608694     99 | 11.524 % |
5589.18/5591.83	c |   1609170 |   97391   482280  1528610 | 2147483647  1608804     99 | 11.524 % |
5590.08/5592.74	c |   1609291 |   97391   482280  1528610 | 2147483647  1608925     99 | 11.524 % |
5590.38/5593.05	c |   1609424 |   97391   482280  1528610 | 2147483647  1609058     99 | 11.524 % |
5593.97/5596.62	c |   1609570 |   97391   482280  1528610 | 2147483647  1609204     99 | 11.524 % |
5595.77/5598.48	c |   1609730 |   97391   482280  1528610 | 2147483647  1609364     99 | 11.524 % |
5596.97/5599.69	c |   1609908 |   97391   482280  1528610 | 2147483647  1609542     99 | 11.524 % |
5597.87/5600.52	c |   1610102 |   97391   482280  1528610 | 2147483647  1609736     99 | 11.524 % |
5598.87/5601.52	c |   1610314 |   97391   482280  1528610 | 2147483647  1609948     99 | 11.524 % |
5599.97/5602.68	c |   1610547 |   97391   482280  1528610 | 2147483647  1610181     99 | 11.524 % |
5601.07/5603.71	c |   1610804 |   97391   482280  1528610 | 2147483647  1610438     99 | 11.524 % |
5603.77/5606.44	c |   1611085 |   97391   482280  1528610 | 2147483647  1610719     99 | 11.524 % |
5610.26/5612.95	c |   1611394 |   97391   482280  1528610 | 2147483647  1611028     99 | 11.524 % |
5612.16/5614.82	c |   1611734 |   97391   482280  1528610 | 2147483647  1611368     99 | 11.524 % |
5612.66/5615.39	c |   1612109 |   97391   482280  1528610 | 2147483647  1611743     99 | 11.524 % |
5615.56/5618.26	c |   1612520 |   97391   482280  1528610 | 2147483647  1612154     99 | 11.524 % |
5622.66/5625.35	c |   1612970 |   97391   482280  1528610 | 2147483647  1612604     99 | 11.524 % |
5626.56/5629.23	c |   1613463 |   97391   482280  1528610 | 2147483647  1613097     99 | 11.524 % |
5629.56/5632.26	c |   1614005 |   97391   482280  1528610 | 2147483647  1613639     99 | 11.524 % |
5631.56/5634.21	c |   1614602 |   97391   482280  1528610 | 2147483647  1614236     99 | 11.524 % |
5635.45/5638.16	c |   1615259 |   97391   482280  1528610 | 2147483647  1614893     99 | 11.524 % |
5651.26/5653.90	c |   1615980 |   97391   482280  1528610 | 2147483647  1615614     99 | 11.524 % |
5653.25/5655.93	c |   1616772 |   97391   482280  1528610 | 2147483647  1616406     99 | 11.524 % |
5657.05/5659.73	c |   1617643 |   97391   482280  1528610 | 2147483647  1617277     99 | 11.524 % |
5673.94/5676.63	c |   1618601 |   97391   482280  1528610 | 2147483647  1618235     99 | 11.524 % |
5679.34/5682.03	c |   1619655 |   97391   482280  1528610 | 2147483647  1619289     99 | 11.524 % |
5681.64/5684.30	c |   1620814 |   97391   482280  1528610 | 2147483647  1620448     99 | 11.524 % |
5686.83/5689.59	c |   1622087 |   97391   482280  1528610 | 2147483647  1621721     99 | 11.524 % |
5696.63/5699.40	c |   1623488 |   97391   482280  1528610 | 2147483647  1623122     99 | 11.524 % |
5700.62/5703.34	c |   1625029 |   97391   482280  1528610 | 2147483647  1624663     99 | 11.524 % |
5706.62/5709.30	c |   1626724 |   97391   482280  1528610 | 2147483647  1626358     99 | 11.524 % |
5716.92/5719.62	c |   1628587 |   97391   482280  1528610 | 2147483647  1628221     99 | 11.524 % |
5727.13/5729.81	c |   1630637 |   97391   482280  1528610 | 2147483647  1630271     99 | 11.524 % |
5730.12/5732.85	c |   1632891 |   97391   482280  1528610 | 2147483647  1632525     99 | 11.524 % |
5738.81/5741.52	c |   1635370 |   97391   482280  1528610 | 2147483647  1635004     99 | 11.524 % |
5758.31/5761.07	c |   1638096 |   97391   482280  1528610 | 2147483647  1637730     99 | 11.524 % |
5771.00/5773.74	c |   1641093 |   97391   482280  1528610 | 2147483647  1640727     99 | 11.524 % |
5790.79/5793.56	c |   1644390 |   97391   482280  1528610 | 2147483647  1644024     99 | 11.524 % |
5812.99/5815.78	c |   1648015 |   97391   482280  1528610 | 2147483647  1647649     99 | 11.524 % |
5823.58/5826.35	c |   1652002 |   97391   482280  1528610 | 2147483647  1651636     99 | 11.524 % |
5831.97/5834.73	c |   1656388 |   97391   482280  1528610 | 2147483647  1656022     99 | 11.524 % |
5867.46/5870.28	c |   1661212 |   97391   482280  1528610 | 2147483647  1660846     99 | 11.524 % |
5883.76/5886.50	c |   1666518 |   97391   482280  1528610 | 2147483647  1666152     99 | 11.524 % |
5897.15/5899.90	c |   1672353 |   97391   482280  1528610 | 2147483647  1671987     99 | 11.524 % |
6024.10/6026.97	c |   1678771 |   97391   482280  1528610 | 2147483647  1678405    101 | 11.524 % |
6058.89/6061.73	c |   1685830 |   97383   482240  1528492 | 2147483647  1685460    100 | 11.531 % |
6094.28/6097.18	c |   1693595 |   97383   482240  1528492 | 2147483647  1693225    100 | 11.531 % |
6138.26/6141.20	c |   1702135 |   97383   482240  1528492 |  1699630  1701765    100 | 11.531 % |
6263.90/6266.81	c |   1711529 |   97383   482240  1528492 | 2147483647  1711159    101 | 11.531 % |
6291.09/6294.01	c |   1721862 |   97383   482240  1528492 | 2147483647  1721492    101 | 11.531 % |
6322.78/6325.70	c |   1733228 |   97383   482240  1528492 |  1729631  1732858    100 | 11.531 % |
6369.86/6372.86	c |   1745732 |   97383   482240  1528492 |  1739630  1745362    101 | 11.531 % |
6416.44/6419.44	c |   1759484 |   97383   482240  1528492 | 2147483647  1759114    100 | 11.531 % |
6447.13/6450.16	c |   1774611 |   97383   482240  1528492 |  1769630  1774241    100 | 11.531 % |
6447.63/6450.63	c |   1774713 |   97383   482240  1528492 |  1769630  1774343    100 | 11.531 % |
6448.13/6451.14	c |   1774823 |   97383   482240  1528492 |  1769630  1774453    100 | 11.531 % |
6448.44/6451.46	c |   1774946 |   97383   482240  1528492 |  1769630  1774576    100 | 11.531 % |
6449.23/6452.24	c |   1775081 |   97383   482240  1528492 |  1769630  1774711    100 | 11.531 % |
6449.83/6452.83	c |   1775228 |   97383   482240  1528492 |  1769630  1774858    100 | 11.531 % |
6450.93/6453.96	c |   1775388 |   97383   482240  1528492 |  1769630  1775018    100 | 11.531 % |
6451.33/6454.40	c |   1775564 |   97383   482240  1528492 |  1769630  1775194    100 | 11.531 % |
6451.93/6454.98	c |   1775757 |   97383   482240  1528492 |  1769630  1775387    100 | 11.531 % |
6452.93/6455.91	c |   1775970 |   97383   482240  1528492 |  1769630  1775600    100 | 11.531 % |
6453.53/6456.56	c |   1776203 |   97383   482240  1528492 |  1769630  1775833    100 | 11.531 % |
6454.23/6457.22	c |   1776460 |   97383   482240  1528492 |  1769630  1776090    100 | 11.531 % |
6455.03/6458.08	c |   1776742 |   97383   482240  1528492 |  1769630  1776372    100 | 11.531 % |
6456.32/6459.31	c |   1777055 |   97383   482240  1528492 |  1769630  1776685    100 | 11.531 % |
6462.83/6465.86	c |   1777394 |   97383   482240  1528492 |  1769630  1777024    100 | 11.531 % |
6464.73/6467.78	c |   1777767 |   97383   482240  1528492 |  1769630  1777397    100 | 11.531 % |
6467.33/6470.32	c |   1778180 |   97383   482240  1528492 |  1769630  1777810    100 | 11.531 % |
6468.23/6471.25	c |   1778630 |   97383   482240  1528492 |  1769630  1778260    100 | 11.531 % |
6469.13/6472.18	c |   1779125 |   97383   482240  1528492 |  1769630  1778755    100 | 11.531 % |
6471.63/6474.66	c |   1779667 |   97383   482240  1528492 |  1769630  1779297    100 | 11.531 % |
6474.93/6477.98	c |   1780265 |   97383   482240  1528492 |  1779630  1779895    100 | 11.531 % |
6476.32/6479.39	c |   1780922 |   97383   482240  1528492 |  1779630  1780552    100 | 11.531 % |
6488.82/6491.88	c |   1781642 |   97383   482240  1528492 |  1779630  1781272    100 | 11.531 % |
6493.91/6496.94	c |   1782434 |   97383   482240  1528492 |  1779630  1782064    100 | 11.531 % |
6506.00/6509.09	c |   1783305 |   97383   482240  1528492 |  1779630  1782935    100 | 11.531 % |
6513.11/6516.15	c |   1784263 |   97383   482240  1528492 |  1779630  1783893    100 | 11.531 % |
6516.90/6519.96	c |   1785318 |   97383   482240  1528492 |  1779630  1784948    100 | 11.531 % |
6521.70/6524.74	c |   1786477 |   97383   482240  1528492 |  1779630  1786107    100 | 11.531 % |
6528.30/6531.31	c |   1787750 |   97383   482240  1528492 |  1779630  1787380    100 | 11.531 % |
6547.89/6550.93	c |   1789150 |   97383   482240  1528492 |  1779630  1788780    100 | 11.531 % |
6549.19/6552.28	c |   1790690 |   97383   482240  1528492 | 2147483647  1790320    100 | 11.531 % |
6551.99/6555.00	c |   1792385 |   97383   482240  1528492 | 2147483647  1792015    100 | 11.531 % |
6562.68/6565.76	c |   1794248 |   97383   482240  1528492 | 2147483647  1793878    100 | 11.531 % |
6603.97/6607.05	c |   1796297 |   97383   482240  1528492 | 2147483647  1795927    100 | 11.531 % |
6612.46/6615.54	c |   1798550 |   97383   482240  1528492 | 2147483647  1798180    100 | 11.531 % |
6657.35/6660.44	c |   1801029 |   97383   482240  1528492 | 2147483647  1800659    101 | 11.531 % |
6675.14/6678.28	c |   1803755 |   97383   482240  1528492 | 2147483647  1803385    101 | 11.531 % |
6683.83/6686.94	c |   1806753 |   97383   482240  1528492 | 2147483647  1806383    101 | 11.531 % |
6699.43/6702.50	c |   1810050 |   97383   482240  1528492 | 2147483647  1809680    101 | 11.531 % |
6717.52/6720.65	c |   1813677 |   97383   482240  1528492 | 2147483647  1813307    101 | 11.531 % |
6725.72/6728.87	c |   1817664 |   97383   482240  1528492 | 2147483647  1817294    101 | 11.531 % |
6793.69/6796.84	c |   1822049 |   97383   482240  1528492 | 2147483647  1821679    101 | 11.531 % |
6818.08/6821.20	c |   1826872 |   97383   482240  1528492 | 2147483647  1826502    101 | 11.531 % |
6840.38/6843.50	c |   1832177 |   97383   482240  1528492 | 2147483647  1831807    101 | 11.531 % |
6892.55/6895.78	c |   1838013 |   97383   482240  1528492 | 2147483647  1837643    101 | 11.531 % |
6910.84/6914.10	c |   1844432 |   97383   482240  1528492 | 2147483647  1844062    101 | 11.531 % |
6924.94/6928.16	c |   1851492 |   97383   482240  1528492 |  1849630  1851122    101 | 11.531 % |
6944.53/6947.72	c |   1859256 |   97383   482240  1528492 |  1849630  1858886    101 | 11.531 % |
7034.19/7037.43	c |   1867796 |   97383   482240  1528492 | 2147483647  1867426    101 | 11.531 % |
7160.75/7164.04	c |   1877190 |   97362   482153  1528225 | 2147483647  1876817    102 | 11.550 % |
7205.03/7208.36	c |   1887523 |   97362   482153  1528225 | 2147483647  1887150    102 | 11.550 % |
7278.50/7281.82	c |   1898889 |   97362   482153  1528225 |  1889629  1898516    103 | 11.550 % |
7329.68/7333.07	c |   1911391 |   97362   482153  1528225 |  1909628  1911018    103 | 11.550 % |
7355.77/7359.18	c |   1925143 |   97362   482153  1528225 |  1919628  1924770    102 | 11.550 % |
7395.86/7399.21	c |   1940270 |   97362   482153  1528225 |  1939627  1939897    102 | 11.550 % |
7445.24/7448.63	c |   1956910 |   97362   482153  1528225 |  1949627  1956537    102 | 11.550 % |
7446.04/7449.49	c |   1957010 |   97362   482153  1528225 |  1949627  1956637    102 | 11.550 % |
7446.74/7450.11	c |   1957122 |   97362   482153  1528225 |  1949627  1956749    102 | 11.550 % |
7447.14/7450.50	c |   1957244 |   97362   482153  1528225 |  1949627  1956871    102 | 11.550 % |
7447.64/7451.03	c |   1957378 |   97362   482153  1528225 |  1949627  1957005    102 | 11.550 % |
7448.34/7451.77	c |   1957525 |   97362   482153  1528225 |  1949627  1957152    102 | 11.550 % |
7449.04/7452.44	c |   1957686 |   97362   482153  1528225 |  1949627  1957313    102 | 11.550 % |
7449.64/7453.09	c |   1957862 |   97362   482153  1528225 |  1949627  1957489    102 | 11.550 % |
7450.33/7453.75	c |   1958056 |   97362   482153  1528225 |  1949627  1957683    102 | 11.550 % |
7451.13/7454.54	c |   1958269 |   97362   482153  1528225 |  1949627  1957896    102 | 11.550 % |
7452.03/7455.42	c |   1958502 |   97362   482153  1528225 |  1949627  1958129    102 | 11.550 % |
7452.53/7455.90	c |   1958758 |   97362   482153  1528225 |  1949627  1958385    102 | 11.550 % |
7453.13/7456.55	c |   1959039 |   97362   482153  1528225 |  1949627  1958666    102 | 11.550 % |
7454.23/7457.62	c |   1959348 |   97362   482153  1528225 |  1949627  1958975    102 | 11.550 % |
7455.73/7459.10	c |   1959687 |   97362   482153  1528225 |  1949627  1959314    102 | 11.550 % |
7457.13/7460.57	c |   1960059 |   97362   482153  1528225 |  1959628  1959686    102 | 11.550 % |
7459.13/7462.59	c |   1960468 |   97362   482153  1528225 |  1959628  1960095    102 | 11.550 % |
7461.13/7464.56	c |   1960918 |   97362   482153  1528225 |  1959628  1960545    102 | 11.550 % |
7466.63/7470.10	c |   1961411 |   97353   482153  1528225 |  1959628  1961035    102 | 11.612 % |
7468.12/7471.57	c |   1961955 |   97353   482153  1528225 |  1959628  1961579    102 | 11.612 % |
7473.82/7477.24	c |   1962551 |   97353   482153  1528225 |  1959628  1962175    102 | 11.612 % |
7478.12/7481.50	c |   1963206 |   97353   482153  1528225 |  1959628  1962830    102 | 11.612 % |
7484.91/7488.34	c |   1963926 |   97353   482153  1528225 |  1959628  1963550    102 | 11.612 % |
7493.42/7496.80	c |   1964721 |   97353   482153  1528225 |  1959628  1964345    102 | 11.612 % |
7499.92/7503.33	c |   1965592 |   97353   482153  1528225 |  1959628  1965216    102 | 11.612 % |
7502.71/7506.19	c |   1966550 |   97353   482153  1528225 |  1959628  1966174    102 | 11.612 % |
7548.39/7551.87	c |   1967603 |   97353   482153  1528225 |  1959628  1967227    102 | 11.612 % |
7552.69/7556.19	c |   1968761 |   97352   482153  1528225 |  1959628  1968384    102 | 11.617 % |
7557.29/7560.72	c |   1970036 |   97352   482153  1528225 |  1969623  1969659    102 | 11.617 % |
7567.19/7570.68	c |   1971437 |   97352   482153  1528225 |  1969623  1971060    102 | 11.617 % |
7579.08/7582.50	c |   1972978 |   97352   482153  1528225 |  1969623  1972601    102 | 11.617 % |
7582.28/7585.78	c |   1974673 |   97352   482153  1528225 |  1969623  1974296    102 | 11.617 % |
7589.87/7593.39	c |   1976538 |   97352   482153  1528225 |  1969623  1976161    102 | 11.617 % |
7597.38/7600.87	c |   1978588 |   97352   482153  1528225 |  1969623  1978211    102 | 11.617 % |
7603.87/7607.31	c |   1980841 |   97352   482153  1528225 |  1979623  1980464    102 | 11.617 % |
7667.65/7671.11	c |   1983320 |   97352   482153  1528225 |  1979623  1982943    103 | 11.617 % |
7706.63/7710.18	c |   1986045 |   97351   482153  1528225 |  1979623  1985667    103 | 11.617 % |
7729.22/7732.75	c |   1989042 |   97351   482153  1528225 |  1979623  1988664    103 | 11.617 % |
7793.89/7797.43	c |   1992338 |   97351   482153  1528225 | 2147483647  1991960    104 | 11.617 % |
7808.59/7812.15	c |   1995963 |   97287   481815  1527208 | 2147483647  1995576    104 | 11.667 % |
7840.28/7843.82	c |   1999954 |   97287   481815  1527208 | 2147483647  1999567    104 | 11.667 % |
7860.17/7863.79	c |   2004339 |   97287   481815  1527208 | 2147483647  2003952    104 | 11.667 % |
7877.37/7880.92	c |   2009164 |   97287   481815  1527208 | 2147483647  2008777    104 | 11.667 % |
7899.06/7902.67	c |   2014469 |   97287   481815  1527208 | 2147483647  2014082    103 | 11.667 % |
7913.05/7916.63	c |   2020305 |   97287   481815  1527208 |  2019614  2019918    103 | 11.667 % |
7928.95/7932.52	c |   2026723 |   97287   481815  1527208 |  2019614  2026336    103 | 11.667 % |
7948.04/7951.65	c |   2033784 |   97287   481815  1527208 |  2029614  2033397    103 | 11.667 % |
7994.52/7998.14	c |   2041550 |   97286   481815  1527208 |  2039613  2041163    103 | 11.667 % |
8048.30/8051.94	c |   2050091 |   97286   481815  1527208 |  2049615  2049704    103 | 11.667 % |
8067.00/8070.68	c |   2059485 |   97286   481815  1527208 |  2049615  2059098    103 | 11.667 % |
8098.27/8101.96	c |   2069818 |   97286   481815  1527208 |  2059613  2069431    103 | 11.667 % |
8124.07/8127.74	c |   2081185 |   97286   481815  1527208 |  2079613  2080798    102 | 11.667 % |
8160.95/8164.60	c |   2093687 |   97286   481815  1527208 |  2089614  2093300    103 | 11.667 % |
8236.02/8239.77	c |   2107439 |   97286   481815  1527208 |  2099614  2107052    102 | 11.667 % |
8284.11/8287.85	c |   2122566 |   97286   481815  1527208 |  2119614  2122179    102 | 11.667 % |
8376.77/8380.55	c |   2139206 |   97285   481815  1527208 |  2129616  2138819    102 | 11.667 % |
8427.75/8431.51	c |   2157512 |   97285   481815  1527208 |  2149613  2157125    102 | 11.667 % |
8429.45/8433.20	c |   2157612 |   97285   481815  1527208 |  2149613  2157225    102 | 11.667 % |
8430.55/8434.37	c |   2157725 |   97285   481815  1527208 |  2149613  2157338    102 | 11.667 % |
8431.45/8435.24	c |   2157847 |   97285   481815  1527208 |  2149613  2157460    102 | 11.667 % |
8431.85/8435.68	c |   2157981 |   97285   481815  1527208 |  2149613  2157594    102 | 11.667 % |
8432.45/8436.26	c |   2158128 |   97285   481815  1527208 |  2149613  2157741    102 | 11.667 % |
8433.15/8436.92	c |   2158291 |   97285   481815  1527208 |  2149613  2157904    102 | 11.667 % |
8433.75/8437.57	c |   2158467 |   97285   481815  1527208 |  2149613  2158080    102 | 11.667 % |
8434.65/8438.42	c |   2158661 |   97285   481815  1527208 |  2149613  2158274    102 | 11.667 % |
8435.65/8439.46	c |   2158873 |   97285   481815  1527208 |  2149613  2158486    102 | 11.667 % |
8436.45/8440.20	c |   2159107 |   97285   481815  1527208 |  2149613  2158720    102 | 11.667 % |
8437.65/8441.41	c |   2159364 |   97285   481815  1527208 |  2149613  2158977    102 | 11.667 % |
8439.14/8442.96	c |   2159646 |   97285   481815  1527208 |  2149613  2159259    102 | 11.667 % |
8439.94/8443.77	c |   2159955 |   97285   481815  1527208 |  2149613  2159568    102 | 11.667 % |
8446.94/8450.72	c |   2160294 |   97285   481815  1527208 |  2159613  2159907    102 | 11.667 % |
8451.34/8455.18	c |   2160667 |   97285   481815  1527208 |  2159613  2160280    102 | 11.667 % |
8463.03/8466.89	c |   2161077 |   97285   481815  1527208 |  2159613  2160690    102 | 11.667 % |
8465.33/8469.18	c |   2161526 |   97285   481815  1527208 |  2159613  2161139    102 | 11.667 % |
8472.32/8476.11	c |   2162019 |   97285   481815  1527208 |  2159613  2161632    102 | 11.667 % |
8476.13/8479.96	c |   2162562 |   97285   481815  1527208 |  2159613  2162175    102 | 11.667 % |
8479.13/8482.98	c |   2163160 |   97285   481815  1527208 |  2159613  2162773    102 | 11.667 % |
8482.73/8486.54	c |   2163816 |   97285   481815  1527208 |  2159613  2163429    102 | 11.667 % |
8487.82/8491.65	c |   2164537 |   97285   481815  1527208 |  2159613  2164150    102 | 11.667 % |
8495.82/8499.60	c |   2165329 |   97285   481815  1527208 |  2159613  2164942    102 | 11.667 % |
8497.12/8500.98	c |   2166201 |   97285   481815  1527208 |  2159613  2165814    102 | 11.667 % |
8499.31/8503.17	c |   2167161 |   97285   481815  1527208 |  2159613  2166774    102 | 11.667 % |
8502.71/8506.55	c |   2168215 |   97285   481815  1527208 |  2159613  2167828    102 | 11.667 % |
8505.41/8509.25	c |   2169376 |   97285   481815  1527208 |  2159613  2168989    102 | 11.667 % |
8508.81/8512.60	c |   2170649 |   97285   481815  1527208 |  2169613  2170262    102 | 11.667 % |
8512.60/8516.47	c |   2172049 |   97285   481815  1527208 |  2169613  2171662    102 | 11.667 % |
8515.71/8519.60	c |   2173591 |   97285   481815  1527208 |  2169613  2173204    102 | 11.667 % |
8538.00/8541.83	c |   2175287 |   97285   481815  1527208 |  2169613  2174900    102 | 11.667 % |
8544.69/8548.58	c |   2177150 |   97285   481815  1527208 |  2169613  2176763    102 | 11.667 % |
8551.99/8555.84	c |   2179200 |   97285   481815  1527208 |  2169613  2178813    102 | 11.667 % |
8564.79/8568.68	c |   2181454 |   97285   481815  1527208 | 2147483647  2181067    102 | 11.667 % |
8606.57/8610.41	c |   2183932 |   97285   481815  1527208 | 2147483647  2183545    102 | 11.667 % |
8645.16/8649.09	c |   2186657 |   97285   481815  1527208 | 2147483647  2186270    102 | 11.667 % |
8659.66/8663.55	c |   2189654 |   97285   481815  1527208 | 2147483647  2189267    102 | 11.667 % |
8716.23/8720.20	c |   2192953 |   97285   481815  1527208 | 2147483647  2192566    103 | 11.667 % |
8722.43/8726.35	c |   2196578 |   97285   481815  1527208 | 2147483647  2196191    103 | 11.667 % |
8741.52/8745.40	c |   2200565 |   97285   481815  1527208 | 2147483647  2200178    103 | 11.667 % |
8752.82/8756.75	c |   2204951 |   97233   481548  1526411 | 2147483647  2204559    102 | 11.667 % |
8838.09/8842.01	c |   2209777 |   97233   481548  1526411 | 2147483647  2209385    103 | 11.667 % |
8850.68/8854.67	c |   2215082 |   97233   481548  1526411 | 2147483647  2214690    103 | 11.667 % |
8934.65/8938.64	c |   2220918 |   97233   481548  1526411 | 2147483647  2220526    104 | 11.667 % |
8956.23/8960.21	c |   2227338 |   97233   481548  1526411 | 2147483647  2226946    104 | 11.667 % |
8971.03/8975.01	c |   2234399 |   97233   481548  1526411 | 2147483647  2234007    103 | 11.667 % |
8992.22/8996.28	c |   2242163 |   97233   481548  1526411 |  2239608  2241771    103 | 11.667 % |
9023.00/9027.05	c |   2250706 |   97233   481548  1526411 |  2249609  2250314    103 | 11.667 % |
9055.69/9059.78	c |   2260101 |   97233   481548  1526411 |  2259608  2259709    103 | 11.667 % |
9111.27/9115.38	c |   2270434 |   97233   481548  1526411 |  2269608  2270042    103 | 11.667 % |
9166.45/9170.57	c |   2281800 |   97233   481548  1526411 |  2279608  2281408    103 | 11.667 % |
9401.76/9405.96	c |   2294302 |   97233   481548  1526411 | 2147483647  2293910    105 | 11.667 % |
9457.43/9461.62	c |   2308057 |   97233   481548  1526411 | 2147483647  2307665    105 | 11.667 % |
9479.82/9484.09	c |   2323186 |   97233   481548  1526411 | 2147483647  2322794    105 | 11.667 % |
9539.10/9543.30	c |   2339825 |   97233   481548  1526411 | 2147483647  2339433    105 | 11.667 % |
9913.85/9918.29	c |   2358127 |   97233   481548  1526411 | 2147483647  2357735    108 | 11.667 % |

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837260-1242865863/watcher-1837260-1242865863 -o /tmp/evaluation-result-1837260-1242865863/solver-1837260-1242865863 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837260-1242865863.cnf 

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


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 22472
/proc/meminfo: memFree=1816184/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=1964 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) R 22470 22472 22435 0 -1 4194304 52 0 0 0 0 0 0 0 19 0 1 0 314620132 2011136 36 1992294400 4194304 4889804 548682068816 18446744073709551615 214917249068 0 0 4096 0 0 0 0 17 1 0 0
/proc/22472/statm: 751 40 30 169 0 9 0

[startup+0.00875798 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 22472
/proc/meminfo: memFree=1816184/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 314620132 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 214920036434 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/22472/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101776 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 22472
/proc/meminfo: memFree=1816184/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301817 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 22472
/proc/meminfo: memFree=1816184/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702904 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 22472
/proc/meminfo: memFree=1816184/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50107 s]
/proc/loadavg: 0.78 0.95 0.94 2/66 22477
/proc/meminfo: memFree=1696232/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
[pid=22477] ppid=22472 vsize=145752 CPUtime=1.47
/proc/22477/stat : 22477 (SatELite_releas) R 22472 22472 22435 0 -1 4194304 32514 0 0 0 128 19 0 0 25 0 1 0 314620133 149250048 29962 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/22477/statm: 36438 29962 76 173 0 36263 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 151108

[startup+3.10142 s]
/proc/loadavg: 0.78 0.95 0.94 2/66 22477
/proc/meminfo: memFree=1691176/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
[pid=22477] ppid=22472 vsize=147984 CPUtime=3.07
/proc/22477/stat : 22477 (SatELite_releas) R 22472 22472 22435 0 -1 4194304 33077 0 0 0 286 21 0 0 25 0 1 0 314620133 151535616 30525 1992294400 134512640 135223648 4294956128 18446744073709551615 134587334 0 0 4096 3 0 0 0 17 1 0 0
/proc/22477/statm: 36996 30525 76 173 0 36821 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 153340

[startup+6.3011 s]
/proc/loadavg: 0.80 0.95 0.94 2/66 22477
/proc/meminfo: memFree=1676520/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
[pid=22477] ppid=22472 vsize=152808 CPUtime=6.25
/proc/22477/stat : 22477 (SatELite_releas) R 22472 22472 22435 0 -1 4194304 34210 0 0 0 598 27 0 0 25 0 1 0 314620133 156475392 31658 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/22477/statm: 38202 31658 76 173 0 38027 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 158164

[startup+12.7015 s]
/proc/loadavg: 0.81 0.95 0.94 2/66 22477
/proc/meminfo: memFree=1636976/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=0
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 314620132 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 237 197 169 0 50 0
[pid=22477] ppid=22472 vsize=173208 CPUtime=12.65
/proc/22477/stat : 22477 (SatELite_releas) R 22472 22472 22435 0 -1 4194304 40960 0 0 0 1227 38 0 0 25 0 1 0 314620133 177364992 36746 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 1 0 0
/proc/22477/statm: 43302 36746 76 173 0 43127 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 178564

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.94 2/66 22478
/proc/meminfo: memFree=1733552/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=40736 CPUtime=11.47
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 9429 0 0 0 1142 5 0 0 25 0 1 0 314621533 41713664 9415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 10184 9415 77 171 0 10011 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 46092

[startup+51.1017 s]
/proc/loadavg: 0.90 0.96 0.94 2/66 22478
/proc/meminfo: memFree=1729456/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=44936 CPUtime=37.06
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 10491 0 0 0 3699 7 0 0 25 0 1 0 314621533 46014464 10477 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 11234 10477 77 171 0 11061 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 50292

[startup+102.307 s]
/proc/loadavg: 0.96 0.96 0.94 2/66 22478
/proc/meminfo: memFree=1720496/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=54044 CPUtime=88.25
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 12715 0 0 0 8814 11 0 0 25 0 1 0 314621533 55341056 12701 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 13511 12701 77 171 0 13338 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 59400

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.94 2/66 22478
/proc/meminfo: memFree=1710000/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=64440 CPUtime=148.22
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 15310 0 0 0 14807 15 0 0 25 0 1 0 314621533 65986560 15296 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 16110 15296 77 171 0 15937 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 69796

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 22478
/proc/meminfo: memFree=1698224/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=76232 CPUtime=208.2
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 18239 0 0 0 20801 19 0 0 25 0 1 0 314621533 78061568 18225 1992294400 134512640 135215339 4294956240 18446744073709551615 134538092 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 19058 18225 77 171 0 18885 0
Current children cumulated CPU time (s) 221.99
Current children cumulated vsize (KiB) 81588

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 22478
/proc/meminfo: memFree=1685616/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=88932 CPUtime=268.17
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 21373 0 0 0 26794 23 0 0 25 0 1 0 314621533 91066368 21359 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 22233 21359 77 171 0 22060 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 94288

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 22478
/proc/meminfo: memFree=1676016/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=98216 CPUtime=328.15
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 23731 0 0 0 32788 27 0 0 25 0 1 0 314621533 100573184 23717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 24554 23717 77 171 0 24381 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 103572

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/66 22478
/proc/meminfo: memFree=1665776/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=108252 CPUtime=388.12
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 26284 0 0 0 38781 31 0 0 25 0 1 0 314621533 110850048 26270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 27063 26270 77 171 0 26890 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 113608

[startup+462.302 s]

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

/proc/22478/statm: 268821 267823 77 171 0 268648 0
Current children cumulated CPU time (s) 9338.19
Current children cumulated vsize (KiB) 1080640

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=651696/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1081636 CPUtime=9384.37
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 269478 0 0 0 938106 331 0 0 25 0 1 0 314621533 1107595264 269435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 270409 269435 77 171 0 270236 0
Current children cumulated CPU time (s) 9398.16
Current children cumulated vsize (KiB) 1086992

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=647408/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1085860 CPUtime=9444.34
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 270532 0 0 0 944102 332 0 0 25 0 1 0 314621533 1111920640 270489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 271465 270489 77 171 0 271292 0
Current children cumulated CPU time (s) 9458.13
Current children cumulated vsize (KiB) 1091216

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=636656/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1096504 CPUtime=9504.32
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 273217 0 0 0 950096 336 0 0 25 0 1 0 314621533 1122820096 273174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 274126 273174 77 171 0 273953 0
Current children cumulated CPU time (s) 9518.11
Current children cumulated vsize (KiB) 1101860

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=629552/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1103528 CPUtime=9564.29
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 274983 0 0 0 956092 337 0 0 25 0 1 0 314621533 1130012672 274940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 275882 274940 77 171 0 275709 0
Current children cumulated CPU time (s) 9578.08
Current children cumulated vsize (KiB) 1108884

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=623536/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1109488 CPUtime=9624.27
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 276496 0 0 0 962088 339 0 0 25 0 1 0 314621533 1136115712 276453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 277372 276453 77 171 0 277199 0
Current children cumulated CPU time (s) 9638.06
Current children cumulated vsize (KiB) 1114844

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=617072/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1115708 CPUtime=9684.24
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 278050 0 0 0 968084 340 0 0 25 0 1 0 314621533 1142484992 278007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 278927 278007 77 171 0 278754 0
Current children cumulated CPU time (s) 9698.03
Current children cumulated vsize (KiB) 1121064

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=610544/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1122336 CPUtime=9744.22
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 279710 0 0 0 974080 342 0 0 25 0 1 0 314621533 1149272064 279667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 280584 279667 77 171 0 280411 0
Current children cumulated CPU time (s) 9758.01
Current children cumulated vsize (KiB) 1127692

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=603312/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1129372 CPUtime=9804.2
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 281467 0 0 0 980076 344 0 0 25 0 1 0 314621533 1156476928 281424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 282343 281424 77 171 0 282170 0
Current children cumulated CPU time (s) 9817.99
Current children cumulated vsize (KiB) 1134728

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=596720/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1135868 CPUtime=9864.18
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 283097 0 0 0 986072 346 0 0 25 0 1 0 314621533 1163128832 283054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 283967 283054 77 171 0 283794 0
Current children cumulated CPU time (s) 9877.97
Current children cumulated vsize (KiB) 1141224

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=589360/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1147772 CPUtime=9924.15
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 284941 0 0 0 992066 349 0 0 25 0 1 0 314621533 1175318528 284898 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 286943 284898 77 171 0 286770 0
Current children cumulated CPU time (s) 9937.94
Current children cumulated vsize (KiB) 1153128

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=583216/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1153844 CPUtime=9984.13
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 286453 0 0 0 998062 351 0 0 25 0 1 0 314621533 1181536256 286410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 288461 286410 77 171 0 288288 0
Current children cumulated CPU time (s) 9997.92
Current children cumulated vsize (KiB) 1159200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10004.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22978
/proc/meminfo: memFree=582960/2055920 swapFree=4179780/4192956
[pid=22472] ppid=22470 vsize=5356 CPUtime=13.79
/proc/22472/stat : 22472 (SatELiteGTI) S 22470 22472 22435 0 -1 4194304 336 43425 0 0 0 0 1333 46 16 0 1 0 314620132 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22472/statm: 1339 239 197 169 0 50 0
[pid=22478] ppid=22472 vsize=1154108 CPUtime=9986.23
/proc/22478/stat : 22478 (minisat_static) R 22472 22472 22435 0 -1 4194304 286515 0 0 0 998272 351 0 0 25 0 1 0 314621533 1181806592 286472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/22478/statm: 288527 286472 77 171 0 288354 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1159464

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10004.4
CPU time (s): 10000
CPU user time (s): 9996.05
CPU system time (s): 3.97
CPU usage (%): 99.9561
Max. virtual memory (cumulated for all children) (KiB): 1159464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.333
system time used= 0.462929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43761
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= 25
involuntary context switches= 56

runsolver used 11.7412 second user time and 24.6173 second system time

The end

Launcher Data

Begin job on node10 at 2009-05-21 02:31:05
IDJOB=1837260
IDBENCH=70782
IDSOLVER=674
FILE ID=node10/1837260-1242865863
PBS_JOBID= 9328532
Free space on /tmp= 66132 MiB

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

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

MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED=2088000907

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1816728 kB
Buffers:          5480 kB
Cached:         163844 kB
SwapCached:       6932 kB
Active:          29636 kB
Inactive:       147980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816728 kB
SwapTotal:     4192956 kB
SwapFree:      4179780 kB
Dirty:           18080 kB
Writeback:           0 kB
Mapped:          13956 kB
Slab:            47628 kB
Committed_AS:  1088248 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66088 MiB
End job on node10 at 2009-05-21 05:17:51