Trace number 3303769

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 2565.14 2565.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1428.89
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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.67	c ==============================================================================
0.00/0.67	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.67	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.67	c ==============================================================================
0.00/0.67	c |         0 | 1358076  3290875 |  407422       0        0     nan |  0.000 % |
3.19/3.20	c |         0 |  943589  2622489 |      --       0       --      -- |     --   | -112392/18842
3.19/3.21	c ==============================================================================
3.19/3.21	c Result  :   #vars: 137484   #clauses: 943589   #literals: 2622489
3.19/3.21	c CPU time:   3.11852 s
3.19/3.21	c ==============================================================================
3.69/3.70	c
3.69/3.70	c Starting glucose
3.69/3.70	c
13.28/13.33	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
13.28/13.33	c WARNING: for repeatability, setting FPU to use double precision
13.28/13.33	c ============================[ Problem Statistics ]=============================
13.28/13.33	c |                                                                             |
13.28/13.33	c |  Number of variables:        137484                                         |
13.28/13.33	c |  Number of clauses:          943589                                         |
13.28/13.33	c |  Parse time:                   0.25 s                                       |
13.28/13.33	c |                                                                             |
13.28/13.33	c ============================[ Search Statistics ]==============================
13.28/13.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.28/13.33	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.28/13.33	c ===============================================================================
13.28/13.33	c |       465 |  136825   943589  2622489 |        1      462    110 |  0.479 % |
13.28/13.33	c |      1051 |  134143   934865  2592869 |        1     1020    108 |  2.430 % |
13.28/13.33	c |      1494 |  133476   934865  2592869 |        1     1459    101 |  2.915 % |
13.28/13.33	c |      1746 |  132492   931191  2579269 |        1     1708    101 |  3.631 % |
13.28/13.33	c |      1846 |  132492   931191  2579269 |        1     1808     99 |  3.631 % |
13.28/13.33	c |      2398 |  131408   931191  2579269 |        1     2359     88 |  4.419 % |
13.28/13.33	c |      2674 |  131092   928449  2569213 |        1     2633     89 |  4.649 % |
13.28/13.33	c |      4079 |  127781   923996  2553186 |        1     2056     43 |  7.058 % |
13.28/13.33	c |      4509 |  126935   923996  2553186 |        1     2482     46 |  7.673 % |
13.28/13.33	c |      5292 |  125909   920533  2541981 |        1     3215     47 |  8.419 % |
13.28/13.33	c |      5392 |  125813   920533  2541981 |        1     3314     47 |  8.489 % |
13.28/13.33	c |      5755 |  125810   920533  2541981 |        1     3676     49 |  8.491 % |
13.28/13.33	c |      5857 |  125810   920533  2541981 |        1     3778     50 |  8.491 % |
13.28/13.33	c |      6550 |  125110   919785  2539253 |        1     4466     55 |  9.000 % |
13.28/13.33	c |      6810 |  124523   919785  2539253 |        1     4723     56 |  9.427 % |
13.28/13.33	c |      6912 |  124523   919785  2539253 |        1     4825     56 |  9.427 % |
13.28/13.33	c |      9483 |  122964   915142  2523570 |        1     7153     58 | 10.561 % |
13.28/13.33	c |     10384 |  122770   915142  2523570 |        1     8051     60 | 10.702 % |
13.28/13.33	c |     10484 |  122767   914541  2521419 |        1     8149     60 | 10.705 % |
13.28/13.33	c |     10979 |  122651   914541  2521419 |        1     4540     33 | 10.789 % |
13.28/13.33	c |     11282 |  122651   914541  2521419 |        1     4843     34 | 10.789 % |
13.28/13.33	c |     12039 |  122625   914134  2519988 |        1     5597     42 | 10.808 % |
13.28/13.33	c |     12139 |  122625   914052  2519682 |        1     5697     43 | 10.808 % |
13.28/13.33	c |     12493 |  122596   914052  2519682 |        1     6048     47 | 10.829 % |
13.28/13.33	c |     12594 |  122596   914052  2519682 |        1     6149     50 | 10.829 % |
13.28/13.33	c |     12696 |  122596   914052  2519682 |        1     6251     52 | 10.829 % |
13.28/13.33	c |     13027 |  122596   913973  2519385 |        1     6580     55 | 10.829 % |
13.28/13.33	c |     13350 |  122596   913973  2519385 |        1     6903     57 | 10.829 % |
13.28/13.33	c |     14332 |  121111   911517  2510247 |        1     7877     61 | 11.909 % |
13.28/13.33	c |     14493 |  121111   911517  2510247 |        1     8038     62 | 11.909 % |
13.28/13.33	c |     14704 |  121070   910918  2508422 |        1     8243     63 | 11.939 % |
13.28/13.33	c |     14805 |  121070   910918  2508422 |        1     8344     63 | 11.939 % |
13.28/13.33	c |     14915 |  121070   910918  2508422 |        1     8454     63 | 11.939 % |
13.28/13.33	c |     15689 |  120045   910918  2508422 |        1     9225     67 | 12.684 % |
13.28/13.33	c |     15789 |  120045   908825  2500787 |        1     9305     67 | 12.684 % |
13.28/13.33	c |     16540 |  120008   908825  2500787 |        1    10053     68 | 12.711 % |
13.28/13.33	c |     16640 |  120008   908825  2500787 |        1    10153     67 | 12.711 % |
13.28/13.33	c |     16876 |  119997   908825  2500787 |        1    10388     70 | 12.719 % |
13.28/13.33	c |     17487 |  119706   908723  2500421 |        1    10972     71 | 12.931 % |
22.67/22.74	c |     17587 |  119693   908723  2500421 |        1    11071     72 | 12.940 % |
22.67/22.74	c |     17687 |  119693   908723  2500421 |        1    11171     72 | 12.940 % |
22.67/22.74	c |     17959 |  119434   908723  2500421 |        1    11441     72 | 13.129 % |
22.67/22.74	c |     18427 |  119029   908392  2499382 |        1    11895     72 | 13.423 % |
22.67/22.74	c |     18535 |  119029   908392  2499382 |        1    12003     73 | 13.423 % |
22.67/22.74	c |     18635 |  119029   908392  2499382 |        1    12103     73 | 13.423 % |
22.67/22.74	c |     19441 |  119015   908245  2498873 |        1    12894     77 | 13.434 % |
22.67/22.74	c |     19656 |  118434   908245  2498873 |        1    13105     78 | 13.856 % |
22.67/22.74	c |     19756 |  118434   908245  2498873 |        1    13205     78 | 13.856 % |
22.67/22.74	c |     20147 |  118249   908245  2498873 |        1     7008     43 | 13.991 % |
22.67/22.74	c |     20566 |  118237   908245  2498873 |        1     7426     46 | 13.999 % |
22.67/22.74	c |     20847 |  118236   908245  2498873 |        1     7706     48 | 14.000 % |
22.67/22.74	c |     20947 |  118236   907137  2495495 |        1     7790     48 | 14.000 % |
22.67/22.74	c |     21946 |  118194   907137  2495495 |        1     8785     54 | 14.031 % |
22.67/22.74	c |     22256 |  118194   907098  2495366 |        1     9088     57 | 14.031 % |
22.67/22.74	c |     22702 |  118193   907098  2495366 |        1     9533     65 | 14.031 % |
22.67/22.74	c |     22802 |  118193   907098  2495366 |        1     9633     67 | 14.031 % |
22.67/22.74	c |     22902 |  118145   907098  2495366 |        1     9729     68 | 14.066 % |
22.67/22.74	c |     23027 |  118145   906938  2494766 |        1     9854     69 | 14.066 % |
22.67/22.74	c |     23135 |  118135   906938  2494766 |        1     9961     69 | 14.074 % |
22.67/22.74	c |     23765 |  118127   906938  2494766 |        1    10590     77 | 14.079 % |
22.67/22.74	c |     23891 |  118127   906859  2494489 |        1    10712     77 | 14.079 % |
22.67/22.74	c |     23995 |  118127   906859  2494489 |        1    10816     77 | 14.079 % |
22.67/22.74	c |     24097 |  118127   906859  2494489 |        1    10918     79 | 14.079 % |
22.67/22.74	c |     24197 |  118127   906859  2494489 |        1    11018     79 | 14.079 % |
22.67/22.74	c |     25456 |  118114   906819  2494339 |        1    12269     82 | 14.089 % |
22.67/22.74	c |     25557 |  118114   906819  2494339 |        1    12370     82 | 14.089 % |
22.67/22.74	c |     26225 |  118007   906819  2494339 |        1    13033     84 | 14.167 % |
22.67/22.74	c |     26373 |  117931   906819  2494339 |        1    13178     84 | 14.222 % |
22.67/22.74	c |     26474 |  117931   906450  2493050 |        1    13263     84 | 14.222 % |
22.67/22.74	c |     26967 |  117923   906450  2493050 |        1    13755     87 | 14.228 % |
22.67/22.74	c |     27181 |  117917   906450  2493050 |        1    13967     88 | 14.232 % |
22.67/22.74	c |     27765 |  117917   906450  2493050 |        1    14551     90 | 14.232 % |
22.67/22.74	c |     27868 |  117905   906398  2492880 |        1    14650     91 | 14.241 % |
22.67/22.74	c |     28265 |  117854   906398  2492880 |        1    15043     92 | 14.278 % |
22.67/22.74	c |     28365 |  117823   906398  2492880 |        1    15141     93 | 14.301 % |
22.67/22.74	c |     29011 |  117758   906398  2492880 |        1    15786     94 | 14.348 % |
22.67/22.74	c |     29198 |  117758   906104  2491788 |        1    15970     95 | 14.348 % |
22.67/22.74	c |     29298 |  117753   906104  2491788 |        1    16069     95 | 14.351 % |
22.67/22.74	c |     29398 |  117753   906104  2491788 |        1    16169     96 | 14.351 % |
22.67/22.74	c |     29498 |  117753   906104  2491788 |        1    16269     96 | 14.351 % |
22.67/22.74	c |     29994 |  117707   905962  2491300 |        1    16754     98 | 14.385 % |
22.67/22.74	c |     30094 |  117707   905962  2491300 |        1    16854     98 | 14.385 % |
22.67/22.74	c |     30194 |  117707   905962  2491300 |        1    16954     99 | 14.385 % |
22.67/22.74	c |     30300 |  117707   905962  2491300 |        1    17060    100 | 14.385 % |
22.67/22.74	c |     30533 |  117657   905962  2491300 |        1    17292    102 | 14.421 % |
22.67/22.74	c |     30633 |  117645   905962  2491300 |        1    17391    102 | 14.430 % |
22.67/22.74	c |     30733 |  117645   905962  2491300 |        1    17491    103 | 14.430 % |
22.67/22.74	c |     30835 |  117564   905962  2491300 |        1    17592    103 | 14.489 % |
22.67/22.74	c |     31297 |  117564   905962  2491300 |        1    18054    104 | 14.489 % |
31.58/31.63	c |     31397 |  117186   905774  2490700 |        1    18146    105 | 14.764 % |
31.58/31.63	c |     31497 |  117186   905774  2490700 |        1    18246    105 | 14.764 % |
31.58/31.63	c |     31597 |  117186   905774  2490700 |        1    18346    106 | 14.764 % |
31.58/31.63	c |     31741 |  117186   905774  2490700 |        1     9544     50 | 14.764 % |
31.58/31.63	c |     32419 |  117130   905774  2490700 |        1    10220     53 | 14.805 % |
31.58/31.63	c |     32641 |  117130   905774  2490700 |        1    10442     55 | 14.805 % |
31.58/31.63	c |     32960 |  116875   904743  2486961 |        1    10758     56 | 14.990 % |
31.58/31.63	c |     33083 |  116863   904743  2486961 |        1    10880     57 | 14.999 % |
31.58/31.63	c |     33184 |  116863   904743  2486961 |        1    10981     58 | 14.999 % |
31.58/31.63	c |     33567 |  116851   904743  2486961 |        1    11363     63 | 15.008 % |
31.58/31.63	c |     33667 |  116851   904020  2484286 |        1    11459     64 | 15.008 % |
31.58/31.63	c |     33790 |  116851   904020  2484286 |        1    11582     67 | 15.008 % |
31.58/31.63	c |     33890 |  116851   904020  2484286 |        1    11682     67 | 15.008 % |
31.58/31.63	c |     33998 |  116818   904020  2484286 |        1    11788     68 | 15.032 % |
31.58/31.63	c |     34100 |  116818   904020  2484286 |        1    11890     68 | 15.032 % |
31.58/31.63	c |     34471 |  116818   904020  2484286 |        1    12261     74 | 15.032 % |
31.58/31.63	c |     34572 |  116818   903996  2484208 |        1    12360     75 | 15.032 % |
31.58/31.63	c |     34755 |  116805   903996  2484208 |        1    12541     77 | 15.041 % |
31.58/31.63	c |     34859 |  116805   903996  2484208 |        1    12645     78 | 15.041 % |
31.58/31.63	c |     34961 |  116805   903996  2484208 |        1    12747     79 | 15.041 % |
31.58/31.63	c |     35061 |  116805   903996  2484208 |        1    12847     80 | 15.041 % |
31.58/31.63	c |     35166 |  116805   903996  2484208 |        1    12952     81 | 15.041 % |
31.58/31.63	c |     35317 |  116805   903996  2484208 |        1    13103     82 | 15.041 % |
31.58/31.63	c |     36128 |  116585   903957  2484061 |        1    13908     82 | 15.201 % |
31.58/31.63	c |     36280 |  116585   903957  2484061 |        1    14060     82 | 15.201 % |
31.58/31.63	c |     36428 |  116585   903957  2484061 |        1    14208     83 | 15.201 % |
31.58/31.63	c |     36635 |  116140   903872  2483790 |        1    14410     85 | 15.525 % |
31.58/31.63	c |     36835 |  116129   903872  2483790 |        1    14609     86 | 15.533 % |
31.58/31.63	c |     37048 |  116129   903872  2483790 |        1    14822     88 | 15.533 % |
31.58/31.63	c |     37150 |  116129   903872  2483790 |        1    14924     88 | 15.533 % |
31.58/31.63	c |     37465 |  116129   903872  2483790 |        1    15239     92 | 15.533 % |
31.58/31.63	c |     37568 |  116129   902635  2479299 |        1    15337     92 | 15.533 % |
31.58/31.63	c |     37668 |  116129   902635  2479299 |        1    15437     93 | 15.533 % |
31.58/31.63	c |     38110 |  116122   902635  2479299 |        1    15878     94 | 15.538 % |
31.58/31.63	c |     38210 |  116122   902635  2479299 |        1    15978     94 | 15.538 % |
31.58/31.63	c |     38946 |  116102   902524  2478898 |        1    16707     96 | 15.552 % |
31.58/31.63	c |     39047 |  116102   902524  2478898 |        1    16808     96 | 15.552 % |
31.58/31.63	c |     39211 |  116011   902524  2478898 |        1    16970     97 | 15.619 % |
31.58/31.63	c |     39473 |  116008   902524  2478898 |        1    17231    100 | 15.621 % |
31.58/31.63	c |     39626 |  116008   902524  2478898 |        1    17384    101 | 15.621 % |
31.58/31.63	c |     39731 |  116006   902307  2478231 |        1    17483    101 | 15.622 % |
31.58/31.63	c |     39831 |  116006   902307  2478231 |        1    17583    101 | 15.622 % |
31.58/31.63	c |     40246 |  115898   902307  2478231 |        1    17995    101 | 15.701 % |
31.58/31.63	c |     40346 |  115898   902307  2478231 |        1    18095    101 | 15.701 % |
31.58/31.63	c |     40664 |  115630   901793  2476589 |        1    18400    102 | 15.896 % |
31.58/31.63	c |     40764 |  115630   901793  2476589 |        1    18500    102 | 15.896 % |
31.58/31.63	c |     40864 |  115630   901793  2476589 |        1    18600    103 | 15.896 % |
31.58/31.63	c |     40965 |  115630   901793  2476589 |        1    18701    103 | 15.896 % |
31.58/31.63	c |     41259 |  115360   901793  2476589 |        1    18994    105 | 16.092 % |
31.58/31.63	c |     41359 |  115360   901793  2476589 |        1    19094    107 | 16.092 % |
41.68/41.72	c |     41459 |  115360   901793  2476589 |        1    19194    107 | 16.092 % |
41.68/41.72	c |     41896 |  115029   901793  2476589 |        1    19629    107 | 16.333 % |
41.68/41.72	c |     42066 |  115029   900809  2473247 |        1    19798    108 | 16.333 % |
41.68/41.72	c |     42943 |  115029   900809  2473247 |        1    20675    113 | 16.333 % |
41.68/41.72	c |     43085 |  115029   900809  2473247 |        1    20817    113 | 16.333 % |
41.68/41.72	c |     43239 |  115029   900809  2473247 |        1    20971    112 | 16.333 % |
41.68/41.72	c |     43534 |  115029   900809  2473247 |        1    21266    113 | 16.333 % |
41.68/41.72	c |     43634 |  115029   900809  2473247 |        1    21366    114 | 16.333 % |
41.68/41.72	c |     43952 |  115029   900809  2473247 |        1    21684    116 | 16.333 % |
41.68/41.72	c |     44052 |  115029   900809  2473247 |        1    21784    116 | 16.333 % |
41.68/41.72	c |     44153 |  115029   900809  2473247 |        1    21885    116 | 16.333 % |
41.68/41.72	c |     44253 |  115017   900768  2473094 |        1    21983    116 | 16.342 % |
41.68/41.72	c |     44353 |  115017   900768  2473094 |        1    22083    116 | 16.342 % |
41.68/41.72	c |     44510 |  115006   900768  2473094 |        1    22239    117 | 16.350 % |
41.68/41.72	c |     44610 |  115006   900768  2473094 |        1    22339    117 | 16.350 % |
41.68/41.72	c |     44792 |  115006   900768  2473094 |        1    22521    117 | 16.350 % |
41.68/41.72	c |     44983 |  115006   900768  2473094 |        1    22712    117 | 16.350 % |
41.68/41.72	c |     45212 |  115006   900768  2473094 |        1    22941    118 | 16.350 % |
41.68/41.72	c |     45417 |  115006   900768  2473094 |        1    23146    118 | 16.350 % |
41.68/41.72	c |     45563 |  115006   900768  2473094 |        1    23292    119 | 16.350 % |
41.68/41.72	c |     45663 |  115006   900768  2473094 |        1    23392    120 | 16.350 % |
41.68/41.72	c |     45764 |  115006   900730  2472950 |        1    23492    119 | 16.350 % |
41.68/41.72	c |     45866 |  115006   900730  2472950 |        1    23594    120 | 16.350 % |
41.68/41.72	c |     46076 |  115006   900730  2472950 |        1    12347     47 | 16.350 % |
41.68/41.72	c |     46398 |  115006   900730  2472950 |        1    12669     49 | 16.350 % |
41.68/41.72	c |     46830 |  114971   900730  2472950 |        1    13099     55 | 16.375 % |
41.68/41.72	c |     46931 |  114971   900730  2472950 |        1    13200     56 | 16.375 % |
41.68/41.72	c |     47141 |  114964   900730  2472950 |        1    13409     57 | 16.380 % |
41.68/41.72	c |     48600 |  114954   900618  2472574 |        1    14861     72 | 16.387 % |
41.68/41.72	c |     48700 |  114953   900618  2472574 |        1    14960     73 | 16.388 % |
41.68/41.72	c |     49037 |  114862   900618  2472574 |        1    15295     75 | 16.454 % |
41.68/41.72	c |     49410 |  114862   900618  2472574 |        1    15668     76 | 16.454 % |
41.68/41.72	c |     49766 |  114862   900618  2472574 |        1    16024     79 | 16.454 % |
41.68/41.72	c |     50938 |  114805   900592  2472490 |        1    17192     84 | 16.496 % |
41.68/41.72	c |     51038 |  114804   900526  2472276 |        1    17285     85 | 16.496 % |
41.68/41.72	c |     51274 |  114795   900526  2472276 |        1    17520     87 | 16.503 % |
41.68/41.72	c |     51375 |  114794   900526  2472276 |        1    17620     87 | 16.504 % |
41.68/41.72	c |     51502 |  114790   900526  2472276 |        1    17745     87 | 16.507 % |
41.68/41.72	c |     51615 |  114790   900526  2472276 |        1    17858     88 | 16.507 % |
41.68/41.72	c |     51745 |  114790   900526  2472276 |        1    17988     88 | 16.507 % |
41.68/41.72	c |     51876 |  114790   900526  2472276 |        1    18119     88 | 16.507 % |
41.68/41.72	c |     51976 |  114790   900526  2472276 |        1    18219     88 | 16.507 % |
41.68/41.72	c |     52158 |  114790   900526  2472276 |        1    18401     90 | 16.507 % |
41.68/41.72	c |     52385 |  114790   900482  2472130 |        1    18620     91 | 16.507 % |
41.68/41.72	c |     52485 |  114790   900482  2472130 |        1    18720     91 | 16.507 % |
41.68/41.72	c |     52586 |  114790   900482  2472130 |        1    18821     91 | 16.507 % |
41.68/41.72	c |     53244 |  114790   900482  2472130 |        1    19479     93 | 16.507 % |
41.68/41.72	c |     53355 |  114790   900482  2472130 |        1    19590     94 | 16.507 % |
41.68/41.72	c |     53498 |  114790   900482  2472130 |        1    19733     94 | 16.507 % |
41.68/41.72	c |     53736 |  114779   900441  2471977 |        1    19969     95 | 16.515 % |
57.08/57.11	c |     54470 |  114779   900441  2471977 |        1    20703     97 | 16.515 % |
57.08/57.11	c |     54572 |  114779   900441  2471977 |        1    20805     97 | 16.515 % |
57.08/57.11	c |     54831 |  114779   900441  2471977 |        1    21064     97 | 16.515 % |
57.08/57.11	c |     54931 |  114779   900441  2471977 |        1    21164     97 | 16.515 % |
57.08/57.11	c |     55183 |  114779   900441  2471977 |        1    21416     97 | 16.515 % |
57.08/57.11	c |     55284 |  114772   900441  2471977 |        1    21516     97 | 16.520 % |
57.08/57.11	c |     55463 |  114771   900441  2471977 |        1    21694     99 | 16.520 % |
57.08/57.11	c |     55563 |  114771   900412  2471884 |        1    21792     99 | 16.520 % |
57.08/57.11	c |     56454 |  114770   900412  2471884 |        1    22682    106 | 16.521 % |
57.08/57.11	c |     56786 |  114749   900366  2471716 |        1    23008    108 | 16.536 % |
57.08/57.11	c |     57391 |  114749   900366  2471716 |        1    23613    117 | 16.536 % |
57.08/57.11	c |     57491 |  114749   900366  2471716 |        1    23713    117 | 16.536 % |
57.08/57.11	c |     57591 |  114737   900320  2471556 |        1    23811    117 | 16.545 % |
57.08/57.11	c |     57947 |  114737   900320  2471556 |        1    24167    122 | 16.545 % |
57.08/57.11	c |     58048 |  114737   900320  2471556 |        1    24268    123 | 16.545 % |
57.08/57.11	c |     58538 |  114711   900320  2471556 |        1    24755    127 | 16.564 % |
57.08/57.11	c |     58640 |  114711   900320  2471556 |        1    24857    127 | 16.564 % |
57.08/57.11	c |     59782 |  114527   900164  2471004 |        1    25985    129 | 16.698 % |
57.08/57.11	c |     59977 |  114527   900164  2471004 |        1    26180    129 | 16.698 % |
57.08/57.11	c |     60416 |  114527   900164  2471004 |        1    26619    130 | 16.698 % |
57.08/57.11	c |     60516 |  114527   900164  2471004 |        1    26719    130 | 16.698 % |
57.08/57.11	c |     60930 |  114519   899669  2469337 |        1    27123    132 | 16.704 % |
57.08/57.11	c |     61616 |  114519   899669  2469337 |        1    27809    133 | 16.704 % |
57.08/57.11	c |     61843 |  114519   899669  2469337 |        1    28036    133 | 16.704 % |
57.08/57.11	c |     62313 |  114505   899669  2469337 |        1    28505    133 | 16.714 % |
57.08/57.11	c |     62917 |  114356   899669  2469337 |        1    29102    134 | 16.822 % |
57.08/57.11	c |     63187 |  114304   899177  2467589 |        1    16091     58 | 16.860 % |
57.08/57.11	c |     63343 |  114304   899177  2467589 |        1    16247     61 | 16.860 % |
57.08/57.11	c |     63443 |  114293   899177  2467589 |        1    16346     61 | 16.868 % |
57.08/57.11	c |     63636 |  114279   899177  2467589 |        1    16538     64 | 16.878 % |
57.08/57.11	c |     63856 |  114279   899177  2467589 |        1    16758     65 | 16.878 % |
57.08/57.11	c |     64174 |  114265   899177  2467589 |        1    17074     67 | 16.889 % |
57.08/57.11	c |     64278 |  114265   899177  2467589 |        1    17178     69 | 16.889 % |
57.08/57.11	c |     64580 |  114265   898843  2466409 |        1    17464     72 | 16.889 % |
57.08/57.11	c |     64713 |  114265   898843  2466409 |        1    17597     73 | 16.889 % |
57.08/57.11	c |     65198 |  114224   898749  2466067 |        1    18080     77 | 16.918 % |
57.08/57.11	c |     66268 |  114218   898749  2466067 |        1    19148     83 | 16.923 % |
57.08/57.11	c |     66368 |  114218   898731  2466013 |        1    19248     84 | 16.923 % |
57.08/57.11	c |     66468 |  114218   898731  2466013 |        1    19348     85 | 16.923 % |
57.08/57.11	c |     66621 |  114207   898731  2466013 |        1    19500     86 | 16.931 % |
57.08/57.11	c |     67383 |  114200   898731  2466013 |        1    20259     88 | 16.936 % |
57.08/57.11	c |     67542 |  114200   898731  2466013 |        1    20418     89 | 16.936 % |
57.08/57.11	c |     67829 |  114200   898731  2466013 |        1    20705     91 | 16.936 % |
57.08/57.11	c |     67929 |  114200   898689  2465865 |        1    20804     92 | 16.936 % |
57.08/57.11	c |     68029 |  114200   898689  2465865 |        1    20904     92 | 16.936 % |
57.08/57.11	c |     68293 |  114200   898689  2465865 |        1    21168     94 | 16.936 % |
57.08/57.11	c |     68395 |  114200   898689  2465865 |        1    21270     95 | 16.936 % |
57.08/57.11	c |     68496 |  114200   898689  2465865 |        1    21371     95 | 16.936 % |
57.08/57.11	c |     69038 |  114187   898689  2465865 |        1    21912     99 | 16.945 % |
57.08/57.11	c |     69356 |  114187   898649  2465715 |        1    22230     99 | 16.945 % |
72.27/72.32	c |     69457 |  114187   898649  2465715 |        1    22331     99 | 16.945 % |
72.27/72.32	c |     69654 |  114173   898649  2465715 |        1    22527    100 | 16.955 % |
72.27/72.32	c |     70622 |  114173   898649  2465715 |        1    23495    103 | 16.955 % |
72.27/72.32	c |     71275 |  114173   898649  2465715 |        1    24148    107 | 16.955 % |
72.27/72.32	c |     71462 |  114173   898592  2465538 |        1    24328    108 | 16.955 % |
72.27/72.32	c |     71562 |  114173   898592  2465538 |        1    24428    108 | 16.955 % |
72.27/72.32	c |     71662 |  114173   898592  2465538 |        1    24528    108 | 16.955 % |
72.27/72.32	c |     71911 |  114165   898592  2465538 |        1    24776    109 | 16.961 % |
72.27/72.32	c |     72020 |  114165   898592  2465538 |        1    24885    109 | 16.961 % |
72.27/72.32	c |     72409 |  114162   898592  2465538 |        1    25273    111 | 16.963 % |
72.27/72.32	c |     72825 |  114139   898592  2465538 |        1    25688    112 | 16.980 % |
72.27/72.32	c |     74396 |  114124   898476  2465106 |        1    27245    132 | 16.991 % |
72.27/72.32	c |     74497 |  114124   898419  2464905 |        1    27346    132 | 16.991 % |
72.27/72.32	c |     74696 |  114124   898419  2464905 |        1    27545    134 | 16.991 % |
72.27/72.32	c |     75141 |  114124   898419  2464905 |        1    27990    136 | 16.991 % |
72.27/72.32	c |     75243 |  114124   898419  2464905 |        1    28092    136 | 16.991 % |
72.27/72.32	c |     75593 |  114124   898419  2464905 |        1    28442    135 | 16.991 % |
72.27/72.32	c |     75693 |  114124   898419  2464905 |        1    28542    136 | 16.991 % |
72.27/72.32	c |     75833 |  114124   898419  2464905 |        1    28682    136 | 16.991 % |
72.27/72.32	c |     75934 |  114124   898419  2464905 |        1    28783    136 | 16.991 % |
72.27/72.32	c |     76488 |  114124   898419  2464905 |        1    29337    138 | 16.991 % |
72.27/72.32	c |     76590 |  114124   898419  2464905 |        1    29439    138 | 16.991 % |
72.27/72.32	c |     77203 |  114123   898419  2464905 |        1    30051    139 | 16.992 % |
72.27/72.32	c |     77303 |  114123   898419  2464905 |        1    30151    139 | 16.992 % |
72.27/72.32	c |     77723 |  114116   898419  2464905 |        1    30570    143 | 16.997 % |
72.27/72.32	c |     77824 |  114116   898419  2464905 |        1    30671    143 | 16.997 % |
72.27/72.32	c |     77924 |  114116   898419  2464905 |        1    30771    143 | 16.997 % |
72.27/72.32	c |     78059 |  114116   898419  2464905 |        1    30906    143 | 16.997 % |
72.27/72.32	c |     78159 |  114116   898419  2464905 |        1    31006    143 | 16.997 % |
72.27/72.32	c |     78261 |  114116   898419  2464905 |        1    31108    143 | 16.997 % |
72.27/72.32	c |     78361 |  114116   898419  2464905 |        1    31208    142 | 16.997 % |
72.27/72.32	c |     78463 |  114116   898419  2464905 |        1    31310    142 | 16.997 % |
72.27/72.32	c |     78655 |  114103   898419  2464905 |        1    31501    142 | 17.006 % |
72.27/72.32	c |     78789 |  114103   898419  2464905 |        1    31635    142 | 17.006 % |
72.27/72.32	c |     78893 |  114103   898373  2464725 |        1    31739    143 | 17.006 % |
72.27/72.32	c |     79016 |  114103   898373  2464725 |        1    31862    143 | 17.006 % |
72.27/72.32	c |     79116 |  114103   898373  2464725 |        1    31962    143 | 17.006 % |
72.27/72.32	c |     79287 |  114103   898373  2464725 |        1    32133    143 | 17.006 % |
72.27/72.32	c |     80113 |  114103   898373  2464725 |        1    32959    149 | 17.006 % |
72.27/72.32	c |     80282 |  114103   898373  2464725 |        1    33128    149 | 17.006 % |
72.27/72.32	c |     80404 |  113974   898373  2464725 |        1    33249    150 | 17.100 % |
72.27/72.32	c |     81085 |  113974   898309  2464533 |        1    33920    150 | 17.100 % |
72.27/72.32	c |     81187 |  113974   898309  2464533 |        1    34022    150 | 17.100 % |
72.27/72.32	c |     81357 |  113974   898309  2464533 |        1    34192    151 | 17.100 % |
72.27/72.32	c |     82041 |  113960   898309  2464533 |        1    34875    153 | 17.110 % |
72.27/72.32	c |     82163 |  113960   898309  2464533 |        1    34997    153 | 17.110 % |
72.27/72.32	c |     82264 |  113960   898309  2464533 |        1    35098    153 | 17.110 % |
72.27/72.32	c |     82364 |  113960   898309  2464533 |        1    35198    154 | 17.110 % |
72.27/72.32	c |     82636 |  113959   898241  2464317 |        1    19398     63 | 17.111 % |
72.27/72.32	c |     82767 |  113959   898241  2464317 |        1    19529     64 | 17.111 % |
95.78/95.86	c |     82867 |  113959   898241  2464317 |        1    19629     65 | 17.111 % |
95.78/95.86	c |     83252 |  113959   898241  2464317 |        1    20014     73 | 17.111 % |
95.78/95.86	c |     83506 |  113955   898241  2464317 |        1    20267     75 | 17.114 % |
95.78/95.86	c |     84469 |  113872   898241  2464317 |        1    21227     78 | 17.174 % |
95.78/95.86	c |     84569 |  113872   898002  2463600 |        1    21308     78 | 17.174 % |
95.78/95.86	c |     85069 |  113862   898002  2463600 |        1    21807     81 | 17.182 % |
95.78/95.86	c |     85257 |  113862   898002  2463600 |        1    21995     83 | 17.182 % |
95.78/95.86	c |     85426 |  113862   898002  2463600 |        1    22164     83 | 17.182 % |
95.78/95.86	c |     85893 |  113861   898002  2463600 |        1    22630     86 | 17.182 % |
95.78/95.86	c |     86328 |  113861   897994  2463576 |        1    23064     91 | 17.182 % |
95.78/95.86	c |     86465 |  113861   897994  2463576 |        1    23201     91 | 17.182 % |
95.78/95.86	c |     86954 |  113861   897994  2463576 |        1    23690    102 | 17.182 % |
95.78/95.86	c |     87057 |  113861   897994  2463576 |        1    23793    102 | 17.182 % |
95.78/95.86	c |     87159 |  113861   897994  2463576 |        1    23895    102 | 17.182 % |
95.78/95.86	c |     87778 |  113861   897994  2463576 |        1    24514    110 | 17.182 % |
95.78/95.86	c |     87883 |  113861   897994  2463576 |        1    24619    110 | 17.182 % |
95.78/95.86	c |     87983 |  113861   897994  2463576 |        1    24719    110 | 17.182 % |
95.78/95.86	c |     88084 |  113861   897994  2463576 |        1    24820    110 | 17.182 % |
95.78/95.86	c |     88307 |  113861   897994  2463576 |        1    25043    112 | 17.182 % |
95.78/95.86	c |     88744 |  113861   897994  2463576 |        1    25480    116 | 17.182 % |
95.78/95.86	c |     89194 |  113851   897938  2463384 |        1    25928    117 | 17.190 % |
95.78/95.86	c |     89298 |  113851   897938  2463384 |        1    26032    117 | 17.190 % |
95.78/95.86	c |     89398 |  113851   897938  2463384 |        1    26132    117 | 17.190 % |
95.78/95.86	c |     89940 |  113851   897938  2463384 |        1    26674    121 | 17.190 % |
95.78/95.86	c |     90486 |  113736   897860  2463128 |        1    27207    122 | 17.273 % |
95.78/95.86	c |     93915 |  113502   897860  2463128 |        1    30631    159 | 17.443 % |
95.78/95.86	c |     94015 |  113502   897170  2460578 |        1    30713    159 | 17.443 % |
95.78/95.86	c |     94115 |  113502   897170  2460578 |        1    30813    159 | 17.443 % |
95.78/95.86	c |     94215 |  113501   897170  2460578 |        1    30912    158 | 17.444 % |
95.78/95.86	c |     94371 |  113501   897170  2460578 |        1    31068    159 | 17.444 % |
95.78/95.86	c |     94853 |  113501   897170  2460578 |        1    31550    159 | 17.444 % |
95.78/95.86	c |     95240 |  113500   897170  2460578 |        1    31936    158 | 17.445 % |
95.78/95.86	c |     95863 |  113499   897170  2460578 |        1    32558    162 | 17.446 % |
95.78/95.86	c |     95964 |  113499   897170  2460578 |        1    32659    162 | 17.446 % |
95.78/95.86	c |     96066 |  113499   897170  2460578 |        1    32761    162 | 17.446 % |
95.78/95.86	c |     96233 |  113499   897169  2460575 |        1    32908    163 | 17.446 % |
95.78/95.86	c |     96333 |  113499   897169  2460575 |        1    33008    163 | 17.446 % |
95.78/95.86	c |     96434 |  113499   897169  2460575 |        1    33109    163 | 17.446 % |
95.78/95.86	c |     96535 |  113499   897169  2460575 |        1    33210    164 | 17.446 % |
95.78/95.86	c |     97033 |  113498   897169  2460575 |        1    33707    166 | 17.446 % |
95.78/95.86	c |     97135 |  113498   897169  2460575 |        1    33809    166 | 17.446 % |
95.78/95.86	c |     97271 |  113498   897169  2460575 |        1    33945    167 | 17.446 % |
95.78/95.86	c |     97415 |  113498   897169  2460575 |        1    34089    167 | 17.446 % |
95.78/95.86	c |     97516 |  113498   897169  2460575 |        1    34190    168 | 17.446 % |
95.78/95.86	c |     97806 |  113487   897169  2460575 |        1    34476    168 | 17.454 % |
95.78/95.86	c |     97907 |  113487   897169  2460575 |        1    34577    168 | 17.454 % |
95.78/95.86	c |     98007 |  113478   897169  2460575 |        1    34676    168 | 17.461 % |
95.78/95.86	c |     98387 |  113453   897169  2460575 |        1    35054    169 | 17.479 % |
95.78/95.86	c |     99267 |  113451   897022  2460058 |        1    35875    181 | 17.481 % |
118.38/118.42	c |     99367 |  113451   897022  2460058 |        1    35975    181 | 17.481 % |
118.38/118.42	c |     99468 |  113451   897022  2460058 |        1    36076    181 | 17.481 % |
118.38/118.42	c |     99568 |  113451   897022  2460058 |        1    36176    182 | 17.481 % |
118.38/118.42	c |    100007 |  113443   897022  2460058 |        1    36614    182 | 17.486 % |
118.38/118.42	c |    100124 |  113443   897022  2460058 |        1    36731    182 | 17.486 % |
118.38/118.42	c |    100454 |  112628   897022  2460058 |        1    37053    182 | 18.079 % |
118.38/118.42	c |    100555 |  112628   897022  2460058 |        1    37154    183 | 18.079 % |
118.38/118.42	c |    100655 |  112621   897022  2460058 |        1    37253    183 | 18.084 % |
118.38/118.42	c |    101837 |  112612   897022  2460058 |        1    38433    187 | 18.091 % |
118.38/118.42	c |    101937 |  112601   891490  2441403 |        1    38266    188 | 18.099 % |
118.38/118.42	c |    102590 |  112601   891490  2441403 |        1    38919    190 | 18.099 % |
118.38/118.42	c |    102690 |  112601   891490  2441403 |        1    39019    191 | 18.099 % |
118.38/118.42	c |    102790 |  112601   891490  2441403 |        1    39119    191 | 18.099 % |
118.38/118.42	c |    102969 |  112430   891490  2441403 |        1    39297    190 | 18.223 % |
118.38/118.42	c |    103070 |  112430   891490  2441403 |        1    39398    191 | 18.223 % |
118.38/118.42	c |    103879 |  112430   891490  2441403 |        1    40207    191 | 18.223 % |
118.38/118.42	c |    103979 |  112430   891490  2441403 |        1    40307    191 | 18.223 % |
118.38/118.42	c |    104082 |  112279   891490  2441403 |        1    40409    191 | 18.333 % |
118.38/118.42	c |    104479 |  112278   891490  2441403 |        1    40805    191 | 18.334 % |
118.38/118.42	c |    105169 |  112271   890313  2437583 |        1    22644     77 | 18.339 % |
118.38/118.42	c |    105269 |  112264   890313  2437583 |        1    22743     78 | 18.344 % |
118.38/118.42	c |    105404 |  112220   890313  2437583 |        1    22877     79 | 18.376 % |
118.38/118.42	c |    105819 |  112220   890313  2437583 |        1    23292     80 | 18.376 % |
118.38/118.42	c |    105920 |  112220   890313  2437583 |        1    23393     80 | 18.376 % |
118.38/118.42	c |    106068 |  112219   890313  2437583 |        1    23540     80 | 18.377 % |
118.38/118.42	c |    106338 |  112219   890313  2437583 |        1    23810     82 | 18.377 % |
118.38/118.42	c |    106555 |  112219   890313  2437583 |        1    24027     84 | 18.377 % |
118.38/118.42	c |    106855 |  112219   890313  2437583 |        1    24327     86 | 18.377 % |
118.38/118.42	c |    107379 |  112219   890313  2437583 |        1    24851     92 | 18.377 % |
118.38/118.42	c |    107586 |  112214   890078  2436838 |        1    25029     93 | 18.380 % |
118.38/118.42	c |    108245 |  112189   890078  2436838 |        1    25686    100 | 18.399 % |
118.38/118.42	c |    108415 |  112189   890078  2436838 |        1    25856    101 | 18.399 % |
118.38/118.42	c |    108899 |  112184   889982  2436488 |        1    26330    103 | 18.402 % |
118.38/118.42	c |    108999 |  112184   889982  2436488 |        1    26430    103 | 18.402 % |
118.38/118.42	c |    109099 |  112184   889982  2436488 |        1    26530    104 | 18.402 % |
118.38/118.42	c |    109643 |  112135   889982  2436488 |        1    27071    106 | 18.438 % |
118.38/118.42	c |    110724 |  111889   889187  2434004 |        1    28068    114 | 18.617 % |
118.38/118.42	c |    110887 |  111889   889187  2434004 |        1    28231    114 | 18.617 % |
118.38/118.42	c |    111047 |  111889   889187  2434004 |        1    28391    114 | 18.617 % |
118.38/118.42	c |    111182 |  111889   889187  2434004 |        1    28526    115 | 18.617 % |
118.38/118.42	c |    113267 |  111851   889117  2433748 |        1    30603    129 | 18.644 % |
118.38/118.42	c |    113882 |  111843   889117  2433748 |        1    31217    130 | 18.650 % |
118.38/118.42	c |    113984 |  111843   889117  2433748 |        1    31319    130 | 18.650 % |
118.38/118.42	c |    114154 |  111843   889117  2433748 |        1    31489    132 | 18.650 % |
118.38/118.42	c |    114702 |  111826   888935  2433130 |        1    32021    132 | 18.663 % |
118.38/118.42	c |    115229 |  111826   888935  2433130 |        1    32548    134 | 18.663 % |
118.38/118.42	c |    115519 |  111826   888935  2433130 |        1    32838    135 | 18.663 % |
118.38/118.42	c |    115625 |  111826   888918  2433079 |        1    32926    136 | 18.663 % |
118.38/118.42	c |    116599 |  111758   888918  2433079 |        1    33898    138 | 18.712 % |
118.38/118.42	c |    116700 |  111758   888918  2433079 |        1    33999    138 | 18.712 % |
139.68/139.76	c |    116806 |  111758   888918  2433079 |        1    34105    139 | 18.712 % |
139.68/139.76	c |    117961 |  111735   888848  2432869 |        1    35246    141 | 18.729 % |
139.68/139.76	c |    118061 |  111735   888848  2432869 |        1    35346    142 | 18.729 % |
139.68/139.76	c |    118161 |  111735   888848  2432869 |        1    35446    142 | 18.729 % |
139.68/139.76	c |    118261 |  111735   888848  2432869 |        1    35546    143 | 18.729 % |
139.68/139.76	c |    118362 |  111735   888848  2432869 |        1    35647    143 | 18.729 % |
139.68/139.76	c |    118546 |  111735   888848  2432869 |        1    35831    144 | 18.729 % |
139.68/139.76	c |    118646 |  111611   888848  2432869 |        1    35930    144 | 18.819 % |
139.68/139.76	c |    118747 |  111611   888848  2432869 |        1    36031    144 | 18.819 % |
139.68/139.76	c |    118847 |  111611   888492  2431761 |        1    36051    145 | 18.819 % |
139.68/139.76	c |    119078 |  111611   888492  2431761 |        1    36282    145 | 18.819 % |
139.68/139.76	c |    119178 |  111611   888492  2431761 |        1    36382    145 | 18.819 % |
139.68/139.76	c |    119297 |  111611   888492  2431761 |        1    36501    146 | 18.819 % |
139.68/139.76	c |    119400 |  111611   888492  2431761 |        1    36604    146 | 18.819 % |
139.68/139.76	c |    119589 |  111611   888492  2431761 |        1    36793    147 | 18.819 % |
139.68/139.76	c |    120053 |  111611   888492  2431761 |        1    37257    147 | 18.819 % |
139.68/139.76	c |    120156 |  111611   888492  2431761 |        1    37360    147 | 18.819 % |
139.68/139.76	c |    120505 |  111611   888492  2431761 |        1    37709    149 | 18.819 % |
139.68/139.76	c |    120874 |  111611   888492  2431761 |        1    38078    151 | 18.819 % |
139.68/139.76	c |    120976 |  111611   888492  2431761 |        1    38180    152 | 18.819 % |
139.68/139.76	c |    121231 |  111611   888492  2431761 |        1    38435    153 | 18.819 % |
139.68/139.76	c |    121335 |  111611   888492  2431761 |        1    38539    153 | 18.819 % |
139.68/139.76	c |    123270 |  111575   888450  2431613 |        1    40470    161 | 18.845 % |
139.68/139.76	c |    123371 |  111566   888450  2431613 |        1    40570    161 | 18.852 % |
139.68/139.76	c |    123689 |  111566   888450  2431613 |        1    40888    163 | 18.852 % |
139.68/139.76	c |    123789 |  111565   888450  2431613 |        1    40987    163 | 18.852 % |
139.68/139.76	c |    123889 |  111469   888450  2431613 |        1    41086    163 | 18.922 % |
139.68/139.76	c |    124002 |  111469   888450  2431613 |        1    41199    164 | 18.922 % |
139.68/139.76	c |    124103 |  111468   888450  2431613 |        1    41299    164 | 18.923 % |
139.68/139.76	c |    124203 |  111468   888450  2431613 |        1    41399    164 | 18.923 % |
139.68/139.76	c |    124358 |  111459   887967  2430086 |        1    41539    165 | 18.929 % |
139.68/139.76	c |    124458 |  111459   887967  2430086 |        1    41639    165 | 18.929 % |
139.68/139.76	c |    124558 |  111459   887967  2430086 |        1    41739    165 | 18.929 % |
139.68/139.76	c |    126004 |  110961   880566  2407763 |        1    42334    170 | 19.292 % |
139.68/139.76	c |    126120 |  110961   880566  2407763 |        1    42450    170 | 19.292 % |
139.68/139.76	c |    126731 |  110932   880566  2407763 |        1    43058    171 | 19.313 % |
139.68/139.76	c |    126833 |  110932   880566  2407763 |        1    43160    171 | 19.313 % |
139.68/139.76	c |    126933 |  110923   880566  2407763 |        1    43259    172 | 19.319 % |
139.68/139.76	c |    128298 |  110909   880418  2407223 |        1    44604    176 | 19.330 % |
139.68/139.76	c |    128400 |  110909   880418  2407223 |        1    44706    175 | 19.330 % |
139.68/139.76	c |    128584 |  110908   880418  2407223 |        1    44889    175 | 19.330 % |
139.68/139.76	c |    129457 |  110907   880418  2407223 |        1    45761    182 | 19.331 % |
139.68/139.76	c |    129557 |  110907   880418  2407223 |        1    45861    182 | 19.331 % |
139.68/139.76	c |    129722 |  110907   880418  2407223 |        1    25524     71 | 19.331 % |
139.68/139.76	c |    129823 |  110907   880418  2407223 |        1    25625     72 | 19.331 % |
139.68/139.76	c |    129923 |  110907   880418  2407223 |        1    25725     73 | 19.331 % |
139.68/139.76	c |    130023 |  110907   880418  2407223 |        1    25825     74 | 19.331 % |
139.68/139.76	c |    130602 |  110907   880418  2407223 |        1    26404     80 | 19.331 % |
139.68/139.76	c |    130702 |  110907   880418  2407223 |        1    26503     81 | 19.331 % |
139.68/139.76	c |    130941 |  110907   880418  2407223 |        1    26742     81 | 19.331 % |
166.18/166.25	c |    131041 |  110907   880418  2407223 |        1    26842     81 | 19.331 % |
166.18/166.25	c |    131216 |  110898   880418  2407223 |        1    27016     83 | 19.338 % |
166.18/166.25	c |    131316 |  110898   880418  2407223 |        1    27116     84 | 19.338 % |
166.18/166.25	c |    132202 |  110887   880418  2407223 |        1    28001     95 | 19.346 % |
166.18/166.25	c |    132304 |  110887   880343  2406944 |        1    28101     95 | 19.346 % |
166.18/166.25	c |    133091 |  110873   880343  2406944 |        1    28886    105 | 19.356 % |
166.18/166.25	c |    133191 |  110863   880264  2406669 |        1    28965    105 | 19.363 % |
166.18/166.25	c |    133291 |  110863   880264  2406669 |        1    29065    105 | 19.363 % |
166.18/166.25	c |    133762 |  110863   880264  2406669 |        1    29536    110 | 19.363 % |
166.18/166.25	c |    133862 |  110863   880264  2406669 |        1    29636    110 | 19.363 % |
166.18/166.25	c |    134279 |  110863   880264  2406669 |        1    30053    113 | 19.363 % |
166.18/166.25	c |    134379 |  110863   880264  2406669 |        1    30153    114 | 19.363 % |
166.18/166.25	c |    134479 |  110862   880264  2406669 |        1    30251    114 | 19.364 % |
166.18/166.25	c |    135155 |  110808   880264  2406669 |        1    30926    117 | 19.403 % |
166.18/166.25	c |    135280 |  110808   880264  2406669 |        1    31051    118 | 19.403 % |
166.18/166.25	c |    135381 |  110808   880264  2406669 |        1    31152    118 | 19.403 % |
166.18/166.25	c |    135481 |  110808   880264  2406669 |        1    31252    119 | 19.403 % |
166.18/166.25	c |    135583 |  110808   880264  2406669 |        1    31354    119 | 19.403 % |
166.18/166.25	c |    135795 |  110794   880116  2406225 |        1    31554    120 | 19.413 % |
166.18/166.25	c |    135895 |  110794   880116  2406225 |        1    31654    121 | 19.413 % |
166.18/166.25	c |    135996 |  110794   880116  2406225 |        1    31755    121 | 19.413 % |
166.18/166.25	c |    136240 |  110794   880116  2406225 |        1    31999    122 | 19.413 % |
166.18/166.25	c |    137189 |  110794   880116  2406225 |        1    32948    128 | 19.413 % |
166.18/166.25	c |    137289 |  110794   880116  2406225 |        1    33048    129 | 19.413 % |
166.18/166.25	c |    137390 |  110794   880116  2406225 |        1    33149    130 | 19.413 % |
166.18/166.25	c |    137490 |  110794   880116  2406225 |        1    33249    130 | 19.413 % |
166.18/166.25	c |    137592 |  110794   880116  2406225 |        1    33351    130 | 19.413 % |
166.18/166.25	c |    139231 |  110716   879783  2405167 |        1    34966    153 | 19.470 % |
166.18/166.25	c |    139332 |  110716   879783  2405167 |        1    35067    153 | 19.470 % |
166.18/166.25	c |    139432 |  110632   879783  2405167 |        1    35166    154 | 19.531 % |
166.18/166.25	c |    140022 |  110625   879783  2405167 |        1    35755    155 | 19.536 % |
166.18/166.25	c |    140122 |  110625   879783  2405167 |        1    35855    156 | 19.536 % |
166.18/166.25	c |    140222 |  110608   879783  2405167 |        1    35954    156 | 19.548 % |
166.18/166.25	c |    140323 |  110608   879783  2405167 |        1    36055    157 | 19.548 % |
166.18/166.25	c |    140424 |  110608   879783  2405167 |        1    36156    157 | 19.548 % |
166.18/166.25	c |    140524 |  110608   879783  2405167 |        1    36256    158 | 19.548 % |
166.18/166.25	c |    140624 |  110608   879490  2404234 |        1    36347    158 | 19.548 % |
166.18/166.25	c |    140724 |  110608   879490  2404234 |        1    36447    159 | 19.548 % |
166.18/166.25	c |    141664 |  110603   879490  2404234 |        1    37386    161 | 19.552 % |
166.18/166.25	c |    141766 |  110603   879490  2404234 |        1    37488    161 | 19.552 % |
166.18/166.25	c |    143605 |  110602   879490  2404234 |        1    39326    168 | 19.553 % |
166.18/166.25	c |    143705 |  110602   879477  2404195 |        1    39423    168 | 19.553 % |
166.18/166.25	c |    144383 |  110589   879477  2404195 |        1    40099    169 | 19.562 % |
166.18/166.25	c |    144483 |  110589   879477  2404195 |        1    40199    170 | 19.562 % |
166.18/166.25	c |    145470 |  110573   879477  2404195 |        1    41184    173 | 19.574 % |
166.18/166.25	c |    145570 |  110573   879362  2403792 |        1    41269    174 | 19.574 % |
166.18/166.25	c |    147297 |  110571   879362  2403792 |        1    42995    175 | 19.575 % |
166.18/166.25	c |    147397 |  110571   879361  2403789 |        1    43093    175 | 19.575 % |
166.18/166.25	c |    147497 |  110571   879361  2403789 |        1    43193    175 | 19.575 % |
166.18/166.25	c |    147700 |  110571   879361  2403789 |        1    43396    175 | 19.575 % |
213.08/213.14	c |    147885 |  110571   879361  2403789 |        1    43581    176 | 19.575 % |
213.08/213.14	c |    148285 |  110571   879361  2403789 |        1    43981    178 | 19.575 % |
213.08/213.14	c |    148385 |  110553   879361  2403789 |        1    44080    179 | 19.588 % |
213.08/213.14	c |    148485 |  110553   879361  2403789 |        1    44180    179 | 19.588 % |
213.08/213.14	c |    149282 |  110553   879361  2403789 |        1    44977    180 | 19.588 % |
213.08/213.14	c |    149382 |  110553   879361  2403789 |        1    45077    180 | 19.588 % |
213.08/213.14	c |    149490 |  110553   879361  2403789 |        1    45185    180 | 19.588 % |
213.08/213.14	c |    149814 |  110553   879347  2403747 |        1    45507    180 | 19.588 % |
213.08/213.14	c |    149915 |  110553   879347  2403747 |        1    45608    181 | 19.588 % |
213.08/213.14	c |    150227 |  110553   879347  2403747 |        1    45920    182 | 19.588 % |
213.08/213.14	c |    150356 |  110553   879347  2403747 |        1    46049    182 | 19.588 % |
213.08/213.14	c |    150474 |  110553   879347  2403747 |        1    46167    182 | 19.588 % |
213.08/213.14	c |    150618 |  110553   879347  2403747 |        1    46311    182 | 19.588 % |
213.08/213.14	c |    151345 |  110553   879347  2403747 |        1    47038    184 | 19.588 % |
213.08/213.14	c |    152155 |  110429   879347  2403747 |        1    47843    184 | 19.679 % |
213.08/213.14	c |    152265 |  110429   879347  2403747 |        1    47953    184 | 19.679 % |
213.08/213.14	c |    152365 |  110429   879347  2403747 |        1    48053    184 | 19.679 % |
213.08/213.14	c |    152836 |  110418   879347  2403747 |        1    48523    185 | 19.687 % |
213.08/213.14	c |    153153 |  110418   879347  2403747 |        1    48840    185 | 19.687 % |
213.08/213.14	c |    153257 |  110418   879347  2403747 |        1    48944    185 | 19.687 % |
213.08/213.14	c |    153481 |  110418   879347  2403747 |        1    49168    185 | 19.687 % |
213.08/213.14	c |    154414 |  110417   879241  2403399 |        1    50079    189 | 19.687 % |
213.08/213.14	c |    154515 |  110417   879241  2403399 |        1    50180    190 | 19.687 % |
213.08/213.14	c |    155140 |  110417   879241  2403399 |        1    50805    191 | 19.687 % |
213.08/213.14	c |    155244 |  110417   879241  2403399 |        1    50909    191 | 19.687 % |
213.08/213.14	c |    155344 |  110417   879241  2403399 |        1    51009    191 | 19.687 % |
213.08/213.14	c |    156484 |  110417   879241  2403399 |        1    52149    191 | 19.687 % |
213.08/213.14	c |    156835 |  110417   879241  2403399 |        1    52500    191 | 19.687 % |
213.08/213.14	c |    156935 |  110417   879241  2403399 |        1    52600    191 | 19.687 % |
213.08/213.14	c |    157039 |  110417   879241  2403399 |        1    29298     72 | 19.687 % |
213.08/213.14	c |    158906 |  110148   878921  2402353 |        1    31139     83 | 19.883 % |
213.08/213.14	c |    160216 |  110141   878893  2402268 |        1    32444     90 | 19.888 % |
213.08/213.14	c |    169881 |  109945   878635  2401314 |        1    42103    139 | 20.031 % |
213.08/213.14	c |    169983 |  109945   878635  2401314 |        1    42205    140 | 20.031 % |
213.08/213.14	c |    170945 |  109945   878635  2401314 |        1    43167    141 | 20.031 % |
213.08/213.14	c |    171045 |  109945   878533  2401001 |        1    43248    141 | 20.031 % |
213.08/213.14	c |    171152 |  109945   878533  2401001 |        1    43355    141 | 20.031 % |
213.08/213.14	c |    171410 |  109945   878533  2401001 |        1    43613    143 | 20.031 % |
213.08/213.14	c |    171510 |  109945   878533  2401001 |        1    43713    143 | 20.031 % |
213.08/213.14	c |    171611 |  109945   878533  2401001 |        1    43814    143 | 20.031 % |
213.08/213.14	c |    171999 |  109945   878533  2401001 |        1    44202    144 | 20.031 % |
213.08/213.14	c |    172102 |  109945   878533  2401001 |        1    44305    145 | 20.031 % |
213.08/213.14	c |    172399 |  109945   878533  2401001 |        1    44602    145 | 20.031 % |
213.08/213.14	c |    172525 |  109937   878533  2401001 |        1    44727    146 | 20.037 % |
213.08/213.14	c |    172626 |  109937   878482  2400824 |        1    44826    146 | 20.037 % |
213.08/213.14	c |    172726 |  109937   878482  2400824 |        1    44926    147 | 20.037 % |
213.08/213.14	c |    173287 |  109937   878482  2400824 |        1    45487    147 | 20.037 % |
213.08/213.14	c |    174129 |  109937   878482  2400824 |        1    46329    150 | 20.037 % |
213.08/213.14	c |    174274 |  109937   878482  2400824 |        1    46474    150 | 20.037 % |
213.08/213.14	c |    174867 |  109936   878482  2400824 |        1    47065    152 | 20.037 % |
244.08/244.17	c |    174969 |  109936   878482  2400824 |        1    47167    152 | 20.037 % |
244.08/244.17	c |    175117 |  109925   878482  2400824 |        1    47314    153 | 20.045 % |
244.08/244.17	c |    175217 |  109925   878482  2400824 |        1    47414    153 | 20.045 % |
244.08/244.17	c |    175346 |  109925   878482  2400824 |        1    47543    152 | 20.045 % |
244.08/244.17	c |    176415 |  109925   878482  2400824 |        1    48612    158 | 20.045 % |
244.08/244.17	c |    176603 |  109925   878445  2400691 |        1    48800    158 | 20.045 % |
244.08/244.17	c |    176703 |  109925   878445  2400691 |        1    48900    158 | 20.045 % |
244.08/244.17	c |    176807 |  109925   878445  2400691 |        1    49004    158 | 20.045 % |
244.08/244.17	c |    178440 |  109925   878445  2400691 |        1    50637    162 | 20.045 % |
244.08/244.17	c |    179628 |  109920   878412  2400592 |        1    51824    163 | 20.049 % |
244.08/244.17	c |    180082 |  109896   878412  2400592 |        1    52276    165 | 20.066 % |
244.08/244.17	c |    180183 |  109896   878412  2400592 |        1    52377    165 | 20.066 % |
244.08/244.17	c |    180283 |  109896   878412  2400592 |        1    52477    165 | 20.066 % |
244.08/244.17	c |    180865 |  109896   878412  2400592 |        1    53059    168 | 20.066 % |
244.08/244.17	c |    180965 |  109896   878412  2400592 |        1    53159    168 | 20.066 % |
244.08/244.17	c |    181066 |  109896   878412  2400592 |        1    53260    169 | 20.066 % |
244.08/244.17	c |    181167 |  109896   878412  2400592 |        1    53361    169 | 20.066 % |
244.08/244.17	c |    181383 |  109896   878412  2400592 |        1    53577    170 | 20.066 % |
244.08/244.17	c |    181483 |  109882   878314  2400238 |        1    53668    171 | 20.077 % |
244.08/244.17	c |    181873 |  109882   878314  2400238 |        1    54058    171 | 20.077 % |
244.08/244.17	c |    181975 |  109882   878314  2400238 |        1    54160    171 | 20.077 % |
244.08/244.17	c |    182289 |  109882   878314  2400238 |        1    54474    172 | 20.077 % |
244.08/244.17	c |    182548 |  109882   878314  2400238 |        1    54733    172 | 20.077 % |
244.08/244.17	c |    182649 |  109882   878314  2400238 |        1    54834    172 | 20.077 % |
244.08/244.17	c |    182786 |  109882   878314  2400238 |        1    54971    172 | 20.077 % |
244.08/244.17	c |    182893 |  109882   878314  2400238 |        1    55078    173 | 20.077 % |
244.08/244.17	c |    182993 |  109882   878314  2400238 |        1    55178    173 | 20.077 % |
244.08/244.17	c |    183492 |  109854   878314  2400238 |        1    55675    173 | 20.097 % |
244.08/244.17	c |    183929 |  109854   878204  2399838 |        1    56088    174 | 20.097 % |
244.08/244.17	c |    184029 |  109854   878204  2399838 |        1    56188    175 | 20.097 % |
244.08/244.17	c |    185933 |  109854   878204  2399838 |        1    58092    181 | 20.097 % |
244.08/244.17	c |    186035 |  109854   878204  2399838 |        1    58194    182 | 20.097 % |
244.08/244.17	c |    186135 |  109854   878204  2399838 |        1    58294    182 | 20.097 % |
244.08/244.17	c |    186238 |  109854   878204  2399838 |        1    58397    182 | 20.097 % |
244.08/244.17	c |    186338 |  109852   878199  2399823 |        1    58496    182 | 20.098 % |
244.08/244.17	c |    187500 |  109851   878199  2399823 |        1    32290     81 | 20.099 % |
244.08/244.17	c |    187600 |  109851   878199  2399823 |        1    32390     82 | 20.099 % |
244.08/244.17	c |    187701 |  109851   878199  2399823 |        1    32491     82 | 20.099 % |
244.08/244.17	c |    187847 |  109851   878199  2399823 |        1    32637     83 | 20.099 % |
244.08/244.17	c |    187949 |  109851   878199  2399823 |        1    32739     84 | 20.099 % |
244.08/244.17	c |    188228 |  109851   878199  2399823 |        1    33018     85 | 20.099 % |
244.08/244.17	c |    188336 |  109851   878199  2399823 |        1    33126     85 | 20.099 % |
244.08/244.17	c |    188438 |  109851   878199  2399823 |        1    33228     86 | 20.099 % |
244.08/244.17	c |    188800 |  109851   878199  2399823 |        1    33590     88 | 20.099 % |
244.08/244.17	c |    188901 |  109851   878199  2399823 |        1    33691     89 | 20.099 % |
244.08/244.17	c |    189761 |  109842   878199  2399823 |        1    34548     94 | 20.106 % |
244.08/244.17	c |    189973 |  109842   878199  2399823 |        1    34760     96 | 20.106 % |
244.08/244.17	c |    191307 |  109834   878126  2399575 |        1    36075    103 | 20.111 % |
244.08/244.17	c |    192572 |  109823   878088  2399431 |        1    37339    107 | 20.119 % |
244.08/244.17	c |    192710 |  109823   878088  2399431 |        1    37477    107 | 20.119 % |
279.18/279.22	c |    192864 |  109823   878088  2399431 |        1    37631    108 | 20.119 % |
279.18/279.22	c |    192965 |  109823   878088  2399431 |        1    37732    108 | 20.119 % |
279.18/279.22	c |    193120 |  109823   878088  2399431 |        1    37887    110 | 20.119 % |
279.18/279.22	c |    193303 |  109823   878088  2399431 |        1    38070    110 | 20.119 % |
279.18/279.22	c |    193404 |  109823   878088  2399431 |        1    38171    111 | 20.119 % |
279.18/279.22	c |    194239 |  109766   878058  2399341 |        1    39002    114 | 20.161 % |
279.18/279.22	c |    194339 |  109766   878058  2399341 |        1    39102    114 | 20.161 % |
279.18/279.22	c |    194765 |  109766   878058  2399341 |        1    39528    116 | 20.161 % |
279.18/279.22	c |    194866 |  109766   878058  2399341 |        1    39629    116 | 20.161 % |
279.18/279.22	c |    195008 |  109766   878058  2399341 |        1    39771    118 | 20.161 % |
279.18/279.22	c |    195172 |  109766   878058  2399341 |        1    39934    118 | 20.161 % |
279.18/279.22	c |    195954 |  109697   878058  2399341 |        1    40714    121 | 20.211 % |
279.18/279.22	c |    196056 |  109697   878058  2399341 |        1    40816    121 | 20.211 % |
279.18/279.22	c |    196421 |  109697   878058  2399341 |        1    41181    124 | 20.211 % |
279.18/279.22	c |    197036 |  109697   877990  2399137 |        1    41775    125 | 20.211 % |
279.18/279.22	c |    197136 |  109697   877990  2399137 |        1    41875    125 | 20.211 % |
279.18/279.22	c |    198391 |  109695   877990  2399137 |        1    43128    129 | 20.213 % |
279.18/279.22	c |    198955 |  109695   877990  2399137 |        1    43692    131 | 20.213 % |
279.18/279.22	c |    199463 |  109695   877990  2399137 |        1    44200    132 | 20.213 % |
279.18/279.22	c |    199577 |  109540   877948  2398981 |        1    44312    132 | 20.325 % |
279.18/279.22	c |    200346 |  109540   877948  2398981 |        1    45081    134 | 20.325 % |
279.18/279.22	c |    200447 |  109540   877948  2398981 |        1    45182    134 | 20.325 % |
279.18/279.22	c |    200615 |  109540   877948  2398981 |        1    45350    135 | 20.325 % |
279.18/279.22	c |    201096 |  109539   877948  2398981 |        1    45830    136 | 20.326 % |
279.18/279.22	c |    201201 |  109539   877613  2397736 |        1    45934    136 | 20.326 % |
279.18/279.22	c |    201301 |  109539   877613  2397736 |        1    46034    136 | 20.326 % |
279.18/279.22	c |    201461 |  109539   877613  2397736 |        1    46194    136 | 20.326 % |
279.18/279.22	c |    203623 |  109539   877613  2397736 |        1    48356    150 | 20.326 % |
279.18/279.22	c |    203800 |  109539   877613  2397736 |        1    48533    151 | 20.326 % |
279.18/279.22	c |    204016 |  109539   877613  2397736 |        1    48749    152 | 20.326 % |
279.18/279.22	c |    204692 |  109539   877613  2397736 |        1    49425    154 | 20.326 % |
279.18/279.22	c |    204792 |  109539   877613  2397736 |        1    49525    154 | 20.326 % |
279.18/279.22	c |    205326 |  109539   877613  2397736 |        1    50059    154 | 20.326 % |
279.18/279.22	c |    205463 |  109539   877613  2397736 |        1    50196    155 | 20.326 % |
279.18/279.22	c |    205563 |  109539   877613  2397736 |        1    50296    155 | 20.326 % |
279.18/279.22	c |    205663 |  109539   877613  2397736 |        1    50396    155 | 20.326 % |
279.18/279.22	c |    207709 |  109531   877581  2397632 |        1    52435    168 | 20.332 % |
279.18/279.22	c |    207810 |  109531   877581  2397632 |        1    52536    169 | 20.332 % |
279.18/279.22	c |    207911 |  109531   877581  2397632 |        1    52637    169 | 20.332 % |
279.18/279.22	c |    208394 |  109517   877581  2397632 |        1    53118    169 | 20.342 % |
279.18/279.22	c |    208497 |  109517   877581  2397632 |        1    53221    170 | 20.342 % |
279.18/279.22	c |    209591 |  109517   877581  2397632 |        1    54315    172 | 20.342 % |
279.18/279.22	c |    209691 |  109517   877581  2397632 |        1    54415    172 | 20.342 % |
279.18/279.22	c |    209791 |  109517   877581  2397632 |        1    54515    172 | 20.342 % |
279.18/279.22	c |    212123 |  109503   877518  2397411 |        1    56838    179 | 20.352 % |
279.18/279.22	c |    212223 |  109503   877518  2397411 |        1    56938    179 | 20.352 % |
279.18/279.22	c |    212347 |  109503   877518  2397411 |        1    57062    179 | 20.352 % |
279.18/279.22	c |    212447 |  109503   877518  2397411 |        1    57162    180 | 20.352 % |
279.18/279.22	c |    212549 |  109503   877518  2397411 |        1    57264    180 | 20.352 % |
279.18/279.22	c |    213101 |  109503   877518  2397411 |        1    57816    180 | 20.352 % |
315.88/315.95	c |    215482 |  109502   877476  2397279 |        1    60191    184 | 20.353 % |
315.88/315.95	c |    216779 |  109501   877476  2397279 |        1    61487    187 | 20.354 % |
315.88/315.95	c |    216881 |  109501   877476  2397279 |        1    61589    187 | 20.354 % |
315.88/315.95	c |    216982 |  109501   877476  2397279 |        1    61690    188 | 20.354 % |
315.88/315.95	c |    217402 |  109500   877476  2397279 |        1    62109    188 | 20.354 % |
315.88/315.95	c |    218833 |  109491   877429  2397114 |        1    63537    188 | 20.361 % |
315.88/315.95	c |    219021 |  109491   877429  2397114 |        1    63725    188 | 20.361 % |
315.88/315.95	c |    219300 |  109491   877429  2397114 |        1    64004    188 | 20.361 % |
315.88/315.95	c |    219465 |  109491   877429  2397114 |        1    64169    188 | 20.361 % |
315.88/315.95	c |    220997 |  109485   877429  2397114 |        1    37458     82 | 20.365 % |
315.88/315.95	c |    221097 |  109485   877429  2397114 |        1    37558     82 | 20.365 % |
315.88/315.95	c |    221389 |  109485   877399  2397024 |        1    37847     84 | 20.365 % |
315.88/315.95	c |    221763 |  109485   877399  2397024 |        1    38221     86 | 20.365 % |
315.88/315.95	c |    221954 |  109485   877399  2397024 |        1    38412     87 | 20.365 % |
315.88/315.95	c |    222055 |  109485   877399  2397024 |        1    38513     88 | 20.365 % |
315.88/315.95	c |    222155 |  109485   877399  2397024 |        1    38613     88 | 20.365 % |
315.88/315.95	c |    222256 |  109485   877399  2397024 |        1    38714     89 | 20.365 % |
315.88/315.95	c |    223065 |  109485   877399  2397024 |        1    39523     93 | 20.365 % |
315.88/315.95	c |    223384 |  109485   877399  2397024 |        1    39842     95 | 20.365 % |
315.88/315.95	c |    223635 |  109485   877399  2397024 |        1    40093     97 | 20.365 % |
315.88/315.95	c |    223736 |  109485   877399  2397024 |        1    40194     97 | 20.365 % |
315.88/315.95	c |    223836 |  109437   877375  2396952 |        1    40287     98 | 20.400 % |
315.88/315.95	c |    225070 |  109424   877375  2396952 |        1    41520    105 | 20.410 % |
315.88/315.95	c |    225631 |  109424   877375  2396952 |        1    42081    110 | 20.410 % |
315.88/315.95	c |    225732 |  109424   877335  2396812 |        1    42178    111 | 20.410 % |
315.88/315.95	c |    225963 |  109424   877335  2396812 |        1    42409    112 | 20.410 % |
315.88/315.95	c |    226632 |  109424   877335  2396812 |        1    43078    114 | 20.410 % |
315.88/315.95	c |    226765 |  109424   877335  2396812 |        1    43211    115 | 20.410 % |
315.88/315.95	c |    227008 |  109424   877335  2396812 |        1    43454    116 | 20.410 % |
315.88/315.95	c |    227108 |  109424   877335  2396812 |        1    43554    116 | 20.410 % |
315.88/315.95	c |    227209 |  109423   877335  2396812 |        1    43654    116 | 20.410 % |
315.88/315.95	c |    227886 |  109423   877335  2396812 |        1    44331    120 | 20.410 % |
315.88/315.95	c |    227986 |  109423   877335  2396812 |        1    44431    120 | 20.410 % |
315.88/315.95	c |    228296 |  109422   877335  2396812 |        1    44740    121 | 20.411 % |
315.88/315.95	c |    228542 |  109422   877335  2396812 |        1    44986    122 | 20.411 % |
315.88/315.95	c |    228644 |  109422   877335  2396812 |        1    45087    123 | 20.411 % |
315.88/315.95	c |    228992 |  109422   877335  2396812 |        1    45435    124 | 20.411 % |
315.88/315.95	c |    229282 |  109422   877335  2396812 |        1    45725    125 | 20.411 % |
315.88/315.95	c |    229890 |  109422   877335  2396812 |        1    46333    129 | 20.411 % |
315.88/315.95	c |    229990 |  109422   877335  2396812 |        1    46433    130 | 20.411 % |
315.88/315.95	c |    230090 |  109422   877335  2396812 |        1    46533    130 | 20.411 % |
315.88/315.95	c |    230498 |  109378   877262  2396587 |        1    46925    131 | 20.443 % |
315.88/315.95	c |    231404 |  109378   877262  2396587 |        1    47831    135 | 20.443 % |
315.88/315.95	c |    231504 |  109378   877262  2396587 |        1    47931    135 | 20.443 % |
315.88/315.95	c |    231604 |  109378   877262  2396587 |        1    48031    135 | 20.443 % |
315.88/315.95	c |    231708 |  109378   877262  2396587 |        1    48135    136 | 20.443 % |
315.88/315.95	c |    231811 |  109378   877262  2396587 |        1    48238    136 | 20.443 % |
315.88/315.95	c |    232195 |  109378   877210  2396423 |        1    48618    138 | 20.443 % |
315.88/315.95	c |    232977 |  109378   877210  2396423 |        1    49400    139 | 20.443 % |
315.88/315.95	c |    234166 |  109378   877210  2396423 |        1    50589    142 | 20.443 % |
360.69/360.70	c |    235790 |  109344   877210  2396423 |        1    52204    146 | 20.468 % |
360.69/360.70	c |    235921 |  109335   877210  2396423 |        1    52334    146 | 20.474 % |
360.69/360.70	c |    236150 |  109334   877210  2396423 |        1    52562    147 | 20.475 % |
360.69/360.70	c |    236453 |  109334   877210  2396423 |        1    52865    148 | 20.475 % |
360.69/360.70	c |    236724 |  109334   877210  2396423 |        1    53136    148 | 20.475 % |
360.69/360.70	c |    236843 |  109334   877210  2396423 |        1    53255    149 | 20.475 % |
360.69/360.70	c |    236948 |  109334   877210  2396423 |        1    53360    149 | 20.475 % |
360.69/360.70	c |    237051 |  109334   877210  2396423 |        1    53463    149 | 20.475 % |
360.69/360.70	c |    237169 |  109334   877210  2396423 |        1    53581    150 | 20.475 % |
360.69/360.70	c |    240541 |  109275   876892  2395321 |        1    56884    158 | 20.518 % |
360.69/360.70	c |    240657 |  109275   876892  2395321 |        1    57000    159 | 20.518 % |
360.69/360.70	c |    240757 |  109275   876892  2395321 |        1    57100    159 | 20.518 % |
360.69/360.70	c |    240857 |  109275   876892  2395321 |        1    57200    159 | 20.518 % |
360.69/360.70	c |    241174 |  109271   876892  2395321 |        1    57516    160 | 20.521 % |
360.69/360.70	c |    241275 |  109271   876892  2395321 |        1    57617    160 | 20.521 % |
360.69/360.70	c |    241537 |  109264   876892  2395321 |        1    57878    160 | 20.526 % |
360.69/360.70	c |    242004 |  109264   876892  2395321 |        1    58345    161 | 20.526 % |
360.69/360.70	c |    242743 |  109264   876846  2395175 |        1    59069    162 | 20.526 % |
360.69/360.70	c |    243872 |  109264   876846  2395175 |        1    60198    164 | 20.526 % |
360.69/360.70	c |    244159 |  109253   876805  2395044 |        1    60471    164 | 20.534 % |
360.69/360.70	c |    244892 |  109206   876805  2395044 |        1    61202    166 | 20.568 % |
360.69/360.70	c |    244997 |  109206   876805  2395044 |        1    61307    166 | 20.568 % |
360.69/360.70	c |    245099 |  109193   876805  2395044 |        1    61408    166 | 20.578 % |
360.69/360.70	c |    246783 |  109191   876805  2395044 |        1    63091    169 | 20.579 % |
360.69/360.70	c |    246884 |  109191   876617  2394448 |        1    63179    170 | 20.579 % |
360.69/360.70	c |    246984 |  109190   876617  2394448 |        1    63278    170 | 20.580 % |
360.69/360.70	c |    247911 |  109190   876617  2394448 |        1    64205    171 | 20.580 % |
360.69/360.70	c |    248011 |  109190   876617  2394448 |        1    64305    171 | 20.580 % |
360.69/360.70	c |    248176 |  109190   876617  2394448 |        1    64470    172 | 20.580 % |
360.69/360.70	c |    248276 |  109190   876617  2394448 |        1    64570    172 | 20.580 % |
360.69/360.70	c |    249126 |  109190   876617  2394448 |        1    65420    173 | 20.580 % |
360.69/360.70	c |    249230 |  109190   876617  2394448 |        1    65524    173 | 20.580 % |
360.69/360.70	c |    250636 |  109190   876617  2394448 |        1    66929    176 | 20.580 % |
360.69/360.70	c |    250740 |  109190   876617  2394448 |        1    67033    176 | 20.580 % |
360.69/360.70	c |    250840 |  109190   876617  2394448 |        1    67133    176 | 20.580 % |
360.69/360.70	c |    251593 |  109190   876617  2394448 |        1    67886    178 | 20.580 % |
360.69/360.70	c |    251693 |  109190   876617  2394448 |        1    67986    178 | 20.580 % |
360.69/360.70	c |    253055 |  109189   876617  2394448 |        1    69347    181 | 20.581 % |
360.69/360.70	c |    253158 |  109189   876617  2394448 |        1    69450    181 | 20.581 % |
360.69/360.70	c |    253260 |  109189   876617  2394448 |        1    69552    182 | 20.581 % |
360.69/360.70	c |    254839 |  109189   876617  2394448 |        1    40040     78 | 20.581 % |
360.69/360.70	c |    254940 |  109176   876574  2394289 |        1    40138     79 | 20.590 % |
360.69/360.70	c |    255042 |  109176   876574  2394289 |        1    40240     80 | 20.590 % |
360.69/360.70	c |    255654 |  109171   876574  2394289 |        1    40851     83 | 20.594 % |
360.69/360.70	c |    255754 |  109171   876574  2394289 |        1    40951     84 | 20.594 % |
360.69/360.70	c |    255928 |  109171   876574  2394289 |        1    41125     85 | 20.594 % |
360.69/360.70	c |    256028 |  109171   876574  2394289 |        1    41221     85 | 20.594 % |
360.69/360.70	c |    256312 |  109171   876574  2394289 |        1    41505     87 | 20.594 % |
360.69/360.70	c |    257961 |  109171   876574  2394289 |        1    43154     98 | 20.594 % |
360.69/360.70	c |    258061 |  109163   876574  2394289 |        1    43246     98 | 20.599 % |
417.29/417.31	c |    260243 |  109163   876574  2394289 |        1    45428    103 | 20.599 % |
417.29/417.31	c |    260938 |  109162   876573  2394286 |        1    46118    106 | 20.600 % |
417.29/417.31	c |    263992 |  109162   876573  2394286 |        1    49172    131 | 20.600 % |
417.29/417.31	c |    264114 |  109162   876573  2394286 |        1    49294    131 | 20.600 % |
417.29/417.31	c |    264280 |  109162   876573  2394286 |        1    49460    132 | 20.600 % |
417.29/417.31	c |    264474 |  109162   876573  2394286 |        1    49654    133 | 20.600 % |
417.29/417.31	c |    264574 |  109162   876573  2394286 |        1    49754    133 | 20.600 % |
417.29/417.31	c |    265279 |  109162   876573  2394286 |        1    50459    134 | 20.600 % |
417.29/417.31	c |    265482 |  109162   876573  2394286 |        1    50662    135 | 20.600 % |
417.29/417.31	c |    270731 |  109162   876573  2394286 |        1    55911    150 | 20.600 % |
417.29/417.31	c |    271196 |  109162   876573  2394286 |        1    56376    150 | 20.600 % |
417.29/417.31	c |    272527 |  109136   876514  2394079 |        1    57706    153 | 20.619 % |
417.29/417.31	c |    272931 |  109135   876514  2394079 |        1    58109    154 | 20.620 % |
417.29/417.31	c |    273196 |  109135   876514  2394079 |        1    58374    155 | 20.620 % |
417.29/417.31	c |    274385 |  109135   876514  2394079 |        1    59563    158 | 20.620 % |
417.29/417.31	c |    274485 |  109135   876514  2394079 |        1    59662    158 | 20.620 % |
417.29/417.31	c |    274586 |  109135   876514  2394079 |        1    59763    158 | 20.620 % |
417.29/417.31	c |    276094 |  109135   876514  2394079 |        1    61271    159 | 20.620 % |
417.29/417.31	c |    276194 |  109135   876514  2394079 |        1    61371    159 | 20.620 % |
417.29/417.31	c |    279542 |  109114   876514  2394079 |        1    64705    168 | 20.635 % |
417.29/417.31	c |    279642 |  109114   876514  2394079 |        1    64805    169 | 20.635 % |
417.29/417.31	c |    279748 |  109114   876514  2394079 |        1    64911    169 | 20.635 % |
417.29/417.31	c |    280000 |  109114   876514  2394079 |        1    65163    169 | 20.635 % |
417.29/417.31	c |    280157 |  109114   876514  2394079 |        1    65320    169 | 20.635 % |
417.29/417.31	c |    280257 |  109114   876514  2394079 |        1    65420    169 | 20.635 % |
417.29/417.31	c |    280357 |  109114   876514  2394079 |        1    65520    170 | 20.635 % |
417.29/417.31	c |    280457 |  109114   876514  2394079 |        1    65620    170 | 20.635 % |
417.29/417.31	c |    280620 |  109114   876514  2394079 |        1    65783    171 | 20.635 % |
417.29/417.31	c |    281733 |  109100   876479  2393974 |        1    66894    175 | 20.645 % |
417.29/417.31	c |    281834 |  109100   876479  2393974 |        1    66995    175 | 20.645 % |
417.29/417.31	c |    281934 |  109100   876479  2393974 |        1    67095    175 | 20.645 % |
417.29/417.31	c |    282037 |  109100   876479  2393974 |        1    67198    176 | 20.645 % |
417.29/417.31	c |    282137 |  109100   876479  2393974 |        1    67298    176 | 20.645 % |
417.29/417.31	c |    282237 |  109100   876479  2393974 |        1    67398    176 | 20.645 % |
417.29/417.31	c |    282340 |  109100   876479  2393974 |        1    67501    176 | 20.645 % |
417.29/417.31	c |    282695 |  109100   876479  2393974 |        1    67856    178 | 20.645 % |
417.29/417.31	c |    282796 |  109100   876479  2393974 |        1    67957    178 | 20.645 % |
417.29/417.31	c |    282897 |  109100   876479  2393974 |        1    68058    178 | 20.645 % |
417.29/417.31	c |    283026 |  109100   876479  2393974 |        1    68187    178 | 20.645 % |
417.29/417.31	c |    283243 |  109100   876479  2393974 |        1    68404    179 | 20.645 % |
417.29/417.31	c |    283490 |  109100   876479  2393974 |        1    68651    180 | 20.645 % |
417.29/417.31	c |    283592 |  109100   876479  2393974 |        1    68753    180 | 20.645 % |
417.29/417.31	c |    284287 |  109100   876479  2393974 |        1    69448    181 | 20.645 % |
417.29/417.31	c |    284823 |  109100   876479  2393974 |        1    69984    183 | 20.645 % |
417.29/417.31	c |    284926 |  109100   876479  2393974 |        1    70087    183 | 20.645 % |
417.29/417.31	c |    285027 |  109100   876479  2393974 |        1    70188    183 | 20.645 % |
417.29/417.31	c |    285127 |  109100   876479  2393974 |        1    70288    183 | 20.645 % |
417.29/417.31	c |    285302 |  109088   876420  2393765 |        1    70459    183 | 20.654 % |
417.29/417.31	c |    285593 |  109088   876420  2393765 |        1    70750    184 | 20.654 % |
417.29/417.31	c |    285699 |  109088   876420  2393765 |        1    70856    185 | 20.654 % |
480.88/480.91	c |    285956 |  109078   876420  2393765 |        1    71112    185 | 20.661 % |
480.88/480.91	c |    286221 |  109078   876420  2393765 |        1    71377    185 | 20.661 % |
480.88/480.91	c |    288476 |  109077   876420  2393765 |        1    73631    185 | 20.662 % |
480.88/480.91	c |    288577 |  109077   876382  2393627 |        1    73721    185 | 20.662 % |
480.88/480.91	c |    288677 |  109077   876382  2393627 |        1    73821    185 | 20.662 % |
480.88/480.91	c |    289189 |  109077   876382  2393627 |        1    74333    186 | 20.662 % |
480.88/480.91	c |    289290 |  109077   876382  2393627 |        1    74434    186 | 20.662 % |
480.88/480.91	c |    289390 |  109077   876382  2393627 |        1    74534    187 | 20.662 % |
480.88/480.91	c |    289650 |  109075   876382  2393627 |        1    74793    187 | 20.663 % |
480.88/480.91	c |    289752 |  109075   876382  2393627 |        1    74895    187 | 20.663 % |
480.88/480.91	c |    290072 |  109075   876382  2393627 |        1    75215    188 | 20.663 % |
480.88/480.91	c |    290172 |  109075   876382  2393627 |        1    75315    188 | 20.663 % |
480.88/480.91	c |    290733 |  109075   876382  2393627 |        1    75876    190 | 20.663 % |
480.88/480.91	c |    292070 |  109074   876377  2393612 |        1    77210    192 | 20.664 % |
480.88/480.91	c |    292898 |  109074   876377  2393612 |        1    43691     84 | 20.664 % |
480.88/480.91	c |    293148 |  109073   876377  2393612 |        1    43940     84 | 20.665 % |
480.88/480.91	c |    293251 |  109073   876377  2393612 |        1    44043     85 | 20.665 % |
480.88/480.91	c |    293351 |  109073   876377  2393612 |        1    44143     85 | 20.665 % |
480.88/480.91	c |    293624 |  109073   876377  2393612 |        1    44416     86 | 20.665 % |
480.88/480.91	c |    293724 |  109073   876377  2393612 |        1    44516     86 | 20.665 % |
480.88/480.91	c |    294111 |  109073   876377  2393612 |        1    44903     88 | 20.665 % |
480.88/480.91	c |    294211 |  109073   876377  2393612 |        1    45003     88 | 20.665 % |
480.88/480.91	c |    294346 |  109073   876377  2393612 |        1    45138     89 | 20.665 % |
480.88/480.91	c |    294447 |  109073   876377  2393612 |        1    45239     89 | 20.665 % |
480.88/480.91	c |    296976 |  109070   876377  2393612 |        1    47766    102 | 20.667 % |
480.88/480.91	c |    298641 |  109069   876377  2393612 |        1    49422    109 | 20.668 % |
480.88/480.91	c |    298742 |  109068   876377  2393612 |        1    49522    109 | 20.669 % |
480.88/480.91	c |    301578 |  109068   876377  2393612 |        1    52358    123 | 20.669 % |
480.88/480.91	c |    302518 |  109067   876377  2393612 |        1    53297    125 | 20.669 % |
480.88/480.91	c |    302618 |  109067   876377  2393612 |        1    53397    125 | 20.669 % |
480.88/480.91	c |    302739 |  109067   876377  2393612 |        1    53518    125 | 20.669 % |
480.88/480.91	c |    302839 |  109067   876377  2393612 |        1    53618    125 | 20.669 % |
480.88/480.91	c |    303381 |  109066   876377  2393612 |        1    54159    126 | 20.670 % |
480.88/480.91	c |    306115 |  109055   876344  2393491 |        1    56876    129 | 20.678 % |
480.88/480.91	c |    306268 |  109055   876344  2393491 |        1    57029    129 | 20.678 % |
480.88/480.91	c |    306371 |  109055   876344  2393491 |        1    57132    130 | 20.678 % |
480.88/480.91	c |    307385 |  108975   876344  2393491 |        1    58145    131 | 20.736 % |
480.88/480.91	c |    307487 |  108975   876344  2393491 |        1    58247    132 | 20.736 % |
480.88/480.91	c |    307587 |  108975   876344  2393491 |        1    58347    132 | 20.736 % |
480.88/480.91	c |    308348 |  108975   876304  2393371 |        1    59107    134 | 20.736 % |
480.88/480.91	c |    308950 |  108975   876304  2393371 |        1    59709    134 | 20.736 % |
480.88/480.91	c |    314760 |  108862   875968  2392331 |        1    65497    144 | 20.818 % |
480.88/480.91	c |    314860 |  108862   875968  2392331 |        1    65597    145 | 20.818 % |
480.88/480.91	c |    314960 |  108862   875968  2392331 |        1    65697    145 | 20.818 % |
480.88/480.91	c |    317300 |  108862   875968  2392331 |        1    68037    147 | 20.818 % |
480.88/480.91	c |    317401 |  108862   875968  2392331 |        1    68138    147 | 20.818 % |
480.88/480.91	c |    317501 |  108862   875968  2392331 |        1    68238    148 | 20.818 % |
480.88/480.91	c |    317876 |  108862   875968  2392331 |        1    68613    149 | 20.818 % |
480.88/480.91	c |    318027 |  108862   875968  2392331 |        1    68764    149 | 20.818 % |
480.88/480.91	c |    318788 |  108862   875968  2392331 |        1    69525    151 | 20.818 % |
576.89/576.98	c |    331781 |  108862   875968  2392331 |        1    82518    161 | 20.818 % |
576.89/576.98	c |    331881 |  108862   875968  2392331 |        1    82618    161 | 20.818 % |
576.89/576.98	c |    332581 |  108862   875968  2392331 |        1    83318    161 | 20.818 % |
576.89/576.98	c |    332688 |  108862   875968  2392331 |        1    83425    161 | 20.818 % |
576.89/576.98	c |    332788 |  108862   875968  2392331 |        1    83525    161 | 20.818 % |
576.89/576.98	c |    332888 |  108862   875968  2392331 |        1    83625    162 | 20.818 % |
576.89/576.98	c |    333274 |  108861   875968  2392331 |        1    47330     78 | 20.819 % |
576.89/576.98	c |    334698 |  108861   875968  2392331 |        1    48754     84 | 20.819 % |
576.89/576.98	c |    334799 |  108861   875968  2392331 |        1    48855     84 | 20.819 % |
576.89/576.98	c |    334899 |  108861   875968  2392331 |        1    48955     85 | 20.819 % |
576.89/576.98	c |    335370 |  108861   875968  2392331 |        1    49426     87 | 20.819 % |
576.89/576.98	c |    335472 |  108861   875968  2392331 |        1    49528     88 | 20.819 % |
576.89/576.98	c |    335572 |  108861   875968  2392331 |        1    49628     88 | 20.819 % |
576.89/576.98	c |    336662 |  108861   875968  2392331 |        1    50718     94 | 20.819 % |
576.89/576.98	c |    336762 |  108861   875968  2392331 |        1    50818     95 | 20.819 % |
576.89/576.98	c |    336863 |  108861   875968  2392331 |        1    50919     95 | 20.819 % |
576.89/576.98	c |    336966 |  108861   875968  2392331 |        1    51022     96 | 20.819 % |
576.89/576.98	c |    337472 |  108861   875968  2392331 |        1    51528     97 | 20.819 % |
576.89/576.98	c |    337573 |  108861   875968  2392331 |        1    51629     98 | 20.819 % |
576.89/576.98	c |    337849 |  108861   875968  2392331 |        1    51905    100 | 20.819 % |
576.89/576.98	c |    337949 |  108861   875968  2392331 |        1    52005    100 | 20.819 % |
576.89/576.98	c |    338049 |  108861   875968  2392331 |        1    52105    100 | 20.819 % |
576.89/576.98	c |    343115 |  108859   875968  2392331 |        1    57166    111 | 20.821 % |
576.89/576.98	c |    343216 |  108859   875968  2392331 |        1    57267    111 | 20.821 % |
576.89/576.98	c |    344222 |  108849   875913  2392142 |        1    58259    113 | 20.828 % |
576.89/576.98	c |    344323 |  108849   875913  2392142 |        1    58360    113 | 20.828 % |
576.89/576.98	c |    344513 |  108849   875913  2392142 |        1    58550    113 | 20.828 % |
576.89/576.98	c |    344615 |  108849   875913  2392142 |        1    58652    113 | 20.828 % |
576.89/576.98	c |    344717 |  108849   875913  2392142 |        1    58754    114 | 20.828 % |
576.89/576.98	c |    344823 |  108849   875913  2392142 |        1    58860    114 | 20.828 % |
576.89/576.98	c |    344923 |  108849   875913  2392142 |        1    58960    114 | 20.828 % |
576.89/576.98	c |    345023 |  108849   875913  2392142 |        1    59060    115 | 20.828 % |
576.89/576.98	c |    345127 |  108849   875913  2392142 |        1    59164    115 | 20.828 % |
576.89/576.98	c |    346752 |  108849   875913  2392142 |        1    60789    119 | 20.828 % |
576.89/576.98	c |    346852 |  108849   875913  2392142 |        1    60889    119 | 20.828 % |
576.89/576.98	c |    346955 |  108849   875913  2392142 |        1    60992    120 | 20.828 % |
576.89/576.98	c |    349960 |  108848   875913  2392142 |        1    63996    123 | 20.829 % |
576.89/576.98	c |    350061 |  108848   875913  2392142 |        1    64097    123 | 20.829 % |
576.89/576.98	c |    352760 |  108848   875913  2392142 |        1    66796    126 | 20.829 % |
576.89/576.98	c |    352884 |  108848   875913  2392142 |        1    66920    127 | 20.829 % |
576.89/576.98	c |    352986 |  108848   875913  2392142 |        1    67022    127 | 20.829 % |
576.89/576.98	c |    353088 |  108848   875913  2392142 |        1    67124    127 | 20.829 % |
576.89/576.98	c |    353896 |  108848   875913  2392142 |        1    67932    128 | 20.829 % |
576.89/576.98	c |    353996 |  108845   875912  2392139 |        1    68030    128 | 20.831 % |
576.89/576.98	c |    354106 |  108845   875912  2392139 |        1    68140    129 | 20.831 % |
576.89/576.98	c |    355229 |  108845   875912  2392139 |        1    69263    131 | 20.831 % |
576.89/576.98	c |    356479 |  108845   875912  2392139 |        1    70513    133 | 20.831 % |
576.89/576.98	c |    361319 |  108416   874398  2387597 |        1    75338    140 | 21.143 % |
576.89/576.98	c |    363216 |  108416   874398  2387597 |        1    77235    144 | 21.143 % |
576.89/576.98	c |    363316 |  108416   874398  2387597 |        1    77335    144 | 21.143 % |
703.40/703.43	c |    364637 |  108415   874398  2387597 |        1    78654    145 | 21.144 % |
703.40/703.43	c |    365213 |  108415   874398  2387597 |        1    79230    145 | 21.144 % |
703.40/703.43	c |    365853 |  108415   874398  2387597 |        1    79870    146 | 21.144 % |
703.40/703.43	c |    368842 |  108414   874398  2387597 |        1    82858    146 | 21.144 % |
703.40/703.43	c |    373122 |  108413   874398  2387597 |        1    87137    149 | 21.145 % |
703.40/703.43	c |    373631 |  108413   874398  2387597 |        1    87646    149 | 21.145 % |
703.40/703.43	c |    374819 |  108412   874398  2387597 |        1    88833    150 | 21.146 % |
703.40/703.43	c |    374919 |  108411   874398  2387597 |        1    88932    150 | 21.146 % |
703.40/703.43	c |    375020 |  108411   874398  2387597 |        1    89033    150 | 21.146 % |
703.40/703.43	c |    376172 |  108411   874398  2387597 |        1    50679     76 | 21.146 % |
703.40/703.43	c |    376272 |  108411   874398  2387597 |        1    50779     77 | 21.146 % |
703.40/703.43	c |    376372 |  108411   874398  2387597 |        1    50879     78 | 21.146 % |
703.40/703.43	c |    376893 |  108001   874398  2387597 |        1    51399     79 | 21.445 % |
703.40/703.43	c |    377298 |  108000   867044  2365535 |        1    51768     80 | 21.445 % |
703.40/703.43	c |    377398 |  108000   867044  2365535 |        1    51868     80 | 21.445 % |
703.40/703.43	c |    377498 |  108000   867044  2365535 |        1    51968     80 | 21.445 % |
703.40/703.43	c |    378151 |  108000   867044  2365535 |        1    52621     82 | 21.445 % |
703.40/703.43	c |    379358 |  107619   866605  2364210 |        1    53746     84 | 21.723 % |
703.40/703.43	c |    383765 |  107619   866605  2364210 |        1    58153    114 | 21.723 % |
703.40/703.43	c |    384794 |  107618   866605  2364210 |        1    59181    116 | 21.723 % |
703.40/703.43	c |    387188 |  107618   866605  2364210 |        1    61575    124 | 21.723 % |
703.40/703.43	c |    388173 |  107618   866605  2364210 |        1    62560    127 | 21.723 % |
703.40/703.43	c |    394980 |  107613   866593  2364174 |        1    69362    141 | 21.727 % |
703.40/703.43	c |    395095 |  107613   866593  2364174 |        1    69477    141 | 21.727 % |
703.40/703.43	c |    396691 |  107565   866399  2363496 |        1    71061    142 | 21.762 % |
703.40/703.43	c |    396824 |  107565   866399  2363496 |        1    71194    143 | 21.762 % |
703.40/703.43	c |    397336 |  107565   866399  2363496 |        1    71706    144 | 21.762 % |
703.40/703.43	c |    397436 |  107565   866399  2363496 |        1    71806    144 | 21.762 % |
703.40/703.43	c |    397536 |  107565   866399  2363496 |        1    71906    144 | 21.762 % |
703.40/703.43	c |    398824 |  107565   866330  2363257 |        1    73188    145 | 21.762 % |
703.40/703.43	c |    399972 |  107452   866330  2363257 |        1    74335    147 | 21.844 % |
703.40/703.43	c |    400072 |  107452   865974  2362157 |        1    74421    147 | 21.844 % |
703.40/703.43	c |    400173 |  107452   865974  2362157 |        1    74522    147 | 21.844 % |
703.40/703.43	c |    400542 |  107452   865974  2362157 |        1    74891    148 | 21.844 % |
703.40/703.43	c |    401332 |  107450   865974  2362157 |        1    75679    149 | 21.845 % |
703.40/703.43	c |    405704 |  107438   865918  2361957 |        1    80044    152 | 21.854 % |
703.40/703.43	c |    411736 |  107431   865918  2361957 |        1    86074    157 | 21.859 % |
703.40/703.43	c |    411836 |  107431   865916  2361939 |        1    86173    157 | 21.859 % |
703.40/703.43	c |    411937 |  107431   865916  2361939 |        1    86274    157 | 21.859 % |
703.40/703.43	c |    412585 |  107431   865916  2361939 |        1    86922    157 | 21.859 % |
703.40/703.43	c |    412685 |  107431   865916  2361939 |        1    87022    157 | 21.859 % |
703.40/703.43	c |    412785 |  107431   865916  2361939 |        1    87122    157 | 21.859 % |
703.40/703.43	c |    413048 |  107431   865916  2361939 |        1    87385    158 | 21.859 % |
703.40/703.43	c |    413148 |  107431   865916  2361939 |        1    87485    158 | 21.859 % |
703.40/703.43	c |    413600 |  107431   865916  2361939 |        1    87937    159 | 21.859 % |
703.40/703.43	c |    414033 |  107306   865591  2360844 |        1    88306    159 | 21.950 % |
703.40/703.43	c |    414250 |  107306   865591  2360844 |        1    88523    159 | 21.950 % |
703.40/703.43	c |    417465 |  107306   865591  2360844 |        1    91738    166 | 21.950 % |
703.40/703.43	c |    417942 |  107306   865591  2360844 |        1    92215    167 | 21.950 % |
703.40/703.43	c |    422682 |  107306   865591  2360844 |        1    54252     86 | 21.950 % |
894.10/894.10	c |    422994 |  107306   865591  2360844 |        1    54564     87 | 21.950 % |
894.10/894.10	c |    434475 |  107292   865591  2360844 |        1    66042    133 | 21.960 % |
894.10/894.10	c |    434860 |  107292   865536  2360647 |        1    66405    133 | 21.960 % |
894.10/894.10	c |    434964 |  107292   865536  2360647 |        1    66509    134 | 21.960 % |
894.10/894.10	c |    435065 |  107292   865536  2360647 |        1    66610    134 | 21.960 % |
894.10/894.10	c |    436537 |  107292   865536  2360647 |        1    68082    136 | 21.960 % |
894.10/894.10	c |    436639 |  107292   865536  2360647 |        1    68184    137 | 21.960 % |
894.10/894.10	c |    445666 |  107281   865497  2360498 |        1    77204    139 | 21.968 % |
894.10/894.10	c |    447705 |  107281   865497  2360498 |        1    79243    146 | 21.968 % |
894.10/894.10	c |    447844 |  107281   865497  2360498 |        1    79382    146 | 21.968 % |
894.10/894.10	c |    447944 |  107281   865497  2360498 |        1    79482    146 | 21.968 % |
894.10/894.10	c |    448047 |  107281   865497  2360498 |        1    79585    147 | 21.968 % |
894.10/894.10	c |    448930 |  107281   865497  2360498 |        1    80468    147 | 21.968 % |
894.10/894.10	c |    449030 |  107281   865497  2360498 |        1    80568    147 | 21.968 % |
894.10/894.10	c |    449395 |  107281   865497  2360498 |        1    80933    148 | 21.968 % |
894.10/894.10	c |    449648 |  107280   865497  2360498 |        1    81185    148 | 21.969 % |
894.10/894.10	c |    449748 |  107280   865497  2360498 |        1    81285    148 | 21.969 % |
894.10/894.10	c |    452323 |  107260   865497  2360498 |        1    83858    155 | 21.984 % |
894.10/894.10	c |    452423 |  107260   865422  2360219 |        1    83939    155 | 21.984 % |
894.10/894.10	c |    454820 |  107249   865355  2359986 |        1    86334    157 | 21.992 % |
894.10/894.10	c |    463786 |  107238   865301  2359792 |        1    95298    165 | 22.000 % |
894.10/894.10	c |    465161 |  107238   865301  2359792 |        1    96673    166 | 22.000 % |
894.10/894.10	c |    466164 |  107238   865301  2359792 |        1    97676    167 | 22.000 % |
894.10/894.10	c |    467082 |  107226   865258  2359631 |        1    98586    167 | 22.008 % |
894.10/894.10	c |    467185 |  107226   865258  2359631 |        1    98689    167 | 22.008 % |
894.10/894.10	c |    467287 |  107226   865258  2359631 |        1    98791    167 | 22.008 % |
894.10/894.10	c |    467388 |  107226   865258  2359631 |        1    98892    168 | 22.008 % |
894.10/894.10	c |    467488 |  107226   865258  2359631 |        1    98992    168 | 22.008 % |
894.10/894.10	c |    469493 |  107212   865258  2359631 |        1   100996    169 | 22.019 % |
894.10/894.10	c |    469594 |  107212   865186  2359383 |        1   101093    169 | 22.019 % |
894.10/894.10	c |    469694 |  107212   865186  2359383 |        1   101193    169 | 22.019 % |
894.10/894.10	c |    470229 |  107212   865186  2359383 |        1    55932     83 | 22.019 % |
894.10/894.10	c |    470551 |  107212   865186  2359383 |        1    56254     84 | 22.019 % |
894.10/894.10	c |    470832 |  107212   865186  2359383 |        1    56535     84 | 22.019 % |
894.10/894.10	c |    471078 |  107212   865186  2359383 |        1    56781     85 | 22.019 % |
894.10/894.10	c |    474410 |  107174   865060  2358981 |        1    60104     89 | 22.046 % |
894.10/894.10	c |    474519 |  107174   865060  2358981 |        1    60213     90 | 22.046 % |
894.10/894.10	c |    477396 |  107171   865058  2358975 |        1    63088     98 | 22.048 % |
894.10/894.10	c |    477496 |  107171   865058  2358975 |        1    63188     99 | 22.048 % |
894.10/894.10	c |    477596 |  107171   865058  2358975 |        1    63288     99 | 22.048 % |
894.10/894.10	c |    492187 |  107171   865058  2358975 |        1    77879    113 | 22.048 % |
894.10/894.10	c |    493110 |  107171   865058  2358975 |        1    78802    114 | 22.048 % |
894.10/894.10	c |    495901 |  107171   865058  2358975 |        1    81593    116 | 22.048 % |
894.10/894.10	c |    496711 |  107171   865058  2358975 |        1    82403    117 | 22.048 % |
894.10/894.10	c |    502303 |  107162   865021  2358840 |        1    87993    124 | 22.055 % |
894.10/894.10	c |    510091 |  107154   864981  2358704 |        1    95779    132 | 22.061 % |
894.10/894.10	c |    510191 |  107154   864981  2358704 |        1    95879    132 | 22.061 % |
894.10/894.10	c |    511209 |  107154   864981  2358704 |        1    96897    133 | 22.061 % |
894.10/894.10	c |    511663 |  107154   864981  2358704 |        1    97351    134 | 22.061 % |
894.10/894.10	c |    513188 |  107154   864981  2358704 |        1    98876    139 | 22.061 % |
1274.31/1274.34	c |    513288 |  107154   864981  2358704 |        1    98976    140 | 22.061 % |
1274.31/1274.34	c |    513388 |  107154   864981  2358704 |        1    99076    140 | 22.061 % |
1274.31/1274.34	c |    515724 |  107146   864953  2358604 |        1   101409    145 | 22.067 % |
1274.31/1274.34	c |    515824 |  107146   864953  2358604 |        1   101509    146 | 22.067 % |
1274.31/1274.34	c |    524205 |  107146   864953  2358604 |        1    62256     85 | 22.067 % |
1274.31/1274.34	c |    524827 |  107146   864953  2358604 |        1    62878     88 | 22.067 % |
1274.31/1274.34	c |    530388 |  107146   864953  2358604 |        1    68439     98 | 22.067 % |
1274.31/1274.34	c |    533384 |  107146   864953  2358604 |        1    71435    103 | 22.067 % |
1274.31/1274.34	c |    533484 |  107146   864953  2358604 |        1    71535    103 | 22.067 % |
1274.31/1274.34	c |    533585 |  107146   864953  2358604 |        1    71636    103 | 22.067 % |
1274.31/1274.34	c |    533685 |  107146   864953  2358604 |        1    71736    104 | 22.067 % |
1274.31/1274.34	c |    534009 |  107146   864953  2358604 |        1    72060    104 | 22.067 % |
1274.31/1274.34	c |    534118 |  107146   864953  2358604 |        1    72169    105 | 22.067 % |
1274.31/1274.34	c |    536471 |  107122   864912  2358451 |        1    74513    106 | 22.084 % |
1274.31/1274.34	c |    536571 |  107122   864912  2358451 |        1    74613    106 | 22.084 % |
1274.31/1274.34	c |    537352 |  107122   864912  2358451 |        1    75394    110 | 22.084 % |
1274.31/1274.34	c |    537453 |  107120   864912  2358451 |        1    75493    110 | 22.085 % |
1274.31/1274.34	c |    537554 |  107120   864912  2358451 |        1    75594    111 | 22.085 % |
1274.31/1274.34	c |    545129 |  107119   864878  2358327 |        1    83155    114 | 22.086 % |
1274.31/1274.34	c |    550096 |  107115   864866  2358291 |        1    88119    119 | 22.089 % |
1274.31/1274.34	c |    569910 |  107079   864742  2357843 |        1   107920    130 | 22.115 % |
1274.31/1274.34	c |    603935 |  107027   864569  2357220 |        1    91838     96 | 22.153 % |
1274.31/1274.34	c |    609699 |  107027   864569  2357220 |        1    97602    106 | 22.153 % |
1274.31/1274.34	c |    609799 |  107027   864569  2357220 |        1    97702    106 | 22.153 % |
1274.31/1274.34	c |    611871 |  107027   864569  2357220 |        1    99774    107 | 22.153 % |
1274.31/1274.34	c |    611973 |  107027   864569  2357220 |        1    99876    107 | 22.153 % |
1274.31/1274.34	c |    612076 |  107027   864569  2357220 |        1    99979    107 | 22.153 % |
1274.31/1274.34	c |    613782 |  107027   864569  2357220 |        1   101685    109 | 22.153 % |
1274.31/1274.34	c |    613883 |  107027   864569  2357220 |        1   101786    110 | 22.153 % |
1274.31/1274.34	c |    614554 |  107027   864569  2357220 |        1   102457    111 | 22.153 % |
1274.31/1274.34	c |    618168 |  107026   864569  2357220 |        1   106069    113 | 22.154 % |
1274.31/1274.34	c |    619188 |  107026   864569  2357220 |        1   107089    114 | 22.154 % |
1274.31/1274.34	c |    626908 |  107026   864569  2357220 |        1   114809    117 | 22.154 % |
1274.31/1274.34	c |    627008 |  107026   864569  2357220 |        1   114909    117 | 22.154 % |
1274.31/1274.34	c |    627109 |  107026   864569  2357220 |        1   115010    118 | 22.154 % |
1274.31/1274.34	c |    627209 |  107026   864569  2357220 |        1   115110    118 | 22.154 % |
1274.31/1274.34	c |    629030 |  107026   864569  2357220 |        1   116931    119 | 22.154 % |
1274.31/1274.34	c |    632779 |  107026   864569  2357220 |        1    66109     73 | 22.154 % |
1274.31/1274.34	c |    664557 |  107017   864531  2357090 |        1    97880    112 | 22.160 % |
1274.31/1274.34	c |    664657 |  107017   864531  2357090 |        1    97980    112 | 22.160 % |
1274.31/1274.34	c |    664816 |  107017   864531  2357090 |        1    98139    112 | 22.160 % |
1274.31/1274.34	c |    664918 |  107017   864531  2357090 |        1    98241    112 | 22.160 % |
1274.31/1274.34	c |    665545 |  107017   864531  2357090 |        1    98868    113 | 22.160 % |
1274.31/1274.34	c |    665650 |  107017   864531  2357090 |        1    98973    113 | 22.160 % |
1274.31/1274.34	c |    670395 |  107016   864531  2357090 |        1   103715    115 | 22.161 % |
1274.31/1274.34	c |    678649 |  107014   864531  2357090 |        1   111967    120 | 22.163 % |
1274.31/1274.34	c |    679460 |  107014   864531  2357090 |        1   112778    121 | 22.163 % |
1274.31/1274.34	c |    679561 |  107014   864531  2357090 |        1   112879    122 | 22.163 % |
1274.31/1274.34	c |    680209 |  107014   864531  2357090 |        1   113527    122 | 22.163 % |
1274.31/1274.34	c |    689501 |  107001   864481  2356908 |        1    66740     79 | 22.172 % |
1659.22/1659.29	c |    693451 |  107000   864481  2356908 |        1    70689     86 | 22.173 % |
1659.22/1659.29	c |    700070 |  106988   864434  2356735 |        1    77300     95 | 22.181 % |
1659.22/1659.29	c |    707655 |  106980   864406  2356635 |        1    84882    100 | 22.187 % |
1659.22/1659.29	c |    707757 |  106980   864406  2356635 |        1    84984    100 | 22.187 % |
1659.22/1659.29	c |    708377 |  106980   864406  2356635 |        1    85604    101 | 22.187 % |
1659.22/1659.29	c |    739989 |  106963   864361  2356470 |        1   117205    140 | 22.200 % |
1659.22/1659.29	c |    745657 |  106963   864361  2356470 |        1   122873    143 | 22.200 % |
1659.22/1659.29	c |    746425 |  106962   864361  2356470 |        1   123637    145 | 22.200 % |
1659.22/1659.29	c |    746527 |  106962   864361  2356470 |        1   123739    145 | 22.200 % |
1659.22/1659.29	c |    746879 |  106950   864361  2356470 |        1   124090    145 | 22.209 % |
1659.22/1659.29	c |    750848 |  106950   864361  2356470 |        1    68274     82 | 22.209 % |
1659.22/1659.29	c |    750979 |  106950   864289  2356222 |        1    68402     83 | 22.209 % |
1659.22/1659.29	c |    766150 |  106844   864220  2355983 |        1    83570    100 | 22.286 % |
1659.22/1659.29	c |    768124 |  106843   864159  2355800 |        1    85530    102 | 22.287 % |
1659.22/1659.29	c |    780933 |  106831   864094  2355573 |        1    98336    110 | 22.296 % |
1659.22/1659.29	c |    787395 |  106820   864028  2355343 |        1   104787    113 | 22.304 % |
1659.22/1659.29	c |    787495 |  106820   864028  2355343 |        1   104887    114 | 22.304 % |
1659.22/1659.29	c |    787595 |  106820   864028  2355343 |        1   104987    114 | 22.304 % |
1659.22/1659.29	c |    787697 |  106820   864028  2355343 |        1   105089    114 | 22.304 % |
1659.22/1659.29	c |    788733 |  106820   864028  2355343 |        1   106125    115 | 22.304 % |
1659.22/1659.29	c |    790723 |  106820   864028  2355343 |        1   108115    117 | 22.304 % |
1659.22/1659.29	c |    790826 |  106820   864028  2355343 |        1   108218    117 | 22.304 % |
1659.22/1659.29	c |    790926 |  106820   864028  2355343 |        1   108318    117 | 22.304 % |
1659.22/1659.29	c |    791695 |  106819   864028  2355343 |        1   109076    118 | 22.304 % |
1659.22/1659.29	c |    799612 |  106806   863963  2355116 |        1   116986    119 | 22.314 % |
1659.22/1659.29	c |    799713 |  106806   863963  2355116 |        1   117087    119 | 22.314 % |
1659.22/1659.29	c |    804422 |  106796   863927  2354984 |        1   121791    122 | 22.321 % |
1659.22/1659.29	c |    804523 |  106796   863927  2354984 |        1   121892    122 | 22.321 % |
1659.22/1659.29	c |    805090 |  106795   863927  2354984 |        1   122455    123 | 22.322 % |
1659.22/1659.29	c |    806164 |  106795   863927  2354984 |        1   123529    123 | 22.322 % |
1659.22/1659.29	c |    806265 |  106795   863927  2354984 |        1   123630    124 | 22.322 % |
1659.22/1659.29	c |    806395 |  106795   863927  2354984 |        1   123760    124 | 22.322 % |
1659.22/1659.29	c |    806521 |  106795   863927  2354984 |        1   123886    124 | 22.322 % |
1659.22/1659.29	c |    806621 |  106795   863927  2354984 |        1   123986    124 | 22.322 % |
1659.22/1659.29	c |    831447 |  106660   863718  2354279 |        1    87928    100 | 22.420 % |
1659.22/1659.29	c |    831547 |  106660   863718  2354279 |        1    88028    100 | 22.420 % |
1659.22/1659.29	c |    831647 |  106660   863718  2354279 |        1    88128    100 | 22.420 % |
1659.22/1659.29	c |    832156 |  106660   863718  2354279 |        1    88637    101 | 22.420 % |
1659.22/1659.29	c |    839821 |  105259   846146  2301453 |        1    96112    107 | 23.439 % |
1659.22/1659.29	c |    840071 |  105259   846146  2301453 |        1    96362    108 | 23.439 % |
1659.22/1659.29	c |    842917 |  105259   846146  2301453 |        1    99208    109 | 23.439 % |
1659.22/1659.29	c |    843633 |  105259   846146  2301453 |        1    99924    110 | 23.439 % |
1659.22/1659.29	c |    848004 |  105250   846104  2301303 |        1   104290    113 | 23.446 % |
1659.22/1659.29	c |    848543 |  105250   846104  2301303 |        1   104829    113 | 23.446 % |
1659.22/1659.29	c |    850083 |  105250   846104  2301303 |        1   106369    115 | 23.446 % |
1659.22/1659.29	c |    850183 |  105250   846104  2301303 |        1   106469    115 | 23.446 % |
1659.22/1659.29	c |    850283 |  105250   846104  2301303 |        1   106569    116 | 23.446 % |
1659.22/1659.29	c |    858986 |  105191   846030  2301057 |        1   115245    119 | 23.489 % |
1659.22/1659.29	c |    859476 |  105191   846030  2301057 |        1   115735    119 | 23.489 % |
1659.22/1659.29	c |    859576 |  105191   846030  2301057 |        1   115835    119 | 23.489 % |
1937.23/1937.25	c |    859703 |  105191   846030  2301057 |        1   115962    120 | 23.489 % |
1937.23/1937.25	c |    859804 |  105191   846030  2301057 |        1   116063    120 | 23.489 % |
1937.23/1937.25	c |    861432 |  105191   846030  2301057 |        1   117691    123 | 23.489 % |
1937.23/1937.25	c |    863092 |  105189   846030  2301057 |        1   119349    125 | 23.490 % |
1937.23/1937.25	c |    863193 |  105189   846030  2301057 |        1   119450    125 | 23.490 % |
1937.23/1937.25	c |    865065 |  105189   846030  2301057 |        1   121322    127 | 23.490 % |
1937.23/1937.25	c |    865362 |  105189   846030  2301057 |        1   121619    128 | 23.490 % |
1937.23/1937.25	c |    869920 |  105186   846030  2301057 |        1   126176    131 | 23.492 % |
1937.23/1937.25	c |    871022 |  105186   846030  2301057 |        1   127278    131 | 23.492 % |
1937.23/1937.25	c |    871124 |  105186   846030  2301057 |        1   127380    132 | 23.492 % |
1937.23/1937.25	c |    873121 |  105176   846030  2301057 |        1   129376    132 | 23.499 % |
1937.23/1937.25	c |    889229 |  105176   845989  2300910 |        1    81342     90 | 23.499 % |
1937.23/1937.25	c |    891362 |  105176   845989  2300910 |        1    83475     93 | 23.499 % |
1937.23/1937.25	c |    891466 |  105176   845989  2300910 |        1    83579     94 | 23.499 % |
1937.23/1937.25	c |    891566 |  105176   845989  2300910 |        1    83679     94 | 23.499 % |
1937.23/1937.25	c |    891666 |  105176   845989  2300910 |        1    83779     95 | 23.499 % |
1937.23/1937.25	c |    891767 |  105176   845989  2300910 |        1    83880     95 | 23.499 % |
1937.23/1937.25	c |    897346 |  105176   845989  2300910 |        1    89459    107 | 23.499 % |
1937.23/1937.25	c |    901175 |  105164   845936  2300719 |        1    93284    112 | 23.508 % |
1937.23/1937.25	c |    901275 |  105164   845936  2300719 |        1    93384    112 | 23.508 % |
1937.23/1937.25	c |    901375 |  105164   845936  2300719 |        1    93484    112 | 23.508 % |
1937.23/1937.25	c |    902033 |  105164   845936  2300719 |        1    94142    113 | 23.508 % |
1937.23/1937.25	c |    902133 |  105164   845936  2300719 |        1    94242    113 | 23.508 % |
1937.23/1937.25	c |    902233 |  105164   845936  2300719 |        1    94342    113 | 23.508 % |
1937.23/1937.25	c |    902359 |  105164   845936  2300719 |        1    94468    114 | 23.508 % |
1937.23/1937.25	c |    902461 |  105164   845936  2300719 |        1    94570    114 | 23.508 % |
1937.23/1937.25	c |    906164 |  105164   845936  2300719 |        1    98273    116 | 23.508 % |
1937.23/1937.25	c |    914693 |  105164   845936  2300719 |        1   106802    120 | 23.508 % |
1937.23/1937.25	c |    914797 |  105164   845936  2300719 |        1   106906    120 | 23.508 % |
1937.23/1937.25	c |    923314 |  105163   845936  2300719 |        1   115422    126 | 23.509 % |
1937.23/1937.25	c |    923415 |  105163   845936  2300719 |        1   115523    126 | 23.509 % |
1937.23/1937.25	c |    923515 |  105163   845936  2300719 |        1   115623    126 | 23.509 % |
1937.23/1937.25	c |    931890 |  105163   845936  2300719 |        1   123998    128 | 23.509 % |
1937.23/1937.25	c |    937634 |  105163   845936  2300719 |        1   129742    129 | 23.509 % |
1937.23/1937.25	c |    940067 |  105162   845936  2300719 |        1   132174    132 | 23.510 % |
1937.23/1937.25	c |    940167 |  105162   845936  2300719 |        1   132274    132 | 23.510 % |
1937.23/1937.25	c |    940268 |  105162   845936  2300719 |        1   132375    132 | 23.510 % |
1937.23/1937.25	c |    945420 |  105162   845936  2300719 |        1   137527    137 | 23.510 % |
1937.23/1937.25	c |    959339 |  105161   845936  2300719 |        1    84523     90 | 23.510 % |
1937.23/1937.25	c |    964828 |  105161   845936  2300719 |        1    90012     94 | 23.510 % |
1937.23/1937.25	c |    970469 |  105143   845936  2300719 |        1    95651    102 | 23.523 % |
1937.23/1937.25	c |    970569 |  105143   845936  2300719 |        1    95751    102 | 23.523 % |
1937.23/1937.25	c |    970833 |  105143   845936  2300719 |        1    96015    102 | 23.523 % |
1937.23/1937.25	c |    971370 |  104926   845439  2298928 |        1    96536    104 | 23.681 % |
1937.23/1937.25	c |    971865 |  104926   845439  2298928 |        1    97031    105 | 23.681 % |
1937.23/1937.25	c |    976800 |  104926   845439  2298928 |        1   101966    107 | 23.681 % |
1937.23/1937.25	c |    976906 |  104926   845439  2298928 |        1   102072    107 | 23.681 % |
1937.23/1937.25	c |    977954 |  104926   845439  2298928 |        1   103120    108 | 23.681 % |
1937.23/1937.25	c |    982101 |  104926   845439  2298928 |        1   107267    110 | 23.681 % |
1937.23/1937.25	c |    985170 |  104926   845439  2298928 |        1   110336    111 | 23.681 % |
2442.34/2442.33	c |    985270 |  104926   845439  2298928 |        1   110436    112 | 23.681 % |
2442.34/2442.33	c |    992546 |  104915   845397  2298778 |        1   117699    114 | 23.689 % |
2442.34/2442.33	c |    992648 |  104915   845397  2298778 |        1   117801    114 | 23.689 % |
2442.34/2442.33	c |    993610 |  104915   845397  2298778 |        1   118763    115 | 23.689 % |
2442.34/2442.33	c |    993710 |  104915   845397  2298778 |        1   118863    115 | 23.689 % |
2442.34/2442.33	c |    993812 |  104915   845397  2298778 |        1   118965    115 | 23.689 % |
2442.34/2442.33	c |    995267 |  104915   845397  2298778 |        1   120420    116 | 23.689 % |
2442.34/2442.33	c |    996473 |  104915   845397  2298778 |        1   121626    117 | 23.689 % |
2442.34/2442.33	c |    999980 |  104915   845397  2298778 |        1   125133    125 | 23.689 % |
2442.34/2442.33	c |   1002165 |  104913   845392  2298763 |        1   127315    126 | 23.691 % |
2442.34/2442.33	c |   1004406 |  104913   845392  2298763 |        1   129556    126 | 23.691 % |
2442.34/2442.33	c |   1004556 |  104913   845392  2298763 |        1   129706    126 | 23.691 % |
2442.34/2442.33	c |   1029153 |  104867   845207  2298102 |        1    85347     84 | 23.724 % |
2442.34/2442.33	c |   1030900 |  104867   845207  2298102 |        1    87094     86 | 23.724 % |
2442.34/2442.33	c |   1037648 |  104867   845207  2298102 |        1    93842     91 | 23.724 % |
2442.34/2442.33	c |   1038365 |  104867   845207  2298102 |        1    94559     93 | 23.724 % |
2442.34/2442.33	c |   1047493 |  104853   845157  2297920 |        1   103668     98 | 23.734 % |
2442.34/2442.33	c |   1050971 |  104852   845157  2297920 |        1   107144    100 | 23.735 % |
2442.34/2442.33	c |   1051072 |  104852   845157  2297920 |        1   107245    100 | 23.735 % |
2442.34/2442.33	c |   1064342 |  104851   845157  2297920 |        1   120513    106 | 23.736 % |
2442.34/2442.33	c |   1071468 |  104851   845157  2297920 |        1   127639    115 | 23.736 % |
2442.34/2442.33	c |   1072201 |  104844   845133  2297832 |        1   128362    115 | 23.741 % |
2442.34/2442.33	c |   1073052 |  104844   845133  2297832 |        1   129213    116 | 23.741 % |
2442.34/2442.33	c |   1074898 |  104844   845133  2297832 |        1   131059    117 | 23.741 % |
2442.34/2442.33	c |   1081413 |  104844   845133  2297832 |        1   137574    119 | 23.741 % |
2442.34/2442.33	c |   1091531 |  104843   845133  2297832 |        1   147688    123 | 23.742 % |
2442.34/2442.33	c |   1101514 |  104843   845133  2297832 |        1    84956     85 | 23.742 % |
2442.34/2442.33	c |   1101615 |  104843   845133  2297832 |        1    85057     85 | 23.742 % |
2442.34/2442.33	c |   1113409 |  104842   845133  2297832 |        1    96844     95 | 23.742 % |
2442.34/2442.33	c |   1115607 |  104832   845100  2297703 |        1    98967     96 | 23.750 % |
2442.34/2442.33	c |   1118350 |  104832   845100  2297703 |        1   101710     98 | 23.750 % |
2442.34/2442.33	c |   1124062 |  104832   845100  2297703 |        1   107422    101 | 23.750 % |
2442.34/2442.33	c |   1124162 |  104832   845100  2297703 |        1   107522    102 | 23.750 % |
2442.34/2442.33	c |   1156576 |  104832   845100  2297703 |        1   139936    119 | 23.750 % |
2442.34/2442.33	c |   1160769 |  104832   845100  2297703 |        1   144129    119 | 23.750 % |
2442.34/2442.33	c |   1165990 |  104832   845100  2297703 |        1   149350    121 | 23.750 % |
2442.34/2442.33	c |   1166090 |  104832   845100  2297703 |        1   149450    122 | 23.750 % |
2442.34/2442.33	c |   1166191 |  104832   845100  2297703 |        1   149551    122 | 23.750 % |
2442.34/2442.33	c |   1175806 |  104830   845100  2297703 |        1    85359     81 | 23.751 % |
2442.34/2442.33	c |   1175907 |  104830   845100  2297703 |        1    85460     81 | 23.751 % |
2442.34/2442.33	c |   1176750 |  104830   845100  2297703 |        1    86303     81 | 23.751 % |
2442.34/2442.33	c |   1179359 |  104830   845100  2297703 |        1    88912     84 | 23.751 % |
2442.34/2442.33	c |   1179459 |  104830   845100  2297703 |        1    89012     84 | 23.751 % |
2442.34/2442.33	c |   1181818 |  104830   845100  2297703 |        1    91371     85 | 23.751 % |
2442.34/2442.33	c |   1182623 |  104830   845100  2297703 |        1    92176     86 | 23.751 % |
2442.34/2442.33	c |   1184109 |  104830   845100  2297703 |        1    93662     88 | 23.751 % |
2442.34/2442.33	c |   1186699 |  104830   845100  2297703 |        1    96252     90 | 23.751 % |
2442.34/2442.33	c |   1197357 |  104830   845100  2297703 |        1   106910    100 | 23.751 % |
2442.34/2442.33	c |   1197458 |  104830   845100  2297703 |        1   107011    100 | 23.751 % |
2442.34/2442.33	c |   1197632 |  104830   845100  2297703 |        1   107185    100 | 23.751 % |
2565.04/2565.05	c |   1197732 |  104830   845100  2297703 |        1   107285    100 | 23.751 % |
2565.04/2565.05	c |   1200045 |  104830   845100  2297703 |        1   109598    102 | 23.751 % |
2565.04/2565.05	c |   1209466 |  104817   845048  2297515 |        1   119011    106 | 23.761 % |
2565.04/2565.05	c |   1223153 |  104816   845048  2297515 |        1   132695    113 | 23.761 % |
2565.04/2565.05	c |   1223253 |  104816   845048  2297515 |        1   132795    113 | 23.761 % |
2565.04/2565.05	c |   1223356 |  104816   845048  2297515 |        1   132898    113 | 23.761 % |
2565.04/2565.05	c |   1223637 |  104816   845048  2297515 |        1   133179    114 | 23.761 % |
2565.04/2565.05	c |   1229823 |  104815   845048  2297515 |        1   139363    114 | 23.762 % |
2565.04/2565.05	c |   1230017 |  104814   845048  2297515 |        1   139556    114 | 23.763 % |
2565.04/2565.05	c |   1230306 |  104814   845048  2297515 |        1   139845    115 | 23.763 % |
2565.04/2565.05	c |   1230475 |  104814   845048  2297515 |        1   140014    115 | 23.763 % |
2565.04/2565.05	c |   1230576 |  104814   845048  2297515 |        1   140115    115 | 23.763 % |
2565.04/2565.05	c |   1246041 |   44935   616200  1519859 |        1    39267     54 | 67.316 % |
2565.04/2565.05	c ===============================================================================
2565.04/2565.05	c restarts              : 1201
2565.04/2565.05	c nb ReduceDB           : 29
2565.04/2565.05	c nb removed Clauses    : 1086286
2565.04/2565.05	c nb learnts DL2        : 9193
2565.04/2565.05	c nb learnts size 2     : 5991
2565.04/2565.05	c nb learnts size 1     : 594
2565.04/2565.05	c conflicts             : 1246041        (487 /sec)
2565.04/2565.05	c decisions             : 3260718        (0.00 % random) (1274 /sec)
2565.04/2565.05	c propagations          : 8496205245     (3318867 /sec)
2565.04/2565.05	c conflict literals     : 266996258      (62.09 % deleted)
2565.04/2565.05	c nb reduced Clauses    : 2970
2565.04/2565.05	c CPU time              : 2559.97 s
2565.04/2565.05	
2565.04/2565.06	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-3303769-1303904336/watcher-3303769-1303904336 -o /tmp/evaluation-result-3303769-1303904336/solver-3303769-1303904336 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303769-1303904336.cnf 

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.99 1.97 3/182 28958
/proc/meminfo: memFree=21179836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0

