Trace number 3283652

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 1300 1300.01

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p1.cnf
MD5SUM6ace5cfbe110f1a43049037cb7432998
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables259234
Number of clauses1387934
Sum of the clauses size3351923
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981661
Number of clauses of size 3327764
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.71	c ==============================================================================
0.00/0.71	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.71	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.71	c ==============================================================================
0.00/0.71	c |         0 | 1373915  3337034 |  412174       0        0     nan |  0.000 % |
3.09/3.77	c |         0 |  959954  2694138 |      --       0       --      -- |     --   | -111844/44415
3.09/3.77	c ==============================================================================
3.09/3.77	c Result  :   #vars: 137915   #clauses: 959954   #literals: 2694138
3.09/3.77	c CPU time:   3.65344 s
3.09/3.77	c ==============================================================================
4.29/4.30	c
4.29/4.30	c Starting glucose
4.29/4.30	c
10.87/10.96	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
10.87/10.96	c WARNING: for repeatability, setting FPU to use double precision
10.87/10.96	c ============================[ Problem Statistics ]=============================
10.87/10.96	c |                                                                             |
10.87/10.96	c |  Number of variables:        137915                                         |
10.87/10.96	c |  Number of clauses:          959954                                         |
10.87/10.96	c |  Parse time:                   0.27 s                                       |
10.87/10.96	c |                                                                             |
10.87/10.96	c ============================[ Search Statistics ]==============================
10.87/10.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.87/10.96	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.87/10.96	c ===============================================================================
10.87/10.96	c |       560 |  137717   959954  2694138 |        1      559     65 |  0.144 % |
10.87/10.96	c |       661 |  137717   959954  2694138 |        1      660     64 |  0.144 % |
10.87/10.96	c |      1431 |  137383   959954  2694138 |        1     1428     66 |  0.386 % |
10.87/10.96	c |      2458 |  133741   955967  2681589 |        1     2444     64 |  3.027 % |
10.87/10.96	c |      2609 |  133741   955967  2681589 |        1     2595     65 |  3.027 % |
10.87/10.96	c |      3363 |  131359   950309  2661088 |        1     3327     60 |  4.754 % |
10.87/10.96	c |      4090 |  130466   942688  2634018 |        1     2056     36 |  5.401 % |
10.87/10.96	c |      4302 |  130153   942688  2634018 |        1     2265     37 |  5.628 % |
10.87/10.96	c |      5819 |  129259   942688  2634018 |        1     3776     44 |  6.276 % |
10.87/10.96	c |      7208 |  129221   939856  2623838 |        1     5141     50 |  6.304 % |
10.87/10.96	c |      7832 |  128555   939856  2623838 |        1     5763     52 |  6.787 % |
10.87/10.96	c |      7933 |  128555   939774  2623528 |        1     5861     53 |  6.787 % |
10.87/10.96	c |      8316 |  127757   939774  2623528 |        1     6240     55 |  7.365 % |
10.87/10.96	c |      8418 |  127284   939774  2623528 |        1     6341     55 |  7.708 % |
10.87/10.96	c |      8518 |  127284   939774  2623528 |        1     6441     56 |  7.708 % |
10.87/10.96	c |      8652 |  127284   939774  2623528 |        1     6575     56 |  7.708 % |
10.87/10.96	c |      8752 |  127279   939774  2623528 |        1     6674     58 |  7.712 % |
10.87/10.96	c |      8930 |  127095   937525  2615757 |        1     6836     59 |  7.845 % |
10.87/10.96	c |      9702 |  127022   937525  2615757 |        1     7605     59 |  7.898 % |
10.87/10.96	c |      9981 |  127022   937525  2615757 |        1     7884     60 |  7.898 % |
10.87/10.96	c |     10166 |  127022   937525  2615757 |        1     8069     61 |  7.898 % |
10.87/10.96	c |     10268 |  127014   937280  2614850 |        1     8165     62 |  7.904 % |
10.87/10.96	c |     10369 |  126732   937280  2614850 |        1     8265     62 |  8.109 % |
10.87/10.96	c |     10512 |  126732   937280  2614850 |        1     8408     63 |  8.109 % |
10.87/10.96	c |     10648 |  126726   937280  2614850 |        1     4307     38 |  8.113 % |
10.87/10.96	c |     10748 |  126726   937280  2614850 |        1     4407     43 |  8.113 % |
10.87/10.96	c |     10849 |  126726   937280  2614850 |        1     4508     44 |  8.113 % |
10.87/10.96	c |     11184 |  126536   937280  2614850 |        1     4840     46 |  8.251 % |
10.87/10.96	c |     11532 |  126213   936882  2613370 |        1     5180     50 |  8.485 % |
10.87/10.96	c |     11769 |  126213   936882  2613370 |        1     5417     52 |  8.485 % |
10.87/10.96	c |     11869 |  126213   936882  2613370 |        1     5517     53 |  8.485 % |
10.87/10.96	c |     11969 |  126213   936882  2613370 |        1     5617     53 |  8.485 % |
10.87/10.96	c |     12385 |  126213   936882  2613370 |        1     6033     56 |  8.485 % |
10.87/10.96	c |     12721 |  126098   936882  2613370 |        1     6363     57 |  8.568 % |
10.87/10.96	c |     12936 |  123998   936778  2613015 |        1     6567     58 | 10.091 % |
10.87/10.96	c |     13103 |  123998   936778  2613015 |        1     6734     59 | 10.091 % |
10.87/10.96	c |     13651 |  123737   936778  2613015 |        1     7280     60 | 10.280 % |
10.87/10.96	c |     13751 |  123737   936778  2613015 |        1     7380     61 | 10.280 % |
10.87/10.96	c |     14233 |  123737   936778  2613015 |        1     7862     60 | 10.280 % |
21.28/21.36	c |     15874 |  122968   932486  2598187 |        1     9474     62 | 10.838 % |
21.28/21.36	c |     16186 |  122968   931304  2594311 |        1     9780     63 | 10.838 % |
21.28/21.36	c |     16837 |  122074   931304  2594311 |        1    10428     64 | 11.486 % |
21.28/21.36	c |     16991 |  121854   931304  2594311 |        1    10581     64 | 11.646 % |
21.28/21.36	c |     17843 |  120936   928165  2582876 |        1    11410     65 | 12.311 % |
21.28/21.36	c |     17946 |  120936   928165  2582876 |        1    11513     65 | 12.311 % |
21.28/21.36	c |     18046 |  120936   928165  2582876 |        1    11613     65 | 12.311 % |
21.28/21.36	c |     18146 |  120936   928165  2582876 |        1    11713     65 | 12.311 % |
21.28/21.36	c |     18247 |  120927   928165  2582876 |        1    11813     65 | 12.318 % |
21.28/21.36	c |     18677 |  120867   925255  2572570 |        1    12239     65 | 12.361 % |
21.28/21.36	c |     19015 |  119949   925255  2572570 |        1    12573     66 | 13.027 % |
21.28/21.36	c |     19391 |  119949   925255  2572570 |        1    12949     68 | 13.027 % |
21.28/21.36	c |     19491 |  119949   925255  2572570 |        1    13049     68 | 13.027 % |
21.28/21.36	c |     19591 |  119921   925030  2571833 |        1    13136     68 | 13.047 % |
21.28/21.36	c |     19791 |  119779   925030  2571833 |        1    13334     68 | 13.150 % |
21.28/21.36	c |     21484 |  119471   924414  2569863 |        1     8347     43 | 13.373 % |
21.28/21.36	c |     21877 |  119459   924414  2569863 |        1     8739     46 | 13.382 % |
21.28/21.36	c |     21978 |  119435   924414  2569863 |        1     8838     47 | 13.400 % |
21.28/21.36	c |     22723 |  119421   924003  2568400 |        1     9578     50 | 13.410 % |
21.28/21.36	c |     22893 |  119421   924003  2568400 |        1     9748     51 | 13.410 % |
21.28/21.36	c |     23964 |  118400   922058  2561257 |        1    10801     54 | 14.150 % |
21.28/21.36	c |     24285 |  118392   922058  2561257 |        1    11121     54 | 14.156 % |
21.28/21.36	c |     24429 |  118392   922058  2561257 |        1    11265     55 | 14.156 % |
21.28/21.36	c |     24529 |  118392   922058  2561257 |        1    11365     55 | 14.156 % |
21.28/21.36	c |     25067 |  118222   921975  2560968 |        1    11891     57 | 14.279 % |
21.28/21.36	c |     25178 |  118132   921975  2560968 |        1    11999     58 | 14.344 % |
21.28/21.36	c |     25278 |  118132   921975  2560968 |        1    12099     59 | 14.344 % |
21.28/21.36	c |     25378 |  118132   921975  2560968 |        1    12199     59 | 14.344 % |
21.28/21.36	c |     25481 |  118132   921975  2560968 |        1    12302     61 | 14.344 % |
21.28/21.36	c |     25581 |  118064   921975  2560968 |        1    12401     62 | 14.394 % |
21.28/21.36	c |     25682 |  118064   921400  2559149 |        1    12491     62 | 14.394 % |
21.28/21.36	c |     25787 |  118064   921400  2559149 |        1    12596     63 | 14.394 % |
21.28/21.36	c |     25965 |  118064   921400  2559149 |        1    12774     63 | 14.394 % |
21.28/21.36	c |     26340 |  118043   921400  2559149 |        1    13146     64 | 14.409 % |
21.28/21.36	c |     26825 |  117413   921050  2557981 |        1    13612     66 | 14.866 % |
21.28/21.36	c |     26926 |  117413   921050  2557981 |        1    13713     67 | 14.866 % |
21.28/21.36	c |     27042 |  117413   921050  2557981 |        1    13829     67 | 14.866 % |
21.28/21.36	c |     27145 |  117413   921050  2557981 |        1    13932     68 | 14.866 % |
21.28/21.36	c |     27245 |  117413   921050  2557981 |        1    14032     68 | 14.866 % |
21.28/21.36	c |     27345 |  117269   921050  2557981 |        1    14131     68 | 14.970 % |
21.28/21.36	c |     27515 |  117269   921050  2557981 |        1    14301     69 | 14.970 % |
21.28/21.36	c |     27841 |  117256   920708  2556715 |        1    14626     71 | 14.980 % |
21.28/21.36	c |     27942 |  117237   920708  2556715 |        1    14725     72 | 14.993 % |
21.28/21.36	c |     28044 |  117237   920708  2556715 |        1    14827     72 | 14.993 % |
21.28/21.36	c |     28144 |  117237   920708  2556715 |        1    14927     72 | 14.993 % |
21.28/21.36	c |     28245 |  117227   920583  2556276 |        1    15025     73 | 15.001 % |
21.28/21.36	c |     28345 |  117227   920583  2556276 |        1    15125     73 | 15.001 % |
21.28/21.36	c |     29142 |  117200   920583  2556276 |        1    15918     74 | 15.020 % |
21.28/21.36	c |     29246 |  117200   920583  2556276 |        1    16022     75 | 15.020 % |
21.28/21.36	c |     29346 |  117200   920583  2556276 |        1    16122     76 | 15.020 % |
32.07/32.14	c |     29446 |  117200   920583  2556276 |        1    16222     76 | 15.020 % |
32.07/32.14	c |     29650 |  117199   920583  2556276 |        1    16425     77 | 15.021 % |
32.07/32.14	c |     29750 |  117182   920461  2555870 |        1    16508     77 | 15.033 % |
32.07/32.14	c |     29971 |  117001   920461  2555870 |        1    16727     77 | 15.164 % |
32.07/32.14	c |     30071 |  117001   920461  2555870 |        1    16827     78 | 15.164 % |
32.07/32.14	c |     30243 |  116975   920461  2555870 |        1    16996     79 | 15.183 % |
32.07/32.14	c |     30344 |  116975   920461  2555870 |        1    17097     79 | 15.183 % |
32.07/32.14	c |     30872 |  116951   920461  2555870 |        1    17623     82 | 15.201 % |
32.07/32.14	c |     31025 |  116951   920200  2554984 |        1    17768     83 | 15.201 % |
32.07/32.14	c |     31126 |  116951   920200  2554984 |        1    17869     84 | 15.201 % |
32.07/32.14	c |     31686 |  116950   920200  2554984 |        1     9439     42 | 15.201 % |
32.07/32.14	c |     31994 |  116221   920144  2554792 |        1     9740     43 | 15.730 % |
32.07/32.14	c |     32094 |  116221   920144  2554792 |        1     9840     43 | 15.730 % |
32.07/32.14	c |     32455 |  116166   920144  2554792 |        1    10199     46 | 15.770 % |
32.07/32.14	c |     32556 |  116166   920144  2554792 |        1    10300     46 | 15.770 % |
32.07/32.14	c |     33255 |  116166   920144  2554792 |        1    10999     51 | 15.770 % |
32.07/32.14	c |     33420 |  116166   919355  2552400 |        1    11159     53 | 15.770 % |
32.07/32.14	c |     33924 |  116154   919355  2552400 |        1    11662     57 | 15.779 % |
32.07/32.14	c |     34403 |  116154   919355  2552400 |        1    12141     58 | 15.779 % |
32.07/32.14	c |     34503 |  116139   919314  2552247 |        1    12239     58 | 15.789 % |
32.07/32.14	c |     34603 |  116139   919314  2552247 |        1    12339     58 | 15.789 % |
32.07/32.14	c |     34704 |  116139   919314  2552247 |        1    12440     59 | 15.789 % |
32.07/32.14	c |     34939 |  116138   919314  2552247 |        1    12674     59 | 15.790 % |
32.07/32.14	c |     35316 |  116138   919314  2552247 |        1    13051     60 | 15.790 % |
32.07/32.14	c |     35675 |  116138   919314  2552247 |        1    13410     61 | 15.790 % |
32.07/32.14	c |     35780 |  116138   919314  2552247 |        1    13515     61 | 15.790 % |
32.07/32.14	c |     36010 |  116138   919314  2552247 |        1    13745     66 | 15.790 % |
32.07/32.14	c |     36248 |  116138   919253  2552040 |        1    13979     67 | 15.790 % |
32.07/32.14	c |     36533 |  116138   919253  2552040 |        1    14264     67 | 15.790 % |
32.07/32.14	c |     36633 |  116138   919253  2552040 |        1    14364     67 | 15.790 % |
32.07/32.14	c |     36811 |  116131   919253  2552040 |        1    14541     68 | 15.795 % |
32.07/32.14	c |     36912 |  116131   919253  2552040 |        1    14642     68 | 15.795 % |
32.07/32.14	c |     37048 |  116122   919253  2552040 |        1    14777     69 | 15.802 % |
32.07/32.14	c |     37444 |  116122   919253  2552040 |        1    15173     71 | 15.802 % |
32.07/32.14	c |     37544 |  116109   919221  2551916 |        1    15266     72 | 15.811 % |
32.07/32.14	c |     37645 |  116109   919221  2551916 |        1    15367     72 | 15.811 % |
32.07/32.14	c |     37752 |  116109   919221  2551916 |        1    15474     72 | 15.811 % |
32.07/32.14	c |     37853 |  116109   919221  2551916 |        1    15575     72 | 15.811 % |
32.07/32.14	c |     38358 |  116070   919221  2551916 |        1    16077     76 | 15.839 % |
32.07/32.14	c |     38460 |  116070   919221  2551916 |        1    16179     76 | 15.839 % |
32.07/32.14	c |     39092 |  115534   919092  2551433 |        1    16805     78 | 16.228 % |
32.07/32.14	c |     39757 |  114734   918587  2549918 |        1    17458     78 | 16.808 % |
32.07/32.14	c |     40218 |  114452   918587  2549918 |        1    17918     80 | 17.013 % |
32.07/32.14	c |     40318 |  114452   918587  2549918 |        1    18018     81 | 17.013 % |
32.07/32.14	c |     40419 |  114452   918587  2549918 |        1    18119     81 | 17.013 % |
32.07/32.14	c |     40543 |  114452   918587  2549918 |        1    18243     82 | 17.013 % |
32.07/32.14	c |     41063 |  114452   918587  2549918 |        1    18763     83 | 17.013 % |
32.07/32.14	c |     41456 |  114452   917834  2547211 |        1    19141     83 | 17.013 % |
32.07/32.14	c |     41610 |  114452   917834  2547211 |        1    19295     83 | 17.013 % |
32.07/32.14	c |     41951 |  114432   917834  2547211 |        1    19634     84 | 17.027 % |
45.67/45.74	c |     42297 |  114432   917834  2547211 |        1    19980     84 | 17.027 % |
45.67/45.74	c |     42654 |  114421   917834  2547211 |        1    20336     86 | 17.035 % |
45.67/45.74	c |     42754 |  114421   917834  2547211 |        1    20436     86 | 17.035 % |
45.67/45.74	c |     43482 |  114420   917740  2546897 |        1    21156     90 | 17.036 % |
45.67/45.74	c |     43883 |  114410   917740  2546897 |        1    21556     91 | 17.043 % |
45.67/45.74	c |     43985 |  114410   917698  2546755 |        1    21657     91 | 17.043 % |
45.67/45.74	c |     44086 |  114403   917698  2546755 |        1    21757     91 | 17.048 % |
45.67/45.74	c |     44604 |  114403   917698  2546755 |        1    22275     94 | 17.048 % |
45.67/45.74	c |     44875 |  114395   917698  2546755 |        1    22545     94 | 17.054 % |
45.67/45.74	c |     44975 |  114395   917698  2546755 |        1    22645     94 | 17.054 % |
45.67/45.74	c |     45080 |  114383   917698  2546755 |        1    22749     94 | 17.063 % |
45.67/45.74	c |     45437 |  114373   917698  2546755 |        1    23105     98 | 17.070 % |
45.67/45.74	c |     45538 |  114372   917541  2546235 |        1    23198     98 | 17.071 % |
45.67/45.74	c |     45891 |  114254   917541  2546235 |        1    23545     98 | 17.156 % |
45.67/45.74	c |     46241 |  114232   917541  2546235 |        1    12702     46 | 17.172 % |
45.67/45.74	c |     46570 |  114232   917541  2546235 |        1    13031     49 | 17.172 % |
45.67/45.74	c |     46670 |  114232   917541  2546235 |        1    13131     50 | 17.172 % |
45.67/45.74	c |     46785 |  114232   917541  2546235 |        1    13246     52 | 17.172 % |
45.67/45.74	c |     46885 |  114232   917541  2546235 |        1    13346     52 | 17.172 % |
45.67/45.74	c |     46995 |  114231   917222  2545150 |        1    13427     53 | 17.173 % |
45.67/45.74	c |     47347 |  114231   917222  2545150 |        1    13779     60 | 17.173 % |
45.67/45.74	c |     47483 |  114230   917222  2545150 |        1    13914     60 | 17.174 % |
45.67/45.74	c |     47656 |  114220   917222  2545150 |        1    14086     60 | 17.181 % |
45.67/45.74	c |     47783 |  114220   917222  2545150 |        1    14213     61 | 17.181 % |
45.67/45.74	c |     47883 |  114220   917222  2545150 |        1    14313     61 | 17.181 % |
45.67/45.74	c |     47983 |  114220   917222  2545150 |        1    14413     61 | 17.181 % |
45.67/45.74	c |     48189 |  114219   917222  2545150 |        1    14618     64 | 17.182 % |
45.67/45.74	c |     48469 |  114219   917222  2545150 |        1    14898     65 | 17.182 % |
45.67/45.74	c |     48622 |  114039   917186  2545025 |        1    15045     66 | 17.312 % |
45.67/45.74	c |     48724 |  114039   917186  2545025 |        1    15147     67 | 17.312 % |
45.67/45.74	c |     49785 |  114039   917186  2545025 |        1    16208     70 | 17.312 % |
45.67/45.74	c |     50141 |  114039   917186  2545025 |        1    16564     78 | 17.312 % |
45.67/45.74	c |     50496 |  113997   916633  2543366 |        1    16914     81 | 17.343 % |
45.67/45.74	c |     50596 |  113996   916633  2543366 |        1    17013     81 | 17.343 % |
45.67/45.74	c |     50875 |  113982   916633  2543366 |        1    17291     83 | 17.353 % |
45.67/45.74	c |     50976 |  113982   916633  2543366 |        1    17392     83 | 17.353 % |
45.67/45.74	c |     51486 |  113807   915911  2540686 |        1    17885     85 | 17.480 % |
45.67/45.74	c |     51586 |  113807   915911  2540686 |        1    17985     86 | 17.480 % |
45.67/45.74	c |     51686 |  113807   915911  2540686 |        1    18085     86 | 17.480 % |
45.67/45.74	c |     51787 |  113807   915911  2540686 |        1    18186     86 | 17.480 % |
45.67/45.74	c |     52073 |  113807   915911  2540686 |        1    18472     87 | 17.480 % |
45.67/45.74	c |     52857 |  113516   915501  2539418 |        1    19239     89 | 17.691 % |
45.67/45.74	c |     52958 |  113516   915501  2539418 |        1    19340     89 | 17.691 % |
45.67/45.74	c |     53075 |  113516   915501  2539418 |        1    19457     89 | 17.691 % |
45.67/45.74	c |     53415 |  113365   915501  2539418 |        1    19795     89 | 17.801 % |
45.67/45.74	c |     53515 |  113365   914743  2536868 |        1    19892     91 | 17.801 % |
45.67/45.74	c |     53617 |  113365   914743  2536868 |        1    19994     91 | 17.801 % |
45.67/45.74	c |     54998 |  113250   914743  2536868 |        1    21374    104 | 17.884 % |
45.67/45.74	c |     55099 |  113250   914293  2535478 |        1    21409    105 | 17.884 % |
45.67/45.74	c |     55199 |  113250   914293  2535478 |        1    21509    106 | 17.884 % |
56.07/56.19	c |     55300 |  113250   914293  2535478 |        1    21610    107 | 17.884 % |
56.07/56.19	c |     55401 |  113170   914293  2535478 |        1    21710    107 | 17.942 % |
56.07/56.19	c |     55654 |  113170   914293  2535478 |        1    21963    110 | 17.942 % |
56.07/56.19	c |     55754 |  113170   914293  2535478 |        1    22063    110 | 17.942 % |
56.07/56.19	c |     56108 |  113170   914293  2535478 |        1    22417    110 | 17.942 % |
56.07/56.19	c |     56213 |  113170   914293  2535478 |        1    22522    111 | 17.942 % |
56.07/56.19	c |     56313 |  113170   914059  2534632 |        1    22621    111 | 17.942 % |
56.07/56.19	c |     56479 |  113170   914059  2534632 |        1    22787    111 | 17.942 % |
56.07/56.19	c |     56580 |  113170   914059  2534632 |        1    22888    112 | 17.942 % |
56.07/56.19	c |     56708 |  113170   914059  2534632 |        1    23016    112 | 17.942 % |
56.07/56.19	c |     56808 |  113170   914059  2534632 |        1    23116    112 | 17.942 % |
56.07/56.19	c |     56908 |  113170   914059  2534632 |        1    23216    113 | 17.942 % |
56.07/56.19	c |     57326 |  113170   914059  2534632 |        1    23634    113 | 17.942 % |
56.07/56.19	c |     57511 |  113170   914059  2534632 |        1    23819    114 | 17.942 % |
56.07/56.19	c |     57611 |  113170   914059  2534632 |        1    23919    115 | 17.942 % |
56.07/56.19	c |     57734 |  113170   914059  2534632 |        1    24042    115 | 17.942 % |
56.07/56.19	c |     57834 |  113164   914057  2534615 |        1    24141    115 | 17.947 % |
56.07/56.19	c |     58437 |  113151   914057  2534615 |        1    24742    118 | 17.956 % |
56.07/56.19	c |     58864 |  113151   914057  2534615 |        1    25169    121 | 17.956 % |
56.07/56.19	c |     58965 |  113151   914057  2534615 |        1    25270    121 | 17.956 % |
56.07/56.19	c |     59120 |  113151   914057  2534615 |        1    25425    122 | 17.956 % |
56.07/56.19	c |     59281 |  113144   914021  2534463 |        1    25581    122 | 17.961 % |
56.07/56.19	c |     59381 |  113144   914021  2534463 |        1    25681    122 | 17.961 % |
56.07/56.19	c |     59530 |  113144   914021  2534463 |        1    25830    122 | 17.961 % |
56.07/56.19	c |     59631 |  113144   914021  2534463 |        1    25931    123 | 17.961 % |
56.07/56.19	c |     59732 |  113131   914021  2534463 |        1    26031    123 | 17.970 % |
56.07/56.19	c |     60043 |  113125   914021  2534463 |        1    26341    124 | 17.975 % |
56.07/56.19	c |     60143 |  113115   914021  2534463 |        1    26439    124 | 17.982 % |
56.07/56.19	c |     60445 |  113115   914021  2534463 |        1    26741    124 | 17.982 % |
56.07/56.19	c |     60547 |  113115   914021  2534463 |        1    26843    124 | 17.982 % |
56.07/56.19	c |     60647 |  113115   914021  2534463 |        1    26943    125 | 17.982 % |
56.07/56.19	c |     60748 |  113115   914021  2534463 |        1    27044    126 | 17.982 % |
56.07/56.19	c |     60849 |  113089   913876  2533968 |        1    27131    126 | 18.001 % |
56.07/56.19	c |     61847 |  113055   913876  2533968 |        1    28128    128 | 18.026 % |
56.07/56.19	c |     61947 |  112946   913876  2533968 |        1    28227    128 | 18.105 % |
56.07/56.19	c |     62273 |  112884   913876  2533968 |        1    28551    128 | 18.150 % |
56.07/56.19	c |     62560 |  112884   913876  2533968 |        1    28838    130 | 18.150 % |
56.07/56.19	c |     62820 |  112689   913442  2532560 |        1    29045    130 | 18.291 % |
56.07/56.19	c |     62937 |  112689   913442  2532560 |        1    29162    131 | 18.291 % |
56.07/56.19	c |     63038 |  112661   913442  2532560 |        1    15397     54 | 18.311 % |
56.07/56.19	c |     63345 |  112625   913442  2532560 |        1    15703     57 | 18.337 % |
56.07/56.19	c |     63447 |  112625   913442  2532560 |        1    15805     57 | 18.337 % |
56.07/56.19	c |     63830 |  112625   913442  2532560 |        1    16188     58 | 18.337 % |
56.07/56.19	c |     63973 |  112625   913442  2532560 |        1    16331     58 | 18.337 % |
56.07/56.19	c |     64075 |  112625   913442  2532560 |        1    16433     60 | 18.337 % |
56.07/56.19	c |     64364 |  112624   913442  2532560 |        1    16721     61 | 18.338 % |
56.07/56.19	c |     64464 |  112624   913442  2532560 |        1    16821     62 | 18.338 % |
56.07/56.19	c |     64564 |  112624   913442  2532560 |        1    16921     62 | 18.338 % |
56.07/56.19	c |     64870 |  112624   913442  2532560 |        1    17227     63 | 18.338 % |
56.07/56.19	c |     64970 |  112624   912814  2530550 |        1    17314     64 | 18.338 % |
68.77/68.84	c |     65070 |  112624   912814  2530550 |        1    17414     65 | 18.338 % |
68.77/68.84	c |     65170 |  112624   912814  2530550 |        1    17514     66 | 18.338 % |
68.77/68.84	c |     65634 |  112624   912814  2530550 |        1    17978     66 | 18.338 % |
68.77/68.84	c |     65990 |  112624   912814  2530550 |        1    18334     70 | 18.338 % |
68.77/68.84	c |     66419 |  112610   912769  2530385 |        1    18762     74 | 18.348 % |
68.77/68.84	c |     66519 |  112598   912769  2530385 |        1    18861     75 | 18.357 % |
68.77/68.84	c |     66811 |  112598   912769  2530385 |        1    19153     79 | 18.357 % |
68.77/68.84	c |     66913 |  112598   912769  2530385 |        1    19255     79 | 18.357 % |
68.77/68.84	c |     67054 |  112598   912769  2530385 |        1    19396     80 | 18.357 % |
68.77/68.84	c |     67154 |  112598   912769  2530385 |        1    19496     81 | 18.357 % |
68.77/68.84	c |     67499 |  112598   912769  2530385 |        1    19841     82 | 18.357 % |
68.77/68.84	c |     67600 |  112568   912724  2530218 |        1    19939     83 | 18.379 % |
68.77/68.84	c |     67939 |  112562   912724  2530218 |        1    20277     85 | 18.383 % |
68.77/68.84	c |     68133 |  112562   912724  2530218 |        1    20471     85 | 18.383 % |
68.77/68.84	c |     68233 |  112562   912724  2530218 |        1    20571     86 | 18.383 % |
68.77/68.84	c |     68812 |  112561   912724  2530218 |        1    21149     89 | 18.384 % |
68.77/68.84	c |     70133 |  112546   912643  2529934 |        1    22462     91 | 18.395 % |
68.77/68.84	c |     70233 |  112546   912643  2529934 |        1    22562     91 | 18.395 % |
68.77/68.84	c |     70334 |  112546   912643  2529934 |        1    22663     91 | 18.395 % |
68.77/68.84	c |     70435 |  112545   912643  2529934 |        1    22763     91 | 18.395 % |
68.77/68.84	c |     70989 |  112545   912643  2529934 |        1    23317     98 | 18.395 % |
68.77/68.84	c |     71089 |  112545   912602  2529779 |        1    23413     98 | 18.395 % |
68.77/68.84	c |     71193 |  112545   912602  2529779 |        1    23517     98 | 18.395 % |
68.77/68.84	c |     72717 |  112536   912602  2529779 |        1    25040    100 | 18.402 % |
68.77/68.84	c |     73232 |  112518   912486  2529406 |        1    25532    102 | 18.415 % |
68.77/68.84	c |     73333 |  112508   912486  2529406 |        1    25632    102 | 18.422 % |
68.77/68.84	c |     73896 |  112507   912486  2529406 |        1    26194    105 | 18.423 % |
68.77/68.84	c |     74002 |  112506   912486  2529406 |        1    26299    105 | 18.424 % |
68.77/68.84	c |     74318 |  112506   912486  2529406 |        1    26615    106 | 18.424 % |
68.77/68.84	c |     74418 |  112506   912486  2529406 |        1    26715    107 | 18.424 % |
68.77/68.84	c |     74518 |  112496   912486  2529406 |        1    26814    107 | 18.431 % |
68.77/68.84	c |     74618 |  112496   912486  2529406 |        1    26914    109 | 18.431 % |
68.77/68.84	c |     74718 |  112496   912352  2528944 |        1    27014    109 | 18.431 % |
68.77/68.84	c |     74864 |  112496   912352  2528944 |        1    27160    109 | 18.431 % |
68.77/68.84	c |     74967 |  112496   912352  2528944 |        1    27263    110 | 18.431 % |
68.77/68.84	c |     75102 |  112496   912352  2528944 |        1    27398    110 | 18.431 % |
68.77/68.84	c |     75359 |  112496   912352  2528944 |        1    27655    111 | 18.431 % |
68.77/68.84	c |     75459 |  112496   912352  2528944 |        1    27755    112 | 18.431 % |
68.77/68.84	c |     75638 |  112491   912352  2528944 |        1    27933    112 | 18.435 % |
68.77/68.84	c |     75738 |  112491   912352  2528944 |        1    28033    112 | 18.435 % |
68.77/68.84	c |     75898 |  112491   912352  2528944 |        1    28193    113 | 18.435 % |
68.77/68.84	c |     76372 |  112491   912352  2528944 |        1    28667    114 | 18.435 % |
68.77/68.84	c |     76472 |  112482   912347  2528929 |        1    28766    114 | 18.441 % |
68.77/68.84	c |     76637 |  112481   912347  2528929 |        1    28930    113 | 18.442 % |
68.77/68.84	c |     76817 |  112481   912347  2528929 |        1    29110    114 | 18.442 % |
68.77/68.84	c |     76919 |  112481   912347  2528929 |        1    29212    115 | 18.442 % |
68.77/68.84	c |     77022 |  112481   912347  2528929 |        1    29315    115 | 18.442 % |
68.77/68.84	c |     77158 |  112481   912347  2528929 |        1    29451    116 | 18.442 % |
68.77/68.84	c |     77258 |  112481   912347  2528929 |        1    29551    116 | 18.442 % |
68.77/68.84	c |     77429 |  112410   912347  2528929 |        1    29721    116 | 18.493 % |
81.88/81.95	c |     77529 |  112410   912347  2528929 |        1    29821    117 | 18.493 % |
81.88/81.95	c |     77750 |  112409   912347  2528929 |        1    30041    117 | 18.494 % |
81.88/81.95	c |     77852 |  112409   912347  2528929 |        1    30143    117 | 18.494 % |
81.88/81.95	c |     77953 |  112409   912347  2528929 |        1    30244    117 | 18.494 % |
81.88/81.95	c |     78488 |  112396   912100  2528166 |        1    30777    119 | 18.503 % |
81.88/81.95	c |     78672 |  112396   912100  2528166 |        1    30961    120 | 18.503 % |
81.88/81.95	c |     78772 |  112298   912100  2528166 |        1    31060    120 | 18.574 % |
81.88/81.95	c |     78872 |  112298   912100  2528166 |        1    31160    121 | 18.574 % |
81.88/81.95	c |     78973 |  112288   912100  2528166 |        1    31260    121 | 18.582 % |
81.88/81.95	c |     79130 |  112287   912100  2528166 |        1    31416    122 | 18.582 % |
81.88/81.95	c |     79230 |  112287   912100  2528166 |        1    31516    122 | 18.582 % |
81.88/81.95	c |     79388 |  112287   912100  2528166 |        1    31674    123 | 18.582 % |
81.88/81.95	c |     80369 |  111636   912100  2528166 |        1    32652    125 | 19.054 % |
81.88/81.95	c |     80472 |  111636   911479  2526241 |        1    32745    125 | 19.054 % |
81.88/81.95	c |     80608 |  111636   911479  2526241 |        1    32881    126 | 19.054 % |
81.88/81.95	c |     80710 |  111636   911479  2526241 |        1    32983    127 | 19.054 % |
81.88/81.95	c |     80853 |  111636   911479  2526241 |        1    33126    127 | 19.054 % |
81.88/81.95	c |     81304 |  111626   911479  2526241 |        1    33576    127 | 19.062 % |
81.88/81.95	c |     81404 |  111626   911479  2526241 |        1    33676    127 | 19.062 % |
81.88/81.95	c |     81523 |  111626   911479  2526241 |        1    33795    128 | 19.062 % |
81.88/81.95	c |     82225 |  111626   911479  2526241 |        1    34497    133 | 19.062 % |
81.88/81.95	c |     82325 |  111606   911441  2526110 |        1    34593    133 | 19.076 % |
81.88/81.95	c |     82426 |  111606   911441  2526110 |        1    34694    134 | 19.076 % |
81.88/81.95	c |     82562 |  111606   911441  2526110 |        1    34830    134 | 19.076 % |
81.88/81.95	c |     82662 |  111606   911441  2526110 |        1    18908     54 | 19.076 % |
81.88/81.95	c |     83067 |  111585   911441  2526110 |        1    19311     57 | 19.091 % |
81.88/81.95	c |     83211 |  111585   911441  2526110 |        1    19455     57 | 19.091 % |
81.88/81.95	c |     83659 |  111585   911441  2526110 |        1    19903     59 | 19.091 % |
81.88/81.95	c |     83947 |  111576   911441  2526110 |        1    20189     62 | 19.098 % |
81.88/81.95	c |     84363 |  111244   909315  2518706 |        1    20566     64 | 19.339 % |
81.88/81.95	c |     84530 |  111244   909315  2518706 |        1    20733     65 | 19.339 % |
81.88/81.95	c |     84879 |  111218   909315  2518706 |        1    21080     66 | 19.358 % |
81.88/81.95	c |     84979 |  111218   909315  2518706 |        1    21180     67 | 19.358 % |
81.88/81.95	c |     85083 |  111218   909315  2518706 |        1    21284     68 | 19.358 % |
81.88/81.95	c |     85193 |  111218   909315  2518706 |        1    21394     68 | 19.358 % |
81.88/81.95	c |     85465 |  111213   909199  2518315 |        1    21652     69 | 19.361 % |
81.88/81.95	c |     85776 |  111213   909199  2518315 |        1    21963     72 | 19.361 % |
81.88/81.95	c |     85877 |  111213   909199  2518315 |        1    22064     72 | 19.361 % |
81.88/81.95	c |     86333 |  111213   909199  2518315 |        1    22520     76 | 19.361 % |
81.88/81.95	c |     87456 |  111212   909199  2518315 |        1    23642     77 | 19.362 % |
81.88/81.95	c |     87556 |  111212   909199  2518315 |        1    23742     78 | 19.362 % |
81.88/81.95	c |     87656 |  111212   909199  2518315 |        1    23842     79 | 19.362 % |
81.88/81.95	c |     88008 |  111212   909199  2518315 |        1    24194     80 | 19.362 % |
81.88/81.95	c |     88133 |  111212   909199  2518315 |        1    24319     81 | 19.362 % |
81.88/81.95	c |     88233 |  111212   909199  2518315 |        1    24419     81 | 19.362 % |
81.88/81.95	c |     88755 |  111212   909199  2518315 |        1    24941     84 | 19.362 % |
81.88/81.95	c |     88908 |  111212   909199  2518315 |        1    25094     85 | 19.362 % |
81.88/81.95	c |     89012 |  111212   909199  2518315 |        1    25198     86 | 19.362 % |
81.88/81.95	c |     89131 |  111212   909199  2518315 |        1    25317     86 | 19.362 % |
94.98/95.08	c |     89339 |  111212   909199  2518315 |        1    25525     88 | 19.362 % |
94.98/95.08	c |     89547 |  111201   909160  2518168 |        1    25732     89 | 19.370 % |
94.98/95.08	c |     89650 |  111201   909160  2518168 |        1    25835     89 | 19.370 % |
94.98/95.08	c |     89768 |  111201   909160  2518168 |        1    25953     90 | 19.370 % |
94.98/95.08	c |     89963 |  111201   909160  2518168 |        1    26148     90 | 19.370 % |
94.98/95.08	c |     90205 |  111201   909160  2518168 |        1    26390     91 | 19.370 % |
94.98/95.08	c |     90309 |  111201   909160  2518168 |        1    26494     91 | 19.370 % |
94.98/95.08	c |     90473 |  111201   909160  2518168 |        1    26658     92 | 19.370 % |
94.98/95.08	c |     90573 |  111200   909160  2518168 |        1    26757     93 | 19.371 % |
94.98/95.08	c |     90676 |  111200   909160  2518168 |        1    26860     93 | 19.371 % |
94.98/95.08	c |     90777 |  111200   909160  2518168 |        1    26961     93 | 19.371 % |
94.98/95.08	c |     90916 |  111188   909160  2518168 |        1    27099     95 | 19.379 % |
94.98/95.08	c |     91239 |  110880   909094  2517938 |        1    27421     96 | 19.603 % |
94.98/95.08	c |     91628 |  110792   909094  2517938 |        1    27808     97 | 19.666 % |
94.98/95.08	c |     91728 |  110781   909094  2517938 |        1    27906     97 | 19.674 % |
94.98/95.08	c |     92065 |  110781   909094  2517938 |        1    28243     98 | 19.674 % |
94.98/95.08	c |     92177 |  110781   909094  2517938 |        1    28355     99 | 19.674 % |
94.98/95.08	c |     92277 |  110781   909094  2517938 |        1    28455     99 | 19.674 % |
94.98/95.08	c |     92440 |  110767   908174  2514668 |        1    28610     99 | 19.685 % |
94.98/95.08	c |     92568 |  110767   908174  2514668 |        1    28738    100 | 19.685 % |
94.98/95.08	c |     92670 |  110767   908174  2514668 |        1    28840    101 | 19.685 % |
94.98/95.08	c |     92816 |  110767   908174  2514668 |        1    28986    101 | 19.685 % |
94.98/95.08	c |     93325 |  110760   908174  2514668 |        1    29494    102 | 19.690 % |
94.98/95.08	c |     93466 |  110760   908174  2514668 |        1    29635    103 | 19.690 % |
94.98/95.08	c |     94248 |  110760   908091  2514394 |        1    30407    107 | 19.690 % |
94.98/95.08	c |     94371 |  110758   908091  2514394 |        1    30529    108 | 19.691 % |
94.98/95.08	c |     94472 |  110758   908091  2514394 |        1    30630    109 | 19.691 % |
94.98/95.08	c |     94579 |  110758   908089  2514376 |        1    30737    109 | 19.691 % |
94.98/95.08	c |     95091 |  110758   908089  2514376 |        1    31249    110 | 19.691 % |
94.98/95.08	c |     95229 |  110758   908089  2514376 |        1    31387    111 | 19.691 % |
94.98/95.08	c |     95827 |  110738   908046  2514204 |        1    31978    114 | 19.706 % |
94.98/95.08	c |     96026 |  110737   908046  2514204 |        1    32176    114 | 19.706 % |
94.98/95.08	c |     96129 |  110737   908046  2514204 |        1    32279    115 | 19.706 % |
94.98/95.08	c |     96229 |  110737   908046  2514204 |        1    32379    115 | 19.706 % |
94.98/95.08	c |     96601 |  110737   908046  2514204 |        1    32751    114 | 19.706 % |
94.98/95.08	c |     96752 |  110737   908046  2514204 |        1    32902    116 | 19.706 % |
94.98/95.08	c |     96852 |  110737   908046  2514204 |        1    33002    116 | 19.706 % |
94.98/95.08	c |     96952 |  110737   908046  2514204 |        1    33102    117 | 19.706 % |
94.98/95.08	c |     97057 |  110737   908046  2514204 |        1    33207    117 | 19.706 % |
94.98/95.08	c |     97161 |  110737   908046  2514204 |        1    33311    118 | 19.706 % |
94.98/95.08	c |     97263 |  110737   908046  2514204 |        1    33413    119 | 19.706 % |
94.98/95.08	c |     97363 |  110733   908046  2514204 |        1    33512    119 | 19.709 % |
94.98/95.08	c |     98160 |  110651   907765  2513205 |        1    34302    120 | 19.769 % |
94.98/95.08	c |     98261 |  110641   907765  2513205 |        1    34402    119 | 19.776 % |
94.98/95.08	c |     98361 |  110641   907765  2513205 |        1    34502    119 | 19.776 % |
94.98/95.08	c |     98466 |  110640   907765  2513205 |        1    34606    119 | 19.777 % |
94.98/95.08	c |     98566 |  110638   907765  2513205 |        1    34704    119 | 19.778 % |
94.98/95.08	c |     98757 |  110638   907765  2513205 |        1    34895    121 | 19.778 % |
94.98/95.08	c |     98858 |  110638   907765  2513205 |        1    34996    122 | 19.778 % |
94.98/95.08	c |     98959 |  110638   907765  2513205 |        1    35097    123 | 19.778 % |
111.38/111.44	c |     99059 |  110638   907765  2513205 |        1    35197    123 | 19.778 % |
111.38/111.44	c |     99160 |  110542   907765  2513205 |        1    35297    124 | 19.848 % |
111.38/111.44	c |     99291 |  110533   907765  2513205 |        1    35427    124 | 19.854 % |
111.38/111.44	c |     99421 |  110533   907765  2513205 |        1    35557    124 | 19.854 % |
111.38/111.44	c |     99549 |  110533   907765  2513205 |        1    35685    125 | 19.854 % |
111.38/111.44	c |     99765 |  110530   907690  2512939 |        1    35892    125 | 19.856 % |
111.38/111.44	c |     99865 |  110530   907690  2512939 |        1    35992    125 | 19.856 % |
111.38/111.44	c |    100372 |  110517   907690  2512939 |        1    36498    128 | 19.866 % |
111.38/111.44	c |    100572 |  110517   907690  2512939 |        1    36698    129 | 19.866 % |
111.38/111.44	c |    100973 |  110517   907690  2512939 |        1    37099    130 | 19.866 % |
111.38/111.44	c |    101452 |  110516   907638  2512742 |        1    37573    130 | 19.867 % |
111.38/111.44	c |    101552 |  110516   907638  2512742 |        1    37673    131 | 19.867 % |
111.38/111.44	c |    101652 |  110516   907638  2512742 |        1    37773    131 | 19.867 % |
111.38/111.44	c |    101752 |  110516   907638  2512742 |        1    37873    131 | 19.867 % |
111.38/111.44	c |    101852 |  110516   907638  2512742 |        1    37973    131 | 19.867 % |
111.38/111.44	c |    101952 |  110516   907638  2512742 |        1    38073    132 | 19.867 % |
111.38/111.44	c |    102052 |  110516   907638  2512742 |        1    38173    132 | 19.867 % |
111.38/111.44	c |    103194 |  110511   907638  2512742 |        1    39314    135 | 19.870 % |
111.38/111.44	c |    103297 |  110511   907638  2512742 |        1    39417    135 | 19.870 % |
111.38/111.44	c |    103397 |  110511   907638  2512742 |        1    39517    136 | 19.870 % |
111.38/111.44	c |    103499 |  110490   907637  2512739 |        1    39616    136 | 19.885 % |
111.38/111.44	c |    103601 |  110490   907637  2512739 |        1    39718    137 | 19.885 % |
111.38/111.44	c |    103786 |  110490   907637  2512739 |        1    39903    137 | 19.885 % |
111.38/111.44	c |    103887 |  110490   907637  2512739 |        1    40004    137 | 19.885 % |
111.38/111.44	c |    104028 |  110490   907637  2512739 |        1    40145    137 | 19.885 % |
111.38/111.44	c |    104186 |  110490   907637  2512739 |        1    40303    138 | 19.885 % |
111.38/111.44	c |    104286 |  110485   907637  2512739 |        1    40402    138 | 19.889 % |
111.38/111.44	c |    104386 |  110485   907637  2512739 |        1    40502    138 | 19.889 % |
111.38/111.44	c |    104486 |  110471   907637  2512739 |        1    40601    138 | 19.899 % |
111.38/111.44	c |    104630 |  110471   907637  2512739 |        1    40745    139 | 19.899 % |
111.38/111.44	c |    104732 |  110471   907637  2512739 |        1    40847    139 | 19.899 % |
111.38/111.44	c |    104832 |  110471   907637  2512739 |        1    22216     52 | 19.899 % |
111.38/111.44	c |    105606 |  110456   907637  2512739 |        1    22988     62 | 19.910 % |
111.38/111.44	c |    105706 |  110456   907485  2512189 |        1    23072     63 | 19.910 % |
111.38/111.44	c |    106006 |  109964   907485  2512189 |        1    23369     66 | 20.267 % |
111.38/111.44	c |    106106 |  109964   907485  2512189 |        1    23469     67 | 20.267 % |
111.38/111.44	c |    106299 |  109964   907485  2512189 |        1    23662     68 | 20.267 % |
111.38/111.44	c |    107555 |  109957   907485  2512189 |        1    24917     84 | 20.272 % |
111.38/111.44	c |    107657 |  109957   905833  2506889 |        1    24919     85 | 20.272 % |
111.38/111.44	c |    107757 |  109945   905833  2506889 |        1    25018     85 | 20.281 % |
111.38/111.44	c |    108206 |  109914   905833  2506889 |        1    25466     86 | 20.303 % |
111.38/111.44	c |    108459 |  109914   905833  2506889 |        1    25719     87 | 20.303 % |
111.38/111.44	c |    108559 |  109914   905833  2506889 |        1    25819     88 | 20.303 % |
111.38/111.44	c |    109019 |  109906   905685  2506405 |        1    26269     92 | 20.309 % |
111.38/111.44	c |    109119 |  109906   905685  2506405 |        1    26369     92 | 20.309 % |
111.38/111.44	c |    109220 |  109906   905685  2506405 |        1    26470     93 | 20.309 % |
111.38/111.44	c |    109324 |  109906   905685  2506405 |        1    26574     93 | 20.309 % |
111.38/111.44	c |    109431 |  109906   905685  2506405 |        1    26681     93 | 20.309 % |
111.38/111.44	c |    109874 |  109801   905685  2506405 |        1    27123    100 | 20.385 % |
111.38/111.44	c |    109974 |  109801   905685  2506405 |        1    27223    100 | 20.385 % |
123.17/123.26	c |    110128 |  109788   905685  2506405 |        1    27376    101 | 20.394 % |
123.17/123.26	c |    110228 |  109788   905354  2505382 |        1    27460    102 | 20.394 % |
123.17/123.26	c |    110328 |  109788   905354  2505382 |        1    27560    102 | 20.394 % |
123.17/123.26	c |    110429 |  109788   905354  2505382 |        1    27661    103 | 20.394 % |
123.17/123.26	c |    110646 |  109788   905354  2505382 |        1    27878    105 | 20.394 % |
123.17/123.26	c |    110746 |  109788   905354  2505382 |        1    27978    106 | 20.394 % |
123.17/123.26	c |    110847 |  109788   905354  2505382 |        1    28079    106 | 20.394 % |
123.17/123.26	c |    110964 |  109788   905354  2505382 |        1    28196    107 | 20.394 % |
123.17/123.26	c |    111083 |  109788   905354  2505382 |        1    28315    107 | 20.394 % |
123.17/123.26	c |    111183 |  109788   905354  2505382 |        1    28415    108 | 20.394 % |
123.17/123.26	c |    111284 |  109788   905354  2505382 |        1    28516    108 | 20.394 % |
123.17/123.26	c |    111834 |  109742   905129  2504683 |        1    29059    110 | 20.428 % |
123.17/123.26	c |    111936 |  109742   905129  2504683 |        1    29161    111 | 20.428 % |
123.17/123.26	c |    112036 |  109742   905129  2504683 |        1    29261    110 | 20.428 % |
123.17/123.26	c |    112136 |  109742   905129  2504683 |        1    29361    111 | 20.428 % |
123.17/123.26	c |    112236 |  109737   905129  2504683 |        1    29460    111 | 20.431 % |
123.17/123.26	c |    112424 |  109737   905129  2504683 |        1    29648    110 | 20.431 % |
123.17/123.26	c |    112524 |  109737   905129  2504683 |        1    29748    110 | 20.431 % |
123.17/123.26	c |    112628 |  109726   905129  2504683 |        1    29851    110 | 20.439 % |
123.17/123.26	c |    112729 |  109726   905129  2504683 |        1    29952    111 | 20.439 % |
123.17/123.26	c |    112829 |  109714   905129  2504683 |        1    30051    110 | 20.448 % |
123.17/123.26	c |    113035 |  109714   905129  2504683 |        1    30257    110 | 20.448 % |
123.17/123.26	c |    113962 |  109133   897795  2482561 |        1    28815    108 | 20.869 % |
123.17/123.26	c |    114062 |  109133   897795  2482561 |        1    28915    109 | 20.869 % |
123.17/123.26	c |    114276 |  109133   897795  2482561 |        1    29129    109 | 20.869 % |
123.17/123.26	c |    114376 |  109133   897795  2482561 |        1    29229    110 | 20.869 % |
123.17/123.26	c |    114479 |  109133   897795  2482561 |        1    29332    110 | 20.869 % |
123.17/123.26	c |    114579 |  109133   897795  2482561 |        1    29432    111 | 20.869 % |
123.17/123.26	c |    115198 |  109133   897795  2482561 |        1    30051    113 | 20.869 % |
123.17/123.26	c |    115301 |  109133   897795  2482561 |        1    30153    114 | 20.869 % |
123.17/123.26	c |    115403 |  109133   897795  2482561 |        1    30255    116 | 20.869 % |
123.17/123.26	c |    115504 |  109133   897795  2482561 |        1    30356    116 | 20.869 % |
123.17/123.26	c |    115604 |  109133   897795  2482561 |        1    30456    117 | 20.869 % |
123.17/123.26	c |    115959 |  109131   897795  2482561 |        1    30810    118 | 20.871 % |
123.17/123.26	c |    116060 |  109131   897795  2482561 |        1    30911    118 | 20.871 % |
123.17/123.26	c |    116445 |  109131   897795  2482561 |        1    31296    119 | 20.871 % |
123.17/123.26	c |    116582 |  109131   897795  2482561 |        1    31433    119 | 20.871 % |
123.17/123.26	c |    116682 |  109131   897793  2482544 |        1    31533    119 | 20.871 % |
123.17/123.26	c |    116833 |  109042   897793  2482544 |        1    31682    120 | 20.935 % |
123.17/123.26	c |    116933 |  109042   897793  2482544 |        1    31782    121 | 20.935 % |
123.17/123.26	c |    117033 |  109035   897793  2482544 |        1    31881    121 | 20.940 % |
123.17/123.26	c |    117133 |  109035   897793  2482544 |        1    31981    122 | 20.940 % |
123.17/123.26	c |    117233 |  108921   897793  2482544 |        1    32080    122 | 21.023 % |
123.17/123.26	c |    117333 |  108921   897793  2482544 |        1    32180    122 | 21.023 % |
123.17/123.26	c |    117576 |  108921   897793  2482544 |        1    32423    123 | 21.023 % |
123.17/123.26	c |    117930 |  108921   897793  2482544 |        1    32777    124 | 21.023 % |
123.17/123.26	c |    118541 |  108904   897594  2481883 |        1    33316    125 | 21.035 % |
123.17/123.26	c |    118642 |  108894   897594  2481883 |        1    33416    125 | 21.043 % |
123.17/123.26	c |    118742 |  108704   897594  2481883 |        1    33514    125 | 21.180 % |
123.17/123.26	c |    118844 |  108704   897594  2481883 |        1    33616    126 | 21.180 % |
157.97/158.09	c |    119301 |  108704   897594  2481883 |        1    34073    128 | 21.180 % |
157.97/158.09	c |    119402 |  108704   897594  2481883 |        1    34174    129 | 21.180 % |
157.97/158.09	c |    119550 |  108704   897594  2481883 |        1    34322    130 | 21.180 % |
157.97/158.09	c |    120361 |  108704   897594  2481883 |        1    35133    135 | 21.180 % |
157.97/158.09	c |    120461 |  108684   896867  2479645 |        1    35194    135 | 21.195 % |
157.97/158.09	c |    120588 |  108671   896867  2479645 |        1    35319    135 | 21.204 % |
157.97/158.09	c |    120725 |  108671   896867  2479645 |        1    35456    135 | 21.204 % |
157.97/158.09	c |    120843 |  108671   896867  2479645 |        1    35574    136 | 21.204 % |
157.97/158.09	c |    121056 |  108671   896867  2479645 |        1    35787    136 | 21.204 % |
157.97/158.09	c |    121157 |  108671   896867  2479645 |        1    35888    137 | 21.204 % |
157.97/158.09	c |    121910 |  108665   896867  2479645 |        1    36640    143 | 21.209 % |
157.97/158.09	c |    122444 |  108664   896803  2479437 |        1    37156    146 | 21.209 % |
157.97/158.09	c |    122544 |  108646   896803  2479437 |        1    37254    146 | 21.222 % |
157.97/158.09	c |    123094 |  108634   896803  2479437 |        1    37803    148 | 21.231 % |
157.97/158.09	c |    123337 |  108634   896803  2479437 |        1    38046    148 | 21.231 % |
157.97/158.09	c |    125690 |  108619   896803  2479437 |        1    40397    160 | 21.242 % |
157.97/158.09	c |    125797 |  108619   896714  2479154 |        1    40476    161 | 21.242 % |
157.97/158.09	c |    125909 |  108619   896714  2479154 |        1    40588    161 | 21.242 % |
157.97/158.09	c |    129248 |  108619   896714  2479154 |        1    43927    181 | 21.242 % |
157.97/158.09	c |    129348 |  108619   896714  2479154 |        1    44027    182 | 21.242 % |
157.97/158.09	c |    129450 |  108619   896714  2479154 |        1    44129    183 | 21.242 % |
157.97/158.09	c |    129551 |  108619   896714  2479154 |        1    44230    183 | 21.242 % |
157.97/158.09	c |    129651 |  108619   896714  2479154 |        1    24508     69 | 21.242 % |
157.97/158.09	c |    130264 |  108615   896714  2479154 |        1    25120     71 | 21.245 % |
157.97/158.09	c |    130504 |  108615   896714  2479154 |        1    25360     71 | 21.245 % |
157.97/158.09	c |    130732 |  108615   896714  2479154 |        1    25588     72 | 21.245 % |
157.97/158.09	c |    130832 |  108615   896714  2479154 |        1    25688     72 | 21.245 % |
157.97/158.09	c |    130932 |  108615   896714  2479154 |        1    25788     72 | 21.245 % |
157.97/158.09	c |    131200 |  108615   896714  2479154 |        1    26056     74 | 21.245 % |
157.97/158.09	c |    131300 |  108615   896714  2479154 |        1    26156     74 | 21.245 % |
157.97/158.09	c |    131954 |  108606   896680  2479030 |        1    26803     78 | 21.251 % |
157.97/158.09	c |    132329 |  108595   896680  2479030 |        1    27176     79 | 21.259 % |
157.97/158.09	c |    132431 |  108595   896680  2479030 |        1    27278     79 | 21.259 % |
157.97/158.09	c |    132561 |  108595   896617  2478811 |        1    27406     80 | 21.259 % |
157.97/158.09	c |    132661 |  108595   896617  2478811 |        1    27506     81 | 21.259 % |
157.97/158.09	c |    133030 |  108594   896617  2478811 |        1    27874     83 | 21.260 % |
157.97/158.09	c |    133130 |  108594   896617  2478811 |        1    27974     83 | 21.260 % |
157.97/158.09	c |    133956 |  108581   896565  2478623 |        1    28799     92 | 21.270 % |
157.97/158.09	c |    134059 |  108581   896565  2478623 |        1    28902     92 | 21.270 % |
157.97/158.09	c |    134335 |  108573   896565  2478623 |        1    29177     93 | 21.275 % |
157.97/158.09	c |    134435 |  108573   896565  2478623 |        1    29277     94 | 21.275 % |
157.97/158.09	c |    134726 |  108573   896565  2478623 |        1    29568     95 | 21.275 % |
157.97/158.09	c |    135014 |  108573   896540  2478524 |        1    29828     97 | 21.275 % |
157.97/158.09	c |    135115 |  108573   896540  2478524 |        1    29929     97 | 21.275 % |
157.97/158.09	c |    136693 |  108573   896540  2478524 |        1    31507    105 | 21.275 % |
157.97/158.09	c |    137029 |  108573   896540  2478524 |        1    31843    107 | 21.275 % |
157.97/158.09	c |    137129 |  108573   896540  2478524 |        1    31943    108 | 21.275 % |
157.97/158.09	c |    137230 |  108573   896540  2478524 |        1    32044    108 | 21.275 % |
157.97/158.09	c |    137501 |  108562   896489  2478368 |        1    32302    110 | 21.283 % |
157.97/158.09	c |    137601 |  108562   896489  2478368 |        1    32402    110 | 21.283 % |
186.58/186.63	c |    137706 |  108562   896489  2478368 |        1    32507    110 | 21.283 % |
186.58/186.63	c |    137965 |  108542   896489  2478368 |        1    32765    111 | 21.298 % |
186.58/186.63	c |    138065 |  108542   896489  2478368 |        1    32865    112 | 21.298 % |
186.58/186.63	c |    138231 |  108542   896489  2478368 |        1    33031    113 | 21.298 % |
186.58/186.63	c |    138336 |  108542   896489  2478368 |        1    33136    113 | 21.298 % |
186.58/186.63	c |    138719 |  108542   896489  2478368 |        1    33519    114 | 21.298 % |
186.58/186.63	c |    138819 |  108536   896438  2478185 |        1    33594    115 | 21.302 % |
186.58/186.63	c |    139943 |  108535   896438  2478185 |        1    34717    118 | 21.303 % |
186.58/186.63	c |    140122 |  108535   896404  2478083 |        1    34892    119 | 21.303 % |
186.58/186.63	c |    140222 |  108446   896404  2478083 |        1    34989    119 | 21.368 % |
186.58/186.63	c |    140968 |  108446   896404  2478083 |        1    35735    123 | 21.368 % |
186.58/186.63	c |    141120 |  108446   896404  2478083 |        1    35887    123 | 21.368 % |
186.58/186.63	c |    141305 |  108446   896404  2478083 |        1    36072    124 | 21.368 % |
186.58/186.63	c |    143405 |  108446   896404  2478083 |        1    38172    139 | 21.368 % |
186.58/186.63	c |    143507 |  108446   896063  2476898 |        1    38014    140 | 21.368 % |
186.58/186.63	c |    143609 |  108446   896063  2476898 |        1    38116    140 | 21.368 % |
186.58/186.63	c |    143709 |  108446   896063  2476898 |        1    38216    141 | 21.368 % |
186.58/186.63	c |    144375 |  108435   896063  2476898 |        1    38881    141 | 21.375 % |
186.58/186.63	c |    144476 |  108435   896063  2476898 |        1    38982    141 | 21.375 % |
186.58/186.63	c |    144694 |  108403   896063  2476898 |        1    39199    142 | 21.399 % |
186.58/186.63	c |    144795 |  108403   896063  2476898 |        1    39300    142 | 21.399 % |
186.58/186.63	c |    144895 |  108403   896063  2476898 |        1    39400    143 | 21.399 % |
186.58/186.63	c |    144995 |  108403   896063  2476898 |        1    39500    143 | 21.399 % |
186.58/186.63	c |    145157 |  108403   896063  2476898 |        1    39662    144 | 21.399 % |
186.58/186.63	c |    145257 |  108389   895961  2476554 |        1    39730    144 | 21.409 % |
186.58/186.63	c |    145536 |  108389   895961  2476554 |        1    40009    145 | 21.409 % |
186.58/186.63	c |    145982 |  108389   895961  2476554 |        1    40455    147 | 21.409 % |
186.58/186.63	c |    146082 |  108389   895961  2476554 |        1    40555    147 | 21.409 % |
186.58/186.63	c |    146621 |  108281   895961  2476554 |        1    41093    148 | 21.487 % |
186.58/186.63	c |    146859 |  108281   895961  2476554 |        1    41331    150 | 21.487 % |
186.58/186.63	c |    147101 |  108281   895867  2476242 |        1    41557    150 | 21.487 % |
186.58/186.63	c |    147466 |  108280   895867  2476242 |        1    41921    151 | 21.488 % |
186.58/186.63	c |    147567 |  108280   895867  2476242 |        1    42022    151 | 21.488 % |
186.58/186.63	c |    148923 |  108267   895867  2476242 |        1    43377    163 | 21.497 % |
186.58/186.63	c |    149026 |  108267   895824  2476083 |        1    43479    163 | 21.497 % |
186.58/186.63	c |    149129 |  108267   895824  2476083 |        1    43582    164 | 21.497 % |
186.58/186.63	c |    149324 |  108267   895824  2476083 |        1    43777    164 | 21.497 % |
186.58/186.63	c |    149427 |  108267   895824  2476083 |        1    43880    164 | 21.497 % |
186.58/186.63	c |    149528 |  108267   895824  2476083 |        1    43981    165 | 21.497 % |
186.58/186.63	c |    149628 |  108267   895824  2476083 |        1    44081    165 | 21.497 % |
186.58/186.63	c |    149728 |  108267   895824  2476083 |        1    44181    165 | 21.497 % |
186.58/186.63	c |    150174 |  108267   895824  2476083 |        1    44627    169 | 21.497 % |
186.58/186.63	c |    150340 |  108267   895824  2476083 |        1    44793    170 | 21.497 % |
186.58/186.63	c |    150440 |  108267   895824  2476083 |        1    44893    170 | 21.497 % |
186.58/186.63	c |    150972 |  108260   895824  2476083 |        1    45424    170 | 21.502 % |
186.58/186.63	c |    152024 |  108260   895824  2476083 |        1    46476    173 | 21.502 % |
186.58/186.63	c |    152124 |  108252   895781  2475946 |        1    46573    173 | 21.508 % |
186.58/186.63	c |    152224 |  108240   895781  2475946 |        1    46672    173 | 21.517 % |
186.58/186.63	c |    152351 |  108240   895781  2475946 |        1    46799    173 | 21.517 % |
186.58/186.63	c |    152925 |  108240   895781  2475946 |        1    47373    175 | 21.517 % |
205.68/205.72	c |    153096 |  108240   895781  2475946 |        1    47544    175 | 21.517 % |
205.68/205.72	c |    153387 |  108240   895781  2475946 |        1    47835    175 | 21.517 % |
205.68/205.72	c |    153490 |  108240   895781  2475946 |        1    47938    176 | 21.517 % |
205.68/205.72	c |    153593 |  108240   895781  2475946 |        1    48041    176 | 21.517 % |
205.68/205.72	c |    153693 |  108240   895781  2475946 |        1    48141    176 | 21.517 % |
205.68/205.72	c |    153856 |  108240   895781  2475946 |        1    48304    176 | 21.517 % |
205.68/205.72	c |    153972 |  108240   895781  2475946 |        1    48420    177 | 21.517 % |
205.68/205.72	c |    154073 |  108240   895781  2475946 |        1    48521    177 | 21.517 % |
205.68/205.72	c |    154267 |  108240   895781  2475946 |        1    48715    177 | 21.517 % |
205.68/205.72	c |    154479 |  108229   895781  2475946 |        1    48926    178 | 21.525 % |
205.68/205.72	c |    154615 |  108228   895781  2475946 |        1    49061    178 | 21.526 % |
205.68/205.72	c |    155350 |  108228   895781  2475946 |        1    49796    180 | 21.526 % |
205.68/205.72	c |    156404 |  108091   895633  2475462 |        1    50840    183 | 21.625 % |
205.68/205.72	c |    156578 |  108091   895633  2475462 |        1    51014    183 | 21.625 % |
205.68/205.72	c |    156678 |  108091   895633  2475462 |        1    51114    183 | 21.625 % |
205.68/205.72	c |    156778 |  108091   895633  2475462 |        1    51214    183 | 21.625 % |
205.68/205.72	c |    156878 |  108091   895633  2475462 |        1    51314    183 | 21.625 % |
205.68/205.72	c |    157382 |  108091   895633  2475462 |        1    28121     69 | 21.625 % |
205.68/205.72	c |    157482 |  108091   895633  2475462 |        1    28221     70 | 21.625 % |
205.68/205.72	c |    157582 |  108091   895633  2475462 |        1    28321     71 | 21.625 % |
205.68/205.72	c |    157683 |  108091   895633  2475462 |        1    28422     71 | 21.625 % |
205.68/205.72	c |    157783 |  108091   895633  2475462 |        1    28522     72 | 21.625 % |
205.68/205.72	c |    157883 |  108091   895633  2475462 |        1    28622     72 | 21.625 % |
205.68/205.72	c |    158488 |  108079   895633  2475462 |        1    29226     77 | 21.634 % |
205.68/205.72	c |    159063 |  108079   895534  2475135 |        1    29796     79 | 21.634 % |
205.68/205.72	c |    159206 |  108079   895534  2475135 |        1    29939     80 | 21.634 % |
205.68/205.72	c |    159424 |  108079   895534  2475135 |        1    30157     80 | 21.634 % |
205.68/205.72	c |    159524 |  108079   895534  2475135 |        1    30257     80 | 21.634 % |
205.68/205.72	c |    159723 |  108079   895534  2475135 |        1    30456     82 | 21.634 % |
205.68/205.72	c |    159947 |  107863   895534  2475135 |        1    30679     83 | 21.790 % |
205.68/205.72	c |    160053 |  107863   895534  2475135 |        1    30785     83 | 21.790 % |
205.68/205.72	c |    160223 |  107863   895534  2475135 |        1    30955     85 | 21.790 % |
205.68/205.72	c |    160484 |  107853   895534  2475135 |        1    31215     86 | 21.797 % |
205.68/205.72	c |    160674 |  107853   895534  2475135 |        1    31405     86 | 21.797 % |
205.68/205.72	c |    160827 |  107853   895534  2475135 |        1    31558     88 | 21.797 % |
205.68/205.72	c |    160929 |  107853   895486  2474983 |        1    31651     88 | 21.797 % |
205.68/205.72	c |    161029 |  107853   895486  2474983 |        1    31751     89 | 21.797 % |
205.68/205.72	c |    161130 |  107853   895486  2474983 |        1    31852     90 | 21.797 % |
205.68/205.72	c |    163157 |  107846   895450  2474862 |        1    33872    101 | 21.803 % |
205.68/205.72	c |    163257 |  107845   895450  2474862 |        1    33971    102 | 21.803 % |
205.68/205.72	c |    163380 |  107845   895450  2474862 |        1    34094    102 | 21.803 % |
205.68/205.72	c |    163483 |  107845   895450  2474862 |        1    34197    103 | 21.803 % |
205.68/205.72	c |    163583 |  107845   895450  2474862 |        1    34297    103 | 21.803 % |
205.68/205.72	c |    163683 |  107845   895450  2474862 |        1    34397    103 | 21.803 % |
205.68/205.72	c |    163962 |  107845   895450  2474862 |        1    34676    105 | 21.803 % |
205.68/205.72	c |    164064 |  107845   895450  2474862 |        1    34778    106 | 21.803 % |
205.68/205.72	c |    164683 |  107845   895450  2474862 |        1    35397    107 | 21.803 % |
205.68/205.72	c |    164880 |  107845   895450  2474862 |        1    35594    108 | 21.803 % |
205.68/205.72	c |    164980 |  107845   895450  2474862 |        1    35694    108 | 21.803 % |
205.68/205.72	c |    165197 |  107845   895450  2474862 |        1    35911    109 | 21.803 % |
232.77/232.85	c |    165318 |  107845   895450  2474862 |        1    36032    110 | 21.803 % |
232.77/232.85	c |    165419 |  107845   895450  2474862 |        1    36133    111 | 21.803 % |
232.77/232.85	c |    165828 |  107825   895450  2474862 |        1    36541    111 | 21.818 % |
232.77/232.85	c |    166244 |  107824   895353  2474541 |        1    36949    114 | 21.819 % |
232.77/232.85	c |    166749 |  107818   895353  2474541 |        1    37453    117 | 21.823 % |
232.77/232.85	c |    166851 |  107680   895353  2474541 |        1    37554    118 | 21.923 % |
232.77/232.85	c |    166953 |  107680   895353  2474541 |        1    37656    118 | 21.923 % |
232.77/232.85	c |    168003 |  107680   895353  2474541 |        1    38706    132 | 21.923 % |
232.77/232.85	c |    168104 |  107680   894959  2473224 |        1    38771    132 | 21.923 % |
232.77/232.85	c |    168322 |  107680   894959  2473224 |        1    38989    133 | 21.923 % |
232.77/232.85	c |    168898 |  107680   894959  2473224 |        1    39565    136 | 21.923 % |
232.77/232.85	c |    169005 |  107680   894959  2473224 |        1    39672    135 | 21.923 % |
232.77/232.85	c |    169131 |  107680   894959  2473224 |        1    39798    135 | 21.923 % |
232.77/232.85	c |    170792 |  107680   894959  2473224 |        1    41459    149 | 21.923 % |
232.77/232.85	c |    170910 |  107680   894959  2473224 |        1    41577    150 | 21.923 % |
232.77/232.85	c |    171013 |  107680   894959  2473224 |        1    41680    150 | 21.923 % |
232.77/232.85	c |    171113 |  107680   894959  2473224 |        1    41780    150 | 21.923 % |
232.77/232.85	c |    171213 |  107680   894959  2473224 |        1    41880    150 | 21.923 % |
232.77/232.85	c |    172468 |  107679   894959  2473224 |        1    43134    155 | 21.924 % |
232.77/232.85	c |    172568 |  107679   894959  2473224 |        1    43234    155 | 21.924 % |
232.77/232.85	c |    172668 |  107679   894959  2473224 |        1    43334    155 | 21.924 % |
232.77/232.85	c |    173039 |  107666   894959  2473224 |        1    43704    156 | 21.933 % |
232.77/232.85	c |    173557 |  107666   894959  2473224 |        1    44222    158 | 21.933 % |
232.77/232.85	c |    173657 |  107666   894959  2473224 |        1    44322    158 | 21.933 % |
232.77/232.85	c |    174011 |  107666   894959  2473224 |        1    44676    159 | 21.933 % |
232.77/232.85	c |    174186 |  107666   894959  2473224 |        1    44851    160 | 21.933 % |
232.77/232.85	c |    174723 |  107666   894870  2472927 |        1    45388    162 | 21.933 % |
232.77/232.85	c |    175268 |  107666   894870  2472927 |        1    45933    163 | 21.933 % |
232.77/232.85	c |    175370 |  107666   894870  2472927 |        1    46035    163 | 21.933 % |
232.77/232.85	c |    175470 |  107666   894870  2472927 |        1    46135    163 | 21.933 % |
232.77/232.85	c |    175570 |  107666   894870  2472927 |        1    46235    164 | 21.933 % |
232.77/232.85	c |    175670 |  107666   894870  2472927 |        1    46335    164 | 21.933 % |
232.77/232.85	c |    176011 |  107666   894870  2472927 |        1    46676    165 | 21.933 % |
232.77/232.85	c |    176121 |  107666   894870  2472927 |        1    46786    166 | 21.933 % |
232.77/232.85	c |    176221 |  107666   894870  2472927 |        1    46886    166 | 21.933 % |
232.77/232.85	c |    176322 |  107666   894870  2472927 |        1    46987    166 | 21.933 % |
232.77/232.85	c |    176425 |  107666   894870  2472927 |        1    47090    166 | 21.933 % |
232.77/232.85	c |    176696 |  107630   894870  2472927 |        1    47360    166 | 21.959 % |
232.77/232.85	c |    177462 |  107615   894780  2472657 |        1    48114    165 | 21.970 % |
232.77/232.85	c |    177563 |  107615   894780  2472657 |        1    48215    165 | 21.970 % |
232.77/232.85	c |    178856 |  107615   894780  2472657 |        1    49508    172 | 21.970 % |
232.77/232.85	c |    178966 |  107615   894780  2472657 |        1    49618    173 | 21.970 % |
232.77/232.85	c |    179193 |  107615   894780  2472657 |        1    49845    173 | 21.970 % |
232.77/232.85	c |    179294 |  107615   894780  2472657 |        1    49946    173 | 21.970 % |
232.77/232.85	c |    179394 |  107606   894699  2472358 |        1    50043    173 | 21.977 % |
232.77/232.85	c |    179494 |  107606   894699  2472358 |        1    50143    175 | 21.977 % |
232.77/232.85	c |    179595 |  107606   894699  2472358 |        1    50244    175 | 21.977 % |
232.77/232.85	c |    179705 |  107606   894699  2472358 |        1    50354    175 | 21.977 % |
232.77/232.85	c |    179883 |  107606   894699  2472358 |        1    50532    175 | 21.977 % |
232.77/232.85	c |    179986 |  107604   894699  2472358 |        1    50634    175 | 21.978 % |
269.08/269.13	c |    180088 |  107604   894699  2472358 |        1    50736    175 | 21.978 % |
269.08/269.13	c |    180634 |  107604   894699  2472358 |        1    51282    176 | 21.978 % |
269.08/269.13	c |    180738 |  107604   894699  2472358 |        1    51386    176 | 21.978 % |
269.08/269.13	c |    180840 |  107604   894699  2472358 |        1    51488    176 | 21.978 % |
269.08/269.13	c |    181064 |  107604   894699  2472358 |        1    51712    177 | 21.978 % |
269.08/269.13	c |    181174 |  107604   894699  2472358 |        1    51822    178 | 21.978 % |
269.08/269.13	c |    181344 |  107604   894699  2472358 |        1    51992    178 | 21.978 % |
269.08/269.13	c |    182148 |  107604   894699  2472358 |        1    52796    181 | 21.978 % |
269.08/269.13	c |    182358 |  107604   894697  2472341 |        1    53005    181 | 21.978 % |
269.08/269.13	c |    182465 |  107604   894697  2472341 |        1    53112    181 | 21.978 % |
269.08/269.13	c |    182903 |  107601   894697  2472341 |        1    53549    181 | 21.980 % |
269.08/269.13	c |    183218 |  107593   894697  2472341 |        1    53863    182 | 21.986 % |
269.08/269.13	c |    184902 |  107270   894697  2472341 |        1    55545    189 | 22.220 % |
269.08/269.13	c |    185081 |  107270   890581  2459977 |        1    55707    189 | 22.220 % |
269.08/269.13	c |    185181 |  107270   890581  2459977 |        1    55807    189 | 22.220 % |
269.08/269.13	c |    185477 |  107270   890581  2459977 |        1    56103    190 | 22.220 % |
269.08/269.13	c |    185577 |  107270   890581  2459977 |        1    56203    190 | 22.220 % |
269.08/269.13	c |    186580 |  107201   890581  2459977 |        1    57205    194 | 22.270 % |
269.08/269.13	c |    186874 |  107201   890581  2459977 |        1    57499    194 | 22.270 % |
269.08/269.13	c |    186974 |  107201   890581  2459977 |        1    57599    194 | 22.270 % |
269.08/269.13	c |    187074 |  107153   890581  2459977 |        1    31598     70 | 22.305 % |
269.08/269.13	c |    187545 |  106917   890378  2459240 |        1    32047     72 | 22.476 % |
269.08/269.13	c |    188017 |  106855   890378  2459240 |        1    32518     79 | 22.521 % |
269.08/269.13	c |    188119 |  106855   890378  2459240 |        1    32620     79 | 22.521 % |
269.08/269.13	c |    188229 |  106855   889686  2456867 |        1    32672     80 | 22.521 % |
269.08/269.13	c |    188329 |  106855   889686  2456867 |        1    32772     81 | 22.521 % |
269.08/269.13	c |    188430 |  106855   889686  2456867 |        1    32873     81 | 22.521 % |
269.08/269.13	c |    188885 |  106855   889686  2456867 |        1    33328     85 | 22.521 % |
269.08/269.13	c |    189825 |  106779   889619  2456636 |        1    34263     88 | 22.576 % |
269.08/269.13	c |    189925 |  106779   889619  2456636 |        1    34363     89 | 22.576 % |
269.08/269.13	c |    190027 |  106779   889619  2456636 |        1    34465     89 | 22.576 % |
269.08/269.13	c |    190145 |  106779   889619  2456636 |        1    34583     89 | 22.576 % |
269.08/269.13	c |    190330 |  106779   889619  2456636 |        1    34768     90 | 22.576 % |
269.08/269.13	c |    190579 |  106779   889619  2456636 |        1    35017     92 | 22.576 % |
269.08/269.13	c |    190679 |  106765   889479  2456216 |        1    35073     92 | 22.586 % |
269.08/269.13	c |    190779 |  106765   889479  2456216 |        1    35173     93 | 22.586 % |
269.08/269.13	c |    190879 |  106765   889479  2456216 |        1    35273     94 | 22.586 % |
269.08/269.13	c |    190980 |  106765   889479  2456216 |        1    35374     95 | 22.586 % |
269.08/269.13	c |    191133 |  106765   889479  2456216 |        1    35527     95 | 22.586 % |
269.08/269.13	c |    191807 |  106765   889479  2456216 |        1    36201     98 | 22.586 % |
269.08/269.13	c |    191907 |  106765   889479  2456216 |        1    36301     99 | 22.586 % |
269.08/269.13	c |    195975 |  106764   889392  2455925 |        1    40360    129 | 22.587 % |
269.08/269.13	c |    196503 |  106764   889392  2455925 |        1    40888    133 | 22.587 % |
269.08/269.13	c |    196698 |  106764   889392  2455925 |        1    41083    134 | 22.587 % |
269.08/269.13	c |    196798 |  106764   889392  2455925 |        1    41183    134 | 22.587 % |
269.08/269.13	c |    197043 |  106752   889392  2455925 |        1    41427    135 | 22.596 % |
269.08/269.13	c |    197361 |  106740   889392  2455925 |        1    41744    136 | 22.605 % |
269.08/269.13	c |    197461 |  106740   889311  2455644 |        1    41820    137 | 22.605 % |
269.08/269.13	c |    197562 |  106740   889311  2455644 |        1    41921    137 | 22.605 % |
269.08/269.13	c |    197662 |  106740   889311  2455644 |        1    42021    138 | 22.605 % |
300.98/301.06	c |    197768 |  106740   889311  2455644 |        1    42127    138 | 22.605 % |
300.98/301.06	c |    197868 |  106740   889311  2455644 |        1    42227    138 | 22.605 % |
300.98/301.06	c |    198738 |  106740   889311  2455644 |        1    43097    145 | 22.605 % |
300.98/301.06	c |    198934 |  106740   889311  2455644 |        1    43293    146 | 22.605 % |
300.98/301.06	c |    199304 |  106739   889311  2455644 |        1    43662    147 | 22.605 % |
300.98/301.06	c |    199406 |  106739   889311  2455644 |        1    43764    147 | 22.605 % |
300.98/301.06	c |    199510 |  106739   889311  2455644 |        1    43868    148 | 22.605 % |
300.98/301.06	c |    199611 |  106739   889311  2455644 |        1    43969    148 | 22.605 % |
300.98/301.06	c |    199863 |  106739   889311  2455644 |        1    44221    149 | 22.605 % |
300.98/301.06	c |    200464 |  106719   889311  2455644 |        1    44821    151 | 22.620 % |
300.98/301.06	c |    200564 |  106719   889311  2455644 |        1    44921    151 | 22.620 % |
300.98/301.06	c |    200761 |  106718   889311  2455644 |        1    45117    151 | 22.620 % |
300.98/301.06	c |    202340 |  106718   889311  2455644 |        1    46696    154 | 22.620 % |
300.98/301.06	c |    202443 |  106706   889249  2455442 |        1    46771    154 | 22.629 % |
300.98/301.06	c |    202616 |  106706   889249  2455442 |        1    46944    155 | 22.629 % |
300.98/301.06	c |    202719 |  106706   889249  2455442 |        1    47047    155 | 22.629 % |
300.98/301.06	c |    204347 |  106706   889249  2455442 |        1    48675    162 | 22.629 % |
300.98/301.06	c |    205480 |  106705   889207  2455286 |        1    49807    167 | 22.630 % |
300.98/301.06	c |    205581 |  106705   889207  2455286 |        1    49908    167 | 22.630 % |
300.98/301.06	c |    205931 |  106705   889207  2455286 |        1    50258    167 | 22.630 % |
300.98/301.06	c |    206229 |  106705   889207  2455286 |        1    50556    166 | 22.630 % |
300.98/301.06	c |    206329 |  106705   889207  2455286 |        1    50656    166 | 22.630 % |
300.98/301.06	c |    206429 |  106683   889207  2455286 |        1    50755    166 | 22.646 % |
300.98/301.06	c |    207902 |  106673   889057  2454836 |        1    52194    169 | 22.653 % |
300.98/301.06	c |    208019 |  106673   889057  2454836 |        1    52311    169 | 22.653 % |
300.98/301.06	c |    209541 |  106673   889057  2454836 |        1    53833    170 | 22.653 % |
300.98/301.06	c |    209747 |  106673   889057  2454836 |        1    54039    170 | 22.653 % |
300.98/301.06	c |    209850 |  106672   889057  2454836 |        1    54140    170 | 22.654 % |
300.98/301.06	c |    209950 |  106672   889057  2454836 |        1    54240    170 | 22.654 % |
300.98/301.06	c |    210050 |  106672   889057  2454836 |        1    54340    171 | 22.654 % |
300.98/301.06	c |    210152 |  106672   889057  2454836 |        1    54442    171 | 22.654 % |
300.98/301.06	c |    210252 |  106672   889057  2454836 |        1    54542    171 | 22.654 % |
300.98/301.06	c |    210352 |  106672   889057  2454836 |        1    54642    171 | 22.654 % |
300.98/301.06	c |    210559 |  106672   889057  2454836 |        1    54849    172 | 22.654 % |
300.98/301.06	c |    210659 |  106672   889057  2454836 |        1    54949    173 | 22.654 % |
300.98/301.06	c |    210770 |  106672   889057  2454836 |        1    55060    173 | 22.654 % |
300.98/301.06	c |    211839 |  106664   889057  2454836 |        1    56128    176 | 22.660 % |
300.98/301.06	c |    211941 |  106663   889057  2454836 |        1    56229    176 | 22.660 % |
300.98/301.06	c |    212098 |  106663   889057  2454836 |        1    56386    177 | 22.660 % |
300.98/301.06	c |    212199 |  106663   889025  2454732 |        1    56475    177 | 22.660 % |
300.98/301.06	c |    212477 |  106663   889025  2454732 |        1    56753    177 | 22.660 % |
300.98/301.06	c |    212577 |  106663   889025  2454732 |        1    56853    177 | 22.660 % |
300.98/301.06	c |    212766 |  106663   889025  2454732 |        1    57042    177 | 22.660 % |
300.98/301.06	c |    213025 |  106621   889025  2454732 |        1    57298    178 | 22.691 % |
300.98/301.06	c |    213125 |  106621   889025  2454732 |        1    57398    178 | 22.691 % |
300.98/301.06	c |    213225 |  106621   889025  2454732 |        1    57498    179 | 22.691 % |
300.98/301.06	c |    213326 |  106620   889025  2454732 |        1    57598    179 | 22.692 % |
300.98/301.06	c |    213426 |  106620   889025  2454732 |        1    57698    179 | 22.692 % |
300.98/301.06	c |    213715 |  106620   889025  2454732 |        1    57987    180 | 22.692 % |
300.98/301.06	c |    213815 |  106620   889025  2454732 |        1    58087    180 | 22.692 % |
354.48/354.52	c |    214413 |  106546   889025  2454732 |        1    58678    181 | 22.745 % |
354.48/354.52	c |    214617 |  106546   888649  2453372 |        1    58867    181 | 22.745 % |
354.48/354.52	c |    215113 |  106546   888649  2453372 |        1    59363    182 | 22.745 % |
354.48/354.52	c |    215372 |  106546   888649  2453372 |        1    59622    184 | 22.745 % |
354.48/354.52	c |    215472 |  106546   888649  2453372 |        1    59722    184 | 22.745 % |
354.48/354.52	c |    216405 |  106545   888649  2453372 |        1    60654    186 | 22.746 % |
354.48/354.52	c |    216734 |  106545   888649  2453372 |        1    60983    187 | 22.746 % |
354.48/354.52	c |    216836 |  106545   888649  2453372 |        1    61085    187 | 22.746 % |
354.48/354.52	c |    216959 |  106545   888649  2453372 |        1    61208    187 | 22.746 % |
354.48/354.52	c |    217601 |  106544   888649  2453372 |        1    61849    189 | 22.747 % |
354.48/354.52	c |    217938 |  106409   888649  2453372 |        1    62185    189 | 22.845 % |
354.48/354.52	c |    218039 |  106409   888649  2453372 |        1    62286    189 | 22.845 % |
354.48/354.52	c |    218222 |  106409   888649  2453372 |        1    62469    189 | 22.845 % |
354.48/354.52	c |    218415 |  106409   888649  2453372 |        1    62662    190 | 22.845 % |
354.48/354.52	c |    218515 |  106409   888649  2453372 |        1    62762    190 | 22.845 % |
354.48/354.52	c |    218783 |  106409   888649  2453372 |        1    63030    190 | 22.845 % |
354.48/354.52	c |    219236 |  106409   888649  2453372 |        1    63483    190 | 22.845 % |
354.48/354.52	c |    219336 |  106409   888649  2453372 |        1    63583    190 | 22.845 % |
354.48/354.52	c |    220197 |  106407   888541  2452996 |        1    35389     78 | 22.846 % |
354.48/354.52	c |    220299 |  106407   888541  2452996 |        1    35491     78 | 22.846 % |
354.48/354.52	c |    220426 |  106407   888541  2452996 |        1    35618     79 | 22.846 % |
354.48/354.52	c |    221986 |  106365   888500  2452841 |        1    37175     94 | 22.876 % |
354.48/354.52	c |    224822 |  106365   888500  2452841 |        1    40011    127 | 22.876 % |
354.48/354.52	c |    224923 |  106365   888405  2452492 |        1    40109    127 | 22.876 % |
354.48/354.52	c |    225023 |  106365   888405  2452492 |        1    40209    128 | 22.876 % |
354.48/354.52	c |    231338 |  105959   881102  2430583 |        1    46520    158 | 23.171 % |
354.48/354.52	c |    231621 |  105959   881102  2430583 |        1    46803    159 | 23.171 % |
354.48/354.52	c |    231721 |  105959   881102  2430583 |        1    46903    160 | 23.171 % |
354.48/354.52	c |    231822 |  105959   881102  2430583 |        1    47004    160 | 23.171 % |
354.48/354.52	c |    231925 |  105959   881102  2430583 |        1    47107    161 | 23.171 % |
354.48/354.52	c |    233031 |  105959   881102  2430583 |        1    48213    166 | 23.171 % |
354.48/354.52	c |    233131 |  105959   881102  2430583 |        1    48313    166 | 23.171 % |
354.48/354.52	c |    233231 |  105959   881102  2430583 |        1    48413    167 | 23.171 % |
354.48/354.52	c |    233332 |  105959   881102  2430583 |        1    48514    167 | 23.171 % |
354.48/354.52	c |    233781 |  105959   881102  2430583 |        1    48963    169 | 23.171 % |
354.48/354.52	c |    233882 |  105959   881102  2430583 |        1    49064    169 | 23.171 % |
354.48/354.52	c |    234752 |  105959   881102  2430583 |        1    49934    171 | 23.171 % |
354.48/354.52	c |    234934 |  105959   881102  2430583 |        1    50116    172 | 23.171 % |
354.48/354.52	c |    235039 |  105959   881102  2430583 |        1    50221    172 | 23.171 % |
354.48/354.52	c |    235139 |  105959   881102  2430583 |        1    50321    172 | 23.171 % |
354.48/354.52	c |    235239 |  105959   881102  2430583 |        1    50421    172 | 23.171 % |
354.48/354.52	c |    235339 |  105945   881059  2430422 |        1    50519    173 | 23.181 % |
354.48/354.52	c |    235440 |  105943   881059  2430422 |        1    50619    174 | 23.182 % |
354.48/354.52	c |    236866 |  105365   881059  2430422 |        1    52041    176 | 23.601 % |
354.48/354.52	c |    237030 |  105358   881059  2430422 |        1    52204    176 | 23.607 % |
354.48/354.52	c |    237130 |  105358   881059  2430422 |        1    52304    176 | 23.607 % |
354.48/354.52	c |    237230 |  105358   881059  2430422 |        1    52404    176 | 23.607 % |
354.48/354.52	c |    237333 |  105358   881059  2430422 |        1    52507    177 | 23.607 % |
354.48/354.52	c |    237433 |  105358   881059  2430422 |        1    52607    177 | 23.607 % |
354.48/354.52	c |    237789 |  105353   873546  2407859 |        1    52946    178 | 23.610 % |
397.98/398.00	c |    238201 |  105345   873546  2407859 |        1    53357    179 | 23.616 % |
397.98/398.00	c |    238373 |  105345   873546  2407859 |        1    53529    179 | 23.616 % |
397.98/398.00	c |    238844 |  105345   873546  2407859 |        1    54000    180 | 23.616 % |
397.98/398.00	c |    240604 |  105345   873546  2407859 |        1    55760    182 | 23.616 % |
397.98/398.00	c |    240704 |  105345   873513  2407744 |        1    55860    182 | 23.616 % |
397.98/398.00	c |    240804 |  105345   873513  2407744 |        1    55960    182 | 23.616 % |
397.98/398.00	c |    241162 |  105345   873513  2407744 |        1    56318    184 | 23.616 % |
397.98/398.00	c |    241264 |  105345   873513  2407744 |        1    56420    184 | 23.616 % |
397.98/398.00	c |    241482 |  105345   873513  2407744 |        1    56638    184 | 23.616 % |
397.98/398.00	c |    243747 |  105344   873513  2407744 |        1    58902    189 | 23.617 % |
397.98/398.00	c |    244013 |  105344   873513  2407744 |        1    59165    189 | 23.617 % |
397.98/398.00	c |    244114 |  105344   873513  2407744 |        1    59266    189 | 23.617 % |
397.98/398.00	c |    244441 |  105344   873513  2407744 |        1    59593    190 | 23.617 % |
397.98/398.00	c |    244603 |  105343   873513  2407744 |        1    59754    191 | 23.617 % |
397.98/398.00	c |    247484 |  105273   873513  2407744 |        1    62634    197 | 23.668 % |
397.98/398.00	c |    247586 |  105273   873513  2407744 |        1    62736    197 | 23.668 % |
397.98/398.00	c |    247686 |  105273   873513  2407744 |        1    62836    198 | 23.668 % |
397.98/398.00	c |    248232 |  105259   873469  2407580 |        1    63381    199 | 23.678 % |
397.98/398.00	c |    248385 |  105259   873469  2407580 |        1    63534    199 | 23.678 % |
397.98/398.00	c |    248486 |  105259   873469  2407580 |        1    63635    199 | 23.678 % |
397.98/398.00	c |    248737 |  105239   873469  2407580 |        1    63884    199 | 23.693 % |
397.98/398.00	c |    248946 |  105239   873469  2407580 |        1    64093    199 | 23.693 % |
397.98/398.00	c |    249046 |  105239   873469  2407580 |        1    64193    199 | 23.693 % |
397.98/398.00	c |    250114 |  105238   873469  2407580 |        1    65260    200 | 23.694 % |
397.98/398.00	c |    250214 |  105238   873469  2407580 |        1    65360    200 | 23.694 % |
397.98/398.00	c |    250315 |  105238   873469  2407580 |        1    65461    200 | 23.694 % |
397.98/398.00	c |    250495 |  105229   873469  2407580 |        1    65640    200 | 23.700 % |
397.98/398.00	c |    250595 |  105229   873469  2407580 |        1    65740    200 | 23.700 % |
397.98/398.00	c |    250696 |  105229   873469  2407580 |        1    65841    201 | 23.700 % |
397.98/398.00	c |    250798 |  105229   873469  2407580 |        1    65943    201 | 23.700 % |
397.98/398.00	c |    251670 |  105229   873355  2407180 |        1    66807    202 | 23.700 % |
397.98/398.00	c |    251950 |  105228   873355  2407180 |        1    67086    202 | 23.701 % |
397.98/398.00	c |    252131 |  105228   873355  2407180 |        1    67267    203 | 23.701 % |
397.98/398.00	c |    252234 |  105228   873355  2407180 |        1    67370    203 | 23.701 % |
397.98/398.00	c |    252919 |  105228   873355  2407180 |        1    68055    204 | 23.701 % |
397.98/398.00	c |    253020 |  105228   873355  2407180 |        1    68156    204 | 23.701 % |
397.98/398.00	c |    253122 |  105228   873355  2407180 |        1    68258    204 | 23.701 % |
397.98/398.00	c |    253290 |  105228   873355  2407180 |        1    68426    204 | 23.701 % |
397.98/398.00	c |    253390 |  105228   873355  2407180 |        1    68526    205 | 23.701 % |
397.98/398.00	c |    253693 |  105218   873355  2407180 |        1    68828    205 | 23.708 % |
397.98/398.00	c |    253794 |  105218   873292  2406961 |        1    68928    206 | 23.708 % |
397.98/398.00	c |    253898 |  105218   873292  2406961 |        1    69032    206 | 23.708 % |
397.98/398.00	c |    255055 |  105218   873292  2406961 |        1    38486     81 | 23.708 % |
397.98/398.00	c |    255208 |  105218   873292  2406961 |        1    38639     82 | 23.708 % |
397.98/398.00	c |    255357 |  105210   873292  2406961 |        1    38787     82 | 23.714 % |
397.98/398.00	c |    256697 |  105195   873292  2406961 |        1    40126     94 | 23.725 % |
397.98/398.00	c |    257088 |  105195   873206  2406655 |        1    40513     96 | 23.725 % |
397.98/398.00	c |    257960 |  105175   873206  2406655 |        1    41384    102 | 23.739 % |
397.98/398.00	c |    258060 |  105175   873206  2406655 |        1    41484    102 | 23.739 % |
397.98/398.00	c |    258630 |  105175   873206  2406655 |        1    42054    104 | 23.739 % |
462.28/462.38	c |    258861 |  105175   873206  2406655 |        1    42285    105 | 23.739 % |
462.28/462.38	c |    259784 |  105175   873206  2406655 |        1    43208    108 | 23.739 % |
462.28/462.38	c |    260312 |  105175   873206  2406655 |        1    43736    110 | 23.739 % |
462.28/462.38	c |    260413 |  105160   873206  2406655 |        1    43833    110 | 23.750 % |
462.28/462.38	c |    262615 |  105151   873127  2406369 |        1    46034    125 | 23.757 % |
462.28/462.38	c |    266270 |  105123   873085  2406211 |        1    49683    130 | 23.777 % |
462.28/462.38	c |    266754 |  105098   873085  2406211 |        1    50165    131 | 23.795 % |
462.28/462.38	c |    266947 |  105098   873085  2406211 |        1    50358    132 | 23.795 % |
462.28/462.38	c |    267107 |  105098   873085  2406211 |        1    50518    132 | 23.795 % |
462.28/462.38	c |    267475 |  105085   873085  2406211 |        1    50885    134 | 23.805 % |
462.28/462.38	c |    267576 |  105085   873085  2406211 |        1    50986    135 | 23.805 % |
462.28/462.38	c |    267683 |  105085   873085  2406211 |        1    51093    135 | 23.805 % |
462.28/462.38	c |    268032 |  105084   873085  2406211 |        1    51441    139 | 23.805 % |
462.28/462.38	c |    268132 |  105084   872828  2405316 |        1    51533    139 | 23.805 % |
462.28/462.38	c |    268429 |  105084   872828  2405316 |        1    51830    139 | 23.805 % |
462.28/462.38	c |    268542 |  105084   872828  2405316 |        1    51943    140 | 23.805 % |
462.28/462.38	c |    268642 |  105084   872828  2405316 |        1    52043    140 | 23.805 % |
462.28/462.38	c |    272098 |  105071   872781  2405145 |        1    55492    151 | 23.815 % |
462.28/462.38	c |    272256 |  105071   872781  2405145 |        1    55650    151 | 23.815 % |
462.28/462.38	c |    272420 |  105071   872781  2405145 |        1    55814    152 | 23.815 % |
462.28/462.38	c |    272523 |  105071   872781  2405145 |        1    55917    152 | 23.815 % |
462.28/462.38	c |    273275 |  105071   872781  2405145 |        1    56669    157 | 23.815 % |
462.28/462.38	c |    273377 |  105071   872781  2405145 |        1    56771    157 | 23.815 % |
462.28/462.38	c |    273478 |  105071   872781  2405145 |        1    56872    158 | 23.815 % |
462.28/462.38	c |    273578 |  105071   872781  2405145 |        1    56972    158 | 23.815 % |
462.28/462.38	c |    273779 |  105071   872781  2405145 |        1    57173    158 | 23.815 % |
462.28/462.38	c |    274016 |  105071   872781  2405145 |        1    57410    159 | 23.815 % |
462.28/462.38	c |    281959 |  105031   872781  2405145 |        1    65343    169 | 23.844 % |
462.28/462.38	c |    282060 |  105031   872781  2405145 |        1    65444    169 | 23.844 % |
462.28/462.38	c |    282207 |  105031   872781  2405145 |        1    65591    169 | 23.844 % |
462.28/462.38	c |    282308 |  105031   872781  2405145 |        1    65692    170 | 23.844 % |
462.28/462.38	c |    282411 |  105031   872781  2405145 |        1    65795    170 | 23.844 % |
462.28/462.38	c |    282577 |  105031   872781  2405145 |        1    65961    170 | 23.844 % |
462.28/462.38	c |    282879 |  105023   872781  2405145 |        1    66262    170 | 23.849 % |
462.28/462.38	c |    282980 |  105023   872781  2405145 |        1    66363    171 | 23.849 % |
462.28/462.38	c |    283188 |  105023   872781  2405145 |        1    66571    171 | 23.849 % |
462.28/462.38	c |    283452 |  105023   872781  2405145 |        1    66835    172 | 23.849 % |
462.28/462.38	c |    283682 |  105023   872781  2405145 |        1    67065    172 | 23.849 % |
462.28/462.38	c |    283804 |  105023   872781  2405145 |        1    67187    173 | 23.849 % |
462.28/462.38	c |    283905 |  105023   872781  2405145 |        1    67288    173 | 23.849 % |
462.28/462.38	c |    284006 |  105023   872781  2405145 |        1    67389    173 | 23.849 % |
462.28/462.38	c |    284106 |  105023   872781  2405145 |        1    67489    174 | 23.849 % |
462.28/462.38	c |    284246 |  105023   872781  2405145 |        1    67629    173 | 23.849 % |
462.28/462.38	c |    284526 |  105023   872781  2405145 |        1    67909    174 | 23.849 % |
462.28/462.38	c |    285022 |  105023   872781  2405145 |        1    68405    175 | 23.849 % |
462.28/462.38	c |    285134 |  105023   872781  2405145 |        1    68517    175 | 23.849 % |
462.28/462.38	c |    285234 |  105023   872781  2405145 |        1    68617    175 | 23.849 % |
462.28/462.38	c |    285799 |  105023   872781  2405145 |        1    69182    176 | 23.849 % |
462.28/462.38	c |    286381 |  105023   872781  2405145 |        1    69764    177 | 23.849 % |
462.28/462.38	c |    286482 |  105023   872781  2405145 |        1    69865    177 | 23.849 % |
498.98/499.08	c |    286582 |  105023   872781  2405145 |        1    69965    177 | 23.849 % |
498.98/499.08	c |    286848 |  105023   872781  2405145 |        1    70231    178 | 23.849 % |
498.98/499.08	c |    286948 |  105023   872781  2405145 |        1    70331    178 | 23.849 % |
498.98/499.08	c |    287050 |  105023   872781  2405145 |        1    70433    178 | 23.849 % |
498.98/499.08	c |    288026 |  105023   872781  2405145 |        1    71409    182 | 23.849 % |
498.98/499.08	c |    288129 |  105023   872781  2405145 |        1    71512    182 | 23.849 % |
498.98/499.08	c |    288238 |  105023   872781  2405145 |        1    71621    183 | 23.849 % |
498.98/499.08	c |    288338 |  105023   872781  2405145 |        1    71721    183 | 23.849 % |
498.98/499.08	c |    288438 |  105023   872781  2405145 |        1    71821    183 | 23.849 % |
498.98/499.08	c |    288538 |  105023   872781  2405145 |        1    71921    183 | 23.849 % |
498.98/499.08	c |    288640 |  105022   872781  2405145 |        1    72022    183 | 23.850 % |
498.98/499.08	c |    288741 |  105022   872781  2405145 |        1    72123    184 | 23.850 % |
498.98/499.08	c |    288841 |  105022   872781  2405145 |        1    72223    184 | 23.850 % |
498.98/499.08	c |    288941 |  105022   872781  2405145 |        1    72323    184 | 23.850 % |
498.98/499.08	c |    289042 |  105022   872781  2405145 |        1    72424    185 | 23.850 % |
498.98/499.08	c |    289252 |  105022   872781  2405145 |        1    72634    185 | 23.850 % |
498.98/499.08	c |    290834 |  105022   872781  2405145 |        1    74216    188 | 23.850 % |
498.98/499.08	c |    291231 |  104777   872781  2405145 |        1    74612    188 | 24.028 % |
498.98/499.08	c |    291400 |  104777   872781  2405145 |        1    74781    188 | 24.028 % |
498.98/499.08	c |    291501 |  104777   872781  2405145 |        1    74882    188 | 24.028 % |
498.98/499.08	c |    291601 |  104777   872781  2405145 |        1    74982    188 | 24.028 % |
498.98/499.08	c |    292114 |  104771   872683  2404851 |        1    75483    189 | 24.032 % |
498.98/499.08	c |    293491 |  104719   872683  2404851 |        1    42802     85 | 24.070 % |
498.98/499.08	c |    293592 |  104719   872683  2404851 |        1    42903     86 | 24.070 % |
498.98/499.08	c |    293961 |  104710   872683  2404851 |        1    43271     87 | 24.076 % |
498.98/499.08	c |    294062 |  104710   872473  2404144 |        1    43320     88 | 24.076 % |
498.98/499.08	c |    294242 |  104693   872473  2404144 |        1    43498     88 | 24.089 % |
498.98/499.08	c |    294342 |  104692   872473  2404144 |        1    43597     89 | 24.089 % |
498.98/499.08	c |    294444 |  104692   872473  2404144 |        1    43699     89 | 24.089 % |
498.98/499.08	c |    294544 |  104692   872473  2404144 |        1    43799     90 | 24.089 % |
498.98/499.08	c |    294645 |  104692   872473  2404144 |        1    43900     91 | 24.089 % |
498.98/499.08	c |    294745 |  104692   872473  2404144 |        1    44000     91 | 24.089 % |
498.98/499.08	c |    294851 |  104692   872473  2404144 |        1    44106     92 | 24.089 % |
498.98/499.08	c |    294952 |  104692   872403  2403901 |        1    44207     92 | 24.089 % |
498.98/499.08	c |    295123 |  104692   872403  2403901 |        1    44378     93 | 24.089 % |
498.98/499.08	c |    295223 |  104692   872403  2403901 |        1    44478     94 | 24.089 % |
498.98/499.08	c |    295323 |  104690   872403  2403901 |        1    44576     94 | 24.091 % |
498.98/499.08	c |    295439 |  104690   872403  2403901 |        1    44692     95 | 24.091 % |
498.98/499.08	c |    295793 |  104690   872403  2403901 |        1    45046     96 | 24.091 % |
498.98/499.08	c |    296094 |  104690   872403  2403901 |        1    45347     97 | 24.091 % |
498.98/499.08	c |    296819 |  104690   872403  2403901 |        1    46072     99 | 24.091 % |
498.98/499.08	c |    296923 |  104690   872403  2403901 |        1    46171     99 | 24.091 % |
498.98/499.08	c |    297224 |  104690   872403  2403901 |        1    46472     99 | 24.091 % |
498.98/499.08	c |    299369 |  104686   872385  2403847 |        1    48616    103 | 24.094 % |
498.98/499.08	c |    301466 |  104686   872385  2403847 |        1    50713    110 | 24.094 % |
498.98/499.08	c |    304511 |  104685   872385  2403847 |        1    53757    119 | 24.095 % |
498.98/499.08	c |    304611 |  104685   872385  2403847 |        1    53857    120 | 24.095 % |
498.98/499.08	c |    305372 |  104600   872385  2403847 |        1    54617    122 | 24.156 % |
498.98/499.08	c |    305476 |  104600   872385  2403847 |        1    54721    122 | 24.156 % |
498.98/499.08	c |    305936 |  104600   872385  2403847 |        1    55181    124 | 24.156 % |
556.09/556.15	c |    306213 |  104585   872343  2403721 |        1    55457    125 | 24.167 % |
556.09/556.15	c |    306313 |  104585   872343  2403721 |        1    55557    125 | 24.167 % |
556.09/556.15	c |    306416 |  104585   872343  2403721 |        1    55660    126 | 24.167 % |
556.09/556.15	c |    306526 |  104585   872343  2403721 |        1    55770    126 | 24.167 % |
556.09/556.15	c |    307243 |  104585   872343  2403721 |        1    56487    128 | 24.167 % |
556.09/556.15	c |    307344 |  104585   872343  2403721 |        1    56588    128 | 24.167 % |
556.09/556.15	c |    307532 |  104585   872343  2403721 |        1    56776    129 | 24.167 % |
556.09/556.15	c |    307851 |  104585   872343  2403721 |        1    57095    129 | 24.167 % |
556.09/556.15	c |    307951 |  104585   872295  2403545 |        1    57193    130 | 24.167 % |
556.09/556.15	c |    308051 |  104585   872295  2403545 |        1    57293    130 | 24.167 % |
556.09/556.15	c |    308195 |  104585   872295  2403545 |        1    57437    130 | 24.167 % |
556.09/556.15	c |    308296 |  104585   872295  2403545 |        1    57538    130 | 24.167 % |
556.09/556.15	c |    316906 |  104495   872295  2403545 |        1    66136    140 | 24.232 % |
556.09/556.15	c |    317008 |  104495   871979  2402425 |        1    66191    140 | 24.232 % |
556.09/556.15	c |    321616 |  104494   871979  2402425 |        1    70798    145 | 24.233 % |
556.09/556.15	c |    322083 |  104494   871979  2402425 |        1    71265    145 | 24.233 % |
556.09/556.15	c |    322967 |  104494   871979  2402425 |        1    72149    146 | 24.233 % |
556.09/556.15	c |    323067 |  104494   871979  2402425 |        1    72249    146 | 24.233 % |
556.09/556.15	c |    323168 |  104494   871979  2402425 |        1    72350    146 | 24.233 % |
556.09/556.15	c |    323270 |  104494   871979  2402425 |        1    72452    146 | 24.233 % |
556.09/556.15	c |    324272 |  104494   871979  2402425 |        1    73454    149 | 24.233 % |
556.09/556.15	c |    324535 |  104494   871979  2402425 |        1    73717    149 | 24.233 % |
556.09/556.15	c |    324716 |  104494   871979  2402425 |        1    73898    150 | 24.233 % |
556.09/556.15	c |    324918 |  104494   871979  2402425 |        1    74100    150 | 24.233 % |
556.09/556.15	c |    325019 |  104494   871979  2402425 |        1    74201    150 | 24.233 % |
556.09/556.15	c |    325468 |  104466   871893  2402103 |        1    74645    151 | 24.253 % |
556.09/556.15	c |    325568 |  104466   871893  2402103 |        1    74745    151 | 24.253 % |
556.09/556.15	c |    325668 |  104466   871893  2402103 |        1    74845    151 | 24.253 % |
556.09/556.15	c |    325768 |  104466   871893  2402103 |        1    74945    151 | 24.253 % |
556.09/556.15	c |    325868 |  104466   871893  2402103 |        1    75045    151 | 24.253 % |
556.09/556.15	c |    325968 |  104466   871893  2402103 |        1    75145    152 | 24.253 % |
556.09/556.15	c |    326068 |  104466   871893  2402103 |        1    75245    152 | 24.253 % |
556.09/556.15	c |    326168 |  104466   871893  2402103 |        1    75345    152 | 24.253 % |
556.09/556.15	c |    326268 |  104466   871893  2402103 |        1    75445    152 | 24.253 % |
556.09/556.15	c |    326610 |  104466   871893  2402103 |        1    75787    153 | 24.253 % |
556.09/556.15	c |    326714 |  104466   871893  2402103 |        1    75891    153 | 24.253 % |
556.09/556.15	c |    326931 |  104466   871893  2402103 |        1    76108    153 | 24.253 % |
556.09/556.15	c |    328077 |  104466   871893  2402103 |        1    77254    153 | 24.253 % |
556.09/556.15	c |    329425 |  104466   871893  2402103 |        1    78602    157 | 24.253 % |
556.09/556.15	c |    329525 |  104466   871893  2402103 |        1    78702    157 | 24.253 % |
556.09/556.15	c |    329625 |  104466   871893  2402103 |        1    78802    158 | 24.253 % |
556.09/556.15	c |    329725 |  104466   871893  2402103 |        1    78902    158 | 24.253 % |
556.09/556.15	c |    330790 |  104452   871848  2401936 |        1    79964    159 | 24.263 % |
556.09/556.15	c |    330890 |  104452   871848  2401936 |        1    80064    159 | 24.263 % |
556.09/556.15	c |    333256 |  104305   871800  2401760 |        1    44622     70 | 24.370 % |
556.09/556.15	c |    333422 |  104305   871800  2401760 |        1    44788     70 | 24.370 % |
556.09/556.15	c |    333523 |  104305   871800  2401760 |        1    44889     70 | 24.370 % |
556.09/556.15	c |    335873 |  104292   871345  2400095 |        1    47228     76 | 24.380 % |
556.09/556.15	c |    336375 |  104292   871345  2400095 |        1    47730     77 | 24.380 % |
556.09/556.15	c |    336538 |  104290   871345  2400095 |        1    47891     79 | 24.381 % |
646.79/646.85	c |    336638 |  104290   871345  2400095 |        1    47991     79 | 24.381 % |
646.79/646.85	c |    336738 |  104290   871345  2400095 |        1    48091     79 | 24.381 % |
646.79/646.85	c |    336883 |  104290   871345  2400095 |        1    48236     80 | 24.381 % |
646.79/646.85	c |    339837 |  104290   871345  2400095 |        1    51190     93 | 24.381 % |
646.79/646.85	c |    339937 |  104289   871345  2400095 |        1    51289     93 | 24.382 % |
646.79/646.85	c |    340094 |  104278   871345  2400095 |        1    51445     94 | 24.390 % |
646.79/646.85	c |    340336 |  104278   871345  2400095 |        1    51687     95 | 24.390 % |
646.79/646.85	c |    340436 |  104278   871345  2400095 |        1    51787     95 | 24.390 % |
646.79/646.85	c |    340869 |  104278   871345  2400095 |        1    52220     97 | 24.390 % |
646.79/646.85	c |    343457 |  104278   871345  2400095 |        1    54808    110 | 24.390 % |
646.79/646.85	c |    343557 |  104278   871272  2399846 |        1    54906    110 | 24.390 % |
646.79/646.85	c |    343657 |  104278   871272  2399846 |        1    55006    110 | 24.390 % |
646.79/646.85	c |    343759 |  104278   871272  2399846 |        1    55108    110 | 24.390 % |
646.79/646.85	c |    343859 |  104278   871272  2399846 |        1    55208    111 | 24.390 % |
646.79/646.85	c |    349615 |  104278   871272  2399846 |        1    60964    130 | 24.390 % |
646.79/646.85	c |    349716 |  104278   871272  2399846 |        1    61065    130 | 24.390 % |
646.79/646.85	c |    349816 |  104278   871272  2399846 |        1    61165    130 | 24.390 % |
646.79/646.85	c |    350362 |  104272   871270  2399829 |        1    61708    131 | 24.394 % |
646.79/646.85	c |    350548 |  104272   871270  2399829 |        1    61894    132 | 24.394 % |
646.79/646.85	c |    350648 |  104272   871270  2399829 |        1    61994    132 | 24.394 % |
646.79/646.85	c |    350752 |  104272   871270  2399829 |        1    62098    132 | 24.394 % |
646.79/646.85	c |    351511 |  104272   871270  2399829 |        1    62857    135 | 24.394 % |
646.79/646.85	c |    354936 |  104249   871222  2399642 |        1    66274    137 | 24.411 % |
646.79/646.85	c |    355036 |  104249   871222  2399642 |        1    66374    138 | 24.411 % |
646.79/646.85	c |    355252 |  104249   871222  2399642 |        1    66590    138 | 24.411 % |
646.79/646.85	c |    355352 |  104249   871222  2399642 |        1    66690    138 | 24.411 % |
646.79/646.85	c |    358566 |  104248   871222  2399642 |        1    69903    142 | 24.411 % |
646.79/646.85	c |    358955 |  104248   871220  2399625 |        1    70292    143 | 24.411 % |
646.79/646.85	c |    362825 |  104236   871187  2399510 |        1    74147    151 | 24.420 % |
646.79/646.85	c |    366427 |  104223   871114  2399261 |        1    77743    159 | 24.430 % |
646.79/646.85	c |    368344 |  104213   871052  2399045 |        1    79658    162 | 24.437 % |
646.79/646.85	c |    374647 |  104186   871052  2399045 |        1    85956    169 | 24.456 % |
646.79/646.85	c |    374748 |  104186   871052  2399045 |        1    86057    169 | 24.456 % |
646.79/646.85	c |    374848 |  104186   871052  2399045 |        1    86157    169 | 24.456 % |
646.79/646.85	c |    374949 |  104186   871052  2399045 |        1    86258    170 | 24.456 % |
646.79/646.85	c |    378808 |  104186   871052  2399045 |        1    51463     90 | 24.456 % |
646.79/646.85	c |    378908 |  104186   870950  2398689 |        1    51557     91 | 24.456 % |
646.79/646.85	c |    379008 |  104186   870950  2398689 |        1    51657     91 | 24.456 % |
646.79/646.85	c |    379110 |  104186   870950  2398689 |        1    51759     92 | 24.456 % |
646.79/646.85	c |    379210 |  104186   870950  2398689 |        1    51859     92 | 24.456 % |
646.79/646.85	c |    379382 |  104186   870950  2398689 |        1    52031     93 | 24.456 % |
646.79/646.85	c |    379483 |  104186   870950  2398689 |        1    52132     93 | 24.456 % |
646.79/646.85	c |    379583 |  104186   870950  2398689 |        1    52232     94 | 24.456 % |
646.79/646.85	c |    379686 |  104186   870950  2398689 |        1    52335     94 | 24.456 % |
646.79/646.85	c |    379912 |  104186   870950  2398689 |        1    52561     95 | 24.456 % |
646.79/646.85	c |    380014 |  104186   870950  2398689 |        1    52663     95 | 24.456 % |
646.79/646.85	c |    380114 |  104186   870950  2398689 |        1    52763     96 | 24.456 % |
646.79/646.85	c |    382027 |  104186   870950  2398689 |        1    54676    100 | 24.456 % |
646.79/646.85	c |    382767 |  104185   870950  2398689 |        1    55415    103 | 24.457 % |
646.79/646.85	c |    382867 |  104185   870950  2398689 |        1    55515    104 | 24.457 % |
698.09/698.14	c |    382968 |  104185   870950  2398689 |        1    55616    104 | 24.457 % |
698.09/698.14	c |    385438 |  104185   870950  2398689 |        1    58086    111 | 24.457 % |
698.09/698.14	c |    387773 |  104176   870950  2398689 |        1    60419    119 | 24.464 % |
698.09/698.14	c |    387873 |  104176   870950  2398689 |        1    60519    119 | 24.464 % |
698.09/698.14	c |    388030 |  104176   870950  2398689 |        1    60676    119 | 24.464 % |
698.09/698.14	c |    388599 |  104176   870950  2398689 |        1    61245    121 | 24.464 % |
698.09/698.14	c |    388701 |  104176   870950  2398689 |        1    61347    121 | 24.464 % |
698.09/698.14	c |    388802 |  104176   870950  2398689 |        1    61448    121 | 24.464 % |
698.09/698.14	c |    389692 |  104154   870864  2398385 |        1    62324    121 | 24.480 % |
698.09/698.14	c |    394105 |  104154   870864  2398385 |        1    66737    134 | 24.480 % |
698.09/698.14	c |    394463 |  104143   870818  2398223 |        1    67090    135 | 24.488 % |
698.09/698.14	c |    394770 |  104143   870818  2398223 |        1    67397    135 | 24.488 % |
698.09/698.14	c |    395005 |  104143   870818  2398223 |        1    67632    136 | 24.488 % |
698.09/698.14	c |    395105 |  104143   870818  2398223 |        1    67732    136 | 24.488 % |
698.09/698.14	c |    395205 |  104143   870818  2398223 |        1    67832    136 | 24.488 % |
698.09/698.14	c |    395306 |  104143   870818  2398223 |        1    67933    136 | 24.488 % |
698.09/698.14	c |    395406 |  104143   870818  2398223 |        1    68033    136 | 24.488 % |
698.09/698.14	c |    395508 |  104143   870818  2398223 |        1    68135    136 | 24.488 % |
698.09/698.14	c |    395610 |  104135   870818  2398223 |        1    68236    136 | 24.493 % |
698.09/698.14	c |    396904 |  104135   870818  2398223 |        1    69530    139 | 24.493 % |
698.09/698.14	c |    398015 |  104077   870777  2398068 |        1    70636    140 | 24.535 % |
698.09/698.14	c |    399096 |  104077   870777  2398068 |        1    71717    141 | 24.535 % |
698.09/698.14	c |    399196 |  104077   870672  2397705 |        1    71800    141 | 24.535 % |
698.09/698.14	c |    399385 |  104077   870672  2397705 |        1    71989    142 | 24.535 % |
698.09/698.14	c |    400106 |  104077   870672  2397705 |        1    72710    142 | 24.535 % |
698.09/698.14	c |    400206 |  104077   870672  2397705 |        1    72810    143 | 24.535 % |
698.09/698.14	c |    400308 |  104077   870672  2397705 |        1    72912    143 | 24.535 % |
698.09/698.14	c |    400410 |  104077   870672  2397705 |        1    73014    143 | 24.535 % |
698.09/698.14	c |    401790 |  104077   870672  2397705 |        1    74394    151 | 24.535 % |
698.09/698.14	c |    405083 |  104064   870597  2397450 |        1    77682    156 | 24.545 % |
698.09/698.14	c |    405220 |  104064   870597  2397450 |        1    77819    157 | 24.545 % |
698.09/698.14	c |    405320 |  104064   870597  2397450 |        1    77919    157 | 24.545 % |
698.09/698.14	c |    405502 |  104064   870597  2397450 |        1    78101    157 | 24.545 % |
698.09/698.14	c |    405688 |  104064   870597  2397450 |        1    78287    157 | 24.545 % |
698.09/698.14	c |    405788 |  104064   870597  2397450 |        1    78387    158 | 24.545 % |
698.09/698.14	c |    405892 |  104064   870597  2397450 |        1    78491    158 | 24.545 % |
698.09/698.14	c |    405993 |  104064   870597  2397450 |        1    78592    158 | 24.545 % |
698.09/698.14	c |    406094 |  104064   870597  2397450 |        1    78693    158 | 24.545 % |
698.09/698.14	c |    406194 |  104064   870597  2397450 |        1    78793    158 | 24.545 % |
698.09/698.14	c |    406317 |  104064   870597  2397450 |        1    78916    159 | 24.545 % |
698.09/698.14	c |    407022 |  104064   870597  2397450 |        1    79621    159 | 24.545 % |
698.09/698.14	c |    407576 |  104060   870585  2397414 |        1    80172    161 | 24.548 % |
698.09/698.14	c |    407677 |  104060   870585  2397414 |        1    80273    161 | 24.548 % |
698.09/698.14	c |    407778 |  104060   870585  2397414 |        1    80374    161 | 24.548 % |
698.09/698.14	c |    407878 |  104060   870585  2397414 |        1    80474    161 | 24.548 % |
698.09/698.14	c |    408107 |  104060   870585  2397414 |        1    80703    162 | 24.548 % |
698.09/698.14	c |    408207 |  104060   870585  2397414 |        1    80803    162 | 24.548 % |
698.09/698.14	c |    408307 |  104060   870585  2397414 |        1    80903    162 | 24.548 % |
698.09/698.14	c |    408407 |  104060   870585  2397414 |        1    81003    162 | 24.548 % |
698.09/698.14	c |    408759 |  104060   870585  2397414 |        1    81355    163 | 24.548 % |
785.39/785.47	c |    409561 |  104060   870585  2397414 |        1    82157    163 | 24.548 % |
785.39/785.47	c |    410082 |  104060   870585  2397414 |        1    82678    164 | 24.548 % |
785.39/785.47	c |    410184 |  104060   870585  2397414 |        1    82780    164 | 24.548 % |
785.39/785.47	c |    410362 |  104060   870585  2397414 |        1    82958    164 | 24.548 % |
785.39/785.47	c |    410691 |  104059   870585  2397414 |        1    83286    165 | 24.548 % |
785.39/785.47	c |    413274 |  104059   870585  2397414 |        1    85869    165 | 24.548 % |
785.39/785.47	c |    413374 |  104059   870585  2397414 |        1    85969    165 | 24.548 % |
785.39/785.47	c |    413474 |  104059   870585  2397414 |        1    86069    165 | 24.548 % |
785.39/785.47	c |    413575 |  104059   870585  2397414 |        1    86170    165 | 24.548 % |
785.39/785.47	c |    414175 |  104050   870582  2397405 |        1    86767    165 | 24.555 % |
785.39/785.47	c |    418911 |  104050   870582  2397405 |        1    91503    172 | 24.555 % |
785.39/785.47	c |    419013 |  104050   870582  2397405 |        1    91605    172 | 24.555 % |
785.39/785.47	c |    427949 |  104050   870582  2397405 |        1    56351    108 | 24.555 % |
785.39/785.47	c |    432179 |  104040   870582  2397405 |        1    60579    118 | 24.562 % |
785.39/785.47	c |    432771 |  104012   870579  2397396 |        1    61169    118 | 24.583 % |
785.39/785.47	c |    433762 |  104012   870579  2397396 |        1    62160    122 | 24.583 % |
785.39/785.47	c |    433863 |  104012   870527  2397210 |        1    62253    123 | 24.583 % |
785.39/785.47	c |    433963 |  104012   870527  2397210 |        1    62353    123 | 24.583 % |
785.39/785.47	c |    434071 |  104008   870527  2397210 |        1    62460    123 | 24.585 % |
785.39/785.47	c |    434385 |  104008   870527  2397210 |        1    62774    124 | 24.585 % |
785.39/785.47	c |    434485 |  104008   870527  2397210 |        1    62874    124 | 24.585 % |
785.39/785.47	c |    434585 |  104008   870527  2397210 |        1    62974    124 | 24.585 % |
785.39/785.47	c |    434686 |  104008   870527  2397210 |        1    63075    124 | 24.585 % |
785.39/785.47	c |    434788 |  104008   870527  2397210 |        1    63177    124 | 24.585 % |
785.39/785.47	c |    434888 |  104008   870527  2397210 |        1    63277    125 | 24.585 % |
785.39/785.47	c |    434997 |  104008   870527  2397210 |        1    63386    125 | 24.585 % |
785.39/785.47	c |    435098 |  104008   870527  2397210 |        1    63487    125 | 24.585 % |
785.39/785.47	c |    435201 |  104008   870527  2397210 |        1    63590    125 | 24.585 % |
785.39/785.47	c |    439529 |  103986   870481  2397048 |        1    67906    137 | 24.601 % |
785.39/785.47	c |    439629 |  103986   870481  2397048 |        1    68006    137 | 24.601 % |
785.39/785.47	c |    439731 |  103986   870481  2397048 |        1    68108    137 | 24.601 % |
785.39/785.47	c |    439831 |  103986   870481  2397048 |        1    68208    138 | 24.601 % |
785.39/785.47	c |    440055 |  103986   870481  2397048 |        1    68432    138 | 24.601 % |
785.39/785.47	c |    440156 |  103986   870481  2397048 |        1    68533    138 | 24.601 % |
785.39/785.47	c |    440706 |  103620   870481  2397048 |        1    69082    139 | 24.867 % |
785.39/785.47	c |    441041 |  103610   870481  2397048 |        1    69416    140 | 24.874 % |
785.39/785.47	c |    441963 |  103610   870481  2397048 |        1    70338    141 | 24.874 % |
785.39/785.47	c |    444781 |  103610   869149  2392132 |        1    73144    147 | 24.874 % |
785.39/785.47	c |    444881 |  103610   869149  2392132 |        1    73244    148 | 24.874 % |
785.39/785.47	c |    444982 |  103610   869149  2392132 |        1    73345    148 | 24.874 % |
785.39/785.47	c |    445343 |  103610   869149  2392132 |        1    73706    148 | 24.874 % |
785.39/785.47	c |    445443 |  103592   869147  2392115 |        1    73804    149 | 24.887 % |
785.39/785.47	c |    447720 |  103592   869147  2392115 |        1    76081    157 | 24.887 % |
785.39/785.47	c |    447820 |  103592   869147  2392115 |        1    76181    157 | 24.887 % |
785.39/785.47	c |    447966 |  103592   869082  2391890 |        1    76324    157 | 24.887 % |
785.39/785.47	c |    448066 |  103592   869082  2391890 |        1    76424    157 | 24.887 % |
785.39/785.47	c |    448167 |  103592   869082  2391890 |        1    76525    158 | 24.887 % |
785.39/785.47	c |    449724 |  103582   869082  2391890 |        1    78081    159 | 24.894 % |
785.39/785.47	c |    450406 |  103581   869028  2391706 |        1    78753    159 | 24.895 % |
785.39/785.47	c |    450831 |  103581   869028  2391706 |        1    79178    160 | 24.895 % |
840.69/840.73	c |    450931 |  103581   869028  2391706 |        1    79278    160 | 24.895 % |
840.69/840.73	c |    451032 |  103581   869028  2391706 |        1    79379    160 | 24.895 % |
840.69/840.73	c |    451654 |  103581   869028  2391706 |        1    80001    161 | 24.895 % |
840.69/840.73	c |    452330 |  103581   869028  2391706 |        1    80677    162 | 24.895 % |
840.69/840.73	c |    452431 |  103581   869028  2391706 |        1    80778    162 | 24.895 % |
840.69/840.73	c |    452531 |  103581   869028  2391706 |        1    80878    163 | 24.895 % |
840.69/840.73	c |    452715 |  103581   869028  2391706 |        1    81062    163 | 24.895 % |
840.69/840.73	c |    453104 |  103581   869028  2391706 |        1    81451    164 | 24.895 % |
840.69/840.73	c |    453204 |  103581   869028  2391706 |        1    81551    164 | 24.895 % |
840.69/840.73	c |    454866 |  103581   869028  2391706 |        1    83213    165 | 24.895 % |
840.69/840.73	c |    455070 |  103581   869028  2391706 |        1    83417    165 | 24.895 % |
840.69/840.73	c |    461065 |  103580   869028  2391706 |        1    89409    182 | 24.896 % |
840.69/840.73	c |    461843 |  103580   869028  2391706 |        1    90187    183 | 24.896 % |
840.69/840.73	c |    465649 |  103580   869028  2391706 |        1    93993    190 | 24.896 % |
840.69/840.73	c |    466578 |  103579   869028  2391706 |        1    94921    191 | 24.896 % |
840.69/840.73	c |    467079 |  103579   869028  2391706 |        1    95422    191 | 24.896 % |
840.69/840.73	c |    467700 |  103579   869028  2391706 |        1    96043    192 | 24.896 % |
840.69/840.73	c |    468169 |  103579   869028  2391706 |        1    96512    193 | 24.896 % |
840.69/840.73	c |    468270 |  103579   869028  2391706 |        1    96613    193 | 24.896 % |
840.69/840.73	c |    468472 |  103561   869028  2391706 |        1    96814    193 | 24.910 % |
840.69/840.73	c |    468574 |  103560   869028  2391706 |        1    96915    193 | 24.910 % |
840.69/840.73	c |    468727 |  103560   869028  2391706 |        1    97068    193 | 24.910 % |
840.69/840.73	c |    468827 |  103560   869028  2391706 |        1    97168    193 | 24.910 % |
840.69/840.73	c |    468932 |  103560   869028  2391706 |        1    97273    193 | 24.910 % |
840.69/840.73	c |    469050 |  103560   869028  2391706 |        1    97391    194 | 24.910 % |
840.69/840.73	c |    469150 |  103560   869028  2391706 |        1    97491    193 | 24.910 % |
840.69/840.73	c |    469250 |  103560   869028  2391706 |        1    97591    194 | 24.910 % |
840.69/840.73	c |    469351 |  103515   869028  2391706 |        1    97691    194 | 24.943 % |
840.69/840.73	c |    469451 |  103515   869028  2391706 |        1    97791    194 | 24.943 % |
840.69/840.73	c |    469633 |  103515   869028  2391706 |        1    97973    194 | 24.943 % |
840.69/840.73	c |    469733 |  103515   869028  2391706 |        1    98073    194 | 24.943 % |
840.69/840.73	c |    469834 |  103515   869028  2391706 |        1    52605     81 | 24.943 % |
840.69/840.73	c |    469934 |  103515   869028  2391706 |        1    52705     81 | 24.943 % |
840.69/840.73	c |    471053 |  103515   869028  2391706 |        1    53824     85 | 24.943 % |
840.69/840.73	c |    471155 |  102884   868900  2391289 |        1    53919     85 | 25.400 % |
840.69/840.73	c |    472233 |  102883   868900  2391289 |        1    54996     87 | 25.401 % |
840.69/840.73	c |    475196 |  102870   859812  2363995 |        1    57944     93 | 25.411 % |
840.69/840.73	c |    475296 |  102870   859812  2363995 |        1    58044     94 | 25.411 % |
840.69/840.73	c |    475397 |  102870   859812  2363995 |        1    58145     94 | 25.411 % |
840.69/840.73	c |    475958 |  102786   859755  2363794 |        1    58700     96 | 25.471 % |
840.69/840.73	c |    476058 |  102786   859755  2363794 |        1    58800     96 | 25.471 % |
840.69/840.73	c |    476159 |  102786   859755  2363794 |        1    58901     96 | 25.471 % |
840.69/840.73	c |    476262 |  102786   859755  2363794 |        1    59004     96 | 25.471 % |
840.69/840.73	c |    476363 |  102786   859755  2363794 |        1    59105     97 | 25.471 % |
840.69/840.73	c |    476924 |  102786   859755  2363794 |        1    59666     98 | 25.471 % |
840.69/840.73	c |    477025 |  102786   859755  2363794 |        1    59767     98 | 25.471 % |
840.69/840.73	c |    477128 |  102786   859513  2362948 |        1    59848     98 | 25.471 % |
840.69/840.73	c |    478189 |  102786   859513  2362948 |        1    60909     99 | 25.471 % |
840.69/840.73	c |    478296 |  102786   859513  2362948 |        1    61016     99 | 25.471 % |
840.69/840.73	c |    478711 |  102783   859513  2362948 |        1    61430    100 | 25.474 % |
964.39/964.46	c |    478968 |  102783   859513  2362948 |        1    61687    101 | 25.474 % |
964.39/964.46	c |    479068 |  102783   859513  2362948 |        1    61787    102 | 25.474 % |
964.39/964.46	c |    479315 |  102783   859513  2362948 |        1    62034    103 | 25.474 % |
964.39/964.46	c |    479416 |  102783   859513  2362948 |        1    62135    103 | 25.474 % |
964.39/964.46	c |    479816 |  102782   859513  2362948 |        1    62534    104 | 25.474 % |
964.39/964.46	c |    479916 |  102782   859513  2362948 |        1    62634    104 | 25.474 % |
964.39/964.46	c |    480016 |  102782   859513  2362948 |        1    62734    104 | 25.474 % |
964.39/964.46	c |    480386 |  102782   859513  2362948 |        1    63104    105 | 25.474 % |
964.39/964.46	c |    480491 |  102782   859513  2362948 |        1    63209    105 | 25.474 % |
964.39/964.46	c |    481744 |  102782   859513  2362948 |        1    64462    106 | 25.474 % |
964.39/964.46	c |    482129 |  102782   859513  2362948 |        1    64847    107 | 25.474 % |
964.39/964.46	c |    482369 |  102782   859513  2362948 |        1    65087    107 | 25.474 % |
964.39/964.46	c |    482469 |  102782   859513  2362948 |        1    65187    107 | 25.474 % |
964.39/964.46	c |    486080 |  102782   859513  2362948 |        1    68798    111 | 25.474 % |
964.39/964.46	c |    486444 |  102753   859417  2362628 |        1    69146    111 | 25.495 % |
964.39/964.46	c |    486706 |  102742   859417  2362628 |        1    69407    112 | 25.503 % |
964.39/964.46	c |    487117 |  102742   859417  2362628 |        1    69818    112 | 25.503 % |
964.39/964.46	c |    487447 |  102742   859417  2362628 |        1    70148    113 | 25.503 % |
964.39/964.46	c |    489048 |  102732   859417  2362628 |        1    71748    116 | 25.511 % |
964.39/964.46	c |    489151 |  102732   859325  2362298 |        1    71846    117 | 25.511 % |
964.39/964.46	c |    489433 |  102732   859325  2362298 |        1    72128    117 | 25.511 % |
964.39/964.46	c |    489533 |  102731   859325  2362298 |        1    72227    118 | 25.511 % |
964.39/964.46	c |    489804 |  102731   859325  2362298 |        1    72498    118 | 25.511 % |
964.39/964.46	c |    490024 |  102731   859325  2362298 |        1    72718    119 | 25.511 % |
964.39/964.46	c |    490735 |  102723   859325  2362298 |        1    73428    120 | 25.517 % |
964.39/964.46	c |    490933 |  102723   859325  2362298 |        1    73626    120 | 25.517 % |
964.39/964.46	c |    491521 |  102723   859286  2362165 |        1    74211    121 | 25.517 % |
964.39/964.46	c |    497325 |  102714   859255  2362056 |        1    80010    130 | 25.524 % |
964.39/964.46	c |    497573 |  102714   859255  2362056 |        1    80258    130 | 25.524 % |
964.39/964.46	c |    497735 |  102714   859255  2362056 |        1    80420    131 | 25.524 % |
964.39/964.46	c |    497837 |  102713   859255  2362056 |        1    80521    131 | 25.524 % |
964.39/964.46	c |    497942 |  102713   859255  2362056 |        1    80626    132 | 25.524 % |
964.39/964.46	c |    498043 |  102713   859255  2362056 |        1    80727    132 | 25.524 % |
964.39/964.46	c |    498155 |  102713   859255  2362056 |        1    80839    132 | 25.524 % |
964.39/964.46	c |    498255 |  102713   859255  2362056 |        1    80939    132 | 25.524 % |
964.39/964.46	c |    498361 |  102713   859255  2362056 |        1    81045    132 | 25.524 % |
964.39/964.46	c |    498463 |  102713   859255  2362056 |        1    81147    133 | 25.524 % |
964.39/964.46	c |    498808 |  102713   859255  2362056 |        1    81492    133 | 25.524 % |
964.39/964.46	c |    498943 |  102713   859255  2362056 |        1    81627    134 | 25.524 % |
964.39/964.46	c |    499044 |  102713   859255  2362056 |        1    81728    134 | 25.524 % |
964.39/964.46	c |    499145 |  102713   859255  2362056 |        1    81829    134 | 25.524 % |
964.39/964.46	c |    499250 |  102713   859255  2362056 |        1    81934    134 | 25.524 % |
964.39/964.46	c |    499354 |  102713   859255  2362056 |        1    82038    134 | 25.524 % |
964.39/964.46	c |    499454 |  102713   859255  2362056 |        1    82138    135 | 25.524 % |
964.39/964.46	c |    499555 |  102713   859255  2362056 |        1    82239    135 | 25.524 % |
964.39/964.46	c |    499688 |  102713   859255  2362056 |        1    82372    135 | 25.524 % |
964.39/964.46	c |    506619 |  102712   859255  2362056 |        1    89302    138 | 25.525 % |
964.39/964.46	c |    509220 |  102695   859183  2361807 |        1    91899    140 | 25.537 % |
964.39/964.46	c |    510155 |  102695   859183  2361807 |        1    92834    141 | 25.537 % |
964.39/964.46	c |    535760 |  102692   859163  2361747 |        1    72391     85 | 25.540 % |
1092.71/1092.79	c |    540615 |  102594   859163  2361747 |        1    77244     89 | 25.611 % |
1092.71/1092.79	c |    540836 |  102594   859163  2361747 |        1    77465     89 | 25.611 % |
1092.71/1092.79	c |    540937 |  102594   859163  2361747 |        1    77566     90 | 25.611 % |
1092.71/1092.79	c |    543189 |  102594   859163  2361747 |        1    79818     96 | 25.611 % |
1092.71/1092.79	c |    543289 |  102594   859163  2361747 |        1    79918     96 | 25.611 % |
1092.71/1092.79	c |    543391 |  102594   859163  2361747 |        1    80020     96 | 25.611 % |
1092.71/1092.79	c |    543708 |  102594   859163  2361747 |        1    80337     97 | 25.611 % |
1092.71/1092.79	c |    558490 |  102593   859163  2361747 |        1    95118    114 | 25.611 % |
1092.71/1092.79	c |    558891 |  102593   859163  2361747 |        1    95519    114 | 25.611 % |
1092.71/1092.79	c |    558992 |  102593   859163  2361747 |        1    95620    114 | 25.611 % |
1092.71/1092.79	c |    559092 |  102593   859163  2361747 |        1    95720    114 | 25.611 % |
1092.71/1092.79	c |    559194 |  102593   859163  2361747 |        1    95822    115 | 25.611 % |
1092.71/1092.79	c |    559295 |  102593   859163  2361747 |        1    95923    115 | 25.611 % |
1092.71/1092.79	c |    559481 |  102593   859163  2361747 |        1    96109    115 | 25.611 % |
1092.71/1092.79	c |    559583 |  102593   859163  2361747 |        1    96211    115 | 25.611 % |
1092.71/1092.79	c |    559687 |  102593   859163  2361747 |        1    96315    115 | 25.611 % |
1092.71/1092.79	c |    564556 |  102593   859163  2361747 |        1   101184    117 | 25.611 % |
1092.71/1092.79	c |    564657 |  102593   859163  2361747 |        1   101285    117 | 25.611 % |
1092.71/1092.79	c |    564757 |  102593   859163  2361747 |        1   101385    117 | 25.611 % |
1092.71/1092.79	c |    564858 |  102593   859163  2361747 |        1   101486    117 | 25.611 % |
1092.71/1092.79	c |    564958 |  102593   859163  2361747 |        1   101586    117 | 25.611 % |
1092.71/1092.79	c |    565058 |  102593   859163  2361747 |        1   101686    117 | 25.611 % |
1092.71/1092.79	c |    566951 |  102593   859163  2361747 |        1   103579    122 | 25.611 % |
1092.71/1092.79	c |    567338 |  102593   859163  2361747 |        1   103966    122 | 25.611 % |
1092.71/1092.79	c |    567439 |  102593   859163  2361747 |        1   104067    122 | 25.611 % |
1092.71/1092.79	c |    567542 |  102593   859163  2361747 |        1   104170    122 | 25.611 % |
1092.71/1092.79	c |    567642 |  102593   859163  2361747 |        1   104270    122 | 25.611 % |
1092.71/1092.79	c |    567742 |  102593   859163  2361747 |        1   104370    123 | 25.611 % |
1092.71/1092.79	c |    572031 |  102592   859163  2361747 |        1   108655    126 | 25.612 % |
1092.71/1092.79	c |    573329 |  102592   859163  2361747 |        1   109953    127 | 25.612 % |
1092.71/1092.79	c |    573495 |  102592   859163  2361747 |        1   110119    127 | 25.612 % |
1092.71/1092.79	c |    573595 |  102592   859163  2361747 |        1   110219    127 | 25.612 % |
1092.71/1092.79	c |    573696 |  102592   859163  2361747 |        1   110320    127 | 25.612 % |
1092.71/1092.79	c |    573797 |  102592   859163  2361747 |        1   110421    127 | 25.612 % |
1092.71/1092.79	c |    573899 |  102592   859163  2361747 |        1   110523    127 | 25.612 % |
1092.71/1092.79	c |    574000 |  102592   859163  2361747 |        1   110624    128 | 25.612 % |
1092.71/1092.79	c |    574101 |  102592   859163  2361747 |        1    60512     70 | 25.612 % |
1092.71/1092.79	c |    579840 |  102309   858830  2360684 |        1    66211     79 | 25.817 % |
1092.71/1092.79	c |    584449 |  102309   858830  2360684 |        1    70820     88 | 25.817 % |
1092.71/1092.79	c |    584559 |  102309   858830  2360684 |        1    70930     89 | 25.817 % |
1092.71/1092.79	c |    584659 |  102309   858830  2360684 |        1    71030     89 | 25.817 % |
1092.71/1092.79	c |    589382 |  102300   858795  2360563 |        1    75750     97 | 25.824 % |
1092.71/1092.79	c |    592458 |  102300   858795  2360563 |        1    78826    100 | 25.824 % |
1092.71/1092.79	c |    592666 |  102300   858795  2360563 |        1    79034    101 | 25.824 % |
1092.71/1092.79	c |    593259 |  102300   858795  2360563 |        1    79627    103 | 25.824 % |
1092.71/1092.79	c |    593359 |  102300   858795  2360563 |        1    79727    103 | 25.824 % |
1092.71/1092.79	c |    594078 |  102299   858795  2360563 |        1    80445    105 | 25.825 % |
1092.71/1092.79	c |    594250 |  102299   858795  2360563 |        1    80617    105 | 25.825 % |
1092.71/1092.79	c |    597020 |  102299   858795  2360563 |        1    83387    114 | 25.825 % |

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3283652-1303755591/watcher-3283652-1303755591 -o /tmp/evaluation-result-3283652-1303755591/solver-3283652-1303755591 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3283652-1303755591.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.40 3.84 3.56 5/192 27430
/proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0

