Trace number 3303861

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 2? (TO) 5000.03 4999.91

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
MD5SUM48f03e5fbe31fc85b9a464480fc8aa5a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark745.077
Satisfiable
(Un)Satisfiability was proved
Number of variables1575206
Number of clauses8464620
Sum of the clauses size20118920
Maximum clause length982
Minimum clause length1
Number of clauses of size 1720
Number of clauses of size 28393300
Number of clauses of size 3400
Number of clauses of size 41600
Number of clauses of size 54000
Number of clauses of size over 564600

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.00	c num clauses = 8464620
0.00/0.00	c too many clauses .. no preprocessing
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
178.10/178.18	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
178.10/178.18	c WARNING: for repeatability, setting FPU to use double precision
178.10/178.18	c ============================[ Problem Statistics ]=============================
178.10/178.18	c |                                                                             |
178.10/178.18	c |  Number of variables:       1575206                                         |
178.10/178.18	c |  Number of clauses:         7732197                                         |
178.10/178.18	c |  Parse time:                   1.76 s                                       |
178.10/178.18	c |                                                                             |
178.10/178.18	c ============================[ Search Statistics ]==============================
178.10/178.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
178.10/178.18	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
178.10/178.18	c ===============================================================================
178.10/178.18	c |       271 | 1469460  7730699 18309670 |        1      271   1248 |  6.713 % |
178.10/178.18	c |       372 | 1469460  7730699 18309670 |        1      372   1349 |  6.713 % |
178.10/178.18	c |       574 | 1469460  7730699 18309670 |        1      574   1368 |  6.713 % |
178.10/178.18	c |      1813 | 1469459  7730699 18309670 |        1     1812   1385 |  6.713 % |
178.10/178.18	c |      5097 | 1469458  7730699 18309670 |        1     3116   4680 |  6.713 % |
178.10/178.18	c |      5941 | 1469453  7730699 18309670 |        1     3955   4336 |  6.714 % |
178.10/178.18	c |      6041 | 1469453  7730699 18309670 |        1     4055   4267 |  6.714 % |
178.10/178.18	c |      6466 | 1469453  7730699 18309670 |        1     4480   4063 |  6.714 % |
178.10/178.18	c |      6674 | 1469418  7730699 18309670 |        1     4685   3928 |  6.716 % |
178.10/178.18	c |      7366 | 1469418  7730699 18309670 |        1     5377   3666 |  6.716 % |
178.10/178.18	c |      8160 | 1469418  7730699 18309670 |        1     6171   3354 |  6.716 % |
178.10/178.18	c |     11425 | 1469418  7730699 18309670 |        1     5146    799 |  6.716 % |
178.10/178.18	c |     11555 | 1469039  7730699 18309670 |        1     5274    804 |  6.740 % |
178.10/178.18	c |     12016 | 1469039  7730699 18309670 |        1     5735   1106 |  6.740 % |
178.10/178.18	c |     13138 | 1469039  7730699 18309670 |        1     6857   1203 |  6.740 % |
178.10/178.18	c |     13241 | 1469039  7730699 18309670 |        1     6960   1201 |  6.740 % |
178.10/178.18	c |     13385 | 1469038  7730699 18309670 |        1     7103   1203 |  6.740 % |
178.10/178.18	c |     13485 | 1469038  7730699 18309670 |        1     7203   1209 |  6.740 % |
178.10/178.18	c |     14809 | 1469038  7730699 18309670 |        1     8527   1377 |  6.740 % |
178.10/178.18	c |     14909 | 1469038  7730699 18309670 |        1     8627   1403 |  6.740 % |
178.10/178.18	c |     15033 | 1469038  7730699 18309670 |        1     8751   1406 |  6.740 % |
178.10/178.18	c |     16170 | 1469034  7730699 18309670 |        1     9887   1735 |  6.740 % |
178.10/178.18	c |     16270 | 1469034  7730699 18309670 |        1     9987   1739 |  6.740 % |
178.10/178.18	c |     16372 | 1468945  7730699 18309670 |        1    10084   1733 |  6.746 % |
178.10/178.18	c |     16517 | 1468945  7730699 18309670 |        1    10229   1746 |  6.746 % |
178.10/178.18	c |     17933 | 1468943  7730699 18309670 |        1    11643   1704 |  6.746 % |
178.10/178.18	c |     18033 | 1468752  7730688 18309121 |        1    11713   1719 |  6.758 % |
178.10/178.18	c |     18200 | 1468751  7730688 18309121 |        1    11879   1709 |  6.758 % |
178.10/178.18	c |     18356 | 1468751  7730688 18309121 |        1    12035   1746 |  6.758 % |
178.10/178.18	c |     18456 | 1468750  7730688 18309121 |        1    12134   1750 |  6.758 % |
178.10/178.18	c |     18705 | 1468750  7730688 18309121 |        1    12383   1766 |  6.758 % |
178.10/178.18	c |     18889 | 1468750  7730688 18309121 |        1    12567   1769 |  6.758 % |
178.10/178.18	c |     18991 | 1468750  7730688 18309121 |        1    12669   1774 |  6.758 % |
178.10/178.18	c |     20535 | 1468747  7730688 18309121 |        1     7508    673 |  6.758 % |
178.10/178.18	c |     20883 | 1468747  7730688 18309121 |        1     7856    795 |  6.758 % |
178.10/178.18	c |     22104 | 1468747  7730688 18309121 |        1     9077   1208 |  6.758 % |
178.10/178.18	c |     22609 | 1468747  7730688 18309121 |        1     9582   1322 |  6.758 % |
178.10/178.18	c |     22711 | 1468747  7730688 18309121 |        1     9684   1343 |  6.758 % |
178.10/178.18	c |     22812 | 1468747  7730688 18309121 |        1     9785   1355 |  6.758 % |
381.49/381.59	c |     24051 | 1468747  7730688 18309121 |        1    11024   1635 |  6.758 % |
381.49/381.59	c |     25087 | 1468747  7730688 18309121 |        1    12060   1767 |  6.758 % |
381.49/381.59	c |     25187 | 1468747  7730688 18309121 |        1    12160   1787 |  6.758 % |
381.49/381.59	c |     25413 | 1468747  7730688 18309121 |        1    12386   1792 |  6.758 % |
381.49/381.59	c |     25866 | 1468747  7730688 18309121 |        1    12839   1856 |  6.758 % |
381.49/381.59	c |     26614 | 1468734  7730688 18309121 |        1    13586   1901 |  6.759 % |
381.49/381.59	c |     26716 | 1468733  7730688 18309121 |        1    13687   1895 |  6.759 % |
381.49/381.59	c |     26816 | 1468731  7730688 18309121 |        1    13785   1887 |  6.759 % |
381.49/381.59	c |     27400 | 1468731  7730688 18309121 |        1    14369   1870 |  6.759 % |
381.49/381.59	c |     27500 | 1468731  7730688 18309121 |        1    14469   1867 |  6.759 % |
381.49/381.59	c |     28600 | 1468731  7730688 18309121 |        1    15569   1956 |  6.759 % |
381.49/381.59	c |     28700 | 1468731  7730688 18309121 |        1    15669   1950 |  6.759 % |
381.49/381.59	c |     29260 | 1468731  7730688 18309121 |        1    16229   1925 |  6.759 % |
381.49/381.59	c |     29361 | 1468731  7730681 18308861 |        1    16328   1930 |  6.759 % |
381.49/381.59	c |     31559 | 1468731  7730681 18308861 |        1    18526   1938 |  6.759 % |
381.49/381.59	c |     34347 | 1468731  7730681 18308861 |        1    12043   1138 |  6.759 % |
381.49/381.59	c |     34447 | 1468731  7730681 18308861 |        1    12143   1135 |  6.759 % |
381.49/381.59	c |     34742 | 1468731  7730681 18308861 |        1    12438   1213 |  6.759 % |
381.49/381.59	c |     34843 | 1468731  7730681 18308861 |        1    12539   1241 |  6.759 % |
381.49/381.59	c |     34946 | 1468731  7730681 18308861 |        1    12642   1254 |  6.759 % |
381.49/381.59	c |     38711 | 1468729  7730681 18308861 |        1    16405   1227 |  6.760 % |
381.49/381.59	c |     40176 | 1468727  7730681 18308861 |        1    17868   1255 |  6.760 % |
381.49/381.59	c |     40281 | 1468727  7730681 18308861 |        1    17973   1263 |  6.760 % |
381.49/381.59	c |     40966 | 1468726  7730681 18308861 |        1    18657   1348 |  6.760 % |
381.49/381.59	c |     41263 | 1468726  7730681 18308861 |        1    18954   1346 |  6.760 % |
381.49/381.59	c |     44998 | 1468725  7730681 18308861 |        1    22688   1524 |  6.760 % |
381.49/381.59	c |     45099 | 1468725  7730681 18308861 |        1    22789   1525 |  6.760 % |
381.49/381.59	c |     46637 | 1468725  7730681 18308861 |        1    12497    465 |  6.760 % |
381.49/381.59	c |     48127 | 1468725  7730681 18308861 |        1    13987    599 |  6.760 % |
381.49/381.59	c |     48353 | 1468724  7730681 18308861 |        1    14212    602 |  6.760 % |
381.49/381.59	c |     50500 | 1468724  7730681 18308861 |        1    16359   1038 |  6.760 % |
381.49/381.59	c |     51377 | 1468724  7730681 18308861 |        1    17236   1157 |  6.760 % |
381.49/381.59	c |     51479 | 1468724  7730681 18308861 |        1    17338   1164 |  6.760 % |
381.49/381.59	c |     53471 | 1468724  7730681 18308861 |        1    19330   1566 |  6.760 % |
381.49/381.59	c |     54284 | 1468723  7730681 18308861 |        1    20142   1567 |  6.760 % |
381.49/381.59	c |     54616 | 1468722  7730681 18308861 |        1    20473   1573 |  6.760 % |
381.49/381.59	c |     54884 | 1468722  7730681 18308861 |        1    20741   1592 |  6.760 % |
381.49/381.59	c |     54984 | 1468717  7730681 18308861 |        1    20836   1588 |  6.760 % |
381.49/381.59	c |     55762 | 1468717  7730681 18308861 |        1    21614   1621 |  6.760 % |
381.49/381.59	c |     55864 | 1468717  7730681 18308861 |        1    21716   1624 |  6.760 % |
381.49/381.59	c |     56567 | 1468717  7730681 18308861 |        1    22419   1636 |  6.760 % |
381.49/381.59	c |     57061 | 1468717  7730681 18308861 |        1    22913   1663 |  6.760 % |
381.49/381.59	c |     57645 | 1468717  7730681 18308861 |        1    23497   1775 |  6.760 % |
381.49/381.59	c |     57745 | 1468717  7730681 18308861 |        1    23597   1773 |  6.760 % |
381.49/381.59	c |     57877 | 1468717  7730681 18308861 |        1    23729   1782 |  6.760 % |
381.49/381.59	c |     59462 | 1468717  7730681 18308861 |        1    25314   1898 |  6.760 % |
381.49/381.59	c |     59617 | 1468717  7730681 18308861 |        1    25469   1906 |  6.760 % |
381.49/381.59	c |     59717 | 1468717  7730681 18308861 |        1    25569   1904 |  6.760 % |
381.49/381.59	c |     61121 | 1468717  7730681 18308861 |        1    26973   1896 |  6.760 % |
381.49/381.59	c |     61221 | 1468717  7730681 18308861 |        1    27073   1900 |  6.760 % |
756.41/756.42	c |     61321 | 1468717  7730681 18308861 |        1    27173   1895 |  6.760 % |
756.41/756.42	c |     61584 | 1468716  7730681 18308861 |        1    27435   1890 |  6.760 % |
756.41/756.42	c |     62619 | 1468716  7730681 18308861 |        1    28470   1941 |  6.760 % |
756.41/756.42	c |     62719 | 1468716  7730681 18308861 |        1    28567   1941 |  6.760 % |
756.41/756.42	c |     63270 | 1468716  7730681 18308861 |        1    14701    362 |  6.760 % |
756.41/756.42	c |     65288 | 1468716  7730681 18308861 |        1    16719    542 |  6.760 % |
756.41/756.42	c |     67630 | 1468715  7730681 18308861 |        1    19060    648 |  6.760 % |
756.41/756.42	c |     67973 | 1468714  7730681 18308861 |        1    19402    656 |  6.761 % |
756.41/756.42	c |     68709 | 1468714  7730681 18308861 |        1    20138    804 |  6.761 % |
756.41/756.42	c |     70351 | 1468714  7730681 18308861 |        1    21780    906 |  6.761 % |
756.41/756.42	c |     70451 | 1468714  7730681 18308861 |        1    21880    906 |  6.761 % |
756.41/756.42	c |     70982 | 1468714  7730681 18308861 |        1    22411    995 |  6.761 % |
756.41/756.42	c |     72195 | 1468711  7730681 18308861 |        1    23621   1051 |  6.761 % |
756.41/756.42	c |     72633 | 1468711  7730681 18308861 |        1    24059   1094 |  6.761 % |
756.41/756.42	c |     72738 | 1467945  7730681 18308861 |        1    24163   1093 |  6.809 % |
756.41/756.42	c |     76798 | 1467945  7730681 18308861 |        1    28223   1886 |  6.809 % |
756.41/756.42	c |     76899 | 1467945  7730681 18308861 |        1    28324   1895 |  6.809 % |
756.41/756.42	c |     78454 | 1467945  7730681 18308861 |        1    29879   1934 |  6.809 % |
756.41/756.42	c |     78555 | 1467945  7730681 18308861 |        1    29980   1938 |  6.809 % |
756.41/756.42	c |     80023 | 1467942  7730681 18308861 |        1    31445   1943 |  6.810 % |
756.41/756.42	c |     80123 | 1467942  7730677 18307792 |        1    31524   1941 |  6.810 % |
756.41/756.42	c |     81001 | 1467942  7730677 18307792 |        1    32402   1958 |  6.810 % |
756.41/756.42	c |     82294 | 1467940  7730677 18307792 |        1    33693   1939 |  6.810 % |
756.41/756.42	c |     94122 | 1467939  7730677 18307792 |        1    28545   1869 |  6.810 % |
756.41/756.42	c |     97798 | 1467939  7730677 18307792 |        1    32221   2125 |  6.810 % |
756.41/756.42	c |     97898 | 1467939  7730677 18307792 |        1    32321   2122 |  6.810 % |
756.41/756.42	c |     97998 | 1467939  7730677 18307792 |        1    32421   2120 |  6.810 % |
756.41/756.42	c |     98098 | 1467939  7730677 18307792 |        1    32521   2118 |  6.810 % |
756.41/756.42	c |     98279 | 1467939  7730677 18307792 |        1    32702   2116 |  6.810 % |
756.41/756.42	c |    102731 | 1467939  7730677 18307792 |        1    37154   2393 |  6.810 % |
756.41/756.42	c |    103818 | 1467939  7730677 18307792 |        1    38241   2402 |  6.810 % |
756.41/756.42	c |    103918 | 1467939  7730677 18307792 |        1    38341   2402 |  6.810 % |
756.41/756.42	c |    104329 | 1467939  7730677 18307792 |        1    38752   2412 |  6.810 % |
756.41/756.42	c |    104708 | 1467939  7730677 18307792 |        1    39131   2425 |  6.810 % |
756.41/756.42	c |    106097 | 1467937  7730677 18307792 |        1    20926    567 |  6.810 % |
756.41/756.42	c |    106197 | 1467937  7730677 18307792 |        1    21026    571 |  6.810 % |
756.41/756.42	c |    108018 | 1467937  7730677 18307792 |        1    22846    660 |  6.810 % |
756.41/756.42	c |    109012 | 1467937  7730677 18307792 |        1    23840    667 |  6.810 % |
756.41/756.42	c |    109341 | 1467937  7730677 18307792 |        1    24169    693 |  6.810 % |
756.41/756.42	c |    109441 | 1467937  7730677 18307792 |        1    24269    694 |  6.810 % |
756.41/756.42	c |    109704 | 1467937  7730677 18307792 |        1    24532    709 |  6.810 % |
756.41/756.42	c |    110566 | 1467933  7730677 18307792 |        1    25390    764 |  6.810 % |
756.41/756.42	c |    110758 | 1467933  7730677 18307792 |        1    25582    773 |  6.810 % |
756.41/756.42	c |    110996 | 1467933  7730677 18307792 |        1    25820    796 |  6.810 % |
756.41/756.42	c |    111390 | 1467933  7730677 18307792 |        1    26214    813 |  6.810 % |
756.41/756.42	c |    111884 | 1467933  7730677 18307792 |        1    26708    835 |  6.810 % |
756.41/756.42	c |    113107 | 1467933  7730677 18307792 |        1    27931    888 |  6.810 % |
756.41/756.42	c |    113260 | 1467933  7730677 18307792 |        1    28084    891 |  6.810 % |
756.41/756.42	c |    113959 | 1467932  7730677 18307792 |        1    28782    963 |  6.810 % |
756.41/756.42	c |    114438 | 1467932  7730677 18307792 |        1    29261    983 |  6.810 % |
887.00/887.02	c |    114630 | 1467930  7730677 18307792 |        1    29451    989 |  6.810 % |
887.00/887.02	c |    116071 | 1467929  7730677 18307792 |        1    30891   1065 |  6.810 % |
887.00/887.02	c |    116410 | 1467929  7730677 18307792 |        1    31230   1073 |  6.810 % |
887.00/887.02	c |    116632 | 1467929  7730677 18307792 |        1    31452   1098 |  6.810 % |
887.00/887.02	c |    117474 | 1467928  7730677 18307792 |        1    32293   1117 |  6.810 % |
887.00/887.02	c |    117574 | 1467928  7730677 18307792 |        1    32393   1127 |  6.810 % |
887.00/887.02	c |    119405 | 1467928  7730677 18307792 |        1    34224   1191 |  6.810 % |
887.00/887.02	c |    119505 | 1467928  7730677 18307792 |        1    34324   1192 |  6.810 % |
887.00/887.02	c |    120165 | 1467928  7730677 18307792 |        1    34984   1258 |  6.810 % |
887.00/887.02	c |    121651 | 1467928  7730677 18307792 |        1    36470   1371 |  6.810 % |
887.00/887.02	c |    123747 | 1467928  7730677 18307792 |        1    38566   1396 |  6.810 % |
887.00/887.02	c |    124447 | 1467928  7730677 18307792 |        1    39266   1468 |  6.810 % |
887.00/887.02	c |    125457 | 1467928  7730677 18307792 |        1    40276   1532 |  6.810 % |
887.00/887.02	c |    126623 | 1467928  7730677 18307792 |        1    41442   1539 |  6.810 % |
887.00/887.02	c |    126997 | 1467928  7730677 18307792 |        1    41816   1532 |  6.810 % |
887.00/887.02	c |    128144 | 1467925  7730677 18307792 |        1    42960   1574 |  6.811 % |
887.00/887.02	c |    129238 | 1467924  7730677 18307792 |        1    44053   1632 |  6.811 % |
887.00/887.02	c |    129521 | 1467924  7730677 18307792 |        1    44336   1642 |  6.811 % |
887.00/887.02	c |    130265 | 1467923  7730677 18307792 |        1    22889    279 |  6.811 % |
887.00/887.02	c |    130365 | 1467923  7730677 18307792 |        1    22989    286 |  6.811 % |
887.00/887.02	c |    130494 | 1467922  7730677 18307792 |        1    23117    292 |  6.811 % |
887.00/887.02	c |    130757 | 1467922  7730677 18307792 |        1    23380    314 |  6.811 % |
887.00/887.02	c |    131092 | 1467922  7730677 18307792 |        1    23715    346 |  6.811 % |
887.00/887.02	c |    131193 | 1467922  7730677 18307792 |        1    23816    346 |  6.811 % |
887.00/887.02	c |    132154 | 1467922  7730677 18307792 |        1    24777    565 |  6.811 % |
887.00/887.02	c |    132254 | 1467922  7730677 18307792 |        1    24877    568 |  6.811 % |
887.00/887.02	c |    132354 | 1467922  7730677 18307792 |        1    24977    569 |  6.811 % |
887.00/887.02	c |    132704 | 1467922  7730677 18307792 |        1    25327    602 |  6.811 % |
887.00/887.02	c |    133393 | 1467922  7730677 18307792 |        1    26016    700 |  6.811 % |
887.00/887.02	c |    134637 | 1467921  7730677 18307792 |        1    27259    728 |  6.811 % |
887.00/887.02	c |    134737 | 1467921  7730677 18307792 |        1    27359    729 |  6.811 % |
887.00/887.02	c |    135168 | 1467921  7730677 18307792 |        1    27790    761 |  6.811 % |
887.00/887.02	c |    135275 | 1467921  7730677 18307792 |        1    27897    762 |  6.811 % |
887.00/887.02	c |    135700 | 1467921  7730677 18307792 |        1    28322    782 |  6.811 % |
887.00/887.02	c |    136398 | 1467921  7730677 18307792 |        1    29020    819 |  6.811 % |
887.00/887.02	c |    136498 | 1467921  7730677 18307792 |        1    29120    822 |  6.811 % |
887.00/887.02	c |    136909 | 1467921  7730677 18307792 |        1    29531    840 |  6.811 % |
887.00/887.02	c |    137010 | 1467921  7730677 18307792 |        1    29632    851 |  6.811 % |
887.00/887.02	c |    137110 | 1467921  7730677 18307792 |        1    29732    851 |  6.811 % |
887.00/887.02	c |    137858 | 1467921  7730677 18307792 |        1    30480    869 |  6.811 % |
887.00/887.02	c |    138814 | 1467921  7730677 18307792 |        1    31436    925 |  6.811 % |
887.00/887.02	c |    138915 | 1467921  7730677 18307792 |        1    31537    925 |  6.811 % |
887.00/887.02	c |    139973 | 1467921  7730677 18307792 |        1    32595    954 |  6.811 % |
887.00/887.02	c |    140075 | 1467921  7730677 18307792 |        1    32697    954 |  6.811 % |
887.00/887.02	c |    140629 | 1467921  7730677 18307792 |        1    33251    989 |  6.811 % |
887.00/887.02	c |    140729 | 1467921  7730677 18307792 |        1    33351    991 |  6.811 % |
887.00/887.02	c |    141049 | 1467921  7730677 18307792 |        1    33671   1008 |  6.811 % |
887.00/887.02	c |    141149 | 1467920  7730677 18307792 |        1    33770   1010 |  6.811 % |
887.00/887.02	c |    141304 | 1467920  7730677 18307792 |        1    33925   1017 |  6.811 % |
887.00/887.02	c |    141405 | 1467906  7730675 18307772 |        1    34024   1016 |  6.812 % |
1203.62/1203.62	c |    141505 | 1467906  7730675 18307772 |        1    34124   1028 |  6.812 % |
1203.62/1203.62	c |    141667 | 1467905  7730675 18307772 |        1    34285   1031 |  6.812 % |
1203.62/1203.62	c |    142678 | 1467905  7730675 18307772 |        1    35296   1057 |  6.812 % |
1203.62/1203.62	c |    143096 | 1467904  7730675 18307772 |        1    35713   1067 |  6.812 % |
1203.62/1203.62	c |    143390 | 1467904  7730675 18307772 |        1    36007   1070 |  6.812 % |
1203.62/1203.62	c |    143490 | 1467898  7730675 18307772 |        1    36101   1070 |  6.812 % |
1203.62/1203.62	c |    144339 | 1467898  7730675 18307772 |        1    36950   1165 |  6.812 % |
1203.62/1203.62	c |    144439 | 1467898  7730675 18307772 |        1    37050   1163 |  6.812 % |
1203.62/1203.62	c |    144779 | 1467898  7730675 18307772 |        1    37390   1169 |  6.812 % |
1203.62/1203.62	c |    144879 | 1467898  7730675 18307772 |        1    37490   1169 |  6.812 % |
1203.62/1203.62	c |    150669 | 1467897  7730675 18307772 |        1    43279   2133 |  6.812 % |
1203.62/1203.62	c |    150769 | 1467897  7730675 18307772 |        1    43379   2132 |  6.812 % |
1203.62/1203.62	c |    151603 | 1467896  7730675 18307772 |        1    44212   2113 |  6.812 % |
1203.62/1203.62	c |    151703 | 1467895  7730675 18307772 |        1    44311   2109 |  6.813 % |
1203.62/1203.62	c |    152244 | 1467895  7730675 18307772 |        1    44852   2169 |  6.813 % |
1203.62/1203.62	c |    152344 | 1467895  7730675 18307772 |        1    44952   2170 |  6.813 % |
1203.62/1203.62	c |    154448 | 1467895  7730675 18307772 |        1    47056   2158 |  6.813 % |
1203.62/1203.62	c |    154550 | 1467895  7730675 18307772 |        1    47158   2160 |  6.813 % |
1203.62/1203.62	c |    154767 | 1467895  7730675 18307772 |        1    47375   2158 |  6.813 % |
1203.62/1203.62	c |    154869 | 1467895  7730675 18307772 |        1    47477   2169 |  6.813 % |
1203.62/1203.62	c |    155224 | 1467895  7730675 18307772 |        1    47832   2156 |  6.813 % |
1203.62/1203.62	c |    155324 | 1467895  7730675 18307772 |        1    47932   2154 |  6.813 % |
1203.62/1203.62	c |    160941 | 1467893  7730675 18307772 |        1    28804    892 |  6.813 % |
1203.62/1203.62	c |    161234 | 1467890  7730675 18307772 |        1    29094    897 |  6.813 % |
1203.62/1203.62	c |    161359 | 1467890  7730675 18307772 |        1    29219    908 |  6.813 % |
1203.62/1203.62	c |    162818 | 1467888  7730675 18307772 |        1    30676    975 |  6.813 % |
1203.62/1203.62	c |    162975 | 1467888  7730675 18307772 |        1    30831    977 |  6.813 % |
1203.62/1203.62	c |    163715 | 1467887  7730675 18307772 |        1    31570   1058 |  6.813 % |
1203.62/1203.62	c |    163817 | 1467887  7730675 18307772 |        1    31672   1062 |  6.813 % |
1203.62/1203.62	c |    164889 | 1467887  7730675 18307772 |        1    32744   1164 |  6.813 % |
1203.62/1203.62	c |    164992 | 1467887  7730675 18307772 |        1    32847   1161 |  6.813 % |
1203.62/1203.62	c |    165563 | 1467887  7730675 18307772 |        1    33418   1197 |  6.813 % |
1203.62/1203.62	c |    165864 | 1467886  7730675 18307772 |        1    33718   1215 |  6.813 % |
1203.62/1203.62	c |    169992 | 1467885  7730675 18307772 |        1    37845   1292 |  6.813 % |
1203.62/1203.62	c |    170128 | 1467885  7730675 18307772 |        1    37981   1294 |  6.813 % |
1203.62/1203.62	c |    170911 | 1467885  7730675 18307772 |        1    38764   1321 |  6.813 % |
1203.62/1203.62	c |    171623 | 1467885  7730675 18307772 |        1    39476   1386 |  6.813 % |
1203.62/1203.62	c |    171723 | 1467884  7730675 18307772 |        1    39575   1387 |  6.813 % |
1203.62/1203.62	c |    171824 | 1467884  7730675 18307772 |        1    39676   1388 |  6.813 % |
1203.62/1203.62	c |    171925 | 1467884  7730675 18307772 |        1    39777   1388 |  6.813 % |
1203.62/1203.62	c |    172438 | 1467883  7730675 18307772 |        1    40289   1427 |  6.813 % |
1203.62/1203.62	c |    172538 | 1467883  7730675 18307772 |        1    40389   1433 |  6.813 % |
1203.62/1203.62	c |    173328 | 1467883  7730675 18307772 |        1    41179   1459 |  6.813 % |
1203.62/1203.62	c |    173428 | 1467883  7730675 18307772 |        1    41279   1461 |  6.813 % |
1203.62/1203.62	c |    173529 | 1467883  7730675 18307772 |        1    41380   1466 |  6.813 % |
1203.62/1203.62	c |    174692 | 1467882  7730675 18307772 |        1    42542   1488 |  6.813 % |
1203.62/1203.62	c |    177051 | 1467881  7730675 18307772 |        1    44894   1482 |  6.813 % |
1203.62/1203.62	c |    181508 | 1467881  7730675 18307772 |        1    49351   1685 |  6.813 % |
1203.62/1203.62	c |    187456 | 1467881  7730675 18307772 |        1    27915    313 |  6.813 % |
1203.62/1203.62	c |    187565 | 1467881  7730675 18307772 |        1    28024    316 |  6.813 % |
1300.42/1300.47	c |    188585 | 1467881  7730675 18307772 |        1    29044    484 |  6.813 % |
1300.42/1300.47	c |    188688 | 1467881  7730675 18307772 |        1    29147    489 |  6.813 % |
1300.42/1300.47	c |    189102 | 1467881  7730675 18307772 |        1    29561    497 |  6.813 % |
1300.42/1300.47	c |    189665 | 1467881  7730675 18307772 |        1    30124    510 |  6.813 % |
1300.42/1300.47	c |    190161 | 1467881  7730675 18307772 |        1    30620    552 |  6.813 % |
1300.42/1300.47	c |    190261 | 1467881  7730675 18307772 |        1    30720    553 |  6.813 % |
1300.42/1300.47	c |    190361 | 1467881  7730675 18307772 |        1    30820    565 |  6.813 % |
1300.42/1300.47	c |    190768 | 1467881  7730675 18307772 |        1    31227    595 |  6.813 % |
1300.42/1300.47	c |    192093 | 1467880  7730675 18307772 |        1    32551    648 |  6.813 % |
1300.42/1300.47	c |    192200 | 1467880  7730675 18307772 |        1    32658    650 |  6.813 % |
1300.42/1300.47	c |    193315 | 1467880  7730675 18307772 |        1    33773    786 |  6.813 % |
1300.42/1300.47	c |    193420 | 1467880  7730675 18307772 |        1    33878    793 |  6.813 % |
1300.42/1300.47	c |    193590 | 1467880  7730675 18307772 |        1    34048    791 |  6.813 % |
1300.42/1300.47	c |    193788 | 1467880  7730675 18307772 |        1    34246    792 |  6.813 % |
1300.42/1300.47	c |    193888 | 1467880  7730675 18307772 |        1    34346    792 |  6.813 % |
1300.42/1300.47	c |    194614 | 1467880  7730675 18307772 |        1    35072    842 |  6.813 % |
1300.42/1300.47	c |    194714 | 1467880  7730675 18307772 |        1    35172    844 |  6.813 % |
1300.42/1300.47	c |    194822 | 1467879  7730675 18307772 |        1    35279    846 |  6.814 % |
1300.42/1300.47	c |    194922 | 1467879  7730675 18307772 |        1    35379    848 |  6.814 % |
1300.42/1300.47	c |    195024 | 1467879  7730675 18307772 |        1    35481    854 |  6.814 % |
1300.42/1300.47	c |    195125 | 1467879  7730675 18307772 |        1    35582    864 |  6.814 % |
1300.42/1300.47	c |    195225 | 1467879  7730675 18307772 |        1    35682    864 |  6.814 % |
1300.42/1300.47	c |    195363 | 1467879  7730675 18307772 |        1    35820    866 |  6.814 % |
1300.42/1300.47	c |    195463 | 1467878  7730675 18307772 |        1    35919    877 |  6.814 % |
1300.42/1300.47	c |    195711 | 1467878  7730675 18307772 |        1    36167    873 |  6.814 % |
1300.42/1300.47	c |    196764 | 1467878  7730675 18307772 |        1    37220   1033 |  6.814 % |
1300.42/1300.47	c |    196864 | 1467878  7730675 18307772 |        1    37320   1031 |  6.814 % |
1300.42/1300.47	c |    197658 | 1467878  7730675 18307772 |        1    38112   1096 |  6.814 % |
1300.42/1300.47	c |    198209 | 1467878  7730675 18307772 |        1    38663   1095 |  6.814 % |
1300.42/1300.47	c |    198309 | 1467878  7730675 18307772 |        1    38763   1093 |  6.814 % |
1300.42/1300.47	c |    198845 | 1467878  7730675 18307772 |        1    39299   1114 |  6.814 % |
1300.42/1300.47	c |    199156 | 1467876  7730675 18307772 |        1    39608   1116 |  6.814 % |
1300.42/1300.47	c |    199759 | 1467876  7730675 18307772 |        1    40211   1188 |  6.814 % |
1300.42/1300.47	c |    199861 | 1467876  7730675 18307772 |        1    40313   1196 |  6.814 % |
1300.42/1300.47	c |    199977 | 1467874  7730675 18307772 |        1    40427   1197 |  6.814 % |
1300.42/1300.47	c |    200078 | 1467874  7730675 18307772 |        1    40528   1197 |  6.814 % |
1300.42/1300.47	c |    200635 | 1467870  7730675 18307772 |        1    41081   1227 |  6.814 % |
1300.42/1300.47	c |    201081 | 1467870  7730675 18307772 |        1    41527   1256 |  6.814 % |
1300.42/1300.47	c |    201199 | 1467870  7730675 18307772 |        1    41645   1255 |  6.814 % |
1300.42/1300.47	c |    201316 | 1467870  7730675 18307772 |        1    41762   1254 |  6.814 % |
1300.42/1300.47	c |    201877 | 1467870  7730675 18307772 |        1    42323   1271 |  6.814 % |
1300.42/1300.47	c |    202002 | 1467870  7730675 18307772 |        1    42448   1277 |  6.814 % |
1300.42/1300.47	c |    202881 | 1467870  7730675 18307772 |        1    43327   1297 |  6.814 % |
1300.42/1300.47	c |    204254 | 1467869  7730675 18307772 |        1    44699   1310 |  6.814 % |
1300.42/1300.47	c |    206284 | 1467869  7730675 18307772 |        1    46729   1375 |  6.814 % |
1300.42/1300.47	c |    206384 | 1467869  7730675 18307772 |        1    46829   1381 |  6.814 % |
1300.42/1300.47	c |    206568 | 1467869  7730675 18307772 |        1    47013   1382 |  6.814 % |
1300.42/1300.47	c |    208569 | 1467867  7730675 18307772 |        1    49012   1420 |  6.814 % |
1300.42/1300.47	c |    208674 | 1467867  7730675 18307772 |        1    49117   1420 |  6.814 % |
1300.42/1300.47	c |    208782 | 1467866  7730675 18307772 |        1    49224   1424 |  6.814 % |
1491.13/1491.11	c |    208883 | 1467866  7730675 18307772 |        1    49325   1428 |  6.814 % |
1491.13/1491.11	c |    209079 | 1467865  7730675 18307772 |        1    49520   1426 |  6.814 % |
1491.13/1491.11	c |    209180 | 1467864  7730675 18307772 |        1    49620   1426 |  6.814 % |
1491.13/1491.11	c |    209541 | 1467864  7730675 18307772 |        1    49981   1433 |  6.814 % |
1491.13/1491.11	c |    209641 | 1467864  7730675 18307772 |        1    50081   1433 |  6.814 % |
1491.13/1491.11	c |    210209 | 1467864  7730675 18307772 |        1    50649   1456 |  6.814 % |
1491.13/1491.11	c |    210309 | 1467864  7730675 18307772 |        1    50749   1456 |  6.814 % |
1491.13/1491.11	c |    210945 | 1467863  7730675 18307772 |        1    51382   1484 |  6.815 % |
1491.13/1491.11	c |    211048 | 1467863  7730675 18307772 |        1    51485   1493 |  6.815 % |
1491.13/1491.11	c |    211271 | 1467863  7730675 18307772 |        1    51708   1504 |  6.815 % |
1491.13/1491.11	c |    211372 | 1467863  7730675 18307772 |        1    51809   1503 |  6.815 % |
1491.13/1491.11	c |    212620 | 1467861  7730675 18307772 |        1    53055   1544 |  6.815 % |
1491.13/1491.11	c |    213955 | 1467861  7730675 18307772 |        1    54390   1581 |  6.815 % |
1491.13/1491.11	c |    218435 | 1467858  7730675 18307772 |        1    58867   1717 |  6.815 % |
1491.13/1491.11	c |    218798 | 1467858  7730675 18307772 |        1    59230   1741 |  6.815 % |
1491.13/1491.11	c |    219773 | 1467858  7730675 18307772 |        1    30221    292 |  6.815 % |
1491.13/1491.11	c |    219876 | 1467858  7730675 18307772 |        1    30324    297 |  6.815 % |
1491.13/1491.11	c |    220304 | 1467857  7730675 18307772 |        1    30751    334 |  6.815 % |
1491.13/1491.11	c |    220464 | 1467857  7730675 18307772 |        1    30911    346 |  6.815 % |
1491.13/1491.11	c |    220565 | 1467857  7730675 18307772 |        1    31012    355 |  6.815 % |
1491.13/1491.11	c |    220665 | 1467856  7730675 18307772 |        1    31111    357 |  6.815 % |
1491.13/1491.11	c |    220766 | 1467856  7730675 18307772 |        1    31212    360 |  6.815 % |
1491.13/1491.11	c |    222797 | 1467856  7730675 18307772 |        1    33243    710 |  6.815 % |
1491.13/1491.11	c |    223264 | 1467856  7730675 18307772 |        1    33710    740 |  6.815 % |
1491.13/1491.11	c |    223486 | 1467856  7730675 18307772 |        1    33932    738 |  6.815 % |
1491.13/1491.11	c |    225438 | 1467855  7730675 18307772 |        1    35883    942 |  6.815 % |
1491.13/1491.11	c |    226640 | 1467854  7730675 18307772 |        1    37084    976 |  6.815 % |
1491.13/1491.11	c |    226741 | 1467854  7730675 18307772 |        1    37185    983 |  6.815 % |
1491.13/1491.11	c |    227051 | 1467853  7730675 18307772 |        1    37494    980 |  6.815 % |
1491.13/1491.11	c |    227151 | 1467850  7730675 18307772 |        1    37591    978 |  6.815 % |
1491.13/1491.11	c |    227282 | 1467850  7730675 18307772 |        1    37722    977 |  6.815 % |
1491.13/1491.11	c |    227959 | 1467850  7730675 18307772 |        1    38399    972 |  6.815 % |
1491.13/1491.11	c |    228400 | 1467850  7730675 18307772 |        1    38840    982 |  6.815 % |
1491.13/1491.11	c |    228501 | 1467849  7730675 18307772 |        1    38940    987 |  6.815 % |
1491.13/1491.11	c |    228802 | 1467847  7730675 18307772 |        1    39239    999 |  6.816 % |
1491.13/1491.11	c |    228924 | 1467846  7730675 18307772 |        1    39360   1002 |  6.816 % |
1491.13/1491.11	c |    229355 | 1467846  7730675 18307772 |        1    39791   1021 |  6.816 % |
1491.13/1491.11	c |    230615 | 1467846  7730675 18307772 |        1    41051   1113 |  6.816 % |
1491.13/1491.11	c |    230913 | 1467846  7730675 18307772 |        1    41349   1126 |  6.816 % |
1491.13/1491.11	c |    234703 | 1467842  7730675 18307772 |        1    45135   1363 |  6.816 % |
1491.13/1491.11	c |    234803 | 1467842  7730675 18307772 |        1    45226   1366 |  6.816 % |
1491.13/1491.11	c |    237446 | 1467842  7730675 18307772 |        1    47869   1498 |  6.816 % |
1491.13/1491.11	c |    237921 | 1467841  7730675 18307772 |        1    48343   1516 |  6.816 % |
1491.13/1491.11	c |    238199 | 1467841  7730675 18307772 |        1    48621   1518 |  6.816 % |
1491.13/1491.11	c |    238303 | 1467841  7730675 18307772 |        1    48725   1517 |  6.816 % |
1491.13/1491.11	c |    239192 | 1467809  7730675 18307772 |        1    49613   1535 |  6.818 % |
1491.13/1491.11	c |    239293 | 1467809  7730675 18307772 |        1    49714   1537 |  6.818 % |
1491.13/1491.11	c |    239593 | 1467809  7730675 18307772 |        1    50014   1560 |  6.818 % |
1491.13/1491.11	c |    241788 | 1467809  7730675 18307772 |        1    52209   1577 |  6.818 % |
1856.03/1856.03	c |    241938 | 1467809  7730675 18307772 |        1    52359   1577 |  6.818 % |
1856.03/1856.03	c |    242814 | 1467807  7730675 18307772 |        1    53233   1591 |  6.818 % |
1856.03/1856.03	c |    242914 | 1467807  7730675 18307772 |        1    53333   1591 |  6.818 % |
1856.03/1856.03	c |    243659 | 1467807  7730675 18307772 |        1    54078   1604 |  6.818 % |
1856.03/1856.03	c |    245281 | 1467807  7730675 18307772 |        1    55700   1621 |  6.818 % |
1856.03/1856.03	c |    245381 | 1467807  7730675 18307772 |        1    55800   1620 |  6.818 % |
1856.03/1856.03	c |    245528 | 1467807  7730675 18307772 |        1    55947   1623 |  6.818 % |
1856.03/1856.03	c |    246393 | 1467807  7730675 18307772 |        1    56812   1622 |  6.818 % |
1856.03/1856.03	c |    246495 | 1467807  7730675 18307772 |        1    56914   1621 |  6.818 % |
1856.03/1856.03	c |    248041 | 1467807  7730675 18307772 |        1    58460   1746 |  6.818 % |
1856.03/1856.03	c |    249415 | 1467807  7730675 18307772 |        1    59834   1785 |  6.818 % |
1856.03/1856.03	c |    249515 | 1467807  7730675 18307772 |        1    59934   1787 |  6.818 % |
1856.03/1856.03	c |    249616 | 1467807  7730675 18307772 |        1    60035   1785 |  6.818 % |
1856.03/1856.03	c |    250271 | 1467806  7730675 18307772 |        1    60689   1771 |  6.818 % |
1856.03/1856.03	c |    251203 | 1467806  7730675 18307772 |        1    61621   1775 |  6.818 % |
1856.03/1856.03	c |    252138 | 1467806  7730675 18307772 |        1    62556   1761 |  6.818 % |
1856.03/1856.03	c |    252409 | 1467806  7730675 18307772 |        1    62827   1773 |  6.818 % |
1856.03/1856.03	c |    252515 | 1467806  7730675 18307772 |        1    62933   1771 |  6.818 % |
1856.03/1856.03	c |    253015 | 1467805  7730675 18307772 |        1    63432   1793 |  6.818 % |
1856.03/1856.03	c |    253116 | 1467805  7730675 18307772 |        1    63533   1792 |  6.818 % |
1856.03/1856.03	c |    255250 | 1467804  7730675 18307772 |        1    33111    287 |  6.818 % |
1856.03/1856.03	c |    255350 | 1467804  7730673 18307736 |        1    33197    293 |  6.818 % |
1856.03/1856.03	c |    256908 | 1467786  7730673 18307736 |        1    34754    458 |  6.819 % |
1856.03/1856.03	c |    258073 | 1467786  7730673 18307736 |        1    35919    543 |  6.819 % |
1856.03/1856.03	c |    258175 | 1467786  7730673 18307736 |        1    36021    546 |  6.819 % |
1856.03/1856.03	c |    259239 | 1467782  7730673 18307736 |        1    37081    587 |  6.820 % |
1856.03/1856.03	c |    259934 | 1467782  7730673 18307736 |        1    37776    595 |  6.820 % |
1856.03/1856.03	c |    260034 | 1467782  7730673 18307736 |        1    37876    595 |  6.820 % |
1856.03/1856.03	c |    260884 | 1467782  7730673 18307736 |        1    38726    662 |  6.820 % |
1856.03/1856.03	c |    260984 | 1467782  7730673 18307736 |        1    38826    667 |  6.820 % |
1856.03/1856.03	c |    278347 | 1467782  7730673 18307736 |        1    56189   1693 |  6.820 % |
1856.03/1856.03	c |    278447 | 1467782  7730671 18307714 |        1    56283   1694 |  6.820 % |
1856.03/1856.03	c |    280204 | 1467782  7730671 18307714 |        1    58040   1809 |  6.820 % |
1856.03/1856.03	c |    280306 | 1467782  7730671 18307714 |        1    58142   1808 |  6.820 % |
1856.03/1856.03	c |    280488 | 1467782  7730671 18307714 |        1    58324   1819 |  6.820 % |
1856.03/1856.03	c |    280588 | 1467782  7730671 18307714 |        1    58424   1820 |  6.820 % |
1856.03/1856.03	c |    281042 | 1467782  7730671 18307714 |        1    58878   1820 |  6.820 % |
1856.03/1856.03	c |    286470 | 1467782  7730671 18307714 |        1    64306   2190 |  6.820 % |
1856.03/1856.03	c |    287274 | 1467782  7730671 18307714 |        1    65110   2205 |  6.820 % |
1856.03/1856.03	c |    287378 | 1467782  7730671 18307714 |        1    65214   2209 |  6.820 % |
1856.03/1856.03	c |    288301 | 1467781  7730671 18307714 |        1    66136   2204 |  6.820 % |
1856.03/1856.03	c |    288561 | 1467781  7730671 18307714 |        1    66396   2209 |  6.820 % |
1856.03/1856.03	c |    289448 | 1467781  7730671 18307714 |        1    67283   2218 |  6.820 % |
1856.03/1856.03	c |    289549 | 1467781  7730671 18307714 |        1    67384   2217 |  6.820 % |
1856.03/1856.03	c |    290337 | 1467781  7730671 18307714 |        1    68172   2223 |  6.820 % |
1856.03/1856.03	c |    290440 | 1467781  7730671 18307714 |        1    68275   2223 |  6.820 % |
1856.03/1856.03	c |    290541 | 1467780  7730671 18307714 |        1    68375   2220 |  6.820 % |
1856.03/1856.03	c |    291798 | 1467779  7730671 18307714 |        1    69631   2202 |  6.820 % |
1856.03/1856.03	c |    292154 | 1467779  7730671 18307714 |        1    69987   2208 |  6.820 % |
1856.03/1856.03	c |    292254 | 1467779  7730671 18307714 |        1    70087   2206 |  6.820 % |
2081.34/2081.32	c |    292762 | 1467779  7730671 18307714 |        1    35400    366 |  6.820 % |
2081.34/2081.32	c |    292864 | 1467779  7730671 18307714 |        1    35502    366 |  6.820 % |
2081.34/2081.32	c |    292965 | 1467779  7730671 18307714 |        1    35603    367 |  6.820 % |
2081.34/2081.32	c |    293446 | 1467778  7730671 18307714 |        1    36083    386 |  6.820 % |
2081.34/2081.32	c |    293781 | 1467778  7730671 18307714 |        1    36418    410 |  6.820 % |
2081.34/2081.32	c |    293881 | 1467777  7730671 18307714 |        1    36517    412 |  6.820 % |
2081.34/2081.32	c |    294085 | 1467777  7730671 18307714 |        1    36721    452 |  6.820 % |
2081.34/2081.32	c |    294190 | 1467777  7730671 18307714 |        1    36826    462 |  6.820 % |
2081.34/2081.32	c |    294341 | 1467777  7730671 18307714 |        1    36977    461 |  6.820 % |
2081.34/2081.32	c |    294444 | 1467777  7730671 18307714 |        1    37080    461 |  6.820 % |
2081.34/2081.32	c |    294544 | 1467777  7730671 18307714 |        1    37180    460 |  6.820 % |
2081.34/2081.32	c |    294990 | 1467777  7730671 18307714 |        1    37626    468 |  6.820 % |
2081.34/2081.32	c |    296022 | 1467762  7730671 18307714 |        1    38656    498 |  6.821 % |
2081.34/2081.32	c |    296246 | 1467762  7730671 18307714 |        1    38880    507 |  6.821 % |
2081.34/2081.32	c |    296350 | 1467762  7730671 18307714 |        1    38984    508 |  6.821 % |
2081.34/2081.32	c |    296873 | 1467762  7730671 18307714 |        1    39507    536 |  6.821 % |
2081.34/2081.32	c |    296976 | 1467762  7730671 18307714 |        1    39610    540 |  6.821 % |
2081.34/2081.32	c |    297076 | 1467762  7730671 18307714 |        1    39710    545 |  6.821 % |
2081.34/2081.32	c |    298277 | 1467762  7730671 18307714 |        1    40911    657 |  6.821 % |
2081.34/2081.32	c |    299768 | 1467761  7730671 18307714 |        1    42401    716 |  6.821 % |
2081.34/2081.32	c |    300308 | 1467761  7730671 18307714 |        1    42941    769 |  6.821 % |
2081.34/2081.32	c |    300463 | 1467761  7730671 18307714 |        1    43096    775 |  6.821 % |
2081.34/2081.32	c |    303434 | 1467758  7730671 18307714 |        1    46064    872 |  6.821 % |
2081.34/2081.32	c |    304165 | 1467758  7730671 18307714 |        1    46795    871 |  6.821 % |
2081.34/2081.32	c |    304451 | 1467758  7730671 18307714 |        1    47081    888 |  6.821 % |
2081.34/2081.32	c |    304554 | 1467758  7730671 18307714 |        1    47184    889 |  6.821 % |
2081.34/2081.32	c |    309410 | 1467758  7730669 18307694 |        1    52034   1256 |  6.821 % |
2081.34/2081.32	c |    309511 | 1467758  7730669 18307694 |        1    52135   1269 |  6.821 % |
2081.34/2081.32	c |    310200 | 1467758  7730669 18307694 |        1    52824   1286 |  6.821 % |
2081.34/2081.32	c |    310301 | 1467758  7730669 18307694 |        1    52925   1286 |  6.821 % |
2081.34/2081.32	c |    310401 | 1467758  7730669 18307694 |        1    53025   1289 |  6.821 % |
2081.34/2081.32	c |    310729 | 1467757  7730669 18307694 |        1    53352   1299 |  6.821 % |
2081.34/2081.32	c |    313686 | 1467756  7730669 18307694 |        1    56308   1426 |  6.821 % |
2081.34/2081.32	c |    313789 | 1467756  7730669 18307694 |        1    56411   1425 |  6.821 % |
2081.34/2081.32	c |    314147 | 1467756  7730669 18307694 |        1    56769   1443 |  6.821 % |
2081.34/2081.32	c |    315692 | 1467756  7730669 18307694 |        1    58314   1511 |  6.821 % |
2081.34/2081.32	c |    315932 | 1467756  7730669 18307694 |        1    58554   1512 |  6.821 % |
2081.34/2081.32	c |    316206 | 1467756  7730669 18307694 |        1    58828   1527 |  6.821 % |
2081.34/2081.32	c |    316631 | 1467756  7730669 18307694 |        1    59253   1539 |  6.821 % |
2081.34/2081.32	c |    316736 | 1467756  7730669 18307694 |        1    59358   1540 |  6.821 % |
2081.34/2081.32	c |    317901 | 1467755  7730669 18307694 |        1    60522   1560 |  6.821 % |
2081.34/2081.32	c |    319761 | 1467744  7730669 18307694 |        1    62371   1574 |  6.822 % |
2081.34/2081.32	c |    319861 | 1467744  7730669 18307694 |        1    62471   1578 |  6.822 % |
2081.34/2081.32	c |    321556 | 1467743  7730669 18307694 |        1    64165   1561 |  6.822 % |
2081.34/2081.32	c |    321656 | 1467743  7730669 18307694 |        1    64265   1560 |  6.822 % |
2081.34/2081.32	c |    321759 | 1467743  7730669 18307694 |        1    64368   1561 |  6.822 % |
2081.34/2081.32	c |    322359 | 1467743  7730669 18307694 |        1    64968   1550 |  6.822 % |
2081.34/2081.32	c |    322726 | 1467743  7730669 18307694 |        1    65335   1545 |  6.822 % |
2081.34/2081.32	c |    323582 | 1467742  7730669 18307694 |        1    66190   1558 |  6.822 % |
2081.34/2081.32	c |    328454 | 1467742  7730669 18307694 |        1    71062   1695 |  6.822 % |
2261.85/2261.89	c |    329242 | 1466232  7730669 18307694 |        1    71848   1697 |  6.918 % |
2261.85/2261.89	c |    329681 | 1466232  7730669 18307694 |        1    72287   1693 |  6.918 % |
2261.85/2261.89	c |    329781 | 1466232  7730669 18307694 |        1    72387   1693 |  6.918 % |
2261.85/2261.89	c |    330224 | 1466232  7730669 18307694 |        1    72830   1716 |  6.918 % |
2261.85/2261.89	c |    330326 | 1466232  7730669 18307694 |        1    72932   1715 |  6.918 % |
2261.85/2261.89	c |    334494 | 1466232  7730669 18307694 |        1    39323    461 |  6.918 % |
2261.85/2261.89	c |    337731 | 1466230  7730669 18307694 |        1    42558    662 |  6.918 % |
2261.85/2261.89	c |    338840 | 1466228  7730669 18307694 |        1    43665    678 |  6.918 % |
2261.85/2261.89	c |    339742 | 1466227  7730669 18307694 |        1    44566    717 |  6.918 % |
2261.85/2261.89	c |    339936 | 1466227  7730669 18307694 |        1    44760    733 |  6.918 % |
2261.85/2261.89	c |    341566 | 1466227  7730669 18307694 |        1    46390    850 |  6.918 % |
2261.85/2261.89	c |    341666 | 1466227  7730669 18307694 |        1    46490    850 |  6.918 % |
2261.85/2261.89	c |    343231 | 1466227  7730669 18307694 |        1    48055    906 |  6.918 % |
2261.85/2261.89	c |    343331 | 1466227  7730669 18307694 |        1    48155    906 |  6.918 % |
2261.85/2261.89	c |    344213 | 1466227  7730669 18307694 |        1    49037    911 |  6.918 % |
2261.85/2261.89	c |    344434 | 1466227  7730669 18307694 |        1    49258    913 |  6.918 % |
2261.85/2261.89	c |    345758 | 1466227  7730669 18307694 |        1    50582    966 |  6.918 % |
2261.85/2261.89	c |    345859 | 1466227  7730669 18307694 |        1    50683    966 |  6.918 % |
2261.85/2261.89	c |    347164 | 1466227  7730669 18307694 |        1    51988    975 |  6.918 % |
2261.85/2261.89	c |    347264 | 1466227  7730669 18307694 |        1    52088    974 |  6.918 % |
2261.85/2261.89	c |    348089 | 1466227  7730669 18307694 |        1    52913   1008 |  6.918 % |
2261.85/2261.89	c |    349187 | 1466226  7730669 18307694 |        1    54010   1030 |  6.918 % |
2261.85/2261.89	c |    349288 | 1466226  7730669 18307694 |        1    54111   1035 |  6.918 % |
2261.85/2261.89	c |    349445 | 1466225  7730669 18307694 |        1    54267   1038 |  6.919 % |
2261.85/2261.89	c |    350621 | 1466225  7730669 18307694 |        1    55443   1065 |  6.919 % |
2261.85/2261.89	c |    351000 | 1466224  7730669 18307694 |        1    55821   1069 |  6.919 % |
2261.85/2261.89	c |    351101 | 1466224  7730669 18307694 |        1    55922   1068 |  6.919 % |
2261.85/2261.89	c |    351233 | 1466224  7730669 18307694 |        1    56054   1071 |  6.919 % |
2261.85/2261.89	c |    351336 | 1466224  7730669 18307694 |        1    56157   1069 |  6.919 % |
2261.85/2261.89	c |    351659 | 1466224  7730669 18307694 |        1    56480   1102 |  6.919 % |
2261.85/2261.89	c |    351759 | 1466224  7730669 18307694 |        1    56580   1104 |  6.919 % |
2261.85/2261.89	c |    352013 | 1466224  7730669 18307694 |        1    56834   1110 |  6.919 % |
2261.85/2261.89	c |    352117 | 1466224  7730669 18307694 |        1    56938   1111 |  6.919 % |
2261.85/2261.89	c |    352917 | 1466223  7730669 18307694 |        1    57737   1134 |  6.919 % |
2261.85/2261.89	c |    353910 | 1466215  7730665 18305591 |        1    58668   1141 |  6.919 % |
2261.85/2261.89	c |    354265 | 1466215  7730665 18305591 |        1    59023   1154 |  6.919 % |
2261.85/2261.89	c |    354365 | 1466215  7730665 18305591 |        1    59123   1155 |  6.919 % |
2261.85/2261.89	c |    354737 | 1466215  7730665 18305591 |        1    59495   1158 |  6.919 % |
2261.85/2261.89	c |    354838 | 1466215  7730665 18305591 |        1    59596   1163 |  6.919 % |
2261.85/2261.89	c |    356547 | 1466197  7730665 18305591 |        1    61302   1208 |  6.920 % |
2261.85/2261.89	c |    356652 | 1466197  7730665 18305591 |        1    61407   1210 |  6.920 % |
2261.85/2261.89	c |    357194 | 1466197  7730665 18305591 |        1    61949   1211 |  6.920 % |
2261.85/2261.89	c |    357363 | 1466197  7730665 18305591 |        1    62118   1219 |  6.920 % |
2261.85/2261.89	c |    357573 | 1466197  7730665 18305591 |        1    62328   1224 |  6.920 % |
2261.85/2261.89	c |    358567 | 1466197  7730665 18305591 |        1    63322   1261 |  6.920 % |
2261.85/2261.89	c |    359101 | 1466197  7730665 18305591 |        1    63856   1276 |  6.920 % |
2261.85/2261.89	c |    364042 | 1466196  7730665 18305591 |        1    68796   1352 |  6.920 % |
2261.85/2261.89	c |    364754 | 1466195  7730665 18305591 |        1    69507   1389 |  6.920 % |
2261.85/2261.89	c |    364854 | 1466195  7730665 18305591 |        1    69607   1391 |  6.920 % |
2261.85/2261.89	c |    365005 | 1466195  7730665 18305591 |        1    69758   1394 |  6.920 % |
2415.15/2415.17	c |    365435 | 1466195  7730665 18305591 |        1    70188   1399 |  6.920 % |
2415.15/2415.17	c |    365536 | 1466195  7730665 18305591 |        1    70289   1400 |  6.920 % |
2415.15/2415.17	c |    365807 | 1466195  7730665 18305591 |        1    70560   1403 |  6.920 % |
2415.15/2415.17	c |    366012 | 1466193  7730665 18305591 |        1    70763   1404 |  6.921 % |
2415.15/2415.17	c |    366875 | 1466193  7730665 18305591 |        1    71626   1449 |  6.921 % |
2415.15/2415.17	c |    367026 | 1466192  7730665 18305591 |        1    71776   1449 |  6.921 % |
2415.15/2415.17	c |    367127 | 1466192  7730665 18305591 |        1    71877   1449 |  6.921 % |
2415.15/2415.17	c |    367545 | 1466165  7730663 18305564 |        1    72283   1457 |  6.922 % |
2415.15/2415.17	c |    367678 | 1466165  7730663 18305564 |        1    72416   1459 |  6.922 % |
2415.15/2415.17	c |    368103 | 1466165  7730663 18305564 |        1    72841   1476 |  6.922 % |
2415.15/2415.17	c |    368221 | 1466165  7730663 18305564 |        1    72959   1477 |  6.922 % |
2415.15/2415.17	c |    368324 | 1466165  7730663 18305564 |        1    73062   1482 |  6.922 % |
2415.15/2415.17	c |    368605 | 1466165  7730663 18305564 |        1    73343   1482 |  6.922 % |
2415.15/2415.17	c |    369496 | 1466165  7730663 18305564 |        1    74234   1500 |  6.922 % |
2415.15/2415.17	c |    369752 | 1466165  7730663 18305564 |        1    74490   1526 |  6.922 % |
2415.15/2415.17	c |    369852 | 1466165  7730663 18305564 |        1    74590   1525 |  6.922 % |
2415.15/2415.17	c |    370192 | 1466165  7730663 18305564 |        1    74930   1549 |  6.922 % |
2415.15/2415.17	c |    370391 | 1466165  7730663 18305564 |        1    75129   1554 |  6.922 % |
2415.15/2415.17	c |    370514 | 1466165  7730663 18305564 |        1    75252   1557 |  6.922 % |
2415.15/2415.17	c |    370857 | 1466165  7730663 18305564 |        1    75595   1557 |  6.922 % |
2415.15/2415.17	c |    371057 | 1466165  7730663 18305564 |        1    75795   1560 |  6.922 % |
2415.15/2415.17	c |    375763 | 1466165  7730663 18305564 |        1    80501   1635 |  6.922 % |
2415.15/2415.17	c |    375863 | 1466165  7730663 18305564 |        1    80601   1635 |  6.922 % |
2415.15/2415.17	c |    376178 | 1466165  7730663 18305564 |        1    40628    248 |  6.922 % |
2415.15/2415.17	c |    377310 | 1466165  7730663 18305564 |        1    41760    312 |  6.922 % |
2415.15/2415.17	c |    377410 | 1466165  7730663 18305564 |        1    41860    321 |  6.922 % |
2415.15/2415.17	c |    377510 | 1466165  7730663 18305564 |        1    41960    328 |  6.922 % |
2415.15/2415.17	c |    377914 | 1466165  7730663 18305564 |        1    42364    356 |  6.922 % |
2415.15/2415.17	c |    378091 | 1466165  7730663 18305564 |        1    42541    360 |  6.922 % |
2415.15/2415.17	c |    378192 | 1466165  7730663 18305564 |        1    42642    360 |  6.922 % |
2415.15/2415.17	c |    378292 | 1466165  7730663 18305564 |        1    42742    361 |  6.922 % |
2415.15/2415.17	c |    379906 | 1466164  7730663 18305564 |        1    44355    446 |  6.922 % |
2415.15/2415.17	c |    382547 | 1466164  7730663 18305564 |        1    46996    536 |  6.922 % |
2415.15/2415.17	c |    383270 | 1466164  7730663 18305564 |        1    47719    608 |  6.922 % |
2415.15/2415.17	c |    383375 | 1466164  7730663 18305564 |        1    47824    616 |  6.922 % |
2415.15/2415.17	c |    384023 | 1466163  7730663 18305564 |        1    48471    645 |  6.922 % |
2415.15/2415.17	c |    384847 | 1466163  7730663 18305564 |        1    49295    674 |  6.922 % |
2415.15/2415.17	c |    385274 | 1466163  7730663 18305564 |        1    49722    701 |  6.922 % |
2415.15/2415.17	c |    387113 | 1466163  7730663 18305564 |        1    51561    758 |  6.922 % |
2415.15/2415.17	c |    387336 | 1466163  7730663 18305564 |        1    51784    759 |  6.922 % |
2415.15/2415.17	c |    388018 | 1466163  7730663 18305564 |        1    52466    785 |  6.922 % |
2415.15/2415.17	c |    388118 | 1466163  7730663 18305564 |        1    52566    788 |  6.922 % |
2415.15/2415.17	c |    389318 | 1466163  7730663 18305564 |        1    53766    833 |  6.922 % |
2415.15/2415.17	c |    390545 | 1466163  7730661 18305533 |        1    54985    828 |  6.922 % |
2415.15/2415.17	c |    390645 | 1466163  7730661 18305533 |        1    55085    828 |  6.922 % |
2415.15/2415.17	c |    390745 | 1466163  7730661 18305533 |        1    55185    830 |  6.922 % |
2415.15/2415.17	c |    391597 | 1466163  7730661 18305533 |        1    56037    857 |  6.922 % |
2415.15/2415.17	c |    392193 | 1466162  7730661 18305533 |        1    56632    863 |  6.923 % |
2415.15/2415.17	c |    392936 | 1466162  7730661 18305533 |        1    57375    921 |  6.923 % |
2415.15/2415.17	c |    393371 | 1466161  7730661 18305533 |        1    57809    932 |  6.923 % |
2589.75/2589.75	c |    393498 | 1466161  7730661 18305533 |        1    57936    935 |  6.923 % |
2589.75/2589.75	c |    393615 | 1466161  7730661 18305533 |        1    58053    935 |  6.923 % |
2589.75/2589.75	c |    394253 | 1466161  7730661 18305533 |        1    58691    965 |  6.923 % |
2589.75/2589.75	c |    394353 | 1466161  7730661 18305533 |        1    58791    969 |  6.923 % |
2589.75/2589.75	c |    399626 | 1466160  7730661 18305533 |        1    64063   1137 |  6.923 % |
2589.75/2589.75	c |    399726 | 1466160  7730661 18305533 |        1    64163   1138 |  6.923 % |
2589.75/2589.75	c |    401673 | 1466155  7730661 18305533 |        1    66105   1161 |  6.923 % |
2589.75/2589.75	c |    402409 | 1466155  7730661 18305533 |        1    66841   1198 |  6.923 % |
2589.75/2589.75	c |    402509 | 1466155  7730661 18305533 |        1    66941   1197 |  6.923 % |
2589.75/2589.75	c |    404040 | 1466154  7730661 18305533 |        1    68471   1196 |  6.923 % |
2589.75/2589.75	c |    405371 | 1466154  7730661 18305533 |        1    69802   1212 |  6.923 % |
2589.75/2589.75	c |    405616 | 1466154  7730661 18305533 |        1    70047   1215 |  6.923 % |
2589.75/2589.75	c |    406101 | 1466154  7730661 18305533 |        1    70532   1226 |  6.923 % |
2589.75/2589.75	c |    406201 | 1466154  7730661 18305533 |        1    70631   1227 |  6.923 % |
2589.75/2589.75	c |    406304 | 1466154  7730661 18305533 |        1    70734   1230 |  6.923 % |
2589.75/2589.75	c |    406408 | 1466154  7730661 18305533 |        1    70838   1230 |  6.923 % |
2589.75/2589.75	c |    406509 | 1466153  7730661 18305533 |        1    70938   1229 |  6.923 % |
2589.75/2589.75	c |    406609 | 1466153  7730661 18305533 |        1    71038   1227 |  6.923 % |
2589.75/2589.75	c |    406712 | 1466153  7730661 18305533 |        1    71141   1226 |  6.923 % |
2589.75/2589.75	c |    406812 | 1466153  7730661 18305533 |        1    71241   1225 |  6.923 % |
2589.75/2589.75	c |    407288 | 1466153  7730661 18305533 |        1    71717   1226 |  6.923 % |
2589.75/2589.75	c |    407388 | 1466153  7730661 18305533 |        1    71817   1225 |  6.923 % |
2589.75/2589.75	c |    408087 | 1466153  7730661 18305533 |        1    72516   1253 |  6.923 % |
2589.75/2589.75	c |    408807 | 1466153  7730661 18305533 |        1    73236   1258 |  6.923 % |
2589.75/2589.75	c |    410570 | 1466151  7730661 18305533 |        1    74997   1279 |  6.923 % |
2589.75/2589.75	c |    410790 | 1466151  7730661 18305533 |        1    75217   1299 |  6.923 % |
2589.75/2589.75	c |    410892 | 1466151  7730661 18305533 |        1    75319   1299 |  6.923 % |
2589.75/2589.75	c |    410993 | 1466151  7730661 18305533 |        1    75420   1303 |  6.923 % |
2589.75/2589.75	c |    411303 | 1466151  7730661 18305533 |        1    75730   1312 |  6.923 % |
2589.75/2589.75	c |    412481 | 1466150  7730661 18305533 |        1    76907   1354 |  6.923 % |
2589.75/2589.75	c |    412582 | 1466150  7730661 18305533 |        1    77008   1358 |  6.923 % |
2589.75/2589.75	c |    412897 | 1466150  7730661 18305533 |        1    77323   1364 |  6.923 % |
2589.75/2589.75	c |    413002 | 1466150  7730661 18305533 |        1    77428   1363 |  6.923 % |
2589.75/2589.75	c |    413818 | 1466149  7730661 18305533 |        1    78243   1371 |  6.923 % |
2589.75/2589.75	c |    414261 | 1466148  7730661 18305533 |        1    78685   1398 |  6.923 % |
2589.75/2589.75	c |    415006 | 1466148  7730661 18305533 |        1    79430   1403 |  6.923 % |
2589.75/2589.75	c |    415125 | 1466148  7730661 18305533 |        1    79549   1404 |  6.923 % |
2589.75/2589.75	c |    415225 | 1466148  7730661 18305533 |        1    79649   1403 |  6.923 % |
2589.75/2589.75	c |    415327 | 1466147  7730661 18305533 |        1    79750   1402 |  6.923 % |
2589.75/2589.75	c |    416080 | 1466147  7730661 18305533 |        1    80503   1428 |  6.923 % |
2589.75/2589.75	c |    416180 | 1466147  7730661 18305533 |        1    80603   1428 |  6.923 % |
2589.75/2589.75	c |    416631 | 1466147  7730661 18305533 |        1    81054   1429 |  6.923 % |
2589.75/2589.75	c |    422335 | 1466146  7730661 18305533 |        1    43812    272 |  6.924 % |
2589.75/2589.75	c |    422436 | 1466146  7730661 18305533 |        1    43913    273 |  6.924 % |
2589.75/2589.75	c |    422867 | 1466145  7730661 18305533 |        1    44343    274 |  6.924 % |
2589.75/2589.75	c |    424348 | 1466145  7730661 18305533 |        1    45824    315 |  6.924 % |
2589.75/2589.75	c |    424608 | 1466145  7730661 18305533 |        1    46084    346 |  6.924 % |
2589.75/2589.75	c |    424942 | 1466144  7730661 18305533 |        1    46417    355 |  6.924 % |
2589.75/2589.75	c |    425304 | 1466144  7730661 18305533 |        1    46779    397 |  6.924 % |
2589.75/2589.75	c |    425404 | 1466144  7730661 18305533 |        1    46879    400 |  6.924 % |
3467.98/3467.98	c |    427705 | 1466144  7730661 18305533 |        1    49180    488 |  6.924 % |
3467.98/3467.98	c |    429650 | 1466143  7730661 18305533 |        1    51120    579 |  6.924 % |
3467.98/3467.98	c |    429783 | 1466143  7730661 18305533 |        1    51253    584 |  6.924 % |
3467.98/3467.98	c |    433899 | 1466143  7730661 18305533 |        1    55369    812 |  6.924 % |
3467.98/3467.98	c |    435428 | 1466107  7730661 18305533 |        1    56893    835 |  6.926 % |
3467.98/3467.98	c |    435529 | 1466107  7730661 18305533 |        1    56994    836 |  6.926 % |
3467.98/3467.98	c |    435931 | 1466107  7730661 18305533 |        1    57396    860 |  6.926 % |
3467.98/3467.98	c |    436657 | 1466102  7730661 18305533 |        1    58117    875 |  6.926 % |
3467.98/3467.98	c |    437556 | 1466102  7730661 18305533 |        1    59016    883 |  6.926 % |
3467.98/3467.98	c |    437658 | 1466102  7730661 18305533 |        1    59118    890 |  6.926 % |
3467.98/3467.98	c |    437759 | 1466102  7730661 18305533 |        1    59219    893 |  6.926 % |
3467.98/3467.98	c |    437949 | 1466102  7730661 18305533 |        1    59409    892 |  6.926 % |
3467.98/3467.98	c |    438262 | 1466102  7730661 18305533 |        1    59722    892 |  6.926 % |
3467.98/3467.98	c |    438862 | 1466102  7730661 18305533 |        1    60322    903 |  6.926 % |
3467.98/3467.98	c |    438962 | 1466102  7730661 18305533 |        1    60422    906 |  6.926 % |
3467.98/3467.98	c |    440279 | 1466102  7730659 18305497 |        1    61732    989 |  6.926 % |
3467.98/3467.98	c |    470355 | 1466102  7730659 18305497 |        1    46282    472 |  6.926 % |
3467.98/3467.98	c |    470983 | 1466102  7730659 18305497 |        1    46910    491 |  6.926 % |
3467.98/3467.98	c |    471305 | 1466102  7730659 18305497 |        1    47232    501 |  6.926 % |
3467.98/3467.98	c |    472023 | 1466101  7730659 18305497 |        1    47949    519 |  6.926 % |
3467.98/3467.98	c |    472158 | 1466101  7730659 18305497 |        1    48084    526 |  6.926 % |
3467.98/3467.98	c |    472970 | 1466101  7730659 18305497 |        1    48896    542 |  6.926 % |
3467.98/3467.98	c |    473391 | 1466101  7730659 18305497 |        1    49317    559 |  6.926 % |
3467.98/3467.98	c |    474295 | 1466101  7730659 18305497 |        1    50221    597 |  6.926 % |
3467.98/3467.98	c |    481689 | 1466101  7730659 18305497 |        1    57615   1832 |  6.926 % |
3467.98/3467.98	c |    481790 | 1466101  7730659 18305497 |        1    57716   1831 |  6.926 % |
3467.98/3467.98	c |    482105 | 1466101  7730659 18305497 |        1    58031   1843 |  6.926 % |
3467.98/3467.98	c |    482207 | 1466101  7730659 18305497 |        1    58133   1842 |  6.926 % |
3467.98/3467.98	c |    482678 | 1466101  7730659 18305497 |        1    58604   1855 |  6.926 % |
3467.98/3467.98	c |    482778 | 1466101  7730659 18305497 |        1    58704   1855 |  6.926 % |
3467.98/3467.98	c |    483135 | 1466101  7730659 18305497 |        1    59061   1865 |  6.926 % |
3467.98/3467.98	c |    483256 | 1466101  7730659 18305497 |        1    59182   1869 |  6.926 % |
3467.98/3467.98	c |    483732 | 1466101  7730659 18305497 |        1    59658   1876 |  6.926 % |
3467.98/3467.98	c |    483962 | 1466101  7730659 18305497 |        1    59888   1875 |  6.926 % |
3467.98/3467.98	c |    484064 | 1466101  7730659 18305497 |        1    59990   1877 |  6.926 % |
3467.98/3467.98	c |    484214 | 1466101  7730659 18305497 |        1    60140   1887 |  6.926 % |
3467.98/3467.98	c |    484314 | 1466101  7730659 18305497 |        1    60240   1886 |  6.926 % |
3467.98/3467.98	c |    484414 | 1466101  7730659 18305497 |        1    60340   1886 |  6.926 % |
3467.98/3467.98	c |    484680 | 1466101  7730659 18305497 |        1    60606   1893 |  6.926 % |
3467.98/3467.98	c |    484780 | 1466101  7730659 18305497 |        1    60706   1894 |  6.926 % |
3467.98/3467.98	c |    485028 | 1466101  7730659 18305497 |        1    60954   1901 |  6.926 % |
3467.98/3467.98	c |    485128 | 1466101  7730659 18305497 |        1    61054   1902 |  6.926 % |
3467.98/3467.98	c |    485655 | 1466101  7730659 18305497 |        1    61581   1917 |  6.926 % |
3467.98/3467.98	c |    486123 | 1466101  7730659 18305497 |        1    62049   1925 |  6.926 % |
3467.98/3467.98	c |    486583 | 1466098  7730659 18305497 |        1    62506   1915 |  6.927 % |
3467.98/3467.98	c |    486721 | 1466098  7730659 18305497 |        1    62644   1923 |  6.927 % |
3467.98/3467.98	c |    487707 | 1466097  7730659 18305497 |        1    63629   1917 |  6.927 % |
3467.98/3467.98	c |    489493 | 1466097  7730659 18305497 |        1    65415   1962 |  6.927 % |
3467.98/3467.98	c |    490366 | 1466097  7730659 18305497 |        1    66288   2019 |  6.927 % |
3467.98/3467.98	c |    490469 | 1466097  7730659 18305497 |        1    66391   2018 |  6.927 % |
3642.49/3642.49	c |    493239 | 1466097  7730659 18305497 |        1    69161   2362 |  6.927 % |
3642.49/3642.49	c |    493556 | 1466097  7730659 18305497 |        1    69478   2358 |  6.927 % |
3642.49/3642.49	c |    494148 | 1466097  7730659 18305497 |        1    70070   2388 |  6.927 % |
3642.49/3642.49	c |    494724 | 1466091  7730659 18305497 |        1    70640   2376 |  6.927 % |
3642.49/3642.49	c |    497617 | 1466090  7730659 18305497 |        1    73532   2404 |  6.927 % |
3642.49/3642.49	c |    498421 | 1466090  7730659 18305497 |        1    74336   2395 |  6.927 % |
3642.49/3642.49	c |    498920 | 1466090  7730659 18305497 |        1    74835   2398 |  6.927 % |
3642.49/3642.49	c |    499021 | 1466090  7730659 18305497 |        1    74936   2400 |  6.927 % |
3642.49/3642.49	c |    500316 | 1466089  7730659 18305497 |        1    76230   2403 |  6.927 % |
3642.49/3642.49	c |    500823 | 1466089  7730659 18305497 |        1    76737   2395 |  6.927 % |
3642.49/3642.49	c |    501501 | 1466089  7730659 18305497 |        1    77415   2429 |  6.927 % |
3642.49/3642.49	c |    501603 | 1466089  7730659 18305497 |        1    77517   2428 |  6.927 % |
3642.49/3642.49	c |    502629 | 1466089  7730659 18305497 |        1    78543   2434 |  6.927 % |
3642.49/3642.49	c |    502962 | 1466089  7730659 18305497 |        1    78876   2431 |  6.927 % |
3642.49/3642.49	c |    503290 | 1466088  7730659 18305497 |        1    79203   2429 |  6.927 % |
3642.49/3642.49	c |    503622 | 1466088  7730659 18305497 |        1    79535   2423 |  6.927 % |
3642.49/3642.49	c |    503724 | 1466088  7730659 18305497 |        1    79637   2421 |  6.927 % |
3642.49/3642.49	c |    505254 | 1466087  7730659 18305497 |        1    81166   2407 |  6.927 % |
3642.49/3642.49	c |    505354 | 1466087  7730659 18305497 |        1    81266   2406 |  6.927 % |
3642.49/3642.49	c |    505454 | 1466087  7730659 18305497 |        1    81366   2405 |  6.927 % |
3642.49/3642.49	c |    505696 | 1466087  7730659 18305497 |        1    81608   2411 |  6.927 % |
3642.49/3642.49	c |    505975 | 1466069  7730659 18305497 |        1    81886   2407 |  6.928 % |
3642.49/3642.49	c |    507350 | 1466069  7730659 18305497 |        1    83261   2398 |  6.928 % |
3642.49/3642.49	c |    508719 | 1466068  7730659 18305497 |        1    84629   2390 |  6.928 % |
3642.49/3642.49	c |    508819 | 1466068  7730659 18305497 |        1    84729   2389 |  6.928 % |
3642.49/3642.49	c |    509099 | 1466067  7730659 18305497 |        1    85008   2388 |  6.929 % |
3642.49/3642.49	c |    509226 | 1466067  7730659 18305497 |        1    85135   2386 |  6.929 % |
3642.49/3642.49	c |    509603 | 1466067  7730659 18305497 |        1    85512   2385 |  6.929 % |
3642.49/3642.49	c |    509703 | 1466067  7730659 18305497 |        1    85612   2384 |  6.929 % |
3642.49/3642.49	c |    510359 | 1466066  7730659 18305497 |        1    86267   2380 |  6.929 % |
3642.49/3642.49	c |    510802 | 1466066  7730659 18305497 |        1    86710   2383 |  6.929 % |
3642.49/3642.49	c |    512687 | 1466065  7730659 18305497 |        1    88594   2385 |  6.929 % |
3642.49/3642.49	c |    512787 | 1466065  7730659 18305497 |        1    88694   2383 |  6.929 % |
3642.49/3642.49	c |    513048 | 1466065  7730659 18305497 |        1    88955   2380 |  6.929 % |
3642.49/3642.49	c |    513698 | 1466063  7730659 18305497 |        1    89603   2368 |  6.929 % |
3642.49/3642.49	c |    514237 | 1466063  7730659 18305497 |        1    90142   2371 |  6.929 % |
3642.49/3642.49	c |    514339 | 1466063  7730659 18305497 |        1    90244   2369 |  6.929 % |
3642.49/3642.49	c |    515075 | 1466063  7730659 18305497 |        1    90980   2372 |  6.929 % |
3642.49/3642.49	c |    515463 | 1466063  7730659 18305497 |        1    91368   2365 |  6.929 % |
3642.49/3642.49	c |    516802 | 1466063  7730659 18305497 |        1    92707   2392 |  6.929 % |
3642.49/3642.49	c |    517240 | 1466063  7730659 18305497 |        1    93145   2395 |  6.929 % |
3642.49/3642.49	c |    517452 | 1466062  7730659 18305497 |        1    93356   2392 |  6.929 % |
3642.49/3642.49	c |    518111 | 1466061  7730659 18305497 |        1    94014   2393 |  6.929 % |
3642.49/3642.49	c |    519338 | 1466061  7730657 18305475 |        1    95230   2400 |  6.929 % |
3642.49/3642.49	c |    519875 | 1466061  7730657 18305475 |        1    95767   2402 |  6.929 % |
3642.49/3642.49	c |    519989 | 1466061  7730657 18305475 |        1    95881   2401 |  6.929 % |
3642.49/3642.49	c |    523046 | 1466060  7730657 18305475 |        1    50797    391 |  6.929 % |
3642.49/3642.49	c |    523146 | 1466060  7730657 18305475 |        1    50897    391 |  6.929 % |
3642.49/3642.49	c |    524415 | 1466059  7730657 18305475 |        1    52165    442 |  6.929 % |
3642.49/3642.49	c |    526089 | 1466058  7730657 18305475 |        1    53838    500 |  6.929 % |
3791.59/3791.59	c |    526194 | 1466058  7730657 18305475 |        1    53943    506 |  6.929 % |
3791.59/3791.59	c |    526365 | 1466058  7730657 18305475 |        1    54114    507 |  6.929 % |
3791.59/3791.59	c |    527359 | 1466058  7730657 18305475 |        1    55108    575 |  6.929 % |
3791.59/3791.59	c |    527459 | 1466057  7730657 18305475 |        1    55207    575 |  6.929 % |
3791.59/3791.59	c |    528680 | 1466057  7730657 18305475 |        1    56428    614 |  6.929 % |
3791.59/3791.59	c |    528781 | 1466057  7730657 18305475 |        1    56529    617 |  6.929 % |
3791.59/3791.59	c |    528978 | 1466057  7730657 18305475 |        1    56726    616 |  6.929 % |
3791.59/3791.59	c |    529602 | 1466056  7730657 18305475 |        1    57349    654 |  6.929 % |
3791.59/3791.59	c |    529871 | 1466056  7730657 18305475 |        1    57618    663 |  6.929 % |
3791.59/3791.59	c |    530540 | 1466056  7730657 18305475 |        1    58287    715 |  6.929 % |
3791.59/3791.59	c |    530640 | 1466056  7730657 18305475 |        1    58387    716 |  6.929 % |
3791.59/3791.59	c |    531035 | 1466056  7730657 18305475 |        1    58782    734 |  6.929 % |
3791.59/3791.59	c |    531135 | 1466056  7730657 18305475 |        1    58882    737 |  6.929 % |
3791.59/3791.59	c |    531235 | 1466056  7730657 18305475 |        1    58982    738 |  6.929 % |
3791.59/3791.59	c |    531536 | 1466056  7730657 18305475 |        1    59283    746 |  6.929 % |
3791.59/3791.59	c |    531805 | 1466056  7730657 18305475 |        1    59552    763 |  6.929 % |
3791.59/3791.59	c |    531934 | 1466056  7730657 18305475 |        1    59681    768 |  6.929 % |
3791.59/3791.59	c |    532794 | 1466056  7730657 18305475 |        1    60541    794 |  6.929 % |
3791.59/3791.59	c |    533205 | 1466056  7730657 18305475 |        1    60952    815 |  6.929 % |
3791.59/3791.59	c |    533606 | 1466056  7730657 18305475 |        1    61353    817 |  6.929 % |
3791.59/3791.59	c |    535355 | 1466056  7730657 18305475 |        1    63102    919 |  6.929 % |
3791.59/3791.59	c |    536030 | 1466056  7730657 18305475 |        1    63777    943 |  6.929 % |
3791.59/3791.59	c |    536130 | 1466056  7730657 18305475 |        1    63877    943 |  6.929 % |
3791.59/3791.59	c |    536258 | 1466056  7730657 18305475 |        1    64005    945 |  6.929 % |
3791.59/3791.59	c |    536358 | 1466056  7730657 18305475 |        1    64105    955 |  6.929 % |
3791.59/3791.59	c |    536476 | 1466056  7730657 18305475 |        1    64223    955 |  6.929 % |
3791.59/3791.59	c |    539502 | 1466055  7730657 18305475 |        1    67248   1017 |  6.929 % |
3791.59/3791.59	c |    541063 | 1466054  7730657 18305475 |        1    68808   1061 |  6.929 % |
3791.59/3791.59	c |    541169 | 1466054  7730657 18305475 |        1    68914   1061 |  6.929 % |
3791.59/3791.59	c |    541937 | 1466054  7730657 18305475 |        1    69682   1082 |  6.929 % |
3791.59/3791.59	c |    542037 | 1466054  7730657 18305475 |        1    69782   1086 |  6.929 % |
3791.59/3791.59	c |    542137 | 1466054  7730657 18305475 |        1    69882   1086 |  6.929 % |
3791.59/3791.59	c |    543407 | 1466053  7730657 18305475 |        1    71151   1129 |  6.929 % |
3791.59/3791.59	c |    543565 | 1466053  7730657 18305475 |        1    71309   1130 |  6.929 % |
3791.59/3791.59	c |    543988 | 1466053  7730657 18305475 |        1    71732   1151 |  6.929 % |
3791.59/3791.59	c |    544088 | 1466053  7730657 18305475 |        1    71832   1151 |  6.929 % |
3791.59/3791.59	c |    545031 | 1466053  7730657 18305475 |        1    72775   1198 |  6.929 % |
3791.59/3791.59	c |    545131 | 1466053  7730657 18305475 |        1    72875   1198 |  6.929 % |
3791.59/3791.59	c |    545259 | 1466051  7730657 18305475 |        1    73001   1197 |  6.930 % |
3791.59/3791.59	c |    545646 | 1466051  7730657 18305475 |        1    73388   1197 |  6.930 % |
3791.59/3791.59	c |    546173 | 1466050  7730657 18305475 |        1    73914   1206 |  6.930 % |
3791.59/3791.59	c |    551250 | 1466047  7730657 18305475 |        1    78988   1385 |  6.930 % |
3791.59/3791.59	c |    551350 | 1466047  7730657 18305475 |        1    79088   1385 |  6.930 % |
3791.59/3791.59	c |    552422 | 1466047  7730657 18305475 |        1    80160   1377 |  6.930 % |
3791.59/3791.59	c |    553391 | 1466047  7730657 18305475 |        1    81129   1397 |  6.930 % |
3791.59/3791.59	c |    553492 | 1466047  7730657 18305475 |        1    81230   1399 |  6.930 % |
3791.59/3791.59	c |    553592 | 1466047  7730657 18305475 |        1    81330   1401 |  6.930 % |
3791.59/3791.59	c |    553693 | 1466047  7730657 18305475 |        1    81431   1403 |  6.930 % |
3791.59/3791.59	c |    553819 | 1466047  7730657 18305475 |        1    81557   1402 |  6.930 % |
3791.59/3791.59	c |    554400 | 1466047  7730657 18305475 |        1    82138   1432 |  6.930 % |
3987.89/3987.85	c |    555336 | 1466046  7730657 18305475 |        1    83073   1438 |  6.930 % |
3987.89/3987.85	c |    555438 | 1466046  7730657 18305475 |        1    83175   1440 |  6.930 % |
3987.89/3987.85	c |    555767 | 1466046  7730657 18305475 |        1    83504   1442 |  6.930 % |
3987.89/3987.85	c |    556427 | 1466046  7730657 18305475 |        1    84164   1457 |  6.930 % |
3987.89/3987.85	c |    556530 | 1466046  7730657 18305475 |        1    84267   1457 |  6.930 % |
3987.89/3987.85	c |    557335 | 1466046  7730657 18305475 |        1    85072   1461 |  6.930 % |
3987.89/3987.85	c |    557436 | 1466046  7730657 18305475 |        1    85173   1461 |  6.930 % |
3987.89/3987.85	c |    557647 | 1466046  7730657 18305475 |        1    85384   1464 |  6.930 % |
3987.89/3987.85	c |    559548 | 1466046  7730657 18305475 |        1    87285   1474 |  6.930 % |
3987.89/3987.85	c |    560221 | 1466046  7730657 18305475 |        1    87958   1481 |  6.930 % |
3987.89/3987.85	c |    560321 | 1466046  7730657 18305475 |        1    88058   1483 |  6.930 % |
3987.89/3987.85	c |    561255 | 1466046  7730657 18305475 |        1    88992   1497 |  6.930 % |
3987.89/3987.85	c |    561517 | 1466046  7730657 18305475 |        1    89254   1505 |  6.930 % |
3987.89/3987.85	c |    561617 | 1466046  7730657 18305475 |        1    89354   1505 |  6.930 % |
3987.89/3987.85	c |    561867 | 1466046  7730657 18305475 |        1    89604   1505 |  6.930 % |
3987.89/3987.85	c |    563063 | 1466046  7730657 18305475 |        1    90800   1534 |  6.930 % |
3987.89/3987.85	c |    563165 | 1466046  7730657 18305475 |        1    90902   1533 |  6.930 % |
3987.89/3987.85	c |    564722 | 1466046  7730657 18305475 |        1    92459   1528 |  6.930 % |
3987.89/3987.85	c |    565381 | 1466039  7730657 18305475 |        1    93111   1525 |  6.930 % |
3987.89/3987.85	c |    565885 | 1466039  7730657 18305475 |        1    93615   1526 |  6.930 % |
3987.89/3987.85	c |    566517 | 1466039  7730657 18305475 |        1    94247   1524 |  6.930 % |
3987.89/3987.85	c |    567521 | 1466039  7730657 18305475 |        1    95251   1542 |  6.930 % |
3987.89/3987.85	c |    567625 | 1466039  7730657 18305475 |        1    95355   1540 |  6.930 % |
3987.89/3987.85	c |    567727 | 1466039  7730657 18305475 |        1    95457   1539 |  6.930 % |
3987.89/3987.85	c |    569200 | 1466039  7730657 18305475 |        1    96930   1546 |  6.930 % |
3987.89/3987.85	c |    570003 | 1466039  7730657 18305475 |        1    97733   1561 |  6.930 % |
3987.89/3987.85	c |    570510 | 1466039  7730657 18305475 |        1    98240   1563 |  6.930 % |
3987.89/3987.85	c |    570615 | 1466039  7730657 18305475 |        1    98345   1561 |  6.930 % |
3987.89/3987.85	c |    570715 | 1466039  7730657 18305475 |        1    98445   1560 |  6.930 % |
3987.89/3987.85	c |    570981 | 1466039  7730657 18305475 |        1    98711   1572 |  6.930 % |
3987.89/3987.85	c |    571082 | 1466039  7730657 18305475 |        1    98812   1572 |  6.930 % |
3987.89/3987.85	c |    571724 | 1466039  7730657 18305475 |        1    99454   1588 |  6.930 % |
3987.89/3987.85	c |    571824 | 1466039  7730657 18305475 |        1    99554   1590 |  6.930 % |
3987.89/3987.85	c |    588512 | 1466039  7730657 18305475 |        1    65414   1089 |  6.930 % |
3987.89/3987.85	c |    589444 | 1466039  7730657 18305475 |        1    66346   1117 |  6.930 % |
3987.89/3987.85	c |    589771 | 1466038  7730657 18305475 |        1    66672   1115 |  6.930 % |
3987.89/3987.85	c |    589873 | 1466038  7730657 18305475 |        1    66774   1117 |  6.930 % |
3987.89/3987.85	c |    590054 | 1466037  7730657 18305475 |        1    66954   1117 |  6.930 % |
3987.89/3987.85	c |    590154 | 1466037  7730657 18305475 |        1    67054   1117 |  6.930 % |
3987.89/3987.85	c |    590323 | 1466037  7730657 18305475 |        1    67223   1117 |  6.930 % |
3987.89/3987.85	c |    592153 | 1466037  7730657 18305475 |        1    69053   1172 |  6.930 % |
3987.89/3987.85	c |    592253 | 1466037  7730657 18305475 |        1    69153   1172 |  6.930 % |
3987.89/3987.85	c |    592354 | 1466037  7730657 18305475 |        1    69248   1175 |  6.930 % |
3987.89/3987.85	c |    594902 | 1466037  7730657 18305475 |        1    71796   1284 |  6.930 % |
3987.89/3987.85	c |    595434 | 1466036  7730657 18305475 |        1    72327   1282 |  6.931 % |
3987.89/3987.85	c |    595535 | 1466035  7730657 18305475 |        1    72427   1281 |  6.931 % |
3987.89/3987.85	c |    595635 | 1466035  7730657 18305475 |        1    72527   1280 |  6.931 % |
3987.89/3987.85	c |    595757 | 1466034  7730657 18305475 |        1    72648   1278 |  6.931 % |
3987.89/3987.85	c |    596130 | 1466034  7730657 18305475 |        1    73021   1305 |  6.931 % |
3987.89/3987.85	c |    596230 | 1466034  7730657 18305475 |        1    73121   1305 |  6.931 % |
4163.20/4163.18	c |    597597 | 1466034  7730657 18305475 |        1    74488   1332 |  6.931 % |
4163.20/4163.18	c |    597698 | 1466034  7730657 18305475 |        1    74589   1334 |  6.931 % |
4163.20/4163.18	c |    598096 | 1466034  7730657 18305475 |        1    74987   1340 |  6.931 % |
4163.20/4163.18	c |    598911 | 1466032  7730657 18305475 |        1    75800   1346 |  6.931 % |
4163.20/4163.18	c |    600627 | 1466031  7730657 18305475 |        1    77515   1393 |  6.931 % |
4163.20/4163.18	c |    600789 | 1466031  7730657 18305475 |        1    77677   1399 |  6.931 % |
4163.20/4163.18	c |    600893 | 1466030  7730657 18305475 |        1    77780   1398 |  6.931 % |
4163.20/4163.18	c |    600996 | 1466028  7730657 18305475 |        1    77881   1398 |  6.931 % |
4163.20/4163.18	c |    601102 | 1466028  7730657 18305475 |        1    77987   1402 |  6.931 % |
4163.20/4163.18	c |    601473 | 1466028  7730657 18305475 |        1    78358   1412 |  6.931 % |
4163.20/4163.18	c |    601579 | 1466028  7730657 18305475 |        1    78464   1413 |  6.931 % |
4163.20/4163.18	c |    602073 | 1466026  7730657 18305475 |        1    78956   1426 |  6.931 % |
4163.20/4163.18	c |    602173 | 1466026  7730657 18305475 |        1    79056   1426 |  6.931 % |
4163.20/4163.18	c |    602275 | 1466026  7730657 18305475 |        1    79158   1426 |  6.931 % |
4163.20/4163.18	c |    607077 | 1466026  7730657 18305475 |        1    83960   1480 |  6.931 % |
4163.20/4163.18	c |    607177 | 1466026  7730657 18305475 |        1    84060   1480 |  6.931 % |
4163.20/4163.18	c |    608637 | 1466026  7730657 18305475 |        1    85520   1530 |  6.931 % |
4163.20/4163.18	c |    608742 | 1466026  7730657 18305475 |        1    85625   1531 |  6.931 % |
4163.20/4163.18	c |    609632 | 1466026  7730657 18305475 |        1    86515   1553 |  6.931 % |
4163.20/4163.18	c |    609732 | 1466026  7730657 18305475 |        1    86615   1552 |  6.931 % |
4163.20/4163.18	c |    610057 | 1466026  7730657 18305475 |        1    86940   1553 |  6.931 % |
4163.20/4163.18	c |    610266 | 1466026  7730657 18305475 |        1    87149   1558 |  6.931 % |
4163.20/4163.18	c |    610500 | 1466025  7730657 18305475 |        1    87382   1561 |  6.931 % |
4163.20/4163.18	c |    611205 | 1466025  7730657 18305475 |        1    88087   1577 |  6.931 % |
4163.20/4163.18	c |    611316 | 1466025  7730657 18305475 |        1    88198   1577 |  6.931 % |
4163.20/4163.18	c |    613745 | 1466025  7730657 18305475 |        1    90627   1619 |  6.931 % |
4163.20/4163.18	c |    614380 | 1466025  7730657 18305475 |        1    91262   1638 |  6.931 % |
4163.20/4163.18	c |    614485 | 1466025  7730657 18305475 |        1    91367   1638 |  6.931 % |
4163.20/4163.18	c |    615078 | 1466024  7730657 18305475 |        1    91959   1634 |  6.931 % |
4163.20/4163.18	c |    615945 | 1466023  7730657 18305475 |        1    92825   1640 |  6.931 % |
4163.20/4163.18	c |    616418 | 1466022  7730657 18305475 |        1    93297   1646 |  6.931 % |
4163.20/4163.18	c |    616785 | 1466022  7730657 18305475 |        1    93664   1647 |  6.931 % |
4163.20/4163.18	c |    616885 | 1466022  7730657 18305475 |        1    93764   1651 |  6.931 % |
4163.20/4163.18	c |    618423 | 1466021  7730657 18305475 |        1    95293   1654 |  6.931 % |
4163.20/4163.18	c |    618766 | 1466021  7730657 18305475 |        1    95636   1670 |  6.931 % |
4163.20/4163.18	c |    618889 | 1466021  7730657 18305475 |        1    95759   1670 |  6.931 % |
4163.20/4163.18	c |    618990 | 1466021  7730657 18305475 |        1    95860   1670 |  6.931 % |
4163.20/4163.18	c |    619091 | 1466021  7730657 18305475 |        1    95961   1669 |  6.931 % |
4163.20/4163.18	c |    619411 | 1466021  7730657 18305475 |        1    96281   1668 |  6.931 % |
4163.20/4163.18	c |    619709 | 1466021  7730657 18305475 |        1    96579   1680 |  6.931 % |
4163.20/4163.18	c |    619809 | 1466021  7730657 18305475 |        1    96679   1681 |  6.931 % |
4163.20/4163.18	c |    622679 | 1466021  7730657 18305475 |        1    99549   1724 |  6.931 % |
4163.20/4163.18	c |    622781 | 1466021  7730657 18305475 |        1    99651   1724 |  6.931 % |
4163.20/4163.18	c |    624091 | 1466019  7730657 18305475 |        1   100959   1717 |  6.932 % |
4163.20/4163.18	c |    624191 | 1466019  7730657 18305475 |        1   101059   1715 |  6.932 % |
4163.20/4163.18	c |    624617 | 1466019  7730657 18305475 |        1   101485   1716 |  6.932 % |
4163.20/4163.18	c |    624735 | 1466019  7730657 18305475 |        1   101603   1714 |  6.932 % |
4163.20/4163.18	c |    624835 | 1466019  7730657 18305475 |        1   101703   1713 |  6.932 % |
4163.20/4163.18	c |    627269 | 1466018  7730657 18305475 |        1   104136   1845 |  6.932 % |
4163.20/4163.18	c |    627371 | 1466018  7730657 18305475 |        1   104238   1845 |  6.932 % |
4288.51/4288.41	c |    629774 | 1466018  7730657 18305475 |        1   106641   1835 |  6.932 % |
4288.51/4288.41	c |    629937 | 1466018  7730657 18305475 |        1   106804   1835 |  6.932 % |
4288.51/4288.41	c |    630037 | 1466018  7730657 18305475 |        1    53533    273 |  6.932 % |
4288.51/4288.41	c |    630602 | 1466017  7730657 18305475 |        1    54097    301 |  6.932 % |
4288.51/4288.41	c |    630894 | 1466017  7730657 18305475 |        1    54389    318 |  6.932 % |
4288.51/4288.41	c |    631021 | 1466017  7730657 18305475 |        1    54516    323 |  6.932 % |
4288.51/4288.41	c |    632547 | 1466017  7730657 18305475 |        1    56042    387 |  6.932 % |
4288.51/4288.41	c |    632649 | 1466017  7730657 18305475 |        1    56144    391 |  6.932 % |
4288.51/4288.41	c |    633251 | 1465992  7730657 18305475 |        1    56744    396 |  6.933 % |
4288.51/4288.41	c |    634370 | 1465992  7730657 18305475 |        1    57863    418 |  6.933 % |
4288.51/4288.41	c |    635473 | 1465992  7730657 18305475 |        1    58966    448 |  6.933 % |
4288.51/4288.41	c |    635573 | 1465992  7730657 18305475 |        1    59066    449 |  6.933 % |
4288.51/4288.41	c |    636123 | 1465992  7730657 18305475 |        1    59616    467 |  6.933 % |
4288.51/4288.41	c |    636332 | 1465992  7730657 18305475 |        1    59825    472 |  6.933 % |
4288.51/4288.41	c |    636432 | 1465992  7730657 18305475 |        1    59925    473 |  6.933 % |
4288.51/4288.41	c |    637366 | 1465992  7730657 18305475 |        1    60859    514 |  6.933 % |
4288.51/4288.41	c |    637468 | 1465992  7730657 18305475 |        1    60961    522 |  6.933 % |
4288.51/4288.41	c |    637757 | 1465992  7730657 18305475 |        1    61250    537 |  6.933 % |
4288.51/4288.41	c |    638602 | 1465990  7730657 18305475 |        1    62093    576 |  6.933 % |
4288.51/4288.41	c |    638702 | 1465990  7730657 18305475 |        1    62193    577 |  6.933 % |
4288.51/4288.41	c |    639808 | 1465990  7730657 18305475 |        1    63299    608 |  6.933 % |
4288.51/4288.41	c |    639912 | 1465990  7730657 18305475 |        1    63403    611 |  6.933 % |
4288.51/4288.41	c |    640582 | 1465989  7730657 18305475 |        1    64072    623 |  6.934 % |
4288.51/4288.41	c |    640682 | 1465989  7730657 18305475 |        1    64172    623 |  6.934 % |
4288.51/4288.41	c |    641062 | 1465989  7730657 18305475 |        1    64552    667 |  6.934 % |
4288.51/4288.41	c |    641162 | 1465989  7730657 18305475 |        1    64652    683 |  6.934 % |
4288.51/4288.41	c |    641263 | 1465989  7730657 18305475 |        1    64753    686 |  6.934 % |
4288.51/4288.41	c |    642200 | 1465989  7730657 18305475 |        1    65690    791 |  6.934 % |
4288.51/4288.41	c |    642302 | 1465989  7730657 18305475 |        1    65792    798 |  6.934 % |
4288.51/4288.41	c |    642575 | 1465989  7730657 18305475 |        1    66065    803 |  6.934 % |
4288.51/4288.41	c |    642949 | 1465989  7730657 18305475 |        1    66439    814 |  6.934 % |
4288.51/4288.41	c |    643054 | 1465989  7730657 18305475 |        1    66544    816 |  6.934 % |
4288.51/4288.41	c |    643770 | 1465989  7730657 18305475 |        1    67260    848 |  6.934 % |
4288.51/4288.41	c |    644048 | 1465988  7730657 18305475 |        1    67537    856 |  6.934 % |
4288.51/4288.41	c |    644451 | 1465985  7730657 18305475 |        1    67937    861 |  6.934 % |
4288.51/4288.41	c |    644652 | 1465985  7730657 18305475 |        1    68138    869 |  6.934 % |
4288.51/4288.41	c |    644875 | 1465985  7730657 18305475 |        1    68361    875 |  6.934 % |
4288.51/4288.41	c |    644976 | 1465985  7730657 18305475 |        1    68462    880 |  6.934 % |
4288.51/4288.41	c |    645087 | 1465985  7730657 18305475 |        1    68573    881 |  6.934 % |
4288.51/4288.41	c |    645401 | 1465985  7730657 18305475 |        1    68887    899 |  6.934 % |
4288.51/4288.41	c |    645501 | 1465985  7730657 18305475 |        1    68987    901 |  6.934 % |
4288.51/4288.41	c |    646132 | 1465984  7730657 18305475 |        1    69617    906 |  6.934 % |
4288.51/4288.41	c |    648125 | 1465982  7730657 18305475 |        1    71608    916 |  6.934 % |
4288.51/4288.41	c |    648229 | 1465973  7730657 18305475 |        1    71703    916 |  6.935 % |
4288.51/4288.41	c |    648429 | 1465971  7730657 18305475 |        1    71901    915 |  6.935 % |
4288.51/4288.41	c |    648893 | 1465968  7730657 18305475 |        1    72362    918 |  6.935 % |
4288.51/4288.41	c |    649393 | 1465967  7730657 18305475 |        1    72861    918 |  6.935 % |
4288.51/4288.41	c |    649494 | 1465964  7730657 18305475 |        1    72959    917 |  6.935 % |
4288.51/4288.41	c |    650642 | 1465964  7730657 18305475 |        1    74107    970 |  6.935 % |
4288.51/4288.41	c |    651268 | 1465964  7730657 18305475 |        1    74733    989 |  6.935 % |
4498.11/4498.06	c |    651368 | 1465964  7730657 18305475 |        1    74833    989 |  6.935 % |
4498.11/4498.06	c |    651469 | 1465964  7730657 18305475 |        1    74934    992 |  6.935 % |
4498.11/4498.06	c |    651943 | 1465964  7730657 18305475 |        1    75408    995 |  6.935 % |
4498.11/4498.06	c |    652043 | 1465964  7730657 18305475 |        1    75508    995 |  6.935 % |
4498.11/4498.06	c |    652198 | 1465964  7730657 18305475 |        1    75663    997 |  6.935 % |
4498.11/4498.06	c |    660977 | 1465961  7730655 18305444 |        1    84419   1172 |  6.935 % |
4498.11/4498.06	c |    661077 | 1465961  7730655 18305444 |        1    84519   1173 |  6.935 % |
4498.11/4498.06	c |    662465 | 1465961  7730655 18305444 |        1    85907   1176 |  6.935 % |
4498.11/4498.06	c |    662567 | 1465961  7730655 18305444 |        1    86009   1176 |  6.935 % |
4498.11/4498.06	c |    663091 | 1465960  7730655 18305444 |        1    86532   1185 |  6.935 % |
4498.11/4498.06	c |    663645 | 1465960  7730655 18305444 |        1    87086   1188 |  6.935 % |
4498.11/4498.06	c |    665282 | 1465941  7730655 18305444 |        1    88722   1224 |  6.937 % |
4498.11/4498.06	c |    665948 | 1465941  7730655 18305444 |        1    89388   1226 |  6.937 % |
4498.11/4498.06	c |    666051 | 1465941  7730655 18305444 |        1    89491   1227 |  6.937 % |
4498.11/4498.06	c |    666151 | 1465941  7730655 18305444 |        1    89591   1226 |  6.937 % |
4498.11/4498.06	c |    667937 | 1465941  7730655 18305444 |        1    91377   1265 |  6.937 % |
4498.11/4498.06	c |    668039 | 1465940  7730655 18305444 |        1    91478   1264 |  6.937 % |
4498.11/4498.06	c |    668473 | 1465937  7730655 18305444 |        1    91909   1262 |  6.937 % |
4498.11/4498.06	c |    668974 | 1465937  7730655 18305444 |        1    92410   1269 |  6.937 % |
4498.11/4498.06	c |    669968 | 1465937  7730655 18305444 |        1    93404   1276 |  6.937 % |
4498.11/4498.06	c |    670068 | 1465937  7730655 18305444 |        1    93504   1280 |  6.937 % |
4498.11/4498.06	c |    670204 | 1465937  7730655 18305444 |        1    93640   1284 |  6.937 % |
4498.11/4498.06	c |    671097 | 1465936  7730655 18305444 |        1    94532   1293 |  6.937 % |
4498.11/4498.06	c |    672316 | 1465935  7730655 18305444 |        1    95750   1305 |  6.937 % |
4498.11/4498.06	c |    673587 | 1465935  7730655 18305444 |        1    97021   1339 |  6.937 % |
4498.11/4498.06	c |    673687 | 1465935  7730655 18305444 |        1    97121   1341 |  6.937 % |
4498.11/4498.06	c |    674342 | 1465935  7730655 18305444 |        1    97776   1340 |  6.937 % |
4498.11/4498.06	c |    674963 | 1465935  7730655 18305444 |        1    98397   1358 |  6.937 % |
4498.11/4498.06	c |    675287 | 1465935  7730655 18305444 |        1    98721   1358 |  6.937 % |
4498.11/4498.06	c |    677082 | 1465934  7730655 18305444 |        1   100515   1393 |  6.937 % |
4498.11/4498.06	c |    678517 | 1465934  7730655 18305444 |        1   101950   1410 |  6.937 % |
4498.11/4498.06	c |    678617 | 1465934  7730653 18305422 |        1   102034   1412 |  6.937 % |
4498.11/4498.06	c |    680148 | 1465934  7730653 18305422 |        1   103565   1433 |  6.937 % |
4498.11/4498.06	c |    680944 | 1465934  7730653 18305422 |        1   104361   1443 |  6.937 % |
4498.11/4498.06	c |    681044 | 1465934  7730653 18305422 |        1   104461   1443 |  6.937 % |
4498.11/4498.06	c |    681560 | 1465934  7730653 18305422 |        1   104977   1449 |  6.937 % |
4498.11/4498.06	c |    681801 | 1465934  7730653 18305422 |        1   105218   1456 |  6.937 % |
4498.11/4498.06	c |    682157 | 1465934  7730653 18305422 |        1   105574   1469 |  6.937 % |
4498.11/4498.06	c |    682626 | 1465934  7730653 18305422 |        1   106043   1473 |  6.937 % |
4498.11/4498.06	c |    682728 | 1465934  7730653 18305422 |        1   106145   1473 |  6.937 % |
4498.11/4498.06	c |    683570 | 1465930  7730653 18305422 |        1   106983   1471 |  6.937 % |
4498.11/4498.06	c |    684328 | 1465930  7730653 18305422 |        1   107741   1476 |  6.937 % |
4498.11/4498.06	c |    684431 | 1465930  7730653 18305422 |        1   107844   1476 |  6.937 % |
4498.11/4498.06	c |    684533 | 1465930  7730653 18305422 |        1   107946   1476 |  6.937 % |
4498.11/4498.06	c |    686910 | 1465930  7730653 18305422 |        1   110323   1495 |  6.937 % |
4498.11/4498.06	c |    687033 | 1465930  7730653 18305422 |        1   110446   1496 |  6.937 % |
4498.11/4498.06	c |    688781 | 1465929  7730653 18305422 |        1    56309    244 |  6.937 % |
4498.11/4498.06	c |    688885 | 1465929  7730653 18305422 |        1    56413    245 |  6.937 % |
4498.11/4498.06	c |    688985 | 1465929  7730653 18305422 |        1    56513    247 |  6.937 % |
4498.11/4498.06	c |    689520 | 1465929  7730653 18305422 |        1    57048    269 |  6.937 % |
4647.71/4647.67	c |    689947 | 1465929  7730653 18305422 |        1    57475    284 |  6.937 % |
4647.71/4647.67	c |    690047 | 1465929  7730653 18305422 |        1    57575    288 |  6.937 % |
4647.71/4647.67	c |    691091 | 1465927  7730653 18305422 |        1    58617    335 |  6.937 % |
4647.71/4647.67	c |    693598 | 1465927  7730653 18305422 |        1    61124    458 |  6.937 % |
4647.71/4647.67	c |    693699 | 1465927  7730653 18305422 |        1    61225    459 |  6.937 % |
4647.71/4647.67	c |    694489 | 1465927  7730653 18305422 |        1    62015    474 |  6.937 % |
4647.71/4647.67	c |    694730 | 1465927  7730653 18305422 |        1    62256    483 |  6.937 % |
4647.71/4647.67	c |    694830 | 1465927  7730653 18305422 |        1    62356    490 |  6.937 % |
4647.71/4647.67	c |    694959 | 1465927  7730653 18305422 |        1    62485    495 |  6.937 % |
4647.71/4647.67	c |    695403 | 1465927  7730653 18305422 |        1    62929    501 |  6.937 % |
4647.71/4647.67	c |    695763 | 1465927  7730653 18305422 |        1    63289    505 |  6.937 % |
4647.71/4647.67	c |    696554 | 1465927  7730653 18305422 |        1    64080    548 |  6.937 % |
4647.71/4647.67	c |    696658 | 1465927  7730653 18305422 |        1    64184    549 |  6.937 % |
4647.71/4647.67	c |    697324 | 1465927  7730653 18305422 |        1    64850    581 |  6.937 % |
4647.71/4647.67	c |    697424 | 1465927  7730653 18305422 |        1    64950    582 |  6.937 % |
4647.71/4647.67	c |    698289 | 1465927  7730653 18305422 |        1    65815    615 |  6.937 % |
4647.71/4647.67	c |    698846 | 1465927  7730653 18305422 |        1    66372    627 |  6.937 % |
4647.71/4647.67	c |    699251 | 1465927  7730653 18305422 |        1    66777    637 |  6.937 % |
4647.71/4647.67	c |    699353 | 1465927  7730653 18305422 |        1    66879    640 |  6.937 % |
4647.71/4647.67	c |    699833 | 1465927  7730653 18305422 |        1    67359    643 |  6.937 % |
4647.71/4647.67	c |    700165 | 1465927  7730653 18305422 |        1    67691    664 |  6.937 % |
4647.71/4647.67	c |    700265 | 1465927  7730653 18305422 |        1    67791    669 |  6.937 % |
4647.71/4647.67	c |    704782 | 1465927  7730653 18305422 |        1    72308    803 |  6.937 % |
4647.71/4647.67	c |    704882 | 1465927  7730653 18305422 |        1    72408    804 |  6.937 % |
4647.71/4647.67	c |    705429 | 1465927  7730653 18305422 |        1    72955    819 |  6.937 % |
4647.71/4647.67	c |    705531 | 1465927  7730653 18305422 |        1    73057    821 |  6.937 % |
4647.71/4647.67	c |    706118 | 1465927  7730653 18305422 |        1    73644    838 |  6.937 % |
4647.71/4647.67	c |    706219 | 1465927  7730653 18305422 |        1    73745    839 |  6.937 % |
4647.71/4647.67	c |    706323 | 1465927  7730653 18305422 |        1    73849    840 |  6.937 % |
4647.71/4647.67	c |    709694 | 1465927  7730653 18305422 |        1    77220    939 |  6.937 % |
4647.71/4647.67	c |    713641 | 1465926  7730653 18305422 |        1    81166    980 |  6.938 % |
4647.71/4647.67	c |    713833 | 1465926  7730653 18305422 |        1    81357    979 |  6.938 % |
4647.71/4647.67	c |    714683 | 1465926  7730653 18305422 |        1    82207   1009 |  6.938 % |
4647.71/4647.67	c |    714823 | 1465924  7730653 18305422 |        1    82345   1009 |  6.938 % |
4647.71/4647.67	c |    714991 | 1465924  7730653 18305422 |        1    82513   1009 |  6.938 % |
4647.71/4647.67	c |    715709 | 1465924  7730653 18305422 |        1    83231   1012 |  6.938 % |
4647.71/4647.67	c |    717153 | 1465921  7730653 18305422 |        1    84672   1014 |  6.938 % |
4647.71/4647.67	c |    717265 | 1465921  7730653 18305422 |        1    84784   1015 |  6.938 % |
4647.71/4647.67	c |    718346 | 1465921  7730653 18305422 |        1    85865   1041 |  6.938 % |
4647.71/4647.67	c |    719345 | 1465919  7730653 18305422 |        1    86862   1051 |  6.938 % |
4647.71/4647.67	c |    719623 | 1465896  7730653 18305422 |        1    87136   1057 |  6.939 % |
4647.71/4647.67	c |    720327 | 1465895  7730653 18305422 |        1    87839   1103 |  6.939 % |
4647.71/4647.67	c |    720826 | 1465894  7730653 18305422 |        1    88337   1108 |  6.940 % |
4647.71/4647.67	c |    721273 | 1465894  7730653 18305422 |        1    88784   1109 |  6.940 % |
4647.71/4647.67	c |    721885 | 1465894  7730653 18305422 |        1    89396   1127 |  6.940 % |
4647.71/4647.67	c |    721986 | 1465894  7730653 18305422 |        1    89497   1128 |  6.940 % |
4647.71/4647.67	c |    722245 | 1465894  7730653 18305422 |        1    89756   1134 |  6.940 % |
4647.71/4647.67	c |    722771 | 1465894  7730653 18305422 |        1    90282   1135 |  6.940 % |
4647.71/4647.67	c |    722872 | 1465894  7730653 18305422 |        1    90383   1137 |  6.940 % |
4647.71/4647.67	c |    723287 | 1465894  7730653 18305422 |        1    90798   1141 |  6.940 % |
4852.92/4852.81	c |    723409 | 1465894  7730653 18305422 |        1    90920   1144 |  6.940 % |
4852.92/4852.81	c |    723845 | 1465894  7730653 18305422 |        1    91356   1155 |  6.940 % |
4852.92/4852.81	c |    723947 | 1465894  7730653 18305422 |        1    91458   1155 |  6.940 % |
4852.92/4852.81	c |    724335 | 1465894  7730653 18305422 |        1    91846   1182 |  6.940 % |
4852.92/4852.81	c |    724435 | 1465894  7730653 18305422 |        1    91946   1183 |  6.940 % |
4852.92/4852.81	c |    724536 | 1465894  7730653 18305422 |        1    92047   1185 |  6.940 % |
4852.92/4852.81	c |    724680 | 1465894  7730653 18305422 |        1    92191   1189 |  6.940 % |
4852.92/4852.81	c |    725443 | 1465894  7730653 18305422 |        1    92954   1197 |  6.940 % |
4852.92/4852.81	c |    726337 | 1465894  7730653 18305422 |        1    93848   1223 |  6.940 % |
4852.92/4852.81	c |    726751 | 1465894  7730653 18305422 |        1    94262   1227 |  6.940 % |
4852.92/4852.81	c |    727027 | 1465894  7730653 18305422 |        1    94538   1240 |  6.940 % |
4852.92/4852.81	c |    728055 | 1465893  7730653 18305422 |        1    95565   1237 |  6.940 % |
4852.92/4852.81	c |    728700 | 1465893  7730653 18305422 |        1    96210   1239 |  6.940 % |
4852.92/4852.81	c |    728800 | 1465893  7730653 18305422 |        1    96310   1239 |  6.940 % |
4852.92/4852.81	c |    729779 | 1465893  7730653 18305422 |        1    97289   1260 |  6.940 % |
4852.92/4852.81	c |    730103 | 1465892  7730653 18305422 |        1    97612   1272 |  6.940 % |
4852.92/4852.81	c |    730205 | 1465892  7730653 18305422 |        1    97714   1275 |  6.940 % |
4852.92/4852.81	c |    735850 | 1465891  7730653 18305422 |        1   103358   1439 |  6.940 % |
4852.92/4852.81	c |    736374 | 1465891  7730651 18305396 |        1   103873   1435 |  6.940 % |
4852.92/4852.81	c |    736474 | 1465891  7730651 18305396 |        1   103973   1434 |  6.940 % |
4852.92/4852.81	c |    736581 | 1465891  7730651 18305396 |        1   104080   1432 |  6.940 % |
4852.92/4852.81	c |    736773 | 1465890  7730651 18305396 |        1   104271   1431 |  6.940 % |
4852.92/4852.81	c |    736874 | 1465890  7730651 18305396 |        1   104372   1432 |  6.940 % |
4852.92/4852.81	c |    738488 | 1465889  7730651 18305396 |        1   105985   1471 |  6.940 % |
4852.92/4852.81	c |    738827 | 1465889  7730651 18305396 |        1   106324   1473 |  6.940 % |
4852.92/4852.81	c |    740199 | 1465889  7730651 18305396 |        1   107696   1495 |  6.940 % |
4852.92/4852.81	c |    740299 | 1465889  7730651 18305396 |        1   107796   1494 |  6.940 % |
4852.92/4852.81	c |    740541 | 1465889  7730651 18305396 |        1   108038   1494 |  6.940 % |
4852.92/4852.81	c |    741161 | 1465889  7730651 18305396 |        1   108658   1516 |  6.940 % |
4852.92/4852.81	c |    741262 | 1465889  7730651 18305396 |        1   108759   1517 |  6.940 % |
4852.92/4852.81	c |    743089 | 1465889  7730651 18305396 |        1   110586   1515 |  6.940 % |
4852.92/4852.81	c |    743549 | 1465889  7730651 18305396 |        1   111046   1519 |  6.940 % |
4852.92/4852.81	c |    743651 | 1465889  7730651 18305396 |        1   111148   1520 |  6.940 % |
4852.92/4852.81	c |    751637 | 1465871  7730651 18305396 |        1    60634    355 |  6.941 % |
4852.92/4852.81	c |    751738 | 1465871  7730651 18305396 |        1    60735    355 |  6.941 % |
4852.92/4852.81	c |    751838 | 1465871  7730651 18305396 |        1    60835    357 |  6.941 % |
4852.92/4852.81	c |    752373 | 1465871  7730651 18305396 |        1    61370    378 |  6.941 % |
4852.92/4852.81	c |    752856 | 1465871  7730651 18305396 |        1    61853    411 |  6.941 % |
4852.92/4852.81	c |    752958 | 1465871  7730651 18305396 |        1    61955    415 |  6.941 % |
4852.92/4852.81	c |    754061 | 1465871  7730651 18305396 |        1    63058    441 |  6.941 % |
4852.92/4852.81	c |    754162 | 1465871  7730651 18305396 |        1    63159    446 |  6.941 % |
4852.92/4852.81	c |    754283 | 1465871  7730651 18305396 |        1    63280    448 |  6.941 % |
4852.92/4852.81	c |    754385 | 1465871  7730651 18305396 |        1    63382    452 |  6.941 % |
4852.92/4852.81	c |    754642 | 1465871  7730651 18305396 |        1    63639    459 |  6.941 % |
4852.92/4852.81	c |    754742 | 1465871  7730651 18305396 |        1    63739    459 |  6.941 % |
4852.92/4852.81	c |    755295 | 1465870  7730651 18305396 |        1    64291    467 |  6.941 % |
4852.92/4852.81	c |    755988 | 1465870  7730651 18305396 |        1    64984    521 |  6.941 % |
4852.92/4852.81	c |    756091 | 1465870  7730651 18305396 |        1    65087    525 |  6.941 % |
4852.92/4852.81	c |    756581 | 1465870  7730651 18305396 |        1    65577    537 |  6.941 % |
4852.92/4852.81	c |    758830 | 1465850

