Trace number 3283468

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
glucose 2UNSAT 683.009 682.992

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark365.63
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.81	c ==============================================================================
0.00/0.81	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.81	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.81	c ==============================================================================
0.00/0.81	c |         0 | 1360580  3295883 |  408173       0        0     nan |  0.000 % |
4.29/4.30	c |         0 |  942285  2636352 |      --       0       --      -- |     --   | -116200/27697
4.29/4.30	c ==============================================================================
4.29/4.30	c Result  :   #vars: 138309   #clauses: 942285   #literals: 2636352
4.29/4.30	c CPU time:   4.20036 s
4.29/4.30	c ==============================================================================
4.79/4.88	c
4.79/4.88	c Starting glucose
4.79/4.88	c
15.17/15.23	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
15.17/15.23	c WARNING: for repeatability, setting FPU to use double precision
15.17/15.23	c ============================[ Problem Statistics ]=============================
15.17/15.23	c |                                                                             |
15.17/15.23	c |  Number of variables:        138309                                         |
15.17/15.23	c |  Number of clauses:          942285                                         |
15.17/15.23	c |  Parse time:                   0.26 s                                       |
15.17/15.23	c |                                                                             |
15.17/15.23	c ============================[ Search Statistics ]==============================
15.17/15.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.17/15.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.17/15.23	c ===============================================================================
15.17/15.23	c |      1078 |  134348   941447  2633168 |        1     1059     39 |  2.864 % |
15.17/15.23	c |      1604 |  131036   937845  2620088 |        1     1572     37 |  5.259 % |
15.17/15.23	c |      1900 |  129902   931567  2597140 |        1     1833     38 |  6.078 % |
15.17/15.23	c |      3468 |  123738   923183  2566250 |        1     3367     46 | 10.535 % |
15.17/15.23	c |      3568 |  123738   923183  2566250 |        1     3467     47 | 10.535 % |
15.17/15.23	c |      3944 |  123738   923183  2566250 |        1     3843     54 | 10.535 % |
15.17/15.23	c |      4463 |  122592   916195  2545254 |        1     2423     38 | 11.364 % |
15.17/15.23	c |      4565 |  122592   916195  2545254 |        1     2525     38 | 11.364 % |
15.17/15.23	c |      4665 |  122584   916195  2545254 |        1     2624     39 | 11.369 % |
15.17/15.23	c |      4768 |  122584   916195  2545254 |        1     2727     40 | 11.369 % |
15.17/15.23	c |      4868 |  122584   916195  2545254 |        1     2827     41 | 11.369 % |
15.17/15.23	c |      4970 |  122584   916195  2545254 |        1     2929     41 | 11.369 % |
15.17/15.23	c |      6667 |  121531   907946  2518939 |        1     4459     48 | 12.131 % |
15.17/15.23	c |      7241 |  120870   906763  2514942 |        1     5018     53 | 12.609 % |
15.17/15.23	c |      7465 |  120547   906763  2514942 |        1     5240     55 | 12.842 % |
15.17/15.23	c |      7782 |  119246   906763  2514942 |        1     5552     55 | 13.783 % |
15.17/15.23	c |      7942 |  119246   906763  2514942 |        1     5712     56 | 13.783 % |
15.17/15.23	c |      8943 |  119246   902959  2502310 |        1     6694     64 | 13.783 % |
15.17/15.23	c |      9152 |  119043   902959  2502310 |        1     6900     65 | 13.930 % |
15.17/15.23	c |      9281 |  119030   902959  2502310 |        1     7028     65 | 13.939 % |
15.17/15.23	c |      9381 |  119030   902959  2502310 |        1     7128     66 | 13.939 % |
15.17/15.23	c |      9565 |  118865   902404  2500197 |        1     7303     66 | 14.058 % |
15.17/15.23	c |      9846 |  118478   902404  2500197 |        1     7581     67 | 14.338 % |
15.17/15.23	c |     10064 |  118478   902404  2500197 |        1     7799     68 | 14.338 % |
15.17/15.23	c |     10644 |  118278   902404  2500197 |        1     4245     42 | 14.483 % |
15.17/15.23	c |     11202 |  118272   902404  2500197 |        1     4802     45 | 14.487 % |
15.17/15.23	c |     11302 |  118272   901908  2498317 |        1     4900     48 | 14.487 % |
15.17/15.23	c |     11711 |  118177   901908  2498317 |        1     5308     49 | 14.556 % |
15.17/15.23	c |     11811 |  118159   901908  2498317 |        1     5406     50 | 14.569 % |
15.17/15.23	c |     11911 |  118144   901908  2498317 |        1     5505     50 | 14.580 % |
15.17/15.23	c |     12649 |  117824   901908  2498317 |        1     6242     55 | 14.811 % |
15.17/15.23	c |     12749 |  117824   901686  2497561 |        1     6334     55 | 14.811 % |
15.17/15.23	c |     13640 |  117612   901686  2497561 |        1     7222     69 | 14.964 % |
15.17/15.23	c |     13764 |  117592   901686  2497561 |        1     7344     69 | 14.979 % |
15.17/15.23	c |     14227 |  117051   901082  2495273 |        1     7794     70 | 15.370 % |
15.17/15.23	c |     14706 |  116966   901082  2495273 |        1     8269     70 | 15.431 % |
15.17/15.23	c |     15945 |  116351   895476  2478222 |        1     9489     70 | 15.876 % |
15.17/15.23	c |     16103 |  116339   895476  2478222 |        1     9646     71 | 15.885 % |
15.17/15.23	c |     16203 |  116339   895476  2478222 |        1     9746     71 | 15.885 % |
26.58/26.69	c |     16339 |  116339   895476  2478222 |        1     9882     71 | 15.885 % |
26.58/26.69	c |     16564 |  115675   895476  2478222 |        1    10106     71 | 16.365 % |
26.58/26.69	c |     16686 |  115595   895476  2478222 |        1    10224     71 | 16.423 % |
26.58/26.69	c |     16790 |  115514   895476  2478222 |        1    10319     71 | 16.481 % |
26.58/26.69	c |     17325 |  115054   886751  2451773 |        1    10780     71 | 16.814 % |
26.58/26.69	c |     17729 |  115035   886751  2451773 |        1    11182     72 | 16.828 % |
26.58/26.69	c |     18533 |  114955   886751  2451773 |        1    11979     74 | 16.885 % |
26.58/26.69	c |     18675 |  114955   886751  2451773 |        1    12121     74 | 16.885 % |
26.58/26.69	c |     18775 |  114955   885706  2448458 |        1    12182     74 | 16.885 % |
26.58/26.69	c |     20249 |  114570   885706  2448458 |        1     7095     44 | 17.164 % |
26.58/26.69	c |     20669 |  114570   884792  2445012 |        1     7511     46 | 17.164 % |
26.58/26.69	c |     20954 |  114559   884792  2445012 |        1     7795     47 | 17.172 % |
26.58/26.69	c |     21579 |  114475   884792  2445012 |        1     8417     51 | 17.232 % |
26.58/26.69	c |     21682 |  114475   884792  2445012 |        1     8520     51 | 17.232 % |
26.58/26.69	c |     21782 |  114475   884519  2443995 |        1     8614     53 | 17.232 % |
26.58/26.69	c |     21884 |  114475   884519  2443995 |        1     8716     54 | 17.232 % |
26.58/26.69	c |     22681 |  114475   884519  2443995 |        1     9513     58 | 17.232 % |
26.58/26.69	c |     23474 |  114475   884519  2443995 |        1    10306     62 | 17.232 % |
26.58/26.69	c |     23576 |  114475   884519  2443995 |        1    10408     63 | 17.232 % |
26.58/26.69	c |     23676 |  113955   884519  2443995 |        1    10507     64 | 17.608 % |
26.58/26.69	c |     24302 |  113927   883208  2439006 |        1    11112     65 | 17.629 % |
26.58/26.69	c |     24749 |  113794   883208  2439006 |        1    11554     64 | 17.725 % |
26.58/26.69	c |     24849 |  113683   883208  2439006 |        1    11649     65 | 17.805 % |
26.58/26.69	c |     25150 |  113672   883208  2439006 |        1    11949     66 | 17.813 % |
26.58/26.69	c |     25556 |  113663   882654  2437135 |        1    12338     66 | 17.820 % |
26.58/26.69	c |     26027 |  113663   882654  2437135 |        1    12809     68 | 17.820 % |
26.58/26.69	c |     26131 |  113651   882654  2437135 |        1    12912     69 | 17.828 % |
26.58/26.69	c |     26231 |  113651   882654  2437135 |        1    13012     69 | 17.828 % |
26.58/26.69	c |     26333 |  113651   882654  2437135 |        1    13114     70 | 17.828 % |
26.58/26.69	c |     27115 |  113651   882654  2437135 |        1    13896     76 | 17.828 % |
26.58/26.69	c |     27276 |  113649   882654  2437135 |        1    14056     77 | 17.830 % |
26.58/26.69	c |     27519 |  113649   882585  2436879 |        1    14295     77 | 17.830 % |
26.58/26.69	c |     27756 |  113649   882585  2436879 |        1    14532     78 | 17.830 % |
26.58/26.69	c |     27856 |  113649   882585  2436879 |        1    14632     79 | 17.830 % |
26.58/26.69	c |     27956 |  113589   882585  2436879 |        1    14730     79 | 17.873 % |
26.58/26.69	c |     28385 |  112985   882585  2436879 |        1    15157     79 | 18.310 % |
26.58/26.69	c |     28489 |  112985   882585  2436879 |        1    15261     80 | 18.310 % |
26.58/26.69	c |     29291 |  112983   882585  2436879 |        1    16062     80 | 18.311 % |
26.58/26.69	c |     30160 |  112491   874176  2411652 |        1    16912     83 | 18.667 % |
26.58/26.69	c |     30269 |  112491   874176  2411652 |        1    17021     83 | 18.667 % |
26.58/26.69	c |     30372 |  112491   874176  2411652 |        1    17124     83 | 18.667 % |
26.58/26.69	c |     30531 |  112482   874176  2411652 |        1    17282     83 | 18.673 % |
26.58/26.69	c |     30631 |  112481   874176  2411652 |        1    17381     84 | 18.674 % |
26.58/26.69	c |     30732 |  112481   874176  2411652 |        1    17482     84 | 18.674 % |
26.58/26.69	c |     31697 |  112481   874095  2411355 |        1     9719     52 | 18.674 % |
26.58/26.69	c |     32963 |  112153   874095  2411355 |        1    10982     55 | 18.911 % |
26.58/26.69	c |     33065 |  112153   874095  2411355 |        1    11084     56 | 18.911 % |
26.58/26.69	c |     33166 |  112153   874078  2411304 |        1    11179     56 | 18.911 % |
26.58/26.69	c |     33266 |  112153   874078  2411304 |        1    11279     58 | 18.911 % |
26.58/26.69	c |     33730 |  112153   874078  2411304 |        1    11743     60 | 18.911 % |
39.48/39.55	c |     33831 |  112153   874078  2411304 |        1    11844     60 | 18.911 % |
39.48/39.55	c |     34039 |  112153   874078  2411304 |        1    12052     62 | 18.911 % |
39.48/39.55	c |     34369 |  112153   874078  2411304 |        1    12382     63 | 18.911 % |
39.48/39.55	c |     34982 |  112153   874078  2411304 |        1    12995     65 | 18.911 % |
39.48/39.55	c |     35687 |  112153   874078  2411304 |        1    13700     68 | 18.911 % |
39.48/39.55	c |     36503 |  111782   874078  2411304 |        1    14510     67 | 19.180 % |
39.48/39.55	c |     36603 |  111258   874078  2411304 |        1    14609     67 | 19.558 % |
39.48/39.55	c |     38722 |  109931   866374  2388073 |        1    16705     70 | 20.518 % |
39.48/39.55	c |     39041 |  109931   866374  2388073 |        1    17024     72 | 20.518 % |
39.48/39.55	c |     39142 |  109931   866374  2388073 |        1    17125     73 | 20.518 % |
39.48/39.55	c |     39668 |  109931   866374  2388073 |        1    17651     72 | 20.518 % |
39.48/39.55	c |     40343 |  109695   866069  2387158 |        1    18282     72 | 20.688 % |
39.48/39.55	c |     40703 |  109550   866069  2387158 |        1    18641     72 | 20.793 % |
39.48/39.55	c |     40803 |  109550   866069  2387158 |        1    18741     72 | 20.793 % |
39.48/39.55	c |     42560 |  109317   864964  2383767 |        1    20487     78 | 20.962 % |
39.48/39.55	c |     42660 |  109317   864964  2383767 |        1    20587     79 | 20.962 % |
39.48/39.55	c |     42831 |  109317   864964  2383767 |        1    20758     79 | 20.962 % |
39.48/39.55	c |     43079 |  109317   864964  2383767 |        1    21006     80 | 20.962 % |
39.48/39.55	c |     43293 |  109317   864964  2383767 |        1    21220     81 | 20.962 % |
39.48/39.55	c |     43434 |  109317   864937  2383678 |        1    21358     81 | 20.962 % |
39.48/39.55	c |     44093 |  109312   864937  2383678 |        1    22016     82 | 20.965 % |
39.48/39.55	c |     44193 |  109312   864937  2383678 |        1    22116     83 | 20.965 % |
39.48/39.55	c |     44539 |  109312   864937  2383678 |        1    22462     84 | 20.965 % |
39.48/39.55	c |     44997 |  109312   864937  2383678 |        1    22920     84 | 20.965 % |
39.48/39.55	c |     46043 |  108288   858863  2365381 |        1    12610     41 | 21.706 % |
39.48/39.55	c |     46468 |  108288   858863  2365381 |        1    13035     48 | 21.706 % |
39.48/39.55	c |     47068 |  108269   858863  2365381 |        1    13633     51 | 21.719 % |
39.48/39.55	c |     47806 |  107772   858863  2365381 |        1    14370     54 | 22.079 % |
39.48/39.55	c |     48243 |  107772   858863  2365381 |        1    14807     57 | 22.079 % |
39.48/39.55	c |     48343 |  107772   857198  2359364 |        1    14897     57 | 22.079 % |
39.48/39.55	c |     48464 |  107772   857198  2359364 |        1    15018     58 | 22.079 % |
39.48/39.55	c |     49694 |  107535   857198  2359364 |        1    16244     61 | 22.250 % |
39.48/39.55	c |     49956 |  107283   856361  2356459 |        1    16495     61 | 22.432 % |
39.48/39.55	c |     50056 |  107283   856361  2356459 |        1    16595     62 | 22.432 % |
39.48/39.55	c |     50160 |  107272   856361  2356459 |        1    16698     62 | 22.440 % |
39.48/39.55	c |     50388 |  107272   856361  2356459 |        1    16926     62 | 22.440 % |
39.48/39.55	c |     50753 |  106756   856361  2356459 |        1    17287     62 | 22.813 % |
39.48/39.55	c |     51152 |  106756   856361  2356459 |        1    17686     62 | 22.813 % |
39.48/39.55	c |     51256 |  106756   856361  2356459 |        1    17790     62 | 22.813 % |
39.48/39.55	c |     51732 |  106559   849224  2334856 |        1    18259     64 | 22.956 % |
39.48/39.55	c |     51983 |  106559   849224  2334856 |        1    18510     65 | 22.956 % |
39.48/39.55	c |     52085 |  106559   849224  2334856 |        1    18612     65 | 22.956 % |
39.48/39.55	c |     52186 |  106559   849224  2334856 |        1    18713     66 | 22.956 % |
39.48/39.55	c |     52356 |  106559   849224  2334856 |        1    18883     66 | 22.956 % |
39.48/39.55	c |     52457 |  106559   849224  2334856 |        1    18984     66 | 22.956 % |
39.48/39.55	c |     53229 |  106341   848114  2331350 |        1    19686     66 | 23.113 % |
39.48/39.55	c |     53374 |  106328   848114  2331350 |        1    19830     66 | 23.123 % |
39.48/39.55	c |     53767 |  106328   848114  2331350 |        1    20223     69 | 23.123 % |
39.48/39.55	c |     53869 |  106222   848114  2331350 |        1    20323     69 | 23.200 % |
39.48/39.55	c |     54533 |  106205   848114  2331350 |        1    20984     70 | 23.212 % |
49.28/49.38	c |     54633 |  106205   848114  2331350 |        1    21084     70 | 23.212 % |
49.28/49.38	c |     54736 |  106204   848114  2331350 |        1    21186     70 | 23.213 % |
49.28/49.38	c |     54996 |  106204   848114  2331350 |        1    21446     71 | 23.213 % |
49.28/49.38	c |     55096 |  106204   848114  2331350 |        1    21546     71 | 23.213 % |
49.28/49.38	c |     55978 |  106052   847936  2330752 |        1    22419     72 | 23.322 % |
49.28/49.38	c |     56088 |  106052   847936  2330752 |        1    22529     72 | 23.322 % |
49.28/49.38	c |     56992 |  106052   847936  2330752 |        1    23433     73 | 23.322 % |
49.28/49.38	c |     57176 |  106052   847936  2330752 |        1    23617     73 | 23.322 % |
49.28/49.38	c |     57276 |  106052   847936  2330752 |        1    23689     73 | 23.322 % |
49.28/49.38	c |     57837 |  106052   847936  2330752 |        1    24250     76 | 23.322 % |
49.28/49.38	c |     57938 |  106046   847936  2330752 |        1    24349     76 | 23.327 % |
49.28/49.38	c |     58038 |  106043   847936  2330752 |        1    24448     76 | 23.329 % |
49.28/49.38	c |     58138 |  106043   847936  2330752 |        1    24548     77 | 23.329 % |
49.28/49.38	c |     58238 |  106043   847936  2330752 |        1    24648     77 | 23.329 % |
49.28/49.38	c |     58566 |  106043   847936  2330752 |        1    24976     77 | 23.329 % |
49.28/49.38	c |     58775 |  106015   847936  2330752 |        1    25184     77 | 23.349 % |
49.28/49.38	c |     59461 |  105953   847936  2330752 |        1    25869     76 | 23.394 % |
49.28/49.38	c |     60821 |  105638   847726  2330111 |        1    27206     79 | 23.622 % |
49.28/49.38	c |     60929 |  105638   847726  2330111 |        1    27314     79 | 23.622 % |
49.28/49.38	c |     61186 |  105638   847726  2330111 |        1    27571     79 | 23.622 % |
49.28/49.38	c |     61287 |  105638   847726  2330111 |        1    27672     79 | 23.622 % |
49.28/49.38	c |     61756 |  105638   847726  2330111 |        1    28141     79 | 23.622 % |
49.28/49.38	c |     62185 |  105628   847187  2328446 |        1    28549     81 | 23.629 % |
49.28/49.38	c |     62285 |  105627   847187  2328446 |        1    28648     81 | 23.630 % |
49.28/49.38	c |     62846 |  105627   847187  2328446 |        1    29209     81 | 23.630 % |
49.28/49.38	c |     63028 |  105627   847187  2328446 |        1    16274     41 | 23.630 % |
49.28/49.38	c |     63129 |  105627   847187  2328446 |        1    16375     42 | 23.630 % |
49.28/49.38	c |     63480 |  105603   847187  2328446 |        1    16723     43 | 23.647 % |
49.28/49.38	c |     64137 |  105603   847187  2328446 |        1    17380     45 | 23.647 % |
49.28/49.38	c |     64241 |  105603   847069  2328000 |        1    17481     45 | 23.647 % |
49.28/49.38	c |     65214 |  105566   847069  2328000 |        1    18450     48 | 23.674 % |
49.28/49.38	c |     65316 |  105566   847069  2328000 |        1    18552     49 | 23.674 % |
49.28/49.38	c |     65714 |  105566   847069  2328000 |        1    18950     50 | 23.674 % |
49.28/49.38	c |     65819 |  105566   846960  2327598 |        1    19034     50 | 23.674 % |
49.28/49.38	c |     66419 |  105556   846960  2327598 |        1    19632     53 | 23.681 % |
49.28/49.38	c |     66520 |  105556   846960  2327598 |        1    19733     54 | 23.681 % |
49.28/49.38	c |     66626 |  105556   846960  2327598 |        1    19839     54 | 23.681 % |
49.28/49.38	c |     66765 |  105548   846960  2327598 |        1    19977     54 | 23.687 % |
49.28/49.38	c |     66865 |  105548   846960  2327598 |        1    20077     54 | 23.687 % |
49.28/49.38	c |     67462 |  105511   846378  2325820 |        1    20649     54 | 23.714 % |
49.28/49.38	c |     67758 |  105511   846378  2325820 |        1    20945     55 | 23.714 % |
49.28/49.38	c |     67860 |  105511   846378  2325820 |        1    21047     56 | 23.714 % |
49.28/49.38	c |     68235 |  104421   846378  2325820 |        1    21420     56 | 24.502 % |
49.28/49.38	c |     68664 |  104421   846378  2325820 |        1    21849     57 | 24.502 % |
49.28/49.38	c |     69025 |  104371   846378  2325820 |        1    22202     58 | 24.538 % |
49.28/49.38	c |     69126 |  104371   846378  2325820 |        1    22303     58 | 24.538 % |
49.28/49.38	c |     69779 |  104360   830290  2277471 |        1    22707     59 | 24.546 % |
49.28/49.38	c |     69880 |  104353   830290  2277471 |        1    22807     60 | 24.551 % |
49.28/49.38	c |     70057 |  104353   830290  2277471 |        1    22984     59 | 24.551 % |
49.28/49.38	c |     70228 |  104353   830290  2277471 |        1    23155     60 | 24.551 % |
57.87/57.94	c |     70488 |  104353   830290  2277471 |        1    23415     61 | 24.551 % |
57.87/57.94	c |     70741 |  104353   830290  2277471 |        1    23668     61 | 24.551 % |
57.87/57.94	c |     71181 |  103083   830290  2277471 |        1    24105     63 | 25.469 % |
57.87/57.94	c |     71282 |  103083   830290  2277471 |        1    24206     63 | 25.469 % |
57.87/57.94	c |     71382 |  102975   813526  2227099 |        1    23892     63 | 25.547 % |
57.87/57.94	c |     71498 |  102975   813526  2227099 |        1    24008     64 | 25.547 % |
57.87/57.94	c |     71599 |  102975   813526  2227099 |        1    24109     64 | 25.547 % |
57.87/57.94	c |     71699 |  102900   813526  2227099 |        1    24207     64 | 25.601 % |
57.87/57.94	c |     71801 |  102900   813526  2227099 |        1    24309     64 | 25.601 % |
57.87/57.94	c |     71901 |  102900   813526  2227099 |        1    24409     65 | 25.601 % |
57.87/57.94	c |     72379 |  102886   813526  2227099 |        1    24886     65 | 25.611 % |
57.87/57.94	c |     72661 |  102886   813526  2227099 |        1    25168     66 | 25.611 % |
57.87/57.94	c |     72836 |  102876   813526  2227099 |        1    25340     66 | 25.619 % |
57.87/57.94	c |     72984 |  102876   813526  2227099 |        1    25488     66 | 25.619 % |
57.87/57.94	c |     73541 |  102870   813526  2227099 |        1    26044     68 | 25.623 % |
57.87/57.94	c |     73921 |  102860   813116  2225747 |        1    26374     69 | 25.630 % |
57.87/57.94	c |     74021 |  102860   813116  2225747 |        1    26474     69 | 25.630 % |
57.87/57.94	c |     74443 |  102860   813116  2225747 |        1    26896     70 | 25.630 % |
57.87/57.94	c |     74562 |  102785   813116  2225747 |        1    27014     70 | 25.685 % |
57.87/57.94	c |     74662 |  102785   813116  2225747 |        1    27114     71 | 25.685 % |
57.87/57.94	c |     75011 |  102785   813116  2225747 |        1    27463     72 | 25.685 % |
57.87/57.94	c |     75111 |  102785   813116  2225747 |        1    27563     72 | 25.685 % |
57.87/57.94	c |     75211 |  102785   813116  2225747 |        1    27663     72 | 25.685 % |
57.87/57.94	c |     75312 |  102785   813116  2225747 |        1    27764     73 | 25.685 % |
57.87/57.94	c |     75414 |  102785   813116  2225747 |        1    27866     73 | 25.685 % |
57.87/57.94	c |     75648 |  102785   813116  2225747 |        1    28100     74 | 25.685 % |
57.87/57.94	c |     75824 |  102785   812862  2224953 |        1    28262     74 | 25.685 % |
57.87/57.94	c |     75942 |  102776   812862  2224953 |        1    28379     74 | 25.691 % |
57.87/57.94	c |     76074 |  102776   812862  2224953 |        1    28511     74 | 25.691 % |
57.87/57.94	c |     76180 |  102776   812862  2224953 |        1    28617     74 | 25.691 % |
57.87/57.94	c |     76393 |  102776   812862  2224953 |        1    28830     75 | 25.691 % |
57.87/57.94	c |     76854 |  102776   812862  2224953 |        1    29291     76 | 25.691 % |
57.87/57.94	c |     78013 |  102776   812862  2224953 |        1    30450     83 | 25.691 % |
57.87/57.94	c |     78115 |  102776   812862  2224953 |        1    30552     83 | 25.691 % |
57.87/57.94	c |     78215 |  102776   812862  2224953 |        1    30652     84 | 25.691 % |
57.87/57.94	c |     78317 |  102767   812862  2224953 |        1    30753     84 | 25.698 % |
57.87/57.94	c |     78417 |  102763   812862  2224953 |        1    30852     84 | 25.700 % |
57.87/57.94	c |     79084 |  102758   812802  2224696 |        1    31312     84 | 25.704 % |
57.87/57.94	c |     79385 |  102738   812802  2224696 |        1    31612     84 | 25.718 % |
57.87/57.94	c |     79619 |  102738   812802  2224696 |        1    31846     85 | 25.718 % |
57.87/57.94	c |     79719 |  102738   812802  2224696 |        1    31946     85 | 25.718 % |
57.87/57.94	c |     80444 |  102687   812802  2224696 |        1    32668     85 | 25.755 % |
57.87/57.94	c |     80640 |  102687   812802  2224696 |        1    32864     86 | 25.755 % |
57.87/57.94	c |     80740 |  102687   812802  2224696 |        1    32964     86 | 25.755 % |
57.87/57.94	c |     81108 |  102670   812802  2224696 |        1    33329     86 | 25.768 % |
57.87/57.94	c |     81209 |  102670   812802  2224696 |        1    33430     86 | 25.768 % |
57.87/57.94	c |     81440 |  102670   812802  2224696 |        1    33661     86 | 25.768 % |
57.87/57.94	c |     81900 |  102660   812691  2224291 |        1    34112     87 | 25.775 % |
57.87/57.94	c |     82035 |  102660   812691  2224291 |        1    34247     88 | 25.775 % |
57.87/57.94	c |     82457 |  102660   812691  2224291 |        1    34669     88 | 25.775 % |
65.38/65.41	c |     82557 |  102660   812691  2224291 |        1    34769     88 | 25.775 % |
65.38/65.41	c |     82660 |  102660   812691  2224291 |        1    19912     42 | 25.775 % |
65.38/65.41	c |     83284 |  102651   812691  2224291 |        1    20534     45 | 25.781 % |
65.38/65.41	c |     83386 |  102651   812691  2224291 |        1    20636     46 | 25.781 % |
65.38/65.41	c |     83656 |  102651   812691  2224291 |        1    20906     48 | 25.781 % |
65.38/65.41	c |     83758 |  102651   812691  2224291 |        1    21008     49 | 25.781 % |
65.38/65.41	c |     83858 |  102651   812691  2224291 |        1    21108     49 | 25.781 % |
65.38/65.41	c |     83991 |  102650   812691  2224291 |        1    21240     50 | 25.782 % |
65.38/65.41	c |     84142 |  102650   812691  2224291 |        1    21391     51 | 25.782 % |
65.38/65.41	c |     84247 |  102650   812691  2224291 |        1    21496     51 | 25.782 % |
65.38/65.41	c |     84587 |  102650   812691  2224291 |        1    21836     53 | 25.782 % |
65.38/65.41	c |     84797 |  102649   812652  2224131 |        1    22045     53 | 25.783 % |
65.38/65.41	c |     85260 |  102638   812652  2224131 |        1    22505     56 | 25.791 % |
65.38/65.41	c |     85729 |  102632   812652  2224131 |        1    22973     57 | 25.795 % |
65.38/65.41	c |     85944 |  102632   812652  2224131 |        1    23188     58 | 25.795 % |
65.38/65.41	c |     86590 |  102632   812652  2224131 |        1    23834     61 | 25.795 % |
65.38/65.41	c |     86691 |  102632   812652  2224131 |        1    23935     61 | 25.795 % |
65.38/65.41	c |     86791 |  102632   812652  2224131 |        1    24035     61 | 25.795 % |
65.38/65.41	c |     87134 |  102613   812619  2223976 |        1    24372     63 | 25.809 % |
65.38/65.41	c |     87236 |  102613   812619  2223976 |        1    24474     63 | 25.809 % |
65.38/65.41	c |     87337 |  102611   812619  2223976 |        1    24574     64 | 25.810 % |
65.38/65.41	c |     87510 |  102611   812619  2223976 |        1    24747     65 | 25.810 % |
65.38/65.41	c |     87718 |  102611   812619  2223976 |        1    24955     65 | 25.810 % |
65.38/65.41	c |     88026 |  102611   812619  2223976 |        1    25263     66 | 25.810 % |
65.38/65.41	c |     88519 |  102611   812619  2223976 |        1    25756     66 | 25.810 % |
65.38/65.41	c |     88622 |  102611   812586  2223821 |        1    25855     66 | 25.810 % |
65.38/65.41	c |     88722 |  102100   812586  2223821 |        1    25954     66 | 26.180 % |
65.38/65.41	c |     88823 |  102028   812586  2223821 |        1    26054     67 | 26.232 % |
65.38/65.41	c |     89202 |  102023   812586  2223821 |        1    26432     68 | 26.235 % |
65.38/65.41	c |     89302 |  102023   812586  2223821 |        1    26532     69 | 26.235 % |
65.38/65.41	c |     89968 |  102017   812586  2223821 |        1    27196     70 | 26.240 % |
65.38/65.41	c |     90082 |  102017   812586  2223821 |        1    27310     70 | 26.240 % |
65.38/65.41	c |     90265 |  102009   812586  2223821 |        1    27492     71 | 26.246 % |
65.38/65.41	c |     90365 |  102009   812586  2223821 |        1    27592     71 | 26.246 % |
65.38/65.41	c |     90466 |  101910   812586  2223821 |        1    27692     71 | 26.317 % |
65.38/65.41	c |     90623 |  101910   812586  2223821 |        1    27849     72 | 26.317 % |
65.38/65.41	c |     90767 |  101910   804534  2199646 |        1    27894     72 | 26.317 % |
65.38/65.41	c |     90868 |  101910   804534  2199646 |        1    27995     73 | 26.317 % |
65.38/65.41	c |     91345 |  101864   804534  2199646 |        1    28468     75 | 26.350 % |
65.38/65.41	c |     91527 |  101864   804534  2199646 |        1    28650     76 | 26.350 % |
65.38/65.41	c |     91633 |  101864   804534  2199646 |        1    28756     77 | 26.350 % |
65.38/65.41	c |     91856 |  101864   804534  2199646 |        1    28979     78 | 26.350 % |
65.38/65.41	c |     91956 |  101863   804534  2199646 |        1    29078     79 | 26.351 % |
65.38/65.41	c |     92056 |  101863   804534  2199646 |        1    29178     79 | 26.351 % |
65.38/65.41	c |     92157 |  101860   804534  2199646 |        1    29278     79 | 26.353 % |
65.38/65.41	c |     92257 |  101860   804534  2199646 |        1    29378     79 | 26.353 % |
65.38/65.41	c |     92568 |  101860   804534  2199646 |        1    29689     81 | 26.353 % |
65.38/65.41	c |     93115 |  101860   804534  2199646 |        1    30236     82 | 26.353 % |
65.38/65.41	c |     93220 |  101860   804534  2199646 |        1    30341     82 | 26.353 % |
65.38/65.41	c |     93321 |  101859   803980  2197973 |        1    30381     82 | 26.354 % |
73.47/73.55	c |     93423 |  101859   803980  2197973 |        1    30483     82 | 26.354 % |
73.47/73.55	c |     93828 |  101859   803980  2197973 |        1    30888     84 | 26.354 % |
73.47/73.55	c |     94172 |  101859   803980  2197973 |        1    31232     85 | 26.354 % |
73.47/73.55	c |     94272 |  101857   803980  2197973 |        1    31331     85 | 26.355 % |
73.47/73.55	c |     94372 |  101857   803980  2197973 |        1    31431     85 | 26.355 % |
73.47/73.55	c |     94474 |  101857   803980  2197973 |        1    31533     86 | 26.355 % |
73.47/73.55	c |     94922 |  101856   803980  2197973 |        1    31980     87 | 26.356 % |
73.47/73.55	c |     95330 |  101836   803980  2197973 |        1    32386     88 | 26.371 % |
73.47/73.55	c |     95430 |  101836   803980  2197973 |        1    32486     88 | 26.371 % |
73.47/73.55	c |     95535 |  101836   803980  2197973 |        1    32591     88 | 26.371 % |
73.47/73.55	c |     95676 |  101835   803980  2197973 |        1    32731     88 | 26.371 % |
73.47/73.55	c |     95781 |  101835   803980  2197973 |        1    32836     89 | 26.371 % |
73.47/73.55	c |     95987 |  101835   803980  2197973 |        1    33042     89 | 26.371 % |
73.47/73.55	c |     96098 |  101827   803916  2197705 |        1    33144     89 | 26.377 % |
73.47/73.55	c |     96566 |  101827   803916  2197705 |        1    33612     89 | 26.377 % |
73.47/73.55	c |     96671 |  101827   803916  2197705 |        1    33717     89 | 26.377 % |
73.47/73.55	c |     96772 |  101817   803916  2197705 |        1    33817     89 | 26.384 % |
73.47/73.55	c |     97453 |  101749   803916  2197705 |        1    34496     91 | 26.434 % |
73.47/73.55	c |     97619 |  101749   803916  2197705 |        1    34662     93 | 26.434 % |
73.47/73.55	c |     97719 |  101749   803916  2197705 |        1    34762     93 | 26.434 % |
73.47/73.55	c |     97955 |  101734   803916  2197705 |        1    34997     94 | 26.444 % |
73.47/73.55	c |     98369 |  101731   803916  2197705 |        1    35410     94 | 26.447 % |
73.47/73.55	c |     99352 |  101723   803916  2197705 |        1    36392     95 | 26.452 % |
73.47/73.55	c |     99735 |  101716   803601  2196650 |        1    36741     95 | 26.457 % |
73.47/73.55	c |     99863 |  101716   803601  2196650 |        1    36869     95 | 26.457 % |
73.47/73.55	c |     99963 |  101716   803601  2196650 |        1    36969     96 | 26.457 % |
73.47/73.55	c |    100219 |  101716   803601  2196650 |        1    37225     96 | 26.457 % |
73.47/73.55	c |    100388 |  101716   803601  2196650 |        1    37394     96 | 26.457 % |
73.47/73.55	c |    100730 |  101716   803601  2196650 |        1    37736     97 | 26.457 % |
73.47/73.55	c |    100831 |  101716   803601  2196650 |        1    37837     97 | 26.457 % |
73.47/73.55	c |    100959 |  101716   803601  2196650 |        1    37965     98 | 26.457 % |
73.47/73.55	c |    101060 |  101716   803601  2196650 |        1    38066     98 | 26.457 % |
73.47/73.55	c |    101162 |  101716   803601  2196650 |        1    38168     98 | 26.457 % |
73.47/73.55	c |    101567 |  101707   803601  2196650 |        1    38572     99 | 26.464 % |
73.47/73.55	c |    101667 |  101707   803601  2196650 |        1    38672     99 | 26.464 % |
73.47/73.55	c |    101767 |  101707   803601  2196650 |        1    38772     99 | 26.464 % |
73.47/73.55	c |    101876 |  101707   803601  2196650 |        1    38881    100 | 26.464 % |
73.47/73.55	c |    101977 |  101707   803601  2196650 |        1    38982    100 | 26.464 % |
73.47/73.55	c |    102078 |  101707   803601  2196650 |        1    39083    100 | 26.464 % |
73.47/73.55	c |    102221 |  101707   803548  2196451 |        1    39223    101 | 26.464 % |
73.47/73.55	c |    102323 |  101705   803548  2196451 |        1    39324    101 | 26.465 % |
73.47/73.55	c |    102423 |  101705   803548  2196451 |        1    39424    102 | 26.465 % |
73.47/73.55	c |    102523 |  101705   803548  2196451 |        1    39524    102 | 26.465 % |
73.47/73.55	c |    102627 |  101705   803548  2196451 |        1    39628    102 | 26.465 % |
73.47/73.55	c |    103194 |  101690   803548  2196451 |        1    40192    103 | 26.476 % |
73.47/73.55	c |    103395 |  101690   803548  2196451 |        1    40393    103 | 26.476 % |
73.47/73.55	c |    103495 |  101690   803548  2196451 |        1    40493    103 | 26.476 % |
73.47/73.55	c |    103595 |  101690   803548  2196451 |        1    40593    103 | 26.476 % |
73.47/73.55	c |    103695 |  101690   803548  2196451 |        1    40693    103 | 26.476 % |
85.97/86.07	c |    104017 |  101690   803548  2196451 |        1    41015    104 | 26.476 % |
85.97/86.07	c |    104118 |  101690   803548  2196451 |        1    41116    104 | 26.476 % |
85.97/86.07	c |    104218 |  101690   803548  2196451 |        1    41216    104 | 26.476 % |
85.97/86.07	c |    105063 |  101689   803548  2196451 |        1    24200     48 | 26.477 % |
85.97/86.07	c |    105344 |  101689   803494  2196261 |        1    24472     50 | 26.477 % |
85.97/86.07	c |    105445 |  101689   803494  2196261 |        1    24573     50 | 26.477 % |
85.97/86.07	c |    105605 |  101679   803494  2196261 |        1    24732     50 | 26.484 % |
85.97/86.07	c |    106328 |  101679   803494  2196261 |        1    25455     53 | 26.484 % |
85.97/86.07	c |    106819 |  101679   803494  2196261 |        1    25946     57 | 26.484 % |
85.97/86.07	c |    106920 |  101679   803494  2196261 |        1    26047     57 | 26.484 % |
85.97/86.07	c |    107242 |  101174   803494  2196261 |        1    26368     59 | 26.849 % |
85.97/86.07	c |    107717 |  101169   796684  2175785 |        1    26830     59 | 26.853 % |
85.97/86.07	c |    108618 |  101125   796684  2175785 |        1    27730     62 | 26.885 % |
85.97/86.07	c |    108718 |  101125   796684  2175785 |        1    27830     63 | 26.885 % |
85.97/86.07	c |    109803 |  101125   796684  2175785 |        1    28915     70 | 26.885 % |
85.97/86.07	c |    110874 |  101125   796664  2175714 |        1    29984     75 | 26.885 % |
85.97/86.07	c |    110975 |  101125   796664  2175714 |        1    30085     76 | 26.885 % |
85.97/86.07	c |    111075 |  101125   796664  2175714 |        1    30185     76 | 26.885 % |
85.97/86.07	c |    111177 |  101124   796664  2175714 |        1    30286     76 | 26.885 % |
85.97/86.07	c |    111490 |  101124   796664  2175714 |        1    30599     76 | 26.885 % |
85.97/86.07	c |    111882 |  101124   796664  2175714 |        1    30991     77 | 26.885 % |
85.97/86.07	c |    112155 |  101124   796664  2175714 |        1    31264     78 | 26.885 % |
85.97/86.07	c |    112358 |  101124   796664  2175714 |        1    31467     78 | 26.885 % |
85.97/86.07	c |    112465 |  101030   796664  2175714 |        1    31572     78 | 26.953 % |
85.97/86.07	c |    112690 |  101030   796664  2175714 |        1    31797     79 | 26.953 % |
85.97/86.07	c |    112790 |  101030   796664  2175714 |        1    31897     79 | 26.953 % |
85.97/86.07	c |    112890 |  101030   796664  2175714 |        1    31997     80 | 26.953 % |
85.97/86.07	c |    113245 |  100974   796664  2175714 |        1    32351     80 | 26.994 % |
85.97/86.07	c |    113346 |  100974   796664  2175714 |        1    32452     80 | 26.994 % |
85.97/86.07	c |    113538 |  100974   796664  2175714 |        1    32644     81 | 26.994 % |
85.97/86.07	c |    113639 |  100959   796664  2175714 |        1    32743     81 | 27.005 % |
85.97/86.07	c |    113854 |  100959   796664  2175714 |        1    32958     82 | 27.005 % |
85.97/86.07	c |    113955 |  100959   796664  2175714 |        1    33059     83 | 27.005 % |
85.97/86.07	c |    114097 |  100959   796664  2175714 |        1    33201     83 | 27.005 % |
85.97/86.07	c |    114722 |  100959   796664  2175714 |        1    33826     86 | 27.005 % |
85.97/86.07	c |    115395 |  100958   795274  2171448 |        1    34473     86 | 27.005 % |
85.97/86.07	c |    115668 |  100953   795274  2171448 |        1    34744     87 | 27.009 % |
85.97/86.07	c |    115769 |  100953   795274  2171448 |        1    34845     87 | 27.009 % |
85.97/86.08	c |    115871 |  100953   795274  2171448 |        1    34947     88 | 27.009 % |
85.97/86.08	c |    115973 |  100953   795274  2171448 |        1    35049     88 | 27.009 % |
85.97/86.08	c |    116073 |  100953   795274  2171448 |        1    35149     88 | 27.009 % |
85.97/86.08	c |    116260 |  100953   795274  2171448 |        1    35336     89 | 27.009 % |
85.97/86.08	c |    117068 |  100953   795274  2171448 |        1    36144     91 | 27.009 % |
85.97/86.08	c |    118082 |  100893   795270  2171408 |        1    37155     93 | 27.052 % |
85.97/86.08	c |    118182 |  100893   795270  2171408 |        1    37255     94 | 27.052 % |
85.97/86.08	c |    118282 |  100893   795270  2171408 |        1    37355     94 | 27.052 % |
85.97/86.08	c |    118383 |  100893   795270  2171408 |        1    37456     94 | 27.052 % |
85.97/86.08	c |    118485 |  100893   795270  2171408 |        1    37558     94 | 27.052 % |
85.97/86.08	c |    119477 |  100893   795270  2171408 |        1    38550     94 | 27.052 % |
85.97/86.08	c |    119579 |  100893   795270  2171408 |        1    38652     94 | 27.052 % |
97.99/98.07	c |    119690 |  100893   795270  2171408 |        1    38763     94 | 27.052 % |
97.99/98.07	c |    120050 |  100893   795270  2171408 |        1    39123     94 | 27.052 % |
97.99/98.07	c |    120150 |  100893   795270  2171408 |        1    39223     94 | 27.052 % |
97.99/98.07	c |    121259 |  100885   795252  2171343 |        1    40329     96 | 27.058 % |
97.99/98.07	c |    121460 |  100885   795252  2171343 |        1    40530     97 | 27.058 % |
97.99/98.07	c |    121712 |  100885   795252  2171343 |        1    40782     97 | 27.058 % |
97.99/98.07	c |    121812 |  100885   795252  2171343 |        1    40882     97 | 27.058 % |
97.99/98.07	c |    122003 |  100885   795252  2171343 |        1    41073     97 | 27.058 % |
97.99/98.07	c |    122355 |  100885   795252  2171343 |        1    41425     98 | 27.058 % |
97.99/98.07	c |    122455 |  100885   795252  2171343 |        1    41525     99 | 27.058 % |
97.99/98.07	c |    122555 |  100885   795252  2171343 |        1    41625     99 | 27.058 % |
97.99/98.07	c |    122655 |  100885   795252  2171343 |        1    41725    100 | 27.058 % |
97.99/98.07	c |    122755 |  100885   795252  2171343 |        1    41825    100 | 27.058 % |
97.99/98.07	c |    123078 |  100885   795252  2171343 |        1    42148    100 | 27.058 % |
97.99/98.07	c |    123809 |  100885   795252  2171343 |        1    42879    104 | 27.058 % |
97.99/98.07	c |    123909 |  100885   795252  2171343 |        1    42979    104 | 27.058 % |
97.99/98.07	c |    124260 |  100885   795252  2171343 |        1    43329    105 | 27.058 % |
97.99/98.07	c |    124629 |  100885   795252  2171343 |        1    43698    105 | 27.058 % |
97.99/98.07	c |    125085 |  100885   795252  2171343 |        1    44154    106 | 27.058 % |
97.99/98.07	c |    125410 |  100877   795252  2171343 |        1    44478    106 | 27.064 % |
97.99/98.07	c |    125512 |  100877   795252  2171343 |        1    44580    106 | 27.064 % |
97.99/98.07	c |    126312 |  100877   795252  2171343 |        1    45380    108 | 27.064 % |
97.99/98.07	c |    126542 |  100877   795252  2171343 |        1    45610    109 | 27.064 % |
97.99/98.07	c |    126642 |  100845   795252  2171343 |        1    45709    109 | 27.087 % |
97.99/98.07	c |    126742 |  100845   795252  2171343 |        1    45809    110 | 27.087 % |
97.99/98.07	c |    126843 |  100843   795252  2171343 |        1    45909    110 | 27.089 % |
97.99/98.07	c |    127292 |  100843   795252  2171343 |        1    46358    110 | 27.089 % |
97.99/98.07	c |    127394 |  100843   795139  2170968 |        1    46450    111 | 27.089 % |
97.99/98.07	c |    127538 |  100843   795139  2170968 |        1    46594    111 | 27.089 % |
97.99/98.07	c |    127639 |  100843   795139  2170968 |        1    46695    111 | 27.089 % |
97.99/98.07	c |    127836 |  100843   795139  2170968 |        1    46892    111 | 27.089 % |
97.99/98.07	c |    128507 |  100842   795139  2170968 |        1    47562    113 | 27.089 % |
97.99/98.07	c |    128609 |  100842   795139  2170968 |        1    47664    113 | 27.089 % |
97.99/98.07	c |    128798 |  100841   795139  2170968 |        1    47852    113 | 27.090 % |
97.99/98.07	c |    129361 |  100802   795139  2170968 |        1    48412    113 | 27.118 % |
97.99/98.07	c |    129491 |  100802   795139  2170968 |        1    48542    113 | 27.118 % |
97.99/98.07	c |    129741 |  100802   795139  2170968 |        1    28783     55 | 27.118 % |
97.99/98.07	c |    129968 |  100794   795139  2170968 |        1    29009     56 | 27.124 % |
97.99/98.07	c |    130170 |  100793   795139  2170968 |        1    29210     56 | 27.125 % |
97.99/98.07	c |    131028 |  100705   795139  2170968 |        1    30066     61 | 27.188 % |
97.99/98.07	c |    131129 |  100705   794497  2168970 |        1    30119     62 | 27.188 % |
97.99/98.07	c |    131229 |  100705   794497  2168970 |        1    30219     63 | 27.188 % |
97.99/98.07	c |    131329 |  100705   794497  2168970 |        1    30319     63 | 27.188 % |
97.99/98.07	c |    131530 |  100680   794497  2168970 |        1    30519     64 | 27.206 % |
97.99/98.07	c |    131857 |  100680   794497  2168970 |        1    30846     65 | 27.206 % |
97.99/98.07	c |    131957 |  100680   794497  2168970 |        1    30946     66 | 27.206 % |
97.99/98.07	c |    132058 |  100680   794497  2168970 |        1    31047     66 | 27.206 % |
97.99/98.07	c |    132333 |  100680   794497  2168970 |        1    31322     68 | 27.206 % |
97.99/98.07	c |    132433 |  100680   794497  2168970 |        1    31422     68 | 27.206 % |
97.99/98.07	c |    132535 |  100644   794497  2168970 |        1    31523     69 | 27.233 % |
110.18/110.24	c |    132635 |  100644   794497  2168970 |        1    31623     69 | 27.233 % |
110.18/110.24	c |    132740 |  100644   794497  2168970 |        1    31728     70 | 27.233 % |
110.18/110.24	c |    132841 |  100644   794497  2168970 |        1    31829     71 | 27.233 % |
110.18/110.24	c |    132941 |  100644   794308  2168307 |        1    31912     71 | 27.233 % |
110.18/110.24	c |    133624 |  100529   794308  2168307 |        1    32593     72 | 27.316 % |
110.18/110.24	c |    133942 |  100529   794308  2168307 |        1    32911     73 | 27.316 % |
110.18/110.24	c |    134056 |  100529   794308  2168307 |        1    33025     73 | 27.316 % |
110.18/110.24	c |    134156 |  100529   794308  2168307 |        1    33125     74 | 27.316 % |
110.18/110.24	c |    135436 |  100529   794308  2168307 |        1    34405     79 | 27.316 % |
110.18/110.24	c |    135536 |  100529   793972  2167299 |        1    34499     80 | 27.316 % |
110.18/110.24	c |    135837 |  100529   793972  2167299 |        1    34800     81 | 27.316 % |
110.18/110.24	c |    135937 |  100529   793972  2167299 |        1    34900     81 | 27.316 % |
110.18/110.24	c |    136151 |  100529   793972  2167299 |        1    35114     82 | 27.316 % |
110.18/110.24	c |    136652 |  100514   793972  2167299 |        1    35613     84 | 27.326 % |
110.18/110.24	c |    136752 |  100514   793972  2167299 |        1    35713     84 | 27.326 % |
110.18/110.24	c |    136852 |  100514   793972  2167299 |        1    35813     85 | 27.326 % |
110.18/110.24	c |    138646 |  100504   793972  2167299 |        1    37606     89 | 27.334 % |
110.18/110.24	c |    139395 |  100504   793972  2167299 |        1    38355     92 | 27.334 % |
110.18/110.24	c |    139495 |  100504   793927  2167134 |        1    38455     92 | 27.334 % |
110.18/110.24	c |    139987 |  100504   793927  2167134 |        1    38947     94 | 27.334 % |
110.18/110.24	c |    140088 |  100483   793927  2167134 |        1    39047     94 | 27.349 % |
110.18/110.24	c |    140188 |  100483   793927  2167134 |        1    39147     94 | 27.349 % |
110.18/110.24	c |    140299 |  100483   793927  2167134 |        1    39258     95 | 27.349 % |
110.18/110.24	c |    140400 |  100483   793927  2167134 |        1    39359     95 | 27.349 % |
110.18/110.24	c |    140509 |  100483   793927  2167134 |        1    39468     96 | 27.349 % |
110.18/110.24	c |    140748 |  100483   793927  2167134 |        1    39707     96 | 27.349 % |
110.18/110.24	c |    141321 |  100483   793927  2167134 |        1    40280     97 | 27.349 % |
110.18/110.24	c |    141867 |  100473   793927  2167134 |        1    40825     98 | 27.356 % |
110.18/110.24	c |    142289 |  100473   793927  2167134 |        1    41247     99 | 27.356 % |
110.18/110.24	c |    142389 |  100472   793821  2166726 |        1    41339     99 | 27.357 % |
110.18/110.24	c |    142489 |  100472   793821  2166726 |        1    41439    100 | 27.357 % |
110.18/110.24	c |    142597 |  100472   793821  2166726 |        1    41547    100 | 27.357 % |
110.18/110.24	c |    142890 |  100472   793821  2166726 |        1    41840    100 | 27.357 % |
110.18/110.24	c |    143287 |  100472   793821  2166726 |        1    42237    101 | 27.357 % |
110.18/110.24	c |    143561 |  100472   793821  2166726 |        1    42511    102 | 27.357 % |
110.18/110.24	c |    143665 |  100472   793821  2166726 |        1    42615    103 | 27.357 % |
110.18/110.24	c |    143765 |  100472   793821  2166726 |        1    42715    103 | 27.357 % |
110.18/110.24	c |    143865 |  100472   793821  2166726 |        1    42815    103 | 27.357 % |
110.18/110.24	c |    143965 |  100472   793821  2166726 |        1    42915    104 | 27.357 % |
110.18/110.24	c |    144407 |  100472   793821  2166726 |        1    43357    104 | 27.357 % |
110.18/110.24	c |    144507 |  100472   793821  2166726 |        1    43457    104 | 27.357 % |
110.18/110.24	c |    144615 |  100472   793821  2166726 |        1    43565    104 | 27.357 % |
110.18/110.24	c |    144761 |  100472   793821  2166726 |        1    43711    104 | 27.357 % |
110.18/110.24	c |    145052 |  100471   793821  2166726 |        1    44001    104 | 27.358 % |
110.18/110.24	c |    145272 |  100471   793821  2166726 |        1    44221    105 | 27.358 % |
110.18/110.24	c |    145373 |  100471   793821  2166726 |        1    44322    105 | 27.358 % |
110.18/110.24	c |    145605 |  100471   793821  2166726 |        1    44554    106 | 27.358 % |
110.18/110.24	c |    145705 |  100471   793821  2166726 |        1    44654    106 | 27.358 % |
110.18/110.24	c |    145817 |  100471   793821  2166726 |        1    44766    106 | 27.358 % |
110.18/110.24	c |    145917 |  100471   793821  2166726 |        1    44866    106 | 27.358 % |
124.07/124.16	c |    146670 |  100471   793821  2166726 |        1    45619    107 | 27.358 % |
124.07/124.16	c |    146771 |  100471   793821  2166726 |        1    45720    108 | 27.358 % |
124.07/124.16	c |    146871 |  100471   793821  2166726 |        1    45820    108 | 27.358 % |
124.07/124.16	c |    147076 |  100471   793821  2166726 |        1    46025    108 | 27.358 % |
124.07/124.16	c |    147884 |  100272   793821  2166726 |        1    46831    110 | 27.501 % |
124.07/124.16	c |    148398 |  100272   793821  2166726 |        1    47345    112 | 27.501 % |
124.07/124.16	c |    148499 |  100272   793821  2166726 |        1    47446    112 | 27.501 % |
124.07/124.16	c |    148756 |  100263   793821  2166726 |        1    47702    112 | 27.508 % |
124.07/124.16	c |    148856 |  100263   793325  2165197 |        1    47784    113 | 27.508 % |
124.07/124.16	c |    148965 |  100263   793325  2165197 |        1    47893    113 | 27.508 % |
124.07/124.16	c |    149069 |  100263   793325  2165197 |        1    47997    113 | 27.508 % |
124.07/124.16	c |    149171 |  100261   793325  2165197 |        1    48097    114 | 27.509 % |
124.07/124.16	c |    149493 |  100261   793325  2165197 |        1    48419    114 | 27.509 % |
124.07/124.16	c |    149678 |  100261   793325  2165197 |        1    48604    114 | 27.509 % |
124.07/124.16	c |    149779 |  100261   793325  2165197 |        1    48705    115 | 27.509 % |
124.07/124.16	c |    149879 |  100261   793325  2165197 |        1    48805    115 | 27.509 % |
124.07/124.16	c |    149982 |  100261   793325  2165197 |        1    48908    115 | 27.509 % |
124.07/124.16	c |    150121 |  100261   793325  2165197 |        1    49047    115 | 27.509 % |
124.07/124.16	c |    150290 |  100261   793325  2165197 |        1    49216    115 | 27.509 % |
124.07/124.16	c |    150390 |  100261   793325  2165197 |        1    49316    115 | 27.509 % |
124.07/124.16	c |    150490 |  100261   793325  2165197 |        1    49416    116 | 27.509 % |
124.07/124.16	c |    150590 |  100261   793325  2165197 |        1    49516    116 | 27.509 % |
124.07/124.16	c |    150978 |  100261   793325  2165197 |        1    49904    117 | 27.509 % |
124.07/124.16	c |    151085 |  100261   793325  2165197 |        1    50011    117 | 27.509 % |
124.07/124.16	c |    151187 |  100261   793325  2165197 |        1    50113    117 | 27.509 % |
124.07/124.16	c |    151287 |  100261   793325  2165197 |        1    50213    117 | 27.509 % |
124.07/124.16	c |    151834 |  100257   793325  2165197 |        1    50758    118 | 27.512 % |
124.07/124.16	c |    151934 |  100257   793325  2165197 |        1    50858    118 | 27.512 % |
124.07/124.16	c |    152132 |  100257   793321  2165161 |        1    51050    118 | 27.512 % |
124.07/124.16	c |    152869 |  100257   793321  2165161 |        1    51787    121 | 27.512 % |
124.07/124.16	c |    155861 |  100256   793321  2165161 |        1    54778    126 | 27.513 % |
124.07/124.16	c |    155961 |  100256   793321  2165161 |        1    54878    126 | 27.513 % |
124.07/124.16	c |    156347 |  100256   793321  2165161 |        1    55264    127 | 27.513 % |
124.07/124.16	c |    156451 |  100256   793321  2165161 |        1    55368    127 | 27.513 % |
124.07/124.16	c |    156595 |  100256   793321  2165161 |        1    55512    128 | 27.513 % |
124.07/124.16	c |    156696 |  100256   793321  2165161 |        1    55613    128 | 27.513 % |
124.07/124.16	c |    156796 |  100256   793321  2165161 |        1    55713    128 | 27.513 % |
124.07/124.16	c |    156951 |  100256   793321  2165161 |        1    55868    129 | 27.513 % |
124.07/124.16	c |    157051 |  100256   793321  2165161 |        1    32718     54 | 27.513 % |
124.07/124.16	c |    157174 |  100256   793321  2165161 |        1    32841     55 | 27.513 % |
124.07/124.16	c |    157283 |  100256   793321  2165161 |        1    32950     55 | 27.513 % |
124.07/124.16	c |    157841 |  100256   793321  2165161 |        1    33508     59 | 27.513 % |
124.07/124.16	c |    158027 |  100234   793321  2165161 |        1    33693     59 | 27.529 % |
124.07/124.16	c |    158492 |  100234   793321  2165161 |        1    34158     63 | 27.529 % |
124.07/124.16	c |    159178 |  100234   793321  2165161 |        1    34844     65 | 27.529 % |
124.07/124.16	c |    159800 |  100173   793321  2165161 |        1    35463     65 | 27.573 % |
124.07/124.16	c |    159900 |  100173   793321  2165161 |        1    35563     66 | 27.573 % |
124.07/124.16	c |    160387 |  100163   793321  2165161 |        1    36049     66 | 27.580 % |
124.07/124.16	c |    160487 |  100163   793321  2165161 |        1    36149     67 | 27.580 % |
124.07/124.16	c |    160589 |  100163   793321  2165161 |        1    36251     67 | 27.580 % |
137.58/137.64	c |    161129 |  100162   793321  2165161 |        1    36790     71 | 27.581 % |
137.58/137.64	c |    161231 |  100162   793321  2165161 |        1    36892     71 | 27.581 % |
137.58/137.64	c |    161612 |  100162   793321  2165161 |        1    37273     73 | 27.581 % |
137.58/137.64	c |    161712 |  100162   793321  2165161 |        1    37373     74 | 27.581 % |
137.58/137.64	c |    162207 |  100162   793321  2165161 |        1    37868     75 | 27.581 % |
137.58/137.64	c |    162307 |  100162   793150  2164558 |        1    37957     75 | 27.581 % |
137.58/137.64	c |    162407 |  100162   793150  2164558 |        1    38057     76 | 27.581 % |
137.58/137.64	c |    163817 |  100162   793150  2164558 |        1    39467     81 | 27.581 % |
137.58/137.64	c |    163917 |  100162   793150  2164558 |        1    39567     82 | 27.581 % |
137.58/137.64	c |    164019 |  100162   793150  2164558 |        1    39669     82 | 27.581 % |
137.58/137.64	c |    164120 |  100162   793150  2164558 |        1    39770     83 | 27.581 % |
137.58/137.64	c |    164220 |  100162   793150  2164558 |        1    39870     83 | 27.581 % |
137.58/137.64	c |    164324 |  100162   793150  2164558 |        1    39974     84 | 27.581 % |
137.58/137.64	c |    165005 |  100162   793150  2164558 |        1    40655     85 | 27.581 % |
137.58/137.64	c |    165124 |  100162   793150  2164558 |        1    40774     86 | 27.581 % |
137.58/137.64	c |    165241 |  100162   793150  2164558 |        1    40891     86 | 27.581 % |
137.58/137.64	c |    165344 |  100162   793150  2164558 |        1    40994     87 | 27.581 % |
137.58/137.64	c |    165446 |  100162   793150  2164558 |        1    41096     87 | 27.581 % |
137.58/137.64	c |    165760 |  100162   793150  2164558 |        1    41410     88 | 27.581 % |
137.58/137.64	c |    166773 |  100162   793150  2164558 |        1    42423     93 | 27.581 % |
137.58/137.64	c |    167088 |  100162   793150  2164558 |        1    42738     94 | 27.581 % |
137.58/137.64	c |    167574 |  100162   793150  2164558 |        1    43224     95 | 27.581 % |
137.58/137.64	c |    167936 |  100161   793150  2164558 |        1    43585     96 | 27.582 % |
137.58/137.64	c |    168036 |  100160   793150  2164558 |        1    43684     96 | 27.582 % |
137.58/137.64	c |    168136 |  100160   793150  2164558 |        1    43784     96 | 27.582 % |
137.58/137.64	c |    168238 |  100160   793150  2164558 |        1    43886     96 | 27.582 % |
137.58/137.64	c |    168988 |  100138   793150  2164558 |        1    44635     97 | 27.598 % |
137.58/137.64	c |    169092 |  100138   793150  2164558 |        1    44739     97 | 27.598 % |
137.58/137.64	c |    169792 |  100138   793150  2164558 |        1    45439     98 | 27.598 % |
137.58/137.64	c |    169893 |  100138   793150  2164558 |        1    45540     98 | 27.598 % |
137.58/137.64	c |    170212 |  100138   793150  2164558 |        1    45859     99 | 27.598 % |
137.58/137.64	c |    170313 |  100138   793150  2164558 |        1    45960    100 | 27.598 % |
137.58/137.64	c |    170416 |  100128   793150  2164558 |        1    46061    100 | 27.606 % |
137.58/137.64	c |    170517 |  100128   793087  2164337 |        1    46150    101 | 27.606 % |
137.58/137.64	c |    170617 |  100128   793087  2164337 |        1    46250    101 | 27.606 % |
137.58/137.64	c |    170797 |  100128   793087  2164337 |        1    46430    101 | 27.606 % |
137.58/137.64	c |    171143 |  100128   793087  2164337 |        1    46776    102 | 27.606 % |
137.58/137.64	c |    171500 |  100028   793087  2164337 |        1    47130    101 | 27.678 % |
137.58/137.64	c |    171618 |  100028   793087  2164337 |        1    47248    102 | 27.678 % |
137.58/137.64	c |    171718 |  100028   793087  2164337 |        1    47348    103 | 27.678 % |
137.58/137.64	c |    171829 |  100028   793087  2164337 |        1    47459    103 | 27.678 % |
137.58/137.64	c |    171931 |  100028   793087  2164337 |        1    47561    103 | 27.678 % |
137.58/137.64	c |    172176 |   99461   793087  2164337 |        1    47805    103 | 28.088 % |
137.58/137.64	c |    172437 |   99461   793087  2164337 |        1    48066    104 | 28.088 % |
137.58/137.64	c |    172543 |   99461   793087  2164337 |        1    48172    104 | 28.088 % |
137.58/137.64	c |    172708 |   99461   793087  2164337 |        1    48337    105 | 28.088 % |
137.58/137.64	c |    172809 |   99461   793087  2164337 |        1    48438    105 | 28.088 % |
137.58/137.64	c |    173889 |   99461   793087  2164337 |        1    49518    105 | 28.088 % |
137.58/137.64	c |    173990 |   99461   784781  2139419 |        1    49522    105 | 28.088 % |
137.58/137.64	c |    174092 |   99461   784781  2139419 |        1    49624    106 | 28.088 % |
151.18/151.23	c |    174713 |   99461   784781  2139419 |        1    50245    106 | 28.088 % |
151.18/151.23	c |    175934 |   99459   784781  2139419 |        1    51465    109 | 28.089 % |
151.18/151.23	c |    176403 |   98871   784781  2139419 |        1    51933    109 | 28.514 % |
151.18/151.23	c |    176503 |   98871   784781  2139419 |        1    52033    109 | 28.514 % |
151.18/151.23	c |    176605 |   98871   784781  2139419 |        1    52135    110 | 28.514 % |
151.18/151.23	c |    176705 |   98871   784781  2139419 |        1    52235    110 | 28.514 % |
151.18/151.23	c |    176807 |   98871   784781  2139419 |        1    52337    110 | 28.514 % |
151.18/151.23	c |    176909 |   98871   784781  2139419 |        1    52439    111 | 28.514 % |
151.18/151.23	c |    177009 |   98871   784781  2139419 |        1    52539    111 | 28.514 % |
151.18/151.23	c |    177109 |   98871   784781  2139419 |        1    52639    111 | 28.514 % |
151.18/151.23	c |    177335 |   98871   784781  2139419 |        1    52865    112 | 28.514 % |
151.18/151.23	c |    177435 |   98871   784781  2139419 |        1    52965    112 | 28.514 % |
151.18/151.23	c |    177535 |   98871   784781  2139419 |        1    53065    112 | 28.514 % |
151.18/151.23	c |    177635 |   98871   777759  2118341 |        1    53064    112 | 28.514 % |
151.18/151.23	c |    178586 |   98841   777759  2118341 |        1    54014    112 | 28.536 % |
151.18/151.23	c |    179012 |   98840   777759  2118341 |        1    54439    114 | 28.537 % |
151.18/151.23	c |    179501 |   98535   777759  2118341 |        1    54927    114 | 28.757 % |
151.18/151.23	c |    179602 |   98535   777759  2118341 |        1    55028    114 | 28.757 % |
151.18/151.23	c |    179831 |   98535   777759  2118341 |        1    55257    115 | 28.757 % |
151.18/151.23	c |    180010 |   98535   777759  2118341 |        1    55436    115 | 28.757 % |
151.18/151.23	c |    180110 |   98535   777759  2118341 |        1    55536    115 | 28.757 % |
151.18/151.23	c |    182233 |   98532   774835  2109561 |        1    57485    121 | 28.760 % |
151.18/151.23	c |    182333 |   98532   774835  2109561 |        1    57585    121 | 28.760 % |
151.18/151.23	c |    182434 |   98532   774835  2109561 |        1    57686    121 | 28.760 % |
151.18/151.23	c |    182538 |   98532   774835  2109561 |        1    57790    121 | 28.760 % |
151.18/151.23	c |    183252 |   98532   774835  2109561 |        1    58504    122 | 28.760 % |
151.18/151.23	c |    183355 |   98531   774835  2109561 |        1    58606    122 | 28.760 % |
151.18/151.23	c |    183457 |   98528   774835  2109561 |        1    58707    122 | 28.762 % |
151.18/151.23	c |    183597 |   98528   774835  2109561 |        1    58847    122 | 28.762 % |
151.18/151.23	c |    183721 |   98528   774835  2109561 |        1    58971    122 | 28.762 % |
151.18/151.23	c |    183832 |   98528   774835  2109561 |        1    59082    122 | 28.762 % |
151.18/151.23	c |    184483 |   98464   774835  2109561 |        1    59732    124 | 28.809 % |
151.18/151.23	c |    185060 |   98188   774835  2109561 |        1    60307    123 | 29.008 % |
151.18/151.23	c |    185234 |   98177   774835  2109561 |        1    60480    124 | 29.016 % |
151.18/151.23	c |    185624 |   98173   774835  2109561 |        1    60869    125 | 29.019 % |
151.18/151.23	c |    185724 |   98173   774835  2109561 |        1    60969    126 | 29.019 % |
151.18/151.23	c |    185824 |   98173   774835  2109561 |        1    61069    126 | 29.019 % |
151.18/151.23	c |    185925 |   98173   774835  2109561 |        1    61170    126 | 29.019 % |
151.18/151.23	c |    186091 |   98173   773383  2105181 |        1    61264    126 | 29.019 % |
151.18/151.23	c |    186288 |   98173   773383  2105181 |        1    61461    127 | 29.019 % |
151.18/151.23	c |    186440 |   98173   773383  2105181 |        1    61613    127 | 29.019 % |
151.18/151.23	c |    186581 |   98173   773383  2105181 |        1    61754    127 | 29.019 % |
151.18/151.23	c |    186731 |   98170   773383  2105181 |        1    61903    127 | 29.021 % |
151.18/151.23	c |    186831 |   98170   773383  2105181 |        1    62003    128 | 29.021 % |
151.18/151.23	c |    186933 |   98170   773383  2105181 |        1    62105    128 | 29.021 % |
151.18/151.23	c |    187550 |   98167   773383  2105181 |        1    37023     53 | 29.023 % |
151.18/151.23	c |    188333 |   98167   773383  2105181 |        1    37806     55 | 29.023 % |
151.18/151.23	c |    188433 |   98167   773383  2105181 |        1    37906     55 | 29.023 % |
151.18/151.23	c |    188533 |   98167   773383  2105181 |        1    38006     55 | 29.023 % |
151.18/151.23	c |    188684 |   98167   773383  2105181 |        1    38157     56 | 29.023 % |
161.48/161.57	c |    189187 |   98167   773383  2105181 |        1    38660     57 | 29.023 % |
161.48/161.57	c |    189288 |   98167   773383  2105181 |        1    38761     57 | 29.023 % |
161.48/161.57	c |    189872 |   98132   773383  2105181 |        1    39344     61 | 29.049 % |
161.48/161.57	c |    189972 |   98132   773383  2105181 |        1    39444     61 | 29.049 % |
161.48/161.57	c |    190566 |   98132   773383  2105181 |        1    40038     62 | 29.049 % |
161.48/161.57	c |    190666 |   98132   773383  2105181 |        1    40138     63 | 29.049 % |
161.48/161.57	c |    191076 |   98132   773383  2105181 |        1    40548     64 | 29.049 % |
161.48/161.57	c |    191181 |   98132   773289  2104899 |        1    40644     65 | 29.049 % |
161.48/161.57	c |    191283 |   98132   773289  2104899 |        1    40746     65 | 29.049 % |
161.48/161.57	c |    191629 |   98123   773289  2104899 |        1    41091     66 | 29.055 % |
161.48/161.57	c |    191729 |   98120   773289  2104899 |        1    41190     67 | 29.057 % |
161.48/161.57	c |    191829 |   98120   773289  2104899 |        1    41290     67 | 29.057 % |
161.48/161.57	c |    192310 |   98120   773289  2104899 |        1    41771     69 | 29.057 % |
161.48/161.57	c |    192412 |   98120   773289  2104899 |        1    41873     69 | 29.057 % |
161.48/161.57	c |    192513 |   98120   773289  2104899 |        1    41974     70 | 29.057 % |
161.48/161.57	c |    192613 |   98120   773289  2104899 |        1    42074     70 | 29.057 % |
161.48/161.57	c |    192886 |   98120   773289  2104899 |        1    42347     71 | 29.057 % |
161.48/161.57	c |    193042 |   98120   773289  2104899 |        1    42503     71 | 29.057 % |
161.48/161.57	c |    193286 |   98120   773289  2104899 |        1    42747     73 | 29.057 % |
161.48/161.57	c |    193977 |   98120   773289  2104899 |        1    43438     75 | 29.057 % |
161.48/161.57	c |    194077 |   98120   773249  2104749 |        1    43537     75 | 29.057 % |
161.48/161.57	c |    194447 |   98120   773249  2104749 |        1    43907     77 | 29.057 % |
161.48/161.57	c |    194547 |   98120   773249  2104749 |        1    44007     77 | 29.057 % |
161.48/161.57	c |    194811 |   98120   773249  2104749 |        1    44271     78 | 29.057 % |
161.48/161.57	c |    195339 |   98113   773249  2104749 |        1    44795     80 | 29.062 % |
161.48/161.57	c |    195442 |   98113   773249  2104749 |        1    44898     80 | 29.062 % |
161.48/161.57	c |    195725 |   98112   773249  2104749 |        1    45180     81 | 29.063 % |
161.48/161.57	c |    195825 |   98047   773249  2104749 |        1    45279     81 | 29.110 % |
161.48/161.57	c |    196390 |   98047   773249  2104749 |        1    45844     83 | 29.110 % |
161.48/161.57	c |    196522 |   98047   773249  2104749 |        1    45976     83 | 29.110 % |
161.48/161.57	c |    196623 |   98047   773249  2104749 |        1    46077     84 | 29.110 % |
161.48/161.57	c |    196723 |   98047   773249  2104749 |        1    46177     84 | 29.110 % |
161.48/161.57	c |    196823 |   98047   773219  2104623 |        1    46275     85 | 29.110 % |
161.48/161.57	c |    196924 |   98047   773219  2104623 |        1    46376     85 | 29.110 % |
161.48/161.57	c |    197024 |   98047   773219  2104623 |        1    46476     85 | 29.110 % |
161.48/161.57	c |    197125 |   98047   773219  2104623 |        1    46577     86 | 29.110 % |
161.48/161.57	c |    197273 |   98047   773219  2104623 |        1    46725     86 | 29.110 % |
161.48/161.57	c |    197374 |   98047   773219  2104623 |        1    46826     86 | 29.110 % |
161.48/161.57	c |    197620 |   98047   773219  2104623 |        1    47072     87 | 29.110 % |
161.48/161.57	c |    197720 |   98047   773219  2104623 |        1    47172     88 | 29.110 % |
161.48/161.57	c |    197820 |   98047   773219  2104623 |        1    47272     88 | 29.110 % |
161.48/161.57	c |    197921 |   98047   773219  2104623 |        1    47373     89 | 29.110 % |
161.48/161.57	c |    198022 |   98047   773219  2104623 |        1    47474     89 | 29.110 % |
161.48/161.57	c |    198185 |   98047   773219  2104623 |        1    47637     89 | 29.110 % |
161.48/161.57	c |    198790 |   98047   773219  2104623 |        1    48242     92 | 29.110 % |
161.48/161.57	c |    198892 |   98022   773219  2104623 |        1    48343     92 | 29.128 % |
161.48/161.57	c |    199164 |   98022   773219  2104623 |        1    48615     93 | 29.128 % |
161.48/161.57	c |    200149 |   98022   773156  2104370 |        1    49589     94 | 29.128 % |
161.48/161.57	c |    200250 |   98022   773156  2104370 |        1    49690     94 | 29.128 % |
161.48/161.57	c |    200353 |   98022   773156  2104370 |        1    49793     95 | 29.128 % |
187.98/188.03	c |    200453 |   98022   773156  2104370 |        1    49893     96 | 29.128 % |
187.98/188.03	c |    200556 |   98022   773156  2104370 |        1    49996     96 | 29.128 % |
187.98/188.03	c |    202037 |   98015   773156  2104370 |        1    51476     99 | 29.133 % |
187.98/188.03	c |    202140 |   98015   773156  2104370 |        1    51579    100 | 29.133 % |
187.98/188.03	c |    202243 |   98015   773156  2104370 |        1    51682    100 | 29.133 % |
187.98/188.03	c |    202343 |   98015   773156  2104370 |        1    51782    100 | 29.133 % |
187.98/188.03	c |    202443 |   98015   773156  2104370 |        1    51882    100 | 29.133 % |
187.98/188.03	c |    207105 |   98008   773123  2104255 |        1    56536    121 | 29.138 % |
187.98/188.03	c |    207207 |   98008   773123  2104255 |        1    56638    122 | 29.138 % |
187.98/188.03	c |    207371 |   98008   773123  2104255 |        1    56802    122 | 29.138 % |
187.98/188.03	c |    207471 |   98008   773123  2104255 |        1    56902    122 | 29.138 % |
187.98/188.03	c |    207574 |   98008   773123  2104255 |        1    57005    122 | 29.138 % |
187.98/188.03	c |    211139 |   97990   773087  2104147 |        1    60563    128 | 29.151 % |
187.98/188.03	c |    211242 |   97990   773087  2104147 |        1    60666    128 | 29.151 % |
187.98/188.03	c |    211399 |   97990   773087  2104147 |        1    60823    128 | 29.151 % |
187.98/188.03	c |    211499 |   97990   773087  2104147 |        1    60923    129 | 29.151 % |
187.98/188.03	c |    211599 |   97990   773087  2104147 |        1    61023    129 | 29.151 % |
187.98/188.03	c |    212674 |   97990   773087  2104147 |        1    62098    131 | 29.151 % |
187.98/188.03	c |    212774 |   97990   773087  2104147 |        1    62198    132 | 29.151 % |
187.98/188.03	c |    212874 |   97990   773087  2104147 |        1    62298    132 | 29.151 % |
187.98/188.03	c |    212975 |   97990   773087  2104147 |        1    62399    132 | 29.151 % |
187.98/188.03	c |    213600 |   97990   773087  2104147 |        1    63024    133 | 29.151 % |
187.98/188.03	c |    213700 |   97990   773087  2104147 |        1    63124    134 | 29.151 % |
187.98/188.03	c |    213801 |   97990   773087  2104147 |        1    63225    134 | 29.151 % |
187.98/188.03	c |    213901 |   97990   773087  2104147 |        1    63325    134 | 29.151 % |
187.98/188.03	c |    214001 |   97980   773085  2104129 |        1    63420    134 | 29.159 % |
187.98/188.03	c |    214555 |   97975   773085  2104129 |        1    63972    134 | 29.162 % |
187.98/188.03	c |    214951 |   97968   773085  2104129 |        1    64367    135 | 29.167 % |
187.98/188.03	c |    215576 |   97968   773085  2104129 |        1    64992    135 | 29.167 % |
187.98/188.03	c |    215716 |   97968   773085  2104129 |        1    65132    135 | 29.167 % |
187.98/188.03	c |    215818 |   97968   773085  2104129 |        1    65234    135 | 29.167 % |
187.98/188.03	c |    216536 |   97951   773085  2104129 |        1    65951    136 | 29.180 % |
187.98/188.03	c |    216636 |   97951   773085  2104129 |        1    66051    137 | 29.180 % |
187.98/188.03	c |    216738 |   97951   773085  2104129 |        1    66153    137 | 29.180 % |
187.98/188.03	c |    216933 |   97951   773085  2104129 |        1    66348    138 | 29.180 % |
187.98/188.03	c |    217396 |   97951   773085  2104129 |        1    66811    138 | 29.180 % |
187.98/188.03	c |    217568 |   97951   773085  2104129 |        1    66983    138 | 29.180 % |
187.98/188.03	c |    217668 |   97951   773085  2104129 |        1    67083    139 | 29.180 % |
187.98/188.03	c |    217832 |   97951   773085  2104129 |        1    67247    139 | 29.180 % |
187.98/188.03	c |    218800 |   97951   773085  2104129 |        1    68215    141 | 29.180 % |
187.98/188.03	c |    218900 |   97951   773085  2104129 |        1    68315    141 | 29.180 % |
187.98/188.03	c |    219000 |   97951   773085  2104129 |        1    68415    141 | 29.180 % |
187.98/188.03	c |    219104 |   97951   772996  2103722 |        1    68511    141 | 29.180 % |
187.98/188.03	c |    220120 |   97951   772996  2103722 |        1    41934     66 | 29.180 % |
187.98/188.03	c |    220834 |   97951   772996  2103722 |        1    42648     68 | 29.180 % |
187.98/188.03	c |    222058 |   97950   772996  2103722 |        1    43871     71 | 29.180 % |
187.98/188.03	c |    222607 |   97941   772996  2103722 |        1    44419     72 | 29.187 % |
187.98/188.03	c |    222892 |   97941   772996  2103722 |        1    44704     73 | 29.187 % |
187.98/188.03	c |    222992 |   97941   772996  2103722 |        1    44804     73 | 29.187 % |
187.98/188.03	c |    223149 |   97941   772996  2103722 |        1    44961     74 | 29.187 % |
206.18/206.24	c |    224085 |   97941   772996  2103722 |        1    45897     76 | 29.187 % |
206.18/206.24	c |    224187 |   97941   772996  2103722 |        1    45999     77 | 29.187 % |
206.18/206.24	c |    224399 |   97941   772996  2103722 |        1    46211     77 | 29.187 % |
206.18/206.24	c |    224499 |   97941   772996  2103722 |        1    46311     78 | 29.187 % |
206.18/206.24	c |    224675 |   97941   772996  2103722 |        1    46487     78 | 29.187 % |
206.18/206.24	c |    225700 |   97940   772996  2103722 |        1    47511     80 | 29.188 % |
206.18/206.24	c |    225800 |   97940   772970  2103612 |        1    47608     81 | 29.188 % |
206.18/206.24	c |    225900 |   97940   772970  2103612 |        1    47708     81 | 29.188 % |
206.18/206.24	c |    226001 |   97940   772970  2103612 |        1    47809     81 | 29.188 % |
206.18/206.24	c |    226155 |   97939   772970  2103612 |        1    47962     82 | 29.188 % |
206.18/206.24	c |    226562 |   97939   772970  2103612 |        1    48369     82 | 29.188 % |
206.18/206.24	c |    226672 |   97939   772970  2103612 |        1    48479     83 | 29.188 % |
206.18/206.24	c |    226774 |   97939   772970  2103612 |        1    48581     83 | 29.188 % |
206.18/206.24	c |    226876 |   97939   772970  2103612 |        1    48683     84 | 29.188 % |
206.18/206.24	c |    226976 |   97939   772970  2103612 |        1    48783     84 | 29.188 % |
206.18/206.24	c |    227328 |   97939   772970  2103612 |        1    49135     85 | 29.188 % |
206.18/206.24	c |    227429 |   97939   772970  2103612 |        1    49236     85 | 29.188 % |
206.18/206.24	c |    227529 |   97939   772970  2103612 |        1    49336     86 | 29.188 % |
206.18/206.24	c |    227630 |   97932   772970  2103612 |        1    49436     86 | 29.193 % |
206.18/206.24	c |    228224 |   97932   772970  2103612 |        1    50030     89 | 29.193 % |
206.18/206.24	c |    228324 |   97932   772970  2103612 |        1    50119     90 | 29.193 % |
206.18/206.24	c |    228424 |   97932   772970  2103612 |        1    50219     90 | 29.193 % |
206.18/206.24	c |    228525 |   97932   772970  2103612 |        1    50320     91 | 29.193 % |
206.18/206.24	c |    228625 |   97932   772970  2103612 |        1    50420     91 | 29.193 % |
206.18/206.24	c |    228748 |   97931   772970  2103612 |        1    50542     91 | 29.194 % |
206.18/206.24	c |    228864 |   97931   772970  2103612 |        1    50658     91 | 29.194 % |
206.18/206.24	c |    228988 |   97931   772970  2103612 |        1    50782     92 | 29.194 % |
206.18/206.24	c |    229178 |   97931   772970  2103612 |        1    50972     92 | 29.194 % |
206.18/206.24	c |    229453 |   97931   772970  2103612 |        1    51247     92 | 29.194 % |
206.18/206.24	c |    229570 |   97931   772970  2103612 |        1    51364     92 | 29.194 % |
206.18/206.24	c |    229981 |   97923   772970  2103612 |        1    51774     93 | 29.200 % |
206.18/206.24	c |    230081 |   97923   772970  2103612 |        1    51874     93 | 29.200 % |
206.18/206.24	c |    230182 |   97919   772970  2103612 |        1    51974     94 | 29.203 % |
206.18/206.24	c |    233405 |   97743   772580  2102106 |        1    55035     98 | 29.330 % |
206.18/206.24	c |    233685 |   97540   772580  2102106 |        1    55313     98 | 29.477 % |
206.18/206.24	c |    233934 |   97469   772580  2102106 |        1    55559     99 | 29.528 % |
206.18/206.24	c |    234486 |   97469   772580  2102106 |        1    56111     99 | 29.528 % |
206.18/206.24	c |    234592 |   97469   772580  2102106 |        1    56217    100 | 29.528 % |
206.18/206.24	c |    234884 |   97469   772580  2102106 |        1    56509    100 | 29.528 % |
206.18/206.24	c |    235096 |   97469   772580  2102106 |        1    56721    100 | 29.528 % |
206.18/206.24	c |    235338 |   97468   772088  2100141 |        1    55054    100 | 29.529 % |
206.18/206.24	c |    235533 |   97468   772088  2100141 |        1    55249    101 | 29.529 % |
206.18/206.24	c |    235635 |   97468   772088  2100141 |        1    55351    101 | 29.529 % |
206.18/206.24	c |    236383 |   97468   772088  2100141 |        1    56099    102 | 29.529 % |
206.18/206.24	c |    237657 |   97468   772088  2100141 |        1    57373    104 | 29.529 % |
206.18/206.24	c |    238370 |   97468   772088  2100141 |        1    58086    106 | 29.529 % |
206.18/206.24	c |    238549 |   97467   772088  2100141 |        1    58264    106 | 29.530 % |
206.18/206.24	c |    238881 |   97467   772088  2100141 |        1    58596    107 | 29.530 % |
206.18/206.24	c |    239140 |   97467   772088  2100141 |        1    58855    108 | 29.530 % |
206.18/206.24	c |    240765 |   97314   772027  2099958 |        1    60436    110 | 29.640 % |
234.58/234.66	c |    240865 |   97314   772027  2099958 |        1    60536    111 | 29.640 % |
234.58/234.66	c |    241061 |   97313   772027  2099958 |        1    60731    111 | 29.641 % |
234.58/234.66	c |    242101 |   97313   772027  2099958 |        1    61771    114 | 29.641 % |
234.58/234.66	c |    242372 |   97298   772027  2099958 |        1    62041    115 | 29.652 % |
234.58/234.66	c |    244248 |   97298   772027  2099958 |        1    63917    120 | 29.652 % |
234.58/234.66	c |    244582 |   97298   771981  2099772 |        1    64243    120 | 29.652 % |
234.58/234.66	c |    244685 |   97298   771981  2099772 |        1    64346    120 | 29.652 % |
234.58/234.66	c |    245948 |   97298   771981  2099772 |        1    65609    121 | 29.652 % |
234.58/234.66	c |    246089 |   97298   771981  2099772 |        1    65750    121 | 29.652 % |
234.58/234.66	c |    246190 |   97298   771981  2099772 |        1    65851    121 | 29.652 % |
234.58/234.66	c |    246294 |   97298   771981  2099772 |        1    65955    121 | 29.652 % |
234.58/234.66	c |    246394 |   97298   771981  2099772 |        1    66055    122 | 29.652 % |
234.58/234.66	c |    246495 |   97298   771981  2099772 |        1    66156    122 | 29.652 % |
234.58/234.66	c |    246829 |   97298   771981  2099772 |        1    66490    122 | 29.652 % |
234.58/234.66	c |    246933 |   97298   771981  2099772 |        1    66594    122 | 29.652 % |
234.58/234.66	c |    247033 |   97298   771981  2099772 |        1    66694    122 | 29.652 % |
234.58/234.66	c |    247134 |   97298   771981  2099772 |        1    66795    122 | 29.652 % |
234.58/234.66	c |    247646 |   97297   771981  2099772 |        1    67306    123 | 29.652 % |
234.58/234.66	c |    248431 |   97297   771981  2099772 |        1    68090    125 | 29.652 % |
234.58/234.66	c |    248531 |   97297   771981  2099772 |        1    68190    126 | 29.652 % |
234.58/234.66	c |    248632 |   97297   771981  2099772 |        1    68291    126 | 29.652 % |
234.58/234.66	c |    250630 |   97289   771981  2099772 |        1    70288    130 | 29.658 % |
234.58/234.66	c |    251131 |   97289   771981  2099772 |        1    70789    130 | 29.658 % |
234.58/234.66	c |    252923 |   97283   771981  2099772 |        1    72580    133 | 29.663 % |
234.58/234.66	c |    253056 |   97283   771981  2099772 |        1    72713    133 | 29.663 % |
234.58/234.66	c |    253156 |   97283   771981  2099772 |        1    72813    134 | 29.663 % |
234.58/234.66	c |    253256 |   97283   771966  2099708 |        1    72913    134 | 29.663 % |
234.58/234.66	c |    254658 |   97265   771966  2099708 |        1    74314    135 | 29.676 % |
234.58/234.66	c |    256068 |   97252   771966  2099708 |        1    46689     62 | 29.685 % |
234.58/234.66	c |    256168 |   97252   771966  2099708 |        1    46789     63 | 29.685 % |
234.58/234.66	c |    256273 |   97252   771966  2099708 |        1    46894     63 | 29.685 % |
234.58/234.66	c |    256376 |   97252   771966  2099708 |        1    46997     63 | 29.685 % |
234.58/234.66	c |    256482 |   97252   771966  2099708 |        1    47103     64 | 29.685 % |
234.58/234.66	c |    256583 |   97252   771966  2099708 |        1    47204     64 | 29.685 % |
234.58/234.66	c |    256684 |   97252   771966  2099708 |        1    47305     65 | 29.685 % |
234.58/234.66	c |    256898 |   97252   771966  2099708 |        1    47519     65 | 29.685 % |
234.58/234.66	c |    256999 |   97252   771939  2099627 |        1    47611     66 | 29.685 % |
234.58/234.66	c |    260093 |   97252   771939  2099627 |        1    50705     73 | 29.685 % |
234.58/234.66	c |    260195 |   97252   771939  2099627 |        1    50807     73 | 29.685 % |
234.58/234.66	c |    261756 |   97252   771939  2099627 |        1    52368     81 | 29.685 % |
234.58/234.66	c |    261925 |   97252   771939  2099627 |        1    52537     82 | 29.685 % |
234.58/234.66	c |    262025 |   97252   771939  2099627 |        1    52637     82 | 29.685 % |
234.58/234.66	c |    262192 |   97252   771939  2099627 |        1    52804     82 | 29.685 % |
234.58/234.66	c |    262292 |   97252   771939  2099627 |        1    52904     83 | 29.685 % |
234.58/234.66	c |    262392 |   97252   771939  2099627 |        1    53004     83 | 29.685 % |
234.58/234.66	c |    262845 |   97252   771939  2099627 |        1    53457     84 | 29.685 % |
234.58/234.66	c |    263147 |   97252   771939  2099627 |        1    53759     84 | 29.685 % |
234.58/234.66	c |    263247 |   97252   771939  2099627 |        1    53859     84 | 29.685 % |
234.58/234.66	c |    263453 |   97252   771939  2099627 |        1    54065     85 | 29.685 % |
234.58/234.66	c |    263780 |   97249   771938  2099624 |        1    54391     86 | 29.687 % |
260.08/260.10	c |    263882 |   97249   771938  2099624 |        1    54493     86 | 29.687 % |
260.08/260.10	c |    264699 |   97248   771938  2099624 |        1    55309     88 | 29.688 % |
260.08/260.10	c |    264801 |   97248   771938  2099624 |        1    55411     88 | 29.688 % |
260.08/260.10	c |    265059 |   97248   771938  2099624 |        1    55669     88 | 29.688 % |
260.08/260.10	c |    265502 |   97248   771938  2099624 |        1    56112     90 | 29.688 % |
260.08/260.10	c |    265604 |   97248   771938  2099624 |        1    56214     90 | 29.688 % |
260.08/260.10	c |    265804 |   97248   771938  2099624 |        1    56414     90 | 29.688 % |
260.08/260.10	c |    265904 |   97248   771938  2099624 |        1    56514     90 | 29.688 % |
260.08/260.10	c |    266004 |   97248   771938  2099624 |        1    56614     91 | 29.688 % |
260.08/260.10	c |    266280 |   97248   771938  2099624 |        1    56890     91 | 29.688 % |
260.08/260.10	c |    266563 |   97248   771938  2099624 |        1    57172     91 | 29.688 % |
260.08/260.10	c |    268119 |   97245   771938  2099624 |        1    58727     94 | 29.690 % |
260.08/260.10	c |    268550 |   97245   771938  2099624 |        1    59158     96 | 29.690 % |
260.08/260.10	c |    268778 |   97245   771938  2099624 |        1    59386     96 | 29.690 % |
260.08/260.10	c |    271043 |   97244   771936  2099618 |        1    61636    100 | 29.691 % |
260.08/260.10	c |    271144 |   97244   771936  2099618 |        1    61737    100 | 29.691 % |
260.08/260.10	c |    271244 |   97244   771936  2099618 |        1    61837    101 | 29.691 % |
260.08/260.10	c |    271345 |   97244   771936  2099618 |        1    61938    101 | 29.691 % |
260.08/260.10	c |    271448 |   97244   771936  2099618 |        1    62041    101 | 29.691 % |
260.08/260.10	c |    272234 |   97227   771936  2099618 |        1    62825    102 | 29.703 % |
260.08/260.10	c |    272691 |   97227   771936  2099618 |        1    63282    102 | 29.703 % |
260.08/260.10	c |    273168 |   97166   771936  2099618 |        1    63758    103 | 29.747 % |
260.08/260.10	c |    273274 |   97166   771936  2099618 |        1    63864    103 | 29.747 % |
260.08/260.10	c |    273681 |   97166   771936  2099618 |        1    64271    104 | 29.747 % |
260.08/260.10	c |    273782 |   97166   771936  2099618 |        1    64372    104 | 29.747 % |
260.08/260.10	c |    273918 |   97166   771936  2099618 |        1    64508    104 | 29.747 % |
260.08/260.10	c |    274149 |   97166   771936  2099618 |        1    64739    105 | 29.747 % |
260.08/260.10	c |    274263 |   97166   771936  2099618 |        1    64853    105 | 29.747 % |
260.08/260.10	c |    274583 |   97166   771936  2099618 |        1    65173    105 | 29.747 % |
260.08/260.10	c |    274686 |   97166   771936  2099618 |        1    65276    105 | 29.747 % |
260.08/260.10	c |    274860 |   97160   771847  2099327 |        1    65426    105 | 29.751 % |
260.08/260.10	c |    276307 |   97153   771847  2099327 |        1    66872    108 | 29.757 % |
260.08/260.10	c |    276407 |   97153   771847  2099327 |        1    66972    108 | 29.757 % |
260.08/260.10	c |    277389 |   97153   771847  2099327 |        1    67954    111 | 29.757 % |
260.08/260.10	c |    277595 |   97153   771847  2099327 |        1    68160    111 | 29.757 % |
260.08/260.10	c |    277696 |   97132   771847  2099327 |        1    68260    112 | 29.772 % |
260.08/260.10	c |    277797 |   97132   771847  2099327 |        1    68361    112 | 29.772 % |
260.08/260.10	c |    277897 |   97132   771847  2099327 |        1    68461    112 | 29.772 % |
260.08/260.10	c |    277997 |   97132   771847  2099327 |        1    68561    112 | 29.772 % |
260.08/260.10	c |    278097 |   97128   771847  2099327 |        1    68657    112 | 29.775 % |
260.08/260.10	c |    278945 |   97123   771847  2099327 |        1    69503    115 | 29.778 % |
260.08/260.10	c |    279045 |   97123   771847  2099327 |        1    69603    115 | 29.778 % |
260.08/260.10	c |    279182 |   97123   771847  2099327 |        1    69740    115 | 29.778 % |
260.08/260.10	c |    279704 |   97123   771752  2099002 |        1    70238    117 | 29.778 % |
260.08/260.10	c |    279807 |   97123   771752  2099002 |        1    70341    117 | 29.778 % |
260.08/260.10	c |    280571 |   97123   771752  2099002 |        1    71105    118 | 29.778 % |
260.08/260.10	c |    280671 |   97123   771752  2099002 |        1    71205    118 | 29.778 % |
260.08/260.10	c |    283175 |   97120   771752  2099002 |        1    73708    119 | 29.780 % |
260.08/260.10	c |    283420 |   97120   771746  2098984 |        1    73953    119 | 29.780 % |
260.08/260.10	c |    284977 |   97120   771746  2098984 |        1    75510    122 | 29.780 % |
294.68/294.79	c |    285443 |   97120   771746  2098984 |        1    75976    122 | 29.780 % |
294.68/294.79	c |    285543 |   97120   771746  2098984 |        1    76076    122 | 29.780 % |
294.68/294.79	c |    287904 |   97120   771746  2098984 |        1    78437    123 | 29.780 % |
294.68/294.79	c |    288292 |   96953   771746  2098984 |        1    78824    124 | 29.901 % |
294.68/294.79	c |    289210 |   96953   771746  2098984 |        1    79699    124 | 29.901 % |
294.68/294.79	c |    290667 |   96946   771746  2098984 |        1    81155    127 | 29.906 % |
294.68/294.79	c |    290883 |   96946   771746  2098984 |        1    81371    127 | 29.906 % |
294.68/294.79	c |    290984 |   96946   771746  2098984 |        1    81472    127 | 29.906 % |
294.68/294.79	c |    291089 |   96946   771746  2098984 |        1    81577    127 | 29.906 % |
294.68/294.79	c |    292923 |   96946   771746  2098984 |        1    50456     58 | 29.906 % |
294.68/294.79	c |    293186 |   96935   771746  2098984 |        1    50718     59 | 29.914 % |
294.68/294.79	c |    293604 |   96928   771746  2098984 |        1    51135     60 | 29.919 % |
294.68/294.79	c |    294134 |   96928   771746  2098984 |        1    51665     61 | 29.919 % |
294.68/294.79	c |    295183 |   96928   771746  2098984 |        1    52714     64 | 29.919 % |
294.68/294.79	c |    295285 |   96921   771679  2098711 |        1    52794     64 | 29.924 % |
294.68/294.79	c |    295799 |   96921   771679  2098711 |        1    53308     66 | 29.924 % |
294.68/294.79	c |    296590 |   96921   771679  2098711 |        1    54099     68 | 29.924 % |
294.68/294.79	c |    296809 |   96921   771679  2098711 |        1    54318     68 | 29.924 % |
294.68/294.79	c |    296910 |   96921   771679  2098711 |        1    54419     68 | 29.924 % |
294.68/294.79	c |    297386 |   96921   771679  2098711 |        1    54895     69 | 29.924 % |
294.68/294.79	c |    297486 |   96921   771679  2098711 |        1    54995     70 | 29.924 % |
294.68/294.79	c |    298143 |   96921   771679  2098711 |        1    55652     71 | 29.924 % |
294.68/294.79	c |    299455 |   96921   771661  2098641 |        1    56964     71 | 29.924 % |
294.68/294.79	c |    300153 |   96921   771661  2098641 |        1    57662     72 | 29.924 % |
294.68/294.79	c |    300260 |   96921   771661  2098641 |        1    57769     73 | 29.924 % |
294.68/294.79	c |    300368 |   96921   771661  2098641 |        1    57877     73 | 29.924 % |
294.68/294.79	c |    302454 |   96885   771661  2098641 |        1    59961     77 | 29.950 % |
294.68/294.79	c |    303028 |   96885   771576  2098296 |        1    60508     78 | 29.950 % |
294.68/294.79	c |    303131 |   96885   771576  2098296 |        1    60611     79 | 29.950 % |
294.68/294.79	c |    303466 |   96885   771576  2098296 |        1    60946     79 | 29.950 % |
294.68/294.79	c |    303927 |   96885   771576  2098296 |        1    61407     80 | 29.950 % |
294.68/294.79	c |    307187 |   96877   771551  2098195 |        1    64659     86 | 29.956 % |
294.68/294.79	c |    307354 |   96877   771551  2098195 |        1    64826     86 | 29.956 % |
294.68/294.79	c |    307457 |   96877   771551  2098195 |        1    64929     86 | 29.956 % |
294.68/294.79	c |    311008 |   96877   771551  2098195 |        1    68480     93 | 29.956 % |
294.68/294.79	c |    311780 |   96876   771551  2098195 |        1    69247     94 | 29.957 % |
294.68/294.79	c |    312515 |   96876   771551  2098195 |        1    69982     95 | 29.957 % |
294.68/294.79	c |    312615 |   96876   771551  2098195 |        1    70082     95 | 29.957 % |
294.68/294.79	c |    312964 |   96876   771551  2098195 |        1    70431     96 | 29.957 % |
294.68/294.79	c |    313162 |   96876   771551  2098195 |        1    70629     96 | 29.957 % |
294.68/294.79	c |    314424 |   96875   771551  2098195 |        1    71890    100 | 29.958 % |
294.68/294.79	c |    314889 |   96874   771551  2098195 |        1    72354    100 | 29.958 % |
294.68/294.79	c |    314990 |   96874   771551  2098195 |        1    72455    100 | 29.958 % |
294.68/294.79	c |    315327 |   96874   771551  2098195 |        1    72792    101 | 29.958 % |
294.68/294.79	c |    316338 |   96858   771551  2098195 |        1    73802    101 | 29.970 % |
294.68/294.79	c |    317903 |   96858   771551  2098195 |        1    75360    106 | 29.970 % |
294.68/294.79	c |    318682 |   96856   771551  2098195 |        1    76137    107 | 29.971 % |
294.68/294.79	c |    319122 |   96856   771551  2098195 |        1    76577    108 | 29.971 % |
294.68/294.79	c |    319222 |   96856   771551  2098195 |        1    76677    108 | 29.971 % |
294.68/294.79	c |    319378 |   96856   771551  2098195 |        1    76833    108 | 29.971 % |
319.49/319.53	c |    320300 |   96856   771551  2098195 |        1    77755    108 | 29.971 % |
319.49/319.53	c |    320874 |   96840   771551  2098195 |        1    78328    109 | 29.983 % |
319.49/319.53	c |    320974 |   96840   771551  2098195 |        1    78428    109 | 29.983 % |
319.49/319.53	c |    321075 |   96840   771551  2098195 |        1    78529    109 | 29.983 % |
319.49/319.53	c |    321236 |   96840   771551  2098195 |        1    78690    109 | 29.983 % |
319.49/319.53	c |    322150 |   96840   771551  2098195 |        1    79604    110 | 29.983 % |
319.49/319.53	c |    322639 |   96840   771508  2098034 |        1    80077    111 | 29.983 % |
319.49/319.53	c |    322740 |   96840   771508  2098034 |        1    80178    111 | 29.983 % |
319.49/319.53	c |    322851 |   96840   771508  2098034 |        1    80289    111 | 29.983 % |
319.49/319.53	c |    322958 |   96840   771508  2098034 |        1    80396    111 | 29.983 % |
319.49/319.53	c |    323058 |   96840   771508  2098034 |        1    80496    112 | 29.983 % |
319.49/319.53	c |    323297 |   96662   771508  2098034 |        1    80734    112 | 30.112 % |
319.49/319.53	c |    323674 |   96660   771508  2098034 |        1    81110    112 | 30.113 % |
319.49/319.53	c |    323775 |   96660   771508  2098034 |        1    81211    112 | 30.113 % |
319.49/319.53	c |    323960 |   96660   771508  2098034 |        1    81396    113 | 30.113 % |
319.49/319.53	c |    324060 |   96660   771508  2098034 |        1    81496    113 | 30.113 % |
319.49/319.53	c |    324743 |   96660   771508  2098034 |        1    82179    114 | 30.113 % |
319.49/319.53	c |    325681 |   96647   771508  2098034 |        1    83116    114 | 30.122 % |
319.49/319.53	c |    325786 |   96647   771508  2098034 |        1    83221    114 | 30.122 % |
319.49/319.53	c |    325886 |   96647   771508  2098034 |        1    83321    114 | 30.122 % |
319.49/319.53	c |    326205 |   96647   771508  2098034 |        1    83640    114 | 30.122 % |
319.49/319.53	c |    326334 |   96647   771445  2097845 |        1    83753    114 | 30.122 % |
319.49/319.53	c |    326435 |   96647   771445  2097845 |        1    83854    114 | 30.122 % |
319.49/319.53	c |    328123 |   96647   771445  2097845 |        1    85542    117 | 30.122 % |
319.49/319.53	c |    329889 |   96647   771445  2097845 |        1    87308    119 | 30.122 % |
319.49/319.53	c |    329989 |   96647   771445  2097845 |        1    87408    119 | 30.122 % |
319.49/319.53	c |    330089 |   96647   771445  2097845 |        1    87508    119 | 30.122 % |
319.49/319.53	c |    330191 |   96647   771445  2097845 |        1    87610    120 | 30.122 % |
319.49/319.53	c |    330292 |   96647   771445  2097845 |        1    87711    120 | 30.122 % |
319.49/319.53	c |    330530 |   96647   771445  2097845 |        1    87949    120 | 30.122 % |
319.49/319.53	c |    330636 |   96647   771445  2097845 |        1    88055    120 | 30.122 % |
319.49/319.53	c |    331258 |   96640   771445  2097845 |        1    88676    120 | 30.127 % |
319.49/319.53	c |    332317 |   96636   771424  2097760 |        1    89717    121 | 30.130 % |
319.49/319.53	c |    332728 |   96636   771424  2097760 |        1    90128    121 | 30.130 % |
319.49/319.53	c |    332830 |   96636   771424  2097760 |        1    90230    122 | 30.130 % |
319.49/319.53	c |    333113 |   96636   771424  2097760 |        1    55486     57 | 30.130 % |
319.49/319.53	c |    334098 |   96636   771424  2097760 |        1    56471     61 | 30.130 % |
319.49/319.53	c |    334200 |   96636   771424  2097760 |        1    56573     62 | 30.130 % |
319.49/319.53	c |    335273 |   96636   771424  2097760 |        1    57646     65 | 30.130 % |
319.49/319.53	c |    335390 |   96636   771424  2097760 |        1    57763     65 | 30.130 % |
319.49/319.53	c |    336341 |   96636   771424  2097760 |        1    58714     65 | 30.130 % |
319.49/319.53	c |    336444 |   96636   771424  2097760 |        1    58817     66 | 30.130 % |
319.49/319.53	c |    336682 |   96636   771424  2097760 |        1    59055     66 | 30.130 % |
319.49/319.53	c |    338136 |   96599   771350  2097514 |        1    60481     69 | 30.157 % |
319.49/319.53	c |    338238 |   96599   771350  2097514 |        1    60583     70 | 30.157 % |
319.49/319.53	c |    338343 |   96599   771350  2097514 |        1    60688     70 | 30.157 % |
319.49/319.53	c |    338444 |   96599   771350  2097514 |        1    60789     70 | 30.157 % |
319.49/319.53	c |    339397 |   96599   771350  2097514 |        1    61742     72 | 30.157 % |
319.49/319.53	c |    341816 |   96599   771350  2097514 |        1    64161     75 | 30.157 % |
319.49/319.53	c |    342374 |   96599   771350  2097514 |        1    64719     76 | 30.157 % |
350.89/350.97	c |    342477 |   96599   771350  2097514 |        1    64822     76 | 30.157 % |
350.89/350.97	c |    342915 |   96599   771350  2097514 |        1    65260     78 | 30.157 % |
350.89/350.97	c |    343016 |   96599   771350  2097514 |        1    65361     78 | 30.157 % |
350.89/350.97	c |    343120 |   96599   771350  2097514 |        1    65465     78 | 30.157 % |
350.89/350.97	c |    343753 |   96599   771350  2097514 |        1    66098     79 | 30.157 % |
350.89/350.97	c |    343853 |   96599   771350  2097514 |        1    66198     80 | 30.157 % |
350.89/350.97	c |    346023 |   96590   771322  2097398 |        1    68358     82 | 30.164 % |
350.89/350.97	c |    346231 |   96590   771322  2097398 |        1    68566     82 | 30.164 % |
350.89/350.97	c |    346788 |   96590   771322  2097398 |        1    69123     83 | 30.164 % |
350.89/350.97	c |    346888 |   96590   771322  2097398 |        1    69223     83 | 30.164 % |
350.89/350.97	c |    347500 |   96590   771322  2097398 |        1    69835     85 | 30.164 % |
350.89/350.97	c |    347798 |   96590   771322  2097398 |        1    70133     85 | 30.164 % |
350.89/350.97	c |    347899 |   96590   771322  2097398 |        1    70234     85 | 30.164 % |
350.89/350.97	c |    348046 |   96590   771322  2097398 |        1    70381     86 | 30.164 % |
350.89/350.97	c |    348147 |   96590   771322  2097398 |        1    70482     86 | 30.164 % |
350.89/350.97	c |    348248 |   96590   771322  2097398 |        1    70583     87 | 30.164 % |
350.89/350.97	c |    348350 |   96590   771322  2097398 |        1    70685     87 | 30.164 % |
350.89/350.97	c |    348748 |   96590   771322  2097398 |        1    71083     87 | 30.164 % |
350.89/350.97	c |    349949 |   96590   771322  2097398 |        1    72284     89 | 30.164 % |
350.89/350.97	c |    350052 |   96590   771322  2097398 |        1    72387     89 | 30.164 % |
350.89/350.97	c |    350155 |   96590   771322  2097398 |        1    72490     89 | 30.164 % |
350.89/350.97	c |    350255 |   96590   771322  2097398 |        1    72590     89 | 30.164 % |
350.89/350.97	c |    351829 |   96585   771311  2097365 |        1    74163     91 | 30.167 % |
350.89/350.97	c |    356819 |   96575   771311  2097365 |        1    79151     98 | 30.174 % |
350.89/350.97	c |    356919 |   96567   771265  2097211 |        1    79244     98 | 30.180 % |
350.89/350.97	c |    357019 |   96567   771265  2097211 |        1    79344     98 | 30.180 % |
350.89/350.97	c |    357737 |   96567   771265  2097211 |        1    80062     98 | 30.180 % |
350.89/350.97	c |    358136 |   96567   771265  2097211 |        1    80461     99 | 30.180 % |
350.89/350.97	c |    358357 |   96567   771265  2097211 |        1    80682    100 | 30.180 % |
350.89/350.97	c |    358586 |   96567   771265  2097211 |        1    80911    100 | 30.180 % |
350.89/350.97	c |    361731 |   95103   753102  2042698 |        1    83978    106 | 31.239 % |
350.89/350.97	c |    362100 |   95103   753102  2042698 |        1    84347    106 | 31.239 % |
350.89/350.97	c |    362206 |   95103   753102  2042698 |        1    84453    107 | 31.239 % |
350.89/350.97	c |    363831 |   95026   753102  2042698 |        1    86077    109 | 31.294 % |
350.89/350.97	c |    363932 |   95026   753102  2042698 |        1    86178    110 | 31.294 % |
350.89/350.97	c |    364062 |   95026   753102  2042698 |        1    86308    110 | 31.294 % |
350.89/350.97	c |    364248 |   95026   753102  2042698 |        1    86494    110 | 31.294 % |
350.89/350.97	c |    366005 |   95026   753102  2042698 |        1    88251    110 | 31.294 % |
350.89/350.97	c |    366105 |   95026   753102  2042698 |        1    88351    110 | 31.294 % |
350.89/350.97	c |    366206 |   95026   753102  2042698 |        1    88452    111 | 31.294 % |
350.89/350.97	c |    366306 |   95026   753102  2042698 |        1    88552    111 | 31.294 % |
350.89/350.97	c |    366810 |   95026   753102  2042698 |        1    89056    111 | 31.294 % |
350.89/350.97	c |    367142 |   95018   752976  2042160 |        1    89384    111 | 31.300 % |
350.89/350.97	c |    367842 |   95017   752976  2042160 |        1    90083    112 | 31.301 % |
350.89/350.97	c |    367942 |   95017   752976  2042160 |        1    90183    112 | 31.301 % |
350.89/350.97	c |    368050 |   95017   752976  2042160 |        1    90291    112 | 31.301 % |
350.89/350.97	c |    369150 |   95017   752976  2042160 |        1    91391    113 | 31.301 % |
350.89/350.97	c |    370419 |   95017   752976  2042160 |        1    92660    113 | 31.301 % |
350.89/350.97	c |    370613 |   95017   752976  2042160 |        1    92854    113 | 31.301 % |
350.89/350.97	c |    371203 |   95017   752976  2042160 |        1    93444    113 | 31.301 % |
390.99/391.00	c |    372212 |   95017   752976  2042160 |        1    94453    114 | 31.301 % |
390.99/391.00	c |    372312 |   95017   752976  2042160 |        1    94553    114 | 31.301 % |
390.99/391.00	c |    372698 |   95017   752976  2042160 |        1    94939    114 | 31.301 % |
390.99/391.00	c |    372799 |   95017   752976  2042160 |        1    95040    114 | 31.301 % |
390.99/391.00	c |    372902 |   94997   752976  2042160 |        1    95141    114 | 31.315 % |
390.99/391.00	c |    373892 |   94997   752953  2042059 |        1    96107    114 | 31.315 % |
390.99/391.00	c |    374244 |   94997   752953  2042059 |        1    96459    115 | 31.315 % |
390.99/391.00	c |    374344 |   94997   752953  2042059 |        1    96559    115 | 31.315 % |
390.99/391.00	c |    374447 |   94997   752953  2042059 |        1    96662    115 | 31.315 % |
390.99/391.00	c |    374548 |   94997   752953  2042059 |        1    96763    115 | 31.315 % |
390.99/391.00	c |    374649 |   94997   752953  2042059 |        1    96864    115 | 31.315 % |
390.99/391.00	c |    374868 |   94997   752953  2042059 |        1    97083    115 | 31.315 % |
390.99/391.00	c |    375971 |   94993   752953  2042059 |        1    98185    118 | 31.318 % |
390.99/391.00	c |    377001 |   94993   752953  2042059 |        1    61593     59 | 31.318 % |
390.99/391.00	c |    377101 |   94993   752953  2042059 |        1    61693     59 | 31.318 % |
390.99/391.00	c |    380226 |   94911   752300  2040048 |        1    64743     66 | 31.378 % |
390.99/391.00	c |    380348 |   94911   752300  2040048 |        1    64865     66 | 31.378 % |
390.99/391.00	c |    380946 |   94911   752300  2040048 |        1    65463     67 | 31.378 % |
390.99/391.00	c |    381046 |   94911   752300  2040048 |        1    65563     67 | 31.378 % |
390.99/391.00	c |    381763 |   94911   752300  2040048 |        1    66280     69 | 31.378 % |
390.99/391.00	c |    382848 |   94911   752300  2040048 |        1    67365     71 | 31.378 % |
390.99/391.00	c |    382981 |   94911   752300  2040048 |        1    67498     71 | 31.378 % |
390.99/391.00	c |    383568 |   94911   752300  2040048 |        1    68085     72 | 31.378 % |
390.99/391.00	c |    383668 |   94911   752300  2040048 |        1    68185     72 | 31.378 % |
390.99/391.00	c |    390274 |   94910   752300  2040048 |        1    74785     85 | 31.378 % |
390.99/391.00	c |    390395 |   94910   752300  2040048 |        1    74906     85 | 31.378 % |
390.99/391.00	c |    390606 |   94910   752300  2040048 |        1    75117     85 | 31.378 % |
390.99/391.00	c |    391141 |   94909   752300  2040048 |        1    75651     86 | 31.379 % |
390.99/391.00	c |    391241 |   94909   752300  2040048 |        1    75751     86 | 31.379 % |
390.99/391.00	c |    391341 |   94909   752300  2040048 |        1    75851     86 | 31.379 % |
390.99/391.00	c |    392640 |   94868   752300  2040048 |        1    77149     87 | 31.409 % |
390.99/391.00	c |    393322 |   94868   752300  2040048 |        1    77831     89 | 31.409 % |
390.99/391.00	c |    393553 |   94868   752300  2040048 |        1    78062     89 | 31.409 % |
390.99/391.00	c |    393920 |   94868   752300  2040048 |        1    78429     90 | 31.409 % |
390.99/391.00	c |    394896 |   94866   752300  2040048 |        1    79403     92 | 31.410 % |
390.99/391.00	c |    396871 |   94842   752191  2039721 |        1    81350     95 | 31.427 % |
390.99/391.00	c |    396971 |   94842   752191  2039721 |        1    81450     95 | 31.427 % |
390.99/391.00	c |    397249 |   94764   752191  2039721 |        1    81727     95 | 31.484 % |
390.99/391.00	c |    399814 |   94639   752191  2039721 |        1    84291     98 | 31.574 % |
390.99/391.00	c |    399999 |   94639   752191  2039721 |        1    84476     98 | 31.574 % |
390.99/391.00	c |    400283 |   94639   751667  2037595 |        1    82634     99 | 31.574 % |
390.99/391.00	c |    402901 |   94639   751667  2037595 |        1    85252    105 | 31.574 % |
390.99/391.00	c |    403481 |   94639   751667  2037595 |        1    85832    106 | 31.574 % |
390.99/391.00	c |    403732 |   94639   751667  2037595 |        1    86083    106 | 31.574 % |
390.99/391.00	c |    403834 |   94639   751667  2037595 |        1    86185    106 | 31.574 % |
390.99/391.00	c |    403935 |   94639   751667  2037595 |        1    86286    106 | 31.574 % |
390.99/391.00	c |    406037 |   94631   751667  2037595 |        1    88387    109 | 31.580 % |
390.99/391.00	c |    406141 |   94631   751667  2037595 |        1    88491    109 | 31.580 % |
390.99/391.00	c |    407155 |   94625   751667  2037595 |        1    89504    111 | 31.584 % |
390.99/391.00	c |    407257 |   94625   751623  2037407 |        1    89507    111 | 31.584 % |
414.08/414.12	c |    408450 |   94621   751623  2037407 |        1    90699    112 | 31.587 % |
414.08/414.12	c |    408554 |   94621   751623  2037407 |        1    90803    112 | 31.587 % |
414.08/414.12	c |    408957 |   94554   751623  2037407 |        1    91204    113 | 31.636 % |
414.08/414.12	c |    409059 |   94554   751623  2037407 |        1    91306    113 | 31.636 % |
414.08/414.12	c |    409223 |   94554   751623  2037407 |        1    91470    113 | 31.636 % |
414.08/414.12	c |    410936 |   94554   751623  2037407 |        1    93183    114 | 31.636 % |
414.08/414.12	c |    413537 |   94538   751502  2036965 |        1    95720    117 | 31.647 % |
414.08/414.12	c |    413944 |   94538   751502  2036965 |        1    96127    118 | 31.647 % |
414.08/414.12	c |    414061 |   94538   751502  2036965 |        1    96244    118 | 31.647 % |
414.08/414.12	c |    414161 |   94538   751502  2036965 |        1    96344    118 | 31.647 % |
414.08/414.12	c |    414261 |   94538   751502  2036965 |        1    96444    118 | 31.647 % |
414.08/414.12	c |    414490 |   94538   751502  2036965 |        1    96673    118 | 31.647 % |
414.08/414.12	c |    414591 |   94538   751502  2036965 |        1    96774    119 | 31.647 % |
414.08/414.12	c |    414693 |   94538   751502  2036965 |        1    96876    119 | 31.647 % |
414.08/414.12	c |    414794 |   94538   751502  2036965 |        1    96977    119 | 31.647 % |
414.08/414.12	c |    415595 |   94538   751502  2036965 |        1    97778    120 | 31.647 % |
414.08/414.12	c |    416421 |   94538   751502  2036965 |        1    98604    121 | 31.647 % |
414.08/414.12	c |    416621 |   94538   751502  2036965 |        1    98804    121 | 31.647 % |
414.08/414.12	c |    416824 |   94538   751502  2036965 |        1    99007    121 | 31.647 % |
414.08/414.12	c |    416927 |   94538   751502  2036965 |        1    99110    121 | 31.647 % |
414.08/414.12	c |    418266 |   94535   751502  2036965 |        1   100448    121 | 31.649 % |
414.08/414.12	c |    419648 |   94518   751502  2036965 |        1   101827    121 | 31.662 % |
414.08/414.12	c |    419893 |   94518   751502  2036965 |        1   102072    121 | 31.662 % |
414.08/414.12	c |    420009 |   94518   751502  2036965 |        1   102185    121 | 31.662 % |
414.08/414.12	c |    420509 |   94510   751502  2036965 |        1   102684    122 | 31.667 % |
414.08/414.12	c |    420611 |   94510   751502  2036965 |        1   102786    122 | 31.667 % |
414.08/414.12	c |    421248 |   94510   751502  2036965 |        1   103423    123 | 31.667 % |
414.08/414.12	c |    421350 |   94510   751502  2036965 |        1   103525    123 | 31.667 % |
414.08/414.12	c |    421452 |   94510   751502  2036965 |        1   103627    123 | 31.667 % |
414.08/414.12	c |    421556 |   94510   751502  2036965 |        1   103731    123 | 31.667 % |
414.08/414.12	c |    421656 |   94510   751502  2036965 |        1    64405     60 | 31.667 % |
414.08/414.12	c |    421758 |   94510   751502  2036965 |        1    64507     60 | 31.667 % |
414.08/414.12	c |    421930 |   94510   751502  2036965 |        1    64679     61 | 31.667 % |
414.08/414.12	c |    422648 |   94509   751502  2036965 |        1    65396     63 | 31.668 % |
414.08/414.12	c |    423016 |   94509   751502  2036965 |        1    65764     64 | 31.668 % |
414.08/414.12	c |    423119 |   94509   751502  2036965 |        1    65867     64 | 31.668 % |
414.08/414.12	c |    423221 |   94509   751502  2036965 |        1    65969     64 | 31.668 % |
414.08/414.12	c |    423323 |   94509   751502  2036965 |        1    66071     64 | 31.668 % |
414.08/414.12	c |    423424 |   94509   751502  2036965 |        1    66172     65 | 31.668 % |
414.08/414.12	c |    423741 |   94508   751502  2036965 |        1    66488     65 | 31.669 % |
414.08/414.12	c |    424010 |   94508   751502  2036965 |        1    66757     65 | 31.669 % |
414.08/414.12	c |    424373 |   94508   751502  2036965 |        1    67120     66 | 31.669 % |
414.08/414.12	c |    424917 |   94508   751502  2036965 |        1    67664     67 | 31.669 % |
414.08/414.12	c |    425112 |   94507   751502  2036965 |        1    67858     68 | 31.670 % |
414.08/414.12	c |    426575 |   94507   751502  2036965 |        1    69321     69 | 31.670 % |
414.08/414.12	c |    426675 |   94507   751470  2036839 |        1    69386     69 | 31.670 % |
414.08/414.12	c |    426831 |   94507   751470  2036839 |        1    69542     70 | 31.670 % |
414.08/414.12	c |    427958 |   94501   751470  2036839 |        1    70668     72 | 31.674 % |
414.08/414.12	c |    428061 |   94501   751470  2036839 |        1    70771     72 | 31.674 % |
414.08/414.12	c |    428487 |   94494   751470  2036839 |        1    71196     73 | 31.679 % |
454.40/454.49	c |    432388 |   94493   751470  2036839 |        1    75096     79 | 31.680 % |
454.40/454.49	c |    433132 |   94493   751426  2036651 |        1    75757     80 | 31.680 % |
454.40/454.49	c |    433450 |   94493   751426  2036651 |        1    76075     81 | 31.680 % |
454.40/454.49	c |    433551 |   94493   751426  2036651 |        1    76176     81 | 31.680 % |
454.40/454.49	c |    433736 |   94485   751426  2036651 |        1    76360     81 | 31.686 % |
454.40/454.49	c |    437489 |   94485   751426  2036651 |        1    80113     82 | 31.686 % |
454.40/454.49	c |    437590 |   94485   751401  2036546 |        1    80213     83 | 31.686 % |
454.40/454.49	c |    437690 |   94485   751401  2036546 |        1    80313     83 | 31.686 % |
454.40/454.49	c |    438011 |   94484   751401  2036546 |        1    80633     83 | 31.686 % |
454.40/454.49	c |    438159 |   94484   751401  2036546 |        1    80781     83 | 31.686 % |
454.40/454.49	c |    438260 |   94484   751401  2036546 |        1    80882     83 | 31.686 % |
454.40/454.49	c |    438459 |   94466   751401  2036546 |        1    81079     83 | 31.699 % |
454.40/454.49	c |    439348 |   94466   751401  2036546 |        1    81968     84 | 31.699 % |
454.40/454.49	c |    439725 |   94466   751401  2036546 |        1    82345     85 | 31.699 % |
454.40/454.49	c |    440669 |   94465   751348  2036323 |        1    83245     86 | 31.700 % |
454.40/454.49	c |    441440 |   94465   751348  2036323 |        1    84016     87 | 31.700 % |
454.40/454.49	c |    441983 |   94465   751348  2036323 |        1    84559     87 | 31.700 % |
454.40/454.49	c |    442809 |   94465   751348  2036323 |        1    85385     88 | 31.700 % |
454.40/454.49	c |    442911 |   94465   751348  2036323 |        1    85487     88 | 31.700 % |
454.40/454.49	c |    443184 |   94465   751348  2036323 |        1    85760     89 | 31.700 % |
454.40/454.49	c |    444163 |   94465   751348  2036323 |        1    86739     91 | 31.700 % |
454.40/454.49	c |    444263 |   94465   751348  2036323 |        1    86839     91 | 31.700 % |
454.40/454.49	c |    444370 |   94465   751348  2036323 |        1    86946     91 | 31.700 % |
454.40/454.49	c |    446800 |   94457   751348  2036323 |        1    89375     94 | 31.706 % |
454.40/454.49	c |    446900 |   94457   751320  2036209 |        1    89463     94 | 31.706 % |
454.40/454.49	c |    447225 |   94457   751320  2036209 |        1    89788     94 | 31.706 % |
454.40/454.49	c |    447325 |   94457   751320  2036209 |        1    89888     94 | 31.706 % |
454.40/454.49	c |    447426 |   94457   751320  2036209 |        1    89989     94 | 31.706 % |
454.40/454.49	c |    447639 |   94457   751320  2036209 |        1    90202     95 | 31.706 % |
454.40/454.49	c |    447739 |   94457   751320  2036209 |        1    90302     95 | 31.706 % |
454.40/454.49	c |    447875 |   94457   751320  2036209 |        1    90438     95 | 31.706 % |
454.40/454.49	c |    449731 |   92828   751320  2036209 |        1    92290     96 | 32.884 % |
454.40/454.49	c |    449835 |   92828   751320  2036209 |        1    92394     96 | 32.884 % |
454.40/454.49	c |    452580 |   92828   751320  2036209 |        1    95139     98 | 32.884 % |
454.40/454.49	c |    452959 |   92828   738627  1997532 |        1    89768     97 | 32.884 % |
454.40/454.49	c |    454342 |   92787   738627  1997532 |        1    91149     98 | 32.913 % |
454.40/454.49	c |    454847 |   92787   738627  1997532 |        1    91654     99 | 32.913 % |
454.40/454.49	c |    454947 |   92787   738627  1997532 |        1    91754     99 | 32.913 % |
454.40/454.49	c |    455268 |   92786   738627  1997532 |        1    92074     99 | 32.914 % |
454.40/454.49	c |    455671 |   92786   738627  1997532 |        1    92477     99 | 32.914 % |
454.40/454.49	c |    455777 |   92786   738627  1997532 |        1    92583     99 | 32.914 % |
454.40/454.49	c |    455990 |   92786   738627  1997532 |        1    92796    100 | 32.914 % |
454.40/454.49	c |    456365 |   92786   738627  1997532 |        1    93171    100 | 32.914 % |
454.40/454.49	c |    456893 |   92786   738627  1997532 |        1    93699    100 | 32.914 % |
454.40/454.49	c |    457535 |   92786   738627  1997532 |        1    94341    100 | 32.914 % |
454.40/454.49	c |    457635 |   92786   738627  1997532 |        1    94441    100 | 32.914 % |
454.40/454.49	c |    458276 |   92786   738520  1997083 |        1    95013    102 | 32.914 % |
454.40/454.49	c |    462199 |   92786   738520  1997083 |        1    98936    109 | 32.914 % |
454.40/454.49	c |    462318 |   92786   738520  1997083 |        1    99055    109 | 32.914 % |
454.40/454.49	c |    462796 |   92786   738520  1997083 |        1    99533    110 | 32.914 % |
483.39/483.46	c |    462896 |   92786   738520  1997083 |        1    99633    110 | 32.914 % |
483.39/483.46	c |    464243 |   92785   738520  1997083 |        1   100979    111 | 32.915 % |
483.39/483.46	c |    464621 |   92785   738520  1997083 |        1   101357    111 | 32.915 % |
483.39/483.46	c |    465108 |   92785   738520  1997083 |        1   101844    112 | 32.915 % |
483.39/483.46	c |    466301 |   92785   738520  1997083 |        1   103037    112 | 32.915 % |
483.39/483.46	c |    468080 |   92784   738520  1997083 |        1   104815    114 | 32.915 % |
483.39/483.46	c |    468180 |   92784   738520  1997083 |        1   104915    114 | 32.915 % |
483.39/483.46	c |    468504 |   92783   738520  1997083 |        1   105238    114 | 32.916 % |
483.39/483.46	c |    468604 |   92783   738520  1997083 |        1   105338    114 | 32.916 % |
483.39/483.46	c |    469176 |   92745   738520  1997083 |        1   105908    114 | 32.944 % |
483.39/483.46	c |    469276 |   92745   738520  1997083 |        1   106008    114 | 32.944 % |
483.39/483.46	c |    470474 |   92745   738520  1997083 |        1    66919     59 | 32.944 % |
483.39/483.46	c |    470574 |   92741   738520  1997083 |        1    67018     59 | 32.947 % |
483.39/483.46	c |    470678 |   92741   738520  1997083 |        1    67122     59 | 32.947 % |
483.39/483.46	c |    471206 |   92739   738520  1997083 |        1    67649     60 | 32.948 % |
483.39/483.46	c |    471307 |   92739   738520  1997083 |        1    67750     61 | 32.948 % |
483.39/483.46	c |    471827 |   92738   738520  1997083 |        1    68269     62 | 32.949 % |
483.39/483.46	c |    471927 |   92738   738520  1997083 |        1    68369     62 | 32.949 % |
483.39/483.46	c |    473093 |   92738   738520  1997083 |        1    69535     65 | 32.949 % |
483.39/483.46	c |    473503 |   92738   738492  1996955 |        1    69698     65 | 32.949 % |
483.39/483.46	c |    475565 |   92738   738492  1996955 |        1    71760     71 | 32.949 % |
483.39/483.46	c |    475665 |   92738   738492  1996955 |        1    71860     71 | 32.949 % |
483.39/483.46	c |    475766 |   92738   738492  1996955 |        1    71961     71 | 32.949 % |
483.39/483.46	c |    477420 |   92738   738492  1996955 |        1    73615     73 | 32.949 % |
483.39/483.46	c |    478174 |   92738   738492  1996955 |        1    74369     74 | 32.949 % |
483.39/483.46	c |    478274 |   92738   738492  1996955 |        1    74469     74 | 32.949 % |
483.39/483.46	c |    479482 |   92722   738474  1996877 |        1    75667     76 | 32.960 % |
483.39/483.46	c |    479584 |   92722   738474  1996877 |        1    75769     77 | 32.960 % |
483.39/483.46	c |    479946 |   92722   738474  1996877 |        1    76131     77 | 32.960 % |
483.39/483.46	c |    480046 |   92722   738474  1996877 |        1    76231     77 | 32.960 % |
483.39/483.46	c |    480146 |   92722   738474  1996877 |        1    76331     78 | 32.960 % |
483.39/483.46	c |    481970 |   92722   738474  1996877 |        1    78155     80 | 32.960 % |
483.39/483.46	c |    482316 |   92722   738474  1996877 |        1    78501     81 | 32.960 % |
483.39/483.46	c |    482416 |   92722   738474  1996877 |        1    78601     81 | 32.960 % |
483.39/483.46	c |    482516 |   92722   738474  1996877 |        1    78701     81 | 32.960 % |
483.39/483.46	c |    483892 |   92722   738474  1996877 |        1    80077     84 | 32.960 % |
483.39/483.46	c |    485260 |   92192   738468  1996859 |        1    81444     86 | 33.343 % |
483.39/483.46	c |    485360 |   92192   738468  1996859 |        1    81544     86 | 33.343 % |
483.39/483.46	c |    485508 |   92192   738468  1996859 |        1    81692     86 | 33.343 % |
483.39/483.46	c |    485807 |   92192   738468  1996859 |        1    81991     87 | 33.343 % |
483.39/483.46	c |    485907 |   92192   738468  1996859 |        1    82091     87 | 33.343 % |
483.39/483.46	c |    486988 |   92192   738468  1996859 |        1    83172     89 | 33.343 % |
483.39/483.46	c |    487088 |   92192   738468  1996859 |        1    83272     89 | 33.343 % |
483.39/483.46	c |    487188 |   92192   738468  1996859 |        1    83372     89 | 33.343 % |
483.39/483.46	c |    487288 |   92192   738468  1996859 |        1    83472     89 | 33.343 % |
483.39/483.46	c |    487421 |   92192   738468  1996859 |        1    83605     89 | 33.343 % |
483.39/483.46	c |    487912 |   92192   738468  1996859 |        1    84096     90 | 33.343 % |
483.39/483.46	c |    488843 |   92177   737294  1992479 |        1    84727     90 | 33.354 % |
483.39/483.46	c |    490410 |   92177   737294  1992479 |        1    86294     94 | 33.354 % |
483.39/483.46	c |    490622 |   92177   737294  1992479 |        1    86506     94 | 33.354 % |
514.49/514.54	c |    490882 |   92177   737294  1992479 |        1    86766     94 | 33.354 % |
514.49/514.54	c |    492896 |   92177   737294  1992479 |        1    88780     96 | 33.354 % |
514.49/514.54	c |    494095 |   92177   737294  1992479 |        1    89979     98 | 33.354 % |
514.49/514.54	c |    494199 |   92177   737259  1992342 |        1    90082     98 | 33.354 % |
514.49/514.54	c |    495506 |   92177   737259  1992342 |        1    91389     99 | 33.354 % |
514.49/514.54	c |    497069 |   92177   737259  1992342 |        1    92952    100 | 33.354 % |
514.49/514.54	c |    497169 |   92177   737259  1992342 |        1    93052    100 | 33.354 % |
514.49/514.54	c |    497272 |   92177   737259  1992342 |        1    93155    100 | 33.354 % |
514.49/514.54	c |    497893 |   92177   737259  1992342 |        1    93776    101 | 33.354 % |
514.49/514.54	c |    498105 |   92177   737259  1992342 |        1    93988    101 | 33.354 % |
514.49/514.54	c |    498771 |   92177   737259  1992342 |        1    94654    101 | 33.354 % |
514.49/514.54	c |    500981 |   92160   737259  1992342 |        1    96863    105 | 33.367 % |
514.49/514.54	c |    501213 |   92160   737208  1992109 |        1    97081    105 | 33.367 % |
514.49/514.54	c |    501852 |   92160   737208  1992109 |        1    97720    106 | 33.367 % |
514.49/514.54	c |    501954 |   92160   737208  1992109 |        1    97822    106 | 33.367 % |
514.49/514.54	c |    502607 |   92160   737208  1992109 |        1    98475    106 | 33.367 % |
514.49/514.54	c |    502708 |   92160   737208  1992109 |        1    98576    107 | 33.367 % |
514.49/514.54	c |    503828 |   92160   737208  1992109 |        1    99696    108 | 33.367 % |
514.49/514.54	c |    504264 |   92160   737208  1992109 |        1   100132    108 | 33.367 % |
514.49/514.54	c |    505067 |   92148   737208  1992109 |        1   100934    108 | 33.375 % |
514.49/514.54	c |    505237 |   92148   737208  1992109 |        1   101104    108 | 33.375 % |
514.49/514.54	c |    505532 |   92148   737208  1992109 |        1   101399    109 | 33.375 % |
514.49/514.54	c |    506713 |   92148   737208  1992109 |        1   102580    110 | 33.375 % |
514.49/514.54	c |    511093 |   92148   737179  1991990 |        1   106957    114 | 33.375 % |
514.49/514.54	c |    511193 |   92140   737179  1991990 |        1   107056    114 | 33.381 % |
514.49/514.54	c |    511804 |   92140   737179  1991990 |        1   107667    114 | 33.381 % |
514.49/514.54	c |    511920 |   92140   737179  1991990 |        1   107783    114 | 33.381 % |
514.49/514.54	c |    512818 |   92140   737179  1991990 |        1   108681    116 | 33.381 % |
514.49/514.54	c |    512920 |   92140   737179  1991990 |        1   108783    116 | 33.381 % |
514.49/514.54	c |    513515 |   92140   737179  1991990 |        1   109378    116 | 33.381 % |
514.49/514.54	c |    513669 |   92140   737179  1991990 |        1   109532    116 | 33.381 % |
514.49/514.54	c |    513769 |   92140   737179  1991990 |        1   109632    116 | 33.381 % |
514.49/514.54	c |    513869 |   92140   737179  1991990 |        1   109732    117 | 33.381 % |
514.49/514.54	c |    513969 |   92140   737179  1991990 |        1   109832    117 | 33.381 % |
514.49/514.54	c |    514617 |   92126   737179  1991990 |        1   110478    117 | 33.391 % |
514.49/514.54	c |    514995 |   92126   737179  1991990 |        1   110856    117 | 33.391 % |
514.49/514.54	c |    515095 |   92126   737097  1991712 |        1   110935    117 | 33.391 % |
514.49/514.54	c |    516965 |   92118   737097  1991712 |        1   112804    118 | 33.397 % |
514.49/514.54	c |    517102 |   92118   737097  1991712 |        1   112941    118 | 33.397 % |
514.49/514.54	c |    517204 |   92118   737097  1991712 |        1   113043    118 | 33.397 % |
514.49/514.54	c |    517638 |   92118   737097  1991712 |        1   113477    118 | 33.397 % |
514.49/514.54	c |    517740 |   92118   737097  1991712 |        1   113579    118 | 33.397 % |
514.49/514.54	c |    518549 |   92092   737097  1991712 |        1   114387    118 | 33.416 % |
514.49/514.54	c |    518825 |   92092   737097  1991712 |        1   114663    118 | 33.416 % |
514.49/514.54	c |    519097 |   92092   737097  1991712 |        1   114935    118 | 33.416 % |
514.49/514.54	c |    519296 |   92092   737097  1991712 |        1   115134    118 | 33.416 % |
514.49/514.54	c |    519399 |   92092   737097  1991712 |        1   115237    118 | 33.416 % |
514.49/514.54	c |    519503 |   92092   737097  1991712 |        1   115341    118 | 33.416 % |
514.49/514.54	c |    519603 |   92092   737097  1991712 |        1   115441    118 | 33.416 % |
514.49/514.54	c |    519703 |   92092   737097  1991712 |        1   115541    118 | 33.416 % |
542.69/542.75	c |    520467 |   92092   737097  1991712 |        1   116305    119 | 33.416 % |
542.69/542.75	c |    521433 |   92092   737097  1991712 |        1   117271    119 | 33.416 % |
542.69/542.75	c |    521533 |   92092   737097  1991712 |        1   117371    119 | 33.416 % |
542.69/542.75	c |    521633 |   92092   736999  1991284 |        1   117439    119 | 33.416 % |
542.69/542.75	c |    521905 |   92092   736999  1991284 |        1   117711    120 | 33.416 % |
542.69/542.75	c |    522007 |   92092   736999  1991284 |        1   117813    120 | 33.416 % |
542.69/542.75	c |    522111 |   92091   736999  1991284 |        1   117916    120 | 33.416 % |
542.69/542.75	c |    524881 |   92091   736999  1991284 |        1   120686    122 | 33.416 % |
542.69/542.75	c |    524984 |   92091   736999  1991284 |        1   120789    122 | 33.416 % |
542.69/542.75	c |    525889 |   91981   736999  1991284 |        1   121693    122 | 33.496 % |
542.69/542.75	c |    525990 |   91981   736999  1991284 |        1   121794    122 | 33.496 % |
542.69/542.75	c |    526090 |   91981   736999  1991284 |        1   121894    122 | 33.496 % |
542.69/542.75	c |    526198 |   91981   736999  1991284 |        1   122002    122 | 33.496 % |
542.69/542.75	c |    526415 |   91981   736999  1991284 |        1   122219    122 | 33.496 % |
542.69/542.75	c |    526515 |   91981   736999  1991284 |        1   122319    122 | 33.496 % |
542.69/542.75	c |    526619 |   91981   736999  1991284 |        1   122423    122 | 33.496 % |
542.69/542.75	c |    529629 |   91842   736671  1989916 |        1   123024    123 | 33.597 % |
542.69/542.75	c |    529729 |   91842   736671  1989916 |        1   123124    123 | 33.597 % |
542.69/542.75	c |    530291 |   91665   736671  1989916 |        1   123684    123 | 33.724 % |
542.69/542.75	c |    530392 |   91665   736671  1989916 |        1   123785    123 | 33.724 % |
542.69/542.75	c |    531058 |   91663   736671  1989916 |        1   124450    123 | 33.726 % |
542.69/542.75	c |    531158 |   91663   736671  1989916 |        1   124550    123 | 33.726 % |
542.69/542.75	c |    531288 |   91663   736671  1989916 |        1   124680    123 | 33.726 % |
542.69/542.75	c |    532204 |   91663   736671  1989916 |        1   125596    124 | 33.726 % |
542.69/542.75	c |    532304 |   91663   736671  1989916 |        1   125696    124 | 33.726 % |
542.69/542.75	c |    532421 |   91663   736671  1989916 |        1   125813    124 | 33.726 % |
542.69/542.75	c |    533149 |   91663   736671  1989916 |        1   126541    124 | 33.726 % |
542.69/542.75	c |    533500 |   91663   736671  1989916 |        1   126892    124 | 33.726 % |
542.69/542.75	c |    534213 |   91663   736671  1989916 |        1   127605    124 | 33.726 % |
542.69/542.75	c |    534319 |   91663   736671  1989916 |        1   127711    124 | 33.726 % |
542.69/542.75	c |    535543 |   91662   736671  1989916 |        1   128934    125 | 33.727 % |
542.69/542.75	c |    535645 |   91662   736671  1989916 |        1   129036    125 | 33.727 % |
542.69/542.75	c |    535748 |   91662   736671  1989916 |        1   129139    125 | 33.727 % |
542.69/542.75	c |    535848 |   91662   736671  1989916 |        1   129239    125 | 33.727 % |
542.69/542.75	c |    537914 |   91662   736671  1989916 |        1   131305    126 | 33.727 % |
542.69/542.75	c |    538018 |   91662   736669  1989898 |        1   131299    126 | 33.727 % |
542.69/542.75	c |    538308 |   91662   736669  1989898 |        1   131589    126 | 33.727 % |
542.69/542.75	c |    539284 |   91662   736669  1989898 |        1   132565    126 | 33.727 % |
542.69/542.75	c |    540187 |   91654   736669  1989898 |        1    80654     66 | 33.732 % |
542.69/542.75	c |    540291 |   91654   736669  1989898 |        1    80758     66 | 33.732 % |
542.69/542.75	c |    540639 |   91654   736669  1989898 |        1    81106     67 | 33.732 % |
542.69/542.75	c |    540960 |   91654   736669  1989898 |        1    81427     67 | 33.732 % |
542.69/542.75	c |    541156 |   91654   736669  1989898 |        1    81623     67 | 33.732 % |
542.69/542.75	c |    541262 |   91654   736669  1989898 |        1    81729     67 | 33.732 % |
542.69/542.75	c |    541362 |   91654   736669  1989898 |        1    81829     67 | 33.732 % |
542.69/542.75	c |    541622 |   91654   736669  1989898 |        1    82089     68 | 33.732 % |
542.69/542.75	c |    542074 |   91653   736669  1989898 |        1    82540     68 | 33.733 % |
542.69/542.75	c |    543042 |   91652   736669  1989898 |        1    83507     70 | 33.734 % |
542.69/542.75	c |    543383 |   91652   736669  1989898 |        1    83848     70 | 33.734 % |
585.89/585.95	c |    544510 |   91652   736669  1989898 |        1    84975     71 | 33.734 % |
585.89/585.95	c |    545571 |   91652   736669  1989898 |        1    86036     73 | 33.734 % |
585.89/585.95	c |    546105 |   91652   736669  1989898 |        1    86570     73 | 33.734 % |
585.89/585.95	c |    546211 |   91652   736669  1989898 |        1    86676     73 | 33.734 % |
585.89/585.95	c |    546926 |   91652   736669  1989898 |        1    87391     74 | 33.734 % |
585.89/585.95	c |    547527 |   91652   736643  1989788 |        1    87759     74 | 33.734 % |
585.89/585.95	c |    548714 |   91652   736643  1989788 |        1    88946     76 | 33.734 % |
585.89/585.95	c |    548815 |   91652   736643  1989788 |        1    89047     76 | 33.734 % |
585.89/585.95	c |    549284 |   91652   736643  1989788 |        1    89516     77 | 33.734 % |
585.89/585.95	c |    549821 |   91648   736643  1989788 |        1    90052     77 | 33.737 % |
585.89/585.95	c |    551180 |   91640   736643  1989788 |        1    91410     78 | 33.743 % |
585.89/585.95	c |    552226 |   91640   736614  1989671 |        1    92410     79 | 33.743 % |
585.89/585.95	c |    553507 |   91640   736614  1989671 |        1    93691     79 | 33.743 % |
585.89/585.95	c |    555603 |   91639   736614  1989671 |        1    95785     81 | 33.743 % |
585.89/585.95	c |    555707 |   91639   736614  1989671 |        1    95889     81 | 33.743 % |
585.89/585.95	c |    555855 |   91639   736614  1989671 |        1    96037     81 | 33.743 % |
585.89/585.95	c |    555962 |   91639   736614  1989671 |        1    96144     81 | 33.743 % |
585.89/585.95	c |    556256 |   91639   736614  1989671 |        1    96438     82 | 33.743 % |
585.89/585.95	c |    557211 |   91639   736614  1989671 |        1    97393     83 | 33.743 % |
585.89/585.95	c |    557635 |   91639   736614  1989671 |        1    97817     84 | 33.743 % |
585.89/585.95	c |    558441 |   89392   736614  1989671 |        1    98621     84 | 35.368 % |
585.89/585.95	c |    558541 |   89392   736614  1989671 |        1    98721     84 | 35.368 % |
585.89/585.95	c |    563237 |   89385   714276  1922617 |        1   103316     90 | 35.373 % |
585.89/585.95	c |    563382 |   89385   714276  1922617 |        1   103461     91 | 35.373 % |
585.89/585.95	c |    563981 |   89385   714276  1922617 |        1   104060     91 | 35.373 % |
585.89/585.95	c |    564998 |   89385   714276  1922617 |        1   105077     92 | 35.373 % |
585.89/585.95	c |    565099 |   89385   714276  1922617 |        1   105178     92 | 35.373 % |
585.89/585.95	c |    565863 |   89385   714276  1922617 |        1   105942     92 | 35.373 % |
585.89/585.95	c |    567588 |   89385   714276  1922617 |        1   107667     94 | 35.373 % |
585.89/585.95	c |    567691 |   89385   714276  1922617 |        1   107770     95 | 35.373 % |
585.89/585.95	c |    570944 |   89293   714061  1921692 |        1   109905     98 | 35.439 % |
585.89/585.95	c |    571471 |   89220   714061  1921692 |        1   110429     98 | 35.492 % |
585.89/585.95	c |    571571 |   89220   714061  1921692 |        1   110529     98 | 35.492 % |
585.89/585.95	c |    573156 |   89220   714061  1921692 |        1   112114    100 | 35.492 % |
585.89/585.95	c |    573558 |   89220   714061  1921692 |        1   112516    100 | 35.492 % |
585.89/585.95	c |    573749 |   89220   714061  1921692 |        1   112707    100 | 35.492 % |
585.89/585.95	c |    574670 |   89219   714061  1921692 |        1   113627    100 | 35.493 % |
585.89/585.95	c |    577845 |   89154   714061  1921692 |        1   116801    104 | 35.540 % |
585.89/585.95	c |    578757 |   89154   714061  1921692 |        1   117713    105 | 35.540 % |
585.89/585.95	c |    578857 |   89154   713890  1920947 |        1   117178    104 | 35.540 % |
585.89/585.95	c |    578993 |   89154   713890  1920947 |        1   117314    104 | 35.540 % |
585.89/585.95	c |    579172 |   89154   713890  1920947 |        1   117493    104 | 35.540 % |
585.89/585.95	c |    579272 |   89154   713890  1920947 |        1   117593    104 | 35.540 % |
585.89/585.95	c |    579863 |   88783   713890  1920947 |        1   118183    105 | 35.808 % |
585.89/585.95	c |    580002 |   88783   713890  1920947 |        1   118322    105 | 35.808 % |
585.89/585.95	c |    580684 |   88783   713890  1920947 |        1   119004    105 | 35.808 % |
585.89/585.95	c |    580971 |   88783   713890  1920947 |        1   119291    105 | 35.808 % |
585.89/585.95	c |    581688 |   88783   713890  1920947 |        1   120008    105 | 35.808 % |
585.89/585.95	c |    582484 |   88783   713890  1920947 |        1   120804    105 | 35.808 % |
585.89/585.95	c |    582651 |   88783   713890  1920947 |        1   120971    105 | 35.808 % |
633.00/633.06	c |    582753 |   88783   713890  1920947 |        1   121073    105 | 35.808 % |
633.00/633.06	c |    587403 |   88782   713890  1920947 |        1   125722    111 | 35.809 % |
633.00/633.06	c |    587503 |   88782   711908  1915001 |        1   125405    111 | 35.809 % |
633.00/633.06	c |    587689 |   88782   711908  1915001 |        1   125591    111 | 35.809 % |
633.00/633.06	c |    587976 |   88781   711908  1915001 |        1   125877    111 | 35.810 % |
633.00/633.06	c |    588076 |   88781   711908  1915001 |        1   125977    111 | 35.810 % |
633.00/633.06	c |    588176 |   88781   711908  1915001 |        1   126077    111 | 35.810 % |
633.00/633.06	c |    588837 |   88781   711908  1915001 |        1   126738    111 | 35.810 % |
633.00/633.06	c |    588937 |   88780   711908  1915001 |        1   126837    112 | 35.810 % |
633.00/633.06	c |    591498 |   88772   711908  1915001 |        1   129397    116 | 35.816 % |
633.00/633.06	c |    594141 |   88772   711908  1915001 |        1    80290     63 | 35.816 % |
633.00/633.06	c |    594241 |   88772   711908  1915001 |        1    80390     63 | 35.816 % |
633.00/633.06	c |    594342 |   88772   711908  1915001 |        1    80491     63 | 35.816 % |
633.00/633.06	c |    596796 |   88772   711908  1915001 |        1    82945     68 | 35.816 % |
633.00/633.06	c |    597234 |   88772   711884  1914897 |        1    83373     68 | 35.816 % |
633.00/633.06	c |    597703 |   88772   711884  1914897 |        1    83842     69 | 35.816 % |
633.00/633.06	c |    597809 |   88771   711884  1914897 |        1    83947     69 | 35.817 % |
633.00/633.06	c |    597938 |   88771   711884  1914897 |        1    84076     69 | 35.817 % |
633.00/633.06	c |    598099 |   88771   711884  1914897 |        1    84237     69 | 35.817 % |
633.00/633.06	c |    599261 |   88746   711884  1914897 |        1    85397     70 | 35.835 % |
633.00/633.06	c |    601283 |   88738   711799  1914558 |        1    87093     74 | 35.841 % |
633.00/633.06	c |    605338 |   88737   711799  1914558 |        1    91147     76 | 35.841 % |
633.00/633.06	c |    605860 |   88737   711799  1914558 |        1    91664     77 | 35.841 % |
633.00/633.06	c |    605960 |   88737   711799  1914558 |        1    91764     77 | 35.841 % |
633.00/633.06	c |    609569 |   88735   711799  1914558 |        1    95372     82 | 35.843 % |
633.00/633.06	c |    612146 |   88618   711444  1913493 |        1    97940     84 | 35.928 % |
633.00/633.06	c |    612247 |   88618   711444  1913493 |        1    98041     84 | 35.928 % |
633.00/633.06	c |    612419 |   88618   711444  1913493 |        1    98213     84 | 35.928 % |
633.00/633.06	c |    613881 |   88618   711444  1913493 |        1    99675     85 | 35.928 % |
633.00/633.06	c |    614017 |   88618   711444  1913493 |        1    99811     85 | 35.928 % |
633.00/633.06	c |    615479 |   88617   711444  1913493 |        1   101272     85 | 35.928 % |
633.00/633.06	c |    616402 |   88609   711444  1913493 |        1   102194     86 | 35.934 % |
633.00/633.06	c |    617667 |   88609   711444  1913493 |        1   103459     87 | 35.934 % |
633.00/633.06	c |    617768 |   88609   711418  1913383 |        1   103555     87 | 35.934 % |
633.00/633.06	c |    617875 |   88609   711418  1913383 |        1   103662     87 | 35.934 % |
633.00/633.06	c |    617975 |   88609   711418  1913383 |        1   103762     87 | 35.934 % |
633.00/633.06	c |    618740 |   88609   711418  1913383 |        1   104527     88 | 35.934 % |
633.00/633.06	c |    619895 |   88608   711418  1913383 |        1   105681     89 | 35.935 % |
633.00/633.06	c |    620678 |   88608   711418  1913383 |        1   106464     90 | 35.935 % |
633.00/633.06	c |    621637 |   88608   711418  1913383 |        1   107423     90 | 35.935 % |
633.00/633.06	c |    623335 |   88608   711418  1913383 |        1   109121     92 | 35.935 % |
633.00/633.06	c |    623435 |   88608   711418  1913383 |        1   109221     92 | 35.935 % |
633.00/633.06	c |    624627 |   88608   711418  1913383 |        1   110413     93 | 35.935 % |
633.00/633.06	c |    624768 |   88607   711418  1913383 |        1   110553     93 | 35.935 % |
633.00/633.06	c |    624870 |   88607   711418  1913383 |        1   110655     93 | 35.935 % |
633.00/633.06	c |    625597 |   88607   711418  1913383 |        1   111382     94 | 35.935 % |
633.00/633.06	c |    626907 |   88607   711418  1913383 |        1   112692     94 | 35.935 % |
633.00/633.06	c |    627008 |   88607   711418  1913383 |        1   112793     94 | 35.935 % |
633.00/633.06	c |    627873 |   88598   711418  1913383 |        1   113656     94 | 35.942 % |
633.00/633.06	c |    627975 |   88598   711418  1913383 |        1   113758     94 | 35.942 % |
658.39/658.45	c |    628372 |   88598   711418  1913383 |        1   114155     94 | 35.942 % |
658.39/658.45	c |    630375 |   88598   711418  1913383 |        1   116158     95 | 35.942 % |
658.39/658.45	c |    632237 |   88598   711390  1913267 |        1   118020     95 | 35.942 % |
658.39/658.45	c |    632409 |   88598   711390  1913267 |        1   118192     95 | 35.942 % |
658.39/658.45	c |    632511 |   88598   711390  1913267 |        1   118294     95 | 35.942 % |
658.39/658.45	c |    632616 |   88598   711390  1913267 |        1   118399     95 | 35.942 % |
658.39/658.45	c |    632716 |   88598   711390  1913267 |        1   118499     95 | 35.942 % |
658.39/658.45	c |    632816 |   88598   711390  1913267 |        1   118599     95 | 35.942 % |
658.39/658.45	c |    633321 |   88598   711390  1913267 |        1   119104     95 | 35.942 % |
658.39/658.45	c |    633422 |   88598   711390  1913267 |        1   119205     95 | 35.942 % |
658.39/658.45	c |    633757 |   88596   711390  1913267 |        1   119539     95 | 35.943 % |
658.39/658.45	c |    633858 |   88596   711390  1913267 |        1   119640     95 | 35.943 % |
658.39/658.45	c |    634543 |   88596   711390  1913267 |        1   120325     96 | 35.943 % |
658.39/658.45	c |    634683 |   88596   711390  1913267 |        1   120465     96 | 35.943 % |
658.39/658.45	c |    634786 |   88577   711390  1913267 |        1   120567     96 | 35.957 % |
658.39/658.45	c |    637601 |   88577   711390  1913267 |        1   123382     97 | 35.957 % |
658.39/658.45	c |    638021 |   88577   711348  1913109 |        1   123798     98 | 35.957 % |
658.39/658.45	c |    638236 |   88577   711348  1913109 |        1   124013     98 | 35.957 % |
658.39/658.45	c |    639240 |   88577   711348  1913109 |        1   125017     98 | 35.957 % |
658.39/658.45	c |    639342 |   88577   711348  1913109 |        1   125119     98 | 35.957 % |
658.39/658.45	c |    639642 |   88577   711348  1913109 |        1   125419     98 | 35.957 % |
658.39/658.45	c |    641012 |   88577   711348  1913109 |        1   126789     98 | 35.957 % |
658.39/658.45	c |    641228 |   88577   711348  1913109 |        1   127005     98 | 35.957 % |
658.39/658.45	c |    641405 |   88577   711348  1913109 |        1   127182     98 | 35.957 % |
658.39/658.45	c |    641554 |   88577   711348  1913109 |        1   127331     99 | 35.957 % |
658.39/658.45	c |    641656 |   88577   711348  1913109 |        1   127433     99 | 35.957 % |
658.39/658.45	c |    642157 |   88577   711348  1913109 |        1   127934     99 | 35.957 % |
658.39/658.45	c |    642259 |   88577   711348  1913109 |        1   128036     99 | 35.957 % |
658.39/658.45	c |    642799 |   88577   711348  1913109 |        1   128576     99 | 35.957 % |
658.39/658.45	c |    642900 |   88577   711348  1913109 |        1   128677     99 | 35.957 % |
658.39/658.45	c |    643081 |   88577   711348  1913109 |        1   128858     99 | 35.957 % |
658.39/658.45	c |    643203 |   88447   711348  1913109 |        1   128978     99 | 36.051 % |
658.39/658.45	c |    644471 |   88447   711348  1913109 |        1   130246     99 | 36.051 % |
658.39/658.45	c |    644671 |   88447   710768  1911357 |        1   130010    100 | 36.051 % |
658.39/658.45	c |    644778 |   88447   710768  1911357 |        1   130117    100 | 36.051 % |
658.39/658.45	c |    644878 |   86466   710768  1911357 |        1   130216    100 | 37.483 % |
658.39/658.45	c |    645126 |   86466   710768  1911357 |        1   130464    100 | 37.483 % |
658.39/658.45	c |    647002 |   86464   710768  1911357 |        1   132339    101 | 37.485 % |
658.39/658.45	c |    647103 |   86464   710768  1911357 |        1   132440    101 | 37.485 % |
658.39/658.45	c |    650380 |   86464   710768  1911357 |        1   135717    103 | 37.485 % |
658.39/658.45	c |    650481 |   86464   710768  1911357 |        1   135818    103 | 37.485 % |
658.39/658.45	c |    651481 |   86464   710768  1911357 |        1    85370     55 | 37.485 % |
658.39/658.45	c |    652481 |   86464   710768  1911357 |        1    86370     56 | 37.485 % |
658.39/658.45	c |    652640 |   86464   710768  1911357 |        1    86529     56 | 37.485 % |
658.39/658.45	c |    652742 |   86464   710768  1911357 |        1    86631     56 | 37.485 % |
658.39/658.45	c |    653210 |   85531   697279  1870890 |        1    87050     56 | 38.159 % |
658.39/658.45	c |    653314 |   85531   697279  1870890 |        1    87154     57 | 38.159 % |
658.39/658.45	c |    653417 |   85531   697279  1870890 |        1    87257     57 | 38.159 % |
658.39/658.45	c |    653518 |   85531   697279  1870890 |        1    87358     57 | 38.159 % |
658.39/658.45	c |    653621 |   85531   697279  1870890 |        1    87461     57 | 38.159 % |
682.90/682.97	c |    654856 |   85118   697279  1870890 |        1    88695     58 | 38.458 % |
682.90/682.97	c |    655080 |   85118   697279  1870890 |        1    88919     58 | 38.458 % |
682.90/682.97	c |    655183 |   85118   697279  1870890 |        1    89022     58 | 38.458 % |
682.90/682.97	c |    655283 |   85118   697279  1870890 |        1    89122     58 | 38.458 % |
682.90/682.97	c |    655452 |   84324   697279  1870890 |        1    89290     58 | 39.032 % |
682.90/682.97	c |    655717 |   84324   697279  1870890 |        1    89555     58 | 39.032 % |
682.90/682.97	c |    656214 |   84324   697279  1870890 |        1    90052     58 | 39.032 % |
682.90/682.97	c |    656773 |   84316   697279  1870890 |        1    90609     58 | 39.038 % |
682.90/682.97	c |    656874 |   84316   697279  1870890 |        1    90710     59 | 39.038 % |
682.90/682.97	c |    657815 |   84316   697279  1870890 |        1    91651     59 | 39.038 % |
682.90/682.97	c |    658929 |   84314   687979  1842947 |        1    92547     61 | 39.039 % |
682.90/682.97	c |    659356 |   84307   687979  1842947 |        1    92973     61 | 39.044 % |
682.90/682.97	c |    659458 |   84307   687979  1842947 |        1    93075     61 | 39.044 % |
682.90/682.97	c |    660224 |   84307   687979  1842947 |        1    93841     62 | 39.044 % |
682.90/682.97	c |    660415 |   84307   687979  1842947 |        1    94032     62 | 39.044 % |
682.90/682.97	c |    660517 |   84307   687979  1842947 |        1    94134     62 | 39.044 % |
682.90/682.97	c |    660824 |   84307   687953  1842845 |        1    94430     62 | 39.044 % |
682.90/682.97	c |    660926 |   84307   687953  1842845 |        1    94532     62 | 39.044 % |
682.90/682.97	c |    661305 |   84307   687953  1842845 |        1    94911     63 | 39.044 % |
682.90/682.97	c |    661912 |   84307   687953  1842845 |        1    95518     63 | 39.044 % |
682.90/682.97	c |    663557 |   84301   687953  1842845 |        1    97162     64 | 39.049 % |
682.90/682.97	c |    663687 |   84301   687953  1842845 |        1    97292     64 | 39.049 % |
682.90/682.97	c |    664245 |   84301   687953  1842845 |        1    97850     65 | 39.049 % |
682.90/682.97	c |    666040 |   84301   687934  1842756 |        1    99635     67 | 39.049 % |
682.90/682.97	c |    666326 |   84301   687934  1842756 |        1    99921     67 | 39.049 % |
682.90/682.97	c |    667867 |   84226   687779  1842055 |        1    93173     64 | 39.103 % |
682.90/682.97	c |    670932 |   84226   687779  1842055 |        1    96238     68 | 39.103 % |
682.90/682.97	c |    671037 |   84210   687779  1842055 |        1    96341     68 | 39.115 % |
682.90/682.97	c |    674422 |   76070   673822  1780560 |        1    91943     68 | 45.000 % |
682.90/682.97	c |    674522 |   76063   673822  1780560 |        1    92042     68 | 45.005 % |
682.90/682.97	c |    677113 |   75885   673822  1780560 |        1    94630     70 | 45.134 % |
682.90/682.97	c |    678307 |   75885   673822  1780560 |        1    95824     71 | 45.134 % |
682.90/682.97	c |    678407 |   75885   664208  1741024 |        1    80188     61 | 45.134 % |
682.90/682.97	c |    678743 |   75885   664208  1741024 |        1    80524     61 | 45.134 % |
682.90/682.97	c |    678844 |   75885   664208  1741024 |        1    80625     61 | 45.134 % |
682.90/682.97	c |    679003 |   75885   664208  1741024 |        1    80784     61 | 45.134 % |
682.90/682.97	c |    679634 |   75852   664208  1741024 |        1    81414     62 | 45.158 % |
682.90/682.97	c |    679735 |   75852   664208  1741024 |        1    81515     62 | 45.158 % |
682.90/682.97	c |    679836 |   75852   664208  1741024 |        1    81616     62 | 45.158 % |
682.90/682.97	c |    679941 |   75852   664208  1741024 |        1    81721     62 | 45.158 % |
682.90/682.97	c |    680045 |   75852   664208  1741024 |        1    81825     62 | 45.158 % |
682.90/682.97	c |    680387 |   75848   664208  1741024 |        1    82166     62 | 45.160 % |
682.90/682.97	c |    680751 |   75848   664208  1741024 |        1    82530     62 | 45.160 % |
682.90/682.97	c |    681549 |   71877   664208  1741024 |        1    83324     62 | 48.032 % |
682.90/682.97	c ===============================================================================
682.90/682.97	c restarts              : 1531
682.90/682.97	c nb ReduceDB           : 21
682.90/682.97	c nb removed Clauses    : 545530
682.90/682.97	c nb learnts DL2        : 12613
682.90/682.97	c nb learnts size 2     : 8341
682.90/682.97	c nb learnts size 1     : 688
682.90/682.97	c conflicts             : 681549         (1006 /sec)
682.90/682.97	c decisions             : 2625410        (0.00 % random) (3876 /sec)
682.90/682.97	c propagations          : 1401156550     (2068558 /sec)
682.90/682.97	c conflict literals     : 124894288      (44.85 % deleted)
682.90/682.97	c nb reduced Clauses    : 5660
682.90/682.97	c CPU time              : 677.359 s
682.90/682.97	
682.90/682.98	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3283468-1303754204/watcher-3283468-1303754204 -o /tmp/evaluation-result-3283468-1303754204/solver-3283468-1303754204 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3283468-1303754204.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 4.05 3.82 5/192 4927
/proc/meminfo: memFree=12826704/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0

