Trace number 3258040

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) 1300.03 1300.01

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
MD5SUM2094ee8d4e443e860293b947e469bd81
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   61409   123673 |   18422       0        0     nan |  0.000 % |
0.00/0.12	c |         0 |   60159   195522 |      --       0       --      -- |     --   | -1250/71849
0.00/0.12	c ==============================================================================
0.00/0.12	c Result  :   #vars: 900   #clauses: 60159   #literals: 195522
0.00/0.12	c CPU time:   0.114982 s
0.00/0.12	c ==============================================================================
0.00/0.14	c
0.00/0.14	c Starting glucose
0.00/0.14	c
91.38/91.40	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
91.38/91.40	c WARNING: for repeatability, setting FPU to use double precision
91.38/91.40	c ============================[ Problem Statistics ]=============================
91.38/91.40	c |                                                                             |
91.38/91.40	c |  Number of variables:           900                                         |
91.38/91.40	c |  Number of clauses:           60159                                         |
91.38/91.40	c |  Parse time:                   0.01 s                                       |
91.38/91.40	c |                                                                             |
91.38/91.40	c ============================[ Search Statistics ]==============================
91.38/91.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.38/91.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
91.38/91.40	c ===============================================================================
91.38/91.40	c |     34834 |     900    60159   195522 |        1    12526     50 |  0.000 % |
91.38/91.40	c |     75460 |     900    60159   195522 |        1    26911     47 |  0.000 % |
91.38/91.40	c |    198160 |     900    60159   195522 |        1    38580     33 |  0.000 % |
91.38/91.40	c |    299020 |     900    60159   195522 |        1    41637     30 |  0.000 % |
91.38/91.40	c |    406454 |     900    60159   195522 |        1    70876     37 |  0.000 % |
91.38/91.40	c |    417466 |     900    60159   195522 |        1    81888     38 |  0.000 % |
91.38/91.40	c |    417628 |     900    60159   195522 |        1    82050     38 |  0.000 % |
91.38/91.40	c |    429771 |     900    60159   195522 |        1    51190     31 |  0.000 % |
91.38/91.40	c |    469989 |     900    60159   195522 |        1    45809     28 |  0.000 % |
91.38/91.40	c |    483187 |     900    60159   195522 |        1    59007     33 |  0.000 % |
91.38/91.40	c |    503030 |     900    60159   195522 |        1    78850     36 |  0.000 % |
91.38/91.40	c |    503130 |     900    60159   195522 |        1    78950     36 |  0.000 % |
91.38/91.40	c |    510973 |     900    60159   195522 |        1    86793     37 |  0.000 % |
91.38/91.40	c |    521196 |     900    60159   195522 |        1    48814     28 |  0.000 % |
91.38/91.40	c |    523399 |     900    60159   195522 |        1    51017     29 |  0.000 % |
91.38/91.40	c |    537225 |     900    60159   195522 |        1    64843     33 |  0.000 % |
91.38/91.40	c |    540486 |     900    60159   195522 |        1    68104     35 |  0.000 % |
91.38/91.40	c |    548363 |     900    60159   195522 |        1    75981     36 |  0.000 % |
91.38/91.40	c |    555121 |     900    60159   195522 |        1    82739     37 |  0.000 % |
91.38/91.40	c |    569577 |     900    60159   195522 |        1    97195     41 |  0.000 % |
91.38/91.40	c |    569677 |     900    60159   195522 |        1    97295     41 |  0.000 % |
91.38/91.40	c |    570031 |     900    60159   195522 |        1    97649     41 |  0.000 % |
91.38/91.40	c |    570368 |     900    60159   195522 |        1    97986     41 |  0.000 % |
91.38/91.40	c |    588166 |     900    60159   195522 |        1    64984     33 |  0.000 % |
91.38/91.40	c |    596087 |     900    60159   195522 |        1    72905     35 |  0.000 % |
91.38/91.40	c |    608176 |     900    60159   195522 |        1    84994     37 |  0.000 % |
91.38/91.40	c |    717562 |     900    60159   195522 |        1    84979     34 |  0.000 % |
91.38/91.40	c |    724936 |     900    60159   195522 |        1    92353     36 |  0.000 % |
91.38/91.40	c |    726436 |     900    60159   195522 |        1    93853     36 |  0.000 % |
91.38/91.40	c |    731132 |     900    60159   195522 |        1    98549     37 |  0.000 % |
91.38/91.40	c |    731514 |     900    60159   195522 |        1    98931     37 |  0.000 % |
91.38/91.40	c |    752466 |     900    60159   195522 |        1    61291     28 |  0.000 % |
91.38/91.40	c |    757429 |     900    60159   195522 |        1    66254     31 |  0.000 % |
91.38/91.40	c |    780436 |     900    60159   195522 |        1    89261     35 |  0.000 % |
91.38/91.40	c |    800617 |     900    60159   195522 |        1   109442     37 |  0.000 % |
91.38/91.40	c |    802020 |     900    60159   195522 |        1   110845     38 |  0.000 % |
91.38/91.40	c |    802122 |     900    60159   195522 |        1   110947     38 |  0.000 % |
91.38/91.40	c |    815031 |     900    60159   195522 |        1    62664     28 |  0.000 % |
91.38/91.40	c |    816118 |     900    60159   195522 |        1    63751     28 |  0.000 % |
129.18/129.29	c |    824631 |     900    60159   195522 |        1    72264     31 |  0.000 % |
129.18/129.29	c |    834037 |     900    60159   195522 |        1    81670     32 |  0.000 % |
129.18/129.29	c |    841000 |     900    60159   195522 |        1    88633     33 |  0.000 % |
129.18/129.29	c |    853272 |     900    60159   195522 |        1   100905     35 |  0.000 % |
129.18/129.29	c |    866456 |     900    60159   195522 |        1   114089     37 |  0.000 % |
129.18/129.29	c |    866754 |     900    60159   195522 |        1   114387     37 |  0.000 % |
129.18/129.29	c |    867283 |     900    60159   195522 |        1   114916     37 |  0.000 % |
129.18/129.29	c |    867674 |     900    60159   195522 |        1   115307     37 |  0.000 % |
129.18/129.29	c |    879469 |     900    60159   195522 |        1   127102     39 |  0.000 % |
129.18/129.29	c |    901039 |     900    60159   195522 |        1    84864     33 |  0.000 % |
129.18/129.29	c |    901235 |     900    60159   195522 |        1    85060     33 |  0.000 % |
129.18/129.29	c |    901345 |     900    60159   195522 |        1    85170     33 |  0.000 % |
129.18/129.29	c |    904002 |     900    60159   195522 |        1    87827     34 |  0.000 % |
129.18/129.29	c |    905143 |     900    60159   195522 |        1    88968     34 |  0.000 % |
129.18/129.29	c |    905514 |     900    60159   195522 |        1    89339     34 |  0.000 % |
129.18/129.29	c |    910926 |     900    60159   195522 |        1    94751     35 |  0.000 % |
129.18/129.29	c |    911128 |     900    60159   195522 |        1    94953     35 |  0.000 % |
129.18/129.29	c |    911231 |     900    60159   195522 |        1    95056     35 |  0.000 % |
129.18/129.29	c |    915775 |     900    60159   195522 |        1    99600     36 |  0.000 % |
129.18/129.29	c |    931857 |     900    60159   195522 |        1   115682     38 |  0.000 % |
129.18/129.29	c |    943342 |     900    60159   195522 |        1   127167     39 |  0.000 % |
129.18/129.29	c |    946368 |     900    60159   195522 |        1   130193     39 |  0.000 % |
129.18/129.29	c |    947803 |     900    60159   195522 |        1   131628     39 |  0.000 % |
129.18/129.29	c |    947903 |     900    60159   195522 |        1   131728     40 |  0.000 % |
129.18/129.29	c |    951933 |     900    60159   195522 |        1    69349     28 |  0.000 % |
129.18/129.29	c |    961492 |     900    60159   195522 |        1    78908     32 |  0.000 % |
129.18/129.29	c |    973935 |     900    60159   195522 |        1    91351     33 |  0.000 % |
129.18/129.29	c |    987818 |     900    60159   195522 |        1   105234     35 |  0.000 % |
129.18/129.29	c |    989154 |     900    60159   195522 |        1   106570     35 |  0.000 % |
129.18/129.29	c |    989480 |     900    60159   195522 |        1   106896     35 |  0.000 % |
129.18/129.29	c |    991765 |     900    60159   195522 |        1   109181     35 |  0.000 % |
129.18/129.29	c |    995812 |     900    60159   195522 |        1   113228     36 |  0.000 % |
129.18/129.29	c |   1005244 |     900    60159   195522 |        1   122660     37 |  0.000 % |
129.18/129.29	c |   1005578 |     900    60159   195522 |        1   122994     37 |  0.000 % |
129.18/129.29	c |   1007957 |     900    60159   195522 |        1   125373     38 |  0.000 % |
129.18/129.29	c |   1012750 |     900    60159   195522 |        1   130166     39 |  0.000 % |
129.18/129.29	c |   1025050 |     900    60159   195522 |        1    73473     28 |  0.000 % |
129.18/129.29	c |   1025744 |     900    60159   195522 |        1    74167     29 |  0.000 % |
129.18/129.29	c |   1038346 |     900    60159   195522 |        1    86769     31 |  0.000 % |
129.18/129.29	c |   1038517 |     900    60159   195522 |        1    86940     32 |  0.000 % |
129.18/129.29	c |   1044120 |     900    60159   195522 |        1    92543     33 |  0.000 % |
129.18/129.29	c |   1044259 |     900    60159   195522 |        1    92682     33 |  0.000 % |
129.18/129.29	c |   1044902 |     900    60159   195522 |        1    93325     33 |  0.000 % |
129.18/129.29	c |   1055176 |     900    60159   195522 |        1   103599     35 |  0.000 % |
129.18/129.29	c |   1056255 |     900    60159   195522 |        1   104678     36 |  0.000 % |
129.18/129.29	c |   1056464 |     900    60159   195522 |        1   104887     36 |  0.000 % |
129.18/129.29	c |   1056569 |     900    60159   195522 |        1   104992     36 |  0.000 % |
129.18/129.29	c |   1089224 |     900    60159   195522 |        1   137647     40 |  0.000 % |
129.18/129.29	c |   1095866 |     900    60159   195522 |        1    72684     28 |  0.000 % |
129.18/129.29	c |   1101813 |     900    60159   195522 |        1    78631     29 |  0.000 % |
169.78/169.89	c |   1105084 |     900    60159   195522 |        1    81902     31 |  0.000 % |
169.78/169.89	c |   1105607 |     900    60159   195522 |        1    82425     31 |  0.000 % |
169.78/169.89	c |   1106612 |     900    60159   195522 |        1    83430     31 |  0.000 % |
169.78/169.89	c |   1117556 |     900    60159   195522 |        1    94374     33 |  0.000 % |
169.78/169.89	c |   1124595 |     900    60159   195522 |        1   101413     34 |  0.000 % |
169.78/169.89	c |   1151483 |     900    60159   195522 |        1   128301     36 |  0.000 % |
169.78/169.89	c |   1167863 |     900    60159   195522 |        1   144681     37 |  0.000 % |
169.78/169.89	c |   1170134 |     900    60159   195522 |        1   146952     37 |  0.000 % |
169.78/169.89	c |   1174931 |     900    60159   195522 |        1    77544     27 |  0.000 % |
169.78/169.89	c |   1176936 |     900    60159   195522 |        1    79549     27 |  0.000 % |
169.78/169.89	c |   1180118 |     900    60159   195522 |        1    82731     28 |  0.000 % |
169.78/169.89	c |   1180299 |     900    60159   195522 |        1    82912     28 |  0.000 % |
169.78/169.89	c |   1189945 |     900    60159   195522 |        1    92558     31 |  0.000 % |
169.78/169.89	c |   1190047 |     900    60159   195522 |        1    92660     31 |  0.000 % |
169.78/169.89	c |   1192815 |     900    60159   195522 |        1    95428     31 |  0.000 % |
169.78/169.89	c |   1196346 |     900    60159   195522 |        1    98959     32 |  0.000 % |
169.78/169.89	c |   1205291 |     900    60159   195522 |        1   107904     34 |  0.000 % |
169.78/169.89	c |   1210767 |     900    60159   195522 |        1   113380     34 |  0.000 % |
169.78/169.89	c |   1210867 |     900    60159   195522 |        1   113480     34 |  0.000 % |
169.78/169.89	c |   1240261 |     900    60159   195522 |        1   142874     37 |  0.000 % |
169.78/169.89	c |   1240362 |     900    60159   195522 |        1   142975     37 |  0.000 % |
169.78/169.89	c |   1240464 |     900    60159   195522 |        1   143077     37 |  0.000 % |
169.78/169.89	c |   1241361 |     900    60159   195522 |        1   143974     38 |  0.000 % |
169.78/169.89	c |   1241463 |     900    60159   195522 |        1   144076     38 |  0.000 % |
169.78/169.89	c |   1243497 |     900    60159   195522 |        1   146110     38 |  0.000 % |
169.78/169.89	c |   1248979 |     900    60159   195522 |        1   151592     38 |  0.000 % |
169.78/169.89	c |   1259785 |     900    60159   195522 |        1    85600     28 |  0.000 % |
169.78/169.89	c |   1259885 |     900    60159   195522 |        1    85700     28 |  0.000 % |
169.78/169.89	c |   1268448 |     900    60159   195522 |        1    94263     30 |  0.000 % |
169.78/169.89	c |   1269923 |     900    60159   195522 |        1    95738     30 |  0.000 % |
169.78/169.89	c |   1270166 |     900    60159   195522 |        1    95981     30 |  0.000 % |
169.78/169.89	c |   1273954 |     900    60159   195522 |        1    99769     31 |  0.000 % |
169.78/169.89	c |   1288036 |     900    60159   195522 |        1   113851     33 |  0.000 % |
169.78/169.89	c |   1317233 |     900    60159   195522 |        1   143048     37 |  0.000 % |
169.78/169.89	c |   1317348 |     900    60159   195522 |        1   143163     37 |  0.000 % |
169.78/169.89	c |   1317548 |     900    60159   195522 |        1   143363     37 |  0.000 % |
169.78/169.89	c |   1319623 |     900    60159   195522 |        1   145438     37 |  0.000 % |
169.78/169.89	c |   1321401 |     900    60159   195522 |        1   147216     37 |  0.000 % |
169.78/169.89	c |   1323944 |     900    60159   195522 |        1   149759     37 |  0.000 % |
169.78/169.89	c |   1324751 |     900    60159   195522 |        1   150566     37 |  0.000 % |
169.78/169.89	c |   1325723 |     900    60159   195522 |        1   151538     38 |  0.000 % |
169.78/169.89	c |   1330965 |     900    60159   195522 |        1   156780     38 |  0.000 % |
169.78/169.89	c |   1339743 |     900    60159   195522 |        1    86159     27 |  0.000 % |
169.78/169.89	c |   1341288 |     900    60159   195522 |        1    87704     28 |  0.000 % |
169.78/169.89	c |   1346738 |     900    60159   195522 |        1    93154     30 |  0.000 % |
169.78/169.89	c |   1349255 |     900    60159   195522 |        1    95671     30 |  0.000 % |
169.78/169.89	c |   1349358 |     900    60159   195522 |        1    95774     30 |  0.000 % |
169.78/169.89	c |   1350834 |     900    60159   195522 |        1    97250     31 |  0.000 % |
169.78/169.89	c |   1350934 |     900    60159   195522 |        1    97350     31 |  0.000 % |
169.78/169.89	c |   1354483 |     900    60159   195522 |        1   100899     31 |  0.000 % |
217.98/218.08	c |   1359404 |     900    60159   195522 |        1   105820     33 |  0.000 % |
217.98/218.08	c |   1359504 |     900    60159   195522 |        1   105920     33 |  0.000 % |
217.98/218.08	c |   1389663 |     900    60159   195522 |        1   136079     38 |  0.000 % |
217.98/218.08	c |   1399214 |     900    60159   195522 |        1   145630     39 |  0.000 % |
217.98/218.08	c |   1399316 |     900    60159   195522 |        1   145732     39 |  0.000 % |
217.98/218.08	c |   1399912 |     900    60159   195522 |        1   146328     39 |  0.000 % |
217.98/218.08	c |   1411583 |     900    60159   195522 |        1   157999     40 |  0.000 % |
217.98/218.08	c |   1414610 |     900    60159   195522 |        1   161026     41 |  0.000 % |
217.98/218.08	c |   1466326 |     900    60159   195522 |        1   130746     37 |  0.000 % |
217.98/218.08	c |   1468269 |     900    60159   195522 |        1   132689     37 |  0.000 % |
217.98/218.08	c |   1488164 |     900    60159   195522 |        1   152584     38 |  0.000 % |
217.98/218.08	c |   1488264 |     900    60159   195522 |        1   152684     38 |  0.000 % |
217.98/218.08	c |   1495673 |     900    60159   195522 |        1   160093     39 |  0.000 % |
217.98/218.08	c |   1495909 |     900    60159   195522 |        1   160329     39 |  0.000 % |
217.98/218.08	c |   1496098 |     900    60159   195522 |        1   160518     39 |  0.000 % |
217.98/218.08	c |   1502139 |     900    60159   195522 |        1   166559     39 |  0.000 % |
217.98/218.08	c |   1502240 |     900    60159   195522 |        1   166660     39 |  0.000 % |
217.98/218.08	c |   1515648 |     900    60159   195522 |        1    95469     28 |  0.000 % |
217.98/218.08	c |   1521478 |     900    60159   195522 |        1   101299     29 |  0.000 % |
217.98/218.08	c |   1530626 |     900    60159   195522 |        1   110447     31 |  0.000 % |
217.98/218.08	c |   1535587 |     900    60159   195522 |        1   115408     32 |  0.000 % |
217.98/218.08	c |   1535689 |     900    60159   195522 |        1   115510     32 |  0.000 % |
217.98/218.08	c |   1535882 |     900    60159   195522 |        1   115703     32 |  0.000 % |
217.98/218.08	c |   1541655 |     900    60159   195522 |        1   121476     33 |  0.000 % |
217.98/218.08	c |   1541756 |     900    60159   195522 |        1   121577     33 |  0.000 % |
217.98/218.08	c |   1544941 |     900    60159   195522 |        1   124762     33 |  0.000 % |
217.98/218.08	c |   1545041 |     900    60159   195522 |        1   124862     33 |  0.000 % |
217.98/218.08	c |   1545320 |     900    60159   195522 |        1   125141     33 |  0.000 % |
217.98/218.08	c |   1555664 |     900    60159   195522 |        1   135485     35 |  0.000 % |
217.98/218.08	c |   1569120 |     900    60159   195522 |        1   148941     36 |  0.000 % |
217.98/218.08	c |   1586268 |     900    60159   195522 |        1   166089     37 |  0.000 % |
217.98/218.08	c |   1588914 |     900    60159   195522 |        1   168735     37 |  0.000 % |
217.98/218.08	c |   1589014 |     900    60159   195522 |        1   168835     37 |  0.000 % |
217.98/218.08	c |   1589287 |     900    60159   195522 |        1   169108     37 |  0.000 % |
217.98/218.08	c |   1597632 |     900    60159   195522 |        1    90248     26 |  0.000 % |
217.98/218.08	c |   1597733 |     900    60159   195522 |        1    90349     26 |  0.000 % |
217.98/218.08	c |   1598261 |     900    60159   195522 |        1    90877     26 |  0.000 % |
217.98/218.08	c |   1598361 |     900    60159   195522 |        1    90977     26 |  0.000 % |
217.98/218.08	c |   1611197 |     900    60159   195522 |        1   103813     28 |  0.000 % |
217.98/218.08	c |   1628686 |     900    60159   195522 |        1   121302     29 |  0.000 % |
217.98/218.08	c |   1629181 |     900    60159   195522 |        1   121797     30 |  0.000 % |
217.98/218.08	c |   1631127 |     900    60159   195522 |        1   123743     30 |  0.000 % |
217.98/218.08	c |   1634095 |     900    60159   195522 |        1   126711     30 |  0.000 % |
217.98/218.08	c |   1634464 |     900    60159   195522 |        1   127080     30 |  0.000 % |
217.98/218.08	c |   1634720 |     900    60159   195522 |        1   127336     30 |  0.000 % |
217.98/218.08	c |   1635047 |     900    60159   195522 |        1   127663     30 |  0.000 % |
217.98/218.08	c |   1638070 |     900    60159   195522 |        1   130686     31 |  0.000 % |
217.98/218.08	c |   1638369 |     900    60159   195522 |        1   130985     31 |  0.000 % |
217.98/218.08	c |   1642528 |     900    60159   195522 |        1   135144     31 |  0.000 % |
217.98/218.08	c |   1643630 |     900    60159   195522 |        1   136246     32 |  0.000 % |
256.09/256.10	c |   1643731 |     900    60159   195522 |        1   136347     32 |  0.000 % |
256.09/256.10	c |   1643831 |     900    60159   195522 |        1   136447     32 |  0.000 % |
256.09/256.10	c |   1643944 |     900    60159   195522 |        1   136560     32 |  0.000 % |
256.09/256.10	c |   1644792 |     900    60159   195522 |        1   137408     32 |  0.000 % |
256.09/256.10	c |   1644893 |     900    60159   195522 |        1   137509     32 |  0.000 % |
256.09/256.10	c |   1645161 |     900    60159   195522 |        1   137777     32 |  0.000 % |
256.09/256.10	c |   1659805 |     900    60159   195522 |        1   152421     34 |  0.000 % |
256.09/256.10	c |   1661124 |     900    60159   195522 |        1   153740     34 |  0.000 % |
256.09/256.10	c |   1661483 |     900    60159   195522 |        1   154099     34 |  0.000 % |
256.09/256.10	c |   1667258 |     900    60159   195522 |        1   159874     35 |  0.000 % |
256.09/256.10	c |   1668674 |     900    60159   195522 |        1   161290     35 |  0.000 % |
256.09/256.10	c |   1670686 |     900    60159   195522 |        1   163302     35 |  0.000 % |
256.09/256.10	c |   1670786 |     900    60159   195522 |        1   163402     35 |  0.000 % |
256.09/256.10	c |   1672068 |     900    60159   195522 |        1   164684     36 |  0.000 % |
256.09/256.10	c |   1687039 |     900    60159   195522 |        1    89864     25 |  0.000 % |
256.09/256.10	c |   1688168 |     900    60159   195522 |        1    90993     26 |  0.000 % |
256.09/256.10	c |   1688351 |     900    60159   195522 |        1    91176     26 |  0.000 % |
256.09/256.10	c |   1692947 |     900    60159   195522 |        1    95772     27 |  0.000 % |
256.09/256.10	c |   1700014 |     900    60159   195522 |        1   102839     29 |  0.000 % |
256.09/256.10	c |   1714136 |     900    60159   195522 |        1   116961     32 |  0.000 % |
256.09/256.10	c |   1714669 |     900    60159   195522 |        1   117494     32 |  0.000 % |
256.09/256.10	c |   1726841 |     900    60159   195522 |        1   129666     33 |  0.000 % |
256.09/256.10	c |   1729926 |     900    60159   195522 |        1   132751     34 |  0.000 % |
256.09/256.10	c |   1734427 |     900    60159   195522 |        1   137252     34 |  0.000 % |
256.09/256.10	c |   1739289 |     900    60159   195522 |        1   142114     35 |  0.000 % |
256.09/256.10	c |   1739568 |     900    60159   195522 |        1   142393     35 |  0.000 % |
256.09/256.10	c |   1752664 |     900    60159   195522 |        1   155489     36 |  0.000 % |
256.09/256.10	c |   1757631 |     900    60159   195522 |        1   160456     37 |  0.000 % |
256.09/256.10	c |   1757731 |     900    60159   195522 |        1   160556     37 |  0.000 % |
256.09/256.10	c |   1757831 |     900    60159   195522 |        1   160656     37 |  0.000 % |
256.09/256.10	c |   1772831 |     900    60159   195522 |        1   175656     38 |  0.000 % |
256.09/256.10	c |   1774385 |     900    60159   195522 |        1   177210     38 |  0.000 % |
256.09/256.10	c |   1775867 |     900    60159   195522 |        1   178692     38 |  0.000 % |
256.09/256.10	c |   1776946 |     900    60159   195522 |        1   179771     38 |  0.000 % |
256.09/256.10	c |   1826315 |     900    60159   195522 |        1   136733     33 |  0.000 % |
256.09/256.10	c |   1829082 |     900    60159   195522 |        1   139500     34 |  0.000 % |
256.09/256.10	c |   1829182 |     900    60159   195522 |        1   139600     34 |  0.000 % |
256.09/256.10	c |   1829284 |     900    60159   195522 |        1   139702     34 |  0.000 % |
256.09/256.10	c |   1831090 |     900    60159   195522 |        1   141508     34 |  0.000 % |
256.09/256.10	c |   1835190 |     900    60159   195522 |        1   145608     35 |  0.000 % |
256.09/256.10	c |   1843352 |     900    60159   195522 |        1   153770     36 |  0.000 % |
256.09/256.10	c |   1845145 |     900    60159   195522 |        1   155563     36 |  0.000 % |
256.09/256.10	c |   1845497 |     900    60159   195522 |        1   155915     36 |  0.000 % |
256.09/256.10	c |   1846921 |     900    60159   195522 |        1   157339     36 |  0.000 % |
256.09/256.10	c |   1847048 |     900    60159   195522 |        1   157466     36 |  0.000 % |
256.09/256.10	c |   1856975 |     900    60159   195522 |        1   167393     37 |  0.000 % |
256.09/256.10	c |   1857076 |     900    60159   195522 |        1   167494     37 |  0.000 % |
256.09/256.10	c |   1862007 |     900    60159   195522 |        1   172425     37 |  0.000 % |
256.09/256.10	c |   1862108 |     900    60159   195522 |        1   172526     37 |  0.000 % |
256.09/256.10	c |   1875533 |     900    60159   195522 |        1   185951     38 |  0.000 % |
280.89/280.95	c |   1876507 |     900    60159   195522 |        1   186925     38 |  0.000 % |
280.89/280.95	c |   1889097 |     900    60159   195522 |        1   104512     28 |  0.000 % |
280.89/280.95	c |   1893421 |     900    60159   195522 |        1   108836     28 |  0.000 % |
280.89/280.95	c |   1895019 |     900    60159   195522 |        1   110434     29 |  0.000 % |
280.89/280.95	c |   1895119 |     900    60159   195522 |        1   110534     29 |  0.000 % |
280.89/280.95	c |   1895541 |     900    60159   195522 |        1   110956     29 |  0.000 % |
280.89/280.95	c |   1895643 |     900    60159   195522 |        1   111058     29 |  0.000 % |
280.89/280.95	c |   1895748 |     900    60159   195522 |        1   111163     29 |  0.000 % |
280.89/280.95	c |   1896215 |     900    60159   195522 |        1   111630     29 |  0.000 % |
280.89/280.95	c |   1896847 |     900    60159   195522 |        1   112262     29 |  0.000 % |
280.89/280.95	c |   1899685 |     900    60159   195522 |        1   115100     29 |  0.000 % |
280.89/280.95	c |   1900353 |     900    60159   195522 |        1   115768     30 |  0.000 % |
280.89/280.95	c |   1900512 |     900    60159   195522 |        1   115927     30 |  0.000 % |
280.89/280.95	c |   1901144 |     900    60159   195522 |        1   116559     30 |  0.000 % |
280.89/280.95	c |   1901419 |     900    60159   195522 |        1   116834     30 |  0.000 % |
280.89/280.95	c |   1901519 |     900    60159   195522 |        1   116934     30 |  0.000 % |
280.89/280.95	c |   1902414 |     900    60159   195522 |        1   117829     30 |  0.000 % |
280.89/280.95	c |   1910815 |     900    60159   195522 |        1   126230     31 |  0.000 % |
280.89/280.95	c |   1912060 |     900    60159   195522 |        1   127475     32 |  0.000 % |
280.89/280.95	c |   1912943 |     900    60159   195522 |        1   128358     32 |  0.000 % |
280.89/280.95	c |   1913380 |     900    60159   195522 |        1   128795     32 |  0.000 % |
280.89/280.95	c |   1915458 |     900    60159   195522 |        1   130873     32 |  0.000 % |
280.89/280.95	c |   1917396 |     900    60159   195522 |        1   132811     32 |  0.000 % |
280.89/280.95	c |   1917498 |     900    60159   195522 |        1   132913     32 |  0.000 % |
280.89/280.95	c |   1917643 |     900    60159   195522 |        1   133058     32 |  0.000 % |
280.89/280.95	c |   1918437 |     900    60159   195522 |        1   133852     33 |  0.000 % |
280.89/280.95	c |   1921375 |     900    60159   195522 |        1   136790     33 |  0.000 % |
280.89/280.95	c |   1926250 |     900    60159   195522 |        1   141665     34 |  0.000 % |
280.89/280.95	c |   1927294 |     900    60159   195522 |        1   142709     34 |  0.000 % |
280.89/280.95	c |   1927395 |     900    60159   195522 |        1   142810     34 |  0.000 % |
280.89/280.95	c |   1928205 |     900    60159   195522 |        1   143620     34 |  0.000 % |
280.89/280.95	c |   1938968 |     900    60159   195522 |        1   154383     35 |  0.000 % |
280.89/280.95	c |   1941612 |     900    60159   195522 |        1   157027     35 |  0.000 % |
280.89/280.95	c |   1941983 |     900    60159   195522 |        1   157398     36 |  0.000 % |
280.89/280.95	c |   1942087 |     900    60159   195522 |        1   157502     36 |  0.000 % |
280.89/280.95	c |   1942188 |     900    60159   195522 |        1   157603     36 |  0.000 % |
280.89/280.95	c |   1943720 |     900    60159   195522 |        1   159135     36 |  0.000 % |
280.89/280.95	c |   1944523 |     900    60159   195522 |        1   159938     36 |  0.000 % |
280.89/280.95	c |   1950858 |     900    60159   195522 |        1   166273     37 |  0.000 % |
280.89/280.95	c |   1950968 |     900    60159   195522 |        1   166383     37 |  0.000 % |
280.89/280.95	c |   1957265 |     900    60159   195522 |        1   172680     38 |  0.000 % |
280.89/280.95	c |   1996229 |     900    60159   195522 |        1   114052     28 |  0.000 % |
280.89/280.95	c |   1997823 |     900    60159   195522 |        1   115646     29 |  0.000 % |
280.89/280.95	c |   1998277 |     900    60159   195522 |        1   116100     29 |  0.000 % |
280.89/280.95	c |   1998589 |     900    60159   195522 |        1   116412     29 |  0.000 % |
280.89/280.95	c |   2000135 |     900    60159   195522 |        1   117958     29 |  0.000 % |
280.89/280.95	c |   2009765 |     900    60159   195522 |        1   127588     31 |  0.000 % |
280.89/280.95	c |   2017057 |     900    60159   195522 |        1   134880     32 |  0.000 % |
280.89/280.95	c |   2017963 |     900    60159   195522 |        1   135786     32 |  0.000 % |
280.89/280.95	c |   2018941 |     900    60159   195522 |        1   136764     32 |  0.000 % |
315.49/315.51	c |   2019148 |     900    60159   195522 |        1   136971     32 |  0.000 % |
315.49/315.51	c |   2019250 |     900    60159   195522 |        1   137073     32 |  0.000 % |
315.49/315.51	c |   2019685 |     900    60159   195522 |        1   137508     32 |  0.000 % |
315.49/315.51	c |   2025938 |     900    60159   195522 |        1   143761     33 |  0.000 % |
315.49/315.51	c |   2029848 |     900    60159   195522 |        1   147671     34 |  0.000 % |
315.49/315.51	c |   2032676 |     900    60159   195522 |        1   150499     34 |  0.000 % |
315.49/315.51	c |   2032777 |     900    60159   195522 |        1   150600     34 |  0.000 % |
315.49/315.51	c |   2033538 |     900    60159   195522 |        1   151361     34 |  0.000 % |
315.49/315.51	c |   2038180 |     900    60159   195522 |        1   156003     35 |  0.000 % |
315.49/315.51	c |   2038475 |     900    60159   195522 |        1   156298     35 |  0.000 % |
315.49/315.51	c |   2038793 |     900    60159   195522 |        1   156616     35 |  0.000 % |
315.49/315.51	c |   2038923 |     900    60159   195522 |        1   156746     35 |  0.000 % |
315.49/315.51	c |   2039951 |     900    60159   195522 |        1   157774     35 |  0.000 % |
315.49/315.51	c |   2040842 |     900    60159   195522 |        1   158665     35 |  0.000 % |
315.49/315.51	c |   2046260 |     900    60159   195522 |        1   164083     36 |  0.000 % |
315.49/315.51	c |   2047998 |     900    60159   195522 |        1   165821     36 |  0.000 % |
315.49/315.51	c |   2051746 |     900    60159   195522 |        1   169569     36 |  0.000 % |
315.49/315.51	c |   2056995 |     900    60159   195522 |        1   174818     37 |  0.000 % |
315.49/315.51	c |   2057351 |     900    60159   195522 |        1   175174     37 |  0.000 % |
315.49/315.51	c |   2057639 |     900    60159   195522 |        1   175462     37 |  0.000 % |
315.49/315.51	c |   2065130 |     900    60159   195522 |        1   182953     38 |  0.000 % |
315.49/315.51	c |   2067604 |     900    60159   195522 |        1   185427     38 |  0.000 % |
315.49/315.51	c |   2071748 |     900    60159   195522 |        1   189571     38 |  0.000 % |
315.49/315.51	c |   2072152 |     900    60159   195522 |        1   189975     38 |  0.000 % |
315.49/315.51	c |   2072254 |     900    60159   195522 |        1   190077     38 |  0.000 % |
315.49/315.51	c |   2072452 |     900    60159   195522 |        1   190275     38 |  0.000 % |
315.49/315.51	c |   2073023 |     900    60159   195522 |        1   190846     38 |  0.000 % |
315.49/315.51	c |   2073165 |     900    60159   195522 |        1   190988     38 |  0.000 % |
315.49/315.51	c |   2074591 |     900    60159   195522 |        1   192414     38 |  0.000 % |
315.49/315.51	c |   2074691 |     900    60159   195522 |        1   192514     38 |  0.000 % |
315.49/315.51	c |   2076833 |     900    60159   195522 |        1   194656     39 |  0.000 % |
315.49/315.51	c |   2076966 |     900    60159   195522 |        1   194789     39 |  0.000 % |
315.49/315.51	c |   2079838 |     900    60159   195522 |        1   197661     39 |  0.000 % |
315.49/315.51	c |   2109488 |     900    60159   195522 |        1   127114     32 |  0.000 % |
315.49/315.51	c |   2112055 |     900    60159   195522 |        1   129681     33 |  0.000 % |
315.49/315.51	c |   2147009 |     900    60159   195522 |        1   164635     37 |  0.000 % |
315.49/315.51	c |   2162385 |     900    60159   195522 |        1   180011     38 |  0.000 % |
315.49/315.51	c |   2171409 |     900    60159   195522 |        1   189035     39 |  0.000 % |
315.49/315.51	c |   2171683 |     900    60159   195522 |        1   189309     39 |  0.000 % |
315.49/315.51	c |   2171784 |     900    60159   195522 |        1   189410     39 |  0.000 % |
315.49/315.51	c |   2175576 |     900    60159   195522 |        1   193202     39 |  0.000 % |
315.49/315.51	c |   2175934 |     900    60159   195522 |        1   193560     39 |  0.000 % |
315.49/315.51	c |   2176081 |     900    60159   195522 |        1   193707     39 |  0.000 % |
315.49/315.51	c |   2176561 |     900    60159   195522 |        1   194187     39 |  0.000 % |
315.49/315.51	c |   2190447 |     900    60159   195522 |        1   105272     27 |  0.000 % |
315.49/315.51	c |   2192827 |     900    60159   195522 |        1   107652     27 |  0.000 % |
315.49/315.51	c |   2192927 |     900    60159   195522 |        1   107752     27 |  0.000 % |
315.49/315.51	c |   2195127 |     900    60159   195522 |        1   109952     28 |  0.000 % |
315.49/315.51	c |   2215906 |     900    60159   195522 |        1   130731     32 |  0.000 % |
368.39/368.49	c |   2217488 |     900    60159   195522 |        1   132313     32 |  0.000 % |
368.39/368.49	c |   2217588 |     900    60159   195522 |        1   132413     32 |  0.000 % |
368.39/368.49	c |   2222923 |     900    60159   195522 |        1   137748     33 |  0.000 % |
368.39/368.49	c |   2237370 |     900    60159   195522 |        1   152195     36 |  0.000 % |
368.39/368.49	c |   2237487 |     900    60159   195522 |        1   152312     36 |  0.000 % |
368.39/368.49	c |   2245780 |     900    60159   195522 |        1   160605     36 |  0.000 % |
368.39/368.49	c |   2275332 |     900    60159   195522 |        1   190157     38 |  0.000 % |
368.39/368.49	c |   2280114 |     900    60159   195522 |        1   194939     39 |  0.000 % |
368.39/368.49	c |   2280293 |     900    60159   195522 |        1   195118     39 |  0.000 % |
368.39/368.49	c |   2290802 |     900    60159   195522 |        1   205627     39 |  0.000 % |
368.39/368.49	c |   2291383 |     900    60159   195522 |        1   206208     39 |  0.000 % |
368.39/368.49	c |   2291785 |     900    60159   195522 |        1   206610     40 |  0.000 % |
368.39/368.49	c |   2304038 |     900    60159   195522 |        1   113468     28 |  0.000 % |
368.39/368.49	c |   2304140 |     900    60159   195522 |        1   113570     28 |  0.000 % |
368.39/368.49	c |   2313874 |     900    60159   195522 |        1   123304     31 |  0.000 % |
368.39/368.49	c |   2314831 |     900    60159   195522 |        1   124261     31 |  0.000 % |
368.39/368.49	c |   2314937 |     900    60159   195522 |        1   124367     31 |  0.000 % |
368.39/368.49	c |   2322261 |     900    60159   195522 |        1   131691     33 |  0.000 % |
368.39/368.49	c |   2323064 |     900    60159   195522 |        1   132494     33 |  0.000 % |
368.39/368.49	c |   2323164 |     900    60159   195522 |        1   132594     33 |  0.000 % |
368.39/368.49	c |   2323264 |     900    60159   195522 |        1   132694     33 |  0.000 % |
368.39/368.49	c |   2328443 |     900    60159   195522 |        1   137873     34 |  0.000 % |
368.39/368.49	c |   2331155 |     900    60159   195522 |        1   140585     34 |  0.000 % |
368.39/368.49	c |   2332799 |     900    60159   195522 |        1   142229     34 |  0.000 % |
368.39/368.49	c |   2337181 |     900    60159   195522 |        1   146611     35 |  0.000 % |
368.39/368.49	c |   2340521 |     900    60159   195522 |        1   149951     35 |  0.000 % |
368.39/368.49	c |   2347821 |     900    60159   195522 |        1   157251     36 |  0.000 % |
368.39/368.49	c |   2352503 |     900    60159   195522 |        1   161933     37 |  0.000 % |
368.39/368.49	c |   2367584 |     900    60159   195522 |        1   177014     37 |  0.000 % |
368.39/368.49	c |   2367684 |     900    60159   195522 |        1   177114     37 |  0.000 % |
368.39/368.49	c |   2367785 |     900    60159   195522 |        1   177215     37 |  0.000 % |
368.39/368.49	c |   2367887 |     900    60159   195522 |        1   177317     37 |  0.000 % |
368.39/368.49	c |   2370266 |     900    60159   195522 |        1   179696     38 |  0.000 % |
368.39/368.49	c |   2394336 |     900    60159   195522 |        1   203766     39 |  0.000 % |
368.39/368.49	c |   2401899 |     900    60159   195522 |        1   211329     39 |  0.000 % |
368.39/368.49	c |   2421052 |     900    60159   195522 |        1   122476     29 |  0.000 % |
368.39/368.49	c |   2428303 |     900    60159   195522 |        1   129727     30 |  0.000 % |
368.39/368.49	c |   2432764 |     900    60159   195522 |        1   134188     31 |  0.000 % |
368.39/368.49	c |   2434495 |     900    60159   195522 |        1   135919     31 |  0.000 % |
368.39/368.49	c |   2434815 |     900    60159   195522 |        1   136239     31 |  0.000 % |
368.39/368.49	c |   2437098 |     900    60159   195522 |        1   138522     31 |  0.000 % |
368.39/368.49	c |   2438696 |     900    60159   195522 |        1   140120     31 |  0.000 % |
368.39/368.49	c |   2438796 |     900    60159   195522 |        1   140220     31 |  0.000 % |
368.39/368.49	c |   2451499 |     900    60159   195522 |        1   152923     33 |  0.000 % |
368.39/368.49	c |   2460397 |     900    60159   195522 |        1   161821     33 |  0.000 % |
368.39/368.49	c |   2461266 |     900    60159   195522 |        1   162690     33 |  0.000 % |
368.39/368.49	c |   2462032 |     900    60159   195522 |        1   163456     33 |  0.000 % |
368.39/368.49	c |   2478643 |     900    60159   195522 |        1   180067     35 |  0.000 % |
368.39/368.49	c |   2486411 |     900    60159   195522 |        1   187835     35 |  0.000 % |
368.39/368.49	c |   2488794 |     900    60159   195522 |        1   190218     36 |  0.000 % |
410.80/410.87	c |   2491225 |     900    60159   195522 |        1   192649     36 |  0.000 % |
410.80/410.87	c |   2492522 |     900    60159   195522 |        1   193946     36 |  0.000 % |
410.80/410.87	c |   2493291 |     900    60159   195522 |        1   194715     36 |  0.000 % |
410.80/410.87	c |   2493391 |     900    60159   195522 |        1   194815     36 |  0.000 % |
410.80/410.87	c |   2499616 |     900    60159   195522 |        1   201040     37 |  0.000 % |
410.80/410.87	c |   2503825 |     900    60159   195522 |        1   205249     37 |  0.000 % |
410.80/410.87	c |   2503925 |     900    60159   195522 |        1   205349     37 |  0.000 % |
410.80/410.87	c |   2504666 |     900    60159   195522 |        1   206090     37 |  0.000 % |
410.80/410.87	c |   2504809 |     900    60159   195522 |        1   206233     37 |  0.000 % |
410.80/410.87	c |   2504910 |     900    60159   195522 |        1   206334     37 |  0.000 % |
410.80/410.87	c |   2509527 |     900    60159   195522 |        1   210951     38 |  0.000 % |
410.80/410.87	c |   2525341 |     900    60159   195522 |        1   116164     26 |  0.000 % |
410.80/410.87	c |   2530716 |     900    60159   195522 |        1   121539     27 |  0.000 % |
410.80/410.87	c |   2566151 |     900    60159   195522 |        1   156974     32 |  0.000 % |
410.80/410.87	c |   2581846 |     900    60159   195522 |        1   172669     34 |  0.000 % |
410.80/410.87	c |   2585817 |     900    60159   195522 |        1   176640     35 |  0.000 % |
410.80/410.87	c |   2592353 |     900    60159   195522 |        1   183176     35 |  0.000 % |
410.80/410.87	c |   2595503 |     900    60159   195522 |        1   186326     35 |  0.000 % |
410.80/410.87	c |   2595833 |     900    60159   195522 |        1   186656     36 |  0.000 % |
410.80/410.87	c |   2598720 |     900    60159   195522 |        1   189543     36 |  0.000 % |
410.80/410.87	c |   2601493 |     900    60159   195522 |        1   192316     36 |  0.000 % |
410.80/410.87	c |   2601595 |     900    60159   195522 |        1   192418     36 |  0.000 % |
410.80/410.87	c |   2602405 |     900    60159   195522 |        1   193228     36 |  0.000 % |
410.80/410.87	c |   2602637 |     900    60159   195522 |        1   193460     36 |  0.000 % |
410.80/410.87	c |   2602756 |     900    60159   195522 |        1   193579     36 |  0.000 % |
410.80/410.87	c |   2610669 |     900    60159   195522 |        1   201492     37 |  0.000 % |
410.80/410.87	c |   2614534 |     900    60159   195522 |        1   205357     37 |  0.000 % |
410.80/410.87	c |   2615115 |     900    60159   195522 |        1   205938     37 |  0.000 % |
410.80/410.87	c |   2622038 |     900    60159   195522 |        1   212861     37 |  0.000 % |
410.80/410.87	c |   2633838 |     900    60159   195522 |        1   224661     38 |  0.000 % |
410.80/410.87	c |   2641224 |     900    60159   195522 |        1   118839     26 |  0.000 % |
410.80/410.87	c |   2641324 |     900    60159   195522 |        1   118939     26 |  0.000 % |
410.80/410.87	c |   2642166 |     900    60159   195522 |        1   119781     27 |  0.000 % |
410.80/410.87	c |   2642379 |     900    60159   195522 |        1   119994     27 |  0.000 % |
410.80/410.87	c |   2643296 |     900    60159   195522 |        1   120911     27 |  0.000 % |
410.80/410.87	c |   2644169 |     900    60159   195522 |        1   121784     27 |  0.000 % |
410.80/410.87	c |   2650650 |     900    60159   195522 |        1   128265     28 |  0.000 % |
410.80/410.87	c |   2650889 |     900    60159   195522 |        1   128504     28 |  0.000 % |
410.80/410.87	c |   2653038 |     900    60159   195522 |        1   130653     28 |  0.000 % |
410.80/410.87	c |   2655168 |     900    60159   195522 |        1   132783     28 |  0.000 % |
410.80/410.87	c |   2673381 |     900    60159   195522 |        1   150996     32 |  0.000 % |
410.80/410.87	c |   2682174 |     900    60159   195522 |        1   159789     33 |  0.000 % |
410.80/410.87	c |   2683416 |     900    60159   195522 |        1   161031     33 |  0.000 % |
410.80/410.87	c |   2683516 |     900    60159   195522 |        1   161131     33 |  0.000 % |
410.80/410.87	c |   2683803 |     900    60159   195522 |        1   161418     33 |  0.000 % |
410.80/410.87	c |   2683904 |     900    60159   195522 |        1   161519     33 |  0.000 % |
410.80/410.87	c |   2698167 |     900    60159   195522 |        1   175782     36 |  0.000 % |
410.80/410.87	c |   2702591 |     900    60159   195522 |        1   180206     36 |  0.000 % |
410.80/410.87	c |   2705327 |     900    60159   195522 |        1   182942     37 |  0.000 % |
410.80/410.87	c |   2708662 |     900    60159   195522 |        1   186277     37 |  0.000 % |
445.29/445.33	c |   2708764 |     900    60159   195522 |        1   186379     37 |  0.000 % |
445.29/445.33	c |   2709564 |     900    60159   195522 |        1   187179     37 |  0.000 % |
445.29/445.33	c |   2711933 |     900    60159   195522 |        1   189548     37 |  0.000 % |
445.29/445.33	c |   2712384 |     900    60159   195522 |        1   189999     37 |  0.000 % |
445.29/445.33	c |   2712584 |     900    60159   195522 |        1   190199     37 |  0.000 % |
445.29/445.33	c |   2713127 |     900    60159   195522 |        1   190742     38 |  0.000 % |
445.29/445.33	c |   2713571 |     900    60159   195522 |        1   191186     38 |  0.000 % |
445.29/445.33	c |   2716066 |     900    60159   195522 |        1   193681     38 |  0.000 % |
445.29/445.33	c |   2716254 |     900    60159   195522 |        1   193869     38 |  0.000 % |
445.29/445.33	c |   2721192 |     900    60159   195522 |        1   198807     38 |  0.000 % |
445.29/445.33	c |   2725537 |     900    60159   195522 |        1   203152     38 |  0.000 % |
445.29/445.33	c |   2732549 |     900    60159   195522 |        1   210164     39 |  0.000 % |
445.29/445.33	c |   2742105 |     900    60159   195522 |        1   219720     39 |  0.000 % |
445.29/445.33	c |   2742571 |     900    60159   195522 |        1   220186     39 |  0.000 % |
445.29/445.33	c |   2746805 |     900    60159   195522 |        1   224420     39 |  0.000 % |
445.29/445.33	c |   2774283 |     900    60159   195522 |        1   136095     28 |  0.000 % |
445.29/445.33	c |   2775064 |     900    60159   195522 |        1   136876     29 |  0.000 % |
445.29/445.33	c |   2778892 |     900    60159   195522 |        1   140704     29 |  0.000 % |
445.29/445.33	c |   2778994 |     900    60159   195522 |        1   140806     29 |  0.000 % |
445.29/445.33	c |   2780887 |     900    60159   195522 |        1   142699     29 |  0.000 % |
445.29/445.33	c |   2787672 |     900    60159   195522 |        1   149484     30 |  0.000 % |
445.29/445.33	c |   2787772 |     900    60159   195522 |        1   149584     30 |  0.000 % |
445.29/445.33	c |   2787957 |     900    60159   195522 |        1   149769     30 |  0.000 % |
445.29/445.33	c |   2794876 |     900    60159   195522 |        1   156688     31 |  0.000 % |
445.29/445.33	c |   2798424 |     900    60159   195522 |        1   160236     31 |  0.000 % |
445.29/445.33	c |   2798524 |     900    60159   195522 |        1   160336     31 |  0.000 % |
445.29/445.33	c |   2801849 |     900    60159   195522 |        1   163661     31 |  0.000 % |
445.29/445.33	c |   2804482 |     900    60159   195522 |        1   166294     32 |  0.000 % |
445.29/445.33	c |   2805319 |     900    60159   195522 |        1   167131     32 |  0.000 % |
445.29/445.33	c |   2808157 |     900    60159   195522 |        1   169969     32 |  0.000 % |
445.29/445.33	c |   2808258 |     900    60159   195522 |        1   170070     32 |  0.000 % |
445.29/445.33	c |   2819883 |     900    60159   195522 |        1   181695     33 |  0.000 % |
445.29/445.33	c |   2826416 |     900    60159   195522 |        1   188228     34 |  0.000 % |
445.29/445.33	c |   2835742 |     900    60159   195522 |        1   197554     35 |  0.000 % |
445.29/445.33	c |   2836220 |     900    60159   195522 |        1   198032     35 |  0.000 % |
445.29/445.33	c |   2839351 |     900    60159   195522 |        1   201163     35 |  0.000 % |
445.29/445.33	c |   2839451 |     900    60159   195522 |        1   201263     35 |  0.000 % |
445.29/445.33	c |   2839868 |     900    60159   195522 |        1   201680     35 |  0.000 % |
445.29/445.33	c |   2840797 |     900    60159   195522 |        1   202609     36 |  0.000 % |
445.29/445.33	c |   2841114 |     900    60159   195522 |        1   202926     36 |  0.000 % |
445.29/445.33	c |   2841215 |     900    60159   195522 |        1   203027     36 |  0.000 % |
445.29/445.33	c |   2841317 |     900    60159   195522 |        1   203129     36 |  0.000 % |
445.29/445.33	c |   2841978 |     900    60159   195522 |        1   203790     36 |  0.000 % |
445.29/445.33	c |   2850727 |     900    60159   195522 |        1   212539     36 |  0.000 % |
445.29/445.33	c |   2851510 |     900    60159   195522 |        1   213322     36 |  0.000 % |
445.29/445.33	c |   2851612 |     900    60159   195522 |        1   213424     36 |  0.000 % |
445.29/445.33	c |   2853785 |     900    60159   195522 |        1   215597     36 |  0.000 % |
445.29/445.33	c |   2856197 |     900    60159   195522 |        1   218009     37 |  0.000 % |
445.29/445.33	c |   2862893 |     900    60159   195522 |        1   224705     37 |  0.000 % |
445.29/445.33	c |   2866136 |     900    60159   195522 |        1   227948     37 |  0.000 % |
483.90/483.95	c |   2866240 |     900    60159   195522 |        1   228052     37 |  0.000 % |
483.90/483.95	c |   2869144 |     900    60159   195522 |        1   230956     37 |  0.000 % |
483.90/483.95	c |   2870780 |     900    60159   195522 |        1   232592     37 |  0.000 % |
483.90/483.95	c |   2871079 |     900    60159   195522 |        1   232891     37 |  0.000 % |
483.90/483.95	c |   2871179 |     900    60159   195522 |        1   232991     37 |  0.000 % |
483.90/483.95	c |   2871591 |     900    60159   195522 |        1   233403     37 |  0.000 % |
483.90/483.95	c |   2875040 |     900    60159   195522 |        1   118450     25 |  0.000 % |
483.90/483.95	c |   2875165 |     900    60159   195522 |        1   118575     25 |  0.000 % |
483.90/483.95	c |   2877165 |     900    60159   195522 |        1   120575     25 |  0.000 % |
483.90/483.95	c |   2877267 |     900    60159   195522 |        1   120677     25 |  0.000 % |
483.90/483.95	c |   2877368 |     900    60159   195522 |        1   120778     25 |  0.000 % |
483.90/483.95	c |   2880034 |     900    60159   195522 |        1   123444     26 |  0.000 % |
483.90/483.95	c |   2880136 |     900    60159   195522 |        1   123546     26 |  0.000 % |
483.90/483.95	c |   2882267 |     900    60159   195522 |        1   125677     26 |  0.000 % |
483.90/483.95	c |   2888833 |     900    60159   195522 |        1   132243     27 |  0.000 % |
483.90/483.95	c |   2895040 |     900    60159   195522 |        1   138450     28 |  0.000 % |
483.90/483.95	c |   2895141 |     900    60159   195522 |        1   138551     28 |  0.000 % |
483.90/483.95	c |   2897786 |     900    60159   195522 |        1   141196     28 |  0.000 % |
483.90/483.95	c |   2912749 |     900    60159   195522 |        1   156159     31 |  0.000 % |
483.90/483.95	c |   2913655 |     900    60159   195522 |        1   157065     31 |  0.000 % |
483.90/483.95	c |   2925858 |     900    60159   195522 |        1   169268     32 |  0.000 % |
483.90/483.95	c |   2959194 |     900    60159   195522 |        1   202604     35 |  0.000 % |
483.90/483.95	c |   2959316 |     900    60159   195522 |        1   202726     35 |  0.000 % |
483.90/483.95	c |   2964051 |     900    60159   195522 |        1   207461     35 |  0.000 % |
483.90/483.95	c |   2964384 |     900    60159   195522 |        1   207794     35 |  0.000 % |
483.90/483.95	c |   2965852 |     900    60159   195522 |        1   209262     35 |  0.000 % |
483.90/483.95	c |   2969602 |     900    60159   195522 |        1   213012     36 |  0.000 % |
483.90/483.95	c |   2976513 |     900    60159   195522 |        1   219923     36 |  0.000 % |
483.90/483.95	c |   2976715 |     900    60159   195522 |        1   220125     36 |  0.000 % |
483.90/483.95	c |   2980135 |     900    60159   195522 |        1   223545     36 |  0.000 % |
483.90/483.95	c |   2980235 |     900    60159   195522 |        1   223645     36 |  0.000 % |
483.90/483.95	c |   2993086 |     900    60159   195522 |        1   236496     37 |  0.000 % |
483.90/483.95	c |   2994222 |     900    60159   195522 |        1   237632     37 |  0.000 % |
483.90/483.95	c |   2994322 |     900    60159   195522 |        1   237732     37 |  0.000 % |
483.90/483.95	c |   2994424 |     900    60159   195522 |        1   237834     37 |  0.000 % |
483.90/483.95	c |   3001385 |     900    60159   195522 |        1   123797     25 |  0.000 % |
483.90/483.95	c |   3002947 |     900    60159   195522 |        1   125359     25 |  0.000 % |
483.90/483.95	c |   3003746 |     900    60159   195522 |        1   126158     25 |  0.000 % |
483.90/483.95	c |   3011694 |     900    60159   195522 |        1   134106     27 |  0.000 % |
483.90/483.95	c |   3014954 |     900    60159   195522 |        1   137366     27 |  0.000 % |
483.90/483.95	c |   3022799 |     900    60159   195522 |        1   145211     28 |  0.000 % |
483.90/483.95	c |   3024251 |     900    60159   195522 |        1   146663     28 |  0.000 % |
483.90/483.95	c |   3024351 |     900    60159   195522 |        1   146763     28 |  0.000 % |
483.90/483.95	c |   3024452 |     900    60159   195522 |        1   146864     28 |  0.000 % |
483.90/483.95	c |   3026406 |     900    60159   195522 |        1   148818     28 |  0.000 % |
483.90/483.95	c |   3028096 |     900    60159   195522 |        1   150508     29 |  0.000 % |
483.90/483.95	c |   3028333 |     900    60159   195522 |        1   150745     29 |  0.000 % |
483.90/483.95	c |   3032991 |     900    60159   195522 |        1   155403     29 |  0.000 % |
483.90/483.95	c |   3033871 |     900    60159   195522 |        1   156283     29 |  0.000 % |
483.90/483.95	c |   3039092 |     900    60159   195522 |        1   161504     30 |  0.000 % |
512.39/512.41	c |   3039650 |     900    60159   195522 |        1   162062     30 |  0.000 % |
512.39/512.41	c |   3039896 |     900    60159   195522 |        1   162308     30 |  0.000 % |
512.39/512.41	c |   3040826 |     900    60159   195522 |        1   163238     30 |  0.000 % |
512.39/512.41	c |   3040927 |     900    60159   195522 |        1   163339     30 |  0.000 % |
512.39/512.41	c |   3041981 |     900    60159   195522 |        1   164393     30 |  0.000 % |
512.39/512.41	c |   3043881 |     900    60159   195522 |        1   166293     31 |  0.000 % |
512.39/512.41	c |   3044507 |     900    60159   195522 |        1   166919     31 |  0.000 % |
512.39/512.41	c |   3045141 |     900    60159   195522 |        1   167553     31 |  0.000 % |
512.39/512.41	c |   3056594 |     900    60159   195522 |        1   179006     32 |  0.000 % |
512.39/512.41	c |   3057270 |     900    60159   195522 |        1   179682     32 |  0.000 % |
512.39/512.41	c |   3060196 |     900    60159   195522 |        1   182608     32 |  0.000 % |
512.39/512.41	c |   3069971 |     900    60159   195522 |        1   192383     33 |  0.000 % |
512.39/512.41	c |   3070072 |     900    60159   195522 |        1   192484     33 |  0.000 % |
512.39/512.41	c |   3071588 |     900    60159   195522 |        1   194000     33 |  0.000 % |
512.39/512.41	c |   3071936 |     900    60159   195522 |        1   194348     33 |  0.000 % |
512.39/512.41	c |   3072278 |     900    60159   195522 |        1   194690     33 |  0.000 % |
512.39/512.41	c |   3072380 |     900    60159   195522 |        1   194792     33 |  0.000 % |
512.39/512.41	c |   3089657 |     900    60159   195522 |        1   212069     35 |  0.000 % |
512.39/512.41	c |   3092204 |     900    60159   195522 |        1   214616     35 |  0.000 % |
512.39/512.41	c |   3092306 |     900    60159   195522 |        1   214718     35 |  0.000 % |
512.39/512.41	c |   3092408 |     900    60159   195522 |        1   214820     35 |  0.000 % |
512.39/512.41	c |   3094213 |     900    60159   195522 |        1   216625     35 |  0.000 % |
512.39/512.41	c |   3101803 |     900    60159   195522 |        1   224215     36 |  0.000 % |
512.39/512.41	c |   3101986 |     900    60159   195522 |        1   224398     36 |  0.000 % |
512.39/512.41	c |   3109825 |     900    60159   195522 |        1   232237     36 |  0.000 % |
512.39/512.41	c |   3112622 |     900    60159   195522 |        1   235034     36 |  0.000 % |
512.39/512.41	c |   3113812 |     900    60159   195522 |        1   236224     36 |  0.000 % |
512.39/512.41	c |   3118202 |     900    60159   195522 |        1   240614     36 |  0.000 % |
512.39/512.41	c |   3118303 |     900    60159   195522 |        1   240715     36 |  0.000 % |
512.39/512.41	c |   3118588 |     900    60159   195522 |        1   241000     36 |  0.000 % |
512.39/512.41	c |   3119967 |     900    60159   195522 |        1   242379     36 |  0.000 % |
512.39/512.41	c |   3120456 |     900    60159   195522 |        1   242868     36 |  0.000 % |
512.39/512.41	c |   3125890 |     900    60159   195522 |        1   124702     25 |  0.000 % |
512.39/512.41	c |   3126258 |     900    60159   195522 |        1   125070     25 |  0.000 % |
512.39/512.41	c |   3128111 |     900    60159   195522 |        1   126923     25 |  0.000 % |
512.39/512.41	c |   3128212 |     900    60159   195522 |        1   127024     25 |  0.000 % |
512.39/512.41	c |   3128625 |     900    60159   195522 |        1   127437     25 |  0.000 % |
512.39/512.41	c |   3128725 |     900    60159   195522 |        1   127537     25 |  0.000 % |
512.39/512.41	c |   3136667 |     900    60159   195522 |        1   135479     27 |  0.000 % |
512.39/512.41	c |   3138038 |     900    60159   195522 |        1   136850     27 |  0.000 % |
512.39/512.41	c |   3145474 |     900    60159   195522 |        1   144286     28 |  0.000 % |
512.39/512.41	c |   3146229 |     900    60159   195522 |        1   145041     28 |  0.000 % |
512.39/512.41	c |   3149291 |     900    60159   195522 |        1   148103     28 |  0.000 % |
512.39/512.41	c |   3149393 |     900    60159   195522 |        1   148205     28 |  0.000 % |
512.39/512.41	c |   3149511 |     900    60159   195522 |        1   148323     28 |  0.000 % |
512.39/512.41	c |   3151553 |     900    60159   195522 |        1   150365     29 |  0.000 % |
512.39/512.41	c |   3159895 |     900    60159   195522 |        1   158707     30 |  0.000 % |
512.39/512.41	c |   3162878 |     900    60159   195522 |        1   161690     30 |  0.000 % |
512.39/512.41	c |   3166466 |     900    60159   195522 |        1   165278     31 |  0.000 % |
512.39/512.41	c |   3177233 |     900    60159   195522 |        1   176045     32 |  0.000 % |
539.90/539.99	c |   3177415 |     900    60159   195522 |        1   176227     32 |  0.000 % |
539.90/539.99	c |   3177627 |     900    60159   195522 |        1   176439     32 |  0.000 % |
539.90/539.99	c |   3177730 |     900    60159   195522 |        1   176542     32 |  0.000 % |
539.90/539.99	c |   3179607 |     900    60159   195522 |        1   178419     32 |  0.000 % |
539.90/539.99	c |   3179886 |     900    60159   195522 |        1   178698     32 |  0.000 % |
539.90/539.99	c |   3179986 |     900    60159   195522 |        1   178798     32 |  0.000 % |
539.90/539.99	c |   3190280 |     900    60159   195522 |        1   189092     34 |  0.000 % |
539.90/539.99	c |   3195505 |     900    60159   195522 |        1   194317     34 |  0.000 % |
539.90/539.99	c |   3196491 |     900    60159   195522 |        1   195303     34 |  0.000 % |
539.90/539.99	c |   3197144 |     900    60159   195522 |        1   195956     34 |  0.000 % |
539.90/539.99	c |   3199316 |     900    60159   195522 |        1   198128     35 |  0.000 % |
539.90/539.99	c |   3199416 |     900    60159   195522 |        1   198228     35 |  0.000 % |
539.90/539.99	c |   3201050 |     900    60159   195522 |        1   199862     35 |  0.000 % |
539.90/539.99	c |   3201987 |     900    60159   195522 |        1   200799     35 |  0.000 % |
539.90/539.99	c |   3209878 |     900    60159   195522 |        1   208690     35 |  0.000 % |
539.90/539.99	c |   3220837 |     900    60159   195522 |        1   219649     36 |  0.000 % |
539.90/539.99	c |   3225297 |     900    60159   195522 |        1   224109     36 |  0.000 % |
539.90/539.99	c |   3227823 |     900    60159   195522 |        1   226635     36 |  0.000 % |
539.90/539.99	c |   3227925 |     900    60159   195522 |        1   226737     36 |  0.000 % |
539.90/539.99	c |   3235181 |     900    60159   195522 |        1   233993     37 |  0.000 % |
539.90/539.99	c |   3235282 |     900    60159   195522 |        1   234094     37 |  0.000 % |
539.90/539.99	c |   3235512 |     900    60159   195522 |        1   234324     37 |  0.000 % |
539.90/539.99	c |   3236823 |     900    60159   195522 |        1   235635     37 |  0.000 % |
539.90/539.99	c |   3237151 |     900    60159   195522 |        1   235963     37 |  0.000 % |
539.90/539.99	c |   3237253 |     900    60159   195522 |        1   236065     37 |  0.000 % |
539.90/539.99	c |   3237365 |     900    60159   195522 |        1   236177     37 |  0.000 % |
539.90/539.99	c |   3244021 |     900    60159   195522 |        1   242833     37 |  0.000 % |
539.90/539.99	c |   3245659 |     900    60159   195522 |        1   244471     37 |  0.000 % |
539.90/539.99	c |   3246322 |     900    60159   195522 |        1   245134     37 |  0.000 % |
539.90/539.99	c |   3268965 |     900    60159   195522 |        1   141571     28 |  0.000 % |
539.90/539.99	c |   3272525 |     900    60159   195522 |        1   145131     28 |  0.000 % |
539.90/539.99	c |   3272627 |     900    60159   195522 |        1   145233     28 |  0.000 % |
539.90/539.99	c |   3274030 |     900    60159   195522 |        1   146636     29 |  0.000 % |
539.90/539.99	c |   3276397 |     900    60159   195522 |        1   149003     29 |  0.000 % |
539.90/539.99	c |   3280821 |     900    60159   195522 |        1   153427     30 |  0.000 % |
539.90/539.99	c |   3281993 |     900    60159   195522 |        1   154599     30 |  0.000 % |
539.90/539.99	c |   3282093 |     900    60159   195522 |        1   154699     30 |  0.000 % |
539.90/539.99	c |   3284816 |     900    60159   195522 |        1   157422     30 |  0.000 % |
539.90/539.99	c |   3284963 |     900    60159   195522 |        1   157569     30 |  0.000 % |
539.90/539.99	c |   3285063 |     900    60159   195522 |        1   157669     30 |  0.000 % |
539.90/539.99	c |   3290031 |     900    60159   195522 |        1   162637     31 |  0.000 % |
539.90/539.99	c |   3290132 |     900    60159   195522 |        1   162738     31 |  0.000 % |
539.90/539.99	c |   3291765 |     900    60159   195522 |        1   164371     31 |  0.000 % |
539.90/539.99	c |   3292539 |     900    60159   195522 |        1   165145     31 |  0.000 % |
539.90/539.99	c |   3292640 |     900    60159   195522 |        1   165246     31 |  0.000 % |
539.90/539.99	c |   3293566 |     900    60159   195522 |        1   166172     31 |  0.000 % |
539.90/539.99	c |   3296712 |     900    60159   195522 |        1   169318     31 |  0.000 % |
539.90/539.99	c |   3297910 |     900    60159   195522 |        1   170516     32 |  0.000 % |
539.90/539.99	c |   3299914 |     900    60159   195522 |        1   172520     32 |  0.000 % |
539.90/539.99	c |   3310133 |     900    60159   195522 |        1   182739     33 |  0.000 % |
584.80/584.87	c |   3324208 |     900    60159   195522 |        1   196814     35 |  0.000 % |
584.80/584.87	c |   3332447 |     900    60159   195522 |        1   205053     35 |  0.000 % |
584.80/584.87	c |   3336595 |     900    60159   195522 |        1   209201     36 |  0.000 % |
584.80/584.87	c |   3339240 |     900    60159   195522 |        1   211846     36 |  0.000 % |
584.80/584.87	c |   3340166 |     900    60159   195522 |        1   212772     36 |  0.000 % |
584.80/584.87	c |   3357404 |     900    60159   195522 |        1   230010     37 |  0.000 % |
584.80/584.87	c |   3359595 |     900    60159   195522 |        1   232201     38 |  0.000 % |
584.80/584.87	c |   3372613 |     900    60159   195522 |        1   245219     38 |  0.000 % |
584.80/584.87	c |   3372754 |     900    60159   195522 |        1   245360     38 |  0.000 % |
584.80/584.87	c |   3378778 |     900    60159   195522 |        1   251384     39 |  0.000 % |
584.80/584.87	c |   3378956 |     900    60159   195522 |        1   251562     39 |  0.000 % |
584.80/584.87	c |   3384194 |     900    60159   195522 |        1   256800     39 |  0.000 % |
584.80/584.87	c |   3385159 |     900    60159   195522 |        1   128970     25 |  0.000 % |
584.80/584.87	c |   3386715 |     900    60159   195522 |        1   130526     26 |  0.000 % |
584.80/584.87	c |   3402957 |     900    60159   195522 |        1   146768     28 |  0.000 % |
584.80/584.87	c |   3405658 |     900    60159   195522 |        1   149469     29 |  0.000 % |
584.80/584.87	c |   3405904 |     900    60159   195522 |        1   149715     29 |  0.000 % |
584.80/584.87	c |   3407441 |     900    60159   195522 |        1   151252     29 |  0.000 % |
584.80/584.87	c |   3410650 |     900    60159   195522 |        1   154461     30 |  0.000 % |
584.80/584.87	c |   3411143 |     900    60159   195522 |        1   154954     30 |  0.000 % |
584.80/584.87	c |   3418120 |     900    60159   195522 |        1   161931     31 |  0.000 % |
584.80/584.87	c |   3421852 |     900    60159   195522 |        1   165663     31 |  0.000 % |
584.80/584.87	c |   3421952 |     900    60159   195522 |        1   165763     31 |  0.000 % |
584.80/584.87	c |   3422662 |     900    60159   195522 |        1   166473     31 |  0.000 % |
584.80/584.87	c |   3427911 |     900    60159   195522 |        1   171722     32 |  0.000 % |
584.80/584.87	c |   3428141 |     900    60159   195522 |        1   171952     32 |  0.000 % |
584.80/584.87	c |   3438134 |     900    60159   195522 |        1   181945     32 |  0.000 % |
584.80/584.87	c |   3447323 |     900    60159   195522 |        1   191134     33 |  0.000 % |
584.80/584.87	c |   3455844 |     900    60159   195522 |        1   199655     34 |  0.000 % |
584.80/584.87	c |   3455989 |     900    60159   195522 |        1   199800     34 |  0.000 % |
584.80/584.87	c |   3456884 |     900    60159   195522 |        1   200695     34 |  0.000 % |
584.80/584.87	c |   3475967 |     900    60159   195522 |        1   219778     36 |  0.000 % |
584.80/584.87	c |   3476067 |     900    60159   195522 |        1   219878     36 |  0.000 % |
584.80/584.87	c |   3476173 |     900    60159   195522 |        1   219984     36 |  0.000 % |
584.80/584.87	c |   3476673 |     900    60159   195522 |        1   220484     36 |  0.000 % |
584.80/584.87	c |   3483337 |     900    60159   195522 |        1   227148     36 |  0.000 % |
584.80/584.87	c |   3484247 |     900    60159   195522 |        1   228058     36 |  0.000 % |
584.80/584.87	c |   3484772 |     900    60159   195522 |        1   228583     36 |  0.000 % |
584.80/584.87	c |   3488493 |     900    60159   195522 |        1   232304     36 |  0.000 % |
584.80/584.87	c |   3488749 |     900    60159   195522 |        1   232560     36 |  0.000 % |
584.80/584.87	c |   3493529 |     900    60159   195522 |        1   237340     36 |  0.000 % |
584.80/584.87	c |   3495605 |     900    60159   195522 |        1   239416     37 |  0.000 % |
584.80/584.87	c |   3495705 |     900    60159   195522 |        1   239516     37 |  0.000 % |
584.80/584.87	c |   3496039 |     900    60159   195522 |        1   239850     37 |  0.000 % |
584.80/584.87	c |   3496140 |     900    60159   195522 |        1   239951     37 |  0.000 % |
584.80/584.87	c |   3502251 |     900    60159   195522 |        1   246062     37 |  0.000 % |
584.80/584.87	c |   3503532 |     900    60159   195522 |        1   247343     37 |  0.000 % |
584.80/584.87	c |   3504567 |     900    60159   195522 |        1   248378     37 |  0.000 % |
584.80/584.87	c |   3504667 |     900    60159   195522 |        1   248478     37 |  0.000 % |
584.80/584.87	c |   3508088 |     900    60159   195522 |        1   251899     38 |  0.000 % |
613.30/613.31	c |   3508524 |     900    60159   195522 |        1   252335     38 |  0.000 % |
613.30/613.31	c |   3509875 |     900    60159   195522 |        1   253686     38 |  0.000 % |
613.30/613.31	c |   3509975 |     900    60159   195522 |        1   253786     38 |  0.000 % |
613.30/613.31	c |   3511548 |     900    60159   195522 |        1   255359     38 |  0.000 % |
613.30/613.31	c |   3511849 |     900    60159   195522 |        1   255660     38 |  0.000 % |
613.30/613.31	c |   3513984 |     900    60159   195522 |        1   257795     38 |  0.000 % |
613.30/613.31	c |   3514779 |     900    60159   195522 |        1   258590     38 |  0.000 % |
613.30/613.31	c |   3515685 |     900    60159   195522 |        1   259496     38 |  0.000 % |
613.30/613.31	c |   3525028 |     900    60159   195522 |        1   137444     25 |  0.000 % |
613.30/613.31	c |   3525515 |     900    60159   195522 |        1   137931     26 |  0.000 % |
613.30/613.31	c |   3525837 |     900    60159   195522 |        1   138253     26 |  0.000 % |
613.30/613.31	c |   3528737 |     900    60159   195522 |        1   141153     26 |  0.000 % |
613.30/613.31	c |   3529542 |     900    60159   195522 |        1   141958     26 |  0.000 % |
613.30/613.31	c |   3531779 |     900    60159   195522 |        1   144195     27 |  0.000 % |
613.30/613.31	c |   3533941 |     900    60159   195522 |        1   146357     27 |  0.000 % |
613.30/613.31	c |   3536570 |     900    60159   195522 |        1   148986     28 |  0.000 % |
613.30/613.31	c |   3540125 |     900    60159   195522 |        1   152541     28 |  0.000 % |
613.30/613.31	c |   3567578 |     900    60159   195522 |        1   179994     31 |  0.000 % |
613.30/613.31	c |   3569310 |     900    60159   195522 |        1   181726     32 |  0.000 % |
613.30/613.31	c |   3577759 |     900    60159   195522 |        1   190175     32 |  0.000 % |
613.30/613.31	c |   3578673 |     900    60159   195522 |        1   191089     32 |  0.000 % |
613.30/613.31	c |   3579571 |     900    60159   195522 |        1   191987     32 |  0.000 % |
613.30/613.31	c |   3579705 |     900    60159   195522 |        1   192121     33 |  0.000 % |
613.30/613.31	c |   3580740 |     900    60159   195522 |        1   193156     33 |  0.000 % |
613.30/613.31	c |   3581024 |     900    60159   195522 |        1   193440     33 |  0.000 % |
613.30/613.31	c |   3582876 |     900    60159   195522 |        1   195292     33 |  0.000 % |
613.30/613.31	c |   3583589 |     900    60159   195522 |        1   196005     33 |  0.000 % |
613.30/613.31	c |   3590606 |     900    60159   195522 |        1   203022     34 |  0.000 % |
613.30/613.31	c |   3590707 |     900    60159   195522 |        1   203123     34 |  0.000 % |
613.30/613.31	c |   3593442 |     900    60159   195522 |        1   205858     34 |  0.000 % |
613.30/613.31	c |   3594045 |     900    60159   195522 |        1   206461     34 |  0.000 % |
613.30/613.31	c |   3594832 |     900    60159   195522 |        1   207248     34 |  0.000 % |
613.30/613.31	c |   3594935 |     900    60159   195522 |        1   207351     34 |  0.000 % |
613.30/613.31	c |   3595135 |     900    60159   195522 |        1   207551     34 |  0.000 % |
613.30/613.31	c |   3595235 |     900    60159   195522 |        1   207651     34 |  0.000 % |
613.30/613.31	c |   3601056 |     900    60159   195522 |        1   213472     34 |  0.000 % |
613.30/613.31	c |   3603016 |     900    60159   195522 |        1   215432     34 |  0.000 % |
613.30/613.31	c |   3604789 |     900    60159   195522 |        1   217205     35 |  0.000 % |
613.30/613.31	c |   3605569 |     900    60159   195522 |        1   217985     35 |  0.000 % |
613.30/613.31	c |   3611978 |     900    60159   195522 |        1   224394     35 |  0.000 % |
613.30/613.31	c |   3612078 |     900    60159   195522 |        1   224494     35 |  0.000 % |
613.30/613.31	c |   3620418 |     900    60159   195522 |        1   232834     35 |  0.000 % |
613.30/613.31	c |   3624584 |     900    60159   195522 |        1   237000     36 |  0.000 % |
613.30/613.31	c |   3626544 |     900    60159   195522 |        1   238960     36 |  0.000 % |
613.30/613.31	c |   3626676 |     900    60159   195522 |        1   239092     36 |  0.000 % |
613.30/613.31	c |   3627147 |     900    60159   195522 |        1   239563     36 |  0.000 % |
613.30/613.31	c |   3632712 |     900    60159   195522 |        1   245128     36 |  0.000 % |
613.30/613.31	c |   3635276 |     900    60159   195522 |        1   247692     36 |  0.000 % |
613.30/613.31	c |   3635376 |     900    60159   195522 |        1   247792     36 |  0.000 % |
613.30/613.31	c |   3635479 |     900    60159   195522 |        1   247895     36 |  0.000 % |
641.70/641.75	c |   3635622 |     900    60159   195522 |        1   248038     37 |  0.000 % |
641.70/641.75	c |   3641829 |     900    60159   195522 |        1   254245     37 |  0.000 % |
641.70/641.75	c |   3643165 |     900    60159   195522 |        1   255581     37 |  0.000 % |
641.70/641.75	c |   3646771 |     900    60159   195522 |        1   259187     37 |  0.000 % |
641.70/641.75	c |   3646871 |     900    60159   195522 |        1   259287     37 |  0.000 % |
641.70/641.75	c |   3647935 |     900    60159   195522 |        1   260351     37 |  0.000 % |
641.70/641.75	c |   3649995 |     900    60159   195522 |        1   262411     37 |  0.000 % |
641.70/641.75	c |   3650168 |     900    60159   195522 |        1   262584     37 |  0.000 % |
641.70/641.75	c |   3650270 |     900    60159   195522 |        1   262686     37 |  0.000 % |
641.70/641.75	c |   3650370 |     900    60159   195522 |        1   262786     37 |  0.000 % |
641.70/641.75	c |   3655380 |     900    60159   195522 |        1   267796     37 |  0.000 % |
641.70/641.75	c |   3657588 |     900    60159   195522 |        1   136000     25 |  0.000 % |
641.70/641.75	c |   3657740 |     900    60159   195522 |        1   136152     25 |  0.000 % |
641.70/641.75	c |   3657843 |     900    60159   195522 |        1   136255     25 |  0.000 % |
641.70/641.75	c |   3661458 |     900    60159   195522 |        1   139870     25 |  0.000 % |
641.70/641.75	c |   3661558 |     900    60159   195522 |        1   139970     25 |  0.000 % |
641.70/641.75	c |   3664859 |     900    60159   195522 |        1   143271     26 |  0.000 % |
641.70/641.75	c |   3667174 |     900    60159   195522 |        1   145586     26 |  0.000 % |
641.70/641.75	c |   3667332 |     900    60159   195522 |        1   145744     26 |  0.000 % |
641.70/641.75	c |   3667791 |     900    60159   195522 |        1   146203     26 |  0.000 % |
641.70/641.75	c |   3667891 |     900    60159   195522 |        1   146303     26 |  0.000 % |
641.70/641.75	c |   3667991 |     900    60159   195522 |        1   146403     26 |  0.000 % |
641.70/641.75	c |   3669114 |     900    60159   195522 |        1   147526     26 |  0.000 % |
641.70/641.75	c |   3669832 |     900    60159   195522 |        1   148244     26 |  0.000 % |
641.70/641.75	c |   3669950 |     900    60159   195522 |        1   148362     26 |  0.000 % |
641.70/641.75	c |   3670052 |     900    60159   195522 |        1   148464     26 |  0.000 % |
641.70/641.75	c |   3673488 |     900    60159   195522 |        1   151900     27 |  0.000 % |
641.70/641.75	c |   3674870 |     900    60159   195522 |        1   153282     27 |  0.000 % |
641.70/641.75	c |   3678930 |     900    60159   195522 |        1   157342     28 |  0.000 % |
641.70/641.75	c |   3679030 |     900    60159   195522 |        1   157442     28 |  0.000 % |
641.70/641.75	c |   3679130 |     900    60159   195522 |        1   157542     28 |  0.000 % |
641.70/641.75	c |   3679231 |     900    60159   195522 |        1   157643     28 |  0.000 % |
641.70/641.75	c |   3679331 |     900    60159   195522 |        1   157743     28 |  0.000 % |
641.70/641.75	c |   3680362 |     900    60159   195522 |        1   158774     28 |  0.000 % |
641.70/641.75	c |   3680464 |     900    60159   195522 |        1   158876     28 |  0.000 % |
641.70/641.75	c |   3680591 |     900    60159   195522 |        1   159003     29 |  0.000 % |
641.70/641.75	c |   3684402 |     900    60159   195522 |        1   162814     29 |  0.000 % |
641.70/641.75	c |   3684502 |     900    60159   195522 |        1   162914     29 |  0.000 % |
641.70/641.75	c |   3690955 |     900    60159   195522 |        1   169367     30 |  0.000 % |
641.70/641.75	c |   3721055 |     900    60159   195522 |        1   199467     33 |  0.000 % |
641.70/641.75	c |   3721155 |     900    60159   195522 |        1   199567     33 |  0.000 % |
641.70/641.75	c |   3721831 |     900    60159   195522 |        1   200243     33 |  0.000 % |
641.70/641.75	c |   3722715 |     900    60159   195522 |        1   201127     33 |  0.000 % |
641.70/641.75	c |   3741129 |     900    60159   195522 |        1   219541     34 |  0.000 % |
641.70/641.75	c |   3741458 |     900    60159   195522 |        1   219870     34 |  0.000 % |
641.70/641.75	c |   3741700 |     900    60159   195522 |        1   220112     34 |  0.000 % |
641.70/641.75	c |   3743257 |     900    60159   195522 |        1   221669     35 |  0.000 % |
641.70/641.75	c |   3751057 |     900    60159   195522 |        1   229469     35 |  0.000 % |
641.70/641.75	c |   3758957 |     900    60159   195522 |        1   237369     36 |  0.000 % |
641.70/641.75	c |   3759175 |     900    60159   195522 |        1   237587     36 |  0.000 % |
671.51/671.57	c |   3760686 |     900    60159   195522 |        1   239098     36 |  0.000 % |
671.51/671.57	c |   3765331 |     900    60159   195522 |        1   243743     36 |  0.000 % |
671.51/671.57	c |   3773641 |     900    60159   195522 |        1   252053     37 |  0.000 % |
671.51/671.57	c |   3773741 |     900    60159   195522 |        1   252153     37 |  0.000 % |
671.51/671.57	c |   3774372 |     900    60159   195522 |        1   252784     37 |  0.000 % |
671.51/671.57	c |   3774474 |     900    60159   195522 |        1   252886     37 |  0.000 % |
671.51/671.57	c |   3776242 |     900    60159   195522 |        1   254654     37 |  0.000 % |
671.51/671.57	c |   3776342 |     900    60159   195522 |        1   254754     37 |  0.000 % |
671.51/671.57	c |   3776444 |     900    60159   195522 |        1   254856     37 |  0.000 % |
671.51/671.57	c |   3776604 |     900    60159   195522 |        1   255016     37 |  0.000 % |
671.51/671.57	c |   3778170 |     900    60159   195522 |        1   256582     37 |  0.000 % |
671.51/671.57	c |   3784754 |     900    60159   195522 |        1   263166     37 |  0.000 % |
671.51/671.57	c |   3785111 |     900    60159   195522 |        1   263523     37 |  0.000 % |
671.51/671.57	c |   3785274 |     900    60159   195522 |        1   263686     37 |  0.000 % |
671.51/671.57	c |   3786330 |     900    60159   195522 |        1   264742     37 |  0.000 % |
671.51/671.57	c |   3786432 |     900    60159   195522 |        1   264844     37 |  0.000 % |
671.51/671.57	c |   3786534 |     900    60159   195522 |        1   264946     37 |  0.000 % |
671.51/671.57	c |   3786655 |     900    60159   195522 |        1   265067     37 |  0.000 % |
671.51/671.57	c |   3791060 |     900    60159   195522 |        1   269472     38 |  0.000 % |
671.51/671.57	c |   3791381 |     900    60159   195522 |        1   269793     38 |  0.000 % |
671.51/671.57	c |   3791790 |     900    60159   195522 |        1   270202     38 |  0.000 % |
671.51/671.57	c |   3792495 |     900    60159   195522 |        1   270907     38 |  0.000 % |
671.51/671.57	c |   3792663 |     900    60159   195522 |        1   271075     38 |  0.000 % |
671.51/671.57	c |   3793522 |     900    60159   195522 |        1   271934     38 |  0.000 % |
671.51/671.57	c |   3797483 |     900    60159   195522 |        1   139294     25 |  0.000 % |
671.51/671.57	c |   3800997 |     900    60159   195522 |        1   142808     26 |  0.000 % |
671.51/671.57	c |   3802337 |     900    60159   195522 |        1   144148     26 |  0.000 % |
671.51/671.57	c |   3804424 |     900    60159   195522 |        1   146235     26 |  0.000 % |
671.51/671.57	c |   3816665 |     900    60159   195522 |        1   158476     27 |  0.000 % |
671.51/671.57	c |   3821232 |     900    60159   195522 |        1   163043     28 |  0.000 % |
671.51/671.57	c |   3825079 |     900    60159   195522 |        1   166890     28 |  0.000 % |
671.51/671.57	c |   3829271 |     900    60159   195522 |        1   171082     29 |  0.000 % |
671.51/671.57	c |   3839738 |     900    60159   195522 |        1   181549     31 |  0.000 % |
671.51/671.57	c |   3840284 |     900    60159   195522 |        1   182095     31 |  0.000 % |
671.51/671.57	c |   3849475 |     900    60159   195522 |        1   191286     32 |  0.000 % |
671.51/671.57	c |   3855000 |     900    60159   195522 |        1   196811     33 |  0.000 % |
671.51/671.57	c |   3855120 |     900    60159   195522 |        1   196931     33 |  0.000 % |
671.51/671.57	c |   3855220 |     900    60159   195522 |        1   197031     33 |  0.000 % |
671.51/671.57	c |   3855372 |     900    60159   195522 |        1   197183     33 |  0.000 % |
671.51/671.57	c |   3861238 |     900    60159   195522 |        1   203049     33 |  0.000 % |
671.51/671.57	c |   3861778 |     900    60159   195522 |        1   203589     33 |  0.000 % |
671.51/671.57	c |   3861879 |     900    60159   195522 |        1   203690     33 |  0.000 % |
671.51/671.57	c |   3863558 |     900    60159   195522 |        1   205369     33 |  0.000 % |
671.51/671.57	c |   3863658 |     900    60159   195522 |        1   205469     33 |  0.000 % |
671.51/671.57	c |   3864762 |     900    60159   195522 |        1   206573     33 |  0.000 % |
671.51/671.57	c |   3865050 |     900    60159   195522 |        1   206861     34 |  0.000 % |
671.51/671.57	c |   3866139 |     900    60159   195522 |        1   207950     34 |  0.000 % |
671.51/671.57	c |   3879555 |     900    60159   195522 |        1   221366     35 |  0.000 % |
671.51/671.57	c |   3883756 |     900    60159   195522 |        1   225567     35 |  0.000 % |
671.51/671.57	c |   3888789 |     900    60159   195522 |        1   230600     35 |  0.000 % |
693.81/693.87	c |   3888892 |     900    60159   195522 |        1   230703     35 |  0.000 % |
693.81/693.87	c |   3888992 |     900    60159   195522 |        1   230803     35 |  0.000 % |
693.81/693.87	c |   3889282 |     900    60159   195522 |        1   231093     35 |  0.000 % |
693.81/693.87	c |   3889734 |     900    60159   195522 |        1   231545     35 |  0.000 % |
693.81/693.87	c |   3889835 |     900    60159   195522 |        1   231646     36 |  0.000 % |
693.81/693.87	c |   3890595 |     900    60159   195522 |        1   232406     36 |  0.000 % |
693.81/693.87	c |   3890695 |     900    60159   195522 |        1   232506     36 |  0.000 % |
693.81/693.87	c |   3890797 |     900    60159   195522 |        1   232608     36 |  0.000 % |
693.81/693.87	c |   3891217 |     900    60159   195522 |        1   233028     36 |  0.000 % |
693.81/693.87	c |   3891344 |     900    60159   195522 |        1   233155     36 |  0.000 % |
693.81/693.87	c |   3891444 |     900    60159   195522 |        1   233255     36 |  0.000 % |
693.81/693.87	c |   3892267 |     900    60159   195522 |        1   234078     36 |  0.000 % |
693.81/693.87	c |   3895486 |     900    60159   195522 |        1   237297     36 |  0.000 % |
693.81/693.87	c |   3897174 |     900    60159   195522 |        1   238985     36 |  0.000 % |
693.81/693.87	c |   3897704 |     900    60159   195522 |        1   239515     36 |  0.000 % |
693.81/693.87	c |   3897854 |     900    60159   195522 |        1   239665     36 |  0.000 % |
693.81/693.87	c |   3903589 |     900    60159   195522 |        1   245400     36 |  0.000 % |
693.81/693.87	c |   3903820 |     900    60159   195522 |        1   245631     36 |  0.000 % |
693.81/693.87	c |   3910768 |     900    60159   195522 |        1   252579     37 |  0.000 % |
693.81/693.87	c |   3911000 |     900    60159   195522 |        1   252811     37 |  0.000 % |
693.81/693.87	c |   3911100 |     900    60159   195522 |        1   252911     37 |  0.000 % |
693.81/693.87	c |   3916533 |     900    60159   195522 |        1   258344     38 |  0.000 % |
693.81/693.87	c |   3920186 |     900    60159   195522 |        1   261997     38 |  0.000 % |
693.81/693.87	c |   3927719 |     900    60159   195522 |        1   269530     39 |  0.000 % |
693.81/693.87	c |   3930378 |     900    60159   195522 |        1   272189     39 |  0.000 % |
693.81/693.87	c |   3931923 |     900    60159   195522 |        1   273734     39 |  0.000 % |
693.81/693.87	c |   3933505 |     900    60159   195522 |        1   275316     39 |  0.000 % |
693.81/693.87	c |   3933786 |     900    60159   195522 |        1   275597     39 |  0.000 % |
693.81/693.87	c |   3937207 |     900    60159   195522 |        1   139817     25 |  0.000 % |
693.81/693.87	c |   3940418 |     900    60159   195522 |        1   143028     26 |  0.000 % |
693.81/693.87	c |   3945769 |     900    60159   195522 |        1   148379     26 |  0.000 % |
693.81/693.87	c |   3945869 |     900    60159   195522 |        1   148479     26 |  0.000 % |
693.81/693.87	c |   3946541 |     900    60159   195522 |        1   149151     27 |  0.000 % |
693.81/693.87	c |   3959685 |     900    60159   195522 |        1   162295     28 |  0.000 % |
693.81/693.87	c |   3960721 |     900    60159   195522 |        1   163331     28 |  0.000 % |
693.81/693.87	c |   3962135 |     900    60159   195522 |        1   164745     29 |  0.000 % |
693.81/693.87	c |   3962374 |     900    60159   195522 |        1   164984     29 |  0.000 % |
693.81/693.87	c |   3962474 |     900    60159   195522 |        1   165084     29 |  0.000 % |
693.81/693.87	c |   3971760 |     900    60159   195522 |        1   174370     30 |  0.000 % |
693.81/693.87	c |   3972953 |     900    60159   195522 |        1   175563     30 |  0.000 % |
693.81/693.87	c |   3973668 |     900    60159   195522 |        1   176278     30 |  0.000 % |
693.81/693.87	c |   3974648 |     900    60159   195522 |        1   177258     30 |  0.000 % |
693.81/693.87	c |   3975755 |     900    60159   195522 |        1   178365     30 |  0.000 % |
693.81/693.87	c |   3978020 |     900    60159   195522 |        1   180630     31 |  0.000 % |
693.81/693.87	c |   3979185 |     900    60159   195522 |        1   181795     31 |  0.000 % |
693.81/693.87	c |   3979622 |     900    60159   195522 |        1   182232     31 |  0.000 % |
693.81/693.87	c |   3979747 |     900    60159   195522 |        1   182357     31 |  0.000 % |
693.81/693.87	c |   3982289 |     900    60159   195522 |        1   184899     31 |  0.000 % |
693.81/693.87	c |   3983529 |     900    60159   195522 |        1   186139     31 |  0.000 % |
693.81/693.87	c |   3984088 |     900    60159   195522 |        1   186698     31 |  0.000 % |
725.91/725.98	c |   3988684 |     900    60159   195522 |        1   191294     32 |  0.000 % |
725.91/725.98	c |   3989871 |     900    60159   195522 |        1   192481     32 |  0.000 % |
725.91/725.98	c |   3990326 |     900    60159   195522 |        1   192936     32 |  0.000 % |
725.91/725.98	c |   3990759 |     900    60159   195522 |        1   193369     32 |  0.000 % |
725.91/725.98	c |   3991505 |     900    60159   195522 |        1   194115     32 |  0.000 % |
725.91/725.98	c |   3995650 |     900    60159   195522 |        1   198260     33 |  0.000 % |
725.91/725.98	c |   3995875 |     900    60159   195522 |        1   198485     33 |  0.000 % |
725.91/725.98	c |   3996263 |     900    60159   195522 |        1   198873     33 |  0.000 % |
725.91/725.98	c |   3996462 |     900    60159   195522 |        1   199072     33 |  0.000 % |
725.91/725.98	c |   3997266 |     900    60159   195522 |        1   199876     33 |  0.000 % |
725.91/725.98	c |   3998041 |     900    60159   195522 |        1   200651     33 |  0.000 % |
725.91/725.98	c |   3998180 |     900    60159   195522 |        1   200790     33 |  0.000 % |
725.91/725.98	c |   4011794 |     900    60159   195522 |        1   214404     34 |  0.000 % |
725.91/725.98	c |   4012003 |     900    60159   195522 |        1   214613     34 |  0.000 % |
725.91/725.98	c |   4021094 |     900    60159   195522 |        1   223704     35 |  0.000 % |
725.91/725.98	c |   4035021 |     900    60159   195522 |        1   237631     36 |  0.000 % |
725.91/725.98	c |   4042470 |     900    60159   195522 |        1   245080     36 |  0.000 % |
725.91/725.98	c |   4044089 |     900    60159   195522 |        1   246699     36 |  0.000 % |
725.91/725.98	c |   4045067 |     900    60159   195522 |        1   247677     37 |  0.000 % |
725.91/725.98	c |   4045169 |     900    60159   195522 |        1   247779     37 |  0.000 % |
725.91/725.98	c |   4050806 |     900    60159   195522 |        1   253416     37 |  0.000 % |
725.91/725.98	c |   4051986 |     900    60159   195522 |        1   254596     37 |  0.000 % |
725.91/725.98	c |   4052086 |     900    60159   195522 |        1   254696     37 |  0.000 % |
725.91/725.98	c |   4052945 |     900    60159   195522 |        1   255555     37 |  0.000 % |
725.91/725.98	c |   4053522 |     900    60159   195522 |        1   256132     37 |  0.000 % |
725.91/725.98	c |   4055617 |     900    60159   195522 |        1   258227     37 |  0.000 % |
725.91/725.98	c |   4055859 |     900    60159   195522 |        1   258469     37 |  0.000 % |
725.91/725.98	c |   4061123 |     900    60159   195522 |        1   263733     37 |  0.000 % |
725.91/725.98	c |   4063907 |     900    60159   195522 |        1   266517     37 |  0.000 % |
725.91/725.98	c |   4068067 |     900    60159   195522 |        1   270677     37 |  0.000 % |
725.91/725.98	c |   4068235 |     900    60159   195522 |        1   270845     37 |  0.000 % |
725.91/725.98	c |   4069755 |     900    60159   195522 |        1   272365     37 |  0.000 % |
725.91/725.98	c |   4075937 |     900    60159   195522 |        1   278547     37 |  0.000 % |
725.91/725.98	c |   4076039 |     900    60159   195522 |        1   278649     37 |  0.000 % |
725.91/725.98	c |   4079957 |     900    60159   195522 |        1   282567     38 |  0.000 % |
725.91/725.98	c |   4082266 |     900    60159   195522 |        1   143076     24 |  0.000 % |
725.91/725.98	c |   4082731 |     900    60159   195522 |        1   143541     25 |  0.000 % |
725.91/725.98	c |   4084072 |     900    60159   195522 |        1   144882     25 |  0.000 % |
725.91/725.98	c |   4089260 |     900    60159   195522 |        1   150070     26 |  0.000 % |
725.91/725.98	c |   4089360 |     900    60159   195522 |        1   150170     26 |  0.000 % |
725.91/725.98	c |   4089489 |     900    60159   195522 |        1   150299     26 |  0.000 % |
725.91/725.98	c |   4091975 |     900    60159   195522 |        1   152785     27 |  0.000 % |
725.91/725.98	c |   4095071 |     900    60159   195522 |        1   155881     27 |  0.000 % |
725.91/725.98	c |   4098650 |     900    60159   195522 |        1   159460     28 |  0.000 % |
725.91/725.98	c |   4100440 |     900    60159   195522 |        1   161250     28 |  0.000 % |
725.91/725.98	c |   4103003 |     900    60159   195522 |        1   163813     28 |  0.000 % |
725.91/725.98	c |   4103329 |     900    60159   195522 |        1   164139     28 |  0.000 % |
725.91/725.98	c |   4103429 |     900    60159   195522 |        1   164239     28 |  0.000 % |
725.91/725.98	c |   4103530 |     900    60159   195522 |        1   164340     28 |  0.000 % |
725.91/725.98	c |   4104917 |     900    60159   195522 |        1   165727     29 |  0.000 % |
756.90/756.98	c |   4105018 |     900    60159   195522 |        1   165828     29 |  0.000 % |
756.90/756.98	c |   4105578 |     900    60159   195522 |        1   166388     29 |  0.000 % |
756.90/756.98	c |   4106866 |     900    60159   195522 |        1   167676     29 |  0.000 % |
756.90/756.98	c |   4113988 |     900    60159   195522 |        1   174798     30 |  0.000 % |
756.90/756.98	c |   4125060 |     900    60159   195522 |        1   185870     31 |  0.000 % |
756.90/756.98	c |   4133900 |     900    60159   195522 |        1   194710     32 |  0.000 % |
756.90/756.98	c |   4134439 |     900    60159   195522 |        1   195249     32 |  0.000 % |
756.90/756.98	c |   4134746 |     900    60159   195522 |        1   195556     32 |  0.000 % |
756.90/756.98	c |   4141381 |     900    60159   195522 |        1   202191     33 |  0.000 % |
756.90/756.98	c |   4141575 |     900    60159   195522 |        1   202385     33 |  0.000 % |
756.90/756.98	c |   4142039 |     900    60159   195522 |        1   202849     33 |  0.000 % |
756.90/756.98	c |   4144798 |     900    60159   195522 |        1   205608     33 |  0.000 % |
756.90/756.98	c |   4147493 |     900    60159   195522 |        1   208303     33 |  0.000 % |
756.90/756.98	c |   4147593 |     900    60159   195522 |        1   208403     33 |  0.000 % |
756.90/756.98	c |   4161596 |     900    60159   195522 |        1   222406     34 |  0.000 % |
756.90/756.98	c |   4161928 |     900    60159   195522 |        1   222738     34 |  0.000 % |
756.90/756.98	c |   4162495 |     900    60159   195522 |        1   223305     34 |  0.000 % |
756.90/756.98	c |   4165329 |     900    60159   195522 |        1   226139     35 |  0.000 % |
756.90/756.98	c |   4165766 |     900    60159   195522 |        1   226576     35 |  0.000 % |
756.90/756.98	c |   4167435 |     900    60159   195522 |        1   228245     35 |  0.000 % |
756.90/756.98	c |   4168065 |     900    60159   195522 |        1   228875     35 |  0.000 % |
756.90/756.98	c |   4168885 |     900    60159   195522 |        1   229695     35 |  0.000 % |
756.90/756.98	c |   4168986 |     900    60159   195522 |        1   229796     35 |  0.000 % |
756.90/756.98	c |   4178217 |     900    60159   195522 |        1   239027     35 |  0.000 % |
756.90/756.98	c |   4180819 |     900    60159   195522 |        1   241629     36 |  0.000 % |
756.90/756.98	c |   4182256 |     900    60159   195522 |        1   243066     36 |  0.000 % |
756.90/756.98	c |   4182357 |     900    60159   195522 |        1   243167     36 |  0.000 % |
756.90/756.98	c |   4183108 |     900    60159   195522 |        1   243918     36 |  0.000 % |
756.90/756.98	c |   4187061 |     900    60159   195522 |        1   247871     36 |  0.000 % |
756.90/756.98	c |   4187987 |     900    60159   195522 |        1   248797     36 |  0.000 % |
756.90/756.98	c |   4189221 |     900    60159   195522 |        1   250031     36 |  0.000 % |
756.90/756.98	c |   4194236 |     900    60159   195522 |        1   255046     36 |  0.000 % |
756.90/756.98	c |   4194342 |     900    60159   195522 |        1   255152     36 |  0.000 % |
756.90/756.98	c |   4196185 |     900    60159   195522 |        1   256995     37 |  0.000 % |
756.90/756.98	c |   4199585 |     900    60159   195522 |        1   260395     37 |  0.000 % |
756.90/756.98	c |   4199685 |     900    60159   195522 |        1   260495     37 |  0.000 % |
756.90/756.98	c |   4200128 |     900    60159   195522 |        1   260938     37 |  0.000 % |
756.90/756.98	c |   4207965 |     900    60159   195522 |        1   268775     38 |  0.000 % |
756.90/756.98	c |   4208065 |     900    60159   195522 |        1   268875     38 |  0.000 % |
756.90/756.98	c |   4208166 |     900    60159   195522 |        1   268976     38 |  0.000 % |
756.90/756.98	c |   4211992 |     900    60159   195522 |        1   272802     38 |  0.000 % |
756.90/756.98	c |   4212398 |     900    60159   195522 |        1   273208     38 |  0.000 % |
756.90/756.98	c |   4216294 |     900    60159   195522 |        1   277104     38 |  0.000 % |
756.90/756.98	c |   4220183 |     900    60159   195522 |        1   280993     38 |  0.000 % |
756.90/756.98	c |   4229857 |     900    60159   195522 |        1   146271     25 |  0.000 % |
756.90/756.98	c |   4229982 |     900    60159   195522 |        1   146396     25 |  0.000 % |
756.90/756.98	c |   4232923 |     900    60159   195522 |        1   149337     26 |  0.000 % |
756.90/756.98	c |   4233028 |     900    60159   195522 |        1   149442     26 |  0.000 % |
756.90/756.98	c |   4233130 |     900    60159   195522 |        1   149544     26 |  0.000 % |
756.90/756.98	c |   4233442 |     900    60159   195522 |        1   149856     26 |  0.000 % |
786.60/786.65	c |   4249282 |     900    60159   195522 |        1   165696     28 |  0.000 % |
786.60/786.65	c |   4255363 |     900    60159   195522 |        1   171777     28 |  0.000 % |
786.60/786.65	c |   4255627 |     900    60159   195522 |        1   172041     28 |  0.000 % |
786.60/786.65	c |   4256735 |     900    60159   195522 |        1   173149     28 |  0.000 % |
786.60/786.65	c |   4260560 |     900    60159   195522 |        1   176974     29 |  0.000 % |
786.60/786.65	c |   4261598 |     900    60159   195522 |        1   178012     29 |  0.000 % |
786.60/786.65	c |   4274423 |     900    60159   195522 |        1   190837     30 |  0.000 % |
786.60/786.65	c |   4276702 |     900    60159   195522 |        1   193116     30 |  0.000 % |
786.60/786.65	c |   4276804 |     900    60159   195522 |        1   193218     30 |  0.000 % |
786.60/786.65	c |   4277190 |     900    60159   195522 |        1   193604     30 |  0.000 % |
786.60/786.65	c |   4282197 |     900    60159   195522 |        1   198611     31 |  0.000 % |
786.60/786.65	c |   4282592 |     900    60159   195522 |        1   199006     31 |  0.000 % |
786.60/786.65	c |   4301972 |     900    60159   195522 |        1   218386     33 |  0.000 % |
786.60/786.65	c |   4304699 |     900    60159   195522 |        1   221113     34 |  0.000 % |
786.60/786.65	c |   4306257 |     900    60159   195522 |        1   222671     34 |  0.000 % |
786.60/786.65	c |   4306357 |     900    60159   195522 |        1   222771     34 |  0.000 % |
786.60/786.65	c |   4306873 |     900    60159   195522 |        1   223287     34 |  0.000 % |
786.60/786.65	c |   4306975 |     900    60159   195522 |        1   223389     34 |  0.000 % |
786.60/786.65	c |   4307075 |     900    60159   195522 |        1   223489     34 |  0.000 % |
786.60/786.65	c |   4307904 |     900    60159   195522 |        1   224318     34 |  0.000 % |
786.60/786.65	c |   4308324 |     900    60159   195522 |        1   224738     34 |  0.000 % |
786.60/786.65	c |   4308797 |     900    60159   195522 |        1   225211     34 |  0.000 % |
786.60/786.65	c |   4309059 |     900    60159   195522 |        1   225473     34 |  0.000 % |
786.60/786.65	c |   4310456 |     900    60159   195522 |        1   226870     34 |  0.000 % |
786.60/786.65	c |   4313706 |     900    60159   195522 |        1   230120     35 |  0.000 % |
786.60/786.65	c |   4313807 |     900    60159   195522 |        1   230221     35 |  0.000 % |
786.60/786.65	c |   4315133 |     900    60159   195522 |        1   231547     35 |  0.000 % |
786.60/786.65	c |   4315998 |     900    60159   195522 |        1   232412     35 |  0.000 % |
786.60/786.65	c |   4316098 |     900    60159   195522 |        1   232512     35 |  0.000 % |
786.60/786.65	c |   4316437 |     900    60159   195522 |        1   232851     35 |  0.000 % |
786.60/786.65	c |   4317601 |     900    60159   195522 |        1   234015     35 |  0.000 % |
786.60/786.65	c |   4317701 |     900    60159   195522 |        1   234115     35 |  0.000 % |
786.60/786.65	c |   4319046 |     900    60159   195522 |        1   235460     35 |  0.000 % |
786.60/786.65	c |   4319146 |     900    60159   195522 |        1   235560     35 |  0.000 % |
786.60/786.65	c |   4319937 |     900    60159   195522 |        1   236351     35 |  0.000 % |
786.60/786.65	c |   4322727 |     900    60159   195522 |        1   239141     35 |  0.000 % |
786.60/786.65	c |   4324633 |     900    60159   195522 |        1   241047     36 |  0.000 % |
786.60/786.65	c |   4330823 |     900    60159   195522 |        1   247237     36 |  0.000 % |
786.60/786.65	c |   4330960 |     900    60159   195522 |        1   247374     36 |  0.000 % |
786.60/786.65	c |   4332117 |     900    60159   195522 |        1   248531     36 |  0.000 % |
786.60/786.65	c |   4333284 |     900    60159   195522 |        1   249698     36 |  0.000 % |
786.60/786.65	c |   4335518 |     900    60159   195522 |        1   251932     36 |  0.000 % |
786.60/786.65	c |   4348783 |     900    60159   195522 |        1   265197     37 |  0.000 % |
786.60/786.65	c |   4350210 |     900    60159   195522 |        1   266624     37 |  0.000 % |
786.60/786.65	c |   4355016 |     900    60159   195522 |        1   271430     38 |  0.000 % |
786.60/786.65	c |   4355117 |     900    60159   195522 |        1   271531     38 |  0.000 % |
786.60/786.65	c |   4355543 |     900    60159   195522 |        1   271957     38 |  0.000 % |
786.60/786.65	c |   4355643 |     900    60159   195522 |        1   272057     38 |  0.000 % |
786.60/786.65	c |   4355743 |     900    60159   195522 |        1   272157     38 |  0.000 % |
786.60/786.65	c |   4356728 |     900    60159   195522 |        1   273142     38 |  0.000 % |
803.91/803.93	c |   4357967 |     900    60159   195522 |        1   274381     38 |  0.000 % |
803.91/803.93	c |   4358219 |     900    60159   195522 |        1   274633     38 |  0.000 % |
803.91/803.93	c |   4358808 |     900    60159   195522 |        1   275222     38 |  0.000 % |
803.91/803.93	c |   4360014 |     900    60159   195522 |        1   276428     38 |  0.000 % |
803.91/803.93	c |   4360114 |     900    60159   195522 |        1   276528     38 |  0.000 % |
803.91/803.93	c |   4360222 |     900    60159   195522 |        1   276636     38 |  0.000 % |
803.91/803.93	c |   4360322 |     900    60159   195522 |        1   276736     38 |  0.000 % |
803.91/803.93	c |   4360423 |     900    60159   195522 |        1   276837     38 |  0.000 % |
803.91/803.93	c |   4360525 |     900    60159   195522 |        1   276939     38 |  0.000 % |
803.91/803.93	c |   4360625 |     900    60159   195522 |        1   277039     38 |  0.000 % |
803.91/803.93	c |   4363097 |     900    60159   195522 |        1   279511     38 |  0.000 % |
803.91/803.93	c |   4364015 |     900    60159   195522 |        1   280429     38 |  0.000 % |
803.91/803.94	c |   4364117 |     900    60159   195522 |        1   280531     38 |  0.000 % |
803.91/803.94	c |   4364750 |     900    60159   195522 |        1   281164     38 |  0.000 % |
803.91/803.94	c |   4366423 |     900    60159   195522 |        1   282837     38 |  0.000 % |
803.91/803.94	c |   4368304 |     900    60159   195522 |        1   284718     38 |  0.000 % |
803.91/803.94	c |   4370229 |     900    60159   195522 |        1   286643     38 |  0.000 % |
803.91/803.94	c |   4371405 |     900    60159   195522 |        1   287819     39 |  0.000 % |
803.91/803.94	c |   4372169 |     900    60159   195522 |        1   288583     39 |  0.000 % |
803.91/803.94	c |   4372270 |     900    60159   195522 |        1   288684     39 |  0.000 % |
803.91/803.94	c |   4372370 |     900    60159   195522 |        1   288784     39 |  0.000 % |
803.91/803.94	c |   4373037 |     900    60159   195522 |        1   289451     39 |  0.000 % |
803.91/803.94	c |   4374506 |     900    60159   195522 |        1   290920     39 |  0.000 % |
803.91/803.94	c |   4375226 |     900    60159   195522 |        1   291640     39 |  0.000 % |
803.91/803.94	c |   4380397 |     900    60159   195522 |        1   149813     25 |  0.000 % |
803.91/803.94	c |   4380498 |     900    60159   195522 |        1   149914     25 |  0.000 % |
803.91/803.94	c |   4380598 |     900    60159   195522 |        1   150014     25 |  0.000 % |
803.91/803.94	c |   4382537 |     900    60159   195522 |        1   151953     26 |  0.000 % |
803.91/803.94	c |   4382662 |     900    60159   195522 |        1   152078     26 |  0.000 % |
803.91/803.94	c |   4383205 |     900    60159   195522 |        1   152621     26 |  0.000 % |
803.91/803.94	c |   4384052 |     900    60159   195522 |        1   153468     26 |  0.000 % |
803.91/803.94	c |   4384298 |     900    60159   195522 |        1   153714     26 |  0.000 % |
803.91/803.94	c |   4384701 |     900    60159   195522 |        1   154117     26 |  0.000 % |
803.91/803.94	c |   4388340 |     900    60159   195522 |        1   157756     27 |  0.000 % |
803.91/803.94	c |   4389449 |     900    60159   195522 |        1   158865     27 |  0.000 % |
803.91/803.94	c |   4392897 |     900    60159   195522 |        1   162313     27 |  0.000 % |
803.91/803.94	c |   4394310 |     900    60159   195522 |        1   163726     28 |  0.000 % |
803.91/803.94	c |   4394990 |     900    60159   195522 |        1   164406     28 |  0.000 % |
803.91/803.94	c |   4397861 |     900    60159   195522 |        1   167277     28 |  0.000 % |
803.91/803.94	c |   4398065 |     900    60159   195522 |        1   167481     28 |  0.000 % |
803.91/803.94	c |   4401004 |     900    60159   195522 |        1   170420     29 |  0.000 % |
803.91/803.94	c |   4401104 |     900    60159   195522 |        1   170520     29 |  0.000 % |
803.91/803.94	c |   4401204 |     900    60159   195522 |        1   170620     29 |  0.000 % |
803.91/803.94	c |   4401306 |     900    60159   195522 |        1   170722     29 |  0.000 % |
803.91/803.94	c |   4405503 |     900    60159   195522 |        1   174919     29 |  0.000 % |
803.91/803.94	c |   4405838 |     900    60159   195522 |        1   175254     29 |  0.000 % |
803.91/803.94	c |   4406524 |     900    60159   195522 |        1   175940     30 |  0.000 % |
803.91/803.94	c |   4406736 |     900    60159   195522 |        1   176152     30 |  0.000 % |
803.91/803.94	c |   4412825 |     900    60159   195522 |        1   182241     31 |  0.000 % |
803.91/803.94	c |   4426504 |     900    60159   195522 |        1   195920     31 |  0.000 % |
830.80/830.80	c |   4431618 |     900    60159   195522 |        1   201034     32 |  0.000 % |
830.80/830.80	c |   4435439 |     900    60159   195522 |        1   204855     32 |  0.000 % |
830.80/830.80	c |   4437875 |     900    60159   195522 |        1   207291     32 |  0.000 % |
830.80/830.80	c |   4437975 |     900    60159   195522 |        1   207391     32 |  0.000 % |
830.80/830.80	c |   4438076 |     900    60159   195522 |        1   207492     32 |  0.000 % |
830.80/830.80	c |   4440274 |     900    60159   195522 |        1   209690     33 |  0.000 % |
830.80/830.80	c |   4444442 |     900    60159   195522 |        1   213858     33 |  0.000 % |
830.80/830.80	c |   4444544 |     900    60159   195522 |        1   213960     33 |  0.000 % |
830.80/830.80	c |   4444797 |     900    60159   195522 |        1   214213     33 |  0.000 % |
830.80/830.80	c |   4446659 |     900    60159   195522 |        1   216075     33 |  0.000 % |
830.80/830.80	c |   4447304 |     900    60159   195522 |        1   216720     33 |  0.000 % |
830.80/830.80	c |   4449332 |     900    60159   195522 |        1   218748     34 |  0.000 % |
830.80/830.80	c |   4456818 |     900    60159   195522 |        1   226234     34 |  0.000 % |
830.80/830.80	c |   4456966 |     900    60159   195522 |        1   226382     34 |  0.000 % |
830.80/830.80	c |   4458317 |     900    60159   195522 |        1   227733     34 |  0.000 % |
830.80/830.80	c |   4459241 |     900    60159   195522 |        1   228657     34 |  0.000 % |
830.80/830.80	c |   4459342 |     900    60159   195522 |        1   228758     34 |  0.000 % |
830.80/830.80	c |   4459448 |     900    60159   195522 |        1   228864     34 |  0.000 % |
830.80/830.80	c |   4459813 |     900    60159   195522 |        1   229229     34 |  0.000 % |
830.80/830.80	c |   4460159 |     900    60159   195522 |        1   229575     35 |  0.000 % |
830.80/830.80	c |   4460700 |     900    60159   195522 |        1   230116     35 |  0.000 % |
830.80/830.80	c |   4464289 |     900    60159   195522 |        1   233705     35 |  0.000 % |
830.80/830.80	c |   4464734 |     900    60159   195522 |        1   234150     35 |  0.000 % |
830.80/830.80	c |   4465249 |     900    60159   195522 |        1   234665     35 |  0.000 % |
830.80/830.80	c |   4465451 |     900    60159   195522 |        1   234867     35 |  0.000 % |
830.80/830.80	c |   4467642 |     900    60159   195522 |        1   237058     35 |  0.000 % |
830.80/830.80	c |   4470840 |     900    60159   195522 |        1   240256     35 |  0.000 % |
830.80/830.80	c |   4480395 |     900    60159   195522 |        1   249811     36 |  0.000 % |
830.80/830.80	c |   4495832 |     900    60159   195522 |        1   265248     37 |  0.000 % |
830.80/830.80	c |   4495965 |     900    60159   195522 |        1   265381     37 |  0.000 % |
830.80/830.80	c |   4496070 |     900    60159   195522 |        1   265486     37 |  0.000 % |
830.80/830.80	c |   4496293 |     900    60159   195522 |        1   265709     37 |  0.000 % |
830.80/830.80	c |   4497292 |     900    60159   195522 |        1   266708     37 |  0.000 % |
830.80/830.80	c |   4497428 |     900    60159   195522 |        1   266844     37 |  0.000 % |
830.80/830.80	c |   4504018 |     900    60159   195522 |        1   273434     37 |  0.000 % |
830.80/830.80	c |   4504119 |     900    60159   195522 |        1   273535     37 |  0.000 % |
830.80/830.80	c |   4504220 |     900    60159   195522 |        1   273636     38 |  0.000 % |
830.80/830.80	c |   4506681 |     900    60159   195522 |        1   276097     38 |  0.000 % |
830.80/830.80	c |   4507525 |     900    60159   195522 |        1   276941     38 |  0.000 % |
830.80/830.80	c |   4507711 |     900    60159   195522 |        1   277127     38 |  0.000 % |
830.80/830.80	c |   4507811 |     900    60159   195522 |        1   277227     38 |  0.000 % |
830.80/830.80	c |   4517185 |     900    60159   195522 |        1   286601     38 |  0.000 % |
830.80/830.80	c |   4517855 |     900    60159   195522 |        1   287271     38 |  0.000 % |
830.80/830.80	c |   4521714 |     900    60159   195522 |        1   291130     39 |  0.000 % |
830.80/830.80	c |   4523246 |     900    60159   195522 |        1   292662     39 |  0.000 % |
830.80/830.80	c |   4529441 |     900    60159   195522 |        1   298857     39 |  0.000 % |
830.80/830.80	c |   4529541 |     900    60159   195522 |        1   298957     39 |  0.000 % |
830.80/830.80	c |   4533371 |     900    60159   195522 |        1   153187     25 |  0.000 % |
830.80/830.80	c |   4533786 |     900    60159   195522 |        1   153602     25 |  0.000 % |
830.80/830.80	c |   4533886 |     900    60159   195522 |        1   153702     25 |  0.000 % |
872.01/872.03	c |   4539333 |     900    60159   195522 |        1   159149     26 |  0.000 % |
872.01/872.03	c |   4539439 |     900    60159   195522 |        1   159255     26 |  0.000 % |
872.01/872.03	c |   4541150 |     900    60159   195522 |        1   160966     26 |  0.000 % |
872.01/872.03	c |   4541414 |     900    60159   195522 |        1   161230     26 |  0.000 % |
872.01/872.03	c |   4541514 |     900    60159   195522 |        1   161330     26 |  0.000 % |
872.01/872.03	c |   4547171 |     900    60159   195522 |        1   166987     28 |  0.000 % |
872.01/872.03	c |   4547273 |     900    60159   195522 |        1   167089     28 |  0.000 % |
872.01/872.03	c |   4548290 |     900    60159   195522 |        1   168106     28 |  0.000 % |
872.01/872.03	c |   4550936 |     900    60159   195522 |        1   170752     28 |  0.000 % |
872.01/872.03	c |   4554576 |     900    60159   195522 |        1   174392     29 |  0.000 % |
872.01/872.03	c |   4555396 |     900    60159   195522 |        1   175212     29 |  0.000 % |
872.01/872.03	c |   4555496 |     900    60159   195522 |        1   175312     29 |  0.000 % |
872.01/872.03	c |   4560651 |     900    60159   195522 |        1   180467     30 |  0.000 % |
872.01/872.03	c |   4560837 |     900    60159   195522 |        1   180653     30 |  0.000 % |
872.01/872.03	c |   4561302 |     900    60159   195522 |        1   181118     30 |  0.000 % |
872.01/872.03	c |   4565090 |     900    60159   195522 |        1   184906     31 |  0.000 % |
872.01/872.03	c |   4608088 |     900    60159   195522 |        1   227904     33 |  0.000 % |
872.01/872.03	c |   4614647 |     900    60159   195522 |        1   234463     34 |  0.000 % |
872.01/872.03	c |   4615041 |     900    60159   195522 |        1   234857     34 |  0.000 % |
872.01/872.03	c |   4619782 |     900    60159   195522 |        1   239598     34 |  0.000 % |
872.01/872.03	c |   4620816 |     900    60159   195522 |        1   240632     34 |  0.000 % |
872.01/872.03	c |   4621095 |     900    60159   195522 |        1   240911     34 |  0.000 % |
872.01/872.03	c |   4621487 |     900    60159   195522 |        1   241303     34 |  0.000 % |
872.01/872.03	c |   4626206 |     900    60159   195522 |        1   246022     35 |  0.000 % |
872.01/872.03	c |   4626307 |     900    60159   195522 |        1   246123     35 |  0.000 % |
872.01/872.03	c |   4626697 |     900    60159   195522 |        1   246513     35 |  0.000 % |
872.01/872.03	c |   4626955 |     900    60159   195522 |        1   246771     35 |  0.000 % |
872.01/872.03	c |   4627389 |     900    60159   195522 |        1   247205     35 |  0.000 % |
872.01/872.03	c |   4638072 |     900    60159   195522 |        1   257888     36 |  0.000 % |
872.01/872.03	c |   4646203 |     900    60159   195522 |        1   266019     36 |  0.000 % |
872.01/872.03	c |   4658674 |     900    60159   195522 |        1   278490     37 |  0.000 % |
872.01/872.03	c |   4659890 |     900    60159   195522 |        1   279706     37 |  0.000 % |
872.01/872.03	c |   4661442 |     900    60159   195522 |        1   281258     37 |  0.000 % |
872.01/872.03	c |   4661542 |     900    60159   195522 |        1   281358     37 |  0.000 % |
872.01/872.03	c |   4663303 |     900    60159   195522 |        1   283119     37 |  0.000 % |
872.01/872.03	c |   4663755 |     900    60159   195522 |        1   283571     37 |  0.000 % |
872.01/872.03	c |   4667326 |     900    60159   195522 |        1   287142     37 |  0.000 % |
872.01/872.03	c |   4667523 |     900    60159   195522 |        1   287339     37 |  0.000 % |
872.01/872.03	c |   4667623 |     900    60159   195522 |        1   287439     37 |  0.000 % |
872.01/872.03	c |   4667723 |     900    60159   195522 |        1   287539     37 |  0.000 % |
872.01/872.03	c |   4670293 |     900    60159   195522 |        1   290109     37 |  0.000 % |
872.01/872.03	c |   4670393 |     900    60159   195522 |        1   290209     37 |  0.000 % |
872.01/872.03	c |   4671036 |     900    60159   195522 |        1   290852     37 |  0.000 % |
872.01/872.03	c |   4672471 |     900    60159   195522 |        1   292287     38 |  0.000 % |
872.01/872.03	c |   4682339 |     900    60159   195522 |        1   302155     38 |  0.000 % |
872.01/872.03	c |   4682440 |     900    60159   195522 |        1   302256     38 |  0.000 % |
872.01/872.03	c |   4690170 |     900    60159   195522 |        1   157789     26 |  0.000 % |
872.01/872.03	c |   4695005 |     900    60159   195522 |        1   162624     27 |  0.000 % |
872.01/872.03	c |   4698007 |     900    60159   195522 |        1   165626     27 |  0.000 % |
872.01/872.03	c |   4699679 |     900    60159   195522 |        1   167298     27 |  0.000 % |
901.71/901.70	c |   4699779 |     900    60159   195522 |        1   167398     27 |  0.000 % |
901.71/901.70	c |   4699979 |     900    60159   195522 |        1   167598     27 |  0.000 % |
901.71/901.70	c |   4701996 |     900    60159   195522 |        1   169615     28 |  0.000 % |
901.71/901.70	c |   4702465 |     900    60159   195522 |        1   170084     28 |  0.000 % |
901.71/901.70	c |   4716652 |     900    60159   195522 |        1   184271     29 |  0.000 % |
901.71/901.70	c |   4717580 |     900    60159   195522 |        1   185199     29 |  0.000 % |
901.71/901.70	c |   4722113 |     900    60159   195522 |        1   189732     30 |  0.000 % |
901.71/901.70	c |   4722670 |     900    60159   195522 |        1   190289     30 |  0.000 % |
901.71/901.70	c |   4724632 |     900    60159   195522 |        1   192251     30 |  0.000 % |
901.71/901.70	c |   4724743 |     900    60159   195522 |        1   192362     30 |  0.000 % |
901.71/901.70	c |   4724843 |     900    60159   195522 |        1   192462     30 |  0.000 % |
901.71/901.70	c |   4729081 |     900    60159   195522 |        1   196700     31 |  0.000 % |
901.71/901.70	c |   4729252 |     900    60159   195522 |        1   196871     31 |  0.000 % |
901.71/901.70	c |   4732015 |     900    60159   195522 |        1   199634     31 |  0.000 % |
901.71/901.70	c |   4732204 |     900    60159   195522 |        1   199823     31 |  0.000 % |
901.71/901.70	c |   4732340 |     900    60159   195522 |        1   199959     31 |  0.000 % |
901.71/901.70	c |   4732440 |     900    60159   195522 |        1   200059     31 |  0.000 % |
901.71/901.70	c |   4736099 |     900    60159   195522 |        1   203718     31 |  0.000 % |
901.71/901.70	c |   4736663 |     900    60159   195522 |        1   204282     31 |  0.000 % |
901.71/901.70	c |   4736763 |     900    60159   195522 |        1   204382     31 |  0.000 % |
901.71/901.70	c |   4738875 |     900    60159   195522 |        1   206494     32 |  0.000 % |
901.71/901.70	c |   4738976 |     900    60159   195522 |        1   206595     32 |  0.000 % |
901.71/901.70	c |   4739076 |     900    60159   195522 |        1   206695     32 |  0.000 % |
901.71/901.70	c |   4740668 |     900    60159   195522 |        1   208287     32 |  0.000 % |
901.71/901.70	c |   4740768 |     900    60159   195522 |        1   208387     32 |  0.000 % |
901.71/901.70	c |   4740871 |     900    60159   195522 |        1   208490     32 |  0.000 % |
901.71/901.70	c |   4741323 |     900    60159   195522 |        1   208942     32 |  0.000 % |
901.71/901.70	c |   4741445 |     900    60159   195522 |        1   209064     32 |  0.000 % |
901.71/901.70	c |   4742113 |     900    60159   195522 |        1   209732     32 |  0.000 % |
901.71/901.70	c |   4744020 |     900    60159   195522 |        1   211639     32 |  0.000 % |
901.71/901.70	c |   4744222 |     900    60159   195522 |        1   211841     32 |  0.000 % |
901.71/901.70	c |   4755383 |     900    60159   195522 |        1   223002     33 |  0.000 % |
901.71/901.70	c |   4756136 |     900    60159   195522 |        1   223755     33 |  0.000 % |
901.71/901.70	c |   4758805 |     900    60159   195522 |        1   226424     33 |  0.000 % |
901.71/901.70	c |   4768457 |     900    60159   195522 |        1   236076     34 |  0.000 % |
901.71/901.70	c |   4768644 |     900    60159   195522 |        1   236263     34 |  0.000 % |
901.71/901.70	c |   4770353 |     900    60159   195522 |        1   237972     34 |  0.000 % |
901.71/901.70	c |   4773416 |     900    60159   195522 |        1   241035     34 |  0.000 % |
901.71/901.70	c |   4778226 |     900    60159   195522 |        1   245845     35 |  0.000 % |
901.71/901.70	c |   4778326 |     900    60159   195522 |        1   245945     35 |  0.000 % |
901.71/901.70	c |   4784161 |     900    60159   195522 |        1   251780     35 |  0.000 % |
901.71/901.70	c |   4784330 |     900    60159   195522 |        1   251949     35 |  0.000 % |
901.71/901.70	c |   4793909 |     900    60159   195522 |        1   261528     35 |  0.000 % |
901.71/901.70	c |   4794365 |     900    60159   195522 |        1   261984     35 |  0.000 % |
901.71/901.70	c |   4801505 |     900    60159   195522 |        1   269124     36 |  0.000 % |
901.71/901.70	c |   4802903 |     900    60159   195522 |        1   270522     36 |  0.000 % |
901.71/901.70	c |   4809829 |     900    60159   195522 |        1   277448     36 |  0.000 % |
901.71/901.70	c |   4809929 |     900    60159   195522 |        1   277548     36 |  0.000 % |
901.71/901.70	c |   4810064 |     900    60159   195522 |        1   277683     36 |  0.000 % |
901.71/901.70	c |   4810239 |     900    60159   195522 |        1   277858     36 |  0.000 % |
922.81/922.82	c |   4812941 |     900    60159   195522 |        1   280560     36 |  0.000 % |
922.81/922.82	c |   4813134 |     900    60159   195522 |        1   280753     36 |  0.000 % |
922.81/922.82	c |   4813292 |     900    60159   195522 |        1   280911     36 |  0.000 % |
922.81/922.82	c |   4813394 |     900    60159   195522 |        1   281013     36 |  0.000 % |
922.81/922.82	c |   4813714 |     900    60159   195522 |        1   281333     36 |  0.000 % |
922.81/922.82	c |   4813817 |     900    60159   195522 |        1   281436     36 |  0.000 % |
922.81/922.82	c |   4816592 |     900    60159   195522 |        1   284211     36 |  0.000 % |
922.81/922.82	c |   4820044 |     900    60159   195522 |        1   287663     37 |  0.000 % |
922.81/922.82	c |   4820147 |     900    60159   195522 |        1   287766     37 |  0.000 % |
922.81/922.82	c |   4820426 |     900    60159   195522 |        1   288045     37 |  0.000 % |
922.81/922.82	c |   4820527 |     900    60159   195522 |        1   288146     37 |  0.000 % |
922.81/922.82	c |   4823862 |     900    60159   195522 |        1   291481     37 |  0.000 % |
922.81/922.82	c |   4824006 |     900    60159   195522 |        1   291625     37 |  0.000 % |
922.81/922.82	c |   4825868 |     900    60159   195522 |        1   293487     37 |  0.000 % |
922.81/922.82	c |   4825969 |     900    60159   195522 |        1   293588     37 |  0.000 % |
922.81/922.82	c |   4826073 |     900    60159   195522 |        1   293692     37 |  0.000 % |
922.81/922.82	c |   4826602 |     900    60159   195522 |        1   294221     37 |  0.000 % |
922.81/922.82	c |   4826702 |     900    60159   195522 |        1   294321     37 |  0.000 % |
922.81/922.82	c |   4830986 |     900    60159   195522 |        1   298605     37 |  0.000 % |
922.81/922.82	c |   4831086 |     900    60159   195522 |        1   298705     37 |  0.000 % |
922.81/922.82	c |   4831370 |     900    60159   195522 |        1   298989     37 |  0.000 % |
922.81/922.82	c |   4834386 |     900    60159   195522 |        1   302005     37 |  0.000 % |
922.81/922.82	c |   4834506 |     900    60159   195522 |        1   302125     37 |  0.000 % |
922.81/922.82	c |   4835567 |     900    60159   195522 |        1   303186     37 |  0.000 % |
922.81/922.82	c |   4835886 |     900    60159   195522 |        1   303505     37 |  0.000 % |
922.81/922.82	c |   4835988 |     900    60159   195522 |        1   303607     37 |  0.000 % |
922.81/922.82	c |   4836387 |     900    60159   195522 |        1   304006     37 |  0.000 % |
922.81/922.82	c |   4846105 |     900    60159   195522 |        1   158925     25 |  0.000 % |
922.81/922.82	c |   4851909 |     900    60159   195522 |        1   164729     26 |  0.000 % |
922.81/922.82	c |   4853522 |     900    60159   195522 |        1   166342     26 |  0.000 % |
922.81/922.82	c |   4853624 |     900    60159   195522 |        1   166444     26 |  0.000 % |
922.81/922.82	c |   4854233 |     900    60159   195522 |        1   167053     26 |  0.000 % |
922.81/922.82	c |   4869230 |     900    60159   195522 |        1   182050     29 |  0.000 % |
922.81/922.82	c |   4870424 |     900    60159   195522 |        1   183244     29 |  0.000 % |
922.81/922.82	c |   4870717 |     900    60159   195522 |        1   183537     29 |  0.000 % |
922.81/922.82	c |   4874532 |     900    60159   195522 |        1   187352     29 |  0.000 % |
922.81/922.82	c |   4874636 |     900    60159   195522 |        1   187456     29 |  0.000 % |
922.81/922.82	c |   4874869 |     900    60159   195522 |        1   187689     29 |  0.000 % |
922.81/922.82	c |   4875819 |     900    60159   195522 |        1   188639     29 |  0.000 % |
922.81/922.82	c |   4876915 |     900    60159   195522 |        1   189735     30 |  0.000 % |
922.81/922.82	c |   4877062 |     900    60159   195522 |        1   189882     30 |  0.000 % |
922.81/922.82	c |   4877162 |     900    60159   195522 |        1   189982     30 |  0.000 % |
922.81/922.82	c |   4877267 |     900    60159   195522 |        1   190087     30 |  0.000 % |
922.81/922.82	c |   4877368 |     900    60159   195522 |        1   190188     30 |  0.000 % |
922.81/922.82	c |   4885498 |     900    60159   195522 |        1   198318     31 |  0.000 % |
922.81/922.82	c |   4885598 |     900    60159   195522 |        1   198418     31 |  0.000 % |
922.81/922.82	c |   4886527 |     900    60159   195522 |        1   199347     31 |  0.000 % |
922.81/922.82	c |   4888885 |     900    60159   195522 |        1   201705     31 |  0.000 % |
922.81/922.82	c |   4889882 |     900    60159   195522 |        1   202702     31 |  0.000 % |
922.81/922.82	c |   4893924 |     900    60159   195522 |        1   206744     31 |  0.000 % |
956.01/956.03	c |   4894765 |     900    60159   195522 |        1   207585     32 |  0.000 % |
956.01/956.03	c |   4896190 |     900    60159   195522 |        1   209010     32 |  0.000 % |
956.01/956.03	c |   4901985 |     900    60159   195522 |        1   214805     32 |  0.000 % |
956.01/956.03	c |   4904522 |     900    60159   195522 |        1   217342     32 |  0.000 % |
956.01/956.03	c |   4906439 |     900    60159   195522 |        1   219259     33 |  0.000 % |
956.01/956.03	c |   4906540 |     900    60159   195522 |        1   219360     33 |  0.000 % |
956.01/956.03	c |   4906642 |     900    60159   195522 |        1   219462     33 |  0.000 % |
956.01/956.03	c |   4907297 |     900    60159   195522 |        1   220117     33 |  0.000 % |
956.01/956.03	c |   4909335 |     900    60159   195522 |        1   222155     33 |  0.000 % |
956.01/956.03	c |   4909927 |     900    60159   195522 |        1   222747     33 |  0.000 % |
956.01/956.03	c |   4910027 |     900    60159   195522 |        1   222847     33 |  0.000 % |
956.01/956.03	c |   4910637 |     900    60159   195522 |        1   223457     33 |  0.000 % |
956.01/956.03	c |   4920402 |     900    60159   195522 |        1   233222     34 |  0.000 % |
956.01/956.03	c |   4921179 |     900    60159   195522 |        1   233999     34 |  0.000 % |
956.01/956.03	c |   4928237 |     900    60159   195522 |        1   241057     34 |  0.000 % |
956.01/956.03	c |   4928858 |     900    60159   195522 |        1   241678     34 |  0.000 % |
956.01/956.03	c |   4929921 |     900    60159   195522 |        1   242741     35 |  0.000 % |
956.01/956.03	c |   4930022 |     900    60159   195522 |        1   242842     35 |  0.000 % |
956.01/956.03	c |   4930122 |     900    60159   195522 |        1   242942     35 |  0.000 % |
956.01/956.03	c |   4931484 |     900    60159   195522 |        1   244304     35 |  0.000 % |
956.01/956.03	c |   4931585 |     900    60159   195522 |        1   244405     35 |  0.000 % |
956.01/956.03	c |   4931686 |     900    60159   195522 |        1   244506     35 |  0.000 % |
956.01/956.03	c |   4932629 |     900    60159   195522 |        1   245449     35 |  0.000 % |
956.01/956.03	c |   4934684 |     900    60159   195522 |        1   247504     35 |  0.000 % |
956.01/956.03	c |   4934953 |     900    60159   195522 |        1   247773     35 |  0.000 % |
956.01/956.03	c |   4935382 |     900    60159   195522 |        1   248202     35 |  0.000 % |
956.01/956.03	c |   4940949 |     900    60159   195522 |        1   253769     35 |  0.000 % |
956.01/956.03	c |   4951402 |     900    60159   195522 |        1   264222     36 |  0.000 % |
956.01/956.03	c |   4951505 |     900    60159   195522 |        1   264325     36 |  0.000 % |
956.01/956.03	c |   4951606 |     900    60159   195522 |        1   264426     36 |  0.000 % |
956.01/956.03	c |   4958133 |     900    60159   195522 |        1   270953     36 |  0.000 % |
956.01/956.03	c |   4958233 |     900    60159   195522 |        1   271053     36 |  0.000 % |
956.01/956.03	c |   4961631 |     900    60159   195522 |        1   274451     37 |  0.000 % |
956.01/956.03	c |   4964140 |     900    60159   195522 |        1   276960     37 |  0.000 % |
956.01/956.03	c |   4969770 |     900    60159   195522 |        1   282590     37 |  0.000 % |
956.01/956.03	c |   4972324 |     900    60159   195522 |        1   285144     37 |  0.000 % |
956.01/956.03	c |   4981365 |     900    60159   195522 |        1   294185     37 |  0.000 % |
956.01/956.03	c |   4993911 |     900    60159   195522 |        1   306731     38 |  0.000 % |
956.01/956.03	c |   4994011 |     900    60159   195522 |        1   306831     38 |  0.000 % |
956.01/956.03	c |   4996266 |     900    60159   195522 |        1   309086     38 |  0.000 % |
956.01/956.03	c |   4996366 |     900    60159   195522 |        1   309186     38 |  0.000 % |
956.01/956.03	c |   4999030 |     900    60159   195522 |        1   311850     38 |  0.000 % |
956.01/956.03	c |   5000236 |     900    60159   195522 |        1   313056     38 |  0.000 % |
956.01/956.03	c |   5000650 |     900    60159   195522 |        1   313470     39 |  0.000 % |
956.01/956.03	c |   5000750 |     900    60159   195522 |        1   313570     39 |  0.000 % |
956.01/956.03	c |   5002577 |     900    60159   195522 |        1   157995     25 |  0.000 % |
956.01/956.03	c |   5007136 |     900    60159   195522 |        1   162554     25 |  0.000 % |
956.01/956.03	c |   5011301 |     900    60159   195522 |        1   166719     26 |  0.000 % |
956.01/956.03	c |   5018400 |     900    60159   195522 |        1   173818     27 |  0.000 % |
982.02/982.03	c |   5018502 |     900    60159   195522 |        1   173920     28 |  0.000 % |
982.02/982.03	c |   5018637 |     900    60159   195522 |        1   174055     28 |  0.000 % |
982.02/982.03	c |   5021578 |     900    60159   195522 |        1   176996     28 |  0.000 % |
982.02/982.03	c |   5024498 |     900    60159   195522 |        1   179916     28 |  0.000 % |
982.02/982.03	c |   5024598 |     900    60159   195522 |        1   180016     28 |  0.000 % |
982.02/982.03	c |   5024700 |     900    60159   195522 |        1   180118     28 |  0.000 % |
982.02/982.03	c |   5026038 |     900    60159   195522 |        1   181456     29 |  0.000 % |
982.02/982.03	c |   5027639 |     900    60159   195522 |        1   183057     29 |  0.000 % |
982.02/982.03	c |   5027742 |     900    60159   195522 |        1   183160     29 |  0.000 % |
982.02/982.03	c |   5028599 |     900    60159   195522 |        1   184017     29 |  0.000 % |
982.02/982.03	c |   5029175 |     900    60159   195522 |        1   184593     29 |  0.000 % |
982.02/982.03	c |   5030011 |     900    60159   195522 |        1   185429     29 |  0.000 % |
982.02/982.03	c |   5031035 |     900    60159   195522 |        1   186453     29 |  0.000 % |
982.02/982.03	c |   5034496 |     900    60159   195522 |        1   189914     30 |  0.000 % |
982.02/982.03	c |   5037073 |     900    60159   195522 |        1   192491     30 |  0.000 % |
982.02/982.03	c |   5037375 |     900    60159   195522 |        1   192793     30 |  0.000 % |
982.02/982.03	c |   5037927 |     900    60159   195522 |        1   193345     30 |  0.000 % |
982.02/982.03	c |   5040176 |     900    60159   195522 |        1   195594     30 |  0.000 % |
982.02/982.03	c |   5040430 |     900    60159   195522 |        1   195848     31 |  0.000 % |
982.02/982.03	c |   5040530 |     900    60159   195522 |        1   195948     31 |  0.000 % |
982.02/982.03	c |   5045397 |     900    60159   195522 |        1   200815     31 |  0.000 % |
982.02/982.03	c |   5052058 |     900    60159   195522 |        1   207476     32 |  0.000 % |
982.02/982.03	c |   5054283 |     900    60159   195522 |        1   209701     32 |  0.000 % |
982.02/982.03	c |   5055393 |     900    60159   195522 |        1   210811     32 |  0.000 % |
982.02/982.03	c |   5056562 |     900    60159   195522 |        1   211980     32 |  0.000 % |
982.02/982.03	c |   5057608 |     900    60159   195522 |        1   213026     32 |  0.000 % |
982.02/982.03	c |   5066738 |     900    60159   195522 |        1   222156     33 |  0.000 % |
982.02/982.03	c |   5070677 |     900    60159   195522 |        1   226095     34 |  0.000 % |
982.02/982.03	c |   5071911 |     900    60159   195522 |        1   227329     34 |  0.000 % |
982.02/982.03	c |   5072324 |     900    60159   195522 |        1   227742     34 |  0.000 % |
982.02/982.03	c |   5072542 |     900    60159   195522 |        1   227960     34 |  0.000 % |
982.02/982.03	c |   5078362 |     900    60159   195522 |        1   233780     34 |  0.000 % |
982.02/982.03	c |   5078923 |     900    60159   195522 |        1   234341     34 |  0.000 % |
982.02/982.03	c |   5079652 |     900    60159   195522 |        1   235070     35 |  0.000 % |
982.02/982.03	c |   5080111 |     900    60159   195522 |        1   235529     35 |  0.000 % |
982.02/982.03	c |   5080222 |     900    60159   195522 |        1   235640     35 |  0.000 % |
982.02/982.03	c |   5080969 |     900    60159   195522 |        1   236387     35 |  0.000 % |
982.02/982.03	c |   5091867 |     900    60159   195522 |        1   247285     35 |  0.000 % |
982.02/982.03	c |   5093283 |     900    60159   195522 |        1   248701     35 |  0.000 % |
982.02/982.03	c |   5093386 |     900    60159   195522 |        1   248804     35 |  0.000 % |
982.02/982.03	c |   5094737 |     900    60159   195522 |        1   250155     36 |  0.000 % |
982.02/982.03	c |   5100893 |     900    60159   195522 |        1   256311     36 |  0.000 % |
982.02/982.03	c |   5102162 |     900    60159   195522 |        1   257580     36 |  0.000 % |
982.02/982.03	c |   5103352 |     900    60159   195522 |        1   258770     36 |  0.000 % |
982.02/982.03	c |   5103452 |     900    60159   195522 |        1   258870     36 |  0.000 % |
982.02/982.03	c |   5119316 |     900    60159   195522 |        1   274734     37 |  0.000 % |
982.02/982.03	c |   5121850 |     900    60159   195522 |        1   277268     37 |  0.000 % |
982.02/982.03	c |   5122172 |     900    60159   195522 |        1   277590     37 |  0.000 % |
982.02/982.03	c |   5123042 |     900    60159   195522 |        1   278460     37 |  0.000 % |
982.02/982.03	c |   5123142 |     900    60159   195522 |        1   278560     37 |  0.000 % |
1011.92/1011.96	c |   5132515 |     900    60159   195522 |        1   287933     38 |  0.000 % |
1011.92/1011.96	c |   5134769 |     900    60159   195522 |        1   290187     38 |  0.000 % |
1011.92/1011.96	c |   5134869 |     900    60159   195522 |        1   290287     38 |  0.000 % |
1011.92/1011.96	c |   5138505 |     900    60159   195522 |        1   293923     38 |  0.000 % |
1011.92/1011.96	c |   5138605 |     900    60159   195522 |        1   294023     38 |  0.000 % |
1011.92/1011.96	c |   5138705 |     900    60159   195522 |        1   294123     38 |  0.000 % |
1011.92/1011.96	c |   5141210 |     900    60159   195522 |        1   296628     38 |  0.000 % |
1011.92/1011.96	c |   5141440 |     900    60159   195522 |        1   296858     38 |  0.000 % |
1011.92/1011.96	c |   5144486 |     900    60159   195522 |        1   299904     39 |  0.000 % |
1011.92/1011.96	c |   5145412 |     900    60159   195522 |        1   300830     39 |  0.000 % |
1011.92/1011.96	c |   5148177 |     900    60159   195522 |        1   303595     39 |  0.000 % |
1011.92/1011.96	c |   5148278 |     900    60159   195522 |        1   303696     39 |  0.000 % |
1011.92/1011.96	c |   5149791 |     900    60159   195522 |        1   305209     39 |  0.000 % |
1011.92/1011.96	c |   5150955 |     900    60159   195522 |        1   306373     39 |  0.000 % |
1011.92/1011.96	c |   5153360 |     900    60159   195522 |        1   308778     39 |  0.000 % |
1011.92/1011.96	c |   5153464 |     900    60159   195522 |        1   308882     39 |  0.000 % |
1011.92/1011.96	c |   5159609 |     900    60159   195522 |        1   315027     39 |  0.000 % |
1011.92/1011.96	c |   5160301 |     900    60159   195522 |        1   315719     39 |  0.000 % |
1011.92/1011.96	c |   5162967 |     900    60159   195522 |        1   318385     39 |  0.000 % |
1011.92/1011.96	c |   5167906 |     900    60159   195522 |        1   163317     25 |  0.000 % |
1011.92/1011.96	c |   5168488 |     900    60159   195522 |        1   163899     25 |  0.000 % |
1011.92/1011.96	c |   5168589 |     900    60159   195522 |        1   164000     25 |  0.000 % |
1011.92/1011.96	c |   5170934 |     900    60159   195522 |        1   166345     26 |  0.000 % |
1011.92/1011.96	c |   5171034 |     900    60159   195522 |        1   166445     26 |  0.000 % |
1011.92/1011.96	c |   5175965 |     900    60159   195522 |        1   171376     26 |  0.000 % |
1011.92/1011.96	c |   5176579 |     900    60159   195522 |        1   171990     26 |  0.000 % |
1011.92/1011.96	c |   5176763 |     900    60159   195522 |        1   172174     26 |  0.000 % |
1011.92/1011.96	c |   5182588 |     900    60159   195522 |        1   177999     27 |  0.000 % |
1011.92/1011.96	c |   5183063 |     900    60159   195522 |        1   178474     27 |  0.000 % |
1011.92/1011.96	c |   5189813 |     900    60159   195522 |        1   185224     28 |  0.000 % |
1011.92/1011.96	c |   5190598 |     900    60159   195522 |        1   186009     28 |  0.000 % |
1011.92/1011.96	c |   5192205 |     900    60159   195522 |        1   187616     28 |  0.000 % |
1011.92/1011.96	c |   5192516 |     900    60159   195522 |        1   187927     28 |  0.000 % |
1011.92/1011.96	c |   5193933 |     900    60159   195522 |        1   189344     29 |  0.000 % |
1011.92/1011.96	c |   5197771 |     900    60159   195522 |        1   193182     29 |  0.000 % |
1011.92/1011.96	c |   5200067 |     900    60159   195522 |        1   195478     29 |  0.000 % |
1011.92/1011.96	c |   5201133 |     900    60159   195522 |        1   196544     29 |  0.000 % |
1011.92/1011.96	c |   5221047 |     900    60159   195522 |        1   216458     31 |  0.000 % |
1011.92/1011.96	c |   5223874 |     900    60159   195522 |        1   219285     31 |  0.000 % |
1011.92/1011.96	c |   5223976 |     900    60159   195522 |        1   219387     31 |  0.000 % |
1011.92/1011.96	c |   5227563 |     900    60159   195522 |        1   222974     32 |  0.000 % |
1011.92/1011.96	c |   5228581 |     900    60159   195522 |        1   223992     32 |  0.000 % |
1011.92/1011.96	c |   5233374 |     900    60159   195522 |        1   228785     32 |  0.000 % |
1011.92/1011.96	c |   5234764 |     900    60159   195522 |        1   230175     32 |  0.000 % |
1011.92/1011.96	c |   5234958 |     900    60159   195522 |        1   230369     32 |  0.000 % |
1011.92/1011.96	c |   5235059 |     900    60159   195522 |        1   230470     32 |  0.000 % |
1011.92/1011.96	c |   5236198 |     900    60159   195522 |        1   231609     32 |  0.000 % |
1011.92/1011.96	c |   5237005 |     900    60159   195522 |        1   232416     32 |  0.000 % |
1011.92/1011.96	c |   5237109 |     900    60159   195522 |        1   232520     32 |  0.000 % |
1011.92/1011.96	c |   5237209 |     900    60159   195522 |        1   232620     32 |  0.000 % |
1042.92/1042.99	c |   5237310 |     900    60159   195522 |        1   232721     32 |  0.000 % |
1042.92/1042.99	c |   5237411 |     900    60159   195522 |        1   232822     32 |  0.000 % |
1042.92/1042.99	c |   5239344 |     900    60159   195522 |        1   234755     33 |  0.000 % |
1042.92/1042.99	c |   5239935 |     900    60159   195522 |        1   235346     33 |  0.000 % |
1042.92/1042.99	c |   5241062 |     900    60159   195522 |        1   236473     33 |  0.000 % |
1042.92/1042.99	c |   5241493 |     900    60159   195522 |        1   236904     33 |  0.000 % |
1042.92/1042.99	c |   5241663 |     900    60159   195522 |        1   237074     33 |  0.000 % |
1042.92/1042.99	c |   5247298 |     900    60159   195522 |        1   242709     33 |  0.000 % |
1042.92/1042.99	c |   5247730 |     900    60159   195522 |        1   243141     33 |  0.000 % |
1042.92/1042.99	c |   5247831 |     900    60159   195522 |        1   243242     34 |  0.000 % |
1042.92/1042.99	c |   5250443 |     900    60159   195522 |        1   245854     34 |  0.000 % |
1042.92/1042.99	c |   5252772 |     900    60159   195522 |        1   248183     34 |  0.000 % |
1042.92/1042.99	c |   5252873 |     900    60159   195522 |        1   248284     34 |  0.000 % |
1042.92/1042.99	c |   5259520 |     900    60159   195522 |        1   254931     35 |  0.000 % |
1042.92/1042.99	c |   5264624 |     900    60159   195522 |        1   260035     35 |  0.000 % |
1042.92/1042.99	c |   5264724 |     900    60159   195522 |        1   260135     35 |  0.000 % |
1042.92/1042.99	c |   5266318 |     900    60159   195522 |        1   261729     35 |  0.000 % |
1042.92/1042.99	c |   5266419 |     900    60159   195522 |        1   261830     35 |  0.000 % |
1042.92/1042.99	c |   5271418 |     900    60159   195522 |        1   266829     35 |  0.000 % |
1042.92/1042.99	c |   5273027 |     900    60159   195522 |        1   268438     36 |  0.000 % |
1042.92/1042.99	c |   5275032 |     900    60159   195522 |        1   270443     36 |  0.000 % |
1042.92/1042.99	c |   5283174 |     900    60159   195522 |        1   278585     36 |  0.000 % |
1042.92/1042.99	c |   5283811 |     900    60159   195522 |        1   279222     36 |  0.000 % |
1042.92/1042.99	c |   5287304 |     900    60159   195522 |        1   282715     36 |  0.000 % |
1042.92/1042.99	c |   5288624 |     900    60159   195522 |        1   284035     37 |  0.000 % |
1042.92/1042.99	c |   5289415 |     900    60159   195522 |        1   284826     37 |  0.000 % |
1042.92/1042.99	c |   5289516 |     900    60159   195522 |        1   284927     37 |  0.000 % |
1042.92/1042.99	c |   5289617 |     900    60159   195522 |        1   285028     37 |  0.000 % |
1042.92/1042.99	c |   5293849 |     900    60159   195522 |        1   289260     37 |  0.000 % |
1042.92/1042.99	c |   5299198 |     900    60159   195522 |        1   294609     37 |  0.000 % |
1042.92/1042.99	c |   5303266 |     900    60159   195522 |        1   298677     37 |  0.000 % |
1042.92/1042.99	c |   5303470 |     900    60159   195522 |        1   298881     37 |  0.000 % |
1042.92/1042.99	c |   5303570 |     900    60159   195522 |        1   298981     37 |  0.000 % |
1042.92/1042.99	c |   5309540 |     900    60159   195522 |        1   304951     37 |  0.000 % |
1042.92/1042.99	c |   5314884 |     900    60159   195522 |        1   310295     38 |  0.000 % |
1042.92/1042.99	c |   5314991 |     900    60159   195522 |        1   310402     38 |  0.000 % |
1042.92/1042.99	c |   5315594 |     900    60159   195522 |        1   311005     38 |  0.000 % |
1042.92/1042.99	c |   5316316 |     900    60159   195522 |        1   311727     38 |  0.000 % |
1042.92/1042.99	c |   5319321 |     900    60159   195522 |        1   314732     38 |  0.000 % |
1042.92/1042.99	c |   5319473 |     900    60159   195522 |        1   314884     38 |  0.000 % |
1042.92/1042.99	c |   5320002 |     900    60159   195522 |        1   315413     38 |  0.000 % |
1042.92/1042.99	c |   5320536 |     900    60159   195522 |        1   315947     38 |  0.000 % |
1042.92/1042.99	c |   5334456 |     900    60159   195522 |        1   167272     25 |  0.000 % |
1042.92/1042.99	c |   5335456 |     900    60159   195522 |        1   168272     26 |  0.000 % |
1042.92/1042.99	c |   5340622 |     900    60159   195522 |        1   173438     26 |  0.000 % |
1042.92/1042.99	c |   5343004 |     900    60159   195522 |        1   175820     27 |  0.000 % |
1042.92/1042.99	c |   5343547 |     900    60159   195522 |        1   176363     27 |  0.000 % |
1042.92/1042.99	c |   5344306 |     900    60159   195522 |        1   177122     27 |  0.000 % |
1042.92/1042.99	c |   5349812 |     900    60159   195522 |        1   182628     28 |  0.000 % |
1042.92/1042.99	c |   5351502 |     900    60159   195522 |        1   184318     28 |  0.000 % |
1080.12/1080.13	c |   5351734 |     900    60159   195522 |        1   184550     28 |  0.000 % |
1080.12/1080.13	c |   5364299 |     900    60159   195522 |        1   197115     29 |  0.000 % |
1080.12/1080.13	c |   5364400 |     900    60159   195522 |        1   197216     29 |  0.000 % |
1080.12/1080.13	c |   5364746 |     900    60159   195522 |        1   197562     29 |  0.000 % |
1080.12/1080.13	c |   5365043 |     900    60159   195522 |        1   197859     29 |  0.000 % |
1080.12/1080.13	c |   5365791 |     900    60159   195522 |        1   198607     30 |  0.000 % |
1080.12/1080.13	c |   5366382 |     900    60159   195522 |        1   199198     30 |  0.000 % |
1080.12/1080.13	c |   5371485 |     900    60159   195522 |        1   204301     30 |  0.000 % |
1080.12/1080.13	c |   5373544 |     900    60159   195522 |        1   206360     31 |  0.000 % |
1080.12/1080.13	c |   5373745 |     900    60159   195522 |        1   206561     31 |  0.000 % |
1080.12/1080.13	c |   5373978 |     900    60159   195522 |        1   206794     31 |  0.000 % |
1080.12/1080.13	c |   5374392 |     900    60159   195522 |        1   207208     31 |  0.000 % |
1080.12/1080.13	c |   5381880 |     900    60159   195522 |        1   214696     31 |  0.000 % |
1080.12/1080.13	c |   5394011 |     900    60159   195522 |        1   226827     32 |  0.000 % |
1080.12/1080.13	c |   5394369 |     900    60159   195522 |        1   227185     32 |  0.000 % |
1080.12/1080.13	c |   5395022 |     900    60159   195522 |        1   227838     32 |  0.000 % |
1080.12/1080.13	c |   5395390 |     900    60159   195522 |        1   228206     32 |  0.000 % |
1080.12/1080.13	c |   5396757 |     900    60159   195522 |        1   229573     33 |  0.000 % |
1080.12/1080.13	c |   5407731 |     900    60159   195522 |        1   240547     33 |  0.000 % |
1080.12/1080.13	c |   5410099 |     900    60159   195522 |        1   242915     33 |  0.000 % |
1080.12/1080.13	c |   5410235 |     900    60159   195522 |        1   243051     34 |  0.000 % |
1080.12/1080.13	c |   5414799 |     900    60159   195522 |        1   247615     34 |  0.000 % |
1080.12/1080.13	c |   5416805 |     900    60159   195522 |        1   249621     34 |  0.000 % |
1080.12/1080.13	c |   5428771 |     900    60159   195522 |        1   261587     35 |  0.000 % |
1080.12/1080.13	c |   5433682 |     900    60159   195522 |        1   266498     35 |  0.000 % |
1080.12/1080.13	c |   5436387 |     900    60159   195522 |        1   269203     35 |  0.000 % |
1080.12/1080.13	c |   5436487 |     900    60159   195522 |        1   269303     35 |  0.000 % |
1080.12/1080.13	c |   5437206 |     900    60159   195522 |        1   270022     35 |  0.000 % |
1080.12/1080.13	c |   5437308 |     900    60159   195522 |        1   270124     35 |  0.000 % |
1080.12/1080.13	c |   5444817 |     900    60159   195522 |        1   277633     35 |  0.000 % |
1080.12/1080.13	c |   5444988 |     900    60159   195522 |        1   277804     35 |  0.000 % |
1080.12/1080.13	c |   5445088 |     900    60159   195522 |        1   277904     35 |  0.000 % |
1080.12/1080.13	c |   5447299 |     900    60159   195522 |        1   280115     36 |  0.000 % |
1080.12/1080.13	c |   5447400 |     900    60159   195522 |        1   280216     36 |  0.000 % |
1080.12/1080.13	c |   5451995 |     900    60159   195522 |        1   284811     36 |  0.000 % |
1080.12/1080.13	c |   5452098 |     900    60159   195522 |        1   284914     36 |  0.000 % |
1080.12/1080.13	c |   5452201 |     900    60159   195522 |        1   285017     36 |  0.000 % |
1080.12/1080.13	c |   5453001 |     900    60159   195522 |        1   285817     36 |  0.000 % |
1080.12/1080.13	c |   5453724 |     900    60159   195522 |        1   286540     36 |  0.000 % |
1080.12/1080.13	c |   5454096 |     900    60159   195522 |        1   286912     36 |  0.000 % |
1080.12/1080.13	c |   5463984 |     900    60159   195522 |        1   296800     37 |  0.000 % |
1080.12/1080.13	c |   5464085 |     900    60159   195522 |        1   296901     37 |  0.000 % |
1080.12/1080.13	c |   5465145 |     900    60159   195522 |        1   297961     37 |  0.000 % |
1080.12/1080.13	c |   5465627 |     900    60159   195522 |        1   298443     37 |  0.000 % |
1080.12/1080.13	c |   5465926 |     900    60159   195522 |        1   298742     37 |  0.000 % |
1080.12/1080.13	c |   5468208 |     900    60159   195522 |        1   301024     37 |  0.000 % |
1080.12/1080.13	c |   5479058 |     900    60159   195522 |        1   311874     38 |  0.000 % |
1080.12/1080.13	c |   5485078 |     900    60159   195522 |        1   317894     38 |  0.000 % |
1080.12/1080.13	c |   5485741 |     900    60159   195522 |        1   318557     38 |  0.000 % |
1080.12/1080.13	c |   5488076 |     900    60159   195522 |        1   320892     38 |  0.000 % |
1116.42/1116.44	c |   5488179 |     900    60159   195522 |        1   320995     38 |  0.000 % |
1116.42/1116.44	c |   5488580 |     900    60159   195522 |        1   321396     38 |  0.000 % |
1116.42/1116.44	c |   5489162 |     900    60159   195522 |        1   321978     38 |  0.000 % |
1116.42/1116.44	c |   5493817 |     900    60159   195522 |        1   326633     39 |  0.000 % |
1116.42/1116.44	c |   5503028 |     900    60159   195522 |        1   170645     25 |  0.000 % |
1116.42/1116.44	c |   5504453 |     900    60159   195522 |        1   172070     26 |  0.000 % |
1116.42/1116.44	c |   5514677 |     900    60159   195522 |        1   182294     27 |  0.000 % |
1116.42/1116.44	c |   5514777 |     900    60159   195522 |        1   182394     27 |  0.000 % |
1116.42/1116.44	c |   5515163 |     900    60159   195522 |        1   182780     27 |  0.000 % |
1116.42/1116.44	c |   5518991 |     900    60159   195522 |        1   186608     28 |  0.000 % |
1116.42/1116.44	c |   5519092 |     900    60159   195522 |        1   186709     28 |  0.000 % |
1116.42/1116.44	c |   5522366 |     900    60159   195522 |        1   189983     28 |  0.000 % |
1116.42/1116.44	c |   5526863 |     900    60159   195522 |        1   194480     29 |  0.000 % |
1116.42/1116.44	c |   5527101 |     900    60159   195522 |        1   194718     29 |  0.000 % |
1116.42/1116.44	c |   5528672 |     900    60159   195522 |        1   196289     29 |  0.000 % |
1116.42/1116.44	c |   5548604 |     900    60159   195522 |        1   216221     31 |  0.000 % |
1116.42/1116.44	c |   5548779 |     900    60159   195522 |        1   216396     31 |  0.000 % |
1116.42/1116.44	c |   5549870 |     900    60159   195522 |        1   217487     31 |  0.000 % |
1116.42/1116.44	c |   5550408 |     900    60159   195522 |        1   218025     31 |  0.000 % |
1116.42/1116.44	c |   5551320 |     900    60159   195522 |        1   218937     31 |  0.000 % |
1116.42/1116.44	c |   5554740 |     900    60159   195522 |        1   222357     31 |  0.000 % |
1116.42/1116.44	c |   5558654 |     900    60159   195522 |        1   226271     32 |  0.000 % |
1116.42/1116.44	c |   5559235 |     900    60159   195522 |        1   226852     32 |  0.000 % |
1116.42/1116.44	c |   5559407 |     900    60159   195522 |        1   227024     32 |  0.000 % |
1116.42/1116.44	c |   5559673 |     900    60159   195522 |        1   227290     32 |  0.000 % |
1116.42/1116.44	c |   5559799 |     900    60159   195522 |        1   227416     32 |  0.000 % |
1116.42/1116.44	c |   5559981 |     900    60159   195522 |        1   227598     32 |  0.000 % |
1116.42/1116.44	c |   5562947 |     900    60159   195522 |        1   230564     32 |  0.000 % |
1116.42/1116.44	c |   5563047 |     900    60159   195522 |        1   230664     32 |  0.000 % |
1116.42/1116.44	c |   5564348 |     900    60159   195522 |        1   231965     33 |  0.000 % |
1116.42/1116.44	c |   5567264 |     900    60159   195522 |        1   234881     33 |  0.000 % |
1116.42/1116.44	c |   5576499 |     900    60159   195522 |        1   244116     33 |  0.000 % |
1116.42/1116.44	c |   5577008 |     900    60159   195522 |        1   244625     34 |  0.000 % |
1116.42/1116.44	c |   5579758 |     900    60159   195522 |        1   247375     34 |  0.000 % |
1116.42/1116.44	c |   5597211 |     900    60159   195522 |        1   264828     35 |  0.000 % |
1116.42/1116.44	c |   5597804 |     900    60159   195522 |        1   265421     36 |  0.000 % |
1116.42/1116.44	c |   5604363 |     900    60159   195522 |        1   271980     36 |  0.000 % |
1116.42/1116.44	c |   5605890 |     900    60159   195522 |        1   273507     36 |  0.000 % |
1116.42/1116.44	c |   5606938 |     900    60159   195522 |        1   274555     36 |  0.000 % |
1116.42/1116.44	c |   5607066 |     900    60159   195522 |        1   274683     36 |  0.000 % |
1116.42/1116.44	c |   5607169 |     900    60159   195522 |        1   274786     36 |  0.000 % |
1116.42/1116.44	c |   5608058 |     900    60159   195522 |        1   275675     36 |  0.000 % |
1116.42/1116.44	c |   5608160 |     900    60159   195522 |        1   275777     36 |  0.000 % |
1116.42/1116.44	c |   5618225 |     900    60159   195522 |        1   285842     37 |  0.000 % |
1116.42/1116.44	c |   5619483 |     900    60159   195522 |        1   287100     37 |  0.000 % |
1116.42/1116.44	c |   5619585 |     900    60159   195522 |        1   287202     37 |  0.000 % |
1116.42/1116.44	c |   5619688 |     900    60159   195522 |        1   287305     37 |  0.000 % |
1116.42/1116.44	c |   5624831 |     900    60159   195522 |        1   292448     37 |  0.000 % |
1116.42/1116.44	c |   5625085 |     900    60159   195522 |        1   292702     37 |  0.000 % |
1116.42/1116.44	c |   5625802 |     900    60159   195522 |        1   293419     37 |  0.000 % |
1149.02/1149.01	c |   5627841 |     900    60159   195522 |        1   295458     37 |  0.000 % |
1149.02/1149.01	c |   5628017 |     900    60159   195522 |        1   295634     37 |  0.000 % |
1149.02/1149.01	c |   5638084 |     900    60159   195522 |        1   305701     38 |  0.000 % |
1149.02/1149.01	c |   5638421 |     900    60159   195522 |        1   306038     38 |  0.000 % |
1149.02/1149.01	c |   5640755 |     900    60159   195522 |        1   308372     38 |  0.000 % |
1149.02/1149.01	c |   5648576 |     900    60159   195522 |        1   316193     38 |  0.000 % |
1149.02/1149.01	c |   5648778 |     900    60159   195522 |        1   316395     38 |  0.000 % |
1149.02/1149.01	c |   5651540 |     900    60159   195522 |        1   319157     38 |  0.000 % |
1149.02/1149.01	c |   5652030 |     900    60159   195522 |        1   319647     38 |  0.000 % |
1149.02/1149.01	c |   5652130 |     900    60159   195522 |        1   319747     38 |  0.000 % |
1149.02/1149.01	c |   5652693 |     900    60159   195522 |        1   320310     39 |  0.000 % |
1149.02/1149.01	c |   5653336 |     900    60159   195522 |        1   320953     39 |  0.000 % |
1149.02/1149.01	c |   5657904 |     900    60159   195522 |        1   325521     39 |  0.000 % |
1149.02/1149.01	c |   5658043 |     900    60159   195522 |        1   325660     39 |  0.000 % |
1149.02/1149.01	c |   5660186 |     900    60159   195522 |        1   327803     39 |  0.000 % |
1149.02/1149.01	c |   5660536 |     900    60159   195522 |        1   328153     39 |  0.000 % |
1149.02/1149.01	c |   5660636 |     900    60159   195522 |        1   328253     39 |  0.000 % |
1149.02/1149.01	c |   5668610 |     900    60159   195522 |        1   168433     25 |  0.000 % |
1149.02/1149.01	c |   5669406 |     900    60159   195522 |        1   169229     25 |  0.000 % |
1149.02/1149.01	c |   5670310 |     900    60159   195522 |        1   170133     25 |  0.000 % |
1149.02/1149.01	c |   5673851 |     900    60159   195522 |        1   173674     26 |  0.000 % |
1149.02/1149.01	c |   5673966 |     900    60159   195522 |        1   173789     26 |  0.000 % |
1149.02/1149.01	c |   5679690 |     900    60159   195522 |        1   179513     27 |  0.000 % |
1149.02/1149.01	c |   5680233 |     900    60159   195522 |        1   180056     27 |  0.000 % |
1149.02/1149.01	c |   5683873 |     900    60159   195522 |        1   183696     27 |  0.000 % |
1149.02/1149.01	c |   5683973 |     900    60159   195522 |        1   183796     27 |  0.000 % |
1149.02/1149.01	c |   5689016 |     900    60159   195522 |        1   188839     28 |  0.000 % |
1149.02/1149.01	c |   5689440 |     900    60159   195522 |        1   189263     28 |  0.000 % |
1149.02/1149.01	c |   5689961 |     900    60159   195522 |        1   189784     28 |  0.000 % |
1149.02/1149.01	c |   5690121 |     900    60159   195522 |        1   189944     28 |  0.000 % |
1149.02/1149.01	c |   5690221 |     900    60159   195522 |        1   190044     28 |  0.000 % |
1149.02/1149.01	c |   5693087 |     900    60159   195522 |        1   192910     29 |  0.000 % |
1149.02/1149.01	c |   5695706 |     900    60159   195522 |        1   195529     29 |  0.000 % |
1149.02/1149.01	c |   5697935 |     900    60159   195522 |        1   197758     29 |  0.000 % |
1149.02/1149.01	c |   5706843 |     900    60159   195522 |        1   206666     30 |  0.000 % |
1149.02/1149.01	c |   5721386 |     900    60159   195522 |        1   221209     32 |  0.000 % |
1149.02/1149.01	c |   5721809 |     900    60159   195522 |        1   221632     32 |  0.000 % |
1149.02/1149.01	c |   5725795 |     900    60159   195522 |        1   225618     32 |  0.000 % |
1149.02/1149.01	c |   5725895 |     900    60159   195522 |        1   225718     32 |  0.000 % |
1149.02/1149.01	c |   5727031 |     900    60159   195522 |        1   226854     33 |  0.000 % |
1149.02/1149.01	c |   5727171 |     900    60159   195522 |        1   226994     33 |  0.000 % |
1149.02/1149.01	c |   5727275 |     900    60159   195522 |        1   227098     33 |  0.000 % |
1149.02/1149.01	c |   5729128 |     900    60159   195522 |        1   228951     33 |  0.000 % |
1149.02/1149.01	c |   5731479 |     900    60159   195522 |        1   231302     33 |  0.000 % |
1149.02/1149.01	c |   5731582 |     900    60159   195522 |        1   231405     33 |  0.000 % |
1149.02/1149.01	c |   5732769 |     900    60159   195522 |        1   232592     33 |  0.000 % |
1149.02/1149.01	c |   5738018 |     900    60159   195522 |        1   237841     34 |  0.000 % |
1149.02/1149.01	c |   5742678 |     900    60159   195522 |        1   242501     34 |  0.000 % |
1149.02/1149.01	c |   5742781 |     900    60159   195522 |        1   242604     34 |  0.000 % |
1149.02/1149.01	c |   5743732 |     900    60159   195522 |        1   243555     34 |  0.000 % |
1189.52/1189.54	c |   5753416 |     900    60159   195522 |        1   253239     35 |  0.000 % |
1189.52/1189.54	c |   5754032 |     900    60159   195522 |        1   253855     35 |  0.000 % |
1189.52/1189.54	c |   5756552 |     900    60159   195522 |        1   256375     35 |  0.000 % |
1189.52/1189.54	c |   5759543 |     900    60159   195522 |        1   259366     35 |  0.000 % |
1189.52/1189.54	c |   5760747 |     900    60159   195522 |        1   260570     35 |  0.000 % |
1189.52/1189.54	c |   5762039 |     900    60159   195522 |        1   261862     35 |  0.000 % |
1189.52/1189.54	c |   5762142 |     900    60159   195522 |        1   261965     35 |  0.000 % |
1189.52/1189.54	c |   5762244 |     900    60159   195522 |        1   262067     35 |  0.000 % |
1189.52/1189.54	c |   5763242 |     900    60159   195522 |        1   263065     35 |  0.000 % |
1189.52/1189.54	c |   5768859 |     900    60159   195522 |        1   268682     36 |  0.000 % |
1189.52/1189.54	c |   5771933 |     900    60159   195522 |        1   271756     36 |  0.000 % |
1189.52/1189.54	c |   5772039 |     900    60159   195522 |        1   271862     36 |  0.000 % |
1189.52/1189.54	c |   5772140 |     900    60159   195522 |        1   271963     36 |  0.000 % |
1189.52/1189.54	c |   5791995 |     900    60159   195522 |        1   291818     37 |  0.000 % |
1189.52/1189.54	c |   5792098 |     900    60159   195522 |        1   291921     37 |  0.000 % |
1189.52/1189.54	c |   5792198 |     900    60159   195522 |        1   292021     37 |  0.000 % |
1189.52/1189.54	c |   5796835 |     900    60159   195522 |        1   296658     37 |  0.000 % |
1189.52/1189.54	c |   5796935 |     900    60159   195522 |        1   296758     37 |  0.000 % |
1189.52/1189.54	c |   5799565 |     900    60159   195522 |        1   299388     37 |  0.000 % |
1189.52/1189.54	c |   5801518 |     900    60159   195522 |        1   301341     37 |  0.000 % |
1189.52/1189.54	c |   5806549 |     900    60159   195522 |        1   306372     38 |  0.000 % |
1189.52/1189.54	c |   5818462 |     900    60159   195522 |        1   318285     38 |  0.000 % |
1189.52/1189.54	c |   5818800 |     900    60159   195522 |        1   318623     38 |  0.000 % |
1189.52/1189.54	c |   5820904 |     900    60159   195522 |        1   320727     38 |  0.000 % |
1189.52/1189.54	c |   5821376 |     900    60159   195522 |        1   321199     38 |  0.000 % |
1189.52/1189.54	c |   5823742 |     900    60159   195522 |        1   323565     38 |  0.000 % |
1189.52/1189.54	c |   5823843 |     900    60159   195522 |        1   323666     38 |  0.000 % |
1189.52/1189.54	c |   5823944 |     900    60159   195522 |        1   323767     38 |  0.000 % |
1189.52/1189.54	c |   5826045 |     900    60159   195522 |        1   325868     38 |  0.000 % |
1189.52/1189.54	c |   5826905 |     900    60159   195522 |        1   326728     38 |  0.000 % |
1189.52/1189.54	c |   5830181 |     900    60159   195522 |        1   330004     38 |  0.000 % |
1189.52/1189.54	c |   5832299 |     900    60159   195522 |        1   332122     39 |  0.000 % |
1189.52/1189.54	c |   5835988 |     900    60159   195522 |        1   335811     39 |  0.000 % |
1189.52/1189.54	c |   5836588 |     900    60159   195522 |        1   336411     39 |  0.000 % |
1189.52/1189.54	c |   5839413 |     900    60159   195522 |        1   339236     39 |  0.000 % |
1189.52/1189.54	c |   5839839 |     900    60159   195522 |        1   339662     39 |  0.000 % |
1189.52/1189.54	c |   5841042 |     900    60159   195522 |        1   170464     25 |  0.000 % |
1189.52/1189.54	c |   5842068 |     900    60159   195522 |        1   171490     25 |  0.000 % |
1189.52/1189.54	c |   5842196 |     900    60159   195522 |        1   171618     25 |  0.000 % |
1189.52/1189.54	c |   5844781 |     900    60159   195522 |        1   174203     25 |  0.000 % |
1189.52/1189.54	c |   5850172 |     900    60159   195522 |        1   179594     26 |  0.000 % |
1189.52/1189.54	c |   5853694 |     900    60159   195522 |        1   183116     26 |  0.000 % |
1189.52/1189.54	c |   5859388 |     900    60159   195522 |        1   188810     27 |  0.000 % |
1189.52/1189.54	c |   5859561 |     900    60159   195522 |        1   188983     27 |  0.000 % |
1189.52/1189.54	c |   5859663 |     900    60159   195522 |        1   189085     27 |  0.000 % |
1189.52/1189.54	c |   5868897 |     900    60159   195522 |        1   198319     28 |  0.000 % |
1189.52/1189.54	c |   5880391 |     900    60159   195522 |        1   209813     30 |  0.000 % |
1189.52/1189.54	c |   5881776 |     900    60159   195522 |        1   211198     30 |  0.000 % |
1189.52/1189.54	c |   5882332 |     900    60159   195522 |        1   211754     30 |  0.000 % |
1189.52/1189.54	c |   5882451 |     900    60159   195522 |        1   211873     30 |  0.000 % |
1225.82/1225.84	c |   5884602 |     900    60159   195522 |        1   214024     30 |  0.000 % |
1225.82/1225.84	c |   5884791 |     900    60159   195522 |        1   214213     30 |  0.000 % |
1225.82/1225.84	c |   5885194 |     900    60159   195522 |        1   214616     30 |  0.000 % |
1225.82/1225.84	c |   5891948 |     900    60159   195522 |        1   221370     31 |  0.000 % |
1225.82/1225.84	c |   5892353 |     900    60159   195522 |        1   221775     31 |  0.000 % |
1225.82/1225.84	c |   5900781 |     900    60159   195522 |        1   230203     32 |  0.000 % |
1225.82/1225.84	c |   5905634 |     900    60159   195522 |        1   235056     32 |  0.000 % |
1225.82/1225.84	c |   5911840 |     900    60159   195522 |        1   241262     33 |  0.000 % |
1225.82/1225.84	c |   5924932 |     900    60159   195522 |        1   254354     34 |  0.000 % |
1225.82/1225.84	c |   5925773 |     900    60159   195522 |        1   255195     34 |  0.000 % |
1225.82/1225.84	c |   5938820 |     900    60159   195522 |        1   268242     35 |  0.000 % |
1225.82/1225.84	c |   5939341 |     900    60159   195522 |        1   268763     35 |  0.000 % |
1225.82/1225.84	c |   5943452 |     900    60159   195522 |        1   272874     35 |  0.000 % |
1225.82/1225.84	c |   5945271 |     900    60159   195522 |        1   274693     35 |  0.000 % |
1225.82/1225.84	c |   5952376 |     900    60159   195522 |        1   281798     35 |  0.000 % |
1225.82/1225.84	c |   5952788 |     900    60159   195522 |        1   282210     35 |  0.000 % |
1225.82/1225.84	c |   5953439 |     900    60159   195522 |        1   282861     36 |  0.000 % |
1225.82/1225.84	c |   5953863 |     900    60159   195522 |        1   283285     36 |  0.000 % |
1225.82/1225.84	c |   5954297 |     900    60159   195522 |        1   283719     36 |  0.000 % |
1225.82/1225.84	c |   5954666 |     900    60159   195522 |        1   284088     36 |  0.000 % |
1225.82/1225.84	c |   5954766 |     900    60159   195522 |        1   284188     36 |  0.000 % |
1225.82/1225.84	c |   5957235 |     900    60159   195522 |        1   286657     36 |  0.000 % |
1225.82/1225.84	c |   5957638 |     900    60159   195522 |        1   287060     36 |  0.000 % |
1225.82/1225.84	c |   5958823 |     900    60159   195522 |        1   288245     36 |  0.000 % |
1225.82/1225.84	c |   5963715 |     900    60159   195522 |        1   293137     36 |  0.000 % |
1225.82/1225.84	c |   5964008 |     900    60159   195522 |        1   293430     36 |  0.000 % |
1225.82/1225.84	c |   5965173 |     900    60159   195522 |        1   294595     36 |  0.000 % |
1225.82/1225.84	c |   5970397 |     900    60159   195522 |        1   299819     36 |  0.000 % |
1225.82/1225.84	c |   5973214 |     900    60159   195522 |        1   302636     37 |  0.000 % |
1225.82/1225.84	c |   5979561 |     900    60159   195522 |        1   308983     37 |  0.000 % |
1225.82/1225.84	c |   5980469 |     900    60159   195522 |        1   309891     37 |  0.000 % |
1225.82/1225.84	c |   5980569 |     900    60159   195522 |        1   309991     37 |  0.000 % |
1225.82/1225.84	c |   5980669 |     900    60159   195522 |        1   310091     37 |  0.000 % |
1225.82/1225.84	c |   5981544 |     900    60159   195522 |        1   310966     37 |  0.000 % |
1225.82/1225.84	c |   5986370 |     900    60159   195522 |        1   315792     38 |  0.000 % |
1225.82/1225.84	c |   5987535 |     900    60159   195522 |        1   316957     38 |  0.000 % |
1225.82/1225.84	c |   5988286 |     900    60159   195522 |        1   317708     38 |  0.000 % |
1225.82/1225.84	c |   5996755 |     900    60159   195522 |        1   326177     38 |  0.000 % |
1225.82/1225.84	c |   5996855 |     900    60159   195522 |        1   326277     38 |  0.000 % |
1225.82/1225.84	c |   5999920 |     900    60159   195522 |        1   329342     38 |  0.000 % |
1225.82/1225.84	c |   6001709 |     900    60159   195522 |        1   331131     38 |  0.000 % |
1225.82/1225.84	c |   6001964 |     900    60159   195522 |        1   331386     38 |  0.000 % |
1225.82/1225.84	c |   6002064 |     900    60159   195522 |        1   331486     38 |  0.000 % |
1225.82/1225.84	c |   6002174 |     900    60159   195522 |        1   331596     38 |  0.000 % |
1225.82/1225.84	c |   6003475 |     900    60159   195522 |        1   332897     38 |  0.000 % |
1225.82/1225.84	c |   6003576 |     900    60159   195522 |        1   332998     38 |  0.000 % |
1225.82/1225.84	c |   6004744 |     900    60159   195522 |        1   334166     38 |  0.000 % |
1225.82/1225.84	c |   6004852 |     900    60159   195522 |        1   334274     38 |  0.000 % |
1225.82/1225.84	c |   6005131 |     900    60159   195522 |        1   334553     38 |  0.000 % |
1225.82/1225.84	c |   6005743 |     900    60159   195522 |        1   335165     38 |  0.000 % |
1263.32/1263.38	c |   6006227 |     900    60159   195522 |        1   335649     38 |  0.000 % |
1263.32/1263.38	c |   6006328 |     900    60159   195522 |        1   335750     38 |  0.000 % |
1263.32/1263.38	c |   6006572 |     900    60159   195522 |        1   335994     38 |  0.000 % |
1263.32/1263.38	c |   6011860 |     900    60159   195522 |        1   341282     38 |  0.000 % |
1263.32/1263.38	c |   6011961 |     900    60159   195522 |        1   341383     38 |  0.000 % |
1263.32/1263.38	c |   6014338 |     900    60159   195522 |        1   343760     39 |  0.000 % |
1263.32/1263.38	c |   6015286 |     900    60159   195522 |        1   344708     39 |  0.000 % |
1263.32/1263.38	c |   6015418 |     900    60159   195522 |        1   344840     39 |  0.000 % |
1263.32/1263.38	c |   6020225 |     900    60159   195522 |        1   176642     25 |  0.000 % |
1263.32/1263.38	c |   6025451 |     900    60159   195522 |        1   181868     25 |  0.000 % |
1263.32/1263.38	c |   6031451 |     900    60159   195522 |        1   187868     26 |  0.000 % |
1263.32/1263.38	c |   6033301 |     900    60159   195522 |        1   189718     26 |  0.000 % |
1263.32/1263.38	c |   6035095 |     900    60159   195522 |        1   191512     26 |  0.000 % |
1263.32/1263.38	c |   6038762 |     900    60159   195522 |        1   195179     27 |  0.000 % |
1263.32/1263.38	c |   6038927 |     900    60159   195522 |        1   195344     27 |  0.000 % |
1263.32/1263.38	c |   6039767 |     900    60159   195522 |        1   196184     27 |  0.000 % |
1263.32/1263.38	c |   6039869 |     900    60159   195522 |        1   196286     27 |  0.000 % |
1263.32/1263.38	c |   6040342 |     900    60159   195522 |        1   196759     27 |  0.000 % |
1263.32/1263.38	c |   6041479 |     900    60159   195522 |        1   197896     27 |  0.000 % |
1263.32/1263.38	c |   6042065 |     900    60159   195522 |        1   198482     27 |  0.000 % |
1263.32/1263.38	c |   6042379 |     900    60159   195522 |        1   198796     27 |  0.000 % |
1263.32/1263.38	c |   6044368 |     900    60159   195522 |        1   200785     28 |  0.000 % |
1263.32/1263.38	c |   6045442 |     900    60159   195522 |        1   201859     28 |  0.000 % |
1263.32/1263.38	c |   6045715 |     900    60159   195522 |        1   202132     28 |  0.000 % |
1263.32/1263.38	c |   6047257 |     900    60159   195522 |        1   203674     28 |  0.000 % |
1263.32/1263.38	c |   6050208 |     900    60159   195522 |        1   206625     28 |  0.000 % |
1263.32/1263.38	c |   6052162 |     900    60159   195522 |        1   208579     28 |  0.000 % |
1263.32/1263.38	c |   6052355 |     900    60159   195522 |        1   208772     28 |  0.000 % |
1263.32/1263.38	c |   6052698 |     900    60159   195522 |        1   209115     29 |  0.000 % |
1263.32/1263.38	c |   6053690 |     900    60159   195522 |        1   210107     29 |  0.000 % |
1263.32/1263.38	c |   6055738 |     900    60159   195522 |        1   212155     29 |  0.000 % |
1263.32/1263.38	c |   6058062 |     900    60159   195522 |        1   214479     29 |  0.000 % |
1263.32/1263.38	c |   6058162 |     900    60159   195522 |        1   214579     29 |  0.000 % |
1263.32/1263.38	c |   6059945 |     900    60159   195522 |        1   216362     29 |  0.000 % |
1263.32/1263.38	c |   6062858 |     900    60159   195522 |        1   219275     29 |  0.000 % |
1263.32/1263.38	c |   6062960 |     900    60159   195522 |        1   219377     29 |  0.000 % |
1263.32/1263.38	c |   6064217 |     900    60159   195522 |        1   220634     30 |  0.000 % |
1263.32/1263.38	c |   6083378 |     900    60159   195522 |        1   239795     31 |  0.000 % |
1263.32/1263.38	c |   6099602 |     900    60159   195522 |        1   256019     33 |  0.000 % |
1263.32/1263.38	c |   6104704 |     900    60159   195522 |        1   261121     33 |  0.000 % |
1263.32/1263.38	c |   6107170 |     900    60159   195522 |        1   263587     33 |  0.000 % |
1263.32/1263.38	c |   6107475 |     900    60159   195522 |        1   263892     33 |  0.000 % |
1263.32/1263.38	c |   6107773 |     900    60159   195522 |        1   264190     33 |  0.000 % |
1263.32/1263.38	c |   6108773 |     900    60159   195522 |        1   265190     33 |  0.000 % |
1263.32/1263.38	c |   6109343 |     900    60159   195522 |        1   265760     33 |  0.000 % |
1263.32/1263.38	c |   6114847 |     900    60159   195522 |        1   271264     34 |  0.000 % |
1263.32/1263.38	c |   6115667 |     900    60159   195522 |        1   272084     34 |  0.000 % |
1263.32/1263.38	c |   6118560 |     900    60159   195522 |        1   274977     34 |  0.000 % |
1263.32/1263.38	c |   6131425 |     900    60159   195522 |        1   287842     34 |  0.000 % |
1263.32/1263.38	c |   6142005 |     900    60159   195522 |        1   298422     35 |  0.000 % |
1296.62/1296.68	c |   6144905 |     900    60159   195522 |        1   301322     36 |  0.000 % |
1296.62/1296.68	c |   6145488 |     900    60159   195522 |        1   301905     36 |  0.000 % |
1296.62/1296.68	c |   6146963 |     900    60159   195522 |        1   303380     36 |  0.000 % |
1296.62/1296.68	c |   6150342 |     900    60159   195522 |        1   306759     36 |  0.000 % |
1296.62/1296.68	c |   6150797 |     900    60159   195522 |        1   307214     36 |  0.000 % |
1296.62/1296.68	c |   6151089 |     900    60159   195522 |        1   307506     36 |  0.000 % |
1296.62/1296.68	c |   6151567 |     900    60159   195522 |        1   307984     36 |  0.000 % |
1296.62/1296.68	c |   6151786 |     900    60159   195522 |        1   308203     36 |  0.000 % |
1296.62/1296.68	c |   6152434 |     900    60159   195522 |        1   308851     36 |  0.000 % |
1296.62/1296.68	c |   6152540 |     900    60159   195522 |        1   308957     36 |  0.000 % |
1296.62/1296.68	c |   6156755 |     900    60159   195522 |        1   313172     36 |  0.000 % |
1296.62/1296.68	c |   6157430 |     900    60159   195522 |        1   313847     36 |  0.000 % |
1296.62/1296.68	c |   6157531 |     900    60159   195522 |        1   313948     36 |  0.000 % |
1296.62/1296.68	c |   6157636 |     900    60159   195522 |        1   314053     36 |  0.000 % |
1296.62/1296.68	c |   6159101 |     900    60159   195522 |        1   315518     37 |  0.000 % |
1296.62/1296.68	c |   6159208 |     900    60159   195522 |        1   315625     37 |  0.000 % |
1296.62/1296.68	c |   6165352 |     900    60159   195522 |        1   321769     37 |  0.000 % |
1296.62/1296.68	c |   6165456 |     900    60159   195522 |        1   321873     37 |  0.000 % |
1296.62/1296.68	c |   6165556 |     900    60159   195522 |        1   321973     37 |  0.000 % |
1296.62/1296.68	c |   6166669 |     900    60159   195522 |        1   323086     37 |  0.000 % |
1296.62/1296.68	c |   6170038 |     900    60159   195522 |        1   326455     37 |  0.000 % |
1296.62/1296.68	c |   6171418 |     900    60159   195522 |        1   327835     37 |  0.000 % |
1296.62/1296.68	c |   6171526 |     900    60159   195522 |        1   327943     37 |  0.000 % |
1296.62/1296.68	c |   6171632 |     900    60159   195522 |        1   328049     37 |  0.000 % |
1296.62/1296.68	c |   6172863 |     900    60159   195522 |        1   329280     37 |  0.000 % |
1296.62/1296.68	c |   6173397 |     900    60159   195522 |        1   329814     37 |  0.000 % |
1296.62/1296.68	c |   6173497 |     900    60159   195522 |        1   329914     37 |  0.000 % |
1296.62/1296.68	c |   6175618 |     900    60159   195522 |        1   332035     37 |  0.000 % |
1296.62/1296.68	c |   6181033 |     900    60159   195522 |        1   337450     38 |  0.000 % |
1296.62/1296.68	c |   6185701 |     900    60159   195522 |        1   342118     38 |  0.000 % |
1296.62/1296.68	c |   6185932 |     900    60159   195522 |        1   342349     38 |  0.000 % |
1296.62/1296.68	c |   6207026 |     900    60159   195522 |        1   187839     27 |  0.000 % |
1296.62/1296.68	c |   6207126 |     900    60159   195522 |        1   187939     27 |  0.000 % |
1296.62/1296.68	c |   6207229 |     900    60159   195522 |        1   188042     27 |  0.000 % |
1296.62/1296.68	c |   6207692 |     900    60159   195522 |        1   188505     27 |  0.000 % |
1296.62/1296.68	c |   6212673 |     900    60159   195522 |        1   193486     27 |  0.000 % |
1296.62/1296.68	c |   6213120 |     900    60159   195522 |        1   193933     27 |  0.000 % |
1296.62/1296.68	c |   6218032 |     900    60159   195522 |        1   198845     28 |  0.000 % |
1296.62/1296.68	c |   6218623 |     900    60159   195522 |        1   199436     28 |  0.000 % |
1296.62/1296.68	c |   6234081 |     900    60159   195522 |        1   214894     30 |  0.000 % |
1296.62/1296.68	c |   6242688 |     900    60159   195522 |        1   223501     31 |  0.000 % |
1296.62/1296.68	c |   6248964 |     900    60159   195522 |        1   229777     31 |  0.000 % |
1296.62/1296.68	c |   6252694 |     900    60159   195522 |        1   233507     32 |  0.000 % |
1296.62/1296.68	c |   6252799 |     900    60159   195522 |        1   233612     32 |  0.000 % |
1296.62/1296.68	c |   6255752 |     900    60159   195522 |        1   236565     32 |  0.000 % |
1296.62/1296.68	c |   6256796 |     900    60159   195522 |        1   237609     32 |  0.000 % |
1296.62/1296.68	c |   6258269 |     900    60159   195522 |        1   239082     32 |  0.000 % |
1296.62/1296.68	c |   6258369 |     900    60159   195522 |        1   239182     32 |  0.000 % |
1296.62/1296.68	c |   6259731 |     900    60159   195522 |        1   240544     33 |  0.000 % |
1296.62/1296.68	c |   6260769 |     900    60159   195522

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-3258040-1303472128/watcher-3258040-1303472128 -o /tmp/evaluation-result-3258040-1303472128/solver-3258040-1303472128 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258040-1303472128.cnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.00 3.97 3.74 4/189 19043
/proc/meminfo: memFree=14506492/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 537443505 8912896 252 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 252 211 178 0 69 0