[startup+0.0781919 s]
/proc/loadavg: 3.40 3.84 3.56 5/192 27430
/proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101189 s]
/proc/loadavg: 3.40 3.84 3.56 5/192 27430
/proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301151 s]
/proc/loadavg: 3.40 3.84 3.56 5/192 27430
/proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701081 s]
/proc/loadavg: 3.40 3.84 3.56 5/192 27430
/proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50094 s]
/proc/loadavg: 3.40 3.84 3.56 5/194 27432
/proc/meminfo: memFree=12887872/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
[pid=27431] ppid=27430 vsize=150320 CPUtime=1.49 cores=4,6
/proc/27431/stat : 27431 (SatELite_releas) R 27430 27430 26036 0 -1 4202496 39170 0 0 0 139 10 0 0 25 0 1 0 565789902 153927680 35639 33554432000 134512640 135144242 4288558656 18446744073709551615 134585745 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/27431/statm: 37580 35639 77 155 0 37423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159024

[startup+3.10064 s]
/proc/loadavg: 3.40 3.84 3.56 5/194 27433
/proc/meminfo: memFree=12883160/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 253 211 178 0 69 0
[pid=27431] ppid=27430 vsize=151932 CPUtime=3.09 cores=4,6
/proc/27431/stat : 27431 (SatELite_releas) R 27430 27430 26036 0 -1 4202496 42451 0 0 0 298 11 0 0 25 0 1 0 565789902 155578368 36106 33554432000 134512640 135144242 4288558656 18446744073709551615 134585353 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/27431/statm: 37983 36106 77 155 0 37826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160636