[startup+0.10453 s]
/proc/loadavg: 3.99 4.05 3.82 5/192 4927
/proc/meminfo: memFree=12826704/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.200514 s]
/proc/loadavg: 3.99 4.05 3.82 5/192 4927
/proc/meminfo: memFree=12826704/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.3005 s]
/proc/loadavg: 3.99 4.05 3.82 5/192 4927
/proc/meminfo: memFree=12826704/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700421 s]
/proc/loadavg: 3.99 4.05 3.82 5/192 4927
/proc/meminfo: memFree=12826704/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50028 s]
/proc/loadavg: 3.99 4.05 3.82 5/194 4929
/proc/meminfo: memFree=12696992/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
[pid=4928] ppid=4927 vsize=147964 CPUtime=1.49 cores=0,2
/proc/4928/stat : 4928 (SatELite_releas) R 4927 4927 3507 0 -1 4202496 38490 0 0 0 141 8 0 0 25 0 1 0 565651197 151515136 34984 33554432000 134512640 135144242 4286816272 18446744073709551615 134585638 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/4928/statm: 36991 34984 77 155 0 36834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156668

[startup+3.10097 s]
/proc/loadavg: 3.99 4.05 3.82 5/194 4929
/proc/meminfo: memFree=12675540/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=0 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 565651196 8912896 253 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 253 211 178 0 69 0
[pid=4928] ppid=4927 vsize=151384 CPUtime=3.09 cores=0,2
/proc/4928/stat : 4928 (SatELite_releas) R 4927 4927 3507 0 -1 4202496 42664 0 0 0 300 9 0 0 25 0 1 0 565651197 155017216 35889 33554432000 134512640 135144242 4286816272 18446744073709551615 134585557 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/4928/statm: 37846 35889 77 155 0 37689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160088

