Trace number 3303573

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.02 4999.92

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1222.87
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

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 |   18377   132406 |    5513       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   16697   121947 |      --       0       --      -- |     --   | -436/-5158
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 2874   #clauses: 16697   #literals: 121947
0.00/0.04	c CPU time:   0.045993 s
0.00/0.04	c ==============================================================================
0.00/0.06	c
0.00/0.06	c Starting glucose
0.00/0.06	c
0.06/0.59	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.06/0.59	c WARNING: for repeatability, setting FPU to use double precision
0.06/0.59	c ============================[ Problem Statistics ]=============================
0.06/0.59	c |                                                                             |
0.06/0.59	c |  Number of variables:          2874                                         |
0.06/0.59	c |  Number of clauses:           16697                                         |
0.06/0.59	c |  Parse time:                   0.01 s                                       |
0.06/0.59	c |                                                                             |
0.06/0.59	c ============================[ Search Statistics ]==============================
0.06/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.59	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.06/0.59	c ===============================================================================
0.06/0.59	c |       551 |    2874    16697   121947 |        1      551     22 |  0.000 % |
0.06/0.59	c |      1581 |    2874    16697   121947 |        1     1581     21 |  0.000 % |
0.06/0.59	c |      2170 |    2874    16697   121947 |        1     2170     22 |  0.000 % |
0.06/0.59	c |      3095 |    2874    16697   121947 |        1     3095     22 |  0.000 % |
0.06/0.59	c |      3366 |    2874    16697   121947 |        1     3366     23 |  0.000 % |
0.06/0.59	c |      3772 |    2874    16697   121947 |        1     3772     23 |  0.000 % |
0.06/0.59	c |      5374 |    2874    16697   121947 |        1     3376     19 |  0.000 % |
0.06/0.59	c |      7072 |    2874    16697   121947 |        1     5074     22 |  0.000 % |
0.06/0.59	c |      8086 |    2874    16697   121947 |        1     6088     22 |  0.000 % |
0.06/0.59	c |      8303 |    2874    16697   121947 |        1     6305     23 |  0.000 % |
0.06/0.59	c |      8665 |    2874    16697   121947 |        1     6667     23 |  0.000 % |
0.06/0.59	c |      9153 |    2874    16697   121947 |        1     7155     23 |  0.000 % |
0.06/0.59	c |      9518 |    2874    16697   121947 |        1     7520     23 |  0.000 % |
0.06/0.59	c |      9633 |    2874    16697   121947 |        1     7635     23 |  0.000 % |
0.06/0.59	c |     10497 |    2874    16697   121947 |        1     8499     23 |  0.000 % |
0.06/0.59	c |     10653 |    2874    16697   121947 |        1     4363     15 |  0.000 % |
0.06/0.59	c |     12081 |    2874    16697   121947 |        1     5791     18 |  0.000 % |
0.06/0.59	c |     12461 |    2874    16697   121947 |        1     6171     19 |  0.000 % |
0.06/0.59	c |     13984 |    2874    16697   121947 |        1     7694     20 |  0.000 % |
0.06/0.59	c |     16542 |    2874    16697   121947 |        1    10252     21 |  0.000 % |
0.06/0.59	c |     16661 |    2874    16697   121947 |        1    10371     21 |  0.000 % |
0.06/0.59	c |     17223 |    2874    16697   121947 |        1    10933     21 |  0.000 % |
0.06/0.59	c |     18101 |    2874    16697   121947 |        1    11811     22 |  0.000 % |
0.06/0.59	c |     19214 |    2874    16697   121947 |        1    12924     22 |  0.000 % |
0.06/0.59	c |     20340 |    2874    16697   121947 |        1     7300     15 |  0.000 % |
0.06/0.59	c |     20963 |    2874    16697   121947 |        1     7923     16 |  0.000 % |
0.06/0.59	c |     21409 |    2874    16697   121947 |        1     8369     17 |  0.000 % |
0.06/0.59	c |     21862 |    2874    16697   121947 |        1     8822     17 |  0.000 % |
0.06/0.59	c |     22308 |    2874    16697   121947 |        1     9268     18 |  0.000 % |
0.06/0.59	c |     23112 |    2874    16697   121947 |        1    10072     18 |  0.000 % |
0.06/0.59	c |     23279 |    2874    16697   121947 |        1    10239     18 |  0.000 % |
0.06/0.59	c |     23758 |    2874    16697   121947 |        1    10718     19 |  0.000 % |
0.06/0.59	c |     23864 |    2874    16697   121947 |        1    10824     19 |  0.000 % |
0.06/0.59	c |     24456 |    2874    16697   121947 |        1    11416     19 |  0.000 % |
0.06/0.59	c |     25314 |    2874    16697   121947 |        1    12274     20 |  0.000 % |
0.06/0.59	c |     25569 |    2874    16697   121947 |        1    12529     20 |  0.000 % |
0.06/0.59	c |     26364 |    2874    16697   121947 |        1    13324     20 |  0.000 % |
0.06/0.59	c |     26925 |    2874    16697   121947 |        1    13885     21 |  0.000 % |
0.06/0.59	c |     27515 |    2874    16697   121947 |        1    14475     21 |  0.000 % |
3.08/3.19	c |     27870 |    2874    16697   121947 |        1    14830     21 |  0.000 % |
3.08/3.19	c |     30258 |    2874    16697   121947 |        1    17218     22 |  0.000 % |
3.08/3.19	c |     30682 |    2874    16697   121947 |        1    17642     22 |  0.000 % |
3.08/3.19	c |     30798 |    2874    16697   121947 |        1    17758     22 |  0.000 % |
3.08/3.19	c |     31484 |    2874    16697   121947 |        1    18444     22 |  0.000 % |
3.08/3.19	c |     31946 |    2874    16697   121947 |        1     9627     14 |  0.000 % |
3.08/3.19	c |     32053 |    2874    16697   121947 |        1     9734     14 |  0.000 % |
3.08/3.19	c |     32397 |    2874    16697   121947 |        1    10078     15 |  0.000 % |
3.08/3.19	c |     33201 |    2874    16697   121947 |        1    10882     16 |  0.000 % |
3.08/3.19	c |     33317 |    2874    16697   121947 |        1    10998     16 |  0.000 % |
3.08/3.19	c |     33417 |    2874    16697   121947 |        1    11098     16 |  0.000 % |
3.08/3.19	c |     34198 |    2874    16697   121947 |        1    11879     17 |  0.000 % |
3.08/3.19	c |     35345 |    2874    16697   121947 |        1    13026     18 |  0.000 % |
3.08/3.19	c |     35866 |    2874    16697   121947 |        1    13547     18 |  0.000 % |
3.08/3.19	c |     38326 |    2874    16697   121947 |        1    16007     19 |  0.000 % |
3.08/3.19	c |     39641 |    2874    16697   121947 |        1    17322     20 |  0.000 % |
3.08/3.19	c |     41003 |    2874    16697   121947 |        1    18684     21 |  0.000 % |
3.08/3.19	c |     41127 |    2874    16697   121947 |        1    18808     21 |  0.000 % |
3.08/3.19	c |     42663 |    2874    16697   121947 |        1    20344     21 |  0.000 % |
3.08/3.19	c |     43730 |    2874    16697   121947 |        1    21411     22 |  0.000 % |
3.08/3.19	c |     45855 |    2874    16697   121947 |        1    23536     23 |  0.000 % |
3.08/3.19	c |     47369 |    2874    16697   121947 |        1    13227     16 |  0.000 % |
3.08/3.19	c |     47570 |    2874    16697   121947 |        1    13428     16 |  0.000 % |
3.08/3.19	c |     48294 |    2874    16697   121947 |        1    14152     17 |  0.000 % |
3.08/3.19	c |     50620 |    2874    16697   121947 |        1    16478     18 |  0.000 % |
3.08/3.19	c |     57099 |    2874    16697   121947 |        1    22957     21 |  0.000 % |
3.08/3.19	c |     57493 |    2874    16697   121947 |        1    23351     22 |  0.000 % |
3.08/3.19	c |     58979 |    2874    16697   121947 |        1    24837     22 |  0.000 % |
3.08/3.19	c |     60900 |    2874    16697   121947 |        1    26758     22 |  0.000 % |
3.08/3.19	c |     61259 |    2874    16697   121947 |        1    27117     22 |  0.000 % |
3.08/3.19	c |     66734 |    2874    16697   121947 |        1    18177     18 |  0.000 % |
3.08/3.19	c |     68800 |    2874    16697   121947 |        1    20243     19 |  0.000 % |
3.08/3.19	c |     70489 |    2874    16697   121947 |        1    21932     20 |  0.000 % |
3.08/3.19	c |     70873 |    2874    16697   121947 |        1    22316     20 |  0.000 % |
3.08/3.19	c |     70973 |    2874    16697   121947 |        1    22416     20 |  0.000 % |
3.08/3.19	c |     71497 |    2874    16697   121947 |        1    22940     21 |  0.000 % |
3.08/3.19	c |     71697 |    2874    16697   121947 |        1    23140     21 |  0.000 % |
3.08/3.19	c |     73300 |    2874    16697   121947 |        1    24743     21 |  0.000 % |
3.08/3.19	c |     73558 |    2874    16697   121947 |        1    25001     21 |  0.000 % |
3.08/3.19	c |     73737 |    2874    16697   121947 |        1    25180     21 |  0.000 % |
3.08/3.19	c |     73934 |    2874    16697   121947 |        1    25377     21 |  0.000 % |
3.08/3.19	c |     74433 |    2874    16697   121947 |        1    25876     21 |  0.000 % |
3.08/3.19	c |     87701 |    2874    16697   121947 |        1    22137     20 |  0.000 % |
3.08/3.19	c |     88700 |    2874    16697   121947 |        1    23136     21 |  0.000 % |
3.08/3.19	c |     88940 |    2874    16697   121947 |        1    23376     21 |  0.000 % |
3.08/3.19	c |     92340 |    2874    16697   121947 |        1    26776     22 |  0.000 % |
3.08/3.19	c |     94020 |    2874    16697   121947 |        1    28456     22 |  0.000 % |
3.08/3.19	c |     94839 |    2874    16697   121947 |        1    29275     22 |  0.000 % |
3.08/3.19	c |     95068 |    2874    16697   121947 |        1    29504     22 |  0.000 % |
3.08/3.19	c |     95179 |    2874    16697   121947 |        1    29615     22 |  0.000 % |
6.98/7.09	c |     96139 |    2874    16697   121947 |        1    30575     23 |  0.000 % |
6.98/7.09	c |    102704 |    2874    16697   121947 |        1    37140     24 |  0.000 % |
6.98/7.09	c |    103023 |    2874    16697   121947 |        1    37459     24 |  0.000 % |
6.98/7.09	c |    103745 |    2874    16697   121947 |        1    38181     24 |  0.000 % |
6.98/7.09	c |    104020 |    2874    16697   121947 |        1    38456     24 |  0.000 % |
6.98/7.09	c |    105621 |    2874    16697   121947 |        1    20458     16 |  0.000 % |
6.98/7.09	c |    106102 |    2874    16697   121947 |        1    20939     16 |  0.000 % |
6.98/7.09	c |    106291 |    2874    16697   121947 |        1    21128     16 |  0.000 % |
6.98/7.09	c |    108014 |    2874    16697   121947 |        1    22851     17 |  0.000 % |
6.98/7.09	c |    108630 |    2874    16697   121947 |        1    23467     18 |  0.000 % |
6.98/7.09	c |    109287 |    2874    16697   121947 |        1    24124     18 |  0.000 % |
6.98/7.09	c |    109433 |    2874    16697   121947 |        1    24270     18 |  0.000 % |
6.98/7.09	c |    109535 |    2874    16697   121947 |        1    24372     18 |  0.000 % |
6.98/7.09	c |    109721 |    2874    16697   121947 |        1    24558     18 |  0.000 % |
6.98/7.09	c |    109853 |    2874    16697   121947 |        1    24690     18 |  0.000 % |
6.98/7.09	c |    110222 |    2874    16697   121947 |        1    25059     18 |  0.000 % |
6.98/7.09	c |    115419 |    2874    16697   121947 |        1    30256     21 |  0.000 % |
6.98/7.09	c |    117403 |    2874    16697   121947 |        1    32240     21 |  0.000 % |
6.98/7.09	c |    118889 |    2874    16697   121947 |        1    33726     22 |  0.000 % |
6.98/7.09	c |    119002 |    2874    16697   121947 |        1    33839     22 |  0.000 % |
6.98/7.09	c |    119102 |    2874    16697   121947 |        1    33939     22 |  0.000 % |
6.98/7.09	c |    119203 |    2874    16697   121947 |        1    34040     22 |  0.000 % |
6.98/7.09	c |    119743 |    2874    16697   121947 |        1    34580     22 |  0.000 % |
6.98/7.09	c |    119971 |    2874    16697   121947 |        1    34808     22 |  0.000 % |
6.98/7.09	c |    120454 |    2874    16697   121947 |        1    35291     22 |  0.000 % |
6.98/7.09	c |    120857 |    2874    16697   121947 |        1    35694     22 |  0.000 % |
6.98/7.09	c |    121102 |    2874    16697   121947 |        1    35939     22 |  0.000 % |
6.98/7.09	c |    121348 |    2874    16697   121947 |        1    36185     22 |  0.000 % |
6.98/7.09	c |    121889 |    2874    16697   121947 |        1    36726     22 |  0.000 % |
6.98/7.09	c |    123333 |    2874    16697   121947 |        1    38170     23 |  0.000 % |
6.98/7.09	c |    123546 |    2874    16697   121947 |        1    38383     23 |  0.000 % |
6.98/7.09	c |    125629 |    2874    16697   121947 |        1    40466     23 |  0.000 % |
6.98/7.09	c |    126817 |    2874    16697   121947 |        1    41654     23 |  0.000 % |
6.98/7.09	c |    126917 |    2874    16697   121947 |        1    41754     23 |  0.000 % |
6.98/7.09	c |    127145 |    2874    16697   121947 |        1    41982     23 |  0.000 % |
6.98/7.09	c |    127980 |    2874    16697   121947 |        1    42817     24 |  0.000 % |
6.98/7.09	c |    132538 |    2874    16697   121947 |        1    25175     16 |  0.000 % |
6.98/7.09	c |    142948 |    2874    16697   121947 |        1    35585     21 |  0.000 % |
6.98/7.09	c |    143666 |    2874    16697   121947 |        1    36303     21 |  0.000 % |
6.98/7.09	c |    145757 |    2874    16697   121947 |        1    38394     21 |  0.000 % |
6.98/7.09	c |    146447 |    2874    16697   121947 |        1    39084     21 |  0.000 % |
6.98/7.09	c |    150783 |    2874    16697   121947 |        1    43420     22 |  0.000 % |
6.98/7.09	c |    151376 |    2874    16697   121947 |        1    44013     22 |  0.000 % |
6.98/7.09	c |    151491 |    2874    16697   121947 |        1    44128     22 |  0.000 % |
6.98/7.09	c |    155723 |    2874    16697   121947 |        1    48360     23 |  0.000 % |
6.98/7.09	c |    166384 |    2874    16697   121947 |        1    34221     20 |  0.000 % |
6.98/7.09	c |    166704 |    2874    16697   121947 |        1    34541     20 |  0.000 % |
6.98/7.09	c |    168520 |    2874    16697   121947 |        1    36357     20 |  0.000 % |
6.98/7.09	c |    172710 |    2874    16697   121947 |        1    40547     22 |  0.000 % |
6.98/7.09	c |    174716 |    2874    16697   121947 |        1    42553     22 |  0.000 % |
22.58/22.62	c |    174966 |    2874    16697   121947 |        1    42803     22 |  0.000 % |
22.58/22.62	c |    179256 |    2874    16697   121947 |        1    47093     23 |  0.000 % |
22.58/22.62	c |    179384 |    2874    16697   121947 |        1    47221     23 |  0.000 % |
22.58/22.62	c |    183222 |    2874    16697   121947 |        1    51059     24 |  0.000 % |
22.58/22.62	c |    184632 |    2874    16697   121947 |        1    52469     24 |  0.000 % |
22.58/22.62	c |    184746 |    2874    16697   121947 |        1    52583     24 |  0.000 % |
22.58/22.62	c |    184918 |    2874    16697   121947 |        1    52755     24 |  0.000 % |
22.58/22.62	c |    185029 |    2874    16697   121947 |        1    52866     24 |  0.000 % |
22.58/22.62	c |    185657 |    2874    16697   121947 |        1    53494     24 |  0.000 % |
22.58/22.62	c |    185757 |    2874    16697   121947 |        1    53594     25 |  0.000 % |
22.58/22.62	c |    185859 |    2874    16697   121947 |        1    53696     25 |  0.000 % |
22.58/22.62	c |    186891 |    2874    16697   121947 |        1    54728     25 |  0.000 % |
22.58/22.62	c |    186993 |    2874    16697   121947 |        1    54830     25 |  0.000 % |
22.58/22.62	c |    190829 |    2874    16697   121947 |        1    31247     17 |  0.000 % |
22.58/22.62	c |    195847 |    2874    16697   121947 |        1    36265     20 |  0.000 % |
22.58/22.62	c |    197997 |    2874    16697   121947 |        1    38415     20 |  0.000 % |
22.58/22.62	c |    198178 |    2874    16697   121947 |        1    38596     21 |  0.000 % |
22.58/22.62	c |    198496 |    2874    16697   121947 |        1    38914     21 |  0.000 % |
22.58/22.62	c |    199206 |    2874    16697   121947 |        1    39624     21 |  0.000 % |
22.58/22.62	c |    200277 |    2874    16697   121947 |        1    40695     21 |  0.000 % |
22.58/22.62	c |    205817 |    2874    16697   121947 |        1    46235     23 |  0.000 % |
22.58/22.62	c |    208494 |    2874    16697   121947 |        1    48912     23 |  0.000 % |
22.58/22.62	c |    214043 |    2874    16697   121947 |        1    54461     24 |  0.000 % |
22.58/22.62	c |    214555 |    2874    16697   121947 |        1    54973     24 |  0.000 % |
22.58/22.62	c |    214842 |    2874    16697   121947 |        1    55260     24 |  0.000 % |
22.58/22.62	c |    217384 |    2874    16697   121947 |        1    57802     25 |  0.000 % |
22.58/22.62	c |    217605 |    2874    16697   121947 |        1    58023     25 |  0.000 % |
22.58/22.62	c |    220303 |    2874    16697   121947 |        1    30720     15 |  0.000 % |
22.58/22.62	c |    231848 |    2874    16697   121947 |        1    42265     20 |  0.000 % |
22.58/22.62	c |    233742 |    2874    16697   121947 |        1    44159     20 |  0.000 % |
22.58/22.62	c |    250148 |    2874    16697   121947 |        1    60565     23 |  0.000 % |
22.58/22.62	c |    250919 |    2874    16697   121947 |        1    61336     23 |  0.000 % |
22.58/22.62	c |    252204 |    2874    16697   121947 |        1    62621     23 |  0.000 % |
22.58/22.62	c |    254634 |    2874    16697   121947 |        1    65051     24 |  0.000 % |
22.58/22.62	c |    255268 |    2874    16697   121947 |        1    33080     15 |  0.000 % |
22.58/22.62	c |    270290 |    2874    16697   121947 |        1    48102     20 |  0.000 % |
22.58/22.62	c |    271749 |    2874    16697   121947 |        1    49561     21 |  0.000 % |
22.58/22.62	c |    285179 |    2874    16697   121947 |        1    62991     24 |  0.000 % |
22.58/22.62	c |    286382 |    2874    16697   121947 |        1    64194     24 |  0.000 % |
22.58/22.62	c |    288572 |    2874    16697   121947 |        1    66384     24 |  0.000 % |
22.58/22.62	c |    292562 |    2874    16697   121947 |        1    70374     25 |  0.000 % |
22.58/22.62	c |    292678 |    2874    16697   121947 |        1    35292     15 |  0.000 % |
22.58/22.62	c |    339736 |    2874    16697   121947 |        1    44561     19 |  0.000 % |
22.58/22.62	c |    340335 |    2874    16697   121947 |        1    45160     20 |  0.000 % |
22.58/22.62	c |    340582 |    2874    16697   121947 |        1    45407     20 |  0.000 % |
22.58/22.62	c |    340935 |    2874    16697   121947 |        1    45760     20 |  0.000 % |
22.58/22.62	c |    375918 |    2874    16697   121947 |        1    80743     26 |  0.000 % |
22.58/22.62	c |    377814 |    2874    16697   121947 |        1    42241     17 |  0.000 % |
22.58/22.62	c |    380676 |    2874    16697   121947 |        1    45103     17 |  0.000 % |
22.58/22.62	c |    383494 |    2874    16697   121947 |        1    47921     18 |  0.000 % |
61.60/61.62	c |    386552 |    2874    16697   121947 |        1    50979     19 |  0.000 % |
61.60/61.62	c |    387349 |    2874    16697   121947 |        1    51776     19 |  0.000 % |
61.60/61.62	c |    387704 |    2874    16697   121947 |        1    52131     19 |  0.000 % |
61.60/61.62	c |    390447 |    2874    16697   121947 |        1    54874     20 |  0.000 % |
61.60/61.62	c |    391498 |    2874    16697   121947 |        1    55925     20 |  0.000 % |
61.60/61.62	c |    394158 |    2874    16697   121947 |        1    58585     21 |  0.000 % |
61.60/61.62	c |    394467 |    2874    16697   121947 |        1    58894     21 |  0.000 % |
61.60/61.62	c |    396599 |    2874    16697   121947 |        1    61026     22 |  0.000 % |
61.60/61.62	c |    397403 |    2874    16697   121947 |        1    61830     22 |  0.000 % |
61.60/61.62	c |    400938 |    2874    16697   121947 |        1    65365     23 |  0.000 % |
61.60/61.62	c |    426533 |    2874    16697   121947 |        1    47959     17 |  0.000 % |
61.60/61.62	c |    432572 |    2874    16697   121947 |        1    53998     19 |  0.000 % |
61.60/61.62	c |    433717 |    2874    16697   121947 |        1    55143     20 |  0.000 % |
61.60/61.62	c |    434601 |    2874    16697   121947 |        1    56027     20 |  0.000 % |
61.60/61.62	c |    437511 |    2874    16697   121947 |        1    58937     21 |  0.000 % |
61.60/61.62	c |    442592 |    2874    16697   121947 |        1    64018     22 |  0.000 % |
61.60/61.62	c |    442841 |    2874    16697   121947 |        1    64267     22 |  0.000 % |
61.60/61.62	c |    444582 |    2874    16697   121947 |        1    66008     22 |  0.000 % |
61.60/61.62	c |    451434 |    2874    16697   121947 |        1    72860     24 |  0.000 % |
61.60/61.62	c |    457293 |    2874    16697   121947 |        1    78719     25 |  0.000 % |
61.60/61.62	c |    459574 |    2874    16697   121947 |        1    81000     25 |  0.000 % |
61.60/61.62	c |    459859 |    2874    16697   121947 |        1    81285     25 |  0.000 % |
61.60/61.62	c |    460458 |    2874    16697   121947 |        1    81884     25 |  0.000 % |
61.60/61.62	c |    461174 |    2874    16697   121947 |        1    82600     25 |  0.000 % |
61.60/61.62	c |    523613 |    2874    16697   121947 |        1    51252     18 |  0.000 % |
61.60/61.62	c |    524137 |    2874    16697   121947 |        1    51776     18 |  0.000 % |
61.60/61.62	c |    524240 |    2874    16697   121947 |        1    51879     18 |  0.000 % |
61.60/61.62	c |    527375 |    2874    16697   121947 |        1    55014     19 |  0.000 % |
61.60/61.62	c |    527795 |    2874    16697   121947 |        1    55434     19 |  0.000 % |
61.60/61.62	c |    528350 |    2874    16697   121947 |        1    55989     20 |  0.000 % |
61.60/61.62	c |    528589 |    2874    16697   121947 |        1    56228     20 |  0.000 % |
61.60/61.62	c |    650678 |    2874    16697   121947 |        1    74116     23 |  0.000 % |
61.60/61.62	c |    650778 |    2874    16697   121947 |        1    74216     23 |  0.000 % |
61.60/61.62	c |    655428 |    2874    16697   121947 |        1    78866     23 |  0.000 % |
61.60/61.62	c |    657412 |    2874    16697   121947 |        1    80850     24 |  0.000 % |
61.60/61.62	c |    664612 |    2874    16697   121947 |        1    88050     24 |  0.000 % |
61.60/61.62	c |    667831 |    2874    16697   121947 |        1    91269     25 |  0.000 % |
61.60/61.62	c |    672353 |    2874    16697   121947 |        1    95791     25 |  0.000 % |
61.60/61.62	c |    672454 |    2874    16697   121947 |        1    95892     26 |  0.000 % |
61.60/61.62	c |    677520 |    2874    16697   121947 |        1   100958     26 |  0.000 % |
61.60/61.62	c |    678466 |    2874    16697   121947 |        1   101904     26 |  0.000 % |
61.60/61.62	c |    682165 |    2874    16697   121947 |        1   105603     26 |  0.000 % |
61.60/61.62	c |    695561 |    2874    16697   121947 |        1    62998     17 |  0.000 % |
61.60/61.62	c |    696402 |    2874    16697   121947 |        1    63839     18 |  0.000 % |
61.60/61.62	c |    697553 |    2874    16697   121947 |        1    64990     18 |  0.000 % |
61.60/61.62	c |    707406 |    2874    16697   121947 |        1    74843     20 |  0.000 % |
61.60/61.62	c |    707630 |    2874    16697   121947 |        1    75067     20 |  0.000 % |
61.60/61.62	c |    714593 |    2874    16697   121947 |        1    82030     22 |  0.000 % |
61.60/61.62	c |    714731 |    2874    16697   121947 |        1    82168     22 |  0.000 % |
61.60/61.62	c |    724072 |    2874    16697   121947 |        1    91509     23 |  0.000 % |
251.98/252.01	c |    736074 |    2874    16697   121947 |        1   103511     25 |  0.000 % |
251.98/252.01	c |    736870 |    2874    16697   121947 |        1   104307     25 |  0.000 % |
251.98/252.01	c |    807546 |    2874    16697   121947 |        1   116372     26 |  0.000 % |
251.98/252.01	c |    807647 |    2874    16697   121947 |        1   116473     26 |  0.000 % |
251.98/252.01	c |    807749 |    2874    16697   121947 |        1   116575     26 |  0.000 % |
251.98/252.01	c |    859041 |    2874    16697   121947 |        1   106671     26 |  0.000 % |
251.98/252.01	c |    859141 |    2874    16697   121947 |        1   106771     26 |  0.000 % |
251.98/252.01	c |    911468 |    2874    16697   121947 |        1    95286     22 |  0.000 % |
251.98/252.01	c |    916530 |    2874    16697   121947 |        1   100348     23 |  0.000 % |
251.98/252.01	c |    923133 |    2874    16697   121947 |        1   106951     24 |  0.000 % |
251.98/252.01	c |    923233 |    2874    16697   121947 |        1   107051     24 |  0.000 % |
251.98/252.01	c |    927747 |    2874    16697   121947 |        1   111565     25 |  0.000 % |
251.98/252.01	c |   1157500 |    2874    16697   121947 |        1   134313     24 |  0.000 % |
251.98/252.01	c |   1179449 |    2874    16697   121947 |        1    82071     17 |  0.000 % |
251.98/252.01	c |   1180290 |    2874    16697   121947 |        1    82912     17 |  0.000 % |
251.98/252.01	c |   1181881 |    2874    16697   121947 |        1    84503     18 |  0.000 % |
251.98/252.01	c |   1186094 |    2874    16697   121947 |        1    88716     19 |  0.000 % |
251.98/252.01	c |   1193921 |    2874    16697   121947 |        1    96543     20 |  0.000 % |
251.98/252.01	c |   1194871 |    2874    16697   121947 |        1    97493     20 |  0.000 % |
251.98/252.01	c |   1195154 |    2874    16697   121947 |        1    97776     20 |  0.000 % |
251.98/252.01	c |   1208599 |    2874    16697   121947 |        1   111221     22 |  0.000 % |
251.98/252.01	c |   1289271 |    2874    16697   121947 |        1   115094     23 |  0.000 % |
251.98/252.01	c |   1294645 |    2874    16697   121947 |        1   120468     23 |  0.000 % |
251.98/252.01	c |   1342719 |    2874    16697   121947 |        1    89152     17 |  0.000 % |
251.98/252.01	c |   1383077 |    2874    16697   121947 |        1   129510     23 |  0.000 % |
251.98/252.01	c |   1424423 |    2874    16697   121947 |        1    88854     17 |  0.000 % |
251.98/252.01	c |   1473883 |    2874    16697   121947 |        1   138314     24 |  0.000 % |
251.98/252.01	c |   1552309 |    2874    16697   121947 |        1   132139     22 |  0.000 % |
251.98/252.01	c |   1558429 |    2874    16697   121947 |        1   138259     23 |  0.000 % |
251.98/252.01	c |   1566221 |    2874    16697   121947 |        1   146051     24 |  0.000 % |
251.98/252.01	c |   1566501 |    2874    16697   121947 |        1   146331     24 |  0.000 % |
251.98/252.01	c |   1567440 |    2874    16697   121947 |        1   147270     24 |  0.000 % |
251.98/252.01	c |   1570175 |    2874    16697   121947 |        1   150005     24 |  0.000 % |
251.98/252.01	c |   1571137 |    2874    16697   121947 |        1   150967     24 |  0.000 % |
251.98/252.01	c |   1585205 |    2874    16697   121947 |        1   165035     25 |  0.000 % |
251.98/252.01	c |   1668051 |    2874    16697   121947 |        1   160681     23 |  0.000 % |
251.98/252.01	c |   1703090 |    2874    16697   121947 |        1   105914     18 |  0.000 % |
251.98/252.01	c |   1716770 |    2874    16697   121947 |        1   119594     20 |  0.000 % |
251.98/252.01	c |   1722349 |    2874    16697   121947 |        1   125173     21 |  0.000 % |
251.98/252.01	c |   1727762 |    2874    16697   121947 |        1   130586     21 |  0.000 % |
251.98/252.01	c |   1727867 |    2874    16697   121947 |        1   130691     21 |  0.000 % |
251.98/252.01	c |   1728025 |    2874    16697   121947 |        1   130849     22 |  0.000 % |
251.98/252.01	c |   1747795 |    2874    16697   121947 |        1   150619     23 |  0.000 % |
251.98/252.01	c |   1754531 |    2874    16697   121947 |        1   157355     24 |  0.000 % |
251.98/252.01	c |   1755494 |    2874    16697   121947 |        1   158318     24 |  0.000 % |
251.98/252.01	c |   1757997 |    2874    16697   121947 |        1   160821     24 |  0.000 % |
251.98/252.01	c |   1776793 |    2874    16697   121947 |        1   179617     25 |  0.000 % |
251.98/252.01	c |   1851988 |    2874    16697   121947 |        1   162405     24 |  0.000 % |
251.98/252.01	c |   1863459 |    2874    16697   121947 |        1   173876     25 |  0.000 % |
251.98/252.01	c |   1863560 |    2874    16697   121947 |        1   173977     25 |  0.000 % |
369.69/369.72	c |   1863660 |    2874    16697   121947 |        1   174077     25 |  0.000 % |
369.69/369.72	c |   1864238 |    2874    16697   121947 |        1   174655     25 |  0.000 % |
369.69/369.72	c |   1864357 |    2874    16697   121947 |        1   174774     25 |  0.000 % |
369.69/369.72	c |   1899888 |    2874    16697   121947 |        1   115299     18 |  0.000 % |
369.69/369.72	c |   1930251 |    2874    16697   121947 |        1   145662     22 |  0.000 % |
369.69/369.72	c |   1930352 |    2874    16697   121947 |        1   145763     22 |  0.000 % |
369.69/369.72	c |   1941557 |    2874    16697   121947 |        1   156968     23 |  0.000 % |
369.69/369.72	c |   1942171 |    2874    16697   121947 |        1   157582     23 |  0.000 % |
369.69/369.72	c |   1944171 |    2874    16697   121947 |        1   159582     23 |  0.000 % |
369.69/369.72	c |   1944695 |    2874    16697   121947 |        1   160106     23 |  0.000 % |
369.69/369.72	c |   1945646 |    2874    16697   121947 |        1   161057     23 |  0.000 % |
369.69/369.72	c |   1948654 |    2874    16697   121947 |        1   164065     24 |  0.000 % |
369.69/369.72	c |   1948759 |    2874    16697   121947 |        1   164170     24 |  0.000 % |
369.69/369.72	c |   1949458 |    2874    16697   121947 |        1   164869     24 |  0.000 % |
369.69/369.72	c |   1978943 |    2874    16697   121947 |        1   194354     26 |  0.000 % |
369.69/369.72	c |   2035162 |    2874    16697   121947 |        1   152973     23 |  0.000 % |
369.69/369.72	c |   2067575 |    2874    16697   121947 |        1   185386     25 |  0.000 % |
369.69/369.72	c |   2067711 |    2874    16697   121947 |        1   185522     25 |  0.000 % |
369.69/369.72	c |   2067823 |    2874    16697   121947 |        1   185634     25 |  0.000 % |
369.69/369.72	c |   2113091 |    2874    16697   121947 |        1   130709     20 |  0.000 % |
369.69/369.72	c |   2113191 |    2874    16697   121947 |        1   130809     20 |  0.000 % |
369.69/369.72	c |   2113292 |    2874    16697   121947 |        1   130910     20 |  0.000 % |
369.69/369.72	c |   2136300 |    2874    16697   121947 |        1   153918     22 |  0.000 % |
369.69/369.72	c |   2139622 |    2874    16697   121947 |        1   157240     23 |  0.000 % |
369.69/369.72	c |   2142298 |    2874    16697   121947 |        1   159916     23 |  0.000 % |
369.69/369.72	c |   2142398 |    2874    16697   121947 |        1   160016     23 |  0.000 % |
369.69/369.72	c |   2144667 |    2874    16697   121947 |        1   162285     23 |  0.000 % |
369.69/369.72	c |   2145395 |    2874    16697   121947 |        1   163013     23 |  0.000 % |
369.69/369.72	c |   2146350 |    2874    16697   121947 |        1   163968     23 |  0.000 % |
369.69/369.72	c |   2260116 |    2874    16697   121947 |        1   174933     23 |  0.000 % |
369.69/369.72	c |   2261083 |    2874    16697   121947 |        1   175900     23 |  0.000 % |
369.69/369.72	c |   2303857 |    2874    16697   121947 |        1   113277     16 |  0.000 % |
369.69/369.72	c |   2346631 |    2874    16697   121947 |        1   156051     21 |  0.000 % |
369.69/369.72	c |   2347028 |    2874    16697   121947 |        1   156448     21 |  0.000 % |
369.69/369.72	c |   2347683 |    2874    16697   121947 |        1   157103     21 |  0.000 % |
369.69/369.72	c |   2357123 |    2874    16697   121947 |        1   166543     22 |  0.000 % |
369.69/369.72	c |   2357226 |    2874    16697   121947 |        1   166646     22 |  0.000 % |
369.69/369.72	c |   2358112 |    2874    16697   121947 |        1   167532     22 |  0.000 % |
369.69/369.72	c |   2358223 |    2874    16697   121947 |        1   167643     23 |  0.000 % |
369.69/369.72	c |   2359036 |    2874    16697   121947 |        1   168456     23 |  0.000 % |
369.69/369.72	c |   2359228 |    2874    16697   121947 |        1   168648     23 |  0.000 % |
369.69/369.72	c |   2359329 |    2874    16697   121947 |        1   168749     23 |  0.000 % |
369.69/369.72	c |   2359432 |    2874    16697   121947 |        1   168852     23 |  0.000 % |
369.69/369.72	c |   2359888 |    2874    16697   121947 |        1   169308     23 |  0.000 % |
369.69/369.72	c |   2367203 |    2874    16697   121947 |        1   176623     23 |  0.000 % |
369.69/369.72	c |   2368375 |    2874    16697   121947 |        1   177795     23 |  0.000 % |
369.69/369.72	c |   2379831 |    2874    16697   121947 |        1   189251     24 |  0.000 % |
369.69/369.72	c |   2391587 |    2874    16697   121947 |        1   201007     25 |  0.000 % |
369.69/369.72	c |   2412355 |    2874    16697   121947 |        1   113772     16 |  0.000 % |
487.49/487.52	c |   2413099 |    2874    16697   121947 |        1   114516     16 |  0.000 % |
487.49/487.52	c |   2423328 |    2874    16697   121947 |        1   124745     18 |  0.000 % |
487.49/487.52	c |   2423430 |    2874    16697   121947 |        1   124847     18 |  0.000 % |
487.49/487.52	c |   2423531 |    2874    16697   121947 |        1   124948     18 |  0.000 % |
487.49/487.52	c |   2424351 |    2874    16697   121947 |        1   125768     18 |  0.000 % |
487.49/487.52	c |   2425586 |    2874    16697   121947 |        1   127003     18 |  0.000 % |
487.49/487.52	c |   2426755 |    2874    16697   121947 |        1   128172     18 |  0.000 % |
487.49/487.52	c |   2426906 |    2874    16697   121947 |        1   128323     18 |  0.000 % |
487.49/487.52	c |   2427068 |    2874    16697   121947 |        1   128485     18 |  0.000 % |
487.49/487.52	c |   2481612 |    2874    16697   121947 |        1   183029     24 |  0.000 % |
487.49/487.52	c |   2483755 |    2874    16697   121947 |        1   185172     24 |  0.000 % |
487.49/487.52	c |   2483855 |    2874    16697   121947 |        1   185272     24 |  0.000 % |
487.49/487.52	c |   2486356 |    2874    16697   121947 |        1   187773     24 |  0.000 % |
487.49/487.52	c |   2486456 |    2874    16697   121947 |        1   187873     24 |  0.000 % |
487.49/487.52	c |   2486617 |    2874    16697   121947 |        1   188034     24 |  0.000 % |
487.49/487.52	c |   2487042 |    2874    16697   121947 |        1   188459     24 |  0.000 % |
487.49/487.52	c |   2516897 |    2874    16697   121947 |        1   218314     26 |  0.000 % |
487.49/487.52	c |   2524429 |    2874    16697   121947 |        1   115241     15 |  0.000 % |
487.49/487.52	c |   2525069 |    2874    16697   121947 |        1   115881     15 |  0.000 % |
487.49/487.52	c |   2526057 |    2874    16697   121947 |        1   116869     16 |  0.000 % |
487.49/487.52	c |   2528584 |    2874    16697   121947 |        1   119396     16 |  0.000 % |
487.49/487.52	c |   2529563 |    2874    16697   121947 |        1   120375     16 |  0.000 % |
487.49/487.52	c |   2530445 |    2874    16697   121947 |        1   121257     17 |  0.000 % |
487.49/487.52	c |   2530549 |    2874    16697   121947 |        1   121361     17 |  0.000 % |
487.49/487.52	c |   2640774 |    2874    16697   121947 |        1   118391     15 |  0.000 % |
487.49/487.52	c |   2651257 |    2874    16697   121947 |        1   128874     17 |  0.000 % |
487.49/487.52	c |   2652028 |    2874    16697   121947 |        1   129645     17 |  0.000 % |
487.49/487.52	c |   2652128 |    2874    16697   121947 |        1   129745     17 |  0.000 % |
487.49/487.52	c |   2652427 |    2874    16697   121947 |        1   130044     17 |  0.000 % |
487.49/487.52	c |   2658600 |    2874    16697   121947 |        1   136217     18 |  0.000 % |
487.49/487.52	c |   2670344 |    2874    16697   121947 |        1   147961     20 |  0.000 % |
487.49/487.52	c |   2679414 |    2874    16697   121947 |        1   157031     21 |  0.000 % |
487.49/487.52	c |   2679614 |    2874    16697   121947 |        1   157231     21 |  0.000 % |
487.49/487.52	c |   2679714 |    2874    16697   121947 |        1   157331     21 |  0.000 % |
487.49/487.52	c |   2680029 |    2874    16697   121947 |        1   157646     21 |  0.000 % |
487.49/487.52	c |   2680530 |    2874    16697   121947 |        1   158147     21 |  0.000 % |
487.49/487.52	c |   2682126 |    2874    16697   121947 |        1   159743     21 |  0.000 % |
487.49/487.52	c |   2682226 |    2874    16697   121947 |        1   159843     21 |  0.000 % |
487.49/487.52	c |   2683352 |    2874    16697   121947 |        1   160969     21 |  0.000 % |
487.49/487.52	c |   2809639 |    2874    16697   121947 |        1   171460     22 |  0.000 % |
487.49/487.52	c |   2828123 |    2874    16697   121947 |        1   189944     24 |  0.000 % |
487.49/487.52	c |   2830082 |    2874    16697   121947 |        1   191903     24 |  0.000 % |
487.49/487.52	c |   2831394 |    2874    16697   121947 |        1   193215     24 |  0.000 % |
487.49/487.52	c |   2831496 |    2874    16697   121947 |        1   193317     24 |  0.000 % |
487.49/487.52	c |   2844144 |    2874    16697   121947 |        1   205965     25 |  0.000 % |
487.49/487.52	c |   2844325 |    2874    16697   121947 |        1   206146     25 |  0.000 % |
487.49/487.52	c |   2850196 |    2874    16697   121947 |        1   212017     25 |  0.000 % |
487.49/487.52	c |   2850298 |    2874    16697   121947 |        1   212119     25 |  0.000 % |
487.49/487.52	c |   2851517 |    2874    16697   121947 |        1   213338     25 |  0.000 % |
487.49/487.52	c |   2865120 |    2874    16697   121947 |        1   226941     26 |  0.000 % |
674.39/674.45	c |   2865359 |    2874    16697   121947 |        1   227180     26 |  0.000 % |
674.39/674.45	c |   2932066 |    2874    16697   121947 |        1   175482     22 |  0.000 % |
674.39/674.45	c |   2940083 |    2874    16697   121947 |        1   183499     22 |  0.000 % |
674.39/674.45	c |   2940185 |    2874    16697   121947 |        1   183601     22 |  0.000 % |
674.39/674.45	c |   2949879 |    2874    16697   121947 |        1   193295     23 |  0.000 % |
674.39/674.45	c |   2955139 |    2874    16697   121947 |        1   198555     24 |  0.000 % |
674.39/674.45	c |   2955666 |    2874    16697   121947 |        1   199082     24 |  0.000 % |
674.39/674.45	c |   3004011 |    2874    16697   121947 |        1   126431     15 |  0.000 % |
674.39/674.45	c |   3005059 |    2874    16697   121947 |        1   127479     15 |  0.000 % |
674.39/674.45	c |   3005160 |    2874    16697   121947 |        1   127580     15 |  0.000 % |
674.39/674.45	c |   3077559 |    2874    16697   121947 |        1   199979     23 |  0.000 % |
674.39/674.45	c |   3081168 |    2874    16697   121947 |        1   203588     23 |  0.000 % |
674.39/674.45	c |   3118523 |    2874    16697   121947 |        1   240943     25 |  0.000 % |
674.39/674.45	c |   3131149 |    2874    16697   121947 |        1   129969     15 |  0.000 % |
674.39/674.45	c |   3163120 |    2874    16697   121947 |        1   161940     20 |  0.000 % |
674.39/674.45	c |   3170581 |    2874    16697   121947 |        1   169401     21 |  0.000 % |
674.39/674.45	c |   3170682 |    2874    16697   121947 |        1   169502     21 |  0.000 % |
674.39/674.45	c |   3176353 |    2874    16697   121947 |        1   175173     21 |  0.000 % |
674.39/674.45	c |   3177225 |    2874    16697   121947 |        1   176045     21 |  0.000 % |
674.39/674.45	c |   3177327 |    2874    16697   121947 |        1   176147     21 |  0.000 % |
674.39/674.45	c |   3178483 |    2874    16697   121947 |        1   177303     21 |  0.000 % |
674.39/674.45	c |   3178599 |    2874    16697   121947 |        1   177419     21 |  0.000 % |
674.39/674.45	c |   3178858 |    2874    16697   121947 |        1   177678     22 |  0.000 % |
674.39/674.45	c |   3179327 |    2874    16697   121947 |        1   178147     22 |  0.000 % |
674.39/674.45	c |   3186086 |    2874    16697   121947 |        1   184906     22 |  0.000 % |
674.39/674.45	c |   3186615 |    2874    16697   121947 |        1   185435     22 |  0.000 % |
674.39/674.45	c |   3194080 |    2874    16697   121947 |        1   192900     23 |  0.000 % |
674.39/674.45	c |   3202975 |    2874    16697   121947 |        1   201795     24 |  0.000 % |
674.39/674.45	c |   3203077 |    2874    16697   121947 |        1   201897     24 |  0.000 % |
674.39/674.45	c |   3204141 |    2874    16697   121947 |        1   202961     24 |  0.000 % |
674.39/674.45	c |   3204285 |    2874    16697   121947 |        1   203105     24 |  0.000 % |
674.39/674.45	c |   3204386 |    2874    16697   121947 |        1   203206     24 |  0.000 % |
674.39/674.45	c |   3373874 |    2874    16697   121947 |        1   246487     24 |  0.000 % |
674.39/674.45	c |   3377320 |    2874    16697   121947 |        1   249933     25 |  0.000 % |
674.39/674.45	c |   3381066 |    2874    16697   121947 |        1   253679     25 |  0.000 % |
674.39/674.45	c |   3392711 |    2874    16697   121947 |        1   136527     15 |  0.000 % |
674.39/674.45	c |   3392812 |    2874    16697   121947 |        1   136628     15 |  0.000 % |
674.39/674.45	c |   3407977 |    2874    16697   121947 |        1   151793     17 |  0.000 % |
674.39/674.45	c |   3408389 |    2874    16697   121947 |        1   152205     17 |  0.000 % |
674.39/674.45	c |   3413461 |    2874    16697   121947 |        1   157277     18 |  0.000 % |
674.39/674.45	c |   3413794 |    2874    16697   121947 |        1   157610     18 |  0.000 % |
674.39/674.45	c |   3419326 |    2874    16697   121947 |        1   163142     19 |  0.000 % |
674.39/674.45	c |   3487138 |    2874    16697   121947 |        1   230954     23 |  0.000 % |
674.39/674.45	c |   3490597 |    2874    16697   121947 |        1   234413     24 |  0.000 % |
674.39/674.45	c |   3493022 |    2874    16697   121947 |        1   236838     24 |  0.000 % |
674.39/674.45	c |   3526538 |    2874    16697   121947 |        1   138955     15 |  0.000 % |
674.39/674.45	c |   3529789 |    2874    16697   121947 |        1   142206     16 |  0.000 % |
674.39/674.45	c |   3529889 |    2874    16697   121947 |        1   142306     16 |  0.000 % |
674.39/674.45	c |   3530532 |    2874    16697   121947 |        1   142949     16 |  0.000 % |
674.39/674.45	c |   3531450 |    2874    16697   121947 |        1   143867     16 |  0.000 % |
836.20/836.20	c |   3596715 |    2874    16697   121947 |        1   209132     23 |  0.000 % |
836.20/836.20	c |   3640791 |    2874    16697   121947 |        1   253208     25 |  0.000 % |
836.20/836.20	c |   3648469 |    2874    16697   121947 |        1   260886     25 |  0.000 % |
836.20/836.20	c |   3651191 |    2874    16697   121947 |        1   263608     25 |  0.000 % |
836.20/836.20	c |   3651822 |    2874    16697   121947 |        1   264239     25 |  0.000 % |
836.20/836.20	c |   3652312 |    2874    16697   121947 |        1   264729     25 |  0.000 % |
836.20/836.20	c |   3652414 |    2874    16697   121947 |        1   264831     25 |  0.000 % |
836.20/836.20	c |   3658073 |    2874    16697   121947 |        1   136495     14 |  0.000 % |
836.20/836.20	c |   3683950 |    2874    16697   121947 |        1   162372     18 |  0.000 % |
836.20/836.20	c |   3684703 |    2874    16697   121947 |        1   163125     18 |  0.000 % |
836.20/836.20	c |   3688720 |    2874    16697   121947 |        1   167142     19 |  0.000 % |
836.20/836.20	c |   3718633 |    2874    16697   121947 |        1   197055     22 |  0.000 % |
836.20/836.20	c |   3722058 |    2874    16697   121947 |        1   200480     22 |  0.000 % |
836.20/836.20	c |   3723996 |    2874    16697   121947 |        1   202418     22 |  0.000 % |
836.20/836.20	c |   3728959 |    2874    16697   121947 |        1   207381     23 |  0.000 % |
836.20/836.20	c |   3731560 |    2874    16697   121947 |        1   209982     23 |  0.000 % |
836.20/836.20	c |   3732458 |    2874    16697   121947 |        1   210880     23 |  0.000 % |
836.20/836.20	c |   3751460 |    2874    16697   121947 |        1   229882     24 |  0.000 % |
836.20/836.20	c |   3763254 |    2874    16697   121947 |        1   241676     25 |  0.000 % |
836.20/836.20	c |   3763773 |    2874    16697   121947 |        1   242195     25 |  0.000 % |
836.20/836.20	c |   3777675 |    2874    16697   121947 |        1   256097     25 |  0.000 % |
836.20/836.20	c |   3828914 |    2874    16697   121947 |        1   170737     18 |  0.000 % |
836.20/836.20	c |   3840949 |    2874    16697   121947 |        1   182772     20 |  0.000 % |
836.20/836.20	c |   3891703 |    2874    16697   121947 |        1   233526     23 |  0.000 % |
836.20/836.20	c |   3893174 |    2874    16697   121947 |        1   234997     24 |  0.000 % |
836.20/836.20	c |   3893347 |    2874    16697   121947 |        1   235170     24 |  0.000 % |
836.20/836.20	c |   3893537 |    2874    16697   121947 |        1   235360     24 |  0.000 % |
836.20/836.20	c |   3897719 |    2874    16697   121947 |        1   239542     24 |  0.000 % |
836.20/836.20	c |   3949317 |    2874    16697   121947 |        1   151942     16 |  0.000 % |
836.20/836.20	c |   3949498 |    2874    16697   121947 |        1   152123     16 |  0.000 % |
836.20/836.20	c |   3949598 |    2874    16697   121947 |        1   152223     16 |  0.000 % |
836.20/836.20	c |   3957853 |    2874    16697   121947 |        1   160478     17 |  0.000 % |
836.20/836.20	c |   3974176 |    2874    16697   121947 |        1   176801     19 |  0.000 % |
836.20/836.20	c |   3974750 |    2874    16697   121947 |        1   177375     19 |  0.000 % |
836.20/836.20	c |   3975299 |    2874    16697   121947 |        1   177924     19 |  0.000 % |
836.20/836.20	c |   3976273 |    2874    16697   121947 |        1   178898     19 |  0.000 % |
836.20/836.20	c |   3976373 |    2874    16697   121947 |        1   178998     19 |  0.000 % |
836.20/836.20	c |   3976563 |    2874    16697   121947 |        1   179188     19 |  0.000 % |
836.20/836.20	c |   3977172 |    2874    16697   121947 |        1   179797     19 |  0.000 % |
836.20/836.20	c |   3988043 |    2874    16697   121947 |        1   190668     21 |  0.000 % |
836.20/836.20	c |   3988252 |    2874    16697   121947 |        1   190877     21 |  0.000 % |
836.20/836.20	c |   3997715 |    2874    16697   121947 |        1   200340     21 |  0.000 % |
836.20/836.20	c |   4055179 |    2874    16697   121947 |        1   257804     25 |  0.000 % |
836.20/836.20	c |   4055905 |    2874    16697   121947 |        1   258530     25 |  0.000 % |
836.20/836.20	c |   4057543 |    2874    16697   121947 |        1   260168     25 |  0.000 % |
836.20/836.20	c |   4057643 |    2874    16697   121947 |        1   260268     25 |  0.000 % |
836.20/836.20	c |   4070700 |    2874    16697   121947 |        1   273325     26 |  0.000 % |
836.20/836.20	c |   4070800 |    2874    16697   121947 |        1   273425     26 |  0.000 % |
836.20/836.20	c |   4071179 |    2874    16697   121947 |        1   273804     26 |  0.000 % |
836.20/836.20	c |   4072982 |    2874    16697   121947 |        1   275607     26 |  0.000 % |
1064.41/1064.40	c |   4073089 |    2874    16697   121947 |        1   275714     26 |  0.000 % |
1064.41/1064.40	c |   4138038 |    2874    16697   121947 |        1   198862     20 |  0.000 % |
1064.41/1064.40	c |   4138139 |    2874    16697   121947 |        1   198963     20 |  0.000 % |
1064.41/1064.40	c |   4139651 |    2874    16697   121947 |        1   200475     20 |  0.000 % |
1064.41/1064.40	c |   4162009 |    2874    16697   121947 |        1   222833     22 |  0.000 % |
1064.41/1064.40	c |   4162154 |    2874    16697   121947 |        1   222978     22 |  0.000 % |
1064.41/1064.40	c |   4235808 |    2874    16697   121947 |        1   152231     15 |  0.000 % |
1064.41/1064.40	c |   4252543 |    2874    16697   121947 |        1   168966     17 |  0.000 % |
1064.41/1064.40	c |   4253064 |    2874    16697   121947 |        1   169487     17 |  0.000 % |
1064.41/1064.40	c |   4253669 |    2874    16697   121947 |        1   170092     17 |  0.000 % |
1064.41/1064.40	c |   4260192 |    2874    16697   121947 |        1   176615     18 |  0.000 % |
1064.41/1064.40	c |   4327097 |    2874    16697   121947 |        1   243520     23 |  0.000 % |
1064.41/1064.40	c |   4334449 |    2874    16697   121947 |        1   250872     23 |  0.000 % |
1064.41/1064.40	c |   4357310 |    2874    16697   121947 |        1   273733     24 |  0.000 % |
1064.41/1064.40	c |   4361465 |    2874    16697   121947 |        1   277888     25 |  0.000 % |
1064.41/1064.40	c |   4361566 |    2874    16697   121947 |        1   277989     25 |  0.000 % |
1064.41/1064.40	c |   4361667 |    2874    16697   121947 |        1   278090     25 |  0.000 % |
1064.41/1064.40	c |   4396586 |    2874    16697   121947 |        1   166002     16 |  0.000 % |
1064.41/1064.40	c |   4397115 |    2874    16697   121947 |        1   166531     17 |  0.000 % |
1064.41/1064.40	c |   4405306 |    2874    16697   121947 |        1   174722     17 |  0.000 % |
1064.41/1064.40	c |   4423834 |    2874    16697   121947 |        1   193250     19 |  0.000 % |
1064.41/1064.40	c |   4441403 |    2874    16697   121947 |        1   210819     21 |  0.000 % |
1064.41/1064.40	c |   4441506 |    2874    16697   121947 |        1   210922     21 |  0.000 % |
1064.41/1064.40	c |   4449792 |    2874    16697   121947 |        1   219208     22 |  0.000 % |
1064.41/1064.40	c |   4456335 |    2874    16697   121947 |        1   225751     22 |  0.000 % |
1064.41/1064.40	c |   4517270 |    2874    16697   121947 |        1   286686     25 |  0.000 % |
1064.41/1064.40	c |   4530569 |    2874    16697   121947 |        1   150385     14 |  0.000 % |
1064.41/1064.40	c |   4543920 |    2874    16697   121947 |        1   163736     16 |  0.000 % |
1064.41/1064.40	c |   4573433 |    2874    16697   121947 |        1   193249     19 |  0.000 % |
1064.41/1064.40	c |   4579784 |    2874    16697   121947 |        1   199600     20 |  0.000 % |
1064.41/1064.40	c |   4584241 |    2874    16697   121947 |        1   204057     20 |  0.000 % |
1064.41/1064.40	c |   4590397 |    2874    16697   121947 |        1   210213     21 |  0.000 % |
1064.41/1064.40	c |   4590497 |    2874    16697   121947 |        1   210313     21 |  0.000 % |
1064.41/1064.40	c |   4640147 |    2874    16697   121947 |        1   259963     23 |  0.000 % |
1064.41/1064.40	c |   4640502 |    2874    16697   121947 |        1   260318     23 |  0.000 % |
1064.41/1064.40	c |   4641970 |    2874    16697   121947 |        1   261786     23 |  0.000 % |
1064.41/1064.40	c |   4642127 |    2874    16697   121947 |        1   261943     23 |  0.000 % |
1064.41/1064.40	c |   4682887 |    2874    16697   121947 |        1   302703     26 |  0.000 % |
1064.41/1064.40	c |   4707406 |    2874    16697   121947 |        1   175022     17 |  0.000 % |
1064.41/1064.40	c |   4754685 |    2874    16697   121947 |        1   222301     21 |  0.000 % |
1064.41/1064.40	c |   4754786 |    2874    16697   121947 |        1   222402     21 |  0.000 % |
1064.41/1064.40	c |   4754887 |    2874    16697   121947 |        1   222503     21 |  0.000 % |
1064.41/1064.40	c |   4755248 |    2874    16697   121947 |        1   222864     21 |  0.000 % |
1064.41/1064.40	c |   4755349 |    2874    16697   121947 |        1   222965     21 |  0.000 % |
1064.41/1064.40	c |   4756434 |    2874    16697   121947 |        1   224050     21 |  0.000 % |
1064.41/1064.40	c |   4756534 |    2874    16697   121947 |        1   224150     21 |  0.000 % |
1064.41/1064.40	c |   4756635 |    2874    16697   121947 |        1   224251     21 |  0.000 % |
1064.41/1064.40	c |   4756863 |    2874    16697   121947 |        1   224479     21 |  0.000 % |
1064.41/1064.40	c |   4757475 |    2874    16697   121947 |        1   225091     22 |  0.000 % |
1064.41/1064.40	c |   4767401 |    2874    16697   121947 |        1   235017     22 |  0.000 % |
1481.21/1481.20	c |   4767501 |    2874    16697   121947 |        1   235117     22 |  0.000 % |
1481.21/1481.20	c |   4813600 |    2874    16697   121947 |        1   281216     25 |  0.000 % |
1481.21/1481.20	c |   4816899 |    2874    16697   121947 |        1   284515     25 |  0.000 % |
1481.21/1481.20	c |   4817002 |    2874    16697   121947 |        1   284618     25 |  0.000 % |
1481.21/1481.20	c |   4835787 |    2874    16697   121947 |        1   303403     26 |  0.000 % |
1481.21/1481.20	c |   4856883 |    2874    16697   121947 |        1   169704     16 |  0.000 % |
1481.21/1481.20	c |   4857098 |    2874    16697   121947 |        1   169919     16 |  0.000 % |
1481.21/1481.20	c |   4857847 |    2874    16697   121947 |        1   170668     16 |  0.000 % |
1481.21/1481.20	c |   4892651 |    2874    16697   121947 |        1   205472     20 |  0.000 % |
1481.21/1481.20	c |   4893193 |    2874    16697   121947 |        1   206014     20 |  0.000 % |
1481.21/1481.20	c |   4894551 |    2874    16697   121947 |        1   207372     20 |  0.000 % |
1481.21/1481.20	c |   4953930 |    2874    16697   121947 |        1   266751     25 |  0.000 % |
1481.21/1481.20	c |   5089305 |    2874    16697   121947 |        1   244732     20 |  0.000 % |
1481.21/1481.20	c |   5092820 |    2874    16697   121947 |        1   248247     21 |  0.000 % |
1481.21/1481.20	c |   5092922 |    2874    16697   121947 |        1   248349     21 |  0.000 % |
1481.21/1481.20	c |   5093026 |    2874    16697   121947 |        1   248453     21 |  0.000 % |
1481.21/1481.20	c |   5137395 |    2874    16697   121947 |        1   292822     23 |  0.000 % |
1481.21/1481.20	c |   5154052 |    2874    16697   121947 |        1   309479     23 |  0.000 % |
1481.21/1481.20	c |   5158562 |    2874    16697   121947 |        1   313989     24 |  0.000 % |
1481.21/1481.20	c |   5234495 |    2874    16697   121947 |        1   229917     21 |  0.000 % |
1481.21/1481.20	c |   5234596 |    2874    16697   121947 |        1   230018     21 |  0.000 % |
1481.21/1481.20	c |   5258091 |    2874    16697   121947 |        1   253513     22 |  0.000 % |
1481.21/1481.20	c |   5273094 |    2874    16697   121947 |        1   268516     23 |  0.000 % |
1481.21/1481.20	c |   5273953 |    2874    16697   121947 |        1   269375     23 |  0.000 % |
1481.21/1481.20	c |   5395007 |    2874    16697   121947 |        1   227823     21 |  0.000 % |
1481.21/1481.20	c |   5425384 |    2874    16697   121947 |        1   258200     23 |  0.000 % |
1481.21/1481.20	c |   5425486 |    2874    16697   121947 |        1   258302     23 |  0.000 % |
1481.21/1481.20	c |   5450515 |    2874    16697   121947 |        1   283331     24 |  0.000 % |
1481.21/1481.20	c |   5560473 |    2874    16697   121947 |        1   228088     20 |  0.000 % |
1481.21/1481.20	c |   5560610 |    2874    16697   121947 |        1   228225     20 |  0.000 % |
1481.21/1481.20	c |   5561719 |    2874    16697   121947 |        1   229334     20 |  0.000 % |
1481.21/1481.20	c |   5562184 |    2874    16697   121947 |        1   229799     20 |  0.000 % |
1481.21/1481.20	c |   5564281 |    2874    16697   121947 |        1   231896     20 |  0.000 % |
1481.21/1481.20	c |   5568464 |    2874    16697   121947 |        1   236079     20 |  0.000 % |
1481.21/1481.20	c |   5568566 |    2874    16697   121947 |        1   236181     20 |  0.000 % |
1481.21/1481.20	c |   5568666 |    2874    16697   121947 |        1   236281     20 |  0.000 % |
1481.21/1481.20	c |   5579120 |    2874    16697   121947 |        1   246735     21 |  0.000 % |
1481.21/1481.20	c |   5607083 |    2874    16697   121947 |        1   274698     23 |  0.000 % |
1481.21/1481.20	c |   5617290 |    2874    16697   121947 |        1   284905     24 |  0.000 % |
1481.21/1481.20	c |   5617390 |    2874    16697   121947 |        1   285005     24 |  0.000 % |
1481.21/1481.20	c |   5617616 |    2874    16697   121947 |        1   285231     24 |  0.000 % |
1481.21/1481.20	c |   5653065 |    2874    16697   121947 |        1   320680     25 |  0.000 % |
1481.21/1481.20	c |   5688444 |    2874    16697   121947 |        1   188261     16 |  0.000 % |
1481.21/1481.20	c |   5697625 |    2874    16697   121947 |        1   197442     17 |  0.000 % |
1481.21/1481.20	c |   5697744 |    2874    16697   121947 |        1   197561     18 |  0.000 % |
1481.21/1481.20	c |   5834973 |    2874    16697   121947 |        1   334790     24 |  0.000 % |
1481.21/1481.20	c |   5835423 |    2874    16697   121947 |        1   335240     24 |  0.000 % |
1481.21/1481.20	c |   5858665 |    2874    16697   121947 |        1   188079     16 |  0.000 % |
1481.21/1481.20	c |   5859724 |    2874    16697   121947 |        1   189138     16 |  0.000 % |
1481.21/1481.20	c |   5860695 |    2874    16697   121947 |        1   190109     16 |  0.000 % |
2042.03/2042.01	c |   5861000 |    2874    16697   121947 |        1   190414     16 |  0.000 % |
2042.03/2042.01	c |   5898835 |    2874    16697   121947 |        1   228249     19 |  0.000 % |
2042.03/2042.01	c |   5902060 |    2874    16697   121947 |        1   231474     20 |  0.000 % |
2042.03/2042.01	c |   5904673 |    2874    16697   121947 |        1   234087     20 |  0.000 % |
2042.03/2042.01	c |   5914129 |    2874    16697   121947 |        1   243543     21 |  0.000 % |
2042.03/2042.01	c |   5914231 |    2874    16697   121947 |        1   243645     21 |  0.000 % |
2042.03/2042.01	c |   5915532 |    2874    16697   121947 |        1   244946     21 |  0.000 % |
2042.03/2042.01	c |   5919578 |    2874    16697   121947 |        1   248992     21 |  0.000 % |
2042.03/2042.01	c |   5922387 |    2874    16697   121947 |        1   251801     21 |  0.000 % |
2042.03/2042.01	c |   5922487 |    2874    16697   121947 |        1   251901     21 |  0.000 % |
2042.03/2042.01	c |   5951889 |    2874    16697   121947 |        1   281303     23 |  0.000 % |
2042.03/2042.01	c |   5952030 |    2874    16697   121947 |        1   281444     23 |  0.000 % |
2042.03/2042.01	c |   5973677 |    2874    16697   121947 |        1   303091     24 |  0.000 % |
2042.03/2042.01	c |   5978564 |    2874    16697   121947 |        1   307978     24 |  0.000 % |
2042.03/2042.01	c |   5978941 |    2874    16697   121947 |        1   308355     24 |  0.000 % |
2042.03/2042.01	c |   5979555 |    2874    16697   121947 |        1   308969     24 |  0.000 % |
2042.03/2042.01	c |   6217085 |    2874    16697   121947 |        1   197900     16 |  0.000 % |
2042.03/2042.01	c |   6269502 |    2874    16697   121947 |        1   250317     21 |  0.000 % |
2042.03/2042.01	c |   6277855 |    2874    16697   121947 |        1   258670     21 |  0.000 % |
2042.03/2042.01	c |   6282614 |    2874    16697   121947 |        1   263429     22 |  0.000 % |
2042.03/2042.01	c |   6288077 |    2874    16697   121947 |        1   268892     22 |  0.000 % |
2042.03/2042.01	c |   6292988 |    2874    16697   121947 |        1   273803     22 |  0.000 % |
2042.03/2042.01	c |   6293089 |    2874    16697   121947 |        1   273904     22 |  0.000 % |
2042.03/2042.01	c |   6312704 |    2874    16697   121947 |        1   293519     23 |  0.000 % |
2042.03/2042.01	c |   6313420 |    2874    16697   121947 |        1   294235     23 |  0.000 % |
2042.03/2042.01	c |   6317580 |    2874    16697   121947 |        1   298395     24 |  0.000 % |
2042.03/2042.01	c |   6317680 |    2874    16697   121947 |        1   298495     24 |  0.000 % |
2042.03/2042.01	c |   6428592 |    2874    16697   121947 |        1   231212     19 |  0.000 % |
2042.03/2042.01	c |   6432144 |    2874    16697   121947 |        1   234764     20 |  0.000 % |
2042.03/2042.01	c |   6432244 |    2874    16697   121947 |        1   234864     20 |  0.000 % |
2042.03/2042.01	c |   6452095 |    2874    16697   121947 |        1   254715     21 |  0.000 % |
2042.03/2042.01	c |   6453295 |    2874    16697   121947 |        1   255915     21 |  0.000 % |
2042.03/2042.01	c |   6471137 |    2874    16697   121947 |        1   273757     22 |  0.000 % |
2042.03/2042.01	c |   6471237 |    2874    16697   121947 |        1   273857     22 |  0.000 % |
2042.03/2042.01	c |   6471339 |    2874    16697   121947 |        1   273959     22 |  0.000 % |
2042.03/2042.01	c |   6474367 |    2874    16697   121947 |        1   276987     22 |  0.000 % |
2042.03/2042.01	c |   6520454 |    2874    16697   121947 |        1   323074     25 |  0.000 % |
2042.03/2042.01	c |   6535849 |    2874    16697   121947 |        1   338469     25 |  0.000 % |
2042.03/2042.01	c |   6548178 |    2874    16697   121947 |        1   350798     26 |  0.000 % |
2042.03/2042.01	c |   6750246 |    2874    16697   121947 |        1   188668     15 |  0.000 % |
2042.03/2042.01	c |   6752169 |    2874    16697   121947 |        1   190591     15 |  0.000 % |
2042.03/2042.01	c |   6752272 |    2874    16697   121947 |        1   190694     15 |  0.000 % |
2042.03/2042.01	c |   6845055 |    2874    16697   121947 |        1   283477     22 |  0.000 % |
2042.03/2042.01	c |   6845651 |    2874    16697   121947 |        1   284073     22 |  0.000 % |
2042.03/2042.01	c |   6867672 |    2874    16697   121947 |        1   306094     23 |  0.000 % |
2042.03/2042.01	c |   6867955 |    2874    16697   121947 |        1   306377     23 |  0.000 % |
2042.03/2042.01	c |   6903700 |    2874    16697   121947 |        1   342122     25 |  0.000 % |
2042.03/2042.01	c |   6979190 |    2874    16697   121947 |        1   231609     18 |  0.000 % |
2042.03/2042.01	c |   7178934 |    2874    16697   121947 |        1   242755     19 |  0.000 % |
2042.03/2042.01	c |   7212817 |    2874    16697   121947 |        1   276638     21 |  0.000 % |
2275.74/2275.75	c |   7212919 |    2874    16697   121947 |        1   276740     21 |  0.000 % |
2275.74/2275.75	c |   7213019 |    2874    16697   121947 |        1   276840     21 |  0.000 % |
2275.74/2275.75	c |   7417092 |    2874    16697   121947 |        1   289709     22 |  0.000 % |
2275.74/2275.75	c |   7417193 |    2874    16697   121947 |        1   289810     22 |  0.000 % |
2275.74/2275.75	c |   7417293 |    2874    16697   121947 |        1   289910     22 |  0.000 % |
2275.74/2275.75	c |   7417395 |    2874    16697   121947 |        1   290012     22 |  0.000 % |
2275.74/2275.75	c |   7431346 |    2874    16697   121947 |        1   303963     22 |  0.000 % |
2275.74/2275.75	c |   7431591 |    2874    16697   121947 |        1   304208     22 |  0.000 % |
2275.74/2275.75	c |   7437927 |    2874    16697   121947 |        1   310544     23 |  0.000 % |
2275.74/2275.75	c |   7438344 |    2874    16697   121947 |        1   310961     23 |  0.000 % |
2275.74/2275.75	c |   7439611 |    2874    16697   121947 |        1   312228     23 |  0.000 % |
2275.74/2275.75	c |   7439821 |    2874    16697   121947 |        1   312438     23 |  0.000 % |
2275.74/2275.75	c |   7439922 |    2874    16697   121947 |        1   312539     23 |  0.000 % |
2275.74/2275.75	c |   7446053 |    2874    16697   121947 |        1   318670     23 |  0.000 % |
2275.74/2275.75	c |   7446799 |    2874    16697   121947 |        1   319416     23 |  0.000 % |
2275.74/2275.75	c |   7448576 |    2874    16697   121947 |        1   321193     23 |  0.000 % |
2275.74/2275.75	c |   7495152 |    2874    16697   121947 |        1   367769     25 |  0.000 % |
2275.74/2275.75	c |   7497121 |    2874    16697   121947 |        1   369738     25 |  0.000 % |
2275.74/2275.75	c |   7545729 |    2874    16697   121947 |        1   224546     17 |  0.000 % |
2275.74/2275.75	c |   7557837 |    2874    16697   121947 |        1   236654     18 |  0.000 % |
2275.74/2275.75	c |   7564922 |    2874    16697   121947 |        1   243739     19 |  0.000 % |
2275.74/2275.75	c |   7605816 |    2874    16697   121947 |        1   284633     21 |  0.000 % |
2275.74/2275.75	c |   7606771 |    2874    16697   121947 |        1   285588     21 |  0.000 % |
2275.74/2275.75	c |   7606872 |    2874    16697   121947 |        1   285689     21 |  0.000 % |
2275.74/2275.75	c |   7606972 |    2874    16697   121947 |        1   285789     21 |  0.000 % |
2275.74/2275.75	c |   7607074 |    2874    16697   121947 |        1   285891     21 |  0.000 % |
2275.74/2275.75	c |   7611686 |    2874    16697   121947 |        1   290503     22 |  0.000 % |
2275.74/2275.75	c |   7670364 |    2874    16697   121947 |        1   349181     24 |  0.000 % |
2275.74/2275.75	c |   7670498 |    2874    16697   121947 |        1   349315     24 |  0.000 % |
2275.74/2275.75	c |   7670600 |    2874    16697   121947 |        1   349417     24 |  0.000 % |
2275.74/2275.75	c |   7672657 |    2874    16697   121947 |        1   351474     24 |  0.000 % |
2275.74/2275.75	c |   7679063 |    2874    16697   121947 |        1   357880     24 |  0.000 % |
2275.74/2275.75	c |   7679164 |    2874    16697   121947 |        1   357981     24 |  0.000 % |
2275.74/2275.75	c |   7681708 |    2874    16697   121947 |        1   360525     25 |  0.000 % |
2275.74/2275.75	c |   7681808 |    2874    16697   121947 |        1   360625     25 |  0.000 % |
2275.74/2275.75	c |   7681908 |    2874    16697   121947 |        1   360725     25 |  0.000 % |
2275.74/2275.75	c |   7682010 |    2874    16697   121947 |        1   360827     25 |  0.000 % |
2275.74/2275.75	c |   7702064 |    2874    16697   121947 |        1   380881     25 |  0.000 % |
2275.74/2275.75	c |   7703416 |    2874    16697   121947 |        1   382233     25 |  0.000 % |
2275.74/2275.75	c |   7704403 |    2874    16697   121947 |        1   383220     25 |  0.000 % |
2275.74/2275.75	c |   7704503 |    2874    16697   121947 |        1   383320     25 |  0.000 % |
2275.74/2275.75	c |   7713085 |    2874    16697   121947 |        1   391902     26 |  0.000 % |
2275.74/2275.75	c |   7714017 |    2874    16697   121947 |        1   196436     14 |  0.000 % |
2275.74/2275.75	c |   7714126 |    2874    16697   121947 |        1   196545     14 |  0.000 % |
2275.74/2275.75	c |   7714231 |    2874    16697   121947 |        1   196650     14 |  0.000 % |
2275.74/2275.75	c |   7714333 |    2874    16697   121947 |        1   196752     14 |  0.000 % |
2275.74/2275.75	c |   7729244 |    2874    16697   121947 |        1   211663     16 |  0.000 % |
2275.74/2275.75	c |   7729410 |    2874    16697   121947 |        1   211829     16 |  0.000 % |
2275.74/2275.75	c |   7730000 |    2874    16697   121947 |        1   212419     16 |  0.000 % |
2275.74/2275.75	c |   7730118 |    2874    16697   121947 |        1   212537     16 |  0.000 % |
2563.54/2563.54	c |   7730220 |    2874    16697   121947 |        1   212639     16 |  0.000 % |
2563.54/2563.54	c |   7786406 |    2874    16697   121947 |        1   268825     20 |  0.000 % |
2563.54/2563.54	c |   7787261 |    2874    16697   121947 |        1   269680     21 |  0.000 % |
2563.54/2563.54	c |   7802298 |    2874    16697   121947 |        1   284717     21 |  0.000 % |
2563.54/2563.54	c |   7810195 |    2874    16697   121947 |        1   292614     22 |  0.000 % |
2563.54/2563.54	c |   7810733 |    2874    16697   121947 |        1   293152     22 |  0.000 % |
2563.54/2563.54	c |   7810836 |    2874    16697   121947 |        1   293255     22 |  0.000 % |
2563.54/2563.54	c |   7858604 |    2874    16697   121947 |        1   341023     24 |  0.000 % |
2563.54/2563.54	c |   7859508 |    2874    16697   121947 |        1   341927     24 |  0.000 % |
2563.54/2563.54	c |   7865891 |    2874    16697   121947 |        1   348310     24 |  0.000 % |
2563.54/2563.54	c |   7886922 |    2874    16697   121947 |        1   369341     25 |  0.000 % |
2563.54/2563.54	c |   7897367 |    2874    16697   121947 |        1   379786     25 |  0.000 % |
2563.54/2563.54	c |   7897515 |    2874    16697   121947 |        1   379934     25 |  0.000 % |
2563.54/2563.54	c |   7897616 |    2874    16697   121947 |        1   380035     25 |  0.000 % |
2563.54/2563.54	c |   7897807 |    2874    16697   121947 |        1   380226     25 |  0.000 % |
2563.54/2563.54	c |   7898261 |    2874    16697   121947 |        1   380680     25 |  0.000 % |
2563.54/2563.54	c |   7920052 |    2874    16697   121947 |        1   203463     14 |  0.000 % |
2563.54/2563.54	c |   7942323 |    2874    16697   121947 |        1   225734     17 |  0.000 % |
2563.54/2563.54	c |   7942652 |    2874    16697   121947 |        1   226063     17 |  0.000 % |
2563.54/2563.54	c |   7946358 |    2874    16697   121947 |        1   229769     17 |  0.000 % |
2563.54/2563.54	c |   7998072 |    2874    16697   121947 |        1   281483     21 |  0.000 % |
2563.54/2563.54	c |   8006667 |    2874    16697   121947 |        1   290078     21 |  0.000 % |
2563.54/2563.54	c |   8018963 |    2874    16697   121947 |        1   302374     22 |  0.000 % |
2563.54/2563.54	c |   8019172 |    2874    16697   121947 |        1   302583     22 |  0.000 % |
2563.54/2563.54	c |   8021106 |    2874    16697   121947 |        1   304517     22 |  0.000 % |
2563.54/2563.54	c |   8021410 |    2874    16697   121947 |        1   304821     22 |  0.000 % |
2563.54/2563.54	c |   8041606 |    2874    16697   121947 |        1   325017     23 |  0.000 % |
2563.54/2563.54	c |   8066285 |    2874    16697   121947 |        1   349696     24 |  0.000 % |
2563.54/2563.54	c |   8095436 |    2874    16697   121947 |        1   378847     25 |  0.000 % |
2563.54/2563.54	c |   8095975 |    2874    16697   121947 |        1   379386     25 |  0.000 % |
2563.54/2563.54	c |   8132456 |    2874    16697   121947 |        1   214274     15 |  0.000 % |
2563.54/2563.54	c |   8140004 |    2874    16697   121947 |        1   221822     16 |  0.000 % |
2563.54/2563.54	c |   8140106 |    2874    16697   121947 |        1   221924     16 |  0.000 % |
2563.54/2563.54	c |   8143412 |    2874    16697   121947 |        1   225230     16 |  0.000 % |
2563.54/2563.54	c |   8144078 |    2874    16697   121947 |        1   225896     16 |  0.000 % |
2563.54/2563.54	c |   8146013 |    2874    16697   121947 |        1   227831     17 |  0.000 % |
2563.54/2563.54	c |   8148934 |    2874    16697   121947 |        1   230752     17 |  0.000 % |
2563.54/2563.54	c |   8149377 |    2874    16697   121947 |        1   231195     17 |  0.000 % |
2563.54/2563.54	c |   8149477 |    2874    16697   121947 |        1   231295     17 |  0.000 % |
2563.54/2563.54	c |   8149722 |    2874    16697   121947 |        1   231540     17 |  0.000 % |
2563.54/2563.54	c |   8149824 |    2874    16697   121947 |        1   231642     17 |  0.000 % |
2563.54/2563.54	c |   8246874 |    2874    16697   121947 |        1   328692     22 |  0.000 % |
2563.54/2563.54	c |   8246974 |    2874    16697   121947 |        1   328792     22 |  0.000 % |
2563.54/2563.54	c |   8247103 |    2874    16697   121947 |        1   328921     22 |  0.000 % |
2563.54/2563.54	c |   8247204 |    2874    16697   121947 |        1   329022     22 |  0.000 % |
2563.54/2563.54	c |   8256387 |    2874    16697   121947 |        1   338205     22 |  0.000 % |
2563.54/2563.54	c |   8256488 |    2874    16697   121947 |        1   338306     22 |  0.000 % |
2563.54/2563.54	c |   8345000 |    2874    16697   121947 |        1   222621     15 |  0.000 % |
2563.54/2563.54	c |   8345101 |    2874    16697   121947 |        1   222722     15 |  0.000 % |
2563.54/2563.54	c |   8345201 |    2874    16697   121947 |        1   222822     16 |  0.000 % |
2980.45/2980.45	c |   8345364 |    2874    16697   121947 |        1   222985     16 |  0.000 % |
2980.45/2980.45	c |   8345467 |    2874    16697   121947 |        1   223088     16 |  0.000 % |
2980.45/2980.45	c |   8345567 |    2874    16697   121947 |        1   223188     16 |  0.000 % |
2980.45/2980.45	c |   8345668 |    2874    16697   121947 |        1   223289     16 |  0.000 % |
2980.45/2980.45	c |   8347204 |    2874    16697   121947 |        1   224825     16 |  0.000 % |
2980.45/2980.45	c |   8393991 |    2874    16697   121947 |        1   271612     19 |  0.000 % |
2980.45/2980.45	c |   8412812 |    2874    16697   121947 |        1   290433     21 |  0.000 % |
2980.45/2980.45	c |   8448055 |    2874    16697   121947 |        1   325676     22 |  0.000 % |
2980.45/2980.45	c |   8448155 |    2874    16697   121947 |        1   325776     22 |  0.000 % |
2980.45/2980.45	c |   8448613 |    2874    16697   121947 |        1   326234     22 |  0.000 % |
2980.45/2980.45	c |   8458591 |    2874    16697   121947 |        1   336212     23 |  0.000 % |
2980.45/2980.45	c |   8498831 |    2874    16697   121947 |        1   376452     25 |  0.000 % |
2980.45/2980.45	c |   8547636 |    2874    16697   121947 |        1   218461     16 |  0.000 % |
2980.45/2980.45	c |   8547768 |    2874    16697   121947 |        1   218593     16 |  0.000 % |
2980.45/2980.45	c |   8553436 |    2874    16697   121947 |        1   224261     16 |  0.000 % |
2980.45/2980.45	c |   8576821 |    2874    16697   121947 |        1   247646     18 |  0.000 % |
2980.45/2980.45	c |   8576921 |    2874    16697   121947 |        1   247746     18 |  0.000 % |
2980.45/2980.45	c |   8618770 |    2874    16697   121947 |        1   289595     21 |  0.000 % |
2980.45/2980.45	c |   8619079 |    2874    16697   121947 |        1   289904     21 |  0.000 % |
2980.45/2980.45	c |   8619468 |    2874    16697   121947 |        1   290293     21 |  0.000 % |
2980.45/2980.45	c |   8619568 |    2874    16697   121947 |        1   290393     21 |  0.000 % |
2980.45/2980.45	c |   8619697 |    2874    16697   121947 |        1   290522     21 |  0.000 % |
2980.45/2980.45	c |   8632400 |    2874    16697   121947 |        1   303225     22 |  0.000 % |
2980.45/2980.45	c |   8634220 |    2874    16697   121947 |        1   305045     22 |  0.000 % |
2980.45/2980.45	c |   8674800 |    2874    16697   121947 |        1   345625     24 |  0.000 % |
2980.45/2980.45	c |   8788811 |    2874    16697   121947 |        1   250229     17 |  0.000 % |
2980.45/2980.45	c |   8795298 |    2874    16697   121947 |        1   256716     18 |  0.000 % |
2980.45/2980.45	c |   8832756 |    2874    16697   121947 |        1   294174     20 |  0.000 % |
2980.45/2980.45	c |   8874466 |    2874    16697   121947 |        1   335884     22 |  0.000 % |
2980.45/2980.45	c |   8874567 |    2874    16697   121947 |        1   335985     22 |  0.000 % |
2980.45/2980.45	c |   8874748 |    2874    16697   121947 |        1   336166     22 |  0.000 % |
2980.45/2980.45	c |   8878828 |    2874    16697   121947 |        1   340246     22 |  0.000 % |
2980.45/2980.45	c |   8946654 |    2874    16697   121947 |        1   408072     24 |  0.000 % |
2980.45/2980.45	c |   8965238 |    2874    16697   121947 |        1   214658     14 |  0.000 % |
2980.45/2980.45	c |   8965356 |    2874    16697   121947 |        1   214776     14 |  0.000 % |
2980.45/2980.45	c |   8968484 |    2874    16697   121947 |        1   217904     14 |  0.000 % |
2980.45/2980.45	c |   8970319 |    2874    16697   121947 |        1   219739     15 |  0.000 % |
2980.45/2980.45	c |   8970935 |    2874    16697   121947 |        1   220355     15 |  0.000 % |
2980.45/2980.45	c |   8979672 |    2874    16697   121947 |        1   229092     16 |  0.000 % |
2980.45/2980.45	c |   8979772 |    2874    16697   121947 |        1   229192     16 |  0.000 % |
2980.45/2980.45	c |   8979873 |    2874    16697   121947 |        1   229293     16 |  0.000 % |
2980.45/2980.45	c |   8979974 |    2874    16697   121947 |        1   229394     16 |  0.000 % |
2980.45/2980.45	c |   9027018 |    2874    16697   121947 |        1   276438     19 |  0.000 % |
2980.45/2980.45	c |   9045016 |    2874    16697   121947 |        1   294436     20 |  0.000 % |
2980.45/2980.45	c |   9045119 |    2874    16697   121947 |        1   294539     20 |  0.000 % |
2980.45/2980.45	c |   9161907 |    2874    16697   121947 |        1   411327     24 |  0.000 % |
2980.45/2980.45	c |   9166181 |    2874    16697   121947 |        1   415601     25 |  0.000 % |
2980.45/2980.45	c |   9166281 |    2874    16697   121947 |        1   415701     25 |  0.000 % |
2980.45/2980.45	c |   9166386 |    2874    16697   121947 |        1   415806     25 |  0.000 % |
2980.45/2980.45	c |   9178040 |    2874    16697   121947 |        1   427460     25 |  0.000 % |
3129.36/3129.40	c |   9180176 |    2874    16697   121947 |        1   214994     14 |  0.000 % |
3129.36/3129.40	c |   9184532 |    2874    16697   121947 |        1   219350     14 |  0.000 % |
3129.36/3129.40	c |   9184916 |    2874    16697   121947 |        1   219734     15 |  0.000 % |
3129.36/3129.40	c |   9185076 |    2874    16697   121947 |        1   219894     15 |  0.000 % |
3129.36/3129.40	c |   9185203 |    2874    16697   121947 |        1   220021     15 |  0.000 % |
3129.36/3129.40	c |   9185303 |    2874    16697   121947 |        1   220121     15 |  0.000 % |
3129.36/3129.40	c |   9198821 |    2874    16697   121947 |        1   233639     16 |  0.000 % |
3129.36/3129.40	c |   9198925 |    2874    16697   121947 |        1   233743     16 |  0.000 % |
3129.36/3129.40	c |   9200123 |    2874    16697   121947 |        1   234941     16 |  0.000 % |
3129.36/3129.40	c |   9200225 |    2874    16697   121947 |        1   235043     16 |  0.000 % |
3129.36/3129.40	c |   9204800 |    2874    16697   121947 |        1   239618     16 |  0.000 % |
3129.36/3129.40	c |   9204900 |    2874    16697   121947 |        1   239718     16 |  0.000 % |
3129.36/3129.40	c |   9229186 |    2874    16697   121947 |        1   264004     18 |  0.000 % |
3129.36/3129.40	c |   9230325 |    2874    16697   121947 |        1   265143     18 |  0.000 % |
3129.36/3129.40	c |   9230758 |    2874    16697   121947 |        1   265576     18 |  0.000 % |
3129.36/3129.40	c |   9290161 |    2874    16697   121947 |        1   324979     22 |  0.000 % |
3129.36/3129.40	c |   9290263 |    2874    16697   121947 |        1   325081     22 |  0.000 % |
3129.36/3129.40	c |   9302482 |    2874    16697   121947 |        1   337300     22 |  0.000 % |
3129.36/3129.40	c |   9302754 |    2874    16697   121947 |        1   337572     22 |  0.000 % |
3129.36/3129.40	c |   9302855 |    2874    16697   121947 |        1   337673     22 |  0.000 % |
3129.36/3129.40	c |   9341462 |    2874    16697   121947 |        1   376280     24 |  0.000 % |
3129.36/3129.40	c |   9347513 |    2874    16697   121947 |        1   382331     24 |  0.000 % |
3129.36/3129.40	c |   9347890 |    2874    16697   121947 |        1   382708     24 |  0.000 % |
3129.36/3129.40	c |   9348104 |    2874    16697   121947 |        1   382922     24 |  0.000 % |
3129.36/3129.40	c |   9352428 |    2874    16697   121947 |        1   387246     24 |  0.000 % |
3129.36/3129.40	c |   9357796 |    2874    16697   121947 |        1   392614     24 |  0.000 % |
3129.36/3129.40	c |   9358171 |    2874    16697   121947 |        1   392989     24 |  0.000 % |
3129.36/3129.40	c |   9358272 |    2874    16697   121947 |        1   393090     24 |  0.000 % |
3129.36/3129.40	c |   9381037 |    2874    16697   121947 |        1   415855     25 |  0.000 % |
3129.36/3129.40	c |   9381139 |    2874    16697   121947 |        1   415957     25 |  0.000 % |
3129.36/3129.40	c |   9409705 |    2874    16697   121947 |        1   227326     15 |  0.000 % |
3129.36/3129.40	c |   9413840 |    2874    16697   121947 |        1   231461     15 |  0.000 % |
3129.36/3129.40	c |   9414152 |    2874    16697   121947 |        1   231773     15 |  0.000 % |
3129.36/3129.40	c |   9423976 |    2874    16697   121947 |        1   241597     16 |  0.000 % |
3129.36/3129.40	c |   9424076 |    2874    16697   121947 |        1   241697     16 |  0.000 % |
3129.36/3129.40	c |   9424176 |    2874    16697   121947 |        1   241797     16 |  0.000 % |
3129.36/3129.40	c |   9424550 |    2874    16697   121947 |        1   242171     16 |  0.000 % |
3129.36/3129.40	c |   9425502 |    2874    16697   121947 |        1   243123     16 |  0.000 % |
3129.36/3129.40	c |   9425602 |    2874    16697   121947 |        1   243223     16 |  0.000 % |
3129.36/3129.40	c |   9426958 |    2874    16697   121947 |        1   244579     16 |  0.000 % |
3129.36/3129.40	c |   9429213 |    2874    16697   121947 |        1   246834     17 |  0.000 % |
3129.36/3129.40	c |   9450784 |    2874    16697   121947 |        1   268405     18 |  0.000 % |
3129.36/3129.40	c |   9451569 |    2874    16697   121947 |        1   269190     18 |  0.000 % |
3129.36/3129.40	c |   9451669 |    2874    16697   121947 |        1   269290     18 |  0.000 % |
3129.36/3129.40	c |   9451770 |    2874    16697   121947 |        1   269391     18 |  0.000 % |
3129.36/3129.40	c |   9451871 |    2874    16697   121947 |        1   269492     18 |  0.000 % |
3129.36/3129.40	c |   9469249 |    2874    16697   121947 |        1   286870     19 |  0.000 % |
3129.36/3129.40	c |   9469407 |    2874    16697   121947 |        1   287028     19 |  0.000 % |
3129.36/3129.40	c |   9469508 |    2874    16697   121947 |        1   287129     19 |  0.000 % |
3129.36/3129.40	c |   9470565 |    2874    16697   121947 |        1   288186     19 |  0.000 % |
3399.09/3399.07	c |   9470666 |    2874    16697   121947 |        1   288287     19 |  0.000 % |
3399.09/3399.07	c |   9486865 |    2874    16697   121947 |        1   304486     20 |  0.000 % |
3399.09/3399.07	c |   9489559 |    2874    16697   121947 |        1   307180     20 |  0.000 % |
3399.09/3399.07	c |   9549434 |    2874    16697   121947 |        1   367055     23 |  0.000 % |
3399.09/3399.07	c |   9555002 |    2874    16697   121947 |        1   372623     23 |  0.000 % |
3399.09/3399.07	c |   9558201 |    2874    16697   121947 |        1   375822     23 |  0.000 % |
3399.09/3399.07	c |   9558302 |    2874    16697   121947 |        1   375923     23 |  0.000 % |
3399.09/3399.07	c |   9715778 |    2874    16697   121947 |        1   313598     20 |  0.000 % |
3399.09/3399.07	c |   9725456 |    2874    16697   121947 |        1   323276     20 |  0.000 % |
3399.09/3399.07	c |   9749183 |    2874    16697   121947 |        1   347003     22 |  0.000 % |
3399.09/3399.07	c |   9750880 |    2874    16697   121947 |        1   348700     22 |  0.000 % |
3399.09/3399.07	c |   9753784 |    2874    16697   121947 |        1   351604     22 |  0.000 % |
3399.09/3399.07	c |   9770674 |    2874    16697   121947 |        1   368494     23 |  0.000 % |
3399.09/3399.07	c |   9776041 |    2874    16697   121947 |        1   373861     23 |  0.000 % |
3399.09/3399.07	c |   9779752 |    2874    16697   121947 |        1   377572     23 |  0.000 % |
3399.09/3399.07	c |   9785528 |    2874    16697   121947 |        1   383348     23 |  0.000 % |
3399.09/3399.07	c |   9786684 |    2874    16697   121947 |        1   384504     23 |  0.000 % |
3399.09/3399.07	c |   9790886 |    2874    16697   121947 |        1   388706     24 |  0.000 % |
3399.09/3399.07	c |   9794158 |    2874    16697   121947 |        1   391978     24 |  0.000 % |
3399.09/3399.07	c |   9794258 |    2874    16697   121947 |        1   392078     24 |  0.000 % |
3399.09/3399.07	c |   9794805 |    2874    16697   121947 |        1   392625     24 |  0.000 % |
3399.09/3399.07	c |   9795754 |    2874    16697   121947 |        1   393574     24 |  0.000 % |
3399.09/3399.07	c |   9850050 |    2874    16697   121947 |        1   225471     14 |  0.000 % |
3399.09/3399.07	c |   9852533 |    2874    16697   121947 |        1   227954     14 |  0.000 % |
3399.09/3399.07	c |   9852633 |    2874    16697   121947 |        1   228054     14 |  0.000 % |
3399.09/3399.07	c |   9877044 |    2874    16697   121947 |        1   252465     17 |  0.000 % |
3399.09/3399.07	c |   9877204 |    2874    16697   121947 |        1   252625     17 |  0.000 % |
3399.09/3399.07	c |   9877552 |    2874    16697   121947 |        1   252973     17 |  0.000 % |
3399.09/3399.07	c |   9878628 |    2874    16697   121947 |        1   254049     17 |  0.000 % |
3399.09/3399.07	c |   9879338 |    2874    16697   121947 |        1   254759     17 |  0.000 % |
3399.09/3399.07	c |   9879521 |    2874    16697   121947 |        1   254942     17 |  0.000 % |
3399.09/3399.07	c |   9879621 |    2874    16697   121947 |        1   255042     17 |  0.000 % |
3399.09/3399.07	c |   9879722 |    2874    16697   121947 |        1   255143     17 |  0.000 % |
3399.09/3399.07	c |   9880051 |    2874    16697   121947 |        1   255472     17 |  0.000 % |
3399.09/3399.07	c |   9916172 |    2874    16697   121947 |        1   291593     20 |  0.000 % |
3399.09/3399.07	c |   9916272 |    2874    16697   121947 |        1   291693     20 |  0.000 % |
3399.09/3399.07	c |   9916373 |    2874    16697   121947 |        1   291794     20 |  0.000 % |
3399.09/3399.07	c |   9916761 |    2874    16697   121947 |        1   292182     20 |  0.000 % |
3399.09/3399.07	c |   9916897 |    2874    16697   121947 |        1   292318     20 |  0.000 % |
3399.09/3399.07	c |   9917128 |    2874    16697   121947 |        1   292549     20 |  0.000 % |
3399.09/3399.07	c |   9917228 |    2874    16697   121947 |        1   292649     20 |  0.000 % |
3399.09/3399.07	c |   9917328 |    2874    16697   121947 |        1   292749     20 |  0.000 % |
3399.09/3399.07	c |   9917428 |    2874    16697   121947 |        1   292849     20 |  0.000 % |
3399.09/3399.07	c |   9917892 |    2874    16697   121947 |        1   293313     20 |  0.000 % |
3399.09/3399.07	c |   9917992 |    2874    16697   121947 |        1   293413     20 |  0.000 % |
3399.09/3399.07	c |   9920640 |    2874    16697   121947 |        1   296061     20 |  0.000 % |
3399.09/3399.07	c |   9921671 |    2874    16697   121947 |        1   297092     20 |  0.000 % |
3399.09/3399.07	c |   9922768 |    2874    16697   121947 |        1   298189     20 |  0.000 % |
3399.09/3399.07	c |   9923065 |    2874    16697   121947 |        1   298486     20 |  0.000 % |
3399.09/3399.07	c |   9973343 |    2874    16697   121947 |        1   348764     22 |  0.000 % |
3739.67/3739.64	c |   9973443 |    2874    16697   121947 |        1   348864     22 |  0.000 % |
3739.67/3739.64	c |   9982016 |    2874    16697   121947 |        1   357437     23 |  0.000 % |
3739.67/3739.64	c |  10003614 |    2874    16697   121947 |        1   379035     24 |  0.000 % |
3739.67/3739.64	c |  10003714 |    2874    16697   121947 |        1   379135     24 |  0.000 % |
3739.67/3739.64	c |  10060672 |    2874    16697   121947 |        1   436093     25 |  0.000 % |
3739.67/3739.64	c |  10060774 |    2874    16697   121947 |        1   436195     25 |  0.000 % |
3739.67/3739.64	c |  10065689 |    2874    16697   121947 |        1   441110     25 |  0.000 % |
3739.67/3739.64	c |  10091726 |    2874    16697   121947 |        1   242140     15 |  0.000 % |
3739.67/3739.64	c |  10092060 |    2874    16697   121947 |        1   242474     15 |  0.000 % |
3739.67/3739.64	c |  10092574 |    2874    16697   121947 |        1   242988     15 |  0.000 % |
3739.67/3739.64	c |  10093440 |    2874    16697   121947 |        1   243854     16 |  0.000 % |
3739.67/3739.64	c |  10095269 |    2874    16697   121947 |        1   245683     16 |  0.000 % |
3739.67/3739.64	c |  10175808 |    2874    16697   121947 |        1   326222     21 |  0.000 % |
3739.67/3739.64	c |  10192176 |    2874    16697   121947 |        1   342590     21 |  0.000 % |
3739.67/3739.64	c |  10192931 |    2874    16697   121947 |        1   343345     21 |  0.000 % |
3739.67/3739.64	c |  10215424 |    2874    16697   121947 |        1   365838     22 |  0.000 % |
3739.67/3739.64	c |  10302837 |    2874    16697   121947 |        1   453251     25 |  0.000 % |
3739.67/3739.64	c |  10303048 |    2874    16697   121947 |        1   453462     25 |  0.000 % |
3739.67/3739.64	c |  10314799 |    2874    16697   121947 |        1   237614     15 |  0.000 % |
3739.67/3739.64	c |  10316972 |    2874    16697   121947 |        1   239787     15 |  0.000 % |
3739.67/3739.64	c |  10319732 |    2874    16697   121947 |        1   242547     16 |  0.000 % |
3739.67/3739.64	c |  10353618 |    2874    16697   121947 |        1   276433     18 |  0.000 % |
3739.67/3739.64	c |  10353721 |    2874    16697   121947 |        1   276536     18 |  0.000 % |
3739.67/3739.64	c |  10355166 |    2874    16697   121947 |        1   277981     18 |  0.000 % |
3739.67/3739.64	c |  10356517 |    2874    16697   121947 |        1   279332     18 |  0.000 % |
3739.67/3739.64	c |  10357003 |    2874    16697   121947 |        1   279818     18 |  0.000 % |
3739.67/3739.64	c |  10360063 |    2874    16697   121947 |        1   282878     18 |  0.000 % |
3739.67/3739.64	c |  10360524 |    2874    16697   121947 |        1   283339     18 |  0.000 % |
3739.67/3739.64	c |  10360625 |    2874    16697   121947 |        1   283440     18 |  0.000 % |
3739.67/3739.64	c |  10360727 |    2874    16697   121947 |        1   283542     18 |  0.000 % |
3739.67/3739.64	c |  10375292 |    2874    16697   121947 |        1   298107     19 |  0.000 % |
3739.67/3739.64	c |  10375392 |    2874    16697   121947 |        1   298207     19 |  0.000 % |
3739.67/3739.64	c |  10380345 |    2874    16697   121947 |        1   303160     20 |  0.000 % |
3739.67/3739.64	c |  10380712 |    2874    16697   121947 |        1   303527     20 |  0.000 % |
3739.67/3739.64	c |  10465341 |    2874    16697   121947 |        1   388156     23 |  0.000 % |
3739.67/3739.64	c |  10465451 |    2874    16697   121947 |        1   388266     23 |  0.000 % |
3739.67/3739.64	c |  10465551 |    2874    16697   121947 |        1   388366     23 |  0.000 % |
3739.67/3739.64	c |  10468830 |    2874    16697   121947 |        1   391645     23 |  0.000 % |
3739.67/3739.64	c |  10469200 |    2874    16697   121947 |        1   392015     23 |  0.000 % |
3739.67/3739.64	c |  10476578 |    2874    16697   121947 |        1   399393     24 |  0.000 % |
3739.67/3739.64	c |  10510522 |    2874    16697   121947 |        1   433337     25 |  0.000 % |
3739.67/3739.64	c |  10566866 |    2874    16697   121947 |        1   259484     17 |  0.000 % |
3739.67/3739.64	c |  10574915 |    2874    16697   121947 |        1   267533     18 |  0.000 % |
3739.67/3739.64	c |  10580122 |    2874    16697   121947 |        1   272740     18 |  0.000 % |
3739.67/3739.64	c |  10580222 |    2874    16697   121947 |        1   272840     18 |  0.000 % |
3739.67/3739.64	c |  10580323 |    2874    16697   121947 |        1   272941     18 |  0.000 % |
3739.67/3739.64	c |  10580423 |    2874    16697   121947 |        1   273041     18 |  0.000 % |
3739.67/3739.64	c |  10587441 |    2874    16697   121947 |        1   280059     19 |  0.000 % |
3739.67/3739.64	c |  10587544 |    2874    16697   121947 |        1   280162     19 |  0.000 % |
3739.67/3739.64	c |  10587646 |    2874    16697   121947 |        1   280264     19 |  0.000 % |
4033.48/4033.44	c |  10587748 |    2874    16697   121947 |        1   280366     19 |  0.000 % |
4033.48/4033.44	c |  10589545 |    2874    16697   121947 |        1   282163     19 |  0.000 % |
4033.48/4033.44	c |  10589646 |    2874    16697   121947 |        1   282264     19 |  0.000 % |
4033.48/4033.44	c |  10610119 |    2874    16697   121947 |        1   302737     20 |  0.000 % |
4033.48/4033.44	c |  10610431 |    2874    16697   121947 |        1   303049     20 |  0.000 % |
4033.48/4033.44	c |  10610532 |    2874    16697   121947 |        1   303150     20 |  0.000 % |
4033.48/4033.44	c |  10612405 |    2874    16697   121947 |        1   305023     20 |  0.000 % |
4033.48/4033.44	c |  10612505 |    2874    16697   121947 |        1   305123     20 |  0.000 % |
4033.48/4033.44	c |  10616097 |    2874    16697   121947 |        1   308715     21 |  0.000 % |
4033.48/4033.44	c |  10628279 |    2874    16697   121947 |        1   320897     21 |  0.000 % |
4033.48/4033.44	c |  10630543 |    2874    16697   121947 |        1   323161     21 |  0.000 % |
4033.48/4033.44	c |  10683014 |    2874    16697   121947 |        1   375632     23 |  0.000 % |
4033.48/4033.44	c |  10683114 |    2874    16697   121947 |        1   375732     23 |  0.000 % |
4033.48/4033.44	c |  10683217 |    2874    16697   121947 |        1   375835     23 |  0.000 % |
4033.48/4033.44	c |  10714307 |    2874    16697   121947 |        1   406925     24 |  0.000 % |
4033.48/4033.44	c |  10759554 |    2874    16697   121947 |        1   452172     26 |  0.000 % |
4033.48/4033.44	c |  10759654 |    2874    16697   121947 |        1   452272     26 |  0.000 % |
4033.48/4033.44	c |  10759754 |    2874    16697   121947 |        1   452372     26 |  0.000 % |
4033.48/4033.44	c |  10764183 |    2874    16697   121947 |        1   456801     26 |  0.000 % |
4033.48/4033.44	c |  10764509 |    2874    16697   121947 |        1   457127     26 |  0.000 % |
4033.48/4033.44	c |  10764609 |    2874    16697   121947 |        1   457227     26 |  0.000 % |
4033.48/4033.44	c |  10765621 |    2874    16697   121947 |        1   458239     26 |  0.000 % |
4033.48/4033.44	c |  10766441 |    2874    16697   121947 |        1   459059     26 |  0.000 % |
4033.48/4033.44	c |  10780418 |    2874    16697   121947 |        1   240230     15 |  0.000 % |
4033.48/4033.44	c |  10780518 |    2874    16697   121947 |        1   240330     15 |  0.000 % |
4033.48/4033.44	c |  10780623 |    2874    16697   121947 |        1   240435     15 |  0.000 % |
4033.48/4033.44	c |  10780723 |    2874    16697   121947 |        1   240535     15 |  0.000 % |
4033.48/4033.44	c |  10804418 |    2874    16697   121947 |        1   264230     17 |  0.000 % |
4033.48/4033.44	c |  10805897 |    2874    16697   121947 |        1   265709     17 |  0.000 % |
4033.48/4033.44	c |  10877794 |    2874    16697   121947 |        1   337606     21 |  0.000 % |
4033.48/4033.44	c |  10908839 |    2874    16697   121947 |        1   368651     22 |  0.000 % |
4033.48/4033.44	c |  10909927 |    2874    16697   121947 |        1   369739     22 |  0.000 % |
4033.48/4033.44	c |  10910027 |    2874    16697   121947 |        1   369839     22 |  0.000 % |
4033.48/4033.44	c |  10924250 |    2874    16697   121947 |        1   384062     23 |  0.000 % |
4033.48/4033.44	c |  10925120 |    2874    16697   121947 |        1   384932     23 |  0.000 % |
4033.48/4033.44	c |  10932627 |    2874    16697   121947 |        1   392439     23 |  0.000 % |
4033.48/4033.44	c |  10935080 |    2874    16697   121947 |        1   394892     23 |  0.000 % |
4033.48/4033.44	c |  10936781 |    2874    16697   121947 |        1   396593     23 |  0.000 % |
4033.48/4033.44	c |  11012578 |    2874    16697   121947 |        1   236994     14 |  0.000 % |
4033.48/4033.44	c |  11012718 |    2874    16697   121947 |        1   237134     14 |  0.000 % |
4033.48/4033.44	c |  11012819 |    2874    16697   121947 |        1   237235     14 |  0.000 % |
4033.48/4033.44	c |  11015283 |    2874    16697   121947 |        1   239699     14 |  0.000 % |
4033.48/4033.44	c |  11018523 |    2874    16697   121947 |        1   242939     15 |  0.000 % |
4033.48/4033.44	c |  11018623 |    2874    16697   121947 |        1   243039     15 |  0.000 % |
4033.48/4033.44	c |  11031604 |    2874    16697   121947 |        1   256020     16 |  0.000 % |
4033.48/4033.44	c |  11038877 |    2874    16697   121947 |        1   263293     16 |  0.000 % |
4033.48/4033.44	c |  11041517 |    2874    16697   121947 |        1   265933     16 |  0.000 % |
4033.48/4033.44	c |  11064919 |    2874    16697   121947 |        1   289335     18 |  0.000 % |
4033.48/4033.44	c |  11104521 |    2874    16697   121947 |        1   328937     20 |  0.000 % |
4033.48/4033.44	c |  11104720 |    2874    16697   121947 |        1   329136     20 |  0.000 % |
4260.48/4260.45	c |  11104889 |    2874    16697   121947 |        1   329305     20 |  0.000 % |
4260.48/4260.45	c |  11157451 |    2874    16697   121947 |        1   381867     22 |  0.000 % |
4260.48/4260.45	c |  11187775 |    2874    16697   121947 |        1   412191     23 |  0.000 % |
4260.48/4260.45	c |  11200074 |    2874    16697   121947 |        1   424490     24 |  0.000 % |
4260.48/4260.45	c |  11212480 |    2874    16697   121947 |        1   436896     24 |  0.000 % |
4260.48/4260.45	c |  11214804 |    2874    16697   121947 |        1   439220     24 |  0.000 % |
4260.48/4260.45	c |  11237949 |    2874    16697   121947 |        1   462365     25 |  0.000 % |
4260.48/4260.45	c |  11238212 |    2874    16697   121947 |        1   462628     25 |  0.000 % |
4260.48/4260.45	c |  11239465 |    2874    16697   121947 |        1   463881     25 |  0.000 % |
4260.48/4260.45	c |  11243990 |    2874    16697   121947 |        1   468406     25 |  0.000 % |
4260.48/4260.45	c |  11245691 |    2874    16697   121947 |        1   470107     25 |  0.000 % |
4260.48/4260.45	c |  11245792 |    2874    16697   121947 |        1   470208     25 |  0.000 % |
4260.48/4260.45	c |  11250169 |    2874    16697   121947 |        1   474585     25 |  0.000 % |
4260.48/4260.45	c |  11259276 |    2874    16697   121947 |        1   245693     14 |  0.000 % |
4260.48/4260.45	c |  11259376 |    2874    16697   121947 |        1   245793     14 |  0.000 % |
4260.48/4260.45	c |  11358071 |    2874    16697   121947 |        1   344488     20 |  0.000 % |
4260.48/4260.45	c |  11358172 |    2874    16697   121947 |        1   344589     20 |  0.000 % |
4260.48/4260.45	c |  11379244 |    2874    16697   121947 |        1   365661     21 |  0.000 % |
4260.48/4260.45	c |  11379347 |    2874    16697   121947 |        1   365764     21 |  0.000 % |
4260.48/4260.45	c |  11381218 |    2874    16697   121947 |        1   367635     21 |  0.000 % |
4260.48/4260.45	c |  11402008 |    2874    16697   121947 |        1   388425     22 |  0.000 % |
4260.48/4260.45	c |  11402108 |    2874    16697   121947 |        1   388525     22 |  0.000 % |
4260.48/4260.45	c |  11403598 |    2874    16697   121947 |        1   390015     22 |  0.000 % |
4260.48/4260.45	c |  11414022 |    2874    16697   121947 |        1   400439     23 |  0.000 % |
4260.48/4260.45	c |  11414122 |    2874    16697   121947 |        1   400539     23 |  0.000 % |
4260.48/4260.45	c |  11438742 |    2874    16697   121947 |        1   425159     23 |  0.000 % |
4260.48/4260.45	c |  11440896 |    2874    16697   121947 |        1   427313     24 |  0.000 % |
4260.48/4260.45	c |  11445275 |    2874    16697   121947 |        1   431692     24 |  0.000 % |
4260.48/4260.45	c |  11446733 |    2874    16697   121947 |        1   433150     24 |  0.000 % |
4260.48/4260.45	c |  11448253 |    2874    16697   121947 |        1   434670     24 |  0.000 % |
4260.48/4260.45	c |  11450762 |    2874    16697   121947 |        1   437179     24 |  0.000 % |
4260.48/4260.45	c |  11450967 |    2874    16697   121947 |        1   437384     24 |  0.000 % |
4260.48/4260.45	c |  11464595 |    2874    16697   121947 |        1   451012     25 |  0.000 % |
4260.48/4260.45	c |  11469289 |    2874    16697   121947 |        1   455706     25 |  0.000 % |
4260.48/4260.45	c |  11469480 |    2874    16697   121947 |        1   455897     25 |  0.000 % |
4260.48/4260.45	c |  11470840 |    2874    16697   121947 |        1   457257     25 |  0.000 % |
4260.48/4260.45	c |  11473010 |    2874    16697   121947 |        1   459427     25 |  0.000 % |
4260.48/4260.45	c |  11473111 |    2874    16697   121947 |        1   459528     25 |  0.000 % |
4260.48/4260.45	c |  11473861 |    2874    16697   121947 |        1   460278     25 |  0.000 % |
4260.48/4260.45	c |  11473962 |    2874    16697   121947 |        1   460379     25 |  0.000 % |
4260.48/4260.45	c |  11475323 |    2874    16697   121947 |        1   461740     25 |  0.000 % |
4260.48/4260.45	c |  11475423 |    2874    16697   121947 |        1   461840     25 |  0.000 % |
4260.48/4260.45	c |  11475524 |    2874    16697   121947 |        1   461941     25 |  0.000 % |
4260.48/4260.45	c |  11484273 |    2874    16697   121947 |        1   470690     25 |  0.000 % |
4260.48/4260.45	c |  11486164 |    2874    16697   121947 |        1   472581     25 |  0.000 % |
4260.48/4260.45	c |  11487321 |    2874    16697   121947 |        1   473738     25 |  0.000 % |
4260.48/4260.45	c |  11488273 |    2874    16697   121947 |        1   474690     25 |  0.000 % |
4260.48/4260.45	c |  11488373 |    2874    16697   121947 |        1   474790     25 |  0.000 % |
4260.48/4260.45	c |  11488863 |    2874    16697   121947 |        1   475280     25 |  0.000 % |
4260.48/4260.45	c |  11488963 |    2874    16697   121947 |        1   475380     25 |  0.000 % |
4545.09/4545.03	c |  11492305 |    2874    16697   121947 |        1   478722     25 |  0.000 % |
4545.09/4545.03	c |  11492719 |    2874    16697   121947 |        1   479136     25 |  0.000 % |
4545.09/4545.03	c |  11592770 |    2874    16697   121947 |        1   338587     20 |  0.000 % |
4545.09/4545.03	c |  11592870 |    2874    16697   121947 |        1   338687     20 |  0.000 % |
4545.09/4545.03	c |  11592970 |    2874    16697   121947 |        1   338787     20 |  0.000 % |
4545.09/4545.03	c |  11593070 |    2874    16697   121947 |        1   338887     20 |  0.000 % |
4545.09/4545.03	c |  11593170 |    2874    16697   121947 |        1   338987     20 |  0.000 % |
4545.09/4545.03	c |  11597411 |    2874    16697   121947 |        1   343228     20 |  0.000 % |
4545.09/4545.03	c |  11597524 |    2874    16697   121947 |        1   343341     20 |  0.000 % |
4545.09/4545.03	c |  11611862 |    2874    16697   121947 |        1   357679     21 |  0.000 % |
4545.09/4545.03	c |  11637267 |    2874    16697   121947 |        1   383084     22 |  0.000 % |
4545.09/4545.03	c |  11638160 |    2874    16697   121947 |        1   383977     22 |  0.000 % |
4545.09/4545.03	c |  11638327 |    2874    16697   121947 |        1   384144     22 |  0.000 % |
4545.09/4545.03	c |  11638511 |    2874    16697   121947 |        1   384328     22 |  0.000 % |
4545.09/4545.03	c |  11650303 |    2874    16697   121947 |        1   396120     22 |  0.000 % |
4545.09/4545.03	c |  11650445 |    2874    16697   121947 |        1   396262     22 |  0.000 % |
4545.09/4545.03	c |  11650603 |    2874    16697   121947 |        1   396420     22 |  0.000 % |
4545.09/4545.03	c |  11668228 |    2874    16697   121947 |        1   414045     23 |  0.000 % |
4545.09/4545.03	c |  11672118 |    2874    16697   121947 |        1   417935     23 |  0.000 % |
4545.09/4545.03	c |  11672218 |    2874    16697   121947 |        1   418035     23 |  0.000 % |
4545.09/4545.03	c |  11674804 |    2874    16697   121947 |        1   420621     23 |  0.000 % |
4545.09/4545.03	c |  11677035 |    2874    16697   121947 |        1   422852     23 |  0.000 % |
4545.09/4545.03	c |  11682321 |    2874    16697   121947 |        1   428138     23 |  0.000 % |
4545.09/4545.03	c |  11682426 |    2874    16697   121947 |        1   428243     23 |  0.000 % |
4545.09/4545.03	c |  11685302 |    2874    16697   121947 |        1   431119     23 |  0.000 % |
4545.09/4545.03	c |  11687353 |    2874    16697   121947 |        1   433170     24 |  0.000 % |
4545.09/4545.03	c |  11694804 |    2874    16697   121947 |        1   440621     24 |  0.000 % |
4545.09/4545.03	c |  11724667 |    2874    16697   121947 |        1   470484     24 |  0.000 % |
4545.09/4545.03	c |  11731323 |    2874    16697   121947 |        1   477140     25 |  0.000 % |
4545.09/4545.03	c |  11748023 |    2874    16697   121947 |        1   250640     15 |  0.000 % |
4545.09/4545.03	c |  11752175 |    2874    16697   121947 |        1   254792     15 |  0.000 % |
4545.09/4545.03	c |  11771017 |    2874    16697   121947 |        1   273634     16 |  0.000 % |
4545.09/4545.03	c |  11781646 |    2874    16697   121947 |        1   284263     17 |  0.000 % |
4545.09/4545.03	c |  11787105 |    2874    16697   121947 |        1   289722     18 |  0.000 % |
4545.09/4545.03	c |  11791853 |    2874    16697   121947 |        1   294470     18 |  0.000 % |
4545.09/4545.03	c |  11877204 |    2874    16697   121947 |        1   379821     22 |  0.000 % |
4545.09/4545.03	c |  11890627 |    2874    16697   121947 |        1   393244     23 |  0.000 % |
4545.09/4545.03	c |  11890731 |    2874    16697   121947 |        1   393348     23 |  0.000 % |
4545.09/4545.03	c |  11894159 |    2874    16697   121947 |        1   396776     23 |  0.000 % |
4545.09/4545.03	c |  11894259 |    2874    16697   121947 |        1   396876     23 |  0.000 % |
4545.09/4545.03	c |  11944025 |    2874    16697   121947 |        1   446642     24 |  0.000 % |
4545.09/4545.03	c |  11944504 |    2874    16697   121947 |        1   447121     25 |  0.000 % |
4545.09/4545.03	c |  11948893 |    2874    16697   121947 |        1   451510     25 |  0.000 % |
4545.09/4545.03	c |  11949079 |    2874    16697   121947 |        1   451696     25 |  0.000 % |
4545.09/4545.03	c |  11950534 |    2874    16697   121947 |        1   453151     25 |  0.000 % |
4545.09/4545.03	c |  11950635 |    2874    16697   121947 |        1   453252     25 |  0.000 % |
4545.09/4545.03	c |  11950737 |    2874    16697   121947 |        1   453354     25 |  0.000 % |
4545.09/4545.03	c |  11955551 |    2874    16697   121947 |        1   458168     25 |  0.000 % |
4545.09/4545.03	c |  11955805 |    2874    16697   121947 |        1   458422     25 |  0.000 % |
4545.09/4545.03	c |  11955905 |    2874    16697   121947 |        1   458522     25 |  0.000 % |
4732.31/4732.24	c |  11959337 |    2874    16697   121947 |        1   461954     25 |  0.000 % |
4732.31/4732.24	c |  11959438 |    2874    16697   121947 |        1   462055     25 |  0.000 % |
4732.31/4732.24	c |  11961475 |    2874    16697   121947 |        1   464092     25 |  0.000 % |
4732.31/4732.24	c |  11961670 |    2874    16697   121947 |        1   464287     25 |  0.000 % |
4732.31/4732.24	c |  11962273 |    2874    16697   121947 |        1   464890     25 |  0.000 % |
4732.31/4732.24	c |  11969775 |    2874    16697   121947 |        1   472392     25 |  0.000 % |
4732.31/4732.24	c |  11972144 |    2874    16697   121947 |        1   474761     25 |  0.000 % |
4732.31/4732.24	c |  11972373 |    2874    16697   121947 |        1   474990     25 |  0.000 % |
4732.31/4732.24	c |  11972475 |    2874    16697   121947 |        1   475092     25 |  0.000 % |
4732.31/4732.24	c |  11972579 |    2874    16697   121947 |        1   475196     25 |  0.000 % |
4732.31/4732.24	c |  11972681 |    2874    16697   121947 |        1   475298     25 |  0.000 % |
4732.31/4732.24	c |  11977148 |    2874    16697   121947 |        1   479765     25 |  0.000 % |
4732.31/4732.24	c |  11977251 |    2874    16697   121947 |        1   479868     26 |  0.000 % |
4732.31/4732.24	c |  11977352 |    2874    16697   121947 |        1   479969     26 |  0.000 % |
4732.31/4732.24	c |  11977506 |    2874    16697   121947 |        1   480123     26 |  0.000 % |
4732.31/4732.24	c |  11979533 |    2874    16697   121947 |        1   482150     26 |  0.000 % |
4732.31/4732.24	c |  11993471 |    2874    16697   121947 |        1   250282     14 |  0.000 % |
4732.31/4732.24	c |  11993572 |    2874    16697   121947 |        1   250383     14 |  0.000 % |
4732.31/4732.24	c |  11993675 |    2874    16697   121947 |        1   250486     14 |  0.000 % |
4732.31/4732.24	c |  12054230 |    2874    16697   121947 |        1   311041     18 |  0.000 % |
4732.31/4732.24	c |  12054334 |    2874    16697   121947 |        1   311145     18 |  0.000 % |
4732.31/4732.24	c |  12054435 |    2874    16697   121947 |        1   311246     18 |  0.000 % |
4732.31/4732.24	c |  12057091 |    2874    16697   121947 |        1   313902     18 |  0.000 % |
4732.31/4732.24	c |  12057191 |    2874    16697   121947 |        1   314002     18 |  0.000 % |
4732.31/4732.24	c |  12057350 |    2874    16697   121947 |        1   314161     18 |  0.000 % |
4732.31/4732.24	c |  12057451 |    2874    16697   121947 |        1   314262     18 |  0.000 % |
4732.31/4732.24	c |  12064652 |    2874    16697   121947 |        1   321463     19 |  0.000 % |
4732.31/4732.24	c |  12064752 |    2874    16697   121947 |        1   321563     19 |  0.000 % |
4732.31/4732.24	c |  12069516 |    2874    16697   121947 |        1   326327     19 |  0.000 % |
4732.31/4732.24	c |  12072524 |    2874    16697   121947 |        1   329335     19 |  0.000 % |
4732.31/4732.24	c |  12072624 |    2874    16697   121947 |        1   329435     19 |  0.000 % |
4732.31/4732.24	c |  12072728 |    2874    16697   121947 |        1   329539     19 |  0.000 % |
4732.31/4732.24	c |  12072828 |    2874    16697   121947 |        1   329639     19 |  0.000 % |
4732.31/4732.24	c |  12092007 |    2874    16697   121947 |        1   348818     20 |  0.000 % |
4732.31/4732.24	c |  12097312 |    2874    16697   121947 |        1   354123     21 |  0.000 % |
4732.31/4732.24	c |  12097440 |    2874    16697   121947 |        1   354251     21 |  0.000 % |
4732.31/4732.24	c |  12099354 |    2874    16697   121947 |        1   356165     21 |  0.000 % |
4732.31/4732.24	c |  12099564 |    2874    16697   121947 |        1   356375     21 |  0.000 % |
4732.31/4732.24	c |  12099665 |    2874    16697   121947 |        1   356476     21 |  0.000 % |
4732.31/4732.24	c |  12099766 |    2874    16697   121947 |        1   356577     21 |  0.000 % |
4732.31/4732.24	c |  12101519 |    2874    16697   121947 |        1   358330     21 |  0.000 % |
4732.31/4732.24	c |  12102040 |    2874    16697   121947 |        1   358851     21 |  0.000 % |
4732.31/4732.24	c |  12109216 |    2874    16697   121947 |        1   366027     21 |  0.000 % |
4732.31/4732.24	c |  12109316 |    2874    16697   121947 |        1   366127     21 |  0.000 % |
4732.31/4732.24	c |  12119365 |    2874    16697   121947 |        1   376176     22 |  0.000 % |
4732.31/4732.24	c |  12222804 |    2874    16697   121947 |        1   479615     24 |  0.000 % |
4732.31/4732.24	c |  12223004 |    2874    16697   121947 |        1   479815     24 |  0.000 % |
4732.31/4732.24	c |  12223107 |    2874    16697   121947 |        1   479918     24 |  0.000 % |
4732.31/4732.24	c |  12223207 |    2874    16697   121947 |        1   480018     24 |  0.000 % |
4732.31/4732.24	c |  12250917 |

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.45 1.77 2/459 24015
/proc/meminfo: memFree=26219772/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 806587416 8912896 253 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24015/statm: 2176 253 211 178 0 69 0

