Trace number 3280570

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 400.521 400.517

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.887
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

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 |   10580    27785 |    3173       0        0     nan |  0.000 % |
0.00/0.03	c |         0 |    7470    25292 |      --       0       --      -- |     --   | -3110/-2493
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1304   #clauses: 7470   #literals: 25292
0.00/0.03	c CPU time:   0.027995 s
0.00/0.03	c ==============================================================================
0.00/0.03	c
0.00/0.03	c Starting glucose
0.00/0.03	c
2.49/2.50	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
2.49/2.50	c WARNING: for repeatability, setting FPU to use double precision
2.49/2.50	c ============================[ Problem Statistics ]=============================
2.49/2.50	c |                                                                             |
2.49/2.50	c |  Number of variables:          1304                                         |
2.49/2.50	c |  Number of clauses:            7470                                         |
2.49/2.50	c |  Parse time:                   0.00 s                                       |
2.49/2.50	c |                                                                             |
2.49/2.50	c ============================[ Search Statistics ]==============================
2.49/2.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.50	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.49/2.50	c ===============================================================================
2.49/2.50	c |     35311 |    1304     7470    25292 |        1    12998     16 |  0.000 % |
2.49/2.50	c |     35412 |    1304     7470    25292 |        1    13099     16 |  0.000 % |
2.49/2.50	c |     37070 |    1304     7470    25292 |        1    14757     19 |  0.000 % |
2.49/2.50	c |     37171 |    1304     7470    25292 |        1    14858     19 |  0.000 % |
2.49/2.50	c |     37271 |    1304     7470    25292 |        1    14958     19 |  0.000 % |
2.49/2.50	c |     40699 |    1304     7470    25292 |        1    18386     19 |  0.000 % |
2.49/2.50	c |     41237 |    1304     7470    25292 |        1    18924     20 |  0.000 % |
2.49/2.50	c |     41337 |    1304     7470    25292 |        1    19024     20 |  0.000 % |
2.49/2.50	c |     43594 |    1304     7470    25292 |        1    21281     20 |  0.000 % |
2.49/2.50	c |     43779 |    1304     7470    25292 |        1    21466     21 |  0.000 % |
2.49/2.50	c |     45110 |    1304     7470    25292 |        1    22797     22 |  0.000 % |
2.49/2.50	c |     45210 |    1304     7470    25292 |        1    22897     23 |  0.000 % |
2.49/2.50	c |     46054 |    1304     7470    25292 |        1    11907     14 |  0.000 % |
2.49/2.50	c |     46171 |    1304     7470    25292 |        1    12024     14 |  0.000 % |
2.49/2.50	c |     47050 |    1304     7470    25292 |        1    12903     17 |  0.000 % |
2.49/2.50	c |     47151 |    1304     7470    25292 |        1    13004     17 |  0.000 % |
2.49/2.50	c |     47351 |    1304     7470    25292 |        1    13204     17 |  0.000 % |
2.49/2.50	c |     47452 |    1304     7470    25292 |        1    13305     17 |  0.000 % |
2.49/2.50	c |     47552 |    1304     7470    25292 |        1    13405     18 |  0.000 % |
2.49/2.50	c |     48075 |    1304     7470    25292 |        1    13928     18 |  0.000 % |
2.49/2.50	c |     48175 |    1304     7470    25292 |        1    14028     19 |  0.000 % |
2.49/2.50	c |     48399 |    1304     7470    25292 |        1    14252     19 |  0.000 % |
2.49/2.50	c |     48500 |    1304     7470    25292 |        1    14353     19 |  0.000 % |
2.49/2.50	c |     48600 |    1304     7470    25292 |        1    14453     19 |  0.000 % |
2.49/2.50	c |     48700 |    1304     7470    25292 |        1    14553     19 |  0.000 % |
2.49/2.50	c |     50115 |    1304     7470    25292 |        1    15968     21 |  0.000 % |
2.49/2.50	c |     53880 |    1304     7470    25292 |        1    19733     24 |  0.000 % |
2.49/2.50	c |     54007 |    1304     7470    25292 |        1    19860     24 |  0.000 % |
2.49/2.50	c |     54108 |    1304     7470    25292 |        1    19961     24 |  0.000 % |
2.49/2.50	c |     58937 |    1304     7470    25292 |        1    24790     23 |  0.000 % |
2.49/2.50	c |     59039 |    1304     7470    25292 |        1    24892     23 |  0.000 % |
2.49/2.50	c |     59485 |    1304     7470    25292 |        1    25338     23 |  0.000 % |
2.49/2.50	c |     59693 |    1304     7470    25292 |        1    25546     24 |  0.000 % |
2.49/2.50	c |     59794 |    1304     7470    25292 |        1    25647     24 |  0.000 % |
2.49/2.50	c |     59894 |    1304     7470    25292 |        1    25747     24 |  0.000 % |
2.49/2.50	c |     60514 |    1304     7470    25292 |        1    26367     25 |  0.000 % |
2.49/2.50	c |     60615 |    1304     7470    25292 |        1    26468     25 |  0.000 % |
2.49/2.50	c |     60715 |    1304     7470    25292 |        1    26568     25 |  0.000 % |
2.49/2.50	c |     61324 |    1304     7470    25292 |        1    27177     25 |  0.000 % |
8.68/8.70	c |     62296 |    1304     7470    25292 |        1    28149     26 |  0.000 % |
8.68/8.70	c |     62398 |    1304     7470    25292 |        1    28251     26 |  0.000 % |
8.68/8.70	c |     63463 |    1304     7470    25292 |        1    14893     14 |  0.000 % |
8.68/8.70	c |     64171 |    1304     7470    25292 |        1    15601     15 |  0.000 % |
8.68/8.70	c |     64617 |    1304     7470    25292 |        1    16047     15 |  0.000 % |
8.68/8.70	c |     64766 |    1304     7470    25292 |        1    16196     16 |  0.000 % |
8.68/8.70	c |     64866 |    1304     7470    25292 |        1    16296     16 |  0.000 % |
8.68/8.70	c |     64966 |    1304     7470    25292 |        1    16396     16 |  0.000 % |
8.68/8.70	c |     65136 |    1304     7470    25292 |        1    16566     16 |  0.000 % |
8.68/8.70	c |     65236 |    1304     7470    25292 |        1    16666     17 |  0.000 % |
8.68/8.70	c |     65593 |    1304     7470    25292 |        1    17023     17 |  0.000 % |
8.68/8.70	c |     65720 |    1304     7470    25292 |        1    17150     18 |  0.000 % |
8.68/8.70	c |     65821 |    1304     7470    25292 |        1    17251     18 |  0.000 % |
8.68/8.70	c |     65922 |    1304     7470    25292 |        1    17352     18 |  0.000 % |
8.68/8.70	c |     66761 |    1304     7470    25292 |        1    18191     19 |  0.000 % |
8.68/8.70	c |     67052 |    1304     7470    25292 |        1    18482     19 |  0.000 % |
8.68/8.70	c |     69789 |    1304     7470    25292 |        1    21219     19 |  0.000 % |
8.68/8.70	c |    125331 |    1304     7470    25292 |        1    40153     17 |  0.000 % |
8.68/8.70	c |    127007 |    1304     7470    25292 |        1    41829     17 |  0.000 % |
8.68/8.70	c |    127642 |    1304     7470    25292 |        1    42464     17 |  0.000 % |
8.68/8.70	c |    127804 |    1304     7470    25292 |        1    42626     18 |  0.000 % |
8.68/8.70	c |    128055 |    1304     7470    25292 |        1    42877     18 |  0.000 % |
8.68/8.70	c |    128322 |    1304     7470    25292 |        1    43144     18 |  0.000 % |
8.68/8.70	c |    128447 |    1304     7470    25292 |        1    43269     18 |  0.000 % |
8.68/8.70	c |    130480 |    1304     7470    25292 |        1    23098     13 |  0.000 % |
8.68/8.70	c |    130580 |    1304     7470    25292 |        1    23198     14 |  0.000 % |
8.68/8.70	c |    130681 |    1304     7470    25292 |        1    23299     14 |  0.000 % |
8.68/8.70	c |    143876 |    1304     7470    25292 |        1    36494     16 |  0.000 % |
8.68/8.70	c |    146643 |    1304     7470    25292 |        1    39261     17 |  0.000 % |
8.68/8.70	c |    147020 |    1304     7470    25292 |        1    39638     17 |  0.000 % |
8.68/8.70	c |    147288 |    1304     7470    25292 |        1    39906     17 |  0.000 % |
8.68/8.70	c |    147388 |    1304     7470    25292 |        1    40006     17 |  0.000 % |
8.68/8.70	c |    147488 |    1304     7470    25292 |        1    40106     17 |  0.000 % |
8.68/8.70	c |    147590 |    1304     7470    25292 |        1    40208     18 |  0.000 % |
8.68/8.70	c |    147946 |    1304     7470    25292 |        1    40564     18 |  0.000 % |
8.68/8.70	c |    149965 |    1304     7470    25292 |        1    42583     18 |  0.000 % |
8.68/8.70	c |    150066 |    1304     7470    25292 |        1    42684     19 |  0.000 % |
8.68/8.70	c |    150490 |    1304     7470    25292 |        1    43108     19 |  0.000 % |
8.68/8.70	c |    151008 |    1304     7470    25292 |        1    43626     19 |  0.000 % |
8.68/8.70	c |    151108 |    1304     7470    25292 |        1    43726     19 |  0.000 % |
8.68/8.70	c |    153653 |    1304     7470    25292 |        1    46271     19 |  0.000 % |
8.68/8.70	c |    156571 |    1304     7470    25292 |        1    49189     21 |  0.000 % |
8.68/8.70	c |    162504 |    1304     7470    25292 |        1    30322     14 |  0.000 % |
8.68/8.70	c |    162606 |    1304     7470    25292 |        1    30424     14 |  0.000 % |
8.68/8.70	c |    162706 |    1304     7470    25292 |        1    30524     15 |  0.000 % |
8.68/8.70	c |    162806 |    1304     7470    25292 |        1    30624     15 |  0.000 % |
8.68/8.70	c |    162906 |    1304     7470    25292 |        1    30724     15 |  0.000 % |
8.68/8.70	c |    163007 |    1304     7470    25292 |        1    30825     15 |  0.000 % |
8.68/8.70	c |    164393 |    1304     7470    25292 |        1    32211     15 |  0.000 % |
8.68/8.70	c |    170067 |    1304     7470    25292 |        1    37885     21 |  0.000 % |
13.48/13.59	c |    170167 |    1304     7470    25292 |        1    37985     21 |  0.000 % |
13.48/13.59	c |    170267 |    1304     7470    25292 |        1    38085     21 |  0.000 % |
13.48/13.59	c |    171188 |    1304     7470    25292 |        1    39006     21 |  0.000 % |
13.48/13.59	c |    171288 |    1304     7470    25292 |        1    39106     21 |  0.000 % |
13.48/13.59	c |    171388 |    1304     7470    25292 |        1    39206     21 |  0.000 % |
13.48/13.59	c |    173846 |    1304     7470    25292 |        1    41664     21 |  0.000 % |
13.48/13.59	c |    174226 |    1304     7470    25292 |        1    42044     21 |  0.000 % |
13.48/13.59	c |    175973 |    1304     7470    25292 |        1    43791     22 |  0.000 % |
13.48/13.59	c |    176267 |    1304     7470    25292 |        1    44085     22 |  0.000 % |
13.48/13.59	c |    176368 |    1304     7470    25292 |        1    44186     22 |  0.000 % |
13.48/13.59	c |    176470 |    1304     7470    25292 |        1    44288     22 |  0.000 % |
13.48/13.59	c |    176747 |    1304     7470    25292 |        1    44565     22 |  0.000 % |
13.48/13.59	c |    176849 |    1304     7470    25292 |        1    44667     22 |  0.000 % |
13.48/13.59	c |    177787 |    1304     7470    25292 |        1    45605     23 |  0.000 % |
13.48/13.59	c |    177888 |    1304     7470    25292 |        1    45706     23 |  0.000 % |
13.48/13.59	c |    177989 |    1304     7470    25292 |        1    45807     23 |  0.000 % |
13.48/13.59	c |    178139 |    1304     7470    25292 |        1    45957     23 |  0.000 % |
13.48/13.59	c |    178699 |    1304     7470    25292 |        1    46517     23 |  0.000 % |
13.48/13.59	c |    178801 |    1304     7470    25292 |        1    46619     23 |  0.000 % |
13.48/13.59	c |    178947 |    1304     7470    25292 |        1    46765     23 |  0.000 % |
13.48/13.59	c |    179053 |    1304     7470    25292 |        1    46871     23 |  0.000 % |
13.48/13.59	c |    179153 |    1304     7470    25292 |        1    46971     23 |  0.000 % |
13.48/13.59	c |    179254 |    1304     7470    25292 |        1    47072     24 |  0.000 % |
13.48/13.59	c |    179355 |    1304     7470    25292 |        1    47173     24 |  0.000 % |
13.48/13.59	c |    179543 |    1304     7470    25292 |        1    47361     24 |  0.000 % |
13.48/13.59	c |    179646 |    1304     7470    25292 |        1    47464     24 |  0.000 % |
13.48/13.59	c |    181177 |    1304     7470    25292 |        1    48995     24 |  0.000 % |
13.48/13.59	c |    184784 |    1304     7470    25292 |        1    52602     25 |  0.000 % |
13.48/13.59	c |    186845 |    1304     7470    25292 |        1    54663     25 |  0.000 % |
13.48/13.59	c |    227245 |    1304     7470    25292 |        1    37667     14 |  0.000 % |
13.48/13.59	c |    227347 |    1304     7470    25292 |        1    37769     14 |  0.000 % |
13.48/13.59	c |    227447 |    1304     7470    25292 |        1    37869     15 |  0.000 % |
13.48/13.59	c |    227564 |    1304     7470    25292 |        1    37986     15 |  0.000 % |
13.48/13.59	c |    227664 |    1304     7470    25292 |        1    38086     15 |  0.000 % |
13.48/13.59	c |    228571 |    1304     7470    25292 |        1    38993     16 |  0.000 % |
13.48/13.59	c |    234400 |    1304     7470    25292 |        1    44822     17 |  0.000 % |
13.48/13.59	c |    234502 |    1304     7470    25292 |        1    44924     17 |  0.000 % |
13.48/13.59	c |    234967 |    1304     7470    25292 |        1    45389     17 |  0.000 % |
13.48/13.59	c |    235247 |    1304     7470    25292 |        1    45669     17 |  0.000 % |
13.48/13.59	c |    235351 |    1304     7470    25292 |        1    45773     17 |  0.000 % |
13.48/13.59	c |    235494 |    1304     7470    25292 |        1    45916     17 |  0.000 % |
13.48/13.59	c |    235596 |    1304     7470    25292 |        1    46018     17 |  0.000 % |
13.48/13.59	c |    236922 |    1304     7470    25292 |        1    47344     18 |  0.000 % |
13.48/13.59	c |    237144 |    1304     7470    25292 |        1    47566     18 |  0.000 % |
13.48/13.59	c |    237244 |    1304     7470    25292 |        1    47666     18 |  0.000 % |
13.48/13.59	c |    237345 |    1304     7470    25292 |        1    47767     18 |  0.000 % |
13.48/13.59	c |    237446 |    1304     7470    25292 |        1    47868     18 |  0.000 % |
13.48/13.59	c |    238778 |    1304     7470    25292 |        1    49200     18 |  0.000 % |
13.48/13.59	c |    238888 |    1304     7470    25292 |        1    49310     18 |  0.000 % |
13.48/13.59	c |    239193 |    1304     7470    25292 |        1    49615     19 |  0.000 % |
23.10/23.12	c |    239294 |    1304     7470    25292 |        1    49716     19 |  0.000 % |
23.10/23.12	c |    239396 |    1304     7470    25292 |        1    49818     19 |  0.000 % |
23.10/23.12	c |    239496 |    1304     7470    25292 |        1    49918     19 |  0.000 % |
23.10/23.12	c |    239596 |    1304     7470    25292 |        1    50018     19 |  0.000 % |
23.10/23.12	c |    297064 |    1304     7470    25292 |        1    39682     14 |  0.000 % |
23.10/23.12	c |    297210 |    1304     7470    25292 |        1    39828     14 |  0.000 % |
23.10/23.12	c |    297310 |    1304     7470    25292 |        1    39928     14 |  0.000 % |
23.10/23.12	c |    297410 |    1304     7470    25292 |        1    40028     14 |  0.000 % |
23.10/23.12	c |    297545 |    1304     7470    25292 |        1    40163     14 |  0.000 % |
23.10/23.12	c |    297665 |    1304     7470    25292 |        1    40283     14 |  0.000 % |
23.10/23.12	c |    297958 |    1304     7470    25292 |        1    40576     15 |  0.000 % |
23.10/23.12	c |    298094 |    1304     7470    25292 |        1    40712     15 |  0.000 % |
23.10/23.12	c |    299131 |    1304     7470    25292 |        1    41749     15 |  0.000 % |
23.10/23.12	c |    299232 |    1304     7470    25292 |        1    41850     15 |  0.000 % |
23.10/23.12	c |    299471 |    1304     7470    25292 |        1    42089     15 |  0.000 % |
23.10/23.12	c |    299571 |    1304     7470    25292 |        1    42189     15 |  0.000 % |
23.10/23.12	c |    301312 |    1304     7470    25292 |        1    43930     16 |  0.000 % |
23.10/23.12	c |    301420 |    1304     7470    25292 |        1    44038     16 |  0.000 % |
23.10/23.12	c |    302687 |    1304     7470    25292 |        1    45305     16 |  0.000 % |
23.10/23.12	c |    302933 |    1304     7470    25292 |        1    45551     16 |  0.000 % |
23.10/23.12	c |    303528 |    1304     7470    25292 |        1    46146     17 |  0.000 % |
23.10/23.12	c |    303628 |    1304     7470    25292 |        1    46246     17 |  0.000 % |
23.10/23.12	c |    304364 |    1304     7470    25292 |        1    46982     17 |  0.000 % |
23.10/23.12	c |    304716 |    1304     7470    25292 |        1    47334     18 |  0.000 % |
23.10/23.12	c |    304819 |    1304     7470    25292 |        1    47437     18 |  0.000 % |
23.10/23.12	c |    304921 |    1304     7470    25292 |        1    47539     18 |  0.000 % |
23.10/23.12	c |    305033 |    1304     7470    25292 |        1    47651     18 |  0.000 % |
23.10/23.12	c |    325614 |    1304     7470    25292 |        1    68232     26 |  0.000 % |
23.10/23.12	c |    325714 |    1304     7470    25292 |        1    68332     26 |  0.000 % |
23.10/23.12	c |    327120 |    1304     7470    25292 |        1    69738     26 |  0.000 % |
23.10/23.12	c |    327220 |    1304     7470    25292 |        1    69838     26 |  0.000 % |
23.10/23.12	c |    327322 |    1304     7470    25292 |        1    69940     26 |  0.000 % |
23.10/23.12	c |    327966 |    1304     7470    25292 |        1    70584     26 |  0.000 % |
23.10/23.12	c |    328066 |    1304     7470    25292 |        1    70684     26 |  0.000 % |
23.10/23.12	c |    328169 |    1304     7470    25292 |        1    70787     26 |  0.000 % |
23.10/23.12	c |    328269 |    1304     7470    25292 |        1    70887     26 |  0.000 % |
23.10/23.12	c |    328371 |    1304     7470    25292 |        1    70989     26 |  0.000 % |
23.10/23.12	c |    328579 |    1304     7470    25292 |        1    71197     26 |  0.000 % |
23.10/23.12	c |    328911 |    1304     7470    25292 |        1    71529     26 |  0.000 % |
23.10/23.12	c |    329013 |    1304     7470    25292 |        1    71631     26 |  0.000 % |
23.10/23.12	c |    329113 |    1304     7470    25292 |        1    71731     26 |  0.000 % |
23.10/23.12	c |    329258 |    1304     7470    25292 |        1    71876     26 |  0.000 % |
23.10/23.12	c |    330750 |    1304     7470    25292 |        1    73368     27 |  0.000 % |
23.10/23.12	c |    331309 |    1304     7470    25292 |        1    73927     27 |  0.000 % |
23.10/23.12	c |    331409 |    1304     7470    25292 |        1    74027     27 |  0.000 % |
23.10/23.12	c |    331509 |    1304     7470    25292 |        1    74127     27 |  0.000 % |
23.10/23.12	c |    332314 |    1304     7470    25292 |        1    74932     27 |  0.000 % |
23.10/23.12	c |    332415 |    1304     7470    25292 |        1    75033     27 |  0.000 % |
23.10/23.12	c |    333081 |    1304     7470    25292 |        1    37891     14 |  0.000 % |
23.10/23.12	c |    333185 |    1304     7470    25292 |        1    37995     14 |  0.000 % |
37.18/37.28	c |    338452 |    1304     7470    25292 |        1    43262     17 |  0.000 % |
37.18/37.28	c |    338831 |    1304     7470    25292 |        1    43641     18 |  0.000 % |
37.18/37.28	c |    339400 |    1304     7470    25292 |        1    44210     18 |  0.000 % |
37.18/37.28	c |    339504 |    1304     7470    25292 |        1    44314     18 |  0.000 % |
37.18/37.28	c |    340703 |    1304     7470    25292 |        1    45513     19 |  0.000 % |
37.18/37.28	c |    340803 |    1304     7470    25292 |        1    45613     19 |  0.000 % |
37.18/37.28	c |    340903 |    1304     7470    25292 |        1    45713     19 |  0.000 % |
37.18/37.28	c |    341004 |    1304     7470    25292 |        1    45814     19 |  0.000 % |
37.18/37.28	c |    341105 |    1304     7470    25292 |        1    45915     19 |  0.000 % |
37.18/37.28	c |    341911 |    1304     7470    25292 |        1    46721     20 |  0.000 % |
37.18/37.28	c |    342012 |    1304     7470    25292 |        1    46822     20 |  0.000 % |
37.18/37.28	c |    344507 |    1304     7470    25292 |        1    49317     20 |  0.000 % |
37.18/37.28	c |    344609 |    1304     7470    25292 |        1    49419     21 |  0.000 % |
37.18/37.28	c |    345008 |    1304     7470    25292 |        1    49818     21 |  0.000 % |
37.18/37.28	c |    345108 |    1304     7470    25292 |        1    49918     21 |  0.000 % |
37.18/37.28	c |    345209 |    1304     7470    25292 |        1    50019     21 |  0.000 % |
37.18/37.28	c |    442066 |    1303     7468    25286 |        1    49054     14 |  0.077 % |
37.18/37.28	c |    442167 |    1303     7468    25286 |        1    49155     14 |  0.077 % |
37.18/37.28	c |    442268 |    1303     7468    25286 |        1    49256     14 |  0.077 % |
37.18/37.28	c |    446584 |    1303     7468    25286 |        1    53572     15 |  0.077 % |
37.18/37.28	c |    446685 |    1303     7468    25286 |        1    53673     15 |  0.077 % |
37.18/37.28	c |    447191 |    1303     7468    25286 |        1    54179     15 |  0.077 % |
37.18/37.28	c |    450657 |    1303     7468    25286 |        1    57645     15 |  0.077 % |
37.18/37.28	c |    450758 |    1303     7468    25286 |        1    57746     15 |  0.077 % |
37.18/37.28	c |    450859 |    1303     7468    25286 |        1    57847     15 |  0.077 % |
37.18/37.28	c |    450976 |    1303     7468    25286 |        1    57964     15 |  0.077 % |
37.18/37.28	c |    451076 |    1303     7468    25286 |        1    58064     15 |  0.077 % |
37.18/37.28	c |    451176 |    1303     7468    25286 |        1    58164     16 |  0.077 % |
37.18/37.28	c |    454636 |    1303     7468    25286 |        1    61624     16 |  0.077 % |
37.18/37.28	c |    458550 |    1303     7468    25286 |        1    65538     17 |  0.077 % |
37.18/37.28	c |    458651 |    1303     7468    25286 |        1    65639     17 |  0.077 % |
37.18/37.28	c |    458835 |    1303     7468    25286 |        1    65823     17 |  0.077 % |
37.18/37.28	c |    458935 |    1303     7468    25286 |        1    65923     17 |  0.077 % |
37.18/37.28	c |    459268 |    1303     7468    25286 |        1    66256     17 |  0.077 % |
37.18/37.28	c |    460298 |    1303     7468    25286 |        1    67286     17 |  0.077 % |
37.18/37.28	c |    462043 |    1303     7468    25286 |        1    69031     18 |  0.077 % |
37.18/37.28	c |    462143 |    1303     7468    25286 |        1    69131     18 |  0.077 % |
37.18/37.28	c |    462247 |    1303     7468    25286 |        1    69235     18 |  0.077 % |
37.18/37.28	c |    462689 |    1303     7468    25286 |        1    69677     18 |  0.077 % |
37.18/37.28	c |    462790 |    1303     7468    25286 |        1    69778     18 |  0.077 % |
37.18/37.28	c |    462890 |    1303     7468    25286 |        1    69878     19 |  0.077 % |
37.18/37.28	c |    462992 |    1303     7468    25286 |        1    69980     19 |  0.077 % |
37.18/37.28	c |    463440 |    1303     7468    25286 |        1    70428     19 |  0.077 % |
37.18/37.28	c |    463540 |    1303     7468    25286 |        1    70528     19 |  0.077 % |
37.18/37.28	c |    463640 |    1303     7468    25286 |        1    70628     19 |  0.077 % |
37.18/37.28	c |    463741 |    1303     7468    25286 |        1    70729     19 |  0.077 % |
37.18/37.28	c |    463842 |    1303     7468    25286 |        1    70830     19 |  0.077 % |
37.18/37.28	c |    464608 |    1303     7468    25286 |        1    71596     19 |  0.077 % |
37.18/37.28	c |    464748 |    1303     7468    25286 |        1    71736     19 |  0.077 % |
37.18/37.28	c |    465043 |    1303     7468    25286 |        1    72031     19 |  0.077 % |
39.28/39.38	c |    465206 |    1303     7468    25286 |        1    72194     19 |  0.077 % |
39.28/39.38	c |    465306 |    1303     7468    25286 |        1    72294     19 |  0.077 % |
39.28/39.38	c |    465703 |    1303     7468    25286 |        1    72691     19 |  0.077 % |
39.28/39.38	c |    465804 |    1303     7468    25286 |        1    72792     20 |  0.077 % |
39.28/39.38	c |    466083 |    1303     7468    25286 |        1    73071     20 |  0.077 % |
39.28/39.38	c |    466282 |    1303     7468    25286 |        1    73270     20 |  0.077 % |
39.28/39.38	c |    466963 |    1303     7468    25286 |        1    73951     20 |  0.077 % |
39.28/39.38	c |    467064 |    1303     7468    25286 |        1    74052     20 |  0.077 % |
39.28/39.38	c |    467164 |    1303     7468    25286 |        1    74152     20 |  0.077 % |
39.28/39.38	c |    467266 |    1303     7468    25286 |        1    74254     20 |  0.077 % |
39.28/39.38	c |    467366 |    1303     7468    25286 |        1    74354     20 |  0.077 % |
39.28/39.38	c |    468815 |    1303     7468    25286 |        1    75803     20 |  0.077 % |
39.28/39.38	c |    470524 |    1303     7468    25286 |        1    39128     13 |  0.077 % |
39.28/39.38	c |    471580 |    1303     7468    25286 |        1    40184     13 |  0.077 % |
39.28/39.38	c |    471680 |    1303     7468    25286 |        1    40284     14 |  0.077 % |
39.28/39.38	c |    472588 |    1303     7468    25286 |        1    41192     14 |  0.077 % |
39.28/39.38	c |    472698 |    1303     7468    25286 |        1    41302     15 |  0.077 % |
39.28/39.38	c |    473251 |    1303     7468    25286 |        1    41855     15 |  0.077 % |
39.28/39.38	c |    473867 |    1303     7468    25286 |        1    42471     16 |  0.077 % |
39.28/39.38	c |    474120 |    1303     7468    25286 |        1    42724     16 |  0.077 % |
39.28/39.38	c |    474280 |    1303     7468    25286 |        1    42884     16 |  0.077 % |
39.28/39.38	c |    474380 |    1303     7468    25286 |        1    42984     16 |  0.077 % |
39.28/39.38	c |    474481 |    1303     7468    25286 |        1    43085     16 |  0.077 % |
39.28/39.38	c |    475445 |    1303     7468    25286 |        1    44049     17 |  0.077 % |
39.28/39.38	c |    476105 |    1303     7468    25286 |        1    44709     17 |  0.077 % |
39.28/39.38	c |    476206 |    1303     7468    25286 |        1    44810     17 |  0.077 % |
39.28/39.38	c |    476783 |    1303     7468    25286 |        1    45387     17 |  0.077 % |
39.28/39.38	c |    476885 |    1303     7468    25286 |        1    45489     17 |  0.077 % |
39.28/39.38	c |    476986 |    1303     7468    25286 |        1    45590     17 |  0.077 % |
39.28/39.38	c |    477559 |    1303     7468    25286 |        1    46163     17 |  0.077 % |
39.28/39.38	c |    477826 |    1303     7468    25286 |        1    46430     18 |  0.077 % |
39.28/39.38	c |    478087 |    1303     7468    25286 |        1    46691     18 |  0.077 % |
39.28/39.38	c |    478984 |    1303     7468    25286 |        1    47588     18 |  0.077 % |
39.28/39.38	c |    479208 |    1303     7468    25286 |        1    47812     18 |  0.077 % |
39.28/39.38	c |    479308 |    1303     7468    25286 |        1    47912     19 |  0.077 % |
39.28/39.38	c |    479410 |    1303     7468    25286 |        1    48014     19 |  0.077 % |
39.28/39.38	c |    479510 |    1303     7468    25286 |        1    48114     19 |  0.077 % |
39.28/39.38	c |    479611 |    1303     7468    25286 |        1    48215     19 |  0.077 % |
39.28/39.38	c |    482382 |    1303     7468    25286 |        1    50986     19 |  0.077 % |
39.28/39.38	c |    482484 |    1303     7468    25286 |        1    51088     19 |  0.077 % |
39.28/39.38	c |    482983 |    1303     7468    25286 |        1    51587     20 |  0.077 % |
39.28/39.38	c |    483148 |    1303     7468    25286 |        1    51752     20 |  0.077 % |
39.28/39.38	c |    483251 |    1303     7468    25286 |        1    51855     20 |  0.077 % |
39.28/39.38	c |    483738 |    1303     7468    25286 |        1    52342     20 |  0.077 % |
39.28/39.38	c |    483839 |    1303     7468    25286 |        1    52443     20 |  0.077 % |
39.28/39.38	c |    483955 |    1303     7468    25286 |        1    52559     20 |  0.077 % |
39.28/39.38	c |    484144 |    1303     7468    25286 |        1    52748     20 |  0.077 % |
39.28/39.38	c |    484349 |    1303     7468    25286 |        1    52953     20 |  0.077 % |
39.28/39.38	c |    484449 |    1303     7468    25286 |        1    53053     20 |  0.077 % |
39.28/39.38	c |    484817 |    1303     7468    25286 |        1    53421     21 |  0.077 % |
50.68/50.75	c |    484918 |    1303     7468    25286 |        1    53522     21 |  0.077 % |
50.68/50.75	c |    485018 |    1303     7468    25286 |        1    53622     21 |  0.077 % |
50.68/50.75	c |    495372 |    1303     7468    25286 |        1    63976     21 |  0.077 % |
50.68/50.75	c |    495472 |    1303     7468    25286 |        1    64076     21 |  0.077 % |
50.68/50.75	c |    495574 |    1303     7468    25286 |        1    64178     22 |  0.077 % |
50.68/50.75	c |    495799 |    1303     7468    25286 |        1    64403     22 |  0.077 % |
50.68/50.75	c |    496846 |    1303     7468    25286 |        1    65450     22 |  0.077 % |
50.68/50.75	c |    496947 |    1303     7468    25286 |        1    65551     22 |  0.077 % |
50.68/50.75	c |    497374 |    1303     7468    25286 |        1    65978     22 |  0.077 % |
50.68/50.75	c |    497474 |    1303     7468    25286 |        1    66078     22 |  0.077 % |
50.68/50.75	c |    497822 |    1303     7468    25286 |        1    66426     22 |  0.077 % |
50.68/50.75	c |    497922 |    1303     7468    25286 |        1    66526     22 |  0.077 % |
50.68/50.75	c |    498022 |    1303     7468    25286 |        1    66626     22 |  0.077 % |
50.68/50.75	c |    499219 |    1303     7468    25286 |        1    67823     22 |  0.077 % |
50.68/50.75	c |    499319 |    1303     7468    25286 |        1    67923     23 |  0.077 % |
50.68/50.75	c |    499420 |    1303     7468    25286 |        1    68024     23 |  0.077 % |
50.68/50.75	c |    499535 |    1303     7468    25286 |        1    68139     23 |  0.077 % |
50.68/50.75	c |    501763 |    1303     7468    25286 |        1    70367     23 |  0.077 % |
50.68/50.75	c |    501865 |    1303     7468    25286 |        1    70469     23 |  0.077 % |
50.68/50.75	c |    503965 |    1303     7468    25286 |        1    72569     23 |  0.077 % |
50.68/50.75	c |    509923 |    1303     7468    25286 |        1    78527     23 |  0.077 % |
50.68/50.75	c |    510024 |    1303     7468    25286 |        1    78628     23 |  0.077 % |
50.68/50.75	c |    511443 |    1303     7468    25286 |        1    80047     23 |  0.077 % |
50.68/50.75	c |    511665 |    1303     7468    25286 |        1    80269     23 |  0.077 % |
50.68/50.75	c |    511765 |    1303     7468    25286 |        1    80369     23 |  0.077 % |
50.68/50.75	c |    511866 |    1303     7468    25286 |        1    80470     23 |  0.077 % |
50.68/50.75	c |    516855 |    1303     7468    25286 |        1    85459     23 |  0.077 % |
50.68/50.75	c |    516988 |    1303     7468    25286 |        1    85592     23 |  0.077 % |
50.68/50.75	c |    517088 |    1303     7468    25286 |        1    85692     23 |  0.077 % |
50.68/50.75	c |    517189 |    1303     7468    25286 |        1    85793     23 |  0.077 % |
50.68/50.75	c |    517290 |    1303     7468    25286 |        1    85894     24 |  0.077 % |
50.68/50.75	c |    517479 |    1303     7468    25286 |        1    86083     24 |  0.077 % |
50.68/50.75	c |    517580 |    1303     7468    25286 |        1    86184     24 |  0.077 % |
50.68/50.75	c |    517681 |    1303     7468    25286 |        1    86285     24 |  0.077 % |
50.68/50.75	c |    521191 |    1303     7468    25286 |        1    45194     13 |  0.077 % |
50.68/50.75	c |    521667 |    1303     7468    25286 |        1    45670     14 |  0.077 % |
50.68/50.75	c |    521767 |    1303     7468    25286 |        1    45770     14 |  0.077 % |
50.68/50.75	c |    521868 |    1303     7468    25286 |        1    45871     14 |  0.077 % |
50.68/50.75	c |    523460 |    1303     7468    25286 |        1    47463     15 |  0.077 % |
50.68/50.75	c |    523561 |    1303     7468    25286 |        1    47564     15 |  0.077 % |
50.68/50.75	c |    523661 |    1303     7468    25286 |        1    47664     15 |  0.077 % |
50.68/50.75	c |    523828 |    1303     7468    25286 |        1    47831     15 |  0.077 % |
50.68/50.75	c |    523929 |    1303     7468    25286 |        1    47932     15 |  0.077 % |
50.68/50.75	c |    524328 |    1303     7468    25286 |        1    48331     15 |  0.077 % |
50.68/50.75	c |    524468 |    1303     7468    25286 |        1    48471     15 |  0.077 % |
50.68/50.75	c |    524894 |    1303     7468    25286 |        1    48897     16 |  0.077 % |
50.68/50.75	c |    525031 |    1303     7468    25286 |        1    49034     16 |  0.077 % |
50.68/50.75	c |    525167 |    1303     7468    25286 |        1    49170     16 |  0.077 % |
50.68/50.75	c |    568498 |    1303     7468    25286 |        1    92501     18 |  0.077 % |
60.68/60.77	c |    569057 |    1303     7468    25286 |        1    93060     18 |  0.077 % |
60.68/60.77	c |    576543 |    1303     7468    25286 |        1    51552     14 |  0.077 % |
60.68/60.77	c |    576646 |    1303     7468    25286 |        1    51655     14 |  0.077 % |
60.68/60.77	c |    576941 |    1303     7468    25286 |        1    51950     14 |  0.077 % |
60.68/60.77	c |    577042 |    1303     7468    25286 |        1    52051     14 |  0.077 % |
60.68/60.77	c |    577144 |    1303     7468    25286 |        1    52153     14 |  0.077 % |
60.68/60.77	c |    599038 |    1302     7466    25280 |        1    63649     16 |  0.153 % |
60.68/60.77	c |    599138 |    1302     7466    25280 |        1    63749     16 |  0.153 % |
60.68/60.77	c |    601203 |    1302     7466    25280 |        1    65814     17 |  0.153 % |
60.68/60.77	c |    601303 |    1302     7466    25280 |        1    65914     17 |  0.153 % |
60.68/60.77	c |    601405 |    1302     7466    25280 |        1    66016     17 |  0.153 % |
60.68/60.77	c |    605767 |    1302     7466    25280 |        1    70378     18 |  0.153 % |
60.68/60.77	c |    617327 |    1302     7466    25280 |        1    81938     18 |  0.153 % |
60.68/60.77	c |    617427 |    1302     7466    25280 |        1    82038     18 |  0.153 % |
60.68/60.77	c |    621082 |    1302     7466    25280 |        1    85693     19 |  0.153 % |
60.68/60.77	c |    621182 |    1302     7466    25280 |        1    85793     19 |  0.153 % |
60.68/60.77	c |    621285 |    1302     7466    25280 |        1    85896     19 |  0.153 % |
60.68/60.77	c |    621747 |    1302     7466    25280 |        1    86358     19 |  0.153 % |
60.68/60.77	c |    621848 |    1302     7466    25280 |        1    86459     20 |  0.153 % |
60.68/60.77	c |    621949 |    1302     7466    25280 |        1    86560     20 |  0.153 % |
60.68/60.77	c |    622138 |    1302     7466    25280 |        1    86749     20 |  0.153 % |
60.68/60.77	c |    622240 |    1302     7466    25280 |        1    86851     20 |  0.153 % |
60.68/60.77	c |    623599 |    1302     7466    25280 |        1    88210     20 |  0.153 % |
60.68/60.77	c |    623709 |    1302     7466    25280 |        1    88320     20 |  0.153 % |
60.68/60.77	c |    625062 |    1302     7466    25280 |        1    89673     20 |  0.153 % |
60.68/60.77	c |    627113 |    1302     7466    25280 |        1    91724     21 |  0.153 % |
60.68/60.77	c |    627215 |    1302     7466    25280 |        1    91826     21 |  0.153 % |
60.68/60.77	c |    629292 |    1302     7466    25280 |        1    93903     21 |  0.153 % |
60.68/60.77	c |    629394 |    1302     7466    25280 |        1    94005     21 |  0.153 % |
60.68/60.77	c |    629494 |    1302     7466    25280 |        1    94105     21 |  0.153 % |
60.68/60.77	c |    629627 |    1302     7466    25280 |        1    94238     21 |  0.153 % |
60.68/60.77	c |    629728 |    1302     7466    25280 |        1    94339     21 |  0.153 % |
60.68/60.77	c |    635074 |    1302     7466    25280 |        1    52388     14 |  0.153 % |
60.68/60.77	c |    635176 |    1302     7466    25280 |        1    52490     14 |  0.153 % |
60.68/60.77	c |    635355 |    1302     7466    25280 |        1    52669     14 |  0.153 % |
60.68/60.77	c |    635456 |    1302     7466    25280 |        1    52770     14 |  0.153 % |
60.68/60.77	c |    635719 |    1302     7466    25280 |        1    53033     15 |  0.153 % |
60.68/60.77	c |    654031 |    1302     7466    25280 |        1    71345     15 |  0.153 % |
60.68/60.77	c |    654131 |    1302     7466    25280 |        1    71445     15 |  0.153 % |
60.68/60.77	c |    654275 |    1302     7466    25280 |        1    71589     15 |  0.153 % |
60.68/60.77	c |    654375 |    1302     7466    25280 |        1    71689     16 |  0.153 % |
60.68/60.77	c |    654476 |    1302     7466    25280 |        1    71790     16 |  0.153 % |
60.68/60.77	c |    654799 |    1302     7466    25280 |        1    72113     16 |  0.153 % |
60.68/60.77	c |    654905 |    1302     7466    25280 |        1    72219     16 |  0.153 % |
60.68/60.77	c |    655005 |    1302     7466    25280 |        1    72319     16 |  0.153 % |
60.68/60.77	c |    655106 |    1302     7466    25280 |        1    72420     16 |  0.153 % |
60.68/60.77	c |    655210 |    1302     7466    25280 |        1    72524     16 |  0.153 % |
60.68/60.77	c |    655575 |    1302     7466    25280 |        1    72889     16 |  0.153 % |
60.68/60.77	c |    655821 |    1302     7466    25280 |        1    73135     16 |  0.153 % |
60.68/60.77	c |    656170 |    1302     7466    25280 |        1    73484     16 |  0.153 % |
66.68/66.77	c |    656787 |    1302     7466    25280 |        1    74101     16 |  0.153 % |
66.68/66.77	c |    657939 |    1302     7466    25280 |        1    75253     17 |  0.153 % |
66.68/66.77	c |    658039 |    1302     7466    25280 |        1    75353     17 |  0.153 % |
66.68/66.77	c |    658657 |    1302     7466    25280 |        1    75971     17 |  0.153 % |
66.68/66.77	c |    658801 |    1302     7466    25280 |        1    76115     17 |  0.153 % |
66.68/66.77	c |    658958 |    1302     7466    25280 |        1    76272     17 |  0.153 % |
66.68/66.77	c |    659058 |    1302     7466    25280 |        1    76372     17 |  0.153 % |
66.68/66.77	c |    659159 |    1302     7466    25280 |        1    76473     17 |  0.153 % |
66.68/66.77	c |    659758 |    1302     7466    25280 |        1    77072     17 |  0.153 % |
66.68/66.77	c |    659859 |    1302     7466    25280 |        1    77173     17 |  0.153 % |
66.68/66.77	c |    660102 |    1302     7466    25280 |        1    77416     17 |  0.153 % |
66.68/66.77	c |    660202 |    1302     7466    25280 |        1    77516     17 |  0.153 % |
66.68/66.77	c |    660766 |    1302     7466    25280 |        1    78080     18 |  0.153 % |
66.68/66.77	c |    661331 |    1302     7466    25280 |        1    78645     18 |  0.153 % |
66.68/66.77	c |    661431 |    1302     7466    25280 |        1    78745     18 |  0.153 % |
66.68/66.77	c |    661531 |    1302     7466    25280 |        1    78845     18 |  0.153 % |
66.68/66.77	c |    661651 |    1302     7466    25280 |        1    78965     18 |  0.153 % |
66.68/66.77	c |    661751 |    1302     7466    25280 |        1    79065     18 |  0.153 % |
66.68/66.77	c |    662842 |    1302     7466    25280 |        1    80156     18 |  0.153 % |
66.68/66.77	c |    662944 |    1302     7466    25280 |        1    80258     18 |  0.153 % |
66.68/66.77	c |    663827 |    1302     7466    25280 |        1    81141     18 |  0.153 % |
66.68/66.77	c |    665465 |    1302     7466    25280 |        1    82779     18 |  0.153 % |
66.68/66.77	c |    666707 |    1302     7466    25280 |        1    84021     18 |  0.153 % |
66.68/66.77	c |    666807 |    1302     7466    25280 |        1    84121     18 |  0.153 % |
66.68/66.77	c |    666907 |    1302     7466    25280 |        1    84221     18 |  0.153 % |
66.68/66.77	c |    672219 |    1302     7466    25280 |        1    89533     19 |  0.153 % |
66.68/66.77	c |    672320 |    1302     7466    25280 |        1    89634     19 |  0.153 % |
66.68/66.77	c |    672421 |    1302     7466    25280 |        1    89735     19 |  0.153 % |
66.68/66.77	c |    672523 |    1302     7466    25280 |        1    89837     19 |  0.153 % |
66.68/66.77	c |    672625 |    1302     7466    25280 |        1    89939     19 |  0.153 % |
66.68/66.77	c |    672776 |    1302     7466    25280 |        1    90090     19 |  0.153 % |
66.68/66.77	c |    672877 |    1302     7466    25280 |        1    90191     19 |  0.153 % |
66.68/66.77	c |    672977 |    1302     7466    25280 |        1    90291     19 |  0.153 % |
66.68/66.77	c |    673711 |    1302     7466    25280 |        1    91025     19 |  0.153 % |
66.68/66.77	c |    673908 |    1302     7466    25280 |        1    91222     19 |  0.153 % |
66.68/66.77	c |    674009 |    1302     7466    25280 |        1    91323     19 |  0.153 % |
66.68/66.77	c |    674109 |    1302     7466    25280 |        1    91423     19 |  0.153 % |
66.68/66.77	c |    695068 |    1302     7466    25280 |        1    59428     13 |  0.153 % |
66.68/66.77	c |    695222 |    1302     7466    25280 |        1    59582     13 |  0.153 % |
66.68/66.77	c |    695322 |    1302     7466    25280 |        1    59682     13 |  0.153 % |
66.68/66.77	c |    700981 |    1302     7466    25280 |        1    65341     15 |  0.153 % |
66.68/66.77	c |    701081 |    1302     7466    25280 |        1    65441     15 |  0.153 % |
66.68/66.77	c |    701182 |    1302     7466    25280 |        1    65542     15 |  0.153 % |
66.68/66.77	c |    701359 |    1302     7466    25280 |        1    65719     15 |  0.153 % |
66.68/66.77	c |    701460 |    1302     7466    25280 |        1    65820     15 |  0.153 % |
66.68/66.77	c |    701560 |    1302     7466    25280 |        1    65920     16 |  0.153 % |
66.68/66.77	c |    701687 |    1302     7466    25280 |        1    66047     16 |  0.153 % |
66.68/66.77	c |    702029 |    1302     7466    25280 |        1    66389     16 |  0.153 % |
66.68/66.77	c |    702132 |    1302     7466    25280 |        1    66492     16 |  0.153 % |
66.68/66.77	c |    703955 |    1302     7466    25280 |        1    68315     16 |  0.153 % |
78.88/78.96	c |    704055 |    1302     7466    25280 |        1    68415     16 |  0.153 % |
78.88/78.96	c |    704156 |    1302     7466    25280 |        1    68516     16 |  0.153 % |
78.88/78.96	c |    704257 |    1302     7466    25280 |        1    68617     16 |  0.153 % |
78.88/78.96	c |    704359 |    1302     7466    25280 |        1    68719     17 |  0.153 % |
78.88/78.96	c |    704459 |    1302     7466    25280 |        1    68819     17 |  0.153 % |
78.88/78.96	c |    704560 |    1302     7466    25280 |        1    68920     17 |  0.153 % |
78.88/78.96	c |    704661 |    1302     7466    25280 |        1    69021     17 |  0.153 % |
78.88/78.96	c |    704761 |    1302     7466    25280 |        1    69121     17 |  0.153 % |
78.88/78.96	c |    705055 |    1302     7466    25280 |        1    69415     17 |  0.153 % |
78.88/78.96	c |    705156 |    1302     7466    25280 |        1    69516     17 |  0.153 % |
78.88/78.96	c |    705296 |    1302     7466    25280 |        1    69656     17 |  0.153 % |
78.88/78.96	c |    706024 |    1302     7466    25280 |        1    70384     17 |  0.153 % |
78.88/78.96	c |    706193 |    1302     7466    25280 |        1    70553     18 |  0.153 % |
78.88/78.96	c |    706293 |    1302     7466    25280 |        1    70653     18 |  0.153 % |
78.88/78.96	c |    707033 |    1302     7466    25280 |        1    71393     18 |  0.153 % |
78.88/78.96	c |    707407 |    1302     7466    25280 |        1    71767     18 |  0.153 % |
78.88/78.96	c |    707538 |    1302     7466    25280 |        1    71898     18 |  0.153 % |
78.88/78.96	c |    707653 |    1302     7466    25280 |        1    72013     18 |  0.153 % |
78.88/78.96	c |    707755 |    1302     7466    25280 |        1    72115     18 |  0.153 % |
78.88/78.96	c |    707935 |    1302     7466    25280 |        1    72295     18 |  0.153 % |
78.88/78.96	c |    712859 |    1302     7466    25280 |        1    77219     19 |  0.153 % |
78.88/78.96	c |    714119 |    1302     7466    25280 |        1    78479     19 |  0.153 % |
78.88/78.96	c |    757443 |    1302     7466    25280 |        1    64731     14 |  0.153 % |
78.88/78.96	c |    757544 |    1302     7466    25280 |        1    64832     14 |  0.153 % |
78.88/78.96	c |    759529 |    1302     7466    25280 |        1    66817     15 |  0.153 % |
78.88/78.96	c |    759629 |    1302     7466    25280 |        1    66917     15 |  0.153 % |
78.88/78.96	c |    760952 |    1302     7466    25280 |        1    68240     16 |  0.153 % |
78.88/78.96	c |    761053 |    1302     7466    25280 |        1    68341     16 |  0.153 % |
78.88/78.96	c |    769716 |    1302     7466    25280 |        1    77004     16 |  0.153 % |
78.88/78.96	c |    769816 |    1302     7466    25280 |        1    77104     16 |  0.153 % |
78.88/78.96	c |    769965 |    1302     7466    25280 |        1    77253     16 |  0.153 % |
78.88/78.96	c |    770065 |    1302     7466    25280 |        1    77353     16 |  0.153 % |
78.88/78.96	c |    770165 |    1302     7466    25280 |        1    77453     16 |  0.153 % |
78.88/78.96	c |    770265 |    1302     7466    25280 |        1    77553     17 |  0.153 % |
78.88/78.96	c |    770366 |    1302     7466    25280 |        1    77654     17 |  0.153 % |
78.88/78.96	c |    770977 |    1302     7466    25280 |        1    78265     17 |  0.153 % |
78.88/78.96	c |    771089 |    1302     7466    25280 |        1    78377     17 |  0.153 % |
78.88/78.96	c |    771628 |    1302     7466    25280 |        1    78916     17 |  0.153 % |
78.88/78.96	c |    771728 |    1302     7466    25280 |        1    79016     17 |  0.153 % |
78.88/78.96	c |    772844 |    1302     7466    25280 |        1    80132     17 |  0.153 % |
78.88/78.96	c |    772944 |    1302     7466    25280 |        1    80232     17 |  0.153 % |
78.88/78.96	c |    773083 |    1302     7466    25280 |        1    80371     17 |  0.153 % |
78.88/78.96	c |    773184 |    1302     7466    25280 |        1    80472     17 |  0.153 % |
78.88/78.96	c |    773451 |    1302     7466    25280 |        1    80739     17 |  0.153 % |
78.88/78.96	c |    773553 |    1302     7466    25280 |        1    80841     18 |  0.153 % |
78.88/78.96	c |    773848 |    1302     7466    25280 |        1    81136     18 |  0.153 % |
78.88/78.96	c |    773948 |    1302     7466    25280 |        1    81236     18 |  0.153 % |
78.88/78.96	c |    777560 |    1302     7466    25280 |        1    84848     19 |  0.153 % |
78.88/78.96	c |    787964 |    1302     7466    25280 |        1    95252     19 |  0.153 % |
78.88/78.96	c |    788065 |    1302     7466    25280 |        1    95353     19 |  0.153 % |
83.09/83.11	c |    788197 |    1302     7466    25280 |        1    95485     19 |  0.153 % |
83.09/83.11	c |    789552 |    1302     7466    25280 |        1    96840     19 |  0.153 % |
83.09/83.11	c |    790178 |    1302     7466    25280 |        1    97466     19 |  0.153 % |
83.09/83.11	c |    790278 |    1302     7466    25280 |        1    97566     19 |  0.153 % |
83.09/83.11	c |    792335 |    1302     7466    25280 |        1    99623     20 |  0.153 % |
83.09/83.11	c |    792436 |    1302     7466    25280 |        1    99724     20 |  0.153 % |
83.09/83.11	c |    792536 |    1302     7466    25280 |        1    99824     20 |  0.153 % |
83.09/83.11	c |    792637 |    1302     7466    25280 |        1    99925     20 |  0.153 % |
83.09/83.11	c |    792739 |    1302     7466    25280 |        1   100027     20 |  0.153 % |
83.09/83.11	c |    792841 |    1302     7466    25280 |        1   100129     20 |  0.153 % |
83.09/83.11	c |    793015 |    1302     7466    25280 |        1   100303     20 |  0.153 % |
83.09/83.11	c |    793115 |    1302     7466    25280 |        1   100403     20 |  0.153 % |
83.09/83.11	c |    793215 |    1302     7466    25280 |        1   100503     20 |  0.153 % |
83.09/83.11	c |    793316 |    1302     7466    25280 |        1   100604     20 |  0.153 % |
83.09/83.11	c |    795091 |    1302     7466    25280 |        1   102379     21 |  0.153 % |
83.09/83.11	c |    795194 |    1302     7466    25280 |        1   102482     21 |  0.153 % |
83.09/83.11	c |    795302 |    1302     7466    25280 |        1   102590     21 |  0.153 % |
83.09/83.11	c |    796335 |    1302     7466    25280 |        1   103623     21 |  0.153 % |
83.09/83.11	c |    796648 |    1302     7466    25280 |        1   103936     21 |  0.153 % |
83.09/83.11	c |    796749 |    1302     7466    25280 |        1   104037     21 |  0.153 % |
83.09/83.11	c |    796849 |    1302     7466    25280 |        1   104137     21 |  0.153 % |
83.09/83.11	c |    796949 |    1302     7466    25280 |        1   104237     21 |  0.153 % |
83.09/83.11	c |    797050 |    1302     7466    25280 |        1   104338     21 |  0.153 % |
83.09/83.11	c |    797150 |    1302     7466    25280 |        1   104438     21 |  0.153 % |
83.09/83.11	c |    797480 |    1302     7466    25280 |        1   104768     21 |  0.153 % |
83.09/83.11	c |    797580 |    1302     7466    25280 |        1   104868     22 |  0.153 % |
83.09/83.11	c |    797848 |    1302     7466    25280 |        1   105136     22 |  0.153 % |
83.09/83.11	c |    797950 |    1302     7466    25280 |        1   105238     22 |  0.153 % |
83.09/83.11	c |    799446 |    1302     7466    25280 |        1   106734     22 |  0.153 % |
83.09/83.11	c |    799547 |    1302     7466    25280 |        1   106835     22 |  0.153 % |
83.09/83.11	c |    800890 |    1302     7466    25280 |        1   108178     22 |  0.153 % |
83.09/83.11	c |    801645 |    1302     7466    25280 |        1   108933     22 |  0.153 % |
83.09/83.11	c |    801746 |    1302     7466    25280 |        1   109034     22 |  0.153 % |
83.09/83.11	c |    801849 |    1302     7466    25280 |        1   109137     22 |  0.153 % |
83.09/83.11	c |    801950 |    1302     7466    25280 |        1   109238     22 |  0.153 % |
83.09/83.11	c |    802122 |    1302     7466    25280 |        1   109410     22 |  0.153 % |
83.09/83.11	c |    807516 |    1302     7466    25280 |        1   114804     23 |  0.153 % |
83.09/83.11	c |    807619 |    1302     7466    25280 |        1   114907     23 |  0.153 % |
83.09/83.11	c |    807727 |    1302     7466    25280 |        1   115015     23 |  0.153 % |
83.09/83.11	c |    808073 |    1302     7466    25280 |        1   115361     23 |  0.153 % |
83.09/83.11	c |    809941 |    1302     7466    25280 |        1   117229     23 |  0.153 % |
83.09/83.11	c |    810043 |    1302     7466    25280 |        1   117331     23 |  0.153 % |
83.09/83.11	c |    810320 |    1302     7466    25280 |        1   117608     23 |  0.153 % |
83.09/83.11	c |    810421 |    1302     7466    25280 |        1   117709     23 |  0.153 % |
83.09/83.11	c |    810521 |    1302     7466    25280 |        1   117809     23 |  0.153 % |
83.09/83.11	c |    810653 |    1302     7466    25280 |        1   117941     24 |  0.153 % |
83.09/83.11	c |    811388 |    1302     7466    25280 |        1   118676     24 |  0.153 % |
83.09/83.11	c |    811488 |    1302     7466    25280 |        1   118776     24 |  0.153 % |
83.09/83.11	c |    811834 |    1302     7466    25280 |        1   119122     24 |  0.153 % |
83.09/83.11	c |    811936 |    1302     7466    25280 |        1   119224     24 |  0.153 % |
99.19/99.20	c |    812196 |    1302     7466    25280 |        1   119484     24 |  0.153 % |
99.19/99.20	c |    812739 |    1302     7466    25280 |        1   120027     24 |  0.153 % |
99.19/99.20	c |    812840 |    1302     7466    25280 |        1   120128     24 |  0.153 % |
99.19/99.20	c |    812941 |    1302     7466    25280 |        1   120229     24 |  0.153 % |
99.19/99.20	c |    813041 |    1302     7466    25280 |        1   120329     24 |  0.153 % |
99.19/99.20	c |    813142 |    1302     7466    25280 |        1   120430     24 |  0.153 % |
99.19/99.20	c |    813913 |    1302     7466    25280 |        1    60762     13 |  0.153 % |
99.19/99.20	c |    817928 |    1302     7466    25280 |        1    64777     13 |  0.153 % |
99.19/99.20	c |    818276 |    1302     7466    25280 |        1    65125     14 |  0.153 % |
99.19/99.20	c |    819326 |    1302     7466    25280 |        1    66175     14 |  0.153 % |
99.19/99.20	c |    819428 |    1302     7466    25280 |        1    66277     14 |  0.153 % |
99.19/99.20	c |    819528 |    1302     7466    25280 |        1    66377     14 |  0.153 % |
99.19/99.20	c |    820412 |    1302     7466    25280 |        1    67261     14 |  0.153 % |
99.19/99.20	c |    820685 |    1302     7466    25280 |        1    67534     14 |  0.153 % |
99.19/99.20	c |    820786 |    1302     7466    25280 |        1    67635     14 |  0.153 % |
99.19/99.20	c |    820892 |    1302     7466    25280 |        1    67741     15 |  0.153 % |
99.19/99.20	c |    820993 |    1302     7466    25280 |        1    67842     15 |  0.153 % |
99.19/99.20	c |    821095 |    1302     7466    25280 |        1    67944     15 |  0.153 % |
99.19/99.20	c |    821195 |    1302     7466    25280 |        1    68044     15 |  0.153 % |
99.19/99.20	c |    823091 |    1302     7466    25280 |        1    69940     16 |  0.153 % |
99.19/99.20	c |    823859 |    1302     7466    25280 |        1    70708     16 |  0.153 % |
99.19/99.20	c |    824030 |    1302     7466    25280 |        1    70879     16 |  0.153 % |
99.19/99.20	c |    824133 |    1302     7466    25280 |        1    70982     16 |  0.153 % |
99.19/99.20	c |    824719 |    1302     7466    25280 |        1    71568     16 |  0.153 % |
99.19/99.20	c |    824852 |    1302     7466    25280 |        1    71701     16 |  0.153 % |
99.19/99.20	c |    828324 |    1302     7466    25280 |        1    75173     16 |  0.153 % |
99.19/99.20	c |    828426 |    1302     7466    25280 |        1    75275     16 |  0.153 % |
99.19/99.20	c |    829244 |    1302     7466    25280 |        1    76093     16 |  0.153 % |
99.19/99.20	c |    829344 |    1302     7466    25280 |        1    76193     17 |  0.153 % |
99.19/99.20	c |    829446 |    1302     7466    25280 |        1    76295     17 |  0.153 % |
99.19/99.20	c |    829765 |    1302     7466    25280 |        1    76614     17 |  0.153 % |
99.19/99.20	c |    835794 |    1302     7466    25280 |        1    82643     18 |  0.153 % |
99.19/99.20	c |    835898 |    1302     7466    25280 |        1    82747     18 |  0.153 % |
99.19/99.20	c |    836216 |    1302     7466    25280 |        1    83065     18 |  0.153 % |
99.19/99.20	c |    895287 |    1302     7466    25280 |        1    78724     14 |  0.153 % |
99.19/99.20	c |    897396 |    1302     7466    25280 |        1    80833     15 |  0.153 % |
99.19/99.20	c |    897498 |    1302     7466    25280 |        1    80935     15 |  0.153 % |
99.19/99.20	c |    897598 |    1302     7466    25280 |        1    81035     15 |  0.153 % |
99.19/99.20	c |    907281 |    1302     7466    25280 |        1    90718     16 |  0.153 % |
99.19/99.20	c |    907382 |    1302     7466    25280 |        1    90819     16 |  0.153 % |
99.19/99.20	c |    907515 |    1302     7466    25280 |        1    90952     16 |  0.153 % |
99.19/99.20	c |    913547 |    1302     7466    25280 |        1    96984     16 |  0.153 % |
99.19/99.20	c |    913647 |    1302     7466    25280 |        1    97084     16 |  0.153 % |
99.19/99.20	c |    913813 |    1302     7466    25280 |        1    97250     17 |  0.153 % |
99.19/99.20	c |    913913 |    1302     7466    25280 |        1    97350     17 |  0.153 % |
99.19/99.20	c |    914013 |    1302     7466    25280 |        1    97450     17 |  0.153 % |
99.19/99.20	c |    914115 |    1302     7466    25280 |        1    97552     17 |  0.153 % |
99.19/99.20	c |    914216 |    1302     7466    25280 |        1    97653     17 |  0.153 % |
99.19/99.20	c |    914319 |    1302     7466    25280 |        1    97756     17 |  0.153 % |
99.19/99.20	c |    914419 |    1302     7466    25280 |        1    97856     17 |  0.153 % |
121.19/121.25	c |    914520 |    1302     7466    25280 |        1    97957     17 |  0.153 % |
121.19/121.25	c |    915448 |    1302     7466    25280 |        1    98885     17 |  0.153 % |
121.19/121.25	c |    915549 |    1302     7466    25280 |        1    98986     17 |  0.153 % |
121.19/121.25	c |    916692 |    1302     7466    25280 |        1   100129     17 |  0.153 % |
121.19/121.25	c |    917224 |    1302     7466    25280 |        1   100661     17 |  0.153 % |
121.19/121.25	c |   1012326 |    1295     7450    25222 |        1    97329     14 |  0.690 % |
121.19/121.25	c |   1012427 |    1295     7450    25222 |        1    97430     14 |  0.690 % |
121.19/121.25	c |   1012635 |    1295     7450    25222 |        1    97638     14 |  0.690 % |
121.19/121.25	c |   1012737 |    1295     7450    25222 |        1    97740     14 |  0.690 % |
121.19/121.25	c |   1012915 |    1295     7450    25222 |        1    97918     14 |  0.690 % |
121.19/121.25	c |   1013017 |    1295     7450    25222 |        1    98020     14 |  0.690 % |
121.19/121.25	c |   1013119 |    1295     7450    25222 |        1    98122     14 |  0.690 % |
121.19/121.25	c |   1013652 |    1295     7450    25222 |        1    98655     14 |  0.690 % |
121.19/121.25	c |   1017265 |    1295     7450    25222 |        1   102268     15 |  0.690 % |
121.19/121.25	c |   1035260 |    1295     7450    25222 |        1    67895     16 |  0.690 % |
121.19/121.25	c |   1035360 |    1295     7449    25218 |        1    67927     16 |  0.690 % |
121.19/121.25	c |   1036185 |    1295     7449    25218 |        1    68752     17 |  0.690 % |
121.19/121.25	c |   1036744 |    1295     7449    25218 |        1    69311     17 |  0.690 % |
121.19/121.25	c |   1037473 |    1295     7449    25218 |        1    70040     17 |  0.690 % |
121.19/121.25	c |   1037575 |    1295     7449    25218 |        1    70142     17 |  0.690 % |
121.19/121.25	c |   1038269 |    1295     7449    25218 |        1    70836     17 |  0.690 % |
121.19/121.25	c |   1038369 |    1295     7449    25218 |        1    70936     17 |  0.690 % |
121.19/121.25	c |   1038469 |    1295     7449    25218 |        1    71036     17 |  0.690 % |
121.19/121.25	c |   1038569 |    1295     7449    25218 |        1    71136     17 |  0.690 % |
121.19/121.25	c |   1038780 |    1295     7449    25218 |        1    71347     17 |  0.690 % |
121.19/121.25	c |   1038881 |    1295     7449    25218 |        1    71448     17 |  0.690 % |
121.19/121.25	c |   1038982 |    1295     7449    25218 |        1    71549     18 |  0.690 % |
121.19/121.25	c |   1039082 |    1295     7449    25218 |        1    71649     18 |  0.690 % |
121.19/121.25	c |   1039210 |    1295     7449    25218 |        1    71777     18 |  0.690 % |
121.19/121.25	c |   1040592 |    1295     7449    25218 |        1    73159     18 |  0.690 % |
121.19/121.25	c |   1040692 |    1295     7449    25218 |        1    73259     18 |  0.690 % |
121.19/121.25	c |   1040998 |    1295     7449    25218 |        1    73565     18 |  0.690 % |
121.19/121.25	c |   1041100 |    1295     7449    25218 |        1    73667     18 |  0.690 % |
121.19/121.25	c |   1041841 |    1295     7449    25218 |        1    74408     19 |  0.690 % |
121.19/121.25	c |   1041942 |    1295     7449    25218 |        1    74509     19 |  0.690 % |
121.19/121.25	c |   1042043 |    1295     7449    25218 |        1    74610     19 |  0.690 % |
121.19/121.25	c |   1042164 |    1295     7449    25218 |        1    74731     19 |  0.690 % |
121.19/121.25	c |   1043056 |    1295     7449    25218 |        1    75623     19 |  0.690 % |
121.19/121.25	c |   1043159 |    1295     7449    25218 |        1    75726     19 |  0.690 % |
121.19/121.25	c |   1043260 |    1295     7449    25218 |        1    75827     19 |  0.690 % |
121.19/121.25	c |   1045247 |    1295     7449    25218 |        1    77814     19 |  0.690 % |
121.19/121.25	c |   1045356 |    1295     7449    25218 |        1    77923     19 |  0.690 % |
121.19/121.25	c |   1045582 |    1295     7449    25218 |        1    78149     19 |  0.690 % |
121.19/121.25	c |   1045684 |    1295     7449    25218 |        1    78251     19 |  0.690 % |
121.19/121.25	c |   1045786 |    1295     7449    25218 |        1    78353     19 |  0.690 % |
121.19/121.25	c |   1047068 |    1295     7449    25218 |        1    79635     19 |  0.690 % |
121.19/121.25	c |   1047168 |    1295     7449    25218 |        1    79735     20 |  0.690 % |
121.19/121.25	c |   1061624 |    1295     7449    25218 |        1    94191     20 |  0.690 % |
121.19/121.25	c |   1061726 |    1295     7449    25218 |        1    94293     20 |  0.690 % |
121.19/121.25	c |   1062945 |    1295     7449    25218 |        1    95512     20 |  0.690 % |
144.98/145.06	c |   1063045 |    1295     7449    25218 |        1    95612     20 |  0.690 % |
144.98/145.06	c |   1063274 |    1295     7449    25218 |        1    95841     20 |  0.690 % |
144.98/145.06	c |   1064287 |    1295     7449    25218 |        1    96854     20 |  0.690 % |
144.98/145.06	c |   1064388 |    1295     7449    25218 |        1    96955     20 |  0.690 % |
144.98/145.06	c |   1064490 |    1295     7449    25218 |        1    97057     20 |  0.690 % |
144.98/145.06	c |   1064590 |    1295     7449    25218 |        1    97157     20 |  0.690 % |
144.98/145.06	c |   1064690 |    1295     7449    25218 |        1    97257     20 |  0.690 % |
144.98/145.06	c |   1065460 |    1295     7449    25218 |        1    98027     20 |  0.690 % |
144.98/145.06	c |   1065619 |    1295     7449    25218 |        1    98186     20 |  0.690 % |
144.98/145.06	c |   1065721 |    1295     7449    25218 |        1    98288     20 |  0.690 % |
144.98/145.06	c |   1065821 |    1295     7449    25218 |        1    98388     20 |  0.690 % |
144.98/145.06	c |   1065921 |    1295     7449    25218 |        1    98488     20 |  0.690 % |
144.98/145.06	c |   1066021 |    1295     7449    25218 |        1    98588     20 |  0.690 % |
144.98/145.06	c |   1066123 |    1295     7449    25218 |        1    98690     20 |  0.690 % |
144.98/145.06	c |   1068101 |    1295     7449    25218 |        1   100668     21 |  0.690 % |
144.98/145.06	c |   1068464 |    1295     7449    25218 |        1   101031     21 |  0.690 % |
144.98/145.06	c |   1068566 |    1295     7449    25218 |        1   101133     21 |  0.690 % |
144.98/145.06	c |   1068952 |    1295     7449    25218 |        1   101519     21 |  0.690 % |
144.98/145.06	c |   1069347 |    1295     7449    25218 |        1   101914     21 |  0.690 % |
144.98/145.06	c |   1070849 |    1295     7449    25218 |        1   103416     22 |  0.690 % |
144.98/145.06	c |   1070949 |    1295     7449    25218 |        1   103516     22 |  0.690 % |
144.98/145.06	c |   1071385 |    1295     7449    25218 |        1   103952     22 |  0.690 % |
144.98/145.06	c |   1072926 |    1295     7449    25218 |        1   105493     22 |  0.690 % |
144.98/145.06	c |   1073026 |    1295     7449    25218 |        1   105593     22 |  0.690 % |
144.98/145.06	c |   1073128 |    1295     7449    25218 |        1   105695     22 |  0.690 % |
144.98/145.06	c |   1073228 |    1295     7449    25218 |        1   105795     22 |  0.690 % |
144.98/145.06	c |   1073440 |    1295     7449    25218 |        1   106007     22 |  0.690 % |
144.98/145.06	c |   1089185 |    1294     7447    25212 |        1   114294     22 |  0.767 % |
144.98/145.06	c |   1091413 |    1294     7447    25212 |        1   116522     22 |  0.767 % |
144.98/145.06	c |   1091514 |    1294     7447    25212 |        1   116623     22 |  0.767 % |
144.98/145.06	c |   1091614 |    1294     7447    25212 |        1   116723     22 |  0.767 % |
144.98/145.06	c |   1091714 |    1294     7447    25212 |        1   116823     22 |  0.767 % |
144.98/145.06	c |   1091815 |    1294     7447    25212 |        1   116924     22 |  0.767 % |
144.98/145.06	c |   1091921 |    1294     7447    25212 |        1   117030     22 |  0.767 % |
144.98/145.06	c |   1092111 |    1294     7447    25212 |        1   117220     22 |  0.767 % |
144.98/145.06	c |   1092211 |    1294     7447    25212 |        1   117320     22 |  0.767 % |
144.98/145.06	c |   1092322 |    1294     7447    25212 |        1   117431     22 |  0.767 % |
144.98/145.06	c |   1092423 |    1294     7447    25212 |        1   117532     22 |  0.767 % |
144.98/145.06	c |   1092523 |    1294     7447    25212 |        1   117632     22 |  0.767 % |
144.98/145.06	c |   1092623 |    1294     7447    25212 |        1   117732     22 |  0.767 % |
144.98/145.06	c |   1092723 |    1294     7447    25212 |        1   117832     22 |  0.767 % |
144.98/145.06	c |   1092824 |    1294     7447    25212 |        1   117933     22 |  0.767 % |
144.98/145.06	c |   1093711 |    1294     7447    25212 |        1   118820     23 |  0.767 % |
144.98/145.06	c |   1093943 |    1294     7447    25212 |        1   119052     23 |  0.767 % |
144.98/145.06	c |   1094045 |    1294     7447    25212 |        1   119154     23 |  0.767 % |
144.98/145.06	c |   1148333 |    1294     7447    25212 |        1    99492     15 |  0.767 % |
144.98/145.06	c |   1148435 |    1294     7447    25212 |        1    99594     15 |  0.767 % |
144.98/145.06	c |   1148537 |    1294     7447    25212 |        1    99696     15 |  0.767 % |
144.98/145.06	c |   1170726 |    1294     7447    25212 |        1   121885     18 |  0.767 % |
144.98/145.06	c |   1170827 |    1294     7447    25212 |        1   121986     18 |  0.767 % |
152.08/152.14	c |   1170929 |    1294     7447    25212 |        1   122088     18 |  0.767 % |
152.08/152.14	c |   1171030 |    1294     7447    25212 |        1   122189     18 |  0.767 % |
152.08/152.14	c |   1171130 |    1294     7447    25212 |        1   122289     18 |  0.767 % |
152.08/152.14	c |   1171282 |    1294     7447    25212 |        1   122441     18 |  0.767 % |
152.08/152.14	c |   1175251 |    1294     7447    25212 |        1   126410     18 |  0.767 % |
152.08/152.14	c |   1175351 |    1294     7447    25212 |        1   126510     18 |  0.767 % |
152.08/152.14	c |   1175451 |    1294     7447    25212 |        1   126610     18 |  0.767 % |
152.08/152.14	c |   1176087 |    1294     7447    25212 |        1   127246     18 |  0.767 % |
152.08/152.14	c |   1176188 |    1294     7447    25212 |        1   127347     18 |  0.767 % |
152.08/152.14	c |   1176672 |    1294     7447    25212 |        1   127831     19 |  0.767 % |
152.08/152.14	c |   1177009 |    1294     7447    25212 |        1   128168     19 |  0.767 % |
152.08/152.14	c |   1177109 |    1294     7447    25212 |        1   128268     19 |  0.767 % |
152.08/152.14	c |   1177212 |    1294     7447    25212 |        1   128371     19 |  0.767 % |
152.08/152.14	c |   1177312 |    1294     7447    25212 |        1   128471     19 |  0.767 % |
152.08/152.14	c |   1177570 |    1294     7447    25212 |        1   128729     19 |  0.767 % |
152.08/152.14	c |   1178561 |    1294     7447    25212 |        1   129720     19 |  0.767 % |
152.08/152.14	c |   1179229 |    1294     7447    25212 |        1   130388     19 |  0.767 % |
152.08/152.14	c |   1179390 |    1294     7447    25212 |        1   130549     19 |  0.767 % |
152.08/152.14	c |   1179735 |    1294     7447    25212 |        1   130894     19 |  0.767 % |
152.08/152.14	c |   1179926 |    1294     7447    25212 |        1   131085     19 |  0.767 % |
152.08/152.14	c |   1180026 |    1294     7447    25212 |        1   131185     19 |  0.767 % |
152.08/152.14	c |   1180128 |    1294     7447    25212 |        1   131287     19 |  0.767 % |
152.08/152.14	c |   1180229 |    1294     7447    25212 |        1   131388     19 |  0.767 % |
152.08/152.14	c |   1180329 |    1294     7447    25212 |        1   131488     19 |  0.767 % |
152.08/152.14	c |   1180761 |    1294     7447    25212 |        1   131920     19 |  0.767 % |
152.08/152.14	c |   1180861 |    1294     7447    25212 |        1   132020     19 |  0.767 % |
152.08/152.14	c |   1185990 |    1294     7447    25212 |        1   137149     19 |  0.767 % |
152.08/152.14	c |   1186090 |    1294     7447    25212 |        1   137249     19 |  0.767 % |
152.08/152.14	c |   1208851 |    1294     7447    25212 |        1    84142     13 |  0.767 % |
152.08/152.14	c |   1208952 |    1294     7447    25212 |        1    84243     13 |  0.767 % |
152.08/152.14	c |   1209956 |    1294     7447    25212 |        1    85247     13 |  0.767 % |
152.08/152.14	c |   1210056 |    1294     7447    25212 |        1    85347     13 |  0.767 % |
152.08/152.14	c |   1210156 |    1294     7447    25212 |        1    85447     13 |  0.767 % |
152.08/152.14	c |   1210257 |    1294     7447    25212 |        1    85548     13 |  0.767 % |
152.08/152.14	c |   1210625 |    1294     7447    25212 |        1    85916     13 |  0.767 % |
152.08/152.14	c |   1210823 |    1294     7447    25212 |        1    86114     13 |  0.767 % |
152.08/152.14	c |   1211169 |    1294     7447    25212 |        1    86460     13 |  0.767 % |
152.08/152.14	c |   1211269 |    1294     7447    25212 |        1    86560     13 |  0.767 % |
152.08/152.14	c |   1211888 |    1294     7447    25212 |        1    87179     14 |  0.767 % |
152.08/152.14	c |   1212049 |    1294     7447    25212 |        1    87340     14 |  0.767 % |
152.08/152.14	c |   1212480 |    1294     7447    25212 |        1    87771     14 |  0.767 % |
152.08/152.14	c |   1212580 |    1294     7447    25212 |        1    87871     14 |  0.767 % |
152.08/152.14	c |   1212688 |    1294     7447    25212 |        1    87979     14 |  0.767 % |
152.08/152.14	c |   1212788 |    1294     7447    25212 |        1    88079     14 |  0.767 % |
152.08/152.14	c |   1212888 |    1294     7447    25212 |        1    88179     14 |  0.767 % |
152.08/152.14	c |   1213149 |    1294     7447    25212 |        1    88440     14 |  0.767 % |
152.08/152.14	c |   1213249 |    1294     7447    25212 |        1    88540     14 |  0.767 % |
152.08/152.14	c |   1213351 |    1294     7447    25212 |        1    88642     14 |  0.767 % |
152.08/152.14	c |   1213452 |    1294     7447    25212 |        1    88743     14 |  0.767 % |
152.08/152.14	c |   1214573 |    1294     7447    25212 |        1    89864     14 |  0.767 % |
159.08/159.12	c |   1214674 |    1294     7447    25212 |        1    89965     14 |  0.767 % |
159.08/159.12	c |   1214914 |    1294     7447    25212 |        1    90205     15 |  0.767 % |
159.08/159.12	c |   1215031 |    1294     7447    25212 |        1    90322     15 |  0.767 % |
159.08/159.12	c |   1215630 |    1294     7447    25212 |        1    90921     15 |  0.767 % |
159.08/159.12	c |   1215730 |    1294     7447    25212 |        1    91021     15 |  0.767 % |
159.08/159.12	c |   1216894 |    1294     7447    25212 |        1    92185     15 |  0.767 % |
159.08/159.12	c |   1217904 |    1294     7447    25212 |        1    93195     15 |  0.767 % |
159.08/159.12	c |   1218004 |    1294     7447    25212 |        1    93295     15 |  0.767 % |
159.08/159.12	c |   1218105 |    1294     7447    25212 |        1    93396     15 |  0.767 % |
159.08/159.12	c |   1226231 |    1294     7447    25212 |        1   101522     18 |  0.767 % |
159.08/159.12	c |   1226334 |    1294     7447    25212 |        1   101625     18 |  0.767 % |
159.08/159.12	c |   1226435 |    1294     7447    25212 |        1   101726     18 |  0.767 % |
159.08/159.12	c |   1226536 |    1294     7447    25212 |        1   101827     18 |  0.767 % |
159.08/159.12	c |   1226637 |    1294     7447    25212 |        1   101928     18 |  0.767 % |
159.08/159.12	c |   1228738 |    1294     7447    25212 |        1   104029     18 |  0.767 % |
159.08/159.12	c |   1230151 |    1294     7447    25212 |        1   105442     18 |  0.767 % |
159.08/159.12	c |   1230251 |    1294     7447    25212 |        1   105542     18 |  0.767 % |
159.08/159.12	c |   1230352 |    1294     7447    25212 |        1   105643     18 |  0.767 % |
159.08/159.12	c |   1230508 |    1294     7447    25212 |        1   105799     18 |  0.767 % |
159.08/159.12	c |   1231307 |    1294     7447    25212 |        1   106598     18 |  0.767 % |
159.08/159.12	c |   1231465 |    1294     7447    25212 |        1   106756     19 |  0.767 % |
159.08/159.12	c |   1231566 |    1294     7447    25212 |        1   106857     19 |  0.767 % |
159.08/159.12	c |   1231666 |    1294     7447    25212 |        1   106957     19 |  0.767 % |
159.08/159.12	c |   1231767 |    1294     7447    25212 |        1   107058     19 |  0.767 % |
159.08/159.12	c |   1231868 |    1294     7447    25212 |        1   107159     19 |  0.767 % |
159.08/159.12	c |   1232246 |    1294     7447    25212 |        1   107537     19 |  0.767 % |
159.08/159.12	c |   1234624 |    1294     7447    25212 |        1   109915     19 |  0.767 % |
159.08/159.12	c |   1234724 |    1294     7447    25212 |        1   110015     19 |  0.767 % |
159.08/159.12	c |   1234825 |    1294     7447    25212 |        1   110116     19 |  0.767 % |
159.08/159.12	c |   1234974 |    1294     7447    25212 |        1   110265     19 |  0.767 % |
159.08/159.12	c |   1240506 |    1294     7447    25212 |        1   115797     20 |  0.767 % |
159.08/159.12	c |   1244177 |    1294     7447    25212 |        1   119468     20 |  0.767 % |
159.08/159.12	c |   1244277 |    1294     7447    25212 |        1   119568     20 |  0.767 % |
159.08/159.12	c |   1244571 |    1294     7447    25212 |        1   119862     20 |  0.767 % |
159.08/159.12	c |   1244671 |    1294     7447    25212 |        1   119962     20 |  0.767 % |
159.08/159.12	c |   1244885 |    1294     7447    25212 |        1   120176     20 |  0.767 % |
159.08/159.12	c |   1244986 |    1294     7447    25212 |        1   120277     20 |  0.767 % |
159.08/159.12	c |   1245088 |    1294     7447    25212 |        1   120379     20 |  0.767 % |
159.08/159.12	c |   1245188 |    1294     7447    25212 |        1   120479     20 |  0.767 % |
159.08/159.12	c |   1245476 |    1294     7447    25212 |        1   120767     20 |  0.767 % |
159.08/159.12	c |   1245578 |    1294     7447    25212 |        1   120869     20 |  0.767 % |
159.08/159.12	c |   1246215 |    1294     7447    25212 |        1   121506     20 |  0.767 % |
159.08/159.12	c |   1246316 |    1294     7447    25212 |        1   121607     20 |  0.767 % |
159.08/159.12	c |   1246416 |    1294     7447    25212 |        1   121707     20 |  0.767 % |
159.08/159.12	c |   1246516 |    1294     7447    25212 |        1   121807     20 |  0.767 % |
159.08/159.12	c |   1251876 |    1294     7447    25212 |        1   127167     20 |  0.767 % |
159.08/159.12	c |   1251976 |    1294     7447    25212 |        1   127267     20 |  0.767 % |
159.08/159.12	c |   1252078 |    1294     7447    25212 |        1   127369     20 |  0.767 % |
159.08/159.12	c |   1252962 |    1294     7447    25212 |        1   128253     20 |  0.767 % |
159.08/159.12	c |   1253065 |    1294     7447    25212 |        1   128356     20 |  0.767 % |
174.28/174.39	c |   1254700 |    1294     7447    25212 |        1   129991     21 |  0.767 % |
174.28/174.39	c |   1254800 |    1294     7447    25212 |        1   130091     21 |  0.767 % |
174.28/174.39	c |   1254900 |    1294     7447    25212 |        1   130191     21 |  0.767 % |
174.28/174.39	c |   1255053 |    1294     7447    25212 |        1   130344     21 |  0.767 % |
174.28/174.39	c |   1255156 |    1294     7447    25212 |        1   130447     21 |  0.767 % |
174.28/174.39	c |   1285032 |    1294     7447    25212 |        1    82191     13 |  0.767 % |
174.28/174.39	c |   1285134 |    1294     7447    25212 |        1    82293     13 |  0.767 % |
174.28/174.39	c |   1285467 |    1294     7447    25212 |        1    82626     13 |  0.767 % |
174.28/174.39	c |   1285576 |    1294     7447    25212 |        1    82735     13 |  0.767 % |
174.28/174.39	c |   1285679 |    1294     7447    25212 |        1    82838     13 |  0.767 % |
174.28/174.39	c |   1287213 |    1294     7447    25212 |        1    84372     14 |  0.767 % |
174.28/174.39	c |   1300534 |    1294     7447    25212 |        1    97693     15 |  0.767 % |
174.28/174.39	c |   1300634 |    1294     7447    25212 |        1    97793     15 |  0.767 % |
174.28/174.39	c |   1300735 |    1294     7447    25212 |        1    97894     15 |  0.767 % |
174.28/174.39	c |   1300835 |    1294     7447    25212 |        1    97994     15 |  0.767 % |
174.28/174.39	c |   1301539 |    1294     7447    25212 |        1    98698     15 |  0.767 % |
174.28/174.39	c |   1301639 |    1294     7447    25212 |        1    98798     15 |  0.767 % |
174.28/174.39	c |   1301754 |    1294     7447    25212 |        1    98913     15 |  0.767 % |
174.28/174.39	c |   1301854 |    1294     7447    25212 |        1    99013     15 |  0.767 % |
174.28/174.39	c |   1301954 |    1294     7447    25212 |        1    99113     15 |  0.767 % |
174.28/174.39	c |   1302054 |    1294     7447    25212 |        1    99213     15 |  0.767 % |
174.28/174.39	c |   1302197 |    1294     7447    25212 |        1    99356     15 |  0.767 % |
174.28/174.39	c |   1302377 |    1294     7447    25212 |        1    99536     15 |  0.767 % |
174.28/174.39	c |   1302698 |    1294     7447    25212 |        1    99857     15 |  0.767 % |
174.28/174.39	c |   1302898 |    1294     7447    25212 |        1   100057     15 |  0.767 % |
174.28/174.39	c |   1303015 |    1294     7447    25212 |        1   100174     15 |  0.767 % |
174.28/174.39	c |   1303245 |    1294     7447    25212 |        1   100404     15 |  0.767 % |
174.28/174.39	c |   1303346 |    1294     7447    25212 |        1   100505     15 |  0.767 % |
174.28/174.39	c |   1304206 |    1294     7447    25212 |        1   101365     15 |  0.767 % |
174.28/174.39	c |   1304308 |    1294     7447    25212 |        1   101467     15 |  0.767 % |
174.28/174.39	c |   1304519 |    1294     7447    25212 |        1   101678     15 |  0.767 % |
174.28/174.39	c |   1304622 |    1294     7447    25212 |        1   101781     16 |  0.767 % |
174.28/174.39	c |   1304724 |    1294     7447    25212 |        1   101883     16 |  0.767 % |
174.28/174.39	c |   1304826 |    1294     7447    25212 |        1   101985     16 |  0.767 % |
174.28/174.39	c |   1304967 |    1294     7447    25212 |        1   102126     16 |  0.767 % |
174.28/174.39	c |   1309002 |    1294     7447    25212 |        1   106161     16 |  0.767 % |
174.28/174.39	c |   1309203 |    1294     7447    25212 |        1   106362     16 |  0.767 % |
174.28/174.39	c |   1309304 |    1294     7447    25212 |        1   106463     16 |  0.767 % |
174.28/174.39	c |   1311173 |    1294     7447    25212 |        1   108332     17 |  0.767 % |
174.28/174.39	c |   1311635 |    1294     7447    25212 |        1   108794     17 |  0.767 % |
174.28/174.39	c |   1315304 |    1294     7447    25212 |        1   112463     17 |  0.767 % |
174.28/174.39	c |   1315405 |    1294     7447    25212 |        1   112564     17 |  0.767 % |
174.28/174.39	c |   1315542 |    1294     7447    25212 |        1   112701     17 |  0.767 % |
174.28/174.39	c |   1315644 |    1294     7447    25212 |        1   112803     17 |  0.767 % |
174.28/174.39	c |   1316025 |    1294     7447    25212 |        1   113184     17 |  0.767 % |
174.28/174.39	c |   1316126 |    1294     7447    25212 |        1   113285     17 |  0.767 % |
174.28/174.39	c |   1316226 |    1294     7447    25212 |        1   113385     17 |  0.767 % |
174.28/174.39	c |   1330478 |    1294     7447    25212 |        1   127637     17 |  0.767 % |
174.28/174.39	c |   1330689 |    1294     7447    25212 |        1   127848     17 |  0.767 % |
174.28/174.39	c |   1331382 |    1294     7447    25212 |        1   128541     17 |  0.767 % |
189.89/189.99	c |   1331482 |    1294     7447    25212 |        1   128641     17 |  0.767 % |
189.89/189.99	c |   1331789 |    1294     7447    25212 |        1   128948     18 |  0.767 % |
189.89/189.99	c |   1331890 |    1294     7447    25212 |        1   129049     18 |  0.767 % |
189.89/189.99	c |   1331991 |    1294     7447    25212 |        1   129150     18 |  0.767 % |
189.89/189.99	c |   1332334 |    1294     7447    25212 |        1   129493     18 |  0.767 % |
189.89/189.99	c |   1332623 |    1294     7447    25212 |        1   129782     18 |  0.767 % |
189.89/189.99	c |   1332724 |    1294     7447    25212 |        1   129883     18 |  0.767 % |
189.89/189.99	c |   1332824 |    1294     7447    25212 |        1   129983     18 |  0.767 % |
189.89/189.99	c |   1333772 |    1294     7447    25212 |        1   130931     18 |  0.767 % |
189.89/189.99	c |   1335165 |    1294     7447    25212 |        1   132324     18 |  0.767 % |
189.89/189.99	c |   1336304 |    1294     7447    25212 |        1   133463     18 |  0.767 % |
189.89/189.99	c |   1337413 |    1294     7447    25212 |        1   134572     18 |  0.767 % |
189.89/189.99	c |   1337519 |    1294     7447    25212 |        1   134678     18 |  0.767 % |
189.89/189.99	c |   1337620 |    1294     7447    25212 |        1   134779     18 |  0.767 % |
189.89/189.99	c |   1338703 |    1294     7447    25212 |        1   135862     18 |  0.767 % |
189.89/189.99	c |   1338816 |    1294     7447    25212 |        1   135975     18 |  0.767 % |
189.89/189.99	c |   1338917 |    1294     7447    25212 |        1   136076     18 |  0.767 % |
189.89/189.99	c |   1384721 |    1294     7447    25212 |        1   101307     14 |  0.767 % |
189.89/189.99	c |   1384936 |    1294     7447    25212 |        1   101522     14 |  0.767 % |
189.89/189.99	c |   1385036 |    1294     7447    25212 |        1   101622     14 |  0.767 % |
189.89/189.99	c |   1387156 |    1294     7447    25212 |        1   103742     14 |  0.767 % |
189.89/189.99	c |   1387256 |    1294     7447    25212 |        1   103842     14 |  0.767 % |
189.89/189.99	c |   1389044 |    1294     7447    25212 |        1   105630     15 |  0.767 % |
189.89/189.99	c |   1389145 |    1294     7447    25212 |        1   105731     15 |  0.767 % |
189.89/189.99	c |   1389245 |    1294     7447    25212 |        1   105831     15 |  0.767 % |
189.89/189.99	c |   1389980 |    1294     7447    25212 |        1   106566     15 |  0.767 % |
189.89/189.99	c |   1390089 |    1294     7447    25212 |        1   106675     15 |  0.767 % |
189.89/189.99	c |   1390190 |    1294     7447    25212 |        1   106776     15 |  0.767 % |
189.89/189.99	c |   1390346 |    1294     7447    25212 |        1   106932     15 |  0.767 % |
189.89/189.99	c |   1394375 |    1294     7447    25212 |        1   110961     16 |  0.767 % |
189.89/189.99	c |   1394476 |    1294     7447    25212 |        1   111062     16 |  0.767 % |
189.89/189.99	c |   1394576 |    1294     7447    25212 |        1   111162     16 |  0.767 % |
189.89/189.99	c |   1394676 |    1294     7447    25212 |        1   111262     16 |  0.767 % |
189.89/189.99	c |   1395684 |    1294     7447    25212 |        1   112270     16 |  0.767 % |
189.89/189.99	c |   1395784 |    1294     7447    25212 |        1   112370     16 |  0.767 % |
189.89/189.99	c |   1397617 |    1294     7447    25212 |        1   114203     16 |  0.767 % |
189.89/189.99	c |   1397719 |    1294     7447    25212 |        1   114305     16 |  0.767 % |
189.89/189.99	c |   1397903 |    1294     7447    25212 |        1   114489     16 |  0.767 % |
189.89/189.99	c |   1398003 |    1294     7447    25212 |        1   114589     16 |  0.767 % |
189.89/189.99	c |   1398104 |    1294     7447    25212 |        1   114690     17 |  0.767 % |
189.89/189.99	c |   1400005 |    1294     7447    25212 |        1   116591     17 |  0.767 % |
189.89/189.99	c |   1400107 |    1294     7447    25212 |        1   116693     17 |  0.767 % |
189.89/189.99	c |   1400207 |    1294     7447    25212 |        1   116793     17 |  0.767 % |
189.89/189.99	c |   1400577 |    1294     7447    25212 |        1   117163     17 |  0.767 % |
189.89/189.99	c |   1401102 |    1294     7447    25212 |        1   117688     17 |  0.767 % |
189.89/189.99	c |   1404144 |    1294     7447    25212 |        1   120730     18 |  0.767 % |
189.89/189.99	c |   1404246 |    1294     7447    25212 |        1   120832     18 |  0.767 % |
189.89/189.99	c |   1409241 |    1294     7447    25212 |        1   125827     18 |  0.767 % |
189.89/189.99	c |   1409341 |    1294     7447    25212 |        1   125927     18 |  0.767 % |
189.89/189.99	c |   1411471 |    1294     7447    25212 |        1   128057     18 |  0.767 % |
200.49/200.56	c |   1411572 |    1294     7447    25212 |        1   128158     18 |  0.767 % |
200.49/200.56	c |   1411675 |    1294     7447    25212 |        1   128261     18 |  0.767 % |
200.49/200.56	c |   1411775 |    1294     7447    25212 |        1   128361     18 |  0.767 % |
200.49/200.56	c |   1411878 |    1294     7447    25212 |        1   128464     18 |  0.767 % |
200.49/200.56	c |   1412075 |    1294     7447    25212 |        1   128661     19 |  0.767 % |
200.49/200.56	c |   1412176 |    1294     7447    25212 |        1   128762     19 |  0.767 % |
200.49/200.56	c |   1412276 |    1294     7447    25212 |        1   128862     19 |  0.767 % |
200.49/200.56	c |   1412376 |    1294     7447    25212 |        1   128962     19 |  0.767 % |
200.49/200.56	c |   1413496 |    1294     7447    25212 |        1   130082     19 |  0.767 % |
200.49/200.56	c |   1413599 |    1294     7447    25212 |        1   130185     19 |  0.767 % |
200.49/200.56	c |   1413702 |    1294     7447    25212 |        1   130288     19 |  0.767 % |
200.49/200.56	c |   1413802 |    1294     7447    25212 |        1   130388     19 |  0.767 % |
200.49/200.56	c |   1429480 |    1293     7445    25206 |        1   137099     19 |  0.844 % |
200.49/200.56	c |   1429770 |    1293     7445    25206 |        1   137389     19 |  0.844 % |
200.49/200.56	c |   1429871 |    1293     7445    25206 |        1   137490     19 |  0.844 % |
200.49/200.56	c |   1429971 |    1293     7445    25206 |        1   137590     20 |  0.844 % |
200.49/200.56	c |   1430073 |    1293     7445    25206 |        1   137692     20 |  0.844 % |
200.49/200.56	c |   1430368 |    1293     7445    25206 |        1   137987     20 |  0.844 % |
200.49/200.56	c |   1430468 |    1293     7445    25206 |        1   138087     20 |  0.844 % |
200.49/200.56	c |   1430568 |    1293     7445    25206 |        1   138187     20 |  0.844 % |
200.49/200.56	c |   1430669 |    1293     7445    25206 |        1   138288     20 |  0.844 % |
200.49/200.56	c |   1430967 |    1293     7445    25206 |        1   138586     20 |  0.844 % |
200.49/200.56	c |   1431067 |    1293     7445    25206 |        1   138686     20 |  0.844 % |
200.49/200.56	c |   1431241 |    1293     7445    25206 |        1   138860     20 |  0.844 % |
200.49/200.56	c |   1432167 |    1293     7445    25206 |        1   139786     20 |  0.844 % |
200.49/200.56	c |   1432267 |    1293     7445    25206 |        1   139886     20 |  0.844 % |
200.49/200.56	c |   1432568 |    1293     7445    25206 |        1   140187     20 |  0.844 % |
200.49/200.56	c |   1433867 |    1293     7445    25206 |        1   141486     20 |  0.844 % |
200.49/200.56	c |   1435129 |    1293     7445    25206 |        1   142748     20 |  0.844 % |
200.49/200.56	c |   1435257 |    1293     7445    25206 |        1   142876     20 |  0.844 % |
200.49/200.56	c |   1435358 |    1293     7445    25206 |        1   142977     20 |  0.844 % |
200.49/200.56	c |   1435460 |    1293     7445    25206 |        1   143079     20 |  0.844 % |
200.49/200.56	c |   1441034 |    1293     7445    25206 |        1   148653     21 |  0.844 % |
200.49/200.56	c |   1441134 |    1293     7445    25206 |        1   148753     21 |  0.844 % |
200.49/200.56	c |   1441234 |    1293     7445    25206 |        1   148853     21 |  0.844 % |
200.49/200.56	c |   1441334 |    1293     7445    25206 |        1   148953     21 |  0.844 % |
200.49/200.56	c |   1441434 |    1293     7445    25206 |        1   149053     21 |  0.844 % |
200.49/200.56	c |   1441534 |    1293     7445    25206 |        1   149153     21 |  0.844 % |
200.49/200.56	c |   1442030 |    1293     7445    25206 |        1   149649     21 |  0.844 % |
200.49/200.56	c |   1442130 |    1293     7445    25206 |        1   149749     21 |  0.844 % |
200.49/200.56	c |   1442231 |    1293     7445    25206 |        1   149850     22 |  0.844 % |
200.49/200.56	c |   1442533 |    1293     7445    25206 |        1   150152     22 |  0.844 % |
200.49/200.56	c |   1442905 |    1293     7445    25206 |        1   150524     22 |  0.844 % |
200.49/200.56	c |   1443008 |    1293     7445    25206 |        1   150627     22 |  0.844 % |
200.49/200.56	c |   1443370 |    1293     7445    25206 |        1   150989     22 |  0.844 % |
200.49/200.56	c |   1444262 |    1293     7445    25206 |        1   151881     22 |  0.844 % |
200.49/200.56	c |   1444362 |    1293     7445    25206 |        1   151981     22 |  0.844 % |
200.49/200.56	c |   1447228 |    1293     7445    25206 |        1   154847     22 |  0.844 % |
200.49/200.56	c |   1447330 |    1293     7445    25206 |        1   154949     22 |  0.844 % |
200.49/200.56	c |   1453165 |    1293     7445    25206 |        1    82181     14 |  0.844 % |
211.79/211.81	c |   1453303 |    1293     7445    25206 |        1    82319     14 |  0.844 % |
211.79/211.81	c |   1453562 |    1293     7445    25206 |        1    82578     14 |  0.844 % |
211.79/211.81	c |   1453675 |    1293     7445    25206 |        1    82691     14 |  0.844 % |
211.79/211.81	c |   1453777 |    1293     7445    25206 |        1    82793     14 |  0.844 % |
211.79/211.81	c |   1453893 |    1293     7445    25206 |        1    82909     14 |  0.844 % |
211.79/211.81	c |   1453994 |    1293     7445    25206 |        1    83010     14 |  0.844 % |
211.79/211.81	c |   1454141 |    1293     7445    25206 |        1    83157     14 |  0.844 % |
211.79/211.81	c |   1456664 |    1293     7445    25206 |        1    85680     14 |  0.844 % |
211.79/211.81	c |   1473285 |    1293     7445    25206 |        1   102301     19 |  0.844 % |
211.79/211.81	c |   1473636 |    1293     7445    25206 |        1   102652     20 |  0.844 % |
211.79/211.81	c |   1473740 |    1293     7445    25206 |        1   102756     20 |  0.844 % |
211.79/211.81	c |   1474008 |    1293     7445    25206 |        1   103024     20 |  0.844 % |
211.79/211.81	c |   1474112 |    1293     7445    25206 |        1   103128     20 |  0.844 % |
211.79/211.81	c |   1474212 |    1293     7445    25206 |        1   103228     20 |  0.844 % |
211.79/211.81	c |   1474312 |    1293     7445    25206 |        1   103328     20 |  0.844 % |
211.79/211.81	c |   1474610 |    1293     7445    25206 |        1   103626     20 |  0.844 % |
211.79/211.81	c |   1474710 |    1293     7445    25206 |        1   103726     20 |  0.844 % |
211.79/211.81	c |   1474813 |    1293     7445    25206 |        1   103829     20 |  0.844 % |
211.79/211.81	c |   1474914 |    1293     7445    25206 |        1   103930     20 |  0.844 % |
211.79/211.81	c |   1475082 |    1293     7445    25206 |        1   104098     20 |  0.844 % |
211.79/211.81	c |   1475197 |    1293     7445    25206 |        1   104213     20 |  0.844 % |
211.79/211.81	c |   1475297 |    1293     7445    25206 |        1   104313     20 |  0.844 % |
211.79/211.81	c |   1480424 |    1293     7445    25206 |        1   109440     20 |  0.844 % |
211.79/211.81	c |   1480524 |    1293     7445    25206 |        1   109540     20 |  0.844 % |
211.79/211.81	c |   1485610 |    1293     7445    25206 |        1   114626     20 |  0.844 % |
211.79/211.81	c |   1486390 |    1293     7445    25206 |        1   115406     20 |  0.844 % |
211.79/211.81	c |   1487672 |    1293     7445    25206 |        1   116688     21 |  0.844 % |
211.79/211.81	c |   1487772 |    1293     7445    25206 |        1   116788     21 |  0.844 % |
211.79/211.81	c |   1488516 |    1293     7445    25206 |        1   117532     21 |  0.844 % |
211.79/211.81	c |   1488616 |    1293     7445    25206 |        1   117632     21 |  0.844 % |
211.79/211.81	c |   1488718 |    1293     7445    25206 |        1   117734     21 |  0.844 % |
211.79/211.81	c |   1489160 |    1293     7445    25206 |        1   118176     21 |  0.844 % |
211.79/211.81	c |   1510945 |    1293     7445    25206 |        1   139961     20 |  0.844 % |
211.79/211.81	c |   1511046 |    1293     7445    25206 |        1   140062     20 |  0.844 % |
211.79/211.81	c |   1511229 |    1293     7445    25206 |        1   140245     20 |  0.844 % |
211.79/211.81	c |   1511331 |    1293     7445    25206 |        1   140347     20 |  0.844 % |
211.79/211.81	c |   1511516 |    1293     7445    25206 |        1   140532     20 |  0.844 % |
211.79/211.81	c |   1511616 |    1293     7445    25206 |        1   140632     21 |  0.844 % |
211.79/211.81	c |   1512930 |    1293     7445    25206 |        1   141946     21 |  0.844 % |
211.79/211.81	c |   1513030 |    1293     7445    25206 |        1   142046     21 |  0.844 % |
211.79/211.81	c |   1513131 |    1293     7445    25206 |        1   142147     21 |  0.844 % |
211.79/211.81	c |   1513231 |    1293     7445    25206 |        1   142247     21 |  0.844 % |
211.79/211.81	c |   1513331 |    1293     7445    25206 |        1   142347     21 |  0.844 % |
211.79/211.81	c |   1513454 |    1293     7445    25206 |        1   142470     21 |  0.844 % |
211.79/211.81	c |   1513555 |    1293     7445    25206 |        1   142571     21 |  0.844 % |
211.79/211.81	c |   1513657 |    1293     7445    25206 |        1   142673     21 |  0.844 % |
211.79/211.81	c |   1513758 |    1293     7445    25206 |        1   142774     21 |  0.844 % |
211.79/211.81	c |   1514449 |    1293     7445    25206 |        1   143465     21 |  0.844 % |
211.79/211.81	c |   1514549 |    1293     7445    25206 |        1   143565     21 |  0.844 % |
211.79/211.81	c |   1515838 |    1293     7445    25206 |        1   144854     21 |  0.844 % |
217.59/217.67	c |   1515938 |    1293     7445    25206 |        1   144954     21 |  0.844 % |
217.59/217.67	c |   1516038 |    1293     7445    25206 |        1   145054     21 |  0.844 % |
217.59/217.67	c |   1516292 |    1293     7445    25206 |        1   145308     21 |  0.844 % |
217.59/217.67	c |   1516392 |    1293     7445    25206 |        1   145408     21 |  0.844 % |
217.59/217.67	c |   1516492 |    1293     7445    25206 |        1   145508     21 |  0.844 % |
217.59/217.67	c |   1516592 |    1293     7445    25206 |        1   145608     21 |  0.844 % |
217.59/217.67	c |   1517014 |    1293     7445    25206 |        1   146030     21 |  0.844 % |
217.59/217.67	c |   1517114 |    1293     7445    25206 |        1   146130     21 |  0.844 % |
217.59/217.67	c |   1518898 |    1293     7445    25206 |        1   147914     22 |  0.844 % |
217.59/217.67	c |   1519703 |    1293     7445    25206 |        1   148719     22 |  0.844 % |
217.59/217.67	c |   1520148 |    1293     7445    25206 |        1   149164     22 |  0.844 % |
217.59/217.67	c |   1522383 |    1293     7445    25206 |        1   151399     22 |  0.844 % |
217.59/217.67	c |   1522486 |    1293     7445    25206 |        1   151502     22 |  0.844 % |
217.59/217.67	c |   1522586 |    1293     7445    25206 |        1   151602     22 |  0.844 % |
217.59/217.67	c |   1522882 |    1293     7445    25206 |        1   151898     22 |  0.844 % |
217.59/217.67	c |   1523559 |    1293     7445    25206 |        1   152575     22 |  0.844 % |
217.59/217.67	c |   1523661 |    1293     7445    25206 |        1   152677     22 |  0.844 % |
217.59/217.67	c |   1527643 |    1293     7445    25206 |        1   156659     22 |  0.844 % |
217.59/217.67	c |   1527744 |    1293     7445    25206 |        1   156760     22 |  0.844 % |
217.59/217.67	c |   1527986 |    1293     7445    25206 |        1   157002     22 |  0.844 % |
217.59/217.67	c |   1528087 |    1293     7445    25206 |        1   157103     22 |  0.844 % |
217.59/217.67	c |   1529086 |    1293     7445    25206 |        1   158102     23 |  0.844 % |
217.59/217.67	c |   1529358 |    1293     7445    25206 |        1   158374     23 |  0.844 % |
217.59/217.67	c |   1529461 |    1293     7445    25206 |        1   158477     23 |  0.844 % |
217.59/217.67	c |   1533840 |    1293     7445    25206 |        1   162856     23 |  0.844 % |
217.59/217.67	c |   1533942 |    1293     7445    25206 |        1   162958     23 |  0.844 % |
217.59/217.67	c |   1534042 |    1293     7445    25206 |        1   163058     23 |  0.844 % |
217.59/217.67	c |   1534144 |    1293     7445    25206 |        1   163160     23 |  0.844 % |
217.59/217.67	c |   1534334 |    1293     7445    25206 |        1   163350     23 |  0.844 % |
217.59/217.67	c |   1534434 |    1293     7445    25206 |        1   163450     23 |  0.844 % |
217.59/217.67	c |   1534683 |    1293     7445    25206 |        1   163699     24 |  0.844 % |
217.59/217.67	c |   1534785 |    1293     7445    25206 |        1   163801     24 |  0.844 % |
217.59/217.67	c |   1534885 |    1293     7445    25206 |        1   163901     24 |  0.844 % |
217.59/217.67	c |   1535245 |    1293     7445    25206 |        1   164261     24 |  0.844 % |
217.59/217.67	c |   1535674 |    1293     7445    25206 |        1   164690     24 |  0.844 % |
217.59/217.67	c |   1535920 |    1293     7445    25206 |        1   164936     24 |  0.844 % |
217.59/217.67	c |   1536021 |    1293     7445    25206 |        1   165037     24 |  0.844 % |
217.59/217.67	c |   1537976 |    1293     7445    25206 |        1    83592     13 |  0.844 % |
217.59/217.67	c |   1538077 |    1293     7445    25206 |        1    83693     13 |  0.844 % |
217.59/217.67	c |   1538294 |    1293     7445    25206 |        1    83910     13 |  0.844 % |
217.59/217.67	c |   1538396 |    1293     7445    25206 |        1    84012     13 |  0.844 % |
217.59/217.67	c |   1538556 |    1293     7445    25206 |        1    84172     14 |  0.844 % |
217.59/217.67	c |   1538657 |    1293     7445    25206 |        1    84273     14 |  0.844 % |
217.59/217.67	c |   1538759 |    1293     7445    25206 |        1    84375     14 |  0.844 % |
217.59/217.67	c |   1539127 |    1293     7445    25206 |        1    84743     14 |  0.844 % |
217.59/217.67	c |   1539227 |    1293     7445    25206 |        1    84843     14 |  0.844 % |
217.59/217.67	c |   1539412 |    1293     7445    25206 |        1    85028     14 |  0.844 % |
217.59/217.67	c |   1539513 |    1293     7445    25206 |        1    85129     14 |  0.844 % |
217.59/217.67	c |   1539613 |    1293     7445    25206 |        1    85229     14 |  0.844 % |
217.59/217.67	c |   1539716 |    1293     7445    25206 |        1    85332     14 |  0.844 % |
236.39/236.47	c |   1592915 |    1293     7445    25206 |        1   138531     16 |  0.844 % |
236.39/236.47	c |   1593015 |    1293     7445    25206 |        1   138631     16 |  0.844 % |
236.39/236.47	c |   1594499 |    1293     7445    25206 |        1   140115     16 |  0.844 % |
236.39/236.47	c |   1594600 |    1293     7445    25206 |        1   140216     16 |  0.844 % |
236.39/236.47	c |   1595380 |    1293     7445    25206 |        1   140996     16 |  0.844 % |
236.39/236.47	c |   1595481 |    1293     7445    25206 |        1   141097     16 |  0.844 % |
236.39/236.47	c |   1595583 |    1293     7445    25206 |        1   141199     16 |  0.844 % |
236.39/236.47	c |   1595688 |    1293     7445    25206 |        1   141304     16 |  0.844 % |
236.39/236.47	c |   1596370 |    1293     7445    25206 |        1   141986     16 |  0.844 % |
236.39/236.47	c |   1596471 |    1293     7445    25206 |        1   142087     16 |  0.844 % |
236.39/236.47	c |   1596664 |    1293     7445    25206 |        1   142280     16 |  0.844 % |
236.39/236.47	c |   1596764 |    1293     7445    25206 |        1   142380     16 |  0.844 % |
236.39/236.47	c |   1598240 |    1293     7445    25206 |        1   143856     16 |  0.844 % |
236.39/236.47	c |   1598653 |    1293     7445    25206 |        1   144269     17 |  0.844 % |
236.39/236.47	c |   1598758 |    1293     7445    25206 |        1   144374     17 |  0.844 % |
236.39/236.47	c |   1598859 |    1293     7445    25206 |        1   144475     17 |  0.844 % |
236.39/236.47	c |   1598963 |    1293     7445    25206 |        1   144579     17 |  0.844 % |
236.39/236.47	c |   1599066 |    1293     7445    25206 |        1   144682     17 |  0.844 % |
236.39/236.47	c |   1599757 |    1293     7445    25206 |        1   145373     17 |  0.844 % |
236.39/236.47	c |   1608837 |    1293     7445    25206 |        1   154453     17 |  0.844 % |
236.39/236.47	c |   1608982 |    1293     7445    25206 |        1   154598     17 |  0.844 % |
236.39/236.47	c |   1609084 |    1293     7445    25206 |        1   154700     17 |  0.844 % |
236.39/236.47	c |   1609409 |    1293     7445    25206 |        1   155025     17 |  0.844 % |
236.39/236.47	c |   1609509 |    1293     7445    25206 |        1   155125     17 |  0.844 % |
236.39/236.47	c |   1609614 |    1293     7445    25206 |        1   155230     17 |  0.844 % |
236.39/236.47	c |   1609715 |    1293     7445    25206 |        1   155331     17 |  0.844 % |
236.39/236.47	c |   1609818 |    1293     7445    25206 |        1   155434     17 |  0.844 % |
236.39/236.47	c |   1609919 |    1293     7445    25206 |        1   155535     17 |  0.844 % |
236.39/236.47	c |   1610936 |    1293     7445    25206 |        1   156552     17 |  0.844 % |
236.39/236.47	c |   1611071 |    1293     7445    25206 |        1   156687     17 |  0.844 % |
236.39/236.47	c |   1611398 |    1293     7445    25206 |        1   157014     17 |  0.844 % |
236.39/236.47	c |   1612294 |    1293     7445    25206 |        1   157910     17 |  0.844 % |
236.39/236.47	c |   1613818 |    1293     7445    25206 |        1   159434     17 |  0.844 % |
236.39/236.47	c |   1613918 |    1293     7445    25206 |        1   159534     17 |  0.844 % |
236.39/236.47	c |   1614109 |    1293     7445    25206 |        1   159725     18 |  0.844 % |
236.39/236.47	c |   1614212 |    1293     7445    25206 |        1   159828     18 |  0.844 % |
236.39/236.47	c |   1614313 |    1293     7445    25206 |        1   159929     18 |  0.844 % |
236.39/236.47	c |   1614413 |    1293     7445    25206 |        1   160029     18 |  0.844 % |
236.39/236.47	c |   1614514 |    1293     7445    25206 |        1   160130     18 |  0.844 % |
236.39/236.47	c |   1614616 |    1293     7445    25206 |        1   160232     18 |  0.844 % |
236.39/236.47	c |   1614716 |    1293     7445    25206 |        1   160332     18 |  0.844 % |
236.39/236.47	c |   1624060 |    1293     7445    25206 |        1   169676     18 |  0.844 % |
236.39/236.47	c |   1624211 |    1293     7445    25206 |        1   169827     18 |  0.844 % |
236.39/236.47	c |   1624314 |    1293     7445    25206 |        1   169930     18 |  0.844 % |
236.39/236.47	c |   1624527 |    1293     7445    25206 |        1   170143     18 |  0.844 % |
236.39/236.47	c |   1625457 |    1293     7445    25206 |        1   171073     18 |  0.844 % |
236.39/236.47	c |   1625559 |    1293     7445    25206 |        1   171175     18 |  0.844 % |
236.39/236.47	c |   1625731 |    1293     7445    25206 |        1   171347     19 |  0.844 % |
236.39/236.47	c |   1626007 |    1293     7445    25206 |        1   171623     19 |  0.844 % |
236.39/236.47	c |   1626108 |    1293     7445    25206 |        1   171724     19 |  0.844 % |
256.59/256.61	c |   1627001 |    1293     7445    25206 |        1   172617     19 |  0.844 % |
256.59/256.61	c |   1627101 |    1293     7445    25206 |        1   172717     19 |  0.844 % |
256.59/256.61	c |   1627202 |    1293     7445    25206 |        1   172818     19 |  0.844 % |
256.59/256.61	c |   1627302 |    1293     7445    25206 |        1   172918     19 |  0.844 % |
256.59/256.61	c |   1627404 |    1293     7445    25206 |        1   173020     19 |  0.844 % |
256.59/256.61	c |   1627625 |    1293     7445    25206 |        1   173241     19 |  0.844 % |
256.59/256.61	c |   1651120 |    1293     7445    25206 |        1   109634     14 |  0.844 % |
256.59/256.61	c |   1667099 |    1293     7445    25206 |        1   125613     15 |  0.844 % |
256.59/256.61	c |   1667199 |    1293     7445    25206 |        1   125713     15 |  0.844 % |
256.59/256.61	c |   1667314 |    1293     7445    25206 |        1   125828     15 |  0.844 % |
256.59/256.61	c |   1667415 |    1293     7445    25206 |        1   125929     15 |  0.844 % |
256.59/256.61	c |   1668877 |    1293     7445    25206 |        1   127391     16 |  0.844 % |
256.59/256.61	c |   1669186 |    1293     7445    25206 |        1   127700     16 |  0.844 % |
256.59/256.61	c |   1669314 |    1293     7445    25206 |        1   127828     16 |  0.844 % |
256.59/256.61	c |   1669415 |    1293     7445    25206 |        1   127929     16 |  0.844 % |
256.59/256.61	c |   1669515 |    1293     7445    25206 |        1   128029     16 |  0.844 % |
256.59/256.61	c |   1669615 |    1293     7445    25206 |        1   128129     16 |  0.844 % |
256.59/256.61	c |   1671819 |    1293     7445    25206 |        1   130333     16 |  0.844 % |
256.59/256.61	c |   1671919 |    1293     7445    25206 |        1   130433     17 |  0.844 % |
256.59/256.61	c |   1672019 |    1293     7445    25206 |        1   130533     17 |  0.844 % |
256.59/256.61	c |   1672119 |    1293     7445    25206 |        1   130633     17 |  0.844 % |
256.59/256.61	c |   1675263 |    1293     7445    25206 |        1   133777     17 |  0.844 % |
256.59/256.61	c |   1677786 |    1293     7445    25206 |        1   136300     18 |  0.844 % |
256.59/256.61	c |   1677887 |    1293     7445    25206 |        1   136401     18 |  0.844 % |
256.59/256.61	c |   1678597 |    1293     7445    25206 |        1   137111     18 |  0.844 % |
256.59/256.61	c |   1679298 |    1293     7445    25206 |        1   137812     18 |  0.844 % |
256.59/256.61	c |   1679716 |    1293     7445    25206 |        1   138230     18 |  0.844 % |
256.59/256.61	c |   1690329 |    1293     7445    25206 |        1   148843     20 |  0.844 % |
256.59/256.61	c |   1690626 |    1293     7445    25206 |        1   149140     20 |  0.844 % |
256.59/256.61	c |   1690727 |    1293     7445    25206 |        1   149241     20 |  0.844 % |
256.59/256.61	c |   1697062 |    1293     7445    25206 |        1   155576     20 |  0.844 % |
256.59/256.61	c |   1697162 |    1293     7445    25206 |        1   155676     20 |  0.844 % |
256.59/256.61	c |   1697262 |    1293     7445    25206 |        1   155776     20 |  0.844 % |
256.59/256.61	c |   1697362 |    1293     7445    25206 |        1   155876     20 |  0.844 % |
256.59/256.61	c |   1697464 |    1293     7445    25206 |        1   155978     20 |  0.844 % |
256.59/256.61	c |   1697615 |    1293     7445    25206 |        1   156129     20 |  0.844 % |
256.59/256.61	c |   1715725 |    1293     7445    25206 |        1   174239     22 |  0.844 % |
256.59/256.61	c |   1715826 |    1293     7445    25206 |        1   174340     22 |  0.844 % |
256.59/256.61	c |   1717100 |    1293     7445    25206 |        1   175614     22 |  0.844 % |
256.59/256.61	c |   1717201 |    1293     7445    25206 |        1   175715     22 |  0.844 % |
256.59/256.61	c |   1717302 |    1293     7445    25206 |        1   175816     22 |  0.844 % |
256.59/256.61	c |   1717404 |    1293     7445    25206 |        1   175918     22 |  0.844 % |
256.59/256.61	c |   1718064 |    1293     7445    25206 |        1   176578     22 |  0.844 % |
256.59/256.61	c |   1721600 |    1293     7445    25206 |        1   180114     22 |  0.844 % |
256.59/256.61	c |   1721700 |    1293     7445    25206 |        1   180214     22 |  0.844 % |
256.59/256.61	c |   1721802 |    1293     7445    25206 |        1   180316     22 |  0.844 % |
256.59/256.61	c |   1722254 |    1293     7445    25206 |        1    90515     14 |  0.844 % |
256.59/256.61	c |   1722354 |    1293     7445    25206 |        1    90615     14 |  0.844 % |
256.59/256.61	c |   1723357 |    1293     7445    25206 |        1    91618     14 |  0.844 % |
256.59/256.61	c |   1723457 |    1293     7445    25206 |        1    91718     14 |  0.844 % |
261.60/261.60	c |   1723564 |    1293     7445    25206 |        1    91825     14 |  0.844 % |
261.60/261.60	c |   1724257 |    1293     7445    25206 |        1    92518     14 |  0.844 % |
261.60/261.60	c |   1724526 |    1293     7445    25206 |        1    92787     14 |  0.844 % |
261.60/261.60	c |   1726607 |    1293     7445    25206 |        1    94868     15 |  0.844 % |
261.60/261.60	c |   1726708 |    1293     7445    25206 |        1    94969     15 |  0.844 % |
261.60/261.60	c |   1726809 |    1293     7445    25206 |        1    95070     15 |  0.844 % |
261.60/261.60	c |   1726910 |    1293     7445    25206 |        1    95171     15 |  0.844 % |
261.60/261.60	c |   1727010 |    1293     7445    25206 |        1    95271     15 |  0.844 % |
261.60/261.60	c |   1727110 |    1293     7445    25206 |        1    95371     15 |  0.844 % |
261.60/261.60	c |   1727212 |    1293     7445    25206 |        1    95473     15 |  0.844 % |
261.60/261.60	c |   1727360 |    1293     7445    25206 |        1    95621     15 |  0.844 % |
261.60/261.60	c |   1727975 |    1293     7445    25206 |        1    96236     15 |  0.844 % |
261.60/261.60	c |   1728076 |    1293     7445    25206 |        1    96337     15 |  0.844 % |
261.60/261.60	c |   1728566 |    1293     7445    25206 |        1    96827     15 |  0.844 % |
261.60/261.60	c |   1728666 |    1293     7445    25206 |        1    96927     15 |  0.844 % |
261.60/261.60	c |   1729358 |    1293     7445    25206 |        1    97619     16 |  0.844 % |
261.60/261.60	c |   1729799 |    1293     7445    25206 |        1    98060     16 |  0.844 % |
261.60/261.60	c |   1729900 |    1293     7445    25206 |        1    98161     16 |  0.844 % |
261.60/261.60	c |   1730002 |    1293     7445    25206 |        1    98263     16 |  0.844 % |
261.60/261.60	c |   1731162 |    1293     7445    25206 |        1    99423     16 |  0.844 % |
261.60/261.60	c |   1731428 |    1293     7445    25206 |        1    99689     16 |  0.844 % |
261.60/261.60	c |   1731529 |    1293     7445    25206 |        1    99790     16 |  0.844 % |
261.60/261.60	c |   1731757 |    1293     7445    25206 |        1   100018     16 |  0.844 % |
261.60/261.60	c |   1732045 |    1293     7445    25206 |        1   100306     16 |  0.844 % |
261.60/261.60	c |   1733978 |    1293     7445    25206 |        1   102239     17 |  0.844 % |
261.60/261.60	c |   1734082 |    1293     7445    25206 |        1   102343     17 |  0.844 % |
261.60/261.60	c |   1737577 |    1293     7445    25206 |        1   105838     17 |  0.844 % |
261.60/261.60	c |   1737681 |    1293     7445    25206 |        1   105942     18 |  0.844 % |
261.60/261.60	c |   1737782 |    1293     7445    25206 |        1   106043     18 |  0.844 % |
261.60/261.60	c |   1738534 |    1293     7445    25206 |        1   106795     18 |  0.844 % |
261.60/261.60	c |   1738634 |    1293     7445    25206 |        1   106895     18 |  0.844 % |
261.60/261.60	c |   1738735 |    1293     7445    25206 |        1   106996     18 |  0.844 % |
261.60/261.60	c |   1739557 |    1293     7445    25206 |        1   107818     18 |  0.844 % |
261.60/261.60	c |   1748142 |    1293     7445    25206 |        1   116403     18 |  0.844 % |
261.60/261.60	c |   1748252 |    1293     7445    25206 |        1   116513     18 |  0.844 % |
261.60/261.60	c |   1749667 |    1293     7445    25206 |        1   117928     18 |  0.844 % |
261.60/261.60	c |   1749767 |    1293     7445    25206 |        1   118028     18 |  0.844 % |
261.60/261.60	c |   1749867 |    1293     7445    25206 |        1   118128     18 |  0.844 % |
261.60/261.60	c |   1751261 |    1293     7445    25206 |        1   119522     18 |  0.844 % |
261.60/261.60	c |   1751363 |    1293     7445    25206 |        1   119624     18 |  0.844 % |
261.60/261.60	c |   1751566 |    1293     7445    25206 |        1   119827     19 |  0.844 % |
261.60/261.60	c |   1751667 |    1293     7445    25206 |        1   119928     19 |  0.844 % |
261.60/261.60	c |   1751917 |    1293     7445    25206 |        1   120178     19 |  0.844 % |
261.60/261.60	c |   1752017 |    1293     7445    25206 |        1   120278     19 |  0.844 % |
261.60/261.60	c |   1752117 |    1293     7445    25206 |        1   120378     19 |  0.844 % |
261.60/261.60	c |   1752219 |    1293     7445    25206 |        1   120480     19 |  0.844 % |
261.60/261.60	c |   1752359 |    1293     7445    25206 |        1   120620     19 |  0.844 % |
261.60/261.60	c |   1752462 |    1293     7445    25206 |        1   120723     19 |  0.844 % |
261.60/261.60	c |   1752562 |    1293     7445    25206 |        1   120823     19 |  0.844 % |
261.60/261.60	c |   1753164 |    1293     7445    25206 |        1   121425     19 |  0.844 % |
271.80/271.89	c |   1753264 |    1293     7445    25206 |        1   121525     19 |  0.844 % |
271.80/271.89	c |   1754071 |    1293     7445    25206 |        1   122332     19 |  0.844 % |
271.80/271.89	c |   1754171 |    1293     7445    25206 |        1   122432     19 |  0.844 % |
271.80/271.89	c |   1754272 |    1293     7445    25206 |        1   122533     19 |  0.844 % |
271.80/271.89	c |   1754372 |    1293     7445    25206 |        1   122633     19 |  0.844 % |
271.80/271.89	c |   1754473 |    1293     7445    25206 |        1   122734     19 |  0.844 % |
271.80/271.89	c |   1758754 |    1293     7445    25206 |        1   127015     20 |  0.844 % |
271.80/271.89	c |   1761000 |    1293     7445    25206 |        1   129261     20 |  0.844 % |
271.80/271.89	c |   1761101 |    1293     7445    25206 |        1   129362     20 |  0.844 % |
271.80/271.89	c |   1761204 |    1293     7445    25206 |        1   129465     20 |  0.844 % |
271.80/271.89	c |   1763186 |    1293     7445    25206 |        1   131447     20 |  0.844 % |
271.80/271.89	c |   1763286 |    1293     7445    25206 |        1   131547     20 |  0.844 % |
271.80/271.89	c |   1765537 |    1293     7445    25206 |        1   133798     21 |  0.844 % |
271.80/271.89	c |   1765637 |    1293     7445    25206 |        1   133898     21 |  0.844 % |
271.80/271.89	c |   1765738 |    1293     7445    25206 |        1   133999     21 |  0.844 % |
271.80/271.89	c |   1766043 |    1293     7445    25206 |        1   134304     21 |  0.844 % |
271.80/271.89	c |   1769040 |    1293     7445    25206 |        1   137301     21 |  0.844 % |
271.80/271.89	c |   1769347 |    1293     7445    25206 |        1   137608     21 |  0.844 % |
271.80/271.89	c |   1769447 |    1293     7445    25206 |        1   137708     21 |  0.844 % |
271.80/271.89	c |   1769549 |    1293     7445    25206 |        1   137810     21 |  0.844 % |
271.80/271.89	c |   1769712 |    1293     7445    25206 |        1   137973     21 |  0.844 % |
271.80/271.89	c |   1780131 |    1293     7445    25206 |        1   148392     21 |  0.844 % |
271.80/271.89	c |   1780231 |    1293     7445    25206 |        1   148492     21 |  0.844 % |
271.80/271.89	c |   1780670 |    1293     7445    25206 |        1   148931     21 |  0.844 % |
271.80/271.89	c |   1780771 |    1293     7445    25206 |        1   149032     21 |  0.844 % |
271.80/271.89	c |   1782825 |    1293     7445    25206 |        1   151086     22 |  0.844 % |
271.80/271.89	c |   1785988 |    1293     7445    25206 |        1   154249     22 |  0.844 % |
271.80/271.89	c |   1786088 |    1293     7445    25206 |        1   154349     22 |  0.844 % |
271.80/271.89	c |   1786189 |    1293     7445    25206 |        1   154450     22 |  0.844 % |
271.80/271.89	c |   1786289 |    1293     7445    25206 |        1   154550     22 |  0.844 % |
271.80/271.89	c |   1786390 |    1293     7445    25206 |        1   154651     22 |  0.844 % |
271.80/271.89	c |   1786490 |    1293     7445    25206 |        1   154751     22 |  0.844 % |
271.80/271.89	c |   1786694 |    1293     7445    25206 |        1   154955     22 |  0.844 % |
271.80/271.89	c |   1787719 |    1293     7445    25206 |        1   155980     22 |  0.844 % |
271.80/271.89	c |   1787820 |    1293     7445    25206 |        1   156081     22 |  0.844 % |
271.80/271.89	c |   1787922 |    1293     7445    25206 |        1   156183     22 |  0.844 % |
271.80/271.89	c |   1788623 |    1293     7445    25206 |        1   156884     22 |  0.844 % |
271.80/271.89	c |   1788922 |    1293     7445    25206 |        1   157183     22 |  0.844 % |
271.80/271.89	c |   1789410 |    1293     7445    25206 |        1   157671     22 |  0.844 % |
271.80/271.89	c |   1793191 |    1293     7445    25206 |        1   161452     23 |  0.844 % |
271.80/271.89	c |   1793327 |    1293     7445    25206 |        1   161588     23 |  0.844 % |
271.80/271.89	c |   1793429 |    1293     7445    25206 |        1   161690     23 |  0.844 % |
271.80/271.89	c |   1797214 |    1293     7445    25206 |        1   165475     23 |  0.844 % |
271.80/271.89	c |   1797315 |    1293     7445    25206 |        1   165576     23 |  0.844 % |
271.80/271.89	c |   1797415 |    1293     7445    25206 |        1   165676     23 |  0.844 % |
271.80/271.89	c |   1798051 |    1293     7445    25206 |        1   166312     23 |  0.844 % |
271.80/271.89	c |   1798152 |    1293     7445    25206 |        1   166413     23 |  0.844 % |
271.80/271.89	c |   1798252 |    1293     7445    25206 |        1   166513     23 |  0.844 % |
271.80/271.89	c |   1798353 |    1293     7445    25206 |        1   166614     23 |  0.844 % |
271.80/271.89	c |   1799685 |    1293     7445    25206 |        1   167946     23 |  0.844 % |
286.89/286.92	c |   1799805 |    1293     7445    25206 |        1   168066     23 |  0.844 % |
286.89/286.92	c |   1800022 |    1293     7445    25206 |        1   168283     23 |  0.844 % |
286.89/286.92	c |   1800123 |    1293     7445    25206 |        1   168384     23 |  0.844 % |
286.89/286.92	c |   1806845 |    1293     7445    25206 |        1   175106     24 |  0.844 % |
286.89/286.92	c |   1806947 |    1293     7445    25206 |        1   175208     24 |  0.844 % |
286.89/286.92	c |   1807048 |    1293     7445    25206 |        1   175309     24 |  0.844 % |
286.89/286.92	c |   1807149 |    1293     7445    25206 |        1   175410     24 |  0.844 % |
286.89/286.92	c |   1807262 |    1293     7445    25206 |        1   175523     24 |  0.844 % |
286.89/286.92	c |   1812795 |    1293     7445    25206 |        1   181056     24 |  0.844 % |
286.89/286.92	c |   1812895 |    1293     7445    25206 |        1   181156     24 |  0.844 % |
286.89/286.92	c |   1813772 |    1293     7445    25206 |        1   182033     24 |  0.844 % |
286.89/286.92	c |   1831533 |    1293     7445    25206 |        1   106666     15 |  0.844 % |
286.89/286.92	c |   1831940 |    1293     7445    25206 |        1   107073     15 |  0.844 % |
286.89/286.92	c |   1832139 |    1293     7445    25206 |        1   107272     15 |  0.844 % |
286.89/286.92	c |   1832893 |    1293     7445    25206 |        1   108026     15 |  0.844 % |
286.89/286.92	c |   1832993 |    1293     7445    25206 |        1   108126     15 |  0.844 % |
286.89/286.92	c |   1833093 |    1293     7445    25206 |        1   108226     15 |  0.844 % |
286.89/286.92	c |   1833194 |    1293     7445    25206 |        1   108327     15 |  0.844 % |
286.89/286.92	c |   1833832 |    1293     7445    25206 |        1   108965     15 |  0.844 % |
286.89/286.92	c |   1839583 |    1293     7445    25206 |        1   114716     15 |  0.844 % |
286.89/286.92	c |   1839684 |    1293     7445    25206 |        1   114817     15 |  0.844 % |
286.89/286.92	c |   1839785 |    1293     7445    25206 |        1   114918     15 |  0.844 % |
286.89/286.92	c |   1843954 |    1293     7445    25206 |        1   119087     16 |  0.844 % |
286.89/286.92	c |   1849210 |    1293     7445    25206 |        1   124343     16 |  0.844 % |
286.89/286.92	c |   1849311 |    1293     7445    25206 |        1   124444     16 |  0.844 % |
286.89/286.92	c |   1851759 |    1293     7445    25206 |        1   126892     17 |  0.844 % |
286.89/286.92	c |   1851860 |    1293     7445    25206 |        1   126993     17 |  0.844 % |
286.89/286.92	c |   1853539 |    1293     7445    25206 |        1   128672     17 |  0.844 % |
286.89/286.92	c |   1853639 |    1293     7445    25206 |        1   128772     17 |  0.844 % |
286.89/286.92	c |   1854505 |    1293     7445    25206 |        1   129638     17 |  0.844 % |
286.89/286.92	c |   1854606 |    1293     7445    25206 |        1   129739     17 |  0.844 % |
286.89/286.92	c |   1854857 |    1293     7445    25206 |        1   129990     17 |  0.844 % |
286.89/286.92	c |   1861878 |    1293     7445    25206 |        1   137011     18 |  0.844 % |
286.89/286.92	c |   1866868 |    1293     7445    25206 |        1   142001     18 |  0.844 % |
286.89/286.92	c |   1866968 |    1293     7445    25206 |        1   142101     18 |  0.844 % |
286.89/286.92	c |   1867068 |    1293     7445    25206 |        1   142201     18 |  0.844 % |
286.89/286.92	c |   1867170 |    1293     7445    25206 |        1   142303     18 |  0.844 % |
286.89/286.92	c |   1868792 |    1293     7445    25206 |        1   143925     19 |  0.844 % |
286.89/286.92	c |   1868895 |    1293     7445    25206 |        1   144028     19 |  0.844 % |
286.89/286.92	c |   1870479 |    1293     7445    25206 |        1   145612     19 |  0.844 % |
286.89/286.92	c |   1870964 |    1293     7445    25206 |        1   146097     19 |  0.844 % |
286.89/286.92	c |   1871073 |    1293     7445    25206 |        1   146206     19 |  0.844 % |
286.89/286.92	c |   1871174 |    1293     7445    25206 |        1   146307     19 |  0.844 % |
286.89/286.92	c |   1872770 |    1293     7445    25206 |        1   147903     19 |  0.844 % |
286.89/286.92	c |   1872885 |    1293     7445    25206 |        1   148018     19 |  0.844 % |
286.89/286.92	c |   1872986 |    1293     7445    25206 |        1   148119     19 |  0.844 % |
286.89/286.92	c |   1873088 |    1293     7445    25206 |        1   148221     19 |  0.844 % |
286.89/286.92	c |   1873189 |    1293     7445    25206 |        1   148322     19 |  0.844 % |
286.89/286.92	c |   1873289 |    1293     7445    25206 |        1   148422     19 |  0.844 % |
286.89/286.92	c |   1873779 |    1293     7445    25206 |        1   148912     19 |  0.844 % |
304.99/305.09	c |   1874063 |    1293     7445    25206 |        1   149196     19 |  0.844 % |
304.99/305.09	c |   1874166 |    1293     7445    25206 |        1   149299     19 |  0.844 % |
304.99/305.09	c |   1874267 |    1293     7445    25206 |        1   149400     19 |  0.844 % |
304.99/305.09	c |   1874368 |    1293     7445    25206 |        1   149501     19 |  0.844 % |
304.99/305.09	c |   1874568 |    1293     7445    25206 |        1   149701     19 |  0.844 % |
304.99/305.09	c |   1874669 |    1293     7445    25206 |        1   149802     19 |  0.844 % |
304.99/305.09	c |   1874933 |    1293     7445    25206 |        1   150066     19 |  0.844 % |
304.99/305.09	c |   1875033 |    1293     7445    25206 |        1   150166     19 |  0.844 % |
304.99/305.09	c |   1875480 |    1293     7445    25206 |        1   150613     19 |  0.844 % |
304.99/305.09	c |   1875580 |    1293     7445    25206 |        1   150713     19 |  0.844 % |
304.99/305.09	c |   1875789 |    1293     7445    25206 |        1   150922     19 |  0.844 % |
304.99/305.09	c |   1875890 |    1293     7445    25206 |        1   151023     20 |  0.844 % |
304.99/305.09	c |   1875990 |    1293     7445    25206 |        1   151123     20 |  0.844 % |
304.99/305.09	c |   1877957 |    1293     7445    25206 |        1   153090     20 |  0.844 % |
304.99/305.09	c |   1878060 |    1293     7445    25206 |        1   153193     20 |  0.844 % |
304.99/305.09	c |   1878304 |    1293     7445    25206 |        1   153437     20 |  0.844 % |
304.99/305.09	c |   1878407 |    1293     7445    25206 |        1   153540     20 |  0.844 % |
304.99/305.09	c |   1878509 |    1293     7445    25206 |        1   153642     20 |  0.844 % |
304.99/305.09	c |   1882363 |    1293     7445    25206 |        1   157496     20 |  0.844 % |
304.99/305.09	c |   1882489 |    1293     7445    25206 |        1   157622     20 |  0.844 % |
304.99/305.09	c |   1882589 |    1293     7445    25206 |        1   157722     20 |  0.844 % |
304.99/305.09	c |   1882690 |    1293     7445    25206 |        1   157823     20 |  0.844 % |
304.99/305.09	c |   1882790 |    1293     7445    25206 |        1   157923     20 |  0.844 % |
304.99/305.09	c |   1883100 |    1293     7445    25206 |        1   158233     20 |  0.844 % |
304.99/305.09	c |   1894488 |    1293     7445    25206 |        1   169621     21 |  0.844 % |
304.99/305.09	c |   1894588 |    1293     7445    25206 |        1   169721     21 |  0.844 % |
304.99/305.09	c |   1895762 |    1293     7445    25206 |        1   170895     21 |  0.844 % |
304.99/305.09	c |   1895862 |    1293     7445    25206 |        1   170995     21 |  0.844 % |
304.99/305.09	c |   1895962 |    1293     7445    25206 |        1   171095     21 |  0.844 % |
304.99/305.09	c |   1896170 |    1293     7445    25206 |        1   171303     21 |  0.844 % |
304.99/305.09	c |   1947468 |    1292     7443    25200 |        1   111637     14 |  0.920 % |
304.99/305.09	c |   1947569 |    1292     7443    25200 |        1   111738     14 |  0.920 % |
304.99/305.09	c |   1948097 |    1292     7443    25200 |        1   112266     14 |  0.920 % |
304.99/305.09	c |   1948709 |    1292     7443    25200 |        1   112878     14 |  0.920 % |
304.99/305.09	c |   1948810 |    1292     7443    25200 |        1   112979     14 |  0.920 % |
304.99/305.09	c |   1950178 |    1292     7443    25200 |        1   114347     15 |  0.920 % |
304.99/305.09	c |   1950278 |    1292     7443    25200 |        1   114447     15 |  0.920 % |
304.99/305.09	c |   1950990 |    1292     7443    25200 |        1   115159     15 |  0.920 % |
304.99/305.09	c |   1951091 |    1292     7443    25200 |        1   115260     15 |  0.920 % |
304.99/305.09	c |   1951458 |    1292     7443    25200 |        1   115627     15 |  0.920 % |
304.99/305.09	c |   1951698 |    1292     7443    25200 |        1   115867     15 |  0.920 % |
304.99/305.09	c |   1956120 |    1292     7443    25200 |        1   120289     16 |  0.920 % |
304.99/305.09	c |   1957705 |    1292     7443    25200 |        1   121874     16 |  0.920 % |
304.99/305.09	c |   1957806 |    1292     7443    25200 |        1   121975     16 |  0.920 % |
304.99/305.09	c |   1958028 |    1292     7443    25200 |        1   122197     16 |  0.920 % |
304.99/305.09	c |   1958128 |    1292     7443    25200 |        1   122297     16 |  0.920 % |
304.99/305.09	c |   1958231 |    1292     7443    25200 |        1   122400     16 |  0.920 % |
304.99/305.09	c |   1958333 |    1292     7443    25200 |        1   122502     16 |  0.920 % |
304.99/305.09	c |   1959529 |    1292     7443    25200 |        1   123698     17 |  0.920 % |
318.49/318.53	c |   1959629 |    1292     7443    25200 |        1   123798     17 |  0.920 % |
318.49/318.53	c |   1959729 |    1292     7443    25200 |        1   123898     17 |  0.920 % |
318.49/318.53	c |   1960744 |    1292     7443    25200 |        1   124913     17 |  0.920 % |
318.49/318.53	c |   1961043 |    1292     7443    25200 |        1   125212     17 |  0.920 % |
318.49/318.53	c |   1961143 |    1292     7443    25200 |        1   125312     17 |  0.920 % |
318.49/318.53	c |   1961243 |    1292     7443    25200 |        1   125412     17 |  0.920 % |
318.49/318.53	c |   1961343 |    1292     7443    25200 |        1   125512     17 |  0.920 % |
318.49/318.53	c |   1961712 |    1292     7443    25200 |        1   125881     17 |  0.920 % |
318.49/318.53	c |   1961813 |    1292     7443    25200 |        1   125982     17 |  0.920 % |
318.49/318.53	c |   1967268 |    1292     7443    25200 |        1   131437     18 |  0.920 % |
318.49/318.53	c |   1971435 |    1292     7443    25200 |        1   135604     18 |  0.920 % |
318.49/318.53	c |   1971659 |    1292     7443    25200 |        1   135828     18 |  0.920 % |
318.49/318.53	c |   1971759 |    1292     7443    25200 |        1   135928     18 |  0.920 % |
318.49/318.53	c |   1971873 |    1292     7443    25200 |        1   136042     18 |  0.920 % |
318.49/318.53	c |   1972411 |    1292     7443    25200 |        1   136580     18 |  0.920 % |
318.49/318.53	c |   1972511 |    1292     7443    25200 |        1   136680     18 |  0.920 % |
318.49/318.53	c |   1974909 |    1292     7443    25200 |        1   139078     19 |  0.920 % |
318.49/318.53	c |   1975009 |    1292     7443    25200 |        1   139178     19 |  0.920 % |
318.49/318.53	c |   1975602 |    1292     7443    25200 |        1   139771     19 |  0.920 % |
318.49/318.53	c |   1977815 |    1292     7443    25200 |        1   141984     19 |  0.920 % |
318.49/318.53	c |   1983972 |    1292     7443    25200 |        1   148141     20 |  0.920 % |
318.49/318.53	c |   1984185 |    1292     7443    25200 |        1   148354     20 |  0.920 % |
318.49/318.53	c |   1984286 |    1292     7443    25200 |        1   148455     20 |  0.920 % |
318.49/318.53	c |   2003808 |    1292     7443    25200 |        1   167977     20 |  0.920 % |
318.49/318.53	c |   2003971 |    1292     7443    25200 |        1   168140     20 |  0.920 % |
318.49/318.53	c |   2004074 |    1292     7443    25200 |        1   168243     20 |  0.920 % |
318.49/318.53	c |   2006127 |    1292     7443    25200 |        1   170296     20 |  0.920 % |
318.49/318.53	c |   2006229 |    1292     7443    25200 |        1   170398     20 |  0.920 % |
318.49/318.53	c |   2006332 |    1292     7443    25200 |        1   170501     20 |  0.920 % |
318.49/318.53	c |   2006432 |    1292     7443    25200 |        1   170601     20 |  0.920 % |
318.49/318.53	c |   2007816 |    1292     7443    25200 |        1   171985     20 |  0.920 % |
318.49/318.53	c |   2007916 |    1292     7443    25200 |        1   172085     20 |  0.920 % |
318.49/318.53	c |   2008092 |    1292     7443    25200 |        1   172261     20 |  0.920 % |
318.49/318.53	c |   2008195 |    1292     7443    25200 |        1   172364     20 |  0.920 % |
318.49/318.53	c |   2008411 |    1292     7443    25200 |        1   172580     20 |  0.920 % |
318.49/318.53	c |   2008511 |    1292     7443    25200 |        1   172680     20 |  0.920 % |
318.49/318.53	c |   2009255 |    1292     7443    25200 |        1   173424     20 |  0.920 % |
318.49/318.53	c |   2013776 |    1292     7443    25200 |        1   177945     21 |  0.920 % |
318.49/318.53	c |   2020087 |    1292     7443    25200 |        1    95011     14 |  0.920 % |
318.49/318.53	c |   2020189 |    1292     7443    25200 |        1    95113     14 |  0.920 % |
318.49/318.53	c |   2020783 |    1292     7443    25200 |        1    95707     14 |  0.920 % |
318.49/318.53	c |   2021415 |    1292     7443    25200 |        1    96339     14 |  0.920 % |
318.49/318.53	c |   2024236 |    1292     7443    25200 |        1    99160     15 |  0.920 % |
318.49/318.53	c |   2024336 |    1292     7443    25200 |        1    99260     15 |  0.920 % |
318.49/318.53	c |   2024436 |    1292     7443    25200 |        1    99360     15 |  0.920 % |
318.49/318.53	c |   2024537 |    1292     7443    25200 |        1    99461     15 |  0.920 % |
318.49/318.53	c |   2026582 |    1292     7443    25200 |        1   101506     15 |  0.920 % |
318.49/318.53	c |   2026684 |    1292     7443    25200 |        1   101608     15 |  0.920 % |
318.49/318.53	c |   2028009 |    1292     7443    25200 |        1   102933     15 |  0.920 % |
318.49/318.53	c |   2028193 |    1292     7443    25200 |        1   103117     15 |  0.920 % |
330.69/330.77	c |   2034886 |    1292     7443    25200 |        1   109810     17 |  0.920 % |
330.69/330.77	c |   2038383 |    1292     7443    25200 |        1   113307     17 |  0.920 % |
330.69/330.77	c |   2040866 |    1292     7443    25200 |        1   115790     17 |  0.920 % |
330.69/330.77	c |   2040966 |    1292     7443    25200 |        1   115890     17 |  0.920 % |
330.69/330.77	c |   2041181 |    1292     7443    25200 |        1   116105     17 |  0.920 % |
330.69/330.77	c |   2051867 |    1292     7443    25200 |        1   126791     19 |  0.920 % |
330.69/330.77	c |   2056269 |    1292     7443    25200 |        1   131193     20 |  0.920 % |
330.69/330.77	c |   2057739 |    1292     7443    25200 |        1   132663     20 |  0.920 % |
330.69/330.77	c |   2057840 |    1292     7443    25200 |        1   132764     20 |  0.920 % |
330.69/330.77	c |   2057940 |    1292     7443    25200 |        1   132864     20 |  0.920 % |
330.69/330.77	c |   2058042 |    1292     7443    25200 |        1   132966     20 |  0.920 % |
330.69/330.77	c |   2060728 |    1292     7443    25200 |        1   135652     20 |  0.920 % |
330.69/330.77	c |   2060916 |    1292     7443    25200 |        1   135840     20 |  0.920 % |
330.69/330.77	c |   2061528 |    1292     7443    25200 |        1   136452     20 |  0.920 % |
330.69/330.77	c |   2061648 |    1292     7443    25200 |        1   136572     20 |  0.920 % |
330.69/330.77	c |   2061750 |    1292     7443    25200 |        1   136674     20 |  0.920 % |
330.69/330.77	c |   2062110 |    1292     7443    25200 |        1   137034     20 |  0.920 % |
330.69/330.77	c |   2064273 |    1292     7443    25200 |        1   139197     20 |  0.920 % |
330.69/330.77	c |   2064374 |    1292     7443    25200 |        1   139298     20 |  0.920 % |
330.69/330.77	c |   2064475 |    1292     7443    25200 |        1   139399     21 |  0.920 % |
330.69/330.77	c |   2065916 |    1292     7443    25200 |        1   140840     21 |  0.920 % |
330.69/330.77	c |   2066031 |    1292     7443    25200 |        1   140955     21 |  0.920 % |
330.69/330.77	c |   2068794 |    1292     7443    25200 |        1   143718     21 |  0.920 % |
330.69/330.77	c |   2074565 |    1292     7443    25200 |        1   149489     21 |  0.920 % |
330.69/330.77	c |   2083753 |    1292     7443    25200 |        1   158677     22 |  0.920 % |
330.69/330.77	c |   2083854 |    1292     7443    25200 |        1   158778     22 |  0.920 % |
330.69/330.77	c |   2084009 |    1292     7443    25200 |        1   158933     22 |  0.920 % |
330.69/330.77	c |   2084110 |    1292     7443    25200 |        1   159034     22 |  0.920 % |
330.69/330.77	c |   2084213 |    1292     7443    25200 |        1   159137     22 |  0.920 % |
330.69/330.77	c |   2084314 |    1292     7443    25200 |        1   159238     22 |  0.920 % |
330.69/330.77	c |   2089803 |    1292     7443    25200 |        1   164727     23 |  0.920 % |
330.69/330.77	c |   2090435 |    1292     7443    25200 |        1   165359     23 |  0.920 % |
330.69/330.77	c |   2090655 |    1292     7443    25200 |        1   165579     23 |  0.920 % |
330.69/330.77	c |   2090783 |    1292     7443    25200 |        1   165707     23 |  0.920 % |
330.69/330.77	c |   2090884 |    1292     7443    25200 |        1   165808     23 |  0.920 % |
330.69/330.77	c |   2090985 |    1292     7443    25200 |        1   165909     23 |  0.920 % |
330.69/330.77	c |   2091085 |    1292     7443    25200 |        1   166009     23 |  0.920 % |
330.69/330.77	c |   2091186 |    1292     7443    25200 |        1   166110     23 |  0.920 % |
330.69/330.77	c |   2091408 |    1292     7443    25200 |        1   166332     23 |  0.920 % |
330.69/330.77	c |   2091753 |    1292     7443    25200 |        1   166677     23 |  0.920 % |
330.69/330.77	c |   2091857 |    1292     7443    25200 |        1   166781     23 |  0.920 % |
330.69/330.77	c |   2091958 |    1292     7443    25200 |        1   166882     23 |  0.920 % |
330.69/330.77	c |   2092176 |    1292     7443    25200 |        1   167100     23 |  0.920 % |
330.69/330.77	c |   2092276 |    1292     7443    25200 |        1   167200     23 |  0.920 % |
330.69/330.77	c |   2092377 |    1292     7443    25200 |        1   167301     23 |  0.920 % |
330.69/330.77	c |   2092479 |    1292     7443    25200 |        1   167403     23 |  0.920 % |
330.69/330.77	c |   2092582 |    1292     7443    25200 |        1   167506     23 |  0.920 % |
330.69/330.77	c |   2093142 |    1292     7443    25200 |        1   168066     23 |  0.920 % |
330.69/330.77	c |   2093245 |    1292     7443    25200 |        1   168169     23 |  0.920 % |
330.69/330.77	c |   2094750 |    1292     7443    25200 |        1   169674     23 |  0.920 % |
343.89/343.93	c |   2094850 |    1292     7443    25200 |        1   169774     23 |  0.920 % |
343.89/343.93	c |   2095875 |    1292     7443    25200 |        1   170799     23 |  0.920 % |
343.89/343.93	c |   2095976 |    1292     7443    25200 |        1   170900     23 |  0.920 % |
343.89/343.93	c |   2096144 |    1292     7443    25200 |        1   171068     23 |  0.920 % |
343.89/343.93	c |   2096245 |    1292     7443    25200 |        1   171169     23 |  0.920 % |
343.89/343.93	c |   2096346 |    1292     7443    25200 |        1   171270     23 |  0.920 % |
343.89/343.93	c |   2096836 |    1292     7443    25200 |        1   171760     24 |  0.920 % |
343.89/343.93	c |   2097003 |    1292     7443    25200 |        1   171927     24 |  0.920 % |
343.89/343.93	c |   2097103 |    1292     7443    25200 |        1   172027     24 |  0.920 % |
343.89/343.93	c |   2097310 |    1292     7443    25200 |        1   172234     24 |  0.920 % |
343.89/343.93	c |   2112041 |    1291     7439    25188 |        1   184478     25 |  0.997 % |
343.89/343.93	c |   2112142 |    1291     7439    25188 |        1   184579     25 |  0.997 % |
343.89/343.93	c |   2112983 |    1291     7439    25188 |        1   185420     25 |  0.997 % |
343.89/343.93	c |   2113350 |    1291     7439    25188 |        1   185787     25 |  0.997 % |
343.89/343.93	c |   2113451 |    1291     7439    25188 |        1   185888     25 |  0.997 % |
343.89/343.93	c |   2114479 |    1291     7439    25188 |        1   186916     25 |  0.997 % |
343.89/343.93	c |   2114581 |    1291     7439    25188 |        1   187018     25 |  0.997 % |
343.89/343.93	c |   2122493 |    1291     7439    25188 |        1   102687     16 |  0.997 % |
343.89/343.93	c |   2122671 |    1291     7439    25188 |        1   102865     16 |  0.997 % |
343.89/343.93	c |   2122771 |    1291     7439    25188 |        1   102965     16 |  0.997 % |
343.89/343.93	c |   2122871 |    1291     7439    25188 |        1   103065     16 |  0.997 % |
343.89/343.93	c |   2123394 |    1291     7439    25188 |        1   103588     16 |  0.997 % |
343.89/343.93	c |   2124111 |    1291     7439    25188 |        1   104305     16 |  0.997 % |
343.89/343.93	c |   2124213 |    1291     7439    25188 |        1   104407     16 |  0.997 % |
343.89/343.93	c |   2124626 |    1291     7439    25188 |        1   104820     16 |  0.997 % |
343.89/343.93	c |   2124783 |    1291     7439    25188 |        1   104977     16 |  0.997 % |
343.89/343.93	c |   2127145 |    1291     7439    25188 |        1   107339     17 |  0.997 % |
343.89/343.93	c |   2128357 |    1291     7439    25188 |        1   108551     17 |  0.997 % |
343.89/343.93	c |   2128850 |    1291     7439    25188 |        1   109044     17 |  0.997 % |
343.89/343.93	c |   2129155 |    1291     7439    25188 |        1   109349     17 |  0.997 % |
343.89/343.93	c |   2129255 |    1291     7439    25188 |        1   109449     17 |  0.997 % |
343.89/343.93	c |   2129810 |    1291     7439    25188 |        1   110004     17 |  0.997 % |
343.89/343.93	c |   2129987 |    1291     7439    25188 |        1   110181     17 |  0.997 % |
343.89/343.93	c |   2130930 |    1291     7439    25188 |        1   111124     17 |  0.997 % |
343.89/343.93	c |   2131054 |    1291     7439    25188 |        1   111248     17 |  0.997 % |
343.89/343.93	c |   2131476 |    1291     7439    25188 |        1   111670     17 |  0.997 % |
343.89/343.93	c |   2132207 |    1291     7439    25188 |        1   112401     17 |  0.997 % |
343.89/343.93	c |   2138441 |    1291     7439    25188 |        1   118635     19 |  0.997 % |
343.89/343.93	c |   2143628 |    1291     7439    25188 |        1   123822     20 |  0.997 % |
343.89/343.93	c |   2143729 |    1291     7439    25188 |        1   123923     20 |  0.997 % |
343.89/343.93	c |   2147122 |    1291     7439    25188 |        1   127316     20 |  0.997 % |
343.89/343.93	c |   2147222 |    1291     7439    25188 |        1   127416     20 |  0.997 % |
343.89/343.93	c |   2147323 |    1291     7439    25188 |        1   127517     20 |  0.997 % |
343.89/343.93	c |   2147424 |    1291     7439    25188 |        1   127618     21 |  0.997 % |
343.89/343.93	c |   2147718 |    1291     7439    25188 |        1   127912     21 |  0.997 % |
343.89/343.93	c |   2148556 |    1291     7439    25188 |        1   128750     21 |  0.997 % |
343.89/343.93	c |   2148658 |    1291     7439    25188 |        1   128852     21 |  0.997 % |
343.89/343.93	c |   2148845 |    1291     7439    25188 |        1   129039     21 |  0.997 % |
343.89/343.93	c |   2148947 |    1291     7439    25188 |        1   129141     21 |  0.997 % |
343.89/343.93	c |   2149048 |    1291     7439    25188 |        1   129242     21 |  0.997 % |
369.19/369.20	c |   2150478 |    1291     7439    25188 |        1   130672     21 |  0.997 % |
369.19/369.20	c |   2151075 |    1291     7439    25188 |        1   131269     21 |  0.997 % |
369.19/369.20	c |   2153386 |    1291     7439    25188 |        1   133580     21 |  0.997 % |
369.19/369.20	c |   2154947 |    1291     7439    25188 |        1   135141     21 |  0.997 % |
369.19/369.20	c |   2155047 |    1291     7439    25188 |        1   135241     21 |  0.997 % |
369.19/369.20	c |   2155148 |    1291     7439    25188 |        1   135342     21 |  0.997 % |
369.19/369.20	c |   2155402 |    1291     7439    25188 |        1   135596     21 |  0.997 % |
369.19/369.20	c |   2157304 |    1291     7439    25188 |        1   137498     22 |  0.997 % |
369.19/369.20	c |   2186946 |    1285     7387    25008 |        1   155811     26 |  1.457 % |
369.19/369.20	c |   2187047 |    1285     7387    25008 |        1   155912     26 |  1.457 % |
369.19/369.20	c |   2187147 |    1285     7387    25008 |        1   156012     26 |  1.457 % |
369.19/369.20	c |   2187980 |    1285     7387    25008 |        1   156845     26 |  1.457 % |
369.19/369.20	c |   2188080 |    1285     7387    25008 |        1   156945     26 |  1.457 % |
369.19/369.20	c |   2189259 |    1285     7387    25008 |        1   158124     26 |  1.457 % |
369.19/369.20	c |   2189635 |    1285     7387    25008 |        1   158500     26 |  1.457 % |
369.19/369.20	c |   2193063 |    1285     7387    25008 |        1   161928     26 |  1.457 % |
369.19/369.20	c |   2193164 |    1285     7387    25008 |        1   162029     26 |  1.457 % |
369.19/369.20	c |   2193524 |    1285     7387    25008 |        1   162389     26 |  1.457 % |
369.19/369.20	c |   2201397 |    1285     7387    25008 |        1   170262     27 |  1.457 % |
369.19/369.20	c |   2201727 |    1285     7387    25008 |        1   170592     27 |  1.457 % |
369.19/369.20	c |   2207661 |    1285     7387    25008 |        1   176526     27 |  1.457 % |
369.19/369.20	c |   2209088 |    1285     7387    25008 |        1   177953     27 |  1.457 % |
369.19/369.20	c |   2210696 |    1285     7387    25008 |        1   179561     28 |  1.457 % |
369.19/369.20	c |   2210824 |    1285     7387    25008 |        1   179689     28 |  1.457 % |
369.19/369.20	c |   2247408 |    1285     7387    25008 |        1   119788     16 |  1.457 % |
369.19/369.20	c |   2247508 |    1285     7387    25008 |        1   119888     16 |  1.457 % |
369.19/369.20	c |   2248065 |    1285     7387    25008 |        1   120445     16 |  1.457 % |
369.19/369.20	c |   2248165 |    1285     7387    25008 |        1   120545     16 |  1.457 % |
369.19/369.20	c |   2248266 |    1285     7387    25008 |        1   120646     16 |  1.457 % |
369.19/369.20	c |   2248614 |    1285     7387    25008 |        1   120994     16 |  1.457 % |
369.19/369.20	c |   2249300 |    1285     7387    25008 |        1   121680     16 |  1.457 % |
369.19/369.20	c |   2249434 |    1285     7387    25008 |        1   121814     16 |  1.457 % |
369.19/369.20	c |   2249538 |    1285     7387    25008 |        1   121918     16 |  1.457 % |
369.19/369.20	c |   2255156 |    1285     7387    25008 |        1   127536     17 |  1.457 % |
369.19/369.20	c |   2255257 |    1285     7387    25008 |        1   127637     17 |  1.457 % |
369.19/369.20	c |   2255360 |    1285     7387    25008 |        1   127740     17 |  1.457 % |
369.19/369.20	c |   2255460 |    1285     7387    25008 |        1   127840     17 |  1.457 % |
369.19/369.20	c |   2255561 |    1285     7387    25008 |        1   127941     17 |  1.457 % |
369.19/369.20	c |   2255693 |    1285     7387    25008 |        1   128073     17 |  1.457 % |
369.19/369.20	c |   2255796 |    1285     7387    25008 |        1   128176     17 |  1.457 % |
369.19/369.20	c |   2255916 |    1285     7387    25008 |        1   128296     17 |  1.457 % |
369.19/369.20	c |   2256178 |    1285     7387    25008 |        1   128558     17 |  1.457 % |
369.19/369.20	c |   2256558 |    1285     7387    25008 |        1   128938     17 |  1.457 % |
369.19/369.20	c |   2256658 |    1285     7387    25008 |        1   129038     17 |  1.457 % |
369.19/369.20	c |   2258116 |    1285     7387    25008 |        1   130496     17 |  1.457 % |
369.19/369.20	c |   2258235 |    1285     7387    25008 |        1   130615     17 |  1.457 % |
369.19/369.20	c |   2267513 |    1285     7387    25008 |        1   139893     19 |  1.457 % |
369.19/369.20	c |   2267616 |    1285     7387    25008 |        1   139996     19 |  1.457 % |
369.19/369.20	c |   2268199 |    1285     7387    25008 |        1   140579     19 |  1.457 % |
369.19/369.20	c |   2268299 |    1285     7387    25008 |        1   140679     19 |  1.457 % |
400.49/400.50	c |   2268519 |    1285     7387    25008 |        1   140899     19 |  1.457 % |
400.49/400.50	c |   2268632 |    1285     7387    25008 |        1   141012     19 |  1.457 % |
400.49/400.50	c |   2269918 |    1285     7387    25008 |        1   142298     19 |  1.457 % |
400.49/400.50	c |   2270129 |    1285     7387    25008 |        1   142509     19 |  1.457 % |
400.49/400.50	c |   2273474 |    1285     7387    25008 |        1   145854     20 |  1.457 % |
400.49/400.50	c |   2273814 |    1285     7387    25008 |        1   146194     20 |  1.457 % |
400.49/400.50	c |   2296704 |    1285     7387    25008 |        1   169084     22 |  1.457 % |
400.49/400.50	c |   2298560 |    1285     7387    25008 |        1   170940     22 |  1.457 % |
400.49/400.50	c |   2298723 |    1285     7387    25008 |        1   171103     22 |  1.457 % |
400.49/400.50	c |   2298823 |    1285     7387    25008 |        1   171203     22 |  1.457 % |
400.49/400.50	c |   2301521 |    1285     7387    25008 |        1   173901     22 |  1.457 % |
400.49/400.50	c |   2301621 |    1285     7387    25008 |        1   174001     22 |  1.457 % |
400.49/400.50	c |   2336370 |    1285     7387    25008 |        1   208750     25 |  1.457 % |
400.49/400.50	c |   2336471 |    1285     7387    25008 |        1   208851     25 |  1.457 % |
400.49/400.50	c |   2336571 |    1285     7387    25008 |        1   208951     25 |  1.457 % |
400.49/400.50	c |   2339938 |    1285     7387    25008 |        1   110703     16 |  1.457 % |
400.49/400.50	c |   2340038 |    1285     7387    25008 |        1   110803     16 |  1.457 % |
400.49/400.50	c |   2376389 |    1285     7387    25008 |        1   147154     20 |  1.457 % |
400.49/400.50	c |   2376976 |    1285     7387    25008 |        1   147741     20 |  1.457 % |
400.49/400.50	c |   2377076 |    1285     7387    25008 |        1   147841     20 |  1.457 % |
400.49/400.50	c |   2377178 |    1285     7387    25008 |        1   147943     20 |  1.457 % |
400.49/400.50	c |   2381242 |    1285     7387    25008 |        1   152007     21 |  1.457 % |
400.49/400.50	c |   2381547 |    1285     7387    25008 |        1   152312     21 |  1.457 % |
400.49/400.50	c |   2387702 |    1285     7387    25008 |        1   158467     21 |  1.457 % |
400.49/400.50	c |   2390379 |    1285     7387    25008 |        1   161144     21 |  1.457 % |
400.49/400.50	c |   2390479 |    1285     7387    25008 |        1   161244     21 |  1.457 % |
400.49/400.50	c |   2412513 |    1273     7227    24454 |        1   113385     18 |  2.377 % |
400.49/400.50	c |   2412615 |    1273     7227    24454 |        1   113487     18 |  2.377 % |
400.49/400.50	c |   2422427 |    1273     7227    24454 |        1   123299     19 |  2.377 % |
400.49/400.50	c |   2433552 |     567     6122    20497 |        1    45326     13 | 56.518 % |
400.49/400.50	c ===============================================================================
400.49/400.50	c restarts              : 1567
400.49/400.50	c nb ReduceDB           : 41
400.49/400.50	c nb removed Clauses    : 2126773
400.49/400.50	c nb learnts DL2        : 2303
400.49/400.50	c nb learnts size 2     : 665
400.49/400.50	c nb learnts size 1     : 21
400.49/400.50	c conflicts             : 2433552        (6078 /sec)
400.49/400.50	c decisions             : 3021768        (0.00 % random) (7547 /sec)
400.49/400.50	c propagations          : 357433004      (892696 /sec)
400.49/400.50	c conflict literals     : 69565153       (47.21 % deleted)
400.49/400.50	c nb reduced Clauses    : 13743
400.49/400.50	c CPU time              : 400.397 s
400.49/400.50	
400.49/400.51	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-3280570-1303749581/watcher-3280570-1303749581 -o /tmp/evaluation-result-3280570-1303749581/solver-3280570-1303749581 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280570-1303749581.cnf 