[startup+6.30036 s]
/proc/loadavg: 3.99 4.05 3.82 5/194 4930
/proc/meminfo: memFree=12726380/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=90040 CPUtime=1.4 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 18169 0 0 0 137 3 0 0 23 0 1 0 565651685 92200960 17071 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 22510 17071 250 17 0 19151 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 98744

[startup+12.7012 s]
/proc/loadavg: 3.99 4.05 3.82 5/194 4930
/proc/meminfo: memFree=12719020/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=103864 CPUtime=7.81 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 19449 0 0 0 777 4 0 0 25 0 1 0 565651685 106356736 18334 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 25966 18334 250 17 0 22607 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 112568

[startup+25.5007 s]
/proc/loadavg: 3.99 4.04 3.82 5/194 4931
/proc/meminfo: memFree=12684796/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=123400 CPUtime=20.61 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 31454 0 0 0 2054 7 0 0 25 0 1 0 565651685 126361600 22849 33554432000 4194304 4260849 140737293490496 18446744073709551615 4221247 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 30850 22850 251 17 0 27491 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 132104

[startup+51.1009 s]
/proc/loadavg: 3.99 4.04 3.83 5/194 4932
/proc/meminfo: memFree=12644624/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=142128 CPUtime=46.21 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 44555 0 0 0 4612 9 0 0 25 0 1 0 565651685 145539072 29179 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 35532 29179 251 17 0 32173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150832