[startup+0.0774979 s]
/proc/loadavg: 4.00 3.97 3.74 4/189 19043
/proc/meminfo: memFree=14506492/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 537443505 8912896 252 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.10049 s]
/proc/loadavg: 4.00 3.97 3.74 4/189 19043
/proc/meminfo: memFree=14506492/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 537443505 8912896 252 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300395 s]
/proc/loadavg: 4.00 3.97 3.74 4/189 19043
/proc/meminfo: memFree=14506492/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.700324 s]
/proc/loadavg: 4.00 3.97 3.74 4/189 19043
/proc/meminfo: memFree=14506492/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50024 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19076
/proc/meminfo: memFree=14482500/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=24272 CPUtime=1.34 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 5926 0 0 0 134 0 0 0 25 0 1 0 537443520 24854528 2881 33554432000 4194304 4260849 140733894435968 18446744073709551615 4226694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 6068 2881 240 17 0 2709 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32976

[startup+3.10094 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19076
/proc/meminfo: memFree=14459064/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=31344 CPUtime=2.94 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 7618 0 0 0 293 1 0 0 25 0 1 0 537443520 32096256 4501 33554432000 4194304 4260849 140733894435968 18446744073709551615 4226256 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 7836 4501 248 17 0 4477 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40048

[startup+6.30035 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19076
/proc/meminfo: memFree=14439672/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=35764 CPUtime=6.14 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 8947 0 0 0 613 1 0 0 25 0 1 0 537443520 36622336 5746 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 8941 5746 248 17 0 5582 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44468

[startup+12.7012 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19076
/proc/meminfo: memFree=14430572/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=45672 CPUtime=12.54 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 11023 0 0 0 1253 1 0 0 25 0 1 0 537443520 46768128 5764 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 11418 5764 248 17 0 8059 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54376

[startup+25.5008 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19076
/proc/meminfo: memFree=14376484/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=45672 CPUtime=25.34 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 13464 0 0 0 2533 1 0 0 25 0 1 0 537443520 46768128 8075 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 11418 8075 248 17 0 8059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54376

[startup+51.101 s]
/proc/loadavg: 4.00 3.97 3.75 5/194 19077
/proc/meminfo: memFree=14339868/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=52856 CPUtime=50.94 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 15513 0 0 0 5093 1 0 0 25 0 1 0 537443520 54124544 10009 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 13214 10009 248 17 0 9855 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61560

[startup+102.307 s]
/proc/loadavg: 4.00 3.97 3.76 5/194 19078
/proc/meminfo: memFree=14277104/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=87776 CPUtime=102.14 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 31346 0 0 0 10210 4 0 0 25 0 1 0 537443520 89882624 16677 33554432000 4194304 4260849 140733894435968 18446744073709551615 4226259 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 21944 16677 249 17 0 18585 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 96480

[startup+162.3 s]
/proc/loadavg: 4.07 3.99 3.78 5/194 19111
/proc/meminfo: memFree=14247108/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=87776 CPUtime=162.14 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 32378 0 0 0 16209 5 0 0 25 0 1 0 537443520 89882624 17689 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 21944 17689 249 17 0 18585 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 96480

[startup+222.3 s]
/proc/loadavg: 4.06 4.00 3.80 6/194 19115
/proc/meminfo: memFree=14155896/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=87776 CPUtime=222.14 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 33195 0 0 0 22209 5 0 0 25 0 1 0 537443520 89882624 18498 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 21944 18498 249 17 0 18585 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 96480

[startup+282.301 s]
/proc/loadavg: 4.08 4.02 3.82 6/194 19117
/proc/meminfo: memFree=14144080/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=87776 CPUtime=282.15 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 57383 0 0 0 28206 9 0 0 25 0 1 0 537443520 89882624 18769 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 21944 18769 251 17 0 18585 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 96480

[startup+342.301 s]
/proc/loadavg: 4.03 4.01 3.82 5/194 19119
/proc/meminfo: memFree=14139596/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=342.15 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 87267 0 0 0 34202 13 0 0 25 0 1 0 537443520 103018496 21976 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21976 251 17 0 21792 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 109308

[startup+402.301 s]
/proc/loadavg: 4.01 4.00 3.83 5/194 19120
/proc/meminfo: memFree=14136728/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3

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

/proc/19046/statm: 37481 31664 251 17 0 34122 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 158628

[startup+642.3 s]
/proc/loadavg: 4.03 4.01 3.86 6/194 19127
/proc/meminfo: memFree=13983640/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=642.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 207394 0 0 0 64182 35 0 0 25 0 1 0 537443520 153522176 31451 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 31451 251 17 0 34122 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 158628

[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.86 6/194 19128
/proc/meminfo: memFree=14050068/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=702.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 229696 0 0 0 70178 39 0 0 25 0 1 0 537443520 153522176 30619 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 30619 251 17 0 34122 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 158628

[startup+762.307 s]
/proc/loadavg: 4.04 4.02 3.87 5/194 19130
/proc/meminfo: memFree=14014720/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=762.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 244873 0 0 0 76175 42 0 0 25 0 1 0 537443520 103018496 21988 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21988 251 17 0 21792 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 109308

[startup+822.301 s]
/proc/loadavg: 4.01 4.01 3.88 6/194 19131
/proc/meminfo: memFree=13929148/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=822.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 268390 0 0 0 82170 47 0 0 25 0 1 0 537443520 153522176 32987 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 32987 251 17 0 34122 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 158628

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/194 19133
/proc/meminfo: memFree=14020884/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=882.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 282723 0 0 0 88167 50 0 0 25 0 1 0 537443520 103018496 21988 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21988 251 17 0 21792 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 109308

[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/194 19135
/proc/meminfo: memFree=13973756/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=942.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 306773 0 0 0 94163 54 0 0 25 0 1 0 537443520 153522176 33211 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 33211 251 17 0 34122 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 158628

[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/194 19136
/proc/meminfo: memFree=14030536/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=1002.18 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 322330 0 0 0 100160 58 0 0 25 0 1 0 537443520 103018496 21988 33554432000 4194304 4260849 140733894435968 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21988 251 17 0 21792 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 109308

[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/194 19138
/proc/meminfo: memFree=13909628/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=1062.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 345619 0 0 0 106155 62 0 0 25 0 1 0 537443520 153522176 31694 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 31694 251 17 0 34122 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 158628

[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 6/194 19139
/proc/meminfo: memFree=13924364/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=180744 CPUtime=1122.17 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 362604 0 0 0 112152 65 0 0 25 0 1 0 537443520 185081856 34760 33554432000 4194304 4260849 140733894435968 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 45186 34760 251 17 0 41827 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 189448

[startup+1182.3 s]
/proc/loadavg: 4.04 4.01 3.91 6/194 19141
/proc/meminfo: memFree=13961800/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=1182.18 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 378322 0 0 0 118149 69 0 0 25 0 1 0 537443520 103018496 21988 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21988 251 17 0 21792 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 109308

[startup+1242.3 s]
/proc/loadavg: 4.08 4.02 3.92 6/194 19143
/proc/meminfo: memFree=13916996/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=100604 CPUtime=1242.18 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 392833 0 0 0 124146 72 0 0 25 0 1 0 537443520 103018496 21988 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 25151 21988 251 17 0 21792 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 109308



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.02 3.92 4/191 19145
/proc/meminfo: memFree=14079064/32950928 swapFree=67111528/67111528
[pid=19043] ppid=19041 vsize=8704 CPUtime=0.14 cores=1,3
/proc/19043/stat : 19043 (glucose.sh) S 19041 19043 18428 0 -1 4202496 359 1395 0 0 0 0 14 0 24 0 1 0 537443505 8912896 254 33554432000 4194304 4922060 140735179926144 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19043/statm: 2176 254 211 178 0 69 0
[pid=19046] ppid=19043 vsize=149924 CPUtime=1299.89 cores=1,3
/proc/19046/stat : 19046 (glucose_static) R 19043 19043 18428 0 -1 4202496 416902 0 0 0 129912 77 0 0 25 0 1 0 537443520 153522176 31340 33554432000 4194304 4260849 140733894435968 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19046/statm: 37481 31340 251 17 0 34122 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 158628

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300.03
CPU user time (s): 1299.26
CPU system time (s): 0.77
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 189448

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

runsolver used 2.08568 second user time and 5.02724 second system time

The end

Launcher Data

Begin job on node113 at 2011-04-22 13:35:28
IDJOB=3258040
IDBENCH=71300
IDSOLVER=1651
FILE ID=node113/3258040-1303472128
RUNJOBID= node113-1303470826-18810
PBS_JOBID= 13107192
Free space on /tmp= 70628 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g6.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258040-1303472128/watcher-3258040-1303472128 -o /tmp/evaluation-result-3258040-1303472128/solver-3258040-1303472128 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3258040-1303472128.cnf 

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

MD5SUM BENCH= 2094ee8d4e443e860293b947e469bd81
RANDOM SEED=1844970197

node113.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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.75
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.846
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.846
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14506772 kB
Buffers:       1193172 kB
Cached:       16593248 kB
SwapCached:          0 kB
Active:        9951008 kB
Inactive:      7924480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14506772 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8208 kB
Writeback:           0 kB
AnonPages:       88724 kB
Mapped:          15544 kB
Slab:           503704 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   290848 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= 70624 MiB
End job on node113 at 2011-04-22 13:57:10