Verifier Data 

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

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-3303861-1303904349/watcher-3303861-1303904349 -o /tmp/evaluation-result-3303861-1303904349/solver-3303861-1303904349 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303861-1303904349.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.93 2/178 5897
/proc/meminfo: memFree=30363116/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0

[startup+0.089517 s]
/proc/loadavg: 2.02 2.01 1.93 2/178 5897
/proc/meminfo: memFree=30363116/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100515 s]
/proc/loadavg: 2.02 2.01 1.93 2/178 5897
/proc/meminfo: memFree=30363116/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30048 s]
/proc/loadavg: 2.02 2.01 1.93 2/178 5897
/proc/meminfo: memFree=30363116/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700405 s]
/proc/loadavg: 2.02 2.01 1.93 2/178 5897
/proc/meminfo: memFree=30363116/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 5901
/proc/meminfo: memFree=30070956/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=487812 CPUtime=1.48 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 122931 0 0 0 133 15 0 0 25 0 1 0 502035889 499519488 101526 33554432000 4194304 4260849 140735241203472 18446744073709551615 253640520389 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 121953 101531 214 17 0 118594 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 496516

[startup+3.10097 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 5901
/proc/meminfo: memFree=29808324/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=711836 CPUtime=3.09 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 163022 0 0 0 288 21 0 0 25 0 1 0 502035889 728920064 132909 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 177959 132909 239 17 0 174600 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 720540

[startup+6.30039 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 5901
/proc/meminfo: memFree=29795588/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=712776 CPUtime=6.28 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 164381 0 0 0 607 21 0 0 25 0 1 0 502035889 729882624 134265 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209306 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 178194 134265 250 17 0 174835 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 721480

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 5901
/proc/meminfo: memFree=29777872/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=713832 CPUtime=12.69 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 167738 0 0 0 1247 22 0 0 25 0 1 0 502035889 730963968 137620 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 178458 137620 250 17 0 175099 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 722536

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 5902
/proc/meminfo: memFree=29756528/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=714548 CPUtime=25.49 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 175755 0 0 0 2526 23 0 0 25 0 1 0 502035889 731697152 145635 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 178637 145635 250 17 0 175278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 723252

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.93 3/180 5902
/proc/meminfo: memFree=29738728/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=714680 CPUtime=51.09 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 227975 0 0 0 5080 29 0 0 25 0 1 0 502035889 731832320 145020 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 178670 145020 251 17 0 175311 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 723384

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 5904
/proc/meminfo: memFree=29751004/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=731680 CPUtime=102.3 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 289786 0 0 0 10192 38 0 0 25 0 1 0 502035889 749240320 140927 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209374 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 182920 140927 251 17 0 179561 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 740384

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 5905
/proc/meminfo: memFree=29728780/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=738612 CPUtime=162.29 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 357570 0 0 0 16181 48 0 0 25 0 1 0 502035889 756338688 142834 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 184653 142834 252 17 0 181294 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 747316

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 5937
/proc/meminfo: memFree=29713212/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=877092 CPUtime=222.29 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 385886 0 0 0 22177 52 0 0 25 0 1 0 502035889 898142208 171140 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5899/statm: 219273 171140 252 17 0 215914 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 885796

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 5938
/proc/meminfo: memFree=29747724/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=744832 CPUtime=282.29 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 448891 0 0 0 28168 61 0 0 25 0 1 0 502035889 762707968 158793 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5899/statm: 186208 158793 252 17 0 182849 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 753536

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/180 5940
/proc/meminfo: memFree=29727096/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=877092 CPUtime=342.29 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 530718 0 0 0 34157 72 0 0 25 0 1 0 502035889 898142208 162820 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 219273 162820 252 17 0 215914 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 885796

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 5942
/proc/meminfo: memFree=29741424/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7

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

/proc/5899/statm: 293363 261729 252 17 0 290004 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 1182156

[startup+4422.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/173 6169
/proc/meminfo: memFree=29247944/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1522700 CPUtime=4422.4 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3516039 0 0 0 441764 476 0 0 25 0 1 0 502035889 1559244800 294326 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 380675 294326 252 17 0 377316 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 1531404

[startup+4482.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/173 6170
/proc/meminfo: memFree=29157152/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1528344 CPUtime=4482.4 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3539075 0 0 0 447762 478 0 0 25 0 1 0 502035889 1565024256 317348 33554432000 4194304 4260849 140735241203472 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 382086 317348 252 17 0 378727 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 1537048

[startup+4542.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/173 6172
/proc/meminfo: memFree=29612680/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=964172 CPUtime=4542.41 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3629855 0 0 0 453746 495 0 0 25 0 1 0 502035889 987312128 203578 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 241043 203578 252 17 0 237684 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 972876

[startup+4602.3 s]
/proc/loadavg: 1.00 1.11 1.47 2/173 6174
/proc/meminfo: memFree=29479972/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1179096 CPUtime=4602.41 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3662514 0 0 0 459741 500 0 0 25 0 1 0 502035889 1207394304 236220 33554432000 4194304 4260849 140735241203472 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 294774 236220 252 17 0 291415 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1187800

[startup+4662.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/173 6175
/proc/meminfo: memFree=29335608/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1528344 CPUtime=4662.41 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3698690 0 0 0 465737 504 0 0 25 0 1 0 502035889 1565024256 272389 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209599 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 382086 272389 252 17 0 378727 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 1537048

[startup+4722.31 s]
/proc/loadavg: 1.00 1.07 1.41 2/173 6177
/proc/meminfo: memFree=29187628/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1534580 CPUtime=4722.42 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3735521 0 0 0 471733 509 0 0 25 0 1 0 502035889 1571409920 309212 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209536 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 383645 309212 252 17 0 380286 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 1543284

[startup+4782.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/173 6178
/proc/meminfo: memFree=29074520/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1534580 CPUtime=4782.41 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3764068 0 0 0 477728 513 0 0 25 0 1 0 502035889 1571409920 337748 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 383645 337748 252 17 0 380286 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 1543284

[startup+4842.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/173 6180
/proc/meminfo: memFree=29648848/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=970408 CPUtime=4842.41 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3851137 0 0 0 483716 525 0 0 25 0 1 0 502035889 993697792 194251 33554432000 4194304 4260849 140735241203472 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 242602 194251 252 17 0 239243 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 979112

[startup+4902.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/173 6182
/proc/meminfo: memFree=29485860/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1185332 CPUtime=4902.42 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3891909 0 0 0 489710 532 0 0 25 0 1 0 502035889 1213779968 235008 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 296333 235008 252 17 0 292974 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 1194036

[startup+4962.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/173 6192
/proc/meminfo: memFree=29268672/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1534580 CPUtime=4962.42 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3945883 0 0 0 495705 537 0 0 25 0 1 0 502035889 1571409920 288971 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 383645 288971 252 17 0 380286 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 1543284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.00 1.02 1.29 2/173 6193
/proc/meminfo: memFree=29184064/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1534580 CPUtime=5000.03 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3966774 0 0 0 499463 540 0 0 25 0 1 0 502035889 1571409920 309856 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 383645 309856 252 17 0 380286 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 1543284

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

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

[startup+4999.9 s]
/proc/loadavg: 1.00 1.02 1.29 2/173 6193
/proc/meminfo: memFree=29184064/32951124 swapFree=67111364/67111528
[pid=5897] ppid=5895 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/5897/stat : 5897 (glucose.sh) S 5895 5897 5621 0 -1 4202496 361 112 0 0 0 0 0 0 22 0 1 0 502035889 8912896 255 33554432000 4194304 4922060 140734797340064 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5897/statm: 2176 255 211 178 0 69 0
[pid=5899] ppid=5897 vsize=1534580 CPUtime=5000.03 cores=1,3,5,7
/proc/5899/stat : 5899 (glucose_static) R 5897 5897 5621 0 -1 4202496 3966774 0 0 0 499463 540 0 0 25 0 1 0 502035889 1571409920 309856 33554432000 4194304 4260849 140735241203472 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5899/statm: 383645 309856 252 17 0 380286 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 1543284

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.91
CPU time (s): 5000.03
CPU user time (s): 4994.63
CPU system time (s): 5.4
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3211152

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

runsolver used 7.48386 second user time and 18.4752 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-27 13:39:15
IDJOB=3303861
IDBENCH=82388
IDSOLVER=1687
FILE ID=node106/3303861-1303904349
RUNJOBID= node106-1303899346-5640
PBS_JOBID= 13164542
Free space on /tmp= 71976 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303861-1303904349/watcher-3303861-1303904349 -o /tmp/evaluation-result-3303861-1303904349/solver-3303861-1303904349 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303861-1303904349.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 48f03e5fbe31fc85b9a464480fc8aa5a
RANDOM SEED=1208644181

node106.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.830
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.66
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.830
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.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
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.830
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.75
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30363884 kB
Buffers:        161468 kB
Cached:        2101792 kB
SwapCached:         88 kB
Active:         786756 kB
Inactive:      1586848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30363884 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          188596 kB
Writeback:           0 kB
AnonPages:      109632 kB
Mapped:          15148 kB
Slab:           148264 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   255576 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= 71992 MiB
End job on node106 at 2011-04-27 15:02:37