Trace number 3303618

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 2SAT 592.971 592.967

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
MD5SUM0906ad3a7678a4284d484fb4b8c72f61
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.166974
Satisfiable
(Un)Satisfiability was proved
Number of variables792
Number of clauses67279
Sum of the clauses size135290
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 267249
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.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 |   67279   135290 |   20183       0        0     nan |  0.000 % |
0.00/0.10	c |         0 |   66487   192349 |      --       0       --      -- |     --   | -792/57059
0.00/0.10	c ==============================================================================
0.00/0.10	c Result  :   #vars: 762   #clauses: 66487   #literals: 192349
0.00/0.10	c CPU time:   0.098984 s
0.00/0.10	c ==============================================================================
0.00/0.13	c
0.00/0.13	c Starting glucose
0.00/0.13	c
47.19/47.22	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
47.19/47.22	c WARNING: for repeatability, setting FPU to use double precision
47.19/47.22	c ============================[ Problem Statistics ]=============================
47.19/47.22	c |                                                                             |
47.19/47.22	c |  Number of variables:           762                                         |
47.19/47.22	c |  Number of clauses:           66487                                         |
47.19/47.22	c |  Parse time:                   0.01 s                                       |
47.19/47.22	c |                                                                             |
47.19/47.22	c ============================[ Search Statistics ]==============================
47.19/47.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.19/47.22	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
47.19/47.22	c ===============================================================================
47.19/47.22	c |     14843 |     762    66487   192349 |        1     8556     94 |  0.000 % |
47.19/47.22	c |     14998 |     762    66487   192349 |        1     8711     94 |  0.000 % |
47.19/47.22	c |     29678 |     762    66487   192349 |        1    16647     78 |  0.000 % |
47.19/47.22	c |     51663 |     762    66487   192349 |        1    17518     78 |  0.000 % |
47.19/47.22	c |     51779 |     762    66487   192349 |        1    17634     78 |  0.000 % |
47.19/47.22	c |     64313 |     762    66487   192349 |        1    15749     67 |  0.000 % |
47.19/47.22	c |     64480 |     762    66487   192349 |        1    15916     68 |  0.000 % |
47.19/47.22	c |     67376 |     762    66487   192349 |        1    18812     70 |  0.000 % |
47.19/47.22	c |     88712 |     762    66487   192349 |        1    23143     71 |  0.000 % |
47.19/47.22	c |     88979 |     762    66487   192349 |        1    23410     71 |  0.000 % |
47.19/47.22	c |     89080 |     762    66487   192349 |        1    23511     71 |  0.000 % |
47.19/47.22	c |     92019 |     762    66487   192349 |        1    26450     71 |  0.000 % |
47.19/47.22	c |     99995 |     762    66487   192349 |        1    34426     71 |  0.000 % |
47.19/47.22	c |    100897 |     762    66487   192349 |        1    35328     72 |  0.000 % |
47.19/47.22	c |    101048 |     762    66487   192349 |        1    35479     72 |  0.000 % |
47.19/47.22	c |    101148 |     762    66487   192349 |        1    35579     72 |  0.000 % |
47.19/47.22	c |    163655 |     762    66487   192349 |        1    31478     67 |  0.000 % |
47.19/47.22	c |    163756 |     762    66487   192349 |        1    31579     67 |  0.000 % |
47.19/47.22	c |    169502 |     762    66487   192349 |        1    37325     70 |  0.000 % |
47.19/47.22	c |    191550 |     762    66487   192349 |        1    31972     65 |  0.000 % |
47.19/47.22	c |    192780 |     762    66487   192349 |        1    33202     66 |  0.000 % |
47.19/47.22	c |    200173 |     762    66487   192349 |        1    40595     69 |  0.000 % |
47.19/47.22	c |    206199 |     762    66487   192349 |        1    46621     71 |  0.000 % |
47.19/47.22	c |    222994 |     762    66487   192349 |        1    33413     64 |  0.000 % |
47.19/47.22	c |    230930 |     762    66487   192349 |        1    41349     66 |  0.000 % |
47.19/47.22	c |    231984 |     762    66487   192349 |        1    42403     67 |  0.000 % |
47.19/47.22	c |    263711 |     762    66487   192349 |        1    41537     66 |  0.000 % |
47.19/47.22	c |    269972 |     762    66487   192349 |        1    47798     69 |  0.000 % |
47.19/47.22	c |    301027 |     762    66487   192349 |        1    43647     65 |  0.000 % |
47.19/47.22	c |    338940 |     762    66487   192349 |        1    43773     65 |  0.000 % |
47.19/47.22	c |    363379 |     762    66487   192349 |        1    68212     69 |  0.000 % |
47.19/47.22	c |    363734 |     762    66487   192349 |        1    68567     69 |  0.000 % |
47.19/47.22	c |    363837 |     762    66487   192349 |        1    68670     69 |  0.000 % |
47.19/47.22	c |    365210 |     762    66487   192349 |        1    70043     70 |  0.000 % |
47.19/47.22	c |    365313 |     762    66487   192349 |        1    70146     70 |  0.000 % |
47.19/47.22	c |    365413 |     762    66487   192349 |        1    70246     70 |  0.000 % |
47.19/47.22	c |    365515 |     762    66487   192349 |        1    70348     70 |  0.000 % |
47.19/47.22	c |    365615 |     762    66487   192349 |        1    70448     70 |  0.000 % |
47.19/47.22	c |    365918 |     762    66487   192349 |        1    70751     70 |  0.000 % |
190.49/190.58	c |    366145 |     762    66487   192349 |        1    70978     70 |  0.000 % |
190.49/190.58	c |    366248 |     762    66487   192349 |        1    71081     70 |  0.000 % |
190.49/190.58	c |    369878 |     762    66487   192349 |        1    74711     71 |  0.000 % |
190.49/190.58	c |    371838 |     762    66487   192349 |        1    76671     71 |  0.000 % |
190.49/190.58	c |    378652 |     762    66487   192349 |        1    43076     62 |  0.000 % |
190.49/190.58	c |    383411 |     762    66487   192349 |        1    47835     63 |  0.000 % |
190.49/190.58	c |    385038 |     762    66487   192349 |        1    49462     64 |  0.000 % |
190.49/190.58	c |    385138 |     762    66487   192349 |        1    49562     64 |  0.000 % |
190.49/190.58	c |    388398 |     762    66487   192349 |        1    52822     64 |  0.000 % |
190.49/190.58	c |    389556 |     762    66487   192349 |        1    53980     65 |  0.000 % |
190.49/190.58	c |    391554 |     762    66487   192349 |        1    55978     65 |  0.000 % |
190.49/190.58	c |    421309 |     762    66487   192349 |        1    85733     68 |  0.000 % |
190.49/190.58	c |    934255 |     758    66470   191895 |        1   109246     77 |  0.525 % |
190.49/190.58	c |    934355 |     758    66453   191464 |        1   102062     80 |  0.525 % |
190.49/190.58	c |    934481 |     758    66453   191464 |        1   102188     80 |  0.525 % |
190.49/190.58	c |    934581 |     758    66453   191464 |        1   102288     80 |  0.525 % |
190.49/190.58	c |    934683 |     758    66453   191464 |        1   102390     80 |  0.525 % |
190.49/190.58	c |    934783 |     758    66453   191464 |        1   102490     80 |  0.525 % |
190.49/190.58	c |    934883 |     758    66453   191464 |        1   102590     80 |  0.525 % |
190.49/190.58	c |    934983 |     758    66453   191464 |        1   102690     80 |  0.525 % |
190.49/190.58	c |    935085 |     758    66453   191464 |        1   102792     80 |  0.525 % |
190.49/190.58	c |    935187 |     758    66453   191464 |        1   102894     80 |  0.525 % |
190.49/190.58	c |    935287 |     758    66453   191464 |        1   102994     80 |  0.525 % |
190.49/190.58	c |    935387 |     758    66453   191464 |        1   103094     80 |  0.525 % |
190.49/190.58	c |    935488 |     758    66453   191464 |        1   103195     80 |  0.525 % |
190.49/190.58	c |    935588 |     758    66453   191464 |        1   103295     80 |  0.525 % |
190.49/190.58	c |    935690 |     758    66453   191464 |        1   103397     80 |  0.525 % |
190.49/190.58	c |    935792 |     758    66453   191464 |        1   103499     80 |  0.525 % |
190.49/190.58	c |    935892 |     758    66453   191464 |        1   103599     80 |  0.525 % |
190.49/190.58	c |    935992 |     758    66453   191464 |        1   103699     80 |  0.525 % |
190.49/190.58	c |    936094 |     758    66453   191464 |        1   103801     80 |  0.525 % |
190.49/190.58	c |    936336 |     758    66453   191464 |        1   104043     80 |  0.525 % |
190.49/190.58	c |    936436 |     758    66453   191464 |        1   104143     80 |  0.525 % |
190.49/190.58	c |    936537 |     758    66453   191464 |        1   104244     80 |  0.525 % |
190.49/190.58	c |    936637 |     758    66453   191464 |        1   104344     80 |  0.525 % |
190.49/190.58	c |    936737 |     758    66453   191464 |        1   104444     80 |  0.525 % |
190.49/190.58	c |    939823 |     758    66453   191464 |        1   107530     80 |  0.525 % |
190.49/190.58	c |    939924 |     758    66453   191464 |        1   107631     80 |  0.525 % |
190.49/190.58	c |    940194 |     758    66453   191464 |        1   107901     80 |  0.525 % |
190.49/190.58	c |    940295 |     758    66453   191464 |        1   108002     80 |  0.525 % |
190.49/190.58	c |    940395 |     758    66453   191464 |        1   108102     80 |  0.525 % |
190.49/190.58	c |    940576 |     758    66453   191464 |        1   108283     80 |  0.525 % |
190.49/190.58	c |    940782 |     758    66453   191464 |        1   108489     80 |  0.525 % |
190.49/190.58	c |    940883 |     758    66453   191464 |        1   108590     80 |  0.525 % |
190.49/190.58	c |    945372 |     758    66453   191464 |        1   113079     80 |  0.525 % |
190.49/190.58	c |    945472 |     758    66453   191464 |        1   113179     80 |  0.525 % |
190.49/190.58	c |    946830 |     758    66453   191464 |        1   114537     80 |  0.525 % |
190.49/190.58	c |    946931 |     758    66453   191464 |        1   114638     80 |  0.525 % |
190.49/190.58	c |    948238 |     758    66453   191464 |        1   115945     81 |  0.525 % |
190.49/190.58	c |    948340 |     758    66453   191464 |        1   116047     81 |  0.525 % |
200.10/200.15	c |    948582 |     758    66453   191464 |        1   116289     81 |  0.525 % |
200.10/200.15	c |    952103 |     758    66453   191464 |        1    61466     66 |  0.525 % |
200.10/200.15	c |    952204 |     758    66453   191464 |        1    61567     66 |  0.525 % |
200.10/200.15	c |    952409 |     758    66453   191464 |        1    61772     66 |  0.525 % |
200.10/200.15	c |    952509 |     758    66453   191464 |        1    61872     66 |  0.525 % |
200.10/200.15	c |    952610 |     758    66453   191464 |        1    61973     66 |  0.525 % |
200.10/200.15	c |    952711 |     758    66453   191464 |        1    62074     66 |  0.525 % |
200.10/200.15	c |    952811 |     758    66453   191464 |        1    62174     66 |  0.525 % |
200.10/200.15	c |    952944 |     758    66453   191464 |        1    62307     66 |  0.525 % |
200.10/200.15	c |    955801 |     758    66453   191464 |        1    65164     67 |  0.525 % |
200.10/200.15	c |    955903 |     758    66453   191464 |        1    65266     67 |  0.525 % |
200.10/200.15	c |    956006 |     758    66453   191464 |        1    65369     67 |  0.525 % |
200.10/200.15	c |    956106 |     758    66453   191464 |        1    65469     67 |  0.525 % |
200.10/200.15	c |    956206 |     758    66453   191464 |        1    65569     67 |  0.525 % |
200.10/200.15	c |    956796 |     758    66453   191464 |        1    66159     67 |  0.525 % |
200.10/200.15	c |    956896 |     758    66453   191464 |        1    66259     67 |  0.525 % |
200.10/200.15	c |    956996 |     758    66453   191464 |        1    66359     67 |  0.525 % |
200.10/200.15	c |    957096 |     758    66453   191464 |        1    66459     67 |  0.525 % |
200.10/200.15	c |    957469 |     758    66453   191464 |        1    66832     67 |  0.525 % |
200.10/200.15	c |    961168 |     758    66453   191464 |        1    70531     68 |  0.525 % |
200.10/200.15	c |    961271 |     758    66453   191464 |        1    70634     68 |  0.525 % |
200.10/200.15	c |    961371 |     758    66453   191464 |        1    70734     68 |  0.525 % |
200.10/200.15	c |    961471 |     758    66453   191464 |        1    70834     68 |  0.525 % |
200.10/200.15	c |    961572 |     758    66453   191464 |        1    70935     68 |  0.525 % |
200.10/200.15	c |    961672 |     758    66453   191464 |        1    71035     68 |  0.525 % |
200.10/200.15	c |    961773 |     758    66453   191464 |        1    71136     68 |  0.525 % |
200.10/200.15	c |    961874 |     758    66453   191464 |        1    71237     68 |  0.525 % |
200.10/200.15	c |    961977 |     758    66453   191464 |        1    71340     68 |  0.525 % |
200.10/200.15	c |    962078 |     758    66453   191464 |        1    71441     68 |  0.525 % |
200.10/200.15	c |    963256 |     758    66453   191464 |        1    72619     69 |  0.525 % |
200.10/200.15	c |    963357 |     758    66453   191464 |        1    72720     69 |  0.525 % |
200.10/200.15	c |    963458 |     758    66453   191464 |        1    72821     69 |  0.525 % |
200.10/200.15	c |    963559 |     758    66453   191464 |        1    72922     69 |  0.525 % |
200.10/200.15	c |    963660 |     758    66453   191464 |        1    73023     69 |  0.525 % |
200.10/200.15	c |    964122 |     758    66453   191464 |        1    73485     69 |  0.525 % |
200.10/200.15	c |    968535 |     758    66453   191464 |        1    77898     70 |  0.525 % |
200.10/200.15	c |    969145 |     758    66453   191464 |        1    78508     70 |  0.525 % |
200.10/200.15	c |    974787 |     758    66453   191464 |        1    84150     71 |  0.525 % |
200.10/200.15	c |    975856 |     758    66453   191464 |        1    85219     72 |  0.525 % |
200.10/200.15	c |    975957 |     758    66453   191464 |        1    85320     72 |  0.525 % |
200.10/200.15	c |    976142 |     758    66453   191464 |        1    85505     72 |  0.525 % |
200.10/200.15	c |    976244 |     758    66453   191464 |        1    85607     72 |  0.525 % |
200.10/200.15	c |    976390 |     758    66453   191464 |        1    85753     72 |  0.525 % |
200.10/200.15	c |    977053 |     758    66453   191464 |        1    86416     72 |  0.525 % |
200.10/200.15	c |    978007 |     758    66453   191464 |        1    87370     72 |  0.525 % |
200.10/200.15	c |    978239 |     758    66453   191464 |        1    87602     72 |  0.525 % |
200.10/200.15	c |    979579 |     758    66453   191464 |        1    88942     73 |  0.525 % |
200.10/200.15	c |    979679 |     758    66453   191464 |        1    89042     73 |  0.525 % |
200.10/200.15	c |    979780 |     758    66453   191464 |        1    89143     73 |  0.525 % |
200.10/200.15	c |    980643 |     758    66453   191464 |        1    90006     73 |  0.525 % |
207.80/207.82	c |    980744 |     758    66453   191464 |        1    90107     73 |  0.525 % |
207.80/207.82	c |    980845 |     758    66453   191464 |        1    90208     73 |  0.525 % |
207.80/207.82	c |    980947 |     758    66453   191464 |        1    90310     73 |  0.525 % |
207.80/207.82	c |    981269 |     758    66453   191464 |        1    90632     73 |  0.525 % |
207.80/207.82	c |    981370 |     758    66453   191464 |        1    90733     73 |  0.525 % |
207.80/207.82	c |    981471 |     758    66453   191464 |        1    90834     73 |  0.525 % |
207.80/207.82	c |    981681 |     758    66453   191464 |        1    91044     74 |  0.525 % |
207.80/207.82	c |    981781 |     758    66453   191464 |        1    91144     74 |  0.525 % |
207.80/207.82	c |    981881 |     758    66453   191464 |        1    91244     74 |  0.525 % |
207.80/207.82	c |    981982 |     758    66453   191464 |        1    91345     74 |  0.525 % |
207.80/207.82	c |    983955 |     758    66453   191464 |        1    93318     74 |  0.525 % |
207.80/207.82	c |    984057 |     758    66453   191464 |        1    93420     74 |  0.525 % |
207.80/207.82	c |    984158 |     758    66453   191464 |        1    93521     74 |  0.525 % |
207.80/207.82	c |    986225 |     758    66453   191464 |        1    95588     75 |  0.525 % |
207.80/207.82	c |    986326 |     758    66453   191464 |        1    95689     75 |  0.525 % |
207.80/207.82	c |    986429 |     758    66453   191464 |        1    95792     75 |  0.525 % |
207.80/207.82	c |    986532 |     758    66453   191464 |        1    95895     75 |  0.525 % |
207.80/207.82	c |    991933 |     758    66453   191464 |        1   101296     75 |  0.525 % |
207.80/207.82	c |    992033 |     758    66453   191464 |        1   101396     75 |  0.525 % |
207.80/207.82	c |    992208 |     758    66453   191464 |        1   101571     75 |  0.525 % |
207.80/207.82	c |    992309 |     758    66453   191464 |        1   101672     75 |  0.525 % |
207.80/207.82	c |    992409 |     758    66453   191464 |        1   101772     75 |  0.525 % |
207.80/207.82	c |    992510 |     758    66453   191464 |        1   101873     75 |  0.525 % |
207.80/207.82	c |    992612 |     758    66453   191464 |        1   101975     75 |  0.525 % |
207.80/207.82	c |    992712 |     758    66453   191464 |        1   102075     75 |  0.525 % |
207.80/207.82	c |    992812 |     758    66453   191464 |        1   102175     75 |  0.525 % |
207.80/207.82	c |    992912 |     758    66453   191464 |        1   102275     75 |  0.525 % |
207.80/207.82	c |    993012 |     758    66453   191464 |        1   102375     75 |  0.525 % |
207.80/207.82	c |    993113 |     758    66453   191464 |        1   102476     75 |  0.525 % |
207.80/207.82	c |    993214 |     758    66453   191464 |        1   102577     75 |  0.525 % |
207.80/207.82	c |    993314 |     758    66453   191464 |        1   102677     75 |  0.525 % |
207.80/207.82	c |    993415 |     758    66453   191464 |        1   102778     75 |  0.525 % |
207.80/207.82	c |    993516 |     758    66453   191464 |        1   102879     76 |  0.525 % |
207.80/207.82	c |    996233 |     758    66453   191464 |        1   105596     76 |  0.525 % |
207.80/207.82	c |    996356 |     758    66453   191464 |        1   105719     76 |  0.525 % |
207.80/207.82	c |    996466 |     758    66453   191464 |        1   105829     76 |  0.525 % |
207.80/207.82	c |    996568 |     758    66453   191464 |        1   105931     76 |  0.525 % |
207.80/207.82	c |    996707 |     758    66453   191464 |        1   106070     76 |  0.525 % |
207.80/207.82	c |    996809 |     758    66453   191464 |        1   106172     76 |  0.525 % |
207.80/207.82	c |    996910 |     758    66453   191464 |        1   106273     76 |  0.525 % |
207.80/207.82	c |    997010 |     758    66453   191464 |        1   106373     76 |  0.525 % |
207.80/207.82	c |    997110 |     758    66453   191464 |        1   106473     76 |  0.525 % |
207.80/207.82	c |    997211 |     758    66453   191464 |        1   106574     76 |  0.525 % |
207.80/207.82	c |    997313 |     758    66453   191464 |        1   106676     76 |  0.525 % |
207.80/207.82	c |    997415 |     758    66453   191464 |        1   106778     76 |  0.525 % |
207.80/207.82	c |    997516 |     758    66453   191464 |        1   106879     76 |  0.525 % |
207.80/207.82	c |    997617 |     758    66453   191464 |        1   106980     76 |  0.525 % |
207.80/207.82	c |    997718 |     758    66453   191464 |        1   107081     76 |  0.525 % |
207.80/207.82	c |    997818 |     758    66453   191464 |        1   107181     76 |  0.525 % |
207.80/207.82	c |    997923 |     758    66453   191464 |        1   107286     76 |  0.525 % |
219.08/219.15	c |    998023 |     758    66453   191464 |        1   107386     76 |  0.525 % |
219.08/219.15	c |    998126 |     758    66453   191464 |        1   107489     76 |  0.525 % |
219.08/219.15	c |    998230 |     758    66453   191464 |        1   107593     76 |  0.525 % |
219.08/219.15	c |    998331 |     758    66453   191464 |        1   107694     76 |  0.525 % |
219.08/219.15	c |    998434 |     758    66453   191464 |        1   107797     76 |  0.525 % |
219.08/219.15	c |    998537 |     758    66453   191464 |        1   107900     76 |  0.525 % |
219.08/219.15	c |    998638 |     758    66453   191464 |        1   108001     76 |  0.525 % |
219.08/219.15	c |    998738 |     758    66453   191464 |        1   108101     76 |  0.525 % |
219.08/219.15	c |    998842 |     758    66453   191464 |        1   108205     77 |  0.525 % |
219.08/219.15	c |    998943 |     758    66453   191464 |        1   108306     77 |  0.525 % |
219.08/219.15	c |    999045 |     758    66453   191464 |        1   108408     77 |  0.525 % |
219.08/219.15	c |    999145 |     758    66453   191464 |        1   108508     77 |  0.525 % |
219.08/219.15	c |    999246 |     758    66453   191464 |        1   108609     77 |  0.525 % |
219.08/219.15	c |    999346 |     758    66453   191464 |        1   108709     77 |  0.525 % |
219.08/219.15	c |    999446 |     758    66453   191464 |        1   108809     77 |  0.525 % |
219.08/219.15	c |    999547 |     758    66453   191464 |        1   108910     77 |  0.525 % |
219.08/219.15	c |   1000397 |     758    66453   191464 |        1   109760     77 |  0.525 % |
219.08/219.15	c |   1000498 |     758    66453   191464 |        1   109861     77 |  0.525 % |
219.08/219.15	c |   1000599 |     758    66453   191464 |        1   109962     77 |  0.525 % |
219.08/219.15	c |   1001311 |     758    66453   191464 |        1   110674     77 |  0.525 % |
219.08/219.15	c |   1006732 |     758    66453   191464 |        1   116095     78 |  0.525 % |
219.08/219.15	c |   1006834 |     758    66453   191464 |        1   116197     78 |  0.525 % |
219.08/219.15	c |   1006938 |     758    66453   191464 |        1   116301     78 |  0.525 % |
219.08/219.15	c |   1007041 |     758    66453   191464 |        1   116404     78 |  0.525 % |
219.08/219.15	c |   1007141 |     758    66453   191464 |        1   116504     78 |  0.525 % |
219.08/219.15	c |   1007244 |     758    66453   191464 |        1   116607     78 |  0.525 % |
219.08/219.15	c |   1007367 |     758    66453   191464 |        1   116730     78 |  0.525 % |
219.08/219.15	c |   1009971 |     758    66453   191464 |        1   119334     78 |  0.525 % |
219.08/219.15	c |   1010072 |     758    66453   191464 |        1   119435     78 |  0.525 % |
219.08/219.15	c |   1012475 |     758    66453   191464 |        1   121838     79 |  0.525 % |
219.08/219.15	c |   1013125 |     758    66453   191464 |        1   122488     79 |  0.525 % |
219.08/219.15	c |   1013229 |     758    66453   191464 |        1   122592     79 |  0.525 % |
219.08/219.15	c |   1013329 |     758    66453   191464 |        1   122692     79 |  0.525 % |
219.08/219.15	c |   1013431 |     758    66453   191464 |        1   122794     79 |  0.525 % |
219.08/219.15	c |   1013531 |     758    66453   191464 |        1   122894     79 |  0.525 % |
219.08/219.15	c |   1013633 |     758    66453   191464 |        1   122996     79 |  0.525 % |
219.08/219.15	c |   1013733 |     758    66453   191464 |        1   123096     79 |  0.525 % |
219.08/219.15	c |   1013834 |     758    66453   191464 |        1   123197     79 |  0.525 % |
219.08/219.15	c |   1013939 |     758    66453   191464 |        1   123302     79 |  0.525 % |
219.08/219.15	c |   1014039 |     758    66453   191464 |        1   123402     79 |  0.525 % |
219.08/219.15	c |   1014139 |     758    66453   191464 |        1   123502     79 |  0.525 % |
219.08/219.15	c |   1014266 |     758    66453   191464 |        1   123629     79 |  0.525 % |
219.08/219.15	c |   1015243 |     758    66453   191464 |        1   124606     79 |  0.525 % |
219.08/219.15	c |   1016177 |     758    66453   191464 |        1   125540     79 |  0.525 % |
219.08/219.15	c |   1018110 |     758    66453   191464 |        1   127473     79 |  0.525 % |
219.08/219.15	c |   1019352 |     758    66453   191464 |        1   128715     79 |  0.525 % |
219.08/219.15	c |   1019453 |     758    66453   191464 |        1   128816     79 |  0.525 % |
219.08/219.15	c |   1019553 |     758    66453   191464 |        1   128916     79 |  0.525 % |
219.08/219.15	c |   1019653 |     758    66453   191464 |        1   129016     79 |  0.525 % |
219.08/219.15	c |   1019753 |     758    66453   191464 |        1   129116     79 |  0.525 % |
240.09/240.17	c |   1019853 |     758    66453   191464 |        1   129216     79 |  0.525 % |
240.09/240.17	c |   1019954 |     758    66453   191464 |        1   129317     79 |  0.525 % |
240.09/240.17	c |   1020054 |     758    66453   191464 |        1   129417     79 |  0.525 % |
240.09/240.17	c |   1020155 |     758    66453   191464 |        1   129518     79 |  0.525 % |
240.09/240.17	c |   1020257 |     758    66453   191464 |        1   129620     79 |  0.525 % |
240.09/240.17	c |   1020358 |     758    66453   191464 |        1   129721     79 |  0.525 % |
240.09/240.17	c |   1023510 |     758    66453   191464 |        1    67893     66 |  0.525 % |
240.09/240.17	c |   1024461 |     758    66453   191464 |        1    68844     66 |  0.525 % |
240.09/240.17	c |   1024562 |     758    66453   191464 |        1    68945     66 |  0.525 % |
240.09/240.17	c |   1024797 |     758    66453   191464 |        1    69180     66 |  0.525 % |
240.09/240.17	c |   1024897 |     758    66453   191464 |        1    69280     66 |  0.525 % |
240.09/240.17	c |   1025032 |     758    66453   191464 |        1    69415     66 |  0.525 % |
240.09/240.17	c |   1025132 |     758    66453   191464 |        1    69515     66 |  0.525 % |
240.09/240.17	c |   1027715 |     758    66453   191464 |        1    72098     67 |  0.525 % |
240.09/240.17	c |   1027816 |     758    66453   191464 |        1    72199     67 |  0.525 % |
240.09/240.17	c |   1027916 |     758    66453   191464 |        1    72299     67 |  0.525 % |
240.09/240.17	c |   1029184 |     758    66453   191464 |        1    73567     67 |  0.525 % |
240.09/240.17	c |   1029284 |     758    66453   191464 |        1    73667     68 |  0.525 % |
240.09/240.17	c |   1029384 |     758    66453   191464 |        1    73767     68 |  0.525 % |
240.09/240.17	c |   1029484 |     758    66453   191464 |        1    73867     68 |  0.525 % |
240.09/240.17	c |   1029586 |     758    66453   191464 |        1    73969     68 |  0.525 % |
240.09/240.17	c |   1029691 |     758    66453   191464 |        1    74074     68 |  0.525 % |
240.09/240.17	c |   1031081 |     758    66453   191464 |        1    75464     68 |  0.525 % |
240.09/240.17	c |   1031289 |     758    66453   191464 |        1    75672     68 |  0.525 % |
240.09/240.17	c |   1031389 |     758    66453   191464 |        1    75772     69 |  0.525 % |
240.09/240.17	c |   1031490 |     758    66453   191464 |        1    75873     69 |  0.525 % |
240.09/240.17	c |   1031663 |     758    66453   191464 |        1    76046     69 |  0.525 % |
240.09/240.17	c |   1033040 |     758    66453   191464 |        1    77423     69 |  0.525 % |
240.09/240.17	c |   1033141 |     758    66453   191464 |        1    77524     69 |  0.525 % |
240.09/240.17	c |   1036803 |     758    66453   191464 |        1    81186     71 |  0.525 % |
240.09/240.17	c |   1036904 |     758    66453   191464 |        1    81287     71 |  0.525 % |
240.09/240.17	c |   1037004 |     758    66453   191464 |        1    81387     71 |  0.525 % |
240.09/240.17	c |   1037668 |     758    66453   191464 |        1    82051     71 |  0.525 % |
240.09/240.17	c |   1038024 |     758    66453   191464 |        1    82407     71 |  0.525 % |
240.09/240.17	c |   1079182 |     758    66453   191464 |        1   123565     77 |  0.525 % |
240.09/240.17	c |   1079283 |     758    66453   191464 |        1   123666     77 |  0.525 % |
240.09/240.17	c |   1079384 |     758    66453   191464 |        1   123767     77 |  0.525 % |
240.09/240.17	c |   1079484 |     758    66453   191464 |        1   123867     77 |  0.525 % |
240.09/240.17	c |   1079584 |     758    66453   191464 |        1   123967     77 |  0.525 % |
240.09/240.17	c |   1079686 |     758    66453   191464 |        1   124069     77 |  0.525 % |
240.09/240.17	c |   1079787 |     758    66453   191464 |        1   124170     77 |  0.525 % |
240.09/240.17	c |   1079888 |     758    66453   191464 |        1   124271     77 |  0.525 % |
240.09/240.17	c |   1079990 |     758    66453   191464 |        1   124373     77 |  0.525 % |
240.09/240.17	c |   1080090 |     758    66453   191464 |        1   124473     77 |  0.525 % |
240.09/240.17	c |   1081087 |     758    66453   191464 |        1   125470     77 |  0.525 % |
240.09/240.17	c |   1081187 |     758    66453   191464 |        1   125570     77 |  0.525 % |
240.09/240.17	c |   1081288 |     758    66453   191464 |        1   125671     77 |  0.525 % |
240.09/240.17	c |   1082557 |     758    66453   191464 |        1   126940     77 |  0.525 % |
240.09/240.17	c |   1082658 |     758    66453   191464 |        1   127041     77 |  0.525 % |
240.09/240.17	c |   1082814 |     758    66453   191464 |        1   127197     77 |  0.525 % |
251.80/251.85	c |   1086438 |     758    66453   191464 |        1   130821     77 |  0.525 % |
251.80/251.85	c |   1086538 |     758    66453   191464 |        1   130921     77 |  0.525 % |
251.80/251.85	c |   1089044 |     758    66453   191464 |        1   133427     77 |  0.525 % |
251.80/251.85	c |   1089144 |     758    66453   191464 |        1   133527     77 |  0.525 % |
251.80/251.85	c |   1089248 |     758    66453   191464 |        1   133631     77 |  0.525 % |
251.80/251.85	c |   1089349 |     758    66453   191464 |        1   133732     77 |  0.525 % |
251.80/251.85	c |   1089449 |     758    66453   191464 |        1   133832     77 |  0.525 % |
251.80/251.85	c |   1089549 |     758    66453   191464 |        1   133932     77 |  0.525 % |
251.80/251.85	c |   1089651 |     758    66453   191464 |        1   134034     77 |  0.525 % |
251.80/251.85	c |   1089751 |     758    66453   191464 |        1   134134     77 |  0.525 % |
251.80/251.85	c |   1089853 |     758    66453   191464 |        1   134236     77 |  0.525 % |
251.80/251.85	c |   1090654 |     758    66453   191464 |        1   135037     77 |  0.525 % |
251.80/251.85	c |   1090759 |     758    66453   191464 |        1   135142     77 |  0.525 % |
251.80/251.85	c |   1094332 |     758    66453   191464 |        1   138715     77 |  0.525 % |
251.80/251.85	c |   1094436 |     758    66453   191464 |        1   138819     77 |  0.525 % |
251.80/251.85	c |   1094539 |     758    66453   191464 |        1   138922     77 |  0.525 % |
251.80/251.85	c |   1094639 |     758    66453   191464 |        1   139022     77 |  0.525 % |
251.80/251.85	c |   1094741 |     758    66453   191464 |        1   139124     78 |  0.525 % |
251.80/251.85	c |   1094841 |     758    66453   191464 |        1    69646     64 |  0.525 % |
251.80/251.85	c |   1094941 |     758    66453   191464 |        1    69746     64 |  0.525 % |
251.80/251.85	c |   1095043 |     758    66453   191464 |        1    69848     64 |  0.525 % |
251.80/251.85	c |   1095144 |     758    66453   191464 |        1    69949     65 |  0.525 % |
251.80/251.85	c |   1095245 |     758    66453   191464 |        1    70050     65 |  0.525 % |
251.80/251.85	c |   1095898 |     758    66453   191464 |        1    70703     65 |  0.525 % |
251.80/251.85	c |   1095998 |     758    66453   191464 |        1    70803     65 |  0.525 % |
251.80/251.85	c |   1096098 |     758    66453   191464 |        1    70903     65 |  0.525 % |
251.80/251.85	c |   1096199 |     758    66453   191464 |        1    71004     65 |  0.525 % |
251.80/251.85	c |   1097132 |     758    66453   191464 |        1    71937     65 |  0.525 % |
251.80/251.85	c |   1097233 |     758    66453   191464 |        1    72038     65 |  0.525 % |
251.80/251.85	c |   1097693 |     758    66453   191464 |        1    72498     66 |  0.525 % |
251.80/251.85	c |   1097794 |     758    66453   191464 |        1    72599     66 |  0.525 % |
251.80/251.85	c |   1097925 |     758    66453   191464 |        1    72730     66 |  0.525 % |
251.80/251.85	c |   1101846 |     758    66453   191464 |        1    76651     66 |  0.525 % |
251.80/251.85	c |   1101948 |     758    66453   191464 |        1    76753     66 |  0.525 % |
251.80/251.85	c |   1104880 |     758    66453   191464 |        1    79685     67 |  0.525 % |
251.80/251.85	c |   1104983 |     758    66453   191464 |        1    79788     67 |  0.525 % |
251.80/251.85	c |   1105435 |     758    66453   191464 |        1    80240     67 |  0.525 % |
251.80/251.85	c |   1105853 |     758    66453   191464 |        1    80658     67 |  0.525 % |
251.80/251.85	c |   1107906 |     758    66453   191464 |        1    82711     68 |  0.525 % |
251.80/251.85	c |   1108006 |     758    66453   191464 |        1    82811     68 |  0.525 % |
251.80/251.85	c |   1108106 |     758    66453   191464 |        1    82911     68 |  0.525 % |
251.80/251.85	c |   1108519 |     758    66453   191464 |        1    83324     68 |  0.525 % |
251.80/251.85	c |   1108620 |     758    66453   191464 |        1    83425     68 |  0.525 % |
251.80/251.85	c |   1108721 |     758    66453   191464 |        1    83526     68 |  0.525 % |
251.80/251.85	c |   1108821 |     758    66453   191464 |        1    83626     68 |  0.525 % |
251.80/251.85	c |   1108923 |     758    66453   191464 |        1    83728     68 |  0.525 % |
251.80/251.85	c |   1109023 |     758    66453   191464 |        1    83828     68 |  0.525 % |
251.80/251.85	c |   1109124 |     758    66453   191464 |        1    83929     68 |  0.525 % |
251.80/251.85	c |   1109224 |     758    66453   191464 |        1    84029     68 |  0.525 % |
266.48/266.58	c |   1109324 |     758    66453   191464 |        1    84129     68 |  0.525 % |
266.48/266.58	c |   1109427 |     758    66453   191464 |        1    84232     68 |  0.525 % |
266.48/266.58	c |   1109527 |     758    66453   191464 |        1    84332     68 |  0.525 % |
266.48/266.58	c |   1109627 |     758    66453   191464 |        1    84432     68 |  0.525 % |
266.48/266.58	c |   1109728 |     758    66453   191464 |        1    84533     68 |  0.525 % |
266.48/266.58	c |   1109829 |     758    66453   191464 |        1    84634     68 |  0.525 % |
266.48/266.58	c |   1109930 |     758    66453   191464 |        1    84735     68 |  0.525 % |
266.48/266.58	c |   1110030 |     758    66453   191464 |        1    84835     68 |  0.525 % |
266.48/266.58	c |   1110131 |     758    66453   191464 |        1    84936     68 |  0.525 % |
266.48/266.58	c |   1110283 |     758    66453   191464 |        1    85088     68 |  0.525 % |
266.48/266.58	c |   1113484 |     758    66453   191464 |        1    88289     69 |  0.525 % |
266.48/266.58	c |   1113584 |     758    66453   191464 |        1    88389     69 |  0.525 % |
266.48/266.58	c |   1114932 |     758    66453   191464 |        1    89737     69 |  0.525 % |
266.48/266.58	c |   1115032 |     758    66453   191464 |        1    89837     69 |  0.525 % |
266.48/266.58	c |   1116704 |     758    66453   191464 |        1    91509     70 |  0.525 % |
266.48/266.58	c |   1117054 |     758    66453   191464 |        1    91859     70 |  0.525 % |
266.48/266.58	c |   1118784 |     758    66453   191464 |        1    93589     70 |  0.525 % |
266.48/266.58	c |   1118886 |     758    66453   191464 |        1    93691     70 |  0.525 % |
266.48/266.58	c |   1118986 |     758    66453   191464 |        1    93791     70 |  0.525 % |
266.48/266.58	c |   1119088 |     758    66453   191464 |        1    93893     70 |  0.525 % |
266.48/266.58	c |   1119188 |     758    66453   191464 |        1    93993     70 |  0.525 % |
266.48/266.58	c |   1119289 |     758    66453   191464 |        1    94094     70 |  0.525 % |
266.48/266.58	c |   1119389 |     758    66453   191464 |        1    94194     70 |  0.525 % |
266.48/266.58	c |   1119515 |     758    66453   191464 |        1    94320     70 |  0.525 % |
266.48/266.58	c |   1122811 |     758    66453   191464 |        1    97616     71 |  0.525 % |
266.48/266.58	c |   1122911 |     758    66453   191464 |        1    97716     71 |  0.525 % |
266.48/266.58	c |   1124456 |     758    66453   191464 |        1    99261     71 |  0.525 % |
266.48/266.58	c |   1124585 |     758    66453   191464 |        1    99390     71 |  0.525 % |
266.48/266.58	c |   1129061 |     758    66453   191464 |        1   103866     72 |  0.525 % |
266.48/266.58	c |   1132813 |     758    66453   191464 |        1   107618     72 |  0.525 % |
266.48/266.58	c |   1132916 |     758    66453   191464 |        1   107721     72 |  0.525 % |
266.48/266.58	c |   1133016 |     758    66453   191464 |        1   107821     72 |  0.525 % |
266.48/266.58	c |   1133116 |     758    66453   191464 |        1   107921     72 |  0.525 % |
266.48/266.58	c |   1133217 |     758    66453   191464 |        1   108022     72 |  0.525 % |
266.48/266.58	c |   1133491 |     758    66453   191464 |        1   108296     72 |  0.525 % |
266.48/266.58	c |   1133591 |     758    66453   191464 |        1   108396     72 |  0.525 % |
266.48/266.58	c |   1133693 |     758    66453   191464 |        1   108498     72 |  0.525 % |
266.48/266.58	c |   1133794 |     758    66453   191464 |        1   108599     72 |  0.525 % |
266.48/266.58	c |   1133895 |     758    66453   191464 |        1   108700     72 |  0.525 % |
266.48/266.58	c |   1137753 |     758    66453   191464 |        1   112558     73 |  0.525 % |
266.48/266.58	c |   1138416 |     758    66453   191464 |        1   113221     73 |  0.525 % |
266.48/266.58	c |   1138702 |     758    66453   191464 |        1   113507     73 |  0.525 % |
266.48/266.58	c |   1138802 |     758    66453   191464 |        1   113607     73 |  0.525 % |
266.48/266.58	c |   1138903 |     758    66453   191464 |        1   113708     73 |  0.525 % |
266.48/266.58	c |   1139006 |     758    66453   191464 |        1   113811     73 |  0.525 % |
266.48/266.58	c |   1139108 |     758    66453   191464 |        1   113913     73 |  0.525 % |
266.48/266.58	c |   1139209 |     758    66453   191464 |        1   114014     73 |  0.525 % |
266.48/266.58	c |   1139309 |     758    66453   191464 |        1   114114     73 |  0.525 % |
266.48/266.58	c |   1139411 |     758    66453   191464 |        1   114216     73 |  0.525 % |
266.48/266.58	c |   1143356 |     758    66453   191464 |        1   118161     74 |  0.525 % |
276.28/276.37	c |   1143457 |     758    66453   191464 |        1   118262     74 |  0.525 % |
276.28/276.37	c |   1143557 |     758    66453   191464 |        1   118362     74 |  0.525 % |
276.28/276.37	c |   1143658 |     758    66453   191464 |        1   118463     74 |  0.525 % |
276.28/276.37	c |   1145217 |     758    66453   191464 |        1   120022     74 |  0.525 % |
276.28/276.37	c |   1145852 |     758    66453   191464 |        1   120657     74 |  0.525 % |
276.28/276.37	c |   1147273 |     758    66453   191464 |        1   122078     74 |  0.525 % |
276.28/276.37	c |   1147373 |     758    66453   191464 |        1   122178     74 |  0.525 % |
276.28/276.37	c |   1147475 |     758    66453   191464 |        1   122280     74 |  0.525 % |
276.28/276.37	c |   1147576 |     758    66453   191464 |        1   122381     74 |  0.525 % |
276.28/276.37	c |   1147677 |     758    66453   191464 |        1   122482     74 |  0.525 % |
276.28/276.37	c |   1147777 |     758    66453   191464 |        1   122582     74 |  0.525 % |
276.28/276.37	c |   1148869 |     758    66453   191464 |        1   123674     75 |  0.525 % |
276.28/276.37	c |   1148970 |     758    66453   191464 |        1   123775     75 |  0.525 % |
276.28/276.37	c |   1151864 |     758    66453   191464 |        1   126669     75 |  0.525 % |
276.28/276.37	c |   1151965 |     758    66453   191464 |        1   126770     75 |  0.525 % |
276.28/276.37	c |   1152066 |     758    66453   191464 |        1   126871     75 |  0.525 % |
276.28/276.37	c |   1152168 |     758    66453   191464 |        1   126973     75 |  0.525 % |
276.28/276.37	c |   1152270 |     758    66453   191464 |        1   127075     75 |  0.525 % |
276.28/276.37	c |   1152370 |     758    66453   191464 |        1   127175     75 |  0.525 % |
276.28/276.37	c |   1153414 |     758    66453   191464 |        1   128219     75 |  0.525 % |
276.28/276.37	c |   1153515 |     758    66453   191464 |        1   128320     75 |  0.525 % |
276.28/276.37	c |   1153677 |     758    66453   191464 |        1   128482     75 |  0.525 % |
276.28/276.37	c |   1153777 |     758    66453   191464 |        1   128582     75 |  0.525 % |
276.28/276.37	c |   1155576 |     758    66453   191464 |        1   130381     75 |  0.525 % |
276.28/276.37	c |   1155678 |     758    66453   191464 |        1   130483     75 |  0.525 % |
276.28/276.37	c |   1155779 |     758    66453   191464 |        1   130584     75 |  0.525 % |
276.28/276.37	c |   1155880 |     758    66453   191464 |        1   130685     75 |  0.525 % |
276.28/276.37	c |   1157488 |     758    66453   191464 |        1   132293     76 |  0.525 % |
276.28/276.37	c |   1157590 |     758    66453   191464 |        1   132395     76 |  0.525 % |
276.28/276.37	c |   1158707 |     758    66453   191464 |        1   133512     76 |  0.525 % |
276.28/276.37	c |   1158969 |     758    66453   191464 |        1   133774     76 |  0.525 % |
276.28/276.37	c |   1159070 |     758    66453   191464 |        1   133875     76 |  0.525 % |
276.28/276.37	c |   1159173 |     758    66453   191464 |        1   133978     76 |  0.525 % |
276.28/276.37	c |   1159275 |     758    66453   191464 |        1   134080     76 |  0.525 % |
276.28/276.37	c |   1159375 |     758    66453   191464 |        1   134180     76 |  0.525 % |
276.28/276.37	c |   1159475 |     758    66453   191464 |        1   134280     76 |  0.525 % |
276.28/276.37	c |   1159576 |     758    66453   191464 |        1   134381     76 |  0.525 % |
276.28/276.37	c |   1159677 |     758    66453   191464 |        1   134482     76 |  0.525 % |
276.28/276.37	c |   1159778 |     758    66453   191464 |        1   134583     76 |  0.525 % |
276.28/276.37	c |   1159878 |     758    66453   191464 |        1   134683     76 |  0.525 % |
276.28/276.37	c |   1159978 |     758    66453   191464 |        1   134783     76 |  0.525 % |
276.28/276.37	c |   1160078 |     758    66453   191464 |        1   134883     76 |  0.525 % |
276.28/276.37	c |   1160179 |     758    66453   191464 |        1   134984     76 |  0.525 % |
276.28/276.37	c |   1160279 |     758    66453   191464 |        1   135084     76 |  0.525 % |
276.28/276.37	c |   1160381 |     758    66453   191464 |        1   135186     76 |  0.525 % |
276.28/276.37	c |   1160481 |     758    66453   191464 |        1   135286     76 |  0.525 % |
276.28/276.37	c |   1160581 |     758    66453   191464 |        1   135386     76 |  0.525 % |
276.28/276.37	c |   1160698 |     758    66453   191464 |        1   135503     76 |  0.525 % |
276.28/276.37	c |   1161018 |     758    66453   191464 |        1   135823     76 |  0.525 % |
276.28/276.37	c |   1161120 |     758    66453   191464 |        1   135925     76 |  0.525 % |
287.00/287.04	c |   1161223 |     758    66453   191464 |        1   136028     76 |  0.525 % |
287.00/287.04	c |   1163780 |     758    66453   191464 |        1   138585     76 |  0.525 % |
287.00/287.04	c |   1163883 |     758    66453   191464 |        1   138688     76 |  0.525 % |
287.00/287.04	c |   1163989 |     758    66453   191464 |        1   138794     76 |  0.525 % |
287.00/287.04	c |   1164091 |     758    66453   191464 |        1   138896     76 |  0.525 % |
287.00/287.04	c |   1165021 |     758    66453   191464 |        1   139826     76 |  0.525 % |
287.00/287.04	c |   1165450 |     758    66453   191464 |        1   140255     76 |  0.525 % |
287.00/287.04	c |   1165550 |     758    66453   191464 |        1   140355     76 |  0.525 % |
287.00/287.04	c |   1165653 |     758    66453   191464 |        1   140458     76 |  0.525 % |
287.00/287.04	c |   1165754 |     758    66453   191464 |        1   140559     76 |  0.525 % |
287.00/287.04	c |   1165855 |     758    66453   191464 |        1   140660     76 |  0.525 % |
287.00/287.04	c |   1165955 |     758    66453   191464 |        1   140760     76 |  0.525 % |
287.00/287.04	c |   1171235 |     758    66453   191464 |        1   146040     77 |  0.525 % |
287.00/287.04	c |   1171335 |     758    66453   191464 |        1   146140     77 |  0.525 % |
287.00/287.04	c |   1171435 |     758    66453   191464 |        1   146240     77 |  0.525 % |
287.00/287.04	c |   1171536 |     758    66453   191464 |        1   146341     77 |  0.525 % |
287.00/287.04	c |   1172583 |     758    66453   191464 |        1    74189     64 |  0.525 % |
287.00/287.04	c |   1172683 |     758    66453   191464 |        1    74289     64 |  0.525 % |
287.00/287.04	c |   1175099 |     758    66453   191464 |        1    76705     65 |  0.525 % |
287.00/287.04	c |   1175561 |     758    66453   191464 |        1    77167     66 |  0.525 % |
287.00/287.04	c |   1175661 |     758    66453   191464 |        1    77267     66 |  0.525 % |
287.00/287.04	c |   1175761 |     758    66453   191464 |        1    77367     66 |  0.525 % |
287.00/287.04	c |   1175865 |     758    66453   191464 |        1    77471     66 |  0.525 % |
287.00/287.04	c |   1175967 |     758    66453   191464 |        1    77573     66 |  0.525 % |
287.00/287.04	c |   1176069 |     758    66453   191464 |        1    77675     66 |  0.525 % |
287.00/287.04	c |   1176172 |     758    66453   191464 |        1    77778     66 |  0.525 % |
287.00/287.04	c |   1176272 |     758    66453   191464 |        1    77878     66 |  0.525 % |
287.00/287.04	c |   1176494 |     758    66453   191464 |        1    78100     66 |  0.525 % |
287.00/287.04	c |   1177013 |     758    66453   191464 |        1    78619     66 |  0.525 % |
287.00/287.04	c |   1177113 |     758    66453   191464 |        1    78719     66 |  0.525 % |
287.00/287.04	c |   1177215 |     758    66453   191464 |        1    78821     66 |  0.525 % |
287.00/287.04	c |   1179886 |     758    66453   191464 |        1    81492     67 |  0.525 % |
287.00/287.04	c |   1180131 |     758    66453   191464 |        1    81737     67 |  0.525 % |
287.00/287.04	c |   1180231 |     758    66453   191464 |        1    81837     67 |  0.525 % |
287.00/287.04	c |   1180331 |     758    66453   191464 |        1    81937     67 |  0.525 % |
287.00/287.04	c |   1180431 |     758    66453   191464 |        1    82037     67 |  0.525 % |
287.00/287.04	c |   1184760 |     758    66453   191464 |        1    86366     68 |  0.525 % |
287.00/287.04	c |   1184860 |     758    66453   191464 |        1    86466     68 |  0.525 % |
287.00/287.04	c |   1184961 |     758    66453   191464 |        1    86567     68 |  0.525 % |
287.00/287.04	c |   1185064 |     758    66453   191464 |        1    86670     68 |  0.525 % |
287.00/287.04	c |   1185314 |     758    66453   191464 |        1    86920     68 |  0.525 % |
287.00/287.04	c |   1185415 |     758    66453   191464 |        1    87021     68 |  0.525 % |
287.00/287.04	c |   1185516 |     758    66453   191464 |        1    87122     68 |  0.525 % |
287.00/287.04	c |   1185679 |     758    66453   191464 |        1    87285     68 |  0.525 % |
287.00/287.04	c |   1185779 |     758    66453   191464 |        1    87385     68 |  0.525 % |
287.00/287.04	c |   1186038 |     758    66453   191464 |        1    87644     68 |  0.525 % |
287.00/287.04	c |   1186138 |     758    66453   191464 |        1    87744     68 |  0.525 % |
287.00/287.04	c |   1186238 |     758    66453   191464 |        1    87844     68 |  0.525 % |
287.00/287.04	c |   1186339 |     758    66453   191464 |        1    87945     69 |  0.525 % |
287.00/287.04	c |   1186440 |     758    66453   191464 |        1    88046     69 |  0.525 % |
348.48/348.54	c |   1186541 |     758    66453   191464 |        1    88147     69 |  0.525 % |
348.48/348.54	c |   1186641 |     758    66453   191464 |        1    88247     69 |  0.525 % |
348.48/348.54	c |   1186743 |     758    66453   191464 |        1    88349     69 |  0.525 % |
348.48/348.54	c |   1187150 |     758    66453   191464 |        1    88756     69 |  0.525 % |
348.48/348.54	c |   1187317 |     758    66453   191464 |        1    88923     69 |  0.525 % |
348.48/348.54	c |   1187421 |     758    66453   191464 |        1    89027     69 |  0.525 % |
348.48/348.54	c |   1187786 |     758    66453   191464 |        1    89392     69 |  0.525 % |
348.48/348.54	c |   1187887 |     758    66453   191464 |        1    89493     69 |  0.525 % |
348.48/348.54	c |   1187988 |     758    66453   191464 |        1    89594     69 |  0.525 % |
348.48/348.54	c |   1188089 |     758    66453   191464 |        1    89695     69 |  0.525 % |
348.48/348.54	c |   1188189 |     758    66453   191464 |        1    89795     69 |  0.525 % |
348.48/348.54	c |   1190801 |     758    66453   191464 |        1    92407     69 |  0.525 % |
348.48/348.54	c |   1304251 |     758    66453   191464 |        1   129564     70 |  0.525 % |
348.48/348.54	c |   1304351 |     758    66453   191464 |        1   129664     70 |  0.525 % |
348.48/348.54	c |   1312210 |     758    66453   191464 |        1   137523     72 |  0.525 % |
348.48/348.54	c |   1312861 |     758    66453   191464 |        1   138174     72 |  0.525 % |
348.48/348.54	c |   1317268 |     758    66453   191464 |        1   142581     72 |  0.525 % |
348.48/348.54	c |   1317368 |     758    66453   191464 |        1   142681     72 |  0.525 % |
348.48/348.54	c |   1317468 |     758    66453   191464 |        1   142781     72 |  0.525 % |
348.48/348.54	c |   1320117 |     758    66453   191464 |        1   145430     73 |  0.525 % |
348.48/348.54	c |   1320218 |     758    66453   191464 |        1   145531     73 |  0.525 % |
348.48/348.54	c |   1329562 |     758    66453   191464 |        1   154875     73 |  0.525 % |
348.48/348.54	c |   1329740 |     758    66453   191464 |        1   155053     73 |  0.525 % |
348.48/348.54	c |   1329840 |     758    66453   191464 |        1   155153     73 |  0.525 % |
348.48/348.54	c |   1329942 |     758    66453   191464 |        1   155255     73 |  0.525 % |
348.48/348.54	c |   1330394 |     758    66453   191464 |        1   155707     73 |  0.525 % |
348.48/348.54	c |   1330498 |     758    66453   191464 |        1   155811     73 |  0.525 % |
348.48/348.54	c |   1332023 |     758    66453   191464 |        1   157336     74 |  0.525 % |
348.48/348.54	c |   1336013 |     758    66453   191464 |        1    82177     63 |  0.525 % |
348.48/348.54	c |   1336113 |     758    66453   191464 |        1    82277     63 |  0.525 % |
348.48/348.54	c |   1339164 |     758    66453   191464 |        1    85328     63 |  0.525 % |
348.48/348.54	c |   1343332 |     758    66453   191464 |        1    89496     65 |  0.525 % |
348.48/348.54	c |   1343432 |     758    66453   191464 |        1    89596     65 |  0.525 % |
348.48/348.54	c |   1343532 |     758    66453   191464 |        1    89696     65 |  0.525 % |
348.48/348.54	c |   1344114 |     758    66453   191464 |        1    90278     65 |  0.525 % |
348.48/348.54	c |   1344214 |     758    66453   191464 |        1    90378     65 |  0.525 % |
348.48/348.54	c |   1344315 |     758    66453   191464 |        1    90479     65 |  0.525 % |
348.48/348.54	c |   1344509 |     758    66453   191464 |        1    90673     65 |  0.525 % |
348.48/348.54	c |   1344610 |     758    66453   191464 |        1    90774     65 |  0.525 % |
348.48/348.54	c |   1344712 |     758    66453   191464 |        1    90876     65 |  0.525 % |
348.48/348.54	c |   1345229 |     758    66453   191464 |        1    91393     65 |  0.525 % |
348.48/348.54	c |   1345374 |     758    66453   191464 |        1    91538     65 |  0.525 % |
348.48/348.54	c |   1345475 |     758    66453   191464 |        1    91639     65 |  0.525 % |
348.48/348.54	c |   1345575 |     758    66453   191464 |        1    91739     65 |  0.525 % |
348.48/348.54	c |   1345676 |     758    66453   191464 |        1    91840     65 |  0.525 % |
348.48/348.54	c |   1347636 |     758    66453   191464 |        1    93800     66 |  0.525 % |
348.48/348.54	c |   1347738 |     758    66453   191464 |        1    93902     66 |  0.525 % |
348.48/348.54	c |   1350644 |     758    66453   191464 |        1    96808     67 |  0.525 % |
348.48/348.54	c |   1355419 |     758    66453   191464 |        1   101583     68 |  0.525 % |
348.48/348.54	c |   1355853 |     758    66453   191464 |        1   102017     68 |  0.525 % |
372.38/372.48	c |   1356523 |     758    66453   191464 |        1   102687     68 |  0.525 % |
372.38/372.48	c |   1365861 |     758    66453   191464 |        1   112025     69 |  0.525 % |
372.38/372.48	c |   1365961 |     758    66453   191464 |        1   112125     69 |  0.525 % |
372.38/372.48	c |   1366062 |     758    66453   191464 |        1   112226     69 |  0.525 % |
372.38/372.48	c |   1366782 |     758    66453   191464 |        1   112946     70 |  0.525 % |
372.38/372.48	c |   1366885 |     758    66453   191464 |        1   113049     70 |  0.525 % |
372.38/372.48	c |   1367048 |     758    66453   191464 |        1   113212     70 |  0.525 % |
372.38/372.48	c |   1367148 |     758    66453   191464 |        1   113312     70 |  0.525 % |
372.38/372.48	c |   1367366 |     758    66453   191464 |        1   113530     70 |  0.525 % |
372.38/372.48	c |   1368923 |     758    66453   191464 |        1   115087     70 |  0.525 % |
372.38/372.48	c |   1369557 |     758    66453   191464 |        1   115721     70 |  0.525 % |
372.38/372.48	c |   1369947 |     758    66453   191464 |        1   116111     70 |  0.525 % |
372.38/372.48	c |   1378602 |     758    66453   191464 |        1   124766     71 |  0.525 % |
372.38/372.48	c |   1384695 |     758    66453   191464 |        1   130859     71 |  0.525 % |
372.38/372.48	c |   1384798 |     758    66453   191464 |        1   130962     71 |  0.525 % |
372.38/372.48	c |   1384900 |     758    66453   191464 |        1   131064     71 |  0.525 % |
372.38/372.48	c |   1385003 |     758    66453   191464 |        1   131167     71 |  0.525 % |
372.38/372.48	c |   1385105 |     758    66453   191464 |        1   131269     71 |  0.525 % |
372.38/372.48	c |   1385205 |     758    66453   191464 |        1   131369     71 |  0.525 % |
372.38/372.48	c |   1385306 |     758    66453   191464 |        1   131470     71 |  0.525 % |
372.38/372.48	c |   1385411 |     758    66453   191464 |        1   131575     71 |  0.525 % |
372.38/372.48	c |   1385512 |     758    66453   191464 |        1   131676     71 |  0.525 % |
372.38/372.48	c |   1385612 |     758    66453   191464 |        1   131776     71 |  0.525 % |
372.38/372.48	c |   1389028 |     758    66453   191464 |        1   135192     72 |  0.525 % |
372.38/372.48	c |   1389129 |     758    66453   191464 |        1   135293     72 |  0.525 % |
372.38/372.48	c |   1389233 |     758    66453   191464 |        1   135397     72 |  0.525 % |
372.38/372.48	c |   1389340 |     758    66453   191464 |        1   135504     72 |  0.525 % |
372.38/372.48	c |   1389441 |     758    66453   191464 |        1   135605     72 |  0.525 % |
372.38/372.48	c |   1391417 |     758    66453   191464 |        1   137581     72 |  0.525 % |
372.38/372.48	c |   1391617 |     758    66453   191464 |        1   137781     72 |  0.525 % |
372.38/372.48	c |   1392615 |     758    66453   191464 |        1   138779     73 |  0.525 % |
372.38/372.48	c |   1392837 |     758    66453   191464 |        1   139001     73 |  0.525 % |
372.38/372.48	c |   1392938 |     758    66453   191464 |        1   139102     73 |  0.525 % |
372.38/372.48	c |   1393040 |     758    66453   191464 |        1   139204     73 |  0.525 % |
372.38/372.48	c |   1393142 |     758    66453   191464 |        1   139306     73 |  0.525 % |
372.38/372.48	c |   1393243 |     758    66453   191464 |        1   139407     73 |  0.525 % |
372.38/372.48	c |   1393345 |     758    66453   191464 |        1   139509     73 |  0.525 % |
372.38/372.48	c |   1393445 |     758    66453   191464 |        1   139609     73 |  0.525 % |
372.38/372.48	c |   1393546 |     758    66453   191464 |        1   139710     73 |  0.525 % |
372.38/372.48	c |   1398000 |     758    66453   191464 |        1   144164     73 |  0.525 % |
372.38/372.48	c |   1398737 |     758    66453   191464 |        1   144901     73 |  0.525 % |
372.38/372.48	c |   1405785 |     758    66453   191464 |        1   151949     74 |  0.525 % |
372.38/372.48	c |   1405885 |     758    66453   191464 |        1   152049     74 |  0.525 % |
372.38/372.48	c |   1405985 |     758    66453   191464 |        1   152149     74 |  0.525 % |
372.38/372.48	c |   1406085 |     758    66453   191464 |        1   152249     74 |  0.525 % |
372.38/372.48	c |   1406185 |     758    66453   191464 |        1   152349     74 |  0.525 % |
372.38/372.48	c |   1406286 |     758    66453   191464 |        1   152450     74 |  0.525 % |
372.38/372.48	c |   1406386 |     758    66453   191464 |        1   152550     74 |  0.525 % |
372.38/372.48	c |   1406487 |     758    66453   191464 |        1   152651     74 |  0.525 % |
372.38/372.48	c |   1406589 |     758    66453   191464 |        1   152753     74 |  0.525 % |
385.08/385.15	c |   1406843 |     758    66453   191464 |        1   153007     74 |  0.525 % |
385.08/385.15	c |   1408002 |     758    66453   191464 |        1   154166     74 |  0.525 % |
385.08/385.15	c |   1408136 |     758    66453   191464 |        1   154300     74 |  0.525 % |
385.08/385.15	c |   1409010 |     758    66453   191464 |        1   155174     74 |  0.525 % |
385.08/385.15	c |   1411474 |     758    66453   191464 |        1   157638     75 |  0.525 % |
385.08/385.15	c |   1412597 |     758    66453   191464 |        1   158761     75 |  0.525 % |
385.08/385.15	c |   1412697 |     758    66453   191464 |        1   158861     75 |  0.525 % |
385.08/385.15	c |   1412797 |     758    66453   191464 |        1   158961     75 |  0.525 % |
385.08/385.15	c |   1412898 |     758    66453   191464 |        1   159062     75 |  0.525 % |
385.08/385.15	c |   1412998 |     758    66453   191464 |        1   159162     75 |  0.525 % |
385.08/385.15	c |   1413100 |     758    66453   191464 |        1   159264     75 |  0.525 % |
385.08/385.15	c |   1413201 |     758    66453   191464 |        1   159365     75 |  0.525 % |
385.08/385.15	c |   1413301 |     758    66453   191464 |        1   159465     75 |  0.525 % |
385.08/385.15	c |   1413402 |     758    66453   191464 |        1   159566     75 |  0.525 % |
385.08/385.15	c |   1413503 |     758    66453   191464 |        1   159667     75 |  0.525 % |
385.08/385.15	c |   1413606 |     758    66453   191464 |        1   159770     75 |  0.525 % |
385.08/385.15	c |   1414945 |     758    66453   191464 |        1   161109     75 |  0.525 % |
385.08/385.15	c |   1420923 |     758    66453   191464 |        1    85217     61 |  0.525 % |
385.08/385.15	c |   1421025 |     758    66453   191464 |        1    85319     61 |  0.525 % |
385.08/385.15	c |   1423276 |     758    66453   191464 |        1    87570     62 |  0.525 % |
385.08/385.15	c |   1425655 |     758    66453   191464 |        1    89949     63 |  0.525 % |
385.08/385.15	c |   1425849 |     758    66453   191464 |        1    90143     63 |  0.525 % |
385.08/385.15	c |   1426623 |     758    66453   191464 |        1    90917     63 |  0.525 % |
385.08/385.15	c |   1426724 |     758    66453   191464 |        1    91018     63 |  0.525 % |
385.08/385.15	c |   1426824 |     758    66453   191464 |        1    91118     63 |  0.525 % |
385.08/385.15	c |   1427077 |     758    66453   191464 |        1    91371     63 |  0.525 % |
385.08/385.15	c |   1427393 |     758    66453   191464 |        1    91687     63 |  0.525 % |
385.08/385.15	c |   1427527 |     758    66453   191464 |        1    91821     64 |  0.525 % |
385.08/385.15	c |   1427627 |     758    66453   191464 |        1    91921     64 |  0.525 % |
385.08/385.15	c |   1427727 |     758    66453   191464 |        1    92021     64 |  0.525 % |
385.08/385.15	c |   1427829 |     758    66453   191464 |        1    92123     64 |  0.525 % |
385.08/385.15	c |   1430460 |     758    66453   191464 |        1    94754     64 |  0.525 % |
385.08/385.15	c |   1430560 |     758    66453   191464 |        1    94854     64 |  0.525 % |
385.08/385.15	c |   1430660 |     758    66453   191464 |        1    94954     64 |  0.525 % |
385.08/385.15	c |   1430808 |     758    66453   191464 |        1    95102     65 |  0.525 % |
385.08/385.15	c |   1430915 |     758    66453   191464 |        1    95209     65 |  0.525 % |
385.08/385.15	c |   1431016 |     758    66453   191464 |        1    95310     65 |  0.525 % |
385.08/385.15	c |   1431116 |     758    66453   191464 |        1    95410     65 |  0.525 % |
385.08/385.15	c |   1431217 |     758    66453   191464 |        1    95511     65 |  0.525 % |
385.08/385.15	c |   1431317 |     758    66453   191464 |        1    95611     65 |  0.525 % |
385.08/385.15	c |   1431460 |     758    66453   191464 |        1    95754     65 |  0.525 % |
385.08/385.15	c |   1431561 |     758    66453   191464 |        1    95855     65 |  0.525 % |
385.08/385.15	c |   1431661 |     758    66453   191464 |        1    95955     65 |  0.525 % |
385.08/385.15	c |   1431761 |     758    66453   191464 |        1    96055     65 |  0.525 % |
385.08/385.15	c |   1431861 |     758    66453   191464 |        1    96155     65 |  0.525 % |
385.08/385.15	c |   1431961 |     758    66453   191464 |        1    96255     65 |  0.525 % |
385.08/385.15	c |   1432061 |     758    66453   191464 |        1    96355     65 |  0.525 % |
385.08/385.15	c |   1433187 |     758    66453   191464 |        1    97481     65 |  0.525 % |
385.08/385.15	c |   1433289 |     758    66453   191464 |        1    97583     65 |  0.525 % |
385.08/385.15	c |   1433390 |     758    66453   191464 |        1    97684     65 |  0.525 % |
393.71/393.78	c |   1433490 |     758    66453   191464 |        1    97784     65 |  0.525 % |
393.71/393.78	c |   1433592 |     758    66453   191464 |        1    97886     65 |  0.525 % |
393.71/393.78	c |   1433692 |     758    66453   191464 |        1    97986     65 |  0.525 % |
393.71/393.78	c |   1433792 |     758    66453   191464 |        1    98086     65 |  0.525 % |
393.71/393.78	c |   1433892 |     758    66453   191464 |        1    98186     65 |  0.525 % |
393.71/393.78	c |   1433996 |     758    66453   191464 |        1    98290     65 |  0.525 % |
393.71/393.78	c |   1434900 |     758    66453   191464 |        1    99194     66 |  0.525 % |
393.71/393.78	c |   1435001 |     758    66453   191464 |        1    99295     66 |  0.525 % |
393.71/393.78	c |   1435255 |     758    66453   191464 |        1    99549     66 |  0.525 % |
393.71/393.78	c |   1435355 |     758    66453   191464 |        1    99649     66 |  0.525 % |
393.71/393.78	c |   1436327 |     758    66453   191464 |        1   100621     66 |  0.525 % |
393.71/393.78	c |   1436498 |     758    66453   191464 |        1   100792     66 |  0.525 % |
393.71/393.78	c |   1436600 |     758    66453   191464 |        1   100894     66 |  0.525 % |
393.71/393.78	c |   1436701 |     758    66453   191464 |        1   100995     66 |  0.525 % |
393.71/393.78	c |   1436802 |     758    66453   191464 |        1   101096     66 |  0.525 % |
393.71/393.78	c |   1436903 |     758    66453   191464 |        1   101197     66 |  0.525 % |
393.71/393.78	c |   1437003 |     758    66453   191464 |        1   101297     66 |  0.525 % |
393.71/393.78	c |   1437103 |     758    66453   191464 |        1   101397     66 |  0.525 % |
393.71/393.78	c |   1437203 |     758    66453   191464 |        1   101497     66 |  0.525 % |
393.71/393.78	c |   1437303 |     758    66453   191464 |        1   101597     66 |  0.525 % |
393.71/393.78	c |   1438271 |     758    66453   191464 |        1   102565     66 |  0.525 % |
393.71/393.78	c |   1438371 |     758    66453   191464 |        1   102665     66 |  0.525 % |
393.71/393.78	c |   1438474 |     758    66453   191464 |        1   102768     66 |  0.525 % |
393.71/393.78	c |   1438575 |     758    66453   191464 |        1   102869     66 |  0.525 % |
393.71/393.78	c |   1440935 |     758    66453   191464 |        1   105229     67 |  0.525 % |
393.71/393.78	c |   1441037 |     758    66453   191464 |        1   105331     67 |  0.525 % |
393.71/393.78	c |   1441137 |     758    66453   191464 |        1   105431     67 |  0.525 % |
393.71/393.78	c |   1441238 |     758    66453   191464 |        1   105532     67 |  0.525 % |
393.71/393.78	c |   1441339 |     758    66453   191464 |        1   105633     67 |  0.525 % |
393.71/393.78	c |   1445106 |     758    66453   191464 |        1   109400     68 |  0.525 % |
393.71/393.78	c |   1445209 |     758    66453   191464 |        1   109503     68 |  0.525 % |
393.71/393.78	c |   1445825 |     758    66453   191464 |        1   110119     68 |  0.525 % |
393.71/393.78	c |   1445926 |     758    66453   191464 |        1   110220     68 |  0.525 % |
393.71/393.78	c |   1447218 |     758    66453   191464 |        1   111512     68 |  0.525 % |
393.71/393.78	c |   1447318 |     758    66453   191464 |        1   111612     68 |  0.525 % |
393.71/393.78	c |   1447422 |     758    66453   191464 |        1   111716     68 |  0.525 % |
393.71/393.78	c |   1447522 |     758    66453   191464 |        1   111816     68 |  0.525 % |
393.71/393.78	c |   1447813 |     758    66453   191464 |        1   112107     68 |  0.525 % |
393.71/393.78	c |   1449477 |     758    66453   191464 |        1   113771     69 |  0.525 % |
393.71/393.78	c |   1451370 |     758    66453   191464 |        1   115664     69 |  0.525 % |
393.71/393.78	c |   1451471 |     758    66453   191464 |        1   115765     69 |  0.525 % |
393.71/393.78	c |   1451572 |     758    66453   191464 |        1   115866     69 |  0.525 % |
393.71/393.78	c |   1451672 |     758    66453   191464 |        1   115966     69 |  0.525 % |
393.71/393.78	c |   1451772 |     758    66453   191464 |        1   116066     69 |  0.525 % |
393.71/393.78	c |   1451875 |     758    66453   191464 |        1   116169     69 |  0.525 % |
393.71/393.78	c |   1451975 |     758    66453   191464 |        1   116269     69 |  0.525 % |
393.71/393.78	c |   1452075 |     758    66453   191464 |        1   116369     69 |  0.525 % |
393.71/393.78	c |   1452175 |     758    66453   191464 |        1   116469     69 |  0.525 % |
393.71/393.78	c |   1452276 |     758    66453   191464 |        1   116570     69 |  0.525 % |
393.71/393.78	c |   1452376 |     758    66453   191464 |        1   116670     69 |  0.525 % |
503.58/503.62	c |   1452480 |     758    66453   191464 |        1   116774     69 |  0.525 % |
503.58/503.62	c |   1452580 |     758    66453   191464 |        1   116874     69 |  0.525 % |
503.58/503.62	c |   1452681 |     758    66453   191464 |        1   116975     69 |  0.525 % |
503.58/503.62	c |   1454603 |     758    66453   191464 |        1   118897     69 |  0.525 % |
503.58/503.62	c |   1461811 |     758    66453   191464 |        1   126105     70 |  0.525 % |
503.58/503.62	c |   1461913 |     758    66453   191464 |        1   126207     70 |  0.525 % |
503.58/503.62	c |   1462243 |     758    66453   191464 |        1   126537     70 |  0.525 % |
503.58/503.62	c |   1463002 |     758    66453   191464 |        1   127296     70 |  0.525 % |
503.58/503.62	c |   1463313 |     758    66453   191464 |        1   127607     71 |  0.525 % |
503.58/503.62	c |   1464635 |     758    66453   191464 |        1   128929     71 |  0.525 % |
503.58/503.62	c |   1464737 |     758    66453   191464 |        1   129031     71 |  0.525 % |
503.58/503.62	c |   1464838 |     758    66453   191464 |        1   129132     71 |  0.525 % |
503.58/503.62	c |   1464939 |     758    66453   191464 |        1   129233     71 |  0.525 % |
503.58/503.62	c |   1465040 |     758    66453   191464 |        1   129334     71 |  0.525 % |
503.58/503.62	c |   1469759 |     758    66453   191464 |        1   134053     71 |  0.525 % |
503.58/503.62	c |   1469900 |     758    66453   191464 |        1   134194     71 |  0.525 % |
503.58/503.62	c |   1470000 |     758    66453   191464 |        1   134294     71 |  0.525 % |
503.58/503.62	c |   1470100 |     758    66453   191464 |        1   134394     71 |  0.525 % |
503.58/503.62	c |   1470751 |     758    66453   191464 |        1   135045     71 |  0.525 % |
503.58/503.62	c |   1470856 |     758    66453   191464 |        1   135150     71 |  0.525 % |
503.58/503.62	c |   1471057 |     758    66453   191464 |        1   135351     71 |  0.525 % |
503.58/503.62	c |   1471157 |     758    66453   191464 |        1   135451     71 |  0.525 % |
503.58/503.62	c |   1471457 |     758    66453   191464 |        1   135751     71 |  0.525 % |
503.58/503.62	c |   1471975 |     758    66453   191464 |        1   136269     71 |  0.525 % |
503.58/503.62	c |   1472237 |     758    66453   191464 |        1   136531     71 |  0.525 % |
503.58/503.62	c |   1472338 |     758    66453   191464 |        1   136632     71 |  0.525 % |
503.58/503.62	c |   1472440 |     758    66453   191464 |        1   136734     71 |  0.525 % |
503.58/503.62	c |   1472541 |     758    66453   191464 |        1   136835     71 |  0.525 % |
503.58/503.62	c |   1472641 |     758    66453   191464 |        1   136935     71 |  0.525 % |
503.58/503.62	c |   1472935 |     758    66453   191464 |        1   137229     71 |  0.525 % |
503.58/503.62	c |   1473036 |     758    66453   191464 |        1   137330     71 |  0.525 % |
503.58/503.62	c |   1473162 |     758    66453   191464 |        1   137456     71 |  0.525 % |
503.58/503.62	c |   1473262 |     758    66453   191464 |        1   137556     71 |  0.525 % |
503.58/503.62	c |   1473362 |     758    66453   191464 |        1   137656     71 |  0.525 % |
503.58/503.62	c |   1473792 |     758    66453   191464 |        1   138086     71 |  0.525 % |
503.58/503.62	c |   1473892 |     758    66453   191464 |        1   138186     71 |  0.525 % |
503.58/503.62	c |   1474463 |     758    66453   191464 |        1   138757     71 |  0.525 % |
503.58/503.62	c |   1474719 |     758    66453   191464 |        1   139013     71 |  0.525 % |
503.58/503.62	c |   1653313 |     757    66453   191464 |        1   142574     70 |  0.656 % |
503.58/503.62	c |   1653413 |     757    66453   191464 |        1   142674     70 |  0.656 % |
503.58/503.62	c |   1653514 |     757    66453   191464 |        1   142775     71 |  0.656 % |
503.58/503.62	c |   1673279 |     757    66453   191464 |        1   162540     76 |  0.656 % |
503.58/503.62	c |   1673381 |     757    66453   191464 |        1   162642     76 |  0.656 % |
503.58/503.62	c |   1679030 |     757    66453   191464 |        1   168291     76 |  0.656 % |
503.58/503.62	c |   1679483 |     757    66453   191464 |        1   168744     76 |  0.656 % |
503.58/503.62	c |   1679674 |     757    66453   191464 |        1   168935     76 |  0.656 % |
503.58/503.62	c |   1679776 |     757    66453   191464 |        1   169037     76 |  0.656 % |
503.58/503.62	c |   1709643 |     757    66453   191464 |        1   110793     67 |  0.656 % |
503.58/503.62	c |   1709748 |     757    66453   191464 |        1   110898     67 |  0.656 % |
503.58/503.62	c |   1709853 |     757    66453   191464 |        1   111003     67 |  0.656 % |
523.51/523.58	c |   1709955 |     757    66453   191464 |        1   111105     67 |  0.656 % |
523.51/523.58	c |   1710056 |     757    66453   191464 |        1   111206     67 |  0.656 % |
523.51/523.58	c |   1710157 |     757    66453   191464 |        1   111307     67 |  0.656 % |
523.51/523.58	c |   1710258 |     757    66453   191464 |        1   111408     67 |  0.656 % |
523.51/523.58	c |   1710359 |     757    66453   191464 |        1   111509     67 |  0.656 % |
523.51/523.58	c |   1710554 |     757    66453   191464 |        1   111704     67 |  0.656 % |
523.51/523.58	c |   1713770 |     757    66453   191464 |        1   114920     68 |  0.656 % |
523.51/523.58	c |   1714011 |     757    66453   191464 |        1   115161     68 |  0.656 % |
523.51/523.58	c |   1714111 |     757    66453   191464 |        1   115261     68 |  0.656 % |
523.51/523.58	c |   1722194 |     757    66453   191464 |        1   123344     69 |  0.656 % |
523.51/523.58	c |   1727282 |     757    66453   191464 |        1   128432     69 |  0.656 % |
523.51/523.58	c |   1728452 |     757    66453   191464 |        1   129602     69 |  0.656 % |
523.51/523.58	c |   1728553 |     757    66453   191464 |        1   129703     69 |  0.656 % |
523.51/523.58	c |   1728831 |     757    66453   191464 |        1   129981     69 |  0.656 % |
523.51/523.58	c |   1728931 |     757    66453   191464 |        1   130081     69 |  0.656 % |
523.51/523.58	c |   1729031 |     757    66453   191464 |        1   130181     69 |  0.656 % |
523.51/523.58	c |   1729133 |     757    66453   191464 |        1   130283     69 |  0.656 % |
523.51/523.58	c |   1729234 |     757    66453   191464 |        1   130384     70 |  0.656 % |
523.51/523.58	c |   1729335 |     757    66453   191464 |        1   130485     70 |  0.656 % |
523.51/523.58	c |   1729437 |     757    66453   191464 |        1   130587     70 |  0.656 % |
523.51/523.58	c |   1729537 |     757    66453   191464 |        1   130687     70 |  0.656 % |
523.51/523.58	c |   1733660 |     757    66453   191464 |        1   134810     71 |  0.656 % |
523.51/523.58	c |   1733760 |     757    66453   191464 |        1   134910     71 |  0.656 % |
523.51/523.58	c |   1733901 |     757    66453   191464 |        1   135051     71 |  0.656 % |
523.51/523.58	c |   1734001 |     757    66453   191464 |        1   135151     71 |  0.656 % |
523.51/523.58	c |   1734101 |     757    66453   191464 |        1   135251     71 |  0.656 % |
523.51/523.58	c |   1734202 |     757    66453   191464 |        1   135352     71 |  0.656 % |
523.51/523.58	c |   1734322 |     757    66453   191464 |        1   135472     71 |  0.656 % |
523.51/523.58	c |   1734422 |     757    66453   191464 |        1   135572     71 |  0.656 % |
523.51/523.58	c |   1734522 |     757    66453   191464 |        1   135672     71 |  0.656 % |
523.51/523.58	c |   1734622 |     757    66453   191464 |        1   135772     71 |  0.656 % |
523.51/523.58	c |   1734722 |     757    66453   191464 |        1   135872     71 |  0.656 % |
523.51/523.58	c |   1734822 |     757    66453   191464 |        1   135972     71 |  0.656 % |
523.51/523.58	c |   1734925 |     757    66453   191464 |        1   136075     71 |  0.656 % |
523.51/523.58	c |   1735025 |     757    66453   191464 |        1   136175     71 |  0.656 % |
523.51/523.58	c |   1735125 |     757    66453   191464 |        1   136275     71 |  0.656 % |
523.51/523.58	c |   1735225 |     757    66453   191464 |        1   136375     71 |  0.656 % |
523.51/523.58	c |   1735326 |     757    66453   191464 |        1   136476     71 |  0.656 % |
523.51/523.58	c |   1735426 |     757    66453   191464 |        1   136576     71 |  0.656 % |
523.51/523.58	c |   1735526 |     757    66453   191464 |        1   136676     71 |  0.656 % |
523.51/523.58	c |   1735626 |     757    66453   191464 |        1   136776     71 |  0.656 % |
523.51/523.58	c |   1735727 |     757    66453   191464 |        1   136877     71 |  0.656 % |
523.51/523.58	c |   1735828 |     757    66453   191464 |        1   136978     71 |  0.656 % |
523.51/523.58	c |   1735929 |     757    66453   191464 |        1   137079     71 |  0.656 % |
523.51/523.58	c |   1736267 |     757    66453   191464 |        1   137417     71 |  0.656 % |
523.51/523.58	c |   1736367 |     757    66453   191464 |        1   137517     71 |  0.656 % |
523.51/523.58	c |   1736467 |     757    66453   191464 |        1   137617     71 |  0.656 % |
523.51/523.58	c |   1739536 |     757    66453   191464 |        1   140686     72 |  0.656 % |
523.51/523.58	c |   1740141 |     757    66453   191464 |        1   141291     72 |  0.656 % |
523.51/523.58	c |   1748085 |     757    66453   191464 |        1   149235     72 |  0.656 % |
540.39/540.43	c |   1748188 |     757    66453   191464 |        1   149338     72 |  0.656 % |
540.39/540.43	c |   1756877 |     757    66453   191464 |        1   158027     72 |  0.656 % |
540.39/540.43	c |   1756977 |     757    66453   191464 |        1   158127     72 |  0.656 % |
540.39/540.43	c |   1757078 |     757    66453   191464 |        1   158228     72 |  0.656 % |
540.39/540.43	c |   1757179 |     757    66453   191464 |        1   158329     72 |  0.656 % |
540.39/540.43	c |   1757279 |     757    66453   191464 |        1   158429     72 |  0.656 % |
540.39/540.43	c |   1757381 |     757    66453   191464 |        1   158531     72 |  0.656 % |
540.39/540.43	c |   1757481 |     757    66453   191464 |        1   158631     72 |  0.656 % |
540.39/540.43	c |   1757581 |     757    66453   191464 |        1   158731     72 |  0.656 % |
540.39/540.43	c |   1757681 |     757    66453   191464 |        1   158831     72 |  0.656 % |
540.39/540.43	c |   1757781 |     757    66453   191464 |        1   158931     72 |  0.656 % |
540.39/540.43	c |   1764671 |     757    66453   191464 |        1   165821     73 |  0.656 % |
540.39/540.43	c |   1764901 |     757    66453   191464 |        1   166051     73 |  0.656 % |
540.39/540.43	c |   1765034 |     757    66453   191464 |        1   166184     73 |  0.656 % |
540.39/540.43	c |   1765152 |     757    66453   191464 |        1   166302     73 |  0.656 % |
540.39/540.43	c |   1765253 |     757    66453   191464 |        1   166403     73 |  0.656 % |
540.39/540.43	c |   1767679 |     757    66453   191464 |        1   168829     73 |  0.656 % |
540.39/540.43	c |   1767826 |     757    66453   191464 |        1   168976     73 |  0.656 % |
540.39/540.43	c |   1767928 |     757    66453   191464 |        1   169078     73 |  0.656 % |
540.39/540.43	c |   1768028 |     757    66453   191464 |        1   169178     73 |  0.656 % |
540.39/540.43	c |   1768128 |     757    66453   191464 |        1   169278     73 |  0.656 % |
540.39/540.43	c |   1768574 |     757    66453   191464 |        1   169724     73 |  0.656 % |
540.39/540.43	c |   1768674 |     757    66453   191464 |        1   169824     73 |  0.656 % |
540.39/540.43	c |   1768774 |     757    66453   191464 |        1   169924     73 |  0.656 % |
540.39/540.43	c |   1768874 |     757    66453   191464 |        1   170024     73 |  0.656 % |
540.39/540.43	c |   1768975 |     757    66453   191464 |        1   170125     73 |  0.656 % |
540.39/540.43	c |   1769076 |     757    66453   191464 |        1   170226     73 |  0.656 % |
540.39/540.43	c |   1769178 |     757    66453   191464 |        1   170328     73 |  0.656 % |
540.39/540.43	c |   1769506 |     757    66453   191464 |        1   170656     73 |  0.656 % |
540.39/540.43	c |   1769606 |     757    66453   191464 |        1   170756     73 |  0.656 % |
540.39/540.43	c |   1769706 |     757    66453   191464 |        1   170856     73 |  0.656 % |
540.39/540.43	c |   1769806 |     757    66453   191464 |        1   170956     73 |  0.656 % |
540.39/540.43	c |   1770607 |     757    66453   191464 |        1   171757     73 |  0.656 % |
540.39/540.43	c |   1770708 |     757    66453   191464 |        1   171858     73 |  0.656 % |
540.39/540.43	c |   1770916 |     757    66453   191464 |        1   172066     74 |  0.656 % |
540.39/540.43	c |   1771017 |     757    66453   191464 |        1   172167     74 |  0.656 % |
540.39/540.43	c |   1771118 |     757    66453   191464 |        1   172268     74 |  0.656 % |
540.39/540.43	c |   1771219 |     757    66453   191464 |        1   172369     74 |  0.656 % |
540.39/540.43	c |   1771319 |     757    66453   191464 |        1   172469     74 |  0.656 % |
540.39/540.43	c |   1771421 |     757    66453   191464 |        1   172571     74 |  0.656 % |
540.39/540.43	c |   1771521 |     757    66453   191464 |        1   172671     74 |  0.656 % |
540.39/540.43	c |   1771621 |     757    66453   191464 |        1   172771     74 |  0.656 % |
540.39/540.43	c |   1771723 |     757    66453   191464 |        1   172873     74 |  0.656 % |
540.39/540.43	c |   1771825 |     757    66453   191464 |        1   172975     74 |  0.656 % |
540.39/540.43	c |   1771927 |     757    66453   191464 |        1   173077     74 |  0.656 % |
540.39/540.43	c |   1772031 |     757    66453   191464 |        1   173181     74 |  0.656 % |
540.39/540.43	c |   1772160 |     757    66453   191464 |        1   173310     74 |  0.656 % |
540.39/540.43	c |   1772260 |     757    66453   191464 |        1   173410     74 |  0.656 % |
540.39/540.43	c |   1772360 |     757    66453   191464 |        1   173510     74 |  0.656 % |
540.39/540.43	c |   1772504 |     757    66453   191464 |        1   173654     74 |  0.656 % |
559.81/559.85	c |   1772604 |     757    66453   191464 |        1   173754     74 |  0.656 % |
559.81/559.85	c |   1772704 |     757    66453   191464 |        1   173854     74 |  0.656 % |
559.81/559.85	c |   1772804 |     757    66453   191464 |        1   173954     74 |  0.656 % |
559.81/559.85	c |   1772905 |     757    66453   191464 |        1   174055     74 |  0.656 % |
559.81/559.85	c |   1773005 |     757    66453   191464 |        1   174155     74 |  0.656 % |
559.81/559.85	c |   1773108 |     757    66453   191464 |        1   174258     74 |  0.656 % |
559.81/559.85	c |   1773209 |     757    66453   191464 |        1   174359     74 |  0.656 % |
559.81/559.85	c |   1773309 |     757    66453   191464 |        1   174459     74 |  0.656 % |
559.81/559.85	c |   1773413 |     757    66453   191464 |        1   174563     74 |  0.656 % |
559.81/559.85	c |   1773784 |     757    66453   191464 |        1   174934     74 |  0.656 % |
559.81/559.85	c |   1773885 |     757    66453   191464 |        1   175035     74 |  0.656 % |
559.81/559.85	c |   1773985 |     757    66453   191464 |        1   175135     74 |  0.656 % |
559.81/559.85	c |   1774092 |     757    66453   191464 |        1   175242     74 |  0.656 % |
559.81/559.85	c |   1777516 |     757    66453   191464 |        1   178666     74 |  0.656 % |
559.81/559.85	c |   1777617 |     757    66453   191464 |        1   178767     74 |  0.656 % |
559.81/559.85	c |   1777718 |     757    66453   191464 |        1   178868     74 |  0.656 % |
559.81/559.85	c |   1777818 |     757    66453   191464 |        1   178968     74 |  0.656 % |
559.81/559.85	c |   1778511 |     757    66453   191464 |        1   179661     74 |  0.656 % |
559.81/559.85	c |   1778613 |     757    66453   191464 |        1   179763     74 |  0.656 % |
559.81/559.85	c |   1778717 |     757    66453   191464 |        1   179867     74 |  0.656 % |
559.81/559.85	c |   1778818 |     757    66453   191464 |        1   179968     74 |  0.656 % |
559.81/559.85	c |   1778918 |     757    66453   191464 |        1   180068     74 |  0.656 % |
559.81/559.85	c |   1779020 |     757    66453   191464 |        1   180170     74 |  0.656 % |
559.81/559.85	c |   1780678 |     757    66453   191464 |        1   181828     74 |  0.656 % |
559.81/559.85	c |   1781035 |     757    66453   191464 |        1   182185     74 |  0.656 % |
559.81/559.85	c |   1781862 |     757    66453   191464 |        1   183012     74 |  0.656 % |
559.81/559.85	c |   1781993 |     757    66453   191464 |        1   183143     74 |  0.656 % |
559.81/559.85	c |   1782093 |     757    66453   191464 |        1    91677     59 |  0.656 % |
559.81/559.85	c |   1788937 |     757    66453   191464 |        1    98521     61 |  0.656 % |
559.81/559.85	c |   1789038 |     757    66453   191464 |        1    98622     61 |  0.656 % |
559.81/559.85	c |   1789140 |     757    66453   191464 |        1    98724     61 |  0.656 % |
559.81/559.85	c |   1789241 |     757    66453   191464 |        1    98825     61 |  0.656 % |
559.81/559.85	c |   1800785 |     757    66453   191464 |        1   110369     64 |  0.656 % |
559.81/559.85	c |   1800886 |     757    66453   191464 |        1   110470     64 |  0.656 % |
559.81/559.85	c |   1800988 |     757    66453   191464 |        1   110572     64 |  0.656 % |
559.81/559.85	c |   1801146 |     757    66453   191464 |        1   110730     64 |  0.656 % |
559.81/559.85	c |   1801246 |     757    66453   191464 |        1   110830     64 |  0.656 % |
559.81/559.85	c |   1801347 |     757    66453   191464 |        1   110931     64 |  0.656 % |
559.81/559.85	c |   1804461 |     757    66453   191464 |        1   114045     65 |  0.656 % |
559.81/559.85	c |   1804606 |     757    66453   191464 |        1   114190     65 |  0.656 % |
559.81/559.85	c |   1804706 |     757    66453   191464 |        1   114290     65 |  0.656 % |
559.81/559.85	c |   1804808 |     757    66453   191464 |        1   114392     65 |  0.656 % |
559.81/559.85	c |   1804909 |     757    66453   191464 |        1   114493     65 |  0.656 % |
559.81/559.85	c |   1805009 |     757    66453   191464 |        1   114593     65 |  0.656 % |
559.81/559.85	c |   1807293 |     757    66453   191464 |        1   116877     65 |  0.656 % |
559.81/559.85	c |   1807395 |     757    66453   191464 |        1   116979     65 |  0.656 % |
559.81/559.85	c |   1807497 |     757    66453   191464 |        1   117081     66 |  0.656 % |
559.81/559.85	c |   1807597 |     757    66453   191464 |        1   117181     66 |  0.656 % |
559.81/559.85	c |   1808560 |     757    66453   191464 |        1   118144     66 |  0.656 % |
559.81/559.85	c |   1808661 |     757    66453   191464 |        1   118245     66 |  0.656 % |
584.11/584.13	c |   1808851 |     757    66453   191464 |        1   118435     66 |  0.656 % |
584.11/584.13	c |   1808952 |     757    66453   191464 |        1   118536     66 |  0.656 % |
584.11/584.13	c |   1809052 |     757    66453   191464 |        1   118636     66 |  0.656 % |
584.11/584.13	c |   1809152 |     757    66453   191464 |        1   118736     66 |  0.656 % |
584.11/584.13	c |   1809252 |     757    66453   191464 |        1   118836     66 |  0.656 % |
584.11/584.13	c |   1809352 |     757    66453   191464 |        1   118936     66 |  0.656 % |
584.11/584.13	c |   1809453 |     757    66453   191464 |        1   119037     66 |  0.656 % |
584.11/584.13	c |   1818555 |     757    66453   191464 |        1   128139     68 |  0.656 % |
584.11/584.13	c |   1818655 |     757    66453   191464 |        1   128239     68 |  0.656 % |
584.11/584.13	c |   1819464 |     757    66453   191464 |        1   129048     68 |  0.656 % |
584.11/584.13	c |   1819566 |     757    66453   191464 |        1   129150     68 |  0.656 % |
584.11/584.13	c |   1819669 |     757    66453   191464 |        1   129253     68 |  0.656 % |
584.11/584.13	c |   1819771 |     757    66453   191464 |        1   129355     68 |  0.656 % |
584.11/584.13	c |   1819874 |     757    66453   191464 |        1   129458     68 |  0.656 % |
584.11/584.13	c |   1819977 |     757    66453   191464 |        1   129561     68 |  0.656 % |
584.11/584.13	c |   1823958 |     757    66453   191464 |        1   133542     69 |  0.656 % |
584.11/584.13	c |   1824058 |     757    66453   191464 |        1   133642     69 |  0.656 % |
584.11/584.13	c |   1824158 |     757    66453   191464 |        1   133742     69 |  0.656 % |
584.11/584.13	c |   1824260 |     757    66453   191464 |        1   133844     69 |  0.656 % |
584.11/584.13	c |   1824361 |     757    66453   191464 |        1   133945     69 |  0.656 % |
584.11/584.13	c |   1824464 |     757    66453   191464 |        1   134048     69 |  0.656 % |
584.11/584.13	c |   1824774 |     757    66453   191464 |        1   134358     69 |  0.656 % |
584.11/584.13	c |   1824874 |     757    66453   191464 |        1   134458     69 |  0.656 % |
584.11/584.13	c |   1825767 |     757    66453   191464 |        1   135351     69 |  0.656 % |
584.11/584.13	c |   1825867 |     757    66453   191464 |        1   135451     69 |  0.656 % |
584.11/584.13	c |   1825968 |     757    66453   191464 |        1   135552     69 |  0.656 % |
584.11/584.13	c |   1826227 |     757    66453   191464 |        1   135811     69 |  0.656 % |
584.11/584.13	c |   1826329 |     757    66453   191464 |        1   135913     69 |  0.656 % |
584.11/584.13	c |   1829244 |     757    66453   191464 |        1   138828     70 |  0.656 % |
584.11/584.13	c |   1829345 |     757    66453   191464 |        1   138929     70 |  0.656 % |
584.11/584.13	c |   1840253 |     757    66453   191464 |        1   149837     70 |  0.656 % |
584.11/584.13	c |   1840354 |     757    66453   191464 |        1   149938     70 |  0.656 % |
584.11/584.13	c |   1840693 |     757    66453   191464 |        1   150277     70 |  0.656 % |
584.11/584.13	c |   1840941 |     757    66453   191464 |        1   150525     70 |  0.656 % |
584.11/584.13	c |   1849540 |     757    66453   191464 |        1   159124     71 |  0.656 % |
584.11/584.13	c |   1849640 |     757    66453   191464 |        1   159224     71 |  0.656 % |
584.11/584.13	c |   1849741 |     757    66453   191464 |        1   159325     71 |  0.656 % |
584.11/584.13	c |   1850245 |     757    66453   191464 |        1   159829     71 |  0.656 % |
584.11/584.13	c |   1850347 |     757    66453   191464 |        1   159931     71 |  0.656 % |
584.11/584.13	c |   1850447 |     757    66453   191464 |        1   160031     71 |  0.656 % |
584.11/584.13	c |   1850548 |     757    66453   191464 |        1   160132     71 |  0.656 % |
584.11/584.13	c |   1850649 |     757    66453   191464 |        1   160233     71 |  0.656 % |
584.11/584.13	c |   1850754 |     757    66453   191464 |        1   160338     71 |  0.656 % |
584.11/584.13	c |   1850854 |     757    66453   191464 |        1   160438     71 |  0.656 % |
584.11/584.13	c |   1850954 |     757    66453   191464 |        1   160538     71 |  0.656 % |
584.11/584.13	c |   1851054 |     757    66453   191464 |        1   160638     71 |  0.656 % |
584.11/584.13	c |   1851155 |     757    66453   191464 |        1   160739     71 |  0.656 % |
584.11/584.13	c |   1851256 |     757    66453   191464 |        1   160840     71 |  0.656 % |
584.11/584.13	c |   1851356 |     757    66453   191464 |        1   160940     71 |  0.656 % |
584.11/584.13	c |   1851456 |     757    66453   191464 |        1   161040     71 |  0.656 % |
589.50/589.61	c |   1851557 |     757    66453   191464 |        1   161141     71 |  0.656 % |
589.50/589.61	c |   1851657 |     757    66453   191464 |        1   161241     71 |  0.656 % |
589.50/589.61	c |   1851758 |     757    66453   191464 |        1   161342     71 |  0.656 % |
589.50/589.61	c |   1851858 |     757    66453   191464 |        1   161442     71 |  0.656 % |
589.50/589.61	c |   1851961 |     757    66453   191464 |        1   161545     71 |  0.656 % |
589.50/589.61	c |   1852062 |     757    66453   191464 |        1   161646     71 |  0.656 % |
589.50/589.61	c |   1852841 |     757    66453   191464 |        1   162425     71 |  0.656 % |
589.50/589.61	c |   1852942 |     757    66453   191464 |        1   162526     71 |  0.656 % |
589.50/589.61	c |   1853043 |     757    66453   191464 |        1   162627     71 |  0.656 % |
589.50/589.61	c |   1853144 |     757    66453   191464 |        1   162728     71 |  0.656 % |
589.50/589.61	c |   1853245 |     757    66453   191464 |        1   162829     71 |  0.656 % |
589.50/589.61	c |   1853345 |     757    66453   191464 |        1   162929     71 |  0.656 % |
589.50/589.61	c |   1853445 |     757    66453   191464 |        1   163029     71 |  0.656 % |
589.50/589.61	c |   1853545 |     757    66453   191464 |        1   163129     71 |  0.656 % |
589.50/589.61	c |   1853645 |     757    66453   191464 |        1   163229     71 |  0.656 % |
589.50/589.61	c |   1853748 |     757    66453   191464 |        1   163332     71 |  0.656 % |
589.50/589.61	c |   1853848 |     757    66453   191464 |        1   163432     71 |  0.656 % |
589.50/589.61	c |   1853949 |     757    66453   191464 |        1   163533     71 |  0.656 % |
589.50/589.61	c |   1854051 |     757    66453   191464 |        1   163635     71 |  0.656 % |
589.50/589.61	c |   1854152 |     757    66453   191464 |        1   163736     71 |  0.656 % |
589.50/589.61	c |   1854252 |     757    66453   191464 |        1   163836     71 |  0.656 % |
589.50/589.61	c |   1854353 |     757    66453   191464 |        1   163937     71 |  0.656 % |
589.50/589.61	c |   1854457 |     757    66453   191464 |        1   164041     71 |  0.656 % |
589.50/589.61	c |   1854557 |     757    66453   191464 |        1   164141     71 |  0.656 % |
589.50/589.61	c |   1854660 |     757    66453   191464 |        1   164244     71 |  0.656 % |
589.50/589.61	c |   1854761 |     757    66453   191464 |        1   164345     71 |  0.656 % |
589.50/589.61	c |   1854862 |     757    66453   191464 |        1   164446     71 |  0.656 % |
589.50/589.61	c |   1854963 |     757    66453   191464 |        1   164547     71 |  0.656 % |
589.50/589.61	c |   1855063 |     757    66453   191464 |        1   164647     71 |  0.656 % |
589.50/589.61	c |   1855165 |     757    66453   191464 |        1   164749     71 |  0.656 % |
589.50/589.61	c |   1855266 |     757    66453   191464 |        1   164850     71 |  0.656 % |
589.50/589.61	c |   1855367 |     757    66453   191464 |        1   164951     71 |  0.656 % |
589.50/589.61	c |   1855468 |     757    66453   191464 |        1   165052     71 |  0.656 % |
589.50/589.61	c |   1855568 |     757    66453   191464 |        1   165152     71 |  0.656 % |
589.50/589.61	c |   1855668 |     757    66453   191464 |        1   165252     71 |  0.656 % |
589.50/589.61	c |   1855768 |     757    66453   191464 |        1   165352     71 |  0.656 % |
589.50/589.61	c |   1855869 |     757    66453   191464 |        1   165453     72 |  0.656 % |
589.50/589.61	c |   1855969 |     757    66453   191464 |        1   165553     72 |  0.656 % |
589.50/589.61	c |   1856071 |     757    66453   191464 |        1   165655     72 |  0.656 % |
589.50/589.61	c |   1856172 |     757    66453   191464 |        1   165756     72 |  0.656 % |
589.50/589.61	c |   1856273 |     757    66453   191464 |        1   165857     72 |  0.656 % |
589.50/589.61	c |   1856375 |     757    66453   191464 |        1   165959     72 |  0.656 % |
589.50/589.61	c |   1856475 |     757    66453   191464 |        1   166059     72 |  0.656 % |
589.50/589.61	c |   1856577 |     757    66453   191464 |        1   166161     72 |  0.656 % |
589.50/589.61	c |   1856681 |     757    66453   191464 |        1   166265     72 |  0.656 % |
589.50/589.61	c |   1856783 |     757    66453   191464 |        1   166367     72 |  0.656 % |
589.50/589.61	c |   1856883 |     757    66453   191464 |        1   166467     72 |  0.656 % |
589.50/589.61	c |   1856986 |     757    66453   191464 |        1   166570     72 |  0.656 % |
589.50/589.61	c |   1857086 |     757    66453   191464 |        1   166670     72 |  0.656 % |
589.50/589.61	c |   1857186 |     757    66453   191464 |        1   166770     72 |  0.656 % |
592.91/592.95	c |   1857287 |     757    66453   191464 |        1   166871     72 |  0.656 % |
592.91/592.95	c |   1863510 |     757    66453   191464 |        1   173094     72 |  0.656 % |
592.91/592.95	c ===============================================================================
592.91/592.95	c restarts              : 990
592.91/592.95	c nb ReduceDB           : 36
592.91/592.95	c nb removed Clauses    : 1554817
592.91/592.95	c nb learnts DL2        : 49
592.91/592.95	c nb learnts size 2     : 40
592.91/592.95	c nb learnts size 1     : 5
592.91/592.95	c conflicts             : 1863510        (3145 /sec)
592.91/592.95	c decisions             : 2247869        (0.00 % random) (3794 /sec)
592.91/592.95	c propagations          : 109159583      (184253 /sec)
592.91/592.95	c conflict literals     : 155595241      (30.89 % deleted)
592.91/592.95	c nb reduced Clauses    : 4601
592.91/592.95	c CPU time              : 592.444 s
592.91/592.95	
592.91/592.96	s SATISFIABLE
592.91/592.96	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 792 0

