Trace number 1821028

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.02 1199.93

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
MD5SUMb7a07371a2da4a8c8bef63c213dd1e15
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables72202
Number of clauses213533
Sum of the clauses size498241
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2142354
Number of clauses of size 371177
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.13/0.19	c ==============================================================================
0.13/0.19	c |           |     ORIGINAL     |              LEARNT              |          |
0.13/0.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.13/0.19	c ==============================================================================
0.13/0.19	c |         0 |  213531   498239 |   64059       0        0     nan |  0.000 % |
1.53/1.59	c |         0 |  163018   485616 |      --       0       --      -- |     --   | -50511/-12618
1.53/1.59	c ==============================================================================
1.53/1.59	c Result  :   #vars: 36494   #clauses: 163018   #literals: 485616
1.53/1.59	c CPU time:   1.53 s
1.53/1.59	c ==============================================================================
1.73/1.77	c This is MiniSat 2.0 beta
1.73/1.77	c WARNING: for repeatability, setting FPU to use double precision
1.73/1.77	c ============================[ Problem Statistics ]=============================
1.73/1.77	c |                                                                             |
1.73/1.77	c |  Number of variables:  36494                                                |
1.73/1.77	c |  Number of clauses:    163018                                               |
1.78/1.88	c |  Parsing time:         0.10         s                                       |
1.78/1.89	c ============================[ Search Statistics ]==============================
1.78/1.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.89	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.78/1.89	c ===============================================================================
1.78/1.89	c |         0 |   36494   163018   485616 |    54339        0    nan |  0.000 % |
1.78/1.89	c |       100 |   36494   163018   485616 |    54339      100      7 |  0.000 % |
1.78/1.92	c |       202 |   36492   163018   485616 |    54339      200      6 |  0.005 % |
1.78/1.94	c |       303 |   36491   163018   485616 |    54339      300      6 |  0.008 % |
1.78/1.95	c |       413 |   36491   163018   485616 |    54339      410      5 |  0.008 % |
1.78/1.95	c |       513 |   36491   163018   485616 |    54339      510      5 |  0.008 % |
1.78/2.00	c |       624 |   36489   163018   485616 |    54339      619      5 |  0.093 % |
1.78/2.06	c |       746 |   36484   163018   485616 |    54339      737      5 |  0.186 % |
1.78/2.09	c |       846 |   36484   163018   485616 |    54339      837      6 |  0.186 % |
1.78/2.15	c |       956 |   36482   163018   485616 |    54339      947      6 |  0.186 % |
1.78/2.18	c |      1077 |   36425   162609   484468 |    54339     1066      6 |  0.192 % |
2.23/2.21	c |      1210 |   36425   162609   484468 |    54339     1199      6 |  0.192 % |
2.23/2.23	c |      1310 |   36407   162609   484468 |    54339     1287      6 |  0.247 % |
2.23/2.26	c |      1421 |   36405   162609   484468 |    54339     1397      6 |  0.249 % |
2.23/2.28	c |      1542 |   36404   162609   484468 |    54339     1517      6 |  0.252 % |
2.23/2.31	c |      1675 |   36403   162609   484468 |    54339     1649      6 |  0.255 % |
2.33/2.35	c |      1821 |   36398   162609   484468 |    54339     1790      5 |  0.269 % |
2.33/2.40	c |      1922 |   36398   162609   484468 |    54339     1891      5 |  0.269 % |
2.42/2.43	c |      2032 |   36395   162609   484468 |    54339     1998      5 |  0.277 % |
2.42/2.47	c |      2153 |   36393   162401   483908 |    54339     2093      5 |  0.277 % |
2.42/2.51	c |      2286 |   36386   162401   483908 |    54339     2222      5 |  0.296 % |
2.52/2.59	c |      2432 |   36384   162401   483908 |    54339     2366      5 |  0.301 % |
2.62/2.63	c |      2593 |   36382   162401   483908 |    54339     2525      5 |  0.310 % |
2.62/2.68	c |      2693 |   36381   162401   483908 |    54339     2625      5 |  0.310 % |
2.62/2.70	c |      2803 |   36380   162401   483908 |    54339     2734      5 |  0.312 % |
2.72/2.77	c |      2926 |   36378   162308   483657 |    54339     2824      5 |  0.318 % |
2.72/2.79	c |      3059 |   36378   162308   483657 |    54339     2957      6 |  0.318 % |
2.82/2.84	c |      3205 |   36369   162308   483657 |    54339     3092      6 |  0.592 % |
2.82/2.89	c |      3366 |   36238   162308   483657 |    54339     3215      6 |  1.474 % |
2.92/2.95	c |      3542 |   36234   162308   483657 |    54339     3388      6 |  1.562 % |
2.92/2.98	c |      3642 |   36234   162308   483657 |    54339     3488      6 |  1.562 % |
2.92/3.01	c |      3752 |   36234   162308   483657 |    54339     3598      6 |  1.562 % |
3.02/3.04	c |      3873 |   35895   159882   476554 |    54339     3702      6 |  2.310 % |
3.12/3.17	c |      4006 |   35793   159882   476554 |    54339     3820      6 |  2.866 % |
3.12/3.20	c |      4154 |   35791   159882   476554 |    54339     3966      6 |  2.951 % |
3.22/3.27	c |      4316 |   35790   159882   476554 |    54339     4127      6 |  2.954 % |
3.32/3.38	c |      4492 |   35374   157315   468988 |    54339     4244      6 |  3.069 % |
3.42/3.43	c |      4690 |   35374   157315   468988 |    54339     4442      6 |  3.069 % |
3.42/3.45	c |      4792 |   35373   157315   468988 |    54339     4543      6 |  3.085 % |
3.42/3.47	c |      4903 |   35372   157315   468988 |    54339     4653      6 |  3.088 % |
3.42/3.51	c |      5024 |   35372   157315   468988 |    54339     4774      6 |  3.088 % |
3.51/3.56	c |      5157 |   35372   157315   468988 |    54339     4907      6 |  3.088 % |
3.61/3.64	c |      5304 |   35372   157315   468988 |    54339     5054      6 |  3.088 % |
3.61/3.65	c |      5464 |   35176   157315   468988 |    54339     5169      6 |  4.113 % |
3.61/3.68	c |      5640 |   34953   155253   462958 |    54339     5291      6 |  4.428 % |
3.71/3.73	c |      5834 |   34952   155253   462958 |    54339     5484      6 |  4.431 % |
3.71/3.78	c |      6047 |   34946   155253   462958 |    54339     5692      6 |  4.672 % |
3.71/3.79	c |      6147 |   34946   155253   462958 |    54339     5792      6 |  4.672 % |
3.81/3.84	c |      6257 |   34946   155253   462958 |    54339     5902      6 |  4.672 % |
3.81/3.87	c |      6380 |   34901   155253   462958 |    54339     6005      6 |  5.056 % |
3.81/3.90	c |      6514 |   34862   155253   462958 |    54339     6133      6 |  5.519 % |
3.91/3.98	c |      6660 |   34862   155253   462958 |    54339     6279      6 |  5.519 % |
4.01/4.10	c |      6822 |   34432   152789   455739 |    54339     6383      6 |  6.001 % |
4.20/4.21	c |      6998 |   34432   152789   455739 |    54339     6559      6 |  6.001 % |
4.20/4.28	c |      7192 |   34424   152789   455739 |    54339     6748      6 |  6.223 % |
4.30/4.36	c |      7404 |   34217   151444   451809 |    54339     6932      6 |  6.239 % |
4.40/4.44	c |      7638 |   34212   151444   451809 |    54339     7165      6 |  6.253 % |
4.40/4.50	c |      7738 |   34212   151444   451809 |    54339     7265      6 |  6.253 % |
4.51/4.56	c |      7848 |   34197   151444   451809 |    54339     7366      6 |  6.519 % |
4.51/4.59	c |      7969 |   34170   151444   451809 |    54339     7468      6 |  7.319 % |
4.51/4.61	c |      8102 |   34142   151444   451809 |    54339     7595      6 |  7.398 % |
4.60/4.68	c |      8248 |   33731   149140   445016 |    54339     7669      6 |  7.689 % |
4.70/4.79	c |      8408 |   33731   149140   445016 |    54339     7829      6 |  7.689 % |
4.80/4.82	c |      8585 |   33693   149140   445016 |    54339     7988      6 |  8.333 % |
4.90/4.92	c |      8778 |   33686   149140   445016 |    54339     8177      6 |  8.604 % |
4.90/4.99	c |      8990 |   33675   149140   445016 |    54339     8389      6 |  8.604 % |
5.00/5.05	c |      9224 |   33354   147162   439223 |    54339     8607      6 |  8.604 % |
5.10/5.15	c |      9480 |   33354   147162   439223 |    54339     8863      6 |  8.604 % |
5.10/5.17	c |      9580 |   33354   147162   439223 |    54339     8963      7 |  8.604 % |
5.10/5.19	c |      9690 |   33354   147162   439223 |    54339     9073      7 |  8.604 % |
5.20/5.28	c |      9811 |   33353   147162   439223 |    54339     9193      7 |  8.607 % |
5.30/5.32	c |      9944 |   33086   145936   435600 |    54339     9303      7 |  9.829 % |
5.30/5.34	c |     10090 |   33025   145936   435600 | 2147483647     9436      7 | 10.380 % |
5.30/5.35	c |     10251 |   33005   145936   435600 | 2147483647     9593      7 | 10.643 % |
5.40/5.43	c |     10427 |   32977   145936   435600 | 2147483647     9768      7 | 10.728 % |
5.40/5.49	c |     10622 |   32972   145936   435600 | 2147483647     9960      7 | 10.815 % |
5.50/5.53	c |     10835 |   32970   145936   435600 | 2147483647    10171      7 | 10.892 % |
5.50/5.58	c |     11070 |   32941   145936   435600 | 2147483647    10399      7 | 11.413 % |
5.70/5.72	c |     11326 |   32328   142226   424615 | 2147483647    10540      7 | 11.416 % |
5.70/5.77	c |     11607 |   32303   142226   424615 | 2147483647    10812      7 | 12.076 % |
5.70/5.79	c |     11707 |   32262   142226   424615 | 2147483647    10898      7 | 12.731 % |
5.80/5.84	c |     11819 |   32261   142226   424615 | 2147483647    11009      7 | 12.810 % |
5.80/5.88	c |     11940 |   32256   142226   424615 | 2147483647    11127      7 | 13.095 % |
5.80/5.90	c |     12073 |   32245   142226   424615 | 2147483647    11253      7 | 13.397 % |
5.80/5.91	c |     12219 |   32245   142226   424615 | 2147483647    11399      7 | 13.397 % |
5.90/5.94	c |     12379 |   32234   142226   424615 | 2147483647    11558      7 | 13.583 % |
5.90/5.99	c |     12556 |   31530   138489   413548 | 2147483647    11680      7 | 13.737 % |
6.00/6.01	c |     12749 |   31487   138489   413548 | 2147483647    11862      7 | 14.449 % |
6.00/6.05	c |     12961 |   31485   138489   413548 | 2147483647    12072      7 | 14.523 % |
6.00/6.08	c |     13194 |   31484   138489   413548 | 2147483647    12304      7 | 14.528 % |
6.10/6.14	c |     13450 |   31427   138489   413548 | 2147483647    12556      7 | 14.871 % |
6.20/6.23	c |     13731 |   31351   138489   413548 | 2147483647    12834      7 | 14.953 % |
6.30/6.37	c |     14040 |   31031   136163   406644 | 2147483647    12884      7 | 14.970 % |
6.30/6.38	c |     14140 |   31029   136163   406644 | 2147483647    12982      7 | 14.981 % |
6.40/6.42	c |     14250 |   31027   136163   406644 | 2147483647    13092      7 | 14.981 % |
6.40/6.48	c |     14371 |   31027   136163   406644 | 2147483647    13213      7 | 14.981 % |
6.50/6.56	c |     14504 |   31018   136163   406644 | 2147483647    13339      7 | 15.482 % |
6.50/6.61	c |     14650 |   30843   135209   403838 | 2147483647    13433      7 | 15.485 % |
6.60/6.68	c |     14811 |   30832   135209   403838 | 2147483647    13590      7 | 15.868 % |
6.71/6.72	c |     14987 |   30832   135209   403838 | 2147483647    13766      7 | 15.868 % |
6.71/6.74	c |     15180 |   30831   135209   403838 | 2147483647    13958      7 | 15.871 % |
6.80/6.82	c |     15392 |   30816   135209   403838 | 2147483647    14164      7 | 16.208 % |
6.80/6.89	c |     15626 |   30809   135209   403838 | 2147483647    14397      7 | 16.326 % |
6.90/6.97	c |     15882 |   30493   133791   399621 | 2147483647    14592      7 | 17.041 % |
7.00/7.06	c |     16163 |   30461   133791   399621 | 2147483647    14863      7 | 17.611 % |
7.20/7.25	c |     16472 |   29669   129873   387999 | 2147483647    15044      7 | 18.891 % |
7.20/7.29	c |     16812 |   29654   129873   387999 | 2147483647    15382      7 | 19.031 % |
7.30/7.32	c |     16912 |   29654   129873   387999 | 2147483647    15482      7 | 19.031 % |
7.30/7.36	c |     17022 |   29644   129873   387999 | 2147483647    15588      7 | 19.195 % |
7.30/7.38	c |     17143 |   29636   129873   387999 | 2147483647    15708      7 | 19.299 % |
7.40/7.43	c |     17277 |   29621   129873   387999 | 2147483647    15834      7 | 19.499 % |
7.50/7.51	c |     17424 |   29612   129873   387999 | 2147483647    15977      7 | 19.526 % |
7.50/7.54	c |     17584 |   29241   127912   382156 | 2147483647    16050      7 | 19.875 % |
7.60/7.63	c |     17760 |   29216   127912   382156 | 2147483647    16223      7 | 20.061 % |
7.60/7.69	c |     17955 |   29216   127912   382156 | 2147483647    16418      7 | 20.061 % |
7.70/7.76	c |     18167 |   29205   127912   382156 | 2147483647    16625      7 | 20.157 % |
7.70/7.79	c |     18401 |   29180   127912   382156 | 2147483647    16849      8 | 20.699 % |
7.70/7.81	c |     18657 |   29167   127912   382156 | 2147483647    17105      8 | 20.699 % |
7.90/7.93	c |     18939 |   28749   125629   375404 | 2147483647    17300      8 | 21.223 % |
7.90/7.97	c |     19248 |   28748   125629   375404 | 2147483647    17608      8 | 21.231 % |
8.00/8.01	c |     19587 |   28746   125629   375404 | 2147483647    17947      8 | 21.231 % |
8.10/8.19	c |     19959 |   28743   125629   375404 | 2147483647    18315      8 | 21.420 % |
8.20/8.23	c |     20059 |   28741   125629   375404 | 2147483647    18414      8 | 21.423 % |
8.20/8.29	c |     20169 |   28741   125629   375404 | 2147483647    18524      8 | 21.423 % |
8.30/8.39	c |     20290 |   28636   125279   374367 | 2147483647    18632      8 | 22.132 % |
8.40/8.44	c |     20423 |   28615   125279   374367 | 2147483647    18759      8 | 22.300 % |
8.40/8.48	c |     20570 |   28606   125279   374367 | 2147483647    18900      8 | 22.404 % |
8.50/8.53	c |     20731 |   28603   125279   374367 | 2147483647    19060      8 | 22.409 % |
8.60/8.62	c |     20907 |   28603   125279   374367 | 2147483647    19236      8 | 22.409 % |
8.60/8.70	c |     21102 |   28254   123345   368611 | 2147483647    19386      8 | 22.845 % |
8.70/8.75	c |     21314 |   28234   123345   368611 | 2147483647    19590      8 | 23.100 % |
8.70/8.79	c |     21547 |   28233   123345   368611 | 2147483647    19822      8 | 23.102 % |
8.80/8.84	c |     21807 |   28232   123345   368611 | 2147483647    20081      8 | 23.105 % |
8.80/8.88	c |     22088 |   28207   123345   368611 | 2147483647    20352      8 | 23.700 % |
8.91/8.98	c |     22398 |   28174   123345   368611 | 2147483647    20652      8 | 23.930 % |
9.00/9.08	c |     22737 |   27710   120996   361634 | 2147483647    20759      8 | 24.179 % |
9.10/9.15	c |     23109 |   27704   120996   361634 | 2147483647    21127      8 | 24.201 % |
9.20/9.25	c |     23518 |   27690   120996   361634 | 2147483647    21530      8 | 24.489 % |
9.20/9.26	c |     23619 |   27690   120996   361634 | 2147483647    21631      8 | 24.489 % |
9.30/9.32	c |     23729 |   27689   120996   361634 | 2147483647    21741      8 | 24.489 % |
9.30/9.36	c |     23850 |   27554   120037   358804 | 2147483647    21767      8 | 24.505 % |
9.40/9.42	c |     23984 |   27554   120037   358804 | 2147483647    21901      8 | 24.505 % |
9.40/9.45	c |     24131 |   27554   120037   358804 | 2147483647    22048      8 | 24.505 % |
9.40/9.48	c |     24292 |   27554   120037   358804 | 2147483647    22209      8 | 24.505 % |
9.50/9.53	c |     24469 |   27554   120037   358804 | 2147483647    22386      8 | 24.505 % |
9.50/9.55	c |     24664 |   27554   120037   358804 | 2147483647    22581      8 | 24.505 % |
9.50/9.59	c |     24878 |   27554   120037   358804 | 2147483647    22795      8 | 24.505 % |
9.60/9.62	c |     25112 |   27554   120037   358804 | 2147483647    23029      8 | 24.505 % |
9.70/9.75	c |     25369 |   27554   120037   358804 | 2147483647    23286      8 | 24.505 % |
9.80/9.83	c |     25651 |   27551   120006   358716 | 2147483647    23566      8 | 24.505 % |
9.80/9.88	c |     25960 |   27551   120006   358716 | 2147483647    23875      8 | 24.505 % |
9.90/9.93	c |     26299 |   27550   120006   358716 | 2147483647    24213      8 | 24.508 % |
9.90/10.01	c |     26673 |   27550   120006   358716 | 2147483647    24587      8 | 24.508 % |
10.10/10.13	c |     27083 |   27535   120006   358716 | 2147483647    24990      8 | 24.878 % |
10.20/10.27	c |     27533 |   27413   119332   356729 | 2147483647    25411      8 | 24.884 % |
10.20/10.29	c |     27635 |   27413   119332   356729 | 2147483647    25513      8 | 24.884 % |
10.20/10.30	c |     27745 |   27413   119332   356729 | 2147483647    25623      8 | 24.884 % |
10.30/10.35	c |     27866 |   27412   119332   356729 | 2147483647    25743      8 | 24.886 % |
10.30/10.37	c |     28000 |   27412   119332   356729 | 2147483647    25877      8 | 24.886 % |
10.30/10.38	c |     28146 |   27412   119332   356729 | 2147483647    26023      8 | 24.886 % |
10.40/10.44	c |     28307 |   27412   119332   356729 | 2147483647    26184      8 | 24.886 % |
10.50/10.54	c |     28483 |   27406   119332   356729 | 2147483647    26356      8 | 25.111 % |
10.60/10.62	c |     28676 |   27329   118928   355534 | 2147483647    26541      8 | 25.114 % |
10.60/10.69	c |     28888 |   27329   118928   355534 | 2147483647    26753      8 | 25.114 % |
10.70/10.71	c |     29122 |   27327   118928   355534 | 2147483647    26986      8 | 25.380 % |
10.70/10.81	c |     29379 |   27302   118928   355534 | 2147483647    27237      8 | 25.780 % |
10.80/10.90	c |     29660 |   27280   118928   355534 | 2147483647    27510      8 | 26.166 % |
10.90/11.00	c |     29969 |   27280   118928   355534 | 2147483647    27819      8 | 26.166 % |
11.00/11.09	c |     30308 |   26944   117103   350117 | 2147483647    28116      9 | 26.169 % |
11.11/11.19	c |     30682 |   26941   117103   350117 | 2147483647    28487      9 | 26.577 % |
11.30/11.36	c |     31091 |   26928   117103   350117 | 2147483647    28896      9 | 26.577 % |
11.50/11.52	c |     31540 |   26925   117103   350117 | 2147483647    29343      9 | 26.585 % |
11.60/11.68	c |     32033 |   26790   116394   348012 | 2147483647    29798      9 | 26.591 % |
11.70/11.71	c |     32133 |   26790   116394   348012 | 2147483647    29898      9 | 26.591 % |
11.70/11.76	c |     32243 |   26790   116394   348012 | 2147483647    30008      9 | 26.591 % |
11.80/11.82	c |     32364 |   26790   116394   348012 | 2147483647    30129      9 | 26.591 % |
11.80/11.84	c |     32498 |   26790   116394   348012 | 2147483647    30263      9 | 26.591 % |
11.80/11.88	c |     32645 |   26790   116394   348012 | 2147483647    30410      9 | 26.591 % |
11.80/11.91	c |     32805 |   26790   116394   348012 | 2147483647    30570      9 | 26.591 % |
11.90/11.94	c |     32982 |   26790   116394   348012 | 2147483647    30747      9 | 26.591 % |
11.90/11.99	c |     33175 |   26790   116394   348012 | 2147483647    30940      9 | 26.591 % |
12.00/12.07	c |     33387 |   26790   116384   347984 | 2147483647    31135      9 | 26.591 % |
12.10/12.11	c |     33620 |   26790   116384   347984 | 2147483647    31368      9 | 26.591 % |
12.10/12.20	c |     33876 |   26786   116384   347984 | 2147483647    31622      9 | 26.640 % |
12.21/12.28	c |     34157 |   26785   116384   347984 | 2147483647    31902      9 | 26.689 % |
12.30/12.35	c |     34467 |   26785   116384   347984 | 2147483647    32212      9 | 26.689 % |
12.40/12.44	c |     34806 |   26783   116384   347984 | 2147483647    32550      9 | 26.692 % |
12.40/12.49	c |     35178 |   26751   116194   347418 | 2147483647    32899      9 | 26.698 % |
12.50/12.59	c |     35587 |   26751   116194   347418 | 2147483647    33308      9 | 26.698 % |
12.60/12.66	c |     36036 |   26741   116194   347418 | 2147483647    33753      9 | 26.736 % |
12.70/12.77	c |     36529 |   26735   116194   347418 | 2147483647    34244      9 | 26.750 % |
12.80/12.89	c |     37074 |   26731   116194   347418 | 2147483647    34786      9 | 27.616 % |
12.80/12.90	c |     37174 |   26731   116194   347418 | 2147483647    34886      9 | 27.615 % |
12.90/12.94	c |     37284 |   26731   116194   347418 | 2147483647    34996      9 | 27.615 % |
13.00/13.01	c |     37407 |   26415   114920   343648 | 2147483647    35084      9 | 27.618 % |
13.00/13.03	c |     37541 |   26415   114920   343648 | 2147483647    35218      9 | 27.618 % |
13.00/13.05	c |     37690 |   26415   114920   343648 | 2147483647    35367      9 | 27.618 % |
13.00/13.07	c |     37851 |   26415   114920   343648 | 2147483647    35528      9 | 27.618 % |
13.00/13.10	c |     38027 |   26415   114920   343648 | 2147483647    35704      9 | 27.618 % |
13.10/13.13	c |     38221 |   26415   114920   343648 | 2147483647    35898      9 | 27.618 % |
13.10/13.17	c |     38433 |   26415   114920   343648 | 2147483647    36110      9 | 27.618 % |
13.20/13.21	c |     38669 |   26415   114920   343648 | 2147483647    36346      9 | 27.618 % |
13.20/13.24	c |     38925 |   26411   114920   343648 | 2147483647    36601      9 | 27.684 % |
13.20/13.31	c |     39207 |   26411   114920   343648 | 2147483647    36883      9 | 27.684 % |
13.31/13.37	c |     39516 |   26410   114920   343648 | 2147483647    37192      9 | 27.684 % |
13.40/13.44	c |     39855 |   26410   114920   343648 | 2147483647    37531      9 | 27.684 % |
13.50/13.59	c |     40227 |   26387   114810   343322 | 2147483647    37890      9 | 27.703 % |
13.60/13.68	c |     40636 |   25999   114810   343322 | 2147483647    38213      9 | 29.380 % |
13.70/13.79	c |     41085 |   25706   114810   343322 | 2147483647    38601      9 | 30.575 % |
13.90/13.97	c |     41580 |   25201   114810   343322 | 2147483647    39022      9 | 32.655 % |
14.10/14.11	c |     42123 |   24414   106536   318904 | 2147483647    38963      9 | 33.603 % |
14.20/14.22	c |     42719 |   23498   106536   318904 | 2147483647    39387      9 | 36.650 % |
14.20/14.24	c |     42819 |   23273   106536   318904 | 2147483647    39443      9 | 37.250 % |
14.20/14.27	c |     42930 |   23107   106536   318904 | 2147483647    39510      9 | 37.823 % |
14.30/14.32	c |     43053 |   22866   106536   318904 | 2147483647    39596      9 | 38.423 % |
14.30/14.37	c |     43186 |   22839   106536   318904 | 2147483647    39728      9 | 38.425 % |
14.41/14.43	c |     43332 |   22839   106536   318904 | 2147483647    39874      9 | 38.425 % |
14.41/14.49	c |     43493 |   22826   106536   318904 | 2147483647    40030      9 | 38.557 % |
14.50/14.55	c |     43669 |   22826   106536   318904 | 2147483647    40206      9 | 38.557 % |
14.60/14.65	c |     43862 |   22423    96898   290399 | 2147483647    39841      9 | 38.557 % |
14.60/14.69	c |     44074 |   22422    96898   290399 | 2147483647    40052      9 | 38.560 % |
14.70/14.73	c |     44308 |   22420    96898   290399 | 2147483647    40285      9 | 38.565 % |
14.70/14.76	c |     44566 |   22419    96898   290399 | 2147483647    40542      9 | 38.568 % |
14.80/14.81	c |     44848 |   22419    96898   290399 | 2147483647    40824      9 | 38.568 % |
14.80/14.84	c |     45157 |   22419    96898   290399 | 2147483647    41133      9 | 38.568 % |
14.80/14.88	c |     45496 |   22419    96898   290399 | 2147483647    41472      9 | 38.568 % |
14.90/14.92	c |     45868 |   22419    96898   290399 | 2147483647    41844     10 | 38.568 % |
14.90/14.98	c |     46277 |   22418    96898   290399 | 2147483647    42252     10 | 38.571 % |
15.00/15.07	c |     46727 |   22418    96898   290399 | 2147483647    42702     10 | 38.571 % |
15.20/15.21	c |     47220 |   22379    96659   289707 | 2147483647    43172     10 | 38.678 % |
15.20/15.27	c |     47762 |   22379    96659   289707 | 2147483647    43714     10 | 38.678 % |
15.30/15.35	c |     48358 |   22376    96659   289707 | 2147483647    44308     10 | 38.686 % |
15.51/15.60	c |     49013 |   22369    96659   289707 | 2147483647    44958     10 | 38.705 % |
15.60/15.64	c |     49113 |   22368    96659   289707 | 2147483647    45057     10 | 38.710 % |
15.60/15.66	c |     49223 |   22368    96659   289707 | 2147483647    45167     10 | 38.710 % |
15.70/15.72	c |     49345 |   22368    96659   289707 | 2147483647    45289     10 | 38.710 % |
15.70/15.78	c |     49478 |   22368    96659   289707 | 2147483647    45422     10 | 38.710 % |
15.80/15.86	c |     49624 |   22367    96579   289486 | 2147483647    45547     10 | 38.710 % |
15.90/15.92	c |     49784 |   22367    96579   289486 | 2147483647    45707     10 | 38.710 % |
15.90/15.98	c |     49961 |   22367    96579   289486 | 2147483647    45884     10 | 38.710 % |
16.00/16.02	c |     50155 |   22367    96579   289486 | 2147483647    46078     10 | 38.710 % |
16.00/16.09	c |     50367 |   22367    96579   289486 | 2147483647    46290     10 | 38.710 % |
16.10/16.13	c |     50600 |   22367    96579   289486 | 2147483647    46523     10 | 38.710 % |
16.10/16.18	c |     50856 |   22366    96579   289486 | 2147483647    46778     10 | 38.716 % |
16.20/16.25	c |     51137 |   22365    96579   289486 | 2147483647    47059     10 | 38.716 % |
16.30/16.34	c |     51447 |   22296    96579   289486 | 2147483647    47354     10 | 39.154 % |
16.40/16.43	c |     51786 |   22293    96579   289486 | 2147483647    47692     10 | 39.163 % |
16.61/16.62	c |     52161 |   22166    95818   287224 | 2147483647    47989     10 | 39.445 % |
16.80/16.81	c |     52570 |   22166    95818   287224 | 2147483647    48398     10 | 39.445 % |
16.90/16.99	c |     53019 |   22164    95818   287224 | 2147483647    48845     10 | 39.450 % |
17.10/17.15	c |     53512 |   22019    94938   284635 | 2147483647    49267     10 | 39.664 % |
17.20/17.24	c |     54055 |   22015    94938   284635 | 2147483647    49806     10 | 39.678 % |
17.30/17.36	c |     54652 |   22014    94938   284635 | 2147483647    50403     10 | 39.678 % |
17.50/17.58	c |     55307 |   22014    94938   284635 | 2147483647    51058     10 | 39.678 % |
17.71/17.73	c |     56028 |   21985    94938   284635 | 2147483647    51771     10 | 39.834 % |
17.71/17.76	c |     56128 |   21957    94684   283883 | 2147483647    51780     10 | 39.834 % |
17.71/17.80	c |     56239 |   21942    94684   283883 | 2147483647    51884     10 | 40.045 % |
17.80/17.82	c |     56361 |   21931    94684   283883 | 2147483647    52001     10 | 40.127 % |
17.80/17.85	c |     56495 |   21912    94684   283883 | 2147483647    52134     10 | 40.130 % |
17.80/17.89	c |     56642 |   21912    94684   283883 | 2147483647    52281     10 | 40.130 % |
17.90/17.92	c |     56804 |   21912    94684   283883 | 2147483647    52443     10 | 40.130 % |
17.90/17.97	c |     56980 |   21902    94684   283883 | 2147483647    52617     10 | 40.349 % |
17.90/17.99	c |     57173 |   21902    94684   283883 | 2147483647    52810     10 | 40.349 % |
18.00/18.06	c |     57385 |   21881    94684   283883 | 2147483647    53017     10 | 40.590 % |
18.10/18.11	c |     57618 |   21881    94684   283883 | 2147483647    53250     10 | 40.590 % |
18.10/18.18	c |     57874 |   21877    94684   283883 | 2147483647    53505     10 | 40.642 % |
18.20/18.25	c |     58155 |   21874    94684   283883 | 2147483647    53786     10 | 40.642 % |
18.20/18.28	c |     58464 |   21874    94684   283883 | 2147483647    54095     10 | 40.642 % |
18.30/18.38	c |     58803 |   21868    94684   283883 | 2147483647    54430     10 | 40.664 % |
18.50/18.56	c |     59175 |   21650    93230   279588 | 2147483647    54495     10 | 40.749 % |
18.70/18.73	c |     59588 |   21649    93230   279588 | 2147483647    54907     10 | 40.752 % |
18.81/18.82	c |     60042 |   21649    93230   279588 | 2147483647    55361     10 | 40.752 % |
19.00/19.01	c |     60536 |   21473    93230   279588 | 2147483647    55818     10 | 41.785 % |
19.10/19.11	c |     61079 |   21005    93230   279588 | 2147483647    56285     10 | 44.062 % |
19.20/19.29	c |     61676 |   20103    87511   262642 | 2147483647    56548     10 | 45.369 % |
19.50/19.52	c |     62331 |   19631    87511   262642 | 2147483647    57095     10 | 47.287 % |
19.70/19.72	c |     63052 |   19316    87511   262642 | 2147483647    57759     10 | 48.438 % |
20.00/20.04	c |     63846 |   18768    80757   242665 | 2147483647    57514     10 | 48.671 % |
20.00/20.08	c |     63950 |   18768    80757   242665 | 2147483647    57618     10 | 48.671 % |
20.10/20.11	c |     64060 |   18768    80757   242665 | 2147483647    57728     10 | 48.671 % |
20.10/20.13	c |     64181 |   18768    80757   242665 | 2147483647    57849     10 | 48.671 % |
20.10/20.16	c |     64314 |   18768    80757   242665 | 2147483647    57982     10 | 48.671 % |
20.10/20.19	c |     64461 |   18768    80757   242665 | 2147483647    58129     10 | 48.671 % |
20.20/20.22	c |     64622 |   18768    80757   242665 | 2147483647    58290     10 | 48.671 % |
20.20/20.25	c |     64798 |   18768    80757   242665 | 2147483647    58466     10 | 48.671 % |
20.30/20.32	c |     64991 |   18768    80757   242665 | 2147483647    58659     10 | 48.671 % |
20.30/20.34	c |     65203 |   18768    80757   242665 | 2147483647    58871     10 | 48.671 % |
20.30/20.37	c |     65438 |   18768    80757   242665 | 2147483647    59106     10 | 48.671 % |
20.40/20.42	c |     65694 |   18768    80757   242665 | 2147483647    59362     10 | 48.671 % |
20.50/20.52	c |     65976 |   18757    80757   242665 | 2147483647    59641     10 | 48.701 % |
20.50/20.60	c |     66285 |   18747    80757   242665 | 2147483647    59948     10 | 48.729 % |
20.70/20.71	c |     66624 |   18711    80364   241499 | 2147483647    60184     10 | 48.729 % |
20.80/20.83	c |     66998 |   18709    80364   241499 | 2147483647    60556     10 | 48.734 % |
21.01/21.03	c |     67407 |   18608    80364   241499 | 2147483647    60945     10 | 49.389 % |
21.10/21.19	c |     67857 |   18546    80364   241499 | 2147483647    61394     10 | 49.394 % |
21.30/21.34	c |     68352 |   18543    80364   241499 | 2147483647    61887     10 | 49.403 % |
21.50/21.52	c |     68896 |   18462    79173   237959 | 2147483647    62346     10 | 49.414 % |
21.60/21.66	c |     69493 |   18461    79173   237959 | 2147483647    62943     10 | 49.414 % |
21.70/21.74	c |     70150 |   18461    79173   237959 | 2147483647    63600     10 | 49.414 % |
21.70/21.80	c |     70871 |   18461    79173   237959 | 2147483647    64321     10 | 49.414 % |
21.90/21.99	c |     71663 |   18459    79173   237959 | 2147483647    65111     10 | 49.419 % |
22.11/22.16	c |     72534 |   18459    79173   237959 | 2147483647    65982     10 | 49.419 % |
22.11/22.19	c |     72634 |   18459    79173   237959 | 2147483647    66082     10 | 49.419 % |
22.20/22.26	c |     72744 |   18459    79173   237959 | 2147483647    66192     10 | 49.419 % |
22.30/22.34	c |     72865 |   18459    79173   237959 | 2147483647    66313     10 | 49.419 % |
22.40/22.41	c |     73001 |   18459    79151   237898 | 2147483647    66426     10 | 49.419 % |
22.40/22.43	c |     73147 |   18459    79151   237898 | 2147483647    66572     10 | 49.419 % |
22.40/22.47	c |     73307 |   18458    79151   237898 | 2147483647    66731     10 | 49.422 % |
22.40/22.49	c |     73485 |   18458    79151   237898 | 2147483647    66909     10 | 49.422 % |
22.50/22.54	c |     73678 |   18458    79151   237898 | 2147483647    67102     10 | 49.422 % |
22.50/22.60	c |     73890 |   18458    79151   237898 | 2147483647    67314     10 | 49.422 % |
22.60/22.69	c |     74123 |   18452    79151   237898 | 2147483647    67544     10 | 49.444 % |
22.70/22.79	c |     74379 |   18450    79151   237898 | 2147483647    67800     10 | 49.444 % |
22.80/22.85	c |     74660 |   18450    79151   237898 | 2147483647    68081     10 | 49.444 % |
22.90/22.96	c |     74970 |   18450    79151   237898 | 2147483647    68391     10 | 49.444 % |
22.90/23.00	c |     75310 |   18450    79151   237898 | 2147483647    68731     11 | 49.444 % |
23.00/23.05	c |     75682 |   18450    79151   237898 | 2147483647    69103     11 | 49.444 % |
23.10/23.13	c |     76093 |   18450    79151   237898 | 2147483647    69514     11 | 49.444 % |
23.21/23.24	c |     76542 |   18447    79151   237898 | 2147483647    69961     11 | 49.452 % |
23.30/23.31	c |     77036 |   18447    79151   237898 | 2147483647    70455     11 | 49.452 % |
23.40/23.43	c |     77584 |   18447    79082   237706 | 2147483647    70970     11 | 49.452 % |
23.50/23.51	c |     78180 |   18447    79082   237706 | 2147483647    71566     11 | 49.452 % |
23.60/23.61	c |     78836 |   18447    79082   237706 | 2147483647    72222     11 | 49.452 % |
23.70/23.81	c |     79556 |   18431    79082   237706 | 2147483647    72936     11 | 49.764 % |
24.00/24.02	c |     80348 |   18407    79082   237706 | 2147483647    73720     11 | 49.989 % |
24.10/24.16	c |     81219 |   18406    79082   237706 | 2147483647    74590     11 | 49.992 % |
24.31/24.37	c |     82178 |   18241    78139   234919 | 2147483647    75388     11 | 50.016 % |
24.31/24.39	c |     82278 |   18241    78139   234919 | 2147483647    75488     11 | 50.016 % |
24.40/24.41	c |     82388 |   18241    78139   234919 | 2147483647    75598     11 | 50.016 % |
24.40/24.48	c |     82510 |   18241    78139   234919 | 2147483647    75720     11 | 50.016 % |
24.50/24.52	c |     82644 |   18241    78139   234919 | 2147483647    75854     11 | 50.016 % |
24.50/24.56	c |     82791 |   18241    78139   234919 | 2147483647    76001     11 | 50.016 % |
24.50/24.60	c |     82952 |   18241    78139   234919 | 2147483647    76162     11 | 50.016 % |
24.60/24.62	c |     83129 |   18241    78139   234919 | 2147483647    76339     11 | 50.016 % |
24.60/24.67	c |     83322 |   18241    78139   234919 | 2147483647    76532     11 | 50.016 % |
24.70/24.73	c |     83536 |   18241    78139   234919 | 2147483647    76746     11 | 50.016 % |
24.80/24.81	c |     83769 |   18240    78139   234919 | 2147483647    76978     11 | 50.019 % |
24.80/24.87	c |     84026 |   18240    78139   234919 | 2147483647    77235     11 | 50.019 % |
24.90/24.95	c |     84308 |   18232    78139   234919 | 2147483647    77513     11 | 50.077 % |
25.00/25.03	c |     84617 |   18151    78139   234919 | 2147483647    77805     11 | 50.680 % |
25.10/25.16	c |     84956 |   17964    78139   234919 | 2147483647    78082     11 | 51.452 % |
25.30/25.41	c |     85329 |   17884    78139   234919 | 2147483647    78444     11 | 51.858 % |
25.50/25.55	c |     85738 |   17564    75199   226259 | 2147483647    78381     11 | 51.921 % |
25.60/25.70	c |     86188 |   17546    75199   226259 | 2147483647    78831     11 | 51.921 % |
25.70/25.77	c |     86682 |   17546    75199   226259 | 2147483647    79325     12 | 51.921 % |
25.80/25.86	c |     87224 |   17546    75199   226259 | 2147483647    79867     12 | 51.921 % |
26.00/26.02	c |     87820 |   17540    75199   226259 | 2147483647    80459     12 | 51.951 % |
26.20/26.30	c |     88477 |   17525    75199   226259 | 2147483647    81110     12 | 52.000 % |
26.40/26.51	c |     89198 |   17525    75199   226259 | 2147483647    81831     12 | 52.000 % |
26.60/26.66	c |     89990 |   17523    75199   226259 | 2147483647    82623     12 | 52.000 % |
26.80/26.87	c |     90863 |   17517    74949   225516 | 2147483647    83413     12 | 52.000 % |
26.90/27.00	c |     91822 |   17516    74949   225516 | 2147483647    84371     12 | 52.003 % |
27.20/27.27	c |     92875 |   17516    74949   225516 | 2147483647    85424     12 | 52.003 % |
27.20/27.30	c |     92975 |   17516    74949   225516 | 2147483647    85524     12 | 52.003 % |
27.30/27.33	c |     93085 |   17516    74949   225516 | 2147483647    85634     12 | 52.003 % |
27.30/27.40	c |     93206 |   17515    74949   225516 | 2147483647    85754     12 | 52.006 % |
27.40/27.45	c |     93339 |   17515    74949   225516 | 2147483647    85887     12 | 52.006 % |
27.40/27.49	c |     93485 |   17514    74949   225516 | 2147483647    86032     12 | 52.009 % |
27.50/27.53	c |     93645 |   17512    74949   225516 | 2147483647    86191     12 | 52.020 % |
27.61/27.62	c |     93821 |   17511    74949   225516 | 2147483647    86366     12 | 52.025 % |
27.61/27.65	c |     94014 |   17511    74949   225516 | 2147483647    86559     12 | 52.025 % |
27.61/27.70	c |     94226 |   17511    74949   225516 | 2147483647    86771     12 | 52.025 % |
27.70/27.76	c |     94459 |   17511    74949   225516 | 2147483647    87004     12 | 52.025 % |
27.80/27.82	c |     94715 |   17508    74949   225516 | 2147483647    87258     12 | 52.033 % |
27.80/27.89	c |     94997 |   17508    74949   225516 | 2147483647    87540     12 | 52.033 % |
27.90/27.96	c |     95307 |   17508    74949   225516 | 2147483647    87850     12 | 52.033 % |
28.10/28.12	c |     95646 |   17472    74878   225316 | 2147483647    88142     12 | 52.244 % |
28.10/28.18	c |     96021 |   17031    74878   225316 | 2147483647    88429     12 | 54.127 % |
28.20/28.25	c |     96432 |   16902    74878   225316 | 2147483647    88824     12 | 54.286 % |
28.30/28.33	c |     96882 |   16871    74878   225316 | 2147483647    89268     12 | 54.365 % |
28.40/28.47	c |     97375 |   16865    74878   225316 | 2147483647    89755     12 | 54.384 % |
28.50/28.59	c |     97920 |   16861    74878   225316 | 2147483647    90298     12 | 54.395 % |
28.60/28.70	c |     98516 |   16860    74878   225316 | 2147483647    90893     12 | 54.398 % |
28.80/28.83	c |     99175 |   16860    74878   225316 | 2147483647    91552     12 | 54.398 % |
28.90/28.99	c |     99895 |   16860    74878   225316 | 2147483647    92272     12 | 54.398 % |
29.00/29.09	c |    100687 |   16860    74878   225316 | 2147483647    93064     12 | 54.398 % |
29.30/29.32	c |    101559 |   16856    74878   225316 | 2147483647    93934     12 | 54.508 % |
29.50/29.51	c |    102517 |   16602    71220   214348 | 2147483647    94227     12 | 54.508 % |
29.81/29.85	c |    103570 |   16598    71220   214348 | 2147483647    95277     12 | 54.519 % |
30.10/30.13	c |    104729 |   16598    71220   214348 | 2147483647    96436     12 | 54.519 % |
30.10/30.16	c |    104829 |   16598    71220   214348 | 2147483647    96536     12 | 54.519 % |
30.10/30.18	c |    104939 |   16598    71220   214348 | 2147483647    96646     12 | 54.519 % |
30.20/30.22	c |    105061 |   16598    71220   214348 | 2147483647    96768     12 | 54.519 % |
30.20/30.28	c |    105194 |   16598    71220   214348 | 2147483647    96901     12 | 54.519 % |
30.30/30.31	c |    105342 |   16598    71220   214348 | 2147483647    97049     12 | 54.519 % |
30.30/30.36	c |    105505 |   16598    71220   214348 | 2147483647    97212     12 | 54.519 % |
30.30/30.40	c |    105681 |   16598    71220   214348 | 2147483647    97388     12 | 54.519 % |
30.40/30.44	c |    105874 |   16598    71220   214348 | 2147483647    97581     12 | 54.519 % |
30.40/30.47	c |    106086 |   16598    71220   214348 | 2147483647    97793     12 | 54.519 % |
30.50/30.53	c |    106320 |   16597    71220   214348 | 2147483647    98026     12 | 54.521 % |
30.50/30.59	c |    106577 |   16597    71220   214348 | 2147483647    98283     12 | 54.521 % |
30.60/30.66	c |    106859 |   16596    71220   214348 | 2147483647    98564     12 | 54.524 % |
30.70/30.74	c |    107169 |   16596    71220   214348 | 2147483647    98874     12 | 54.524 % |
30.70/30.80	c |    107508 |   16596    71220   214348 | 2147483647    99213     12 | 54.524 % |
30.80/30.86	c |    107881 |   16596    71220   214348 | 2147483647    99586     12 | 54.524 % |
30.91/30.96	c |    108293 |   16596    71181   214244 | 2147483647    99977     12 | 54.524 % |
31.00/31.10	c |    108742 |   16596    71181   214244 | 2147483647   100426     12 | 54.524 % |
31.20/31.21	c |    109236 |   16596    71181   214244 | 2147483647   100920     12 | 54.524 % |
31.20/31.29	c |    109778 |   16596    71181   214244 | 2147483647   101462     12 | 54.524 % |
31.30/31.40	c |    110375 |   16595    71181   214244 | 2147483647   102058     12 | 54.527 % |
31.50/31.59	c |    111030 |   16595    71181   214244 | 2147483647   102713     12 | 54.527 % |
31.70/31.79	c |    111751 |   16594    71181   214244 | 2147483647   103433     12 | 54.530 % |
31.90/31.96	c |    112543 |   16594    71181   214244 | 2147483647   104225     12 | 54.530 % |
32.30/32.34	c |    113415 |   16592    71181   214244 | 2147483647   105095     12 | 54.535 % |
32.50/32.51	c |    114374 |   16590    71181   214244 | 2147483647   106052     12 | 54.540 % |
32.60/32.70	c |    115428 |   16590    71181   214244 | 2147483647   107106     13 | 54.540 % |
32.90/32.95	c |    116587 |   16590    71148   214154 | 2147483647   108230     13 | 54.540 % |
33.11/33.18	c |    117861 |   16581    71148   214154 | 2147483647   109502     13 | 54.576 % |
33.20/33.21	c |    117966 |   16581    71148   214154 | 2147483647   109607     13 | 54.576 % |
33.20/33.29	c |    118076 |   16561    71148   214154 | 2147483647   109712     13 | 54.658 % |
33.30/33.33	c |    118198 |   16558    71148   214154 | 2147483647   109834     13 | 54.658 % |
33.30/33.39	c |    118333 |   16558    71148   214154 | 2147483647   109969     13 | 54.658 % |
33.40/33.42	c |    118479 |   16557    71148   214154 | 2147483647   110114     13 | 54.661 % |
33.40/33.47	c |    118639 |   16556    71148   214154 | 2147483647   110273     13 | 54.664 % |
33.50/33.59	c |    118815 |   16553    71148   214154 | 2147483647   110447     13 | 54.686 % |
33.70/33.71	c |    119008 |   16546    71148   214154 | 2147483647   110638     13 | 54.710 % |
33.70/33.79	c |    119221 |   16545    71148   214154 | 2147483647   110850     13 | 54.713 % |
33.80/33.87	c |    119454 |   16536    71148   214154 | 2147483647   111082     13 | 54.749 % |
33.90/33.94	c |    119710 |   16534    71148   214154 | 2147483647   111336     13 | 54.754 % |
34.00/34.05	c |    119992 |   16534    71148   214154 | 2147483647   111618     13 | 54.754 % |
34.10/34.15	c |    120301 |   16532    71148   214154 | 2147483647   111927     13 | 54.754 % |
34.21/34.27	c |    120641 |   16523    71148   214154 | 2147483647   112266     13 | 54.765 % |
34.31/34.34	c |    121015 |   16523    71148   214154 | 2147483647   112640     13 | 54.765 % |
34.41/34.42	c |    121426 |   16523    71148   214154 | 2147483647   113051     13 | 54.765 % |
34.41/34.50	c |    121877 |   16523    71148   214154 | 2147483647   113502     13 | 54.765 % |
34.51/34.61	c |    122370 |   16523    71148   214154 | 2147483647   113995     13 | 54.765 % |
34.71/34.74	c |    122913 |   16508    70782   213066 | 2147483647   114374     13 | 54.765 % |
34.91/34.95	c |    123509 |   16506    70782   213066 | 2147483647   114968     13 | 54.773 % |
35.31/35.32	c |    124165 |   16505    70782   213066 | 2147483647   115623     13 | 54.776 % |
35.41/35.43	c |    124890 |   16505    70782   213066 | 2147483647   116348     13 | 54.776 % |
35.61/35.63	c |    125682 |   16499    70782   213066 | 2147483647   117136     13 | 54.823 % |
35.81/35.82	c |    126554 |   16497    70782   213066 | 2147483647   118006     13 | 54.828 % |
36.31/36.34	c |    127512 |   16374    70782   213066 | 2147483647   118932     14 | 55.242 % |
36.61/36.71	c |    128565 |   16335    70782   213066 | 2147483647   119973     14 | 55.384 % |
37.01/37.06	c |    129723 |   16278    69767   210074 | 2147483647   120754     14 | 55.395 % |
37.41/37.50	c |    130998 |   16276    69767   210074 | 2147483647   122027     14 | 55.401 % |
37.81/37.85	c |    132399 |   16253    69767   210074 | 2147483647   123421     14 | 55.469 % |
37.81/37.88	c |    132499 |   16253    69767   210074 | 2147483647   123521     14 | 55.469 % |
37.81/37.91	c |    132610 |   16253    69767   210074 | 2147483647   123632     14 | 55.469 % |
37.91/37.95	c |    132731 |   16253    69767   210074 | 2147483647   123753     14 | 55.469 % |
37.91/37.99	c |    132865 |   16253    69767   210074 | 2147483647   123887     14 | 55.469 % |
38.01/38.02	c |    133012 |   16253    69767   210074 | 2147483647   124034     14 | 55.469 % |
38.01/38.04	c |    133172 |   16253    69767   210074 | 2147483647   124194     14 | 55.469 % |
38.11/38.12	c |    133348 |   16253    69767   210074 | 2147483647   124370     14 | 55.469 % |
38.11/38.16	c |    133541 |   16253    69767   210074 | 2147483647   124563     14 | 55.469 % |
38.21/38.28	c |    133753 |   16249    69767   210074 | 2147483647   124772     14 | 55.480 % |
38.31/38.38	c |    133987 |   16247    69767   210074 | 2147483647   125004     14 | 55.494 % |
38.41/38.47	c |    134243 |   16246    69767   210074 | 2147483647   125259     14 | 55.497 % |
38.51/38.54	c |    134524 |   16246    69767   210074 | 2147483647   125540     14 | 55.497 % |
38.61/38.65	c |    134833 |   16245    69767   210074 | 2147483647   125848     14 | 55.500 % |
38.71/38.72	c |    135173 |   16245    69767   210074 | 2147483647   126188     14 | 55.500 % |
38.81/38.90	c |    135545 |   16235    69767   210074 | 2147483647   126558     14 | 55.546 % |
39.01/39.02	c |    135955 |   16221    69767   210074 | 2147483647   126964     14 | 55.584 % |
39.11/39.14	c |    136404 |   16221    69767   210074 | 2147483647   127413     14 | 55.584 % |
39.21/39.31	c |    136898 |   16206    69418   209047 | 2147483647   127738     14 | 55.601 % |
39.41/39.49	c |    137440 |   16194    69418   209047 | 2147483647   128276     14 | 55.634 % |
39.51/39.61	c |    138036 |   16194    69418   209047 | 2147483647   128872     14 | 55.634 % |
39.71/39.75	c |    138691 |   16192    69418   209047 | 2147483647   129525     14 | 55.639 % |
39.81/39.90	c |    139411 |   16192    69418   209047 | 2147483647   130245     14 | 55.639 % |
40.11/40.21	c |    140204 |   16153    69418   209047 | 2147483647   131025     14 | 55.878 % |
40.31/40.41	c |    141075 |   16152    69418   209047 | 2147483647   131895     14 | 55.880 % |
40.61/40.67	c |    142035 |   16150    69418   209047 | 2147483647   132853     14 | 55.886 % |
40.91/40.95	c |    143088 |   16147    69418   209047 | 2147483647   133904     14 | 55.894 % |
41.31/41.34	c |    144246 |   16146    69418   209047 | 2147483647   135061     14 | 55.897 % |
41.51/41.61	c |    145519 |   16144    69418   209047 | 2147483647   136333     14 | 55.911 % |
41.61/41.69	c |    146920 |   16139    69418   209047 | 2147483647   137731     14 | 55.924 % |
42.11/42.18	c |    148461 |   16018    68824   207316 | 2147483647   139049     14 | 56.168 % |
42.11/42.20	c |    148561 |   16018    68824   207316 | 2147483647   139149     14 | 56.168 % |
42.21/42.25	c |    148672 |   16017    68824   207316 | 2147483647   139259     14 | 56.171 % |
42.21/42.30	c |    148793 |   16017    68824   207316 | 2147483647   139380     14 | 56.171 % |
42.31/42.36	c |    148926 |   16017    68824   207316 | 2147483647   139513     14 | 56.171 % |
42.41/42.46	c |    149074 |   16017    68824   207316 | 2147483647   139661     14 | 56.171 % |
42.41/42.51	c |    149234 |   16017    68824   207316 | 2147483647   139821     14 | 56.171 % |
42.51/42.54	c |    149411 |   16013    68824   207316 | 2147483647   139996     14 | 56.185 % |
42.51/42.57	c |    149604 |   16013    68824   207316 | 2147483647   140189     14 | 56.185 % |
42.61/42.67	c |    149819 |   16012    68824   207316 | 2147483647   140404     14 | 56.185 % |
42.71/42.75	c |    150053 |   16012    68824   207316 | 2147483647   140638     14 | 56.185 % |
42.81/42.83	c |    150310 |   16011    68824   207316 | 2147483647   140894     14 | 56.187 % |
42.81/42.89	c |    150591 |   16011    68824   207316 | 2147483647   141175     14 | 56.187 % |
43.01/43.04	c |    150900 |   16011    68824   207316 | 2147483647   141484     14 | 56.187 % |
43.11/43.17	c |    151243 |   16011    68824   207316 | 2147483647   141827     14 | 56.187 % |
43.21/43.29	c |    151615 |   16011    68824   207316 | 2147483647   142199     14 | 56.187 % |
43.31/43.33	c |    152026 |   16011    68824   207316 | 2147483647   142610     14 | 56.187 % |
43.31/43.40	c |    152476 |   16011    68824   207316 | 2147483647   143060     14 | 56.187 % |
43.61/43.64	c |    152971 |   15994    68824   207316 | 2147483647   143552     14 | 56.261 % |
43.71/43.80	c |    153513 |   15993    68824   207316 | 2147483647   144093     14 | 56.264 % |
43.91/43.94	c |    154111 |   15993    68824   207316 | 2147483647   144691     14 | 56.264 % |
44.31/44.32	c |    154767 |   15992    68824   207316 | 2147483647   145346     15 | 56.267 % |
44.41/44.51	c |    155488 |   15992    68824   207316 | 2147483647   146067     15 | 56.267 % |
44.71/44.78	c |    156281 |   15959    68380   206021 | 2147483647   146700     15 | 56.270 % |
45.01/45.05	c |    157153 |   15959    68380   206021 | 2147483647   147572     15 | 56.270 % |
45.21/45.28	c |    158111 |   15959    68380   206021 | 2147483647   148530     15 | 56.270 % |
45.41/45.48	c |    159166 |   15959    68380   206021 | 2147483647   149585     15 | 56.270 % |
45.71/45.75	c |    160324 |   15958    68380   206021 | 2147483647   150742     15 | 56.272 % |
46.01/46.04	c |    161597 |   15958    68380   206021 | 2147483647   152015     15 | 56.272 % |
46.41/46.48	c |    162997 |   15958    68380   206021 | 2147483647   153415     15 | 56.272 % |
46.91/46.92	c |    164538 |   15956    68380   206021 | 2147483647   154955     15 | 56.278 % |
47.31/47.37	c |    166233 |   15859    68380   206021 | 2147483647   156622     15 | 56.946 % |
47.31/47.40	c |    166333 |   15859    68380   206021 | 2147483647   156722     15 | 56.946 % |
47.41/47.44	c |    166443 |   15859    68380   206021 | 2147483647   156832     15 | 56.946 % |
47.41/47.51	c |    166564 |   15859    68380   206021 | 2147483647   156953     15 | 56.946 % |
47.51/47.55	c |    166698 |   15859    68380   206021 | 2147483647   157087     15 | 56.946 % |
47.61/47.65	c |    166845 |   15712    67572   203411 | 2147483647   157017     15 | 56.946 % |
47.61/47.70	c |    167005 |   15712    67572   203411 | 2147483647   157177     15 | 56.946 % |
47.71/47.75	c |    167182 |   15712    67572   203411 | 2147483647   157354     15 | 56.946 % |
47.81/47.87	c |    167376 |   15712    67572   203411 | 2147483647   157548     15 | 56.946 % |
47.91/47.94	c |    167590 |   15712    67572   203411 | 2147483647   157762     15 | 56.946 % |
47.91/47.99	c |    167824 |   15712    67572   203411 | 2147483647   157996     15 | 56.946 % |
48.01/48.04	c |    168081 |   15712    67572   203411 | 2147483647   158253     15 | 56.946 % |
48.11/48.20	c |    168366 |   15712    67572   203411 | 2147483647   158538     15 | 56.946 % |
48.31/48.32	c |    168675 |   15712    67572   203411 | 2147483647   158847     15 | 56.946 % |
48.41/48.44	c |    169015 |   15712    67572   203411 | 2147483647   159187     15 | 56.946 % |
48.51/48.54	c |    169387 |   15687    67572   203411 | 2147483647   159558     15 | 57.015 % |
48.61/48.71	c |    169797 |   15686    67572   203411 | 2147483647   159967     15 | 57.018 % |
48.81/48.85	c |    170248 |   15686    67572   203411 | 2147483647   160418     15 | 57.018 % |
48.91/48.95	c |    170741 |   15686    67572   203411 | 2147483647   160911     15 | 57.018 % |
49.01/49.03	c |    171284 |   15686    67572   203411 | 2147483647   161454     15 | 57.018 % |
49.01/49.09	c |    171882 |   15686    67572   203411 | 2147483647   162052     15 | 57.018 % |
49.31/49.35	c |    172537 |   15685    67572   203411 | 2147483647   162706     15 | 57.020 % |
49.51/49.61	c |    173258 |   15684    67572   203411 | 2147483647   163426     15 | 57.023 % |
49.71/49.73	c |    174050 |   15684    67572   203411 | 2147483647   164218     15 | 57.023 % |
49.81/49.85	c |    174923 |   15684    67572   203411 | 2147483647   165091     15 | 57.023 % |
50.11/50.15	c |    175882 |   15684    67572   203411 | 2147483647   166050     15 | 57.023 % |
50.31/50.38	c |    176936 |   15684    67572   203411 | 2147483647   167104     15 | 57.023 % |
50.51/50.57	c |    178094 |   15684    67572   203411 | 2147483647   168262     15 | 57.023 % |
50.91/51.00	c |    179367 |   15683    67572   203411 | 2147483647   169534     15 | 57.026 % |
51.31/51.35	c |    180767 |   15683    67572   203411 | 2147483647   170934     15 | 57.026 % |
51.61/51.62	c |    182308 |   15682    67432   202999 | 2147483647   172351     16 | 57.029 % |
52.21/52.29	c |    184003 |   15681    67432   202999 | 2147483647   174045     16 | 57.031 % |
52.61/52.63	c |    185868 |   15681    67432   202999 | 2147483647   175910     16 | 57.031 % |
52.61/52.69	c |    185969 |   15681    67432   202999 | 2147483647   176011     16 | 57.031 % |
52.71/52.75	c |    186079 |   15681    67432   202999 | 2147483647   176121     16 | 57.031 % |
52.71/52.80	c |    186200 |   15681    67432   202999 | 2147483647   176242     16 | 57.031 % |
52.81/52.84	c |    186333 |   15677    67432   202999 | 2147483647   176374     16 | 57.059 % |
52.91/52.92	c |    186479 |   15674    67432   202999 | 2147483647   176518     16 | 57.067 % |
52.91/52.96	c |    186639 |   15674    67432   202999 | 2147483647   176678     16 | 57.067 % |
53.11/53.12	c |    186816 |   15674    67432   202999 | 2147483647   176855     16 | 57.067 % |
53.11/53.15	c |    187010 |   15674    67432   202999 | 2147483647   177049     16 | 57.067 % |
53.11/53.21	c |    187222 |   15674    67432   202999 | 2147483647   177261     16 | 57.067 % |
53.21/53.25	c |    187455 |   15674    67432   202999 | 2147483647   177494     16 | 57.067 % |
53.41/53.43	c |    187714 |   15674    67432   202999 | 2147483647   177753     16 | 57.067 % |
53.51/53.53	c |    187999 |   15662    67432   202999 | 2147483647   178037     16 | 57.103 % |
53.61/53.61	c |    188309 |   15662    67432   202999 | 2147483647   178347     16 | 57.103 % |
53.71/53.73	c |    188650 |   15662    67432   202999 | 2147483647   178688     16 | 57.103 % |
53.81/53.82	c |    189022 |   15662    67432   202999 | 2147483647   179060     16 | 57.103 % |
53.91/53.99	c |    189434 |   15662    67432   202999 | 2147483647   179472     16 | 57.103 % |
54.01/54.07	c |    189886 |   15662    67432   202999 | 2147483647   179924     16 | 57.103 % |
54.21/54.26	c |    190383 |   15654    67432   202999 | 2147483647   180419     16 | 57.130 % |
54.31/54.37	c |    190926 |   15652    67432   202999 | 2147483647   180962     16 | 57.130 % |
54.41/54.51	c |    191522 |   15652    67432   202999 | 2147483647   181558     16 | 57.130 % |
54.71/54.79	c |    192177 |   15652    67432   202999 | 2147483647   182213     16 | 57.130 % |
54.91/54.96	c |    192897 |   15652    67432   202999 | 2147483647   182933     16 | 57.130 % |
55.11/55.21	c |    193690 |   15652    67432   202999 | 2147483647   183726     16 | 57.130 % |
55.31/55.39	c |    194561 |   15652    67432   202999 | 2147483647   184597     16 | 57.130 % |
55.71/55.73	c |    195520 |   15650    67432   202999 | 2147483647   185555     16 | 57.135 % |
55.91/55.97	c |    196573 |   15650    67432   202999 | 2147483647   186608     16 | 57.135 % |
56.31/56.40	c |    197732 |   15650    67432   202999 | 2147483647   187767     16 | 57.135 % |
56.81/56.85	c |    199007 |   15641    67274   202532 | 2147483647   188969     16 | 57.141 % |
57.01/57.09	c |    200407 |   15641    67274   202532 | 2147483647   190369     16 | 57.141 % |
57.51/57.59	c |    201950 |   15637    67274   202532 | 2147483647   191909     17 | 57.152 % |
58.01/58.10	c |    203644 |   15636    67274   202532 | 2147483647   193602     17 | 57.157 % |
58.51/58.56	c |    205507 |   15634    67274   202532 | 2147483647   195463     17 | 57.168 % |
59.11/59.13	c |    207560 |   15634    67274   202532 | 2147483647   197516     17 | 57.168 % |
59.11/59.18	c |    207660 |   15634    67274   202532 | 2147483647   197616     17 | 57.168 % |
59.21/59.26	c |    207770 |   15634    67274   202532 | 2147483647   197726     17 | 57.168 % |
59.21/59.31	c |    207891 |   15634    67274   202532 | 2147483647   197847     17 | 57.168 % |
59.31/59.38	c |    208025 |   15634    67274   202532 | 2147483647   197981     17 | 57.168 % |
59.41/59.46	c |    208173 |   15634    67274   202532 | 2147483647   198129     17 | 57.168 % |
59.51/59.55	c |    208333 |   15634    67274   202532 | 2147483647   198289     17 | 57.168 % |
59.61/59.63	c |    208510 |   15634    67274   202532 | 2147483647   198466     17 | 57.168 % |
59.71/59.73	c |    208704 |   15634    67274   202532 | 2147483647   198660     17 | 57.168 % |
59.71/59.79	c |    208917 |   15632    67274   202532 | 2147483647   198873     17 | 57.168 % |
59.81/59.83	c |    209151 |   15632    67274   202532 | 2147483647   199107     17 | 57.168 % |
59.91/59.96	c |    209407 |   15632    67274   202532 | 2147483647   199363     17 | 57.168 % |
60.01/60.11	c |    209690 |   15629    67274   202532 | 2147483647   199644     17 | 57.177 % |
60.21/60.24	c |    210000 |   15629    67274   202532 | 2147483647   199954     17 | 57.177 % |
60.31/60.38	c |    210339 |   15629    67274   202532 | 2147483647   200293     17 | 57.177 % |
60.51/60.57	c |    210711 |   15628    67274   202532 | 2147483647   200664     17 | 57.179 % |
60.61/60.70	c |    211122 |   15628    67274   202532 | 2147483647   201075     17 | 57.179 % |
60.71/60.80	c |    211572 |   15628    67274   202532 | 2147483647   201525     17 | 57.179 % |
60.91/60.94	c |    212065 |   15628    67274   202532 | 2147483647   202018     17 | 57.179 % |
61.21/61.27	c |    212607 |   15628    67274   202532 | 2147483647   202560     17 | 57.179 % |
61.31/61.37	c |    213203 |   15628    67274   202532 | 2147483647   203156     17 | 57.179 % |
61.51/61.55	c |    213859 |   15626    67274   202532 | 2147483647   203811     17 | 57.185 % |
61.81/61.83	c |    214582 |   15613    67274   202532 | 2147483647   204531     17 | 57.220 % |
62.21/62.23	c |    215374 |   15598    67120   202086 | 2147483647   205205     17 | 57.264 % |
62.51/62.60	c |    216245 |   15598    67120   202086 | 2147483647   206076     17 | 57.264 % |
62.71/62.74	c |    217203 |   15598    67120   202086 | 2147483647   207034     17 | 57.264 % |
63.01/63.05	c |    218256 |   15597    67120   202086 | 2147483647   208086     17 | 57.267 % |
63.51/63.59	c |    219414 |   15597    67120   202086 | 2147483647   209244     18 | 57.267 % |
63.91/63.97	c |    220687 |   15594    67120   202086 | 2147483647   210516     18 | 57.278 % |
64.51/64.57	c |    222088 |   15585    67120   202086 | 2147483647   211914     18 | 57.357 % |
64.91/64.98	c |    223628 |   15585    67120   202086 | 2147483647   213454     18 | 57.357 % |
65.31/65.39	c |    225323 |   15584    67120   202086 | 2147483647   215148     18 | 57.360 % |
65.81/65.89	c |    227186 |   15584    67120   202086 | 2147483647   217011     18 | 57.360 % |
66.41/66.41	c |    229235 |   15584    67120   202086 | 2147483647   219060     18 | 57.360 % |
67.11/67.13	c |    231488 |   15583    67120   202086 | 2147483647   221312     18 | 57.363 % |
67.11/67.19	c |    231589 |   15583    67120   202086 | 2147483647   221413     18 | 57.363 % |
67.11/67.21	c |    231700 |   15583    67120   202086 | 2147483647   221524     18 | 57.363 % |
67.21/67.28	c |    231821 |   15583    67120   202086 | 2147483647   221645     18 | 57.363 % |
67.31/67.34	c |    231954 |   15583    67120   202086 | 2147483647   221778     18 | 57.363 % |
67.41/67.43	c |    232100 |   15583    67120   202086 | 2147483647   221924     18 | 57.363 % |
67.51/67.51	c |    232260 |   15583    67120   202086 | 2147483647   222084     18 | 57.363 % |
67.61/67.63	c |    232436 |   15580    67120   202086 | 2147483647   222259     18 | 57.371 % |
67.61/67.69	c |    232630 |   15580    67120   202086 | 2147483647   222453     18 | 57.371 % |
67.71/67.80	c |    232842 |   15580    67120   202086 | 2147483647   222665     18 | 57.371 % |
67.81/67.91	c |    233075 |   15580    67120   202086 | 2147483647   222898     18 | 57.371 % |
68.01/68.05	c |    233331 |   15580    67120   202086 | 2147483647   223154     18 | 57.371 % |
68.11/68.16	c |    233612 |   15580    67120   202086 | 2147483647   223435     18 | 57.371 % |
68.31/68.34	c |    233923 |   15580    67120   202086 | 2147483647   223746     18 | 57.371 % |
68.41/68.46	c |    234262 |   15557    66870   201356 | 2147483647   223952     18 | 57.371 % |
68.51/68.55	c |    234635 |   15557    66870   201356 | 2147483647   224325     18 | 57.371 % |
68.51/68.60	c |    235045 |   15557    66870   201356 | 2147483647   224735     18 | 57.371 % |
68.71/68.73	c |    235496 |   15557    66870   201356 | 2147483647   225186     18 | 57.371 % |
68.91/68.93	c |    235989 |   15557    66870   201356 | 2147483647   225679     18 | 57.371 % |
69.11/69.11	c |    236531 |   15557    66870   201356 | 2147483647   226221     18 | 57.371 % |
69.31/69.32	c |    237127 |   15557    66870   201356 | 2147483647   226817     18 | 57.371 % |
69.51/69.53	c |    237782 |   15557    66870   201356 | 2147483647   227472     18 | 57.371 % |
69.71/69.73	c |    238506 |   15557    66870   201356 | 2147483647   228196     18 | 57.371 % |
69.91/69.99	c |    239298 |   15557    66870   201356 | 2147483647   228988     18 | 57.371 % |
70.31/70.39	c |    240169 |   15550    66870   201356 | 2147483647   229856     18 | 57.398 % |
70.71/70.79	c |    241127 |   15549    66870   201356 | 2147483647   230813     18 | 57.401 % |
71.21/71.25	c |    242182 |   15547    66870   201356 | 2147483647   231866     18 | 57.407 % |
72.21/72.31	c |    243340 |   15546    66870   201356 | 2147483647   233023     19 | 57.409 % |
72.91/72.91	c |    244613 |   15545    66870   201356 | 2147483647   234295     19 | 57.412 % |
73.41/73.49	c |    246013 |   15541    66870   201356 | 2147483647   235692     19 | 57.423 % |
73.91/73.95	c |    247554 |   15541    66870   201356 | 2147483647   237233     19 | 57.423 % |
74.61/74.65	c |    249248 |   15540    66870   201356 | 2147483647   238926     19 | 57.429 % |
74.91/74.94	c |    251111 |   15538    66870   201356 | 2147483647   240788     19 | 57.434 % |
75.51/75.53	c |    253162 |   15538    66870   201356 | 2147483647   242839     19 | 57.434 % |
76.21/76.23	c |    255415 |   15538    66870   201356 | 2147483647   245092     19 | 57.434 % |
76.71/76.74	c |    257893 |   15526    66750   201018 | 2147483647   247493     19 | 57.456 % |
76.81/76.83	c |    257993 |   15526    66750   201018 | 2147483647   247593     19 | 57.456 % |
76.81/76.90	c |    258104 |   15526    66750   201018 | 2147483647   247704     19 | 57.456 % |
76.91/76.94	c |    258226 |   15526    66750   201018 | 2147483647   247826     19 | 57.456 % |
77.01/77.03	c |    258360 |   15526    66750   201018 | 2147483647   247960     19 | 57.456 % |
77.01/77.11	c |    258506 |   15526    66750   201018 | 2147483647   248106     19 | 57.456 % |
77.21/77.21	c |    258667 |   15526    66750   201018 | 2147483647   248267     19 | 57.456 % |
77.21/77.30	c |    258845 |   15526    66750   201018 | 2147483647   248445     19 | 57.456 % |
77.31/77.37	c |    259038 |   15526    66750   201018 | 2147483647   248638     19 | 57.456 % |
77.51/77.52	c |    259250 |   15526    66750   201018 | 2147483647   248850     19 | 57.456 % |
77.51/77.60	c |    259484 |   15526    66750   201018 | 2147483647   249084     19 | 57.456 % |
77.71/77.75	c |    259741 |   15526    66750   201018 | 2147483647   249341     19 | 57.456 % |
77.71/77.81	c |    260022 |   15526    66750   201018 | 2147483647   249622     19 | 57.456 % |
77.91/77.93	c |    260331 |   15526    66750   201018 | 2147483647   249931     19 | 57.456 % |
78.01/78.08	c |    260670 |   15526    66750   201018 | 2147483647   250270     19 | 57.456 % |
78.11/78.21	c |    261042 |   15526    66750   201018 | 2147483647   250642     19 | 57.456 % |
78.31/78.32	c |    261451 |   15526    66750   201018 | 2147483647   251051     19 | 57.456 % |
78.51/78.54	c |    261900 |   15526    66750   201018 | 2147483647   251500     19 | 57.456 % |
78.61/78.64	c |    262393 |   15526    66750   201018 | 2147483647   251993     19 | 57.456 % |
78.81/78.83	c |    262935 |   15526    66750   201018 | 2147483647   252535     19 | 57.456 % |
78.91/79.01	c |    263533 |   15524    66750   201018 | 2147483647   253132     19 | 57.462 % |
79.31/79.32	c |    264188 |   15520    66750   201018 | 2147483647   253786     19 | 57.478 % |
79.51/79.54	c |    264909 |   15520    66750   201018 | 2147483647   254507     19 | 57.478 % |
79.71/79.77	c |    265701 |   15517    66750   201018 | 2147483647   255298     19 | 57.486 % |
80.11/80.11	c |    266572 |   15515    66750   201018 | 2147483647   256167     19 | 57.492 % |
80.31/80.35	c |    267531 |   15515    66750   201018 | 2147483647   257126     19 | 57.492 % |
80.81/80.85	c |    268584 |   15514    66750   201018 | 2147483647   258178     19 | 57.494 % |
81.01/81.10	c |    269742 |   15514    66750   201018 | 2147483647   259336     19 | 57.494 % |
81.61/81.64	c |    271015 |   15512    66750   201018 | 2147483647   260608     19 | 57.500 % |
82.11/82.13	c |    272418 |   15512    66750   201018 | 2147483647   262011     19 | 57.500 % |
82.71/82.74	c |    273960 |   15512    66750   201018 | 2147483647   263553     19 | 57.500 % |
83.01/83.08	c |    275654 |   15511    66750   201018 | 2147483647   265246     19 | 57.503 % |
83.61/83.62	c |    277517 |   15511    66750   201018 | 2147483647   267109     19 | 57.503 % |
84.11/84.18	c |    279567 |   15511    66750   201018 | 2147483647   269159     19 | 57.503 % |
84.71/84.74	c |    281820 |   15508    66750   201018 | 2147483647   271410     19 | 57.511 % |
85.41/85.49	c |    284299 |   15508    66750   201018 | 2147483647   273889     19 | 57.511 % |
86.71/86.81	c |    287024 |   15506    66615   200637 | 2147483647   276503     20 | 57.511 % |
86.81/86.88	c |    287124 |   15506    66615   200637 | 2147483647   276603     20 | 57.511 % |
86.91/86.93	c |    287234 |   15506    66615   200637 | 2147483647   276713     20 | 57.511 % |
87.02/87.05	c |    287355 |   15506    66615   200637 | 2147483647   276834     20 | 57.511 % |
87.02/87.10	c |    287488 |   15506    66615   200637 | 2147483647   276967     20 | 57.511 % |
87.11/87.19	c |    287634 |   15506    66615   200637 | 2147483647   277113     20 | 57.511 % |
87.21/87.26	c |    287794 |   15506    66615   200637 | 2147483647   277273     20 | 57.511 % |
87.31/87.38	c |    287970 |   15506    66615   200637 | 2147483647   277449     20 | 57.511 % |
87.41/87.49	c |    288163 |   15506    66615   200637 | 2147483647   277642     20 | 57.511 % |
87.51/87.55	c |    288375 |   15506    66615   200637 | 2147483647   277854     20 | 57.511 % |
87.61/87.65	c |    288608 |   15506    66615   200637 | 2147483647   278087     20 | 57.511 % |
87.81/87.83	c |    288864 |   15506    66615   200637 | 2147483647   278343     20 | 57.511 % |
87.91/87.98	c |    289145 |   15506    66615   200637 | 2147483647   278624     20 | 57.511 % |
88.12/88.16	c |    289454 |   15503    66615   200637 | 2147483647   278932     20 | 57.522 % |
88.31/88.34	c |    289795 |   15503    66615   200637 | 2147483647   279273     20 | 57.522 % |
88.51/88.59	c |    290169 |   15502    66615   200637 | 2147483647   279646     20 | 57.527 % |
88.81/88.83	c |    290579 |   15502    66615   200637 | 2147483647   280056     20 | 57.527 % |
89.11/89.16	c |    291028 |   15502    66615   200637 | 2147483647   280505     20 | 57.527 % |
89.22/89.29	c |    291521 |   15502    66615   200637 | 2147483647   280998     20 | 57.527 % |
89.71/89.77	c |    292065 |   15502    66615   200637 | 2147483647   281542     20 | 57.527 % |
89.91/89.96	c |    292661 |   15502    66615   200637 | 2147483647   282138     20 | 57.527 % |
90.01/90.04	c |    293316 |   15502    66615   200637 | 2147483647   282793     20 | 57.527 % |
90.11/90.20	c |    294039 |   15492    66615   200637 | 2147483647   283512     20 | 57.560 % |
90.71/90.72	c |    294831 |   15492    66615   200637 | 2147483647   284304     20 | 57.560 % |
91.21/91.24	c |    295703 |   15491    66615   200637 | 2147483647   285175     20 | 57.563 % |
91.42/91.50	c |    296662 |   15490    66615   200637 | 2147483647   286133     20 | 57.566 % |
91.81/91.87	c |    297716 |   15485    66615   200637 | 2147483647   287185     20 | 57.579 % |
92.31/92.35	c |    298874 |   15485    66615   200637 | 2147483647   288343     20 | 57.579 % |
92.61/92.62	c |    300148 |   15485    66615   200637 | 2147483647   289617     20 | 57.579 % |
93.01/93.03	c |    301548 |   15485    66615   200637 | 2147483647   291017     20 | 57.579 % |
93.71/93.73	c |    303088 |   15485    66615   200637 | 2147483647   292557     20 | 57.579 % |
94.31/94.41	c |    304782 |   15485    66615   200637 | 2147483647   294251     20 | 57.579 % |
95.11/95.15	c |    306645 |   15484    66615   200637 | 2147483647   296113     20 | 57.582 % |
95.41/95.47	c |    308695 |   15484    66615   200637 | 2147483647   298163     20 | 57.582 % |
96.41/96.44	c |    310950 |   15484    66615   200637 | 2147483647   300418     20 | 57.582 % |
96.81/96.91	c |    313428 |   15484    66615   200637 | 2147483647   302896     20 | 57.582 % |
98.41/98.48	c |    316153 |   15478    66480   200265 | 2147483647   305537     21 | 57.588 % |
99.31/99.35	c |    319150 |   15477    66480   200265 | 2147483647   308533     21 | 57.590 % |
99.41/99.42	c |    319253 |   15477    66480   200265 | 2147483647   308636     21 | 57.590 % |
99.41/99.47	c |    319363 |   15477    66480   200265 | 2147483647   308746     21 | 57.590 % |
99.51/99.53	c |    319485 |   15477    66480   200265 | 2147483647   308868     21 | 57.590 % |
99.61/99.65	c |    319618 |   15477    66480   200265 | 2147483647   309001     21 | 57.590 % |
99.71/99.77	c |    319765 |   15477    66480   200265 | 2147483647   309148     21 | 57.590 % |
99.81/99.89	c |    319925 |   15475    66480   200265 | 2147483647   309307     21 | 57.596 % |
99.91/99.98	c |    320101 |   15475    66480   200265 |   309382   309483     21 | 57.596 % |
100.11/100.13	c |    320294 |   15475    66480   200265 |   309382   309676     21 | 57.596 % |
100.22/100.26	c |    320508 |   15475    66480   200265 |   309382   309890     21 | 57.596 % |
100.41/100.43	c |    320741 |   15475    66480   200265 |   309382   310123     21 | 57.596 % |
100.51/100.60	c |    320997 |   15475    66480   200265 |   309382   310379     21 | 57.596 % |
100.71/100.72	c |    321279 |   15475    66480   200265 |   309382   310661     21 | 57.596 % |
100.81/100.88	c |    321588 |   15475    66480   200265 |   309382   310970     21 | 57.596 % |
101.01/101.04	c |    321927 |   15475    66480   200265 |   309382   311309     21 | 57.596 % |
101.21/101.26	c |    322299 |   15474    66480   200265 |   309382   311680     21 | 57.599 % |
101.41/101.44	c |    322710 |   15474    66480   200265 |   309382   312091     21 | 57.599 % |
101.61/101.64	c |    323160 |   15473    66480   200265 |   309382   312540     21 | 57.601 % |
101.81/101.86	c |    323653 |   15473    66480   200265 |   309382   313033     21 | 57.601 % |
102.01/102.10	c |    324195 |   15470    66480   200265 |   309382   313574     21 | 57.609 % |
102.31/102.33	c |    324792 |   15470    66480   200265 |   309382   314171     21 | 57.609 % |
102.51/102.53	c |    325447 |   15470    66480   200265 |   309382   314826     21 | 57.609 % |
102.71/102.72	c |    326169 |   15470    66480   200265 |   309382   315548     21 | 57.609 % |
102.81/102.88	c |    326962 |   15470    66480   200265 |   309382   316341     21 | 57.609 % |
103.31/103.40	c |    327833 |   15470    66480   200265 |   309382   317212     21 | 57.609 % |
103.61/103.69	c |    328793 |   15470    66480   200265 |   309382   318172     21 | 57.609 % |
104.01/104.07	c |    329852 |   15470    66480   200265 |   309382   319231     21 | 57.609 % |
104.31/104.38	c |    331010 |   15470    66480   200265 |   319379   320389     21 | 57.609 % |
104.91/104.94	c |    332283 |   15470    66480   200265 |   319379   321662     21 | 57.609 % |
105.72/105.73	c |    333687 |   15459    66480   200265 |   319379   323064     22 | 57.662 % |
106.31/106.40	c |    335228 |   15457    66480   200265 |   319379   324604     22 | 57.664 % |
107.21/107.21	c |    336922 |   15457    66480   200265 |   319379   326298     22 | 57.664 % |
107.61/107.69	c |    338785 |   15457    66480   200265 |   319379   328161     22 | 57.664 % |
107.81/107.91	c |    340834 |   15457    66480   200265 |   329377   330210     22 | 57.664 % |
108.51/108.57	c |    343087 |   15456    66480   200265 |   329377   332462     22 | 57.667 % |
109.41/109.48	c |    345565 |   15456    66480   200265 |   329377   334940     22 | 57.667 % |
110.41/110.45	c |    348293 |   15456    66480   200265 |   329377   337668     22 | 57.667 % |
111.11/111.19	c |    351291 |   15456    66480   200265 |   339375   340666     22 | 57.667 % |
112.01/112.08	c |    354589 |   15455    66480   200265 |   339375   343963     22 | 57.670 % |
112.11/112.11	c |    354689 |   15455    66480   200265 |   339375   344063     22 | 57.670 % |
112.11/112.17	c |    354799 |   15455    66480   200265 |   339375   344173     22 | 57.670 % |
112.21/112.23	c |    354924 |   15455    66480   200265 |   339375   344298     22 | 57.670 % |
112.21/112.29	c |    355058 |   15455    66480   200265 |   339375   344432     22 | 57.670 % |
112.41/112.41	c |    355205 |   15455    66480   200265 |   339375   344579     22 | 57.670 % |
112.41/112.50	c |    355365 |   15455    66480   200265 |   339375   344739     22 | 57.670 % |
112.51/112.56	c |    355541 |   15455    66480   200265 |   339375   344915     22 | 57.670 % |
112.71/112.75	c |    355735 |   15455    66480   200265 |   339375   345109     22 | 57.670 % |
112.81/112.86	c |    355948 |   15455    66480   200265 |   339375   345322     22 | 57.670 % |
112.91/112.99	c |    356181 |   15455    66480   200265 |   339375   345555     22 | 57.670 % |
113.11/113.12	c |    356440 |   15455    66480   200265 |   339375   345814     22 | 57.670 % |
113.31/113.35	c |    356721 |   15454    66480   200265 |   339375   346094     22 | 57.675 % |
113.51/113.60	c |    357031 |   15453    66480   200265 |   339375   346403     22 | 57.678 % |
113.81/113.81	c |    357370 |   15453    66480   200265 |   339375   346742     22 | 57.678 % |
114.01/114.02	c |    357743 |   15453    66480   200265 |   339375   347115     22 | 57.678 % |
114.11/114.13	c |    358152 |   15453    66480   200265 |   339375   347524     22 | 57.678 % |
114.31/114.40	c |    358603 |   15452    66480   200265 |   339375   347974     22 | 57.681 % |
114.61/114.67	c |    359098 |   15452    66480   200265 |   339375   348469     22 | 57.681 % |
114.91/114.98	c |    359640 |   15444    66325   199808 |   339375   348883     22 | 57.681 % |
115.11/115.19	c |    360236 |   15444    66325   199808 |   349243   349479     22 | 57.681 % |
115.41/115.50	c |    360891 |   15444    66325   199808 |   349243   350134     22 | 57.681 % |
116.01/116.03	c |    361611 |   15435    66325   199808 |   349243   350852     22 | 57.705 % |
116.42/116.48	c |    362403 |   15435    66325   199808 |   349243   351644     22 | 57.705 % |
117.02/117.04	c |    363276 |   15434    66325   199808 |   349243   352516     22 | 57.708 % |
117.42/117.51	c |    364236 |   15434    66325   199808 |   349243   353476     22 | 57.708 % |
117.82/117.85	c |    365293 |   15434    66325   199808 |   349243   354533     22 | 57.708 % |
118.82/118.86	c |    366451 |   15434    66325   199808 |   349243   355691     22 | 57.708 % |
119.22/119.26	c |    367726 |   15434    66325   199808 |   349243   356966     22 | 57.708 % |
119.91/119.98	c |    369128 |   15434    66325   199808 |   349243   358368     22 | 57.708 % |
120.21/120.29	c |    370668 |   15434    66325   199808 |   359240   359908     22 | 57.708 % |
120.71/120.73	c |    372364 |   15433    66325   199808 |   359240   361603     22 | 57.711 % |
121.51/121.55	c |    374228 |   15433    66325   199808 |   359240   363467     22 | 57.711 % |
122.11/122.15	c |    376278 |   15433    66325   199808 |   359240   365517     22 | 57.711 % |
123.01/123.06	c |    378532 |   15433    66325   199808 |   359240   367771     22 | 57.711 % |
123.91/123.93	c |    381010 |   15433    66325   199808 |   369239   370249     22 | 57.711 % |
124.71/124.75	c |    383735 |   15432    66325   199808 |   369239   372973     22 | 57.714 % |
126.11/126.13	c |    386732 |   15432    66325   199808 |   369239   375970     22 | 57.714 % |
128.81/128.89	c |    390029 |   15432    66325   199808 |   379238   379267     23 | 57.714 % |
130.01/130.10	c |    393657 |   15432    66325   199808 |   379238   382895     23 | 57.714 % |
130.11/130.18	c |    393757 |   15430    66325   199808 |   379238   382994     23 | 57.719 % |
130.21/130.26	c |    393867 |   15430    66325   199808 |   379238   383104     23 | 57.719 % |
130.31/130.35	c |    393989 |   15430    66325   199808 |   379238   383226     23 | 57.719 % |
130.51/130.53	c |    394122 |   15430    66325   199808 |   379238   383359     23 | 57.719 % |
130.61/130.62	c |    394270 |   15430    66325   199808 |   379238   383507     23 | 57.719 % |
130.71/130.73	c |    394430 |   15430    66325   199808 |   379238   383667     23 | 57.719 % |
130.81/130.81	c |    394606 |   15430    66325   199808 |   379238   383843     23 | 57.719 % |
130.91/130.96	c |    394800 |   15429    66325   199808 |   379238   384036     23 | 57.722 % |
131.11/131.12	c |    395013 |   15429    66325   199808 |   379238   384249     23 | 57.722 % |
131.21/131.27	c |    395246 |   15429    66325   199808 |   379238   384482     23 | 57.722 % |
131.31/131.40	c |    395503 |   15429    66325   199808 |   379238   384739     23 | 57.722 % |
131.61/131.62	c |    395786 |   15429    66325   199808 |   379238   385022     23 | 57.722 % |
131.81/131.82	c |    396097 |   15427    66325   199808 |   379238   385332     23 | 57.727 % |
132.01/132.05	c |    396437 |   15427    66325   199808 |   379238   385672     23 | 57.727 % |
132.21/132.27	c |    396812 |   15427    66325   199808 |   379238   386047     23 | 57.727 % |
132.31/132.32	c |    397222 |   15427    66325   199808 |   379238   386457     23 | 57.727 % |
132.41/132.45	c |    397671 |   15425    66325   199808 |   379238   386905     23 | 57.738 % |
132.71/132.77	c |    398165 |   15425    66325   199808 |   379238   387399     23 | 57.738 % |
132.91/132.97	c |    398708 |   15425    66325   199808 |   379238   387942     23 | 57.738 % |
133.31/133.31	c |    399304 |   15425    66325   199808 |   379238   388538     23 | 57.738 % |
133.61/133.63	c |    399963 |   15425    66325   199808 |   379238   389197     23 | 57.738 % |
133.91/133.91	c |    400683 |   15425    66325   199808 |   389234   389917     23 | 57.738 % |
134.11/134.15	c |    401475 |   15425    66325   199808 |   389234   390709     23 | 57.738 % |
134.51/134.60	c |    402346 |   15425    66325   199808 |   389234   391580     23 | 57.738 % |
135.11/135.17	c |    403305 |   15424    66325   199808 |   389234   392538     23 | 57.741 % |
135.51/135.54	c |    404359 |   15424    66325   199808 |   389234   393592     23 | 57.741 % |
136.41/136.46	c |    405517 |   15424    66325   199808 |   389234   394750     23 | 57.741 % |
137.01/137.09	c |    406790 |   15423    66325   199808 |   389234   396022     23 | 57.744 % |
137.61/137.70	c |    408190 |   15423    66325   199808 |   389234   397422     23 | 57.744 % |
138.41/138.45	c |    409730 |   15421    66210   199481 |   389234   398860     23 | 57.744 % |
139.21/139.29	c |    411424 |   15421    66210   199481 |   399130   400554     23 | 57.744 % |
139.81/139.87	c |    413288 |   15421    66210   199481 |   399130   402418     23 | 57.744 % |
140.61/140.61	c |    415339 |   15420    66210   199481 |   399130   404468     23 | 57.746 % |
142.21/142.21	c |    417596 |   15420    66210   199481 |   399130   406725     23 | 57.746 % |
144.41/144.47	c |    420075 |   15412    66210   199481 |   409128   409203     23 | 57.768 % |
145.61/145.63	c |    422800 |   15412    66210   199481 |   409128   411928     23 | 57.768 % |
148.01/148.08	c |    425797 |   15412    66210   199481 |   409128   414925     24 | 57.768 % |
149.31/149.35	c |    429093 |   15412    66210   199481 |   409128   418221     24 | 57.768 % |
151.21/151.27	c |    432718 |   15410    66210   199481 |   419128   421844     24 | 57.774 % |
153.91/153.92	c |    436705 |   15410    66210   199481 |   419128   425831     24 | 57.774 % |
153.91/154.00	c |    436806 |   15410    66210   199481 |   419128   425932     24 | 57.774 % |
154.01/154.07	c |    436917 |   15410    66210   199481 |   419128   426043     24 | 57.774 % |
154.11/154.17	c |    437039 |   15410    66210   199481 |   419128   426165     24 | 57.774 % |
154.21/154.28	c |    437173 |   15410    66210   199481 |   419128   426299     24 | 57.774 % |
154.41/154.42	c |    437319 |   15410    66210   199481 |   419128   426445     24 | 57.774 % |
154.51/154.54	c |    437479 |   15410    66210   199481 |   419128   426605     24 | 57.774 % |
154.61/154.70	c |    437656 |   15410    66210   199481 |   419128   426782     24 | 57.774 % |
154.91/154.94	c |    437850 |   15410    66210   199481 |   419128   426976     24 | 57.774 % |
155.01/155.05	c |    438064 |   15410    66210   199481 |   419128   427190     24 | 57.774 % |
155.21/155.24	c |    438297 |   15410    66210   199481 |   419128   427423     24 | 57.774 % |
155.41/155.43	c |    438553 |   15410    66210   199481 |   419128   427679     24 | 57.774 % |
155.71/155.71	c |    438834 |   15410    66210   199481 |   419128   427960     24 | 57.774 % |
155.91/155.97	c |    439143 |   15410    66210   199481 |   419128   428269     24 | 57.774 % |
156.11/156.14	c |    439482 |   15410    66210   199481 |   419128   428608     24 | 57.774 % |
156.31/156.37	c |    439855 |   15410    66210   199481 |   419128   428981     24 | 57.774 % |
156.61/156.62	c |    440264 |   15410    66210   199481 |   429126   429390     24 | 57.774 % |
157.01/157.03	c |    440713 |   15410    66210   199481 |   429126   429839     24 | 57.774 % |
157.21/157.30	c |    441206 |   15410    66210   199481 |   429126   430332     24 | 57.774 % |
157.71/157.79	c |    441748 |   15410    66210   199481 |   429126   430874     24 | 57.774 % |
158.21/158.22	c |    442344 |   15410    66210   199481 |   429126   431470     24 | 57.774 % |
158.51/158.60	c |    442999 |   15410    66210   199481 |   429126   432125     24 | 57.774 % |
159.01/159.07	c |    443720 |   15410    66210   199481 |   429126   432846     24 | 57.774 % |
159.41/159.44	c |    444513 |   15410    66210   199481 |   429126   433639     24 | 57.774 % |
159.91/159.94	c |    445387 |   15410    66210   199481 |   429126   434513     24 | 57.774 % |
160.31/160.33	c |    446345 |   15410    66210   199481 |   429126   435471     24 | 57.774 % |
161.01/161.02	c |    447398 |   15410    66210   199481 |   429126   436524     24 | 57.774 % |
162.01/162.03	c |    448557 |   15410    66210   199481 |   429126   437683     24 | 57.774 % |
162.51/162.56	c |    449830 |   15410    66210   199481 |   429126   438956     24 | 57.774 % |
162.81/162.81	c |    451232 |   15410    66210   199481 |   439127   440358     24 | 57.774 % |
163.81/163.87	c |    452774 |   15409    66210   199481 |   439127   441899     24 | 57.777 % |
164.91/164.90	c |    454469 |   15409    66210   199481 |   439127   443594     24 | 57.777 % |
166.11/166.16	c |    456332 |   15408    66210   199481 |   439127   445456     25 | 57.779 % |
166.81/166.87	c |    458381 |   15408    66210   199481 |   439127   447505     25 | 57.779 % |
168.01/168.09	c |    460634 |   15408    66210   199481 |   449124   449758     25 | 57.779 % |
169.01/169.07	c |    463114 |   15408    66210   199481 |   449124   452238     25 | 57.779 % |
172.82/172.81	c |    465839 |   15408    66210   199481 |   449124   454963     25 | 57.779 % |
173.92/173.93	c |    468836 |   15408    66142   199287 |   449124   457901     25 | 57.779 % |
176.21/176.22	c |    472135 |   15408    66142   199287 |   459065   461200     26 | 57.779 % |
177.31/177.31	c |    475760 |   15408    66142   199287 |   459065   464825     26 | 57.779 % |
179.01/179.02	c |    479748 |   15408    66142   199287 |   459065   468813     26 | 57.779 % |
180.71/180.80	c |    484133 |   15408    66142   199287 |   469067   473198     26 | 57.779 % |
180.81/180.89	c |    484235 |   15408    66142   199287 |   469067   473300     26 | 57.779 % |
180.91/180.97	c |    484346 |   15408    66142   199287 |   469067   473411     26 | 57.779 % |
181.01/181.02	c |    484469 |   15408    66142   199287 |   469067   473534     26 | 57.779 % |
181.11/181.15	c |    484602 |   15408    66142   199287 |   469067   473667     26 | 57.779 % |
181.21/181.29	c |    484750 |   15408    66142   199287 |   469067   473815     26 | 57.779 % |
181.41/181.45	c |    484913 |   15408    66142   199287 |   469067   473978     26 | 57.779 % |
181.51/181.55	c |    485090 |   15408    66142   199287 |   469067   474155     26 | 57.779 % |
181.81/181.81	c |    485283 |   15408    66142   199287 |   469067   474348     26 | 57.779 % |
182.01/182.03	c |    485495 |   15408    66142   199287 |   469067   474560     26 | 57.779 % |
182.21/182.22	c |    485728 |   15408    66142   199287 |   469067   474793     26 | 57.779 % |
182.31/182.36	c |    485984 |   15408    66142   199287 |   469067   475049     26 | 57.779 % |
182.51/182.60	c |    486265 |   15408    66142   199287 |   469067   475330     26 | 57.779 % |
182.81/182.88	c |    486574 |   15408    66142   199287 |   469067   475639     26 | 57.779 % |
183.01/183.10	c |    486913 |   15408    66142   199287 |   469067   475978     26 | 57.779 % |
183.31/183.33	c |    487285 |   15408    66142   199287 |   469067   476350     26 | 57.779 % |
183.51/183.52	c |    487694 |   15408    66142   199287 |   469067   476759     26 | 57.779 % |
183.71/183.75	c |    488145 |   15407    66142   199287 |   469067   477209     26 | 57.788 % |
184.01/184.03	c |    488639 |   15406    66142   199287 |   469067   477702     26 | 57.790 % |
184.41/184.45	c |    489183 |   15406    66142   199287 |   469067   478246     26 | 57.790 % |
184.61/184.65	c |    489780 |   15406    66142   199287 |   469067   478843     26 | 57.790 % |
185.01/185.08	c |    490435 |   15406    66142   199287 |   479066   479498     26 | 57.790 % |
185.41/185.46	c |    491156 |   15406    66142   199287 |   479066   480219     26 | 57.790 % |
185.81/185.84	c |    491948 |   15406    66142   199287 |   479066   481011     26 | 57.790 % |
186.11/186.14	c |    492819 |   15404    66142   199287 |   479066   481880     26 | 57.796 % |
186.51/186.58	c |    493778 |   15403    66142   199287 |   479066   482838     26 | 57.807 % |
187.01/187.04	c |    494831 |   15403    66142   199287 |   479066   483891     26 | 57.807 % |
187.91/187.93	c |    495989 |   15403    66142   199287 |   479066   485049     26 | 57.807 % |
188.51/188.56	c |    497263 |   15403    66142   199287 |   479066   486323     26 | 57.807 % |
189.81/189.87	c |    498663 |   15403    66142   199287 |   479066   487723     26 | 57.807 % |
190.71/190.72	c |    500204 |   15403    66142   199287 |   489060   489264     26 | 57.807 % |
191.61/191.64	c |    501898 |   15403    66142   199287 |   489060   490958     26 | 57.807 % |
192.51/192.57	c |    503761 |   15403    66142   199287 |   489060   492821     26 | 57.807 % |
193.11/193.19	c |    505811 |   15403    66142   199287 |   489060   494871     26 | 57.807 % |
193.91/193.96	c |    508064 |   15403    66142   199287 |   489060   497124     26 | 57.807 % |
195.01/195.02	c |    510544 |   15403    66142   199287 |   499060   499604     26 | 57.807 % |
196.61/196.67	c |    513269 |   15401    66142   199287 |   499060   502327     26 | 57.823 % |
199.12/199.12	c |    516266 |   15401    66142   199287 |   499060   505324     27 | 57.823 % |
201.22/201.27	c |    519562 |   15401    66142   199287 |   499060   508620     27 | 57.823 % |
203.22/203.22	c |    523187 |   15401    66142   199287 |   509059   512245     27 | 57.823 % |
207.12/207.17	c |    527174 |   15401    66142   199287 |   509059   516232     27 | 57.823 % |
208.92/208.93	c |    531560 |   15401    66142   199287 |   519059   520618     27 | 57.823 % |
215.12/215.12	c |    536384 |   15391    66142   199287 |   519059   525440     28 | 57.851 % |
215.22/215.24	c |    536485 |   15391    66142   199287 |   519059   525541     28 | 57.851 % |
215.32/215.36	c |    536595 |   15389    66142   199287 |   519059   525650     28 | 57.856 % |
215.62/215.64	c |    536716 |   15389    66142   199287 |   519059   525771     28 | 57.856 % |
215.72/215.76	c |    536849 |   15389    66142   199287 |   519059   525904     28 | 57.856 % |
215.82/215.89	c |    536998 |   15389    66142   199287 |   519059   526053     28 | 57.856 % |
216.22/216.23	c |    537159 |   15380    66013   198905 |   519059   526060     28 | 57.856 % |
216.32/216.40	c |    537335 |   15380    66013   198905 |   519059   526236     28 | 57.856 % |
216.42/216.49	c |    537530 |   15380    66013   198905 |   519059   526431     28 | 57.856 % |
216.52/216.59	c |    537742 |   15380    66013   198905 |   519059   526643     28 | 57.856 % |
216.62/216.65	c |    537975 |   15380    66013   198905 |   519059   526876     28 | 57.856 % |
216.72/216.76	c |    538232 |   15380    66013   198905 |   519059   527133     28 | 57.856 % |
216.92/216.99	c |    538514 |   15380    66013   198905 |   519059   527415     28 | 57.856 % |
217.22/217.31	c |    538824 |   15380    66013   198905 |   519059   527725     28 | 57.856 % |
217.42/217.48	c |    539163 |   15380    66013   198905 |   519059   528064     28 | 57.856 % |
217.82/217.82	c |    539538 |   15380    66013   198905 |   519059   528439     28 | 57.856 % |
218.02/218.04	c |    539947 |   15380    66013   198905 |   519059   528848     28 | 57.856 % |
218.32/218.38	c |    540398 |   15380    66013   198905 |   528901   529299     28 | 57.856 % |
218.92/218.92	c |    540891 |   15380    66013   198905 |   528901   529792     28 | 57.856 % |
219.32/219.33	c |    541434 |   15380    66013   198905 |   528901   530335     28 | 57.856 % |
219.92/219.97	c |    542030 |   15380    66013   198905 |   528901   530931     28 | 57.856 % |
220.22/220.26	c |    542685 |   15380    66013   198905 |   528901   531586     28 | 57.856 % |
220.82/220.84	c |    543405 |   15380    66013   198905 |   528901   532306     28 | 57.856 % |
221.32/221.34	c |    544197 |   15380    66013   198905 |   528901   533098     28 | 57.856 % |
221.82/221.90	c |    545069 |   15380    66013   198905 |   528901   533970     28 | 57.856 % |
222.52/222.54	c |    546027 |   15380    66013   198905 |   528901   534928     28 | 57.856 % |
223.12/223.17	c |    547082 |   15380    66013   198905 |   528901   535983     28 | 57.856 % |
223.92/223.99	c |    548242 |   15379    66013   198905 |   528901   537142     28 | 57.859 % |
225.02/225.01	c |    549515 |   15379    66013   198905 |   528901   538415     28 | 57.859 % |
225.72/225.79	c |    550915 |   15379    66013   198905 |   538900   539815     28 | 57.859 % |
226.42/226.45	c |    552455 |   15379    66013   198905 |   538900   541355     28 | 57.859 % |
227.32/227.39	c |    554149 |   15378    66013   198905 |   538900   543048     28 | 57.862 % |
228.82/228.89	c |    556012 |   15378    66013   198905 |   538900   544911     28 | 57.862 % |
230.22/230.28	c |    558062 |   15376    66013   198905 |   538900   546960     28 | 57.867 % |
232.22/232.28	c |    560318 |   15374    66013   198905 |   548896   549214     28 | 57.883 % |
233.62/233.64	c |    562798 |   15372    66013   198905 |   548896   551692     28 | 57.889 % |
236.12/236.14	c |    565526 |   15372    66013   198905 |   548896   554420     28 | 57.889 % |
237.52/237.58	c |    568523 |   15372    66013   198905 |   548896   557417     28 | 57.889 % |
241.02/241.08	c |    571820 |   15372    66013   198905 |   558896   560714     28 | 57.889 % |
243.72/243.79	c |    575445 |   15372    66013   198905 |   558896   564339     29 | 57.889 % |
246.92/246.91	c |    579434 |   15370    66013   198905 |   558896   568326     29 | 57.894 % |
249.42/249.47	c |    583819 |   15370    66013   198905 |   568892   572711     29 | 57.894 % |
253.92/253.98	c |    588644 |   15370    66013   198905 |   568892   577536     29 | 57.894 % |
257.32/257.34	c |    593950 |   15370    66013   198905 |   578892   582842     29 | 57.894 % |
257.42/257.41	c |    594050 |   15370    66013   198905 |   578892   582942     29 | 57.894 % |
257.42/257.51	c |    594160 |   15370    66013   198905 |   578892   583052     29 | 57.894 % |
257.62/257.61	c |    594281 |   15370    66013   198905 |   578892   583173     29 | 57.894 % |
257.62/257.70	c |    594415 |   15370    66013   198905 |   578892   583307     29 | 57.894 % |
257.72/257.74	c |    594561 |   15370    66013   198905 |   578892   583453     29 | 57.894 % |
257.92/257.97	c |    594723 |   15370    66013   198905 |   578892   583615     29 | 57.894 % |
258.12/258.11	c |    594899 |   15370    66013   198905 |   578892   583791     29 | 57.894 % |
258.22/258.21	c |    595092 |   15370    66013   198905 |   578892   583984     29 | 57.894 % |
258.52/258.51	c |    595304 |   15370    66013   198905 |   578892   584196     29 | 57.894 % |
258.63/258.68	c |    595537 |   15370    66013   198905 |   578892   584429     29 | 57.894 % |
259.02/259.03	c |    595798 |   15370    66013   198905 |   578892   584690     29 | 57.894 % |
259.22/259.26	c |    596079 |   15370    66013   198905 |   578892   584971     29 | 57.894 % |
259.52/259.57	c |    596390 |   15370    66013   198905 |   578892   585282     29 | 57.894 % |
259.73/259.76	c |    596729 |   15370    66013   198905 |   578892   585621     29 | 57.894 % |
259.92/260.00	c |    597101 |   15369    66013   198905 |   578892   585992     29 | 57.897 % |
260.52/260.52	c |    597511 |   15369    66013   198905 |   578892   586402     29 | 57.897 % |
260.83/260.85	c |    597960 |   15369    66013   198905 |   578892   586851     29 | 57.897 % |
261.22/261.27	c |    598453 |   15369    66013   198905 |   578892   587344     29 | 57.897 % |
261.62/261.61	c |    598995 |   15369    66013   198905 |   578892   587886     29 | 57.897 % |
262.12/262.14	c |    599591 |   15368    66013   198905 |   578892   588481     29 | 57.900 % |
262.72/262.74	c |    600247 |   15368    66013   198905 |   588892   589137     29 | 57.900 % |
263.22/263.30	c |    600967 |   15368    66013   198905 |   588892   589857     29 | 57.900 % |
264.32/264.32	c |    601759 |   15368    66013   198905 |   588892   590649     29 | 57.900 % |
264.82/264.81	c |    602630 |   15368    66013   198905 |   588892   591520     29 | 57.900 % |
265.62/265.67	c |    603588 |   15366    66013   198905 |   588892   592476     29 | 57.905 % |
266.42/266.49	c |    604641 |   15366    66013   198905 |   588892   593529     29 | 57.905 % |
266.92/266.99	c |    605799 |   15366    66013   198905 |   588892   594687     29 | 57.905 % |
267.52/267.57	c |    607072 |   15366    66013   198905 |   588892   595960     29 | 57.905 % |
268.62/268.63	c |    608475 |   15366    66013   198905 |   588892   597363     29 | 57.905 % |
269.72/269.72	c |    610015 |   15366    66013   198905 |   598889   598903     29 | 57.905 % |
271.52/271.53	c |    611709 |   15364    66013   198905 |   598889   600596     29 | 57.911 % |
272.62/272.66	c |    613572 |   15364    66013   198905 |   598889   602459     29 | 57.911 % |
274.82/274.85	c |    615621 |   15362    66013   198905 |   598889   604506     29 | 57.916 % |
276.52/276.56	c |    617876 |   15362    66013   198905 |   598889   606761     29 | 57.916 % |
278.62/278.65	c |    620355 |   15362    66013   198905 |   608885   609240     29 | 57.916 % |
281.53/281.53	c |    623080 |   15362    66013   198905 |   608885   611965     29 | 57.916 % |
285.03/285.04	c |    626077 |   15361    66013   198905 |   608885   614961     30 | 57.919 % |
288.13/288.12	c |    629373 |   15361    66013   198905 |   608885   618257     30 | 57.919 % |
291.73/291.71	c |    632999 |   15357    65894   198576 |   618736   621734     30 | 57.919 % |
294.93/294.99	c |    636986 |   15357    65894   198576 |   618736   625721     30 | 57.919 % |
298.73/298.78	c |    641371 |   15357    65894   198576 |   628735   630106     30 | 57.919 % |
303.43/303.44	c |    646194 |   15357    65894   198576 |   628735   634929     30 | 57.919 % |
308.33/308.37	c |    651499 |   15357    65894   198576 |   638737   640234     31 | 57.919 % |
313.53/313.51	c |    657335 |   15356    65894   198576 |   638737   646069     31 | 57.922 % |
313.53/313.60	c |    657436 |   15356    65894   198576 |   638737   646170     31 | 57.922 % |
313.73/313.71	c |    657546 |   15356    65894   198576 |   638737   646280     31 | 57.922 % |
313.83/313.83	c |    657668 |   15356    65894   198576 |   638737   646402     31 | 57.922 % |
314.03/314.02	c |    657801 |   15356    65894   198576 |   638737   646535     31 | 57.922 % |
314.03/314.09	c |    657947 |   15356    65894   198576 |   638737   646681     31 | 57.922 % |
314.23/314.24	c |    658108 |   15356    65894   198576 |   638737   646842     31 | 57.922 % |
314.43/314.50	c |    658285 |   15356    65894   198576 |   638737   647019     31 | 57.922 % |
314.73/314.76	c |    658478 |   15356    65894   198576 |   638737   647212     31 | 57.922 % |
315.03/315.10	c |    658693 |   15356    65894   198576 |   638737   647427     31 | 57.922 % |
315.33/315.38	c |    658927 |   15356    65894   198576 |   638737   647661     31 | 57.922 % |
315.63/315.65	c |    659183 |   15356    65894   198576 |   638737   647917     31 | 57.922 % |
315.73/315.76	c |    659464 |   15356    65894   198576 |   638737   648198     31 | 57.922 % |
315.93/315.92	c |    659774 |   15356    65894   198576 |   638737   648508     31 | 57.922 % |
316.53/316.55	c |    660113 |   15356    65894   198576 |   648734   648847     31 | 57.922 % |
317.03/317.02	c |    660488 |   15356    65894   198576 |   648734   649222     31 | 57.922 % |
317.43/317.43	c |    660897 |   15356    65894   198576 |   648734   649631     31 | 57.922 % |
317.83/317.90	c |    661346 |   15356    65894   198576 |   648734   650080     31 | 57.922 % |
318.33/318.34	c |    661841 |   15356    65894   198576 |   648734   650575     31 | 57.922 % |
319.03/319.01	c |    662383 |   15356    65894   198576 |   648734   651117     31 | 57.922 % |
319.53/319.52	c |    662980 |   15356    65894   198576 |   648734   651714     31 | 57.922 % |
320.33/320.39	c |    663635 |   15356    65894   198576 |   648734   652369     31 | 57.922 % |
320.63/320.70	c |    664359 |   15356    65894   198576 |   648734   653093     31 | 57.922 % |
321.53/321.52	c |    665153 |   15356    65894   198576 |   648734   653887     31 | 57.922 % |
322.23/322.21	c |    666024 |   15356    65894   198576 |   648734   654758     31 | 57.922 % |
323.23/323.24	c |    666983 |   15356    65894   198576 |   648734   655717     31 | 57.922 % |
324.33/324.40	c |    668037 |   15356    65894   198576 |   648734   656771     31 | 57.922 % |
324.83/324.85	c |    669196 |   15356    65894   198576 |   648734   657930     31 | 57.922 % |
325.23/325.28	c |    670469 |   15356    65894   198576 |   658736   659203     31 | 57.922 % |
326.93/326.94	c |    671870 |   15356    65894   198576 |   658736   660604     31 | 57.922 % |
327.93/327.93	c |    673411 |   15356    65894   198576 |   658736   662145     31 | 57.922 % |
329.83/329.81	c |    675105 |   15356    65894   198576 |   658736   663839     31 | 57.922 % |
332.13/332.12	c |    676969 |   15355    65894   198576 |   658736   665702     31 | 57.925 % |
333.93/334.00	c |    679018 |   15355    65894   198576 |   658736   667751     31 | 57.925 % |
335.83/335.90	c |    681273 |   15355    65894   198576 |   668733   670006     31 | 57.925 % |
336.93/336.99	c |    683752 |   15355    65894   198576 |   668733   672485     31 | 57.925 % |
339.13/339.20	c |    686477 |   15355    65894   198576 |   668733   675210     31 | 57.925 % |
341.33/341.37	c |    689474 |   15355    65894   198576 |   668733   678207     31 | 57.925 % |
343.23/343.24	c |    692770 |   15353    65894   198576 |   678734   681501     31 | 57.930 % |
348.33/348.31	c |    696396 |   15353    65894   198576 |   678734   685127     31 | 57.930 % |
351.63/351.61	c |    700385 |   15351    65894   198576 |   688730   689115     31 | 57.936 % |
357.64/357.62	c |    704774 |   15350    65894   198576 |   688730   693503     31 | 57.938 % |
360.13/360.12	c |    709597 |   15350    65894   198576 |   688730   698326     31 | 57.938 % |
366.04/366.03	c |    714903 |   15350    65894   198576 |   698733   703632     32 | 57.938 % |
373.64/373.66	c |    720739 |   15348    65894   198576 |   708730   709466     32 | 57.944 % |
380.04/380.04	c |    727157 |   15346    65894   198576 |   708730   715882     32 | 57.949 % |
380.14/380.18	c |    727261 |   15346    65894   198576 |   708730   715986     32 | 57.949 % |
380.24/380.31	c |    727371 |   15346    65894   198576 |   708730   716096     32 | 57.949 % |
380.54/380.55	c |    727492 |   15346    65894   198576 |   708730   716217     32 | 57.949 % |
380.84/380.81	c |    727625 |   15346    65894   198576 |   708730   716350     32 | 57.949 % |
380.94/381.00	c |    727773 |   15346    65894   198576 |   708730   716498     32 | 57.949 % |
381.14/381.18	c |    727935 |   15346    65894   198576 |   708730   716660     32 | 57.949 % |
381.34/381.39	c |    728112 |   15346    65894   198576 |   708730   716837     32 | 57.949 % |
381.54/381.53	c |    728305 |   15346    65894   198576 |   708730   717030     32 | 57.949 % |
381.64/381.70	c |    728518 |   15346    65894   198576 |   708730   717243     32 | 57.949 % |
382.04/382.02	c |    728752 |   15346    65894   198576 |   708730   717477     32 | 57.949 % |
382.34/382.33	c |    729008 |   15346    65894   198576 |   708730   717733     32 | 57.949 % |
382.64/382.70	c |    729289 |   15346    65894   198576 |   708730   718014     32 | 57.949 % |
382.94/382.92	c |    729599 |   15346    65894   198576 |   708730   718324     32 | 57.949 % |
383.44/383.42	c |    729939 |   15346    65894   198576 |   708730   718664     32 | 57.949 % |
383.84/383.85	c |    730312 |   15346    65894   198576 |   718725   719037     32 | 57.949 % |
384.34/384.36	c |    730721 |   15346    65894   198576 |   718725   719446     32 | 57.949 % |
384.74/384.81	c |    731170 |   15346    65894   198576 |   718725   719895     32 | 57.949 % |
385.34/385.40	c |    731663 |   15346    65894   198576 |   718725   720388     32 | 57.949 % |
385.64/385.69	c |    732206 |   15346    65894   198576 |   718725   720931     32 | 57.949 % |
386.54/386.51	c |    732803 |   15346    65894   198576 |   718725   721528     32 | 57.949 % |
387.04/387.04	c |    733459 |   15346    65894   198576 |   718725   722184     32 | 57.949 % |
388.04/388.09	c |    734180 |   15346    65894   198576 |   718725   722905     32 | 57.949 % |
388.74/388.73	c |    734972 |   15346    65894   198576 |   718725   723697     32 | 57.949 % |
390.04/390.09	c |    735843 |   15346    65894   198576 |   718725   724568     32 | 57.949 % |
390.74/390.74	c |    736802 |   15346    65894   198576 |   718725   725527     32 | 57.949 % |
391.54/391.52	c |    737855 |   15346    65894   198576 |   718725   726580     32 | 57.949 % |
392.64/392.65	c |    739013 |   15346    65894   198576 |   718725   727738     32 | 57.949 % |
394.44/394.47	c |    740287 |   15345    65894   198576 |   728724   729011     32 | 57.952 % |
395.24/395.23	c |    741687 |   15345    65894   198576 |   728724   730411     32 | 57.952 % |
396.94/396.92	c |    743230 |   15345    65894   198576 |   728724   731954     32 | 57.952 % |
397.44/397.42	c |    744925 |   15345    65894   198576 |   728724   733649     32 | 57.952 % |
399.34/399.32	c |    746789 |   15345    65894   198576 |   728724   735513     32 | 57.952 % |
400.74/400.74	c |    748838 |   15345    65894   198576 |   728724   737562     32 | 57.952 % |
402.84/402.83	c |    751096 |   15345    65894   198576 |   738728   739820     32 | 57.952 % |
405.14/405.12	c |    753575 |   15345    65822   198385 |   738728   742212     32 | 57.952 % |
410.04/410.03	c |    756301 |   15345    65822   198385 |   738728   744938     32 | 57.952 % |
412.94/412.96	c |    759300 |   15345    65822   198385 |   738728   747937     32 | 57.952 % |
419.64/419.61	c |    762597 |   15345    65822   198385 |   748637   751234     33 | 57.952 % |
423.44/423.42	c |    766223 |   15345    65822   198385 |   748637   754860     33 | 57.952 % |
425.94/425.96	c |    770211 |   15345    65822   198385 |   758638   758848     33 | 57.952 % |
432.34/432.38	c |    774596 |   15345    65822   198385 |   758638   763233     33 | 57.952 % |
438.94/439.00	c |    779420 |   15345    65822   198385 |   758638   768057     33 | 57.952 % |
447.85/447.86	c |    784728 |   15345    65822   198385 |   768637   773365     33 | 57.952 % |
453.35/453.34	c |    790563 |   15345    65822   198385 |   778638   779200     33 | 57.952 % |
465.75/465.79	c |    796981 |   15345    65822   198385 |   778638   785618     34 | 57.952 % |
474.35/474.34	c |    804041 |   15345    65822   198385 |   788638   792678     34 | 57.952 % |
474.55/474.51	c |    804142 |   15345    65822   198385 |   788638   792779     34 | 57.952 % |
474.65/474.66	c |    804252 |   15345    65822   198385 |   788638   792889     34 | 57.952 % |
474.85/474.88	c |    804373 |   15345    65822   198385 |   788638   793010     34 | 57.952 % |
474.95/475.00	c |    804506 |   15345    65822   198385 |   788638   793143     34 | 57.952 % |
475.15/475.20	c |    804652 |   15345    65822   198385 |   788638   793289     34 | 57.952 % |
475.45/475.42	c |    804816 |   15345    65822   198385 |   788638   793453     34 | 57.952 % |
475.65/475.64	c |    804994 |   15345    65822   198385 |   788638   793631     34 | 57.952 % |
475.85/475.87	c |    805190 |   15345    65822   198385 |   788638   793827     34 | 57.952 % |
476.05/476.10	c |    805404 |   15345    65822   198385 |   788638   794041     34 | 57.952 % |
476.35/476.41	c |    805639 |   15345    65822   198385 |   788638   794276     34 | 57.952 % |
476.65/476.71	c |    805897 |   15345    65822   198385 |   788638   794534     34 | 57.952 % |
476.85/476.88	c |    806178 |   15345    65822   198385 |   788638   794815     34 | 57.952 % |
477.15/477.13	c |    806488 |   15345    65822   198385 |   788638   795125     34 | 57.952 % |
478.14/478.16	c |    806828 |   15345    65822   198385 |   788638   795465     34 | 57.952 % |
478.54/478.53	c |    807200 |   15345    65822   198385 |   788638   795837     34 | 57.952 % |
478.94/478.92	c |    807609 |   15345    65822   198385 |   788638   796246     34 | 57.952 % |
479.44/479.41	c |    808058 |   15345    65822   198385 |   788638   796695     34 | 57.952 % |
479.84/479.85	c |    808551 |   15345    65822   198385 |   788638   797188     34 | 57.952 % |
480.24/480.28	c |    809094 |   15345    65822   198385 |   788638   797731     34 | 57.952 % |
480.84/480.81	c |    809691 |   15345    65822   198385 |   788638   798328     34 | 57.952 % |
481.64/481.66	c |    810348 |   15344    65822   198385 |   798636   798984     34 | 57.955 % |
482.94/482.90	c |    811069 |   15344    65822   198385 |   798636   799705     34 | 57.955 % |
484.34/484.34	c |    811862 |   15344    65822   198385 |   798636   800498     34 | 57.955 % |
485.04/485.03	c |    812734 |   15344    65822   198385 |   798636   801370     34 | 57.955 % |
486.24/486.22	c |    813692 |   15344    65822   198385 |   798636   802328     34 | 57.955 % |
487.55/487.52	c |    814748 |   15344    65822   198385 |   798636   803384     34 | 57.955 % |
490.25/490.22	c |    815907 |   15344    65822   198385 |   798636   804543     34 | 57.955 % |
492.15/492.12	c |    817180 |   15344    65822   198385 |   798636   805816     34 | 57.955 % |
493.45/493.50	c |    818580 |   15344    65822   198385 |   798636   807216     34 | 57.955 % |
495.25/495.23	c |    820120 |   15344    65822   198385 |   808637   808756     34 | 57.955 % |
497.65/497.66	c |    821814 |   15344    65822   198385 |   808637   810450     34 | 57.955 % |
500.55/500.60	c |    823677 |   15343    65822   198385 |   808637   812312     34 | 57.957 % |
503.15/503.13	c |    825727 |   15343    65822   198385 |   808637   814362     34 | 57.957 % |
506.75/506.72	c |    827980 |   15343    65822   198385 |   808637   816615     34 | 57.957 % |
509.35/509.31	c |    830459 |   15343    65822   198385 |   818635   819094     34 | 57.957 % |
510.85/510.86	c |    833185 |   15343    65822   198385 |   818635   821820     34 | 57.957 % |
513.35/513.37	c |    836183 |   15343    65822   198385 |   818635   824818     34 | 57.957 % |
514.96/514.99	c |    839479 |   15343    65822   198385 |   818635   828114     34 | 57.957 % |
518.75/518.72	c |    843104 |   15343    65822   198385 |   828637   831739     34 | 57.957 % |
523.15/523.13	c |    847091 |   15343    65822   198385 |   828637   835726     34 | 57.957 % |
529.76/529.72	c |    851476 |   15343    65822   198385 |   838635   840111     34 | 57.957 % |
537.46/537.51	c |    856300 |   15343    65822   198385 |   838635   844935     34 | 57.957 % |
541.26/541.26	c |    861606 |   15342    65822   198385 |   848635   850240     34 | 57.960 % |
545.36/545.39	c |    867441 |   15340    65822   198385 |   848635   856073     34 | 57.966 % |
552.16/552.17	c |    873859 |   15340    65822   198385 |   858634   862491     34 | 57.966 % |
560.46/560.44	c |    880918 |   15339    65822   198385 |   868633   869549     34 | 57.968 % |
567.06/567.07	c |    888682 |   15338    65822   198385 |   868633   877312     34 | 57.971 % |
567.16/567.20	c |    888784 |   15338    65822   198385 |   868633   877414     34 | 57.971 % |
567.36/567.41	c |    888894 |   15338    65822   198385 |   868633   877524     34 | 57.971 % |
567.76/567.73	c |    889017 |   15338    65822   198385 |   868633   877647     34 | 57.971 % |
567.96/567.93	c |    889152 |   15338    65822   198385 |   868633   877782     34 | 57.971 % |
568.16/568.21	c |    889298 |   15338    65822   198385 |   868633   877928     34 | 57.971 % |
568.56/568.58	c |    889462 |   15338    65822   198385 |   868633   878092     34 | 57.971 % |
568.86/568.82	c |    889639 |   15338    65822   198385 |   868633   878269     34 | 57.971 % |
569.26/569.24	c |    889832 |   15338    65822   198385 |   868633   878462     34 | 57.971 % |
569.76/569.79	c |    890046 |   15338    65822   198385 |   878630   878676     34 | 57.971 % |
570.16/570.12	c |    890280 |   15338    65822   198385 |   878630   878910     34 | 57.971 % |
570.46/570.43	c |    890537 |   15338    65822   198385 |   878630   879167     34 | 57.971 % |
570.86/570.86	c |    890818 |   15338    65822   198385 |   878630   879448     34 | 57.971 % |
571.56/571.53	c |    891127 |   15338    65822   198385 |   878630   879757     34 | 57.971 % |
571.96/571.94	c |    891467 |   15338    65822   198385 |   878630   880097     34 | 57.971 % |
572.46/572.49	c |    891840 |   15338    65822   198385 |   878630   880470     34 | 57.971 % |
572.86/572.81	c |    892251 |   15338    65822   198385 |   878630   880881     34 | 57.971 % |
573.36/573.34	c |    892700 |   15338    65822   198385 |   878630   881330     34 | 57.971 % |
574.06/574.04	c |    893194 |   15338    65822   198385 |   878630   881824     34 | 57.971 % |
574.86/574.88	c |    893737 |   15338    65822   198385 |   878630   882367     34 | 57.971 % |
575.47/575.45	c |    894333 |   15338    65822   198385 |   878630   882963     34 | 57.971 % |
576.76/576.79	c |    894988 |   15338    65822   198385 |   878630   883618     34 | 57.971 % |
577.76/577.79	c |    895709 |   15338    65822   198385 |   878630   884339     34 | 57.971 % |
579.66/579.70	c |    896501 |   15338    65822   198385 |   878630   885131     34 | 57.971 % |
580.86/580.88	c |    897373 |   15336    65822   198385 |   878630   886001     34 | 57.977 % |
582.66/582.63	c |    898332 |   15336    65822   198385 |   878630   886960     34 | 57.977 % |
584.46/584.44	c |    899386 |   15336    65768   198241 |   878630   887954     34 | 57.977 % |
586.26/586.30	c |    900544 |   15336    65768   198241 |   888570   889112     35 | 57.977 % |
588.16/588.19	c |    901818 |   15336    65768   198241 |   888570   890386     35 | 57.977 % |
592.66/592.68	c |    903219 |   15336    65768   198241 |   888570   891787     35 | 57.977 % |
595.36/595.33	c |    904760 |   15336    65768   198241 |   888570   893328     35 | 57.977 % |
596.56/596.61	c |    906456 |   15336    65768   198241 |   888570   895024     35 | 57.977 % |
599.76/599.73	c |    908320 |   15336    65768   198241 |   888570   896888     35 | 57.977 % |
601.16/601.14	c |    910370 |   15336    65768   198241 |   898569   898938     35 | 57.977 % |
603.96/603.99	c |    912623 |   15336    65768   198241 |   898569   901191     35 | 57.977 % |
606.56/606.51	c |    915101 |   15336    65768   198241 |   898569   903669     35 | 57.977 % |
608.37/608.34	c |    917826 |   15336    65768   198241 |   898569   906394     35 | 57.977 % |
615.77/615.73	c |    920823 |   15336    65768   198241 |   908569   909391     35 | 57.977 % |
620.27/620.32	c |    924119 |   15336    65768   198241 |   908569   912687     35 | 57.977 % |
623.97/623.95	c |    927745 |   15336    65768   198241 |   908569   916313     35 | 57.977 % |
627.97/627.95	c |    931735 |   15333    65768   198241 |   918567   920301     35 | 57.985 % |
633.07/633.05	c |    936120 |   15332    65768   198241 |   918567   924685     36 | 57.988 % |
638.47/638.51	c |    940943 |   15332    65768   198241 |   928566   929508     36 | 57.988 % |
647.27/647.31	c |    946248 |   15332    65768   198241 |   928566   934813     36 | 57.988 % |
653.67/653.65	c |    952084 |   15331    65768   198241 |   938564   940648     36 | 57.990 % |
658.77/658.77	c |    958504 |   15331    65768   198241 |   938564   947068     36 | 57.990 % |
670.57/670.60	c |    965563 |   15331    65768   198241 |   948564   954127     36 | 57.990 % |
682.07/682.04	c |    973327 |   15331    65768   198241 |   958564   961891     37 | 57.990 % |
694.08/694.05	c |    981868 |   15330    65768   198241 |   968564   970431     37 | 57.993 % |
694.28/694.27	c |    981968 |   15330    65768   198241 |   968564   970531     37 | 57.993 % |
694.48/694.45	c |    982078 |   15330    65768   198241 |   968564   970641     37 | 57.993 % |
694.68/694.65	c |    982200 |   15330    65768   198241 |   968564   970763     37 | 57.993 % |
694.98/695.01	c |    982333 |   15330    65768   198241 |   968564   970896     37 | 57.993 % |
695.28/695.29	c |    982479 |   15330    65768   198241 |   968564   971042     37 | 57.993 % |
695.68/695.69	c |    982639 |   15330    65768   198241 |   968564   971202     37 | 57.993 % |
696.08/696.08	c |    982818 |   15330    65768   198241 |   968564   971381     37 | 57.993 % |
696.38/696.36	c |    983011 |   15330    65768   198241 |   968564   971574     37 | 57.993 % |
696.68/696.71	c |    983223 |   15330    65768   198241 |   968564   971786     37 | 57.993 % |
697.18/697.17	c |    983456 |   15330    65768   198241 |   968564   972019     37 | 57.993 % |
697.88/697.85	c |    983712 |   15330    65768   198241 |   968564   972275     37 | 57.993 % |
698.68/698.71	c |    983993 |   15330    65768   198241 |   968564   972556     37 | 57.993 % |
699.18/699.22	c |    984304 |   15330    65768   198241 |   968564   972867     37 | 57.993 % |
699.78/699.78	c |    984643 |   15330    65768   198241 |   968564   973206     37 | 57.993 % |
700.38/700.39	c |    985015 |   15330    65768   198241 |   968564   973578     37 | 57.993 % |
701.68/701.63	c |    985424 |   15330    65768   198241 |   968564   973987     37 | 57.993 % |
701.98/701.95	c |    985874 |   15330    65768   198241 |   968564   974437     37 | 57.993 % |
702.28/702.30	c |    986367 |   15330    65768   198241 |   968564   974930     37 | 57.993 % |
703.28/703.27	c |    986909 |   15330    65768   198241 |   968564   975472     37 | 57.993 % |
704.28/704.28	c |    987506 |   15330    65768   198241 |   968564   976069     37 | 57.993 % |
704.78/704.74	c |    988162 |   15330    65768   198241 |   968564   976725     37 | 57.993 % |
706.08/706.10	c |    988883 |   15330    65768   198241 |   968564   977446     37 | 57.993 % |
707.48/707.51	c |    989675 |   15330    65768   198241 |   968564   978238     37 | 57.993 % |
708.78/708.75	c |    990546 |   15330    65768   198241 |   978565   979109     37 | 57.993 % |
710.38/710.41	c |    991504 |   15328    65768   198241 |   978565   980066     37 | 58.007 % |
713.28/713.28	c |    992559 |   15328    65768   198241 |   978565   981121     37 | 58.007 % |
714.68/714.71	c |    993719 |   15328    65768   198241 |   978565   982281     37 | 58.007 % |
716.58/716.56	c |    994992 |   15328    65768   198241 |   978565   983554     37 | 58.007 % |
718.78/718.75	c |    996392 |   15328    65768   198241 |   978565   984954     37 | 58.007 % |
719.98/719.94	c |    997936 |   15328    65768   198241 |   978565   986498     37 | 58.007 % |
721.58/721.61	c |    999630 |   15327    65768   198241 |   978565   988191     37 | 58.010 % |
722.68/722.65	c |   1001493 |   15327    65768   198241 |   988561   990054     37 | 58.010 % |
726.58/726.52	c |   1003543 |   15326    65768   198241 |   988561   992103     37 | 58.012 % |
729.98/730.01	c |   1005799 |   15326    65768   198241 |   988561   994359     37 | 58.012 % |
733.58/733.56	c |   1008279 |   15324    65768   198241 |   988561   996837     37 | 58.018 % |
738.58/738.57	c |   1011008 |   15324    65768   198241 |   998558   999566     37 | 58.018 % |
743.98/744.01	c |   1014005 |   15323    65768   198241 |   998558  1002562     37 | 58.020 % |
749.08/749.03	c |   1017304 |   15323    65768   198241 |   998558  1005861     37 | 58.020 % |
755.98/755.93	c |   1020932 |   15323    65768   198241 |  1008559  1009489     37 | 58.020 % |
758.68/758.69	c |   1024921 |   15323    65768   198241 |  1008559  1013478     37 | 58.020 % |
767.68/767.68	c |   1029307 |   15323    65768   198241 |  1008559  1017864     38 | 58.020 % |
774.79/774.73	c |   1034130 |   15323    65768   198241 |  1018557  1022687     38 | 58.020 % |
783.99/783.95	c |   1039436 |   15323    65768   198241 |  1018557  1027993     38 | 58.020 % |
793.89/793.86	c |   1045271 |   15323    65768   198241 |  1028557  1033828     38 | 58.020 % |
809.39/809.36	c |   1051691 |   15323    65768   198241 |  1038557  1040248     38 | 58.020 % |
816.59/816.59	c |   1058751 |   15321    65768   198241 |  1038557  1047307     38 | 58.026 % |
831.59/831.55	c |   1066518 |   15320    65768   198241 |  1048558  1055074     38 | 58.026 % |
843.08/843.04	c |   1075059 |   15317    65677   197988 |  1058556  1063542     38 | 58.029 % |
859.49/859.45	c |   1084455 |   15316    65677   197988 |  1068485  1072937     38 | 58.031 % |
859.69/859.67	c |   1084555 |   15316    65677   197988 |  1068485  1073037     38 | 58.031 % |
860.09/860.05	c |   1084665 |   15316    65677   197988 |  1068485  1073147     38 | 58.031 % |
860.39/860.38	c |   1084786 |   15316    65677   197988 |  1068485  1073268     38 | 58.031 % |
860.79/860.78	c |   1084919 |   15316    65677   197988 |  1068485  1073401     38 | 58.031 % |
860.99/860.93	c |   1085067 |   15316    65677   197988 |  1068485  1073549     38 | 58.031 % |
861.19/861.17	c |   1085228 |   15316    65677   197988 |  1068485  1073710     38 | 58.031 % |
861.69/861.64	c |   1085405 |   15316    65677   197988 |  1068485  1073887     38 | 58.031 % |
861.99/861.99	c |   1085598 |   15316    65677   197988 |  1068485  1074080     38 | 58.031 % |
862.49/862.46	c |   1085810 |   15316    65677   197988 |  1068485  1074292     38 | 58.031 % |
862.89/862.89	c |   1086043 |   15316    65677   197988 |  1068485  1074525     38 | 58.031 % |
863.59/863.52	c |   1086299 |   15316    65677   197988 |  1068485  1074781     38 | 58.031 % |
864.09/864.08	c |   1086581 |   15316    65677   197988 |  1068485  1075063     38 | 58.031 % |
864.79/864.74	c |   1086890 |   15316    65677   197988 |  1068485  1075372     38 | 58.031 % |
865.19/865.11	c |   1087231 |   15316    65677   197988 |  1068485  1075713     38 | 58.031 % |
865.89/865.87	c |   1087604 |   15316    65677   197988 |  1068485  1076086     38 | 58.031 % |
866.69/866.67	c |   1088013 |   15316    65677   197988 |  1068485  1076495     38 | 58.031 % |
867.39/867.38	c |   1088465 |   15316    65677   197988 |  1068485  1076947     38 | 58.031 % |
867.89/867.88	c |   1088959 |   15316    65677   197988 |  1068485  1077441     38 | 58.031 % |
869.09/869.08	c |   1089503 |   15316    65677   197988 |  1068485  1077985     38 | 58.031 % |
869.99/870.00	c |   1090100 |   15316    65677   197988 |  1078483  1078582     38 | 58.031 % |
871.39/871.35	c |   1090758 |   15316    65677   197988 |  1078483  1079240     38 | 58.031 % |
872.59/872.59	c |   1091480 |   15316    65677   197988 |  1078483  1079962     38 | 58.031 % |
874.19/874.18	c |   1092274 |   15316    65677   197988 |  1078483  1080756     38 | 58.031 % |
875.19/875.19	c |   1093145 |   15316    65677   197988 |  1078483  1081627     38 | 58.031 % |
876.49/876.44	c |   1094103 |   15316    65677   197988 |  1078483  1082585     38 | 58.031 % |
877.49/877.51	c |   1095157 |   15316    65677   197988 |  1078483  1083639     38 | 58.031 % |
879.59/879.54	c |   1096315 |   15316    65677   197988 |  1078483  1084797     38 | 58.031 % |
880.89/880.81	c |   1097589 |   15316    65677   197988 |  1078483  1086071     38 | 58.031 % |
884.29/884.31	c |   1098989 |   15316    65677   197988 |  1078483  1087471     38 | 58.031 % |
887.79/887.73	c |   1100530 |   15316    65677   197988 |  1088483  1089012     38 | 58.031 % |
891.19/891.19	c |   1102224 |   15315    65677   197988 |  1088483  1090705     38 | 58.034 % |
894.69/894.67	c |   1104089 |   15312    65677   197988 |  1088483  1092568     38 | 58.042 % |
898.09/898.02	c |   1106138 |   15312    65677   197988 |  1088483  1094617     38 | 58.042 % |
903.79/903.72	c |   1108391 |   15312    65677   197988 |  1088483  1096870     38 | 58.042 % |
906.99/906.97	c |   1110870 |   15312    65677   197988 |  1098479  1099349     38 | 58.042 % |
909.19/909.13	c |   1113598 |   15312    65677   197988 |  1098479  1102077     38 | 58.042 % |
911.39/911.34	c |   1116595 |   15312    65677   197988 |  1098479  1105074     38 | 58.042 % |
916.19/916.18	c |   1119892 |   15312    65677   197988 |  1098479  1108371     38 | 58.042 % |
919.59/919.56	c |   1123517 |   15312    65677   197988 |  1108479  1111996     38 | 58.042 % |
924.09/924.02	c |   1127504 |   15312    65677   197988 |  1108479  1115983     38 | 58.042 % |
936.30/936.23	c |   1131890 |   15312    65677   197988 |  1118479  1120369     39 | 58.042 % |
941.80/941.75	c |   1136714 |   15309    65677   197988 |  1118479  1125192     39 | 58.051 % |
947.70/947.64	c |   1142020 |   15309    65677   197988 |  1128479  1130498     39 | 58.051 % |
963.60/963.55	c |   1147855 |   15309    65677   197988 |  1128479  1136333     39 | 58.051 % |
977.20/977.13	c |   1154274 |   15309    65677   197988 |  1138478  1142752     39 | 58.051 % |
988.90/988.82	c |   1161335 |   15309    65677   197988 |  1148479  1149813     39 | 58.051 % |
1005.80/1005.77	c |   1169099 |   15308    65677   197988 |  1148479  1157576     39 | 58.053 % |
1018.81/1018.74	c |   1177639 |   15308    65677   197988 |  1158478  1166116     40 | 58.053 % |
1029.51/1029.44	c |   1187033 |   15308    65677   197988 |  1168479  1175510     40 | 58.053 % |
1059.91/1059.84	c |   1197367 |   15306    65677   197988 |  1178477  1185842     40 | 58.059 % |
1060.21/1060.15	c |   1197468 |   15306    65677   197988 |  1178477  1185943     40 | 58.059 % |
1060.41/1060.38	c |   1197579 |   15306    65677   197988 |  1178477  1186054     40 | 58.059 % |
1060.91/1060.85	c |   1197700 |   15306    65677   197988 |  1178477  1186175     40 | 58.059 % |
1061.21/1061.15	c |   1197833 |   15306    65677   197988 |  1178477  1186308     40 | 58.059 % |
1061.51/1061.51	c |   1197979 |   15306    65677   197988 |  1178477  1186454     40 | 58.059 % |
1061.91/1061.87	c |   1198140 |   15306    65677   197988 |  1178477  1186615     40 | 58.059 % |
1062.31/1062.28	c |   1198317 |   15306    65677   197988 |  1178477  1186792     40 | 58.059 % |
1062.51/1062.47	c |   1198510 |   15306    65677   197988 |  1178477  1186985     40 | 58.059 % |
1062.91/1062.86	c |   1198723 |   15306    65677   197988 |  1178477  1187198     40 | 58.059 % |
1063.41/1063.32	c |   1198958 |   15306    65677   197988 |  1178477  1187433     40 | 58.059 % |
1064.01/1063.93	c |   1199215 |   15306    65677   197988 |  1178477  1187690     40 | 58.059 % |
1064.41/1064.37	c |   1199497 |   15306    65677   197988 |  1178477  1187972     40 | 58.059 % |
1065.31/1065.30	c |   1199807 |   15305    65677   197988 |  1178477  1188281     40 | 58.062 % |
1066.21/1066.16	c |   1200146 |   15305    65677   197988 |  1188475  1188620     40 | 58.062 % |
1066.51/1066.47	c |   1200518 |   15305    65677   197988 |  1188475  1188992     40 | 58.062 % |
1067.51/1067.50	c |   1200927 |   15305    65677   197988 |  1188475  1189401     40 | 58.062 % |
1068.61/1068.58	c |   1201378 |   15305    65677   197988 |  1188475  1189852     40 | 58.062 % |
1069.11/1069.06	c |   1201871 |   15305    65677   197988 |  1188475  1190345     40 | 58.062 % |
1070.01/1070.01	c |   1202413 |   15305    65677   197988 |  1188475  1190887     40 | 58.062 % |
1071.11/1071.07	c |   1203010 |   15305    65677   197988 |  1188475  1191484     40 | 58.062 % |
1072.21/1072.20	c |   1203665 |   15305    65677   197988 |  1188475  1192139     40 | 58.062 % |
1074.11/1074.04	c |   1204385 |   15305    65677   197988 |  1188475  1192859     40 | 58.062 % |
1076.02/1075.97	c |   1205177 |   15305    65677   197988 |  1188475  1193651     40 | 58.062 % |
1076.81/1076.77	c |   1206049 |   15305    65677   197988 |  1188475  1194523     40 | 58.062 % |
1079.61/1079.55	c |   1207009 |   15305    65677   197988 |  1188475  1195483     40 | 58.062 % |
1080.91/1080.87	c |   1208063 |   15305    65677   197988 |  1188475  1196537     40 | 58.062 % |
1084.61/1084.54	c |   1209221 |   15305    65677   197988 |  1188475  1197695     40 | 58.062 % |
1086.01/1085.97	c |   1210494 |   15305    65677   197988 |  1198476  1198968     41 | 58.062 % |
1087.81/1087.79	c |   1211894 |   15305    65677   197988 |  1198476  1200368     41 | 58.062 % |
1090.81/1090.77	c |   1213436 |   15305    65677   197988 |  1198476  1201910     41 | 58.062 % |
1094.51/1094.42	c |   1215130 |   15305    65677   197988 |  1198476  1203604     41 | 58.062 % |
1095.82/1095.76	c |   1216996 |   15305    65677   197988 |  1198476  1205470     41 | 58.062 % |
1100.42/1100.40	c |   1219045 |   15305    65677   197988 |  1198476  1207519     41 | 58.062 % |
1104.42/1104.35	c |   1221298 |   15305    65677   197988 |  1208475  1209772     41 | 58.062 % |
1109.72/1109.65	c |   1223777 |   15305    65677   197988 |  1208475  1212251     41 | 58.062 % |
1112.02/1111.92	c |   1226503 |   15305    65677   197988 |  1208475  1214977     41 | 58.062 % |
1123.42/1123.41	c |   1229501 |   15305    65677   197988 |  1208475  1217975     41 | 58.062 % |
1131.82/1131.80	c |   1232798 |   15305    65677   197988 |  1218474  1221272     41 | 58.062 % |
1142.42/1142.40	c |   1236423 |   15305    65677   197988 |  1218474  1224897     41 | 58.062 % |
1153.92/1153.84	c |   1240412 |   15304    65677   197988 |  1228476  1228885     41 | 58.064 % |
1160.22/1160.17	c |   1244799 |   15304    65677   197988 |  1228476  1233272     41 | 58.064 % |
1168.92/1168.89	c |   1249622 |   15304    65677   197988 |  1228476  1238095     42 | 58.064 % |
1179.72/1179.65	c |   1254930 |   15302    65677   197988 |  1238474  1243401     42 | 58.070 % |
1193.42/1193.41	c |   1260765 |   15302    65677   197988 |  1248471  1249236     42 | 58.070 % |

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821028-1242498946/watcher-1821028-1242498946 -o /tmp/evaluation-result-1821028-1242498946/solver-1821028-1242498946 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821028-1242498946.cnf 

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


