Trace number 3281812

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2UNSAT 44.7702 44.7735

General information on the benchmark

Namemanol-pipe-f7nidw.cnf
MD5SUMb950ebec64dc35544d8f8bf6957e7bc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.7028
Satisfiable
(Un)Satisfiability was proved
Number of variables310434
Number of clauses923497
Sum of the clauses size2154825
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2615664
Number of clauses of size 3307832
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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.40	c ==============================================================================
0.00/0.40	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.40	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.40	c ==============================================================================
0.00/0.40	c |         0 |  923496  2154824 |  277048       0        0     nan |  0.000 % |
2.99/3.03	c |         0 |  364855  1457039 |      --       0       --      -- |     --   | -558639/-697780
2.99/3.04	c ==============================================================================
2.99/3.04	c Result  :   #vars: 45777   #clauses: 364855   #literals: 1457039
2.99/3.04	c CPU time:   2.92656 s
2.99/3.04	c ==============================================================================
3.30/3.31	c
3.30/3.31	c Starting glucose
3.30/3.31	c
5.49/5.56	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
5.49/5.56	c WARNING: for repeatability, setting FPU to use double precision
5.49/5.56	c ============================[ Problem Statistics ]=============================
5.49/5.56	c |                                                                             |
5.49/5.56	c |  Number of variables:         45777                                         |
5.49/5.56	c |  Number of clauses:          364855                                         |
5.49/5.56	c |  Parse time:                   0.10 s                                       |
5.49/5.56	c |                                                                             |
5.49/5.56	c ============================[ Search Statistics ]==============================
5.49/5.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.56	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.49/5.56	c ===============================================================================
5.49/5.56	c |       535 |   45777   364855  1457039 |        1      535     12 |  0.000 % |
5.49/5.56	c |       636 |   45772   364855  1457039 |        1      635     12 |  0.011 % |
5.49/5.56	c |       949 |   45763   364855  1457039 |        1      947     14 |  0.031 % |
5.49/5.56	c |      1049 |   45753   364855  1457039 |        1     1046     15 |  0.052 % |
5.49/5.56	c |      2894 |   45753   364855  1457039 |        1     2891     14 |  0.052 % |
5.49/5.56	c |      3074 |   45753   364855  1457039 |        1     3071     14 |  0.052 % |
5.49/5.56	c |      3207 |   45753   364352  1455154 |        1     3204     14 |  0.052 % |
5.49/5.56	c |      5433 |   45753   364352  1455154 |        1     3434     11 |  0.052 % |
5.49/5.56	c |      5535 |   45753   364352  1455154 |        1     3536     12 |  0.052 % |
5.49/5.56	c |      5894 |   45753   364352  1455154 |        1     3895     12 |  0.052 % |
5.49/5.56	c |      6233 |   45753   364352  1455154 |        1     4234     12 |  0.052 % |
5.49/5.56	c |      6425 |   45753   364352  1455154 |        1     4426     13 |  0.052 % |
5.49/5.56	c |      6525 |   45753   364352  1455154 |        1     4526     13 |  0.052 % |
5.49/5.56	c |      7277 |   45753   364352  1455154 |        1     5278     13 |  0.052 % |
5.49/5.56	c |      9141 |   45747   364352  1455154 |        1     7141     14 |  0.066 % |
5.49/5.56	c |     10364 |   45650   364225  1454520 |        1     8363     15 |  0.277 % |
5.49/5.56	c |     10922 |   45568   364225  1454520 |        1     4631     10 |  0.457 % |
5.49/5.56	c |     11034 |   45568   364225  1454520 |        1     4743     10 |  0.457 % |
5.49/5.56	c |     11911 |   45553   364225  1454520 |        1     5619     11 |  0.489 % |
5.49/5.56	c |     12067 |   45553   364225  1454520 |        1     5775     11 |  0.489 % |
5.49/5.56	c |     12805 |   45551   364225  1454520 |        1     6512     11 |  0.494 % |
5.49/5.56	c |     13055 |   45551   364225  1454520 |        1     6762     12 |  0.494 % |
5.49/5.56	c |     13155 |   45314   364225  1454520 |        1     6860     12 |  1.011 % |
5.49/5.56	c |     13255 |   45314   364225  1454520 |        1     6960     12 |  1.011 % |
5.49/5.56	c |     13358 |   45314   364225  1454520 |        1     7063     12 |  1.011 % |
5.49/5.56	c |     13681 |   45314   364225  1454520 |        1     7386     13 |  1.011 % |
5.49/5.56	c |     13948 |   45314   358556  1428592 |        1     6952     13 |  1.011 % |
5.49/5.56	c |     23679 |   45314   358556  1428592 |        1    10302     15 |  1.011 % |
5.49/5.56	c |     26247 |   45314   358556  1428592 |        1    12870     17 |  1.011 % |
5.49/5.56	c |     26822 |   45313   358525  1428464 |        1    13443     17 |  1.014 % |
5.49/5.56	c |     27249 |   45307   358525  1428464 |        1    13867     17 |  1.027 % |
5.49/5.56	c |     27388 |   45307   358525  1428464 |        1    14006     17 |  1.027 % |
5.49/5.56	c |     28216 |   45307   358525  1428464 |        1    14834     18 |  1.027 % |
5.49/5.56	c |     29009 |   45307   358525  1428464 |        1    15627     18 |  1.027 % |
5.49/5.56	c |     30138 |   45307   358525  1428464 |        1    16756     18 |  1.027 % |
5.49/5.56	c |     30650 |   45171   358525  1428464 |        1    17265     18 |  1.324 % |
5.49/5.56	c |     30884 |   45171   356313  1417746 |        1    17295     18 |  1.324 % |
5.49/5.56	c |     33910 |   45171   356313  1417746 |        1    11328     15 |  1.324 % |
5.49/5.56	c |     39685 |   45170   356313  1417746 |        1    17102     17 |  1.326 % |
6.98/7.05	c |     39788 |   45170   356313  1417746 |        1    17205     17 |  1.326 % |
6.98/7.05	c |     40464 |   45170   356313  1417746 |        1    17881     17 |  1.326 % |
6.98/7.05	c |     40565 |   45168   356290  1417677 |        1    17979     17 |  1.330 % |
6.98/7.05	c |     41178 |   45168   356290  1417677 |        1    18592     17 |  1.330 % |
6.98/7.05	c |     41615 |   45168   356290  1417677 |        1    19029     17 |  1.330 % |
6.98/7.05	c |     42481 |   45168   356290  1417677 |        1    19895     18 |  1.330 % |
6.98/7.05	c |     42582 |   45168   356290  1417677 |        1    19996     18 |  1.330 % |
6.98/7.05	c |     42683 |   45168   356290  1417677 |        1    20097     18 |  1.330 % |
6.98/7.05	c |     42996 |   45163   356290  1417677 |        1    20408     18 |  1.341 % |
6.98/7.05	c |     43129 |   45163   356290  1417677 |        1    20541     18 |  1.341 % |
6.98/7.05	c |     43719 |   45163   356290  1417677 |        1    21131     18 |  1.341 % |
6.98/7.05	c |     43820 |   45163   356290  1417677 |        1    21232     18 |  1.341 % |
6.98/7.05	c |     44563 |   45151   356290  1417677 |        1    21974     18 |  1.367 % |
6.98/7.05	c |     45262 |   45151   356290  1417677 |        1    22673     18 |  1.367 % |
6.98/7.05	c |     45363 |   45151   356290  1417677 |        1    22774     18 |  1.367 % |
6.98/7.05	c |     45592 |   45151   355847  1415931 |        1    23000     18 |  1.367 % |
6.98/7.05	c |     45693 |   45151   355847  1415931 |        1    23101     18 |  1.367 % |
6.98/7.05	c |     46059 |   45135   355847  1415931 |        1    11783     11 |  1.402 % |
6.98/7.05	c |     54219 |   45135   355847  1415931 |        1    19943     17 |  1.402 % |
6.98/7.05	c |     54402 |   45135   355847  1415931 |        1    20126     17 |  1.402 % |
6.98/7.05	c |     54533 |   45124   355847  1415931 |        1    20256     17 |  1.426 % |
6.98/7.05	c |     54634 |   45124   355847  1415931 |        1    20357     17 |  1.426 % |
6.98/7.05	c |     55028 |   45124   355847  1415931 |        1    20751     17 |  1.426 % |
6.98/7.05	c |     55129 |   45124   355847  1415931 |        1    20852     17 |  1.426 % |
6.98/7.05	c |     55624 |   45124   355847  1415931 |        1    21347     17 |  1.426 % |
6.98/7.05	c |     55724 |   45124   355847  1415931 |        1    21447     17 |  1.426 % |
6.98/7.05	c |     57351 |   45124   355847  1415931 |        1    23074     18 |  1.426 % |
6.98/7.05	c |     57663 |   45124   355266  1413726 |        1    23378     18 |  1.426 % |
6.98/7.05	c |     57919 |   45124   355266  1413726 |        1    23634     18 |  1.426 % |
6.98/7.05	c |     58098 |   45124   355266  1413726 |        1    23813     18 |  1.426 % |
6.98/7.05	c |     58198 |   45124   355266  1413726 |        1    23913     18 |  1.426 % |
6.98/7.05	c |     58298 |   45124   355266  1413726 |        1    24013     19 |  1.426 % |
6.98/7.05	c |     58933 |   45124   355266  1413726 |        1    24648     19 |  1.426 % |
6.98/7.05	c |     59232 |   45124   355266  1413726 |        1    24947     19 |  1.426 % |
6.98/7.05	c |     60294 |   45124   355266  1413726 |        1    26009     19 |  1.426 % |
6.98/7.05	c |     60429 |   45124   355266  1413726 |        1    26144     19 |  1.426 % |
6.98/7.05	c |     60530 |   45124   355266  1413726 |        1    26245     19 |  1.426 % |
6.98/7.05	c |     60630 |   45124   355266  1413726 |        1    26345     19 |  1.426 % |
6.98/7.05	c |     60730 |   45124   355266  1413726 |        1    26445     19 |  1.426 % |
6.98/7.05	c |     61010 |   45124   355266  1413726 |        1    26725     19 |  1.426 % |
6.98/7.05	c |     61112 |   45124   355266  1413726 |        1    26827     19 |  1.426 % |
6.98/7.05	c |     61776 |   45097   355266  1413726 |        1    27490     19 |  1.485 % |
6.98/7.05	c |     62215 |   45097   355266  1413726 |        1    27929     19 |  1.485 % |
6.98/7.05	c |     62315 |   45097   355266  1413726 |        1    28029     19 |  1.485 % |
6.98/7.05	c |     62416 |   45097   355266  1413726 |        1    28130     19 |  1.485 % |
6.98/7.05	c |     62614 |   45097   355266  1413726 |        1    28328     19 |  1.485 % |
6.98/7.05	c |     62716 |   45097   355266  1413726 |        1    28430     19 |  1.485 % |
6.98/7.05	c |     67421 |   45097   355266  1413726 |        1    18792     16 |  1.485 % |
6.98/7.05	c |     68011 |   45097   355266  1413726 |        1    19382     16 |  1.485 % |
6.98/7.05	c |     68115 |   45097   354894  1412327 |        1    19486     16 |  1.485 % |
9.79/9.81	c |     68265 |   45097   354894  1412327 |        1    19636     16 |  1.485 % |
9.79/9.81	c |     68440 |   45097   354894  1412327 |        1    19811     16 |  1.485 % |
9.79/9.81	c |     68869 |   45097   354894  1412327 |        1    20240     16 |  1.485 % |
9.79/9.81	c |     68969 |   45097   354894  1412327 |        1    20340     16 |  1.485 % |
9.79/9.81	c |     69450 |   45097   354894  1412327 |        1    20821     16 |  1.485 % |
9.79/9.81	c |     69550 |   45097   354894  1412327 |        1    20921     17 |  1.485 % |
9.79/9.81	c |     69650 |   45097   354894  1412327 |        1    21021     17 |  1.485 % |
9.79/9.81	c |     69776 |   45097   354894  1412327 |        1    21147     17 |  1.485 % |
9.79/9.81	c |     73636 |   45097   354894  1412327 |        1    25007     17 |  1.485 % |
9.79/9.81	c |     74012 |   45097   354894  1412327 |        1    25383     17 |  1.485 % |
9.79/9.81	c |     74116 |   45097   354894  1412327 |        1    25487     17 |  1.485 % |
9.79/9.81	c |     74217 |   45097   354894  1412327 |        1    25588     17 |  1.485 % |
9.79/9.81	c |     74357 |   45097   354894  1412327 |        1    25728     17 |  1.485 % |
9.79/9.81	c |     74458 |   45097   354894  1412327 |        1    25829     18 |  1.485 % |
9.79/9.81	c |     74636 |   45097   354894  1412327 |        1    26007     18 |  1.485 % |
9.79/9.81	c |     74745 |   45097   354894  1412327 |        1    26116     18 |  1.485 % |
9.79/9.81	c |     75875 |   45097   354894  1412327 |        1    27246     18 |  1.485 % |
9.79/9.81	c |     75975 |   45097   354894  1412327 |        1    27346     18 |  1.485 % |
9.79/9.81	c |     76086 |   45097   354894  1412327 |        1    27457     18 |  1.485 % |
9.79/9.81	c |     76713 |   45097   354894  1412327 |        1    28084     18 |  1.485 % |
9.79/9.81	c |     89766 |   45097   354894  1412327 |        1    24172     15 |  1.485 % |
9.79/9.81	c |     91903 |   45097   354894  1412327 |        1    26309     16 |  1.485 % |
9.79/9.81	c |     92003 |   45097   354894  1412327 |        1    26409     16 |  1.485 % |
9.79/9.81	c |     92373 |   45097   354894  1412327 |        1    26779     16 |  1.485 % |
9.79/9.81	c |     92473 |   45097   354894  1412327 |        1    26879     16 |  1.485 % |
9.79/9.81	c |     98708 |   45097   354894  1412327 |        1    33114     19 |  1.485 % |
9.79/9.81	c |     98896 |   45097   354894  1412327 |        1    33302     19 |  1.485 % |
9.79/9.81	c |     98996 |   45097   354894  1412327 |        1    33402     19 |  1.485 % |
9.79/9.81	c |    100694 |   45097   354894  1412327 |        1    35100     19 |  1.485 % |
9.79/9.81	c |    101043 |   45097   354894  1412327 |        1    35449     20 |  1.485 % |
9.79/9.81	c |    101144 |   45097   354894  1412327 |        1    35550     20 |  1.485 % |
9.79/9.81	c |    101426 |   45097   354894  1412327 |        1    35832     20 |  1.485 % |
9.79/9.81	c |    101711 |   45097   354894  1412327 |        1    36117     20 |  1.485 % |
9.79/9.81	c |    103767 |   45097   354894  1412327 |        1    38173     20 |  1.485 % |
9.79/9.81	c |    113981 |   45097   354894  1412327 |        1    28798     15 |  1.485 % |
9.79/9.81	c |    115749 |   45097   354894  1412327 |        1    30566     15 |  1.485 % |
9.79/9.81	c |    115880 |   45097   354894  1412327 |        1    30697     15 |  1.485 % |
9.79/9.81	c |    120814 |   45097   354894  1412327 |        1    35631     17 |  1.485 % |
9.79/9.81	c |    126387 |   45097   354894  1412327 |        1    41204     19 |  1.485 % |
9.79/9.81	c |    126487 |   45025   353285  1406533 |        1    41302     19 |  1.643 % |
9.79/9.81	c |    128913 |   45025   353285  1406533 |        1    43728     19 |  1.643 % |
9.79/9.81	c |    129013 |   45025   353285  1406533 |        1    43828     19 |  1.643 % |
9.79/9.81	c |    129557 |   45025   353285  1406533 |        1    44372     19 |  1.643 % |
9.79/9.81	c |    135412 |   45022   353285  1406533 |        1    28023     17 |  1.649 % |
9.79/9.81	c |    135586 |   45022   353285  1406533 |        1    28197     17 |  1.649 % |
9.79/9.81	c |    135686 |   45022   353285  1406533 |        1    28297     17 |  1.649 % |
9.79/9.81	c |    136010 |   45022   353285  1406533 |        1    28621     17 |  1.649 % |
9.79/9.81	c |    136268 |   45019   353285  1406533 |        1    28878     17 |  1.656 % |
9.79/9.81	c |    136415 |   45019   353285  1406533 |        1    29025     18 |  1.656 % |
9.79/9.81	c |    136515 |   45019   353285  1406533 |        1    29125     18 |  1.656 % |
11.49/11.54	c |    136784 |   45019   353285  1406533 |        1    29394     18 |  1.656 % |
11.49/11.54	c |    137389 |   45019   353285  1406533 |        1    29999     18 |  1.656 % |
11.49/11.54	c |    137647 |   45019   353285  1406533 |        1    30257     18 |  1.656 % |
11.49/11.54	c |    138128 |   45019   353285  1406533 |        1    30738     18 |  1.656 % |
11.49/11.54	c |    138228 |   45019   353285  1406533 |        1    30838     18 |  1.656 % |
11.49/11.54	c |    138401 |   45019   353285  1406533 |        1    31011     18 |  1.656 % |
11.49/11.54	c |    138606 |   45019   353207  1406180 |        1    31216     18 |  1.656 % |
11.49/11.54	c |    139667 |   45019   353207  1406180 |        1    32277     18 |  1.656 % |
11.49/11.54	c |    139852 |   45019   353207  1406180 |        1    32462     18 |  1.656 % |
11.49/11.54	c |    140061 |   45019   353207  1406180 |        1    32671     18 |  1.656 % |
11.49/11.54	c |    140247 |   45019   353207  1406180 |        1    32857     18 |  1.656 % |
11.49/11.54	c |    140351 |   45019   353207  1406180 |        1    32961     18 |  1.656 % |
11.49/11.54	c |    140451 |   45019   353207  1406180 |        1    33061     18 |  1.656 % |
11.49/11.54	c |    140551 |   45019   353207  1406180 |        1    33161     18 |  1.656 % |
11.49/11.54	c |    140652 |   45019   353207  1406180 |        1    33262     19 |  1.656 % |
11.49/11.54	c |    140755 |   45019   353207  1406180 |        1    33365     19 |  1.656 % |
11.49/11.54	c |    141318 |   45019   353207  1406180 |        1    33928     19 |  1.656 % |
11.49/11.54	c |    141428 |   45019   353207  1406180 |        1    34038     19 |  1.656 % |
11.49/11.54	c |    141528 |   45019   353207  1406180 |        1    34138     19 |  1.656 % |
11.49/11.54	c |    141629 |   45019   353207  1406180 |        1    34239     19 |  1.656 % |
11.49/11.54	c |    142223 |   45019   353207  1406180 |        1    34833     19 |  1.656 % |
11.49/11.54	c |    142529 |   45019   353207  1406180 |        1    35139     19 |  1.656 % |
11.49/11.54	c |    142762 |   45019   353207  1406180 |        1    35372     19 |  1.656 % |
11.49/11.54	c |    146234 |   45019   353207  1406180 |        1    38844     20 |  1.656 % |
11.49/11.54	c |    146335 |   45019   353207  1406180 |        1    38945     20 |  1.656 % |
11.49/11.54	c |    146976 |   45019   353207  1406180 |        1    39586     20 |  1.656 % |
11.49/11.54	c |    147349 |   45018   353174  1406066 |        1    39958     20 |  1.658 % |
11.49/11.54	c |    147450 |   45018   353174  1406066 |        1    40059     20 |  1.658 % |
11.49/11.54	c |    148372 |   45018   353174  1406066 |        1    40981     20 |  1.658 % |
11.49/11.54	c |    148474 |   45018   353174  1406066 |        1    41083     20 |  1.658 % |
11.49/11.54	c |    148574 |   45018   353174  1406066 |        1    41183     20 |  1.658 % |
11.49/11.54	c |    149455 |   45018   353174  1406066 |        1    42064     20 |  1.658 % |
11.49/11.54	c |    152133 |   45018   353174  1406066 |        1    44742     21 |  1.658 % |
11.49/11.54	c |    152233 |   45018   353174  1406066 |        1    44842     21 |  1.658 % |
11.49/11.54	c |    152333 |   45018   353174  1406066 |        1    44942     21 |  1.658 % |
11.49/11.54	c |    152434 |   45018   353174  1406066 |        1    45043     21 |  1.658 % |
11.49/11.54	c |    152553 |   45018   353174  1406066 |        1    45162     21 |  1.658 % |
11.49/11.54	c |    152653 |   45018   353174  1406066 |        1    45262     21 |  1.658 % |
11.49/11.54	c |    152753 |   45018   353174  1406066 |        1    45362     21 |  1.658 % |
11.49/11.54	c |    152854 |   45018   353174  1406066 |        1    45463     21 |  1.658 % |
11.49/11.54	c |    152954 |   45018   353174  1406066 |        1    45563     21 |  1.658 % |
11.49/11.54	c |    153054 |   45018   353174  1406066 |        1    45663     21 |  1.658 % |
11.49/11.54	c |    153154 |   45018   353174  1406066 |        1    45763     21 |  1.658 % |
11.49/11.54	c |    153462 |   45018   353174  1406066 |        1    46071     21 |  1.658 % |
11.49/11.54	c |    153840 |   45018   353174  1406066 |        1    46449     21 |  1.658 % |
11.49/11.54	c |    164626 |   45018   353174  1406066 |        1    32438     18 |  1.658 % |
11.49/11.54	c |    164821 |   45018   353174  1406066 |        1    32633     18 |  1.658 % |
11.49/11.54	c |    164922 |   45018   353174  1406066 |        1    32734     18 |  1.658 % |
11.49/11.54	c |    165127 |   45018   353174  1406066 |        1    32939     18 |  1.658 % |
11.49/11.54	c |    165227 |   45018   353174  1406066 |        1    33039     18 |  1.658 % |
15.39/15.49	c |    165329 |   45018   353174  1406066 |        1    33141     18 |  1.658 % |
15.39/15.49	c |    165429 |   45018   353174  1406066 |        1    33241     18 |  1.658 % |
15.39/15.49	c |    165530 |   45018   353174  1406066 |        1    33342     18 |  1.658 % |
15.39/15.49	c |    165630 |   45018   353174  1406066 |        1    33442     18 |  1.658 % |
15.39/15.49	c |    174252 |   45018   353174  1406066 |        1    42064     21 |  1.658 % |
15.39/15.49	c |    174352 |   45018   353174  1406066 |        1    42164     21 |  1.658 % |
15.39/15.49	c |    174588 |   45018   353174  1406066 |        1    42400     21 |  1.658 % |
15.39/15.49	c |    174708 |   45018   353174  1406066 |        1    42520     21 |  1.658 % |
15.39/15.49	c |    176296 |   45018   353174  1406066 |        1    44108     21 |  1.658 % |
15.39/15.49	c |    176400 |   45018   353174  1406066 |        1    44212     21 |  1.658 % |
15.39/15.49	c |    176510 |   45018   353174  1406066 |        1    44322     21 |  1.658 % |
15.39/15.49	c |    176610 |   45018   353174  1406066 |        1    44422     21 |  1.658 % |
15.39/15.49	c |    176881 |   45018   353174  1406066 |        1    44693     21 |  1.658 % |
15.39/15.49	c |    176981 |   45018   353174  1406066 |        1    44793     21 |  1.658 % |
15.39/15.49	c |    184605 |   45018   353174  1406066 |        1    52417     22 |  1.658 % |
15.39/15.49	c |    184879 |   45018   353174  1406066 |        1    52691     22 |  1.658 % |
15.39/15.49	c |    187403 |   45018   353174  1406066 |        1    27813     15 |  1.658 % |
15.39/15.49	c |    187503 |   45018   353174  1406066 |        1    27913     15 |  1.658 % |
15.39/15.49	c |    187672 |   45018   353174  1406066 |        1    28082     15 |  1.658 % |
15.39/15.49	c |    187883 |   45018   353174  1406066 |        1    28293     15 |  1.658 % |
15.39/15.49	c |    192181 |   45018   353174  1406066 |        1    32591     16 |  1.658 % |
15.39/15.49	c |    192282 |   45018   353174  1406066 |        1    32692     16 |  1.658 % |
15.39/15.49	c |    193322 |   45018   353174  1406066 |        1    33732     17 |  1.658 % |
15.39/15.49	c |    194465 |   45018   353174  1406066 |        1    34875     17 |  1.658 % |
15.39/15.49	c |    194585 |   45018   353174  1406066 |        1    34995     17 |  1.658 % |
15.39/15.49	c |    199978 |   45018   353174  1406066 |        1    40388     18 |  1.658 % |
15.39/15.49	c |    211759 |   45014   353152  1405978 |        1    52165     21 |  1.667 % |
15.39/15.49	c |    214495 |   45014   353152  1405978 |        1    54901     21 |  1.667 % |
15.39/15.49	c |    214598 |   45014   353115  1405842 |        1    55002     21 |  1.667 % |
15.39/15.49	c |    214728 |   45014   353115  1405842 |        1    55132     21 |  1.667 % |
15.39/15.49	c |    217721 |   45014   353115  1405842 |        1    58125     22 |  1.667 % |
15.39/15.49	c |    217829 |   45014   353115  1405842 |        1    58233     22 |  1.667 % |
15.39/15.49	c |    217930 |   45014   353115  1405842 |        1    58334     22 |  1.667 % |
15.39/15.49	c |    218964 |   45014   353115  1405842 |        1    59368     22 |  1.667 % |
15.39/15.49	c |    219597 |   45014   353115  1405842 |        1    60001     22 |  1.667 % |
15.39/15.49	c |    219697 |   45014   353115  1405842 |        1    30100     15 |  1.667 % |
15.39/15.49	c |    219797 |   45014   353115  1405842 |        1    30200     15 |  1.667 % |
15.39/15.49	c |    219898 |   45014   353115  1405842 |        1    30301     15 |  1.667 % |
15.39/15.49	c |    219999 |   45014   353115  1405842 |        1    30402     15 |  1.667 % |
15.39/15.49	c |    220099 |   45014   353115  1405842 |        1    30502     15 |  1.667 % |
15.39/15.49	c |    220199 |   45014   353115  1405842 |        1    30602     15 |  1.667 % |
15.39/15.49	c |    223400 |   45014   353115  1405842 |        1    33803     18 |  1.667 % |
15.39/15.49	c |    224765 |   45014   353115  1405842 |        1    35168     18 |  1.667 % |
15.39/15.49	c |    224865 |   45014   353115  1405842 |        1    35268     18 |  1.667 % |
15.39/15.49	c |    225202 |   45014   353115  1405842 |        1    35605     19 |  1.667 % |
15.39/15.49	c |    226797 |   45014   353115  1405842 |        1    37200     19 |  1.667 % |
15.39/15.49	c |    240648 |   45014   353115  1405842 |        1    51051     21 |  1.667 % |
15.39/15.49	c |    241113 |   45014   353115  1405842 |        1    51516     21 |  1.667 % |
15.39/15.49	c |    241213 |   45014   353115  1405842 |        1    51616     21 |  1.667 % |
15.39/15.49	c |    243224 |   45014   353115  1405842 |        1    53627     21 |  1.667 % |
18.29/18.33	c |    243442 |   45014   353115  1405842 |        1    53845     21 |  1.667 % |
18.29/18.33	c |    243841 |   45014   353115  1405842 |        1    54244     21 |  1.667 % |
18.29/18.33	c |    244950 |   45014   353115  1405842 |        1    55353     22 |  1.667 % |
18.29/18.33	c |    245070 |   45014   353115  1405842 |        1    55473     22 |  1.667 % |
18.29/18.33	c |    266387 |   45014   353115  1405842 |        1    44221     18 |  1.667 % |
18.29/18.33	c |    266495 |   45014   353115  1405842 |        1    44329     18 |  1.667 % |
18.29/18.33	c |    267616 |   45014   353115  1405842 |        1    45450     18 |  1.667 % |
18.29/18.33	c |    267827 |   45014   353115  1405842 |        1    45661     18 |  1.667 % |
18.29/18.33	c |    268243 |   45014   353115  1405842 |        1    46077     18 |  1.667 % |
18.29/18.33	c |    268722 |   45014   353115  1405842 |        1    46556     18 |  1.667 % |
18.29/18.33	c |    268952 |   45014   353115  1405842 |        1    46786     18 |  1.667 % |
18.29/18.33	c |    269309 |   45014   353115  1405842 |        1    47143     18 |  1.667 % |
18.29/18.33	c |    273993 |   45014   353115  1405842 |        1    51827     20 |  1.667 % |
18.29/18.33	c |    274324 |   45014   353115  1405842 |        1    52158     20 |  1.667 % |
18.29/18.33	c |    274424 |   45010   353080  1405672 |        1    52256     20 |  1.676 % |
18.29/18.33	c |    274524 |   45010   353080  1405672 |        1    52356     20 |  1.676 % |
18.29/18.33	c |    274624 |   45010   353080  1405672 |        1    52456     20 |  1.676 % |
18.29/18.33	c |    274724 |   45010   353080  1405672 |        1    52556     20 |  1.676 % |
18.29/18.33	c |    274825 |   45010   353080  1405672 |        1    52657     20 |  1.676 % |
18.29/18.33	c |    274926 |   45010   353080  1405672 |        1    52758     20 |  1.676 % |
18.29/18.33	c |    275026 |   45010   353080  1405672 |        1    52858     20 |  1.676 % |
18.29/18.33	c |    275506 |   45010   353080  1405672 |        1    53338     21 |  1.676 % |
18.29/18.33	c |    276065 |   45010   353080  1405672 |        1    53897     21 |  1.676 % |
18.29/18.33	c |    276496 |   45010   353080  1405672 |        1    54328     21 |  1.676 % |
18.29/18.33	c |    276596 |   45010   353080  1405672 |        1    54428     21 |  1.676 % |
18.29/18.33	c |    276697 |   45010   353080  1405672 |        1    54529     21 |  1.676 % |
18.29/18.33	c |    277162 |   45010   353080  1405672 |        1    54994     21 |  1.676 % |
18.29/18.33	c |    281701 |   45010   353080  1405672 |        1    59533     22 |  1.676 % |
18.29/18.33	c |    281803 |   45010   353080  1405672 |        1    59635     22 |  1.676 % |
18.29/18.33	c |    282279 |   45010   353080  1405672 |        1    60111     22 |  1.676 % |
18.29/18.33	c |    282380 |   45010   353080  1405672 |        1    60212     22 |  1.676 % |
18.29/18.33	c |    282480 |   45010   353080  1405672 |        1    60312     22 |  1.676 % |
18.29/18.33	c |    283411 |   45010   353080  1405672 |        1    61243     22 |  1.676 % |
18.29/18.33	c |    283612 |   45010   353080  1405672 |        1    61444     22 |  1.676 % |
18.29/18.33	c |    283712 |   45010   353080  1405672 |        1    61544     22 |  1.676 % |
18.29/18.33	c |    285344 |   45010   353080  1405672 |        1    63176     22 |  1.676 % |
18.29/18.33	c |    285444 |   45010   353080  1405672 |        1    63276     22 |  1.676 % |
18.29/18.33	c |    285738 |   45007   353080  1405672 |        1    63569     22 |  1.682 % |
18.29/18.33	c |    285838 |   45005   353080  1405672 |        1    63668     22 |  1.686 % |
18.29/18.33	c |    285938 |   45005   353080  1405672 |        1    63768     22 |  1.686 % |
18.29/18.33	c |    289370 |   45005   352985  1405245 |        1    67197     23 |  1.686 % |
18.29/18.33	c |    289470 |   45005   352985  1405245 |        1    67297     23 |  1.686 % |
18.29/18.33	c |    289570 |   45005   352985  1405245 |        1    67397     23 |  1.686 % |
18.29/18.33	c |    289712 |   45005   352985  1405245 |        1    67539     23 |  1.686 % |
18.29/18.33	c |    289813 |   45005   352985  1405245 |        1    67640     23 |  1.686 % |
18.29/18.33	c |    289931 |   45005   352985  1405245 |        1    67758     23 |  1.686 % |
18.29/18.33	c |    290031 |   45005   352985  1405245 |        1    67858     23 |  1.686 % |
18.29/18.33	c |    290211 |   45005   352985  1405245 |        1    68038     23 |  1.686 % |
18.29/18.33	c |    290311 |   45005   352985  1405245 |        1    68138     23 |  1.686 % |
18.29/18.33	c |    290411 |   45005   352985  1405245 |        1    68238     23 |  1.686 % |
20.49/20.52	c |    290519 |   45005   352985  1405245 |        1    68346     23 |  1.686 % |
20.49/20.52	c |    290622 |   45005   352985  1405245 |        1    68449     23 |  1.686 % |
20.49/20.52	c |    290722 |   45005   352985  1405245 |        1    68549     23 |  1.686 % |
20.49/20.52	c |    290823 |   45005   352985  1405245 |        1    68650     23 |  1.686 % |
20.49/20.52	c |    290923 |   45005   352985  1405245 |        1    68750     23 |  1.686 % |
20.49/20.52	c |    291023 |   45005   352985  1405245 |        1    68850     23 |  1.686 % |
20.49/20.52	c |    291166 |   45005   352985  1405245 |        1    68993     23 |  1.686 % |
20.49/20.52	c |    291269 |   45005   352985  1405245 |        1    69096     23 |  1.686 % |
20.49/20.52	c |    291372 |   45005   352985  1405245 |        1    69199     23 |  1.686 % |
20.49/20.52	c |    291475 |   45005   352985  1405245 |        1    69302     23 |  1.686 % |
20.49/20.52	c |    291576 |   45005   352985  1405245 |        1    69403     23 |  1.686 % |
20.49/20.52	c |    295210 |   45005   352985  1405245 |        1    37837     16 |  1.686 % |
20.49/20.52	c |    298953 |   45005   352985  1405245 |        1    41580     17 |  1.686 % |
20.49/20.52	c |    299053 |   45005   352985  1405245 |        1    41680     17 |  1.686 % |
20.49/20.52	c |    299153 |   45005   352985  1405245 |        1    41780     18 |  1.686 % |
20.49/20.52	c |    299259 |   45005   352985  1405245 |        1    41886     18 |  1.686 % |
20.49/20.52	c |    299549 |   45005   352985  1405245 |        1    42176     18 |  1.686 % |
20.49/20.52	c |    303049 |   44064   341251  1352554 |        1    42952     19 |  3.742 % |
20.49/20.52	c |    303150 |   44064   341251  1352554 |        1    43053     19 |  3.742 % |
20.49/20.52	c |    303288 |   44064   341251  1352554 |        1    43191     19 |  3.742 % |
20.49/20.52	c |    303388 |   44060   341251  1352554 |        1    43290     19 |  3.751 % |
20.49/20.52	c |    307652 |   44060   341251  1352554 |        1    47554     21 |  3.751 % |
20.49/20.52	c |    307858 |   44060   341251  1352554 |        1    47760     21 |  3.751 % |
20.49/20.52	c |    308028 |   44060   341251  1352554 |        1    47930     21 |  3.751 % |
20.49/20.52	c |    308256 |   44060   341251  1352554 |        1    48158     21 |  3.751 % |
20.49/20.52	c |    308555 |   44060   341251  1352554 |        1    48457     21 |  3.751 % |
20.49/20.52	c |    308800 |   44060   341251  1352554 |        1    48702     21 |  3.751 % |
20.49/20.52	c |    308901 |   44060   341251  1352554 |        1    48803     21 |  3.751 % |
20.49/20.52	c |    309051 |   44060   341251  1352554 |        1    48953     21 |  3.751 % |
20.49/20.52	c |    309192 |   44060   341251  1352554 |        1    49094     21 |  3.751 % |
20.49/20.52	c |    309292 |   44060   341251  1352554 |        1    49194     21 |  3.751 % |
20.49/20.52	c |    310037 |   44060   341251  1352554 |        1    49939     21 |  3.751 % |
20.49/20.52	c |    310966 |   44060   341251  1352554 |        1    50868     21 |  3.751 % |
20.49/20.52	c |    311066 |   44060   341251  1352554 |        1    50968     21 |  3.751 % |
20.49/20.52	c |    311166 |   44060   341251  1352554 |        1    51068     21 |  3.751 % |
20.49/20.52	c |    313179 |   44060   341251  1352554 |        1    53081     22 |  3.751 % |
20.49/20.52	c |    314228 |   44060   341205  1352380 |        1    54129     22 |  3.751 % |
20.49/20.52	c |    314389 |   44045   341205  1352380 |        1    54289     22 |  3.784 % |
20.49/20.52	c |    316037 |   44045   341205  1352380 |        1    55937     22 |  3.784 % |
20.49/20.52	c |    317609 |   44045   341205  1352380 |        1    57509     22 |  3.784 % |
20.49/20.52	c |    317761 |   44045   341205  1352380 |        1    57661     22 |  3.784 % |
20.49/20.52	c |    321500 |   44044   341205  1352380 |        1    61399     23 |  3.786 % |
20.49/20.52	c |    321601 |   44044   341205  1352380 |        1    61500     23 |  3.786 % |
20.49/20.52	c |    321702 |   44044   341205  1352380 |        1    61601     23 |  3.786 % |
20.49/20.52	c |    322448 |   44044   341205  1352380 |        1    62347     23 |  3.786 % |
20.49/20.52	c |    322715 |   44043   341205  1352380 |        1    62613     23 |  3.788 % |
20.49/20.52	c |    322898 |   44043   341205  1352380 |        1    62796     23 |  3.788 % |
20.49/20.52	c |    323282 |   43952   341205  1352380 |        1    63177     23 |  3.987 % |
20.49/20.52	c |    323383 |   43952   341205  1352380 |        1    63278     23 |  3.987 % |
22.59/22.63	c |    323487 |   43952   341205  1352380 |        1    63382     23 |  3.987 % |
22.59/22.63	c |    324657 |   43947   339879  1346357 |        1    64517     23 |  3.998 % |
22.59/22.63	c |    324758 |   43947   339879  1346357 |        1    64618     23 |  3.998 % |
22.59/22.63	c |    325110 |   43947   339879  1346357 |        1    64970     23 |  3.998 % |
22.59/22.63	c |    325285 |   43947   339879  1346357 |        1    65145     23 |  3.998 % |
22.59/22.63	c |    325385 |   43947   339879  1346357 |        1    65245     23 |  3.998 % |
22.59/22.63	c |    325522 |   43947   339879  1346357 |        1    65382     23 |  3.998 % |
22.59/22.63	c |    325623 |   43947   339879  1346357 |        1    65483     23 |  3.998 % |
22.59/22.63	c |    325787 |   43947   339879  1346357 |        1    65647     23 |  3.998 % |
22.59/22.63	c |    325902 |   43947   339879  1346357 |        1    65762     23 |  3.998 % |
22.59/22.63	c |    326230 |   43947   339879  1346357 |        1    66090     23 |  3.998 % |
22.59/22.63	c |    326330 |   43885   339879  1346357 |        1    66188     23 |  4.133 % |
22.59/22.63	c |    326500 |   43885   339879  1346357 |        1    66358     23 |  4.133 % |
22.59/22.63	c |    326958 |   43885   339879  1346357 |        1    66816     23 |  4.133 % |
22.59/22.63	c |    327092 |   43885   339879  1346357 |        1    66950     23 |  4.133 % |
22.59/22.63	c |    327192 |   43885   339879  1346357 |        1    67050     23 |  4.133 % |
22.59/22.63	c |    327668 |   43885   339879  1346357 |        1    67526     23 |  4.133 % |
22.59/22.63	c |    327768 |   43885   339879  1346357 |        1    67626     23 |  4.133 % |
22.59/22.63	c |    328123 |   43885   339879  1346357 |        1    67981     23 |  4.133 % |
22.59/22.63	c |    328224 |   43885   339879  1346357 |        1    68082     23 |  4.133 % |
22.59/22.63	c |    328607 |   43885   339879  1346357 |        1    68465     23 |  4.133 % |
22.59/22.63	c |    328902 |   43885   339879  1346357 |        1    68760     23 |  4.133 % |
22.59/22.63	c |    330622 |   43726   339879  1346357 |        1    70475     23 |  4.480 % |
22.59/22.63	c |    330987 |   43726   339879  1346357 |        1    70840     23 |  4.480 % |
22.59/22.63	c |    331166 |   43726   339879  1346357 |        1    71019     23 |  4.480 % |
22.59/22.63	c |    331267 |   43726   339879  1346357 |        1    71120     23 |  4.480 % |
22.59/22.63	c |    332921 |   43726   339879  1346357 |        1    72774     23 |  4.480 % |
22.59/22.63	c |    333052 |   43722   339879  1346357 |        1    36505     15 |  4.489 % |
22.59/22.63	c |    333152 |   43722   339879  1346357 |        1    36605     15 |  4.489 % |
22.59/22.63	c |    333252 |   43722   339879  1346357 |        1    36705     15 |  4.489 % |
22.59/22.63	c |    334354 |   43722   339879  1346357 |        1    37807     16 |  4.489 % |
22.59/22.63	c |    337344 |   43722   337621  1335878 |        1    40559     17 |  4.489 % |
22.59/22.63	c |    337444 |   43722   337621  1335878 |        1    40659     17 |  4.489 % |
22.59/22.63	c |    337545 |   43722   337621  1335878 |        1    40760     17 |  4.489 % |
22.59/22.63	c |    337645 |   43722   337621  1335878 |        1    40860     17 |  4.489 % |
22.59/22.63	c |    337885 |   43722   337621  1335878 |        1    41100     17 |  4.489 % |
22.59/22.63	c |    338905 |   43722   337621  1335878 |        1    42120     18 |  4.489 % |
22.59/22.63	c |    339005 |   43722   337621  1335878 |        1    42220     18 |  4.489 % |
22.59/22.63	c |    339409 |   43722   337621  1335878 |        1    42624     18 |  4.489 % |
22.59/22.63	c |    339626 |   43722   337621  1335878 |        1    42841     18 |  4.489 % |
22.59/22.63	c |    339727 |   43722   337621  1335878 |        1    42942     18 |  4.489 % |
22.59/22.63	c |    339909 |   43722   337621  1335878 |        1    43124     18 |  4.489 % |
22.59/22.63	c |    340009 |   43721   337621  1335878 |        1    43223     18 |  4.491 % |
22.59/22.63	c |    340259 |   43718   337621  1335878 |        1    43472     18 |  4.498 % |
22.59/22.63	c |    341116 |   43718   337621  1335878 |        1    44329     18 |  4.498 % |
22.59/22.63	c |    341333 |   43718   337621  1335878 |        1    44546     18 |  4.498 % |
22.59/22.63	c |    341433 |   43718   337621  1335878 |        1    44646     18 |  4.498 % |
22.59/22.63	c |    358131 |   43718   337621  1335878 |        1    61344     22 |  4.498 % |
22.59/22.63	c |    358232 |   43718   337577  1335686 |        1    61437     22 |  4.498 % |
22.59/22.63	c |    358423 |   43718   337577  1335686 |        1    61628     22 |  4.498 % |
24.88/24.96	c |    358524 |   43718   337577  1335686 |        1    61729     22 |  4.498 % |
24.88/24.96	c |    358633 |   43669   337577  1335686 |        1    61837     22 |  4.605 % |
24.88/24.96	c |    358734 |   43669   337577  1335686 |        1    61938     22 |  4.605 % |
24.88/24.96	c |    358835 |   43669   337577  1335686 |        1    62039     22 |  4.605 % |
24.88/24.96	c |    359120 |   43669   337577  1335686 |        1    62324     22 |  4.605 % |
24.88/24.96	c |    359220 |   43669   337577  1335686 |        1    62424     22 |  4.605 % |
24.88/24.96	c |    359356 |   43669   337577  1335686 |        1    62560     22 |  4.605 % |
24.88/24.96	c |    359458 |   43669   337577  1335686 |        1    62662     22 |  4.605 % |
24.88/24.96	c |    360515 |   43669   337577  1335686 |        1    63719     22 |  4.605 % |
24.88/24.96	c |    360711 |   43669   337577  1335686 |        1    63915     22 |  4.605 % |
24.88/24.96	c |    360811 |   43669   337577  1335686 |        1    64015     22 |  4.605 % |
24.88/24.96	c |    360948 |   43669   337577  1335686 |        1    64152     22 |  4.605 % |
24.88/24.96	c |    361048 |   43669   337577  1335686 |        1    64252     22 |  4.605 % |
24.88/24.96	c |    361148 |   43669   337577  1335686 |        1    64352     22 |  4.605 % |
24.88/24.96	c |    363353 |   43669   337577  1335686 |        1    66557     23 |  4.605 % |
24.88/24.96	c |    363460 |   43669   337577  1335686 |        1    66664     23 |  4.605 % |
24.88/24.96	c |    363562 |   43669   337577  1335686 |        1    66766     23 |  4.605 % |
24.88/24.96	c |    363663 |   43669   337577  1335686 |        1    66867     23 |  4.605 % |
24.88/24.96	c |    363789 |   43669   337577  1335686 |        1    66993     23 |  4.605 % |
24.88/24.96	c |    369596 |   43666   337577  1335686 |        1    72799     23 |  4.611 % |
24.88/24.96	c |    369697 |   43666   337577  1335686 |        1    72900     23 |  4.611 % |
24.88/24.96	c |    370331 |   43666   337577  1335686 |        1    73534     23 |  4.611 % |
24.88/24.96	c |    370514 |   43666   337577  1335686 |        1    73717     23 |  4.611 % |
24.88/24.96	c |    370614 |   43666   337577  1335686 |        1    73817     23 |  4.611 % |
24.88/24.96	c |    370791 |   43666   337577  1335686 |        1    73994     23 |  4.611 % |
24.88/24.96	c |    370892 |   43666   337577  1335686 |        1    74095     23 |  4.611 % |
24.88/24.96	c |    370994 |   43666   337577  1335686 |        1    74197     23 |  4.611 % |
24.88/24.96	c |    391070 |   43666   337577  1335686 |        1    54718     20 |  4.611 % |
24.88/24.96	c |    391170 |   43666   336690  1331451 |        1    54800     20 |  4.611 % |
24.88/24.96	c |    392467 |   43636   336690  1331451 |        1    56095     20 |  4.677 % |
24.88/24.96	c |    393038 |   43636   336690  1331451 |        1    56666     20 |  4.677 % |
24.88/24.96	c |    393138 |   43636   336690  1331451 |        1    56766     20 |  4.677 % |
24.88/24.96	c |    393238 |   43636   336690  1331451 |        1    56866     20 |  4.677 % |
24.88/24.96	c |    393338 |   43636   336690  1331451 |        1    56966     20 |  4.677 % |
24.88/24.96	c |    393438 |   43636   336690  1331451 |        1    57066     20 |  4.677 % |
24.88/24.96	c |    393538 |   43636   336690  1331451 |        1    57166     20 |  4.677 % |
24.88/24.96	c |    393638 |   43636   336690  1331451 |        1    57266     20 |  4.677 % |
24.88/24.96	c |    393967 |   43636   336690  1331451 |        1    57595     20 |  4.677 % |
24.88/24.96	c |    394068 |   43636   336690  1331451 |        1    57696     20 |  4.677 % |
24.88/24.96	c |    394229 |   43636   336690  1331451 |        1    57857     20 |  4.677 % |
24.88/24.96	c |    394331 |   43636   336690  1331451 |        1    57959     20 |  4.677 % |
24.88/24.96	c |    394431 |   43636   336690  1331451 |        1    58059     20 |  4.677 % |
24.88/24.96	c |    394636 |   43636   336690  1331451 |        1    58264     20 |  4.677 % |
24.88/24.96	c |    394736 |   43636   336690  1331451 |        1    58364     20 |  4.677 % |
24.88/24.96	c |    394837 |   43636   336690  1331451 |        1    58465     20 |  4.677 % |
24.88/24.96	c |    394937 |   43636   336690  1331451 |        1    58565     20 |  4.677 % |
24.88/24.96	c |    395038 |   43636   336690  1331451 |        1    58666     20 |  4.677 % |
24.88/24.96	c |    395139 |   43636   336690  1331451 |        1    58767     20 |  4.677 % |
24.88/24.96	c |    397394 |   43635   336394  1330229 |        1    60612     20 |  4.679 % |
24.88/24.96	c |    397495 |   43635   336394  1330229 |        1    60713     20 |  4.679 % |
25.49/25.57	c |    397595 |   43635   336394  1330229 |        1    60813     20 |  4.679 % |
25.49/25.57	c |    397695 |   43635   336394  1330229 |        1    60913     20 |  4.679 % |
25.49/25.57	c |    398531 |   43635   336394  1330229 |        1    61749     20 |  4.679 % |
25.49/25.57	c |    398819 |   43635   336394  1330229 |        1    62037     20 |  4.679 % |
25.49/25.57	c |    398919 |   43635   336394  1330229 |        1    62137     20 |  4.679 % |
25.49/25.57	c |    399020 |   43635   336394  1330229 |        1    62238     20 |  4.679 % |
25.49/25.57	c |    399226 |   43635   336394  1330229 |        1    62444     20 |  4.679 % |
25.49/25.57	c |    399955 |   43635   336394  1330229 |        1    63173     20 |  4.679 % |
25.49/25.57	c |    400223 |   43635   336394  1330229 |        1    63441     20 |  4.679 % |
25.49/25.57	c |    400323 |   43635   336394  1330229 |        1    63541     20 |  4.679 % |
25.49/25.57	c |    400424 |   43635   336394  1330229 |        1    63642     20 |  4.679 % |
25.49/25.57	c |    400526 |   43635   336394  1330229 |        1    63744     20 |  4.679 % |
25.49/25.57	c |    400626 |   43635   336394  1330229 |        1    63844     20 |  4.679 % |
25.49/25.57	c |    400726 |   43635   336394  1330229 |        1    63944     20 |  4.679 % |
25.49/25.57	c |    400826 |   43635   336394  1330229 |        1    64044     20 |  4.679 % |
25.49/25.57	c |    400926 |   43635   336394  1330229 |        1    64144     20 |  4.679 % |
25.49/25.57	c |    401027 |   43635   336394  1330229 |        1    64245     20 |  4.679 % |
25.49/25.57	c |    401127 |   43635   336394  1330229 |        1    64345     20 |  4.679 % |
25.49/25.57	c |    401257 |   43635   336394  1330229 |        1    64475     20 |  4.679 % |
25.49/25.57	c |    401358 |   43635   336394  1330229 |        1    64576     20 |  4.679 % |
25.49/25.57	c |    401459 |   43635   336394  1330229 |        1    64677     20 |  4.679 % |
25.49/25.57	c |    401559 |   43635   336394  1330229 |        1    64777     20 |  4.679 % |
25.49/25.57	c |    401659 |   43635   336394  1330229 |        1    64877     20 |  4.679 % |
25.49/25.57	c |    401761 |   43635   336394  1330229 |        1    64979     20 |  4.679 % |
25.49/25.57	c |    401870 |   43635   336394  1330229 |        1    65088     20 |  4.679 % |
25.49/25.57	c |    402020 |   43635   336394  1330229 |        1    65238     20 |  4.679 % |
25.49/25.57	c |    402123 |   43634   336394  1330229 |        1    65340     21 |  4.681 % |
25.49/25.57	c |    402223 |   43634   336394  1330229 |        1    65440     21 |  4.681 % |
25.49/25.57	c |    403254 |   43634   336394  1330229 |        1    66471     20 |  4.681 % |
25.49/25.57	c |    403355 |   43634   336394  1330229 |        1    66572     21 |  4.681 % |
25.49/25.57	c |    403460 |   43634   336394  1330229 |        1    66677     21 |  4.681 % |
25.49/25.57	c |    403560 |   43634   336394  1330229 |        1    66777     21 |  4.681 % |
25.49/25.57	c |    403662 |   43634   336394  1330229 |        1    66879     21 |  4.681 % |
25.49/25.57	c |    403762 |   43634   336394  1330229 |        1    66979     21 |  4.681 % |
25.49/25.57	c |    403863 |   43634   336394  1330229 |        1    67080     21 |  4.681 % |
25.49/25.57	c |    403963 |   43634   336394  1330229 |        1    67180     21 |  4.681 % |
25.49/25.57	c |    404064 |   43634   336390  1330209 |        1    67263     21 |  4.681 % |
25.49/25.57	c |    404164 |   43634   336390  1330209 |        1    67363     21 |  4.681 % |
25.49/25.57	c |    404265 |   43634   336390  1330209 |        1    67464     21 |  4.681 % |
25.49/25.57	c |    404365 |   43634   336390  1330209 |        1    67564     21 |  4.681 % |
25.49/25.57	c |    404465 |   43634   336390  1330209 |        1    67664     21 |  4.681 % |
25.49/25.57	c |    404565 |   43634   336390  1330209 |        1    67764     21 |  4.681 % |
25.49/25.57	c |    404666 |   43634   336390  1330209 |        1    67865     21 |  4.681 % |
25.49/25.57	c |    404766 |   43630   336390  1330209 |        1    67964     21 |  4.690 % |
25.49/25.57	c |    404866 |   43630   336390  1330209 |        1    68064     21 |  4.690 % |
25.49/25.57	c |    404970 |   43630   336390  1330209 |        1    68168     21 |  4.690 % |
25.49/25.57	c |    405070 |   43630   336390  1330209 |        1    68268     21 |  4.690 % |
25.49/25.57	c |    405170 |   43630   336390  1330209 |        1    68368     21 |  4.690 % |
25.49/25.57	c |    405271 |   43630   336390  1330209 |        1    68469     21 |  4.690 % |
25.49/25.57	c |    405371 |   43630   336390  1330209 |        1    68569     21 |  4.690 % |
25.99/26.05	c |    405536 |   43630   336390  1330209 |        1    68734     21 |  4.690 % |
25.99/26.05	c |    405636 |   43630   336390  1330209 |        1    68834     21 |  4.690 % |
25.99/26.05	c |    405788 |   43630   336390  1330209 |        1    68986     21 |  4.690 % |
25.99/26.05	c |    405888 |   43630   336390  1330209 |        1    69086     21 |  4.690 % |
25.99/26.05	c |    405989 |   43630   336390  1330209 |        1    69187     21 |  4.690 % |
25.99/26.05	c |    406089 |   43630   336390  1330209 |        1    69287     21 |  4.690 % |
25.99/26.05	c |    406189 |   43630   336390  1330209 |        1    69387     21 |  4.690 % |
25.99/26.05	c |    406289 |   43630   336390  1330209 |        1    69487     21 |  4.690 % |
25.99/26.05	c |    406389 |   43630   336390  1330209 |        1    69587     21 |  4.690 % |
25.99/26.05	c |    406490 |   43630   336390  1330209 |        1    69688     21 |  4.690 % |
25.99/26.05	c |    406590 |   43630   336390  1330209 |        1    69788     21 |  4.690 % |
25.99/26.05	c |    406692 |   43630   336390  1330209 |        1    69890     21 |  4.690 % |
25.99/26.05	c |    406792 |   43630   336390  1330209 |        1    69990     21 |  4.690 % |
25.99/26.05	c |    406893 |   43630   336390  1330209 |        1    70091     21 |  4.690 % |
25.99/26.05	c |    406994 |   43630   336390  1330209 |        1    70192     21 |  4.690 % |
25.99/26.05	c |    407094 |   43630   336390  1330209 |        1    70292     21 |  4.690 % |
25.99/26.05	c |    407195 |   43630   336390  1330209 |        1    70393     21 |  4.690 % |
25.99/26.05	c |    407298 |   43630   336390  1330209 |        1    70496     21 |  4.690 % |
25.99/26.05	c |    407400 |   43630   336390  1330209 |        1    70598     21 |  4.690 % |
25.99/26.05	c |    407500 |   43630   336390  1330209 |        1    70698     21 |  4.690 % |
25.99/26.05	c |    407605 |   43630   336390  1330209 |        1    70803     22 |  4.690 % |
25.99/26.05	c |    407706 |   43630   336390  1330209 |        1    70904     22 |  4.690 % |
25.99/26.05	c |    407806 |   43630   336390  1330209 |        1    71004     22 |  4.690 % |
25.99/26.05	c |    407906 |   43630   336390  1330209 |        1    71104     22 |  4.690 % |
25.99/26.05	c |    408007 |   43630   336390  1330209 |        1    71205     22 |  4.690 % |
25.99/26.05	c |    408107 |   43630   336390  1330209 |        1    71305     22 |  4.690 % |
25.99/26.05	c |    408209 |   43630   336390  1330209 |        1    71407     22 |  4.690 % |
25.99/26.05	c |    408309 |   43630   336390  1330209 |        1    71507     22 |  4.690 % |
25.99/26.05	c |    408409 |   43630   336390  1330209 |        1    71607     22 |  4.690 % |
25.99/26.05	c |    408509 |   43630   336390  1330209 |        1    71707     22 |  4.690 % |
25.99/26.05	c |    408609 |   43630   336390  1330209 |        1    71807     22 |  4.690 % |
25.99/26.05	c |    408709 |   43630   336390  1330209 |        1    71907     22 |  4.690 % |
25.99/26.05	c |    408809 |   43630   336390  1330209 |        1    72007     22 |  4.690 % |
25.99/26.05	c |    408911 |   43630   336390  1330209 |        1    72109     22 |  4.690 % |
25.99/26.05	c |    409011 |   43630   336390  1330209 |        1    72209     22 |  4.690 % |
25.99/26.05	c |    409111 |   43630   336390  1330209 |        1    72309     22 |  4.690 % |
25.99/26.05	c |    409211 |   43630   336390  1330209 |        1    72409     22 |  4.690 % |
25.99/26.05	c |    409311 |   43630   336390  1330209 |        1    72509     22 |  4.690 % |
25.99/26.05	c |    409412 |   43630   336390  1330209 |        1    72610     22 |  4.690 % |
25.99/26.05	c |    409516 |   43630   336390  1330209 |        1    72714     22 |  4.690 % |
25.99/26.05	c |    409618 |   43630   336390  1330209 |        1    72816     22 |  4.690 % |
25.99/26.05	c |    409718 |   43630   336390  1330209 |        1    72916     22 |  4.690 % |
25.99/26.05	c |    409820 |   43630   336390  1330209 |        1    73018     22 |  4.690 % |
25.99/26.05	c |    409921 |   43630   336390  1330209 |        1    73119     22 |  4.690 % |
25.99/26.05	c |    410021 |   43630   336390  1330209 |        1    73219     22 |  4.690 % |
25.99/26.05	c |    410122 |   43630   336362  1330090 |        1    73319     22 |  4.690 % |
25.99/26.05	c |    410222 |   43630   336362  1330090 |        1    73419     22 |  4.690 % |
25.99/26.05	c |    410323 |   43630   336362  1330090 |        1    73520     22 |  4.690 % |
25.99/26.05	c |    410423 |   43630   336362  1330090 |        1    73620     22 |  4.690 % |
25.99/26.05	c |    410523 |   43630   336362  1330090 |        1    73720     22 |  4.690 % |
26.49/26.55	c |    410623 |   43630   336362  1330090 |        1    73820     22 |  4.690 % |
26.49/26.55	c |    410723 |   43630   336362  1330090 |        1    73920     22 |  4.690 % |
26.49/26.55	c |    410826 |   43630   336362  1330090 |        1    74023     22 |  4.690 % |
26.49/26.55	c |    410927 |   43630   336362  1330090 |        1    74124     22 |  4.690 % |
26.49/26.55	c |    411027 |   43630   336362  1330090 |        1    74224     22 |  4.690 % |
26.49/26.55	c |    411127 |   43630   336362  1330090 |        1    74324     22 |  4.690 % |
26.49/26.55	c |    411227 |   43630   336362  1330090 |        1    74424     22 |  4.690 % |
26.49/26.55	c |    411329 |   43630   336362  1330090 |        1    74526     22 |  4.690 % |
26.49/26.55	c |    411431 |   43630   336362  1330090 |        1    74628     22 |  4.690 % |
26.49/26.55	c |    411533 |   43630   336362  1330090 |        1    74730     23 |  4.690 % |
26.49/26.55	c |    411635 |   43630   336362  1330090 |        1    74832     23 |  4.690 % |
26.49/26.55	c |    411737 |   43630   336362  1330090 |        1    74934     23 |  4.690 % |
26.49/26.55	c |    411843 |   43630   336362  1330090 |        1    75040     23 |  4.690 % |
26.49/26.55	c |    411943 |   43630   336362  1330090 |        1    75140     23 |  4.690 % |
26.49/26.55	c |    412043 |   43630   336362  1330090 |        1    75240     23 |  4.690 % |
26.49/26.55	c |    412143 |   43630   336362  1330090 |        1    75340     23 |  4.690 % |
26.49/26.55	c |    412246 |   43630   336362  1330090 |        1    75443     23 |  4.690 % |
26.49/26.55	c |    412346 |   43630   336362  1330090 |        1    75543     23 |  4.690 % |
26.49/26.55	c |    412446 |   43630   336362  1330090 |        1    75643     23 |  4.690 % |
26.49/26.55	c |    412546 |   43630   336362  1330090 |        1    75743     23 |  4.690 % |
26.49/26.55	c |    412646 |   43630   336362  1330090 |        1    75843     23 |  4.690 % |
26.49/26.55	c |    412746 |   43630   336362  1330090 |        1    75943     23 |  4.690 % |
26.49/26.55	c |    412846 |   43630   336362  1330090 |        1    76043     23 |  4.690 % |
26.49/26.55	c |    412946 |   43630   336362  1330090 |        1    76143     23 |  4.690 % |
26.49/26.55	c |    413046 |   43630   336362  1330090 |        1    76243     23 |  4.690 % |
26.49/26.55	c |    413146 |   43630   336362  1330090 |        1    76343     23 |  4.690 % |
26.49/26.55	c |    413250 |   43630   336362  1330090 |        1    76447     23 |  4.690 % |
26.49/26.55	c |    413352 |   43630   336362  1330090 |        1    76549     23 |  4.690 % |
26.49/26.55	c |    413452 |   43630   336362  1330090 |        1    76649     23 |  4.690 % |
26.49/26.55	c |    413552 |   43630   336362  1330090 |        1    76749     23 |  4.690 % |
26.49/26.55	c |    413652 |   43630   336362  1330090 |        1    76849     23 |  4.690 % |
26.49/26.55	c |    413753 |   43630   336362  1330090 |        1    76950     23 |  4.690 % |
26.49/26.55	c |    413856 |   43630   336362  1330090 |        1    77053     23 |  4.690 % |
26.49/26.55	c |    413958 |   43630   336362  1330090 |        1    77155     23 |  4.690 % |
26.49/26.55	c |    414058 |   43630   336362  1330090 |        1    77255     23 |  4.690 % |
26.49/26.55	c |    414158 |   43630   336362  1330090 |        1    77355     23 |  4.690 % |
26.49/26.55	c |    414258 |   43630   336362  1330090 |        1    77455     23 |  4.690 % |
26.49/26.55	c |    414359 |   43630   336362  1330090 |        1    77556     23 |  4.690 % |
26.49/26.55	c |    414460 |   43630   336362  1330090 |        1    77657     23 |  4.690 % |
26.49/26.55	c |    414560 |   43630   336362  1330090 |        1    77757     23 |  4.690 % |
26.49/26.55	c |    414660 |   43630   336362  1330090 |        1    77857     23 |  4.690 % |
26.49/26.55	c |    414760 |   43630   336362  1330090 |        1    77957     23 |  4.690 % |
26.49/26.55	c |    414865 |   43630   336362  1330090 |        1    78062     23 |  4.690 % |
26.49/26.55	c |    414965 |   43630   336362  1330090 |        1    78162     23 |  4.690 % |
26.49/26.55	c |    415065 |   43630   336362  1330090 |        1    78262     23 |  4.690 % |
26.49/26.55	c |    415165 |   43630   336362  1330090 |        1    78362     23 |  4.690 % |
26.49/26.55	c |    415265 |   43630   336362  1330090 |        1    78462     23 |  4.690 % |
26.49/26.55	c |    415368 |   43630   336362  1330090 |        1    78565     23 |  4.690 % |
26.49/26.55	c |    415468 |   43630   336362  1330090 |        1    78665     23 |  4.690 % |
26.49/26.55	c |    415568 |   43630   336362  1330090 |        1    78765     23 |  4.690 % |
26.98/27.07	c |    415670 |   43630   336362  1330090 |        1    78867     23 |  4.690 % |
26.98/27.07	c |    415772 |   43630   336362  1330090 |        1    78969     23 |  4.690 % |
26.98/27.07	c |    415872 |   43630   336362  1330090 |        1    79069     23 |  4.690 % |
26.98/27.07	c |    415972 |   43630   336362  1330090 |        1    79169     23 |  4.690 % |
26.98/27.07	c |    416073 |   43630   336362  1330090 |        1    79270     24 |  4.690 % |
26.98/27.07	c |    416178 |   43630   336362  1330090 |        1    79375     24 |  4.690 % |
26.98/27.07	c |    416279 |   43630   336362  1330090 |        1    79476     24 |  4.690 % |
26.98/27.07	c |    416382 |   43630   336362  1330090 |        1    79579     24 |  4.690 % |
26.98/27.07	c |    416483 |   43630   336362  1330090 |        1    79680     24 |  4.690 % |
26.98/27.07	c |    416583 |   43630   336362  1330090 |        1    79780     24 |  4.690 % |
26.98/27.07	c |    416683 |   43630   336362  1330090 |        1    79880     24 |  4.690 % |
26.98/27.07	c |    416783 |   43630   336362  1330090 |        1    79980     24 |  4.690 % |
26.98/27.07	c |    416883 |   43630   336362  1330090 |        1    80080     24 |  4.690 % |
26.98/27.07	c |    416983 |   43630   336362  1330090 |        1    80180     24 |  4.690 % |
26.98/27.07	c |    417088 |   43630   336362  1330090 |        1    80285     24 |  4.690 % |
26.98/27.07	c |    417188 |   43630   336362  1330090 |        1    80385     24 |  4.690 % |
26.98/27.07	c |    417290 |   43630   336362  1330090 |        1    80487     24 |  4.690 % |
26.98/27.07	c |    417391 |   43630   336362  1330090 |        1    80588     24 |  4.690 % |
26.98/27.07	c |    417491 |   43630   336362  1330090 |        1    80688     24 |  4.690 % |
26.98/27.07	c |    417591 |   43630   336362  1330090 |        1    80788     24 |  4.690 % |
26.98/27.07	c |    417691 |   43630   336362  1330090 |        1    80888     24 |  4.690 % |
26.98/27.07	c |    417791 |   43630   336362  1330090 |        1    80988     24 |  4.690 % |
26.98/27.07	c |    417891 |   43630   336362  1330090 |        1    81088     24 |  4.690 % |
26.98/27.07	c |    417992 |   43630   336362  1330090 |        1    81189     24 |  4.690 % |
26.98/27.07	c |    418093 |   43630   336362  1330090 |        1    81290     24 |  4.690 % |
26.98/27.07	c |    418194 |   43630   336362  1330090 |        1    81391     24 |  4.690 % |
26.98/27.07	c |    418294 |   43630   336362  1330090 |        1    81491     24 |  4.690 % |
26.98/27.07	c |    418394 |   43630   336362  1330090 |        1    81591     24 |  4.690 % |
26.98/27.07	c |    418495 |   43630   336362  1330090 |        1    81692     24 |  4.690 % |
26.98/27.07	c |    418601 |   43630   336362  1330090 |        1    81798     24 |  4.690 % |
26.98/27.07	c |    418701 |   43630   336362  1330090 |        1    81898     24 |  4.690 % |
26.98/27.07	c |    418801 |   43630   336362  1330090 |        1    81998     24 |  4.690 % |
26.98/27.07	c |    418901 |   43630   336362  1330090 |        1    82098     24 |  4.690 % |
26.98/27.07	c |    419003 |   43630   336362  1330090 |        1    82200     24 |  4.690 % |
26.98/27.07	c |    419105 |   43630   336362  1330090 |        1    82302     24 |  4.690 % |
26.98/27.07	c |    419205 |   43630   336362  1330090 |        1    82402     24 |  4.690 % |
26.98/27.07	c |    419306 |   43630   336362  1330090 |        1    82503     24 |  4.690 % |
26.98/27.07	c |    419406 |   43630   336362  1330090 |        1    82603     24 |  4.690 % |
26.98/27.07	c |    419506 |   43630   336362  1330090 |        1    82703     24 |  4.690 % |
26.98/27.07	c |    419607 |   43630   336362  1330090 |        1    82804     24 |  4.690 % |
26.98/27.07	c |    419707 |   43630   336362  1330090 |        1    82904     24 |  4.690 % |
26.98/27.07	c |    419807 |   43630   336362  1330090 |        1    83004     24 |  4.690 % |
26.98/27.07	c |    419909 |   43630   336362  1330090 |        1    83106     24 |  4.690 % |
26.98/27.07	c |    420010 |   43630   336362  1330090 |        1    83207     24 |  4.690 % |
26.98/27.07	c |    420110 |   43630   336362  1330090 |        1    83307     24 |  4.690 % |
26.98/27.07	c |    420212 |   43630   336362  1330090 |        1    83409     24 |  4.690 % |
26.98/27.07	c |    420313 |   43630   336362  1330090 |        1    83510     24 |  4.690 % |
26.98/27.07	c |    420413 |   43630   336362  1330090 |        1    83610     24 |  4.690 % |
26.98/27.07	c |    420513 |   43630   336362  1330090 |        1    83710     24 |  4.690 % |
26.98/27.07	c |    420613 |   43630   336362  1330090 |        1    83810     24 |  4.690 % |
27.58/27.64	c |    420713 |   43630   336362  1330090 |        1    83910     24 |  4.690 % |
27.58/27.64	c |    420814 |   43630   336362  1330090 |        1    84011     24 |  4.690 % |
27.58/27.64	c |    420916 |   43630   336362  1330090 |        1    84113     24 |  4.690 % |
27.58/27.64	c |    421016 |   43630   336362  1330090 |        1    84213     25 |  4.690 % |
27.58/27.64	c |    421117 |   43630   336362  1330090 |        1    84314     25 |  4.690 % |
27.58/27.64	c |    421217 |   43630   336362  1330090 |        1    84414     25 |  4.690 % |
27.58/27.64	c |    421317 |   43630   336362  1330090 |        1    84514     25 |  4.690 % |
27.58/27.64	c |    421417 |   43630   336362  1330090 |        1    84614     25 |  4.690 % |
27.58/27.64	c |    421518 |   43630   336362  1330090 |        1    84715     25 |  4.690 % |
27.58/27.64	c |    421618 |   43630   336362  1330090 |        1    42435     15 |  4.690 % |
27.58/27.64	c |    421718 |   43630   336362  1330090 |        1    42535     15 |  4.690 % |
27.58/27.64	c |    421818 |   43630   336362  1330090 |        1    42635     15 |  4.690 % |
27.58/27.64	c |    421919 |   43630   336362  1330090 |        1    42736     15 |  4.690 % |
27.58/27.64	c |    422020 |   43630   336362  1330090 |        1    42837     15 |  4.690 % |
27.58/27.64	c |    422121 |   43630   336362  1330090 |        1    42938     15 |  4.690 % |
27.58/27.64	c |    422221 |   43630   336362  1330090 |        1    43038     15 |  4.690 % |
27.58/27.64	c |    422325 |   43630   336362  1330090 |        1    43142     15 |  4.690 % |
27.58/27.64	c |    422426 |   43630   336362  1330090 |        1    43243     15 |  4.690 % |
27.58/27.64	c |    422527 |   43630   336362  1330090 |        1    43344     15 |  4.690 % |
27.58/27.64	c |    422628 |   43630   336362  1330090 |        1    43445     15 |  4.690 % |
27.58/27.64	c |    422728 |   43630   336362  1330090 |        1    43545     15 |  4.690 % |
27.58/27.64	c |    422828 |   43630   336362  1330090 |        1    43645     15 |  4.690 % |
27.58/27.64	c |    422931 |   43630   336362  1330090 |        1    43748     16 |  4.690 % |
27.58/27.64	c |    423036 |   43630   336362  1330090 |        1    43853     16 |  4.690 % |
27.58/27.64	c |    423136 |   43630   336362  1330090 |        1    43953     16 |  4.690 % |
27.58/27.64	c |    423236 |   43630   336362  1330090 |        1    44053     16 |  4.690 % |
27.58/27.64	c |    423336 |   43630   336362  1330090 |        1    44153     16 |  4.690 % |
27.58/27.64	c |    423437 |   43630   336362  1330090 |        1    44254     16 |  4.690 % |
27.58/27.64	c |    423540 |   43630   336362  1330090 |        1    44357     16 |  4.690 % |
27.58/27.64	c |    423640 |   43630   336362  1330090 |        1    44457     16 |  4.690 % |
27.58/27.64	c |    423741 |   43630   336362  1330090 |        1    44558     16 |  4.690 % |
27.58/27.64	c |    423843 |   43630   336362  1330090 |        1    44660     16 |  4.690 % |
27.58/27.64	c |    423943 |   43630   336362  1330090 |        1    44760     16 |  4.690 % |
27.58/27.64	c |    424043 |   43630   336362  1330090 |        1    44860     16 |  4.690 % |
27.58/27.64	c |    424144 |   43630   336362  1330090 |        1    44961     16 |  4.690 % |
27.58/27.64	c |    424244 |   43630   336362  1330090 |        1    45061     16 |  4.690 % |
27.58/27.64	c |    424347 |   43630   336362  1330090 |        1    45164     16 |  4.690 % |
27.58/27.64	c |    424447 |   43630   336362  1330090 |        1    45264     16 |  4.690 % |
27.58/27.64	c |    424553 |   43630   336362  1330090 |        1    45370     16 |  4.690 % |
27.58/27.64	c |    424653 |   43630   336362  1330090 |        1    45470     16 |  4.690 % |
27.58/27.64	c |    424761 |   43630   336362  1330090 |        1    45578     17 |  4.690 % |
27.58/27.64	c |    424862 |   43630   336362  1330090 |        1    45679     17 |  4.690 % |
27.58/27.64	c |    424962 |   43630   336362  1330090 |        1    45779     17 |  4.690 % |
27.58/27.64	c |    425062 |   43630   336362  1330090 |        1    45879     17 |  4.690 % |
27.58/27.64	c |    425163 |   43630   336362  1330090 |        1    45980     17 |  4.690 % |
27.58/27.64	c |    425264 |   43630   336362  1330090 |        1    46081     17 |  4.690 % |
27.58/27.64	c |    425364 |   43630   336362  1330090 |        1    46181     17 |  4.690 % |
27.58/27.64	c |    425466 |   43630   336362  1330090 |        1    46283     17 |  4.690 % |
27.58/27.64	c |    425566 |   43630   336362  1330090 |        1    46383     17 |  4.690 % |
27.58/27.64	c |    425667 |   43630   336362  1330090 |        1    46484     17 |  4.690 % |
28.28/28.30	c |    425767 |   43630   336362  1330090 |        1    46584     17 |  4.690 % |
28.28/28.30	c |    425867 |   43630   336362  1330090 |        1    46684     17 |  4.690 % |
28.28/28.30	c |    425967 |   43630   336362  1330090 |        1    46784     17 |  4.690 % |
28.28/28.30	c |    426067 |   43630   336362  1330090 |        1    46884     17 |  4.690 % |
28.28/28.30	c |    426168 |   43630   336362  1330090 |        1    46985     17 |  4.690 % |
28.28/28.30	c |    426268 |   43630   336362  1330090 |        1    47085     17 |  4.690 % |
28.28/28.30	c |    426369 |   43630   336362  1330090 |        1    47186     17 |  4.690 % |
28.28/28.30	c |    426469 |   43630   336362  1330090 |        1    47286     17 |  4.690 % |
28.28/28.30	c |    426571 |   43630   336362  1330090 |        1    47388     17 |  4.690 % |
28.28/28.30	c |    426671 |   43630   336362  1330090 |        1    47488     17 |  4.690 % |
28.28/28.30	c |    426772 |   43630   336362  1330090 |        1    47589     17 |  4.690 % |
28.28/28.30	c |    426873 |   43630   336362  1330090 |        1    47690     18 |  4.690 % |
28.28/28.30	c |    426973 |   43630   336362  1330090 |        1    47790     18 |  4.690 % |
28.28/28.30	c |    427073 |   43630   336362  1330090 |        1    47890     18 |  4.690 % |
28.28/28.30	c |    427174 |   43630   336362  1330090 |        1    47991     18 |  4.690 % |
28.28/28.30	c |    427275 |   43630   336362  1330090 |        1    48092     18 |  4.690 % |
28.28/28.30	c |    427375 |   43630   336362  1330090 |        1    48192     18 |  4.690 % |
28.28/28.30	c |    427475 |   43630   336362  1330090 |        1    48292     18 |  4.690 % |
28.28/28.30	c |    427575 |   43630   336362  1330090 |        1    48392     18 |  4.690 % |
28.28/28.30	c |    427677 |   43630   336362  1330090 |        1    48494     18 |  4.690 % |
28.28/28.30	c |    427778 |   43630   336362  1330090 |        1    48595     18 |  4.690 % |
28.28/28.30	c |    427878 |   43630   336362  1330090 |        1    48695     18 |  4.690 % |
28.28/28.30	c |    427979 |   43630   336362  1330090 |        1    48796     18 |  4.690 % |
28.28/28.30	c |    428079 |   43630   336362  1330090 |        1    48896     18 |  4.690 % |
28.28/28.30	c |    429991 |   43629   336344  1330029 |        1    49246     18 |  4.692 % |
28.28/28.30	c |    430092 |   43629   336344  1330029 |        1    49347     18 |  4.692 % |
28.28/28.30	c |    430193 |   43629   336344  1330029 |        1    49448     18 |  4.692 % |
28.28/28.30	c |    430293 |   43629   336344  1330029 |        1    49548     18 |  4.692 % |
28.28/28.30	c |    430393 |   43629   336344  1330029 |        1    49648     18 |  4.692 % |
28.28/28.30	c |    430493 |   43629   336344  1330029 |        1    49748     18 |  4.692 % |
28.28/28.30	c |    430593 |   43629   336344  1330029 |        1    49848     18 |  4.692 % |
28.28/28.30	c |    430693 |   43629   336344  1330029 |        1    49948     18 |  4.692 % |
28.28/28.30	c |    430794 |   43629   336344  1330029 |        1    50049     18 |  4.692 % |
28.28/28.30	c |    430894 |   43629   336344  1330029 |        1    50149     18 |  4.692 % |
28.28/28.30	c |    430996 |   43629   336344  1330029 |        1    50251     18 |  4.692 % |
28.28/28.30	c |    431096 |   43629   336344  1330029 |        1    50351     18 |  4.692 % |
28.28/28.30	c |    431196 |   43629   336344  1330029 |        1    50451     18 |  4.692 % |
28.28/28.30	c |    431297 |   43629   336344  1330029 |        1    50552     19 |  4.692 % |
28.28/28.30	c |    431397 |   43629   336344  1330029 |        1    50652     19 |  4.692 % |
28.28/28.30	c |    431497 |   43629   336344  1330029 |        1    50752     19 |  4.692 % |
28.28/28.30	c |    431597 |   43629   336344  1330029 |        1    50852     19 |  4.692 % |
28.28/28.30	c |    431697 |   43629   336344  1330029 |        1    50952     19 |  4.692 % |
28.28/28.30	c |    431797 |   43629   336344  1330029 |        1    51052     19 |  4.692 % |
28.28/28.30	c |    431902 |   43629   336344  1330029 |        1    51157     19 |  4.692 % |
28.28/28.30	c |    432005 |   43629   336344  1330029 |        1    51260     19 |  4.692 % |
28.28/28.30	c |    432105 |   43629   336344  1330029 |        1    51360     19 |  4.692 % |
28.28/28.30	c |    432205 |   43629   336344  1330029 |        1    51460     19 |  4.692 % |
28.28/28.30	c |    432305 |   43629   336344  1330029 |        1    51560     19 |  4.692 % |
28.28/28.30	c |    432407 |   43629   336344  1330029 |        1    51662     19 |  4.692 % |
28.28/28.30	c |    432508 |   43629   336344  1330029 |        1    51763     19 |  4.692 % |
28.78/28.83	c |    432608 |   43629   336344  1330029 |        1    51863     19 |  4.692 % |
28.78/28.83	c |    432709 |   43629   336344  1330029 |        1    51964     19 |  4.692 % |
28.78/28.83	c |    432809 |   43629   336344  1330029 |        1    52064     19 |  4.692 % |
28.78/28.83	c |    432910 |   43629   336344  1330029 |        1    52165     19 |  4.692 % |
28.78/28.83	c |    433010 |   43629   336344  1330029 |        1    52265     19 |  4.692 % |
28.78/28.83	c |    433110 |   43629   336344  1330029 |        1    52365     19 |  4.692 % |
28.78/28.83	c |    433212 |   43629   336344  1330029 |        1    52467     19 |  4.692 % |
28.78/28.83	c |    433645 |   43629   336344  1330029 |        1    52900     19 |  4.692 % |
28.78/28.83	c |    433746 |   43629   336344  1330029 |        1    53001     19 |  4.692 % |
28.78/28.83	c |    433846 |   43629   336344  1330029 |        1    53101     19 |  4.692 % |
28.78/28.83	c |    433947 |   43629   336344  1330029 |        1    53202     19 |  4.692 % |
28.78/28.83	c |    434048 |   43629   336344  1330029 |        1    53303     20 |  4.692 % |
28.78/28.83	c |    434148 |   43629   336344  1330029 |        1    53403     20 |  4.692 % |
28.78/28.83	c |    434248 |   43629   336344  1330029 |        1    53503     20 |  4.692 % |
28.78/28.83	c |    434348 |   43629   336344  1330029 |        1    53603     20 |  4.692 % |
28.78/28.83	c |    435054 |   43629   336344  1330029 |        1    54309     20 |  4.692 % |
28.78/28.83	c |    435158 |   43629   336344  1330029 |        1    54413     20 |  4.692 % |
28.78/28.83	c |    435258 |   43629   336344  1330029 |        1    54513     20 |  4.692 % |
28.78/28.83	c |    435360 |   43629   336344  1330029 |        1    54615     20 |  4.692 % |
28.78/28.83	c |    435462 |   43629   336344  1330029 |        1    54717     20 |  4.692 % |
28.78/28.83	c |    435562 |   43629   336344  1330029 |        1    54817     20 |  4.692 % |
28.78/28.83	c |    435662 |   43629   336344  1330029 |        1    54917     20 |  4.692 % |
28.78/28.83	c |    435763 |   43629   336344  1330029 |        1    55018     20 |  4.692 % |
28.78/28.83	c |    435864 |   43629   336344  1330029 |        1    55119     20 |  4.692 % |
28.78/28.83	c |    435964 |   43629   336344  1330029 |        1    55219     20 |  4.692 % |
28.78/28.83	c |    436182 |   43629   336344  1330029 |        1    55437     20 |  4.692 % |
28.78/28.83	c |    436282 |   43629   336344  1330029 |        1    55537     20 |  4.692 % |
28.78/28.83	c |    436385 |   43629   336344  1330029 |        1    55640     20 |  4.692 % |
28.78/28.83	c |    436485 |   43629   336344  1330029 |        1    55740     20 |  4.692 % |
28.78/28.83	c |    436586 |   43629   336344  1330029 |        1    55841     20 |  4.692 % |
28.78/28.83	c |    436686 |   43629   336344  1330029 |        1    55941     20 |  4.692 % |
28.78/28.83	c |    436787 |   43629   336344  1330029 |        1    56042     20 |  4.692 % |
28.78/28.83	c |    436887 |   43629   336344  1330029 |        1    56142     20 |  4.692 % |
28.78/28.83	c |    436987 |   43629   336344  1330029 |        1    56242     20 |  4.692 % |
28.78/28.83	c |    437088 |   43629   336344  1330029 |        1    56343     20 |  4.692 % |
28.78/28.83	c |    437188 |   43629   336344  1330029 |        1    56443     20 |  4.692 % |
28.78/28.83	c |    437291 |   43629   336344  1330029 |        1    56546     20 |  4.692 % |
28.78/28.83	c |    437393 |   43629   336344  1330029 |        1    56648     20 |  4.692 % |
28.78/28.83	c |    437495 |   43629   336344  1330029 |        1    56750     20 |  4.692 % |
28.78/28.83	c |    437596 |   43629   336344  1330029 |        1    56851     20 |  4.692 % |
28.78/28.83	c |    437698 |   43629   336344  1330029 |        1    56953     20 |  4.692 % |
28.78/28.83	c |    437799 |   43629   336344  1330029 |        1    57054     20 |  4.692 % |
28.78/28.83	c |    437899 |   43629   336344  1330029 |        1    57154     20 |  4.692 % |
28.78/28.83	c |    438000 |   43629   336344  1330029 |        1    57255     20 |  4.692 % |
28.78/28.83	c |    438103 |   43629   336344  1330029 |        1    57358     20 |  4.692 % |
28.78/28.83	c |    438203 |   43629   336344  1330029 |        1    57458     20 |  4.692 % |
28.78/28.83	c |    438306 |   43629   336344  1330029 |        1    57561     21 |  4.692 % |
28.78/28.83	c |    438408 |   43629   336344  1330029 |        1    57663     21 |  4.692 % |
28.78/28.83	c |    438510 |   43624   336268  1329713 |        1    57762     21 |  4.703 % |
28.78/28.83	c |    438613 |   43624   336268  1329713 |        1    57865     21 |  4.703 % |
29.18/29.29	c |    438715 |   43624   336268  1329713 |        1    57967     21 |  4.703 % |
29.18/29.29	c |    438817 |   43624   336268  1329713 |        1    58069     21 |  4.703 % |
29.18/29.29	c |    438917 |   43624   336268  1329713 |        1    58169     21 |  4.703 % |
29.18/29.29	c |    439017 |   43624   336268  1329713 |        1    58269     21 |  4.703 % |
29.18/29.29	c |    439117 |   43624   336268  1329713 |        1    58369     21 |  4.703 % |
29.18/29.29	c |    439217 |   43624   336268  1329713 |        1    58469     21 |  4.703 % |
29.18/29.29	c |    439320 |   43624   336268  1329713 |        1    58572     21 |  4.703 % |
29.18/29.29	c |    439420 |   43624   336268  1329713 |        1    58672     21 |  4.703 % |
29.18/29.29	c |    439520 |   43624   336268  1329713 |        1    58772     21 |  4.703 % |
29.18/29.29	c |    439621 |   43624   336268  1329713 |        1    58873     21 |  4.703 % |
29.18/29.29	c |    439721 |   43624   336268  1329713 |        1    58973     21 |  4.703 % |
29.18/29.29	c |    439823 |   43624   336268  1329713 |        1    59075     21 |  4.703 % |
29.18/29.29	c |    439924 |   43624   336268  1329713 |        1    59176     21 |  4.703 % |
29.18/29.29	c |    440025 |   43624   336268  1329713 |        1    59277     21 |  4.703 % |
29.18/29.29	c |    440125 |   43624   336268  1329713 |        1    59377     21 |  4.703 % |
29.18/29.29	c |    440226 |   43624   336268  1329713 |        1    59478     21 |  4.703 % |
29.18/29.29	c |    440327 |   43624   336268  1329713 |        1    59579     21 |  4.703 % |
29.18/29.29	c |    440429 |   43624   336268  1329713 |        1    59681     21 |  4.703 % |
29.18/29.29	c |    440532 |   43624   336268  1329713 |        1    59784     21 |  4.703 % |
29.18/29.29	c |    440632 |   43624   336268  1329713 |        1    59884     21 |  4.703 % |
29.18/29.29	c |    440732 |   43624   336268  1329713 |        1    59984     21 |  4.703 % |
29.18/29.29	c |    440832 |   43624   336268  1329713 |        1    60084     21 |  4.703 % |
29.18/29.29	c |    440932 |   43624   336268  1329713 |        1    60184     21 |  4.703 % |
29.18/29.29	c |    441032 |   43624   336268  1329713 |        1    60284     21 |  4.703 % |
29.18/29.29	c |    441133 |   43624   336268  1329713 |        1    60385     21 |  4.703 % |
29.18/29.29	c |    441236 |   43624   336268  1329713 |        1    60488     21 |  4.703 % |
29.18/29.29	c |    441337 |   43624   336268  1329713 |        1    60589     21 |  4.703 % |
29.18/29.29	c |    441439 |   43624   336268  1329713 |        1    60691     21 |  4.703 % |
29.18/29.29	c |    441539 |   43624   336268  1329713 |        1    60791     21 |  4.703 % |
29.18/29.29	c |    441641 |   43624   336268  1329713 |        1    60893     21 |  4.703 % |
29.18/29.29	c |    441741 |   43624   336268  1329713 |        1    60993     21 |  4.703 % |
29.18/29.29	c |    441842 |   43624   336268  1329713 |        1    61094     22 |  4.703 % |
29.18/29.29	c |    441943 |   43624   336268  1329713 |        1    61195     22 |  4.703 % |
29.18/29.29	c |    442043 |   43624   336268  1329713 |        1    61295     22 |  4.703 % |
29.18/29.29	c |    442144 |   43624   336268  1329713 |        1    61396     22 |  4.703 % |
29.18/29.29	c |    442245 |   43624   336268  1329713 |        1    61497     22 |  4.703 % |
29.18/29.29	c |    442345 |   43624   336268  1329713 |        1    61597     22 |  4.703 % |
29.18/29.29	c |    442446 |   43624   336268  1329713 |        1    61698     22 |  4.703 % |
29.18/29.29	c |    442546 |   43624   336268  1329713 |        1    61798     22 |  4.703 % |
29.18/29.29	c |    442646 |   43624   336268  1329713 |        1    61898     22 |  4.703 % |
29.18/29.29	c |    442746 |   43624   336268  1329713 |        1    61998     22 |  4.703 % |
29.18/29.29	c |    442846 |   43624   336268  1329713 |        1    62098     22 |  4.703 % |
29.18/29.29	c |    442948 |   43624   336268  1329713 |        1    62200     22 |  4.703 % |
29.18/29.29	c |    443049 |   43624   336268  1329713 |        1    62301     22 |  4.703 % |
29.18/29.29	c |    443151 |   43624   336268  1329713 |        1    62403     22 |  4.703 % |
29.18/29.29	c |    443252 |   43624   336268  1329713 |        1    62504     22 |  4.703 % |
29.18/29.29	c |    443354 |   43624   336268  1329713 |        1    62606     22 |  4.703 % |
29.18/29.29	c |    443456 |   43624   336268  1329713 |        1    62708     22 |  4.703 % |
29.18/29.29	c |    443556 |   43624   336268  1329713 |        1    62808     22 |  4.703 % |
29.18/29.29	c |    443656 |   43624   336268  1329713 |        1    62908     22 |  4.703 % |
29.78/29.80	c |    443756 |   43624   336268  1329713 |        1    63008     22 |  4.703 % |
29.78/29.80	c |    443856 |   43624   336268  1329713 |        1    63108     22 |  4.703 % |
29.78/29.80	c |    443959 |   43624   336268  1329713 |        1    63211     22 |  4.703 % |
29.78/29.80	c |    444059 |   43624   336268  1329713 |        1    63311     22 |  4.703 % |
29.78/29.80	c |    444160 |   43624   336268  1329713 |        1    63412     22 |  4.703 % |
29.78/29.80	c |    444262 |   43624   336268  1329713 |        1    63514     22 |  4.703 % |
29.78/29.80	c |    444364 |   43624   336268  1329713 |        1    63616     22 |  4.703 % |
29.78/29.80	c |    444466 |   43624   336268  1329713 |        1    63718     22 |  4.703 % |
29.78/29.80	c |    444567 |   43624   336268  1329713 |        1    63819     22 |  4.703 % |
29.78/29.80	c |    444669 |   43624   336268  1329713 |        1    63921     22 |  4.703 % |
29.78/29.80	c |    444770 |   43624   336268  1329713 |        1    64022     22 |  4.703 % |
29.78/29.80	c |    444870 |   43624   336268  1329713 |        1    64122     22 |  4.703 % |
29.78/29.80	c |    444970 |   43624   336268  1329713 |        1    64222     22 |  4.703 % |
29.78/29.80	c |    445071 |   43624   336268  1329713 |        1    64323     22 |  4.703 % |
29.78/29.80	c |    445171 |   43624   336268  1329713 |        1    64423     22 |  4.703 % |
29.78/29.80	c |    445275 |   43624   336268  1329713 |        1    64527     22 |  4.703 % |
29.78/29.80	c |    445379 |   43624   336268  1329713 |        1    64631     23 |  4.703 % |
29.78/29.80	c |    445479 |   43624   336268  1329713 |        1    64731     23 |  4.703 % |
29.78/29.80	c |    445579 |   43624   336268  1329713 |        1    64831     23 |  4.703 % |
29.78/29.80	c |    445680 |   43624   336268  1329713 |        1    64932     23 |  4.703 % |
29.78/29.80	c |    445783 |   43624   336268  1329713 |        1    65035     23 |  4.703 % |
29.78/29.80	c |    445891 |   43624   336268  1329713 |        1    65143     23 |  4.703 % |
29.78/29.80	c |    445993 |   43624   336268  1329713 |        1    65245     23 |  4.703 % |
29.78/29.80	c |    446095 |   43624   336268  1329713 |        1    65347     23 |  4.703 % |
29.78/29.80	c |    446196 |   43624   336268  1329713 |        1    65448     23 |  4.703 % |
29.78/29.80	c |    446296 |   43624   336268  1329713 |        1    65548     23 |  4.703 % |
29.78/29.80	c |    446396 |   43624   336268  1329713 |        1    65648     23 |  4.703 % |
29.78/29.80	c |    446541 |   43624   336268  1329713 |        1    65793     23 |  4.703 % |
29.78/29.80	c |    446641 |   43624   336268  1329713 |        1    65893     23 |  4.703 % |
29.78/29.80	c |    446742 |   43624   336268  1329713 |        1    65994     23 |  4.703 % |
29.78/29.80	c |    446843 |   43624   336268  1329713 |        1    66095     23 |  4.703 % |
29.78/29.80	c |    446943 |   43624   336268  1329713 |        1    66195     23 |  4.703 % |
29.78/29.80	c |    447043 |   43624   336268  1329713 |        1    66295     23 |  4.703 % |
29.78/29.80	c |    447144 |   43624   336268  1329713 |        1    66396     23 |  4.703 % |
29.78/29.80	c |    447247 |   43624   336268  1329713 |        1    66499     23 |  4.703 % |
29.78/29.80	c |    447347 |   43624   336268  1329713 |        1    66599     23 |  4.703 % |
29.78/29.80	c |    447447 |   43624   336268  1329713 |        1    66699     23 |  4.703 % |
29.78/29.80	c |    447547 |   43624   336268  1329713 |        1    66799     23 |  4.703 % |
29.78/29.80	c |    447650 |   43624   336268  1329713 |        1    66902     23 |  4.703 % |
29.78/29.80	c |    447751 |   43624   336268  1329713 |        1    67003     23 |  4.703 % |
29.78/29.80	c |    447852 |   43624   336268  1329713 |        1    67104     23 |  4.703 % |
29.78/29.80	c |    448062 |   43624   336268  1329713 |        1    67314     23 |  4.703 % |
29.78/29.80	c |    448162 |   43624   336268  1329713 |        1    67414     23 |  4.703 % |
29.78/29.80	c |    448262 |   43624   336268  1329713 |        1    67514     23 |  4.703 % |
29.78/29.80	c |    448362 |   43624   336268  1329713 |        1    67614     23 |  4.703 % |
29.78/29.80	c |    448462 |   43624   336268  1329713 |        1    67714     23 |  4.703 % |
29.78/29.80	c |    448564 |   43624   336268  1329713 |        1    67816     23 |  4.703 % |
29.78/29.80	c |    448664 |   43624   336268  1329713 |        1    67916     23 |  4.703 % |
29.78/29.80	c |    448766 |   43624   336268  1329713 |        1    68018     23 |  4.703 % |
29.78/29.80	c |    448866 |   43624   336268  1329713 |        1    68118     23 |  4.703 % |
30.58/30.61	c |    448966 |   43624   336268  1329713 |        1    68218     23 |  4.703 % |
30.58/30.61	c |    449066 |   43624   336268  1329713 |        1    68318     23 |  4.703 % |
30.58/30.61	c |    449166 |   43624   336268  1329713 |        1    68418     23 |  4.703 % |
30.58/30.61	c |    449269 |   43624   336268  1329713 |        1    68521     23 |  4.703 % |
30.58/30.61	c |    449371 |   43624   336268  1329713 |        1    68623     23 |  4.703 % |
30.58/30.61	c |    449485 |   43624   336268  1329713 |        1    68737     23 |  4.703 % |
30.58/30.61	c |    449585 |   43624   336268  1329713 |        1    68837     23 |  4.703 % |
30.58/30.61	c |    449687 |   43624   336268  1329713 |        1    68939     23 |  4.703 % |
30.58/30.61	c |    449789 |   43624   336268  1329713 |        1    69041     23 |  4.703 % |
30.58/30.61	c |    449889 |   43624   336268  1329713 |        1    69141     23 |  4.703 % |
30.58/30.61	c |    449989 |   43624   336268  1329713 |        1    69241     23 |  4.703 % |
30.58/30.61	c |    450089 |   43624   336268  1329713 |        1    69341     23 |  4.703 % |
30.58/30.61	c |    450189 |   43624   336268  1329713 |        1    69441     24 |  4.703 % |
30.58/30.61	c |    450289 |   43624   336268  1329713 |        1    69541     24 |  4.703 % |
30.58/30.61	c |    450389 |   43624   336268  1329713 |        1    69641     24 |  4.703 % |
30.58/30.61	c |    450491 |   43624   336268  1329713 |        1    69743     24 |  4.703 % |
30.58/30.61	c |    450591 |   43624   336268  1329713 |        1    69843     24 |  4.703 % |
30.58/30.61	c |    450691 |   43624   336268  1329713 |        1    69943     24 |  4.703 % |
30.58/30.61	c |    450792 |   43624   336268  1329713 |        1    70044     24 |  4.703 % |
30.58/30.61	c |    450922 |   43624   336268  1329713 |        1    70174     24 |  4.703 % |
30.58/30.61	c |    451023 |   43624   336268  1329713 |        1    70275     24 |  4.703 % |
30.58/30.61	c |    451124 |   43624   336268  1329713 |        1    70376     24 |  4.703 % |
30.58/30.61	c |    451225 |   43624   336268  1329713 |        1    70477     24 |  4.703 % |
30.58/30.61	c |    451326 |   43624   336268  1329713 |        1    70578     24 |  4.703 % |
30.58/30.61	c |    451429 |   43624   336268  1329713 |        1    70681     24 |  4.703 % |
30.58/30.61	c |    451566 |   43624   336268  1329713 |        1    70818     24 |  4.703 % |
30.58/30.61	c |    451667 |   43624   336268  1329713 |        1    70919     24 |  4.703 % |
30.58/30.61	c |    451768 |   43624   336268  1329713 |        1    71020     24 |  4.703 % |
30.58/30.61	c |    451869 |   43624   336268  1329713 |        1    71121     24 |  4.703 % |
30.58/30.61	c |    451969 |   43624   336268  1329713 |        1    71221     24 |  4.703 % |
30.58/30.61	c |    452070 |   43624   336268  1329713 |        1    71322     24 |  4.703 % |
30.58/30.61	c |    454605 |   43623   336257  1329666 |        1    71787     24 |  4.705 % |
30.58/30.61	c |    454706 |   43623   336257  1329666 |        1    71888     24 |  4.705 % |
30.58/30.61	c |    454806 |   43623   336257  1329666 |        1    71988     24 |  4.705 % |
30.58/30.61	c |    454906 |   43623   336257  1329666 |        1    72088     24 |  4.705 % |
30.58/30.61	c |    455006 |   43623   336257  1329666 |        1    72188     24 |  4.705 % |
30.58/30.61	c |    455108 |   43623   336257  1329666 |        1    72290     24 |  4.705 % |
30.58/30.61	c |    455211 |   43623   336257  1329666 |        1    72393     24 |  4.705 % |
30.58/30.61	c |    455311 |   43623   336257  1329666 |        1    72493     24 |  4.705 % |
30.58/30.61	c |    455413 |   43623   336257  1329666 |        1    72595     24 |  4.705 % |
30.58/30.61	c |    455513 |   43623   336257  1329666 |        1    72695     24 |  4.705 % |
30.58/30.61	c |    455613 |   43623   336257  1329666 |        1    72795     24 |  4.705 % |
30.58/30.61	c |    455714 |   43623   336257  1329666 |        1    72896     24 |  4.705 % |
30.58/30.61	c |    455816 |   43623   336257  1329666 |        1    72998     24 |  4.705 % |
30.58/30.61	c |    455917 |   43623   336257  1329666 |        1    73099     24 |  4.705 % |
30.58/30.61	c |    456017 |   43623   336257  1329666 |        1    73199     24 |  4.705 % |
30.58/30.61	c |    456117 |   43623   336257  1329666 |        1    73299     24 |  4.705 % |
30.58/30.61	c |    456228 |   43623   336257  1329666 |        1    73410     24 |  4.705 % |
30.58/30.61	c |    456328 |   43623   336257  1329666 |        1    73510     24 |  4.705 % |
30.58/30.61	c |    456431 |   43623   336257  1329666 |        1    73613     24 |  4.705 % |
31.79/31.90	c |    456532 |   43623   336257  1329666 |        1    73714     24 |  4.705 % |
31.79/31.90	c |    456635 |   43623   336257  1329666 |        1    73817     24 |  4.705 % |
31.79/31.90	c |    456997 |   43623   336257  1329666 |        1    74179     24 |  4.705 % |
31.79/31.90	c |    457108 |   43623   336257  1329666 |        1    74290     24 |  4.705 % |
31.79/31.90	c |    457209 |   43623   336257  1329666 |        1    74391     24 |  4.705 % |
31.79/31.90	c |    457311 |   43623   336257  1329666 |        1    74493     24 |  4.705 % |
31.79/31.90	c |    458068 |   43623   336257  1329666 |        1    75250     24 |  4.705 % |
31.79/31.90	c |    458168 |   43623   336257  1329666 |        1    75350     24 |  4.705 % |
31.79/31.90	c |    458269 |   43623   336257  1329666 |        1    75451     24 |  4.705 % |
31.79/31.90	c |    458369 |   43623   336257  1329666 |        1    75551     24 |  4.705 % |
31.79/31.90	c |    458469 |   43623   336257  1329666 |        1    75651     24 |  4.705 % |
31.79/31.90	c |    458571 |   43623   336257  1329666 |        1    75753     24 |  4.705 % |
31.79/31.90	c |    458671 |   43623   336257  1329666 |        1    75853     24 |  4.705 % |
31.79/31.90	c |    458771 |   43623   336257  1329666 |        1    75953     24 |  4.705 % |
31.79/31.90	c |    458873 |   43623   336257  1329666 |        1    76055     24 |  4.705 % |
31.79/31.90	c |    458976 |   43623   336257  1329666 |        1    76158     24 |  4.705 % |
31.79/31.90	c |    459077 |   43623   336257  1329666 |        1    76259     24 |  4.705 % |
31.79/31.90	c |    459177 |   43623   336257  1329666 |        1    76359     24 |  4.705 % |
31.79/31.90	c |    459277 |   43623   336257  1329666 |        1    76459     24 |  4.705 % |
31.79/31.90	c |    459377 |   43623   336257  1329666 |        1    76559     24 |  4.705 % |
31.79/31.90	c |    459479 |   43623   336257  1329666 |        1    76661     24 |  4.705 % |
31.79/31.90	c |    459579 |   43623   336257  1329666 |        1    76761     24 |  4.705 % |
31.79/31.90	c |    459679 |   43623   336257  1329666 |        1    76861     24 |  4.705 % |
31.79/31.90	c |    459779 |   43623   336257  1329666 |        1    76961     24 |  4.705 % |
31.79/31.90	c |    459897 |   43623   336257  1329666 |        1    77079     24 |  4.705 % |
31.79/31.90	c |    459999 |   43623   336257  1329666 |        1    77181     24 |  4.705 % |
31.79/31.90	c |    460100 |   43623   336257  1329666 |        1    77282     25 |  4.705 % |
31.79/31.90	c |    460200 |   43623   336257  1329666 |        1    77382     25 |  4.705 % |
31.79/31.90	c |    460302 |   43623   336257  1329666 |        1    77484     25 |  4.705 % |
31.79/31.90	c |    460402 |   43623   336257  1329666 |        1    77584     25 |  4.705 % |
31.79/31.90	c |    460503 |   43623   336257  1329666 |        1    77685     25 |  4.705 % |
31.79/31.90	c |    460606 |   43623   336257  1329666 |        1    77788     25 |  4.705 % |
31.79/31.90	c |    460812 |   43623   336257  1329666 |        1    77994     25 |  4.705 % |
31.79/31.90	c |    460913 |   43623   336257  1329666 |        1    78095     25 |  4.705 % |
31.79/31.90	c |    461014 |   43623   336257  1329666 |        1    78196     25 |  4.705 % |
31.79/31.90	c |    461114 |   43623   336257  1329666 |        1    78296     25 |  4.705 % |
31.79/31.90	c |    461215 |   43623   336257  1329666 |        1    78397     25 |  4.705 % |
31.79/31.90	c |    461315 |   43623   336257  1329666 |        1    78497     25 |  4.705 % |
31.79/31.90	c |    461415 |   43623   336257  1329666 |        1    78597     25 |  4.705 % |
31.79/31.90	c |    461516 |   43623   336257  1329666 |        1    78698     25 |  4.705 % |
31.79/31.90	c |    461790 |   43623   336257  1329666 |        1    78972     25 |  4.705 % |
31.79/31.90	c |    461890 |   43623   336257  1329666 |        1    79072     25 |  4.705 % |
31.79/31.90	c |    461990 |   43623   336257  1329666 |        1    79172     25 |  4.705 % |
31.79/31.90	c |    462090 |   43623   336257  1329666 |        1    79272     25 |  4.705 % |
31.79/31.90	c |    462190 |   43623   336257  1329666 |        1    79372     25 |  4.705 % |
31.79/31.90	c |    462290 |   43623   336257  1329666 |        1    79472     25 |  4.705 % |
31.79/31.90	c |    462391 |   43623   336257  1329666 |        1    79573     25 |  4.705 % |
31.79/31.90	c |    468758 |   43623   336257  1329666 |        1    85940     24 |  4.705 % |
31.79/31.90	c |    468858 |   43623   336257  1329666 |        1    86040     24 |  4.705 % |
31.79/31.90	c |    468958 |   43623   336257  1329666 |        1    86140     24 |  4.705 % |
32.38/32.45	c |    469058 |   43623   336257  1329666 |        1    86240     24 |  4.705 % |
32.38/32.45	c |    469158 |   43623   336257  1329666 |        1    86340     24 |  4.705 % |
32.38/32.45	c |    469259 |   43623   336257  1329666 |        1    86441     25 |  4.705 % |
32.38/32.45	c |    469359 |   43623   336257  1329666 |        1    86541     25 |  4.705 % |
32.38/32.45	c |    469461 |   43623   336257  1329666 |        1    86643     25 |  4.705 % |
32.38/32.45	c |    469561 |   43623   336257  1329666 |        1    86743     25 |  4.705 % |
32.38/32.45	c |    469662 |   43623   336257  1329666 |        1    86844     25 |  4.705 % |
32.38/32.45	c |    469762 |   43623   336257  1329666 |        1    86944     25 |  4.705 % |
32.38/32.45	c |    469862 |   43623   336257  1329666 |        1    43566     16 |  4.705 % |
32.38/32.45	c |    469962 |   43623   336257  1329666 |        1    43666     16 |  4.705 % |
32.38/32.45	c |    470062 |   43623   336257  1329666 |        1    43766     16 |  4.705 % |
32.38/32.45	c |    470162 |   43623   336257  1329666 |        1    43866     16 |  4.705 % |
32.38/32.45	c |    470263 |   43623   336257  1329666 |        1    43967     16 |  4.705 % |
32.38/32.45	c |    470363 |   43623   336257  1329666 |        1    44067     16 |  4.705 % |
32.38/32.45	c |    470463 |   43623   336257  1329666 |        1    44167     16 |  4.705 % |
32.38/32.45	c |    470565 |   43623   336257  1329666 |        1    44269     16 |  4.705 % |
32.38/32.45	c |    470668 |   43623   336257  1329666 |        1    44372     16 |  4.705 % |
32.38/32.45	c |    470768 |   43623   336257  1329666 |        1    44472     16 |  4.705 % |
32.38/32.45	c |    470868 |   43623   336257  1329666 |        1    44572     16 |  4.705 % |
32.38/32.45	c |    470968 |   43623   336257  1329666 |        1    44672     16 |  4.705 % |
32.38/32.45	c |    471318 |   43623   336257  1329666 |        1    45022     16 |  4.705 % |
32.38/32.45	c |    471418 |   43623   336257  1329666 |        1    45122     16 |  4.705 % |
32.38/32.45	c |    471518 |   43623   336257  1329666 |        1    45222     16 |  4.705 % |
32.38/32.45	c |    471972 |   43623   336257  1329666 |        1    45676     16 |  4.705 % |
32.38/32.45	c |    472074 |   43623   336257  1329666 |        1    45778     17 |  4.705 % |
32.38/32.45	c |    472174 |   43623   336257  1329666 |        1    45878     17 |  4.705 % |
32.38/32.45	c |    472274 |   43623   336257  1329666 |        1    45978     17 |  4.705 % |
32.38/32.45	c |    472374 |   43623   336257  1329666 |        1    46078     17 |  4.705 % |
32.38/32.45	c |    472475 |   43623   336257  1329666 |        1    46179     17 |  4.705 % |
32.38/32.45	c |    472575 |   43623   336257  1329666 |        1    46279     17 |  4.705 % |
32.38/32.45	c |    472676 |   43623   336257  1329666 |        1    46380     17 |  4.705 % |
32.38/32.45	c |    472777 |   43623   336257  1329666 |        1    46481     17 |  4.705 % |
32.38/32.45	c |    472877 |   43623   336257  1329666 |        1    46581     17 |  4.705 % |
32.38/32.45	c |    473130 |   43623   336257  1329666 |        1    46834     17 |  4.705 % |
32.38/32.45	c |    473230 |   43623   336257  1329666 |        1    46934     17 |  4.705 % |
32.38/32.45	c |    473331 |   43623   336257  1329666 |        1    47035     17 |  4.705 % |
32.38/32.45	c |    473431 |   43623   336257  1329666 |        1    47135     17 |  4.705 % |
32.38/32.45	c |    473531 |   43623   336257  1329666 |        1    47235     17 |  4.705 % |
32.38/32.45	c |    473636 |   43623   336257  1329666 |        1    47340     17 |  4.705 % |
32.38/32.45	c |    473737 |   43623   336257  1329666 |        1    47441     17 |  4.705 % |
32.38/32.45	c |    473837 |   43623   336257  1329666 |        1    47541     17 |  4.705 % |
32.38/32.45	c |    473937 |   43623   336257  1329666 |        1    47641     17 |  4.705 % |
32.38/32.45	c |    474037 |   43623   336257  1329666 |        1    47741     17 |  4.705 % |
32.38/32.45	c |    474137 |   43623   336257  1329666 |        1    47841     17 |  4.705 % |
32.38/32.45	c |    474237 |   43623   336257  1329666 |        1    47941     17 |  4.705 % |
32.38/32.45	c |    474337 |   43623   336257  1329666 |        1    48041     17 |  4.705 % |
32.38/32.45	c |    474437 |   43623   336257  1329666 |        1    48141     18 |  4.705 % |
32.38/32.45	c |    474537 |   43623   336257  1329666 |        1    48241     18 |  4.705 % |
32.38/32.45	c |    474638 |   43623   336257  1329666 |        1    48342     18 |  4.705 % |
32.38/32.45	c |    474739 |   43623   336257  1329666 |        1    48443     18 |  4.705 % |
32.89/32.91	c |    474850 |   43623   336257  1329666 |        1    48554     18 |  4.705 % |
32.89/32.91	c |    474950 |   43623   336257  1329666 |        1    48654     18 |  4.705 % |
32.89/32.91	c |    475051 |   43623   336257  1329666 |        1    48755     18 |  4.705 % |
32.89/32.91	c |    475152 |   43623   336257  1329666 |        1    48856     18 |  4.705 % |
32.89/32.91	c |    475253 |   43623   336257  1329666 |        1    48957     18 |  4.705 % |
32.89/32.91	c |    475354 |   43623   336257  1329666 |        1    49058     18 |  4.705 % |
32.89/32.91	c |    475456 |   43623   336257  1329666 |        1    49160     18 |  4.705 % |
32.89/32.91	c |    475556 |   43623   336257  1329666 |        1    49260     18 |  4.705 % |
32.89/32.91	c |    475657 |   43623   336257  1329666 |        1    49361     18 |  4.705 % |
32.89/32.91	c |    475757 |   43623   336257  1329666 |        1    49461     18 |  4.705 % |
32.89/32.91	c |    475857 |   43623   336257  1329666 |        1    49561     18 |  4.705 % |
32.89/32.91	c |    475961 |   43623   336257  1329666 |        1    49665     18 |  4.705 % |
32.89/32.91	c |    476061 |   43623   336257  1329666 |        1    49765     18 |  4.705 % |
32.89/32.91	c |    476162 |   43623   336257  1329666 |        1    49866     18 |  4.705 % |
32.89/32.91	c |    476262 |   43623   336257  1329666 |        1    49966     18 |  4.705 % |
32.89/32.91	c |    476364 |   43623   336257  1329666 |        1    50068     18 |  4.705 % |
32.89/32.91	c |    476464 |   43623   336257  1329666 |        1    50168     18 |  4.705 % |
32.89/32.91	c |    476568 |   43623   336257  1329666 |        1    50272     18 |  4.705 % |
32.89/32.91	c |    476668 |   43623   336257  1329666 |        1    50372     18 |  4.705 % |
32.89/32.91	c |    476769 |   43623   336257  1329666 |        1    50473     18 |  4.705 % |
32.89/32.91	c |    476869 |   43623   336257  1329666 |        1    50573     18 |  4.705 % |
32.89/32.91	c |    476970 |   43623   336257  1329666 |        1    50674     18 |  4.705 % |
32.89/32.91	c |    477071 |   43623   336257  1329666 |        1    50775     18 |  4.705 % |
32.89/32.91	c |    477172 |   43623   336257  1329666 |        1    50876     18 |  4.705 % |
32.89/32.91	c |    477280 |   43623   336257  1329666 |        1    50984     19 |  4.705 % |
32.89/32.91	c |    477380 |   43623   336257  1329666 |        1    51084     19 |  4.705 % |
32.89/32.91	c |    477481 |   43623   336257  1329666 |        1    51185     19 |  4.705 % |
32.89/32.91	c |    477583 |   43623   336257  1329666 |        1    51287     19 |  4.705 % |
32.89/32.91	c |    477684 |   43623   336257  1329666 |        1    51388     19 |  4.705 % |
32.89/32.91	c |    477784 |   43623   336257  1329666 |        1    51488     19 |  4.705 % |
32.89/32.91	c |    477884 |   43623   336257  1329666 |        1    51588     19 |  4.705 % |
32.89/32.91	c |    477984 |   43623   336257  1329666 |        1    51688     19 |  4.705 % |
32.89/32.91	c |    478084 |   43623   336257  1329666 |        1    51788     19 |  4.705 % |
32.89/32.91	c |    478184 |   43623   336257  1329666 |        1    51888     19 |  4.705 % |
32.89/32.91	c |    478284 |   43623   336257  1329666 |        1    51988     19 |  4.705 % |
32.89/32.91	c |    478384 |   43623   336257  1329666 |        1    52088     19 |  4.705 % |
32.89/32.91	c |    478484 |   43623   336257  1329666 |        1    52188     19 |  4.705 % |
32.89/32.91	c |    478584 |   43623   336257  1329666 |        1    52288     19 |  4.705 % |
32.89/32.91	c |    478686 |   43623   336257  1329666 |        1    52390     19 |  4.705 % |
32.89/32.91	c |    478786 |   43623   336257  1329666 |        1    52490     19 |  4.705 % |
32.89/32.91	c |    478922 |   43623   336257  1329666 |        1    52626     19 |  4.705 % |
32.89/32.91	c |    479022 |   43623   336257  1329666 |        1    52726     19 |  4.705 % |
32.89/32.91	c |    479125 |   43623   336257  1329666 |        1    52829     19 |  4.705 % |
32.89/32.91	c |    479227 |   43623   336257  1329666 |        1    52931     19 |  4.705 % |
32.89/32.91	c |    479327 |   43623   336257  1329666 |        1    53031     19 |  4.705 % |
32.89/32.91	c |    479430 |   43623   336257  1329666 |        1    53134     19 |  4.705 % |
32.89/32.91	c |    479530 |   43623   336257  1329666 |        1    53234     19 |  4.705 % |
32.89/32.91	c |    479633 |   43623   336257  1329666 |        1    53337     19 |  4.705 % |
32.89/32.91	c |    479807 |   43623   336257  1329666 |        1    53511     19 |  4.705 % |
32.89/32.91	c |    479909 |   43623   336257  1329666 |        1    53613     19 |  4.705 % |
33.78/33.90	c |    480009 |   43623   336257  1329666 |        1    53713     19 |  4.705 % |
33.78/33.90	c |    480109 |   43623   336257  1329666 |        1    53813     19 |  4.705 % |
33.78/33.90	c |    480209 |   43623   336257  1329666 |        1    53913     19 |  4.705 % |
33.78/33.90	c |    480310 |   43623   336257  1329666 |        1    54014     19 |  4.705 % |
33.78/33.90	c |    480410 |   43623   336257  1329666 |        1    54114     19 |  4.705 % |
33.78/33.90	c |    480510 |   43623   336257  1329666 |        1    54214     20 |  4.705 % |
33.78/33.90	c |    480704 |   43623   336257  1329666 |        1    54408     20 |  4.705 % |
33.78/33.90	c |    480806 |   43623   336257  1329666 |        1    54510     20 |  4.705 % |
33.78/33.90	c |    480906 |   43623   336257  1329666 |        1    54610     20 |  4.705 % |
33.78/33.90	c |    481006 |   43623   336257  1329666 |        1    54710     20 |  4.705 % |
33.78/33.90	c |    481107 |   43623   336257  1329666 |        1    54811     20 |  4.705 % |
33.78/33.90	c |    481207 |   43623   336257  1329666 |        1    54911     20 |  4.705 % |
33.78/33.90	c |    481307 |   43623   336257  1329666 |        1    55011     20 |  4.705 % |
33.78/33.90	c |    481408 |   43623   336257  1329666 |        1    55112     20 |  4.705 % |
33.78/33.90	c |    481508 |   43623   336257  1329666 |        1    55212     20 |  4.705 % |
33.78/33.90	c |    481608 |   43623   336257  1329666 |        1    55312     20 |  4.705 % |
33.78/33.90	c |    481709 |   43623   336257  1329666 |        1    55413     20 |  4.705 % |
33.78/33.90	c |    481809 |   43623   336257  1329666 |        1    55513     20 |  4.705 % |
33.78/33.90	c |    482691 |   43623   336257  1329666 |        1    56395     20 |  4.705 % |
33.78/33.90	c |    482921 |   43623   336257  1329666 |        1    56625     20 |  4.705 % |
33.78/33.90	c |    483021 |   43623   336257  1329666 |        1    56725     20 |  4.705 % |
33.78/33.90	c |    483121 |   43623   336257  1329666 |        1    56825     20 |  4.705 % |
33.78/33.90	c |    483221 |   43623   336257  1329666 |        1    56925     20 |  4.705 % |
33.78/33.90	c |    483322 |   43623   336257  1329666 |        1    57026     20 |  4.705 % |
33.78/33.90	c |    486748 |   43622   336239  1329605 |        1    58377     20 |  4.708 % |
33.78/33.90	c |    486867 |   43622   336239  1329605 |        1    58496     20 |  4.708 % |
33.78/33.90	c |    486968 |   43622   336239  1329605 |        1    58597     20 |  4.708 % |
33.78/33.90	c |    487073 |   43622   336239  1329605 |        1    58702     20 |  4.708 % |
33.78/33.90	c |    487175 |   43622   336239  1329605 |        1    58804     20 |  4.708 % |
33.78/33.90	c |    487275 |   43622   336239  1329605 |        1    58904     20 |  4.708 % |
33.78/33.90	c |    487375 |   43622   336239  1329605 |        1    59004     20 |  4.708 % |
33.78/33.90	c |    487475 |   43622   336239  1329605 |        1    59104     20 |  4.708 % |
33.78/33.90	c |    487577 |   43622   336239  1329605 |        1    59206     20 |  4.708 % |
33.78/33.90	c |    487678 |   43622   336239  1329605 |        1    59307     20 |  4.708 % |
33.78/33.90	c |    487782 |   43622   336239  1329605 |        1    59411     20 |  4.708 % |
33.78/33.90	c |    487882 |   43622   336239  1329605 |        1    59511     20 |  4.708 % |
33.78/33.90	c |    487982 |   43622   336239  1329605 |        1    59611     20 |  4.708 % |
33.78/33.90	c |    488083 |   43622   336239  1329605 |        1    59712     20 |  4.708 % |
33.78/33.90	c |    488184 |   43622   336239  1329605 |        1    59813     20 |  4.708 % |
33.78/33.90	c |    488338 |   43622   336239  1329605 |        1    59967     20 |  4.708 % |
33.78/33.90	c |    488459 |   43622   336239  1329605 |        1    60088     20 |  4.708 % |
33.78/33.90	c |    488559 |   43622   336239  1329605 |        1    60188     20 |  4.708 % |
33.78/33.90	c |    488659 |   43622   336239  1329605 |        1    60288     20 |  4.708 % |
33.78/33.90	c |    490158 |   43622   336239  1329605 |        1    61787     21 |  4.708 % |
33.78/33.90	c |    490261 |   43622   336239  1329605 |        1    61890     21 |  4.708 % |
33.78/33.90	c |    490363 |   43622   336239  1329605 |        1    61992     21 |  4.708 % |
33.78/33.90	c |    490464 |   43622   336239  1329605 |        1    62093     21 |  4.708 % |
33.78/33.90	c |    490576 |   43622   336239  1329605 |        1    62205     21 |  4.708 % |
33.78/33.90	c |    490676 |   43622   336239  1329605 |        1    62305     21 |  4.708 % |
33.78/33.90	c |    490776 |   43622   336239  1329605 |        1    62405     21 |  4.708 % |
34.38/34.46	c |    490876 |   43622   336239  1329605 |        1    62505     21 |  4.708 % |
34.38/34.46	c |    490976 |   43622   336239  1329605 |        1    62605     21 |  4.708 % |
34.38/34.46	c |    491076 |   43622   336239  1329605 |        1    62705     21 |  4.708 % |
34.38/34.46	c |    491178 |   43622   336239  1329605 |        1    62807     21 |  4.708 % |
34.38/34.46	c |    491298 |   43622   336239  1329605 |        1    62927     21 |  4.708 % |
34.38/34.46	c |    491507 |   43622   336239  1329605 |        1    63136     21 |  4.708 % |
34.38/34.46	c |    491799 |   43622   336239  1329605 |        1    63428     21 |  4.708 % |
34.38/34.46	c |    491923 |   43622   336239  1329605 |        1    63552     21 |  4.708 % |
34.38/34.46	c |    492023 |   43622   336239  1329605 |        1    63652     21 |  4.708 % |
34.38/34.46	c |    492185 |   43622   336239  1329605 |        1    63814     21 |  4.708 % |
34.38/34.46	c |    492285 |   43622   336239  1329605 |        1    63914     21 |  4.708 % |
34.38/34.46	c |    492385 |   43622   336239  1329605 |        1    64014     21 |  4.708 % |
34.38/34.46	c |    492488 |   43622   336239  1329605 |        1    64117     21 |  4.708 % |
34.38/34.46	c |    492590 |   43622   336239  1329605 |        1    64219     21 |  4.708 % |
34.38/34.46	c |    492691 |   43622   336239  1329605 |        1    64320     21 |  4.708 % |
34.38/34.46	c |    492792 |   43622   336239  1329605 |        1    64421     21 |  4.708 % |
34.38/34.46	c |    492892 |   43622   336239  1329605 |        1    64521     21 |  4.708 % |
34.38/34.46	c |    492992 |   43622   336239  1329605 |        1    64621     21 |  4.708 % |
34.38/34.46	c |    493094 |   43622   336239  1329605 |        1    64723     21 |  4.708 % |
34.38/34.46	c |    493194 |   43622   336239  1329605 |        1    64823     21 |  4.708 % |
34.38/34.46	c |    493295 |   43622   336239  1329605 |        1    64924     21 |  4.708 % |
34.38/34.46	c |    493398 |   43622   336239  1329605 |        1    65027     21 |  4.708 % |
34.38/34.46	c |    493528 |   43622   336239  1329605 |        1    65157     21 |  4.708 % |
34.38/34.46	c |    493628 |   43622   336239  1329605 |        1    65257     21 |  4.708 % |
34.38/34.46	c |    493728 |   43622   336239  1329605 |        1    65357     21 |  4.708 % |
34.38/34.46	c |    494177 |   43622   336239  1329605 |        1    65806     21 |  4.708 % |
34.38/34.46	c |    494278 |   43622   336239  1329605 |        1    65907     21 |  4.708 % |
34.38/34.46	c |    494383 |   43622   336239  1329605 |        1    66012     21 |  4.708 % |
34.38/34.46	c |    494503 |   43622   336239  1329605 |        1    66132     21 |  4.708 % |
34.38/34.46	c |    494616 |   43622   336239  1329605 |        1    66245     21 |  4.708 % |
34.38/34.46	c |    494716 |   43622   336239  1329605 |        1    66345     21 |  4.708 % |
34.38/34.46	c |    494820 |   43622   336239  1329605 |        1    66449     21 |  4.708 % |
34.38/34.46	c |    494920 |   43622   336239  1329605 |        1    66549     21 |  4.708 % |
34.38/34.46	c |    495024 |   43622   336239  1329605 |        1    66653     21 |  4.708 % |
34.38/34.46	c |    495124 |   43622   336239  1329605 |        1    66753     22 |  4.708 % |
34.38/34.46	c |    495228 |   43622   336239  1329605 |        1    66857     22 |  4.708 % |
34.38/34.46	c |    495617 |   43622   336239  1329605 |        1    67246     22 |  4.708 % |
34.38/34.46	c |    495734 |   43622   336239  1329605 |        1    67363     22 |  4.708 % |
34.38/34.46	c |    496022 |   43622   336239  1329605 |        1    67651     22 |  4.708 % |
34.38/34.46	c |    496172 |   43622   336239  1329605 |        1    67801     22 |  4.708 % |
34.38/34.46	c |    496500 |   43622   336239  1329605 |        1    68129     22 |  4.708 % |
34.38/34.46	c |    496601 |   43622   336239  1329605 |        1    68230     22 |  4.708 % |
34.38/34.46	c |    496701 |   43622   336239  1329605 |        1    68330     22 |  4.708 % |
34.38/34.46	c |    496801 |   43622   336239  1329605 |        1    68430     22 |  4.708 % |
34.38/34.46	c |    496901 |   43622   336239  1329605 |        1    68530     22 |  4.708 % |
34.38/34.46	c |    497004 |   43622   336239  1329605 |        1    68633     22 |  4.708 % |
34.38/34.46	c |    497105 |   43622   336239  1329605 |        1    68734     22 |  4.708 % |
34.38/34.46	c |    497205 |   43622   336239  1329605 |        1    68834     22 |  4.708 % |
34.38/34.46	c |    497307 |   43622   336239  1329605 |        1    68936     22 |  4.708 % |
34.38/34.46	c |    497408 |   43622   336239  1329605 |        1    69037     22 |  4.708 % |
34.98/35.02	c |    497508 |   43622   336239  1329605 |        1    69137     22 |  4.708 % |
34.98/35.02	c |    497622 |   43622   336239  1329605 |        1    69251     22 |  4.708 % |
34.98/35.02	c |    497722 |   43622   336239  1329605 |        1    69351     22 |  4.708 % |
34.98/35.02	c |    497823 |   43622   336239  1329605 |        1    69452     22 |  4.708 % |
34.98/35.02	c |    497923 |   43622   336239  1329605 |        1    69552     22 |  4.708 % |
34.98/35.02	c |    498025 |   43622   336239  1329605 |        1    69654     22 |  4.708 % |
34.98/35.02	c |    498125 |   43622   336239  1329605 |        1    69754     22 |  4.708 % |
34.98/35.02	c |    498225 |   43622   336239  1329605 |        1    69854     22 |  4.708 % |
34.98/35.02	c |    498325 |   43622   336239  1329605 |        1    69954     22 |  4.708 % |
34.98/35.02	c |    498647 |   43622   336239  1329605 |        1    70276     22 |  4.708 % |
34.98/35.02	c |    498748 |   43622   336239  1329605 |        1    70377     22 |  4.708 % |
34.98/35.02	c |    498848 |   43622   336239  1329605 |        1    70477     22 |  4.708 % |
34.98/35.02	c |    498948 |   43622   336239  1329605 |        1    70577     22 |  4.708 % |
34.98/35.02	c |    499048 |   43622   336239  1329605 |        1    70677     22 |  4.708 % |
34.98/35.02	c |    499225 |   43622   336239  1329605 |        1    70854     22 |  4.708 % |
34.98/35.02	c |    499327 |   43622   336239  1329605 |        1    70956     22 |  4.708 % |
34.98/35.02	c |    499427 |   43622   336239  1329605 |        1    71056     22 |  4.708 % |
34.98/35.02	c |    499527 |   43622   336239  1329605 |        1    71156     22 |  4.708 % |
34.98/35.02	c |    499627 |   43622   336239  1329605 |        1    71256     22 |  4.708 % |
34.98/35.02	c |    499728 |   43622   336239  1329605 |        1    71357     22 |  4.708 % |
34.98/35.02	c |    499859 |   43622   336239  1329605 |        1    71488     22 |  4.708 % |
34.98/35.02	c |    499962 |   43622   336239  1329605 |        1    71591     22 |  4.708 % |
34.98/35.02	c |    500276 |   43622   336239  1329605 |        1    71905     22 |  4.708 % |
34.98/35.02	c |    500376 |   43622   336239  1329605 |        1    72005     22 |  4.708 % |
34.98/35.02	c |    500479 |   43622   336239  1329605 |        1    72108     22 |  4.708 % |
34.98/35.02	c |    500582 |   43622   336239  1329605 |        1    72211     22 |  4.708 % |
34.98/35.02	c |    500682 |   43622   336239  1329605 |        1    72311     22 |  4.708 % |
34.98/35.02	c |    500782 |   43622   336239  1329605 |        1    72411     22 |  4.708 % |
34.98/35.02	c |    500889 |   43622   336239  1329605 |        1    72518     22 |  4.708 % |
34.98/35.02	c |    500990 |   43622   336239  1329605 |        1    72619     22 |  4.708 % |
34.98/35.02	c |    501090 |   43622   336239  1329605 |        1    72719     22 |  4.708 % |
34.98/35.02	c |    501190 |   43622   336239  1329605 |        1    72819     22 |  4.708 % |
34.98/35.02	c |    501290 |   43622   336239  1329605 |        1    72919     22 |  4.708 % |
34.98/35.02	c |    501393 |   43622   336239  1329605 |        1    73022     22 |  4.708 % |
34.98/35.02	c |    501493 |   43622   336239  1329605 |        1    73122     22 |  4.708 % |
34.98/35.02	c |    501593 |   43622   336239  1329605 |        1    73222     22 |  4.708 % |
34.98/35.02	c |    501696 |   43622   336239  1329605 |        1    73325     22 |  4.708 % |
34.98/35.02	c |    501796 |   43622   336239  1329605 |        1    73425     23 |  4.708 % |
34.98/35.02	c |    501900 |   43622   336239  1329605 |        1    73529     23 |  4.708 % |
34.98/35.02	c |    502005 |   43622   336239  1329605 |        1    73634     23 |  4.708 % |
34.98/35.02	c |    502105 |   43622   336239  1329605 |        1    73734     23 |  4.708 % |
34.98/35.02	c |    502205 |   43622   336239  1329605 |        1    73834     23 |  4.708 % |
34.98/35.02	c |    502563 |   43622   336239  1329605 |        1    74192     23 |  4.708 % |
34.98/35.02	c |    502671 |   43622   336239  1329605 |        1    74300     23 |  4.708 % |
34.98/35.02	c |    502771 |   43622   336239  1329605 |        1    74400     23 |  4.708 % |
34.98/35.02	c |    502871 |   43622   336239  1329605 |        1    74500     23 |  4.708 % |
34.98/35.02	c |    502973 |   43622   336239  1329605 |        1    74602     23 |  4.708 % |
34.98/35.02	c |    503078 |   43622   336239  1329605 |        1    74707     23 |  4.708 % |
34.98/35.02	c |    503178 |   43622   336239  1329605 |        1    74807     23 |  4.708 % |
34.98/35.02	c |    503280 |   43622   336239  1329605 |        1    74909     23 |  4.708 % |
38.88/38.90	c |    503380 |   43622   336239  1329605 |        1    75009     23 |  4.708 % |
38.88/38.90	c |    503480 |   43622   336239  1329605 |        1    75109     23 |  4.708 % |
38.88/38.90	c |    503583 |   43622   336239  1329605 |        1    75212     23 |  4.708 % |
38.88/38.90	c |    503803 |   43622   336239  1329605 |        1    75432     23 |  4.708 % |
38.88/38.90	c |    515016 |   43622   336239  1329605 |        1    86645     22 |  4.708 % |
38.88/38.90	c |    515116 |   43622   336239  1329605 |        1    86745     22 |  4.708 % |
38.88/38.90	c |    515216 |   43622   336239  1329605 |        1    86845     22 |  4.708 % |
38.88/38.90	c |    515316 |   43622   336239  1329605 |        1    86945     22 |  4.708 % |
38.88/38.90	c |    515416 |   43622   336239  1329605 |        1    87045     22 |  4.708 % |
38.88/38.90	c |    516691 |   43622   336239  1329605 |        1    88320     22 |  4.708 % |
38.88/38.90	c |    516792 |   43622   336239  1329605 |        1    88421     22 |  4.708 % |
38.88/38.90	c |    516894 |   43622   336239  1329605 |        1    88523     22 |  4.708 % |
38.88/38.90	c |    516994 |   43622   336239  1329605 |        1    88623     22 |  4.708 % |
38.88/38.90	c |    517106 |   43622   336239  1329605 |        1    88735     22 |  4.708 % |
38.88/38.90	c |    517206 |   43622   336239  1329605 |        1    88835     22 |  4.708 % |
38.88/38.90	c |    517307 |   43622   336239  1329605 |        1    88936     22 |  4.708 % |
38.88/38.90	c |    517407 |   43622   336239  1329605 |        1    89036     22 |  4.708 % |
38.88/38.90	c |    517591 |   43622   336239  1329605 |        1    89220     22 |  4.708 % |
38.88/38.90	c |    517691 |   43622   336239  1329605 |        1    89320     22 |  4.708 % |
38.88/38.90	c |    517792 |   43622   336239  1329605 |        1    89421     22 |  4.708 % |
38.88/38.90	c |    518077 |   43622   336239  1329605 |        1    89706     22 |  4.708 % |
38.88/38.90	c |    518177 |   43622   336239  1329605 |        1    89806     22 |  4.708 % |
38.88/38.90	c |    519182 |   43622   336239  1329605 |        1    90811     23 |  4.708 % |
38.88/38.90	c |    519284 |   43622   336239  1329605 |        1    90913     23 |  4.708 % |
38.88/38.90	c |    519384 |   43622   336239  1329605 |        1    91013     23 |  4.708 % |
38.88/38.90	c |    519484 |   43622   336239  1329605 |        1    91113     23 |  4.708 % |
38.88/38.90	c |    519584 |   43622   336239  1329605 |        1    91213     23 |  4.708 % |
38.88/38.90	c |    519686 |   43622   336239  1329605 |        1    91315     23 |  4.708 % |
38.88/38.90	c |    519867 |   43622   336239  1329605 |        1    91496     23 |  4.708 % |
38.88/38.90	c |    519967 |   43622   336239  1329605 |        1    91596     23 |  4.708 % |
38.88/38.90	c |    520070 |   43622   336239  1329605 |        1    91699     23 |  4.708 % |
38.88/38.90	c |    520172 |   43622   336239  1329605 |        1    91801     23 |  4.708 % |
38.88/38.90	c |    520274 |   43622   336239  1329605 |        1    91903     23 |  4.708 % |
38.88/38.90	c |    520374 |   43622   336239  1329605 |        1    92003     23 |  4.708 % |
38.88/38.90	c |    536088 |   43617   336201  1329462 |        1    61595     19 |  4.719 % |
38.88/38.90	c |    536189 |   43617   336201  1329462 |        1    61696     19 |  4.719 % |
38.88/38.90	c |    536289 |   43617   336201  1329462 |        1    61796     19 |  4.719 % |
38.88/38.90	c |    536389 |   43617   336201  1329462 |        1    61896     19 |  4.719 % |
38.88/38.90	c |    536489 |   43617   336201  1329462 |        1    61996     19 |  4.719 % |
38.88/38.90	c |    536589 |   43617   336201  1329462 |        1    62096     19 |  4.719 % |
38.88/38.90	c |    536689 |   43617   336201  1329462 |        1    62196     19 |  4.719 % |
38.88/38.90	c |    536789 |   43617   336201  1329462 |        1    62296     19 |  4.719 % |
38.88/38.90	c |    536890 |   43617   336201  1329462 |        1    62397     19 |  4.719 % |
38.88/38.90	c |    553634 |   43616   336192  1329421 |        1    72556     20 |  4.721 % |
38.88/38.90	c |    556151 |   43616   336192  1329421 |        1    75073     20 |  4.721 % |
38.88/38.90	c |    556251 |   43616   336192  1329421 |        1    75173     20 |  4.721 % |
38.88/38.90	c |    556352 |   43616   336192  1329421 |        1    75274     20 |  4.721 % |
38.88/38.90	c |    556453 |   43616   336192  1329421 |        1    75375     20 |  4.721 % |
38.88/38.90	c |    556553 |   43616   336192  1329421 |        1    75475     20 |  4.721 % |
38.88/38.90	c |    556959 |   43616   336192  1329421 |        1    75881     20 |  4.721 % |
41.98/42.05	c |    557060 |   43616   336192  1329421 |        1    75982     20 |  4.721 % |
41.98/42.05	c |    557160 |   43616   336192  1329421 |        1    76082     20 |  4.721 % |
41.98/42.05	c |    557260 |   43616   336192  1329421 |        1    76182     20 |  4.721 % |
41.98/42.05	c |    557360 |   43616   336192  1329421 |        1    76282     20 |  4.721 % |
41.98/42.05	c |    557461 |   43616   336192  1329421 |        1    76383     20 |  4.721 % |
41.98/42.05	c |    557561 |   43616   336192  1329421 |        1    76483     20 |  4.721 % |
41.98/42.05	c |    558012 |   43616   336192  1329421 |        1    76934     20 |  4.721 % |
41.98/42.05	c |    558113 |   43616   336192  1329421 |        1    77035     20 |  4.721 % |
41.98/42.05	c |    558274 |   43616   336192  1329421 |        1    77196     20 |  4.721 % |
41.98/42.05	c |    561089 |   43616   336192  1329421 |        1    80011     20 |  4.721 % |
41.98/42.05	c |    561254 |   43616   336192  1329421 |        1    80176     20 |  4.721 % |
41.98/42.05	c |    561609 |   43616   336192  1329421 |        1    80531     20 |  4.721 % |
41.98/42.05	c |    562105 |   43616   336192  1329421 |        1    81027     20 |  4.721 % |
41.98/42.05	c |    562256 |   43616   336192  1329421 |        1    81178     20 |  4.721 % |
41.98/42.05	c |    562425 |   43616   336192  1329421 |        1    81347     20 |  4.721 % |
41.98/42.05	c |    562568 |   43616   336192  1329421 |        1    81490     20 |  4.721 % |
41.98/42.05	c |    562668 |   43616   336192  1329421 |        1    81590     20 |  4.721 % |
41.98/42.05	c |    562768 |   43616   336192  1329421 |        1    81690     20 |  4.721 % |
41.98/42.05	c |    562870 |   43616   336192  1329421 |        1    81792     20 |  4.721 % |
41.98/42.05	c |    563261 |   43616   336192  1329421 |        1    82183     20 |  4.721 % |
41.98/42.05	c |    565779 |   43612   336192  1329421 |        1    84700     20 |  4.729 % |
41.98/42.05	c |    567557 |   43612   336178  1329345 |        1    86417     20 |  4.729 % |
41.98/42.05	c |    567661 |   43612   336178  1329345 |        1    86521     20 |  4.729 % |
41.98/42.05	c |    568577 |   43612   336178  1329345 |        1    87437     20 |  4.729 % |
41.98/42.05	c |    568708 |   43612   336178  1329345 |        1    87568     20 |  4.729 % |
41.98/42.05	c |    569223 |   43612   336178  1329345 |        1    88083     20 |  4.729 % |
41.98/42.05	c |    569323 |   43612   336178  1329345 |        1    88183     20 |  4.729 % |
41.98/42.05	c |    569423 |   43612   336178  1329345 |        1    88283     20 |  4.729 % |
41.98/42.05	c |    569733 |   43612   336178  1329345 |        1    88593     20 |  4.729 % |
41.98/42.05	c |    569833 |   43612   336178  1329345 |        1    88693     20 |  4.729 % |
41.98/42.05	c |    569934 |   43612   336178  1329345 |        1    88794     20 |  4.729 % |
41.98/42.05	c |    570320 |   43612   336178  1329345 |        1    89180     20 |  4.729 % |
41.98/42.05	c |    571979 |   43612   336178  1329345 |        1    90839     20 |  4.729 % |
41.98/42.05	c |    572508 |   43612   336178  1329345 |        1    91368     20 |  4.729 % |
41.98/42.05	c |    572608 |   43612   336178  1329345 |        1    91468     20 |  4.729 % |
41.98/42.05	c |    574037 |   43612   336178  1329345 |        1    46481     16 |  4.729 % |
41.98/42.05	c |    574138 |   43612   336178  1329345 |        1    46582     16 |  4.729 % |
41.98/42.05	c |    577233 |   43612   336178  1329345 |        1    49677     16 |  4.729 % |
41.98/42.05	c |    577334 |   43612   336178  1329345 |        1    49778     16 |  4.729 % |
41.98/42.05	c |    577739 |   43612   336178  1329345 |        1    50183     16 |  4.729 % |
41.98/42.05	c |    608973 |   43612   336178  1329345 |        1    81417     17 |  4.729 % |
41.98/42.05	c |    609073 |   43612   336178  1329345 |        1    81517     17 |  4.729 % |
41.98/42.05	c |    611251 |   43612   336178  1329345 |        1    83695     17 |  4.729 % |
41.98/42.05	c |    611352 |   43612   336178  1329345 |        1    83796     18 |  4.729 % |
41.98/42.05	c |    612727 |   43612   336178  1329345 |        1    85171     18 |  4.729 % |
41.98/42.05	c |    614732 |   43612   336178  1329345 |        1    87176     18 |  4.729 % |
41.98/42.05	c |    614902 |   43612   336178  1329345 |        1    87346     18 |  4.729 % |
41.98/42.05	c |    615002 |   43612   336178  1329345 |        1    87446     18 |  4.729 % |
41.98/42.05	c |    618665 |   43612   336178  1329345 |        1    91109     18 |  4.729 % |
44.68/44.75	c |    626778 |   43612   336178  1329345 |        1    99222     18 |  4.729 % |
44.68/44.75	c |    639098 |   43612   336178  1329345 |        1    60331     15 |  4.729 % |
44.68/44.75	c |    640875 |   43612   336178  1329345 |        1    62108     15 |  4.729 % |
44.68/44.75	c |    640975 |   43612   336178  1329345 |        1    62208     15 |  4.729 % |
44.68/44.75	c |    663354 |   40139   335984  1328275 |        1    63239     14 | 12.316 % |
44.68/44.75	c ===============================================================================
44.68/44.75	c restarts              : 1342
44.68/44.75	c nb ReduceDB           : 21
44.68/44.75	c nb removed Clauses    : 561956
44.68/44.75	c nb learnts DL2        : 2169
44.68/44.75	c nb learnts size 2     : 600
44.68/44.75	c nb learnts size 1     : 85
44.68/44.75	c conflicts             : 663354         (16024 /sec)
44.68/44.75	c decisions             : 2424524        (0.00 % random) (58568 /sec)
44.68/44.75	c propagations          : 161377328      (3898313 /sec)
44.68/44.75	c conflict literals     : 17705071       (35.68 % deleted)
44.68/44.75	c nb reduced Clauses    : 2786
44.68/44.75	c CPU time              : 41.3967 s
44.68/44.75	
44.68/44.76	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281812-1303751037/watcher-3281812-1303751037 -o /tmp/evaluation-result-3281812-1303751037/solver-3281812-1303751037 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3281812-1303751037.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.07 3.99 3.91 4/192 6032
/proc/meminfo: memFree=18010696/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) R 6030 6032 5394 0 -1 4202496 317 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204467605 0 65538 4100 65536 0 0 0 17 5 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0

