Trace number 3303577

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000.03 4999.92

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
MD5SUM59fa4424111aa94c942a4bbd786cbd51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1118.21
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18767
Sum of the clauses size134137
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32384
Number of clauses of size 4505
Number of clauses of size 5684
Number of clauses of size over 514710

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   18500   132671 |    5549       0        0     nan |  0.000 % |
0.00/0.05	c |         0 |   16577   120419 |      --       0       --      -- |     --   | -505/-5851
0.00/0.05	c ==============================================================================
0.00/0.05	c Result  :   #vars: 2868   #clauses: 16577   #literals: 120419
0.00/0.05	c CPU time:   0.049992 s
0.00/0.05	c ==============================================================================
0.00/0.07	c
0.00/0.07	c Starting glucose
0.00/0.07	c
0.06/0.44	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.06/0.44	c WARNING: for repeatability, setting FPU to use double precision
0.06/0.44	c ============================[ Problem Statistics ]=============================
0.06/0.44	c |                                                                             |
0.06/0.44	c |  Number of variables:          2868                                         |
0.06/0.44	c |  Number of clauses:           16577                                         |
0.06/0.44	c |  Parse time:                   0.01 s                                       |
0.06/0.44	c |                                                                             |
0.06/0.44	c ============================[ Search Statistics ]==============================
0.06/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.44	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.06/0.44	c ===============================================================================
0.06/0.44	c |       433 |    2868    16577   120419 |        1      433     18 |  0.000 % |
0.06/0.44	c |       670 |    2868    16577   120419 |        1      670     19 |  0.000 % |
0.06/0.44	c |       952 |    2868    16577   120419 |        1      952     20 |  0.000 % |
0.06/0.44	c |      1421 |    2868    16577   120419 |        1     1421     19 |  0.000 % |
0.06/0.44	c |      2119 |    2868    16577   120419 |        1     2119     18 |  0.000 % |
0.06/0.44	c |      2690 |    2868    16577   120419 |        1     2690     19 |  0.000 % |
0.06/0.44	c |      3144 |    2868    16577   120419 |        1     3144     20 |  0.000 % |
0.06/0.44	c |      3404 |    2868    16577   120419 |        1     3404     20 |  0.000 % |
0.06/0.44	c |      3643 |    2868    16577   120419 |        1     3643     21 |  0.000 % |
0.06/0.44	c |      3746 |    2868    16577   120419 |        1     3746     21 |  0.000 % |
0.06/0.44	c |      5024 |    2868    16577   120419 |        1     3036     16 |  0.000 % |
0.06/0.44	c |      5529 |    2868    16577   120419 |        1     3541     17 |  0.000 % |
0.06/0.44	c |      6109 |    2868    16577   120419 |        1     4121     18 |  0.000 % |
0.06/0.44	c |      6379 |    2868    16577   120419 |        1     4391     18 |  0.000 % |
0.06/0.44	c |      6735 |    2868    16577   120419 |        1     4747     19 |  0.000 % |
0.06/0.44	c |      7054 |    2868    16577   120419 |        1     5066     19 |  0.000 % |
0.06/0.44	c |      7260 |    2868    16577   120419 |        1     5272     19 |  0.000 % |
0.06/0.44	c |      7643 |    2868    16577   120419 |        1     5655     20 |  0.000 % |
0.06/0.44	c |      7828 |    2868    16577   120419 |        1     5840     20 |  0.000 % |
0.06/0.44	c |      8361 |    2868    16577   120419 |        1     6373     20 |  0.000 % |
0.06/0.44	c |      9039 |    2868    16577   120419 |        1     7051     21 |  0.000 % |
0.06/0.44	c |      9469 |    2868    16577   120419 |        1     7481     21 |  0.000 % |
0.06/0.44	c |      9569 |    2868    16577   120419 |        1     7581     21 |  0.000 % |
0.06/0.44	c |     10749 |    2868    16577   120419 |        1     4468     15 |  0.000 % |
0.06/0.44	c |     11422 |    2868    16577   120419 |        1     5141     16 |  0.000 % |
0.06/0.44	c |     12090 |    2868    16577   120419 |        1     5809     17 |  0.000 % |
0.06/0.44	c |     12190 |    2868    16577   120419 |        1     5909     17 |  0.000 % |
0.06/0.44	c |     12432 |    2868    16577   120419 |        1     6151     18 |  0.000 % |
0.06/0.44	c |     12954 |    2868    16577   120419 |        1     6673     18 |  0.000 % |
0.06/0.44	c |     13605 |    2868    16577   120419 |        1     7324     18 |  0.000 % |
0.06/0.44	c |     13803 |    2868    16577   120419 |        1     7522     19 |  0.000 % |
0.06/0.44	c |     14442 |    2868    16577   120419 |        1     8161     19 |  0.000 % |
0.06/0.44	c |     15651 |    2868    16577   120419 |        1     9370     20 |  0.000 % |
0.06/0.44	c |     16902 |    2868    16577   120419 |        1    10621     20 |  0.000 % |
0.06/0.44	c |     17240 |    2868    16577   120419 |        1    10959     20 |  0.000 % |
0.06/0.44	c |     17981 |    2868    16577   120419 |        1    11700     20 |  0.000 % |
0.06/0.44	c |     19029 |    2868    16577   120419 |        1    12748     21 |  0.000 % |
0.06/0.44	c |     19732 |    2868    16577   120419 |        1    13451     21 |  0.000 % |
0.06/0.44	c |     21091 |    2868    16577   120419 |        1     8061     15 |  0.000 % |
1.37/1.49	c |     22491 |    2868    16577   120419 |        1     9461     17 |  0.000 % |
1.37/1.49	c |     22856 |    2868    16577   120419 |        1     9826     17 |  0.000 % |
1.37/1.49	c |     23036 |    2868    16577   120419 |        1    10006     17 |  0.000 % |
1.37/1.49	c |     24042 |    2868    16577   120419 |        1    11012     18 |  0.000 % |
1.37/1.49	c |     25047 |    2868    16577   120419 |        1    12017     18 |  0.000 % |
1.37/1.49	c |     25148 |    2868    16577   120419 |        1    12118     19 |  0.000 % |
1.37/1.49	c |     25285 |    2868    16577   120419 |        1    12255     19 |  0.000 % |
1.37/1.49	c |     25543 |    2868    16577   120419 |        1    12513     19 |  0.000 % |
1.37/1.49	c |     25757 |    2868    16577   120419 |        1    12727     19 |  0.000 % |
1.37/1.49	c |     25859 |    2868    16577   120419 |        1    12829     19 |  0.000 % |
1.37/1.49	c |     26309 |    2868    16577   120419 |        1    13279     19 |  0.000 % |
1.37/1.49	c |     26832 |    2868    16577   120419 |        1    13802     20 |  0.000 % |
1.37/1.49	c |     27083 |    2868    16577   120419 |        1    14053     20 |  0.000 % |
1.37/1.49	c |     27924 |    2868    16577   120419 |        1    14894     20 |  0.000 % |
1.37/1.49	c |     28968 |    2868    16577   120419 |        1    15938     21 |  0.000 % |
1.37/1.49	c |     29267 |    2868    16577   120419 |        1    16237     21 |  0.000 % |
1.37/1.49	c |     31004 |    2868    16577   120419 |        1    17974     21 |  0.000 % |
1.37/1.49	c |     31299 |    2868    16577   120419 |        1    18269     21 |  0.000 % |
1.37/1.49	c |     33336 |    2868    16577   120419 |        1    11033     16 |  0.000 % |
1.37/1.49	c |     35586 |    2868    16577   120419 |        1    13283     18 |  0.000 % |
1.37/1.49	c |     40330 |    2868    16577   120419 |        1    18027     20 |  0.000 % |
1.37/1.49	c |     41180 |    2868    16577   120419 |        1    18877     21 |  0.000 % |
1.37/1.49	c |     42101 |    2868    16577   120419 |        1    19798     21 |  0.000 % |
1.37/1.49	c |     44611 |    2868    16577   120419 |        1    22308     22 |  0.000 % |
1.37/1.49	c |     44818 |    2868    16577   120419 |        1    22515     22 |  0.000 % |
1.37/1.49	c |     45371 |    2868    16577   120419 |        1    23068     22 |  0.000 % |
1.37/1.49	c |     45472 |    2868    16577   120419 |        1    23169     22 |  0.000 % |
1.37/1.49	c |     45631 |    2868    16577   120419 |        1    23328     22 |  0.000 % |
1.37/1.49	c |     46490 |    2868    16577   120419 |        1    12352     15 |  0.000 % |
1.37/1.49	c |     46901 |    2868    16577   120419 |        1    12763     15 |  0.000 % |
1.37/1.49	c |     47734 |    2868    16577   120419 |        1    13596     16 |  0.000 % |
1.37/1.49	c |     49278 |    2868    16577   120419 |        1    15140     17 |  0.000 % |
1.37/1.49	c |     49508 |    2868    16577   120419 |        1    15370     17 |  0.000 % |
1.37/1.49	c |     49986 |    2868    16577   120419 |        1    15848     17 |  0.000 % |
1.37/1.49	c |     50087 |    2868    16577   120419 |        1    15949     18 |  0.000 % |
1.37/1.49	c |     50949 |    2868    16577   120419 |        1    16811     18 |  0.000 % |
1.37/1.49	c |     51147 |    2868    16577   120419 |        1    17009     18 |  0.000 % |
1.37/1.49	c |     51680 |    2868    16577   120419 |        1    17542     19 |  0.000 % |
1.37/1.49	c |     53781 |    2868    16577   120419 |        1    19643     20 |  0.000 % |
1.37/1.49	c |     53923 |    2868    16577   120419 |        1    19785     20 |  0.000 % |
1.37/1.49	c |     54559 |    2868    16577   120419 |        1    20421     20 |  0.000 % |
1.37/1.49	c |     54966 |    2868    16577   120419 |        1    20828     20 |  0.000 % |
1.37/1.49	c |     55136 |    2868    16577   120419 |        1    20998     20 |  0.000 % |
1.37/1.49	c |     56244 |    2868    16577   120419 |        1    22106     20 |  0.000 % |
1.37/1.49	c |     56503 |    2868    16577   120419 |        1    22365     20 |  0.000 % |
1.37/1.49	c |     56631 |    2868    16577   120419 |        1    22493     20 |  0.000 % |
1.37/1.49	c |     57134 |    2868    16577   120419 |        1    22996     20 |  0.000 % |
1.37/1.49	c |     57292 |    2868    16577   120419 |        1    23154     20 |  0.000 % |
1.37/1.49	c |     58124 |    2868    16577   120419 |        1    23986     20 |  0.000 % |
1.37/1.49	c |     58367 |    2868    16577   120419 |        1    24229     21 |  0.000 % |
2.87/2.96	c |     59108 |    2868    16577   120419 |        1    24970     21 |  0.000 % |
2.87/2.96	c |     59226 |    2868    16577   120419 |        1    25088     21 |  0.000 % |
2.87/2.96	c |     59424 |    2868    16577   120419 |        1    25286     21 |  0.000 % |
2.87/2.96	c |     59606 |    2868    16577   120419 |        1    25468     21 |  0.000 % |
2.87/2.96	c |     59756 |    2868    16577   120419 |        1    25618     21 |  0.000 % |
2.87/2.96	c |     59856 |    2868    16577   120419 |        1    25718     21 |  0.000 % |
2.87/2.96	c |     60000 |    2868    16577   120419 |        1    25862     21 |  0.000 % |
2.87/2.96	c |     60102 |    2868    16577   120419 |        1    25964     21 |  0.000 % |
2.87/2.96	c |     60511 |    2868    16577   120419 |        1    26373     21 |  0.000 % |
2.87/2.96	c |     60636 |    2868    16577   120419 |        1    26498     22 |  0.000 % |
2.87/2.96	c |     61075 |    2868    16577   120419 |        1    26937     22 |  0.000 % |
2.87/2.96	c |     61958 |    2868    16577   120419 |        1    27820     22 |  0.000 % |
2.87/2.96	c |     64240 |    2868    16577   120419 |        1    15685     15 |  0.000 % |
2.87/2.96	c |     64382 |    2868    16577   120419 |        1    15827     15 |  0.000 % |
2.87/2.96	c |     64959 |    2868    16577   120419 |        1    16404     15 |  0.000 % |
2.87/2.96	c |     65171 |    2868    16577   120419 |        1    16616     16 |  0.000 % |
2.87/2.96	c |     66023 |    2868    16577   120419 |        1    17468     16 |  0.000 % |
2.87/2.96	c |     68559 |    2868    16577   120419 |        1    20004     18 |  0.000 % |
2.87/2.96	c |     70520 |    2868    16577   120419 |        1    21965     19 |  0.000 % |
2.87/2.96	c |     73646 |    2868    16577   120419 |        1    25091     21 |  0.000 % |
2.87/2.96	c |     73812 |    2868    16577   120419 |        1    25257     21 |  0.000 % |
2.87/2.96	c |     74215 |    2868    16577   120419 |        1    25660     21 |  0.000 % |
2.87/2.96	c |     74546 |    2868    16577   120419 |        1    25991     21 |  0.000 % |
2.87/2.96	c |     77522 |    2868    16577   120419 |        1    28967     22 |  0.000 % |
2.87/2.96	c |     79190 |    2868    16577   120419 |        1    30635     22 |  0.000 % |
2.87/2.96	c |     79380 |    2868    16577   120419 |        1    30825     22 |  0.000 % |
2.87/2.96	c |     79633 |    2868    16577   120419 |        1    31078     22 |  0.000 % |
2.87/2.96	c |     79736 |    2868    16577   120419 |        1    31181     22 |  0.000 % |
2.87/2.96	c |     80725 |    2868    16577   120419 |        1    32170     22 |  0.000 % |
2.87/2.96	c |     80913 |    2868    16577   120419 |        1    32358     23 |  0.000 % |
2.87/2.96	c |     81281 |    2868    16577   120419 |        1    32726     23 |  0.000 % |
2.87/2.96	c |     81638 |    2868    16577   120419 |        1    33083     23 |  0.000 % |
2.87/2.96	c |     81829 |    2868    16577   120419 |        1    33274     23 |  0.000 % |
2.87/2.96	c |     82294 |    2868    16577   120419 |        1    33739     23 |  0.000 % |
2.87/2.96	c |     82394 |    2868    16577   120419 |        1    33839     23 |  0.000 % |
2.87/2.96	c |     84170 |    2868    16577   120419 |        1    18595     15 |  0.000 % |
2.87/2.96	c |     85477 |    2868    16577   120419 |        1    19902     16 |  0.000 % |
2.87/2.96	c |     87069 |    2868    16577   120419 |        1    21494     17 |  0.000 % |
2.87/2.96	c |     87263 |    2868    16577   120419 |        1    21688     17 |  0.000 % |
2.87/2.96	c |     88094 |    2868    16577   120419 |        1    22519     17 |  0.000 % |
2.87/2.96	c |     88267 |    2868    16577   120419 |        1    22692     18 |  0.000 % |
2.87/2.96	c |     88487 |    2868    16577   120419 |        1    22912     18 |  0.000 % |
2.87/2.96	c |     89307 |    2868    16577   120419 |        1    23732     18 |  0.000 % |
2.87/2.96	c |     89730 |    2868    16577   120419 |        1    24155     18 |  0.000 % |
2.87/2.96	c |     91000 |    2868    16577   120419 |        1    25425     19 |  0.000 % |
2.87/2.96	c |     91900 |    2868    16577   120419 |        1    26325     19 |  0.000 % |
2.87/2.96	c |     92132 |    2868    16577   120419 |        1    26557     19 |  0.000 % |
2.87/2.96	c |     94304 |    2868    16577   120419 |        1    28729     20 |  0.000 % |
2.87/2.96	c |     94625 |    2868    16577   120419 |        1    29050     20 |  0.000 % |
2.87/2.96	c |     94944 |    2868    16577   120419 |        1    29369     21 |  0.000 % |
8.89/8.95	c |     95329 |    2868    16577   120419 |        1    29754     21 |  0.000 % |
8.89/8.95	c |     95446 |    2868    16577   120419 |        1    29871     21 |  0.000 % |
8.89/8.95	c |     95546 |    2868    16577   120419 |        1    29971     21 |  0.000 % |
8.89/8.95	c |     95827 |    2868    16577   120419 |        1    30252     21 |  0.000 % |
8.89/8.95	c |     97754 |    2868    16577   120419 |        1    32179     21 |  0.000 % |
8.89/8.95	c |     98011 |    2868    16577   120419 |        1    32436     21 |  0.000 % |
8.89/8.95	c |     98386 |    2868    16577   120419 |        1    32811     21 |  0.000 % |
8.89/8.95	c |     98845 |    2868    16577   120419 |        1    33270     22 |  0.000 % |
8.89/8.95	c |    101856 |    2868    16577   120419 |        1    36281     22 |  0.000 % |
8.89/8.95	c |    102106 |    2868    16577   120419 |        1    36531     22 |  0.000 % |
8.89/8.95	c |    102209 |    2868    16577   120419 |        1    36634     22 |  0.000 % |
8.89/8.95	c |    110544 |    2868    16577   120419 |        1    25381     19 |  0.000 % |
8.89/8.95	c |    112247 |    2868    16577   120419 |        1    27084     19 |  0.000 % |
8.89/8.95	c |    113569 |    2868    16577   120419 |        1    28406     20 |  0.000 % |
8.89/8.95	c |    113904 |    2868    16577   120419 |        1    28741     20 |  0.000 % |
8.89/8.95	c |    117118 |    2868    16577   120419 |        1    31955     22 |  0.000 % |
8.89/8.95	c |    132559 |    2868    16577   120419 |        1    25205     18 |  0.000 % |
8.89/8.95	c |    133403 |    2868    16577   120419 |        1    26049     19 |  0.000 % |
8.89/8.95	c |    133997 |    2868    16577   120419 |        1    26643     19 |  0.000 % |
8.89/8.95	c |    134359 |    2868    16577   120419 |        1    27005     19 |  0.000 % |
8.89/8.95	c |    146638 |    2868    16577   120419 |        1    39284     23 |  0.000 % |
8.89/8.95	c |    147258 |    2868    16577   120419 |        1    39904     23 |  0.000 % |
8.89/8.95	c |    147763 |    2868    16577   120419 |        1    40409     24 |  0.000 % |
8.89/8.95	c |    148058 |    2868    16577   120419 |        1    40704     24 |  0.000 % |
8.89/8.95	c |    148188 |    2868    16577   120419 |        1    40834     24 |  0.000 % |
8.89/8.95	c |    155766 |    2868    16577   120419 |        1    48412     25 |  0.000 % |
8.89/8.95	c |    156527 |    2868    16577   120419 |        1    49173     25 |  0.000 % |
8.89/8.95	c |    158242 |    2868    16577   120419 |        1    26064     17 |  0.000 % |
8.89/8.95	c |    164370 |    2868    16577   120419 |        1    32192     19 |  0.000 % |
8.89/8.95	c |    164785 |    2868    16577   120419 |        1    32607     19 |  0.000 % |
8.89/8.95	c |    165502 |    2868    16577   120419 |        1    33324     19 |  0.000 % |
8.89/8.95	c |    166996 |    2868    16577   120419 |        1    34818     20 |  0.000 % |
8.89/8.95	c |    167618 |    2868    16577   120419 |        1    35440     20 |  0.000 % |
8.89/8.95	c |    168195 |    2868    16577   120419 |        1    36017     20 |  0.000 % |
8.89/8.95	c |    168859 |    2868    16577   120419 |        1    36681     20 |  0.000 % |
8.89/8.95	c |    169207 |    2868    16577   120419 |        1    37029     21 |  0.000 % |
8.89/8.95	c |    169550 |    2868    16577   120419 |        1    37372     21 |  0.000 % |
8.89/8.95	c |    169994 |    2868    16577   120419 |        1    37816     21 |  0.000 % |
8.89/8.95	c |    173194 |    2868    16577   120419 |        1    41016     22 |  0.000 % |
8.89/8.95	c |    173294 |    2868    16577   120419 |        1    41116     22 |  0.000 % |
8.89/8.95	c |    173829 |    2868    16577   120419 |        1    41651     22 |  0.000 % |
8.89/8.95	c |    173973 |    2868    16577   120419 |        1    41795     22 |  0.000 % |
8.89/8.95	c |    188044 |    2868    16577   120419 |        1    28472     16 |  0.000 % |
8.89/8.95	c |    188230 |    2868    16577   120419 |        1    28658     16 |  0.000 % |
8.89/8.95	c |    188710 |    2868    16577   120419 |        1    29138     16 |  0.000 % |
8.89/8.95	c |    189607 |    2868    16577   120419 |        1    30035     16 |  0.000 % |
8.89/8.95	c |    189826 |    2868    16577   120419 |        1    30254     16 |  0.000 % |
8.89/8.95	c |    190336 |    2868    16577   120419 |        1    30764     17 |  0.000 % |
8.89/8.95	c |    190436 |    2868    16577   120419 |        1    30864     17 |  0.000 % |
8.89/8.95	c |    198254 |    2868    16577   120419 |        1    38682     20 |  0.000 % |
28.88/28.98	c |    198566 |    2868    16577   120419 |        1    38994     20 |  0.000 % |
28.88/28.98	c |    212795 |    2868    16577   120419 |        1    53223     24 |  0.000 % |
28.88/28.98	c |    222762 |    2868    16577   120419 |        1    33189     17 |  0.000 % |
28.88/28.98	c |    222975 |    2868    16577   120419 |        1    33402     17 |  0.000 % |
28.88/28.98	c |    224834 |    2868    16577   120419 |        1    35261     18 |  0.000 % |
28.88/28.98	c |    224946 |    2868    16577   120419 |        1    35373     18 |  0.000 % |
28.88/28.98	c |    265572 |    2868    16577   120419 |        1    43392     21 |  0.000 % |
28.88/28.98	c |    281728 |    2868    16577   120419 |        1    59548     25 |  0.000 % |
28.88/28.98	c |    284449 |    2868    16577   120419 |        1    62269     25 |  0.000 % |
28.88/28.98	c |    285840 |    2868    16577   120419 |        1    63660     26 |  0.000 % |
28.88/28.98	c |    287530 |    2868    16577   120419 |        1    65350     26 |  0.000 % |
28.88/28.98	c |    287638 |    2868    16577   120419 |        1    65458     26 |  0.000 % |
28.88/28.98	c |    288114 |    2868    16577   120419 |        1    65934     26 |  0.000 % |
28.88/28.98	c |    291780 |    2868    16577   120419 |        1    69600     26 |  0.000 % |
28.88/28.98	c |    292358 |    2868    16577   120419 |        1    70178     26 |  0.000 % |
28.88/28.98	c |    292459 |    2868    16577   120419 |        1    70279     26 |  0.000 % |
28.88/28.98	c |    293335 |    2868    16577   120419 |        1    35960     16 |  0.000 % |
28.88/28.98	c |    294384 |    2868    16577   120419 |        1    37009     17 |  0.000 % |
28.88/28.98	c |    294484 |    2868    16577   120419 |        1    37109     17 |  0.000 % |
28.88/28.98	c |    314106 |    2868    16577   120419 |        1    56731     23 |  0.000 % |
28.88/28.98	c |    316372 |    2868    16577   120419 |        1    58997     23 |  0.000 % |
28.88/28.98	c |    316626 |    2868    16577   120419 |        1    59251     23 |  0.000 % |
28.88/28.98	c |    319661 |    2868    16577   120419 |        1    62286     24 |  0.000 % |
28.88/28.98	c |    319765 |    2868    16577   120419 |        1    62390     24 |  0.000 % |
28.88/28.98	c |    352314 |    2868    16577   120419 |        1    57144     24 |  0.000 % |
28.88/28.98	c |    355620 |    2868    16577   120419 |        1    60450     24 |  0.000 % |
28.88/28.98	c |    356203 |    2868    16577   120419 |        1    61033     24 |  0.000 % |
28.88/28.98	c |    356439 |    2868    16577   120419 |        1    61269     24 |  0.000 % |
28.88/28.98	c |    358667 |    2868    16577   120419 |        1    63497     25 |  0.000 % |
28.88/28.98	c |    359352 |    2868    16577   120419 |        1    64182     25 |  0.000 % |
28.88/28.98	c |    379477 |    2868    16577   120419 |        1    43897     17 |  0.000 % |
28.88/28.98	c |    379577 |    2868    16577   120419 |        1    43997     17 |  0.000 % |
28.88/28.98	c |    381087 |    2868    16577   120419 |        1    45507     18 |  0.000 % |
28.88/28.98	c |    381189 |    2868    16577   120419 |        1    45609     18 |  0.000 % |
28.88/28.98	c |    381289 |    2868    16577   120419 |        1    45709     18 |  0.000 % |
28.88/28.98	c |    395869 |    2868    16577   120419 |        1    60289     22 |  0.000 % |
28.88/28.98	c |    397877 |    2868    16577   120419 |        1    62297     22 |  0.000 % |
28.88/28.98	c |    404979 |    2868    16577   120419 |        1    69399     24 |  0.000 % |
28.88/28.98	c |    405095 |    2868    16577   120419 |        1    69515     24 |  0.000 % |
28.88/28.98	c |    406163 |    2868    16577   120419 |        1    70583     24 |  0.000 % |
28.88/28.98	c |    406713 |    2868    16577   120419 |        1    71133     24 |  0.000 % |
28.88/28.98	c |    408905 |    2868    16577   120419 |        1    73325     24 |  0.000 % |
28.88/28.98	c |    409045 |    2868    16577   120419 |        1    73465     25 |  0.000 % |
28.88/28.98	c |    409984 |    2868    16577   120419 |        1    74404     25 |  0.000 % |
28.88/28.98	c |    410152 |    2868    16577   120419 |        1    74572     25 |  0.000 % |
28.88/28.98	c |    420770 |    2868    16577   120419 |        1    85190     26 |  0.000 % |
28.88/28.98	c |    428197 |    2868    16577   120419 |        1    49617     18 |  0.000 % |
28.88/28.98	c |    428668 |    2868    16577   120419 |        1    50088     18 |  0.000 % |
28.88/28.98	c |    434906 |    2868    16577   120419 |        1    56326     20 |  0.000 % |
28.88/28.98	c |    435010 |    2868    16577   120419 |        1    56430     20 |  0.000 % |
154.18/154.29	c |    436104 |    2868    16577   120419 |        1    57524     20 |  0.000 % |
154.18/154.29	c |    468452 |    2868    16577   120419 |        1    89872     26 |  0.000 % |
154.18/154.29	c |    477497 |    2868    16577   120419 |        1    53320     19 |  0.000 % |
154.18/154.29	c |    479555 |    2868    16577   120419 |        1    55378     19 |  0.000 % |
154.18/154.29	c |    479764 |    2868    16577   120419 |        1    55587     19 |  0.000 % |
154.18/154.29	c |    480123 |    2868    16577   120419 |        1    55946     19 |  0.000 % |
154.18/154.29	c |    481572 |    2868    16577   120419 |        1    57395     20 |  0.000 % |
154.18/154.29	c |    481959 |    2868    16577   120419 |        1    57782     20 |  0.000 % |
154.18/154.29	c |    482084 |    2868    16577   120419 |        1    57907     20 |  0.000 % |
154.18/154.29	c |    495150 |    2868    16577   120419 |        1    70973     23 |  0.000 % |
154.18/154.29	c |    496474 |    2868    16577   120419 |        1    72297     23 |  0.000 % |
154.18/154.29	c |    538961 |    2868    16577   120419 |        1    66601     21 |  0.000 % |
154.18/154.29	c |    539065 |    2868    16577   120419 |        1    66705     21 |  0.000 % |
154.18/154.29	c |    539520 |    2868    16577   120419 |        1    67160     21 |  0.000 % |
154.18/154.29	c |    540244 |    2868    16577   120419 |        1    67884     21 |  0.000 % |
154.18/154.29	c |    541186 |    2868    16577   120419 |        1    68826     21 |  0.000 % |
154.18/154.29	c |    541287 |    2868    16577   120419 |        1    68927     21 |  0.000 % |
154.18/154.29	c |    541387 |    2868    16577   120419 |        1    69027     22 |  0.000 % |
154.18/154.29	c |    542425 |    2868    16577   120419 |        1    70065     22 |  0.000 % |
154.18/154.29	c |    547550 |    2868    16577   120419 |        1    75190     23 |  0.000 % |
154.18/154.29	c |    558676 |    2868    16577   120419 |        1    86316     25 |  0.000 % |
154.18/154.29	c |    600427 |    2868    16577   120419 |        1    77262     23 |  0.000 % |
154.18/154.29	c |    601855 |    2868    16577   120419 |        1    78690     23 |  0.000 % |
154.18/154.29	c |    606320 |    2868    16577   120419 |        1    83155     24 |  0.000 % |
154.18/154.29	c |    610161 |    2868    16577   120419 |        1    86996     25 |  0.000 % |
154.18/154.29	c |    610996 |    2868    16577   120419 |        1    87831     25 |  0.000 % |
154.18/154.29	c |    611321 |    2868    16577   120419 |        1    88156     25 |  0.000 % |
154.18/154.29	c |    613058 |    2868    16577   120419 |        1    89893     25 |  0.000 % |
154.18/154.29	c |    613160 |    2868    16577   120419 |        1    89995     25 |  0.000 % |
154.18/154.29	c |    613383 |    2868    16577   120419 |        1    90218     25 |  0.000 % |
154.18/154.29	c |    613790 |    2868    16577   120419 |        1    90625     25 |  0.000 % |
154.18/154.29	c |    614480 |    2868    16577   120419 |        1    91315     25 |  0.000 % |
154.18/154.29	c |    614580 |    2868    16577   120419 |        1    91415     25 |  0.000 % |
154.18/154.29	c |    624593 |    2868    16577   120419 |        1   101428     27 |  0.000 % |
154.18/154.29	c |    651456 |    2868    16577   120419 |        1    74887     22 |  0.000 % |
154.18/154.29	c |   1004836 |    2868    16577   120419 |        1   122254     24 |  0.000 % |
154.18/154.29	c |   1009963 |    2868    16577   120419 |        1   127381     24 |  0.000 % |
154.18/154.29	c |   1016893 |    2868    16577   120419 |        1   134311     25 |  0.000 % |
154.18/154.29	c |   1051206 |    2868    16577   120419 |        1    99628     23 |  0.000 % |
154.18/154.29	c |   1051316 |    2868    16577   120419 |        1    99738     23 |  0.000 % |
154.18/154.29	c |   1057517 |    2868    16577   120419 |        1   105939     24 |  0.000 % |
154.18/154.29	c |   1059834 |    2868    16577   120419 |        1   108256     24 |  0.000 % |
154.18/154.29	c |   1138622 |    2868    16577   120419 |        1   115438     24 |  0.000 % |
154.18/154.29	c |   1139764 |    2868    16577   120419 |        1   116580     25 |  0.000 % |
154.18/154.29	c |   1140162 |    2868    16577   120419 |        1   116978     25 |  0.000 % |
154.18/154.29	c |   1148720 |    2868    16577   120419 |        1   125536     25 |  0.000 % |
154.18/154.29	c |   1158816 |    2868    16577   120419 |        1   135632     27 |  0.000 % |
154.18/154.29	c |   1189536 |    2868    16577   120419 |        1    92156     20 |  0.000 % |
154.18/154.29	c |   1195446 |    2868    16577   120419 |        1    98066     21 |  0.000 % |
154.18/154.29	c |   1195911 |    2868    16577   120419 |        1    98531     21 |  0.000 % |
254.78/254.87	c |   1206087 |    2868    16577   120419 |        1   108707     23 |  0.000 % |
254.78/254.87	c |   1210267 |    2868    16577   120419 |        1   112887     23 |  0.000 % |
254.78/254.87	c |   1210367 |    2868    16577   120419 |        1   112987     23 |  0.000 % |
254.78/254.87	c |   1240086 |    2868    16577   120419 |        1   142706     26 |  0.000 % |
254.78/254.87	c |   1241416 |    2868    16577   120419 |        1   144036     26 |  0.000 % |
254.78/254.87	c |   1246513 |    2868    16577   120419 |        1   149133     27 |  0.000 % |
254.78/254.87	c |   1253152 |    2868    16577   120419 |        1    78969     16 |  0.000 % |
254.78/254.87	c |   1253720 |    2868    16577   120419 |        1    79537     16 |  0.000 % |
254.78/254.87	c |   1253856 |    2868    16577   120419 |        1    79673     16 |  0.000 % |
254.78/254.87	c |   1268113 |    2868    16577   120419 |        1    93930     20 |  0.000 % |
254.78/254.87	c |   1269346 |    2868    16577   120419 |        1    95163     20 |  0.000 % |
254.78/254.87	c |   1288327 |    2868    16577   120419 |        1   114144     23 |  0.000 % |
254.78/254.87	c |   1289238 |    2868    16577   120419 |        1   115055     23 |  0.000 % |
254.78/254.87	c |   1289338 |    2868    16577   120419 |        1   115155     23 |  0.000 % |
254.78/254.87	c |   1289439 |    2868    16577   120419 |        1   115256     23 |  0.000 % |
254.78/254.87	c |   1353796 |    2868    16577   120419 |        1   100209     19 |  0.000 % |
254.78/254.87	c |   1353896 |    2868    16577   120419 |        1   100309     19 |  0.000 % |
254.78/254.87	c |   1372336 |    2868    16577   120419 |        1   118749     22 |  0.000 % |
254.78/254.87	c |   1400549 |    2868    16577   120419 |        1   146962     25 |  0.000 % |
254.78/254.87	c |   1401904 |    2868    16577   120419 |        1   148317     25 |  0.000 % |
254.78/254.87	c |   1402530 |    2868    16577   120419 |        1   148943     25 |  0.000 % |
254.78/254.87	c |   1405049 |    2868    16577   120419 |        1   151462     26 |  0.000 % |
254.78/254.87	c |   1405173 |    2868    16577   120419 |        1   151586     26 |  0.000 % |
254.78/254.87	c |   1434422 |    2868    16577   120419 |        1    98847     19 |  0.000 % |
254.78/254.87	c |   1437523 |    2868    16577   120419 |        1   101948     20 |  0.000 % |
254.78/254.87	c |   1437662 |    2868    16577   120419 |        1   102087     20 |  0.000 % |
254.78/254.87	c |   1445896 |    2868    16577   120419 |        1   110321     22 |  0.000 % |
254.78/254.87	c |   1447155 |    2868    16577   120419 |        1   111580     22 |  0.000 % |
254.78/254.87	c |   1488831 |    2868    16577   120419 |        1   153256     25 |  0.000 % |
254.78/254.87	c |   1495009 |    2868    16577   120419 |        1   159434     26 |  0.000 % |
254.78/254.87	c |   1498914 |    2868    16577   120419 |        1   163339     26 |  0.000 % |
254.78/254.87	c |   1504500 |    2868    16577   120419 |        1   168925     27 |  0.000 % |
254.78/254.87	c |   1505467 |    2868    16577   120419 |        1    85283     15 |  0.000 % |
254.78/254.87	c |   1507957 |    2868    16577   120419 |        1    87773     16 |  0.000 % |
254.78/254.87	c |   1508057 |    2868    16577   120419 |        1    87873     16 |  0.000 % |
254.78/254.87	c |   1508180 |    2868    16577   120419 |        1    87996     16 |  0.000 % |
254.78/254.87	c |   1508347 |    2868    16577   120419 |        1    88163     16 |  0.000 % |
254.78/254.87	c |   1508447 |    2868    16577   120419 |        1    88263     16 |  0.000 % |
254.78/254.87	c |   1508703 |    2868    16577   120419 |        1    88519     16 |  0.000 % |
254.78/254.87	c |   1516463 |    2868    16577   120419 |        1    96279     18 |  0.000 % |
254.78/254.87	c |   1516680 |    2868    16577   120419 |        1    96496     18 |  0.000 % |
254.78/254.87	c |   1571481 |    2868    16577   120419 |        1   151297     25 |  0.000 % |
254.78/254.87	c |   1581563 |    2868    16577   120419 |        1   161379     26 |  0.000 % |
254.78/254.87	c |   1581663 |    2868    16577   120419 |        1   161479     26 |  0.000 % |
254.78/254.87	c |   1581764 |    2868    16577   120419 |        1   161580     26 |  0.000 % |
254.78/254.87	c |   1581868 |    2868    16577   120419 |        1   161684     26 |  0.000 % |
254.78/254.87	c |   1668954 |    2868    16577   120419 |        1   161572     25 |  0.000 % |
254.78/254.87	c |   1679763 |    2868    16577   120419 |        1   172381     26 |  0.000 % |
254.78/254.87	c |   1683471 |    2868    16577   120419 |        1   176089     26 |  0.000 % |
473.00/473.03	c |   1740028 |    2868    16577   120419 |        1   142843     24 |  0.000 % |
473.00/473.03	c |   1740140 |    2868    16577   120419 |        1   142955     24 |  0.000 % |
473.00/473.03	c |   1750021 |    2868    16577   120419 |        1   152836     25 |  0.000 % |
473.00/473.03	c |   1757983 |    2868    16577   120419 |        1   160798     26 |  0.000 % |
473.00/473.03	c |   1758561 |    2868    16577   120419 |        1   161376     26 |  0.000 % |
473.00/473.03	c |   1758661 |    2868    16577   120419 |        1   161476     26 |  0.000 % |
473.00/473.03	c |   1759118 |    2868    16577   120419 |        1   161933     26 |  0.000 % |
473.00/473.03	c |   1781291 |    2868    16577   120419 |        1   184106     28 |  0.000 % |
473.00/473.03	c |   1786134 |    2868    16577   120419 |        1    96544     16 |  0.000 % |
473.00/473.03	c |   1788574 |    2868    16577   120419 |        1    98984     17 |  0.000 % |
473.00/473.03	c |   1788703 |    2868    16577   120419 |        1    99113     17 |  0.000 % |
473.00/473.03	c |   1909562 |    2868    16577   120419 |        1   124983     20 |  0.000 % |
473.00/473.03	c |   1974339 |    2868    16577   120419 |        1   189760     26 |  0.000 % |
473.00/473.03	c |   1974788 |    2868    16577   120419 |        1   190209     26 |  0.000 % |
473.00/473.03	c |   1974897 |    2868    16577   120419 |        1   190318     26 |  0.000 % |
473.00/473.03	c |   1977599 |    2868    16577   120419 |        1   193020     26 |  0.000 % |
473.00/473.03	c |   1978276 |    2868    16577   120419 |        1   193697     26 |  0.000 % |
473.00/473.03	c |   2006850 |    2868    16577   120419 |        1   124666     19 |  0.000 % |
473.00/473.03	c |   2007969 |    2868    16577   120419 |        1   125785     20 |  0.000 % |
473.00/473.03	c |   2019530 |    2868    16577   120419 |        1   137346     22 |  0.000 % |
473.00/473.03	c |   2044948 |    2868    16577   120419 |        1   162764     24 |  0.000 % |
473.00/473.03	c |   2050811 |    2868    16577   120419 |        1   168627     25 |  0.000 % |
473.00/473.03	c |   2052676 |    2868    16577   120419 |        1   170492     25 |  0.000 % |
473.00/473.03	c |   2094168 |    2868    16577   120419 |        1   111784     17 |  0.000 % |
473.00/473.03	c |   2094806 |    2868    16577   120419 |        1   112422     18 |  0.000 % |
473.00/473.03	c |   2095611 |    2868    16577   120419 |        1   113227     18 |  0.000 % |
473.00/473.03	c |   2095711 |    2868    16577   120419 |        1   113327     18 |  0.000 % |
473.00/473.03	c |   2119411 |    2868    16577   120419 |        1   137027     22 |  0.000 % |
473.00/473.03	c |   2119597 |    2868    16577   120419 |        1   137213     22 |  0.000 % |
473.00/473.03	c |   2120595 |    2868    16577   120419 |        1   138211     22 |  0.000 % |
473.00/473.03	c |   2120696 |    2868    16577   120419 |        1   138312     22 |  0.000 % |
473.00/473.03	c |   2136029 |    2868    16577   120419 |        1   153645     23 |  0.000 % |
473.00/473.03	c |   2136130 |    2868    16577   120419 |        1   153746     23 |  0.000 % |
473.00/473.03	c |   2142044 |    2868    16577   120419 |        1   159660     24 |  0.000 % |
473.00/473.03	c |   2180900 |    2868    16577   120419 |        1   198516     26 |  0.000 % |
473.00/473.03	c |   2198531 |    2868    16577   120419 |        1   113351     16 |  0.000 % |
473.00/473.03	c |   2198828 |    2868    16577   120419 |        1   113648     16 |  0.000 % |
473.00/473.03	c |   2232477 |    2868    16577   120419 |        1   147297     21 |  0.000 % |
473.00/473.03	c |   2245323 |    2868    16577   120419 |        1   160143     23 |  0.000 % |
473.00/473.03	c |   2245771 |    2868    16577   120419 |        1   160591     23 |  0.000 % |
473.00/473.03	c |   2245873 |    2868    16577   120419 |        1   160693     23 |  0.000 % |
473.00/473.03	c |   2345056 |    2868    16577   120419 |        1   154480     21 |  0.000 % |
473.00/473.03	c |   2351684 |    2868    16577   120419 |        1   161108     22 |  0.000 % |
473.00/473.03	c |   2353689 |    2868    16577   120419 |        1   163113     22 |  0.000 % |
473.00/473.03	c |   2357630 |    2868    16577   120419 |        1   167054     22 |  0.000 % |
473.00/473.03	c |   2364670 |    2868    16577   120419 |        1   174094     23 |  0.000 % |
473.00/473.03	c |   2364773 |    2868    16577   120419 |        1   174197     23 |  0.000 % |
473.00/473.03	c |   2385759 |    2868    16577   120419 |        1   195183     25 |  0.000 % |
473.00/473.03	c |   2509535 |    2868    16577   120419 |        1   210954     26 |  0.000 % |
473.00/473.03	c |   2509658 |    2868    16577   120419 |        1   211077     26 |  0.000 % |
834.10/834.16	c |   2509807 |    2868    16577   120419 |        1   211226     26 |  0.000 % |
834.10/834.16	c |   2509907 |    2868    16577   120419 |        1   211326     26 |  0.000 % |
834.10/834.16	c |   2510009 |    2868    16577   120419 |        1   211428     26 |  0.000 % |
834.10/834.16	c |   2510110 |    2868    16577   120419 |        1   211529     26 |  0.000 % |
834.10/834.16	c |   2513419 |    2868    16577   120419 |        1   214838     26 |  0.000 % |
834.10/834.16	c |   2593521 |    2868    16577   120419 |        1   184340     25 |  0.000 % |
834.10/834.16	c |   2729609 |    2868    16577   120419 |        1   207229     25 |  0.000 % |
834.10/834.16	c |   2734683 |    2868    16577   120419 |        1   212303     25 |  0.000 % |
834.10/834.16	c |   2734827 |    2868    16577   120419 |        1   212447     25 |  0.000 % |
834.10/834.16	c |   2773372 |    2868    16577   120419 |        1   135191     18 |  0.000 % |
834.10/834.16	c |   2773993 |    2868    16577   120419 |        1   135812     18 |  0.000 % |
834.10/834.16	c |   2794069 |    2868    16577   120419 |        1   155888     21 |  0.000 % |
834.10/834.16	c |   2798292 |    2868    16577   120419 |        1   160111     22 |  0.000 % |
834.10/834.16	c |   2856450 |    2868    16577   120419 |        1   218269     27 |  0.000 % |
834.10/834.16	c |   2856551 |    2868    16577   120419 |        1   218370     27 |  0.000 % |
834.10/834.16	c |   2856703 |    2868    16577   120419 |        1   218522     27 |  0.000 % |
834.10/834.16	c |   2857920 |    2868    16577   120419 |        1   219739     27 |  0.000 % |
834.10/834.16	c |   2912920 |    2868    16577   120419 |        1   156333     21 |  0.000 % |
834.10/834.16	c |   2913020 |    2868    16577   120419 |        1   156433     21 |  0.000 % |
834.10/834.16	c |   2915754 |    2868    16577   120419 |        1   159167     22 |  0.000 % |
834.10/834.16	c |   2934762 |    2868    16577   120419 |        1   178175     23 |  0.000 % |
834.10/834.16	c |   2943247 |    2868    16577   120419 |        1   186660     24 |  0.000 % |
834.10/834.16	c |   2946433 |    2868    16577   120419 |        1   189846     25 |  0.000 % |
834.10/834.16	c |   2977969 |    2868    16577   120419 |        1   221382     27 |  0.000 % |
834.10/834.16	c |   2981236 |    2868    16577   120419 |        1   224649     27 |  0.000 % |
834.10/834.16	c |   2981345 |    2868    16577   120419 |        1   224758     27 |  0.000 % |
834.10/834.16	c |   3068941 |    2868    16577   120419 |        1   191356     23 |  0.000 % |
834.10/834.16	c |   3070253 |    2868    16577   120419 |        1   192668     23 |  0.000 % |
834.10/834.16	c |   3072414 |    2868    16577   120419 |        1   194829     23 |  0.000 % |
834.10/834.16	c |   3072514 |    2868    16577   120419 |        1   194929     23 |  0.000 % |
834.10/834.16	c |   3119916 |    2868    16577   120419 |        1   242331     26 |  0.000 % |
834.10/834.16	c |   3123010 |    2868    16577   120419 |        1   245425     26 |  0.000 % |
834.10/834.16	c |   3127985 |    2868    16577   120419 |        1   126801     15 |  0.000 % |
834.10/834.16	c |   3128561 |    2868    16577   120419 |        1   127377     15 |  0.000 % |
834.10/834.16	c |   3273747 |    2868    16577   120419 |        1   146360     17 |  0.000 % |
834.10/834.16	c |   3277243 |    2868    16577   120419 |        1   149856     18 |  0.000 % |
834.10/834.16	c |   3278192 |    2868    16577   120419 |        1   150805     18 |  0.000 % |
834.10/834.16	c |   3278374 |    2868    16577   120419 |        1   150987     18 |  0.000 % |
834.10/834.16	c |   3278531 |    2868    16577   120419 |        1   151144     18 |  0.000 % |
834.10/834.16	c |   3278632 |    2868    16577   120419 |        1   151245     18 |  0.000 % |
834.10/834.16	c |   3301449 |    2868    16577   120419 |        1   174062     20 |  0.000 % |
834.10/834.16	c |   3302601 |    2868    16577   120419 |        1   175214     21 |  0.000 % |
834.10/834.16	c |   3302730 |    2868    16577   120419 |        1   175343     21 |  0.000 % |
834.10/834.16	c |   3302904 |    2868    16577   120419 |        1   175517     21 |  0.000 % |
834.10/834.16	c |   3303005 |    2868    16577   120419 |        1   175618     21 |  0.000 % |
834.10/834.16	c |   3323098 |    2868    16577   120419 |        1   195711     23 |  0.000 % |
834.10/834.16	c |   3323198 |    2868    16577   120419 |        1   195811     23 |  0.000 % |
834.10/834.16	c |   3332838 |    2868    16577   120419 |        1   205451     24 |  0.000 % |
834.10/834.16	c |   3602190 |    2868    16577   120419 |        1   214607     22 |  0.000 % |
834.10/834.16	c |   3627298 |    2868    16577   120419 |        1   239715     24 |  0.000 % |
1010.80/1010.85	c |   3629532 |    2868    16577   120419 |        1   241949     24 |  0.000 % |
1010.80/1010.85	c |   3629766 |    2868    16577   120419 |        1   242183     24 |  0.000 % |
1010.80/1010.85	c |   3629866 |    2868    16577   120419 |        1   242283     24 |  0.000 % |
1010.80/1010.85	c |   3647018 |    2868    16577   120419 |        1   259435     25 |  0.000 % |
1010.80/1010.85	c |   3647118 |    2868    16577   120419 |        1   259535     25 |  0.000 % |
1010.80/1010.85	c |   3649280 |    2868    16577   120419 |        1   261697     25 |  0.000 % |
1010.80/1010.85	c |   3650134 |    2868    16577   120419 |        1   262551     26 |  0.000 % |
1010.80/1010.85	c |   3652103 |    2868    16577   120419 |        1   264520     26 |  0.000 % |
1010.80/1010.85	c |   3652203 |    2868    16577   120419 |        1   264620     26 |  0.000 % |
1010.80/1010.85	c |   3678464 |    2868    16577   120419 |        1   156875     18 |  0.000 % |
1010.80/1010.85	c |   3784223 |    2868    16577   120419 |        1   262634     25 |  0.000 % |
1010.80/1010.85	c |   3840391 |    2868    16577   120419 |        1   182205     20 |  0.000 % |
1010.80/1010.85	c |   3841248 |    2868    16577   120419 |        1   183062     21 |  0.000 % |
1010.80/1010.85	c |   3878027 |    2868    16577   120419 |        1   219841     24 |  0.000 % |
1010.80/1010.85	c |   3878438 |    2868    16577   120419 |        1   220252     24 |  0.000 % |
1010.80/1010.85	c |   3878760 |    2868    16577   120419 |        1   220574     24 |  0.000 % |
1010.80/1010.85	c |   3893087 |    2868    16577   120419 |        1   234901     25 |  0.000 % |
1010.80/1010.85	c |   3893364 |    2868    16577   120419 |        1   235178     25 |  0.000 % |
1010.80/1010.85	c |   3893636 |    2868    16577   120419 |        1   235450     25 |  0.000 % |
1010.80/1010.85	c |   3894699 |    2868    16577   120419 |        1   236513     25 |  0.000 % |
1010.80/1010.85	c |   3894818 |    2868    16577   120419 |        1   236632     25 |  0.000 % |
1010.80/1010.85	c |   3945124 |    2868    16577   120419 |        1   147733     16 |  0.000 % |
1010.80/1010.85	c |   4002702 |    2868    16577   120419 |        1   205311     22 |  0.000 % |
1010.80/1010.85	c |   4002802 |    2868    16577   120419 |        1   205411     22 |  0.000 % |
1010.80/1010.85	c |   4008354 |    2868    16577   120419 |        1   210963     23 |  0.000 % |
1010.80/1010.85	c |   4008516 |    2868    16577   120419 |        1   211125     23 |  0.000 % |
1010.80/1010.85	c |   4012373 |    2868    16577   120419 |        1   214982     23 |  0.000 % |
1010.80/1010.85	c |   4013753 |    2868    16577   120419 |        1   216362     23 |  0.000 % |
1010.80/1010.85	c |   4033553 |    2868    16577   120419 |        1   236162     24 |  0.000 % |
1010.80/1010.85	c |   4036406 |    2868    16577   120419 |        1   239015     25 |  0.000 % |
1010.80/1010.85	c |   4040469 |    2868    16577   120419 |        1   243078     25 |  0.000 % |
1010.80/1010.85	c |   4040569 |    2868    16577   120419 |        1   243178     25 |  0.000 % |
1010.80/1010.85	c |   4044381 |    2868    16577   120419 |        1   246990     25 |  0.000 % |
1010.80/1010.85	c |   4044482 |    2868    16577   120419 |        1   247091     25 |  0.000 % |
1010.80/1010.85	c |   4045409 |    2868    16577   120419 |        1   248018     25 |  0.000 % |
1010.80/1010.85	c |   4045509 |    2868    16577   120419 |        1   248118     25 |  0.000 % |
1010.80/1010.85	c |   4045730 |    2868    16577   120419 |        1   248339     25 |  0.000 % |
1010.80/1010.85	c |   4045831 |    2868    16577   120419 |        1   248440     25 |  0.000 % |
1010.80/1010.85	c |   4045931 |    2868    16577   120419 |        1   248540     25 |  0.000 % |
1010.80/1010.85	c |   4063878 |    2868    16577   120419 |        1   266487     26 |  0.000 % |
1010.80/1010.85	c |   4063987 |    2868    16577   120419 |        1   266596     26 |  0.000 % |
1010.80/1010.85	c |   4064091 |    2868    16577   120419 |        1   266700     26 |  0.000 % |
1010.80/1010.85	c |   4064598 |    2868    16577   120419 |        1   267207     26 |  0.000 % |
1010.80/1010.85	c |   4102036 |    2868    16577   120419 |        1   162848     17 |  0.000 % |
1010.80/1010.85	c |   4102137 |    2868    16577   120419 |        1   162949     17 |  0.000 % |
1010.80/1010.85	c |   4109598 |    2868    16577   120419 |        1   170410     19 |  0.000 % |
1010.80/1010.85	c |   4109700 |    2868    16577   120419 |        1   170512     19 |  0.000 % |
1010.80/1010.85	c |   4110632 |    2868    16577   120419 |        1   171444     19 |  0.000 % |
1010.80/1010.85	c |   4110736 |    2868    16577   120419 |        1   171548     19 |  0.000 % |
1010.80/1010.85	c |   4112585 |    2868    16577   120419 |        1   173397     19 |  0.000 % |
1188.91/1188.98	c |   4114811 |    2868    16577   120419 |        1   175623     19 |  0.000 % |
1188.91/1188.98	c |   4124022 |    2868    16577   120419 |        1   184834     20 |  0.000 % |
1188.91/1188.98	c |   4124639 |    2868    16577   120419 |        1   185451     20 |  0.000 % |
1188.91/1188.98	c |   4136090 |    2868    16577   120419 |        1   196902     22 |  0.000 % |
1188.91/1188.98	c |   4180522 |    2868    16577   120419 |        1   241334     25 |  0.000 % |
1188.91/1188.98	c |   4192313 |    2868    16577   120419 |        1   253125     26 |  0.000 % |
1188.91/1188.98	c |   4197685 |    2868    16577   120419 |        1   258497     26 |  0.000 % |
1188.91/1188.98	c |   4197827 |    2868    16577   120419 |        1   258639     26 |  0.000 % |
1188.91/1188.98	c |   4243107 |    2868    16577   120419 |        1   159521     17 |  0.000 % |
1188.91/1188.98	c |   4251842 |    2868    16577   120419 |        1   168256     18 |  0.000 % |
1188.91/1188.98	c |   4260334 |    2868    16577   120419 |        1   176748     19 |  0.000 % |
1188.91/1188.98	c |   4294710 |    2868    16577   120419 |        1   211124     22 |  0.000 % |
1188.91/1188.98	c |   4295167 |    2868    16577   120419 |        1   211581     22 |  0.000 % |
1188.91/1188.98	c |   4302693 |    2868    16577   120419 |        1   219107     23 |  0.000 % |
1188.91/1188.98	c |   4303815 |    2868    16577   120419 |        1   220229     23 |  0.000 % |
1188.91/1188.98	c |   4304066 |    2868    16577   120419 |        1   220480     23 |  0.000 % |
1188.91/1188.98	c |   4304166 |    2868    16577   120419 |        1   220580     23 |  0.000 % |
1188.91/1188.98	c |   4304266 |    2868    16577   120419 |        1   220680     23 |  0.000 % |
1188.91/1188.98	c |   4308565 |    2868    16577   120419 |        1   224979     23 |  0.000 % |
1188.91/1188.98	c |   4308666 |    2868    16577   120419 |        1   225080     23 |  0.000 % |
1188.91/1188.98	c |   4314855 |    2868    16577   120419 |        1   231269     24 |  0.000 % |
1188.91/1188.98	c |   4314956 |    2868    16577   120419 |        1   231370     24 |  0.000 % |
1188.91/1188.98	c |   4324707 |    2868    16577   120419 |        1   241121     24 |  0.000 % |
1188.91/1188.98	c |   4444570 |    2868    16577   120419 |        1   213984     22 |  0.000 % |
1188.91/1188.98	c |   4444671 |    2868    16577   120419 |        1   214085     22 |  0.000 % |
1188.91/1188.98	c |   4454414 |    2868    16577   120419 |        1   223828     22 |  0.000 % |
1188.91/1188.98	c |   4454514 |    2868    16577   120419 |        1   223928     22 |  0.000 % |
1188.91/1188.98	c |   4454614 |    2868    16577   120419 |        1   224028     22 |  0.000 % |
1188.91/1188.98	c |   4457553 |    2868    16577   120419 |        1   226967     23 |  0.000 % |
1188.91/1188.98	c |   4457653 |    2868    16577   120419 |        1   227067     23 |  0.000 % |
1188.91/1188.98	c |   4461278 |    2868    16577   120419 |        1   230692     23 |  0.000 % |
1188.91/1188.98	c |   4461378 |    2868    16577   120419 |        1   230792     23 |  0.000 % |
1188.91/1188.98	c |   4461805 |    2868    16577   120419 |        1   231219     23 |  0.000 % |
1188.91/1188.98	c |   4471200 |    2868    16577   120419 |        1   240614     24 |  0.000 % |
1188.91/1188.98	c |   4471753 |    2868    16577   120419 |        1   241167     24 |  0.000 % |
1188.91/1188.98	c |   4471912 |    2868    16577   120419 |        1   241326     24 |  0.000 % |
1188.91/1188.98	c |   4472012 |    2868    16577   120419 |        1   241426     24 |  0.000 % |
1188.91/1188.98	c |   4476677 |    2868    16577   120419 |        1   246091     24 |  0.000 % |
1188.91/1188.98	c |   4476779 |    2868    16577   120419 |        1   246193     24 |  0.000 % |
1188.91/1188.98	c |   4529563 |    2868    16577   120419 |        1   298977     26 |  0.000 % |
1188.91/1188.98	c |   4543288 |    2868    16577   120419 |        1   163100     16 |  0.000 % |
1188.91/1188.98	c |   4552211 |    2868    16577   120419 |        1   172023     17 |  0.000 % |
1188.91/1188.98	c |   4557365 |    2868    16577   120419 |        1   177177     18 |  0.000 % |
1188.91/1188.98	c |   4557465 |    2868    16577   120419 |        1   177277     18 |  0.000 % |
1188.91/1188.98	c |   4561502 |    2868    16577   120419 |        1   181314     18 |  0.000 % |
1188.91/1188.98	c |   4564025 |    2868    16577   120419 |        1   183837     19 |  0.000 % |
1188.91/1188.98	c |   4572260 |    2868    16577   120419 |        1   192072     20 |  0.000 % |
1188.91/1188.98	c |   4572583 |    2868    16577   120419 |        1   192395     20 |  0.000 % |
1188.91/1188.98	c |   4574648 |    2868    16577   120419 |        1   194460     20 |  0.000 % |
1188.91/1188.98	c |   4574749 |    2868    16577   120419 |        1   194561     20 |  0.000 % |
1491.31/1491.36	c |   4574854 |    2868    16577   120419 |        1   194666     20 |  0.000 % |
1491.31/1491.36	c |   4574954 |    2868    16577   120419 |        1   194766     20 |  0.000 % |
1491.31/1491.36	c |   4575113 |    2868    16577   120419 |        1   194925     20 |  0.000 % |
1491.31/1491.36	c |   4577064 |    2868    16577   120419 |        1   196876     20 |  0.000 % |
1491.31/1491.36	c |   4603410 |    2868    16577   120419 |        1   223222     22 |  0.000 % |
1491.31/1491.36	c |   4603513 |    2868    16577   120419 |        1   223325     22 |  0.000 % |
1491.31/1491.36	c |   4603824 |    2868    16577   120419 |        1   223636     22 |  0.000 % |
1491.31/1491.36	c |   4610912 |    2868    16577   120419 |        1   230724     23 |  0.000 % |
1491.31/1491.36	c |   4612630 |    2868    16577   120419 |        1   232442     23 |  0.000 % |
1491.31/1491.36	c |   4612924 |    2868    16577   120419 |        1   232736     23 |  0.000 % |
1491.31/1491.36	c |   4661854 |    2868    16577   120419 |        1   281666     25 |  0.000 % |
1491.31/1491.36	c |   4662663 |    2868    16577   120419 |        1   282475     25 |  0.000 % |
1491.31/1491.36	c |   4668282 |    2868    16577   120419 |        1   288094     25 |  0.000 % |
1491.31/1491.36	c |   4668382 |    2868    16577   120419 |        1   288194     25 |  0.000 % |
1491.31/1491.36	c |   4668482 |    2868    16577   120419 |        1   288294     25 |  0.000 % |
1491.31/1491.36	c |   4668584 |    2868    16577   120419 |        1   288396     25 |  0.000 % |
1491.31/1491.36	c |   4671353 |    2868    16577   120419 |        1   291165     25 |  0.000 % |
1491.31/1491.36	c |   4700279 |    2868    16577   120419 |        1   167891     16 |  0.000 % |
1491.31/1491.36	c |   4700380 |    2868    16577   120419 |        1   167992     16 |  0.000 % |
1491.31/1491.36	c |   4766387 |    2868    16577   120419 |        1   233999     22 |  0.000 % |
1491.31/1491.36	c |   4776967 |    2868    16577   120419 |        1   244579     23 |  0.000 % |
1491.31/1491.36	c |   4778969 |    2868    16577   120419 |        1   246581     23 |  0.000 % |
1491.31/1491.36	c |   4779207 |    2868    16577   120419 |        1   246819     23 |  0.000 % |
1491.31/1491.36	c |   4779995 |    2868    16577   120419 |        1   247607     23 |  0.000 % |
1491.31/1491.36	c |   4782484 |    2868    16577   120419 |        1   250096     23 |  0.000 % |
1491.31/1491.36	c |   4783108 |    2868    16577   120419 |        1   250720     23 |  0.000 % |
1491.31/1491.36	c |   4783208 |    2868    16577   120419 |        1   250820     23 |  0.000 % |
1491.31/1491.36	c |   4785541 |    2868    16577   120419 |        1   253153     23 |  0.000 % |
1491.31/1491.36	c |   4785641 |    2868    16577   120419 |        1   253253     23 |  0.000 % |
1491.31/1491.36	c |   4830794 |    2868    16577   120419 |        1   298406     25 |  0.000 % |
1491.31/1491.36	c |   4843315 |    2868    16577   120419 |        1   156128     15 |  0.000 % |
1491.31/1491.36	c |   4851447 |    2868    16577   120419 |        1   164260     16 |  0.000 % |
1491.31/1491.36	c |   4851547 |    2868    16577   120419 |        1   164360     16 |  0.000 % |
1491.31/1491.36	c |   4855135 |    2868    16577   120419 |        1   167948     16 |  0.000 % |
1491.31/1491.36	c |   4908764 |    2868    16577   120419 |        1   221577     22 |  0.000 % |
1491.31/1491.36	c |   4908866 |    2868    16577   120419 |        1   221679     22 |  0.000 % |
1491.31/1491.36	c |   4910826 |    2868    16577   120419 |        1   223639     22 |  0.000 % |
1491.31/1491.36	c |   4913047 |    2868    16577   120419 |        1   225860     22 |  0.000 % |
1491.31/1491.36	c |   4929225 |    2868    16577   120419 |        1   242038     23 |  0.000 % |
1491.31/1491.36	c |   5039100 |    2868    16577   120419 |        1   194517     18 |  0.000 % |
1491.31/1491.36	c |   5073102 |    2868    16577   120419 |        1   228519     21 |  0.000 % |
1491.31/1491.36	c |   5108758 |    2868    16577   120419 |        1   264175     23 |  0.000 % |
1491.31/1491.36	c |   5108859 |    2868    16577   120419 |        1   264276     23 |  0.000 % |
1491.31/1491.36	c |   5140025 |    2868    16577   120419 |        1   295442     25 |  0.000 % |
1491.31/1491.36	c |   5204017 |    2868    16577   120419 |        1   199437     19 |  0.000 % |
1491.31/1491.36	c |   5204117 |    2868    16577   120419 |        1   199537     19 |  0.000 % |
1491.31/1491.36	c |   5204555 |    2868    16577   120419 |        1   199975     19 |  0.000 % |
1491.31/1491.36	c |   5207132 |    2868    16577   120419 |        1   202552     20 |  0.000 % |
1491.31/1491.36	c |   5302508 |    2868    16577   120419 |        1   297928     26 |  0.000 % |
1491.31/1491.36	c |   5302838 |    2868    16577   120419 |        1   298258     26 |  0.000 % |
1780.82/1780.86	c |   5310897 |    2868    16577   120419 |        1   306317     26 |  0.000 % |
1780.82/1780.86	c |   5310998 |    2868    16577   120419 |        1   306418     26 |  0.000 % |
1780.82/1780.86	c |   5313789 |    2868    16577   120419 |        1   309209     26 |  0.000 % |
1780.82/1780.86	c |   5313890 |    2868    16577   120419 |        1   309310     26 |  0.000 % |
1780.82/1780.86	c |   5313990 |    2868    16577   120419 |        1   309410     26 |  0.000 % |
1780.82/1780.86	c |   5323180 |    2868    16577   120419 |        1   318600     27 |  0.000 % |
1780.82/1780.86	c |   5323374 |    2868    16577   120419 |        1   318794     27 |  0.000 % |
1780.82/1780.86	c |   5324534 |    2868    16577   120419 |        1   319954     27 |  0.000 % |
1780.82/1780.86	c |   5324660 |    2868    16577   120419 |        1   320080     27 |  0.000 % |
1780.82/1780.86	c |   5329338 |    2868    16577   120419 |        1   324758     27 |  0.000 % |
1780.82/1780.86	c |   5329661 |    2868    16577   120419 |        1   325081     27 |  0.000 % |
1780.82/1780.86	c |   5562556 |    2868    16577   120419 |        1   230171     20 |  0.000 % |
1780.82/1780.86	c |   5565201 |    2868    16577   120419 |        1   232816     20 |  0.000 % |
1780.82/1780.86	c |   5565302 |    2868    16577   120419 |        1   232917     20 |  0.000 % |
1780.82/1780.86	c |   5568529 |    2868    16577   120419 |        1   236144     20 |  0.000 % |
1780.82/1780.86	c |   5582361 |    2868    16577   120419 |        1   249976     21 |  0.000 % |
1780.82/1780.86	c |   5582467 |    2868    16577   120419 |        1   250082     21 |  0.000 % |
1780.82/1780.86	c |   5655434 |    2868    16577   120419 |        1   323049     25 |  0.000 % |
1780.82/1780.86	c |   5669415 |    2868    16577   120419 |        1   169233     14 |  0.000 % |
1780.82/1780.86	c |   5670287 |    2868    16577   120419 |        1   170105     15 |  0.000 % |
1780.82/1780.86	c |   5679960 |    2868    16577   120419 |        1   179778     16 |  0.000 % |
1780.82/1780.86	c |   5695698 |    2868    16577   120419 |        1   195516     17 |  0.000 % |
1780.82/1780.86	c |   5696228 |    2868    16577   120419 |        1   196046     18 |  0.000 % |
1780.82/1780.86	c |   5703065 |    2868    16577   120419 |        1   202883     18 |  0.000 % |
1780.82/1780.86	c |   5708918 |    2868    16577   120419 |        1   208736     19 |  0.000 % |
1780.82/1780.86	c |   5710955 |    2868    16577   120419 |        1   210773     19 |  0.000 % |
1780.82/1780.86	c |   5731206 |    2868    16577   120419 |        1   231024     21 |  0.000 % |
1780.82/1780.86	c |   5732125 |    2868    16577   120419 |        1   231943     21 |  0.000 % |
1780.82/1780.86	c |   5772545 |    2868    16577   120419 |        1   272363     24 |  0.000 % |
1780.82/1780.86	c |   5773101 |    2868    16577   120419 |        1   272919     24 |  0.000 % |
1780.82/1780.86	c |   5773201 |    2868    16577   120419 |        1   273019     24 |  0.000 % |
1780.82/1780.86	c |   5773302 |    2868    16577   120419 |        1   273120     24 |  0.000 % |
1780.82/1780.86	c |   5773405 |    2868    16577   120419 |        1   273223     24 |  0.000 % |
1780.82/1780.86	c |   5773506 |    2868    16577   120419 |        1   273324     24 |  0.000 % |
1780.82/1780.86	c |   5785271 |    2868    16577   120419 |        1   285089     25 |  0.000 % |
1780.82/1780.86	c |   5802312 |    2868    16577   120419 |        1   302130     25 |  0.000 % |
1780.82/1780.86	c |   5813592 |    2868    16577   120419 |        1   313410     26 |  0.000 % |
1780.82/1780.86	c |   5813694 |    2868    16577   120419 |        1   313512     26 |  0.000 % |
1780.82/1780.86	c |   5826549 |    2868    16577   120419 |        1   326367     26 |  0.000 % |
1780.82/1780.86	c |   5826649 |    2868    16577   120419 |        1   326467     26 |  0.000 % |
1780.82/1780.86	c |   5829119 |    2868    16577   120419 |        1   328937     27 |  0.000 % |
1780.82/1780.86	c |   5829219 |    2868    16577   120419 |        1   329037     27 |  0.000 % |
1780.82/1780.86	c |   5829319 |    2868    16577   120419 |        1   329137     27 |  0.000 % |
1780.82/1780.86	c |   5848290 |    2868    16577   120419 |        1   177702     15 |  0.000 % |
1780.82/1780.86	c |   5881264 |    2868    16577   120419 |        1   210676     19 |  0.000 % |
1780.82/1780.86	c |   5886098 |    2868    16577   120419 |        1   215510     19 |  0.000 % |
1780.82/1780.86	c |   5886811 |    2868    16577   120419 |        1   216223     19 |  0.000 % |
1780.82/1780.86	c |   5887073 |    2868    16577   120419 |        1   216485     19 |  0.000 % |
1780.82/1780.86	c |   5951011 |    2868    16577   120419 |        1   280423     24 |  0.000 % |
1780.82/1780.86	c |   5952183 |    2868    16577   120419 |        1   281595     24 |  0.000 % |
1958.52/1958.51	c |   5952285 |    2868    16577   120419 |        1   281697     24 |  0.000 % |
1958.52/1958.51	c |   5966759 |    2868    16577   120419 |        1   296171     24 |  0.000 % |
1958.52/1958.51	c |   5966860 |    2868    16577   120419 |        1   296272     24 |  0.000 % |
1958.52/1958.51	c |   5967026 |    2868    16577   120419 |        1   296438     24 |  0.000 % |
1958.52/1958.51	c |   5973993 |    2868    16577   120419 |        1   303405     24 |  0.000 % |
1958.52/1958.51	c |   5975607 |    2868    16577   120419 |        1   305019     25 |  0.000 % |
1958.52/1958.51	c |   5975752 |    2868    16577   120419 |        1   305164     25 |  0.000 % |
1958.52/1958.51	c |   5976283 |    2868    16577   120419 |        1   305695     25 |  0.000 % |
1958.52/1958.51	c |   5976750 |    2868    16577   120419 |        1   306162     25 |  0.000 % |
1958.52/1958.51	c |   5983655 |    2868    16577   120419 |        1   313067     25 |  0.000 % |
1958.52/1958.51	c |   5995782 |    2868    16577   120419 |        1   325194     25 |  0.000 % |
1958.52/1958.51	c |   6029907 |    2868    16577   120419 |        1   186324     16 |  0.000 % |
1958.52/1958.51	c |   6030009 |    2868    16577   120419 |        1   186426     16 |  0.000 % |
1958.52/1958.51	c |   6049860 |    2868    16577   120419 |        1   206277     18 |  0.000 % |
1958.52/1958.51	c |   6098226 |    2868    16577   120419 |        1   254643     21 |  0.000 % |
1958.52/1958.51	c |   6098327 |    2868    16577   120419 |        1   254744     21 |  0.000 % |
1958.52/1958.51	c |   6099851 |    2868    16577   120419 |        1   256268     21 |  0.000 % |
1958.52/1958.51	c |   6099951 |    2868    16577   120419 |        1   256368     21 |  0.000 % |
1958.52/1958.51	c |   6102702 |    2868    16577   120419 |        1   259119     22 |  0.000 % |
1958.52/1958.51	c |   6117434 |    2868    16577   120419 |        1   273851     22 |  0.000 % |
1958.52/1958.51	c |   6117535 |    2868    16577   120419 |        1   273952     22 |  0.000 % |
1958.52/1958.51	c |   6117638 |    2868    16577   120419 |        1   274055     22 |  0.000 % |
1958.52/1958.51	c |   6117740 |    2868    16577   120419 |        1   274157     22 |  0.000 % |
1958.52/1958.51	c |   6117842 |    2868    16577   120419 |        1   274259     22 |  0.000 % |
1958.52/1958.51	c |   6130142 |    2868    16577   120419 |        1   286559     23 |  0.000 % |
1958.52/1958.51	c |   6130452 |    2868    16577   120419 |        1   286869     23 |  0.000 % |
1958.52/1958.51	c |   6136395 |    2868    16577   120419 |        1   292812     23 |  0.000 % |
1958.52/1958.51	c |   6155261 |    2868    16577   120419 |        1   311678     24 |  0.000 % |
1958.52/1958.51	c |   6184278 |    2868    16577   120419 |        1   340695     25 |  0.000 % |
1958.52/1958.51	c |   6198060 |    2868    16577   120419 |        1   178876     15 |  0.000 % |
1958.52/1958.51	c |   6201184 |    2868    16577   120419 |        1   182000     15 |  0.000 % |
1958.52/1958.51	c |   6214252 |    2868    16577   120419 |        1   195068     16 |  0.000 % |
1958.52/1958.51	c |   6225635 |    2868    16577   120419 |        1   206451     17 |  0.000 % |
1958.52/1958.51	c |   6240471 |    2868    16577   120419 |        1   221287     19 |  0.000 % |
1958.52/1958.51	c |   6241944 |    2868    16577   120419 |        1   222760     19 |  0.000 % |
1958.52/1958.51	c |   6243256 |    2868    16577   120419 |        1   224072     19 |  0.000 % |
1958.52/1958.51	c |   6243880 |    2868    16577   120419 |        1   224696     19 |  0.000 % |
1958.52/1958.51	c |   6244429 |    2868    16577   120419 |        1   225245     19 |  0.000 % |
1958.52/1958.51	c |   6244531 |    2868    16577   120419 |        1   225347     19 |  0.000 % |
1958.52/1958.51	c |   6244631 |    2868    16577   120419 |        1   225447     19 |  0.000 % |
1958.52/1958.51	c |   6256565 |    2868    16577   120419 |        1   237381     20 |  0.000 % |
1958.52/1958.51	c |   6256665 |    2868    16577   120419 |        1   237481     20 |  0.000 % |
1958.52/1958.51	c |   6258177 |    2868    16577   120419 |        1   238993     21 |  0.000 % |
1958.52/1958.51	c |   6258278 |    2868    16577   120419 |        1   239094     21 |  0.000 % |
1958.52/1958.51	c |   6258671 |    2868    16577   120419 |        1   239487     21 |  0.000 % |
1958.52/1958.51	c |   6278720 |    2868    16577   120419 |        1   259536     22 |  0.000 % |
1958.52/1958.51	c |   6310368 |    2868    16577   120419 |        1   291184     23 |  0.000 % |
1958.52/1958.51	c |   6323691 |    2868    16577   120419 |        1   304507     24 |  0.000 % |
1958.52/1958.51	c |   6323791 |    2868    16577   120419 |        1   304607     24 |  0.000 % |
1958.52/1958.51	c |   6328651 |    2868    16577   120419 |        1   309467     24 |  0.000 % |
2416.94/2416.95	c |   6329916 |    2868    16577   120419 |        1   310732     25 |  0.000 % |
2416.94/2416.95	c |   6330018 |    2868    16577   120419 |        1   310834     25 |  0.000 % |
2416.94/2416.95	c |   6330119 |    2868    16577   120419 |        1   310935     25 |  0.000 % |
2416.94/2416.95	c |   6353851 |    2868    16577   120419 |        1   334667     26 |  0.000 % |
2416.94/2416.95	c |   6354370 |    2868    16577   120419 |        1   335186     26 |  0.000 % |
2416.94/2416.95	c |   6373218 |    2868    16577   120419 |        1   354034     26 |  0.000 % |
2416.94/2416.95	c |   6405559 |    2868    16577   120419 |        1   208176     18 |  0.000 % |
2416.94/2416.95	c |   6408496 |    2868    16577   120419 |        1   211113     18 |  0.000 % |
2416.94/2416.95	c |   6452316 |    2868    16577   120419 |        1   254933     21 |  0.000 % |
2416.94/2416.95	c |   6461606 |    2868    16577   120419 |        1   264223     21 |  0.000 % |
2416.94/2416.95	c |   6479588 |    2868    16577   120419 |        1   282205     22 |  0.000 % |
2416.94/2416.95	c |   6479909 |    2868    16577   120419 |        1   282526     23 |  0.000 % |
2416.94/2416.95	c |   6487020 |    2868    16577   120419 |        1   289637     23 |  0.000 % |
2416.94/2416.95	c |   6487120 |    2868    16577   120419 |        1   289737     23 |  0.000 % |
2416.94/2416.95	c |   6507920 |    2868    16577   120419 |        1   310537     24 |  0.000 % |
2416.94/2416.95	c |   6508283 |    2868    16577   120419 |        1   310900     24 |  0.000 % |
2416.94/2416.95	c |   6508388 |    2868    16577   120419 |        1   311005     24 |  0.000 % |
2416.94/2416.95	c |   6509705 |    2868    16577   120419 |        1   312322     24 |  0.000 % |
2416.94/2416.95	c |   6590602 |    2868    16577   120419 |        1   212419     17 |  0.000 % |
2416.94/2416.95	c |   6591104 |    2868    16577   120419 |        1   212921     17 |  0.000 % |
2416.94/2416.95	c |   6597018 |    2868    16577   120419 |        1   218835     17 |  0.000 % |
2416.94/2416.95	c |   6608563 |    2868    16577   120419 |        1   230380     18 |  0.000 % |
2416.94/2416.95	c |   6608663 |    2868    16577   120419 |        1   230480     18 |  0.000 % |
2416.94/2416.95	c |   6757326 |    2868    16577   120419 |        1   195745     15 |  0.000 % |
2416.94/2416.95	c |   6783189 |    2868    16577   120419 |        1   221608     18 |  0.000 % |
2416.94/2416.95	c |   6887167 |    2868    16577   120419 |        1   325586     23 |  0.000 % |
2416.94/2416.95	c |   6890618 |    2868    16577   120419 |        1   329037     24 |  0.000 % |
2416.94/2416.95	c |   6890718 |    2868    16577   120419 |        1   329137     24 |  0.000 % |
2416.94/2416.95	c |   6957647 |    2868    16577   120419 |        1   210064     17 |  0.000 % |
2416.94/2416.95	c |   6957747 |    2868    16577   120419 |        1   210164     17 |  0.000 % |
2416.94/2416.95	c |   6957848 |    2868    16577   120419 |        1   210265     17 |  0.000 % |
2416.94/2416.95	c |   6957951 |    2868    16577   120419 |        1   210368     17 |  0.000 % |
2416.94/2416.95	c |   6959038 |    2868    16577   120419 |        1   211455     17 |  0.000 % |
2416.94/2416.95	c |   6961781 |    2868    16577   120419 |        1   214198     17 |  0.000 % |
2416.94/2416.95	c |   6961909 |    2868    16577   120419 |        1   214326     17 |  0.000 % |
2416.94/2416.95	c |   6962009 |    2868    16577   120419 |        1   214426     17 |  0.000 % |
2416.94/2416.95	c |   6993095 |    2868    16577   120419 |        1   245512     19 |  0.000 % |
2416.94/2416.95	c |   7003640 |    2868    16577   120419 |        1   256057     20 |  0.000 % |
2416.94/2416.95	c |   7050372 |    2868    16577   120419 |        1   302789     23 |  0.000 % |
2416.94/2416.95	c |   7079476 |    2868    16577   120419 |        1   331893     24 |  0.000 % |
2416.94/2416.95	c |   7079583 |    2868    16577   120419 |        1   332000     24 |  0.000 % |
2416.94/2416.95	c |   7118361 |    2868    16577   120419 |        1   370778     25 |  0.000 % |
2416.94/2416.95	c |   7118461 |    2868    16577   120419 |        1   370878     25 |  0.000 % |
2416.94/2416.95	c |   7118872 |    2868    16577   120419 |        1   371289     25 |  0.000 % |
2416.94/2416.95	c |   7175859 |    2868    16577   120419 |        1   239679     19 |  0.000 % |
2416.94/2416.95	c |   7175961 |    2868    16577   120419 |        1   239781     19 |  0.000 % |
2416.94/2416.95	c |   7201669 |    2868    16577   120419 |        1   265489     21 |  0.000 % |
2416.94/2416.95	c |   7202223 |    2868    16577   120419 |        1   266043     21 |  0.000 % |
2416.94/2416.95	c |   7202324 |    2868    16577   120419 |        1   266144     21 |  0.000 % |
2416.94/2416.95	c |   7245411 |    2868    16577   120419 |        1   309231     24 |  0.000 % |
2876.15/2876.16	c |   7245567 |    2868    16577   120419 |        1   309387     24 |  0.000 % |
2876.15/2876.16	c |   7245669 |    2868    16577   120419 |        1   309489     24 |  0.000 % |
2876.15/2876.16	c |   7245771 |    2868    16577   120419 |        1   309591     24 |  0.000 % |
2876.15/2876.16	c |   7255299 |    2868    16577   120419 |        1   319119     24 |  0.000 % |
2876.15/2876.16	c |   7255403 |    2868    16577   120419 |        1   319223     24 |  0.000 % |
2876.15/2876.16	c |   7319776 |    2868    16577   120419 |        1   192394     14 |  0.000 % |
2876.15/2876.16	c |   7320324 |    2868    16577   120419 |        1   192942     15 |  0.000 % |
2876.15/2876.16	c |   7345773 |    2868    16577   120419 |        1   218391     17 |  0.000 % |
2876.15/2876.16	c |   7356320 |    2868    16577   120419 |        1   228938     18 |  0.000 % |
2876.15/2876.16	c |   7356420 |    2868    16577   120419 |        1   229038     18 |  0.000 % |
2876.15/2876.16	c |   7356658 |    2868    16577   120419 |        1   229276     18 |  0.000 % |
2876.15/2876.16	c |   7356924 |    2868    16577   120419 |        1   229542     19 |  0.000 % |
2876.15/2876.16	c |   7605133 |    2868    16577   120419 |        1   283951     21 |  0.000 % |
2876.15/2876.16	c |   7616540 |    2868    16577   120419 |        1   295358     22 |  0.000 % |
2876.15/2876.16	c |   7632677 |    2868    16577   120419 |        1   311495     22 |  0.000 % |
2876.15/2876.16	c |   7632987 |    2868    16577   120419 |        1   311805     22 |  0.000 % |
2876.15/2876.16	c |   7633620 |    2868    16577   120419 |        1   312438     22 |  0.000 % |
2876.15/2876.16	c |   7634040 |    2868    16577   120419 |        1   312858     22 |  0.000 % |
2876.15/2876.16	c |   7634141 |    2868    16577   120419 |        1   312959     22 |  0.000 % |
2876.15/2876.16	c |   7642086 |    2868    16577   120419 |        1   320904     23 |  0.000 % |
2876.15/2876.16	c |   7654229 |    2868    16577   120419 |        1   333047     24 |  0.000 % |
2876.15/2876.16	c |   7657738 |    2868    16577   120419 |        1   336556     24 |  0.000 % |
2876.15/2876.16	c |   7657838 |    2868    16577   120419 |        1   336656     24 |  0.000 % |
2876.15/2876.16	c |   7694931 |    2868    16577   120419 |        1   373749     25 |  0.000 % |
2876.15/2876.16	c |   7698016 |    2868    16577   120419 |        1   376834     25 |  0.000 % |
2876.15/2876.16	c |   7708872 |    2868    16577   120419 |        1   387690     26 |  0.000 % |
2876.15/2876.16	c |   7709064 |    2868    16577   120419 |        1   387882     26 |  0.000 % |
2876.15/2876.16	c |   7709170 |    2868    16577   120419 |        1   387988     26 |  0.000 % |
2876.15/2876.16	c |   7814543 |    2868    16577   120419 |        1   296959     23 |  0.000 % |
2876.15/2876.16	c |   7814643 |    2868    16577   120419 |        1   297059     23 |  0.000 % |
2876.15/2876.16	c |   7814743 |    2868    16577   120419 |        1   297159     23 |  0.000 % |
2876.15/2876.16	c |   7814984 |    2868    16577   120419 |        1   297400     23 |  0.000 % |
2876.15/2876.16	c |   7848397 |    2868    16577   120419 |        1   330813     25 |  0.000 % |
2876.15/2876.16	c |   7855744 |    2868    16577   120419 |        1   338160     25 |  0.000 % |
2876.15/2876.16	c |   7855847 |    2868    16577   120419 |        1   338263     25 |  0.000 % |
2876.15/2876.16	c |   7905020 |    2868    16577   120419 |        1   387436     26 |  0.000 % |
2876.15/2876.16	c |   7905922 |    2868    16577   120419 |        1   388338     26 |  0.000 % |
2876.15/2876.16	c |   7906206 |    2868    16577   120419 |        1   388622     26 |  0.000 % |
2876.15/2876.16	c |   7920435 |    2868    16577   120419 |        1   203851     15 |  0.000 % |
2876.15/2876.16	c |   7920535 |    2868    16577   120419 |        1   203951     15 |  0.000 % |
2876.15/2876.16	c |   7920636 |    2868    16577   120419 |        1   204052     15 |  0.000 % |
2876.15/2876.16	c |   7926210 |    2868    16577   120419 |        1   209626     16 |  0.000 % |
2876.15/2876.16	c |   8036837 |    2868    16577   120419 |        1   320253     22 |  0.000 % |
2876.15/2876.16	c |   8036937 |    2868    16577   120419 |        1   320353     22 |  0.000 % |
2876.15/2876.16	c |   8042765 |    2868    16577   120419 |        1   326181     23 |  0.000 % |
2876.15/2876.16	c |   8055655 |    2868    16577   120419 |        1   339071     23 |  0.000 % |
2876.15/2876.16	c |   8078898 |    2868    16577   120419 |        1   362314     24 |  0.000 % |
2876.15/2876.16	c |   8089879 |    2868    16577   120419 |        1   373295     24 |  0.000 % |
2876.15/2876.16	c |   8092056 |    2868    16577   120419 |        1   375472     25 |  0.000 % |
2876.15/2876.16	c |   8092164 |    2868    16577   120419 |        1   375580     25 |  0.000 % |
3574.57/3574.54	c |   8133229 |    2868    16577   120419 |        1   215042     16 |  0.000 % |
3574.57/3574.54	c |   8133888 |    2868    16577   120419 |        1   215701     16 |  0.000 % |
3574.57/3574.54	c |   8202956 |    2868    16577   120419 |        1   284769     20 |  0.000 % |
3574.57/3574.54	c |   8207849 |    2868    16577   120419 |        1   289662     20 |  0.000 % |
3574.57/3574.54	c |   8220799 |    2868    16577   120419 |        1   302612     21 |  0.000 % |
3574.57/3574.54	c |   8300415 |    2868    16577   120419 |        1   382228     24 |  0.000 % |
3574.57/3574.54	c |   8470465 |    2868    16577   120419 |        1   348076     23 |  0.000 % |
3574.57/3574.54	c |   8479926 |    2868    16577   120419 |        1   357537     24 |  0.000 % |
3574.57/3574.54	c |   8480757 |    2868    16577   120419 |        1   358368     24 |  0.000 % |
3574.57/3574.54	c |   8480858 |    2868    16577   120419 |        1   358469     24 |  0.000 % |
3574.57/3574.54	c |   8481265 |    2868    16577   120419 |        1   358876     24 |  0.000 % |
3574.57/3574.54	c |   8488630 |    2868    16577   120419 |        1   366241     24 |  0.000 % |
3574.57/3574.54	c |   8490199 |    2868    16577   120419 |        1   367810     24 |  0.000 % |
3574.57/3574.54	c |   8496532 |    2868    16577   120419 |        1   374143     24 |  0.000 % |
3574.57/3574.54	c |   8501433 |    2868    16577   120419 |        1   379044     25 |  0.000 % |
3574.57/3574.54	c |   8591664 |    2868    16577   120419 |        1   262487     19 |  0.000 % |
3574.57/3574.54	c |   8662997 |    2868    16577   120419 |        1   333820     23 |  0.000 % |
3574.57/3574.54	c |   8735772 |    2868    16577   120419 |        1   406595     25 |  0.000 % |
3574.57/3574.54	c |   8735872 |    2868    16577   120419 |        1   406695     25 |  0.000 % |
3574.57/3574.54	c |   8761648 |    2868    16577   120419 |        1   223063     15 |  0.000 % |
3574.57/3574.54	c |   8832380 |    2868    16577   120419 |        1   293795     20 |  0.000 % |
3574.57/3574.54	c |   8832481 |    2868    16577   120419 |        1   293896     20 |  0.000 % |
3574.57/3574.54	c |   8833314 |    2868    16577   120419 |        1   294729     20 |  0.000 % |
3574.57/3574.54	c |   8833512 |    2868    16577   120419 |        1   294927     20 |  0.000 % |
3574.57/3574.54	c |   8833612 |    2868    16577   120419 |        1   295027     20 |  0.000 % |
3574.57/3574.54	c |   8876572 |    2868    16577   120419 |        1   337987     22 |  0.000 % |
3574.57/3574.54	c |   8885511 |    2868    16577   120419 |        1   346926     23 |  0.000 % |
3574.57/3574.54	c |   8886452 |    2868    16577   120419 |        1   347867     23 |  0.000 % |
3574.57/3574.54	c |   8886552 |    2868    16577   120419 |        1   347967     23 |  0.000 % |
3574.57/3574.54	c |   8886666 |    2868    16577   120419 |        1   348081     23 |  0.000 % |
3574.57/3574.54	c |   8886920 |    2868    16577   120419 |        1   348335     23 |  0.000 % |
3574.57/3574.54	c |   8907930 |    2868    16577   120419 |        1   369345     23 |  0.000 % |
3574.57/3574.54	c |   8908465 |    2868    16577   120419 |        1   369880     23 |  0.000 % |
3574.57/3574.54	c |   8908565 |    2868    16577   120419 |        1   369980     23 |  0.000 % |
3574.57/3574.54	c |   8909165 |    2868    16577   120419 |        1   370580     23 |  0.000 % |
3574.57/3574.54	c |   8909266 |    2868    16577   120419 |        1   370681     23 |  0.000 % |
3574.57/3574.54	c |   8928229 |    2868    16577   120419 |        1   389644     24 |  0.000 % |
3574.57/3574.54	c |   8937287 |    2868    16577   120419 |        1   398702     24 |  0.000 % |
3574.57/3574.54	c |   8995441 |    2868    16577   120419 |        1   244862     17 |  0.000 % |
3574.57/3574.54	c |   9073574 |    2868    16577   120419 |        1   322995     21 |  0.000 % |
3574.57/3574.54	c |   9094872 |    2868    16577   120419 |        1   344293     22 |  0.000 % |
3574.57/3574.54	c |   9125518 |    2868    16577   120419 |        1   374939     23 |  0.000 % |
3574.57/3574.54	c |   9125897 |    2868    16577   120419 |        1   375318     23 |  0.000 % |
3574.57/3574.54	c |   9126366 |    2868    16577   120419 |        1   375787     23 |  0.000 % |
3574.57/3574.54	c |   9178999 |    2868    16577   120419 |        1   428420     25 |  0.000 % |
3574.57/3574.54	c |   9185618 |    2868    16577   120419 |        1   220437     15 |  0.000 % |
3574.57/3574.54	c |   9188941 |    2868    16577   120419 |        1   223760     15 |  0.000 % |
3574.57/3574.54	c |   9209826 |    2868    16577   120419 |        1   244645     17 |  0.000 % |
3574.57/3574.54	c |   9239237 |    2868    16577   120419 |        1   274056     19 |  0.000 % |
3574.57/3574.54	c |   9298643 |    2868    16577   120419 |        1   333462     21 |  0.000 % |
4235.90/4235.89	c |   9364358 |    2868    16577   120419 |        1   399177     24 |  0.000 % |
4235.90/4235.89	c |   9364459 |    2868    16577   120419 |        1   399278     24 |  0.000 % |
4235.90/4235.89	c |   9379374 |    2868    16577   120419 |        1   414193     24 |  0.000 % |
4235.90/4235.89	c |   9383227 |    2868    16577   120419 |        1   418046     24 |  0.000 % |
4235.90/4235.89	c |   9417863 |    2868    16577   120419 |        1   235486     16 |  0.000 % |
4235.90/4235.89	c |   9417992 |    2868    16577   120419 |        1   235615     16 |  0.000 % |
4235.90/4235.89	c |   9442827 |    2868    16577   120419 |        1   260450     18 |  0.000 % |
4235.90/4235.89	c |   9460367 |    2868    16577   120419 |        1   277990     20 |  0.000 % |
4235.90/4235.89	c |   9501502 |    2868    16577   120419 |        1   319125     21 |  0.000 % |
4235.90/4235.89	c |   9502834 |    2868    16577   120419 |        1   320457     21 |  0.000 % |
4235.90/4235.89	c |   9534491 |    2868    16577   120419 |        1   352114     23 |  0.000 % |
4235.90/4235.89	c |   9538667 |    2868    16577   120419 |        1   356290     23 |  0.000 % |
4235.90/4235.89	c |   9570527 |    2868    16577   120419 |        1   388150     24 |  0.000 % |
4235.90/4235.89	c |   9573761 |    2868    16577   120419 |        1   391384     24 |  0.000 % |
4235.90/4235.89	c |   9596200 |    2868    16577   120419 |        1   413823     25 |  0.000 % |
4235.90/4235.89	c |   9699745 |    2868    16577   120419 |        1   297569     19 |  0.000 % |
4235.90/4235.89	c |   9702927 |    2868    16577   120419 |        1   300751     20 |  0.000 % |
4235.90/4235.89	c |   9703125 |    2868    16577   120419 |        1   300949     20 |  0.000 % |
4235.90/4235.89	c |   9703857 |    2868    16577   120419 |        1   301681     20 |  0.000 % |
4235.90/4235.89	c |   9717670 |    2868    16577   120419 |        1   315494     20 |  0.000 % |
4235.90/4235.89	c |   9718885 |    2868    16577   120419 |        1   316709     20 |  0.000 % |
4235.90/4235.89	c |   9718987 |    2868    16577   120419 |        1   316811     20 |  0.000 % |
4235.90/4235.89	c |   9719087 |    2868    16577   120419 |        1   316911     20 |  0.000 % |
4235.90/4235.89	c |   9719196 |    2868    16577   120419 |        1   317020     20 |  0.000 % |
4235.90/4235.89	c |   9721258 |    2868    16577   120419 |        1   319082     21 |  0.000 % |
4235.90/4235.89	c |   9738056 |    2868    16577   120419 |        1   335880     21 |  0.000 % |
4235.90/4235.89	c |   9756718 |    2868    16577   120419 |        1   354542     22 |  0.000 % |
4235.90/4235.89	c |   9756818 |    2868    16577   120419 |        1   354642     22 |  0.000 % |
4235.90/4235.89	c |   9762586 |    2868    16577   120419 |        1   360410     23 |  0.000 % |
4235.90/4235.89	c |   9762687 |    2868    16577   120419 |        1   360511     23 |  0.000 % |
4235.90/4235.89	c |   9815893 |    2868    16577   120419 |        1   413717     24 |  0.000 % |
4235.90/4235.89	c |   9853616 |    2868    16577   120419 |        1   229034     15 |  0.000 % |
4235.90/4235.89	c |   9854675 |    2868    16577   120419 |        1   230093     15 |  0.000 % |
4235.90/4235.89	c |   9855536 |    2868    16577   120419 |        1   230954     15 |  0.000 % |
4235.90/4235.89	c |   9859809 |    2868    16577   120419 |        1   235227     15 |  0.000 % |
4235.90/4235.89	c |   9865778 |    2868    16577   120419 |        1   241196     16 |  0.000 % |
4235.90/4235.89	c |   9867242 |    2868    16577   120419 |        1   242660     16 |  0.000 % |
4235.90/4235.89	c |   9867672 |    2868    16577   120419 |        1   243090     16 |  0.000 % |
4235.90/4235.89	c |   9971849 |    2868    16577   120419 |        1   347267     21 |  0.000 % |
4235.90/4235.89	c |   9973065 |    2868    16577   120419 |        1   348483     21 |  0.000 % |
4235.90/4235.89	c |   9973330 |    2868    16577   120419 |        1   348748     21 |  0.000 % |
4235.90/4235.89	c |  10011084 |    2868    16577   120419 |        1   386502     22 |  0.000 % |
4235.90/4235.89	c |  10150841 |    2868    16577   120419 |        1   301258     19 |  0.000 % |
4235.90/4235.89	c |  10150941 |    2868    16577   120419 |        1   301358     19 |  0.000 % |
4235.90/4235.89	c |  10151247 |    2868    16577   120419 |        1   301664     19 |  0.000 % |
4235.90/4235.89	c |  10216499 |    2868    16577   120419 |        1   366916     22 |  0.000 % |
4235.90/4235.89	c |  10216602 |    2868    16577   120419 |        1   367019     22 |  0.000 % |
4235.90/4235.89	c |  10222656 |    2868    16577   120419 |        1   373073     22 |  0.000 % |
4235.90/4235.89	c |  10304994 |    2868    16577   120419 |        1   227811     14 |  0.000 % |
4235.90/4235.89	c |  10347737 |    2868    16577

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 2/425 8497
/proc/meminfo: memFree=26238888/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 806608850 8912896 253 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 253 211 178 0 69 0