running on 2 cores: 5,7

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: 1.16 2.92 3.36 2/174 26892
/proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) R 26890 26892 26342 0 -1 4202496 317 0 0 0 0 0 0 0 22 0 1 0 486560865 8912896 253 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370777493 0 65538 4100 65536 0 0 0 17 5 0 0 0
/proc/26892/statm: 2176 253 211 178 0 69 0

[startup+0.051311 s]
/proc/loadavg: 1.16 2.92 3.36 2/174 26892
/proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.100199 s]
/proc/loadavg: 1.16 2.92 3.36 2/174 26892
/proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.300162 s]
/proc/loadavg: 1.16 2.92 3.36 2/174 26892
/proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.701094 s]
/proc/loadavg: 1.16 2.92 3.36 2/174 26892
/proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+1.50095 s]
/proc/loadavg: 1.16 2.92 3.36 4/184 26910
/proc/meminfo: memFree=23201404/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=20040 CPUtime=1.46 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 2122 0 0 0 146 0 0 0 20 0 1 0 486560868 20520960 1633 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 5010 1633 247 17 0 1651 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28744

[startup+3.10067 s]
/proc/loadavg: 1.16 2.92 3.36 5/190 26921
/proc/meminfo: memFree=23036388/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=26060 CPUtime=3.05 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 3348 0 0 0 305 0 0 0 25 0 1 0 486560868 26685440 2819 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225504 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 6515 2819 250 17 0 3156 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34764