[startup+0.0794271 s]
/proc/loadavg: 4.07 3.99 3.91 4/192 6032
/proc/meminfo: memFree=18010696/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100418 s]
/proc/loadavg: 4.07 3.99 3.91 4/192 6032
/proc/meminfo: memFree=18010696/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300386 s]
/proc/loadavg: 4.07 3.99 3.91 4/192 6032
/proc/meminfo: memFree=18010696/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.70032 s]
/proc/loadavg: 4.07 3.99 3.91 4/192 6032
/proc/meminfo: memFree=18010696/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50018 s]
/proc/loadavg: 4.07 3.99 3.91 5/194 6034
/proc/meminfo: memFree=17870568/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
[pid=6033] ppid=6032 vsize=158824 CPUtime=1.49 cores=5,7
/proc/6033/stat : 6033 (SatELite_releas) R 6032 6032 5394 0 -1 4202496 35851 0 0 0 141 8 0 0 25 0 1 0 486702276 162635776 33211 33554432000 134512640 135144242 4288472448 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/6033/statm: 39706 33211 77 155 0 39549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167528

[startup+3.10093 s]
/proc/loadavg: 4.07 3.99 3.91 5/194 6034
/proc/meminfo: memFree=17842792/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=0 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 486702276 8912896 253 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/6032/statm: 2176 253 211 178 0 69 0
[pid=6033] ppid=6032 vsize=165000 CPUtime=3.09 cores=5,7
/proc/6033/stat : 6033 (SatELite_releas) R 6032 6032 5394 0 -1 4202496 40721 0 0 0 298 11 0 0 25 0 1 0 486702276 168960000 34568 33554432000 134512640 135144242 4288472448 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/6033/statm: 41250 34568 77 155 0 41093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173704