Verifier Data

OK

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-3303618-1306950947/watcher-3303618-1306950947 -o /tmp/evaluation-result-3303618-1306950947/solver-3303618-1306950947 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303618-1306950947.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: 2.00 2.01 2.00 2/515 26831
/proc/meminfo: memFree=22256300/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 787510294 8912896 253 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26831/statm: 2176 253 211 178 0 69 0

[startup+0.0695011 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 26831
/proc/meminfo: memFree=22256300/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 787510294 8912896 253 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26831/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100495 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 26831
/proc/meminfo: memFree=22256300/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 787510294 8912896 253 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26831/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300457 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 26831
/proc/meminfo: memFree=22256300/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8704

[startup+0.700381 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 26831
/proc/meminfo: memFree=22256300/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8704

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/517 26834
/proc/meminfo: memFree=22242364/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=28968 CPUtime=1.35 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 6146 0 0 0 135 0 0 0 25 0 1 0 787510307 29663232 3765 33554432000 4194304 4260849 140735145848656 18446744073709551615 4225421 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 7242 3765 249 17 0 3883 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 37672

[startup+3.10093 s]
/proc/loadavg: 2.00 2.01 2.00 3/517 26834
/proc/meminfo: memFree=22225376/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=37740 CPUtime=2.96 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 8780 0 0 0 295 1 0 0 25 0 1 0 787510307 38645760 6249 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224753 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 9435 6249 249 17 0 6076 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46444

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/517 26834
/proc/meminfo: memFree=22206164/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=40460 CPUtime=6.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 9470 0 0 0 615 1 0 0 25 0 1 0 787510307 41431040 6929 33554432000 4194304 4260849 140735145848656 18446744073709551615 4228548 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 10115 6929 249 17 0 6756 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49164

[startup+12.7011 s]
/proc/loadavg: 2.08 2.03 2.01 3/517 26834
/proc/meminfo: memFree=22191604/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=33388 CPUtime=12.55 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 14857 0 0 0 1254 1 0 0 25 0 1 0 787510307 34189312 5211 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 8347 5211 251 17 0 4988 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 42092

[startup+25.5007 s]
/proc/loadavg: 2.06 2.03 2.00 3/517 26835
/proc/meminfo: memFree=22179440/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=70952 CPUtime=25.36 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 25563 0 0 0 2533 3 0 0 25 0 1 0 787510307 72654848 10971 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 17738 10971 252 17 0 14379 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79656

[startup+51.1009 s]
/proc/loadavg: 2.04 2.03 2.00 3/517 26835
/proc/meminfo: memFree=22166240/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=89808 CPUtime=50.96 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 27158 0 0 0 5093 3 0 0 25 0 1 0 787510307 91963392 12545 33554432000 4194304 4260849 140735145848656 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 22452 12545 252 17 0 19093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98512

[startup+102.319 s]
/proc/loadavg: 2.06 2.03 2.00 3/517 26837
/proc/meminfo: memFree=22174896/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=89808 CPUtime=102.18 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 34049 0 0 0 10214 4 0 0 25 0 1 0 787510307 91963392 19274 33554432000 4194304 4260849 140735145848656 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 22452 19274 252 17 0 19093 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 98512

[startup+162.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/517 26838
/proc/meminfo: memFree=22137020/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=102176 CPUtime=162.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 53819 0 0 0 16209 7 0 0 25 0 1 0 787510307 104628224 21642 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 25544 21642 252 17 0 22185 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 110880

[startup+222.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/517 26840
/proc/meminfo: memFree=22141916/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=102176 CPUtime=222.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 84402 0 0 0 22204 12 0 0 25 0 1 0 787510307 104628224 22367 33554432000 4194304 4260849 140735145848656 18446744073709551615 4225399 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 25544 22367 252 17 0 22185 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 110880

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/517 26842
/proc/meminfo: memFree=22081100/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=102176 CPUtime=282.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 107538 0 0 0 28199 17 0 0 25 0 1 0 787510307 104628224 22367 33554432000 4194304 4260849 140735145848656 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 25544 22367 252 17 0 22185 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 110880

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/517 26852
/proc/meminfo: memFree=22130128/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=102176 CPUtime=342.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 131482 0 0 0 34195 21 0 0 25 0 1 0 787510307 104628224 22369 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 25544 22369 252 17 0 22185 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 110880

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 26854
/proc/meminfo: memFree=22052552/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=151496 CPUtime=402.17 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 154314 0 0 0 40191 26 0 0 25 0 1 0 787510307 155131904 32304 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 37874 32304 252 17 0 34515 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 160200

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 26855
/proc/meminfo: memFree=22087348/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=102176 CPUtime=462.17 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 170330 0 0 0 46188 29 0 0 25 0 1 0 787510307 104628224 22369 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 25544 22369 252 17 0 22185 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 110880

[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/517 26857
/proc/meminfo: memFree=22015616/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=151496 CPUtime=522.17 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 195586 0 0 0 52184 33 0 0 25 0 1 0 787510307 155131904 33485 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 37874 33485 252 17 0 34515 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 160200

[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22040596/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=151496 CPUtime=582.17 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 210449 0 0 0 58180 37 0 0 25 0 1 0 787510307 155131904 34114 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 37874 34114 252 17 0 34515 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 160200

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

[startup+588.7 s]
/proc/loadavg: 2.08 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22026944/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=182316 CPUtime=588.56 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 211105 0 0 0 58819 37 0 0 25 0 1 0 787510307 186691584 34760 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 45579 34760 252 17 0 42220 0
Current children cumulated CPU time (s) 588.68
Current children cumulated vsize (KiB) 191020

[startup+590.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22025456/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=182316 CPUtime=590.16 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 211288 0 0 0 58979 37 0 0 25 0 1 0 787510307 186691584 34939 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 45579 34939 252 17 0 42220 0
Current children cumulated CPU time (s) 590.28
Current children cumulated vsize (KiB) 191020

[startup+591.901 s]
/proc/loadavg: 2.08 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22020124/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=182316 CPUtime=591.77 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 211559 0 0 0 59139 38 0 0 25 0 1 0 787510307 186691584 35208 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 45579 35208 252 17 0 42220 0
Current children cumulated CPU time (s) 591.89
Current children cumulated vsize (KiB) 191020

[startup+592.701 s]
/proc/loadavg: 2.08 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22020124/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=182316 CPUtime=592.57 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 211652 0 0 0 59219 38 0 0 25 0 1 0 787510307 186691584 35300 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 45579 35300 252 17 0 42220 0
Current children cumulated CPU time (s) 592.69
Current children cumulated vsize (KiB) 191020

[startup+592.919 s]
/proc/loadavg: 2.07 2.04 2.00 3/517 26859
/proc/meminfo: memFree=22018388/32951124 swapFree=62999000/67111528
[pid=26831] ppid=26829 vsize=8704 CPUtime=0.12 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose.sh) S 26829 26831 25594 0 -1 4202496 360 1395 0 0 0 0 12 0 24 0 1 0 787510294 8912896 255 33554432000 4194304 4922060 140733263255600 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/26831/statm: 2176 255 211 178 0 69 0
[pid=26834] ppid=26831 vsize=182316 CPUtime=592.79 cores=1,3,5,7
/proc/26834/stat : 26834 (glucose_static) R 26831 26831 25594 0 -1 4202496 211662 0 0 0 59241 38 0 0 25 0 1 0 787510307 186691584 35310 33554432000 4194304 4260849 140735145848656 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26834/statm: 45579 35310 252 17 0 42220 0
Current children cumulated CPU time (s) 592.91
Current children cumulated vsize (KiB) 191020

Child status: 10
Real time (s): 592.967
CPU time (s): 592.971
CPU user time (s): 592.571
CPU system time (s): 0.399939
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 191020

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

runsolver used 3.01154 second user time and 6.99394 second system time

The end

Launcher Data

Begin job on node141 at 2011-06-01 19:55:47
IDJOB=3303618
IDBENCH=88224
IDSOLVER=1687
FILE ID=node141/3303618-1306950947
RUNJOBID= node141-1306950120-26697
PBS_JOBID= 13488575
Free space on /tmp= 73792 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303618-1306950947/watcher-3303618-1306950947 -o /tmp/evaluation-result-3303618-1306950947/solver-3303618-1306950947 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303618-1306950947.cnf 

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

MD5SUM BENCH= 0906ad3a7678a4284d484fb4b8c72f61
RANDOM SEED=506065469

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      22256580 kB
Buffers:        146460 kB
Cached:         191712 kB
SwapCached:       8848 kB
Active:       10261820 kB
Inactive:       183836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22256580 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            1964 kB
Writeback:           0 kB
AnonPages:    10105492 kB
Mapped:          25696 kB
Slab:           109064 kB
PageTables:      70104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150808772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73792 MiB
End job on node141 at 2011-06-01 20:05:40