[startup+0.087184 s]
/proc/loadavg: 1.04 1.45 1.77 2/459 24015
/proc/meminfo: memFree=26219772/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.100183 s]
/proc/loadavg: 1.04 1.45 1.77 2/459 24015
/proc/meminfo: memFree=26219772/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.300144 s]
/proc/loadavg: 1.04 1.45 1.77 2/459 24015
/proc/meminfo: memFree=26219772/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+0.701075 s]
/proc/loadavg: 1.04 1.45 1.77 2/459 24015
/proc/meminfo: memFree=26219772/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704

[startup+1.50093 s]
/proc/loadavg: 1.12 1.46 1.77 3/461 24049
/proc/meminfo: memFree=26208292/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=24172 CPUtime=1.42 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 3603 0 0 0 142 0 0 0 23 0 1 0 806587423 24752128 2788 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 6043 2788 251 17 0 2684 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32876

[startup+3.10065 s]
/proc/loadavg: 1.12 1.46 1.77 3/461 24050
/proc/meminfo: memFree=26198572/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=25204 CPUtime=3.02 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 3867 0 0 0 302 0 0 0 25 0 1 0 806587423 25808896 3046 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 6301 3046 251 17 0 2942 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33908

[startup+6.30108 s]
/proc/loadavg: 1.12 1.46 1.77 3/461 24050
/proc/meminfo: memFree=26187452/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=34164 CPUtime=6.22 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 5897 0 0 0 622 0 0 0 25 0 1 0 806587423 34983936 3855 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 8541 3855 251 17 0 5182 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42868