[startup+102.301 s]
/proc/loadavg: 3.99 4.03 3.83 5/194 4933
/proc/meminfo: memFree=12630088/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=142128 CPUtime=97.42 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 63163 0 0 0 9730 12 0 0 25 0 1 0 565651685 145539072 30342 33554432000 4194304 4260849 140737293490496 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 35532 30342 251 17 0 32173 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 150832

[startup+162.301 s]
/proc/loadavg: 3.99 4.02 3.84 5/194 4934
/proc/meminfo: memFree=12584556/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=157.41 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 94256 0 0 0 15722 19 0 0 25 0 1 0 565651685 196042752 38871 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224509 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 38871 251 17 0 44503 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 200152

[startup+222.308 s]
/proc/loadavg: 3.95 4.00 3.84 5/194 4966
/proc/meminfo: memFree=12498868/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=217.42 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 112747 0 0 0 21717 25 0 0 25 0 1 0 565651685 227602432 43934 33554432000 4194304 4260849 140737293490496 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 43934 251 17 0 52208 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 230972

[startup+282.3 s]
/proc/loadavg: 3.98 4.00 3.84 5/194 4977
/proc/meminfo: memFree=12537196/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=277.41 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 136427 0 0 0 27709 32 0 0 25 0 1 0 565651685 196042752 39544 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 39544 251 17 0 44503 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 200152