[startup+0 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=816 CPUtime=0
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 82 0 0 0 0 0 0 0 25 0 1 0 1014395715 835584 18 4294967295 134512640 135223648 3216695024 3216694840 134744192 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12341/statm: 237 33 26 174 0 62 0

[startup+0.113106 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=18016 CPUtime=0.11
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 3917 0 0 0 11 0 0 0 25 0 1 0 1014395715 18448384 3853 4294967295 134512640 135223648 3216695024 3216693904 134543504 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 4504 3855 46 174 0 4329 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 20432

[startup+0.213095 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=34168 CPUtime=0.21
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 7507 0 0 0 19 2 0 0 25 0 1 0 1014395715 34988032 6957 4294967295 134512640 135223648 3216695024 3216692176 134577142 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 8542 6957 71 174 0 8367 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 36584

[startup+0.313086 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=38924 CPUtime=0.31
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 8640 0 0 0 27 4 0 0 25 0 1 0 1014395715 39858176 7948 4294967295 134512640 135223648 3216695024 3216693040 134586740 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 9731 7948 73 174 0 9556 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 41340

[startup+0.713047 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=44848 CPUtime=0.71
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 10108 0 0 0 65 6 0 0 25 0 1 0 1014395715 45924352 9416 4294967295 134512640 135223648 3216695024 3216692880 134709529 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 11212 9416 73 174 0 11037 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 47264

[startup+1.51297 s]
/proc/loadavg: 0.97 1.04 0.99 3/95 12342
/proc/meminfo: memFree=925560/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=45940 CPUtime=1.51
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 10356 0 0 0 145 6 0 0 25 0 1 0 1014395715 47042560 9522 4294967295 134512640 135223648 3216695024 3216693120 134585544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 11485 9522 73 174 0 11310 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 48356

[startup+3.11282 s]
/proc/loadavg: 0.97 1.04 0.99 2/95 12343
/proc/meminfo: memFree=948500/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=12228 CPUtime=1.34
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 2888 0 0 0 130 4 0 0 25 0 1 0 1014395892 12521472 2820 4294967295 134512640 135215339 3220112016 3220110304 134528630 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12343/statm: 3057 2820 73 172 0 2884 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 14648

[startup+6.31249 s]
/proc/loadavg: 1.05 1.06 1.00 2/95 12526
/proc/meminfo: memFree=947040/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=12836 CPUtime=4.52
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 3006 0 0 0 447 5 0 0 25 0 1 0 1014395892 13144064 2938 4294967295 134512640 135215339 3220112016 3220110112 134527367 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 3209 2938 73 172 0 3036 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15256

[startup+12.7119 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 12526
/proc/meminfo: memFree=946292/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=13664 CPUtime=10.92
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 3240 0 0 0 1087 5 0 0 25 0 1 0 1014395892 13991936 3172 4294967295 134512640 135215339 3220112016 3220110304 134528748 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 3416 3172 73 172 0 3243 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16084

[startup+25.5106 s]
/proc/loadavg: 1.03 1.05 1.00 2/95 12528
/proc/meminfo: memFree=943256/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=16768 CPUtime=23.72
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 4000 0 0 0 2365 7 0 0 25 0 1 0 1014395892 17170432 3932 4294967295 134512640 135215339 3220112016 3220110304 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 4192 3932 73 172 0 4019 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19188

[startup+51.1181 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 12530
/proc/meminfo: memFree=933144/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=26984 CPUtime=49.33
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 6534 0 0 0 4924 9 0 0 25 0 1 0 1014395892 27631616 6466 4294967295 134512640 135215339 3220112016 3220110288 134525435 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 6746 6466 73 172 0 6573 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 29404

[startup+102.313 s]
/proc/loadavg: 1.05 1.05 1.00 3/95 12717
/proc/meminfo: memFree=911592/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=48984 CPUtime=100.53
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 11909 0 0 0 10041 12 0 0 25 0 1 0 1014395892 50159616 11841 4294967295 134512640 135215339 3220112016 3220110304 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 12246 11841 73 172 0 12073 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 51404

[startup+162.307 s]
/proc/loadavg: 1.06 1.06 1.00 3/95 12904
/proc/meminfo: memFree=890396/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=69732 CPUtime=160.53
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 17222 0 0 0 16035 18 0 0 25 0 1 0 1014395892 71405568 17154 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 17433 17154 73 172 0 17260 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 72152

[startup+222.311 s]
/proc/loadavg: 1.07 1.06 1.00 2/95 13093
/proc/meminfo: memFree=869572/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=90860 CPUtime=220.54
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 22357 0 0 0 22029 25 0 0 25 0 1 0 1014395892 93040640 22289 4294967295 134512640 135215339 3220112016 3220110304 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 22715 22289 73 172 0 22542 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 93280

[startup+282.315 s]
/proc/loadavg: 1.07 1.06 1.00 3/95 13281
/proc/meminfo: memFree=854172/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=106128 CPUtime=280.55
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 26235 0 0 0 28028 27 0 0 25 0 1 0 1014395892 108675072 26167 4294967295 134512640 135215339 3220112016 3220110080 134538030 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 26532 26167 73 172 0 26359 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 108548

[startup+342.309 s]
/proc/loadavg: 1.07 1.06 1.00 2/95 13472
/proc/meminfo: memFree=840432/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=120008 CPUtime=340.55
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 29778 0 0 0 34026 29 0 0 25 0 1 0 1014395892 122888192 29710 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 30002 29710 73 172 0 29829 0
Current children cumulated CPU time (s) 342.33

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

/proc/12343/statm: 39027 38498 73 172 0 38854 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 158528

[startup+582.316 s]
/proc/loadavg: 1.07 1.08 1.01 2/95 14226
/proc/meminfo: memFree=793776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=167376 CPUtime=580.58
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 41411 0 0 0 58021 37 0 0 25 0 1 0 1014395892 171393024 41343 4294967295 134512640 135215339 3220112016 3220110304 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 41844 41343 73 172 0 41671 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 169796

[startup+642.32 s]
/proc/loadavg: 1.03 1.06 1.00 3/95 14413
/proc/meminfo: memFree=781640/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=179384 CPUtime=640.59
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 44468 0 0 0 64020 39 0 0 25 0 1 0 1014395892 183689216 44400 4294967295 134512640 135215339 3220112016 3220110304 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 44846 44400 73 172 0 44673 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 181804

[startup+702.324 s]
/proc/loadavg: 1.05 1.06 1.00 2/95 14601
/proc/meminfo: memFree=769092/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=191600 CPUtime=700.6
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 47547 0 0 0 70018 42 0 0 25 0 1 0 1014395892 196198400 47479 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 47900 47479 73 172 0 47727 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 194020

[startup+762.318 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 14792
/proc/meminfo: memFree=759280/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=201312 CPUtime=760.6
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 50002 0 0 0 76015 45 0 0 25 0 1 0 1014395892 206143488 49934 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 50328 49934 73 172 0 50155 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 203732

[startup+822.322 s]
/proc/loadavg: 1.06 1.05 1.00 3/95 14981
/proc/meminfo: memFree=750484/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=209776 CPUtime=820.61
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 52178 0 0 0 82016 45 0 0 25 0 1 0 1014395892 214810624 52110 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 52444 52110 73 172 0 52271 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 212196

[startup+882.316 s]
/proc/loadavg: 1.02 1.04 1.00 3/95 15169
/proc/meminfo: memFree=742408/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=219992 CPUtime=880.61
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 54226 0 0 0 88011 50 0 0 25 0 1 0 1014395892 225271808 54158 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 54998 54158 73 172 0 54825 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 222412

[startup+942.32 s]
/proc/loadavg: 1.05 1.04 1.00 2/95 15356
/proc/meminfo: memFree=732256/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=229584 CPUtime=940.62
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 56646 0 0 0 94008 54 0 0 25 0 1 0 1014395892 235094016 56578 4294967295 134512640 135215339 3220112016 3220110304 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 57396 56578 73 172 0 57223 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 232004

[startup+1002.31 s]
/proc/loadavg: 1.02 1.03 1.00 2/95 15544
/proc/meminfo: memFree=724544/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=237224 CPUtime=1000.62
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 58591 0 0 0 100007 55 0 0 25 0 1 0 1014395892 242917376 58523 4294967295 134512640 135215339 3220112016 3220110304 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 59306 58523 73 172 0 59133 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 239644

[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 15731
/proc/meminfo: memFree=714112/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=247952 CPUtime=1060.63
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 61283 0 0 0 105999 64 0 0 25 0 1 0 1014395892 253902848 61215 4294967295 134512640 135215339 3220112016 3220110304 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 61988 61215 73 172 0 61815 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 250372

[startup+1122.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 15924
/proc/meminfo: memFree=703604/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=258244 CPUtime=1120.64
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 63867 0 0 0 111995 69 0 0 25 0 1 0 1014395892 264441856 63799 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 64561 63799 73 172 0 64388 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 260664

[startup+1182.33 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16112
/proc/meminfo: memFree=695024/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=266720 CPUtime=1180.65
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 66013 0 0 0 117994 71 0 0 25 0 1 0 1014395892 273121280 65945 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 66680 65945 73 172 0 66507 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 269140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.91 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16113
/proc/meminfo: memFree=693048/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=268636 CPUtime=1198.24
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 66503 0 0 0 119753 71 0 0 25 0 1 0 1014395892 275083264 66435 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 67159 66435 73 172 0 66986 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 271056

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 12337 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=710000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 1.78
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.24
CPU system time (s): 0.78
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 271056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.71
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11463
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= 7

runsolver used 0.01 second user time and 0.06 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 20:35:46
IDJOB=1821028
IDBENCH=70813
IDSOLVER=657
FILE ID=tipi10/1821028-1242498946
PBS_JOBID=
Free space on /tmp= 4171 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821028-1242498946/watcher-1821028-1242498946 -o /tmp/evaluation-result-1821028-1242498946/solver-1821028-1242498946 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821028-1242498946.cnf

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

MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 1409109432

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        965784 kB
Buffers:         23704 kB
Cached:         972004 kB
SwapCached:       2732 kB
Active:         460924 kB
Inactive:       544736 kB
HighTotal:     1178688 kB
HighFree:       351680 kB
LowTotal:       895776 kB
LowFree:        614104 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            5304 kB
Writeback:           0 kB
AnonPages:        8992 kB
Mapped:           3344 kB
Slab:            94192 kB
PageTables:        560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4165 MiB
End job on tipi10 at 2009-05-16 20:55:49