[startup+0.0935819 s]
/proc/loadavg: 1.85 1.99 1.97 3/182 28958
/proc/meminfo: memFree=21179836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100572 s]
/proc/loadavg: 1.85 1.99 1.97 3/182 28958
/proc/meminfo: memFree=21179836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300556 s]
/proc/loadavg: 1.85 1.99 1.97 3/182 28958
/proc/meminfo: memFree=21179836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700495 s]
/proc/loadavg: 1.85 1.99 1.97 3/182 28958
/proc/meminfo: memFree=21179836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50035 s]
/proc/loadavg: 1.85 1.99 1.97 3/180 28966
/proc/meminfo: memFree=21098516/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
[pid=28959] ppid=28958 vsize=151080 CPUtime=1.48 cores=0,2,4,6
/proc/28959/stat : 28959 (SatELite_releas) R 28958 28958 28713 0 -1 4202496 39195 0 0 0 141 7 0 0 25 0 1 0 502031900 154705920 35775 33554432000 134512640 135144242 4288358160 18446744073709551615 134585724 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28959/statm: 37770 35775 77 155 0 37613 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159784

[startup+3.10106 s]
/proc/loadavg: 1.85 1.99 1.97 3/180 28984
/proc/meminfo: memFree=21074708/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 502031900 8912896 253 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/28958/statm: 2176 253 211 178 0 69 0
[pid=28959] ppid=28958 vsize=166912 CPUtime=3.09 cores=0,2,4,6
/proc/28959/stat : 28959 (SatELite_releas) R 28958 28958 28713 0 -1 4202496 44808 0 0 0 301 8 0 0 25 0 1 0 502031900 170917888 38174 33554432000 134512640 135144242 4288358160 18446744073709551615 134588277 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/28959/statm: 41728 38174 77 155 0 41571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175616