[startup+342.301 s]
/proc/loadavg: 4.06 4.02 3.86 5/194 4978
/proc/meminfo: memFree=12479896/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=337.41 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 154536 0 0 0 33703 38 0 0 25 0 1 0 565651685 227602432 43047 33554432000 4194304 4260849 140737293490496 18446744073709551615 4229331 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 43047 251 17 0 52208 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 230972

[startup+402.301 s]
/proc/loadavg: 3.64 3.92 3.83 4/187 4999
/proc/meminfo: memFree=12623844/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=397.42 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 172753 0 0 0 39699 43 0 0 25 0 1 0 565651685 227602432 46073 33554432000 4194304 4260849 140737293490496 18446744073709551615 4225413 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 46073 251 17 0 52208 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 230972

[startup+462.301 s]
/proc/loadavg: 3.21 3.73 3.77 4/187 5000
/proc/meminfo: memFree=12626308/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=142128 CPUtime=457.42 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 189896 0 0 0 45692 50 0 0 25 0 1 0 565651685 145539072 30349 33554432000 4194304 4260849 140737293490496 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 35532 30349 251 17 0 32173 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 150832

[startup+522.3 s]
/proc/loadavg: 3.16 3.62 3.73 4/187 5002
/proc/meminfo: memFree=12589952/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=517.42 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 208157 0 0 0 51686 56 0 0 25 0 1 0 565651685 227602432 48566 33554432000 4194304 4260849 140737293490496 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 48566 251 17 0 52208 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 230972