[startup+12.7009 s]
/proc/loadavg: 1.26 1.48 1.78 3/461 24050
/proc/meminfo: memFree=26183384/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=38588 CPUtime=12.63 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 9845 0 0 0 1262 1 0 0 25 0 1 0 806587423 39514112 5356 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 9647 5356 251 17 0 6288 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47292

[startup+25.5007 s]
/proc/loadavg: 1.37 1.50 1.78 3/461 24051
/proc/meminfo: memFree=26170116/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=38588 CPUtime=25.42 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 10507 0 0 0 2541 1 0 0 25 0 1 0 806587423 39514112 6002 33554432000 4194304 4260849 140734429361728 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 9647 6002 251 17 0 6288 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47292

[startup+51.1011 s]
/proc/loadavg: 1.62 1.54 1.78 3/461 24051
/proc/meminfo: memFree=26148336/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=66152 CPUtime=51.03 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 16728 0 0 0 5101 2 0 0 25 0 1 0 806587423 67739648 9094 33554432000 4194304 4260849 140734429361728 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 16538 9094 251 17 0 13179 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74856

[startup+102.317 s]
/proc/loadavg: 1.83 1.61 1.79 3/461 24053
/proc/meminfo: memFree=26126348/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=66152 CPUtime=102.23 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 20386 0 0 0 10221 2 0 0 25 0 1 0 806587423 67739648 12629 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 16538 12629 251 17 0 13179 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 74856