[startup+6.3011 s]
/proc/loadavg: 3.69 3.89 3.58 5/194 27436
/proc/meminfo: memFree=13033896/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=98336 CPUtime=1.99 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 18663 0 0 0 196 3 0 0 25 0 1 0 565790333 100696064 17519 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224797 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 24584 17519 250 17 0 21225 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107040

[startup+12.701 s]
/proc/loadavg: 3.87 3.93 3.59 5/194 27436
/proc/meminfo: memFree=13024840/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=99800 CPUtime=8.38 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 20160 0 0 0 835 3 0 0 25 0 1 0 565790333 102195200 19003 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224776 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 24950 19003 250 17 0 21591 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 108504

[startup+25.5007 s]
/proc/loadavg: 3.90 3.93 3.60 5/194 27436
/proc/meminfo: memFree=12983560/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=101144 CPUtime=21.18 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 33396 0 0 0 2113 5 0 0 25 0 1 0 565790333 103571456 18554 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 25286 18554 251 17 0 21927 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 109848

[startup+51.1072 s]
/proc/loadavg: 3.93 3.93 3.61 5/194 27437
/proc/meminfo: memFree=12857148/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=131640 CPUtime=46.79 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 43635 0 0 0 4672 7 0 0 25 0 1 0 565790333 134799360 27865 33554432000 4194304 4260849 140736958606000 18446744073709551615 4210116 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 32910 27865 251 17 0 29551 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 140344