[startup+582.301 s]
/proc/loadavg: 3.06 3.51 3.68 4/187 5004
/proc/meminfo: memFree=12612004/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=577.43 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 227242 0 0 0 57680 63 0 0 25 0 1 0 565651685 227602432 46274 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 46274 251 17 0 52208 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 230972

[startup+642.301 s]
/proc/loadavg: 3.02 3.41 3.63 4/187 5005
/proc/meminfo: memFree=12627996/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=222268 CPUtime=637.43 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 246466 0 0 0 63673 70 0 0 25 0 1 0 565651685 227602432 45555 33554432000 4194304 4260849 140737293490496 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 55567 45555 251 17 0 52208 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 230972

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

[startup+665.607 s]
/proc/loadavg: 3.01 3.38 3.62 4/187 5006
/proc/meminfo: memFree=12635680/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=660.74 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 259139 0 0 0 66001 73 0 0 25 0 1 0 565651685 196042752 39848 33554432000 4194304 4260849 140737293490496 18446744073709551615 4209385 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 39848 251 17 0 44503 0
Current children cumulated CPU time (s) 665.61
Current children cumulated vsize (KiB) 200152

[startup+672.001 s]
/proc/loadavg: 3.01 3.37 3.61 4/187 5006
/proc/meminfo: memFree=12630100/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=667.13 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 259872 0 0 0 66640 73 0 0 25 0 1 0 565651685 196042752 40575 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 40575 251 17 0 44503 0
Current children cumulated CPU time (s) 672
Current children cumulated vsize (KiB) 200152