[startup+162.3 s]
/proc/loadavg: 2.01 1.71 1.82 3/461 24054
/proc/meminfo: memFree=26109836/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=66152 CPUtime=162.22 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 25748 0 0 0 16219 3 0 0 25 0 1 0 806587423 67739648 13287 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 16538 13287 251 17 0 13179 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 74856

[startup+222.301 s]
/proc/loadavg: 2.00 1.76 1.82 3/461 24056
/proc/meminfo: memFree=26091080/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=85008 CPUtime=222.22 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 30607 0 0 0 22218 4 0 0 25 0 1 0 806587423 87048192 17957 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 21252 17957 251 17 0 17893 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 93712

[startup+282.301 s]
/proc/loadavg: 2.00 1.80 1.83 3/461 24058
/proc/meminfo: memFree=26125884/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=66444 CPUtime=282.22 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 32231 0 0 0 28218 4 0 0 25 0 1 0 806587423 68038656 9307 33554432000 4194304 4260849 140734429361728 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 16611 9307 251 17 0 13252 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 75148

[startup+342.3 s]
/proc/loadavg: 2.00 1.83 1.83 3/461 24059
/proc/meminfo: memFree=26082208/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=97860 CPUtime=342.23 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 40792 0 0 0 34217 6 0 0 25 0 1 0 806587423 100208640 17651 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 24465 17651 251 17 0 21106 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 106564