[startup+102.3 s]
/proc/loadavg: 3.69 3.88 3.61 4/187 27458
/proc/meminfo: memFree=12888604/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=97.98 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 70462 0 0 0 9786 12 0 0 25 0 1 0 565790333 185303040 37642 33554432000 4194304 4260849 140736958606000 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 37642 251 17 0 41881 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 189664

[startup+162.301 s]
/proc/loadavg: 3.25 3.72 3.57 4/187 27459
/proc/meminfo: memFree=12893620/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=157.99 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 91683 0 0 0 15781 18 0 0 25 0 1 0 565790333 185303040 36293 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 36293 251 17 0 41881 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 189664

[startup+222.3 s]
/proc/loadavg: 3.09 3.58 3.53 4/187 27461
/proc/meminfo: memFree=12870384/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=217.99 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 108059 0 0 0 21776 23 0 0 25 0 1 0 565790333 185303040 39054 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 39054 251 17 0 41881 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 189664

[startup+282.301 s]
/proc/loadavg: 3.03 3.47 3.49 4/187 27462
/proc/meminfo: memFree=12861444/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=277.98 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 124051 0 0 0 27770 28 0 0 25 0 1 0 565790333 185303040 39745 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224383 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 39745 251 17 0 41881 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 189664

[startup+342.3 s]
/proc/loadavg: 3.01 3.39 3.46 4/187 27464
/proc/meminfo: memFree=12904004/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=337.99 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 139883 0 0 0 33765 34 0 0 25 0 1 0 565790333 185303040 39310 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 39310 251 17 0 41881 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 189664

