Trace number 1837498

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (MO) 7583.35 7586.21

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p1.cnf
MD5SUM9573f6b4001373bab93d1a02f96820d1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6289.06
Satisfiable
(Un)Satisfiability was proved
Number of variables260342
Number of clauses1391257
Sum of the clauses size3358569
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2984984
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
1.39/1.47	c ==============================================================================
1.39/1.47	c |           |     ORIGINAL     |              LEARNT              |          |
1.39/1.47	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.39/1.47	c ==============================================================================
1.39/1.47	c |         0 | 1377238  3343680 |  413171       0        0     nan |  0.000 % |
9.68/9.77	c |         0 |  958485  2693825 |      --       0       --      -- |     --   | -116636/37456
9.68/9.78	c ==============================================================================
9.68/9.78	c Result  :   #vars: 138674   #clauses: 958485   #literals: 2693825
9.68/9.78	c CPU time:   9.45456 s
9.68/9.78	c ==============================================================================
10.68/10.79	c This is MiniSat 2.0 beta
10.68/10.79	c WARNING: for repeatability, setting FPU to use double precision
10.68/10.79	c ============================[ Problem Statistics ]=============================
10.68/10.79	c |                                                                             |
10.68/10.80	c |  Number of variables:  138674                                               |
10.68/10.80	c |  Number of clauses:    958485                                               |
11.37/11.44	c |  Parsing time:         0.56         s                                       |
11.37/11.47	c ============================[ Search Statistics ]==============================
11.37/11.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.37/11.47	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.37/11.47	c ===============================================================================
11.37/11.47	c |         0 |  138674   958485  2693825 |   319495        0    nan |  0.000 % |
11.77/11.82	c |       100 |  138668   958485  2693825 |   319495       99     18 |  0.255 % |
12.17/12.20	c |       200 |  138578   958485  2693825 |   319495      197     47 |  0.633 % |
12.27/12.37	c |       300 |  138415   958485  2693825 |   319495      296     40 |  1.405 % |
12.37/12.44	c |       411 |  138383   958485  2693825 |   319495      406     40 |  1.498 % |
12.47/12.59	c |       511 |  138350   958485  2693825 |   319495      506     41 |  1.498 % |
12.67/12.76	c |       621 |  138110   958485  2693825 |   319495      614     37 |  1.899 % |
13.07/13.12	c |       743 |  138110   958485  2693825 |   319495      736     40 |  1.899 % |
13.17/13.27	c |       843 |  136040   934405  2631612 |   319495      828     39 |  1.900 % |
13.37/13.48	c |       953 |  135895   934405  2631612 |   319495      936     38 |  2.422 % |
13.57/13.65	c |      1074 |  135501   934405  2631612 |   319495     1056     43 |  2.918 % |
13.77/13.88	c |      1207 |  135500   934405  2631612 |   319495     1188     43 |  3.016 % |
13.97/14.08	c |      1307 |  135331   934405  2631612 |   319495     1287     43 |  3.557 % |
14.27/14.37	c |      1417 |  135319   934405  2631612 |   319495     1396     43 |  3.789 % |
14.47/14.50	c |      1538 |  135210   934405  2631612 |   319495     1516     43 |  3.971 % |
14.57/14.69	c |      1671 |  135208   934405  2631612 |   319495     1648     42 |  4.007 % |
14.97/15.06	c |      1819 |  132575   915173  2585965 |   319495     1743     45 |  4.398 % |
15.17/15.27	c |      1921 |  132575   915173  2585965 |   319495     1845     48 |  4.398 % |
15.47/15.52	c |      2033 |  132575   915173  2585965 |   319495     1957     51 |  4.398 % |
15.67/15.70	c |      2158 |  132476   915173  2585965 |   319495     2080     51 |  5.553 % |
15.77/15.82	c |      2294 |  132225   915173  2585965 |   319495     2216     51 |  5.553 % |
16.07/16.18	c |      2440 |  132222   915173  2585965 |   319495     2361     51 |  5.563 % |
16.37/16.47	c |      2601 |  132219   915173  2585965 |   319495     2521     57 |  5.573 % |
16.57/16.68	c |      2703 |  132219   915173  2585965 |   319495     2623     60 |  5.573 % |
16.87/16.92	c |      2813 |  130613   902260  2554246 |   319495     2717     62 |  5.813 % |
17.16/17.21	c |      2934 |  130613   902260  2554246 |   319495     2838     60 |  5.813 % |
17.36/17.46	c |      3067 |  130608   902260  2554246 |   319495     2970     60 |  5.822 % |
17.76/17.81	c |      3217 |  130535   902260  2554246 |   319495     3117     60 |  5.977 % |
18.26/18.39	c |      3377 |  130534   902260  2554246 |   319495     3277     59 |  5.977 % |
18.76/18.84	c |      3555 |  130532   902260  2554246 |   319495     3454     60 |  6.026 % |
18.86/18.93	c |      3657 |  130317   900802  2551243 |   319495     3546     59 |  6.026 % |
18.96/19.05	c |      3767 |  130317   900802  2551243 |   319495     3656     59 |  6.026 % |
19.06/19.18	c |      3890 |  130317   900802  2551243 |   319495     3779     59 |  6.026 % |
19.16/19.25	c |      4024 |  130317   900802  2551243 |   319495     3913     59 |  6.026 % |
19.26/19.37	c |      4172 |  130317   900802  2551243 |   319495     4061     62 |  6.026 % |
19.56/19.64	c |      4332 |  130317   900802  2551243 |   319495     4221     63 |  6.026 % |
19.77/19.86	c |      4508 |  130317   900802  2551243 |   319495     4397     62 |  6.026 % |
20.06/20.13	c |      4705 |  130263   900802  2551243 |   319495     4587     64 |  7.040 % |
20.06/20.19	c |      4805 |  130263   900802  2551243 |   319495     4687     64 |  7.040 % |
20.26/20.31	c |      4915 |  130246   900802  2551243 |   319495     4796     63 |  7.051 % |
20.46/20.53	c |      5036 |  130085   900802  2551243 |   319495     4917     63 |  7.051 % |
20.66/20.78	c |      5169 |  130085   900802  2551243 |   319495     5050     64 |  7.051 % |
20.96/21.01	c |      5315 |  128896   885468  2510366 |   319495     5178     64 |  7.051 % |
21.26/21.31	c |      5476 |  128810   885468  2510366 |   319495     5337     64 |  7.202 % |
21.46/21.57	c |      5654 |  128620   885468  2510366 |   319495     5513     65 |  7.347 % |
21.66/21.77	c |      5847 |  128619   885468  2510366 |   319495     5705     64 |  7.358 % |
22.06/22.13	c |      6060 |  128617   885468  2510366 |   319495     5917     66 |  7.367 % |
22.16/22.26	c |      6162 |  128617   885468  2510366 |   319495     6019     66 |  7.367 % |
22.46/22.59	c |      6272 |  128617   885468  2510366 |   319495     6129     67 |  7.367 % |
22.76/22.88	c |      6393 |  128617   885468  2510366 |   319495     6250     67 |  7.367 % |
23.07/23.17	c |      6526 |  128430   882711  2503790 |   319495     6375     67 |  7.793 % |
23.26/23.37	c |      6672 |  128430   882711  2503790 |   319495     6521     67 |  7.793 % |
23.66/23.71	c |      6835 |  128419   882711  2503790 |   319495     6684     67 |  7.793 % |
24.16/24.29	c |      7011 |  128271   882711  2503790 |   319495     6859     67 |  8.182 % |
25.46/25.52	c |      7204 |  128243   882711  2503790 |   319495     7049     66 |  8.480 % |
26.76/26.81	c |      7416 |  126701   867925  2464854 |   319495     7241     66 |  8.753 % |
27.36/27.46	c |      7650 |  125161   859556  2446758 |   319495     7376     67 |  9.744 % |
27.76/27.86	c |      7750 |  125143   859556  2446758 |   319495     7474     67 |  9.817 % |
27.96/28.07	c |      7862 |  125143   859556  2446758 |   319495     7586     67 |  9.817 % |
28.16/28.20	c |      7984 |  125136   859556  2446758 |   319495     7706     68 |  9.835 % |
28.46/28.60	c |      8119 |  125136   859556  2446758 |   319495     7841     69 |  9.835 % |
29.05/29.12	c |      8266 |  125082   859556  2446758 |   319495     7985     69 | 10.734 % |
29.75/29.80	c |      8426 |  125079   859556  2446758 |   319495     8144     69 | 10.941 % |
30.15/30.28	c |      8602 |  123456   848850  2419651 |   319495     8312     68 | 11.027 % |
30.76/30.82	c |      8795 |  123453   848850  2419651 |   319495     8505     69 | 11.027 % |
31.15/31.25	c |      9007 |  123453   848850  2419651 |   319495     8717     69 | 11.027 % |
31.86/31.97	c |      9241 |  123453   848850  2419651 |   319495     8951     72 | 11.027 % |
32.35/32.50	c |      9497 |  123383   848238  2418427 |   319495     9207     78 | 11.027 % |
32.75/32.83	c |      9598 |  123383   848238  2418427 |   319495     9308     79 | 11.027 % |
33.05/33.17	c |      9711 |  123383   848238  2418427 |   319495     9421     80 | 11.027 % |
33.35/33.46	c |      9833 |  123383   848238  2418427 |   319495     9543     79 | 11.027 % |
33.76/33.89	c |      9967 |  123331   848238  2418427 |   319495     9673     78 | 11.369 % |
34.15/34.21	c |     10114 |  123261   848238  2418427 | 2147483647     9818     78 | 11.505 % |
34.45/34.59	c |     10275 |  122719   844849  2410635 | 2147483647     9958     78 | 11.505 % |
34.95/35.04	c |     10451 |  122715   844849  2410635 | 2147483647    10133     78 | 11.530 % |
35.25/35.32	c |     10644 |  122650   844849  2410635 | 2147483647    10324     77 | 11.828 % |
36.05/36.13	c |     10858 |  122514   844849  2410635 | 2147483647    10537     77 | 11.981 % |
36.65/36.71	c |     11095 |  122472   844849  2410635 | 2147483647    10773     77 | 12.329 % |
37.45/37.59	c |     11351 |  121577   838194  2394494 | 2147483647    10934     77 | 12.329 % |
38.25/38.33	c |     11632 |  121559   838194  2394494 | 2147483647    11210     78 | 12.539 % |
38.45/38.56	c |     11732 |  121555   838194  2394494 | 2147483647    11310     78 | 12.539 % |
38.75/38.90	c |     11843 |  121526   838194  2394494 | 2147483647    11420     79 | 12.617 % |
39.35/39.48	c |     11966 |  121033   835198  2387354 | 2147483647    11483     78 | 12.721 % |
39.65/39.76	c |     12099 |  120930   835198  2387354 | 2147483647    11614     78 | 12.847 % |
40.25/40.35	c |     12245 |  120930   835198  2387354 | 2147483647    11760     78 | 12.847 % |
40.75/40.82	c |     12406 |  120738   835198  2387354 | 2147483647    11919     78 | 13.176 % |
41.15/41.26	c |     12583 |  120706   835198  2387354 | 2147483647    12096     78 | 13.176 % |
41.55/41.70	c |     12776 |  120581   835198  2387354 | 2147483647    12287     79 | 13.832 % |
42.25/42.33	c |     12988 |  120581   835198  2387354 | 2147483647    12499     78 | 13.832 % |
42.45/42.59	c |     13221 |  119493   825793  2363970 | 2147483647    12720     77 | 13.832 % |
43.25/43.37	c |     13477 |  119490   825793  2363970 | 2147483647    12975     77 | 13.840 % |
43.94/44.00	c |     13759 |  119490   825793  2363970 | 2147483647    13257     78 | 13.840 % |
44.64/44.77	c |     14069 |  119490   825793  2363970 | 2147483647    13567     79 | 13.840 % |
44.94/45.06	c |     14169 |  119490   825793  2363970 | 2147483647    13667     79 | 13.840 % |
45.24/45.40	c |     14279 |  119481   825694  2363700 | 2147483647    13775     79 | 13.840 % |
45.64/45.75	c |     14401 |  119481   825694  2363700 | 2147483647    13897     80 | 13.840 % |
46.14/46.29	c |     14535 |  119481   825694  2363700 | 2147483647    14031     80 | 13.840 % |
46.44/46.58	c |     14681 |  119479   825694  2363700 | 2147483647    14176     80 | 13.850 % |
46.94/47.09	c |     14843 |  119479   825694  2363700 | 2147483647    14338     80 | 13.850 % |
47.44/47.54	c |     15019 |  119436   825694  2363700 | 2147483647    14512     80 | 13.994 % |
47.94/48.03	c |     15213 |  118838   822352  2355787 | 2147483647    14686     80 | 14.304 % |
48.04/48.12	c |     15425 |  118838   822352  2355787 | 2147483647    14898     80 | 14.304 % |
48.64/48.75	c |     15661 |  118548   822352  2355787 | 2147483647    15130     80 | 14.660 % |
49.53/49.61	c |     15918 |  118547   822352  2355787 | 2147483647    15386     80 | 14.669 % |
50.03/50.11	c |     16199 |  118496   822352  2355787 | 2147483647    15665     79 | 14.774 % |
50.63/50.78	c |     16508 |  118488   822352  2355787 | 2147483647    15973     80 | 14.849 % |
51.43/51.59	c |     16847 |  118082   818916  2348842 | 2147483647    16287     80 | 14.854 % |
51.73/51.87	c |     16947 |  118082   818916  2348842 | 2147483647    16387     80 | 14.854 % |
51.93/52.00	c |     17061 |  118045   818916  2348842 | 2147483647    16498     80 | 14.988 % |
52.13/52.27	c |     17184 |  118021   818916  2348842 | 2147483647    16620     80 | 14.996 % |
52.53/52.63	c |     17318 |  118021   818916  2348842 | 2147483647    16754     80 | 14.996 % |
52.83/52.95	c |     17465 |  118021   818916  2348842 | 2147483647    16901     80 | 14.996 % |
53.13/53.25	c |     17625 |  118021   818916  2348842 | 2147483647    17061     81 | 14.996 % |
53.63/53.76	c |     17802 |  118018   818916  2348842 | 2147483647    17237     81 | 15.005 % |
54.23/54.37	c |     17995 |  117802   817704  2346239 | 2147483647    17420     81 | 15.322 % |
54.53/54.62	c |     18207 |  117759   817704  2346239 | 2147483647    17631     80 | 15.387 % |
55.03/55.10	c |     18441 |  117754   817704  2346239 | 2147483647    17864     80 | 15.395 % |
55.33/55.41	c |     18697 |  117753   817704  2346239 | 2147483647    18119     81 | 15.407 % |
56.13/56.20	c |     18978 |  117750   817704  2346239 | 2147483647    18399     81 | 15.415 % |
56.73/56.89	c |     19287 |  116744   813020  2335109 | 2147483647    18685     81 | 15.949 % |
57.34/57.42	c |     19626 |  116641   813020  2335109 | 2147483647    19022     82 | 16.373 % |
58.24/58.38	c |     20000 |  116631   813020  2335109 | 2147483647    19396     83 | 16.373 % |
58.53/58.69	c |     20100 |  116631   813020  2335109 | 2147483647    19496     84 | 16.373 % |
58.83/58.96	c |     20210 |  116631   813020  2335109 | 2147483647    19606     84 | 16.373 % |
59.13/59.23	c |     20331 |  116624   813020  2335109 | 2147483647    19726     84 | 16.383 % |
59.34/59.46	c |     20465 |  116624   813020  2335109 | 2147483647    19860     84 | 16.383 % |
59.83/59.93	c |     20611 |  116624   813020  2335109 | 2147483647    20006     84 | 16.383 % |
60.23/60.30	c |     20774 |  115764   808117  2324540 | 2147483647    20132     84 | 16.853 % |
60.44/60.55	c |     20950 |  115763   808117  2324540 | 2147483647    20307     84 | 16.854 % |
60.53/60.67	c |     21144 |  115763   808117  2324540 | 2147483647    20501     84 | 16.854 % |
60.83/60.95	c |     21356 |  115761   808117  2324540 | 2147483647    20712     84 | 16.863 % |
61.53/61.70	c |     21589 |  115726   808117  2324540 | 2147483647    20944     85 | 16.866 % |
62.33/62.50	c |     21845 |  115726   808117  2324540 | 2147483647    21200     85 | 16.866 % |
62.93/63.06	c |     22126 |  115726   808117  2324540 | 2147483647    21481     87 | 16.866 % |
63.53/63.66	c |     22436 |  115726   808117  2324540 | 2147483647    21791     88 | 16.866 % |
64.03/64.15	c |     22777 |  115285   805201  2318634 | 2147483647    22114     88 | 16.866 % |
64.33/64.41	c |     23150 |  115283   805201  2318634 | 2147483647    22486     88 | 16.871 % |
65.23/65.37	c |     23561 |  115279   805201  2318634 | 2147483647    22897     89 | 16.871 % |
65.33/65.49	c |     23661 |  115279   805201  2318634 | 2147483647    22997     89 | 16.871 % |
65.63/65.78	c |     23771 |  115279   805201  2318634 | 2147483647    23107     89 | 16.871 % |
66.03/66.11	c |     23892 |  115212   805201  2318634 | 2147483647    23225     88 | 17.416 % |
66.23/66.34	c |     24025 |  115211   805201  2318634 | 2147483647    23357     88 | 17.416 % |
66.63/66.79	c |     24171 |  115179   805201  2318634 | 2147483647    23501     88 | 17.770 % |
67.13/67.26	c |     24331 |  115164   805201  2318634 | 2147483647    23661     88 | 17.770 % |
67.62/67.71	c |     24510 |  114031   792083  2283439 | 2147483647    23758     88 | 17.770 % |
68.03/68.16	c |     24703 |  114030   792083  2283439 | 2147483647    23950     88 | 17.780 % |
68.72/68.81	c |     24915 |  114029   792083  2283439 | 2147483647    24161     88 | 17.781 % |
69.22/69.36	c |     25148 |  114029   792083  2283439 | 2147483647    24394     88 | 17.781 % |
69.52/69.62	c |     25405 |  114029   792083  2283439 | 2147483647    24651     88 | 17.781 % |
70.22/70.33	c |     25686 |  114029   792083  2283439 | 2147483647    24931     89 | 17.819 % |
70.91/71.09	c |     26000 |  114024   792083  2283439 | 2147483647    25243     89 | 17.827 % |
71.71/71.82	c |     26339 |  113890   791568  2282157 | 2147483647    25564     90 | 18.362 % |
72.12/72.23	c |     26712 |  113886   791568  2282157 | 2147483647    25936     90 | 18.370 % |
72.71/72.80	c |     27122 |  113886   791568  2282157 | 2147483647    26346     91 | 18.370 % |
73.42/73.58	c |     27580 |  113880   791568  2282157 | 2147483647    26802     91 | 18.378 % |
73.72/73.87	c |     27681 |  113880   791568  2282157 | 2147483647    26903     92 | 18.378 % |
73.92/74.08	c |     27792 |  113880   791568  2282157 | 2147483647    27014     92 | 18.378 % |
74.12/74.23	c |     27916 |  113880   791568  2282157 | 2147483647    27138     91 | 18.378 % |
74.42/74.54	c |     28049 |  113880   791568  2282157 | 2147483647    27271     92 | 18.378 % |
74.92/75.10	c |     28203 |  113878   791568  2282157 | 2147483647    27423     92 | 18.396 % |
75.32/75.49	c |     28363 |  113875   791568  2282157 | 2147483647    27583     92 | 18.396 % |
76.02/76.19	c |     28539 |  113164   786367  2269274 | 2147483647    27707     94 | 18.396 % |
76.42/76.55	c |     28734 |  113139   786367  2269274 | 2147483647    27900     94 | 18.664 % |
76.82/76.95	c |     28954 |  113139   786367  2269274 | 2147483647    28120     94 | 18.664 % |
77.42/77.51	c |     29190 |  113139   786367  2269274 | 2147483647    28356     95 | 18.664 % |
77.71/77.86	c |     29446 |  113139   786367  2269274 | 2147483647    28612     94 | 18.664 % |
78.41/78.54	c |     29727 |  113138   786367  2269274 | 2147483647    28892     95 | 18.665 % |
79.41/79.54	c |     30036 |  113120   786367  2269274 | 2147483647    29198     94 | 18.757 % |
80.51/80.61	c |     30376 |  113120   786367  2269274 | 2147483647    29538     94 | 18.757 % |
81.21/81.36	c |     30748 |  112662   779354  2250155 | 2147483647    29894     95 | 19.045 % |
82.21/82.40	c |     31157 |  112628   779354  2250155 | 2147483647    30303     96 | 19.045 % |
83.21/83.31	c |     31608 |  112600   779354  2250155 | 2147483647    30753     96 | 19.092 % |
84.61/84.74	c |     32102 |  112600   779354  2250155 | 2147483647    31247     98 | 19.092 % |
84.70/84.88	c |     32202 |  112551   779354  2250155 | 2147483647    31346     97 | 19.185 % |
85.10/85.25	c |     32313 |  112551   779354  2250155 | 2147483647    31457     97 | 19.185 % |
85.61/85.71	c |     32434 |  112551   779354  2250155 | 2147483647    31578     98 | 19.185 % |
85.90/86.05	c |     32567 |  112551   779354  2250155 | 2147483647    31711     98 | 19.185 % |
86.20/86.39	c |     32713 |  112068   774899  2238541 | 2147483647    31795     98 | 19.213 % |
86.30/86.46	c |     32873 |  112068   774899  2238541 | 2147483647    31955     98 | 19.213 % |
86.50/86.65	c |     33050 |  112068   774899  2238541 | 2147483647    32132     98 | 19.213 % |
86.70/86.86	c |     33243 |  112068   774899  2238541 | 2147483647    32325     98 | 19.213 % |
87.40/87.52	c |     33456 |  112067   774899  2238541 | 2147483647    32538     99 | 19.213 % |
87.90/88.03	c |     33689 |  112067   774899  2238541 | 2147483647    32771     98 | 19.213 % |
88.69/88.81	c |     33945 |  112067   774899  2238541 | 2147483647    33027     99 | 19.213 % |
89.40/89.57	c |     34226 |  112067   774899  2238541 | 2147483647    33308     99 | 19.213 % |
90.50/90.64	c |     34537 |  112067   774899  2238541 | 2147483647    33619    100 | 19.213 % |
91.30/91.42	c |     34881 |  112067   774899  2238541 | 2147483647    33963    100 | 19.213 % |
91.80/91.92	c |     35253 |  112029   774612  2237860 | 2147483647    34318    101 | 19.219 % |
92.70/92.82	c |     35664 |  112027   774612  2237860 | 2147483647    34726    102 | 19.434 % |
94.29/94.40	c |     36113 |  111861   774612  2237860 | 2147483647    35173    104 | 19.741 % |
95.60/95.77	c |     36607 |  111856   774612  2237860 | 2147483647    35666    105 | 19.751 % |
97.09/97.23	c |     37149 |  111828   774612  2237860 | 2147483647    36206    106 | 20.368 % |
97.19/97.38	c |     37250 |  110429   763911  2211284 | 2147483647    36244    106 | 20.368 % |
97.49/97.62	c |     37368 |  110429   763911  2211284 | 2147483647    36362    106 | 20.368 % |
97.89/98.09	c |     37489 |  110428   763911  2211284 | 2147483647    36482    107 | 20.369 % |
98.09/98.24	c |     37622 |  110428   763911  2211284 | 2147483647    36615    107 | 20.369 % |
98.49/98.62	c |     37768 |  110428   763911  2211284 | 2147483647    36761    107 | 20.369 % |
98.79/98.91	c |     37928 |  110428   763911  2211284 | 2147483647    36921    107 | 20.369 % |
99.19/99.39	c |     38104 |  110428   763911  2211284 | 2147483647    37097    107 | 20.369 % |
99.79/99.90	c |     38300 |  110428   763911  2211284 | 2147483647    37293    107 | 20.369 % |
100.19/100.32	c |     38512 |  110428   763911  2211284 | 2147483647    37505    107 | 20.369 % |
100.99/101.15	c |     38747 |  110427   763911  2211284 | 2147483647    37739    107 | 20.369 % |
101.60/101.76	c |     39005 |  110427   763911  2211284 | 2147483647    37997    108 | 20.369 % |
103.00/103.17	c |     39291 |  110427   763911  2211284 | 2147483647    38283    109 | 20.369 % |
103.79/103.91	c |     39603 |  110425   763904  2211270 | 2147483647    38591    109 | 20.371 % |
104.19/104.37	c |     39942 |  110425   763904  2211270 | 2147483647    38930    109 | 20.371 % |
105.19/105.31	c |     40314 |  110417   763904  2211270 | 2147483647    39299    108 | 20.431 % |
106.38/106.55	c |     40723 |  110403   763904  2211270 | 2147483647    39696    109 | 20.506 % |
107.28/107.41	c |     41172 |  110402   763904  2211270 | 2147483647    40144    109 | 20.509 % |
107.98/108.16	c |     41666 |  110395   763904  2211270 | 2147483647    40637    110 | 20.517 % |
109.48/109.62	c |     42211 |  109049   743334  2154760 | 2147483647    41015    111 | 21.363 % |
110.88/111.00	c |     42807 |  109049   743334  2154760 | 2147483647    41610    112 | 21.379 % |
111.08/111.27	c |     42907 |  109044   743334  2154760 | 2147483647    41710    112 | 21.379 % |
111.48/111.65	c |     43018 |  109043   743334  2154760 | 2147483647    41820    112 | 21.380 % |
111.78/111.99	c |     43139 |  109043   743334  2154760 | 2147483647    41941    112 | 21.380 % |
112.18/112.39	c |     43272 |  109043   743334  2154760 | 2147483647    42074    112 | 21.380 % |
112.68/112.85	c |     43418 |  109029   743334  2154760 | 2147483647    42218    112 | 21.390 % |
113.27/113.42	c |     43582 |  109028   743334  2154760 | 2147483647    42381    113 | 21.398 % |
113.57/113.74	c |     43760 |  109028   743334  2154760 | 2147483647    42559    113 | 21.398 % |
114.08/114.27	c |     43953 |  109028   743334  2154760 | 2147483647    42752    113 | 21.398 % |
114.58/114.74	c |     44165 |  109028   743334  2154760 | 2147483647    42964    113 | 21.398 % |
114.88/115.04	c |     44400 |  109028   743334  2154760 | 2147483647    43199    114 | 21.398 % |
115.68/115.86	c |     44656 |  109028   743334  2154760 | 2147483647    43455    114 | 21.398 % |
116.18/116.36	c |     44937 |  109028   743334  2154760 | 2147483647    43736    115 | 21.398 % |
117.37/117.53	c |     45251 |  109000   742969  2153794 | 2147483647    44038    115 | 21.532 % |
118.27/118.46	c |     45591 |  108994   742969  2153794 | 2147483647    44377    116 | 21.536 % |
119.27/119.44	c |     45963 |  108964   742969  2153794 | 2147483647    44746    116 | 21.897 % |
120.27/120.45	c |     46377 |  108929   742969  2153794 | 2147483647    45159    116 | 21.902 % |
121.07/121.21	c |     46829 |  108910   742969  2153794 | 2147483647    45609    117 | 22.110 % |
122.57/122.79	c |     47322 |  108907   742969  2153794 | 2147483647    46102    118 | 22.110 % |
124.07/124.29	c |     47865 |  108010   729356  2116667 | 2147483647    46576    119 | 22.115 % |
125.08/125.30	c |     48461 |  108010   729356  2116667 | 2147483647    47172    119 | 22.115 % |
126.68/126.82	c |     49117 |  108008   729356  2116667 | 2147483647    47826    119 | 22.127 % |
126.88/127.01	c |     49217 |  108008   729356  2116667 | 2147483647    47926    119 | 22.127 % |
127.07/127.25	c |     49327 |  108007   729356  2116667 | 2147483647    48035    119 | 22.127 % |
127.27/127.43	c |     49448 |  108004   729356  2116667 | 2147483647    48155    119 | 22.238 % |
127.68/127.84	c |     49581 |  107988   729356  2116667 | 2147483647    48288    119 | 22.238 % |
127.98/128.17	c |     49731 |  107988   729356  2116667 | 2147483647    48438    120 | 22.238 % |
128.37/128.57	c |     49894 |  107978   729356  2116667 | 2147483647    48599    120 | 22.275 % |
129.07/129.22	c |     50075 |  107978   729356  2116667 | 2147483647    48780    121 | 22.275 % |
129.68/129.82	c |     50270 |  107962   729356  2116667 | 2147483647    48975    121 | 22.275 % |
129.97/130.17	c |     50485 |  107962   729356  2116667 | 2147483647    49190    121 | 22.275 % |
130.37/130.54	c |     50718 |  107784   727021  2110349 | 2147483647    49360    122 | 22.275 % |
130.67/130.89	c |     50974 |  107783   727021  2110349 | 2147483647    49615    121 | 22.276 % |
131.97/132.10	c |     51256 |  107776   727021  2110349 | 2147483647    49896    122 | 22.315 % |
132.56/132.80	c |     51569 |  107776   727021  2110349 | 2147483647    50209    122 | 22.315 % |
133.47/133.61	c |     51908 |  107776   727021  2110349 | 2147483647    50548    123 | 22.315 % |
134.47/134.67	c |     52280 |  107776   727021  2110349 | 2147483647    50920    123 | 22.315 % |
135.07/135.23	c |     52689 |  107776   727021  2110349 | 2147483647    51329    123 | 22.315 % |
136.17/136.32	c |     53141 |  107776   727021  2110349 | 2147483647    51781    124 | 22.315 % |
137.57/137.73	c |     53635 |  107776   727021  2110349 | 2147483647    52275    125 | 22.315 % |
138.86/139.05	c |     54177 |  107776   727021  2110349 | 2147483647    52817    127 | 22.315 % |
139.96/140.17	c |     54776 |  107728   726815  2109911 | 2147483647    53415    127 | 22.316 % |
141.36/141.59	c |     55435 |  107727   726815  2109911 | 2147483647    54073    128 | 22.316 % |
142.86/143.04	c |     56155 |  107680   726815  2109911 | 2147483647    54789    128 | 22.451 % |
142.95/143.18	c |     56260 |  107680   726815  2109911 | 2147483647    54894    128 | 22.451 % |
143.15/143.32	c |     56376 |  107679   726815  2109911 | 2147483647    55009    128 | 22.452 % |
143.36/143.59	c |     56501 |  107679   726815  2109911 | 2147483647    55134    129 | 22.452 % |
143.66/143.85	c |     56635 |  107679   726815  2109911 | 2147483647    55268    128 | 22.452 % |
144.16/144.35	c |     56782 |  107679   726815  2109911 | 2147483647    55415    129 | 22.452 % |
144.56/144.77	c |     56942 |  107671   726815  2109911 | 2147483647    55573    129 | 22.509 % |
145.06/145.28	c |     57120 |  107655   726815  2109911 | 2147483647    55751    129 | 22.509 % |
145.36/145.59	c |     57313 |  107655   726815  2109911 | 2147483647    55944    129 | 22.509 % |
146.06/146.30	c |     57525 |  107652   726815  2109911 | 2147483647    56154    129 | 22.518 % |
146.35/146.51	c |     57759 |  107652   726815  2109911 | 2147483647    56387    129 | 22.562 % |
147.26/147.43	c |     58016 |  107634   726815  2109911 | 2147483647    56644    130 | 22.562 % |
147.75/147.94	c |     58297 |  107387   724180  2103057 | 2147483647    56863    130 | 22.562 % |
148.75/148.92	c |     58607 |  107387   724180  2103057 | 2147483647    57173    130 | 22.562 % |
150.45/150.63	c |     58954 |  107385   724180  2103057 | 2147483647    57519    131 | 22.567 % |
151.05/151.23	c |     59326 |  107385   724180  2103057 | 2147483647    57891    131 | 22.567 % |
152.15/152.37	c |     59738 |  107385   724180  2103057 | 2147483647    58303    132 | 22.567 % |
153.25/153.40	c |     60188 |  107385   724180  2103057 | 2147483647    58753    133 | 22.567 % |
153.85/154.01	c |     60681 |  107385   724180  2103057 | 2147483647    59246    133 | 22.567 % |
155.25/155.49	c |     61225 |  107384   724180  2103057 | 2147483647    59789    133 | 22.575 % |
157.45/157.64	c |     61825 |  107384   724180  2103057 | 2147483647    60388    135 | 22.576 % |
159.05/159.28	c |     62482 |  107379   724180  2103057 | 2147483647    61044    136 | 22.585 % |
161.94/162.12	c |     63202 |  107354   723902  2102317 | 2147483647    61747    139 | 22.590 % |
163.34/163.59	c |     63995 |  107354   723902  2102317 | 2147483647    62540    140 | 22.590 % |
163.75/163.92	c |     64095 |  107354   723902  2102317 | 2147483647    62640    140 | 22.590 % |
163.95/164.11	c |     64206 |  107354   723902  2102317 | 2147483647    62751    140 | 22.590 % |
164.15/164.38	c |     64327 |  107354   723902  2102317 | 2147483647    62872    140 | 22.590 % |
164.45/164.65	c |     64465 |  107352   723902  2102317 | 2147483647    63009    140 | 22.595 % |
165.05/165.24	c |     64611 |  107352   723902  2102317 | 2147483647    63155    140 | 22.595 % |
165.35/165.50	c |     64771 |  107352   723902  2102317 | 2147483647    63315    140 | 22.595 % |
165.55/165.73	c |     64949 |  107352   723902  2102317 | 2147483647    63493    140 | 22.595 % |
166.45/166.67	c |     65143 |  107349   723902  2102317 | 2147483647    63686    140 | 22.603 % |
167.55/167.74	c |     65356 |  107349   723902  2102317 | 2147483647    63899    141 | 22.603 % |
168.25/168.48	c |     65590 |  107282   723902  2102317 | 2147483647    64132    141 | 22.707 % |
169.15/169.40	c |     65846 |  107282   723902  2102317 | 2147483647    64388    142 | 22.707 % |
170.25/170.48	c |     66127 |  107282   723902  2102317 | 2147483647    64669    142 | 22.707 % |
170.94/171.18	c |     66436 |  107184   722657  2099097 | 2147483647    64923    142 | 22.708 % |
172.34/172.54	c |     66780 |  107184   722657  2099097 | 2147483647    65267    143 | 22.708 % |
174.14/174.38	c |     67155 |  107184   722657  2099097 | 2147483647    65642    144 | 22.708 % |
175.04/175.22	c |     67565 |  107184   722657  2099097 | 2147483647    66052    145 | 22.708 % |
176.04/176.27	c |     68015 |  107182   722657  2099097 | 2147483647    66501    145 | 22.717 % |
177.64/177.83	c |     68508 |  107179   722657  2099097 | 2147483647    66993    146 | 22.723 % |
178.74/178.93	c |     69052 |  107179   722657  2099097 | 2147483647    67537    147 | 22.723 % |
180.74/180.90	c |     69648 |  107162   722657  2099097 | 2147483647    68130    147 | 22.790 % |
182.34/182.55	c |     70305 |  107037   722657  2099097 | 2147483647    68785    148 | 22.952 % |
184.73/184.90	c |     71026 |  107037   722657  2099097 | 2147483647    69506    150 | 22.952 % |
187.64/187.87	c |     71822 |  107037   722657  2099097 | 2147483647    70302    153 | 22.952 % |
189.53/189.73	c |     72694 |  106844   721109  2095534 | 2147483647    71117    156 | 22.955 % |
189.83/190.02	c |     72799 |  106843   721109  2095534 | 2147483647    71222    156 | 22.955 % |
190.23/190.43	c |     72912 |  106817   721109  2095534 | 2147483647    71332    156 | 22.993 % |
190.53/190.71	c |     73033 |  106817   721109  2095534 | 2147483647    71453    156 | 22.993 % |
190.73/190.90	c |     73167 |  106817   721109  2095534 | 2147483647    71587    156 | 22.993 % |
190.93/191.14	c |     73314 |  106813   721109  2095534 | 2147483647    71733    156 | 22.999 % |
191.23/191.47	c |     73475 |  106813   721109  2095534 | 2147483647    71894    156 | 22.999 % |
192.03/192.20	c |     73653 |  106811   721109  2095534 | 2147483647    72071    156 | 23.004 % |
192.33/192.53	c |     73848 |  106811   721109  2095534 | 2147483647    72266    156 | 23.004 % |
192.83/193.09	c |     74061 |  106811   721109  2095534 | 2147483647    72479    156 | 23.004 % |
193.33/193.52	c |     74295 |  106811   721109  2095534 | 2147483647    72713    156 | 23.004 % |
194.03/194.25	c |     74559 |  106811   721109  2095534 | 2147483647    72977    157 | 23.004 % |
194.43/194.64	c |     74842 |  106811   721109  2095534 | 2147483647    73260    156 | 23.004 % |
195.03/195.27	c |     75157 |  106811   721109  2095534 | 2147483647    73575    157 | 23.004 % |
195.64/195.85	c |     75496 |  106811   721109  2095534 | 2147483647    73914    157 | 23.004 % |
196.93/197.12	c |     75872 |  106811   721109  2095534 | 2147483647    74290    158 | 23.004 % |
197.93/198.20	c |     76281 |  106811   721109  2095534 | 2147483647    74699    158 | 23.004 % |
199.03/199.24	c |     76730 |  106810   721109  2095534 | 2147483647    75147    158 | 23.004 % |
201.43/201.66	c |     77226 |  106810   721109  2095534 | 2147483647    75643    159 | 23.004 % |
202.93/203.18	c |     77768 |  106809   721109  2095534 | 2147483647    76184    160 | 23.012 % |
204.33/204.56	c |     78380 |  106809   721109  2095534 | 2147483647    76796    160 | 23.012 % |
206.32/206.56	c |     79037 |  106809   721109  2095534 | 2147483647    77453    160 | 23.012 % |
209.03/209.27	c |     79757 |  106762   720310  2093490 | 2147483647    78133    162 | 23.012 % |
212.23/212.43	c |     80549 |  106762   720310  2093490 | 2147483647    78925    164 | 23.012 % |
213.92/214.17	c |     81420 |  106762   720310  2093490 | 2147483647    79796    166 | 23.012 % |
218.52/218.78	c |     82378 |  106761   720310  2093490 | 2147483647    80753    170 | 23.013 % |
218.92/219.15	c |     82479 |  106761   720310  2093490 | 2147483647    80854    170 | 23.013 % |
219.32/219.59	c |     82592 |  106761   720310  2093490 | 2147483647    80967    170 | 23.013 % |
219.72/219.91	c |     82715 |  106761   720310  2093490 | 2147483647    81090    170 | 23.013 % |
220.02/220.25	c |     82848 |  106761   720310  2093490 | 2147483647    81223    170 | 23.013 % |
220.41/220.60	c |     82994 |  106761   720310  2093490 | 2147483647    81369    170 | 23.013 % |
220.61/220.84	c |     83154 |  106761   720310  2093490 | 2147483647    81529    170 | 23.013 % |
221.41/221.62	c |     83330 |  106761   720310  2093490 | 2147483647    81705    171 | 23.013 % |
222.12/222.32	c |     83525 |  106761   720310  2093490 | 2147483647    81900    171 | 23.013 % |
222.82/223.08	c |     83738 |  106761   720310  2093490 | 2147483647    82113    171 | 23.013 % |
223.52/223.72	c |     83971 |  106761   720310  2093490 | 2147483647    82346    171 | 23.013 % |
224.32/224.50	c |     84229 |  106761   720310  2093490 | 2147483647    82604    171 | 23.013 % |
225.82/226.02	c |     84511 |  106756   720310  2093490 | 2147483647    82884    172 | 23.020 % |
226.52/226.70	c |     84820 |  106756   720310  2093490 | 2147483647    83193    172 | 23.020 % |
226.92/227.19	c |     85160 |  106756   720310  2093490 | 2147483647    83533    172 | 23.020 % |
228.41/228.69	c |     85532 |  106751   720217  2093245 | 2147483647    83894    173 | 23.020 % |
229.72/229.95	c |     85941 |  106751   720217  2093245 | 2147483647    84303    174 | 23.020 % |
230.82/231.08	c |     86396 |  106751   720217  2093245 | 2147483647    84758    176 | 23.020 % |
232.32/232.56	c |     86890 |  106749   720217  2093245 | 2147483647    85251    177 | 23.030 % |
233.81/234.01	c |     87432 |  106749   720217  2093245 | 2147483647    85793    177 | 23.030 % |
234.81/235.06	c |     88028 |  106749   720217  2093245 | 2147483647    86389    177 | 23.030 % |
238.71/238.93	c |     88683 |  106749   720217  2093245 | 2147483647    87044    178 | 23.030 % |
242.01/242.20	c |     89404 |  106749   720217  2093245 | 2147483647    87765    180 | 23.030 % |
244.01/244.24	c |     90203 |  106749   720217  2093245 | 2147483647    88564    181 | 23.030 % |
246.41/246.61	c |     91077 |  106749   720217  2093245 | 2147483647    89437    181 | 23.032 % |
250.11/250.37	c |     92035 |  106723   720217  2093245 | 2147483647    90394    183 | 23.074 % |
252.21/252.48	c |     93088 |  106723   720217  2093245 | 2147483647    91447    184 | 23.074 % |
252.60/252.82	c |     93188 |  106677   719385  2091265 | 2147483647    91477    184 | 23.074 % |
252.90/253.14	c |     93298 |  106677   719385  2091265 | 2147483647    91587    184 | 23.074 % |
253.20/253.40	c |     93422 |  106677   719385  2091265 | 2147483647    91711    184 | 23.074 % |
253.81/254.07	c |     93556 |  106677   719385  2091265 | 2147483647    91845    184 | 23.074 % |
254.40/254.67	c |     93702 |  106677   719385  2091265 | 2147483647    91991    185 | 23.074 % |
254.91/255.15	c |     93865 |  106677   719385  2091265 | 2147483647    92154    185 | 23.074 % |
255.21/255.45	c |     94041 |  106677   719385  2091265 | 2147483647    92330    185 | 23.074 % |
255.81/256.06	c |     94235 |  106677   719385  2091265 | 2147483647    92524    185 | 23.074 % |
256.91/257.13	c |     94451 |  106677   719385  2091265 | 2147483647    92740    185 | 23.074 % |
257.41/257.69	c |     94684 |  106677   719385  2091265 | 2147483647    92973    185 | 23.074 % |
258.90/259.12	c |     94941 |  106677   719385  2091265 | 2147483647    93230    186 | 23.074 % |
259.90/260.13	c |     95225 |  106677   719385  2091265 | 2147483647    93514    186 | 23.074 % |
260.30/260.54	c |     95534 |  106677   719385  2091265 | 2147483647    93823    186 | 23.074 % |
261.10/261.39	c |     95876 |  106676   719385  2091265 | 2147483647    94163    186 | 23.088 % |
262.10/262.35	c |     96249 |  106664   719385  2091265 | 2147483647    94535    186 | 23.095 % |
262.90/263.20	c |     96658 |  106664   719385  2091265 | 2147483647    94944    187 | 23.095 % |
263.60/263.90	c |     97108 |  106664   719385  2091265 | 2147483647    95394    187 | 23.095 % |
265.70/266.00	c |     97601 |  106663   719385  2091265 | 2147483647    95886    188 | 23.096 % |
268.20/268.41	c |     98143 |  106661   719385  2091265 | 2147483647    96426    189 | 23.103 % |
269.70/269.94	c |     98741 |  106661   719385  2091265 | 2147483647    97024    189 | 23.103 % |
270.70/270.96	c |     99402 |  106354   719385  2091265 | 2147483647    97683    189 | 23.418 % |
271.70/271.95	c |    100122 |  106354   719385  2091265 | 2147483647    98403    190 | 23.418 % |
272.80/273.00	c |    100914 |  106354   719385  2091265 | 2147483647    99195    192 | 23.418 % |
275.70/275.98	c |    101785 |  106352   719385  2091265 | 2147483647   100066    192 | 23.418 % |
277.00/277.28	c |    102745 |  106352   719385  2091265 | 2147483647   101026    191 | 23.418 % |
281.79/282.01	c |    103801 |  106196   717504  2087127 | 2147483647   102041    192 | 23.433 % |
284.59/284.84	c |    104959 |  106176   717504  2087127 | 2147483647   103196    192 | 23.793 % |
284.79/285.00	c |    105060 |  106176   717504  2087127 | 2147483647   103297    192 | 23.793 % |
284.99/285.26	c |    105171 |  106176   717504  2087127 | 2147483647   103408    192 | 23.793 % |
285.29/285.52	c |    105292 |  106176   717504  2087127 | 2147483647   103529    191 | 23.793 % |
285.59/285.86	c |    105425 |  106176   717504  2087127 | 2147483647   103662    191 | 23.793 % |
285.99/286.20	c |    105572 |  106176   717504  2087127 | 2147483647   103809    191 | 23.793 % |
286.39/286.69	c |    105736 |  106176   717504  2087127 | 2147483647   103973    191 | 23.793 % |
286.99/287.28	c |    105913 |  106175   717504  2087127 | 2147483647   104149    191 | 23.798 % |
287.50/287.71	c |    106106 |  106175   717504  2087127 | 2147483647   104342    191 | 23.798 % |
287.90/288.17	c |    106320 |  106172   717504  2087127 | 2147483647   104553    191 | 23.800 % |
288.59/288.83	c |    106555 |  106172   717504  2087127 | 2147483647   104788    191 | 23.800 % |
289.99/290.25	c |    106813 |  106172   717504  2087127 | 2147483647   105046    192 | 23.800 % |
290.89/291.19	c |    107094 |  106172   717504  2087127 | 2147483647   105327    192 | 23.800 % |
291.49/291.71	c |    107408 |  106172   717504  2087127 | 2147483647   105641    192 | 23.800 % |
291.99/292.22	c |    107749 |  106171   717504  2087127 | 2147483647   105981    192 | 23.803 % |
293.69/293.99	c |    108124 |  106170   717504  2087127 | 2147483647   106356    192 | 23.803 % |
294.99/295.25	c |    108535 |  106169   717504  2087127 | 2147483647   106766    192 | 23.811 % |
296.69/296.95	c |    108985 |  106169   717504  2087127 | 2147483647   107216    192 | 23.811 % |
297.79/298.03	c |    109478 |  106169   717504  2087127 | 2147483647   107709    193 | 23.811 % |
299.08/299.35	c |    110021 |  106169   717504  2087127 | 2147483647   108252    193 | 23.811 % |
300.69/300.92	c |    110617 |  106169   717504  2087127 | 2147483647   108848    194 | 23.811 % |
303.48/303.71	c |    111272 |  106169   717504  2087127 | 2147483647   109503    194 | 23.811 % |
304.98/305.23	c |    111992 |  105653   708137  2061139 | 2147483647   110163    195 | 23.818 % |
307.88/308.19	c |    112787 |  105651   708137  2061139 | 2147483647   110957    196 | 23.819 % |
312.48/312.70	c |    113658 |  105649   708137  2061139 | 2147483647   111827    197 | 23.946 % |
315.78/316.01	c |    114616 |  105648   708137  2061139 | 2147483647   112784    198 | 23.947 % |
318.27/318.57	c |    115669 |  105648   708137  2061139 | 2147483647   113836    198 | 23.955 % |
320.38/320.66	c |    116835 |  105647   708137  2061139 | 2147483647   115001    198 | 23.956 % |
327.27/327.50	c |    118108 |  105647   708137  2061139 | 2147483647   116274    201 | 23.956 % |
327.47/327.75	c |    118215 |  105647   708137  2061139 | 2147483647   116381    201 | 23.956 % |
327.88/328.16	c |    118326 |  105647   708137  2061139 | 2147483647   116492    201 | 23.956 % |
328.08/328.39	c |    118447 |  105647   708137  2061139 | 2147483647   116613    201 | 23.956 % |
328.68/328.97	c |    118581 |  105647   708137  2061139 | 2147483647   116747    201 | 23.956 % |
329.08/329.33	c |    118729 |  105647   708137  2061139 | 2147483647   116895    201 | 23.956 % |
329.68/329.92	c |    118889 |  105647   708137  2061139 | 2147483647   117055    201 | 23.956 % |
330.08/330.35	c |    119066 |  105646   708137  2061139 | 2147483647   117231    201 | 23.957 % |
330.98/331.20	c |    119265 |  105646   708137  2061139 | 2147483647   117430    201 | 23.957 % |
331.38/331.65	c |    119479 |  105646   708137  2061139 | 2147483647   117644    201 | 23.957 % |
332.67/332.94	c |    119718 |  105646   708137  2061139 | 2147483647   117883    201 | 23.957 % |
333.47/333.75	c |    119977 |  105646   708137  2061139 | 2147483647   118142    201 | 23.957 % |
334.67/334.94	c |    120262 |  105646   708137  2061139 | 2147483647   118427    202 | 23.957 % |
335.97/336.27	c |    120573 |  105646   708137  2061139 | 2147483647   118738    202 | 23.957 % |
337.17/337.47	c |    120913 |  105444   706772  2057787 | 2147483647   119041    202 | 23.966 % |
338.17/338.41	c |    121286 |  105442   706772  2057787 | 2147483647   119413    202 | 23.973 % |
340.77/341.01	c |    121696 |  105441   706772  2057787 | 2147483647   119822    203 | 23.974 % |
341.88/342.19	c |    122148 |  105438   706772  2057787 | 2147483647   120271    203 | 23.989 % |
345.27/345.59	c |    122642 |  105400   706772  2057787 | 2147483647   120764    204 | 24.093 % |
346.77/347.03	c |    123184 |  105400   706772  2057787 | 2147483647   121306    203 | 24.093 % |
347.96/348.25	c |    123780 |  105400   706772  2057787 | 2147483647   121902    203 | 24.093 % |
349.17/349.46	c |    124437 |  105400   706772  2057787 | 2147483647   122559    203 | 24.093 % |
350.87/351.13	c |    125157 |  105400   706772  2057787 | 2147483647   123279    203 | 24.093 % |
352.97/353.20	c |    125950 |  105398   706772  2057787 | 2147483647   124069    203 | 24.109 % |
356.67/356.98	c |    126822 |  105398   706772  2057787 | 2147483647   124941    204 | 24.109 % |
359.56/359.80	c |    127780 |  105398   706772  2057787 | 2147483647   125899    204 | 24.109 % |
363.26/363.58	c |    128833 |  105398   706772  2057787 | 2147483647   126952    204 | 24.109 % |
368.96/369.29	c |    129991 |  105398   706772  2057787 | 2147483647   128110    206 | 24.109 % |
372.35/372.63	c |    131268 |  105397   706772  2057787 | 2147483647   129386    206 | 24.110 % |
377.36/377.63	c |    132668 |  105391   706772  2057787 | 2147483647   130784    207 | 24.118 % |
377.86/378.15	c |    132768 |  105229   703516  2048943 | 2147483647   130301    208 | 24.118 % |
378.06/378.33	c |    132878 |  105229   703516  2048943 | 2147483647   130411    208 | 24.118 % |
378.46/378.74	c |    133011 |  105229   703516  2048943 | 2147483647   130544    208 | 24.118 % |
378.76/379.08	c |    133145 |  105229   703516  2048943 | 2147483647   130678    208 | 24.118 % |
379.45/379.71	c |    133292 |  105229   703516  2048943 | 2147483647   130825    208 | 24.118 % |
380.05/380.32	c |    133452 |  105228   703516  2048943 | 2147483647   130984    208 | 24.118 % |
380.95/381.21	c |    133628 |  105228   703516  2048943 | 2147483647   131160    208 | 24.118 % |
381.65/381.98	c |    133821 |  105228   703516  2048943 | 2147483647   131353    209 | 24.118 % |
382.45/382.73	c |    134035 |  105228   703516  2048943 | 2147483647   131567    209 | 24.118 % |
383.75/384.02	c |    134268 |  105228   703516  2048943 | 2147483647   131800    209 | 24.118 % |
384.65/384.92	c |    134529 |  105228   703516  2048943 | 2147483647   132061    209 | 24.118 % |
385.25/385.58	c |    134810 |  105228   703516  2048943 | 2147483647   132342    209 | 24.118 % |
385.95/386.28	c |    135119 |  105228   703516  2048943 | 2147483647   132651    210 | 24.118 % |
387.45/387.71	c |    135466 |  105228   703516  2048943 | 2147483647   132998    210 | 24.118 % |
388.35/388.68	c |    135841 |  105228   703516  2048943 | 2147483647   133373    210 | 24.118 % |
390.05/390.30	c |    136255 |  105228   703516  2048943 | 2147483647   133787    210 | 24.118 % |
391.65/391.95	c |    136705 |  105227   703516  2048943 | 2147483647   134236    210 | 24.119 % |
392.85/393.10	c |    137206 |  105227   703516  2048943 | 2147483647   134737    210 | 24.119 % |
395.15/395.40	c |    137749 |  105226   703516  2048943 | 2147483647   135279    211 | 24.120 % |
397.35/397.67	c |    138350 |  105225   703516  2048943 | 2147483647   135879    211 | 24.121 % |
399.34/399.60	c |    139006 |  105224   703516  2048943 | 2147483647   136534    211 | 24.121 % |
400.94/401.28	c |    139728 |  105221   703516  2048943 | 2147483647   137254    211 | 24.131 % |
403.45/403.74	c |    140524 |  105221   703516  2048943 | 2147483647   138050    212 | 24.131 % |
406.75/407.02	c |    141399 |  105219   703516  2048943 | 2147483647   138923    212 | 24.143 % |
409.24/409.53	c |    142357 |  105218   703516  2048943 | 2147483647   139880    213 | 24.152 % |
413.04/413.34	c |    143410 |  105215   703516  2048943 | 2147483647   140932    214 | 24.157 % |
417.34/417.64	c |    144573 |  105215   703516  2048943 | 2147483647   142095    215 | 24.157 % |
422.93/423.29	c |    145848 |  105215   703516  2048943 | 2147483647   143370    216 | 24.157 % |
425.84/426.14	c |    147249 |  105175   703054  2047755 | 2147483647   144753    218 | 24.157 % |
433.53/433.84	c |    148789 |  105171   703054  2047755 | 2147483647   146290    219 | 24.165 % |
433.93/434.26	c |    148889 |  105171   703054  2047755 | 2147483647   146390    219 | 24.165 % |
434.43/434.73	c |    148999 |  105171   703054  2047755 | 2147483647   146500    219 | 24.165 % |
435.04/435.36	c |    149122 |  105169   703054  2047755 | 2147483647   146621    219 | 24.174 % |
435.44/435.79	c |    149256 |  105169   703054  2047755 | 2147483647   146755    219 | 24.174 % |
435.84/436.19	c |    149404 |  105169   703054  2047755 | 2147483647   146903    219 | 24.174 % |
436.54/436.83	c |    149566 |  105167   703054  2047755 | 2147483647   147064    219 | 24.180 % |
437.44/437.74	c |    149744 |  105167   703054  2047755 | 2147483647   147242    219 | 24.180 % |
438.14/438.49	c |    149937 |  105166   703054  2047755 | 2147483647   147434    219 | 24.180 % |
438.93/439.25	c |    150150 |  105166   703054  2047755 | 2147483647   147647    219 | 24.180 % |
439.53/439.84	c |    150383 |  105166   703054  2047755 | 2147483647   147879    219 | 24.343 % |
440.03/440.38	c |    150639 |  105165   703054  2047755 | 2147483647   148135    219 | 24.343 % |
441.23/441.58	c |    150920 |  105165   703054  2047755 | 2147483647   148416    219 | 24.343 % |
442.33/442.67	c |    151230 |  105161   703054  2047755 | 2147483647   148723    218 | 24.354 % |
443.73/444.03	c |    151576 |  105064   703054  2047755 | 2147483647   149068    219 | 24.496 % |
445.93/446.27	c |    151950 |  105064   703054  2047755 | 2147483647   149442    220 | 24.496 % |
447.52/447.83	c |    152361 |  105052   703054  2047755 | 2147483647   149852    220 | 24.523 % |
448.92/449.28	c |    152810 |  105052   703054  2047755 | 2147483647   150301    220 | 24.523 % |
450.92/451.22	c |    153303 |  105052   703054  2047755 | 2147483647   150794    220 | 24.523 % |
454.13/454.45	c |    153848 |  105052   703054  2047755 | 2147483647   151339    221 | 24.523 % |
456.02/456.37	c |    154446 |  105052   703054  2047755 | 2147483647   151937    222 | 24.523 % |
458.23/458.52	c |    155101 |  105037   703054  2047755 | 2147483647   152591    222 | 24.568 % |
460.52/460.80	c |    155821 |  105034   703054  2047755 | 2147483647   153310    223 | 24.573 % |
462.33/462.64	c |    156613 |  105034   703054  2047755 | 2147483647   154102    223 | 24.573 % |
465.52/465.82	c |    157484 |  105026   703054  2047755 | 2147483647   154972    223 | 24.586 % |
467.92/468.23	c |    158442 |  105025   703054  2047755 | 2147483647   155929    223 | 24.595 % |
469.62/469.94	c |    159496 |  104565   698772  2036881 | 2147483647   156677    223 | 24.597 % |
472.12/472.46	c |    160655 |  104565   698772  2036881 | 2147483647   157836    223 | 24.597 % |
478.72/479.04	c |    161933 |  104563   698772  2036881 | 2147483647   159113    224 | 24.646 % |
482.11/482.42	c |    163335 |  104563   698772  2036881 | 2147483647   160515    225 | 24.646 % |
489.71/490.09	c |    164878 |  104560   698772  2036881 | 2147483647   162056    226 | 24.981 % |
495.02/495.39	c |    166581 |  104560   698772  2036881 | 2147483647   163759    228 | 24.981 % |
495.21/495.52	c |    166685 |  104560   698772  2036881 | 2147483647   163863    228 | 24.981 % |
495.31/495.63	c |    166795 |  104560   698772  2036881 | 2147483647   163973    228 | 24.981 % |
496.01/496.36	c |    166916 |  104560   698772  2036881 | 2147483647   164094    228 | 24.981 % |
496.61/496.98	c |    167049 |  104560   698772  2036881 | 2147483647   164227    228 | 24.981 % |
497.11/497.45	c |    167195 |  104559   698772  2036881 | 2147483647   164372    227 | 24.986 % |
498.31/498.61	c |    167355 |  104559   698772  2036881 | 2147483647   164531    228 | 24.987 % |
498.71/499.09	c |    167531 |  104559   698772  2036881 | 2147483647   164707    228 | 24.987 % |
500.01/500.30	c |    167728 |  104559   698772  2036881 | 2147483647   164903    228 | 24.996 % |
501.11/501.43	c |    167941 |  104555   698772  2036881 | 2147483647   165111    228 | 25.014 % |
501.91/502.22	c |    168178 |  104554   698772  2036881 | 2147483647   165348    228 | 25.014 % |
502.81/503.18	c |    168434 |  104554   698772  2036881 | 2147483647   165604    228 | 25.014 % |
503.21/503.59	c |    168715 |  104554   698772  2036881 | 2147483647   165885    228 | 25.014 % |
504.80/505.12	c |    169024 |  104554   698772  2036881 | 2147483647   166194    228 | 25.014 % |
506.60/506.98	c |    169364 |  104554   698772  2036881 | 2147483647   166534    228 | 25.014 % |
507.71/508.09	c |    169739 |  104554   698772  2036881 | 2147483647   166909    229 | 25.014 % |
508.71/509.00	c |    170149 |  104554   698772  2036881 | 2147483647   167319    228 | 25.014 % |
510.11/510.42	c |    170599 |  104553   698772  2036881 | 2147483647   167767    228 | 25.018 % |
511.00/511.37	c |    171094 |  104553   698772  2036881 | 2147483647   168262    228 | 25.018 % |
512.90/513.29	c |    171636 |  104551   698772  2036881 | 2147483647   168801    228 | 25.021 % |
515.39/515.70	c |    172233 |  104551   698772  2036881 | 2147483647   169398    229 | 25.021 % |
517.10/517.41	c |    172888 |  104550   698772  2036881 | 2147483647   170052    228 | 25.022 % |
519.20/519.51	c |    173608 |  104549   698772  2036881 | 2147483647   170770    228 | 25.186 % |
522.90/523.27	c |    174400 |  104549   698772  2036881 | 2147483647   171562    229 | 25.186 % |
525.59/525.97	c |    175271 |  103691   687937  2007533 | 2147483647   172138    229 | 25.227 % |
529.69/530.05	c |    176234 |  103658   687937  2007533 | 2147483647   173099    230 | 25.569 % |
531.70/532.04	c |    177295 |  103658   687937  2007533 | 2147483647   174160    230 | 25.569 % |
536.09/536.46	c |    178453 |  103656   687937  2007533 | 2147483647   175316    230 | 25.570 % |
541.90/542.25	c |    179730 |  103655   687937  2007533 | 2147483647   176592    232 | 25.572 % |
544.99/545.38	c |    181130 |  103654   687937  2007533 | 2147483647   177991    233 | 25.573 % |
550.59/550.94	c |    182671 |  103648   687937  2007533 | 2147483647   179528    234 | 25.589 % |
555.78/556.11	c |    184366 |  103648   687937  2007533 | 2147483647   181223    235 | 25.589 % |
562.79/563.18	c |    186235 |  103642   687937  2007533 | 2147483647   183086    236 | 25.902 % |
563.48/563.80	c |    186335 |  103642   687937  2007533 | 2147483647   183186    236 | 25.902 % |
564.28/564.63	c |    186447 |  103642   687937  2007533 | 2147483647   183298    236 | 25.902 % |
564.58/564.96	c |    186568 |  103642   687937  2007533 | 2147483647   183419    236 | 25.902 % |
564.99/565.36	c |    186704 |  103642   687937  2007533 | 2147483647   183555    236 | 25.902 % |
565.68/566.03	c |    186850 |  103642   687937  2007533 | 2147483647   183701    236 | 25.902 % |
566.38/566.79	c |    187010 |  103642   687937  2007533 | 2147483647   183861    236 | 25.902 % |
567.38/567.72	c |    187187 |  103638   687937  2007533 | 2147483647   184037    236 | 26.026 % |
568.08/568.42	c |    187381 |  103638   687937  2007533 | 2147483647   184231    236 | 26.026 % |
568.68/569.08	c |    187594 |  103638   687937  2007533 | 2147483647   184444    236 | 26.026 % |
569.48/569.86	c |    187827 |  103638   687937  2007533 | 2147483647   184677    236 | 26.026 % |
570.28/570.67	c |    188084 |  103638   687937  2007533 | 2147483647   184934    236 | 26.026 % |
570.98/571.34	c |    188365 |  103638   687937  2007533 | 2147483647   185215    236 | 26.026 % |
571.68/572.04	c |    188675 |  103638   687937  2007533 | 2147483647   185525    237 | 26.026 % |
573.58/573.98	c |    189017 |  103638   687937  2007533 | 2147483647   185867    237 | 26.026 % |
575.28/575.60	c |    189390 |  103637   687937  2007533 | 2147483647   186239    237 | 26.029 % |
576.87/577.26	c |    189801 |  103637   687937  2007533 | 2147483647   186650    237 | 26.029 % |
578.78/579.12	c |    190256 |  103637   687937  2007533 | 2147483647   187105    237 | 26.029 % |
580.28/580.69	c |    190749 |  103635   687937  2007533 | 2147483647   187596    238 | 26.036 % |
582.27/582.61	c |    191294 |  103635   687937  2007533 | 2147483647   188141    238 | 26.036 % |
583.97/584.37	c |    191891 |  103635   687937  2007533 | 2147483647   188738    239 | 26.036 % |
586.57/586.97	c |    192550 |  103634   687937  2007533 | 2147483647   189396    239 | 26.041 % |
589.28/589.66	c |    193270 |  103634   687937  2007533 | 2147483647   190116    240 | 26.041 % |
591.48/591.89	c |    194062 |  103634   687937  2007533 | 2147483647   190908    240 | 26.041 % |
595.07/595.47	c |    194939 |  103634   687937  2007533 | 2147483647   191785    241 | 26.041 % |
598.56/598.99	c |    195899 |  102562   670122  1958036 | 2147483647   189466    241 | 26.041 % |
602.26/602.69	c |    196952 |  102561   670122  1958036 | 2147483647   190518    241 | 26.042 % |
607.56/607.96	c |    198113 |  102560   670122  1958036 | 2147483647   191676    241 | 26.052 % |
612.06/612.46	c |    199391 |  102559   670122  1958036 | 2147483647   192952    241 | 26.053 % |
615.37/615.77	c |    200791 |  102559   670122  1958036 | 2147483647   194352    242 | 26.053 % |
620.16/620.54	c |    202331 |  102559   670122  1958036 | 2147483647   195892    244 | 26.053 % |
625.46/625.83	c |    204027 |  102557   670122  1958036 | 2147483647   197586    245 | 26.060 % |
633.56/633.93	c |    205891 |  102557   670122  1958036 | 2147483647   199450    245 | 26.060 % |
638.25/638.70	c |    207940 |  102548   670122  1958036 | 2147483647   201499    245 | 26.060 % |
638.45/638.82	c |    208041 |  102548   670122  1958036 | 2147483647   201600    245 | 26.060 % |
638.76/639.20	c |    208151 |  102548   670122  1958036 | 2147483647   201710    245 | 26.060 % |
639.25/639.60	c |    208272 |  102548   670122  1958036 | 2147483647   201831    245 | 26.060 % |
639.35/639.71	c |    208405 |  102548   670122  1958036 | 2147483647   201964    245 | 26.060 % |
639.76/640.13	c |    208551 |  102547   670122  1958036 | 2147483647   202109    245 | 26.061 % |
639.95/640.30	c |    208713 |  102547   670122  1958036 | 2147483647   202271    245 | 26.061 % |
640.65/641.07	c |    208890 |  102539   670122  1958036 | 2147483647   202447    245 | 26.188 % |
641.35/641.77	c |    209083 |  102539   670122  1958036 | 2147483647   202640    245 | 26.188 % |
642.15/642.54	c |    209295 |  102538   670122  1958036 | 2147483647   202851    244 | 26.192 % |
643.25/643.62	c |    209528 |  102538   670122  1958036 | 2147483647   203084    245 | 26.192 % |
644.15/644.53	c |    209786 |  102538   670122  1958036 | 2147483647   203342    245 | 26.192 % |
644.75/645.14	c |    210070 |  102538   670122  1958036 | 2147483647   203626    245 | 26.192 % |
645.35/645.78	c |    210383 |  102535   670122  1958036 | 2147483647   203936    245 | 26.206 % |
646.95/647.39	c |    210728 |  102525   670122  1958036 | 2147483647   204281    245 | 26.206 % |
649.25/649.64	c |    211102 |  102525   670122  1958036 | 2147483647   204655    245 | 26.206 % |
650.54/650.93	c |    211512 |  102524   670122  1958036 | 2147483647   205064    245 | 26.207 % |
652.55/652.94	c |    211961 |  102519   670122  1958036 | 2147483647   205512    245 | 26.214 % |
655.05/655.47	c |    212454 |  102513   670122  1958036 | 2147483647   206004    245 | 26.221 % |
656.95/657.34	c |    212997 |  102512   670122  1958036 | 2147483647   206546    245 | 26.254 % |
659.65/660.07	c |    213593 |  102512   670122  1958036 | 2147483647   207142    246 | 26.254 % |
661.54/661.91	c |    214248 |  102512   670122  1958036 | 2147483647   207797    245 | 26.254 % |
664.64/665.00	c |    214968 |  102511   670122  1958036 | 2147483647   208516    245 | 26.255 % |
667.74/668.19	c |    215760 |  102511   670122  1958036 | 2147483647   209308    246 | 26.255 % |
671.24/671.66	c |    216636 |  102511   670122  1958036 | 2147483647   210184    246 | 26.255 % |
673.84/674.27	c |    217594 |  102264   668574  1954503 | 2147483647   210996    246 | 26.256 % |
680.63/681.00	c |    218648 |  102264   668574  1954503 | 2147483647   212050    247 | 26.256 % |
683.94/684.31	c |    219806 |  102264   668574  1954503 | 2147483647   213208    248 | 26.256 % |
691.13/691.57	c |    221079 |  102263   668574  1954503 | 2147483647   214480    249 | 26.257 % |
698.23/698.68	c |    222482 |  102259   668574  1954503 | 2147483647   215881    250 | 26.265 % |
704.83/705.29	c |    224024 |  102253   668574  1954503 | 2147483647   217422    251 | 26.270 % |
713.12/713.55	c |    225720 |  102253   668574  1954503 | 2147483647   219118    251 | 26.270 % |
721.12/721.52	c |    227583 |  102251   668574  1954503 | 2147483647   220980    251 | 26.274 % |
731.91/732.31	c |    229635 |  102251   668574  1954503 | 2147483647   223032    254 | 26.274 % |
740.82/741.22	c |    231892 |  102250   668574  1954503 | 2147483647   225288    255 | 26.275 % |
741.02/741.41	c |    231993 |  102250   668574  1954503 | 2147483647   225389    255 | 26.275 % |
741.22/741.61	c |    232104 |  102250   668574  1954503 | 2147483647   225500    255 | 26.275 % |
741.42/741.88	c |    232226 |  102250   668574  1954503 | 2147483647   225622    255 | 26.275 % |
742.22/742.64	c |    232359 |  102250   668574  1954503 | 2147483647   225755    255 | 26.275 % |
743.41/743.89	c |    232505 |  102250   668574  1954503 | 2147483647   225901    255 | 26.275 % |
744.01/744.45	c |    232665 |  102250   668574  1954503 | 2147483647   226061    255 | 26.275 % |
744.41/744.80	c |    232843 |  102250   668574  1954503 | 2147483647   226239    255 | 26.275 % |
745.31/745.73	c |    233036 |  102250   668574  1954503 | 2147483647   226432    255 | 26.275 % |
746.61/747.05	c |    233250 |  102249   668574  1954503 | 2147483647   226645    255 | 26.280 % |
747.61/748.06	c |    233489 |  102249   668574  1954503 | 2147483647   226884    255 | 26.280 % |
749.11/749.58	c |    233749 |  102249   668574  1954503 | 2147483647   227144    255 | 26.280 % |
750.61/751.07	c |    234032 |  102249   668574  1954503 | 2147483647   227427    255 | 26.280 % |
752.10/752.50	c |    234341 |  102249   668574  1954503 | 2147483647   227736    256 | 26.280 % |
753.41/753.80	c |    234680 |  102249   668574  1954503 | 2147483647   228075    256 | 26.280 % |
754.31/754.73	c |    235053 |  102249   668574  1954503 | 2147483647   228448    256 | 26.280 % |
757.61/758.05	c |    235463 |  102249   668574  1954503 | 2147483647   228858    257 | 26.280 % |
759.71/760.18	c |    235915 |  102249   668574  1954503 | 2147483647   229310    257 | 26.280 % |
761.91/762.34	c |    236412 |  102249   668574  1954503 | 2147483647   229807    257 | 26.280 % |
763.90/764.37	c |    236955 |  102249   668574  1954503 | 2147483647   230350    257 | 26.280 % |
765.61/766.04	c |    237551 |  102230   668351  1953923 | 2147483647   230910    257 | 26.280 % |
769.10/769.57	c |    238206 |  102230   668351  1953923 | 2147483647   231565    258 | 26.280 % |
772.81/773.21	c |    238926 |  102229   668351  1953923 | 2147483647   232284    258 | 26.289 % |
776.70/777.14	c |    239718 |  102229   668351  1953923 | 2147483647   233076    258 | 26.289 % |
781.10/781.54	c |    240597 |  102229   668351  1953923 | 2147483647   233955    259 | 26.289 % |
785.00/785.44	c |    241557 |  102229   668351  1953923 | 2147483647   234915    259 | 26.289 % |
790.09/790.52	c |    242611 |  102227   668351  1953923 | 2147483647   235967    260 | 26.295 % |
794.20/794.62	c |    243772 |  102227   668351  1953923 | 2147483647   237128    261 | 26.295 % |
798.39/798.83	c |    245046 |  102227   668351  1953923 | 2147483647   238402    261 | 26.295 % |
803.29/803.73	c |    246456 |  102226   668351  1953923 | 2147483647   239811    262 | 26.306 % |
808.38/808.84	c |    247996 |  102226   668351  1953923 | 2147483647   241351    262 | 26.306 % |
812.29/812.80	c |    249692 |  102226   668351  1953923 | 2147483647   243047    262 | 26.306 % |
818.38/818.89	c |    251556 |  102224   668351  1953923 | 2147483647   244909    262 | 26.316 % |
826.88/827.31	c |    253606 |  102221   668351  1953923 | 2147483647   246957    263 | 26.321 % |
838.38/838.81	c |    255859 |  102220   668351  1953923 | 2147483647   249208    265 | 26.332 % |
849.08/849.60	c |    258337 |  102216   668351  1953923 | 2147483647   251684    266 | 26.342 % |
849.38/849.87	c |    258438 |  102215   668351  1953923 | 2147483647   251784    266 | 26.573 % |
850.28/850.71	c |    258548 |  102189   668351  1953923 | 2147483647   251894    266 | 26.573 % |
850.98/851.46	c |    258670 |  102189   668351  1953923 | 2147483647   252016    266 | 26.573 % |
851.87/852.36	c |    258803 |  102189   668351  1953923 | 2147483647   252149    266 | 26.573 % |
852.97/853.46	c |    258952 |  102189   668351  1953923 | 2147483647   252298    266 | 26.573 % |
853.77/854.21	c |    259114 |  102189   668351  1953923 | 2147483647   252460    267 | 26.573 % |
854.47/854.98	c |    259291 |  102189   668351  1953923 | 2147483647   252637    267 | 26.573 % |
855.17/855.68	c |    259484 |  102189   668351  1953923 | 2147483647   252830    267 | 26.573 % |
856.17/856.62	c |    259696 |  102189   668351  1953923 | 2147483647   253042    267 | 26.573 % |
857.17/857.68	c |    259929 |  102189   668351  1953923 | 2147483647   253275    267 | 26.573 % |
857.97/858.49	c |    260186 |  102189   668351  1953923 | 2147483647   253532    267 | 26.573 % |
858.47/858.98	c |    260468 |  102189   668351  1953923 | 2147483647   253814    267 | 26.573 % |
860.17/860.61	c |    260780 |  102185   668351  1953923 | 2147483647   254124    267 | 26.585 % |
862.17/862.68	c |    261120 |  102184   668351  1953923 | 2147483647   254463    267 | 26.592 % |
862.77/863.22	c |    261492 |  102184   668351  1953923 | 2147483647   254835    266 | 26.592 % |
865.67/866.10	c |    261904 |  102184   668351  1953923 | 2147483647   255247    267 | 26.592 % |
867.47/867.94	c |    262353 |  102184   668351  1953923 | 2147483647   255696    267 | 26.592 % |
869.67/870.11	c |    262847 |  101798   666244  1948963 | 2147483647   256005    267 | 26.592 % |
872.87/873.33	c |    263391 |  101798   666244  1948963 | 2147483647   256548    268 | 26.593 % |
875.46/875.95	c |    263987 |  101798   666244  1948963 | 2147483647   257144    268 | 26.593 % |
877.27/877.74	c |    264644 |  101798   666244  1948963 | 2147483647   257801    268 | 26.593 % |
881.26/881.79	c |    265364 |  101798   666244  1948963 | 2147483647   258521    268 | 26.593 % |
885.96/886.45	c |    266157 |  101798   666244  1948963 | 2147483647   259314    269 | 26.593 % |
889.76/890.22	c |    267028 |  101794   666244  1948963 | 2147483647   260182    269 | 26.606 % |
894.86/895.39	c |    267989 |  101791   666244  1948963 | 2147483647   261141    270 | 26.619 % |
898.95/899.42	c |    269042 |  101791   666244  1948963 | 2147483647   262194    270 | 26.619 % |
905.16/905.65	c |    270202 |  101791   666244  1948963 | 2147483647   263353    271 | 26.619 % |
911.46/911.99	c |    271475 |  101761   666244  1948963 | 2147483647   264623    271 | 26.833 % |
917.74/918.24	c |    272875 |  101761   666244  1948963 | 2147483647   266023    272 | 26.833 % |
924.55/925.09	c |    274418 |  101747   666244  1948963 | 2147483647   267562    272 | 26.862 % |
930.25/930.75	c |    276113 |  101747   666244  1948963 | 2147483647   269257    273 | 26.862 % |
937.84/938.37	c |    277977 |  101747   666244  1948963 | 2147483647   271120    273 | 26.864 % |
943.94/944.45	c |    280028 |  101742   666244  1948963 | 2147483647   273168    273 | 26.872 % |
955.24/955.71	c |    282284 |  101740   666244  1948963 | 2147483647   275422    274 | 26.873 % |
970.73/971.29	c |    284762 |  101739   666244  1948963 | 2147483647   277899    275 | 26.879 % |
982.83/983.40	c |    287487 |  101730   666244  1948963 | 2147483647   280603    276 | 27.004 % |
983.32/983.80	c |    287587 |  101730   666244  1948963 | 2147483647   280703    276 | 27.004 % |
983.52/984.09	c |    287697 |  101730   666244  1948963 | 2147483647   280813    276 | 27.004 % |
984.32/984.84	c |    287819 |  101730   666244  1948963 | 2147483647   280935    276 | 27.004 % |
984.82/985.34	c |    287957 |  101730   666244  1948963 | 2147483647   281073    276 | 27.004 % |
985.52/986.05	c |    288103 |  101730   666244  1948963 | 2147483647   281219    276 | 27.004 % |
986.62/987.11	c |    288263 |  101730   666244  1948963 | 2147483647   281379    276 | 27.004 % |
987.72/988.28	c |    288439 |  101730   666244  1948963 | 2147483647   281555    276 | 27.004 % |
989.02/989.60	c |    288632 |  101730   666244  1948963 | 2147483647   281748    276 | 27.004 % |
990.22/990.74	c |    288844 |  101730   666244  1948963 | 2147483647   281960    276 | 27.004 % |
992.12/992.65	c |    289081 |  101226   661818  1937138 | 2147483647   281986    276 | 27.004 % |
993.22/993.75	c |    289342 |  101226   661818  1937138 | 2147483647   282247    277 | 27.004 % |
994.82/995.36	c |    289627 |  101225   661818  1937138 | 2147483647   282531    277 | 27.012 % |
995.82/996.37	c |    289938 |  101224   661818  1937138 | 2147483647   282841    277 | 27.012 % |
997.92/998.42	c |    290277 |  101222   661818  1937138 | 2147483647   283179    277 | 27.019 % |
1000.32/1000.85	c |    290649 |  101222   661818  1937138 | 2147483647   283550    277 | 27.022 % |
1002.21/1002.77	c |    291067 |  101222   661818  1937138 | 2147483647   283968    277 | 27.022 % |
1003.91/1004.45	c |    291516 |  101222   661818  1937138 | 2147483647   284417    278 | 27.022 % |
1005.41/1005.91	c |    292010 |  101220   661818  1937138 | 2147483647   284910    278 | 27.029 % |
1009.32/1009.88	c |    292553 |  101220   661818  1937138 | 2147483647   285453    278 | 27.029 % |
1012.01/1012.59	c |    293149 |  101220   661818  1937138 | 2147483647   286049    278 | 27.029 % |
1015.82/1016.32	c |    293804 |  101220   661818  1937138 | 2147483647   286704    279 | 27.029 % |
1019.41/1019.90	c |    294526 |  101220   661818  1937138 | 2147483647   287426    279 | 27.029 % |
1023.81/1024.39	c |    295318 |  101220   661818  1937138 | 2147483647   288218    280 | 27.029 % |
1027.20/1027.72	c |    296195 |  101220   661818  1937138 | 2147483647   289095    280 | 27.029 % |
1032.80/1033.35	c |    297153 |  101216   661818  1937138 | 2147483647   290051    280 | 27.036 % |
1036.90/1037.45	c |    298206 |  101215   661818  1937138 | 2147483647   291103    281 | 27.037 % |
1042.21/1042.79	c |    299365 |  101215   661818  1937138 | 2147483647   292262    282 | 27.037 % |
1051.80/1052.31	c |    300644 |  101214   661818  1937138 | 2147483647   293540    283 | 27.038 % |
1058.59/1059.16	c |    302044 |  101213   661818  1937138 | 2147483647   294939    285 | 27.038 % |
1063.10/1063.65	c |    303585 |  101213   661818  1937138 | 2147483647   296480    284 | 27.038 % |
1072.18/1072.78	c |    305279 |  101213   661818  1937138 | 2147483647   298174    285 | 27.038 % |
1077.59/1078.16	c |    307143 |  101211   661818  1937138 | 2147483647   300036    285 | 27.040 % |
1085.88/1086.48	c |    309192 |  101211   661818  1937138 | 2147483647   302085    286 | 27.040 % |
1095.48/1096.07	c |    311446 |  101211   661818  1937138 | 2147483647   304339    286 | 27.040 % |
1106.98/1107.51	c |    313926 |  101206   661818  1937138 | 2147483647   306816    287 | 27.068 % |
1118.17/1118.73	c |    316652 |  101205   661818  1937138 | 2147483647   309541    290 | 27.069 % |
1130.27/1130.82	c |    319649 |  101204   661818  1937138 | 2147483647   312537    290 | 27.069 % |
1130.56/1131.18	c |    319749 |  101204   661818  1937138 | 2147483647   312637    290 | 27.069 % |
1130.86/1131.46	c |    319859 |  101204   661818  1937138 | 2147483647   312747    290 | 27.069 % |
1131.27/1131.86	c |    319983 |  101204   661818  1937138 | 2147483647   312871    290 | 27.069 % |
1131.96/1132.59	c |    320119 |  101204   661818  1937138 | 2147483647   313007    290 | 27.069 % |
1132.66/1133.20	c |    320266 |  101204   661818  1937138 | 2147483647   313154    290 | 27.069 % |
1132.96/1133.52	c |    320427 |  101204   661818  1937138 | 2147483647   313315    290 | 27.069 % |
1134.96/1135.58	c |    320604 |  101204   661818  1937138 | 2147483647   313492    290 | 27.069 % |
1136.36/1136.94	c |    320797 |  101204   661818  1937138 | 2147483647   313685    290 | 27.069 % |
1137.36/1137.99	c |    321011 |  101204   661818  1937138 | 2147483647   313899    290 | 27.069 % |
1138.87/1139.40	c |    321244 |  101203   661818  1937138 | 2147483647   314131    290 | 27.070 % |
1140.57/1141.12	c |    321500 |  101203   661818  1937138 | 2147483647   314387    290 | 27.070 % |
1141.67/1142.23	c |    321782 |  101203   661818  1937138 | 2147483647   314669    290 | 27.070 % |
1143.56/1144.19	c |    322094 |  101203   661818  1937138 | 2147483647   314981    290 | 27.070 % |
1145.96/1146.53	c |    322435 |  101203   661818  1937138 | 2147483647   315322    290 | 27.070 % |
1148.36/1148.97	c |    322809 |  101203   661818  1937138 | 2147483647   315696    291 | 27.070 % |
1150.26/1150.82	c |    323218 |  101203   661818  1937138 | 2147483647   316105    291 | 27.070 % |
1152.86/1153.48	c |    323667 |  101203   661818  1937138 | 2147483647   316554    291 | 27.070 % |
1155.75/1156.32	c |    324162 |  101134   661014  1934960 | 2147483647   315151    292 | 27.071 % |
1159.65/1160.24	c |    324705 |  101133   661014  1934960 | 2147483647   315693    292 | 27.071 % |
1162.76/1163.35	c |    325303 |  101133   661014  1934960 | 2147483647   316291    292 | 27.071 % |
1165.75/1166.35	c |    325958 |  101132   661014  1934960 | 2147483647   316945    292 | 27.076 % |
1170.55/1171.19	c |    326678 |  101132   661014  1934960 | 2147483647   317665    293 | 27.076 % |
1173.55/1174.17	c |    327470 |  101128   661014  1934960 | 2147483647   318453    292 | 27.095 % |
1177.75/1178.33	c |    328347 |  101128   661014  1934960 | 2147483647   319330    293 | 27.095 % |
1182.45/1183.05	c |    329305 |  101128   661014  1934960 | 2147483647   320288    293 | 27.095 % |
1187.84/1188.42	c |    330363 |  101128   661014  1934960 | 2147483647   321346    293 | 27.095 % |
1192.24/1192.81	c |    331524 |  101128   661014  1934960 | 2147483647   322507    293 | 27.095 % |
1199.64/1200.21	c |    332797 |  101124   661014  1934960 | 2147483647   323778    293 | 27.206 % |
1205.64/1206.26	c |    334197 |  101124   661014  1934960 | 2147483647   325178    295 | 27.206 % |
1212.23/1212.88	c |    335737 |  101124   661014  1934960 | 2147483647   326718    295 | 27.206 % |
1220.23/1220.81	c |    337432 |  101124   661014  1934960 | 2147483647   328413    296 | 27.206 % |
1227.33/1227.98	c |    339301 |  100972   661014  1934960 | 2147483647   330280    296 | 27.208 % |
1233.93/1234.58	c |    341350 |  100972   661014  1934960 | 2147483647   332329    296 | 27.208 % |
1250.62/1251.26	c |    343606 |  100972   661014  1934960 | 2147483647   334585    298 | 27.208 % |
1261.62/1262.25	c |    346087 |  100972   661014  1934960 | 2147483647   337066    299 | 27.208 % |
1281.51/1282.10	c |    348812 |  100972   661014  1934960 | 2147483647   339788    299 | 27.239 % |
1296.81/1297.48	c |    351811 |  100971   661014  1934960 | 2147483647   342786    301 | 27.243 % |
1303.80/1304.47	c |    355107 |  100971   661014  1934960 | 2147483647   346082    299 | 27.243 % |
1304.20/1304.82	c |    355208 |  100971   661014  1934960 | 2147483647   346183    299 | 27.243 % |
1304.50/1305.15	c |    355320 |  100971   661014  1934960 | 2147483647   346295    299 | 27.243 % |
1305.00/1305.62	c |    355442 |  100971   661014  1934960 | 2147483647   346416    299 | 27.260 % |
1305.20/1305.84	c |    355575 |  100971   661014  1934960 | 2147483647   346549    299 | 27.260 % |
1305.70/1306.39	c |    355721 |  100969   661014  1934960 | 2147483647   346695    299 | 27.260 % |
1306.60/1307.26	c |    355886 |  100969   661014  1934960 | 2147483647   346860    299 | 27.260 % |
1307.61/1308.24	c |    356064 |  100969   661014  1934960 | 2147483647   347038    299 | 27.260 % |
1308.70/1309.32	c |    356258 |  100969   661014  1934960 | 2147483647   347232    299 | 27.260 % |
1309.90/1310.50	c |    356473 |  100969   661014  1934960 | 2147483647   347447    299 | 27.260 % |
1311.50/1312.15	c |    356706 |  100969   661014  1934960 | 2147483647   347680    300 | 27.260 % |
1313.20/1313.83	c |    356964 |  100969   661014  1934960 | 2147483647   347938    300 | 27.260 % |
1313.90/1314.56	c |    357250 |  100969   661014  1934960 | 2147483647   348224    299 | 27.260 % |
1315.90/1316.58	c |    357571 |  100969   661014  1934960 | 2147483647   348545    299 | 27.260 % |
1319.09/1319.74	c |    357912 |  100969   661014  1934960 | 2147483647   348886    300 | 27.260 % |
1322.00/1322.62	c |    358286 |  100969   661014  1934960 | 2147483647   349260    300 | 27.260 % |
1325.00/1325.65	c |    358695 |  100969   661014  1934960 | 2147483647   349669    300 | 27.260 % |
1329.10/1329.74	c |    359146 |  100872   659745  1931950 | 2147483647   349988    300 | 27.260 % |
1331.49/1332.17	c |    359639 |  100872   659745  1931950 | 2147483647   350481    300 | 27.260 % |
1332.19/1332.88	c |    360181 |  100872   659745  1931950 | 2147483647   351023    300 | 27.260 % |
1334.59/1335.21	c |    360783 |  100868   659745  1931950 | 2147483647   351620    300 | 27.322 % |
1339.19/1339.83	c |    361438 |  100868   659745  1931950 | 2147483647   352275    301 | 27.322 % |
1341.39/1342.07	c |    362162 |  100868   659745  1931950 | 2147483647   352999    300 | 27.322 % |
1344.89/1345.53	c |    362954 |  100862   659745  1931950 | 2147483647   353787    300 | 27.327 % |
1349.38/1350.01	c |    363825 |  100862   659745  1931950 | 2147483647   354658    301 | 27.327 % |
1356.79/1357.46	c |    364789 |  100862   659745  1931950 | 2147483647   355620    301 | 27.330 % |
1359.48/1360.19	c |    365842 |  100862   659745  1931950 | 2147483647   356673    301 | 27.330 % |
1365.88/1366.58	c |    367001 |  100862   659745  1931950 | 2147483647   357832    300 | 27.330 % |
1374.68/1375.38	c |    368274 |  100862   659745  1931950 | 2147483647   359105    301 | 27.330 % |
1381.67/1382.35	c |    369674 |  100861   659745  1931950 | 2147483647   360504    301 | 27.335 % |
1391.46/1392.16	c |    371215 |  100860   659745  1931950 | 2147483647   362044    302 | 27.340 % |
1399.96/1400.69	c |    372912 |  100860   659745  1931950 | 2147483647   363741    302 | 27.340 % |
1413.76/1414.42	c |    374777 |  100857   659745  1931950 | 2147483647   365603    303 | 27.343 % |
1425.86/1426.59	c |    376834 |  100856   659745  1931950 | 2147483647   367659    304 | 27.348 % |
1437.55/1438.20	c |    379091 |  100854   659745  1931950 | 2147483647   369915    304 | 27.350 % |
1447.96/1448.67	c |    381572 |  100854   659745  1931950 | 2147483647   372396    306 | 27.350 % |
1460.15/1460.88	c |    384297 |  100854   659745  1931950 | 2147483647   375121    306 | 27.350 % |
1471.84/1472.59	c |    387296 |  100853   659745  1931950 | 2147483647   378119    306 | 27.357 % |
1494.73/1495.43	c |    390593 |  100853   659745  1931950 | 2147483647   381416    308 | 27.357 % |
1516.83/1517.54	c |    394218 |  100853   659745  1931950 | 2147483647   385041    310 | 27.357 % |
1517.42/1518.12	c |    394318 |  100853   659745  1931950 | 2147483647   385141    310 | 27.357 % |
1518.22/1518.93	c |    394434 |  100853   659745  1931950 | 2147483647   385257    310 | 27.357 % |
1518.72/1519.41	c |    394557 |  100853   659745  1931950 | 2147483647   385380    310 | 27.357 % |
1519.72/1520.47	c |    394692 |  100853   659745  1931950 | 2147483647   385515    310 | 27.357 % |
1520.82/1521.57	c |    394840 |  100852   659745  1931950 | 2147483647   385662    310 | 27.369 % |
1522.12/1522.83	c |    395001 |  100852   659745  1931950 | 2147483647   385823    310 | 27.369 % |
1523.32/1524.06	c |    395177 |  100852   659745  1931950 | 2147483647   385999    310 | 27.369 % |
1524.73/1525.42	c |    395370 |  100852   659745  1931950 | 2147483647   386192    310 | 27.369 % |
1526.72/1527.46	c |    395582 |  100852   659745  1931950 | 2147483647   386404    310 | 27.369 % |
1528.62/1529.34	c |    395815 |  100852   659745  1931950 | 2147483647   386637    311 | 27.369 % |
1530.22/1530.97	c |    396071 |  100852   659745  1931950 | 2147483647   386893    311 | 27.369 % |
1532.62/1533.36	c |    396363 |  100852   659745  1931950 | 2147483647   387184    311 | 27.764 % |
1533.31/1534.05	c |    396672 |  100852   659745  1931950 | 2147483647   387493    311 | 27.764 % |
1535.61/1536.37	c |    397013 |  100852   659745  1931950 | 2147483647   387834    311 | 27.764 % |
1537.91/1538.61	c |    397385 |  100850   659745  1931950 | 2147483647   388203    311 | 27.883 % |
1539.92/1540.62	c |    397795 |  100816   659745  1931950 | 2147483647   388613    311 | 27.883 % |
1543.42/1544.17	c |    398246 |  100816   659745  1931950 | 2147483647   389064    311 | 27.883 % |
1546.51/1547.20	c |    398739 |  100816   659745  1931950 | 2147483647   389557    311 | 27.883 % |
1549.71/1550.43	c |    399283 |  100816   659745  1931950 | 2147483647   390101    311 | 27.883 % |
1551.71/1552.49	c |    399881 |  100816   659745  1931950 | 2147483647   390699    311 | 27.883 % |
1557.51/1558.28	c |    400537 |  100816   659745  1931950 | 2147483647   391355    311 | 27.883 % |
1563.51/1564.26	c |    401259 |  100816   659745  1931950 | 2147483647   392077    312 | 27.883 % |
1569.11/1569.89	c |    402051 |  100816   659745  1931950 | 2147483647   392869    312 | 27.883 % |
1573.20/1573.96	c |    402924 |  100816   659745  1931950 | 2147483647   393742    312 | 27.883 % |
1579.40/1580.17	c |    403885 |  100006   646764  1896239 | 2147483647   394206    313 | 27.890 % |
1585.19/1585.95	c |    404938 |  100006   646764  1896239 | 2147483647   395259    313 | 27.890 % |
1591.79/1592.56	c |    406097 |  100005   646764  1896239 | 2147483647   396416    313 | 27.897 % |
1598.29/1599.03	c |    407370 |  100005   646764  1896239 | 2147483647   397687    313 | 27.899 % |
1606.29/1607.08	c |    408771 |  100003   646764  1896239 | 2147483647   399086    312 | 27.906 % |
1615.19/1615.91	c |    410311 |  100003   646764  1896239 | 2147483647   400626    313 | 27.906 % |
1625.38/1626.11	c |    412009 |   99996   646764  1896239 | 2147483647   402317    313 | 27.940 % |
1637.48/1638.24	c |    413872 |   99996   646764  1896239 | 2147483647   404180    313 | 27.940 % |
1651.57/1652.38	c |    415924 |   99991   646764  1896239 | 2147483647   406228    314 | 27.962 % |
1668.36/1669.11	c |    418179 |   99990   646764  1896239 | 2147483647   408481    314 | 27.975 % |
1688.06/1688.87	c |    420658 |   99990   646764  1896239 | 2147483647   410958    314 | 27.987 % |
1699.35/1700.17	c |    423383 |   99990   646764  1896239 | 2147483647   413683    314 | 27.987 % |
1714.55/1715.31	c |    426381 |   99990   646764  1896239 | 2147483647   416681    314 | 27.987 % |
1741.65/1742.41	c |    429677 |   99990   646764  1896239 | 2147483647   419976    317 | 27.989 % |
1766.93/1767.78	c |    433302 |   99987   646764  1896239 | 2147483647   423598    317 | 27.994 % |
1782.22/1783.07	c |    437289 |   99987   646764  1896239 | 2147483647   427585    317 | 27.994 % |
1782.82/1783.64	c |    437393 |   99987   646764  1896239 | 2147483647   427689    317 | 27.994 % |
1783.72/1784.54	c |    437504 |   99986   646764  1896239 | 2147483647   427799    317 | 28.002 % |
1784.83/1785.64	c |    437627 |   99986   646764  1896239 | 2147483647   427922    317 | 28.002 % |
1785.53/1786.39	c |    437760 |   99986   646764  1896239 | 2147483647   428055    317 | 28.002 % |
1786.13/1786.99	c |    437909 |   99986   646764  1896239 | 2147483647   428204    317 | 28.002 % |
1787.73/1788.51	c |    438069 |   99986   646764  1896239 | 2147483647   428364    317 | 28.002 % |
1788.93/1789.72	c |    438246 |   99986   646764  1896239 | 2147483647   428541    317 | 28.002 % |
1789.72/1790.59	c |    438439 |   99986   646764  1896239 | 2147483647   428734    317 | 28.002 % |
1792.02/1792.81	c |    438651 |   99986   646764  1896239 | 2147483647   428946    317 | 28.002 % |
1794.32/1795.17	c |    438886 |   99986   646764  1896239 | 2147483647   429181    317 | 28.002 % |
1797.32/1798.18	c |    439146 |   99986   646764  1896239 | 2147483647   429441    317 | 28.002 % |
1799.12/1799.96	c |    439431 |   99986   646764  1896239 | 2147483647   429726    318 | 28.002 % |
1801.72/1802.56	c |    439740 |   99986   646764  1896239 | 2147483647   430035    318 | 28.002 % |
1803.32/1804.18	c |    440079 |   99986   646764  1896239 | 2147483647   430374    318 | 28.002 % |
1806.02/1806.80	c |    440451 |   99986   646764  1896239 | 2147483647   430746    318 | 28.002 % |
1809.11/1809.91	c |    440861 |   99843   645200  1891896 | 2147483647   430959    318 | 28.002 % |
1811.21/1812.03	c |    441311 |   99843   645200  1891896 | 2147483647   431409    318 | 28.002 % |
1812.51/1813.32	c |    441806 |   99843   645200  1891896 | 2147483647   431904    318 | 28.002 % |
1815.92/1816.74	c |    442353 |   99843   645200  1891896 | 2147483647   432451    318 | 28.002 % |
1820.21/1821.07	c |    442949 |   99843   645200  1891896 | 2147483647   433047    318 | 28.002 % |
1822.31/1823.11	c |    443606 |   99843   645200  1891896 | 2147483647   433704    318 | 28.002 % |
1827.42/1828.20	c |    444328 |   99842   645200  1891896 | 2147483647   434425    318 | 28.008 % |
1832.71/1833.58	c |    445127 |   99842   645200  1891896 | 2147483647   435224    319 | 28.008 % |
1835.80/1836.65	c |    445999 |   99842   645200  1891896 | 2147483647   436096    319 | 28.008 % |
1839.31/1840.19	c |    446957 |   99842   645200  1891896 | 2147483647   437054    319 | 28.008 % |
1848.50/1849.39	c |    448016 |   99842   645200  1891896 | 2147483647   438113    319 | 28.008 % |
1855.10/1855.95	c |    449174 |   99842   645200  1891896 | 2147483647   439271    319 | 28.008 % |
1861.19/1862.06	c |    450447 |   99842   645200  1891896 | 2147483647   440544    320 | 28.008 % |
1870.79/1871.64	c |    451847 |   99842   645200  1891896 | 2147483647   441943    320 | 28.009 % |
1876.79/1877.62	c |    453388 |   99840   645200  1891896 | 2147483647   443482    320 | 28.036 % |
1885.89/1886.77	c |    455083 |   99839   645200  1891896 | 2147483647   445175    320 | 28.044 % |
1895.79/1896.62	c |    456948 |   99837   645200  1891896 | 2147483647   447039    320 | 28.050 % |
1910.08/1910.99	c |    458997 |   99835   645200  1891896 | 2147483647   449087    322 | 28.056 % |
1923.17/1924.02	c |    461250 |   99834   645200  1891896 | 2147483647   451339    323 | 28.064 % |
1935.97/1936.87	c |    463731 |   99834   645200  1891896 | 2147483647   453820    324 | 28.064 % |
1951.07/1951.98	c |    466457 |   99832   645200  1891896 | 2147483647   456544    325 | 28.065 % |
1977.36/1978.23	c |    469459 |   99830   645200  1891896 | 2147483647   459544    326 | 28.067 % |
1991.15/1992.01	c |    472756 |   99830   645200  1891896 | 2147483647   462841    327 | 28.067 % |
1999.95/2000.85	c |    476382 |   99829   645200  1891896 | 2147483647   466465    327 | 28.147 % |
2023.64/2024.51	c |    480376 |   99783   645200  1891896 | 2147483647   470452    327 | 28.231 % |
2047.83/2048.74	c |    484761 |   99782   645200  1891896 | 2147483647   474836    329 | 28.232 % |
2048.23/2049.14	c |    484864 |   99782   645200  1891896 | 2147483647   474939    329 | 28.232 % |
2049.23/2050.13	c |    484974 |   99782   645200  1891896 | 2147483647   475049    329 | 28.232 % |
2050.13/2051.04	c |    485097 |   99782   645200  1891896 | 2147483647   475172    329 | 28.232 % |
2051.13/2052.02	c |    485235 |   99782   645200  1891896 | 2147483647   475310    329 | 28.232 % |
2052.12/2053.02	c |    485381 |   99782   645200  1891896 | 2147483647   475456    329 | 28.232 % |
2052.92/2053.87	c |    485542 |   99782   645200  1891896 | 2147483647   475617    329 | 28.232 % |
2053.62/2054.51	c |    485720 |   99782   645200  1891896 | 2147483647   475795    329 | 28.232 % |
2054.42/2055.35	c |    485917 |   99782   645200  1891896 | 2147483647   475992    329 | 28.232 % |
2056.43/2057.39	c |    486129 |   99782   645200  1891896 | 2147483647   476204    329 | 28.232 % |
2058.03/2058.96	c |    486363 |   99782   645200  1891896 | 2147483647   476437    329 | 28.297 % |
2060.23/2061.16	c |    486622 |   99782   645200  1891896 | 2147483647   476696    329 | 28.297 % |
2062.43/2063.37	c |    486907 |   99782   645200  1891896 | 2147483647   476981    329 | 28.297 % |
2064.42/2065.38	c |    487216 |   99782   645200  1891896 | 2147483647   477290    329 | 28.297 % |
2068.02/2068.93	c |    487556 |   99782   645200  1891896 | 2147483647   477630    329 | 28.297 % |
2071.02/2071.98	c |    487929 |   99782   645200  1891896 | 2147483647   478003    329 | 28.297 % |
2074.22/2075.16	c |    488338 |   99782   645200  1891896 | 2147483647   478412    329 | 28.297 % |
2077.12/2078.09	c |    488788 |   99782   645200  1891896 | 2147483647   478862    329 | 28.297 % |
2080.12/2081.02	c |    489284 |   99782   645200  1891896 | 2147483647   479358    329 | 28.297 % |
2083.72/2084.60	c |    489826 |   99782   645200  1891896 | 2147483647   479900    329 | 28.297 % |
2087.21/2088.11	c |    490423 |   99782   645200  1891896 | 2147483647   480497    330 | 28.297 % |
2091.71/2092.70	c |    491078 |   99781   645200  1891896 | 2147483647   481151    330 | 28.297 % |
2096.01/2096.95	c |    491806 |   99781   645200  1891896 | 2147483647   481879    330 | 28.297 % |
2099.91/2100.85	c |    492599 |   99781   645200  1891896 | 2147483647   482672    331 | 28.297 % |
2105.21/2106.16	c |    493473 |   99781   645200  1891896 | 2147483647   483546    331 | 28.297 % |
2111.70/2112.69	c |    494433 |   99781   645200  1891896 | 2147483647   484505    331 | 28.298 % |
2115.81/2116.71	c |    495487 |   99781   645200  1891896 | 2147483647   485559    331 | 28.298 % |
2125.30/2126.21	c |    496645 |   99781   645200  1891896 | 2147483647   486717    331 | 28.298 % |
2135.21/2136.15	c |    497918 |   99781   645200  1891896 | 2147483647   487990    332 | 28.298 % |
2145.29/2146.24	c |    499318 |   99431   641971  1883398 | 2147483647   488690    333 | 28.299 % |
2155.19/2156.11	c |    500859 |   99431   641971  1883398 | 2147483647   490231    334 | 28.299 % |
2166.39/2167.31	c |    502553 |   99431   641971  1883398 | 2147483647   491925    334 | 28.299 % |
2177.98/2178.92	c |    504416 |   99430   641971  1883398 | 2147483647   493786    335 | 28.304 % |
2186.48/2187.44	c |    506468 |   99430   641971  1883398 | 2147483647   495838    335 | 28.304 % |
2201.77/2202.77	c |    508721 |   99430   641971  1883398 | 2147483647   498090    334 | 28.344 % |
2215.37/2216.40	c |    511200 |   99430   641971  1883398 | 2147483647   500569    335 | 28.344 % |
2235.06/2236.04	c |    513925 |   99419   641971  1883398 | 2147483647   503292    336 | 28.387 % |
2255.86/2256.83	c |    516925 |   99416   641971  1883398 | 2147483647   506291    337 | 28.389 % |
2274.14/2275.10	c |    520228 |   99416   641971  1883398 | 2147483647   509593    338 | 28.396 % |
2297.14/2298.12	c |    523853 |   99414   641971  1883398 | 2147483647   513216    339 | 28.422 % |
2325.73/2326.79	c |    527840 |   99413   641971  1883398 | 2147483647   517201    340 | 28.453 % |
2340.03/2341.00	c |    532226 |   99372   641971  1883398 | 2147483647   521587    340 | 28.453 % |
2376.81/2377.80	c |    537052 |   99370   641971  1883398 | 2147483647   526411    342 | 28.466 % |
2377.52/2378.56	c |    537152 |   99370   641971  1883398 | 2147483647   526511    342 | 28.466 % |
2378.41/2379.44	c |    537262 |   99370   641971  1883398 | 2147483647   526621    342 | 28.466 % |
2379.42/2380.44	c |    537385 |   99370   641971  1883398 | 2147483647   526744    342 | 28.466 % |
2380.41/2381.43	c |    537519 |   99370   641971  1883398 | 2147483647   526878    342 | 28.466 % |
2381.31/2382.40	c |    537665 |   99370   641971  1883398 | 2147483647   527024    342 | 28.466 % |
2382.31/2383.40	c |    537826 |   99370   641971  1883398 | 2147483647   527185    342 | 28.466 % |
2384.21/2385.21	c |    538004 |   99370   641971  1883398 | 2147483647   527363    342 | 28.466 % |
2386.31/2387.34	c |    538200 |   99367   641971  1883398 | 2147483647   527558    342 | 28.469 % |
2387.80/2388.85	c |    538413 |   99367   641971  1883398 | 2147483647   527771    342 | 28.469 % |
2389.61/2390.64	c |    538646 |   99367   641971  1883398 | 2147483647   528004    342 | 28.469 % |
2391.11/2392.10	c |    538903 |   99367   641971  1883398 | 2147483647   528261    342 | 28.469 % |
2392.81/2393.86	c |    539193 |   99366   641971  1883398 | 2147483647   528550    342 | 28.470 % |
2393.61/2394.62	c |    539507 |   99366   641971  1883398 | 2147483647   528864    342 | 28.470 % |
2395.91/2396.91	c |    539846 |   99366   641971  1883398 | 2147483647   529203    342 | 28.470 % |
2399.50/2400.54	c |    540221 |   99366   641971  1883398 | 2147483647   529578    342 | 28.470 % |
2402.00/2403.03	c |    540630 |   99366   641971  1883398 | 2147483647   529987    342 | 28.470 % |
2405.10/2406.17	c |    541080 |   99366   641971  1883398 | 2147483647   530437    342 | 28.470 % |
2408.90/2409.97	c |    541574 |   99366   641971  1883398 | 2147483647   530931    342 | 28.470 % |
2412.30/2413.32	c |    542118 |   99366   641971  1883398 | 2147483647   531475    343 | 28.470 % |
2415.29/2416.36	c |    542715 |   99366   641971  1883398 | 2147483647   532072    343 | 28.470 % |
2420.49/2421.58	c |    543370 |   99366   641971  1883398 | 2147483647   532727    343 | 28.470 % |
2425.19/2426.21	c |    544092 |   99366   641971  1883398 | 2147483647   533449    343 | 28.470 % |
2432.20/2433.21	c |    544885 |   99366   641971  1883398 | 2147483647   534242    343 | 28.470 % |
2438.69/2439.80	c |    545760 |   99366   641971  1883398 | 2147483647   535117    343 | 28.470 % |
2444.88/2445.94	c |    546721 |   99366   641971  1883398 | 2147483647   536078    344 | 28.470 % |
2452.28/2453.31	c |    547779 |   99366   641971  1883398 | 2147483647   537136    344 | 28.470 % |
2455.88/2456.91	c |    548937 |   99366   641971  1883398 | 2147483647   538294    343 | 28.470 % |
2465.88/2466.95	c |    550210 |   99366   641971  1883398 | 2147483647   539567    343 | 28.470 % |
2477.97/2479.02	c |    551611 |   99366   641971  1883398 | 2147483647   540968    344 | 28.470 % |
2490.87/2491.93	c |    553156 |   99366   641971  1883398 | 2147483647   542513    344 | 28.470 % |
2500.67/2501.72	c |    554853 |   99366   641971  1883398 | 2147483647   544210    344 | 28.470 % |
2505.17/2506.26	c |    556718 |   99360   641971  1883398 | 2147483647   546072    344 | 28.563 % |
2517.46/2518.50	c |    558771 |   99360   641971  1883398 | 2147483647   548125    345 | 28.563 % |
2534.65/2535.75	c |    561025 |   99351   641971  1883398 | 2147483647   550369    345 | 28.603 % |
2557.24/2558.38	c |    563506 |   99350   641971  1883398 | 2147483647   552848    345 | 28.616 % |
2579.34/2580.42	c |    566231 |   99349   641971  1883398 | 2147483647   555572    346 | 28.617 % |
2598.02/2599.17	c |    569228 |   98990   638561  1874771 | 2147483647   558234    347 | 28.617 % |
2625.32/2626.50	c |    572526 |   98944   638561  1874771 | 2147483647   561529    348 | 29.838 % |
2642.82/2643.94	c |    576156 |   98943   638561  1874771 | 2147483647   565158    348 | 29.838 % |
2670.61/2671.71	c |    580145 |   98941   638561  1874771 | 2147483647   569144    348 | 29.840 % |
2700.29/2701.40	c |    584537 |   98940   638561  1874771 | 2147483647   573535    349 | 29.841 % |
2737.68/2738.89	c |    589361 |   98940   638561  1874771 | 2147483647   578359    351 | 29.841 % |
2775.76/2777.00	c |    594666 |   98940   638561  1874771 | 2147483647   583663    353 | 29.859 % |
2776.46/2777.67	c |    594767 |   98939   638561  1874771 | 2147483647   583763    353 | 29.871 % |
2777.76/2778.92	c |    594879 |   98939   638561  1874771 | 2147483647   583875    353 | 29.871 % |
2778.56/2779.75	c |    595002 |   98939   638561  1874771 | 2147483647   583998    353 | 29.871 % |
2779.36/2780.58	c |    595135 |   98939   638561  1874771 | 2147483647   584131    353 | 29.871 % |
2780.26/2781.43	c |    595281 |   98939   638561  1874771 | 2147483647   584277    353 | 29.871 % |
2781.86/2783.01	c |    595445 |   98939   638561  1874771 | 2147483647   584441    353 | 29.871 % |
2783.36/2784.53	c |    595625 |   98939   638561  1874771 | 2147483647   584621    353 | 29.871 % |
2784.36/2785.58	c |    595822 |   98939   638561  1874771 | 2147483647   584818    353 | 29.871 % |
2786.06/2787.25	c |    596041 |   98939   638561  1874771 | 2147483647   585037    353 | 29.871 % |
2787.37/2788.53	c |    596274 |   98939   638561  1874771 | 2147483647   585270    353 | 29.871 % |
2789.36/2790.52	c |    596533 |   98939   638561  1874771 | 2147483647   585529    353 | 29.871 % |
2791.76/2792.96	c |    596815 |   98939   638561  1874771 | 2147483647   585811    353 | 29.871 % |
2793.16/2794.40	c |    597128 |   98939   638561  1874771 | 2147483647   586123    353 | 29.872 % |
2795.45/2796.66	c |    597467 |   98939   638561  1874771 | 2147483647   586462    353 | 29.872 % |
2798.46/2799.63	c |    597839 |   98939   638561  1874771 | 2147483647   586834    353 | 29.872 % |
2799.76/2800.96	c |    598250 |   98939   638561  1874771 | 2147483647   587245    353 | 29.872 % |
2801.56/2802.73	c |    598701 |   98939   638561  1874771 | 2147483647   587696    353 | 29.872 % |
2805.55/2806.78	c |    599197 |   98930   638561  1874771 | 2147483647   588191    353 | 29.905 % |
2808.05/2809.23	c |    599740 |   98930   638561  1874771 | 2147483647   588734    353 | 29.905 % |
2814.55/2815.75	c |    600339 |   98930   638561  1874771 | 2147483647   589333    353 | 29.905 % |
2819.84/2821.04	c |    600994 |   98930   638561  1874771 | 2147483647   589988    354 | 29.905 % |
2824.25/2825.42	c |    601717 |   98930   638561  1874771 | 2147483647   590711    354 | 29.905 % |
2830.15/2831.37	c |    602509 |   98930   638561  1874771 | 2147483647   591503    354 | 29.905 % |
2835.34/2836.51	c |    603381 |   98930   638561  1874771 | 2147483647   592375    354 | 29.905 % |
2841.64/2842.83	c |    604339 |   98927   638561  1874771 | 2147483647   593332    354 | 29.910 % |
2850.94/2852.17	c |    605392 |   98927   638561  1874771 | 2147483647   594384    354 | 29.916 % |
2858.33/2859.56	c |    606556 |   98927   638561  1874771 | 2147483647   595548    354 | 29.916 % |
2870.73/2871.94	c |    607834 |   98927   638561  1874771 | 2147483647   596826    354 | 29.916 % |
2879.52/2880.78	c |    609236 |   98927   638561  1874771 | 2147483647   598228    355 | 29.916 % |
2890.73/2891.94	c |    610777 |   98927   638561  1874771 | 2147483647   599769    355 | 29.916 % |
2898.52/2899.73	c |    612471 |   98927   638561  1874771 | 2147483647   601463    355 | 29.916 % |
2914.22/2915.44	c |    614335 |   98926   638561  1874771 | 2147483647   603325    355 | 29.945 % |
2930.81/2932.09	c |    616385 |   98925   638561  1874771 | 2147483647   605373    355 | 29.974 % |
2953.01/2954.20	c |    618638 |   98924   638561  1874771 | 2147483647   607623    355 | 29.986 % |
2967.10/2968.35	c |    621117 |   98922   638561  1874771 | 2147483647   610100    356 | 30.014 % |
2985.59/2986.82	c |    623842 |   98922   638561  1874771 | 2147483647   612825    356 | 30.014 % |
3001.79/3003.03	c |    626840 |   98921   638561  1874771 | 2147483647   615822    356 | 30.015 % |
3029.68/3030.93	c |    630139 |   98920   638561  1874771 | 2147483647   619119    357 | 30.021 % |
3062.16/3063.43	c |    633766 |   98918   638561  1874771 | 2147483647   622744    358 | 30.023 % |
3094.35/3095.64	c |    637757 |   98918   638561  1874771 | 2147483647   626735    358 | 30.023 % |
3141.24/3142.59	c |    642142 |   96911   606644  1785826 | 2147483647   630212    359 | 30.116 % |
3172.63/3173.93	c |    646967 |   96905   606644  1785826 | 2147483647   635036    361 | 30.139 % |
3197.82/3199.10	c |    652276 |   96905   606644  1785826 | 2147483647   640345    361 | 30.139 % |
3260.19/3261.51	c |    658111 |   96904   606644  1785826 | 2147483647   646179    363 | 30.247 % |
3261.09/3262.47	c |    658215 |   96904   606644  1785826 | 2147483647   646283    363 | 30.247 % |
3262.29/3263.60	c |    658325 |   96904   606644  1785826 | 2147483647   646393    363 | 30.247 % |
3263.39/3264.74	c |    658446 |   96904   606644  1785826 | 2147483647   646514    363 | 30.247 % |
3263.89/3265.28	c |    658579 |   96904   606644  1785826 | 2147483647   646647    363 | 30.247 % |
3264.59/3265.95	c |    658727 |   96904   606644  1785826 | 2147483647   646795    363 | 30.247 % |
3265.39/3266.70	c |    658887 |   96904   606644  1785826 | 2147483647   646955    363 | 30.247 % |
3266.99/3268.39	c |    659063 |   96903   606644  1785826 | 2147483647   647130    363 | 30.252 % |
3269.19/3270.54	c |    659260 |   96903   606644  1785826 | 2147483647   647327    363 | 30.252 % |
3271.39/3272.72	c |    659476 |   96903   606644  1785826 | 2147483647   647543    363 | 30.252 % |
3273.69/3275.05	c |    659711 |   96903   606644  1785826 | 2147483647   647778    363 | 30.252 % |
3275.78/3277.18	c |    659969 |   96903   606644  1785826 | 2147483647   648036    363 | 30.252 % |
3278.98/3280.37	c |    660250 |   96903   606644  1785826 | 2147483647   648316    363 | 30.252 % |
3280.28/3281.70	c |    660559 |   96903   606644  1785826 | 2147483647   648625    363 | 30.252 % |
3281.88/3283.27	c |    660905 |   96903   606644  1785826 | 2147483647   648970    363 | 30.258 % |
3285.89/3287.27	c |    661278 |   96903   606644  1785826 | 2147483647   649343    363 | 30.258 % |
3289.98/3291.33	c |    661689 |   96903   606644  1785826 | 2147483647   649754    363 | 30.258 % |
3293.08/3294.42	c |    662138 |   96903   606644  1785826 | 2147483647   650203    363 | 30.258 % |
3297.38/3298.79	c |    662636 |   96903   606644  1785826 | 2147483647   650701    364 | 30.258 % |
3303.37/3304.79	c |    663178 |   96903   606644  1785826 | 2147483647   651243    364 | 30.258 % |
3308.58/3309.95	c |    663778 |   96903   606644  1785826 | 2147483647   651843    364 | 30.258 % |
3311.07/3312.41	c |    664433 |   96903   606644  1785826 | 2147483647   652498    364 | 30.258 % |
3319.67/3321.03	c |    665154 |   96903   606644  1785826 | 2147483647   653219    365 | 30.258 % |
3325.76/3327.11	c |    665947 |   96903   606644  1785826 | 2147483647   654012    365 | 30.258 % |
3335.07/3336.49	c |    666819 |   96903   606644  1785826 | 2147483647   654884    365 | 30.258 % |
3341.66/3343.04	c |    667778 |   96903   606644  1785826 | 2147483647   655843    365 | 30.258 % |
3352.46/3353.80	c |    668832 |   96903   606644  1785826 | 2147483647   656897    366 | 30.258 % |
3361.55/3362.96	c |    669993 |   96901   606644  1785826 | 2147483647   658056    366 | 30.336 % |
3368.95/3370.40	c |    671267 |   96901   606644  1785826 | 2147483647   659330    366 | 30.336 % |
3380.95/3382.37	c |    672668 |   96901   606644  1785826 | 2147483647   660731    367 | 30.336 % |
3397.64/3399.03	c |    674208 |   96901   606644  1785826 | 2147483647   662269    367 | 30.347 % |
3413.74/3415.15	c |    675906 |   96901   606644  1785826 | 2147483647   663967    367 | 30.347 % |
3426.33/3427.74	c |    677769 |   96900   606644  1785826 | 2147483647   665829    367 | 30.348 % |
3445.13/3446.55	c |    679818 |   96900   606644  1785826 | 2147483647   667877    367 | 30.378 % |
3471.92/3473.32	c |    682072 |   96899   606644  1785826 | 2147483647   670130    367 | 30.379 % |
3496.81/3498.22	c |    684555 |   96899   606644  1785826 | 2147483647   672613    369 | 30.379 % |
3521.60/3523.05	c |    687280 |   96897   606644  1785826 | 2147483647   675335    369 | 30.435 % |
3544.19/3545.65	c |    690278 |   96897   606644  1785826 | 2147483647   678333    370 | 30.435 % |
3568.47/3569.99	c |    693574 |   96897   606644  1785826 | 2147483647   681629    371 | 30.435 % |
3592.36/3593.81	c |    697199 |   96895   606644  1785826 | 2147483647   685252    371 | 30.469 % |
3620.15/3621.60	c |    701189 |   96890   606644  1785826 | 2147483647   689236    371 | 30.563 % |
3655.64/3657.15	c |    705574 |   96889   606644  1785826 | 2147483647   693620    372 | 30.564 % |
3695.23/3696.70	c |    710397 |   96889   606644  1785826 | 2147483647   698443    374 | 30.564 % |
3744.52/3746.03	c |    715702 |   96889   606644  1785826 | 2147483647   703746    375 | 30.572 % |
3793.10/3794.69	c |    721539 |   96886   606644  1785826 | 2147483647   709578    377 | 30.580 % |
3868.76/3870.32	c |    727966 |   96261   600646  1770099 | 2147483647   714556    378 | 30.585 % |
3869.86/3871.47	c |    728067 |   96261   600646  1770099 | 2147483647   714657    378 | 30.585 % |
3871.76/3873.39	c |    728179 |   96261   600646  1770099 | 2147483647   714769    378 | 30.585 % |
3873.07/3874.66	c |    728301 |   96261   600646  1770099 | 2147483647   714891    378 | 30.585 % |
3874.37/3875.94	c |    728436 |   96261   600646  1770099 | 2147483647   715026    379 | 30.585 % |
3876.37/3877.97	c |    728583 |   96258   600646  1770099 | 2147483647   715172    379 | 30.590 % |
3878.07/3879.66	c |    728743 |   96258   600646  1770099 | 2147483647   715332    379 | 30.590 % |
3879.17/3880.76	c |    728920 |   96258   600646  1770099 | 2147483647   715509    379 | 30.590 % |
3880.37/3881.91	c |    729116 |   96256   600646  1770099 | 2147483647   715703    379 | 30.591 % |
3883.16/3884.77	c |    729328 |   96256   600646  1770099 | 2147483647   715915    379 | 30.591 % |
3885.16/3886.75	c |    729561 |   96256   600646  1770099 | 2147483647   716148    379 | 30.591 % |
3887.56/3889.15	c |    729818 |   96256   600646  1770099 | 2147483647   716405    379 | 30.591 % |
3888.46/3890.06	c |    730108 |   96256   600646  1770099 | 2147483647   716695    379 | 30.591 % |
3891.96/3893.55	c |    730418 |   96255   600646  1770099 | 2147483647   717004    378 | 30.595 % |
3894.96/3896.51	c |    730757 |   96255   600646  1770099 | 2147483647   717342    379 | 30.596 % |
3897.66/3899.25	c |    731135 |   96251   600646  1770099 | 2147483647   717719    379 | 30.607 % |
3902.15/3903.79	c |    731549 |   96251   600646  1770099 | 2147483647   718133    378 | 30.607 % |
3905.56/3907.17	c |    732000 |   96251   600646  1770099 | 2147483647   718584    379 | 30.607 % |
3907.15/3908.74	c |    732493 |   96251   600646  1770099 | 2147483647   719077    378 | 30.607 % |
3911.45/3913.08	c |    733036 |   96251   600646  1770099 | 2147483647   719620    378 | 30.607 % |
3915.55/3917.11	c |    733633 |   96251   600646  1770099 | 2147483647   720217    378 | 30.607 % |
3920.95/3922.52	c |    734289 |   96251   600646  1770099 | 2147483647   720873    379 | 30.607 % |
3924.64/3926.26	c |    735011 |   96251   600646  1770099 | 2147483647   721595    378 | 30.607 % |
3931.15/3932.76	c |    735803 |   96251   600646  1770099 | 2147483647   722387    378 | 30.607 % |
3942.04/3943.67	c |    736675 |   96251   600646  1770099 | 2147483647   723259    379 | 30.607 % |
3954.63/3956.26	c |    737635 |   96251   600646  1770099 | 2147483647   724219    379 | 30.607 % |
3961.64/3963.20	c |    738691 |   96251   600646  1770099 | 2147483647   725275    379 | 30.607 % |
3966.03/3967.68	c |    739850 |   96251   600646  1770099 | 2147483647   726433    379 | 30.608 % |
3979.34/3980.92	c |    741123 |   96251   600646  1770099 | 2147483647   727706    379 | 30.608 % |
3991.42/3993.07	c |    742523 |   96251   600646  1770099 | 2147483647   729106    379 | 30.608 % |
4000.41/4002.03	c |    744063 |   96251   600646  1770099 | 2147483647   730646    379 | 30.608 % |
4013.71/4015.36	c |    745758 |   96251   600646  1770099 | 2147483647   732341    380 | 30.608 % |
4034.31/4035.93	c |    747623 |   96251   600646  1770099 | 2147483647   734206    380 | 30.608 % |
4047.10/4048.74	c |    749673 |   96251   600646  1770099 | 2147483647   736255    380 | 30.608 % |
4063.40/4065.04	c |    751927 |   96251   600646  1770099 | 2147483647   738509    381 | 30.608 % |
4084.90/4086.57	c |    754406 |   96250   600646  1770099 | 2147483647   740987    381 | 30.614 % |
4098.49/4100.18	c |    757131 |   96246   600646  1770099 | 2147483647   743712    381 | 30.614 % |
4128.57/4130.24	c |    760130 |   96243   600646  1770099 | 2147483647   746709    381 | 30.624 % |
4159.96/4161.64	c |    763427 |   96243   600646  1770099 | 2147483647   750006    383 | 30.624 % |
4195.35/4197.06	c |    767053 |   96240   600646  1770099 | 2147483647   753630    383 | 30.634 % |
4226.24/4227.99	c |    771040 |   96239   600646  1770099 | 2147483647   757616    384 | 30.639 % |
4279.53/4281.29	c |    775427 |   96233   600646  1770099 | 2147483647   762002    384 | 30.697 % |
4329.10/4330.83	c |    780250 |   96228   600646  1770099 | 2147483647   766820    384 | 30.705 % |
4360.29/4362.09	c |    785556 |   96227   600646  1770099 | 2147483647   772125    384 | 30.706 % |
4409.98/4411.77	c |    791394 |   96226   600646  1770099 | 2147483647   777961    385 | 30.707 % |
4426.17/4427.93	c |    797815 |   96226   600646  1770099 | 2147483647   784382    384 | 30.707 % |
4476.25/4478.01	c |    804880 |   96216   600646  1770099 | 2147483647   791439    383 | 30.738 % |
4476.95/4478.72	c |    804981 |   96216   600646  1770099 | 2147483647   791540    383 | 30.738 % |
4477.95/4479.74	c |    805097 |   96216   600646  1770099 | 2147483647   791656    383 | 30.738 % |
4478.55/4480.31	c |    805220 |   96216   600646  1770099 | 2147483647   791779    383 | 30.738 % |
4479.95/4481.79	c |    805354 |   96216   600646  1770099 | 2147483647   791913    383 | 30.738 % |
4481.34/4483.13	c |    805502 |   96216   600646  1770099 | 2147483647   792061    383 | 30.738 % |
4482.85/4484.66	c |    805662 |   96216   600646  1770099 | 2147483647   792221    383 | 30.738 % |
4484.94/4486.76	c |    805838 |   96216   600646  1770099 | 2147483647   792397    383 | 30.738 % |
4486.44/4488.27	c |    806033 |   96216   600646  1770099 | 2147483647   792592    383 | 30.738 % |
4487.94/4489.72	c |    806245 |   96216   600646  1770099 | 2147483647   792804    383 | 30.738 % |
4491.24/4493.09	c |    806482 |   96215   600646  1770099 | 2147483647   793040    384 | 30.739 % |
4492.95/4494.71	c |    806742 |   96215   600646  1770099 | 2147483647   793299    384 | 30.740 % |
4494.04/4495.83	c |    807023 |   96214   600646  1770099 | 2147483647   793580    383 | 30.740 % |
4495.34/4497.10	c |    807332 |   96197   600646  1770099 | 2147483647   793888    383 | 31.327 % |
4499.35/4501.19	c |    807674 |   96197   600646  1770099 | 2147483647   794230    383 | 31.327 % |
4502.54/4504.38	c |    808046 |   96197   600646  1770099 | 2147483647   794602    383 | 31.327 % |
4506.74/4508.53	c |    808455 |   96197   600646  1770099 | 2147483647   795011    384 | 31.327 % |
4511.64/4513.47	c |    808904 |   96197   600646  1770099 | 2147483647   795460    384 | 31.327 % |
4516.63/4518.42	c |    809398 |   96197   600646  1770099 | 2147483647   795953    384 | 31.329 % |
4520.63/4522.46	c |    809942 |   96197   600646  1770099 | 2147483647   796497    384 | 31.329 % |
4525.03/4526.80	c |    810540 |   96197   600646  1770099 | 2147483647   797095    384 | 31.329 % |
4529.33/4531.11	c |    811195 |   96197   600646  1770099 | 2147483647   797750    384 | 31.329 % |
4532.03/4533.80	c |    811916 |   96197   600646  1770099 | 2147483647   798471    383 | 31.329 % |
4538.62/4540.48	c |    812709 |   96194   600646  1770099 | 2147483647   799260    383 | 31.342 % |
4542.72/4544.52	c |    813580 |   96194   600646  1770099 | 2147483647   800131    383 | 31.342 % |
4550.82/4552.66	c |    814538 |   96193   600646  1770099 | 2147483647   801088    384 | 31.343 % |
4564.52/4566.38	c |    815592 |   96193   600646  1770099 | 2147483647   802142    384 | 31.343 % |
4571.02/4572.83	c |    816752 |   96192   600646  1770099 | 2147483647   803300    384 | 31.345 % |
4578.71/4580.57	c |    818025 |   96177   600646  1770099 | 2147483647   804571    384 | 31.360 % |
4596.11/4597.98	c |    819425 |   96177   600646  1770099 | 2147483647   805971    384 | 31.360 % |
4610.20/4612.01	c |    820965 |   96177   600646  1770099 | 2147483647   807511    384 | 31.360 % |
4627.59/4629.45	c |    822664 |   96177   600646  1770099 | 2147483647   809210    384 | 31.360 % |
4642.49/4644.39	c |    824528 |   95185   587592  1734131 | 2147483647   810287    384 | 31.361 % |
4666.38/4668.29	c |    826580 |   95184   587592  1734131 | 2147483647   812338    384 | 31.366 % |
4689.17/4691.02	c |    828836 |   95184   587592  1734131 | 2147483647   814593    385 | 31.367 % |
4716.87/4718.77	c |    831316 |   95182   587592  1734131 | 2147483647   817072    385 | 31.373 % |
4742.55/4744.44	c |    834042 |   95182   587592  1734131 | 2147483647   819798    386 | 31.373 % |
4768.75/4770.62	c |    837040 |   95182   587592  1734131 | 2147483647   822795    386 | 31.404 % |
4802.43/4804.38	c |    840339 |   95182   587592  1734131 | 2147483647   826093    387 | 31.485 % |
4839.42/4841.32	c |    843966 |   95180   587592  1734131 | 2147483647   829718    387 | 31.491 % |
4866.91/4868.89	c |    847953 |   95180   587592  1734131 | 2147483647   833705    388 | 31.491 % |
4901.30/4903.22	c |    852341 |   95175   587592  1734131 | 2147483647   838091    388 | 31.537 % |
4925.89/4927.81	c |    857168 |   95165   587592  1734131 | 2147483647   842913    387 | 31.636 % |
4971.77/4973.75	c |    862477 |   95165   587592  1734131 | 2147483647   848222    388 | 31.636 % |
4993.66/4995.66	c |    868312 |   95164   587592  1734131 | 2147483647   854056    389 | 31.645 % |
5045.24/5047.23	c |    874732 |   95162   587592  1734131 | 2147483647   860474    392 | 31.656 % |
5123.52/5125.50	c |    881791 |   95162   587592  1734131 | 2147483647   867533    393 | 31.656 % |
5211.08/5213.18	c |    889560 |   95159   587592  1734131 | 2147483647   875297    394 | 31.700 % |
5212.79/5214.81	c |    889663 |   95159   587592  1734131 | 2147483647   875400    394 | 31.700 % |
5214.19/5216.26	c |    889773 |   95159   587592  1734131 | 2147483647   875510    394 | 31.700 % |
5215.59/5217.60	c |    889895 |   95159   587592  1734131 | 2147483647   875632    394 | 31.700 % |
5216.79/5218.87	c |    890029 |   95159   587592  1734131 | 2147483647   875766    394 | 31.700 % |
5218.99/5221.05	c |    890176 |   95159   587592  1734131 | 2147483647   875913    394 | 31.700 % |
5220.48/5222.56	c |    890336 |   95159   587592  1734131 | 2147483647   876073    394 | 31.700 % |
5221.89/5223.97	c |    890516 |   95159   587592  1734131 | 2147483647   876253    394 | 31.700 % |
5223.69/5225.75	c |    890711 |   95159   587592  1734131 | 2147483647   876448    394 | 31.700 % |
5225.09/5227.16	c |    890923 |   95159   587592  1734131 | 2147483647   876660    394 | 31.700 % |
5226.29/5228.39	c |    891157 |   95159   587592  1734131 | 2147483647   876894    394 | 31.700 % |
5228.98/5231.08	c |    891415 |   95159   587592  1734131 | 2147483647   877152    394 | 31.700 % |
5232.38/5234.49	c |    891701 |   95159   587592  1734131 | 2147483647   877438    394 | 31.700 % |
5237.68/5239.72	c |    892014 |   95159   587592  1734131 | 2147483647   877751    394 | 31.700 % |
5240.48/5242.60	c |    892355 |   95157   587592  1734131 | 2147483647   878091    394 | 31.704 % |
5245.38/5247.48	c |    892727 |   95157   587592  1734131 | 2147483647   878463    394 | 31.704 % |
5248.57/5250.69	c |    893141 |   95157   587592  1734131 | 2147483647   878877    394 | 31.704 % |
5251.67/5253.71	c |    893590 |   95157   587592  1734131 | 2147483647   879325    394 | 31.705 % |
5257.57/5259.60	c |    894091 |   95157   587592  1734131 | 2147483647   879826    395 | 31.705 % |
5264.37/5266.44	c |    894634 |   95157   587592  1734131 | 2147483647   880369    395 | 31.705 % |
5271.06/5273.12	c |    895234 |   95157   587592  1734131 | 2147483647   880969    395 | 31.705 % |
5277.76/5279.89	c |    895892 |   95157   587592  1734131 | 2147483647   881627    395 | 31.705 % |
5285.57/5287.60	c |    896619 |   95157   587592  1734131 | 2147483647   882354    395 | 31.705 % |
5290.56/5292.63	c |    897424 |   95156   587592  1734131 | 2147483647   883158    395 | 31.705 % |
5300.15/5302.25	c |    898295 |   95156   587592  1734131 | 2147483647   884029    395 | 31.705 % |
5312.66/5314.79	c |    899253 |   95156   587592  1734131 | 2147483647   884987    395 | 31.705 % |
5323.55/5325.69	c |    900307 |   95156   587592  1734131 | 2147483647   886041    395 | 31.705 % |
5334.34/5336.48	c |    901468 |   95156   587592  1734131 | 2147483647   887202    395 | 31.705 % |
5346.94/5349.02	c |    902741 |   95156   587592  1734131 | 2147483647   888475    395 | 31.705 % |
5360.73/5362.83	c |    904141 |   95156   587592  1734131 | 2147483647   889875    395 | 31.705 % |
5368.63/5370.75	c |    905681 |   95156   587592  1734131 | 2147483647   891415    395 | 31.705 % |
5386.93/5389.03	c |    907383 |   95156   587592  1734131 | 2147483647   893117    395 | 31.705 % |
5397.73/5399.82	c |    909246 |   95148   587592  1734131 | 2147483647   894979    395 | 31.785 % |
5420.42/5422.59	c |    911297 |   95147   587592  1734131 | 2147483647   897029    396 | 31.785 % |
5441.11/5443.23	c |    913560 |   95146   587592  1734131 | 2147483647   899291    396 | 31.790 % |
5468.80/5470.96	c |    916038 |   95143   587592  1734131 | 2147483647   901765    396 | 31.816 % |
5505.08/5507.20	c |    918765 |   95142   587592  1734131 | 2147483647   904491    397 | 31.885 % |
5536.57/5538.76	c |    921765 |   95139   587592  1734131 | 2147483647   907489    397 | 31.890 % |
5574.77/5576.99	c |    925066 |   95138   587592  1734131 | 2147483647   910789    397 | 31.891 % |
5615.15/5617.36	c |    928692 |   95137   587592  1734131 | 2147483647   914414    398 | 31.891 % |
5661.53/5663.72	c |    932682 |   95137   587592  1734131 | 2147483647   918404    398 | 31.891 % |
5711.62/5713.85	c |    937069 |   95137   587592  1734131 | 2147483647   922791    399 | 31.891 % |
5750.10/5752.37	c |    941895 |   94447   581631  1718663 | 2147483647   926979    400 | 31.893 % |
5803.18/5805.46	c |    947200 |   94446   581631  1718663 | 2147483647   932283    401 | 31.894 % |
5846.47/5848.71	c |    953035 |   94438   581631  1718663 | 2147483647   938110    400 | 31.899 % |
5891.95/5894.24	c |    959456 |   94437   581631  1718663 | 2147483647   944529    400 | 31.901 % |
5958.12/5960.46	c |    966515 |   94436   581631  1718663 | 2147483647   951587    401 | 31.903 % |
6045.90/6048.23	c |    974283 |   94433   581631  1718663 | 2147483647   959349    401 | 31.917 % |
6143.16/6145.53	c |    982825 |   94431   581631  1718663 | 2147483647   967889    402 | 31.926 % |
6143.46/6145.86	c |    982925 |   94431   581631  1718663 | 2147483647   967989    402 | 31.926 % |
6143.86/6146.24	c |    983035 |   94431   581631  1718663 | 2147483647   968099    402 | 31.926 % |
6144.36/6146.75	c |    983158 |   94431   581631  1718663 | 2147483647   968222    402 | 31.926 % |
6145.56/6147.96	c |    983291 |   94431   581631  1718663 | 2147483647   968355    402 | 31.926 % |
6147.46/6149.84	c |    983440 |   94431   581631  1718663 | 2147483647   968504    402 | 31.926 % |
6149.96/6152.39	c |    983600 |   94431   581631  1718663 | 2147483647   968664    402 | 31.926 % |
6152.45/6154.85	c |    983777 |   94431   581631  1718663 | 2147483647   968841    402 | 31.926 % |
6154.85/6157.25	c |    983971 |   94431   581631  1718663 | 2147483647   969035    402 | 31.926 % |
6157.06/6159.42	c |    984183 |   94431   581631  1718663 | 2147483647   969247    402 | 31.926 % |
6159.86/6162.21	c |    984419 |   94429   581631  1718663 | 2147483647   969482    402 | 31.963 % |
6162.65/6165.10	c |    984682 |   94429   581631  1718663 | 2147483647   969745    402 | 31.963 % |
6166.05/6168.44	c |    984965 |   94428   581631  1718663 | 2147483647   970027    402 | 31.963 % |
6170.55/6172.91	c |    985274 |   94428   581631  1718663 | 2147483647   970336    402 | 31.963 % |
6173.64/6176.02	c |    985614 |   94428   581631  1718663 | 2147483647   970676    402 | 31.963 % |
6177.36/6179.76	c |    985986 |   94428   581631  1718663 | 2147483647   971048    402 | 31.963 % |
6181.65/6184.10	c |    986397 |   94428   581631  1718663 | 2147483647   971459    402 | 31.963 % |
6183.55/6185.98	c |    986849 |   94428   581631  1718663 | 2147483647   971911    402 | 31.963 % |
6188.04/6190.42	c |    987343 |   94428   581631  1718663 | 2147483647   972405    402 | 31.963 % |
6194.74/6197.17	c |    987885 |   94428   581631  1718663 | 2147483647   972947    402 | 31.963 % |
6205.14/6207.50	c |    988481 |   94428   581631  1718663 | 2147483647   973543    402 | 31.963 % |
6214.74/6217.18	c |    989136 |   94428   581631  1718663 | 2147483647   974198    402 | 31.963 % |
6223.33/6225.74	c |    989859 |   94428   581631  1718663 | 2147483647   974921    402 | 31.963 % |
6231.23/6233.68	c |    990652 |   94428   581631  1718663 | 2147483647   975714    402 | 31.963 % |
6243.13/6245.58	c |    991523 |   94428   581631  1718663 | 2147483647   976585    402 | 31.963 % |
6252.13/6254.56	c |    992483 |   94428   581631  1718663 | 2147483647   977545    402 | 31.963 % |
6265.72/6268.19	c |    993536 |   94427   581631  1718663 | 2147483647   978597    403 | 31.966 % |
6281.91/6284.34	c |    994695 |   94427   581631  1718663 | 2147483647   979756    403 | 31.966 % |
6301.50/6304.00	c |    995971 |   94427   581631  1718663 | 2147483647   981032    403 | 31.966 % |
6318.40/6320.80	c |    997375 |   94427   581631  1718663 | 2147483647   982436    403 | 31.966 % |
6328.69/6331.14	c |    998918 |   94427   581631  1718663 | 2147483647   983979    404 | 31.966 % |
6348.59/6351.00	c |   1000614 |   94423   581631  1718663 | 2147483647   985674    404 | 31.971 % |
6376.68/6379.18	c |   1002477 |   94423   581631  1718663 | 2147483647   987536    404 | 31.989 % |
6388.77/6391.29	c |   1004527 |   94423   581631  1718663 | 2147483647   989586    404 | 31.989 % |
6413.27/6415.73	c |   1006783 |   94423   581631  1718663 | 2147483647   991842    404 | 31.989 % |
6436.36/6438.89	c |   1009264 |   94423   581631  1718663 | 2147483647   994323    404 | 31.989 % |
6463.35/6465.89	c |   1011990 |   94423   581631  1718663 | 2147483647   997048    404 | 31.989 % |
6488.84/6491.34	c |   1014990 |   94422   581631  1718663 | 2147483647  1000046    404 | 31.991 % |
6523.22/6525.78	c |   1018291 |   94421   581631  1718663 | 2147483647  1003346    404 | 31.992 % |
6562.01/6564.54	c |   1021919 |   94418   581631  1718663 | 2147483647  1006969    405 | 32.023 % |
6602.30/6604.82	c |   1025906 |   94418   581631  1718663 | 2147483647  1010956    406 | 32.023 % |
6641.08/6643.68	c |   1030300 |   94415   581631  1718663 | 2147483647  1015348    406 | 32.034 % |
6667.27/6669.82	c |   1035124 |   94414   581631  1718663 | 2147483647  1020170    405 | 32.036 % |
6723.75/6726.33	c |   1040443 |   94413   581631  1718663 | 2147483647  1025488    405 | 32.036 % |
6812.62/6815.21	c |   1046279 |   94413   581631  1718663 | 2147483647  1031323    406 | 32.038 % |
6879.60/6882.28	c |   1052697 |   94412   581631  1718663 | 2147483647  1037740    407 | 32.039 % |
6950.07/6952.78	c |   1059760 |   94408   581631  1718663 | 2147483647  1044797    407 | 32.509 % |
7027.65/7030.35	c |   1067524 |   93591   573028  1695439 | 2147483647  1021924    408 | 32.511 % |
7124.82/7127.59	c |   1076065 |   93591   573028  1695439 | 2147483647  1030464    408 | 32.512 % |
7228.17/7230.93	c |   1085460 |   93581   573028  1695439 | 2147483647  1039849    409 | 32.519 % |
7230.27/7233.08	c |   1085560 |   93581   573028  1695439 | 2147483647  1039949    409 | 32.519 % |
7231.97/7234.78	c |   1085670 |   93581   573028  1695439 | 2147483647  1040059    409 | 32.519 % |
7233.47/7236.26	c |   1085795 |   93581   573028  1695439 | 2147483647  1040184    409 | 32.519 % |
7235.37/7238.17	c |   1085931 |   93581   573028  1695439 | 2147483647  1040320    409 | 32.519 % |
7236.47/7239.25	c |   1086077 |   93581   573028  1695439 | 2147483647  1040466    409 | 32.519 % |
7238.17/7240.93	c |   1086238 |   93581   573028  1695439 | 2147483647  1040627    409 | 32.519 % |
7239.77/7242.51	c |   1086414 |   93581   573028  1695439 | 2147483647  1040803    409 | 32.519 % |
7242.07/7244.89	c |   1086612 |   93581   573028  1695439 | 2147483647  1041001    409 | 32.519 % |
7246.17/7248.91	c |   1086827 |   93581   573028  1695439 | 2147483647  1041216    409 | 32.519 % |
7249.66/7252.42	c |   1087061 |   93581   573028  1695439 | 2147483647  1041450    409 | 32.519 % |
7251.46/7254.24	c |   1087318 |   93581   573028  1695439 | 2147483647  1041707    409 | 32.519 % |
7253.36/7256.12	c |   1087604 |   93581   573028  1695439 | 2147483647  1041993    409 | 32.519 % |
7255.76/7258.51	c |   1087913 |   93581   573028  1695439 | 2147483647  1042302    409 | 32.519 % |
7259.76/7262.58	c |   1088252 |   93581   573028  1695439 | 2147483647  1042641    409 | 32.519 % |
7263.86/7266.61	c |   1088624 |   93581   573028  1695439 | 2147483647  1043013    409 | 32.519 % |
7266.95/7269.72	c |   1089036 |   93581   573028  1695439 | 2147483647  1043425    409 | 32.519 % |
7268.45/7271.29	c |   1089485 |   93581   573028  1695439 | 2147483647  1043874    409 | 32.519 % |
7270.65/7273.40	c |   1089978 |   93581   573028  1695439 | 2147483647  1044367    409 | 32.519 % |
7273.15/7275.99	c |   1090520 |   93581   573028  1695439 | 2147483647  1044909    409 | 32.519 % |
7283.25/7286.02	c |   1091118 |   93581   573028  1695439 | 2147483647  1045507    409 | 32.519 % |
7291.25/7294.02	c |   1091773 |   93581   573028  1695439 | 2147483647  1046162    409 | 32.519 % |
7299.54/7302.37	c |   1092495 |   93581   573028  1695439 | 2147483647  1046884    409 | 32.519 % |
7302.14/7304.92	c |   1093289 |   93581   573028  1695439 | 2147483647  1047678    409 | 32.519 % |
7306.84/7309.65	c |   1094162 |   93581   573028  1695439 | 2147483647  1048551    409 | 32.519 % |
7322.64/7325.41	c |   1095120 |   93581   573028  1695439 | 2147483647  1049509    410 | 32.519 % |
7334.94/7337.78	c |   1096177 |   93580   573028  1695439 | 2147483647  1050565    410 | 32.519 % |
7340.43/7343.21	c |   1097337 |   93580   573028  1695439 | 2147483647  1051725    410 | 32.519 % |
7362.13/7364.95	c |   1098612 |   93579   573028  1695439 | 2147483647  1052999    410 | 32.520 % |
7384.01/7386.81	c |   1100020 |   93578   573028  1695439 | 2147483647  1054406    410 | 32.532 % |
7405.81/7408.69	c |   1101562 |   93577   573028  1695439 | 2147483647  1055947    410 | 32.534 % |
7432.19/7435.03	c |   1103260 |   93577   573028  1695439 | 2147483647  1057644    410 | 32.547 % |
7460.39/7463.28	c |   1105125 |   93577   573028  1695439 | 2147483647  1059509    410 | 32.547 % |
7486.38/7489.26	c |   1107176 |   93576   573028  1695439 | 2147483647  1061559    410 | 32.548 % |
7519.16/7522.08	c |   1109435 |   93576   573028  1695439 | 2147483647  1063817    410 | 32.548 % |
7554.95/7557.89	c |   1111920 |   93574   573028  1695439 | 2147483647  1066300    410 | 32.553 % |
7579.14/7582.08	c |   1114646 |   93571   573028  1695439 | 2147483647  1069023    410 | 32.555 % |

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-1837498-1242874921/watcher-1837498-1242874921 -o /tmp/evaluation-result-1837498-1242874921/solver-1837498-1242874921 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837498-1242874921.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.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0