[startup+402.301 s]
/proc/loadavg: 2.00 1.86 1.84 3/461 24061
/proc/meminfo: memFree=26068272/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7

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

/proc/24019/statm: 44718 39506 251 17 0 41359 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 187576

[startup+4422.3 s]
/proc/loadavg: 1.04 1.05 1.09 2/454 24198
/proc/meminfo: memFree=26106124/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=129552 CPUtime=4422.32 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 511911 0 0 0 442114 118 0 0 25 0 1 0 806587423 132661248 29009 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224677 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 32388 29009 251 17 0 29029 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 138256

[startup+4482.3 s]
/proc/loadavg: 1.01 1.04 1.08 2/454 24200
/proc/meminfo: memFree=26071128/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4482.33 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 520973 0 0 0 448113 120 0 0 25 0 1 0 806587423 183164928 38023 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 38023 251 17 0 41359 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 187576

[startup+4542.3 s]
/proc/loadavg: 1.00 1.03 1.08 2/454 24201
/proc/meminfo: memFree=26057084/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=209692 CPUtime=4542.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 524527 0 0 0 454111 123 0 0 25 0 1 0 806587423 214724608 41495 33554432000 4194304 4260849 140734429361728 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 52423 41495 251 17 0 49064 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 218396

[startup+4602.3 s]
/proc/loadavg: 1.15 1.06 1.08 2/454 24203
/proc/meminfo: memFree=26106160/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=129552 CPUtime=4602.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 526058 0 0 0 460110 124 0 0 25 0 1 0 806587423 132661248 29010 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 32388 29010 251 17 0 29029 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 138256