[startup+402.301 s]
/proc/loadavg: 3.00 3.31 3.43 4/187 27466
/proc/meminfo: memFree=12861172/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6

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

/proc/27436/statm: 45240 37100 251 17 0 41881 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 189664

[startup+702.306 s]
/proc/loadavg: 2.03 2.59 3.09 3/180 27493
/proc/meminfo: memFree=12934000/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=698 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 220370 0 0 0 69740 60 0 0 25 0 1 0 565790333 216862720 45608 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 45608 251 17 0 49586 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 220484

[startup+762.301 s]
/proc/loadavg: 2.01 2.48 3.02 3/180 27494
/proc/meminfo: memFree=12974480/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=758 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 237436 0 0 0 75735 65 0 0 25 0 1 0 565790333 216862720 41093 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209252 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 41093 251 17 0 49586 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 220484

[startup+822.301 s]
/proc/loadavg: 2.00 2.39 2.95 2/174 27515
/proc/meminfo: memFree=13203824/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=261868 CPUtime=818 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 246856 0 0 0 81732 68 0 0 25 0 1 0 565790333 268152832 50489 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 65467 50489 251 17 0 62108 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 270572

[startup+882.301 s]
/proc/loadavg: 1.37 2.13 2.82 2/173 27516
/proc/meminfo: memFree=13237092/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=878 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 262961 0 0 0 87727 73 0 0 25 0 1 0 565790333 216862720 42754 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 42754 251 17 0 49586 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 220484