[startup+6.3011 s]
/proc/loadavg: 1.39 2.94 3.36 5/194 26929
/proc/meminfo: memFree=22747100/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=26060 CPUtime=6.25 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 3567 0 0 0 625 0 0 0 25 0 1 0 486560868 26685440 3029 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 6515 3029 250 17 0 3156 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34764

[startup+12.701 s]
/proc/loadavg: 1.60 2.96 3.37 5/194 26930
/proc/meminfo: memFree=22662588/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=30724 CPUtime=12.65 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 5854 0 0 0 1265 0 0 0 25 0 1 0 486560868 31461376 4092 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 7681 4092 250 17 0 4322 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39428

[startup+25.5007 s]
/proc/loadavg: 2.13 3.01 3.38 5/194 26932
/proc/meminfo: memFree=22894216/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=33376 CPUtime=25.46 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 9088 0 0 0 2544 2 0 0 25 0 1 0 486560868 34177024 4973 33554432000 4194304 4260849 140733810534080 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 8344 4973 250 17 0 4985 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42080

[startup+51.1012 s]
/proc/loadavg: 2.77 3.08 3.39 5/194 26933
/proc/meminfo: memFree=22874596/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=47344 CPUtime=51.05 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 11792 0 0 0 5103 2 0 0 25 0 1 0 486560868 48480256 7566 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 11836 7566 250 17 0 8477 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56048

