Trace number 3292760

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2UNSAT 220.605 220.597

General information on the benchmark

NameSAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
MD5SUM1d9569aa70fee033c68469753053c259
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.403937
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of clauses2130
Sum of the clauses size4500
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22100
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    2130     4500 |     638       0        0     nan |  0.000 % |
0.00/0.00	c |         0 |    2100     7560 |      --       0       --      -- |     --   | -30/3060
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 270   #clauses: 2100   #literals: 7560
0.00/0.00	c CPU time:   0.002999 s
0.00/0.00	c ==============================================================================
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
6.29/6.37	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
6.29/6.37	c WARNING: for repeatability, setting FPU to use double precision
6.29/6.37	c ============================[ Problem Statistics ]=============================
6.29/6.37	c |                                                                             |
6.29/6.37	c |  Number of variables:           270                                         |
6.29/6.37	c |  Number of clauses:            2100                                         |
6.29/6.37	c |  Parse time:                   0.00 s                                       |
6.29/6.37	c |                                                                             |
6.29/6.37	c ============================[ Search Statistics ]==============================
6.29/6.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.37	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.29/6.37	c ===============================================================================
6.29/6.37	c |      1074 |     270     2100     7560 |        1     1074     28 |  0.000 % |
6.29/6.37	c |      2168 |     270     2100     7560 |        1     2168     28 |  0.000 % |
6.29/6.37	c |      2273 |     270     2100     7560 |        1     2273     28 |  0.000 % |
6.29/6.37	c |      3951 |     270     2100     7560 |        1     3951     27 |  0.000 % |
6.29/6.37	c |      4416 |     270     2100     7560 |        1     2419     26 |  0.000 % |
6.29/6.37	c |     29851 |     270     2100     7560 |        1    16815     26 |  0.000 % |
6.29/6.37	c |     29953 |     270     2100     7560 |        1    16917     26 |  0.000 % |
6.29/6.37	c |     30054 |     270     2100     7560 |        1    17018     26 |  0.000 % |
6.29/6.37	c |     30154 |     270     2100     7560 |        1    17118     26 |  0.000 % |
6.29/6.37	c |     35975 |     270     2100     7560 |        1    13663     25 |  0.000 % |
6.29/6.37	c |     36078 |     270     2100     7560 |        1    13766     25 |  0.000 % |
6.29/6.37	c |     37473 |     270     2100     7560 |        1    15161     25 |  0.000 % |
6.29/6.37	c |     37894 |     270     2100     7560 |        1    15582     26 |  0.000 % |
6.29/6.37	c |    120318 |     270     2100     7560 |        1    35135     24 |  0.000 % |
6.29/6.37	c |    120419 |     270     2100     7560 |        1    35236     24 |  0.000 % |
6.29/6.37	c |    120861 |     270     2100     7560 |        1    35678     24 |  0.000 % |
6.29/6.37	c |    120964 |     270     2100     7560 |        1    35781     24 |  0.000 % |
6.29/6.37	c |    125222 |     270     2100     7560 |        1    40039     24 |  0.000 % |
6.29/6.37	c |    136387 |     270     2100     7560 |        1    28995     23 |  0.000 % |
6.29/6.37	c |    138600 |     270     2100     7560 |        1    31208     24 |  0.000 % |
6.29/6.37	c |    138702 |     270     2100     7560 |        1    31310     24 |  0.000 % |
6.29/6.37	c |    141666 |     270     2100     7560 |        1    34274     24 |  0.000 % |
6.29/6.37	c |    147056 |     270     2100     7560 |        1    39664     24 |  0.000 % |
6.29/6.37	c |    169594 |     270     2100     7560 |        1    37407     22 |  0.000 % |
6.29/6.37	c |    169694 |     270     2100     7560 |        1    37507     22 |  0.000 % |
6.29/6.37	c |    174080 |     270     2100     7560 |        1    41893     22 |  0.000 % |
6.29/6.37	c |    174180 |     270     2100     7560 |        1    41993     22 |  0.000 % |
6.29/6.37	c |    181532 |     270     2100     7560 |        1    49345     23 |  0.000 % |
6.29/6.37	c |    181632 |     270     2100     7560 |        1    49445     23 |  0.000 % |
6.29/6.37	c |    181733 |     270     2100     7560 |        1    49546     23 |  0.000 % |
6.29/6.37	c |    181834 |     270     2100     7560 |        1    49647     23 |  0.000 % |
6.29/6.37	c |    181935 |     270     2100     7560 |        1    49748     23 |  0.000 % |
6.29/6.37	c |    182035 |     270     2100     7560 |        1    49848     23 |  0.000 % |
6.29/6.37	c |    182136 |     270     2100     7560 |        1    49949     23 |  0.000 % |
6.29/6.37	c |    182236 |     270     2100     7560 |        1    50049     23 |  0.000 % |
6.29/6.37	c |    182336 |     270     2100     7560 |        1    50149     23 |  0.000 % |
6.29/6.37	c |    182436 |     270     2100     7560 |        1    50249     23 |  0.000 % |
6.29/6.37	c |    191043 |     270     2100     7560 |        1    31454     22 |  0.000 % |
6.29/6.37	c |    198818 |     270     2100     7560 |        1    39229     23 |  0.000 % |
12.39/12.48	c |    198919 |     270     2100     7560 |        1    39330     23 |  0.000 % |
12.39/12.48	c |    199128 |     270     2100     7560 |        1    39539     23 |  0.000 % |
12.39/12.48	c |    199230 |     270     2100     7560 |        1    39641     23 |  0.000 % |
12.39/12.48	c |    227527 |     270     2100     7560 |        1    37937     22 |  0.000 % |
12.39/12.48	c |    227628 |     270     2100     7560 |        1    38038     22 |  0.000 % |
12.39/12.48	c |    230303 |     270     2100     7560 |        1    40713     23 |  0.000 % |
12.39/12.48	c |    236941 |     270     2100     7560 |        1    47351     24 |  0.000 % |
12.39/12.48	c |    237041 |     270     2100     7560 |        1    47451     24 |  0.000 % |
12.39/12.48	c |    237301 |     270     2100     7560 |        1    47711     24 |  0.000 % |
12.39/12.48	c |    237401 |     270     2100     7560 |        1    47811     24 |  0.000 % |
12.39/12.48	c |    237502 |     270     2100     7560 |        1    47912     24 |  0.000 % |
12.39/12.48	c |    237602 |     270     2100     7560 |        1    48012     24 |  0.000 % |
12.39/12.48	c |    237922 |     270     2100     7560 |        1    48332     24 |  0.000 % |
12.39/12.48	c |    238022 |     270     2100     7560 |        1    48432     24 |  0.000 % |
12.39/12.48	c |    238124 |     270     2100     7560 |        1    48534     24 |  0.000 % |
12.39/12.48	c |    238584 |     270     2100     7560 |        1    48994     24 |  0.000 % |
12.39/12.48	c |    238751 |     270     2100     7560 |        1    49161     24 |  0.000 % |
12.39/12.48	c |    239048 |     270     2100     7560 |        1    49458     24 |  0.000 % |
12.39/12.48	c |    239148 |     270     2100     7560 |        1    49558     24 |  0.000 % |
12.39/12.48	c |    239435 |     270     2100     7560 |        1    49845     24 |  0.000 % |
12.39/12.48	c |    239535 |     270     2100     7560 |        1    49945     24 |  0.000 % |
12.39/12.48	c |    239671 |     270     2100     7560 |        1    50081     24 |  0.000 % |
12.39/12.48	c |    239782 |     270     2100     7560 |        1    50192     24 |  0.000 % |
12.39/12.48	c |    245122 |     270     2100     7560 |        1    55532     24 |  0.000 % |
12.39/12.48	c |    269071 |     270     2100     7560 |        1    46882     22 |  0.000 % |
12.39/12.48	c |    269405 |     270     2100     7560 |        1    47216     22 |  0.000 % |
12.39/12.48	c |    271600 |     270     2100     7560 |        1    49411     22 |  0.000 % |
12.39/12.48	c |    280509 |     270     2100     7560 |        1    58320     23 |  0.000 % |
12.39/12.48	c |    280610 |     270     2100     7560 |        1    58421     23 |  0.000 % |
12.39/12.48	c |    280797 |     270     2100     7560 |        1    58608     23 |  0.000 % |
12.39/12.48	c |    281449 |     270     2100     7560 |        1    59260     23 |  0.000 % |
12.39/12.48	c |    281549 |     270     2100     7560 |        1    59360     23 |  0.000 % |
12.39/12.48	c |    283078 |     270     2100     7560 |        1    60889     23 |  0.000 % |
12.39/12.48	c |    283178 |     270     2100     7560 |        1    60989     23 |  0.000 % |
12.39/12.48	c |    283415 |     270     2100     7560 |        1    61226     23 |  0.000 % |
12.39/12.48	c |    283574 |     270     2100     7560 |        1    61385     23 |  0.000 % |
12.39/12.48	c |    283677 |     270     2100     7560 |        1    61488     23 |  0.000 % |
12.39/12.48	c |    283777 |     270     2100     7560 |        1    61588     23 |  0.000 % |
12.39/12.48	c |    283877 |     270     2100     7560 |        1    61688     23 |  0.000 % |
12.39/12.48	c |    283977 |     270     2100     7560 |        1    61788     23 |  0.000 % |
12.39/12.48	c |    284078 |     270     2100     7560 |        1    61889     23 |  0.000 % |
12.39/12.48	c |    284179 |     270     2100     7560 |        1    61990     23 |  0.000 % |
12.39/12.48	c |    284280 |     270     2100     7560 |        1    62091     23 |  0.000 % |
12.39/12.48	c |    284381 |     270     2100     7560 |        1    62192     23 |  0.000 % |
12.39/12.48	c |    284481 |     270     2100     7560 |        1    62292     23 |  0.000 % |
12.39/12.48	c |    284582 |     270     2100     7560 |        1    62393     23 |  0.000 % |
12.39/12.48	c |    316753 |     270     2100     7560 |        1    59365     23 |  0.000 % |
12.39/12.48	c |    330400 |     270     2100     7560 |        1    73012     23 |  0.000 % |
12.39/12.48	c |    330501 |     270     2100     7560 |        1    73113     23 |  0.000 % |
12.39/12.48	c |    330728 |     270     2100     7560 |        1    73340     23 |  0.000 % |
20.49/20.52	c |    330829 |     270     2100     7560 |        1    73441     23 |  0.000 % |
20.49/20.52	c |    335190 |     270     2100     7560 |        1    40001     22 |  0.000 % |
20.49/20.52	c |    335391 |     270     2100     7560 |        1    40202     22 |  0.000 % |
20.49/20.52	c |    335491 |     270     2100     7560 |        1    40302     22 |  0.000 % |
20.49/20.52	c |    335591 |     270     2100     7560 |        1    40402     22 |  0.000 % |
20.49/20.52	c |    335693 |     270     2100     7560 |        1    40504     22 |  0.000 % |
20.49/20.52	c |    335793 |     270     2100     7560 |        1    40604     22 |  0.000 % |
20.49/20.52	c |    335893 |     270     2100     7560 |        1    40704     22 |  0.000 % |
20.49/20.52	c |    358270 |     270     2100     7560 |        1    63081     23 |  0.000 % |
20.49/20.52	c |    359557 |     270     2100     7560 |        1    64368     23 |  0.000 % |
20.49/20.52	c |    400405 |     270     2100     7560 |        1    64817     22 |  0.000 % |
20.49/20.52	c |    402492 |     270     2100     7560 |        1    66904     22 |  0.000 % |
20.49/20.52	c |    403956 |     270     2100     7560 |        1    68368     22 |  0.000 % |
20.49/20.52	c |    404056 |     270     2100     7560 |        1    68468     22 |  0.000 % |
20.49/20.52	c |    404156 |     270     2100     7560 |        1    68568     22 |  0.000 % |
20.49/20.52	c |    404259 |     270     2100     7560 |        1    68671     22 |  0.000 % |
20.49/20.52	c |    404360 |     270     2100     7560 |        1    68772     22 |  0.000 % |
20.49/20.52	c |    404483 |     270     2100     7560 |        1    68895     22 |  0.000 % |
20.49/20.52	c |    404957 |     270     2100     7560 |        1    69369     22 |  0.000 % |
20.49/20.52	c |    405086 |     270     2100     7560 |        1    69498     22 |  0.000 % |
20.49/20.52	c |    405187 |     270     2100     7560 |        1    69599     22 |  0.000 % |
20.49/20.52	c |    405425 |     270     2100     7560 |        1    69837     22 |  0.000 % |
20.49/20.52	c |    405526 |     270     2100     7560 |        1    69938     22 |  0.000 % |
20.49/20.52	c |    405626 |     270     2100     7560 |        1    70038     22 |  0.000 % |
20.49/20.52	c |    405726 |     270     2100     7560 |        1    70138     22 |  0.000 % |
20.49/20.52	c |    406043 |     270     2100     7560 |        1    70455     22 |  0.000 % |
20.49/20.52	c |    421029 |     270     2100     7560 |        1    85441     22 |  0.000 % |
20.49/20.52	c |    421129 |     270     2100     7560 |        1    85541     22 |  0.000 % |
20.49/20.52	c |    425269 |     270     2100     7560 |        1    46678     21 |  0.000 % |
20.49/20.52	c |    430107 |     270     2100     7560 |        1    51516     22 |  0.000 % |
20.49/20.52	c |    430207 |     270     2100     7560 |        1    51616     22 |  0.000 % |
20.49/20.52	c |    430383 |     270     2100     7560 |        1    51792     22 |  0.000 % |
20.49/20.52	c |    430963 |     270     2100     7560 |        1    52372     22 |  0.000 % |
20.49/20.52	c |    431065 |     270     2100     7560 |        1    52474     22 |  0.000 % |
20.49/20.52	c |    431577 |     270     2100     7560 |        1    52986     22 |  0.000 % |
20.49/20.52	c |    440300 |     270     2100     7560 |        1    61709     22 |  0.000 % |
20.49/20.52	c |    440887 |     270     2100     7560 |        1    62296     22 |  0.000 % |
20.49/20.52	c |    479653 |     270     2100     7560 |        1    55473     21 |  0.000 % |
20.49/20.52	c |    479829 |     270     2100     7560 |        1    55649     21 |  0.000 % |
20.49/20.52	c |    496028 |     270     2100     7560 |        1    71848     22 |  0.000 % |
20.49/20.52	c |    496129 |     270     2100     7560 |        1    71949     22 |  0.000 % |
20.49/20.52	c |    496713 |     270     2100     7560 |        1    72533     22 |  0.000 % |
20.49/20.52	c |    496872 |     270     2100     7560 |        1    72692     22 |  0.000 % |
20.49/20.52	c |    496972 |     270     2100     7560 |        1    72792     22 |  0.000 % |
20.49/20.52	c |    497072 |     270     2100     7560 |        1    72892     22 |  0.000 % |
20.49/20.52	c |    497173 |     270     2100     7560 |        1    72993     22 |  0.000 % |
20.49/20.52	c |    497273 |     270     2100     7560 |        1    73093     22 |  0.000 % |
20.49/20.52	c |    497375 |     270     2100     7560 |        1    73195     22 |  0.000 % |
20.49/20.52	c |    497477 |     270     2100     7560 |        1    73297     22 |  0.000 % |
20.49/20.52	c |    497579 |     270     2100     7560 |        1    73399     22 |  0.000 % |
28.39/28.43	c |    498066 |     270     2100     7560 |        1    73886     22 |  0.000 % |
28.39/28.43	c |    498168 |     270     2100     7560 |        1    73988     22 |  0.000 % |
28.39/28.43	c |    498268 |     270     2100     7560 |        1    74088     22 |  0.000 % |
28.39/28.43	c |    498445 |     270     2100     7560 |        1    74265     22 |  0.000 % |
28.39/28.43	c |    519427 |     270     2100     7560 |        1    95247     23 |  0.000 % |
28.39/28.43	c |    519527 |     270     2100     7560 |        1    95347     23 |  0.000 % |
28.39/28.43	c |    519631 |     270     2100     7560 |        1    95451     23 |  0.000 % |
28.39/28.43	c |    519732 |     270     2100     7560 |        1    95552     23 |  0.000 % |
28.39/28.43	c |    519833 |     270     2100     7560 |        1    95653     23 |  0.000 % |
28.39/28.43	c |    519935 |     270     2100     7560 |        1    95755     23 |  0.000 % |
28.39/28.43	c |    520104 |     270     2100     7560 |        1    95924     23 |  0.000 % |
28.39/28.43	c |    520204 |     270     2100     7560 |        1    96024     23 |  0.000 % |
28.39/28.43	c |    520305 |     270     2100     7560 |        1    96125     23 |  0.000 % |
28.39/28.43	c |    521095 |     270     2100     7560 |        1    48708     21 |  0.000 % |
28.39/28.43	c |    521195 |     270     2100     7560 |        1    48808     21 |  0.000 % |
28.39/28.43	c |    521405 |     270     2100     7560 |        1    49018     21 |  0.000 % |
28.39/28.43	c |    521753 |     270     2100     7560 |        1    49366     21 |  0.000 % |
28.39/28.43	c |    521859 |     270     2100     7560 |        1    49472     21 |  0.000 % |
28.39/28.43	c |    524840 |     270     2100     7560 |        1    52453     21 |  0.000 % |
28.39/28.43	c |    528724 |     270     2100     7560 |        1    56337     22 |  0.000 % |
28.39/28.43	c |    533369 |     270     2100     7560 |        1    60982     22 |  0.000 % |
28.39/28.43	c |    533472 |     270     2100     7560 |        1    61085     22 |  0.000 % |
28.39/28.43	c |    536279 |     270     2100     7560 |        1    63892     22 |  0.000 % |
28.39/28.43	c |    536379 |     270     2100     7560 |        1    63992     22 |  0.000 % |
28.39/28.43	c |    536479 |     270     2100     7560 |        1    64092     22 |  0.000 % |
28.39/28.43	c |    536581 |     270     2100     7560 |        1    64194     22 |  0.000 % |
28.39/28.43	c |    539330 |     270     2100     7560 |        1    66943     22 |  0.000 % |
28.39/28.43	c |    539496 |     270     2100     7560 |        1    67109     22 |  0.000 % |
28.39/28.43	c |    543563 |     270     2100     7560 |        1    71176     22 |  0.000 % |
28.39/28.43	c |    543664 |     270     2100     7560 |        1    71277     22 |  0.000 % |
28.39/28.43	c |    576383 |     270     2100     7560 |        1    53196     21 |  0.000 % |
28.39/28.43	c |    576483 |     270     2100     7560 |        1    53296     21 |  0.000 % |
28.39/28.43	c |    578533 |     270     2100     7560 |        1    55346     21 |  0.000 % |
28.39/28.43	c |    578633 |     270     2100     7560 |        1    55446     21 |  0.000 % |
28.39/28.43	c |    583358 |     270     2100     7560 |        1    60171     21 |  0.000 % |
28.39/28.43	c |    583461 |     270     2100     7560 |        1    60274     21 |  0.000 % |
28.39/28.43	c |    587668 |     270     2100     7560 |        1    64481     21 |  0.000 % |
28.39/28.43	c |    604706 |     270     2100     7560 |        1    81519     22 |  0.000 % |
28.39/28.43	c |    604867 |     270     2100     7560 |        1    81680     22 |  0.000 % |
28.39/28.43	c |    619111 |     270     2100     7560 |        1    95924     23 |  0.000 % |
28.39/28.43	c |    622337 |     270     2100     7560 |        1    99150     23 |  0.000 % |
28.39/28.43	c |    622437 |     270     2100     7560 |        1    99250     23 |  0.000 % |
28.39/28.43	c |    622537 |     270     2100     7560 |        1    99350     23 |  0.000 % |
28.39/28.43	c |    622637 |     270     2100     7560 |        1    99450     23 |  0.000 % |
28.39/28.43	c |    622737 |     270     2100     7560 |        1    99550     23 |  0.000 % |
28.39/28.43	c |    622838 |     270     2100     7560 |        1    99651     23 |  0.000 % |
28.39/28.43	c |    625032 |     270     2100     7560 |        1   101845     23 |  0.000 % |
28.39/28.43	c |    625132 |     270     2100     7560 |        1   101945     23 |  0.000 % |
28.39/28.43	c |    625838 |     270     2100     7560 |        1   102651     23 |  0.000 % |
28.39/28.43	c |    625938 |     270     2100     7560 |        1   102751     23 |  0.000 % |
35.69/35.71	c |    626038 |     270     2100     7560 |        1   102851     23 |  0.000 % |
35.69/35.71	c |    626140 |     270     2100     7560 |        1   102953     23 |  0.000 % |
35.69/35.71	c |    626254 |     270     2100     7560 |        1   103067     23 |  0.000 % |
35.69/35.71	c |    626355 |     270     2100     7560 |        1   103168     23 |  0.000 % |
35.69/35.71	c |    626455 |     270     2100     7560 |        1   103268     23 |  0.000 % |
35.69/35.71	c |    627962 |     270     2100     7560 |        1   104775     23 |  0.000 % |
35.69/35.71	c |    654235 |     270     2100     7560 |        1    77648     21 |  0.000 % |
35.69/35.71	c |    656224 |     270     2100     7560 |        1    79637     22 |  0.000 % |
35.69/35.71	c |    659796 |     270     2100     7560 |        1    83209     22 |  0.000 % |
35.69/35.71	c |    659898 |     270     2100     7560 |        1    83311     22 |  0.000 % |
35.69/35.71	c |    660000 |     270     2100     7560 |        1    83413     22 |  0.000 % |
35.69/35.71	c |    660605 |     270     2100     7560 |        1    84018     22 |  0.000 % |
35.69/35.71	c |    660705 |     270     2100     7560 |        1    84118     22 |  0.000 % |
35.69/35.71	c |    660805 |     270     2100     7560 |        1    84218     22 |  0.000 % |
35.69/35.71	c |    660906 |     270     2100     7560 |        1    84319     22 |  0.000 % |
35.69/35.71	c |    661006 |     270     2100     7560 |        1    84419     22 |  0.000 % |
35.69/35.71	c |    661106 |     270     2100     7560 |        1    84519     22 |  0.000 % |
35.69/35.71	c |    665102 |     270     2100     7560 |        1    88515     22 |  0.000 % |
35.69/35.71	c |    669236 |     270     2100     7560 |        1    92649     22 |  0.000 % |
35.69/35.71	c |    669336 |     270     2100     7560 |        1    92749     22 |  0.000 % |
35.69/35.71	c |    678373 |     270     2100     7560 |        1   101786     22 |  0.000 % |
35.69/35.71	c |    678473 |     270     2100     7560 |        1   101886     22 |  0.000 % |
35.69/35.71	c |    678582 |     270     2100     7560 |        1   101995     22 |  0.000 % |
35.69/35.71	c |    678682 |     270     2100     7560 |        1   102095     22 |  0.000 % |
35.69/35.71	c |    683465 |     270     2100     7560 |        1   106878     22 |  0.000 % |
35.69/35.71	c |    683565 |     270     2100     7560 |        1   106978     22 |  0.000 % |
35.69/35.71	c |    683842 |     270     2100     7560 |        1   107255     22 |  0.000 % |
35.69/35.71	c |    683948 |     270     2100     7560 |        1   107361     22 |  0.000 % |
35.69/35.71	c |    684135 |     270     2100     7560 |        1   107548     22 |  0.000 % |
35.69/35.71	c |    686871 |     270     2100     7560 |        1   110284     22 |  0.000 % |
35.69/35.71	c |    690159 |     270     2100     7560 |        1    57566     21 |  0.000 % |
35.69/35.71	c |    690262 |     270     2100     7560 |        1    57669     21 |  0.000 % |
35.69/35.71	c |    690363 |     270     2100     7560 |        1    57770     21 |  0.000 % |
35.69/35.71	c |    691269 |     270     2100     7560 |        1    58676     21 |  0.000 % |
35.69/35.71	c |    698977 |     270     2100     7560 |        1    66384     21 |  0.000 % |
35.69/35.71	c |    699077 |     270     2100     7560 |        1    66484     21 |  0.000 % |
35.69/35.71	c |    699178 |     270     2100     7560 |        1    66585     21 |  0.000 % |
35.69/35.71	c |    699788 |     270     2100     7560 |        1    67195     21 |  0.000 % |
35.69/35.71	c |    704175 |     270     2100     7560 |        1    71582     21 |  0.000 % |
35.69/35.71	c |    704276 |     270     2100     7560 |        1    71683     21 |  0.000 % |
35.69/35.71	c |    704378 |     270     2100     7560 |        1    71785     21 |  0.000 % |
35.69/35.71	c |    704480 |     270     2100     7560 |        1    71887     21 |  0.000 % |
35.69/35.71	c |    731694 |     270     2100     7560 |        1    99101     22 |  0.000 % |
35.69/35.71	c |    731795 |     270     2100     7560 |        1    99202     22 |  0.000 % |
35.69/35.71	c |    734592 |     270     2100     7560 |        1   101999     22 |  0.000 % |
35.69/35.71	c |    734693 |     270     2100     7560 |        1   102100     22 |  0.000 % |
35.69/35.71	c |    736062 |     270     2100     7560 |        1   103469     22 |  0.000 % |
35.69/35.71	c |    739144 |     270     2100     7560 |        1   106551     22 |  0.000 % |
35.69/35.71	c |    740530 |     270     2100     7560 |        1   107937     22 |  0.000 % |
35.69/35.71	c |    740632 |     270     2100     7560 |        1   108039     22 |  0.000 % |
47.19/47.24	c |    740733 |     270     2100     7560 |        1   108140     22 |  0.000 % |
47.19/47.24	c |    740833 |     270     2100     7560 |        1   108240     22 |  0.000 % |
47.19/47.24	c |    740935 |     270     2100     7560 |        1   108342     22 |  0.000 % |
47.19/47.24	c |    741035 |     270     2100     7560 |        1   108442     22 |  0.000 % |
47.19/47.24	c |    741135 |     270     2100     7560 |        1   108542     22 |  0.000 % |
47.19/47.24	c |    741235 |     270     2100     7560 |        1   108642     22 |  0.000 % |
47.19/47.24	c |    741336 |     270     2100     7560 |        1   108743     22 |  0.000 % |
47.19/47.24	c |    742184 |     270     2100     7560 |        1   109591     22 |  0.000 % |
47.19/47.24	c |    742284 |     270     2100     7560 |        1   109691     22 |  0.000 % |
47.19/47.24	c |    759335 |     270     2100     7560 |        1    68145     21 |  0.000 % |
47.19/47.24	c |    759883 |     270     2100     7560 |        1    68693     21 |  0.000 % |
47.19/47.24	c |    760626 |     270     2100     7560 |        1    69436     21 |  0.000 % |
47.19/47.24	c |    761505 |     270     2100     7560 |        1    70315     21 |  0.000 % |
47.19/47.24	c |    770986 |     270     2100     7560 |        1    79796     22 |  0.000 % |
47.19/47.24	c |    771088 |     270     2100     7560 |        1    79898     22 |  0.000 % |
47.19/47.24	c |    771190 |     270     2100     7560 |        1    80000     22 |  0.000 % |
47.19/47.24	c |    771292 |     270     2100     7560 |        1    80102     22 |  0.000 % |
47.19/47.24	c |    774091 |     270     2100     7560 |        1    82901     22 |  0.000 % |
47.19/47.24	c |    793997 |     270     2100     7560 |        1   102807     22 |  0.000 % |
47.19/47.24	c |    806646 |     270     2100     7560 |        1   115456     22 |  0.000 % |
47.19/47.24	c |    807761 |     270     2100     7560 |        1   116571     22 |  0.000 % |
47.19/47.24	c |    807977 |     270     2100     7560 |        1   116787     22 |  0.000 % |
47.19/47.24	c |    808077 |     270     2100     7560 |        1   116887     22 |  0.000 % |
47.19/47.24	c |    808177 |     270     2100     7560 |        1   116987     22 |  0.000 % |
47.19/47.24	c |    808491 |     270     2100     7560 |        1   117301     22 |  0.000 % |
47.19/47.24	c |    808716 |     270     2100     7560 |        1   117526     22 |  0.000 % |
47.19/47.24	c |    813842 |     270     2100     7560 |        1    61452     20 |  0.000 % |
47.19/47.24	c |    814006 |     270     2100     7560 |        1    61616     20 |  0.000 % |
47.19/47.24	c |    823578 |     270     2100     7560 |        1    71188     21 |  0.000 % |
47.19/47.24	c |    825503 |     270     2100     7560 |        1    73113     21 |  0.000 % |
47.19/47.24	c |    828297 |     270     2100     7560 |        1    75907     21 |  0.000 % |
47.19/47.24	c |    828397 |     270     2100     7560 |        1    76007     21 |  0.000 % |
47.19/47.24	c |    856548 |     270     2100     7560 |        1   104158     21 |  0.000 % |
47.19/47.24	c |    856648 |     270     2100     7560 |        1   104258     21 |  0.000 % |
47.19/47.24	c |    860063 |     270     2100     7560 |        1   107673     21 |  0.000 % |
47.19/47.24	c |    860163 |     270     2100     7560 |        1   107773     21 |  0.000 % |
47.19/47.24	c |    860266 |     270     2100     7560 |        1   107876     21 |  0.000 % |
47.19/47.24	c |    860371 |     270     2100     7560 |        1   107981     21 |  0.000 % |
47.19/47.24	c |    860473 |     270     2100     7560 |        1   108083     21 |  0.000 % |
47.19/47.24	c |    860574 |     270     2100     7560 |        1   108184     21 |  0.000 % |
47.19/47.24	c |    860675 |     270     2100     7560 |        1   108285     21 |  0.000 % |
47.19/47.24	c |    860775 |     270     2100     7560 |        1   108385     21 |  0.000 % |
47.19/47.24	c |    860875 |     270     2100     7560 |        1   108485     21 |  0.000 % |
47.19/47.24	c |    860977 |     270     2100     7560 |        1   108587     21 |  0.000 % |
47.19/47.24	c |    864051 |     270     2100     7560 |        1   111661     22 |  0.000 % |
47.19/47.24	c |    883155 |     270     2100     7560 |        1    66968     20 |  0.000 % |
47.19/47.24	c |    883726 |     270     2100     7560 |        1    67539     20 |  0.000 % |
47.19/47.24	c |    889383 |     270     2100     7560 |        1    73196     20 |  0.000 % |
47.19/47.24	c |    919353 |     270     2100     7560 |        1   103166     22 |  0.000 % |
47.19/47.24	c |    919454 |     270     2100     7560 |        1   103267     22 |  0.000 % |
56.59/56.69	c |    923489 |     270     2100     7560 |        1   107302     22 |  0.000 % |
56.59/56.69	c |    928028 |     270     2100     7560 |        1   111841     22 |  0.000 % |
56.59/56.69	c |    928128 |     270     2100     7560 |        1   111941     22 |  0.000 % |
56.59/56.69	c |    928229 |     270     2100     7560 |        1   112042     22 |  0.000 % |
56.59/56.69	c |    928329 |     270     2100     7560 |        1   112142     22 |  0.000 % |
56.59/56.69	c |    930375 |     270     2100     7560 |        1   114188     22 |  0.000 % |
56.59/56.69	c |    930475 |     270     2100     7560 |        1   114288     22 |  0.000 % |
56.59/56.69	c |    930909 |     270     2100     7560 |        1   114722     22 |  0.000 % |
56.59/56.69	c |    931009 |     270     2100     7560 |        1   114822     22 |  0.000 % |
56.59/56.69	c |    966308 |     270     2100     7560 |        1    83717     20 |  0.000 % |
56.59/56.69	c |    966408 |     270     2100     7560 |        1    83817     20 |  0.000 % |
56.59/56.69	c |    966509 |     270     2100     7560 |        1    83918     20 |  0.000 % |
56.59/56.69	c |    966609 |     270     2100     7560 |        1    84018     20 |  0.000 % |
56.59/56.69	c |    966712 |     270     2100     7560 |        1    84121     20 |  0.000 % |
56.59/56.69	c |    966812 |     270     2100     7560 |        1    84221     20 |  0.000 % |
56.59/56.69	c |    966914 |     270     2100     7560 |        1    84323     20 |  0.000 % |
56.59/56.69	c |    967015 |     270     2100     7560 |        1    84424     20 |  0.000 % |
56.59/56.69	c |    969477 |     270     2100     7560 |        1    86886     20 |  0.000 % |
56.59/56.69	c |    969580 |     270     2100     7560 |        1    86989     20 |  0.000 % |
56.59/56.69	c |    985496 |     270     2100     7560 |        1   102905     21 |  0.000 % |
56.59/56.69	c |    985596 |     270     2100     7560 |        1   103005     21 |  0.000 % |
56.59/56.69	c |    996024 |     270     2100     7560 |        1   113433     21 |  0.000 % |
56.59/56.69	c |    996124 |     270     2100     7560 |        1   113533     21 |  0.000 % |
56.59/56.69	c |   1000744 |     270     2100     7560 |        1   118153     21 |  0.000 % |
56.59/56.69	c |   1000844 |     270     2100     7560 |        1   118253     21 |  0.000 % |
56.59/56.69	c |   1000944 |     270     2100     7560 |        1   118353     21 |  0.000 % |
56.59/56.69	c |   1001044 |     270     2100     7560 |        1   118453     21 |  0.000 % |
56.59/56.69	c |   1001145 |     270     2100     7560 |        1   118554     21 |  0.000 % |
56.59/56.69	c |   1001245 |     270     2100     7560 |        1   118654     21 |  0.000 % |
56.59/56.69	c |   1002769 |     270     2100     7560 |        1   120178     21 |  0.000 % |
56.59/56.69	c |   1026626 |     270     2100     7560 |        1    75039     20 |  0.000 % |
56.59/56.69	c |   1027323 |     270     2100     7560 |        1    75736     20 |  0.000 % |
56.59/56.69	c |   1027424 |     270     2100     7560 |        1    75837     20 |  0.000 % |
56.59/56.69	c |   1027524 |     270     2100     7560 |        1    75937     20 |  0.000 % |
56.59/56.69	c |   1027626 |     270     2100     7560 |        1    76039     20 |  0.000 % |
56.59/56.69	c |   1028737 |     270     2100     7560 |        1    77150     20 |  0.000 % |
56.59/56.69	c |   1028838 |     270     2100     7560 |        1    77251     20 |  0.000 % |
56.59/56.69	c |   1028988 |     270     2100     7560 |        1    77401     21 |  0.000 % |
56.59/56.69	c |   1029088 |     270     2100     7560 |        1    77501     21 |  0.000 % |
56.59/56.69	c |   1029191 |     270     2100     7560 |        1    77604     21 |  0.000 % |
56.59/56.69	c |   1029387 |     270     2100     7560 |        1    77800     21 |  0.000 % |
56.59/56.69	c |   1029487 |     270     2100     7560 |        1    77900     21 |  0.000 % |
56.59/56.69	c |   1029685 |     270     2100     7560 |        1    78098     21 |  0.000 % |
56.59/56.69	c |   1031747 |     270     2100     7560 |        1    80160     21 |  0.000 % |
56.59/56.69	c |   1031847 |     270     2100     7560 |        1    80260     21 |  0.000 % |
56.59/56.69	c |   1056664 |     270     2100     7560 |        1   105077     22 |  0.000 % |
56.59/56.69	c |   1056764 |     270     2100     7560 |        1   105177     22 |  0.000 % |
56.59/56.69	c |   1056867 |     270     2100     7560 |        1   105280     22 |  0.000 % |
56.59/56.69	c |   1056969 |     270     2100     7560 |        1   105382     22 |  0.000 % |
63.09/63.11	c |   1057070 |     270     2100     7560 |        1   105483     22 |  0.000 % |
63.09/63.11	c |   1057171 |     270     2100     7560 |        1   105584     22 |  0.000 % |
63.09/63.11	c |   1057274 |     270     2100     7560 |        1   105687     22 |  0.000 % |
63.09/63.11	c |   1057374 |     270     2100     7560 |        1   105787     22 |  0.000 % |
63.09/63.11	c |   1057539 |     270     2100     7560 |        1   105952     22 |  0.000 % |
63.09/63.11	c |   1057960 |     270     2100     7560 |        1   106373     22 |  0.000 % |
63.09/63.11	c |   1061043 |     270     2100     7560 |        1   109456     22 |  0.000 % |
63.09/63.11	c |   1061143 |     270     2100     7560 |        1   109556     22 |  0.000 % |
63.09/63.11	c |   1061243 |     270     2100     7560 |        1   109656     22 |  0.000 % |
63.09/63.11	c |   1070305 |     270     2100     7560 |        1   118718     22 |  0.000 % |
63.09/63.11	c |   1085024 |     270     2100     7560 |        1   133437     22 |  0.000 % |
63.09/63.11	c |   1091990 |     270     2100     7560 |        1   140403     22 |  0.000 % |
63.09/63.11	c |   1101706 |     270     2100     7560 |        1    78518     20 |  0.000 % |
63.09/63.11	c |   1103333 |     270     2100     7560 |        1    80145     20 |  0.000 % |
63.09/63.11	c |   1103435 |     270     2100     7560 |        1    80247     20 |  0.000 % |
63.09/63.11	c |   1103769 |     270     2100     7560 |        1    80581     20 |  0.000 % |
63.09/63.11	c |   1103951 |     270     2100     7560 |        1    80763     20 |  0.000 % |
63.09/63.11	c |   1107010 |     270     2100     7560 |        1    83822     21 |  0.000 % |
63.09/63.11	c |   1114019 |     270     2100     7560 |        1    90831     21 |  0.000 % |
63.09/63.11	c |   1115456 |     270     2100     7560 |        1    92268     21 |  0.000 % |
63.09/63.11	c |   1115557 |     270     2100     7560 |        1    92369     21 |  0.000 % |
63.09/63.11	c |   1115659 |     270     2100     7560 |        1    92471     21 |  0.000 % |
63.09/63.11	c |   1116894 |     270     2100     7560 |        1    93706     21 |  0.000 % |
63.09/63.11	c |   1116995 |     270     2100     7560 |        1    93807     21 |  0.000 % |
63.09/63.11	c |   1117095 |     270     2100     7560 |        1    93907     21 |  0.000 % |
63.09/63.11	c |   1119540 |     270     2100     7560 |        1    96352     21 |  0.000 % |
63.09/63.11	c |   1119641 |     270     2100     7560 |        1    96453     21 |  0.000 % |
63.09/63.11	c |   1119748 |     270     2100     7560 |        1    96560     21 |  0.000 % |
63.09/63.11	c |   1120075 |     270     2100     7560 |        1    96887     21 |  0.000 % |
63.09/63.11	c |   1120322 |     270     2100     7560 |        1    97134     21 |  0.000 % |
63.09/63.11	c |   1125375 |     270     2100     7560 |        1   102187     21 |  0.000 % |
63.09/63.11	c |   1132953 |     270     2100     7560 |        1   109765     21 |  0.000 % |
63.09/63.11	c |   1133053 |     270     2100     7560 |        1   109865     21 |  0.000 % |
63.09/63.11	c |   1133155 |     270     2100     7560 |        1   109967     21 |  0.000 % |
63.09/63.11	c |   1133255 |     270     2100     7560 |        1   110067     21 |  0.000 % |
63.09/63.11	c |   1135305 |     270     2100     7560 |        1   112117     21 |  0.000 % |
63.09/63.11	c |   1135405 |     270     2100     7560 |        1   112217     21 |  0.000 % |
63.09/63.11	c |   1135624 |     270     2100     7560 |        1   112436     21 |  0.000 % |
63.09/63.11	c |   1135725 |     270     2100     7560 |        1   112537     21 |  0.000 % |
63.09/63.11	c |   1135828 |     270     2100     7560 |        1   112640     21 |  0.000 % |
63.09/63.11	c |   1138048 |     270     2100     7560 |        1   114860     21 |  0.000 % |
63.09/63.11	c |   1138148 |     270     2100     7560 |        1   114960     21 |  0.000 % |
63.09/63.11	c |   1138248 |     270     2100     7560 |        1   115060     21 |  0.000 % |
63.09/63.11	c |   1138349 |     270     2100     7560 |        1   115161     21 |  0.000 % |
63.09/63.11	c |   1138452 |     270     2100     7560 |        1   115264     21 |  0.000 % |
63.09/63.11	c |   1138553 |     270     2100     7560 |        1   115365     21 |  0.000 % |
63.09/63.11	c |   1139293 |     270     2100     7560 |        1   116105     21 |  0.000 % |
63.09/63.11	c |   1140218 |     270     2100     7560 |        1   117030     21 |  0.000 % |
63.09/63.11	c |   1142099 |     270     2100     7560 |        1   118911     21 |  0.000 % |
63.09/63.11	c |   1142200 |     270     2100     7560 |        1   119012     21 |  0.000 % |
70.08/70.10	c |   1142302 |     270     2100     7560 |        1   119114     21 |  0.000 % |
70.08/70.10	c |   1142404 |     270     2100     7560 |        1   119216     21 |  0.000 % |
70.08/70.10	c |   1162305 |     270     2100     7560 |        1   139117     21 |  0.000 % |
70.08/70.10	c |   1164703 |     270     2100     7560 |        1   141515     21 |  0.000 % |
70.08/70.10	c |   1166475 |     270     2100     7560 |        1   143287     22 |  0.000 % |
70.08/70.10	c |   1166576 |     270     2100     7560 |        1   143388     22 |  0.000 % |
70.08/70.10	c |   1166678 |     270     2100     7560 |        1   143490     22 |  0.000 % |
70.08/70.10	c |   1166779 |     270     2100     7560 |        1   143591     22 |  0.000 % |
70.08/70.10	c |   1166885 |     270     2100     7560 |        1   143697     22 |  0.000 % |
70.08/70.10	c |   1167062 |     270     2100     7560 |        1   143874     22 |  0.000 % |
70.08/70.10	c |   1171004 |     270     2100     7560 |        1   147816     22 |  0.000 % |
70.08/70.10	c |   1171107 |     270     2100     7560 |        1   147919     22 |  0.000 % |
70.08/70.10	c |   1171207 |     270     2100     7560 |        1   148019     22 |  0.000 % |
70.08/70.10	c |   1177864 |     270     2100     7560 |        1    80475     20 |  0.000 % |
70.08/70.10	c |   1177964 |     270     2100     7560 |        1    80575     20 |  0.000 % |
70.08/70.10	c |   1178065 |     270     2100     7560 |        1    80676     20 |  0.000 % |
70.08/70.10	c |   1178165 |     270     2100     7560 |        1    80776     20 |  0.000 % |
70.08/70.10	c |   1179093 |     270     2100     7560 |        1    81704     20 |  0.000 % |
70.08/70.10	c |   1179194 |     270     2100     7560 |        1    81805     20 |  0.000 % |
70.08/70.10	c |   1179295 |     270     2100     7560 |        1    81906     20 |  0.000 % |
70.08/70.10	c |   1179396 |     270     2100     7560 |        1    82007     20 |  0.000 % |
70.08/70.10	c |   1179496 |     270     2100     7560 |        1    82107     20 |  0.000 % |
70.08/70.10	c |   1179597 |     270     2100     7560 |        1    82208     20 |  0.000 % |
70.08/70.10	c |   1180272 |     270     2100     7560 |        1    82883     20 |  0.000 % |
70.08/70.10	c |   1180374 |     270     2100     7560 |        1    82985     20 |  0.000 % |
70.08/70.10	c |   1184898 |     270     2100     7560 |        1    87509     21 |  0.000 % |
70.08/70.10	c |   1185000 |     270     2100     7560 |        1    87611     21 |  0.000 % |
70.08/70.10	c |   1185101 |     270     2100     7560 |        1    87712     21 |  0.000 % |
70.08/70.10	c |   1185202 |     270     2100     7560 |        1    87813     21 |  0.000 % |
70.08/70.10	c |   1199100 |     270     2100     7560 |        1   101711     21 |  0.000 % |
70.08/70.10	c |   1199200 |     270     2100     7560 |        1   101811     21 |  0.000 % |
70.08/70.10	c |   1199301 |     270     2100     7560 |        1   101912     21 |  0.000 % |
70.08/70.10	c |   1199401 |     270     2100     7560 |        1   102012     21 |  0.000 % |
70.08/70.10	c |   1199502 |     270     2100     7560 |        1   102113     21 |  0.000 % |
70.08/70.10	c |   1199603 |     270     2100     7560 |        1   102214     21 |  0.000 % |
70.08/70.10	c |   1213354 |     270     2100     7560 |        1   115965     21 |  0.000 % |
70.08/70.10	c |   1213454 |     270     2100     7560 |        1   116065     21 |  0.000 % |
70.08/70.10	c |   1213554 |     270     2100     7560 |        1   116165     21 |  0.000 % |
70.08/70.10	c |   1213655 |     270     2100     7560 |        1   116266     21 |  0.000 % |
70.08/70.10	c |   1213760 |     270     2100     7560 |        1   116371     21 |  0.000 % |
70.08/70.10	c |   1214090 |     270     2100     7560 |        1   116701     21 |  0.000 % |
70.08/70.10	c |   1214191 |     270     2100     7560 |        1   116802     21 |  0.000 % |
70.08/70.10	c |   1232025 |     270     2100     7560 |        1   134636     21 |  0.000 % |
70.08/70.10	c |   1232126 |     270     2100     7560 |        1   134737     21 |  0.000 % |
70.08/70.10	c |   1232226 |     270     2100     7560 |        1   134837     22 |  0.000 % |
70.08/70.10	c |   1232328 |     270     2100     7560 |        1   134939     22 |  0.000 % |
70.08/70.10	c |   1232428 |     270     2100     7560 |        1   135039     22 |  0.000 % |
70.08/70.10	c |   1232529 |     270     2100     7560 |        1   135140     22 |  0.000 % |
70.08/70.10	c |   1232631 |     270     2100     7560 |        1   135242     22 |  0.000 % |
70.08/70.10	c |   1232733 |     270     2100     7560 |        1   135344     22 |  0.000 % |
75.98/76.03	c |   1232833 |     270     2100     7560 |        1   135444     22 |  0.000 % |
75.98/76.03	c |   1232934 |     270     2100     7560 |        1   135545     22 |  0.000 % |
75.98/76.03	c |   1233035 |     270     2100     7560 |        1   135646     22 |  0.000 % |
75.98/76.03	c |   1238718 |     270     2100     7560 |        1   141329     22 |  0.000 % |
75.98/76.03	c |   1239993 |     270     2100     7560 |        1   142604     22 |  0.000 % |
75.98/76.03	c |   1240174 |     270     2100     7560 |        1   142785     22 |  0.000 % |
75.98/76.03	c |   1241026 |     270     2100     7560 |        1   143637     22 |  0.000 % |
75.98/76.03	c |   1241126 |     270     2100     7560 |        1   143737     22 |  0.000 % |
75.98/76.03	c |   1241226 |     270     2100     7560 |        1   143837     22 |  0.000 % |
75.98/76.03	c |   1241327 |     270     2100     7560 |        1   143938     22 |  0.000 % |
75.98/76.03	c |   1241427 |     270     2100     7560 |        1   144038     22 |  0.000 % |
75.98/76.03	c |   1243484 |     270     2100     7560 |        1   146095     22 |  0.000 % |
75.98/76.03	c |   1243585 |     270     2100     7560 |        1   146196     22 |  0.000 % |
75.98/76.03	c |   1245184 |     270     2100     7560 |        1   147795     22 |  0.000 % |
75.98/76.03	c |   1245285 |     270     2100     7560 |        1   147896     22 |  0.000 % |
75.98/76.03	c |   1245387 |     270     2100     7560 |        1   147998     22 |  0.000 % |
75.98/76.03	c |   1245489 |     270     2100     7560 |        1   148100     22 |  0.000 % |
75.98/76.03	c |   1248715 |     270     2100     7560 |        1   151326     22 |  0.000 % |
75.98/76.03	c |   1263812 |     270     2100     7560 |        1    89622     20 |  0.000 % |
75.98/76.03	c |   1264191 |     270     2100     7560 |        1    90001     20 |  0.000 % |
75.98/76.03	c |   1265278 |     270     2100     7560 |        1    91088     20 |  0.000 % |
75.98/76.03	c |   1271858 |     270     2100     7560 |        1    97668     20 |  0.000 % |
75.98/76.03	c |   1273457 |     270     2100     7560 |        1    99267     20 |  0.000 % |
75.98/76.03	c |   1273557 |     270     2100     7560 |        1    99367     20 |  0.000 % |
75.98/76.03	c |   1275305 |     270     2100     7560 |        1   101115     20 |  0.000 % |
75.98/76.03	c |   1275405 |     270     2100     7560 |        1   101215     20 |  0.000 % |
75.98/76.03	c |   1277170 |     270     2100     7560 |        1   102980     21 |  0.000 % |
75.98/76.03	c |   1277270 |     270     2100     7560 |        1   103080     21 |  0.000 % |
75.98/76.03	c |   1277371 |     270     2100     7560 |        1   103181     21 |  0.000 % |
75.98/76.03	c |   1281158 |     270     2100     7560 |        1   106968     21 |  0.000 % |
75.98/76.03	c |   1281325 |     270     2100     7560 |        1   107135     21 |  0.000 % |
75.98/76.03	c |   1281513 |     270     2100     7560 |        1   107323     21 |  0.000 % |
75.98/76.03	c |   1282122 |     270     2100     7560 |        1   107932     21 |  0.000 % |
75.98/76.03	c |   1282223 |     270     2100     7560 |        1   108033     21 |  0.000 % |
75.98/76.03	c |   1290971 |     270     2100     7560 |        1   116781     21 |  0.000 % |
75.98/76.03	c |   1294607 |     270     2100     7560 |        1   120417     21 |  0.000 % |
75.98/76.03	c |   1296190 |     270     2100     7560 |        1   122000     21 |  0.000 % |
75.98/76.03	c |   1296292 |     270     2100     7560 |        1   122102     21 |  0.000 % |
75.98/76.03	c |   1297744 |     270     2100     7560 |        1   123554     21 |  0.000 % |
75.98/76.03	c |   1297845 |     270     2100     7560 |        1   123655     21 |  0.000 % |
75.98/76.03	c |   1297945 |     270     2100     7560 |        1   123755     21 |  0.000 % |
75.98/76.03	c |   1298045 |     270     2100     7560 |        1   123855     21 |  0.000 % |
75.98/76.03	c |   1298146 |     270     2100     7560 |        1   123956     21 |  0.000 % |
75.98/76.03	c |   1298246 |     270     2100     7560 |        1   124056     21 |  0.000 % |
75.98/76.03	c |   1298349 |     270     2100     7560 |        1   124159     21 |  0.000 % |
75.98/76.03	c |   1300613 |     270     2100     7560 |        1   126423     21 |  0.000 % |
75.98/76.03	c |   1300715 |     270     2100     7560 |        1   126525     21 |  0.000 % |
75.98/76.03	c |   1304793 |     270     2100     7560 |        1   130603     22 |  0.000 % |
75.98/76.03	c |   1304895 |     270     2100     7560 |        1   130705     22 |  0.000 % |
75.98/76.03	c |   1304997 |     270     2100     7560 |        1   130807     22 |  0.000 % |
89.19/89.26	c |   1305097 |     270     2100     7560 |        1   130907     22 |  0.000 % |
89.19/89.26	c |   1305198 |     270     2100     7560 |        1   131008     22 |  0.000 % |
89.19/89.26	c |   1305426 |     270     2100     7560 |        1   131236     22 |  0.000 % |
89.19/89.26	c |   1305526 |     270     2100     7560 |        1   131336     22 |  0.000 % |
89.19/89.26	c |   1307857 |     270     2100     7560 |        1   133667     22 |  0.000 % |
89.19/89.26	c |   1310866 |     270     2100     7560 |        1   136676     22 |  0.000 % |
89.19/89.26	c |   1311420 |     270     2100     7560 |        1   137230     22 |  0.000 % |
89.19/89.26	c |   1311993 |     270     2100     7560 |        1   137803     22 |  0.000 % |
89.19/89.26	c |   1313623 |     270     2100     7560 |        1   139433     22 |  0.000 % |
89.19/89.26	c |   1313723 |     270     2100     7560 |        1   139533     22 |  0.000 % |
89.19/89.26	c |   1313823 |     270     2100     7560 |        1   139633     22 |  0.000 % |
89.19/89.26	c |   1314244 |     270     2100     7560 |        1   140054     22 |  0.000 % |
89.19/89.26	c |   1314505 |     270     2100     7560 |        1   140315     22 |  0.000 % |
89.19/89.26	c |   1314605 |     270     2100     7560 |        1   140415     22 |  0.000 % |
89.19/89.26	c |   1314811 |     270     2100     7560 |        1   140621     22 |  0.000 % |
89.19/89.26	c |   1314912 |     270     2100     7560 |        1   140722     22 |  0.000 % |
89.19/89.26	c |   1324594 |     270     2100     7560 |        1   150404     22 |  0.000 % |
89.19/89.26	c |   1324695 |     270     2100     7560 |        1   150505     22 |  0.000 % |
89.19/89.26	c |   1324795 |     270     2100     7560 |        1   150605     22 |  0.000 % |
89.19/89.26	c |   1324900 |     270     2100     7560 |        1   150710     22 |  0.000 % |
89.19/89.26	c |   1375897 |     270     2100     7560 |        1   122302     20 |  0.000 % |
89.19/89.26	c |   1376711 |     270     2100     7560 |        1   123116     20 |  0.000 % |
89.19/89.26	c |   1376811 |     270     2100     7560 |        1   123216     20 |  0.000 % |
89.19/89.26	c |   1376912 |     270     2100     7560 |        1   123317     20 |  0.000 % |
89.19/89.26	c |   1377012 |     270     2100     7560 |        1   123417     20 |  0.000 % |
89.19/89.26	c |   1379872 |     270     2100     7560 |        1   126277     20 |  0.000 % |
89.19/89.26	c |   1379972 |     270     2100     7560 |        1   126377     20 |  0.000 % |
89.19/89.26	c |   1380072 |     270     2100     7560 |        1   126477     20 |  0.000 % |
89.19/89.26	c |   1380172 |     270     2100     7560 |        1   126577     20 |  0.000 % |
89.19/89.26	c |   1380272 |     270     2100     7560 |        1   126677     21 |  0.000 % |
89.19/89.26	c |   1380372 |     270     2100     7560 |        1   126777     21 |  0.000 % |
89.19/89.26	c |   1383014 |     270     2100     7560 |        1   129419     21 |  0.000 % |
89.19/89.26	c |   1420693 |     270     2100     7560 |        1    85103     20 |  0.000 % |
89.19/89.26	c |   1420814 |     270     2100     7560 |        1    85224     20 |  0.000 % |
89.19/89.26	c |   1420915 |     270     2100     7560 |        1    85325     20 |  0.000 % |
89.19/89.26	c |   1421016 |     270     2100     7560 |        1    85426     20 |  0.000 % |
89.19/89.26	c |   1421118 |     270     2100     7560 |        1    85528     20 |  0.000 % |
89.19/89.26	c |   1421218 |     270     2100     7560 |        1    85628     20 |  0.000 % |
89.19/89.26	c |   1421877 |     270     2100     7560 |        1    86287     20 |  0.000 % |
89.19/89.26	c |   1423169 |     270     2100     7560 |        1    87579     20 |  0.000 % |
89.19/89.26	c |   1446718 |     270     2100     7560 |        1   111128     20 |  0.000 % |
89.19/89.26	c |   1446819 |     270     2100     7560 |        1   111229     20 |  0.000 % |
89.19/89.26	c |   1451294 |     270     2100     7560 |        1   115704     20 |  0.000 % |
89.19/89.26	c |   1453578 |     270     2100     7560 |        1   117988     20 |  0.000 % |
89.19/89.26	c |   1458014 |     270     2100     7560 |        1   122424     20 |  0.000 % |
89.19/89.26	c |   1460774 |     270     2100     7560 |        1   125184     20 |  0.000 % |
89.19/89.26	c |   1464316 |     270     2100     7560 |        1   128726     20 |  0.000 % |
89.19/89.26	c |   1465568 |     270     2100     7560 |        1   129978     20 |  0.000 % |
89.19/89.26	c |   1468239 |     270     2100     7560 |        1   132649     21 |  0.000 % |
89.19/89.26	c |   1469081 |     270     2100     7560 |        1   133491     21 |  0.000 % |
92.79/92.88	c |   1474959 |     270     2100     7560 |        1   139369     21 |  0.000 % |
92.79/92.88	c |   1485954 |     270     2100     7560 |        1   150364     21 |  0.000 % |
92.79/92.88	c |   1486055 |     270     2100     7560 |        1   150465     21 |  0.000 % |
92.79/92.88	c |   1486156 |     270     2100     7560 |        1   150566     21 |  0.000 % |
92.79/92.88	c |   1486259 |     270     2100     7560 |        1   150669     21 |  0.000 % |
92.79/92.88	c |   1486361 |     270     2100     7560 |        1   150771     21 |  0.000 % |
92.79/92.88	c |   1486462 |     270     2100     7560 |        1   150872     21 |  0.000 % |
92.79/92.88	c |   1486563 |     270     2100     7560 |        1   150973     21 |  0.000 % |
92.79/92.88	c |   1492275 |     270     2100     7560 |        1   156685     21 |  0.000 % |
92.79/92.88	c |   1492377 |     270     2100     7560 |        1   156787     21 |  0.000 % |
92.79/92.88	c |   1492477 |     270     2100     7560 |        1   156887     21 |  0.000 % |
92.79/92.88	c |   1492577 |     270     2100     7560 |        1   156987     21 |  0.000 % |
92.79/92.88	c |   1492838 |     270     2100     7560 |        1   157248     21 |  0.000 % |
92.79/92.88	c |   1492939 |     270     2100     7560 |        1   157349     21 |  0.000 % |
92.79/92.88	c |   1493039 |     270     2100     7560 |        1   157449     21 |  0.000 % |
92.79/92.88	c |   1494768 |     270     2100     7560 |        1   159178     21 |  0.000 % |
92.79/92.88	c |   1497340 |     270     2100     7560 |        1   161750     21 |  0.000 % |
92.79/92.88	c |   1497441 |     270     2100     7560 |        1   161851     21 |  0.000 % |
92.79/92.88	c |   1497541 |     270     2100     7560 |        1   161951     21 |  0.000 % |
92.79/92.88	c |   1497672 |     270     2100     7560 |        1   162082     21 |  0.000 % |
92.79/92.88	c |   1497773 |     270     2100     7560 |        1   162183     21 |  0.000 % |
92.79/92.88	c |   1497873 |     270     2100     7560 |        1   162283     21 |  0.000 % |
92.79/92.88	c |   1497976 |     270     2100     7560 |        1   162386     21 |  0.000 % |
92.79/92.88	c |   1499932 |     270     2100     7560 |        1   164342     21 |  0.000 % |
92.79/92.88	c |   1500032 |     270     2100     7560 |        1   164442     21 |  0.000 % |
92.79/92.88	c |   1500395 |     270     2100     7560 |        1   164805     21 |  0.000 % |
92.79/92.88	c |   1501297 |     270     2100     7560 |        1   165707     21 |  0.000 % |
92.79/92.88	c |   1501397 |     270     2100     7560 |        1   165807     21 |  0.000 % |
92.79/92.88	c |   1501497 |     270     2100     7560 |        1   165907     21 |  0.000 % |
92.79/92.88	c |   1501597 |     270     2100     7560 |        1   166007     21 |  0.000 % |
92.79/92.88	c |   1501697 |     270     2100     7560 |        1   166107     21 |  0.000 % |
92.79/92.88	c |   1501799 |     270     2100     7560 |        1   166209     21 |  0.000 % |
92.79/92.88	c |   1501899 |     270     2100     7560 |        1   166309     21 |  0.000 % |
92.79/92.88	c |   1502000 |     270     2100     7560 |        1   166410     21 |  0.000 % |
92.79/92.88	c |   1503615 |     270     2100     7560 |        1   168025     21 |  0.000 % |
92.79/92.88	c |   1503715 |     270     2100     7560 |        1   168125     21 |  0.000 % |
92.79/92.88	c |   1503815 |     270     2100     7560 |        1   168225     21 |  0.000 % |
92.79/92.88	c |   1503916 |     270     2100     7560 |        1   168326     21 |  0.000 % |
92.79/92.88	c |   1504194 |     270     2100     7560 |        1   168604     21 |  0.000 % |
92.79/92.88	c |   1504294 |     270     2100     7560 |        1   168704     21 |  0.000 % |
92.79/92.88	c |   1506262 |     270     2100     7560 |        1    86069     20 |  0.000 % |
92.79/92.88	c |   1506362 |     270     2100     7560 |        1    86169     20 |  0.000 % |
92.79/92.88	c |   1506462 |     270     2100     7560 |        1    86269     20 |  0.000 % |
92.79/92.88	c |   1507672 |     270     2100     7560 |        1    87479     20 |  0.000 % |
92.79/92.88	c |   1507772 |     270     2100     7560 |        1    87579     20 |  0.000 % |
92.79/92.88	c |   1507875 |     270     2100     7560 |        1    87682     20 |  0.000 % |
92.79/92.88	c |   1508330 |     270     2100     7560 |        1    88137     20 |  0.000 % |
92.79/92.88	c |   1508877 |     270     2100     7560 |        1    88684     20 |  0.000 % |
92.79/92.88	c |   1509067 |     270     2100     7560 |        1    88874     20 |  0.000 % |
92.79/92.88	c |   1509168 |     270     2100     7560 |        1    88975     20 |  0.000 % |
103.89/103.97	c |   1509270 |     270     2100     7560 |        1    89077     20 |  0.000 % |
103.89/103.97	c |   1526335 |     270     2100     7560 |        1   106142     20 |  0.000 % |
103.89/103.97	c |   1526436 |     270     2100     7560 |        1   106243     20 |  0.000 % |
103.89/103.97	c |   1530087 |     270     2100     7560 |        1   109894     20 |  0.000 % |
103.89/103.97	c |   1530262 |     270     2100     7560 |        1   110069     20 |  0.000 % |
103.89/103.97	c |   1532087 |     270     2100     7560 |        1   111894     20 |  0.000 % |
103.89/103.97	c |   1532187 |     270     2100     7560 |        1   111994     20 |  0.000 % |
103.89/103.97	c |   1532288 |     270     2100     7560 |        1   112095     20 |  0.000 % |
103.89/103.97	c |   1534260 |     270     2100     7560 |        1   114067     21 |  0.000 % |
103.89/103.97	c |   1534363 |     270     2100     7560 |        1   114170     21 |  0.000 % |
103.89/103.97	c |   1534463 |     270     2100     7560 |        1   114270     21 |  0.000 % |
103.89/103.97	c |   1534564 |     270     2100     7560 |        1   114371     21 |  0.000 % |
103.89/103.97	c |   1558585 |     270     2100     7560 |        1   138392     21 |  0.000 % |
103.89/103.97	c |   1562690 |     270     2100     7560 |        1   142497     21 |  0.000 % |
103.89/103.97	c |   1577506 |     270     2100     7560 |        1   157313     21 |  0.000 % |
103.89/103.97	c |   1577607 |     270     2100     7560 |        1   157414     21 |  0.000 % |
103.89/103.97	c |   1579143 |     270     2100     7560 |        1   158950     21 |  0.000 % |
103.89/103.97	c |   1579243 |     270     2100     7560 |        1   159050     21 |  0.000 % |
103.89/103.97	c |   1579343 |     270     2100     7560 |        1   159150     21 |  0.000 % |
103.89/103.97	c |   1579443 |     270     2100     7560 |        1   159250     21 |  0.000 % |
103.89/103.97	c |   1582448 |     270     2100     7560 |        1   162255     21 |  0.000 % |
103.89/103.97	c |   1583064 |     270     2100     7560 |        1   162871     21 |  0.000 % |
103.89/103.97	c |   1598397 |     270     2100     7560 |        1    91002     20 |  0.000 % |
103.89/103.97	c |   1598498 |     270     2100     7560 |        1    91103     20 |  0.000 % |
103.89/103.97	c |   1598598 |     270     2100     7560 |        1    91203     20 |  0.000 % |
103.89/103.97	c |   1599417 |     270     2100     7560 |        1    92022     20 |  0.000 % |
103.89/103.97	c |   1599517 |     270     2100     7560 |        1    92122     20 |  0.000 % |
103.89/103.97	c |   1599620 |     270     2100     7560 |        1    92225     20 |  0.000 % |
103.89/103.97	c |   1602975 |     270     2100     7560 |        1    95580     20 |  0.000 % |
103.89/103.97	c |   1603486 |     270     2100     7560 |        1    96091     20 |  0.000 % |
103.89/103.97	c |   1603587 |     270     2100     7560 |        1    96192     20 |  0.000 % |
103.89/103.97	c |   1619083 |     270     2100     7560 |        1   111688     20 |  0.000 % |
103.89/103.97	c |   1619183 |     270     2100     7560 |        1   111788     20 |  0.000 % |
103.89/103.97	c |   1628114 |     270     2100     7560 |        1   120719     20 |  0.000 % |
103.89/103.97	c |   1629720 |     270     2100     7560 |        1   122325     21 |  0.000 % |
103.89/103.97	c |   1629821 |     270     2100     7560 |        1   122426     21 |  0.000 % |
103.89/103.97	c |   1629921 |     270     2100     7560 |        1   122526     21 |  0.000 % |
103.89/103.97	c |   1630021 |     270     2100     7560 |        1   122626     21 |  0.000 % |
103.89/103.97	c |   1631681 |     270     2100     7560 |        1   124286     21 |  0.000 % |
103.89/103.97	c |   1631782 |     270     2100     7560 |        1   124387     21 |  0.000 % |
103.89/103.97	c |   1631883 |     270     2100     7560 |        1   124488     21 |  0.000 % |
103.89/103.97	c |   1631983 |     270     2100     7560 |        1   124588     21 |  0.000 % |
103.89/103.97	c |   1632083 |     270     2100     7560 |        1   124688     21 |  0.000 % |
103.89/103.97	c |   1632183 |     270     2100     7560 |        1   124788     21 |  0.000 % |
103.89/103.97	c |   1632283 |     270     2100     7560 |        1   124888     21 |  0.000 % |
103.89/103.97	c |   1640998 |     270     2100     7560 |        1   133603     21 |  0.000 % |
103.89/103.97	c |   1641098 |     270     2100     7560 |        1   133703     21 |  0.000 % |
103.89/103.97	c |   1642048 |     270     2100     7560 |        1   134653     21 |  0.000 % |
103.89/103.97	c |   1645553 |     270     2100     7560 |        1   138158     21 |  0.000 % |
103.89/103.97	c |   1645653 |     270     2100     7560 |        1   138258     21 |  0.000 % |
111.39/111.44	c |   1645754 |     270     2100     7560 |        1   138359     21 |  0.000 % |
111.39/111.44	c |   1645855 |     270     2100     7560 |        1   138460     21 |  0.000 % |
111.39/111.44	c |   1683170 |     270     2100     7560 |        1   175775     21 |  0.000 % |
111.39/111.44	c |   1683270 |     270     2100     7560 |        1   175875     21 |  0.000 % |
111.39/111.44	c |   1696214 |     270     2100     7560 |        1    99024     20 |  0.000 % |
111.39/111.44	c |   1696315 |     270     2100     7560 |        1    99125     20 |  0.000 % |
111.39/111.44	c |   1696496 |     270     2100     7560 |        1    99306     20 |  0.000 % |
111.39/111.44	c |   1698528 |     270     2100     7560 |        1   101338     20 |  0.000 % |
111.39/111.44	c |   1698628 |     270     2100     7560 |        1   101438     20 |  0.000 % |
111.39/111.44	c |   1698728 |     270     2100     7560 |        1   101538     20 |  0.000 % |
111.39/111.44	c |   1700223 |     270     2100     7560 |        1   103033     20 |  0.000 % |
111.39/111.44	c |   1700323 |     270     2100     7560 |        1   103133     20 |  0.000 % |
111.39/111.44	c |   1700423 |     270     2100     7560 |        1   103233     20 |  0.000 % |
111.39/111.44	c |   1700524 |     270     2100     7560 |        1   103334     20 |  0.000 % |
111.39/111.44	c |   1700624 |     270     2100     7560 |        1   103434     20 |  0.000 % |
111.39/111.44	c |   1700724 |     270     2100     7560 |        1   103534     20 |  0.000 % |
111.39/111.44	c |   1700826 |     270     2100     7560 |        1   103636     20 |  0.000 % |
111.39/111.44	c |   1704228 |     270     2100     7560 |        1   107038     20 |  0.000 % |
111.39/111.44	c |   1709424 |     270     2100     7560 |        1   112234     20 |  0.000 % |
111.39/111.44	c |   1711631 |     270     2100     7560 |        1   114441     20 |  0.000 % |
111.39/111.44	c |   1712292 |     270     2100     7560 |        1   115102     20 |  0.000 % |
111.39/111.44	c |   1712395 |     270     2100     7560 |        1   115205     20 |  0.000 % |
111.39/111.44	c |   1712495 |     270     2100     7560 |        1   115305     20 |  0.000 % |
111.39/111.44	c |   1712595 |     270     2100     7560 |        1   115405     20 |  0.000 % |
111.39/111.44	c |   1712695 |     270     2100     7560 |        1   115505     20 |  0.000 % |
111.39/111.44	c |   1712796 |     270     2100     7560 |        1   115606     20 |  0.000 % |
111.39/111.44	c |   1712897 |     270     2100     7560 |        1   115707     20 |  0.000 % |
111.39/111.44	c |   1712997 |     270     2100     7560 |        1   115807     20 |  0.000 % |
111.39/111.44	c |   1713098 |     270     2100     7560 |        1   115908     20 |  0.000 % |
111.39/111.44	c |   1713202 |     270     2100     7560 |        1   116012     20 |  0.000 % |
111.39/111.44	c |   1719851 |     270     2100     7560 |        1   122661     20 |  0.000 % |
111.39/111.44	c |   1719951 |     270     2100     7560 |        1   122761     20 |  0.000 % |
111.39/111.44	c |   1720051 |     270     2100     7560 |        1   122861     20 |  0.000 % |
111.39/111.44	c |   1720152 |     270     2100     7560 |        1   122962     20 |  0.000 % |
111.39/111.44	c |   1721047 |     270     2100     7560 |        1   123857     20 |  0.000 % |
111.39/111.44	c |   1725702 |     270     2100     7560 |        1   128512     20 |  0.000 % |
111.39/111.44	c |   1725803 |     270     2100     7560 |        1   128613     20 |  0.000 % |
111.39/111.44	c |   1726203 |     270     2100     7560 |        1   129013     20 |  0.000 % |
111.39/111.44	c |   1726396 |     270     2100     7560 |        1   129206     20 |  0.000 % |
111.39/111.44	c |   1728012 |     270     2100     7560 |        1   130822     20 |  0.000 % |
111.39/111.44	c |   1728112 |     270     2100     7560 |        1   130922     20 |  0.000 % |
111.39/111.44	c |   1731283 |     270     2100     7560 |        1   134093     20 |  0.000 % |
111.39/111.44	c |   1731385 |     270     2100     7560 |        1   134195     20 |  0.000 % |
111.39/111.44	c |   1731995 |     270     2100     7560 |        1   134805     20 |  0.000 % |
111.39/111.44	c |   1733401 |     270     2100     7560 |        1   136211     21 |  0.000 % |
111.39/111.44	c |   1733501 |     270     2100     7560 |        1   136311     21 |  0.000 % |
111.39/111.44	c |   1733603 |     270     2100     7560 |        1   136413     21 |  0.000 % |
111.39/111.44	c |   1733708 |     270     2100     7560 |        1   136518     21 |  0.000 % |
111.39/111.44	c |   1733808 |     270     2100     7560 |        1   136618     21 |  0.000 % |
111.39/111.44	c |   1733910 |     270     2100     7560 |        1   136720     21 |  0.000 % |
124.09/124.15	c |   1734010 |     270     2100     7560 |        1   136820     21 |  0.000 % |
124.09/124.15	c |   1743012 |     270     2100     7560 |        1   145822     21 |  0.000 % |
124.09/124.15	c |   1743113 |     270     2100     7560 |        1   145923     21 |  0.000 % |
124.09/124.15	c |   1753966 |     270     2100     7560 |        1   156776     21 |  0.000 % |
124.09/124.15	c |   1754067 |     270     2100     7560 |        1   156877     21 |  0.000 % |
124.09/124.15	c |   1765438 |     270     2100     7560 |        1   168248     21 |  0.000 % |
124.09/124.15	c |   1767403 |     270     2100     7560 |        1   170213     21 |  0.000 % |
124.09/124.15	c |   1767504 |     270     2100     7560 |        1   170314     21 |  0.000 % |
124.09/124.15	c |   1768542 |     270     2100     7560 |        1   171352     21 |  0.000 % |
124.09/124.15	c |   1768644 |     270     2100     7560 |        1   171454     21 |  0.000 % |
124.09/124.15	c |   1768745 |     270     2100     7560 |        1   171555     21 |  0.000 % |
124.09/124.15	c |   1768845 |     270     2100     7560 |        1   171655     21 |  0.000 % |
124.09/124.15	c |   1768946 |     270     2100     7560 |        1   171756     21 |  0.000 % |
124.09/124.15	c |   1769047 |     270     2100     7560 |        1   171857     21 |  0.000 % |
124.09/124.15	c |   1780853 |     270     2100     7560 |        1   183663     21 |  0.000 % |
124.09/124.15	c |   1780954 |     270     2100     7560 |        1   183764     21 |  0.000 % |
124.09/124.15	c |   1783862 |     270     2100     7560 |        1    94275     19 |  0.000 % |
124.09/124.15	c |   1783962 |     270     2100     7560 |        1    94375     19 |  0.000 % |
124.09/124.15	c |   1784062 |     270     2100     7560 |        1    94475     19 |  0.000 % |
124.09/124.15	c |   1784162 |     270     2100     7560 |        1    94575     19 |  0.000 % |
124.09/124.15	c |   1784262 |     270     2100     7560 |        1    94675     19 |  0.000 % |
124.09/124.15	c |   1784363 |     270     2100     7560 |        1    94776     19 |  0.000 % |
124.09/124.15	c |   1784842 |     270     2100     7560 |        1    95255     19 |  0.000 % |
124.09/124.15	c |   1818715 |     270     2100     7560 |        1   129128     20 |  0.000 % |
124.09/124.15	c |   1818816 |     270     2100     7560 |        1   129229     20 |  0.000 % |
124.09/124.15	c |   1818916 |     270     2100     7560 |        1   129329     20 |  0.000 % |
124.09/124.15	c |   1819018 |     270     2100     7560 |        1   129431     20 |  0.000 % |
124.09/124.15	c |   1820560 |     270     2100     7560 |        1   130973     20 |  0.000 % |
124.09/124.15	c |   1820663 |     270     2100     7560 |        1   131076     20 |  0.000 % |
124.09/124.15	c |   1820874 |     270     2100     7560 |        1   131287     20 |  0.000 % |
124.09/124.15	c |   1821915 |     270     2100     7560 |        1   132328     20 |  0.000 % |
124.09/124.15	c |   1822438 |     270     2100     7560 |        1   132851     20 |  0.000 % |
124.09/124.15	c |   1825298 |     270     2100     7560 |        1   135711     20 |  0.000 % |
124.09/124.15	c |   1825400 |     270     2100     7560 |        1   135813     20 |  0.000 % |
124.09/124.15	c |   1825500 |     270     2100     7560 |        1   135913     20 |  0.000 % |
124.09/124.15	c |   1825601 |     270     2100     7560 |        1   136014     20 |  0.000 % |
124.09/124.15	c |   1825701 |     270     2100     7560 |        1   136114     20 |  0.000 % |
124.09/124.15	c |   1831403 |     270     2100     7560 |        1   141816     20 |  0.000 % |
124.09/124.15	c |   1831504 |     270     2100     7560 |        1   141917     20 |  0.000 % |
124.09/124.15	c |   1831605 |     270     2100     7560 |        1   142018     20 |  0.000 % |
124.09/124.15	c |   1832826 |     270     2100     7560 |        1   143239     20 |  0.000 % |
124.09/124.15	c |   1836253 |     270     2100     7560 |        1   146666     20 |  0.000 % |
124.09/124.15	c |   1862233 |     270     2100     7560 |        1   172646     21 |  0.000 % |
124.09/124.15	c |   1862336 |     270     2100     7560 |        1   172749     21 |  0.000 % |
124.09/124.15	c |   1862723 |     270     2100     7560 |        1   173136     21 |  0.000 % |
124.09/124.15	c |   1864295 |     270     2100     7560 |        1   174708     21 |  0.000 % |
124.09/124.15	c |   1864395 |     270     2100     7560 |        1   174808     21 |  0.000 % |
124.09/124.15	c |   1865481 |     270     2100     7560 |        1   175894     21 |  0.000 % |
124.09/124.15	c |   1865581 |     270     2100     7560 |        1   175994     21 |  0.000 % |
124.09/124.15	c |   1878392 |     270     2100     7560 |        1   188805     21 |  0.000 % |
136.99/137.06	c |   1878493 |     270     2100     7560 |        1   188906     21 |  0.000 % |
136.99/137.06	c |   1881514 |     270     2100     7560 |        1    96923     19 |  0.000 % |
136.99/137.06	c |   1883665 |     270     2100     7560 |        1    99074     19 |  0.000 % |
136.99/137.06	c |   1892058 |     270     2100     7560 |        1   107467     20 |  0.000 % |
136.99/137.06	c |   1892158 |     270     2100     7560 |        1   107567     20 |  0.000 % |
136.99/137.06	c |   1893028 |     270     2100     7560 |        1   108437     20 |  0.000 % |
136.99/137.06	c |   1893328 |     270     2100     7560 |        1   108737     20 |  0.000 % |
136.99/137.06	c |   1893584 |     270     2100     7560 |        1   108993     20 |  0.000 % |
136.99/137.06	c |   1893687 |     270     2100     7560 |        1   109096     20 |  0.000 % |
136.99/137.06	c |   1902113 |     270     2100     7560 |        1   117522     20 |  0.000 % |
136.99/137.06	c |   1902213 |     270     2100     7560 |        1   117622     20 |  0.000 % |
136.99/137.06	c |   1902313 |     270     2100     7560 |        1   117722     20 |  0.000 % |
136.99/137.06	c |   1905269 |     270     2100     7560 |        1   120678     20 |  0.000 % |
136.99/137.06	c |   1906888 |     270     2100     7560 |        1   122297     20 |  0.000 % |
136.99/137.06	c |   1906989 |     270     2100     7560 |        1   122398     20 |  0.000 % |
136.99/137.06	c |   1907091 |     270     2100     7560 |        1   122500     20 |  0.000 % |
136.99/137.06	c |   1907191 |     270     2100     7560 |        1   122600     20 |  0.000 % |
136.99/137.06	c |   1907291 |     270     2100     7560 |        1   122700     20 |  0.000 % |
136.99/137.06	c |   1907392 |     270     2100     7560 |        1   122801     20 |  0.000 % |
136.99/137.06	c |   1907492 |     270     2100     7560 |        1   122901     20 |  0.000 % |
136.99/137.06	c |   1907595 |     270     2100     7560 |        1   123004     20 |  0.000 % |
136.99/137.06	c |   1907695 |     270     2100     7560 |        1   123104     20 |  0.000 % |
136.99/137.06	c |   1907795 |     270     2100     7560 |        1   123204     20 |  0.000 % |
136.99/137.06	c |   1908030 |     270     2100     7560 |        1   123439     20 |  0.000 % |
136.99/137.06	c |   1908131 |     270     2100     7560 |        1   123540     20 |  0.000 % |
136.99/137.06	c |   1914005 |     270     2100     7560 |        1   129414     20 |  0.000 % |
136.99/137.06	c |   1914106 |     270     2100     7560 |        1   129515     20 |  0.000 % |
136.99/137.06	c |   1921802 |     270     2100     7560 |        1   137211     20 |  0.000 % |
136.99/137.06	c |   1921902 |     270     2100     7560 |        1   137311     20 |  0.000 % |
136.99/137.06	c |   1922003 |     270     2100     7560 |        1   137412     20 |  0.000 % |
136.99/137.06	c |   1922104 |     270     2100     7560 |        1   137513     20 |  0.000 % |
136.99/137.06	c |   1929000 |     270     2100     7560 |        1   144409     20 |  0.000 % |
136.99/137.06	c |   1943118 |     270     2100     7560 |        1   158527     20 |  0.000 % |
136.99/137.06	c |   1943219 |     270     2100     7560 |        1   158628     20 |  0.000 % |
136.99/137.06	c |   1943320 |     270     2100     7560 |        1   158729     20 |  0.000 % |
136.99/137.06	c |   1944533 |     270     2100     7560 |        1   159942     20 |  0.000 % |
136.99/137.06	c |   1944633 |     270     2100     7560 |        1   160042     20 |  0.000 % |
136.99/137.06	c |   1944734 |     270     2100     7560 |        1   160143     20 |  0.000 % |
136.99/137.06	c |   1944837 |     270     2100     7560 |        1   160246     21 |  0.000 % |
136.99/137.06	c |   1946531 |     270     2100     7560 |        1   161940     21 |  0.000 % |
136.99/137.06	c |   1951680 |     270     2100     7560 |        1   167089     21 |  0.000 % |
136.99/137.06	c |   1951781 |     270     2100     7560 |        1   167190     21 |  0.000 % |
136.99/137.06	c |   1952129 |     270     2100     7560 |        1   167538     21 |  0.000 % |
136.99/137.06	c |   1978763 |     270     2100     7560 |        1   194172     21 |  0.000 % |
136.99/137.06	c |   1978863 |     270     2100     7560 |        1   194272     21 |  0.000 % |
136.99/137.06	c |   1992810 |     270     2100     7560 |        1   110619     19 |  0.000 % |
136.99/137.06	c |   1992912 |     270     2100     7560 |        1   110721     20 |  0.000 % |
136.99/137.06	c |   2015217 |     270     2100     7560 |        1   133026     20 |  0.000 % |
136.99/137.06	c |   2015319 |     270     2100     7560 |        1   133128     20 |  0.000 % |
136.99/137.06	c |   2015419 |     270     2100     7560 |        1   133228     20 |  0.000 % |
144.29/144.37	c |   2015519 |     270     2100     7560 |        1   133328     20 |  0.000 % |
144.29/144.37	c |   2015885 |     270     2100     7560 |        1   133694     20 |  0.000 % |
144.29/144.37	c |   2015986 |     270     2100     7560 |        1   133795     20 |  0.000 % |
144.29/144.37	c |   2016121 |     270     2100     7560 |        1   133930     20 |  0.000 % |
144.29/144.37	c |   2016221 |     270     2100     7560 |        1   134030     20 |  0.000 % |
144.29/144.37	c |   2016321 |     270     2100     7560 |        1   134130     20 |  0.000 % |
144.29/144.37	c |   2016422 |     270     2100     7560 |        1   134231     20 |  0.000 % |
144.29/144.37	c |   2016522 |     270     2100     7560 |        1   134331     20 |  0.000 % |
144.29/144.37	c |   2016623 |     270     2100     7560 |        1   134432     20 |  0.000 % |
144.29/144.37	c |   2016724 |     270     2100     7560 |        1   134533     20 |  0.000 % |
144.29/144.37	c |   2026408 |     270     2100     7560 |        1   144217     20 |  0.000 % |
144.29/144.37	c |   2026972 |     270     2100     7560 |        1   144781     20 |  0.000 % |
144.29/144.37	c |   2033720 |     270     2100     7560 |        1   151529     20 |  0.000 % |
144.29/144.37	c |   2044160 |     270     2100     7560 |        1   161969     20 |  0.000 % |
144.29/144.37	c |   2050975 |     270     2100     7560 |        1   168784     20 |  0.000 % |
144.29/144.37	c |   2051076 |     270     2100     7560 |        1   168885     20 |  0.000 % |
144.29/144.37	c |   2051177 |     270     2100     7560 |        1   168986     20 |  0.000 % |
144.29/144.37	c |   2051277 |     270     2100     7560 |        1   169086     20 |  0.000 % |
144.29/144.37	c |   2051464 |     270     2100     7560 |        1   169273     20 |  0.000 % |
144.29/144.37	c |   2051565 |     270     2100     7560 |        1   169374     20 |  0.000 % |
144.29/144.37	c |   2051665 |     270     2100     7560 |        1   169474     20 |  0.000 % |
144.29/144.37	c |   2051777 |     270     2100     7560 |        1   169586     20 |  0.000 % |
144.29/144.37	c |   2051877 |     270     2100     7560 |        1   169686     20 |  0.000 % |
144.29/144.37	c |   2052465 |     270     2100     7560 |        1   170274     20 |  0.000 % |
144.29/144.37	c |   2052567 |     270     2100     7560 |        1   170376     20 |  0.000 % |
144.29/144.37	c |   2053510 |     270     2100     7560 |        1   171319     20 |  0.000 % |
144.29/144.37	c |   2053610 |     270     2100     7560 |        1   171419     20 |  0.000 % |
144.29/144.37	c |   2053711 |     270     2100     7560 |        1   171520     20 |  0.000 % |
144.29/144.37	c |   2053811 |     270     2100     7560 |        1   171620     20 |  0.000 % |
144.29/144.37	c |   2055081 |     270     2100     7560 |        1   172890     20 |  0.000 % |
144.29/144.37	c |   2058721 |     270     2100     7560 |        1   176530     20 |  0.000 % |
144.29/144.37	c |   2058827 |     270     2100     7560 |        1   176636     20 |  0.000 % |
144.29/144.37	c |   2059404 |     270     2100     7560 |        1   177213     20 |  0.000 % |
144.29/144.37	c |   2059505 |     270     2100     7560 |        1   177314     20 |  0.000 % |
144.29/144.37	c |   2059803 |     270     2100     7560 |        1   177612     20 |  0.000 % |
144.29/144.37	c |   2063022 |     270     2100     7560 |        1   180831     20 |  0.000 % |
144.29/144.37	c |   2066782 |     270     2100     7560 |        1   184591     20 |  0.000 % |
144.29/144.37	c |   2067033 |     270     2100     7560 |        1   184842     20 |  0.000 % |
144.29/144.37	c |   2068137 |     270     2100     7560 |        1   185946     20 |  0.000 % |
144.29/144.37	c |   2068238 |     270     2100     7560 |        1   186047     20 |  0.000 % |
144.29/144.37	c |   2068338 |     270     2100     7560 |        1   186147     20 |  0.000 % |
144.29/144.37	c |   2079827 |     270     2100     7560 |        1   197636     20 |  0.000 % |
144.29/144.37	c |   2080891 |     270     2100     7560 |        1   198700     20 |  0.000 % |
144.29/144.37	c |   2081742 |     270     2100     7560 |        1   199551     20 |  0.000 % |
144.29/144.37	c |   2082321 |     270     2100     7560 |        1   200130     20 |  0.000 % |
144.29/144.37	c |   2082422 |     270     2100     7560 |        1   200231     20 |  0.000 % |
144.29/144.37	c |   2082523 |     270     2100     7560 |        1   200332     20 |  0.000 % |
144.29/144.37	c |   2082624 |     270     2100     7560 |        1   100229     19 |  0.000 % |
144.29/144.37	c |   2082725 |     270     2100     7560 |        1   100330     19 |  0.000 % |
144.29/144.37	c |   2082825 |     270     2100     7560 |        1   100430     19 |  0.000 % |
150.69/150.79	c |   2082925 |     270     2100     7560 |        1   100530     19 |  0.000 % |
150.69/150.79	c |   2083025 |     270     2100     7560 |        1   100630     19 |  0.000 % |
150.69/150.79	c |   2083129 |     270     2100     7560 |        1   100734     19 |  0.000 % |
150.69/150.79	c |   2083710 |     270     2100     7560 |        1   101315     19 |  0.000 % |
150.69/150.79	c |   2084260 |     270     2100     7560 |        1   101865     19 |  0.000 % |
150.69/150.79	c |   2085614 |     270     2100     7560 |        1   103219     19 |  0.000 % |
150.69/150.79	c |   2085935 |     270     2100     7560 |        1   103540     19 |  0.000 % |
150.69/150.79	c |   2086089 |     270     2100     7560 |        1   103694     19 |  0.000 % |
150.69/150.79	c |   2086192 |     270     2100     7560 |        1   103797     19 |  0.000 % |
150.69/150.79	c |   2090526 |     270     2100     7560 |        1   108131     19 |  0.000 % |
150.69/150.79	c |   2097874 |     270     2100     7560 |        1   115479     19 |  0.000 % |
150.69/150.79	c |   2097978 |     270     2100     7560 |        1   115583     19 |  0.000 % |
150.69/150.79	c |   2099196 |     270     2100     7560 |        1   116801     19 |  0.000 % |
150.69/150.79	c |   2099296 |     270     2100     7560 |        1   116901     19 |  0.000 % |
150.69/150.79	c |   2099397 |     270     2100     7560 |        1   117002     19 |  0.000 % |
150.69/150.79	c |   2099497 |     270     2100     7560 |        1   117102     19 |  0.000 % |
150.69/150.79	c |   2099775 |     270     2100     7560 |        1   117380     19 |  0.000 % |
150.69/150.79	c |   2101262 |     270     2100     7560 |        1   118867     19 |  0.000 % |
150.69/150.79	c |   2101362 |     270     2100     7560 |        1   118967     19 |  0.000 % |
150.69/150.79	c |   2108726 |     270     2100     7560 |        1   126331     20 |  0.000 % |
150.69/150.79	c |   2108827 |     270     2100     7560 |        1   126432     20 |  0.000 % |
150.69/150.79	c |   2116226 |     270     2100     7560 |        1   133831     20 |  0.000 % |
150.69/150.79	c |   2116591 |     270     2100     7560 |        1   134196     20 |  0.000 % |
150.69/150.79	c |   2116692 |     270     2100     7560 |        1   134297     20 |  0.000 % |
150.69/150.79	c |   2116792 |     270     2100     7560 |        1   134397     20 |  0.000 % |
150.69/150.79	c |   2116892 |     270     2100     7560 |        1   134497     20 |  0.000 % |
150.69/150.79	c |   2117321 |     270     2100     7560 |        1   134926     20 |  0.000 % |
150.69/150.79	c |   2117422 |     270     2100     7560 |        1   135027     20 |  0.000 % |
150.69/150.79	c |   2117522 |     270     2100     7560 |        1   135127     20 |  0.000 % |
150.69/150.79	c |   2117803 |     270     2100     7560 |        1   135408     20 |  0.000 % |
150.69/150.79	c |   2118406 |     270     2100     7560 |        1   136011     20 |  0.000 % |
150.69/150.79	c |   2118510 |     270     2100     7560 |        1   136115     20 |  0.000 % |
150.69/150.79	c |   2118610 |     270     2100     7560 |        1   136215     20 |  0.000 % |
150.69/150.79	c |   2120472 |     270     2100     7560 |        1   138077     20 |  0.000 % |
150.69/150.79	c |   2120572 |     270     2100     7560 |        1   138177     20 |  0.000 % |
150.69/150.79	c |   2125744 |     270     2100     7560 |        1   143349     20 |  0.000 % |
150.69/150.79	c |   2127671 |     270     2100     7560 |        1   145276     20 |  0.000 % |
150.69/150.79	c |   2128893 |     270     2100     7560 |        1   146498     20 |  0.000 % |
150.69/150.79	c |   2137447 |     270     2100     7560 |        1   155052     20 |  0.000 % |
150.69/150.79	c |   2137548 |     270     2100     7560 |        1   155153     20 |  0.000 % |
150.69/150.79	c |   2142319 |     270     2100     7560 |        1   159924     20 |  0.000 % |
150.69/150.79	c |   2142434 |     270     2100     7560 |        1   160039     20 |  0.000 % |
150.69/150.79	c |   2144037 |     270     2100     7560 |        1   161642     20 |  0.000 % |
150.69/150.79	c |   2144195 |     270     2100     7560 |        1   161800     20 |  0.000 % |
150.69/150.79	c |   2144667 |     270     2100     7560 |        1   162272     20 |  0.000 % |
150.69/150.79	c |   2144767 |     270     2100     7560 |        1   162372     20 |  0.000 % |
150.69/150.79	c |   2144867 |     270     2100     7560 |        1   162472     20 |  0.000 % |
150.69/150.79	c |   2144968 |     270     2100     7560 |        1   162573     20 |  0.000 % |
150.69/150.79	c |   2151655 |     270     2100     7560 |        1   169260     20 |  0.000 % |
150.69/150.79	c |   2151756 |     270     2100     7560 |        1   169361     20 |  0.000 % |
163.59/163.60	c |   2153507 |     270     2100     7560 |        1   171112     20 |  0.000 % |
163.59/163.60	c |   2153784 |     270     2100     7560 |        1   171389     20 |  0.000 % |
163.59/163.60	c |   2155919 |     270     2100     7560 |        1   173524     20 |  0.000 % |
163.59/163.60	c |   2156020 |     270     2100     7560 |        1   173625     20 |  0.000 % |
163.59/163.60	c |   2163506 |     270     2100     7560 |        1   181111     20 |  0.000 % |
163.59/163.60	c |   2164953 |     270     2100     7560 |        1   182558     20 |  0.000 % |
163.59/163.60	c |   2165056 |     270     2100     7560 |        1   182661     20 |  0.000 % |
163.59/163.60	c |   2165156 |     270     2100     7560 |        1   182761     20 |  0.000 % |
163.59/163.60	c |   2166916 |     270     2100     7560 |        1   184521     20 |  0.000 % |
163.59/163.60	c |   2167016 |     270     2100     7560 |        1   184621     20 |  0.000 % |
163.59/163.60	c |   2170519 |     270     2100     7560 |        1   188124     20 |  0.000 % |
163.59/163.60	c |   2170735 |     270     2100     7560 |        1   188340     21 |  0.000 % |
163.59/163.60	c |   2180148 |     270     2100     7560 |        1   197753     21 |  0.000 % |
163.59/163.60	c |   2180989 |     270     2100     7560 |        1   198594     21 |  0.000 % |
163.59/163.60	c |   2197999 |     270     2100     7560 |        1   112807     19 |  0.000 % |
163.59/163.60	c |   2198100 |     270     2100     7560 |        1   112908     19 |  0.000 % |
163.59/163.60	c |   2198202 |     270     2100     7560 |        1   113010     19 |  0.000 % |
163.59/163.60	c |   2200586 |     270     2100     7560 |        1   115394     19 |  0.000 % |
163.59/163.60	c |   2211567 |     270     2100     7560 |        1   126375     19 |  0.000 % |
163.59/163.60	c |   2216229 |     270     2100     7560 |        1   131037     20 |  0.000 % |
163.59/163.60	c |   2216333 |     270     2100     7560 |        1   131141     20 |  0.000 % |
163.59/163.60	c |   2232594 |     270     2100     7560 |        1   147402     20 |  0.000 % |
163.59/163.60	c |   2232696 |     270     2100     7560 |        1   147504     20 |  0.000 % |
163.59/163.60	c |   2233137 |     270     2100     7560 |        1   147945     20 |  0.000 % |
163.59/163.60	c |   2241329 |     270     2100     7560 |        1   156137     20 |  0.000 % |
163.59/163.60	c |   2241429 |     270     2100     7560 |        1   156237     20 |  0.000 % |
163.59/163.60	c |   2247577 |     270     2100     7560 |        1   162385     20 |  0.000 % |
163.59/163.60	c |   2247679 |     270     2100     7560 |        1   162487     20 |  0.000 % |
163.59/163.60	c |   2247841 |     270     2100     7560 |        1   162649     20 |  0.000 % |
163.59/163.60	c |   2247943 |     270     2100     7560 |        1   162751     20 |  0.000 % |
163.59/163.60	c |   2248045 |     270     2100     7560 |        1   162853     20 |  0.000 % |
163.59/163.60	c |   2248145 |     270     2100     7560 |        1   162953     20 |  0.000 % |
163.59/163.60	c |   2248249 |     270     2100     7560 |        1   163057     20 |  0.000 % |
163.59/163.60	c |   2248351 |     270     2100     7560 |        1   163159     20 |  0.000 % |
163.59/163.60	c |   2248939 |     270     2100     7560 |        1   163747     20 |  0.000 % |
163.59/163.60	c |   2249039 |     270     2100     7560 |        1   163847     20 |  0.000 % |
163.59/163.60	c |   2258711 |     270     2100     7560 |        1   173519     20 |  0.000 % |
163.59/163.60	c |   2265847 |     270     2100     7560 |        1   180655     20 |  0.000 % |
163.59/163.60	c |   2266269 |     270     2100     7560 |        1   181077     20 |  0.000 % |
163.59/163.60	c |   2266752 |     270     2100     7560 |        1   181560     20 |  0.000 % |
163.59/163.60	c |   2266852 |     270     2100     7560 |        1   181660     20 |  0.000 % |
163.59/163.60	c |   2266953 |     270     2100     7560 |        1   181761     20 |  0.000 % |
163.59/163.60	c |   2267053 |     270     2100     7560 |        1   181861     20 |  0.000 % |
163.59/163.60	c |   2267764 |     270     2100     7560 |        1   182572     20 |  0.000 % |
163.59/163.60	c |   2269015 |     270     2100     7560 |        1   183823     20 |  0.000 % |
163.59/163.60	c |   2269284 |     270     2100     7560 |        1   184092     20 |  0.000 % |
163.59/163.60	c |   2269385 |     270     2100     7560 |        1   184193     20 |  0.000 % |
163.59/163.60	c |   2269485 |     270     2100     7560 |        1   184293     20 |  0.000 % |
163.59/163.60	c |   2269585 |     270     2100     7560 |        1   184393     20 |  0.000 % |
163.59/163.60	c |   2269923 |     270     2100     7560 |        1   184731     20 |  0.000 % |
172.49/172.57	c |   2270595 |     270     2100     7560 |        1   185403     20 |  0.000 % |
172.49/172.57	c |   2286934 |     270     2100     7560 |        1   201742     20 |  0.000 % |
172.49/172.57	c |   2287034 |     270     2100     7560 |        1   201842     20 |  0.000 % |
172.49/172.57	c |   2287136 |     270     2100     7560 |        1   201944     20 |  0.000 % |
172.49/172.57	c |   2287315 |     270     2100     7560 |        1   202123     20 |  0.000 % |
172.49/172.57	c |   2287416 |     270     2100     7560 |        1   202224     20 |  0.000 % |
172.49/172.57	c |   2289368 |     270     2100     7560 |        1   204176     20 |  0.000 % |
172.49/172.57	c |   2289470 |     270     2100     7560 |        1   204278     20 |  0.000 % |
172.49/172.57	c |   2290441 |     270     2100     7560 |        1   205249     20 |  0.000 % |
172.49/172.57	c |   2290541 |     270     2100     7560 |        1   205349     20 |  0.000 % |
172.49/172.57	c |   2290642 |     270     2100     7560 |        1   205450     20 |  0.000 % |
172.49/172.57	c |   2290755 |     270     2100     7560 |        1   205563     20 |  0.000 % |
172.49/172.57	c |   2291244 |     270     2100     7560 |        1   206052     20 |  0.000 % |
172.49/172.57	c |   2291345 |     270     2100     7560 |        1   206153     20 |  0.000 % |
172.49/172.57	c |   2291446 |     270     2100     7560 |        1   206254     20 |  0.000 % |
172.49/172.57	c |   2291549 |     270     2100     7560 |        1   206357     20 |  0.000 % |
172.49/172.57	c |   2291649 |     270     2100     7560 |        1   206457     20 |  0.000 % |
172.49/172.57	c |   2303437 |     270     2100     7560 |        1   112842     19 |  0.000 % |
172.49/172.57	c |   2306892 |     270     2100     7560 |        1   116297     19 |  0.000 % |
172.49/172.57	c |   2308098 |     270     2100     7560 |        1   117503     19 |  0.000 % |
172.49/172.57	c |   2313966 |     270     2100     7560 |        1   123371     19 |  0.000 % |
172.49/172.57	c |   2314066 |     270     2100     7560 |        1   123471     19 |  0.000 % |
172.49/172.57	c |   2327669 |     270     2100     7560 |        1   137074     19 |  0.000 % |
172.49/172.57	c |   2330912 |     270     2100     7560 |        1   140317     19 |  0.000 % |
172.49/172.57	c |   2331014 |     270     2100     7560 |        1   140419     19 |  0.000 % |
172.49/172.57	c |   2331114 |     270     2100     7560 |        1   140519     19 |  0.000 % |
172.49/172.57	c |   2331218 |     270     2100     7560 |        1   140623     19 |  0.000 % |
172.49/172.57	c |   2331322 |     270     2100     7560 |        1   140727     19 |  0.000 % |
172.49/172.57	c |   2331424 |     270     2100     7560 |        1   140829     19 |  0.000 % |
172.49/172.57	c |   2331524 |     270     2100     7560 |        1   140929     19 |  0.000 % |
172.49/172.57	c |   2331624 |     270     2100     7560 |        1   141029     19 |  0.000 % |
172.49/172.57	c |   2331725 |     270     2100     7560 |        1   141130     19 |  0.000 % |
172.49/172.57	c |   2331827 |     270     2100     7560 |        1   141232     19 |  0.000 % |
172.49/172.57	c |   2331927 |     270     2100     7560 |        1   141332     19 |  0.000 % |
172.49/172.57	c |   2332027 |     270     2100     7560 |        1   141432     19 |  0.000 % |
172.49/172.57	c |   2332130 |     270     2100     7560 |        1   141535     19 |  0.000 % |
172.49/172.57	c |   2332231 |     270     2100     7560 |        1   141636     19 |  0.000 % |
172.49/172.57	c |   2336945 |     270     2100     7560 |        1   146350     19 |  0.000 % |
172.49/172.57	c |   2337050 |     270     2100     7560 |        1   146455     19 |  0.000 % |
172.49/172.57	c |   2346888 |     270     2100     7560 |        1   156293     19 |  0.000 % |
172.49/172.57	c |   2352039 |     270     2100     7560 |        1   161444     20 |  0.000 % |
172.49/172.57	c |   2352141 |     270     2100     7560 |        1   161546     20 |  0.000 % |
172.49/172.57	c |   2352243 |     270     2100     7560 |        1   161648     20 |  0.000 % |
172.49/172.57	c |   2352343 |     270     2100     7560 |        1   161748     20 |  0.000 % |
172.49/172.57	c |   2352444 |     270     2100     7560 |        1   161849     20 |  0.000 % |
172.49/172.57	c |   2353751 |     270     2100     7560 |        1   163156     20 |  0.000 % |
172.49/172.57	c |   2353851 |     270     2100     7560 |        1   163256     20 |  0.000 % |
172.49/172.57	c |   2353951 |     270     2100     7560 |        1   163356     20 |  0.000 % |
172.49/172.57	c |   2354053 |     270     2100     7560 |        1   163458     20 |  0.000 % |
172.49/172.57	c |   2354154 |     270     2100     7560 |        1   163559     20 |  0.000 % |
177.19/177.26	c |   2354255 |     270     2100     7560 |        1   163660     20 |  0.000 % |
177.19/177.26	c |   2354355 |     270     2100     7560 |        1   163760     20 |  0.000 % |
177.19/177.26	c |   2354456 |     270     2100     7560 |        1   163861     20 |  0.000 % |
177.19/177.26	c |   2354599 |     270     2100     7560 |        1   164004     20 |  0.000 % |
177.19/177.26	c |   2355924 |     270     2100     7560 |        1   165329     20 |  0.000 % |
177.19/177.26	c |   2356025 |     270     2100     7560 |        1   165430     20 |  0.000 % |
177.19/177.26	c |   2363234 |     270     2100     7560 |        1   172639     20 |  0.000 % |
177.19/177.26	c |   2363395 |     270     2100     7560 |        1   172800     20 |  0.000 % |
177.19/177.26	c |   2363495 |     270     2100     7560 |        1   172900     20 |  0.000 % |
177.19/177.26	c |   2363595 |     270     2100     7560 |        1   173000     20 |  0.000 % |
177.19/177.26	c |   2367100 |     270     2100     7560 |        1   176505     20 |  0.000 % |
177.19/177.26	c |   2370950 |     270     2100     7560 |        1   180355     20 |  0.000 % |
177.19/177.26	c |   2371604 |     270     2100     7560 |        1   181009     20 |  0.000 % |
177.19/177.26	c |   2371902 |     270     2100     7560 |        1   181307     20 |  0.000 % |
177.19/177.26	c |   2372003 |     270     2100     7560 |        1   181408     20 |  0.000 % |
177.19/177.26	c |   2372103 |     270     2100     7560 |        1   181508     20 |  0.000 % |
177.19/177.26	c |   2372203 |     270     2100     7560 |        1   181608     20 |  0.000 % |
177.19/177.26	c |   2372304 |     270     2100     7560 |        1   181709     20 |  0.000 % |
177.19/177.26	c |   2372406 |     270     2100     7560 |        1   181811     20 |  0.000 % |
177.19/177.26	c |   2372511 |     270     2100     7560 |        1   181916     20 |  0.000 % |
177.19/177.26	c |   2372612 |     270     2100     7560 |        1   182017     20 |  0.000 % |
177.19/177.26	c |   2372713 |     270     2100     7560 |        1   182118     20 |  0.000 % |
177.19/177.26	c |   2372813 |     270     2100     7560 |        1   182218     20 |  0.000 % |
177.19/177.26	c |   2372913 |     270     2100     7560 |        1   182318     20 |  0.000 % |
177.19/177.26	c |   2373018 |     270     2100     7560 |        1   182423     20 |  0.000 % |
177.19/177.26	c |   2373119 |     270     2100     7560 |        1   182524     20 |  0.000 % |
177.19/177.26	c |   2373219 |     270     2100     7560 |        1   182624     20 |  0.000 % |
177.19/177.26	c |   2373319 |     270     2100     7560 |        1   182724     20 |  0.000 % |
177.19/177.26	c |   2373451 |     270     2100     7560 |        1   182856     20 |  0.000 % |
177.19/177.26	c |   2373581 |     270     2100     7560 |        1   182986     20 |  0.000 % |
177.19/177.26	c |   2374218 |     270     2100     7560 |        1   183623     20 |  0.000 % |
177.19/177.26	c |   2374427 |     270     2100     7560 |        1   183832     20 |  0.000 % |
177.19/177.26	c |   2374727 |     270     2100     7560 |        1   184132     20 |  0.000 % |
177.19/177.26	c |   2376738 |     270     2100     7560 |        1   186143     20 |  0.000 % |
177.19/177.26	c |   2376838 |     270     2100     7560 |        1   186243     20 |  0.000 % |
177.19/177.26	c |   2376938 |     270     2100     7560 |        1   186343     20 |  0.000 % |
177.19/177.26	c |   2377039 |     270     2100     7560 |        1   186444     20 |  0.000 % |
177.19/177.26	c |   2377140 |     270     2100     7560 |        1   186545     20 |  0.000 % |
177.19/177.26	c |   2378082 |     270     2100     7560 |        1   187487     20 |  0.000 % |
177.19/177.26	c |   2382743 |     270     2100     7560 |        1   192148     20 |  0.000 % |
177.19/177.26	c |   2385166 |     270     2100     7560 |        1   194571     20 |  0.000 % |
177.19/177.26	c |   2385267 |     270     2100     7560 |        1   194672     20 |  0.000 % |
177.19/177.26	c |   2385368 |     270     2100     7560 |        1   194773     20 |  0.000 % |
177.19/177.26	c |   2388203 |     270     2100     7560 |        1   197608     20 |  0.000 % |
177.19/177.26	c |   2388306 |     270     2100     7560 |        1   197711     20 |  0.000 % |
177.19/177.26	c |   2388406 |     270     2100     7560 |        1   197811     20 |  0.000 % |
177.19/177.26	c |   2388506 |     270     2100     7560 |        1   197911     20 |  0.000 % |
177.19/177.26	c |   2388607 |     270     2100     7560 |        1   198012     20 |  0.000 % |
177.19/177.26	c |   2388708 |     270     2100     7560 |        1   198113     20 |  0.000 % |
177.19/177.26	c |   2391243 |     270     2100     7560 |        1   200648     20 |  0.000 % |
188.99/189.04	c |   2392825 |     270     2100     7560 |        1   202230     20 |  0.000 % |
188.99/189.04	c |   2392925 |     270     2100     7560 |        1   202330     20 |  0.000 % |
188.99/189.04	c |   2393027 |     270     2100     7560 |        1   202432     20 |  0.000 % |
188.99/189.04	c |   2400059 |     270     2100     7560 |        1   209464     20 |  0.000 % |
188.99/189.04	c |   2404705 |     270     2100     7560 |        1   214110     20 |  0.000 % |
188.99/189.04	c |   2405429 |     270     2100     7560 |        1   214834     20 |  0.000 % |
188.99/189.04	c |   2405870 |     270     2100     7560 |        1   215275     20 |  0.000 % |
188.99/189.04	c |   2405970 |     270     2100     7560 |        1   215375     20 |  0.000 % |
188.99/189.04	c |   2407307 |     270     2100     7560 |        1   108718     18 |  0.000 % |
188.99/189.04	c |   2407590 |     270     2100     7560 |        1   109001     18 |  0.000 % |
188.99/189.04	c |   2407777 |     270     2100     7560 |        1   109188     19 |  0.000 % |
188.99/189.04	c |   2407878 |     270     2100     7560 |        1   109289     19 |  0.000 % |
188.99/189.04	c |   2407980 |     270     2100     7560 |        1   109391     19 |  0.000 % |
188.99/189.04	c |   2408280 |     270     2100     7560 |        1   109691     19 |  0.000 % |
188.99/189.04	c |   2408460 |     270     2100     7560 |        1   109871     19 |  0.000 % |
188.99/189.04	c |   2409929 |     270     2100     7560 |        1   111340     19 |  0.000 % |
188.99/189.04	c |   2428854 |     270     2100     7560 |        1   130265     19 |  0.000 % |
188.99/189.04	c |   2429042 |     270     2100     7560 |        1   130453     19 |  0.000 % |
188.99/189.04	c |   2429394 |     270     2100     7560 |        1   130805     19 |  0.000 % |
188.99/189.04	c |   2429494 |     270     2100     7560 |        1   130905     19 |  0.000 % |
188.99/189.04	c |   2430399 |     270     2100     7560 |        1   131810     19 |  0.000 % |
188.99/189.04	c |   2431837 |     270     2100     7560 |        1   133248     19 |  0.000 % |
188.99/189.04	c |   2431937 |     270     2100     7560 |        1   133348     19 |  0.000 % |
188.99/189.04	c |   2432038 |     270     2100     7560 |        1   133449     19 |  0.000 % |
188.99/189.04	c |   2447747 |     270     2100     7560 |        1   149158     19 |  0.000 % |
188.99/189.04	c |   2453581 |     270     2100     7560 |        1   154992     19 |  0.000 % |
188.99/189.04	c |   2458157 |     270     2100     7560 |        1   159568     19 |  0.000 % |
188.99/189.04	c |   2458257 |     270     2100     7560 |        1   159668     19 |  0.000 % |
188.99/189.04	c |   2462546 |     270     2100     7560 |        1   163957     19 |  0.000 % |
188.99/189.04	c |   2462647 |     270     2100     7560 |        1   164058     19 |  0.000 % |
188.99/189.04	c |   2462747 |     270     2100     7560 |        1   164158     19 |  0.000 % |
188.99/189.04	c |   2462847 |     270     2100     7560 |        1   164258     19 |  0.000 % |
188.99/189.04	c |   2462950 |     270     2100     7560 |        1   164361     19 |  0.000 % |
188.99/189.04	c |   2464493 |     270     2100     7560 |        1   165904     19 |  0.000 % |
188.99/189.04	c |   2464899 |     270     2100     7560 |        1   166310     19 |  0.000 % |
188.99/189.04	c |   2465001 |     270     2100     7560 |        1   166412     19 |  0.000 % |
188.99/189.04	c |   2465104 |     270     2100     7560 |        1   166515     19 |  0.000 % |
188.99/189.04	c |   2486759 |     270     2100     7560 |        1   188170     19 |  0.000 % |
188.99/189.04	c |   2486861 |     270     2100     7560 |        1   188272     19 |  0.000 % |
188.99/189.04	c |   2486961 |     270     2100     7560 |        1   188372     19 |  0.000 % |
188.99/189.04	c |   2487061 |     270     2100     7560 |        1   188472     19 |  0.000 % |
188.99/189.04	c |   2487628 |     270     2100     7560 |        1   189039     19 |  0.000 % |
188.99/189.04	c |   2487728 |     270     2100     7560 |        1   189139     19 |  0.000 % |
188.99/189.04	c |   2487828 |     270     2100     7560 |        1   189239     19 |  0.000 % |
188.99/189.04	c |   2491141 |     270     2100     7560 |        1   192552     19 |  0.000 % |
188.99/189.04	c |   2491241 |     270     2100     7560 |        1   192652     19 |  0.000 % |
188.99/189.04	c |   2493350 |     270     2100     7560 |        1   194761     19 |  0.000 % |
188.99/189.04	c |   2493452 |     270     2100     7560 |        1   194863     19 |  0.000 % |
188.99/189.04	c |   2500308 |     270     2100     7560 |        1   201719     20 |  0.000 % |
188.99/189.04	c |   2500411 |     270     2100     7560 |        1   201822     20 |  0.000 % |
198.79/198.83	c |   2500511 |     270     2100     7560 |        1   201922     20 |  0.000 % |
198.79/198.83	c |   2503439 |     270     2100     7560 |        1   204850     20 |  0.000 % |
198.79/198.83	c |   2503575 |     270     2100     7560 |        1   204986     20 |  0.000 % |
198.79/198.83	c |   2503677 |     270     2100     7560 |        1   205088     20 |  0.000 % |
198.79/198.83	c |   2508970 |     270     2100     7560 |        1   210381     20 |  0.000 % |
198.79/198.83	c |   2512271 |     270     2100     7560 |        1   213682     20 |  0.000 % |
198.79/198.83	c |   2514452 |     270     2100     7560 |        1   215863     20 |  0.000 % |
198.79/198.83	c |   2514955 |     270     2100     7560 |        1   216366     20 |  0.000 % |
198.79/198.83	c |   2515055 |     270     2100     7560 |        1   216466     20 |  0.000 % |
198.79/198.83	c |   2518088 |     270     2100     7560 |        1   219499     20 |  0.000 % |
198.79/198.83	c |   2518189 |     270     2100     7560 |        1   219600     20 |  0.000 % |
198.79/198.83	c |   2519442 |     270     2100     7560 |        1   220853     20 |  0.000 % |
198.79/198.83	c |   2521205 |     270     2100     7560 |        1   112017     18 |  0.000 % |
198.79/198.83	c |   2521305 |     270     2100     7560 |        1   112117     18 |  0.000 % |
198.79/198.83	c |   2521408 |     270     2100     7560 |        1   112220     18 |  0.000 % |
198.79/198.83	c |   2522972 |     270     2100     7560 |        1   113784     18 |  0.000 % |
198.79/198.83	c |   2523073 |     270     2100     7560 |        1   113885     18 |  0.000 % |
198.79/198.83	c |   2523416 |     270     2100     7560 |        1   114228     18 |  0.000 % |
198.79/198.83	c |   2523519 |     270     2100     7560 |        1   114331     18 |  0.000 % |
198.79/198.83	c |   2524149 |     270     2100     7560 |        1   114961     18 |  0.000 % |
198.79/198.83	c |   2524264 |     270     2100     7560 |        1   115076     18 |  0.000 % |
198.79/198.83	c |   2524364 |     270     2100     7560 |        1   115176     18 |  0.000 % |
198.79/198.83	c |   2524467 |     270     2100     7560 |        1   115279     18 |  0.000 % |
198.79/198.83	c |   2525901 |     270     2100     7560 |        1   116713     18 |  0.000 % |
198.79/198.83	c |   2526003 |     270     2100     7560 |        1   116815     18 |  0.000 % |
198.79/198.83	c |   2529863 |     270     2100     7560 |        1   120675     19 |  0.000 % |
198.79/198.83	c |   2529963 |     270     2100     7560 |        1   120775     19 |  0.000 % |
198.79/198.83	c |   2532188 |     270     2100     7560 |        1   123000     19 |  0.000 % |
198.79/198.83	c |   2537828 |     270     2100     7560 |        1   128640     19 |  0.000 % |
198.79/198.83	c |   2537929 |     270     2100     7560 |        1   128741     19 |  0.000 % |
198.79/198.83	c |   2538029 |     270     2100     7560 |        1   128841     19 |  0.000 % |
198.79/198.83	c |   2538130 |     270     2100     7560 |        1   128942     19 |  0.000 % |
198.79/198.83	c |   2538234 |     270     2100     7560 |        1   129046     19 |  0.000 % |
198.79/198.83	c |   2538334 |     270     2100     7560 |        1   129146     19 |  0.000 % |
198.79/198.83	c |   2541961 |     270     2100     7560 |        1   132773     19 |  0.000 % |
198.79/198.83	c |   2544225 |     270     2100     7560 |        1   135037     19 |  0.000 % |
198.79/198.83	c |   2545740 |     270     2100     7560 |        1   136552     19 |  0.000 % |
198.79/198.83	c |   2556345 |     270     2100     7560 |        1   147157     19 |  0.000 % |
198.79/198.83	c |   2556447 |     270     2100     7560 |        1   147259     19 |  0.000 % |
198.79/198.83	c |   2556552 |     270     2100     7560 |        1   147364     19 |  0.000 % |
198.79/198.83	c |   2556653 |     270     2100     7560 |        1   147465     19 |  0.000 % |
198.79/198.83	c |   2556753 |     270     2100     7560 |        1   147565     19 |  0.000 % |
198.79/198.83	c |   2570011 |     270     2100     7560 |        1   160823     19 |  0.000 % |
198.79/198.83	c |   2570112 |     270     2100     7560 |        1   160924     19 |  0.000 % |
198.79/198.83	c |   2570212 |     270     2100     7560 |        1   161024     19 |  0.000 % |
198.79/198.83	c |   2570312 |     270     2100     7560 |        1   161124     19 |  0.000 % |
198.79/198.83	c |   2572969 |     270     2100     7560 |        1   163781     19 |  0.000 % |
198.79/198.83	c |   2581494 |     270     2100     7560 |        1   172306     19 |  0.000 % |
198.79/198.83	c |   2581594 |     270     2100     7560 |        1   172406     19 |  0.000 % |
198.79/198.83	c |   2581695 |     270     2100     7560 |        1   172507     19 |  0.000 % |
209.19/209.23	c |   2581795 |     270     2100     7560 |        1   172607     19 |  0.000 % |
209.19/209.23	c |   2581915 |     270     2100     7560 |        1   172727     19 |  0.000 % |
209.19/209.23	c |   2585342 |     270     2100     7560 |        1   176154     20 |  0.000 % |
209.19/209.23	c |   2585442 |     270     2100     7560 |        1   176254     20 |  0.000 % |
209.19/209.23	c |   2585543 |     270     2100     7560 |        1   176355     20 |  0.000 % |
209.19/209.23	c |   2586051 |     270     2100     7560 |        1   176863     20 |  0.000 % |
209.19/209.23	c |   2586529 |     270     2100     7560 |        1   177341     20 |  0.000 % |
209.19/209.23	c |   2586632 |     270     2100     7560 |        1   177444     20 |  0.000 % |
209.19/209.23	c |   2586885 |     270     2100     7560 |        1   177697     20 |  0.000 % |
209.19/209.23	c |   2590828 |     270     2100     7560 |        1   181640     20 |  0.000 % |
209.19/209.23	c |   2595536 |     270     2100     7560 |        1   186348     20 |  0.000 % |
209.19/209.23	c |   2595781 |     270     2100     7560 |        1   186593     20 |  0.000 % |
209.19/209.23	c |   2595881 |     270     2100     7560 |        1   186693     20 |  0.000 % |
209.19/209.23	c |   2596132 |     270     2100     7560 |        1   186944     20 |  0.000 % |
209.19/209.23	c |   2599705 |     270     2100     7560 |        1   190517     20 |  0.000 % |
209.19/209.23	c |   2606974 |     270     2100     7560 |        1   197786     20 |  0.000 % |
209.19/209.23	c |   2607074 |     270     2100     7560 |        1   197886     20 |  0.000 % |
209.19/209.23	c |   2607178 |     270     2100     7560 |        1   197990     20 |  0.000 % |
209.19/209.23	c |   2607299 |     270     2100     7560 |        1   198111     20 |  0.000 % |
209.19/209.23	c |   2607401 |     270     2100     7560 |        1   198213     20 |  0.000 % |
209.19/209.23	c |   2607665 |     270     2100     7560 |        1   198477     20 |  0.000 % |
209.19/209.23	c |   2607766 |     270     2100     7560 |        1   198578     20 |  0.000 % |
209.19/209.23	c |   2607867 |     270     2100     7560 |        1   198679     20 |  0.000 % |
209.19/209.23	c |   2607972 |     270     2100     7560 |        1   198784     20 |  0.000 % |
209.19/209.23	c |   2608072 |     270     2100     7560 |        1   198884     20 |  0.000 % |
209.19/209.23	c |   2613960 |     270     2100     7560 |        1   204772     20 |  0.000 % |
209.19/209.23	c |   2615971 |     270     2100     7560 |        1   206783     20 |  0.000 % |
209.19/209.23	c |   2616078 |     270     2100     7560 |        1   206890     20 |  0.000 % |
209.19/209.23	c |   2621651 |     270     2100     7560 |        1   212463     20 |  0.000 % |
209.19/209.23	c |   2622006 |     270     2100     7560 |        1   212818     20 |  0.000 % |
209.19/209.23	c |   2622107 |     270     2100     7560 |        1   212919     20 |  0.000 % |
209.19/209.23	c |   2623473 |     270     2100     7560 |        1   214285     20 |  0.000 % |
209.19/209.23	c |   2627173 |     270     2100     7560 |        1   217985     20 |  0.000 % |
209.19/209.23	c |   2629120 |     270     2100     7560 |        1   219932     20 |  0.000 % |
209.19/209.23	c |   2629223 |     270     2100     7560 |        1   220035     20 |  0.000 % |
209.19/209.23	c |   2629323 |     270     2100     7560 |        1   220135     20 |  0.000 % |
209.19/209.23	c |   2629851 |     270     2100     7560 |        1   220663     20 |  0.000 % |
209.19/209.23	c |   2629952 |     270     2100     7560 |        1   220764     20 |  0.000 % |
209.19/209.23	c |   2640666 |     270     2100     7560 |        1   118280     18 |  0.000 % |
209.19/209.23	c |   2641694 |     270     2100     7560 |        1   119308     18 |  0.000 % |
209.19/209.23	c |   2641799 |     270     2100     7560 |        1   119413     18 |  0.000 % |
209.19/209.23	c |   2643059 |     270     2100     7560 |        1   120673     18 |  0.000 % |
209.19/209.23	c |   2646609 |     270     2100     7560 |        1   124223     18 |  0.000 % |
209.19/209.23	c |   2646709 |     270     2100     7560 |        1   124323     18 |  0.000 % |
209.19/209.23	c |   2649671 |     270     2100     7560 |        1   127285     18 |  0.000 % |
209.19/209.23	c |   2656389 |     270     2100     7560 |        1   134003     18 |  0.000 % |
209.19/209.23	c |   2656490 |     270     2100     7560 |        1   134104     18 |  0.000 % |
209.19/209.23	c |   2658487 |     270     2100     7560 |        1   136101     18 |  0.000 % |
209.19/209.23	c |   2658587 |     270     2100     7560 |        1   136201     18 |  0.000 % |
209.19/209.23	c |   2658687 |     270     2100     7560 |        1   136301     18 |  0.000 % |
220.49/220.59	c |   2660955 |     270     2100     7560 |        1   138569     18 |  0.000 % |
220.49/220.59	c |   2661055 |     270     2100     7560 |        1   138669     18 |  0.000 % |
220.49/220.59	c |   2661298 |     270     2100     7560 |        1   138912     18 |  0.000 % |
220.49/220.59	c |   2661429 |     270     2100     7560 |        1   139043     18 |  0.000 % |
220.49/220.59	c |   2662188 |     270     2100     7560 |        1   139802     18 |  0.000 % |
220.49/220.59	c |   2669458 |     270     2100     7560 |        1   147072     18 |  0.000 % |
220.49/220.59	c |   2670369 |     270     2100     7560 |        1   147983     19 |  0.000 % |
220.49/220.59	c |   2684413 |     270     2100     7560 |        1   162027     19 |  0.000 % |
220.49/220.59	c |   2688159 |     269     2098     7540 |        1   158065     19 |  0.370 % |
220.49/220.59	c |   2709711 |     267     2098     7540 |        1   179615     19 |  1.111 % |
220.49/220.59	c |   2711016 |     267     2098     7540 |        1   180920     19 |  1.111 % |
220.49/220.59	c |   2711116 |     267     2098     7540 |        1   181020     19 |  1.111 % |
220.49/220.59	c |   2715702 |     267     2098     7540 |        1   185606     19 |  1.111 % |
220.49/220.59	c |   2717200 |     267     2098     7540 |        1   187104     19 |  1.111 % |
220.49/220.59	c |   2717300 |     267     2098     7540 |        1   187204     19 |  1.111 % |
220.49/220.59	c |   2717405 |     267     2098     7540 |        1   187309     19 |  1.111 % |
220.49/220.59	c |   2718812 |     267     2098     7540 |        1   188716     19 |  1.111 % |
220.49/220.59	c |   2718914 |     267     2098     7540 |        1   188818     19 |  1.111 % |
220.49/220.59	c |   2719041 |     267     2098     7540 |        1   188945     19 |  1.111 % |
220.49/220.59	c |   2719142 |     267     2098     7540 |        1   189046     19 |  1.111 % |
220.49/220.59	c |   2719242 |     267     2098     7540 |        1   189146     19 |  1.111 % |
220.49/220.59	c |   2719343 |     267     2098     7540 |        1   189247     19 |  1.111 % |
220.49/220.59	c |   2719444 |     267     2098     7540 |        1   189348     19 |  1.111 % |
220.49/220.59	c |   2721342 |     267     2098     7540 |        1   191246     19 |  1.111 % |
220.49/220.59	c |   2721442 |     267     2098     7540 |        1   191346     19 |  1.111 % |
220.49/220.59	c |   2723856 |     267     2098     7540 |        1   193760     19 |  1.111 % |
220.49/220.59	c |   2723957 |     267     2098     7540 |        1   193861     19 |  1.111 % |
220.49/220.59	c |   2724057 |     267     2098     7540 |        1   193961     19 |  1.111 % |
220.49/220.59	c |   2724160 |     267     2098     7540 |        1   194064     19 |  1.111 % |
220.49/220.59	c |   2729166 |     267     2098     7540 |        1   199070     19 |  1.111 % |
220.49/220.59	c |   2733476 |     267     2098     7540 |        1   203380     19 |  1.111 % |
220.49/220.59	c |   2733576 |     267     2098     7540 |        1   203480     19 |  1.111 % |
220.49/220.59	c |   2733676 |     267     2098     7540 |        1   203580     19 |  1.111 % |
220.49/220.59	c |   2734769 |     267     2098     7540 |        1   204673     19 |  1.111 % |
220.49/220.59	c |   2744772 |     185     2098     7540 |        1   214669     19 | 31.481 % |
220.49/220.59	c ===============================================================================
220.49/220.59	c restarts              : 1223
220.49/220.59	c nb ReduceDB           : 44
220.49/220.59	c nb removed Clauses    : 2522386
220.49/220.59	c nb learnts DL2        : 123
220.49/220.59	c nb learnts size 2     : 94
220.49/220.59	c nb learnts size 1     : 9
220.49/220.59	c conflicts             : 2744772        (12445 /sec)
220.49/220.59	c decisions             : 3255814        (0.00 % random) (14762 /sec)
220.49/220.59	c propagations          : 40151028       (182052 /sec)
220.49/220.59	c conflict literals     : 62891083       (36.95 % deleted)
220.49/220.59	c nb reduced Clauses    : 12176
220.49/220.59	c CPU time              : 220.547 s
220.49/220.59	
220.49/220.59	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3292760-1303780938/watcher-3292760-1303780938 -o /tmp/evaluation-result-3292760-1303780938/solver-3292760-1303780938 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3292760-1303780938.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.04 3.99 3.77 5/192 25222
/proc/meminfo: memFree=27425016/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0