[startup+0.11424 s]
/proc/loadavg: 2.03 2.02 2.00 2/425 8497
/proc/meminfo: memFree=26238888/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.200225 s]
/proc/loadavg: 2.03 2.02 2.00 2/425 8497
/proc/meminfo: memFree=26238888/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.300206 s]
/proc/loadavg: 2.03 2.02 2.00 2/425 8497
/proc/meminfo: memFree=26238888/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.701115 s]
/proc/loadavg: 2.03 2.02 2.00 2/425 8497
/proc/meminfo: memFree=26238888/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+1.50099 s]
/proc/loadavg: 2.03 2.02 2.00 3/427 8500
/proc/meminfo: memFree=26228212/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=24348 CPUtime=1.41 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 3250 0 0 0 141 0 0 0 25 0 1 0 806608857 24932352 2478 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 6087 2478 251 17 0 2728 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 33052

[startup+3.10069 s]
/proc/loadavg: 2.03 2.02 2.00 3/427 8500
/proc/meminfo: memFree=26226724/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=27028 CPUtime=3.01 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 4257 0 0 0 301 0 0 0 25 0 1 0 806608857 27676672 3432 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 6757 3432 251 17 0 3398 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 35732

[startup+6.30113 s]
/proc/loadavg: 2.03 2.02 2.00 3/427 8500
/proc/meminfo: memFree=26220028/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=29748 CPUtime=6.22 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 5038 0 0 0 621 1 0 0 25 0 1 0 806608857 30461952 4175 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 7437 4175 251 17 0 4078 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38452