[startup+6.30044 s]
/proc/loadavg: 1.87 1.99 1.97 3/184 28993
/proc/meminfo: memFree=21090424/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=97980 CPUtime=2.58 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 18537 0 0 0 255 3 0 0 25 0 1 0 502032270 100331520 17409 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224797 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 24495 17409 250 17 0 21136 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 106684

[startup+12.7003 s]
/proc/loadavg: 1.88 1.99 1.97 3/184 28993
/proc/meminfo: memFree=21077628/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=98748 CPUtime=8.99 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 19888 0 0 0 895 4 0 0 25 0 1 0 502032270 101117952 18747 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 24687 18747 250 17 0 21328 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 107452

[startup+25.5009 s]
/proc/loadavg: 1.90 1.99 1.97 3/184 28993
/proc/meminfo: memFree=21051860/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=100600 CPUtime=21.78 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 33622 0 0 0 2172 6 0 0 25 0 1 0 502032270 103014400 18537 33554432000 4194304 4260849 140736588091680 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 25150 18537 251 17 0 21791 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 109304

[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 1.97 3/184 28994
/proc/meminfo: memFree=20961664/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=131084 CPUtime=47.38 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 52267 0 0 0 4728 10 0 0 25 0 1 0 502032270 134230016 28154 33554432000 4194304 4260849 140736588091680 18446744073709551615 4211149 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 32771 28154 251 17 0 29412 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 139788

[startup+102.307 s]
/proc/loadavg: 1.97 1.99 1.97 3/184 29056
/proc/meminfo: memFree=20987056/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=180404 CPUtime=98.59 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 73848 0 0 0 9844 15 0 0 25 0 1 0 502032270 184733696 40066 33554432000 4194304 4260849 140736588091680 18446744073709551615 4211149 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 45101 40066 251 17 0 41742 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 189108

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.97 3/184 29088
/proc/meminfo: memFree=20963240/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=180404 CPUtime=158.59 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 97629 0 0 0 15839 20 0 0 25 0 1 0 502032270 184733696 39236 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224391 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 45101 39236 251 17 0 41742 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 189108

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.97 3/184 29090
/proc/meminfo: memFree=20926648/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=218.59 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 113275 0 0 0 21835 24 0 0 25 0 1 0 502032270 216293376 40780 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40780 251 17 0 49447 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 219928

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.97 3/184 29121
/proc/meminfo: memFree=20988112/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=278.59 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 130602 0 0 0 27830 29 0 0 25 0 1 0 502032270 216293376 43018 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 43018 251 17 0 49447 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 219928

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.97 3/184 29123
/proc/meminfo: memFree=20961184/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=338.59 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 147071 0 0 0 33825 34 0 0 25 0 1 0 502032270 216293376 43346 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 43346 251 17 0 49447 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 219928

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.97 3/184 29124
/proc/meminfo: memFree=20960916/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6

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


[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29181
/proc/meminfo: memFree=20942260/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2078.65 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 459604 0 0 0 207738 127 0 0 25 0 1 0 502032270 216293376 42271 33554432000 4194304 4260849 140736588091680 18446744073709551615 4213356 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 42271 251 17 0 49447 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 219928

[startup+2142.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/184 29183
/proc/meminfo: memFree=20868460/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2138.64 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 464304 0 0 0 213735 129 0 0 25 0 1 0 502032270 216293376 46946 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 46946 251 17 0 49447 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 219928

[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 29184
/proc/meminfo: memFree=20910484/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=180404 CPUtime=2198.64 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 479201 0 0 0 219732 132 0 0 25 0 1 0 502032270 184733696 38304 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 45101 38304 251 17 0 41742 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 189108

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 29186
/proc/meminfo: memFree=20937252/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2258.65 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 483562 0 0 0 225731 134 0 0 25 0 1 0 502032270 216293376 42640 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224587 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 42640 251 17 0 49447 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 219928

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 29188
/proc/meminfo: memFree=20852428/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2318.65 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 487950 0 0 0 231730 135 0 0 25 0 1 0 502032270 216293376 46994 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 46994 251 17 0 49447 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 219928

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 29189
/proc/meminfo: memFree=20853532/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=180404 CPUtime=2378.66 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 503091 0 0 0 237728 138 0 0 25 0 1 0 502032270 184733696 38417 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 45101 38417 251 17 0 41742 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 189108

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 29191
/proc/meminfo: memFree=20891836/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2438.65 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 507557 0 0 0 243726 139 0 0 25 0 1 0 502032270 216293376 42856 33554432000 4194304 4260849 140736588091680 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 42856 251 17 0 49447 0
Current children cumulated CPU time (s) 2442.34
Current children cumulated vsize (KiB) 219928

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29192
/proc/meminfo: memFree=20837752/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2498.66 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 511713 0 0 0 249725 141 0 0 25 0 1 0 502032270 216293376 46988 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 46988 251 17 0 49447 0
Current children cumulated CPU time (s) 2502.35
Current children cumulated vsize (KiB) 219928

[startup+2562.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20869856/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2558.66 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528146 0 0 0 255722 144 0 0 25 0 1 0 502032270 216293376 40673 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40673 251 17 0 49447 0
Current children cumulated CPU time (s) 2562.35
Current children cumulated vsize (KiB) 219928

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

[startup+2563.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20869236/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2559.46 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528183 0 0 0 255802 144 0 0 25 0 1 0 502032270 216293376 40710 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224467 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40710 251 17 0 49447 0
Current children cumulated CPU time (s) 2563.15
Current children cumulated vsize (KiB) 219928

[startup+2563.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20869236/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2560.25 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528234 0 0 0 255881 144 0 0 25 0 1 0 502032270 216293376 40761 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40761 251 17 0 49447 0
Current children cumulated CPU time (s) 2563.94
Current children cumulated vsize (KiB) 219928

[startup+2564.7 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20868368/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2561.05 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528258 0 0 0 255961 144 0 0 25 0 1 0 502032270 216293376 40784 33554432000 4194304 4260849 140736588091680 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40784 251 17 0 49447 0
Current children cumulated CPU time (s) 2564.74
Current children cumulated vsize (KiB) 219928

[startup+2564.9 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20868368/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211224 CPUtime=2561.25 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528269 0 0 0 255981 144 0 0 25 0 1 0 502032270 216293376 40795 33554432000 4194304 4260849 140736588091680 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52806 40795 251 17 0 49447 0
Current children cumulated CPU time (s) 2564.94
Current children cumulated vsize (KiB) 219928

[startup+2565 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 29194
/proc/meminfo: memFree=20868368/32951124 swapFree=67111352/67111528
[pid=28958] ppid=28956 vsize=8704 CPUtime=3.69 cores=0,2,4,6
/proc/28958/stat : 28958 (glucose.sh) S 28956 28958 28713 0 -1 4202496 360 46962 0 0 0 0 357 12 18 0 1 0 502031900 8912896 255 33554432000 4194304 4922060 140734993504640 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28958/statm: 2176 255 211 178 0 69 0
[pid=28992] ppid=28958 vsize=211500 CPUtime=2561.35 cores=0,2,4,6
/proc/28992/stat : 28992 (glucose_static) R 28958 28958 28713 0 -1 4202496 528270 0 0 0 255991 144 0 0 25 0 1 0 502032270 216576000 40796 33554432000 4194304 4260849 140736588091680 18446744073709551615 4220467 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28992/statm: 52875 40796 251 17 0 49516 0
Current children cumulated CPU time (s) 2565.04
Current children cumulated vsize (KiB) 220204

Child status: 20
Real time (s): 2565.07
CPU time (s): 2565.14
CPU user time (s): 2563.55
CPU system time (s): 1.58676
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 319336

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

runsolver used 4.48032 second user time and 9.51955 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-27 13:38:57
IDJOB=3303769
IDBENCH=71036
IDSOLVER=1687
FILE ID=node134/3303769-1303904336
RUNJOBID= node134-1303899333-28731
PBS_JOBID= 13164514
Free space on /tmp= 71556 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303769-1303904336/watcher-3303769-1303904336 -o /tmp/evaluation-result-3303769-1303904336/solver-3303769-1303904336 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303769-1303904336.cnf 

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=416211043

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21180240 kB
Buffers:       2322300 kB
Cached:        8776352 kB
SwapCached:         64 kB
Active:        4715964 kB
Inactive:      6501336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21180240 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           38456 kB
Writeback:           0 kB
AnonPages:      117264 kB
Mapped:          15628 kB
Slab:           490280 kB
PageTables:       4404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   266952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71552 MiB
End job on node134 at 2011-04-27 14:21:42