[startup+0.0949271 s]
/proc/loadavg: 4.04 3.99 3.77 5/192 25222
/proc/meminfo: memFree=27425016/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100921 s]
/proc/loadavg: 4.04 3.99 3.77 5/192 25222
/proc/meminfo: memFree=27425016/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300889 s]
/proc/loadavg: 4.04 3.99 3.77 5/192 25222
/proc/meminfo: memFree=27425016/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700813 s]
/proc/loadavg: 4.04 3.99 3.77 5/192 25222
/proc/meminfo: memFree=27425016/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50066 s]
/proc/loadavg: 4.04 3.99 3.77 5/194 25225
/proc/meminfo: memFree=27417808/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=23804 CPUtime=1.49 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 2667 0 0 0 149 0 0 0 25 0 1 0 489693483 24375296 2150 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 5951 2150 248 17 0 2592 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32508

[startup+3.10035 s]
/proc/loadavg: 4.03 3.99 3.77 5/194 25225
/proc/meminfo: memFree=27414460/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=26480 CPUtime=3.09 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 3680 0 0 0 309 0 0 0 25 0 1 0 489693483 27115520 3125 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 6620 3125 248 17 0 3261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35184

[startup+6.30075 s]
/proc/loadavg: 4.03 3.99 3.77 5/194 25226
/proc/meminfo: memFree=27375180/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=29796 CPUtime=6.29 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 4653 0 0 0 629 0 0 0 25 0 1 0 489693483 30511104 4049 33554432000 4194304 4260849 140734202303200 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 7449 4049 248 17 0 4090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38500