[startup+4662.3 s]
/proc/loadavg: 1.12 1.06 1.08 2/454 24204
/proc/meminfo: memFree=26064088/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4662.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 536622 0 0 0 466107 127 0 0 25 0 1 0 806587423 183164928 39502 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 39502 251 17 0 41359 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 187576

[startup+4722.32 s]
/proc/loadavg: 1.10 1.06 1.08 2/454 24206
/proc/meminfo: memFree=26053024/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=209692 CPUtime=4722.35 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 539682 0 0 0 472106 129 0 0 25 0 1 0 806587423 214724608 42492 33554432000 4194304 4260849 140734429361728 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 52423 42492 251 17 0 49064 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 218396

[startup+4782.3 s]
/proc/loadavg: 1.04 1.05 1.07 2/454 24208
/proc/meminfo: memFree=26075312/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4782.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 547859 0 0 0 478104 130 0 0 25 0 1 0 806587423 183164928 36945 33554432000 4194304 4260849 140734429361728 18446744073709551615 4228354 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 36945 251 17 0 41359 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 187576

[startup+4842.3 s]
/proc/loadavg: 1.01 1.04 1.07 2/454 24209
/proc/meminfo: memFree=26060412/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4842.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 551568 0 0 0 484103 131 0 0 25 0 1 0 806587423 183164928 40568 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 40568 251 17 0 41359 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 187576