[startup+6.30038 s]
/proc/loadavg: 4.14 4.00 3.92 5/194 6035
/proc/meminfo: memFree=17930852/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=50844 CPUtime=2.98 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 12799 0 0 0 296 2 0 0 25 0 1 0 486702607 52064256 9068 33554432000 4194304 4260849 140734962874624 18446744073709551615 4224779 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 12711 9068 251 17 0 9352 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59548

[startup+12.7003 s]
/proc/loadavg: 4.13 4.00 3.92 5/194 6037
/proc/meminfo: memFree=17859676/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=9.38 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 23277 0 0 0 934 4 0 0 25 0 1 0 486702607 83845120 15715 33554432000 4194304 4260849 140734962874624 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 15715 251 17 0 17111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90584

[startup+25.5012 s]
/proc/loadavg: 4.10 4.00 3.92 5/194 6038
/proc/meminfo: memFree=17892176/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=22.18 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 23897 0 0 0 2214 4 0 0 25 0 1 0 486702607 83845120 16321 33554432000 4194304 4260849 140734962874624 18446744073709551615 4226859 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16321 251 17 0 17111 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90584

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

[startup+38.301 s]
/proc/loadavg: 4.08 4.00 3.92 5/194 6038
/proc/meminfo: memFree=17847616/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=34.97 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 3493 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 90584