[startup+12.7009 s]
/proc/loadavg: 2.02 2.02 2.00 3/427 8500
/proc/meminfo: memFree=26215632/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=34648 CPUtime=12.61 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 7947 0 0 0 1260 1 0 0 25 0 1 0 806608857 35479552 5293 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 8662 5293 251 17 0 5303 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43352

[startup+25.5006 s]
/proc/loadavg: 2.02 2.02 2.00 3/427 8501
/proc/meminfo: memFree=26210904/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=46140 CPUtime=25.41 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 8843 0 0 0 2540 1 0 0 25 0 1 0 806608857 47247360 6166 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 11535 6166 251 17 0 8176 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54844

[startup+51.1009 s]
/proc/loadavg: 2.01 2.02 2.00 3/427 8501
/proc/meminfo: memFree=26197300/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=50604 CPUtime=51.02 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 12216 0 0 0 5100 2 0 0 25 0 1 0 806608857 51818496 9371 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 12651 9371 251 17 0 9292 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59308

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/427 8503
/proc/meminfo: memFree=26180780/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=53324 CPUtime=102.23 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 16679 0 0 0 10221 2 0 0 25 0 1 0 806608857 54603776 10078 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 13331 10078 251 17 0 9972 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 62028

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/427 8504
/proc/meminfo: memFree=26164992/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=69540 CPUtime=162.22 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 17773 0 0 0 16220 2 0 0 25 0 1 0 806608857 71208960 11139 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 17385 11139 251 17 0 14026 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 78244