[startup+4902.3 s]
/proc/loadavg: 1.00 1.03 1.06 2/454 24211
/proc/meminfo: memFree=26106276/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=129552 CPUtime=4902.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 553929 0 0 0 490101 133 0 0 25 0 1 0 806587423 132661248 29037 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 32388 29037 251 17 0 29029 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 138256

[startup+4962.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/454 24212
/proc/meminfo: memFree=26068932/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4962.34 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 563500 0 0 0 496099 135 0 0 25 0 1 0 806587423 183164928 38552 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 38552 251 17 0 41359 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 187576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.00 1.02 1.05 2/454 24222
/proc/meminfo: memFree=26059004/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4999.96 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 565707 0 0 0 499859 137 0 0 25 0 1 0 806587423 183164928 40705 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 40705 251 17 0 41359 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 187576

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

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

[startup+4999.9 s]
/proc/loadavg: 1.00 1.02 1.05 2/454 24222
/proc/meminfo: memFree=26059004/32951124 swapFree=60688864/67111528
[pid=24015] ppid=24013 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/24015/stat : 24015 (glucose.sh) S 24013 24015 22975 0 -1 4202496 361 767 0 0 0 0 6 0 18 0 1 0 806587416 8912896 255 33554432000 4194304 4922060 140734834380400 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24015/statm: 2176 255 211 178 0 69 0
[pid=24019] ppid=24015 vsize=178872 CPUtime=4999.96 cores=1,3,5,7
/proc/24019/stat : 24019 (glucose_static) R 24015 24015 22975 0 -1 4202496 565707 0 0 0 499859 137 0 0 25 0 1 0 806587423 183164928 40705 33554432000 4194304 4260849 140734429361728 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24019/statm: 44718 40705 251 17 0 41359 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 187576

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24015 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=64990
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.067989
# while last known CPU time is 5000.02
#
# 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.02
CPU user time (s): 4998.65
CPU system time (s): 1.37
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 218396

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

runsolver used 20.5129 second user time and 52.418 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-01 19:38:13
IDJOB=3303573
IDBENCH=85793
IDSOLVER=1687
FILE ID=node132/3303573-1306949892
RUNJOBID= node132-1306949892-23995
PBS_JOBID= 13488578
Free space on /tmp= 73536 MiB

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

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

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=1730301426

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26220284 kB
Buffers:        279964 kB
Cached:        3129500 kB
SwapCached:      15140 kB
Active:        1173560 kB
Inactive:      5297084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26220284 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            3948 kB
Writeback:           0 kB
AnonPages:     3053524 kB
Mapped:          19140 kB
Slab:           143744 kB
PageTables:      50284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109225956 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= 73536 MiB
End job on node132 at 2011-06-01 21:01:34