[startup+678.401 s]
/proc/loadavg: 3.01 3.36 3.61 4/187 5006
/proc/meminfo: memFree=12623652/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=673.52 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 260906 0 0 0 67279 73 0 0 25 0 1 0 565651685 196042752 41604 33554432000 4194304 4260849 140737293490496 18446744073709551615 4226836 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 41604 251 17 0 44503 0
Current children cumulated CPU time (s) 678.39
Current children cumulated vsize (KiB) 200152

[startup+680.001 s]
/proc/loadavg: 3.01 3.36 3.61 4/187 5006
/proc/meminfo: memFree=12621048/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=675.12 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 261229 0 0 0 67439 73 0 0 25 0 1 0 565651685 196042752 41925 33554432000 4194304 4260849 140737293490496 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 41925 251 17 0 44503 0
Current children cumulated CPU time (s) 679.99
Current children cumulated vsize (KiB) 200152

[startup+681.6 s]
/proc/loadavg: 3.01 3.36 3.61 4/187 5006
/proc/meminfo: memFree=12619312/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=676.72 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 261528 0 0 0 67599 73 0 0 25 0 1 0 565651685 196042752 42220 33554432000 4194304 4260849 140737293490496 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 42220 251 17 0 44503 0
Current children cumulated CPU time (s) 681.59
Current children cumulated vsize (KiB) 200152