[startup+41.5005 s]
/proc/loadavg: 4.08 4.00 3.92 5/194 6039
/proc/meminfo: memFree=17845440/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=38.17 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 3813 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 90584

[startup+43.1002 s]
/proc/loadavg: 4.08 4.00 3.92 5/194 6039
/proc/meminfo: memFree=17844204/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=39.77 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 3973 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 43.08
Current children cumulated vsize (KiB) 90584

[startup+43.9011 s]
/proc/loadavg: 4.07 4.00 3.92 5/194 6039
/proc/meminfo: memFree=17843088/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=40.58 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 4054 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4226545 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 43.89
Current children cumulated vsize (KiB) 90584

[startup+44.301 s]
/proc/loadavg: 4.07 4.00 3.92 5/194 6039
/proc/meminfo: memFree=17843088/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=40.97 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 4093 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4213376 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 44.28
Current children cumulated vsize (KiB) 90584

[startup+44.7009 s]
/proc/loadavg: 4.07 4.00 3.92 5/194 6039
/proc/meminfo: memFree=17843088/32951124 swapFree=67111528/67111528
[pid=6032] ppid=6030 vsize=8704 CPUtime=3.31 cores=5,7
/proc/6032/stat : 6032 (glucose.sh) S 6030 6032 5394 0 -1 4202496 360 40722 0 0 0 0 318 13 18 0 1 0 486702276 8912896 255 33554432000 4194304 4922060 140733579989584 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6032/statm: 2176 255 211 178 0 69 0
[pid=6035] ppid=6032 vsize=81880 CPUtime=41.37 cores=5,7
/proc/6035/stat : 6035 (glucose_static) R 6032 6032 5394 0 -1 4202496 24265 0 0 0 4133 4 0 0 25 0 1 0 486702607 83845120 16674 33554432000 4194304 4260849 140734962874624 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6035/statm: 20470 16674 251 17 0 17111 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 90584

Child status: 20
Real time (s): 44.7735
CPU time (s): 44.7702
CPU user time (s): 44.5792
CPU system time (s): 0.19097
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 176380

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

runsolver used 0.079987 second user time and 0.170974 second system time

The end

Launcher Data

Begin job on node130 at 2011-04-25 19:03:58
IDJOB=3281812
IDBENCH=69619
IDSOLVER=1651
FILE ID=node130/3281812-1303751037
RUNJOBID= node130-1303749439-5725
PBS_JOBID= 13154032
Free space on /tmp= 71788 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281812-1303751037/watcher-3281812-1303751037 -o /tmp/evaluation-result-3281812-1303751037/solver-3281812-1303751037 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3281812-1303751037.cnf 

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1937177886

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18010860 kB
Buffers:       2097772 kB
Cached:       11932516 kB
SwapCached:          0 kB
Active:        6844644 kB
Inactive:      7545176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18010860 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           61976 kB
Writeback:           0 kB
AnonPages:      358924 kB
Mapped:          15560 kB
Slab:           483900 kB
PageTables:       5980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   578208 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= 71788 MiB
End job on node130 at 2011-04-25 19:04:43