[startup+12.7005 s]
/proc/loadavg: 4.03 3.99 3.77 5/194 25226
/proc/meminfo: memFree=27357576/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=46148 CPUtime=12.69 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 9715 0 0 0 1268 1 0 0 25 0 1 0 489693483 47255552 5463 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 11537 5463 248 17 0 8178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54852

[startup+25.5011 s]
/proc/loadavg: 4.02 3.99 3.77 5/194 25226
/proc/meminfo: memFree=27374708/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=46148 CPUtime=25.49 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 12164 0 0 0 2548 1 0 0 25 0 1 0 489693483 47255552 7841 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 11537 7841 248 17 0 8178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54852

[startup+51.1002 s]
/proc/loadavg: 4.01 3.99 3.78 5/194 25227
/proc/meminfo: memFree=27333468/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=69432 CPUtime=51.09 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 16963 0 0 0 5107 2 0 0 25 0 1 0 489693483 71098368 9636 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 17358 9636 248 17 0 13999 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 78136

[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.79 5/194 25289
/proc/meminfo: memFree=27546448/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=69432 CPUtime=102.29 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 20950 0 0 0 10226 3 0 0 25 0 1 0 489693483 71098368 13453 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 17358 13453 248 17 0 13999 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 78136

[startup+162.301 s]
/proc/loadavg: 4.07 4.00 3.80 5/194 25291
/proc/meminfo: memFree=27483876/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=69432 CPUtime=162.29 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 26239 0 0 0 16225 4 0 0 25 0 1 0 489693483 71098368 13969 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 17358 13969 248 17 0 13999 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78136

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

[startup+179.101 s]
/proc/loadavg: 4.06 4.00 3.81 5/190 25313
/proc/meminfo: memFree=28037604/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=179.09 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28622 0 0 0 17905 4 0 0 25 0 1 0 489693483 91865088 16340 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16340 248 17 0 19069 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 98416

[startup+204.701 s]
/proc/loadavg: 4.04 4.00 3.81 5/194 25353
/proc/meminfo: memFree=28008944/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=204.69 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28663 0 0 0 20465 4 0 0 25 0 1 0 489693483 91865088 16378 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16378 248 17 0 19069 0
Current children cumulated CPU time (s) 204.69
Current children cumulated vsize (KiB) 98416

[startup+211.101 s]
/proc/loadavg: 4.03 4.00 3.81 5/194 25353
/proc/meminfo: memFree=28008556/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=211.09 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 21105 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4227335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (KiB) 98416

[startup+217.5 s]
/proc/loadavg: 4.03 4.00 3.82 5/194 25353
/proc/meminfo: memFree=28007928/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=217.49 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 21745 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4237766 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 217.49
Current children cumulated vsize (KiB) 98416

[startup+219.1 s]
/proc/loadavg: 4.03 4.00 3.82 5/194 25353
/proc/meminfo: memFree=28007796/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=219.09 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 21905 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (KiB) 98416

[startup+219.901 s]
/proc/loadavg: 4.03 4.00 3.82 5/194 25353
/proc/meminfo: memFree=28007796/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=219.9 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 21986 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 219.9
Current children cumulated vsize (KiB) 98416

[startup+220.301 s]
/proc/loadavg: 4.03 4.00 3.82 5/194 25353
/proc/meminfo: memFree=28007796/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=220.29 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 22025 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 98416

[startup+220.501 s]
/proc/loadavg: 4.03 4.00 3.82 5/194 25353
/proc/meminfo: memFree=28007796/32950928 swapFree=67111364/67111528
[pid=25222] ppid=25220 vsize=8704 CPUtime=0 cores=1,3
/proc/25222/stat : 25222 (glucose.sh) S 25220 25222 24832 0 -1 4202496 359 205 0 0 0 0 0 0 25 0 1 0 489693482 8912896 254 33554432000 4194304 4922060 140734279745808 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25222/statm: 2176 254 211 178 0 69 0
[pid=25224] ppid=25222 vsize=89712 CPUtime=220.49 cores=1,3
/proc/25224/stat : 25224 (glucose_static) R 25222 25222 24832 0 -1 4202496 28819 0 0 0 22045 4 0 0 25 0 1 0 489693483 91865088 16523 33554432000 4194304 4260849 140734202303200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25224/statm: 22428 16523 248 17 0 19069 0
Current children cumulated CPU time (s) 220.49
Current children cumulated vsize (KiB) 98416

Child status: 20
Real time (s): 220.597
CPU time (s): 220.605
CPU user time (s): 220.553
CPU system time (s): 0.051992
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 108488

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

runsolver used 0.367944 second user time and 0.845871 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-26 03:22:18
IDJOB=3292760
IDBENCH=87935
IDSOLVER=1651
FILE ID=node127/3292760-1303780938
RUNJOBID= node127-1303779629-24852
PBS_JOBID= 13157213
Free space on /tmp= 71068 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT02/industrial/aloul/Homer/homer14.shuffled.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292760-1303780938/watcher-3292760-1303780938 -o /tmp/evaluation-result-3292760-1303780938/solver-3292760-1303780938 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3292760-1303780938.cnf 

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

MD5SUM BENCH= 1d9569aa70fee033c68469753053c259
RANDOM SEED=1813207813

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27425412 kB
Buffers:       1256552 kB
Cached:        3015880 kB
SwapCached:          0 kB
Active:        1499724 kB
Inactive:      3556488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27425412 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           44992 kB
Writeback:          56 kB
AnonPages:      783696 kB
Mapped:          15316 kB
Slab:           401328 kB
PageTables:       6924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1077812 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= 71184 MiB
End job on node127 at 2011-04-26 03:25:59