[startup+682.401 s]
/proc/loadavg: 2.93 3.34 3.60 3/181 5024
/proc/meminfo: memFree=12809680/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=677.53 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 270475 0 0 0 67678 75 0 0 25 0 1 0 565651685 196042752 38517 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 38517 251 17 0 44503 0
Current children cumulated CPU time (s) 682.4
Current children cumulated vsize (KiB) 200152

[startup+682.801 s]
/proc/loadavg: 2.93 3.34 3.60 3/181 5024
/proc/meminfo: memFree=12809680/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=677.93 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 270568 0 0 0 67718 75 0 0 25 0 1 0 565651685 196042752 38609 33554432000 4194304 4260849 140737293490496 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 38609 251 17 0 44503 0
Current children cumulated CPU time (s) 682.8
Current children cumulated vsize (KiB) 200152

[startup+682.901 s]
/proc/loadavg: 2.93 3.34 3.60 3/181 5024
/proc/meminfo: memFree=12809680/32950928 swapFree=67111528/67111528
[pid=4927] ppid=4925 vsize=8704 CPUtime=4.87 cores=0,2
/proc/4927/stat : 4927 (glucose.sh) S 4925 4927 3507 0 -1 4202496 360 47953 0 0 0 0 473 14 18 0 1 0 565651196 8912896 255 33554432000 4194304 4922060 140733622636288 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/4927/statm: 2176 255 211 178 0 69 0
[pid=4930] ppid=4927 vsize=191448 CPUtime=678.03 cores=0,2
/proc/4930/stat : 4930 (glucose_static) R 4927 4927 3507 0 -1 4202496 270587 0 0 0 67728 75 0 0 25 0 1 0 565651685 196042752 38627 33554432000 4194304 4260849 140737293490496 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4930/statm: 47862 38627 251 17 0 44503 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 200152

Child status: 20
Real time (s): 682.992
CPU time (s): 683.009
CPU user time (s): 682.094
CPU system time (s): 0.91486
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 330380

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

runsolver used 1.17382 second user time and 2.55861 second system time

The end

Launcher Data

Begin job on node114 at 2011-04-25 19:56:45
IDJOB=3283468
IDBENCH=71037
IDSOLVER=1651
FILE ID=node114/3283468-1303754204
RUNJOBID= node114-1303752609-4411
PBS_JOBID= 13154048
Free space on /tmp= 71496 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283468-1303754204/watcher-3283468-1303754204 -o /tmp/evaluation-result-3283468-1303754204/solver-3283468-1303754204 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3283468-1303754204.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=218835327

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12826860 kB
Buffers:       2310460 kB
Cached:       16854924 kB
SwapCached:          0 kB
Active:        9761108 kB
Inactive:      9770412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12826860 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           84932 kB
Writeback:           0 kB
AnonPages:      365460 kB
Mapped:          15348 kB
Slab:           526540 kB
PageTables:       6116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   570556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71540 MiB
End job on node114 at 2011-04-25 20:08:08