[startup+102.307 s]
/proc/loadavg: 3.50 3.24 3.42 5/194 26934
/proc/meminfo: memFree=22835924/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=47344 CPUtime=102.27 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 15940 0 0 0 10224 3 0 0 25 0 1 0 486560868 48480256 8445 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 11836 8445 250 17 0 8477 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56048

[startup+162.3 s]
/proc/loadavg: 3.89 3.39 3.46 5/194 26936
/proc/meminfo: memFree=22789588/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=61516 CPUtime=162.25 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 19686 0 0 0 16221 4 0 0 25 0 1 0 486560868 62992384 11981 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 15379 11981 250 17 0 12020 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 70220

[startup+222.301 s]
/proc/loadavg: 3.96 3.50 3.49 5/194 26937
/proc/meminfo: memFree=22720916/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=61516 CPUtime=222.26 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 19686 0 0 0 22222 4 0 0 25 0 1 0 486560868 62992384 11981 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 15379 11981 250 17 0 12020 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 70220

[startup+282.301 s]
/proc/loadavg: 3.98 3.59 3.52 5/194 26939
/proc/meminfo: memFree=22723208/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=61944 CPUtime=282.26 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 24800 0 0 0 28221 5 0 0 25 0 1 0 486560868 63430656 12146 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 15486 12146 250 17 0 12127 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 70648