[startup+942.301 s]
/proc/loadavg: 1.13 1.92 2.71 2/173 27518
/proc/meminfo: memFree=13261376/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=938 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 276340 0 0 0 93723 77 0 0 25 0 1 0 565790333 185303040 36663 33554432000 4194304 4260849 140736958606000 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 36663 251 17 0 41881 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 189664

[startup+1002.3 s]
/proc/loadavg: 1.05 1.75 2.60 2/173 27519
/proc/meminfo: memFree=13239896/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=998 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 281779 0 0 0 99721 79 0 0 25 0 1 0 565790333 216862720 42078 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 42078 251 17 0 49586 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 220484

[startup+1062.3 s]
/proc/loadavg: 1.02 1.61 2.50 2/173 27521
/proc/meminfo: memFree=13257352/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=1058.01 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 296522 0 0 0 105717 84 0 0 25 0 1 0 565790333 185303040 37763 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 37763 251 17 0 41881 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 189664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.50 2.40 2/173 27523
/proc/meminfo: memFree=13221236/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=1118.01 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 305581 0 0 0 111713 88 0 0 25 0 1 0 565790333 216862720 46795 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 46795 251 17 0 49586 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 220484

[startup+1182.3 s]
/proc/loadavg: 1.00 1.41 2.31 2/173 27527
/proc/meminfo: memFree=13256748/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=1178.01 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 319249 0 0 0 117710 91 0 0 25 0 1 0 565790333 185303040 37886 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 37886 251 17 0 41881 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 189664