[startup+222.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/427 8506
/proc/meminfo: memFree=26136296/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=88396 CPUtime=222.24 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 27782 0 0 0 22220 4 0 0 25 0 1 0 806608857 90517504 16306 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224669 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 22099 16306 251 17 0 18740 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 97100

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/427 8508
/proc/meminfo: memFree=26133768/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=88396 CPUtime=282.22 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 28429 0 0 0 28218 4 0 0 25 0 1 0 806608857 90517504 16941 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 22099 16941 251 17 0 18740 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 97100

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/427 8509
/proc/meminfo: memFree=26133604/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=88396 CPUtime=342.22 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 28466 0 0 0 34218 4 0 0 25 0 1 0 806608857 90517504 16974 33554432000 4194304 4260849 140736045807632 18446744073709551615 4226461 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 22099 16974 251 17 0 18740 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 97100

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/427 8511
/proc/meminfo: memFree=26131704/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6

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

/proc/8500/statm: 44222 38140 251 17 0 40863 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 185592

[startup+4362.3 s]
/proc/loadavg: 1.01 1.02 1.07 2/420 8647
/proc/meminfo: memFree=26136500/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4362.34 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 434559 0 0 0 436144 90 0 0 25 0 1 0 806608857 181133312 40768 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 40768 251 17 0 40863 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 185592

[startup+4422.3 s]
/proc/loadavg: 1.00 1.02 1.07 2/420 8649
/proc/meminfo: memFree=26154324/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4422.34 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 442554 0 0 0 442143 91 0 0 25 0 1 0 806608857 181133312 36319 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 36319 251 17 0 40863 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 185592

[startup+4482.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/420 8651
/proc/meminfo: memFree=26140896/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4482.34 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 445949 0 0 0 448142 92 0 0 25 0 1 0 806608857 181133312 39644 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 39644 251 17 0 40863 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 185592

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/420 8652
/proc/meminfo: memFree=26184508/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=127568 CPUtime=4542.35 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 448048 0 0 0 454141 94 0 0 25 0 1 0 806608857 130629632 28614 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 31892 28614 251 17 0 28533 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 136272

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/420 8654
/proc/meminfo: memFree=26147904/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4602.35 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 457395 0 0 0 460140 95 0 0 25 0 1 0 806608857 181133312 37920 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224850 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 37920 251 17 0 40863 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 185592

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/420 8655
/proc/meminfo: memFree=26135840/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4662.35 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 460224 0 0 0 466138 97 0 0 25 0 1 0 806608857 181133312 40662 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 40662 251 17 0 40863 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 185592

[startup+4722.3 s]
/proc/loadavg: 1.19 1.06 1.06 2/420 8657
/proc/meminfo: memFree=26184284/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=127568 CPUtime=4722.37 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 461241 0 0 0 472139 98 0 0 25 0 1 0 806608857 130629632 28614 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 31892 28614 251 17 0 28533 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 136272

[startup+4782.3 s]
/proc/loadavg: 1.17 1.08 1.07 2/420 8668
/proc/meminfo: memFree=26147860/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4782.36 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 470575 0 0 0 478136 100 0 0 25 0 1 0 806608857 181133312 37903 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 37903 251 17 0 40863 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 185592

[startup+4842.32 s]
/proc/loadavg: 1.14 1.08 1.07 2/420 8669
/proc/meminfo: memFree=26136796/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4842.37 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 473247 0 0 0 484136 101 0 0 25 0 1 0 806608857 181133312 40503 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225253 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 40503 251 17 0 40863 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 185592

[startup+4902.3 s]
/proc/loadavg: 1.05 1.06 1.06 2/420 8671
/proc/meminfo: memFree=26184120/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=127568 CPUtime=4902.36 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 473949 0 0 0 490134 102 0 0 25 0 1 0 806608857 130629632 28614 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 31892 28614 251 17 0 28533 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 136272

[startup+4962.3 s]
/proc/loadavg: 1.07 1.06 1.06 2/420 8674
/proc/meminfo: memFree=26144904/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4962.35 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 483828 0 0 0 496132 103 0 0 25 0 1 0 806608857 181133312 38436 33554432000 4194304 4260849 140736045807632 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 38436 251 17 0 40863 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 185592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.08 1.07 1.06 2/420 8676
/proc/meminfo: memFree=26137756/32951124 swapFree=44043512/67111528
[pid=8497] ppid=8495 vsize=8704 CPUtime=0.06 cores=0,2,4,6
/proc/8497/stat : 8497 (glucose.sh) S 8495 8497 7579 0 -1 4202496 360 775 0 0 0 0 6 0 25 0 1 0 806608850 8912896 255 33554432000 4194304 4922060 140734834525168 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8497/statm: 2176 255 211 178 0 69 0
[pid=8500] ppid=8497 vsize=176888 CPUtime=4999.97 cores=0,2,4,6
/proc/8500/stat : 8500 (glucose_static) R 8497 8497 7579 0 -1 4202496 485627 0 0 0 499893 104 0 0 25 0 1 0 806608857 181133312 40195 33554432000 4194304 4260849 140736045807632 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8500/statm: 44222 40195 251 17 0 40863 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 185592

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.92
CPU time (s): 5000.03
CPU user time (s): 4998.99
CPU system time (s): 1.04
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 216412

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

runsolver used 21.7097 second user time and 46.5309 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-01 19:41:47
IDJOB=3303577
IDBENCH=85808
IDSOLVER=1687
FILE ID=node134/3303577-1306950106
RUNJOBID= node134-1306949592-8430
PBS_JOBID= 13488583
Free space on /tmp= 73712 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303577-1306950106/watcher-3303577-1306950106 -o /tmp/evaluation-result-3303577-1306950106/solver-3303577-1306950106 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303577-1306950106.cnf 

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

MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51
RANDOM SEED=1352567370

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26239052 kB
Buffers:        176736 kB
Cached:         361024 kB
SwapCached:       9540 kB
Active:        6019860 kB
Inactive:       403312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26239052 kB
SwapTotal:    67111528 kB
SwapFree:     44043512 kB
Dirty:            1944 kB
Writeback:           0 kB
AnonPages:     5883456 kB
Mapped:          21304 kB
Slab:           131772 kB
PageTables:      89248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110848208 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73712 MiB
End job on node134 at 2011-06-01 21:05:09