[startup+342.301 s]
/proc/loadavg: 3.99 3.66 3.55 5/194 26941
/proc/meminfo: memFree=22687348/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=342.26 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 28508 0 0 0 34219 7 0 0 25 0 1 0 486560868 106954752 15785 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 15785 250 17 0 22753 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 113152

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

[startup+358.301 s]
/proc/loadavg: 3.99 3.68 3.56 5/194 26941
/proc/meminfo: memFree=22681336/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=358.27 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29073 0 0 0 35819 8 0 0 25 0 1 0 486560868 106954752 16332 33554432000 4194304 4260849 140733810534080 18446744073709551615 4209925 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16332 250 17 0 22753 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 113152

[startup+383.907 s]
/proc/loadavg: 3.99 3.70 3.57 5/194 26941
/proc/meminfo: memFree=22640908/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=383.87 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 38379 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 383.9
Current children cumulated vsize (KiB) 113152

[startup+390.301 s]
/proc/loadavg: 3.99 3.71 3.57 5/194 26942
/proc/meminfo: memFree=22639296/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=390.26 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39018 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 390.29
Current children cumulated vsize (KiB) 113152

[startup+396.701 s]
/proc/loadavg: 3.99 3.71 3.57 5/194 26942
/proc/meminfo: memFree=22637304/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=396.66 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39658 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 396.69
Current children cumulated vsize (KiB) 113152