[startup+1242.3 s]
/proc/loadavg: 1.00 1.33 2.22 2/173 27529
/proc/meminfo: memFree=13237384/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=211780 CPUtime=1238.01 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 324019 0 0 0 123708 93 0 0 25 0 1 0 565790333 216862720 42632 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 52945 42632 251 17 0 49586 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 220484



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.00 1.27 2.14 2/173 27530
/proc/meminfo: memFree=13255208/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=1295.71 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 340251 0 0 0 129474 97 0 0 25 0 1 0 565790333 185303040 38132 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 38132 251 17 0 41881 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 189664

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

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

[startup+1300 s]
/proc/loadavg: 1.00 1.27 2.14 2/173 27530
/proc/meminfo: memFree=13255208/32951124 swapFree=67102140/67111528
[pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6
/proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27430/statm: 2176 255 211 178 0 69 0
[pid=27436] ppid=27430 vsize=180960 CPUtime=1295.71 cores=4,6
/proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 340251 0 0 0 129474 97 0 0 25 0 1 0 565790333 185303040 38132 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27436/statm: 45240 38132 251 17 0 41881 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 189664

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300
CPU user time (s): 1298.88
CPU system time (s): 1.12
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 319892

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

runsolver used 2.22566 second user time and 4.41233 second system time

The end

Launcher Data

Begin job on node119 at 2011-04-25 20:19:52
IDJOB=3283652
IDBENCH=71055
IDSOLVER=1651
FILE ID=node119/3283652-1303755591
RUNJOBID= node119-1303755591-27386
PBS_JOBID= 13154043
Free space on /tmp= 71812 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283652-1303755591/watcher-3283652-1303755591 -o /tmp/evaluation-result-3283652-1303755591/solver-3283652-1303755591 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3283652-1303755591.cnf 

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

MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED=277659337

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13130776 kB
Buffers:       2220152 kB
Cached:       16715328 kB
SwapCached:       5504 kB
Active:        8246504 kB
Inactive:     10988504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13130776 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           92744 kB
Writeback:           0 kB
AnonPages:      296308 kB
Mapped:          15124 kB
Slab:           520208 kB
PageTables:       5468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   515208 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71844 MiB
End job on node119 at 2011-04-25 20:41:34