[startup+0.015964 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101981 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302019 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701098 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50226 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1668108/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=126360 CPUtime=1.48
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 29989 0 0 0 133 15 0 0 25 0 1 0 315518700 129392640 29807 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 31590 29807 70 173 0 31415 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131716

[startup+3.10158 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1626592/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=147468 CPUtime=3.09
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 38564 0 0 0 286 23 0 0 25 0 1 0 315518700 151007232 35031 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 36867 35031 76 173 0 36692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152824

[startup+6.30221 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1593440/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=155564 CPUtime=6.28
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 43849 0 0 0 600 28 0 0 25 0 1 0 315518700 159297536 36369 1992294400 134512640 135223648 4294956128 18446744073709551615 134586632 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 38891 36369 76 173 0 38716 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 160920

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1675624/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=53868 CPUtime=1.89
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 12705 0 0 0 181 8 0 0 25 0 1 0 315519779 55160832 12593 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 13467 12593 77 171 0 13294 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 59224

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1673640/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=55740 CPUtime=14.68
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 13207 0 0 0 1460 8 0 0 25 0 1 0 315519779 57077760 13095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 13935 13095 77 171 0 13762 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 61096

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1670568/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=59040 CPUtime=40.25
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 14032 0 0 0 4016 9 0 0 25 0 1 0 315519779 60456960 13920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 14760 13920 77 171 0 14587 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64396

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1658408/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=71092 CPUtime=91.42
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 17031 0 0 0 9129 13 0 0 25 0 1 0 315519779 72798208 16919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 17773 16919 77 171 0 17600 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76448

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1639848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=89776 CPUtime=151.36
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 21688 0 0 0 15118 18 0 0 25 0 1 0 315519779 91930624 21576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 22444 21576 77 171 0 22271 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 95132

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1617064/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=112368 CPUtime=211.34
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 27326 0 0 0 21110 24 0 0 25 0 1 0 315519779 115064832 27214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 28092 27214 77 171 0 27919 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 117724

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1593768/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=135680 CPUtime=271.31
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 33159 0 0 0 27102 29 0 0 25 0 1 0 315519779 138936320 33047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 33920 33047 77 171 0 33747 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 141036

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1573864/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=155360 CPUtime=331.29
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 38077 0 0 0 33094 35 0 0 25 0 1 0 315519779 159088640 37965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 38840 37965 77 171 0 38667 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 160716

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1554472/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=174780 CPUtime=391.26
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 42971 0 0 0 39087 39 0 0 25 0 1 0 315519779 178974720 42859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 43695 42859 77 171 0 43522 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 180136

[startup+462.301 s]

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

/proc/17072/statm: 443215 441986 77 171 0 443042 0
Current children cumulated CPU time (s) 6879.7
Current children cumulated vsize (KiB) 1778216

[startup+6942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1782408 CPUtime=6928.9
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 444486 0 0 0 692448 442 0 0 25 0 1 0 315519779 1825185792 444374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 445602 444374 77 171 0 445429 0
Current children cumulated CPU time (s) 6939.68
Current children cumulated vsize (KiB) 1787764

[startup+7002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1794764 CPUtime=6988.88
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 447576 0 0 0 698443 445 0 0 25 0 1 0 315519779 1837838336 447464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 448691 447464 77 171 0 448518 0
Current children cumulated CPU time (s) 6999.66
Current children cumulated vsize (KiB) 1800120

[startup+7062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7048.86
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448295 0 0 0 704440 446 0 0 25 0 1 0 315519779 1842909184 448183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448183 77 171 0 449756 0
Current children cumulated CPU time (s) 7059.64
Current children cumulated vsize (KiB) 1805072

[startup+7122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7108.84
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448296 0 0 0 710438 446 0 0 25 0 1 0 315519779 1842909184 448184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448184 77 171 0 449756 0
Current children cumulated CPU time (s) 7119.62
Current children cumulated vsize (KiB) 1805072

[startup+7182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16936/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7168.81
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448299 0 0 0 716435 446 0 0 25 0 1 0 315519779 1842909184 448187 1992294400 134512640 135215339 4294956240 18446744073709551615 134532769 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448187 77 171 0 449756 0
Current children cumulated CPU time (s) 7179.59
Current children cumulated vsize (KiB) 1805072

[startup+7242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16936/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7228.79
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448305 0 0 0 722433 446 0 0 25 0 1 0 315519779 1842909184 448193 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448193 77 171 0 449756 0
Current children cumulated CPU time (s) 7239.57
Current children cumulated vsize (KiB) 1805072

[startup+7302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16872/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799880 CPUtime=7288.76
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448339 0 0 0 728430 446 0 0 25 0 1 0 315519779 1843077120 448227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449970 448227 77 171 0 449797 0
Current children cumulated CPU time (s) 7299.54
Current children cumulated vsize (KiB) 1805236

[startup+7362.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15400/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1810504 CPUtime=7348.75
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 451001 0 0 0 734425 450 0 0 25 0 1 0 315519779 1853956096 450889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 452626 450889 77 171 0 452453 0
Current children cumulated CPU time (s) 7359.53
Current children cumulated vsize (KiB) 1815860

[startup+7422.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15592/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1817960 CPUtime=7408.72
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 452866 0 0 0 740421 451 0 0 25 0 1 0 315519779 1861591040 452754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 454490 452754 77 171 0 454317 0
Current children cumulated CPU time (s) 7419.5
Current children cumulated vsize (KiB) 1823316

[startup+7482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1823828 CPUtime=7468.7
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 454326 0 0 0 746417 453 0 0 25 0 1 0 315519779 1867599872 454214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 455957 454214 77 171 0 455784 0
Current children cumulated CPU time (s) 7479.48
Current children cumulated vsize (KiB) 1829184

[startup+7542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15464/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1830576 CPUtime=7528.68
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 455982 0 0 0 752412 456 0 0 25 0 1 0 315519779 1874509824 455870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 457644 455870 77 171 0 457471 0
Current children cumulated CPU time (s) 7539.46
Current children cumulated vsize (KiB) 1835932



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+7586.2 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1837884 CPUtime=7572.57
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 457801 0 0 0 756800 457 0 0 25 0 1 0 315519779 1881993216 457689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 459471 457689 77 171 0 459298 0
Current children cumulated CPU time (s) 7583.35
Current children cumulated vsize (KiB) 1843240

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 17066 and gives
#  childrusage.ru_utime.tv_sec=10
#  childrusage.ru_utime.tv_usec=368423
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=426935
# CPU time returned by wait4() is 10.7954
# while last known CPU time is 7583.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 7586.21
CPU time (s): 7583.35
CPU user time (s): 7578.36
CPU system time (s): 4.99
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 1843240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3684
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49958
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= 14
involuntary context switches= 35

runsolver used 9.08562 second user time and 18.5212 second system time

The end

Launcher Data 

Begin job on node66 at 2009-05-21 05:02:03
IDJOB=1837498
IDBENCH=71050
IDSOLVER=674
FILE ID=node66/1837498-1242874921
PBS_JOBID= 9328617
Free space on /tmp= 66356 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837498-1242874921/watcher-1837498-1242874921 -o /tmp/evaluation-result-1837498-1242874921/solver-1837498-1242874921 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837498-1242874921.cnf

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

MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
RANDOM SEED=381199824

node66.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:       1755800 kB
Buffers:         25836 kB
Cached:         223128 kB
SwapCached:       7464 kB
Active:          56460 kB
Inactive:       201436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755800 kB
SwapTotal:     4192956 kB
SwapFree:      4179860 kB
Dirty:           28236 kB
Writeback:           0 kB
Mapped:          13928 kB
Slab:            28276 kB
Committed_AS:  1157364 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66328 MiB
End job on node66 at 2009-05-21 07:08:31