[startup+398.301 s]
/proc/loadavg: 3.99 3.71 3.57 5/194 26942
/proc/meminfo: memFree=22635444/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=398.26 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39818 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 398.29
Current children cumulated vsize (KiB) 113152

[startup+399.9 s]
/proc/loadavg: 3.99 3.71 3.57 5/194 26942
/proc/meminfo: memFree=22634824/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=399.86 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39978 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 399.89
Current children cumulated vsize (KiB) 113152

[startup+400.3 s]
/proc/loadavg: 3.99 3.72 3.58 5/194 26942
/proc/meminfo: memFree=22634080/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=400.27 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 40019 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 113152

[startup+400.5 s]
/proc/loadavg: 3.99 3.72 3.58 5/194 26942
/proc/meminfo: memFree=22634080/32951124 swapFree=67051468/67111528
[pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7
/proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26892/statm: 2176 255 211 178 0 69 0
[pid=26895] ppid=26892 vsize=104448 CPUtime=400.46 cores=5,7
/proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 40038 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26895/statm: 26112 16653 250 17 0 22753 0
Current children cumulated CPU time (s) 400.49
Current children cumulated vsize (KiB) 113152

Child status: 20
Real time (s): 400.517
CPU time (s): 400.521
CPU user time (s): 400.43
CPU system time (s): 0.090986
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 113152

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

runsolver used 0.597909 second user time and 1.59676 second system time

The end

Launcher Data

Begin job on node101 at 2011-04-25 18:39:41
IDJOB=3280570
IDBENCH=20401
IDSOLVER=1651
FILE ID=node101/3280570-1303749581
RUNJOBID= node101-1303749579-26883
PBS_JOBID= 13154061
Free space on /tmp= 71780 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280570-1303749581/watcher-3280570-1303749581 -o /tmp/evaluation-result-3280570-1303749581/solver-3280570-1303749581 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3280570-1303749581.cnf 

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=1952001916

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23278644 kB
Buffers:       2073972 kB
Cached:        7092864 kB
SwapCached:      33708 kB
Active:        6143080 kB
Inactive:      3061028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23278644 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            1288 kB
Writeback:           0 kB
AnonPages:       25116 kB
Mapped:           8508 kB
Slab:           404144 kB
PageTables:       5168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191920 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= 71600 MiB
End job on node101 at 2011-04-25 18:46:22