Trace number 1834199

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
minisat_cumr p-2009-03-18UNSAT 278.597 278.787

General information on the benchmark

Namemanol-pipe-g10id.cnf
MD5SUM79b8866c5f4be7f699958174c5be63e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark30.3264
Satisfiable
(Un)Satisfiability was proved
Number of variables159638
Number of clauses473596
Sum of the clauses size1105056
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2315730
Number of clauses of size 3157865
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.43	c ==============================================================================
0.00/0.43	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.43	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.43	c ==============================================================================
0.00/0.43	c |         0 |  473595  1105055 |  142078       0        0     nan |  0.000 % |
3.38/3.48	c |         0 |  206201   803155 |      --       0       --      -- |     --   | -267392/-301895
3.38/3.49	c ==============================================================================
3.38/3.49	c Result  :   #vars: 26986   #clauses: 206201   #literals: 803155
3.38/3.49	c CPU time:   3.31549 s
3.38/3.49	c ==============================================================================
3.67/3.79	c This is MiniSat 2.0 beta
3.67/3.79	c WARNING: for repeatability, setting FPU to use double precision
3.67/3.79	c ============================[ Problem Statistics ]=============================
3.67/3.79	c |                                                                             |
3.67/3.79	c |  Number of variables:  26986                                                |
3.67/3.79	c |  Number of clauses:    206201                                               |
3.76/3.95	c |  Parsing time:         0.14         s                                       |
3.76/3.96	c ============================[ Search Statistics ]==============================
3.76/3.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.76/3.96	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.76/3.96	c ===============================================================================
3.76/3.96	c |         0 |   26986   206201   803155 |    68733        0    nan |  0.000 % |
3.76/3.98	c |       100 |   26986   206201   803155 |    68733       99     10 |  0.011 % |
3.76/4.01	c |       202 |   26984   206201   803155 |    68733      201     13 |  0.011 % |
3.76/4.04	c |       303 |   26976   206201   803155 |    68733      300     11 |  0.078 % |
3.76/4.07	c |       413 |   26976   206201   803155 |    68733      410     12 |  0.078 % |
3.76/4.13	c |       513 |   26974   206201   803155 |    68733      510     15 |  0.078 % |
3.76/4.18	c |       624 |   26974   206201   803155 |    68733      621     16 |  0.078 % |
3.76/4.26	c |       746 |   26972   206201   803155 |    68733      743     15 |  0.078 % |
4.25/4.39	c |       848 |   26966   206201   803155 |    68733      845     14 |  0.078 % |
4.25/4.39	c |       958 |   26966   206201   803155 |    68733      955     13 |  0.078 % |
4.35/4.47	c |      1080 |   26966   206201   803155 |    68733     1077     13 |  0.078 % |
4.45/4.52	c |      1213 |   26966   206201   803155 |    68733     1210     14 |  0.078 % |
4.45/4.56	c |      1315 |   26949   206201   803155 |    68733     1311     15 |  0.200 % |
4.45/4.59	c |      1428 |   26945   206201   803155 |    68733     1424     16 |  0.200 % |
4.55/4.69	c |      1549 |   26932   204958   798790 |    68733     1529     16 |  0.200 % |
4.65/4.79	c |      1683 |   26931   204958   798790 |    68733     1662     16 |  0.204 % |
4.75/4.85	c |      1830 |   26929   204958   798790 |    68733     1808     16 |  0.215 % |
4.75/4.87	c |      1930 |   26926   204958   798790 |    68733     1904     16 |  0.271 % |
4.75/4.90	c |      2040 |   26917   204958   798790 |    68733     2014     16 |  0.271 % |
4.85/4.93	c |      2161 |   26916   204958   798790 |    68733     2134     16 |  0.278 % |
4.85/4.96	c |      2294 |   26914   204958   798790 |    68733     2266     15 |  0.282 % |
4.95/5.06	c |      2440 |   26913   204958   798790 |    68733     2412     17 |  0.282 % |
4.95/5.07	c |      2600 |   26913   204958   798790 |    68733     2572     17 |  0.282 % |
5.05/5.12	c |      2702 |   26913   204958   798790 |    68733     2674     17 |  0.282 % |
5.05/5.16	c |      2812 |   26910   204958   798790 |    68733     2783     18 |  0.315 % |
5.05/5.17	c |      2933 |   26910   204958   798790 |    68733     2904     20 |  0.315 % |
5.15/5.26	c |      3067 |   26895   204416   796917 |    68733     2954     20 |  0.337 % |
5.25/5.32	c |      3213 |   26895   204416   796917 |    68733     3100     20 |  0.337 % |
5.25/5.36	c |      3374 |   26895   204416   796917 |    68733     3261     20 |  0.337 % |
5.35/5.45	c |      3550 |   26895   204416   796917 |    68733     3437     21 |  0.337 % |
5.35/5.49	c |      3650 |   26876   204416   796917 |    68733     3533     21 |  0.611 % |
5.46/5.51	c |      3760 |   26876   204416   796917 |    68733     3643     21 |  0.611 % |
5.46/5.56	c |      3881 |   26876   204416   796917 |    68733     3764     21 |  0.611 % |
5.46/5.58	c |      4015 |   26876   204416   796917 |    68733     3898     21 |  0.611 % |
5.56/5.62	c |      4163 |   26864   204416   796917 |    68733     4044     21 |  0.797 % |
5.56/5.63	c |      4324 |   26863   204416   796917 |    68733     4204     20 |  0.800 % |
5.56/5.69	c |      4501 |   26861   204416   796917 |    68733     4381     21 |  0.800 % |
5.66/5.73	c |      4694 |   26861   204416   796917 |    68733     4574     21 |  0.800 % |
5.76/5.82	c |      4794 |   26859   204416   796917 |    68733     4673     21 |  0.808 % |
5.76/5.87	c |      4904 |   26857   204416   796917 |    68733     4782     21 |  0.915 % |
5.86/5.90	c |      5025 |   26857   204416   796917 |    68733     4903     21 |  0.915 % |
5.86/5.94	c |      5158 |   26712   201116   784807 |    68733     4949     21 |  1.049 % |
5.86/5.98	c |      5304 |   26690   201116   784807 |    68733     5094     22 |  1.167 % |
5.96/6.02	c |      5465 |   26688   201116   784807 |    68733     5255     22 |  1.167 % |
5.96/6.07	c |      5642 |   26687   201116   784807 |    68733     5431     22 |  1.171 % |
6.06/6.11	c |      5835 |   26687   201116   784807 |    68733     5624     22 |  1.171 % |
6.16/6.23	c |      6048 |   26687   201116   784807 |    68733     5837     22 |  1.171 % |
6.16/6.26	c |      6149 |   26687   201116   784807 |    68733     5938     22 |  1.171 % |
6.16/6.28	c |      6260 |   26687   201116   784807 |    68733     6049     22 |  1.171 % |
6.26/6.33	c |      6381 |   26687   201116   784807 |    68733     6170     22 |  1.171 % |
6.26/6.37	c |      6515 |   26684   201116   784807 |    68733     6302     22 |  1.190 % |
6.26/6.40	c |      6661 |   26684   201116   784807 |    68733     6448     22 |  1.190 % |
6.36/6.42	c |      6823 |   26684   201116   784807 |    68733     6610     22 |  1.190 % |
6.36/6.46	c |      6999 |   26672   201116   784807 |    68733     6784     23 |  1.338 % |
6.36/6.48	c |      7195 |   26665   201116   784807 |    68733     6977     22 |  1.371 % |
6.46/6.54	c |      7408 |   26665   201116   784807 |    68733     7190     23 |  1.371 % |
6.46/6.57	c |      7642 |   26616   198970   776198 |    68733     7410     22 |  1.371 % |
6.56/6.61	c |      7742 |   26616   198970   776198 |    68733     7510     22 |  1.371 % |
6.56/6.66	c |      7852 |   26616   198970   776198 |    68733     7620     23 |  1.371 % |
6.56/6.68	c |      7973 |   26615   198970   776198 |    68733     7740     22 |  1.393 % |
6.66/6.73	c |      8106 |   26615   198970   776198 |    68733     7873     22 |  1.393 % |
6.76/6.80	c |      8252 |   26615   198970   776198 |    68733     8019     22 |  1.393 % |
6.76/6.84	c |      8414 |   26615   198970   776198 |    68733     8181     22 |  1.393 % |
6.76/6.88	c |      8593 |   26615   198970   776198 |    68733     8360     23 |  1.393 % |
6.86/6.93	c |      8786 |   26615   198970   776198 |    68733     8553     22 |  1.393 % |
6.86/6.98	c |      8999 |   26615   198970   776198 |    68733     8766     23 |  1.393 % |
6.96/7.02	c |      9233 |   26597   198970   776198 |    68733     8994     22 |  1.482 % |
6.96/7.06	c |      9491 |   26597   198970   776198 |    68733     9252     23 |  1.482 % |
6.96/7.08	c |      9591 |   26572   198970   776198 |    68733     9348     23 |  1.653 % |
7.06/7.11	c |      9702 |   26564   198970   776198 |    68733     9459     23 |  1.653 % |
7.06/7.14	c |      9823 |   26563   198970   776198 |    68733     9579     23 |  1.656 % |
7.16/7.21	c |      9956 |   26563   198970   776198 |    68733     9712     23 |  1.656 % |
7.16/7.25	c |     10102 |   26560   198970   776198 | 2147483647     9857     23 |  1.668 % |
7.26/7.30	c |     10262 |   26508   197676   771540 | 2147483647     9971     23 |  1.801 % |
7.26/7.33	c |     10438 |   26508   197676   771540 | 2147483647    10147     23 |  1.801 % |
7.26/7.37	c |     10631 |   26508   197676   771540 | 2147483647    10340     23 |  1.801 % |
7.36/7.42	c |     10843 |   26508   197676   771540 | 2147483647    10552     24 |  1.801 % |
7.46/7.53	c |     11078 |   26508   197676   771540 | 2147483647    10787     24 |  1.801 % |
7.46/7.57	c |     11337 |   26508   197676   771540 | 2147483647    11046     25 |  1.801 % |
7.56/7.68	c |     11618 |   26508   197676   771540 | 2147483647    11327     25 |  1.801 % |
7.66/7.71	c |     11718 |   26508   197676   771540 | 2147483647    11427     25 |  1.801 % |
7.66/7.76	c |     11830 |   26508   197676   771540 | 2147483647    11539     25 |  1.801 % |
7.66/7.78	c |     11951 |   26508   197676   771540 | 2147483647    11660     25 |  1.801 % |
7.66/7.79	c |     12084 |   26508   197676   771540 | 2147483647    11793     25 |  1.801 % |
7.76/7.85	c |     12230 |   26508   197676   771540 | 2147483647    11939     25 |  1.801 % |
7.86/7.92	c |     12395 |   26508   197676   771540 | 2147483647    12104     25 |  1.801 % |
7.86/7.95	c |     12572 |   26508   197676   771540 | 2147483647    12281     26 |  1.801 % |
7.86/7.98	c |     12765 |   26502   197676   771540 | 2147483647    12471     26 |  1.827 % |
7.86/7.99	c |     12977 |   26502   197676   771540 | 2147483647    12683     25 |  1.827 % |
8.05/8.16	c |     13211 |   26493   196963   769039 | 2147483647    12892     26 |  1.827 % |
8.05/8.17	c |     13468 |   26493   196963   769039 | 2147483647    13149     26 |  1.827 % |
8.15/8.25	c |     13749 |   26493   196963   769039 | 2147483647    13430     26 |  1.827 % |
8.15/8.28	c |     14058 |   26493   196963   769039 | 2147483647    13739     26 |  1.827 % |
8.25/8.31	c |     14158 |   26491   196963   769039 | 2147483647    13838     26 |  1.838 % |
8.25/8.35	c |     14269 |   26490   196963   769039 | 2147483647    13949     26 |  1.838 % |
8.25/8.39	c |     14390 |   26486   196963   769039 | 2147483647    14069     26 |  1.853 % |
8.35/8.42	c |     14523 |   26486   196963   769039 | 2147483647    14202     26 |  1.853 % |
8.35/8.46	c |     14670 |   26486   196963   769039 | 2147483647    14349     26 |  1.853 % |
8.45/8.54	c |     14831 |   26486   196963   769039 | 2147483647    14510     26 |  1.853 % |
8.45/8.56	c |     15008 |   26485   196963   769039 | 2147483647    14686     26 |  1.857 % |
8.55/8.62	c |     15201 |   26485   196963   769039 | 2147483647    14879     26 |  1.857 % |
8.55/8.66	c |     15413 |   26485   196963   769039 | 2147483647    15091     25 |  1.857 % |
8.66/8.73	c |     15651 |   26485   196963   769039 | 2147483647    15329     26 |  1.857 % |
8.66/8.79	c |     15909 |   26485   196963   769039 | 2147483647    15587     26 |  1.857 % |
8.76/8.82	c |     16193 |   26485   196963   769039 | 2147483647    15871     26 |  1.857 % |
8.76/8.87	c |     16505 |   26485   196963   769039 | 2147483647    16183     27 |  1.857 % |
8.85/8.95	c |     16844 |   26485   196850   768599 | 2147483647    16508     26 |  1.857 % |
8.85/8.99	c |     16944 |   26485   196850   768599 | 2147483647    16608     26 |  1.857 % |
8.95/9.01	c |     17054 |   26485   196850   768599 | 2147483647    16718     26 |  1.857 % |
8.95/9.04	c |     17175 |   26481   196850   768599 | 2147483647    16835     26 |  1.871 % |
8.95/9.07	c |     17310 |   26481   196850   768599 | 2147483647    16970     26 |  1.871 % |
8.95/9.10	c |     17460 |   26428   196850   768599 | 2147483647    17117     26 |  2.353 % |
9.05/9.12	c |     17620 |   26428   196850   768599 | 2147483647    17277     26 |  2.353 % |
9.05/9.17	c |     17796 |   26428   196850   768599 | 2147483647    17453     27 |  2.353 % |
9.15/9.22	c |     17990 |   26428   196850   768599 | 2147483647    17647     27 |  2.353 % |
9.15/9.27	c |     18202 |   26428   196850   768599 | 2147483647    17859     27 |  2.353 % |
9.25/9.31	c |     18435 |   26428   196850   768599 | 2147483647    18092     27 |  2.353 % |
9.25/9.34	c |     18692 |   26428   196850   768599 | 2147483647    18349     27 |  2.353 % |
9.45/9.53	c |     18975 |   26428   196850   768599 | 2147483647    18632     27 |  2.353 % |
9.55/9.61	c |     19284 |   26427   196850   768599 | 2147483647    18940     27 |  2.360 % |
9.55/9.66	c |     19623 |   26427   196850   768599 | 2147483647    19279     27 |  2.360 % |
9.65/9.72	c |     20000 |   26427   196850   768599 | 2147483647    19656     27 |  2.360 % |
9.65/9.74	c |     20100 |   26427   196850   768599 | 2147483647    19756     27 |  2.360 % |
9.65/9.75	c |     20211 |   26427   196850   768599 | 2147483647    19867     27 |  2.360 % |
9.75/9.82	c |     20333 |   26426   196850   768599 | 2147483647    19989     27 |  2.360 % |
9.75/9.87	c |     20466 |   26349   194614   760072 | 2147483647    20109     28 |  2.360 % |
9.85/9.93	c |     20613 |   26349   194614   760072 | 2147483647    20256     28 |  2.360 % |
9.85/9.98	c |     20774 |   26349   194614   760072 | 2147483647    20417     28 |  2.360 % |
9.95/10.02	c |     20952 |   26349   194614   760072 | 2147483647    20595     28 |  2.360 % |
9.95/10.08	c |     21146 |   26349   194614   760072 | 2147483647    20789     28 |  2.360 % |
10.05/10.11	c |     21359 |   26349   194614   760072 | 2147483647    21002     28 |  2.360 % |
10.05/10.17	c |     21597 |   26349   194614   760072 | 2147483647    21240     28 |  2.360 % |
10.15/10.25	c |     21857 |   26349   194614   760072 | 2147483647    21500     28 |  2.360 % |
10.25/10.33	c |     22138 |   26349   194614   760072 | 2147483647    21781     28 |  2.360 % |
10.25/10.34	c |     22447 |   26349   194614   760072 | 2147483647    22090     28 |  2.360 % |
10.35/10.45	c |     22787 |   26349   194614   760072 | 2147483647    22430     28 |  2.360 % |
10.45/10.51	c |     23159 |   26346   194614   760072 | 2147483647    22801     28 |  2.372 % |
10.45/10.57	c |     23568 |   26346   194614   760072 | 2147483647    23210     28 |  2.372 % |
10.55/10.63	c |     23668 |   26340   194614   760072 | 2147483647    23307     28 |  2.394 % |
10.65/10.71	c |     23779 |   26340   194614   760072 | 2147483647    23418     28 |  2.394 % |
10.65/10.73	c |     23902 |   26340   194614   760072 | 2147483647    23541     28 |  2.394 % |
10.65/10.75	c |     24035 |   26340   194614   760072 | 2147483647    23674     28 |  2.394 % |
10.65/10.78	c |     24181 |   26340   194614   760072 | 2147483647    23820     28 |  2.394 % |
10.75/10.81	c |     24343 |   26340   194614   760072 | 2147483647    23982     28 |  2.394 % |
10.75/10.90	c |     24519 |   26340   194614   760072 | 2147483647    24158     28 |  2.394 % |
10.85/10.98	c |     24712 |   26340   194614   760072 | 2147483647    24351     28 |  2.394 % |
10.95/11.05	c |     24925 |   26340   194458   759534 | 2147483647    24465     28 |  2.394 % |
11.05/11.11	c |     25159 |   26338   194458   759534 | 2147483647    24698     28 |  2.405 % |
11.05/11.15	c |     25415 |   26335   194458   759534 | 2147483647    24953     29 |  2.416 % |
11.05/11.20	c |     25696 |   26335   194458   759534 | 2147483647    25234     29 |  2.416 % |
11.15/11.26	c |     26007 |   26335   194458   759534 | 2147483647    25545     29 |  2.416 % |
11.35/11.44	c |     26346 |   26335   194458   759534 | 2147483647    25884     29 |  2.416 % |
11.45/11.52	c |     26720 |   26335   194458   759534 | 2147483647    26258     29 |  2.416 % |
11.45/11.57	c |     27130 |   26335   194458   759534 | 2147483647    26668     29 |  2.416 % |
11.56/11.66	c |     27591 |   26335   194458   759534 | 2147483647    27129     30 |  2.416 % |
11.66/11.72	c |     27691 |   26335   194458   759534 | 2147483647    27229     30 |  2.416 % |
11.66/11.74	c |     27802 |   26335   194458   759534 | 2147483647    27340     30 |  2.416 % |
11.66/11.77	c |     27923 |   26335   194458   759534 | 2147483647    27461     30 |  2.416 % |
11.76/11.82	c |     28056 |   26335   194458   759534 | 2147483647    27594     30 |  2.416 % |
11.76/11.88	c |     28202 |   26333   194458   759534 | 2147483647    27739     30 |  2.427 % |
11.76/11.88	c |     28362 |   26333   194458   759534 | 2147483647    27899     30 |  2.427 % |
11.86/11.92	c |     28541 |   26333   194458   759534 | 2147483647    28078     30 |  2.427 % |
11.86/11.97	c |     28735 |   26333   194458   759534 | 2147483647    28272     30 |  2.427 % |
11.96/12.00	c |     28949 |   26333   194458   759534 | 2147483647    28486     30 |  2.427 % |
11.96/12.05	c |     29186 |   26333   194458   759534 | 2147483647    28723     30 |  2.427 % |
12.06/12.10	c |     29442 |   26333   194458   759534 | 2147483647    28979     30 |  2.427 % |
12.06/12.14	c |     29723 |   26333   194458   759534 | 2147483647    29260     30 |  2.427 % |
12.16/12.22	c |     30032 |   26333   194458   759534 | 2147483647    29569     30 |  2.427 % |
12.26/12.31	c |     30372 |   26328   194458   759534 | 2147483647    29907     30 |  2.446 % |
12.26/12.37	c |     30744 |   26326   194169   758509 | 2147483647    30268     30 |  2.446 % |
12.36/12.44	c |     31158 |   26326   194169   758509 | 2147483647    30682     31 |  2.446 % |
12.45/12.51	c |     31607 |   26326   194169   758509 | 2147483647    31131     31 |  2.446 % |
12.45/12.60	c |     32101 |   26326   194169   758509 | 2147483647    31625     31 |  2.446 % |
12.55/12.61	c |     32201 |   26326   194169   758509 | 2147483647    31725     31 |  2.446 % |
12.55/12.64	c |     32311 |   26326   194169   758509 | 2147483647    31835     31 |  2.446 % |
12.55/12.67	c |     32432 |   26326   194169   758509 | 2147483647    31956     31 |  2.446 % |
12.65/12.71	c |     32566 |   26326   194169   758509 | 2147483647    32090     31 |  2.446 % |
12.65/12.75	c |     32712 |   26326   194169   758509 | 2147483647    32236     31 |  2.446 % |
12.65/12.78	c |     32872 |   26326   194169   758509 | 2147483647    32396     31 |  2.446 % |
12.75/12.82	c |     33049 |   26326   194169   758509 | 2147483647    32573     31 |  2.446 % |
12.85/12.93	c |     33242 |   26326   194169   758509 | 2147483647    32766     32 |  2.446 % |
12.85/12.99	c |     33457 |   26326   194169   758509 | 2147483647    32981     31 |  2.446 % |
12.95/13.03	c |     33692 |   26326   194169   758509 | 2147483647    33216     31 |  2.446 % |
12.95/13.08	c |     33949 |   26326   194169   758509 | 2147483647    33473     32 |  2.446 % |
13.06/13.15	c |     34231 |   26326   194169   758509 | 2147483647    33755     32 |  2.446 % |
13.25/13.31	c |     34540 |   26324   194169   758509 | 2147483647    34063     32 |  2.457 % |
13.25/13.38	c |     34881 |   26317   194169   758509 | 2147483647    34402     32 |  2.483 % |
13.35/13.44	c |     35253 |   26315   194169   758509 | 2147483647    34773     32 |  2.501 % |
13.45/13.52	c |     35663 |   26314   194169   758509 | 2147483647    35183     32 |  2.501 % |
13.55/13.62	c |     36114 |   26313   194169   758509 | 2147483647    35634     32 |  2.501 % |
13.65/13.72	c |     36607 |   26309   194169   758509 | 2147483647    36123     32 |  2.542 % |
13.75/13.82	c |     37153 |   26309   194169   758509 | 2147483647    36669     32 |  2.542 % |
13.75/13.85	c |     37254 |   26309   194169   758509 | 2147483647    36770     32 |  2.542 % |
13.75/13.89	c |     37366 |   26309   194169   758509 | 2147483647    36882     32 |  2.542 % |
13.85/13.96	c |     37487 |   26300   193855   757334 | 2147483647    36972     32 |  2.542 % |
13.95/14.02	c |     37623 |   26300   193855   757334 | 2147483647    37108     32 |  2.542 % |
13.95/14.04	c |     37769 |   26300   193855   757334 | 2147483647    37254     32 |  2.542 % |
13.95/14.06	c |     37929 |   26300   193855   757334 | 2147483647    37414     32 |  2.542 % |
14.04/14.10	c |     38106 |   26300   193855   757334 | 2147483647    37591     32 |  2.542 % |
14.04/14.14	c |     38300 |   26300   193855   757334 | 2147483647    37785     32 |  2.542 % |
14.04/14.18	c |     38513 |   26300   193855   757334 | 2147483647    37998     32 |  2.542 % |
14.15/14.23	c |     38748 |   26300   193855   757334 | 2147483647    38233     33 |  2.542 % |
14.15/14.30	c |     39004 |   26300   193855   757334 | 2147483647    38489     33 |  2.542 % |
14.25/14.34	c |     39285 |   26300   193855   757334 | 2147483647    38770     33 |  2.542 % |
14.34/14.41	c |     39596 |   26300   193855   757334 | 2147483647    39081     33 |  2.542 % |
14.34/14.46	c |     39937 |   26300   193855   757334 | 2147483647    39422     33 |  2.542 % |
14.44/14.56	c |     40309 |   26300   193855   757334 | 2147483647    39794     33 |  2.542 % |
14.54/14.62	c |     40722 |   26300   193855   757334 | 2147483647    40207     33 |  2.542 % |
14.64/14.71	c |     41176 |   26300   193855   757334 | 2147483647    40661     34 |  2.542 % |
14.64/14.79	c |     41670 |   26298   193855   757334 | 2147483647    41154     34 |  2.701 % |
14.74/14.87	c |     42216 |   26298   193855   757334 | 2147483647    41700     34 |  2.701 % |
14.84/14.97	c |     42813 |   26298   193855   757334 | 2147483647    42297     34 |  2.701 % |
14.84/14.99	c |     42914 |   26298   193855   757334 | 2147483647    42398     34 |  2.701 % |
14.94/15.03	c |     43024 |   26298   193855   757334 | 2147483647    42508     34 |  2.701 % |
14.94/15.06	c |     43148 |   26298   193855   757334 | 2147483647    42632     34 |  2.701 % |
14.94/15.09	c |     43283 |   26297   193855   757334 | 2147483647    42766     34 |  2.713 % |
15.04/15.12	c |     43430 |   26296   193855   757334 | 2147483647    42912     34 |  2.716 % |
15.04/15.16	c |     43590 |   26296   193855   757334 | 2147483647    43072     34 |  2.716 % |
15.14/15.21	c |     43770 |   26296   193855   757334 | 2147483647    43252     34 |  2.716 % |
15.14/15.24	c |     43963 |   26296   193855   757334 | 2147483647    43445     34 |  2.716 % |
15.14/15.30	c |     44175 |   26296   193855   757334 | 2147483647    43657     34 |  2.716 % |
15.25/15.35	c |     44411 |   26296   193855   757334 | 2147483647    43893     34 |  2.716 % |
15.35/15.42	c |     44669 |   26285   193855   757334 | 2147483647    44149     34 |  2.887 % |
15.35/15.47	c |     44950 |   26285   193855   757334 | 2147483647    44430     35 |  2.887 % |
15.45/15.53	c |     45259 |   26280   193855   757334 | 2147483647    44739     34 |  2.887 % |
15.55/15.61	c |     45609 |   26280   193855   757334 | 2147483647    45089     35 |  2.887 % |
15.75/15.80	c |     45982 |   26280   193855   757334 | 2147483647    45462     34 |  2.887 % |
15.75/15.89	c |     46391 |   26280   193855   757334 | 2147483647    45871     35 |  2.887 % |
15.85/15.98	c |     46843 |   26207   192257   751391 | 2147483647    46269     35 |  2.887 % |
15.95/16.09	c |     47337 |   26207   192257   751391 | 2147483647    46763     35 |  2.887 % |
16.05/16.14	c |     47880 |   26207   192257   751391 | 2147483647    47306     35 |  2.887 % |
16.15/16.23	c |     48477 |   26207   192257   751391 | 2147483647    47903     35 |  2.887 % |
16.25/16.35	c |     49136 |   26207   192257   751391 | 2147483647    48562     35 |  2.887 % |
16.25/16.39	c |     49237 |   26207   192257   751391 | 2147483647    48663     35 |  2.887 % |
16.35/16.45	c |     49347 |   26207   192257   751391 | 2147483647    48773     35 |  2.887 % |
16.35/16.50	c |     49469 |   26207   192257   751391 | 2147483647    48895     35 |  2.887 % |
16.55/16.61	c |     49603 |   26207   192257   751391 | 2147483647    49029     35 |  2.887 % |
16.55/16.64	c |     49751 |   26207   192257   751391 | 2147483647    49177     35 |  2.887 % |
16.55/16.69	c |     49911 |   26207   192257   751391 | 2147483647    49337     35 |  2.887 % |
16.65/16.73	c |     50088 |   26205   192257   751391 | 2147483647    49513     35 |  2.894 % |
16.65/16.79	c |     50283 |   26205   192257   751391 | 2147483647    49708     35 |  2.894 % |
16.74/16.83	c |     50496 |   26205   192257   751391 | 2147483647    49921     35 |  2.894 % |
16.84/16.95	c |     50729 |   26205   192257   751391 | 2147483647    50154     35 |  2.894 % |
16.94/17.00	c |     50985 |   26205   192257   751391 | 2147483647    50410     35 |  2.894 % |
16.94/17.07	c |     51270 |   26205   192257   751391 | 2147483647    50695     35 |  2.894 % |
17.04/17.18	c |     51588 |   26202   192257   751391 | 2147483647    51012     35 |  2.913 % |
17.14/17.24	c |     51928 |   26201   192257   751391 | 2147483647    51351     35 |  2.916 % |
17.24/17.30	c |     52300 |   26201   192257   751391 | 2147483647    51723     35 |  2.916 % |
17.24/17.38	c |     52713 |   26201   192257   751391 | 2147483647    52136     35 |  2.916 % |
17.34/17.48	c |     53163 |   26201   192257   751391 | 2147483647    52586     35 |  2.916 % |
17.44/17.55	c |     53657 |   26201   192257   751391 | 2147483647    53080     36 |  2.916 % |
17.74/17.83	c |     54199 |   26201   192257   751391 | 2147483647    53622     36 |  2.916 % |
17.74/17.89	c |     54796 |   26201   192257   751391 | 2147483647    54219     35 |  2.916 % |
17.94/18.01	c |     55451 |   26201   192257   751391 | 2147483647    54874     36 |  2.916 % |
18.04/18.13	c |     56171 |   26201   192257   751391 | 2147483647    55594     36 |  2.916 % |
18.04/18.18	c |     56274 |   26201   192257   751391 | 2147483647    55697     36 |  2.916 % |
18.14/18.22	c |     56384 |   26201   192257   751391 | 2147483647    55807     36 |  2.916 % |
18.14/18.28	c |     56506 |   26201   192257   751391 | 2147483647    55929     36 |  2.916 % |
18.24/18.31	c |     56640 |   26201   192257   751391 | 2147483647    56063     36 |  2.916 % |
18.24/18.34	c |     56786 |   26201   192257   751391 | 2147483647    56209     36 |  2.916 % |
18.34/18.40	c |     56948 |   26199   192146   750948 | 2147483647    56361     36 |  2.916 % |
18.34/18.50	c |     57127 |   26197   192146   750948 | 2147483647    56539     36 |  2.927 % |
18.44/18.54	c |     57322 |   26197   192146   750948 | 2147483647    56734     36 |  2.927 % |
18.55/18.62	c |     57536 |   26197   192146   750948 | 2147483647    56948     36 |  2.927 % |
18.55/18.68	c |     57769 |   26197   192146   750948 | 2147483647    57181     36 |  2.927 % |
18.65/18.73	c |     58033 |   26197   192146   750948 | 2147483647    57445     36 |  2.927 % |
18.74/18.83	c |     58314 |   26197   192146   750948 | 2147483647    57726     36 |  2.927 % |
18.74/18.88	c |     58623 |   26197   192146   750948 | 2147483647    58035     36 |  2.927 % |
18.84/18.94	c |     58964 |   26197   192146   750948 | 2147483647    58376     36 |  2.927 % |
18.94/19.03	c |     59338 |   26197   192146   750948 | 2147483647    58750     36 |  2.927 % |
18.94/19.10	c |     59747 |   26197   192146   750948 | 2147483647    59159     36 |  2.927 % |
19.14/19.20	c |     60196 |   26197   192146   750948 | 2147483647    59608     36 |  2.927 % |
19.24/19.33	c |     60689 |   26197   192146   750948 | 2147483647    60101     36 |  2.927 % |
19.34/19.42	c |     61231 |   26197   192146   750948 | 2147483647    60643     37 |  2.927 % |
19.44/19.53	c |     61827 |   26197   192146   750948 | 2147483647    61239     37 |  2.927 % |
19.54/19.62	c |     62482 |   26197   192146   750948 | 2147483647    61894     37 |  2.927 % |
19.64/19.79	c |     63202 |   26197   192146   750948 | 2147483647    62614     37 |  2.927 % |
19.84/19.91	c |     63994 |   26197   192146   750948 | 2147483647    63406     37 |  2.927 % |
19.84/19.98	c |     64097 |   26197   192146   750948 | 2147483647    63509     37 |  2.927 % |
19.94/20.09	c |     64207 |   26197   192146   750948 | 2147483647    63619     37 |  2.927 % |
20.04/20.16	c |     64329 |   26197   192146   750948 | 2147483647    63741     37 |  2.927 % |
20.14/20.20	c |     64462 |   26197   192146   750948 | 2147483647    63874     37 |  2.927 % |
20.14/20.27	c |     64609 |   26194   192146   750948 | 2147483647    64020     37 |  2.953 % |
20.24/20.31	c |     64769 |   26194   192146   750948 | 2147483647    64180     37 |  2.953 % |
20.24/20.36	c |     64945 |   26194   192146   750948 | 2147483647    64356     37 |  2.953 % |
20.34/20.41	c |     65140 |   26194   192146   750948 | 2147483647    64551     37 |  2.953 % |
20.34/20.46	c |     65353 |   26194   192146   750948 | 2147483647    64764     37 |  2.953 % |
20.44/20.52	c |     65586 |   26192   192146   750948 | 2147483647    64996     37 |  3.065 % |
20.44/20.58	c |     65842 |   26192   192146   750948 | 2147483647    65252     37 |  3.065 % |
20.53/20.65	c |     66124 |   26192   192146   750948 | 2147483647    65534     37 |  3.065 % |
20.63/20.73	c |     66436 |   26192   192146   750948 | 2147483647    65846     37 |  3.065 % |
20.74/20.82	c |     66775 |   26192   192146   750948 | 2147483647    66185     37 |  3.065 % |
20.84/20.93	c |     67147 |   26192   192146   750948 | 2147483647    66557     37 |  3.065 % |
20.84/20.99	c |     67559 |   26192   192146   750948 | 2147483647    66969     37 |  3.065 % |
20.93/21.09	c |     68012 |   26192   192146   750948 | 2147483647    67422     37 |  3.065 % |
21.03/21.18	c |     68505 |   26177   192146   750948 | 2147483647    67914     37 |  3.176 % |
21.23/21.34	c |     69048 |   26156   192146   750948 | 2147483647    68456     37 |  3.179 % |
21.33/21.50	c |     69644 |   26154   192146   750948 | 2147483647    69050     38 |  3.216 % |
21.53/21.68	c |     70304 |   26154   192146   750948 | 2147483647    69710     38 |  3.216 % |
21.73/21.82	c |     71024 |   26154   192146   750948 | 2147483647    70430     38 |  3.216 % |
22.03/22.20	c |     71816 |   26116   190857   746409 | 2147483647    71079     38 |  3.224 % |
22.33/22.42	c |     72687 |   26116   190857   746409 | 2147483647    71950     38 |  3.224 % |
22.33/22.46	c |     72787 |   26116   190857   746409 | 2147483647    72050     38 |  3.224 % |
22.33/22.49	c |     72897 |   26116   190857   746409 | 2147483647    72160     38 |  3.224 % |
22.43/22.55	c |     73018 |   26116   190857   746409 | 2147483647    72281     38 |  3.224 % |
22.53/22.63	c |     73151 |   26116   190857   746409 | 2147483647    72414     38 |  3.224 % |
22.53/22.70	c |     73300 |   26116   190857   746409 | 2147483647    72563     38 |  3.224 % |
22.63/22.74	c |     73462 |   26116   190857   746409 | 2147483647    72725     38 |  3.224 % |
22.63/22.78	c |     73638 |   26116   190857   746409 | 2147483647    72901     38 |  3.224 % |
22.73/22.83	c |     73835 |   26116   190857   746409 | 2147483647    73098     38 |  3.224 % |
22.73/22.88	c |     74047 |   26116   190857   746409 | 2147483647    73310     38 |  3.224 % |
22.93/23.02	c |     74280 |   26116   190857   746409 | 2147483647    73543     38 |  3.224 % |
22.93/23.08	c |     74536 |   26116   190857   746409 | 2147483647    73799     38 |  3.224 % |
23.03/23.14	c |     74819 |   26097   190857   746409 | 2147483647    74081     38 |  3.409 % |
23.13/23.23	c |     75130 |   26085   190857   746409 | 2147483647    74391     38 |  3.457 % |
23.13/23.30	c |     75469 |   26085   190857   746409 | 2147483647    74730     38 |  3.457 % |
23.34/23.40	c |     75847 |   26084   190857   746409 | 2147483647    75107     38 |  3.461 % |
23.34/23.48	c |     76256 |   26084   190857   746409 | 2147483647    75516     38 |  3.461 % |
23.44/23.59	c |     76706 |   26084   190857   746409 | 2147483647    75966     38 |  3.461 % |
23.54/23.68	c |     77199 |   26084   190857   746409 | 2147483647    76459     38 |  3.461 % |
23.64/23.78	c |     77741 |   26080   190857   746409 | 2147483647    76999     38 |  3.476 % |
23.84/23.90	c |     78337 |   26080   190857   746409 | 2147483647    77595     38 |  3.476 % |
23.94/24.04	c |     78995 |   26080   190857   746409 | 2147483647    78253     39 |  3.476 % |
24.04/24.19	c |     79715 |   26080   190857   746409 | 2147483647    78973     39 |  3.476 % |
24.23/24.35	c |     80507 |   26080   190857   746409 | 2147483647    79765     39 |  3.476 % |
24.43/24.52	c |     81378 |   26080   190857   746409 | 2147483647    80636     39 |  3.476 % |
24.63/24.72	c |     82336 |   26080   190857   746409 | 2147483647    81594     39 |  3.476 % |
24.63/24.76	c |     82436 |   26080   190857   746409 | 2147483647    81694     39 |  3.476 % |
24.73/24.82	c |     82548 |   26080   190857   746409 | 2147483647    81806     39 |  3.476 % |
24.73/24.87	c |     82669 |   26080   190857   746409 | 2147483647    81927     39 |  3.476 % |
24.83/24.90	c |     82803 |   26080   190857   746409 | 2147483647    82061     39 |  3.476 % |
24.83/24.94	c |     82950 |   26080   190857   746409 | 2147483647    82208     39 |  3.476 % |
24.93/25.02	c |     83111 |   26080   190857   746409 | 2147483647    82369     39 |  3.476 % |
24.93/25.07	c |     83290 |   26080   190857   746409 | 2147483647    82548     39 |  3.476 % |
25.03/25.13	c |     83483 |   26080   190857   746409 | 2147483647    82741     39 |  3.476 % |
25.03/25.19	c |     83696 |   26080   190857   746409 | 2147483647    82954     39 |  3.476 % |
25.13/25.29	c |     83930 |   26080   190857   746409 | 2147483647    83188     39 |  3.476 % |
25.23/25.37	c |     84186 |   26080   190857   746409 | 2147483647    83444     39 |  3.476 % |
25.33/25.46	c |     84467 |   26080   190857   746409 | 2147483647    83725     39 |  3.476 % |
25.43/25.53	c |     84776 |   26080   190857   746409 | 2147483647    84034     39 |  3.476 % |
25.53/25.68	c |     85115 |   26079   190857   746409 | 2147483647    84372     39 |  3.480 % |
25.73/25.83	c |     85487 |   26079   190857   746409 | 2147483647    84744     39 |  3.480 % |
25.83/25.93	c |     85896 |   26079   190857   746409 | 2147483647    85153     39 |  3.480 % |
25.93/26.04	c |     86357 |   26079   190857   746409 | 2147483647    85614     39 |  3.480 % |
26.03/26.15	c |     86850 |   26079   190857   746409 | 2147483647    86107     39 |  3.480 % |
26.33/26.46	c |     87393 |   26079   190857   746409 | 2147483647    86650     39 |  3.480 % |
26.43/26.59	c |     87989 |   26079   190857   746409 | 2147483647    87246     39 |  3.480 % |
26.63/26.76	c |     88646 |   26079   190857   746409 | 2147483647    87903     39 |  3.480 % |
27.13/27.27	c |     89367 |   26079   190857   746409 | 2147483647    88624     39 |  3.480 % |
27.34/27.46	c |     90159 |   26047   189666   742112 | 2147483647    88892     39 |  3.480 % |
27.53/27.63	c |     91030 |   26047   189666   742112 | 2147483647    89763     39 |  3.480 % |
27.83/27.94	c |     91988 |   26047   189666   742112 | 2147483647    90721     39 |  3.480 % |
28.13/28.29	c |     93041 |   26047   189666   742112 | 2147483647    91774     39 |  3.480 % |
28.23/28.34	c |     93146 |   26047   189666   742112 | 2147483647    91879     39 |  3.480 % |
28.23/28.39	c |     93256 |   26047   189666   742112 | 2147483647    91989     39 |  3.480 % |
28.33/28.44	c |     93377 |   26047   189666   742112 | 2147483647    92110     39 |  3.480 % |
28.33/28.48	c |     93511 |   26047   189666   742112 | 2147483647    92244     39 |  3.480 % |
28.44/28.56	c |     93658 |   26038   189666   742112 | 2147483647    92390     39 |  3.754 % |
28.54/28.62	c |     93819 |   26036   189666   742112 | 2147483647    92551     39 |  3.754 % |
28.63/28.70	c |     93995 |   26036   189666   742112 | 2147483647    92727     39 |  3.754 % |
28.73/28.80	c |     94191 |   26036   189666   742112 | 2147483647    92923     39 |  3.754 % |
28.73/28.86	c |     94405 |   26036   189666   742112 | 2147483647    93137     39 |  3.754 % |
28.83/28.95	c |     94638 |   26036   189666   742112 | 2147483647    93370     39 |  3.754 % |
28.93/29.02	c |     94896 |   26036   189666   742112 | 2147483647    93628     39 |  3.754 % |
28.93/29.08	c |     95178 |   26036   189666   742112 | 2147483647    93910     39 |  3.754 % |
29.03/29.15	c |     95487 |   26036   189666   742112 | 2147483647    94219     39 |  3.754 % |
29.13/29.24	c |     95827 |   26036   189666   742112 | 2147483647    94559     39 |  3.754 % |
29.23/29.36	c |     96199 |   26036   189666   742112 | 2147483647    94931     39 |  3.754 % |
29.33/29.45	c |     96609 |   26036   189666   742112 | 2147483647    95341     39 |  3.754 % |
29.43/29.54	c |     97059 |   26036   189666   742112 | 2147483647    95791     39 |  3.754 % |
29.63/29.72	c |     97552 |   26036   189666   742112 | 2147483647    96284     39 |  3.754 % |
29.73/29.89	c |     98096 |   26033   189666   742112 | 2147483647    96827     39 |  3.765 % |
30.03/30.14	c |     98693 |   26033   189666   742112 | 2147483647    97424     40 |  3.765 % |
30.13/30.27	c |     99348 |   26033   189666   742112 | 2147483647    98079     40 |  3.765 % |
30.43/30.52	c |    100072 |   26033   189666   742112 | 2147483647    98803     40 |  3.765 % |
30.63/30.72	c |    100875 |   26032   189666   742112 | 2147483647    99605     40 |  3.769 % |
30.92/31.08	c |    101746 |   26011   189666   742112 | 2147483647   100474     40 |  3.943 % |
31.22/31.32	c |    102704 |   26005   189666   742112 | 2147483647   101432     40 |  3.943 % |
31.42/31.51	c |    103757 |   26005   189666   742112 | 2147483647   102485     40 |  3.943 % |
31.83/31.94	c |    104917 |   26005   189666   742112 | 2147483647   103645     40 |  3.943 % |
31.83/31.98	c |    105017 |   26005   189666   742112 | 2147483647   103745     40 |  3.943 % |
31.92/32.04	c |    105127 |   25998   189666   742112 | 2147483647   103854     40 |  4.002 % |
31.92/32.10	c |    105249 |   25998   189666   742112 | 2147483647   103976     40 |  4.002 % |
32.02/32.13	c |    105382 |   25998   189666   742112 | 2147483647   104109     40 |  4.002 % |
32.02/32.17	c |    105533 |   25998   189666   742112 | 2147483647   104260     40 |  4.002 % |
32.12/32.25	c |    105696 |   25998   189666   742112 | 2147483647   104423     40 |  4.002 % |
32.22/32.32	c |    105872 |   25995   189666   742112 | 2147483647   104598     40 |  4.013 % |
32.32/32.41	c |    106066 |   25995   189666   742112 | 2147483647   104792     40 |  4.013 % |
32.32/32.48	c |    106279 |   25995   189666   742112 | 2147483647   105005     39 |  4.013 % |
32.42/32.55	c |    106512 |   25995   189666   742112 | 2147483647   105238     39 |  4.013 % |
32.53/32.67	c |    106769 |   25995   189666   742112 | 2147483647   105495     39 |  4.013 % |
32.63/32.74	c |    107054 |   25995   189666   742112 | 2147483647   105780     39 |  4.013 % |
32.73/32.86	c |    107367 |   25995   189666   742112 | 2147483647   106093     39 |  4.013 % |
32.93/33.08	c |    107706 |   25995   189666   742112 | 2147483647   106432     39 |  4.013 % |
33.03/33.18	c |    108079 |   25995   189666   742112 | 2147483647   106805     39 |  4.013 % |
33.23/33.31	c |    108494 |   25995   189666   742112 | 2147483647   107220     39 |  4.013 % |
33.33/33.47	c |    108943 |   25995   189666   742112 | 2147483647   107669     39 |  4.013 % |
33.43/33.59	c |    109436 |   25994   189666   742112 | 2147483647   108161     39 |  4.017 % |
33.63/33.71	c |    109978 |   25994   189666   742112 | 2147483647   108703     39 |  4.017 % |
33.73/33.84	c |    110574 |   25994   189666   742112 | 2147483647   109299     39 |  4.017 % |
33.93/34.05	c |    111229 |   25994   189666   742112 | 2147483647   109954     40 |  4.017 % |
34.13/34.21	c |    111950 |   25980   189666   742112 | 2147483647   110671     39 |  4.117 % |
34.23/34.38	c |    112747 |   25980   189666   742112 | 2147483647   111468     40 |  4.117 % |
34.43/34.59	c |    113619 |   25980   189666   742112 | 2147483647   112340     40 |  4.117 % |
34.73/34.81	c |    114580 |   25978   189666   742112 | 2147483647   113299     40 |  4.124 % |
34.93/35.04	c |    115639 |   25978   189666   742112 | 2147483647   114358     39 |  4.124 % |
35.22/35.31	c |    116799 |   25978   189666   742112 | 2147483647   115518     40 |  4.124 % |
35.52/35.69	c |    118072 |   25977   189666   742112 | 2147483647   116790     40 |  4.128 % |
35.62/35.74	c |    118173 |   25977   189666   742112 | 2147483647   116891     39 |  4.128 % |
35.72/35.84	c |    118285 |   25977   189666   742112 | 2147483647   117003     39 |  4.128 % |
35.72/35.88	c |    118407 |   25977   189666   742112 | 2147483647   117125     39 |  4.128 % |
35.82/35.97	c |    118549 |   25977   189666   742112 | 2147483647   117267     39 |  4.128 % |
35.92/36.07	c |    118695 |   25960   189666   742112 | 2147483647   117411     39 |  4.343 % |
36.13/36.25	c |    118855 |   25814   186058   728191 | 2147483647   114173     40 |  4.343 % |
36.23/36.31	c |    119033 |   25814   186058   728191 | 2147483647   114351     40 |  4.343 % |
36.32/36.43	c |    119227 |   25814   186058   728191 | 2147483647   114545     40 |  4.343 % |
36.42/36.51	c |    119439 |   25814   186058   728191 | 2147483647   114757     40 |  4.343 % |
36.42/36.59	c |    119672 |   25814   186058   728191 | 2147483647   114990     40 |  4.343 % |
36.52/36.68	c |    119931 |   25814   186058   728191 | 2147483647   115249     40 |  4.343 % |
36.62/36.80	c |    120212 |   25814   186058   728191 | 2147483647   115530     40 |  4.343 % |
36.72/36.89	c |    120521 |   25814   186058   728191 | 2147483647   115839     40 |  4.343 % |
36.92/37.01	c |    120866 |   25814   186058   728191 | 2147483647   116184     40 |  4.343 % |
37.02/37.19	c |    121238 |   25814   186058   728191 | 2147483647   116556     40 |  4.343 % |
37.12/37.30	c |    121652 |   25814   186058   728191 | 2147483647   116970     40 |  4.343 % |
37.33/37.44	c |    122101 |   25814   186058   728191 | 2147483647   117419     40 |  4.343 % |
37.42/37.56	c |    122608 |   25814   186058   728191 | 2147483647   117926     40 |  4.343 % |
37.82/37.90	c |    123150 |   25814   186058   728191 | 2147483647   118468     40 |  4.343 % |
37.92/38.07	c |    123746 |   25814   186058   728191 | 2147483647   119064     40 |  4.343 % |
38.32/38.43	c |    124401 |   25814   186058   728191 | 2147483647   119719     40 |  4.343 % |
38.42/38.58	c |    125124 |   25814   186058   728191 | 2147483647   120442     40 |  4.343 % |
38.82/38.95	c |    125917 |   25814   186058   728191 | 2147483647   121235     40 |  4.343 % |
39.02/39.15	c |    126794 |   25814   186058   728191 | 2147483647   122112     40 |  4.343 % |
39.53/39.62	c |    127752 |   25814   186058   728191 | 2147483647   123070     40 |  4.343 % |
39.72/39.88	c |    128806 |   25814   186058   728191 | 2147483647   124124     40 |  4.343 % |
40.22/40.36	c |    129964 |   25814   186058   728191 | 2147483647   125282     40 |  4.343 % |
40.72/40.80	c |    131237 |   25814   186058   728191 |   125319   126555     40 |  4.343 % |
41.42/41.59	c |    132637 |   25814   186058   728191 |   125319   113829     41 |  4.343 % |
41.52/41.64	c |    132739 |   25814   186058   728191 |   125319   113931     41 |  4.343 % |
41.63/41.70	c |    132850 |   25814   186058   728191 |   125319   114042     41 |  4.343 % |
41.63/41.79	c |    132971 |   25814   186058   728191 |   125319   114163     41 |  4.343 % |
41.73/41.83	c |    133104 |   25814   186058   728191 |   125319   114296     41 |  4.343 % |
41.82/41.96	c |    133251 |   25814   186058   728191 |   125319   114443     41 |  4.343 % |
41.92/42.02	c |    133414 |   25814   186058   728191 |   125319   114606     41 |  4.343 % |
42.02/42.11	c |    133591 |   25814   186058   728191 |   125319   114783     41 |  4.343 % |
42.12/42.23	c |    133784 |   25814   186058   728191 |   125319   114976     41 |  4.343 % |
42.22/42.32	c |    133996 |   25814   186058   728191 |   125319   115188     41 |  4.343 % |
42.22/42.39	c |    134229 |   25814   186058   728191 |   125319   115421     41 |  4.343 % |
42.42/42.52	c |    134485 |   25810   186058   728191 |   125319   115676     41 |  4.365 % |
42.52/42.63	c |    134766 |   25810   186058   728191 |   125319   115957     41 |  4.365 % |
42.73/42.84	c |    135076 |   25810   186058   728191 |   125319   116267     41 |  4.365 % |
42.92/43.04	c |    135418 |   25810   186058   728191 |   125319   116609     41 |  4.365 % |
43.02/43.16	c |    135801 |   25810   186058   728191 |   125319   116992     41 |  4.365 % |
43.22/43.35	c |    136211 |   25810   186058   728191 |   125319   117402     41 |  4.365 % |
43.42/43.56	c |    136666 |   25810   186058   728191 |   125319   117857     41 |  4.365 % |
43.72/43.85	c |    137160 |   25810   186058   728191 |   125319   118351     41 |  4.365 % |
43.83/43.99	c |    137705 |   25810   186058   728191 |   125319   118896     41 |  4.365 % |
44.22/44.34	c |    138301 |   25810   186058   728191 |   125319   119492     41 |  4.365 % |
44.42/44.54	c |    138956 |   25810   186058   728191 |   125319   120147     41 |  4.365 % |
44.82/44.99	c |    139677 |   25810   186058   728191 |   125319   120868     41 |  4.365 % |
45.12/45.28	c |    140469 |   25810   186058   728191 | 2147483647   121660     41 |  4.365 % |
45.82/45.99	c |    141341 |   25810   186058   728191 | 2147483647   122532     41 |  4.365 % |
46.12/46.22	c |    142301 |   25810   186058   728191 | 2147483647   123492     41 |  4.365 % |
46.42/46.59	c |    143355 |   25810   186058   728191 | 2147483647   124546     40 |  4.365 % |
46.82/46.92	c |    144515 |   25810   186058   728191 | 2147483647   125706     40 |  4.365 % |
47.52/47.63	c |    145788 |   25810   186058   728191 | 2147483647   126979     40 |  4.365 % |
47.92/48.00	c |    147192 |   25810   186058   728191 | 2147483647   128383     40 |  4.365 % |
48.92/49.08	c |    148732 |   25810   186058   728191 | 2147483647   129923     40 |  4.365 % |
49.01/49.13	c |    148834 |   25810   186058   728191 | 2147483647   130025     40 |  4.365 % |
49.12/49.23	c |    148944 |   25810   186058   728191 | 2147483647   130135     40 |  4.365 % |
49.22/49.30	c |    149067 |   25810   186058   728191 | 2147483647   130258     40 |  4.365 % |
49.32/49.40	c |    149202 |   25810   186058   728191 | 2147483647   130393     40 |  4.365 % |
49.32/49.47	c |    149350 |   25810   186058   728191 | 2147483647   130541     40 |  4.365 % |
49.52/49.62	c |    149510 |   25810   186058   728191 | 2147483647   130701     40 |  4.365 % |
49.61/49.73	c |    149687 |   25810   186058   728191 | 2147483647   130878     40 |  4.365 % |
49.71/49.80	c |    149881 |   25810   186058   728191 | 2147483647   131072     40 |  4.365 % |
49.81/49.95	c |    150093 |   25810   186058   728191 |   131192   131284     40 |  4.365 % |
49.91/50.08	c |    150327 |   25806   186058   728191 |   131192   131517     40 |  4.387 % |
50.21/50.30	c |    150583 |   25806   186058   728191 |   131192   131773     40 |  4.387 % |
50.31/50.41	c |    150865 |   25806   186058   728191 |   131192   132055     40 |  4.387 % |
50.52/50.61	c |    151175 |   25806   186058   728191 |   131192   132365     40 |  4.387 % |
50.81/50.96	c |    151515 |   25806   186058   728191 |   131192   112375     39 |  4.387 % |
50.91/51.09	c |    151890 |   25806   186058   728191 |   131192   112750     39 |  4.387 % |
51.31/51.43	c |    152299 |   25806   186058   728191 |   131192   113159     39 |  4.387 % |
51.52/51.61	c |    152753 |   25802   185829   727368 |   131192   113586     39 |  4.387 % |
51.91/52.02	c |    153247 |   25802   185829   727368 |   131192   114080     39 |  4.387 % |
52.11/52.25	c |    153790 |   25798   185829   727368 |   131192   114622     39 |  4.402 % |
52.51/52.65	c |    154388 |   25798   185829   727368 |   131192   115220     39 |  4.402 % |
52.72/52.84	c |    155044 |   25798   185829   727368 |   131192   115876     39 |  4.402 % |
53.31/53.47	c |    155764 |   25797   185829   727368 |   131192   116595     39 |  4.406 % |
53.51/53.67	c |    156558 |   25797   185829   727368 |   131192   117389     39 |  4.406 % |
53.91/54.05	c |    157434 |   25797   185829   727368 |   131192   118265     39 |  4.406 % |
54.41/54.55	c |    158392 |   25793   185829   727368 |   131192   119221     39 |  4.421 % |
55.01/55.17	c |    159447 |   25793   185829   727368 |   131192   120274     39 |  4.458 % |
55.41/55.50	c |    160615 |   25790   185829   727368 | 2147483647   121442     39 |  4.458 % |
55.81/55.97	c |    161888 |   25789   185829   727368 | 2147483647   122714     39 |  4.465 % |
57.01/57.15	c |    163288 |   25786   185829   727368 | 2147483647   124113     39 |  4.476 % |
57.71/57.85	c |    164835 |   25781   185829   727368 | 2147483647   125659     39 |  4.495 % |
58.21/58.38	c |    166532 |   25777   185829   727368 | 2147483647   127354     39 |  4.510 % |
58.31/58.43	c |    166632 |   25775   185829   727368 | 2147483647   127453     39 |  4.525 % |
58.31/58.48	c |    166743 |   25774   185829   727368 | 2147483647   127563     39 |  4.528 % |
58.41/58.54	c |    166869 |   25762   185829   727368 | 2147483647   127688     39 |  4.743 % |
58.41/58.60	c |    167005 |   25762   185829   727368 | 2147483647   127824     39 |  4.743 % |
58.51/58.65	c |    167151 |   25762   185829   727368 | 2147483647   127970     39 |  4.743 % |
58.61/58.73	c |    167311 |   25762   185829   727368 | 2147483647   128130     39 |  4.743 % |
58.61/58.78	c |    167487 |   25762   185829   727368 | 2147483647   128306     39 |  4.743 % |
58.71/58.84	c |    167680 |   25762   185829   727368 | 2147483647   128499     39 |  4.743 % |
58.81/58.92	c |    167893 |   25762   185829   727368 | 2147483647   128712     39 |  4.743 % |
58.91/59.00	c |    168126 |   25762   185829   727368 | 2147483647   128945     39 |  4.743 % |
59.01/59.10	c |    168382 |   25762   185829   727368 | 2147483647   129201     39 |  4.743 % |
59.01/59.19	c |    168663 |   25762   185829   727368 | 2147483647   129482     39 |  4.743 % |
59.11/59.29	c |    168976 |   25762   185829   727368 | 2147483647   129795     39 |  4.743 % |
59.31/59.40	c |    169315 |   25762   185829   727368 | 2147483647   130134     39 |  4.743 % |
59.41/59.53	c |    169695 |   25762   185829   727368 | 2147483647   130514     39 |  4.743 % |
59.51/59.66	c |    170105 |   25762   185829   727368 | 2147483647   130924     39 |  4.743 % |
59.71/59.80	c |    170556 |   25762   185829   727368 | 2147483647   131375     39 |  4.743 % |
59.81/60.00	c |    171051 |   25762   185829   727368 | 2147483647   131870     39 |  4.743 % |
60.01/60.18	c |    171593 |   25762   185829   727368 | 2147483647   132412     39 |  4.743 % |
60.21/60.37	c |    172189 |   25762   185829   727368 | 2147483647   133007     38 |  4.810 % |
60.51/60.63	c |    172844 |   25762   185829   727368 | 2147483647   133662     38 |  4.810 % |
60.71/60.87	c |    173567 |   25762   185829   727368 | 2147483647   134385     38 |  4.810 % |
61.01/61.15	c |    174362 |   25762   185829   727368 | 2147483647   135180     38 |  4.810 % |
61.31/61.42	c |    175233 |   25762   185829   727368 | 2147483647   136051     38 |  4.810 % |
61.61/61.73	c |    176198 |   25762   185829   727368 | 2147483647   137016     38 |  4.810 % |
61.90/62.06	c |    177254 |   25760   185829   727368 | 2147483647   138071     38 |  4.910 % |
62.90/63.05	c |    178412 |   25661   184053   720542 | 2147483647    86564     35 |  4.910 % |
63.30/63.43	c |    179685 |   25661   184053   720542 | 2147483647    87837     34 |  4.910 % |
63.71/63.87	c |    181093 |   25661   184053   720542 | 2147483647    89245     34 |  4.910 % |
64.20/64.39	c |    182635 |   25661   184053   720542 | 2147483647    90787     34 |  4.910 % |
64.81/64.96	c |    184329 |   25661   184053   720542 | 2147483647    92481     34 |  4.910 % |
65.40/65.59	c |    186192 |   25661   184053   720542 | 2147483647    94344     34 |  4.910 % |
65.50/65.63	c |    186297 |   25661   184053   720542 | 2147483647    94449     34 |  4.910 % |
65.50/65.67	c |    186407 |   25661   184053   720542 | 2147483647    94559     34 |  4.910 % |
65.60/65.72	c |    186530 |   25661   184053   720542 | 2147483647    94682     34 |  4.910 % |
65.60/65.78	c |    186663 |   25661   184053   720542 | 2147483647    94815     34 |  4.910 % |
65.70/65.84	c |    186809 |   25661   184053   720542 | 2147483647    94961     34 |  4.910 % |
65.70/65.90	c |    186971 |   25661   184053   720542 | 2147483647    95123     34 |  4.910 % |
65.81/65.95	c |    187151 |   25661   184053   720542 | 2147483647    95303     34 |  4.910 % |
65.91/66.01	c |    187344 |   25661   184053   720542 | 2147483647    95496     34 |  4.910 % |
65.91/66.07	c |    187558 |   25661   184053   720542 | 2147483647    95710     33 |  4.910 % |
66.00/66.17	c |    187791 |   25661   184053   720542 | 2147483647    95943     33 |  4.910 % |
66.10/66.27	c |    188047 |   25661   184053   720542 | 2147483647    96199     33 |  4.910 % |
66.20/66.38	c |    188335 |   25661   184053   720542 | 2147483647    96487     33 |  4.910 % |
66.30/66.48	c |    188644 |   25661   184053   720542 | 2147483647    96796     33 |  4.910 % |
66.50/66.61	c |    188984 |   25661   184053   720542 | 2147483647    97136     33 |  4.910 % |
66.60/66.75	c |    189356 |   25661   184053   720542 | 2147483647    97508     33 |  4.910 % |
66.70/66.88	c |    189765 |   25661   184053   720542 | 2147483647    97917     33 |  4.910 % |
66.91/67.04	c |    190216 |   25661   184053   720542 |    98152    98368     33 |  4.910 % |
67.10/67.22	c |    190711 |   25661   184053   720542 |    98152    98863     33 |  4.910 % |
67.30/67.41	c |    191253 |   25661   184053   720542 |    98152    99405     33 |  4.910 % |
67.70/67.82	c |    191851 |   25661   184053   720542 |    98152    85559     33 |  4.910 % |
67.90/68.00	c |    192509 |   25661   184053   720542 |    98152    86217     33 |  4.910 % |
68.11/68.22	c |    193229 |   25661   184053   720542 |    98152    86937     33 |  4.910 % |
68.30/68.47	c |    194021 |   25661   184053   720542 |    98152    87729     32 |  4.910 % |
68.60/68.79	c |    194895 |   25661   184053   720542 |    98152    88603     32 |  4.910 % |
68.90/69.09	c |    195854 |   25661   184053   720542 |    98152    89562     32 |  4.910 % |
69.30/69.43	c |    196916 |   25661   184053   720542 |    98152    90624     32 |  4.910 % |
69.70/69.84	c |    198074 |   25661   184053   720542 |    98152    91782     32 |  4.910 % |
70.10/70.28	c |    199348 |   25661   184053   720542 |    98152    93056     32 |  4.910 % |
70.60/70.76	c |    200755 |   25661   184053   720542 |    93708    94463     32 |  4.910 % |
71.30/71.49	c |    202297 |   25661   184053   720542 |    93708    78733     30 |  4.910 % |
71.90/72.00	c |    203991 |   25661   184053   720542 |    93708    80427     30 |  4.910 % |
72.40/72.59	c |    205858 |   25661   184053   720542 |    93708    82294     30 |  4.910 % |
73.20/73.30	c |    207908 |   25661   184053   720542 |    93708    84344     30 |  4.910 % |
73.20/73.34	c |    208011 |   25661   184053   720542 |    93708    84447     30 |  4.910 % |
73.20/73.39	c |    208125 |   25661   184053   720542 |    93708    84561     30 |  4.910 % |
73.30/73.42	c |    208247 |   25661   184053   720542 |    93708    84683     30 |  4.910 % |
73.30/73.47	c |    208380 |   25661   184053   720542 |    93708    84816     30 |  4.910 % |
73.40/73.52	c |    208528 |   25661   184053   720542 |    93708    84964     30 |  4.910 % |
73.40/73.59	c |    208695 |   25661   184053   720542 |    93708    85131     30 |  4.910 % |
73.50/73.66	c |    208875 |   25661   184053   720542 |    93708    85311     30 |  4.910 % |
73.60/73.73	c |    209069 |   25661   184053   720542 |    93708    85505     30 |  4.910 % |
73.70/73.81	c |    209281 |   25661   184053   720542 |    93708    85717     30 |  4.910 % |
73.80/73.90	c |    209515 |   25661   184053   720542 |    93708    85951     30 |  4.910 % |
73.80/73.98	c |    209771 |   25661   184053   720542 |    93708    86207     30 |  4.910 % |
73.90/74.07	c |    210054 |   25661   184053   720542 |    86437    86490     30 |  4.910 % |
74.00/74.17	c |    210364 |   25661   184053   720542 |    86437    86800     30 |  4.910 % |
74.10/74.28	c |    210703 |   25661   184053   720542 |    86437    87139     30 |  4.910 % |
74.30/74.41	c |    211075 |   25661   184053   720542 |    86437    87511     30 |  4.910 % |
74.40/74.54	c |    211486 |   25661   184053   720542 |    86437    87922     30 |  4.910 % |
74.70/74.87	c |    211939 |   25661   184053   720542 |    86437    70634     27 |  4.910 % |
74.90/75.00	c |    212435 |   25661   184053   720542 |    86437    71130     27 |  4.910 % |
75.00/75.16	c |    212985 |   25661   184053   720542 |    86437    71680     27 |  4.910 % |
75.20/75.36	c |    213585 |   25661   184053   720542 |    86437    72280     27 |  4.910 % |
75.40/75.57	c |    214241 |   25661   184053   720542 |    86437    72936     27 |  4.910 % |
75.60/75.78	c |    214961 |   25661   184053   720542 |    86437    73656     27 |  4.910 % |
75.80/75.99	c |    215754 |   25661   184053   720542 |    86437    74449     27 |  4.910 % |
76.10/76.24	c |    216628 |   25661   184053   720542 |    86437    75323     27 |  4.910 % |
76.39/76.51	c |    217586 |   25661   184053   720542 |    86437    76281     27 |  4.910 % |
76.69/76.86	c |    218640 |   25661   184053   720542 |    86437    77335     27 |  4.910 % |
77.09/77.22	c |    219799 |   25661   184053   720542 |    86437    78494     27 |  4.910 % |
77.49/77.60	c |    221072 |   25661   184053   720542 |    78705    79767     27 |  4.910 % |
78.00/78.14	c |    222475 |   25661   184053   720542 |    78705    64519     25 |  4.910 % |
78.49/78.60	c |    224021 |   25592   183347   717835 |    78705    66040     25 |  5.166 % |
79.00/79.13	c |    225716 |   25592   183347   717835 |    78705    67735     25 |  5.166 % |
79.60/79.71	c |    227580 |   25592   183347   717835 |    78705    69599     25 |  5.166 % |
80.20/80.36	c |    229629 |   25592   183347   717835 |    78705    71648     25 |  5.166 % |
81.10/81.29	c |    231882 |   25592   183347   717835 |    72020    58369     23 |  5.166 % |
81.20/81.32	c |    231982 |   25592   183347   717835 |    72020    58469     23 |  5.166 % |
81.20/81.34	c |    232095 |   25592   183347   717835 |    72020    58582     23 |  5.166 % |
81.20/81.39	c |    232216 |   25592   183347   717835 |    72020    58703     23 |  5.166 % |
81.30/81.42	c |    232352 |   25592   183347   717835 |    72020    58839     23 |  5.166 % |
81.30/81.46	c |    232505 |   25592   183347   717835 |    72020    58992     23 |  5.166 % |
81.40/81.51	c |    232676 |   25592   183347   717835 |    72020    59163     23 |  5.166 % |
81.40/81.55	c |    232852 |   25592   183347   717835 |    72020    59339     23 |  5.166 % |
81.50/81.60	c |    233048 |   25592   183347   717835 |    72020    59535     23 |  5.166 % |
81.50/81.66	c |    233262 |   25592   183347   717835 |    72020    59749     24 |  5.166 % |
81.60/81.73	c |    233497 |   25592   183347   717835 |    72020    59984     24 |  5.166 % |
81.60/81.79	c |    233753 |   25592   183347   717835 |    72020    60240     24 |  5.166 % |
81.70/81.86	c |    234035 |   25592   183347   717835 |    72020    60522     24 |  5.166 % |
81.80/81.95	c |    234346 |   25592   183347   717835 |    72020    60833     24 |  5.166 % |
81.90/82.02	c |    234685 |   25592   183347   717835 |    72020    61172     24 |  5.166 % |
82.00/82.13	c |    235063 |   25592   183347   717835 |    72020    61550     24 |  5.166 % |
82.10/82.27	c |    235475 |   25592   183347   717835 |    72020    61962     24 |  5.166 % |
82.20/82.40	c |    235924 |   25592   183347   717835 |    72020    62411     24 |  5.166 % |
82.40/82.54	c |    236420 |   25592   183347   717835 |    72020    62907     24 |  5.166 % |
82.50/82.69	c |    236962 |   25592   183347   717835 |    72020    63449     24 |  5.166 % |
82.70/82.86	c |    237559 |   25592   183347   717835 |    72020    64046     24 |  5.166 % |
82.89/83.07	c |    238216 |   25592   183347   717835 |    72020    64703     24 |  5.166 % |
83.09/83.29	c |    238936 |   25592   183347   717835 |    72020    65423     23 |  5.166 % |
83.40/83.52	c |    239728 |   25592   183347   717835 |    72020    66215     23 |  5.166 % |
83.59/83.78	c |    240599 |   25592   183347   717835 |    66488    67086     23 |  5.166 % |
83.89/84.06	c |    241558 |   25592   183347   717835 |    66488    68045     23 |  5.166 % |
84.39/84.57	c |    242612 |   25592   183347   717835 |    66488    55049     23 |  5.166 % |
84.69/84.86	c |    243772 |   25592   183347   717835 |    66488    56209     23 |  5.166 % |
84.99/85.19	c |    245045 |   25592   183347   717835 |    66488    57482     23 |  5.166 % |
85.39/85.55	c |    246447 |   25592   183347   717835 |    66488    58884     23 |  5.166 % |
85.79/85.94	c |    247990 |   25592   183347   717835 |    66488    60427     23 |  5.166 % |
86.19/86.36	c |    249685 |   25592   183347   717835 |    66488    62122     23 |  5.166 % |
86.70/86.89	c |    251560 |   25592   183347   717835 |    62437    63997     23 |  5.166 % |
87.59/87.77	c |    253609 |   25592   183347   717835 |    62437    53122     23 |  5.166 % |
88.09/88.29	c |    255869 |   25592   183347   717835 |    62437    55382     23 |  5.166 % |
88.69/88.88	c |    258350 |   25592   183347   717835 |    62437    57863     23 |  5.166 % |
88.79/88.90	c |    258454 |   25592   183347   717835 |    62437    57967     23 |  5.166 % |
88.79/88.93	c |    258567 |   25592   183347   717835 |    62437    58080     23 |  5.166 % |
88.79/88.98	c |    258688 |   25592   183347   717835 |    62437    58201     23 |  5.166 % |
88.90/89.01	c |    258821 |   25592   183347   717835 |    62437    58334     23 |  5.166 % |
88.90/89.06	c |    258967 |   25592   183347   717835 |    62437    58480     23 |  5.166 % |
88.90/89.09	c |    259127 |   25592   183347   717835 |    62437    58640     23 |  5.166 % |
89.00/89.14	c |    259303 |   25592   183347   717835 |    62437    58816     23 |  5.166 % |
89.00/89.19	c |    259497 |   25592   183347   717835 |    62437    59010     23 |  5.166 % |
89.09/89.24	c |    259709 |   25592   183347   717835 |    62437    59222     23 |  5.166 % |
89.19/89.31	c |    259946 |   25592   183347   717835 |    62437    59459     23 |  5.166 % |
89.19/89.37	c |    260202 |   25592   183347   717835 |    59513    59715     23 |  5.166 % |
89.29/89.44	c |    260487 |   25592   183347   717835 |    59513    60000     23 |  5.166 % |
89.39/89.52	c |    260798 |   25592   183347   717835 |    59513    60311     23 |  5.166 % |
89.49/89.61	c |    261137 |   25592   183347   717835 |    59513    60650     23 |  5.166 % |
89.59/89.71	c |    261513 |   25592   183347   717835 |    59513    61026     23 |  5.166 % |
89.99/90.18	c |    261922 |   25592   183347   717835 |    59513    49968     23 |  5.166 % |
90.09/90.29	c |    262381 |   25592   183347   717835 |    59513    50427     23 |  5.166 % |
90.29/90.42	c |    262874 |   25592   183347   717835 |    59513    50920     23 |  5.166 % |
90.39/90.56	c |    263418 |   25592   183347   717835 |    59513    51464     23 |  5.166 % |
90.59/90.70	c |    264020 |   25592   183347   717835 |    59513    52066     23 |  5.166 % |
90.69/90.86	c |    264676 |   25592   183347   717835 |    59513    52722     23 |  5.166 % |
90.89/91.03	c |    265397 |   25592   183347   717835 |    59513    53443     23 |  5.166 % |
91.09/91.21	c |    266189 |   25592   183347   717835 |    59513    54235     23 |  5.166 % |
91.29/91.43	c |    267060 |   25592   183347   717835 |    59513    55106     23 |  5.166 % |
91.49/91.68	c |    268018 |   25592   183347   717835 |    59513    56064     23 |  5.166 % |
91.79/91.96	c |    269074 |   25592   183347   717835 |    59513    57120     23 |  5.166 % |
92.09/92.27	c |    270232 |   25592   183347   717835 |    58046    58278     23 |  5.166 % |
92.39/92.59	c |    271507 |   25592   183347   717835 |    58046    59553     23 |  5.166 % |
92.99/93.14	c |    272907 |   25592   183347   717835 |    58046    51549     23 |  5.166 % |
93.39/93.53	c |    274447 |   25592   183347   717835 |    58046    53089     23 |  5.166 % |
93.79/93.94	c |    276142 |   25592   183347   717835 |    58046    54784     23 |  5.166 % |
94.19/94.39	c |    278012 |   25592   183347   717835 |    58046    56654     23 |  5.166 % |
94.79/94.93	c |    280063 |   25592   183347   717835 |    58644    58705     23 |  5.166 % |
95.49/95.64	c |    282319 |   25592   183347   717835 |    58644    51640     23 |  5.166 % |
96.08/96.21	c |    284799 |   25592   183347   717835 |    58644    54120     23 |  5.166 % |
96.69/96.89	c |    287526 |   25592   183347   717835 |    58644    56847     23 |  5.166 % |
96.78/96.93	c |    287626 |   25592   183347   717835 |    58644    56947     23 |  5.166 % |
96.78/96.96	c |    287736 |   25592   183347   717835 |    58644    57057     23 |  5.166 % |
96.78/96.99	c |    287857 |   25592   183347   717835 |    58644    57178     23 |  5.166 % |
96.88/97.02	c |    287990 |   25592   183347   717835 |    58644    57311     23 |  5.166 % |
96.88/97.06	c |    288136 |   25592   183347   717835 |    58644    57457     23 |  5.166 % |
96.98/97.10	c |    288298 |   25592   183347   717835 |    58644    57619     23 |  5.166 % |
96.98/97.15	c |    288476 |   25592   183347   717835 |    58644    57797     23 |  5.166 % |
96.98/97.19	c |    288669 |   25592   183347   717835 |    58644    57990     23 |  5.166 % |
97.08/97.26	c |    288881 |   25592   183347   717835 |    58644    58202     23 |  5.166 % |
97.18/97.31	c |    289115 |   25592   183347   717835 |    58644    58436     23 |  5.166 % |
97.18/97.37	c |    289371 |   25592   183347   717835 |    58644    58692     23 |  5.166 % |
97.28/97.44	c |    289664 |   25592   183347   717835 |    58644    58985     23 |  5.166 % |
97.38/97.53	c |    289975 |   25592   183347   717835 |    58644    59296     23 |  5.166 % |
97.48/97.63	c |    290315 |   25592   183347   717835 |    59321    59636     23 |  5.166 % |
97.58/97.73	c |    290687 |   25592   183347   717835 |    59321    60008     23 |  5.166 % |
97.68/97.84	c |    291097 |   25592   183347   717835 |    59321    60418     23 |  5.166 % |
97.78/97.96	c |    291547 |   25592   183347   717835 |    59321    60868     23 |  5.166 % |
98.08/98.26	c |    292041 |   25592   183347   717835 |    59321    51777     23 |  5.166 % |
98.28/98.41	c |    292583 |   25592   183347   717835 |    59321    52319     23 |  5.166 % |
98.38/98.57	c |    293180 |   25592   183347   717835 |    59321    52916     23 |  5.166 % |
98.58/98.75	c |    293836 |   25592   183347   717835 |    59321    53572     23 |  5.166 % |
98.78/98.92	c |    294566 |   25592   183347   717835 |    59321    54302     23 |  5.166 % |
98.98/99.19	c |    295358 |   25591   183341   717817 |    59321    55093     23 |  5.169 % |
99.28/99.40	c |    296229 |   25591   183341   717817 |    59321    55964     23 |  5.169 % |
99.48/99.65	c |    297187 |   25591   183341   717817 |    59321    56922     23 |  5.169 % |
99.78/99.92	c |    298241 |   25591   183341   717817 |    59321    57976     23 |  5.169 % |
100.08/100.21	c |    299400 |   25591   183341   717817 |    59321    59135     23 |  5.169 % |
100.38/100.53	c |    300677 |   25591   183341   717817 |    59735    60412     23 |  5.169 % |
100.99/101.15	c |    302077 |   25591   183341   717817 |    59735    51858     23 |  5.169 % |
101.38/101.51	c |    303619 |   25591   183341   717817 |    59735    53400     23 |  5.169 % |
101.68/101.90	c |    305318 |   25591   183341   717817 |    59735    55099     23 |  5.169 % |
102.18/102.34	c |    307191 |   25591   183341   717817 |    59735    56972     23 |  5.169 % |
102.68/102.83	c |    309241 |   25591   183341   717817 |    59735    59022     23 |  5.169 % |
103.18/103.36	c |    311496 |   25591   183341   717817 |    59784    61277     23 |  5.169 % |
103.98/104.12	c |    313979 |   25591   183341   717817 |    59784    53562     23 |  5.169 % |
104.68/104.81	c |    316709 |   25591   183341   717817 |    59784    56292     23 |  5.169 % |
105.38/105.57	c |    319706 |   25591   183341   717817 |    59784    59289     23 |  5.169 % |
105.38/105.60	c |    319807 |   25591   183341   717817 |    59784    59390     23 |  5.169 % |
105.48/105.62	c |    319918 |   25591   183341   717817 |    59784    59501     23 |  5.169 % |
105.48/105.66	c |    320043 |   25591   183341   717817 |    59583    59626     23 |  5.169 % |
105.58/105.71	c |    320176 |   25591   183341   717817 |    59583    59759     23 |  5.169 % |
105.58/105.74	c |    320326 |   25591   183341   717817 |    59583    59909     23 |  5.169 % |
105.58/105.79	c |    320487 |   25591   183341   717817 |    59583    60070     23 |  5.169 % |
105.68/105.82	c |    320663 |   25591   183341   717817 |    59583    60246     23 |  5.169 % |
105.68/105.88	c |    320856 |   25591   183341   717817 |    59583    60439     23 |  5.169 % |
105.78/105.93	c |    321068 |   25591   183341   717817 |    59583    60651     23 |  5.169 % |
105.88/106.01	c |    321305 |   25591   183341   717817 |    59583    60888     23 |  5.169 % |
105.88/106.08	c |    321563 |   25591   183341   717817 |    59583    61146     23 |  5.169 % |
106.18/106.35	c |    321844 |   25591   183341   717817 |    59583    51176     23 |  5.169 % |
106.28/106.41	c |    322153 |   25591   183341   717817 |    59583    51485     23 |  5.169 % |
106.38/106.50	c |    322492 |   25591   183341   717817 |    59583    51824     23 |  5.169 % |
106.38/106.58	c |    322864 |   25591   183341   717817 |    59583    52196     23 |  5.169 % |
106.48/106.68	c |    323273 |   25591   183341   717817 |    59583    52605     23 |  5.169 % |
106.58/106.79	c |    323724 |   25591   183341   717817 |    59583    53056     23 |  5.169 % |
106.78/106.90	c |    324218 |   25591   183341   717817 |    59583    53550     23 |  5.169 % |
106.88/107.05	c |    324760 |   25591   183341   717817 |    59583    54092     23 |  5.169 % |
106.98/107.18	c |    325356 |   25591   183341   717817 |    59583    54688     23 |  5.169 % |
107.18/107.34	c |    326019 |   25591   183341   717817 |    59583    55351     23 |  5.169 % |
107.38/107.53	c |    326739 |   25591   183341   717817 |    59583    56071     23 |  5.169 % |
107.58/107.74	c |    327533 |   25591   183341   717817 |    59583    56865     23 |  5.169 % |
107.78/107.99	c |    328405 |   25591   183341   717817 |    59583    57737     23 |  5.169 % |
108.08/108.23	c |    329363 |   25591   183341   717817 |    59583    58695     23 |  5.169 % |
108.28/108.49	c |    330416 |   25591   183341   717817 |    59332    59748     23 |  5.169 % |
108.58/108.77	c |    331593 |   25591   183341   717817 |    59332    60925     23 |  5.169 % |
109.18/109.34	c |    332866 |   25591   183341   717817 |    59332    52782     23 |  5.169 % |
109.48/109.66	c |    334266 |   25591   183341   717817 |    59332    54182     23 |  5.169 % |
109.88/110.04	c |    335807 |   25591   183341   717817 |    59332    55723     23 |  5.169 % |
110.27/110.43	c |    337502 |   25591   183341   717817 |    59332    57418     23 |  5.169 % |
110.77/110.90	c |    339369 |   25591   183341   717817 |    59332    59285     23 |  5.169 % |
111.27/111.46	c |    341419 |   25591   183341   717817 |    59917    61335     23 |  5.169 % |
111.98/112.13	c |    343672 |   25591   183341   717817 |    59917    53897     23 |  5.169 % |
112.57/112.73	c |    346150 |   25591   183341   717817 |    59917    56375     22 |  5.169 % |
113.27/113.41	c |    348880 |   25591   183341   717817 |    59917    59105     22 |  5.169 % |
114.28/114.42	c |    351877 |   25591   183341   717817 |    60225    52205     22 |  5.169 % |
115.07/115.21	c |    355180 |   25588   183336   717800 |    60225    55506     22 |  5.184 % |
115.07/115.24	c |    355281 |   25588   183336   717800 |    60225    55607     22 |  5.184 % |
115.07/115.27	c |    355392 |   25588   183336   717800 |    60225    55718     22 |  5.184 % |
115.07/115.29	c |    355514 |   25588   183336   717800 |    60225    55840     22 |  5.184 % |
115.17/115.34	c |    355649 |   25588   183336   717800 |    60225    55975     22 |  5.184 % |
115.17/115.38	c |    355795 |   25588   183336   717800 |    60225    56121     22 |  5.184 % |
115.27/115.43	c |    355955 |   25588   183336   717800 |    60225    56281     22 |  5.184 % |
115.27/115.47	c |    356132 |   25588   183336   717800 |    60225    56458     22 |  5.184 % |
115.37/115.53	c |    356325 |   25588   183336   717800 |    60225    56651     22 |  5.184 % |
115.37/115.58	c |    356537 |   25588   183336   717800 |    60225    56863     22 |  5.184 % |
115.47/115.65	c |    356771 |   25588   183336   717800 |    60225    57097     22 |  5.184 % |
115.57/115.72	c |    357030 |   25588   183336   717800 |    60225    57356     22 |  5.184 % |
115.67/115.80	c |    357312 |   25588   183336   717800 |    60225    57638     22 |  5.184 % |
115.67/115.88	c |    357621 |   25588   183336   717800 |    60225    57947     22 |  5.184 % |
115.77/115.96	c |    357960 |   25588   183336   717800 |    60225    58286     22 |  5.184 % |
115.87/116.05	c |    358332 |   25588   183336   717800 |    60225    58658     22 |  5.184 % |
115.97/116.17	c |    358741 |   25588   183336   717800 |    60225    59067     22 |  5.184 % |
116.17/116.30	c |    359190 |   25588   183336   717800 |    60225    59516     22 |  5.184 % |
116.27/116.43	c |    359684 |   25588   183336   717800 |    60225    60010     22 |  5.184 % |
116.37/116.59	c |    360228 |   25588   183336   717800 |    60330    60554     22 |  5.184 % |
116.57/116.74	c |    360827 |   25588   183336   717800 |    60330    61153     22 |  5.184 % |
116.77/116.93	c |    361489 |   25588   183336   717800 |    60330    61815     22 |  5.184 % |
117.17/117.33	c |    362211 |   25588   183336   717800 |    60330    53331     23 |  5.184 % |
117.37/117.54	c |    363006 |   25588   183336   717800 |    60330    54126     23 |  5.184 % |
117.57/117.78	c |    363878 |   25588   183336   717800 |    60330    54998     23 |  5.184 % |
117.87/118.03	c |    364838 |   25588   183336   717800 |    60330    55958     23 |  5.184 % |
118.17/118.33	c |    365897 |   25588   183336   717800 |    60330    57017     23 |  5.184 % |
118.47/118.64	c |    367059 |   25588   183336   717800 |    60330    58179     23 |  5.184 % |
118.87/119.01	c |    368333 |   25588   183336   717800 |    60330    59453     23 |  5.184 % |
119.17/119.39	c |    369733 |   25587   183296   717641 |    60330    60853     23 |  5.184 % |
119.57/119.79	c |    371273 |   25587   183296   717641 |    61120    62393     23 |  5.184 % |
120.27/120.45	c |    372968 |   25587   183296   717641 |    61120    54702     23 |  5.184 % |
120.77/120.91	c |    374831 |   25587   183296   717641 |    61120    56565     23 |  5.184 % |
121.26/121.43	c |    376880 |   25587   183296   717641 |    61120    58614     23 |  5.184 % |
121.87/122.05	c |    379134 |   25587   183296   717641 |    61120    60868     22 |  5.184 % |
122.56/122.74	c |    381614 |   25587   183296   717641 |    61737    63348     23 |  5.184 % |
123.46/123.69	c |    384343 |   25587   183296   717641 |    61737    55605     22 |  5.184 % |
124.26/124.46	c |    387340 |   25587   183296   717641 |    61737    58602     22 |  5.184 % |
125.06/125.29	c |    390636 |   25587   183296   717641 |    61263    61898     22 |  5.184 % |
126.16/126.32	c |    394261 |   25587   183296   717641 |    61263    55150     22 |  5.184 % |
126.16/126.35	c |    394361 |   25587   183296   717641 |    61263    55250     22 |  5.184 % |
126.16/126.38	c |    394472 |   25587   183296   717641 |    61263    55361     22 |  5.184 % |
126.27/126.40	c |    394600 |   25587   183296   717641 |    61263    55489     22 |  5.184 % |
126.27/126.44	c |    394733 |   25587   183296   717641 |    61263    55622     22 |  5.184 % |
126.27/126.47	c |    394879 |   25587   183296   717641 |    61263    55768     22 |  5.184 % |
126.37/126.50	c |    395040 |   25587   183296   717641 |    61263    55929     22 |  5.184 % |
126.37/126.56	c |    395219 |   25587   183296   717641 |    61263    56108     22 |  5.184 % |
126.46/126.61	c |    395415 |   25587   183296   717641 |    61263    56304     22 |  5.184 % |
126.46/126.65	c |    395630 |   25587   183296   717641 |    61263    56519     22 |  5.184 % |
126.56/126.71	c |    395868 |   25587   183296   717641 |    61263    56757     22 |  5.184 % |
126.56/126.76	c |    396124 |   25587   183296   717641 |    61263    57013     22 |  5.184 % |
126.66/126.82	c |    396405 |   25587   183296   717641 |    61263    57294     22 |  5.184 % |
126.66/126.89	c |    396714 |   25587   183296   717641 |    61263    57603     22 |  5.184 % |
126.76/126.97	c |    397057 |   25587   183296   717641 |    61263    57946     22 |  5.184 % |
126.86/127.08	c |    397429 |   25587   183296   717641 |    61263    58318     22 |  5.184 % |
126.96/127.19	c |    397838 |   25587   183296   717641 |    61263    58727     22 |  5.184 % |
127.16/127.30	c |    398287 |   25587   183296   717641 |    61263    59176     22 |  5.184 % |
127.26/127.42	c |    398781 |   25587   183296   717641 |    61263    59670     22 |  5.184 % |
127.47/127.60	c |    399326 |   25586   183261   717524 |    61263    60214     22 |  5.188 % |
127.56/127.74	c |    399922 |   25586   183261   717524 |    61263    60810     22 |  5.188 % |
127.76/127.90	c |    400581 |   25586   183261   717524 |    60888    61469     23 |  5.188 % |
127.86/128.09	c |    401301 |   25586   183261   717524 |    60888    62189     23 |  5.188 % |
128.36/128.50	c |    402094 |   25586   183261   717524 |    60888    51687     23 |  5.188 % |
128.47/128.69	c |    402965 |   25586   183261   717524 |    60888    52558     23 |  5.188 % |
128.66/128.89	c |    403926 |   25586   183261   717524 |    60888    53519     23 |  5.188 % |
128.96/129.12	c |    404979 |   25586   183261   717524 |    60888    54572     23 |  5.188 % |
129.16/129.37	c |    406138 |   25586   183261   717524 |    60888    55731     23 |  5.188 % |
129.46/129.66	c |    407411 |   25586   183261   717524 |    60888    57004     23 |  5.188 % |
129.76/129.98	c |    408811 |   25586   183261   717524 |    60888    58404     23 |  5.188 % |
130.16/130.34	c |    410360 |   25586   183261   717524 |    59595    59953     23 |  5.188 % |
130.76/130.95	c |    412059 |   25586   183261   717524 |    59595    50348     22 |  5.188 % |
131.16/131.33	c |    413924 |   25586   183261   717524 |    59595    52213     22 |  5.188 % |
131.56/131.78	c |    415973 |   25586   183261   717524 |    59595    54262     22 |  5.188 % |
132.06/132.28	c |    418226 |   25586   183261   717524 |    59595    56515     22 |  5.188 % |
132.66/132.83	c |    420707 |   25586   183261   717524 |    58289    58996     22 |  5.188 % |
133.56/133.71	c |    423433 |   25586   183261   717524 |    58289    50634     22 |  5.188 % |
134.16/134.31	c |    426430 |   25586   183261   717524 |    58289    53631     22 |  5.188 % |
134.86/135.05	c |    429727 |   25586   183261   717524 |    58289    56928     22 |  5.188 % |
135.86/136.02	c |    433352 |   25586   183261   717524 |    57210    50191     22 |  5.188 % |
136.86/137.04	c |    437339 |   25586   183261   717524 |    57210    54178     22 |  5.188 % |
136.86/137.07	c |    437440 |   25586   183261   717524 |    57210    54279     22 |  5.188 % |
136.86/137.09	c |    437552 |   25586   183261   717524 |    57210    54391     22 |  5.188 % |
136.96/137.13	c |    437673 |   25586   183261   717524 |    57210    54512     22 |  5.188 % |
136.96/137.17	c |    437806 |   25586   183261   717524 |    57210    54645     22 |  5.188 % |
137.06/137.22	c |    437952 |   25586   183261   717524 |    57210    54791     22 |  5.188 % |
137.06/137.26	c |    438115 |   25586   183261   717524 |    57210    54954     22 |  5.188 % |
137.16/137.32	c |    438294 |   25586   183261   717524 |    57210    55133     22 |  5.188 % |
137.16/137.37	c |    438487 |   25586   183261   717524 |    57210    55326     22 |  5.188 % |
137.26/137.42	c |    438699 |   25586   183261   717524 |    57210    55538     22 |  5.188 % |
137.26/137.47	c |    438933 |   25586   183261   717524 |    57210    55772     22 |  5.188 % |
137.36/137.54	c |    439189 |   25586   183261   717524 |    57210    56028     22 |  5.188 % |
137.46/137.62	c |    439474 |   25586   183261   717524 |    57210    56313     22 |  5.188 % |
137.46/137.69	c |    439784 |   25586   183261   717524 |    57210    56623     22 |  5.188 % |
137.56/137.79	c |    440125 |   25586   183261   717524 |    56842    56964     22 |  5.188 % |
137.66/137.88	c |    440497 |   25586   183261   717524 |    56842    57336     22 |  5.188 % |
137.76/137.98	c |    440907 |   25586   183261   717524 |    56842    57746     22 |  5.188 % |
137.86/138.08	c |    441356 |   25586   183261   717524 |    56842    58195     22 |  5.188 % |
138.16/138.37	c |    441861 |   25586   183261   717524 |    56842    51019     22 |  5.188 % |
138.26/138.49	c |    442403 |   25586   183261   717524 |    56842    51561     22 |  5.188 % |
138.46/138.62	c |    443003 |   25586   183261   717524 |    56842    52161     22 |  5.188 % |
138.66/138.82	c |    443658 |   25586   183261   717524 |    56842    52816     22 |  5.188 % |
138.86/139.00	c |    444378 |   25586   183261   717524 |    56842    53536     22 |  5.188 % |
139.06/139.22	c |    445171 |   25586   183261   717524 |    56842    54329     22 |  5.188 % |
139.26/139.43	c |    446043 |   25586   183261   717524 |    56842    55201     22 |  5.188 % |
139.56/139.74	c |    447006 |   25586   183261   717524 |    56842    56164     22 |  5.188 % |
139.86/140.04	c |    448061 |   25586   183261   717524 |    56842    57219     22 |  5.188 % |
140.16/140.37	c |    449220 |   25586   183261   717524 |    56842    58378     22 |  5.188 % |
140.56/140.77	c |    450496 |   25586   183261   717524 |    53106    53601     22 |  5.188 % |
141.06/141.26	c |    451896 |   25586   183261   717524 |    53106    48615     22 |  5.188 % |
141.46/141.63	c |    453436 |   25586   183261   717524 |    53106    50155     22 |  5.188 % |
141.76/141.99	c |    455130 |   25586   183261   717524 |    53106    51849     22 |  5.188 % |
142.25/142.41	c |    456994 |   25586   183261   717524 |    53106    53713     22 |  5.188 % |
142.86/143.05	c |    459045 |   25586   183261   717524 |    53106    49796     22 |  5.188 % |
143.36/143.57	c |    461298 |   25586   183261   717524 |    50751    52049     22 |  5.188 % |
144.06/144.29	c |    463776 |   25586   183261   717524 |    50751    49091     22 |  5.188 % |
144.75/144.96	c |    466505 |   25586   183261   717524 |    50751    51820     22 |  5.188 % |
145.65/145.83	c |    469508 |   25586   183261   717524 |    50751    49586     22 |  5.188 % |
146.45/146.66	c |    472804 |   25586   183261   717524 | 2147483647    52882     22 |  5.188 % |
147.35/147.57	c |    476430 |   25586   183261   717524 | 2147483647    56508     22 |  5.188 % |
148.36/148.57	c |    480419 |   25586   183261   717524 |    60082    60497     22 |  5.188 % |
149.65/149.84	c |    484809 |   25586   183261   717524 |    60082    56351     22 |  5.188 % |
149.65/149.86	c |    484911 |   25586   183261   717524 |    60082    56453     22 |  5.188 % |
149.65/149.89	c |    485022 |   25586   183261   717524 |    60082    56564     22 |  5.188 % |
149.75/149.94	c |    485143 |   25586   183261   717524 |    60082    56685     22 |  5.188 % |
149.75/149.97	c |    485279 |   25586   183261   717524 |    60082    56821     22 |  5.188 % |
149.85/150.01	c |    485429 |   25586   183261   717524 |    60082    56971     22 |  5.188 % |
149.85/150.05	c |    485598 |   25586   183261   717524 |    60082    57140     22 |  5.188 % |
149.85/150.09	c |    485777 |   25586   183261   717524 |    60082    57319     22 |  5.188 % |
149.95/150.13	c |    485970 |   25586   183261   717524 |    60082    57512     22 |  5.188 % |
149.95/150.18	c |    486182 |   25586   183261   717524 |    60082    57724     22 |  5.188 % |
150.05/150.23	c |    486420 |   25586   183261   717524 |    60082    57962     22 |  5.188 % |
150.05/150.29	c |    486684 |   25586   183261   717524 |    60082    58226     22 |  5.188 % |
150.15/150.37	c |    486965 |   25586   183261   717524 |    60082    58507     22 |  5.188 % |
150.25/150.44	c |    487278 |   25586   183261   717524 |    60082    58820     22 |  5.188 % |
150.35/150.51	c |    487623 |   25586   183261   717524 |    60082    59165     22 |  5.188 % |
150.46/150.60	c |    488004 |   25586   183261   717524 |    60082    59546     22 |  5.188 % |
150.56/150.70	c |    488416 |   25586   183261   717524 |    60082    59958     22 |  5.188 % |
150.65/150.82	c |    488876 |   25586   183261   717524 |    60082    60418     22 |  5.188 % |
150.75/150.95	c |    489375 |   25586   183261   717524 |    60082    60917     22 |  5.188 % |
150.85/151.10	c |    489917 |   25586   183261   717524 |    60082    61459     22 |  5.188 % |
151.05/151.25	c |    490517 |   25586   183261   717524 |    61542    62059     22 |  5.188 % |
151.25/151.44	c |    491172 |   25586   183261   717524 |    61542    62714     22 |  5.188 % |
151.56/151.76	c |    491892 |   25586   183261   717524 |    61542    52364     22 |  5.188 % |
151.75/151.96	c |    492684 |   25586   183261   717524 |    61542    53156     22 |  5.188 % |
151.95/152.17	c |    493557 |   25586   183261   717524 |    61542    54029     22 |  5.188 % |
152.25/152.45	c |    494515 |   25586   183261   717524 |    61542    54987     22 |  5.188 % |
152.55/152.70	c |    495568 |   25586   183261   717524 |    61542    56040     22 |  5.188 % |
152.76/152.96	c |    496726 |   25586   183261   717524 |    61542    57198     22 |  5.188 % |
153.05/153.28	c |    497999 |   25586   183261   717524 |    61542    58471     22 |  5.188 % |
153.45/153.61	c |    499399 |   25586   183261   717524 |    61542    59871     22 |  5.188 % |
153.76/153.97	c |    500939 |   25586   183261   717524 |    60472    61411     22 |  5.188 % |
154.55/154.73	c |    502633 |   25586   183261   717524 |    60472    51539     22 |  5.188 % |
154.96/155.13	c |    504498 |   25586   183261   717524 |    60472    53404     22 |  5.188 % |
155.35/155.59	c |    506548 |   25586   183261   717524 |    60472    55454     22 |  5.188 % |
155.95/156.14	c |    508806 |   25586   183261   717524 |    60472    57712     22 |  5.188 % |
156.55/156.75	c |    511296 |   25586   183261   717524 |    58906    60202     22 |  5.188 % |
157.45/157.62	c |    514024 |   25586   183261   717524 |    58906    53331     22 |  5.188 % |
158.15/158.32	c |    517023 |   25586   183261   717524 |    58906    56330     22 |  5.188 % |
158.95/159.14	c |    520319 |   25586   183261   717524 |    59307    59626     22 |  5.188 % |
160.15/160.34	c |    523944 |   25586   183261   717524 |    59307    53959     22 |  5.188 % |
161.05/161.25	c |    527931 |   25586   183261   717524 |    59307    57946     22 |  5.188 % |
162.45/162.70	c |    532316 |   25586   183261   717524 |    60024    50903     22 |  5.188 % |
163.65/163.85	c |    537139 |   25586   183261   717524 |    60024    55726     22 |  5.188 % |
163.65/163.88	c |    537242 |   25586   183261   717524 |    60024    55829     22 |  5.188 % |
163.75/163.91	c |    537353 |   25586   183261   717524 |    60024    55940     22 |  5.188 % |
163.75/163.95	c |    537478 |   25586   183261   717524 |    60024    56065     22 |  5.188 % |
163.75/163.98	c |    537611 |   25586   183261   717524 |    60024    56198     22 |  5.188 % |
163.85/164.02	c |    537757 |   25586   183261   717524 |    60024    56344     22 |  5.188 % |
163.85/164.06	c |    537919 |   25586   183261   717524 |    60024    56506     22 |  5.188 % |
163.95/164.11	c |    538101 |   25586   183261   717524 |    60024    56688     22 |  5.188 % |
163.95/164.16	c |    538300 |   25586   183261   717524 |    60024    56887     22 |  5.188 % |
164.05/164.23	c |    538520 |   25586   183261   717524 |    60024    57107     22 |  5.188 % |
164.05/164.29	c |    538753 |   25586   183261   717524 |    60024    57340     22 |  5.188 % |
164.15/164.36	c |    539011 |   25586   183261   717524 |    60024    57598     22 |  5.188 % |
164.25/164.44	c |    539292 |   25586   183261   717524 |    60024    57879     22 |  5.188 % |
164.35/164.52	c |    539602 |   25586   183261   717524 |    60024    58189     22 |  5.188 % |
164.35/164.60	c |    539944 |   25586   183261   717524 |    60024    58531     22 |  5.188 % |
164.45/164.68	c |    540319 |   25586   183261   717524 |    58588    58906     22 |  5.188 % |
164.55/164.78	c |    540728 |   25586   183261   717524 |    58588    59315     22 |  5.188 % |
164.65/164.89	c |    541177 |   25586   183261   717524 |    58588    59764     22 |  5.188 % |
164.95/165.16	c |    541670 |   25586   183261   717524 |    58588    51193     22 |  5.188 % |
165.05/165.27	c |    542212 |   25586   183261   717524 |    58588    51735     22 |  5.188 % |
165.15/165.39	c |    542808 |   25586   183261   717524 |    58588    52331     22 |  5.188 % |
165.35/165.52	c |    543464 |   25586   183261   717524 |    58588    52987     22 |  5.188 % |
165.45/165.69	c |    544184 |   25586   183261   717524 |    58588    53707     22 |  5.188 % |
165.65/165.87	c |    544976 |   25586   183261   717524 |    58588    54499     22 |  5.188 % |
165.85/166.08	c |    545847 |   25586   183261   717524 |    58588    55370     22 |  5.188 % |
166.15/166.31	c |    546809 |   25586   183261   717524 |    58588    56332     22 |  5.188 % |
166.35/166.56	c |    547862 |   25586   183261   717524 |    58588    57385     22 |  5.188 % |
166.65/166.83	c |    549022 |   25586   183261   717524 |    58588    58545     22 |  5.188 % |
166.95/167.15	c |    550298 |   25586   183261   717524 |    59523    59821     22 |  5.188 % |
167.55/167.72	c |    551698 |   25586   183261   717524 |    59523    51179     22 |  5.188 % |
167.85/168.06	c |    553238 |   25586   183261   717524 |    59523    52719     22 |  5.188 % |
168.25/168.47	c |    554934 |   25586   183261   717524 |    59523    54415     22 |  5.188 % |
168.64/168.88	c |    556797 |   25586   183261   717524 |    59523    56278     22 |  5.188 % |
169.15/169.33	c |    558846 |   25586   183261   717524 |    59523    58327     22 |  5.188 % |
169.65/169.85	c |    561099 |   25586   183261   717524 |    59481    60580     22 |  5.188 % |
170.35/170.59	c |    563577 |   25586   183261   717524 |    59481    53677     22 |  5.188 % |
171.04/171.20	c |    566305 |   25586   183261   717524 |    59481    56405     22 |  5.188 % |
171.74/171.90	c |    569303 |   25586   183261   717524 |    59481    59403     22 |  5.188 % |
172.74/172.99	c |    572600 |   25586   183261   717524 |    60102    53553     22 |  5.188 % |
173.54/173.80	c |    576226 |   25586   183261   717524 |    60102    57179     22 |  5.188 % |
174.54/174.77	c |    580213 |   25585   183258   717514 |    60953    61165     22 |  5.192 % |
175.75/175.95	c |    584599 |   25585   183258   717514 |    60953    55387     21 |  5.192 % |
176.85/177.08	c |    589423 |   25585   183258   717514 |    60953    60211     21 |  5.192 % |
178.35/178.57	c |    594731 |   25585   183258   717514 |    60788    54555     21 |  5.192 % |
178.45/178.60	c |    594831 |   25585   183258   717514 |    60788    54655     21 |  5.192 % |
178.45/178.63	c |    594941 |   25585   183258   717514 |    60788    54765     21 |  5.192 % |
178.45/178.66	c |    595063 |   25585   183258   717514 |    60788    54887     21 |  5.192 % |
178.55/178.71	c |    595196 |   25585   183258   717514 |    60788    55020     21 |  5.192 % |
178.55/178.74	c |    595342 |   25585   183258   717514 |    60788    55166     21 |  5.192 % |
178.55/178.78	c |    595503 |   25585   183258   717514 |    60788    55327     21 |  5.192 % |
178.65/178.82	c |    595682 |   25585   183258   717514 |    60788    55506     21 |  5.192 % |
178.65/178.86	c |    595878 |   25585   183258   717514 |    60788    55702     21 |  5.192 % |
178.75/178.90	c |    596092 |   25585   183258   717514 |    60788    55916     21 |  5.192 % |
178.75/178.95	c |    596326 |   25585   183258   717514 |    60788    56150     21 |  5.192 % |
178.85/179.00	c |    596596 |   25585   183258   717514 |    60788    56420     21 |  5.192 % |
178.85/179.07	c |    596877 |   25585   183258   717514 |    60788    56701     21 |  5.192 % |
178.95/179.14	c |    597186 |   25585   183258   717514 |    60788    57010     21 |  5.192 % |
179.05/179.22	c |    597525 |   25585   183258   717514 |    60788    57349     21 |  5.192 % |
179.15/179.33	c |    597897 |   25585   183258   717514 |    60788    57721     21 |  5.192 % |
179.25/179.43	c |    598306 |   25585   183258   717514 |    60788    58130     21 |  5.192 % |
179.35/179.54	c |    598760 |   25585   183258   717514 |    60788    58584     21 |  5.192 % |
179.45/179.65	c |    599260 |   25585   183258   717514 |    60788    59084     21 |  5.192 % |
179.55/179.77	c |    599802 |   25585   183258   717514 |    60788    59626     21 |  5.192 % |
179.75/179.91	c |    600398 |   25585   183258   717514 |    59827    60222     21 |  5.192 % |
179.85/180.07	c |    601059 |   25585   183258   717514 |    59827    60883     21 |  5.192 % |
180.25/180.45	c |    601779 |   25585   183258   717514 |    59827    50742     21 |  5.192 % |
180.45/180.63	c |    602572 |   25585   183258   717514 |    59827    51535     21 |  5.192 % |
180.65/180.81	c |    603443 |   25585   183258   717514 |    59827    52406     21 |  5.192 % |
180.85/181.01	c |    604405 |   25585   183258   717514 |    59827    53368     21 |  5.192 % |
181.05/181.23	c |    605460 |   25585   183258   717514 |    59827    54423     21 |  5.192 % |
181.25/181.49	c |    606620 |   25585   183258   717514 |    59827    55583     21 |  5.192 % |
181.54/181.78	c |    607893 |   25585   183258   717514 |    59827    56856     21 |  5.192 % |
181.94/182.15	c |    609293 |   25585   183258   717514 |    59827    58256     21 |  5.192 % |
182.35/182.57	c |    610833 |   25585   183258   717514 |    58963    59796     21 |  5.192 % |
183.04/183.22	c |    612529 |   25585   183258   717514 |    58963    53148     21 |  5.192 % |
183.45/183.67	c |    614392 |   25585   183258   717514 |    58963    55011     21 |  5.192 % |
183.94/184.12	c |    616441 |   25585   183258   717514 |    58963    57060     21 |  5.192 % |
184.44/184.63	c |    618694 |   25585   183258   717514 |    58963    59313     21 |  5.192 % |
185.24/185.44	c |    621172 |   25585   183258   717514 |    51390    52562     20 |  5.192 % |
185.94/186.17	c |    623897 |   25585   183258   717514 |    51390    47840     20 |  5.192 % |
186.54/186.79	c |    626908 |   25585   183258   717514 |    51390    50851     20 |  5.192 % |
187.34/187.59	c |    630212 |   25585   183258   717514 |    47409    47618     21 |  5.192 % |
188.34/188.50	c |    633837 |   25585   183258   717514 |    47409    44869     21 |  5.192 % |
189.14/189.31	c |    637824 |   25585   183258   717514 |    47409    48856     21 |  5.192 % |
190.04/190.28	c |    642210 |   25585   183258   717514 | 2147483647    48357     20 |  5.192 % |
191.04/191.25	c |    647033 |   25585   183258   717514 | 2147483647    53180     20 |  5.192 % |
192.44/192.65	c |    652338 |   25585   183258   717514 | 2147483647    58485     20 |  5.192 % |
193.94/194.12	c |    658176 |   25585   183258   717514 | 2147483647    64323     20 |  5.192 % |
193.94/194.16	c |    658276 |   25585   183258   717514 | 2147483647    64423     20 |  5.192 % |
194.04/194.20	c |    658386 |   25585   183258   717514 | 2147483647    64533     20 |  5.192 % |
194.04/194.24	c |    658511 |   25585   183258   717514 | 2147483647    64658     20 |  5.192 % |
194.04/194.29	c |    658644 |   25585   183258   717514 | 2147483647    64791     20 |  5.192 % |
194.14/194.32	c |    658790 |   25585   183258   717514 | 2147483647    64937     20 |  5.192 % |
194.14/194.37	c |    658965 |   25585   183258   717514 | 2147483647    65112     20 |  5.192 % |
194.24/194.41	c |    659142 |   25585   183258   717514 | 2147483647    65289     20 |  5.192 % |
194.24/194.47	c |    659336 |   25585   183258   717514 | 2147483647    65483     20 |  5.192 % |
194.34/194.53	c |    659551 |   25585   183258   717514 | 2147483647    65698     20 |  5.192 % |
194.44/194.61	c |    659788 |   25585   183258   717514 | 2147483647    65935     20 |  5.192 % |
194.44/194.69	c |    660050 |   25585   183258   717514 |    66149    66197     20 |  5.192 % |
194.54/194.77	c |    660331 |   25585   183258   717514 |    66149    66478     20 |  5.192 % |
194.64/194.85	c |    660643 |   25585   183258   717514 |    66149    66790     20 |  5.192 % |
194.74/194.93	c |    660982 |   25585   183258   717514 |    66149    67129     20 |  5.192 % |
194.84/195.03	c |    661354 |   25585   183258   717514 |    66149    67501     20 |  5.192 % |
195.24/195.43	c |    661765 |   25585   183258   717514 |    66149    56885     20 |  5.192 % |
195.34/195.54	c |    662214 |   25585   183258   717514 |    66149    57334     20 |  5.192 % |
195.44/195.66	c |    662707 |   25585   183258   717514 |    66149    57827     20 |  5.192 % |
195.54/195.79	c |    663250 |   25585   183258   717514 |    66149    58370     20 |  5.192 % |
195.74/195.92	c |    663846 |   25585   183258   717514 |    66149    58966     20 |  5.192 % |
195.84/196.08	c |    664502 |   25585   183258   717514 |    66149    59622     20 |  5.192 % |
196.04/196.27	c |    665222 |   25585   183258   717514 |    66149    60342     20 |  5.192 % |
196.24/196.46	c |    666014 |   25585   183258   717514 |    66149    61134     20 |  5.192 % |
196.54/196.70	c |    666889 |   25585   183258   717514 |    66149    62009     20 |  5.192 % |
196.74/196.93	c |    667847 |   25585   183258   717514 |    66149    62967     20 |  5.192 % |
196.94/197.19	c |    668900 |   25585   183258   717514 |    66149    64020     20 |  5.192 % |
197.34/197.51	c |    670060 |   25585   183258   717514 |    65120    65180     20 |  5.192 % |
197.64/197.85	c |    671333 |   25585   183258   717514 |    65120    66453     20 |  5.192 % |
198.24/198.47	c |    672733 |   25585   183258   717514 |    65120    55743     20 |  5.192 % |
198.64/198.83	c |    674275 |   25585   183258   717514 |    65120    57285     20 |  5.192 % |
199.04/199.22	c |    675969 |   25585   183258   717514 |    65120    58979     20 |  5.192 % |
199.44/199.65	c |    677832 |   25585   183258   717514 |    65120    60842     20 |  5.192 % |
199.94/200.13	c |    679883 |   25585   183258   717514 |    65120    62893     20 |  5.192 % |
200.74/200.93	c |    682136 |   25585   183258   717514 |    63010    52948     20 |  5.192 % |
201.23/201.49	c |    684614 |   25585   183258   717514 |    63010    55426     20 |  5.192 % |
201.93/202.12	c |    687339 |   25585   183258   717514 |    63010    58151     20 |  5.192 % |
202.63/202.81	c |    690337 |   25585   183258   717514 |    60812    61149     20 |  5.192 % |
203.54/203.74	c |    693633 |   25585   183258   717514 |    60812    54485     20 |  5.192 % |
204.34/204.54	c |    697259 |   25585   183258   717514 |    60812    58111     20 |  5.192 % |
205.23/205.49	c |    701246 |   25585   183258   717514 |    60854    62098     20 |  5.192 % |
206.54/206.73	c |    705632 |   25585   183258   717514 |    60854    56275     20 |  5.192 % |
207.64/207.84	c |    710455 |   25585   183258   717514 |    60643    61098     20 |  5.192 % |
209.03/209.29	c |    715761 |   25585   183258   717514 |    60643    56617     20 |  5.192 % |
210.73/210.95	c |    721596 |   25585   183258   717514 |    60856    52055     20 |  5.192 % |
212.14/212.38	c |    728018 |   25585   183258   717514 |    60856    58477     20 |  5.192 % |
212.23/212.41	c |    728118 |   25585   183258   717514 |    60856    58577     20 |  5.192 % |
212.23/212.45	c |    728230 |   25585   183258   717514 |    60856    58689     20 |  5.192 % |
212.23/212.48	c |    728354 |   25585   183258   717514 |    60856    58813     20 |  5.192 % |
212.33/212.52	c |    728487 |   25585   183258   717514 |    60856    58946     20 |  5.192 % |
212.33/212.56	c |    728633 |   25585   183258   717514 |    60856    59092     20 |  5.192 % |
212.43/212.61	c |    728793 |   25585   183258   717514 |    60856    59252     20 |  5.192 % |
212.43/212.66	c |    728970 |   25585   183258   717514 |    60856    59429     20 |  5.192 % |
212.53/212.71	c |    729163 |   25585   183258   717514 |    60856    59622     20 |  5.192 % |
212.53/212.76	c |    729375 |   25585   183258   717514 |    60856    59834     20 |  5.192 % |
212.63/212.83	c |    729609 |   25585   183258   717514 |    60856    60068     20 |  5.192 % |
212.73/212.90	c |    729865 |   25585   183258   717514 |    60856    60324     20 |  5.192 % |
212.73/212.98	c |    730146 |   25585   183258   717514 |    60460    60605     20 |  5.192 % |
212.83/213.06	c |    730455 |   25585   183258   717514 |    60460    60914     20 |  5.192 % |
212.93/213.15	c |    730794 |   25585   183258   717514 |    60460    61253     20 |  5.192 % |
213.03/213.25	c |    731166 |   25585   183258   717514 |    60460    61625     20 |  5.192 % |
213.13/213.37	c |    731576 |   25585   183258   717514 |    60460    62035     20 |  5.192 % |
213.53/213.80	c |    732025 |   25585   183258   717514 |    60460    52673     20 |  5.192 % |
213.73/213.92	c |    732525 |   25585   183258   717514 |    60460    53173     20 |  5.192 % |
213.83/214.05	c |    733071 |   25585   183258   717514 |    60460    53719     20 |  5.192 % |
214.03/214.22	c |    733667 |   25585   183258   717514 |    60460    54315     20 |  5.192 % |
214.13/214.39	c |    734322 |   25585   183258   717514 |    60460    54970     20 |  5.192 % |
214.33/214.57	c |    735043 |   25585   183258   717514 |    60460    55691     20 |  5.192 % |
214.53/214.79	c |    735835 |   25585   183258   717514 |    60460    56483     20 |  5.192 % |
214.83/215.01	c |    736707 |   25585   183258   717514 |    60460    57355     20 |  5.192 % |
215.03/215.23	c |    737665 |   25585   183258   717514 |    60460    58313     20 |  5.192 % |
215.23/215.49	c |    738719 |   25585   183258   717514 |    60460    59367     20 |  5.192 % |
215.53/215.78	c |    739877 |   25585   183258   717514 |    60460    60525     20 |  5.192 % |
215.93/216.10	c |    741152 |   25585   183258   717514 |    60648    61800     20 |  5.192 % |
216.63/216.82	c |    742553 |   25585   183258   717514 |    60648    53798     20 |  5.192 % |
217.03/217.23	c |    744093 |   25585   183258   717514 |    60648    55338     20 |  5.192 % |
217.43/217.64	c |    745788 |   25585   183258   717514 |    60648    57033     20 |  5.192 % |
217.93/218.13	c |    747657 |   25585   183258   717514 |    60648    58902     20 |  5.192 % |
218.43/218.66	c |    749707 |   25585   183258   717514 |    60648    60952     20 |  5.192 % |
219.22/219.44	c |    751971 |   25585   183258   717514 |    61247    53648     20 |  5.192 % |
219.83/220.03	c |    754450 |   25585   183258   717514 |    61247    56127     20 |  5.192 % |
220.43/220.69	c |    757175 |   25585   183258   717514 |    61247    58852     20 |  5.192 % |
221.22/221.42	c |    760172 |   25585   183258   717514 |    61680    61849     20 |  5.192 % |
222.22/222.47	c |    763478 |   25585   183258   717514 |    61680    54032     20 |  5.192 % |
223.13/223.33	c |    767105 |   25585   183258   717514 |    61680    57659     20 |  5.192 % |
224.02/224.28	c |    771101 |   25585   183258   717514 |    60554    61655     20 |  5.192 % |
225.33/225.54	c |    775487 |   25585   183258   717514 |    60554    54433     20 |  5.192 % |
226.43/226.66	c |    780310 |   25585   183258   717514 |    58946    59256     20 |  5.192 % |
227.82/228.07	c |    785615 |   25585   183258   717514 |    58946    53376     20 |  5.192 % |
229.32/229.57	c |    791451 |   25585   183258   717514 |    57761    59212     20 |  5.192 % |
231.02/231.24	c |    797869 |   25585   183258   717514 |    57761    56376     20 |  5.192 % |
232.92/233.16	c |    804928 |   25585   183258   717514 |    58511    52363     20 |  5.192 % |
232.92/233.19	c |    805032 |   25585   183258   717514 |    58511    52467     20 |  5.192 % |
233.02/233.22	c |    805143 |   25585   183258   717514 |    58511    52578     20 |  5.192 % |
233.02/233.25	c |    805264 |   25585   183258   717514 |    58511    52699     20 |  5.192 % |
233.02/233.29	c |    805397 |   25585   183258   717514 |    58511    52832     20 |  5.192 % |
233.12/233.33	c |    805547 |   25585   183258   717514 |    58511    52982     20 |  5.192 % |
233.12/233.38	c |    805707 |   25585   183258   717514 |    58511    53142     20 |  5.192 % |
233.22/233.42	c |    805883 |   25585   183258   717514 |    58511    53318     20 |  5.192 % |
233.22/233.47	c |    806078 |   25585   183258   717514 |    58511    53513     20 |  5.192 % |
233.32/233.53	c |    806290 |   25585   183258   717514 |    58511    53725     20 |  5.192 % |
233.42/233.60	c |    806523 |   25585   183258   717514 |    58511    53958     20 |  5.192 % |
233.42/233.67	c |    806779 |   25585   183258   717514 |    58511    54214     20 |  5.192 % |
233.52/233.74	c |    807063 |   25585   183258   717514 |    58511    54498     20 |  5.192 % |
233.62/233.82	c |    807375 |   25585   183258   717514 |    58511    54810     20 |  5.192 % |
233.72/233.91	c |    807716 |   25585   183258   717514 |    58511    55151     20 |  5.192 % |
233.82/234.00	c |    808089 |   25585   183258   717514 |    58511    55524     20 |  5.192 % |
233.82/234.09	c |    808499 |   25585   183258   717514 |    58511    55934     20 |  5.192 % |
233.92/234.19	c |    808948 |   25585   183258   717514 |    58511    56383     20 |  5.192 % |
234.12/234.30	c |    809441 |   25585   183258   717514 |    58511    56876     20 |  5.192 % |
234.22/234.44	c |    809983 |   25585   183258   717514 |    58511    57418     20 |  5.192 % |
234.32/234.59	c |    810580 |   25585   183258   717514 |    57435    58015     20 |  5.192 % |
234.52/234.76	c |    811237 |   25585   183258   717514 |    57435    58672     20 |  5.192 % |
235.12/235.35	c |    811959 |   25585   183258   717514 |    57435    49881     20 |  5.192 % |
235.32/235.53	c |    812754 |   25585   183258   717514 |    57435    50676     20 |  5.192 % |
235.52/235.71	c |    813627 |   25585   183258   717514 |    57435    51549     20 |  5.192 % |
235.72/235.92	c |    814585 |   25585   183258   717514 |    57435    52507     20 |  5.192 % |
235.92/236.13	c |    815641 |   25585   183258   717514 |    57435    53563     20 |  5.192 % |
236.12/236.37	c |    816799 |   25585   183258   717514 |    57435    54721     20 |  5.192 % |
236.42/236.64	c |    818078 |   25585   183258   717514 |    57435    56000     20 |  5.192 % |
236.72/236.96	c |    819478 |   25585   183258   717514 |    57435    57400     20 |  5.192 % |
237.12/237.31	c |    821019 |   25585   183258   717514 |    57925    58941     20 |  5.192 % |
237.92/238.14	c |    822714 |   25585   183258   717514 |    57925    51326     20 |  5.192 % |
238.32/238.55	c |    824577 |   25585   183258   717514 |    57925    53189     20 |  5.192 % |
238.82/239.03	c |    826627 |   25585   183258   717514 |    57925    55239     20 |  5.192 % |
239.32/239.52	c |    828880 |   25585   183258   717514 |    57925    57492     20 |  5.192 % |
239.82/240.10	c |    831360 |   25585   183258   717514 |    58612    59972     20 |  5.192 % |
240.72/240.98	c |    834087 |   25585   183258   717514 |    58612    52515     20 |  5.192 % |
241.51/241.71	c |    837089 |   25585   183258   717514 |    58612    55517     20 |  5.192 % |
242.31/242.56	c |    840385 |   25585   183258   717514 |    58431    58813     20 |  5.192 % |
243.31/243.57	c |    844010 |   25585   183258   717514 |    58431    52342     20 |  5.192 % |
244.21/244.42	c |    847998 |   25585   183258   717514 |    58431    56330     20 |  5.192 % |
245.51/245.76	c |    852384 |   25585   183258   717514 |    58332    49543     20 |  5.192 % |
246.61/246.81	c |    857207 |   25583   183252   717493 |    58332    54365     20 |  5.199 % |
248.01/248.21	c |    862512 |   25583   183252   717493 |    57163    49135     20 |  5.199 % |
249.11/249.39	c |    868347 |   25583   183252   717493 |    57163    54970     20 |  5.199 % |
250.81/251.01	c |    874766 |   25583   183252   717493 |    56625    51476     20 |  5.199 % |
252.51/252.73	c |    881826 |   25583   183252   717493 |    56710    49041     20 |  5.199 % |
254.01/254.28	c |    889591 |   25583   183252   717493 |    56710    56806     20 |  5.199 % |
254.11/254.31	c |    889692 |   25583   183252   717493 |    56710    56907     20 |  5.199 % |
254.11/254.34	c |    889803 |   25583   183252   717493 |    56710    57018     20 |  5.199 % |
254.11/254.37	c |    889924 |   25583   183252   717493 |    56710    57139     20 |  5.199 % |
254.11/254.40	c |    890060 |   25583   183252   717493 |    57227    57275     20 |  5.199 % |
254.21/254.44	c |    890213 |   25583   183252   717493 |    57227    57428     20 |  5.199 % |
254.21/254.47	c |    890373 |   25583   183252   717493 |    57227    57588     20 |  5.199 % |
254.31/254.50	c |    890557 |   25583   183252   717493 |    57227    57772     20 |  5.199 % |
254.31/254.55	c |    890750 |   25583   183252   717493 |    57227    57965     20 |  5.199 % |
254.41/254.61	c |    890966 |   25583   183252   717493 |    57227    58181     20 |  5.199 % |
254.41/254.67	c |    891201 |   25583   183252   717493 |    57227    58416     20 |  5.199 % |
254.51/254.73	c |    891457 |   25583   183252   717493 |    57227    58672     20 |  5.199 % |
254.81/255.00	c |    891741 |   25583   183252   717493 |    57227    49377     20 |  5.199 % |
254.81/255.06	c |    892051 |   25583   183252   717493 |    57227    49687     20 |  5.199 % |
254.91/255.14	c |    892402 |   25583   183252   717493 |    57227    50038     20 |  5.199 % |
255.01/255.21	c |    892774 |   25583   183252   717493 |    57227    50410     20 |  5.199 % |
255.01/255.29	c |    893183 |   25583   183252   717493 |    57227    50819     20 |  5.199 % |
255.11/255.38	c |    893643 |   25583   183252   717493 |    57227    51279     20 |  5.199 % |
255.21/255.47	c |    894146 |   25583   183252   717493 |    57227    51782     20 |  5.199 % |
255.30/255.58	c |    894688 |   25583   183252   717493 |    57227    52324     20 |  5.199 % |
255.50/255.70	c |    895285 |   25583   183252   717493 |    57227    52921     20 |  5.199 % |
255.60/255.84	c |    895946 |   25583   183252   717493 |    57227    53582     20 |  5.199 % |
255.70/255.98	c |    896668 |   25583   183252   717493 |    57227    54304     20 |  5.199 % |
255.90/256.16	c |    897464 |   25583   183252   717493 |    57227    55100     20 |  5.199 % |
256.11/256.35	c |    898337 |   25583   183252   717493 |    57227    55973     20 |  5.199 % |
256.30/256.56	c |    899295 |   25583   183252   717493 |    57227    56931     20 |  5.199 % |
256.60/256.80	c |    900350 |   25583   183252   717493 |    57636    57986     20 |  5.199 % |
256.80/257.08	c |    901511 |   25583   183252   717493 |    57636    59147     20 |  5.199 % |
257.30/257.57	c |    902787 |   25583   183252   717493 |    57636    48780     20 |  5.199 % |
257.60/257.84	c |    904189 |   25583   183252   717493 |    57636    50182     20 |  5.199 % |
257.90/258.16	c |    905729 |   25583   183252   717493 |    57636    51722     20 |  5.199 % |
258.31/258.51	c |    907423 |   25583   183252   717493 |    57636    53416     20 |  5.199 % |
258.70/258.91	c |    909286 |   25583   183252   717493 |    57636    55279     20 |  5.199 % |
259.10/259.35	c |    911336 |   25583   183252   717493 |    55994    57329     20 |  5.199 % |
259.70/259.99	c |    913594 |   25583   183252   717493 |    55994    49440     19 |  5.199 % |
260.20/260.48	c |    916080 |   25583   183252   717493 |    55994    51926     19 |  5.199 % |
260.80/261.06	c |    918808 |   25583   183252   717493 |    55994    54654     19 |  5.199 % |
261.80/262.08	c |    921805 |   25583   183252   717493 |    55846    47058     19 |  5.199 % |
262.50/262.71	c |    925106 |   25583   183252   717493 |    55846    50359     19 |  5.199 % |
263.20/263.45	c |    928731 |   25583   183252   717493 |    55846    53984     19 |  5.199 % |
264.30/264.51	c |    932719 |   25583   183252   717493 |    55253    48739     19 |  5.199 % |
265.10/265.36	c |    937107 |   25583   183252   717493 |    55253    53127     19 |  5.199 % |
266.50/266.72	c |    941931 |   25583   183252   717493 |    56024    48492     19 |  5.199 % |
267.60/267.82	c |    947238 |   25583   183252   717493 |    56024    53799     18 |  5.199 % |
268.90/269.19	c |    953074 |   25583   183252   717493 |    56563    49413     18 |  5.199 % |
270.20/270.49	c |    959493 |   25583   183252   717493 |    56563    55832     18 |  5.199 % |
271.80/272.05	c |    966552 |   25583   183252   717493 |    56339    53588     18 |  5.199 % |
273.50/273.79	c |    974317 |   25583   183252   717493 |    57038    51969     18 |  5.199 % |
275.29/275.54	c |    982857 |   25568   183085   716730 |    26007    26108     19 |  5.255 % |
275.29/275.56	c |    982963 |   25568   183085   716730 |    26007    26214     19 |  5.255 % |
275.29/275.57	c |    983073 |   25568   183085   716730 |    26007    26324     19 |  5.255 % |
275.29/275.59	c |    983195 |   25568   183085   716730 |    26007    26446     19 |  5.255 % |
275.39/275.61	c |    983328 |   25568   183085   716730 |    26007    26579     19 |  5.255 % |
275.39/275.63	c |    983474 |   25568   183085   716730 |    26007    26725     19 |  5.255 % |
275.39/275.65	c |    983637 |   25568   183085   716730 |    26007    26888     19 |  5.255 % |
275.39/275.67	c |    983813 |   25568   183085   716730 |    26007    27064     19 |  5.255 % |
275.49/275.70	c |    984014 |   25568   183085   716730 |    26007    27265     19 |  5.255 % |
275.49/275.73	c |    984227 |   25568   183085   716730 |    26007    27478     18 |  5.255 % |
275.59/275.80	c |    984461 |   25568   183085   716730 |    26007    24965     19 |  5.255 % |
275.59/275.84	c |    984717 |   25568   183085   716730 |    26007    25221     19 |  5.255 % |
275.59/275.88	c |    984998 |   25568   183085   716730 |    26007    25502     19 |  5.255 % |
275.69/275.92	c |    985307 |   25568   183085   716730 |    26007    25811     19 |  5.255 % |
275.69/275.96	c |    985648 |   25568   183085   716730 |    26007    26152     19 |  5.255 % |
275.80/276.02	c |    986020 |   25568   183085   716730 |    26007    26524     19 |  5.255 % |
275.80/276.08	c |    986434 |   25568   183085   716730 |    26007    26938     19 |  5.255 % |
275.90/276.14	c |    986884 |   25568   183085   716730 |    26007    27388     18 |  5.255 % |
275.99/276.24	c |    987378 |   25568   183085   716730 |    26007    25124     19 |  5.255 % |
276.09/276.31	c |    987920 |   25568   183085   716730 |    26007    25666     18 |  5.255 % |
276.09/276.38	c |    988516 |   25568   183085   716730 |    26007    26262     19 |  5.255 % |
276.19/276.46	c |    989171 |   25568   183085   716730 |    26007    26917     19 |  5.255 % |
276.29/276.60	c |    989891 |   25568   183085   716730 |    26007    24876     18 |  5.255 % |
276.39/276.68	c |    990684 |   25568   183085   716730 | 2147483647    25669     19 |  5.255 % |
276.49/276.79	c |    991555 |   25568   183085   716730 | 2147483647    26540     18 |  5.255 % |
276.69/276.92	c |    992515 |   25568   183085   716730 | 2147483647    27500     18 |  5.255 % |
276.79/277.05	c |    993572 |   25568   183085   716730 | 2147483647    28557     18 |  5.255 % |
277.00/277.20	c |    994732 |   25568   183085   716730 | 2147483647    29717     18 |  5.255 % |
277.09/277.38	c |    996014 |   25568   183085   716730 | 2147483647    30999     18 |  5.255 % |
277.29/277.57	c |    997416 |   25568   183085   716730 | 2147483647    32401     18 |  5.255 % |
277.59/277.80	c |    998956 |   25568   183085   716730 | 2147483647    33941     18 |  5.255 % |
277.89/278.14	c |   1000651 |   25553   182951   716165 | 2147483647    19627     18 |  5.310 % |
278.09/278.34	c |   1002522 |   25553   182951   716165 | 2147483647    21498     18 |  5.310 % |
278.29/278.56	c |   1004574 |   25552   182951   716165 | 2147483647    23549     17 |  5.366 % |
278.49/278.76	c ===============================================================================
278.49/278.76	c restarts              : 1211
278.49/278.76	c conflicts             : 1006286        (3663 /sec)
278.49/278.76	c decisions             : 2748586        (1.85 % random) (10006 /sec)
278.49/278.76	c propagations          : 123983697      (451362 /sec)
278.49/278.76	c conflict literals     : 24160270       (36.38 % deleted)
278.49/278.76	c Memory used           : 42.24 MB
278.49/278.76	c CPU time              : 274.688 s
278.49/278.76	c 
278.49/278.76	s UNSATISFIABLE
278.49/278.77	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834199-1242828656/watcher-1834199-1242828656 -o /tmp/evaluation-result-1834199-1242828656/solver-1834199-1242828656 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834199-1242828656.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310893802 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259415310418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14671/statm: 1339 235 195 169 0 50 0
[pid=14672] ppid=14671 vsize=5356 CPUtime=0
/proc/14672/stat : 14672 (SatELiteGTI) R 14671 14671 14419 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310893802 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14672/statm: 1339 238 198 169 0 50 0
[pid=14674] ppid=14672 vsize=0 CPUtime=0
/proc/14674/stat : 14674 (sed) Z 14672 14671 14419 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310893802 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14674/statm: 0 0 0 0 0 0 0

[startup+0.033851 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101856 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301877 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701921 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14676
/proc/meminfo: memFree=1761944/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
[pid=14676] ppid=14671 vsize=80300 CPUtime=1.48
/proc/14676/stat : 14676 (SatELite_releas) R 14671 14671 14419 0 -1 4194304 18275 0 0 0 138 10 0 0 25 0 1 0 310893803 82227200 16945 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/14676/statm: 20075 16945 76 173 0 19900 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85656

[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14676
/proc/meminfo: memFree=1751320/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
[pid=14676] ppid=14671 vsize=85156 CPUtime=3.08
/proc/14676/stat : 14676 (SatELite_releas) R 14671 14671 14419 0 -1 4194304 19356 0 0 0 293 15 0 0 25 0 1 0 310893803 87199744 17870 1992294400 134512640 135223648 4294956128 18446744073709551615 134598404 0 0 4096 3 0 0 0 17 0 0 0
/proc/14676/statm: 21289 17870 76 173 0 21114 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 90512

[startup+6.30254 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1797784/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=14992 CPUtime=2.5
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 3633 0 0 0 248 2 0 0 25 0 1 0 310894182 15351808 3619 1992294400 134512640 135215339 4294956240 18446744073709551615 134527252 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 3748 3619 77 171 0 3575 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20348

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1794008/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=19248 CPUtime=8.89
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 4686 0 0 0 886 3 0 0 25 0 1 0 310894182 19709952 4672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 4812 4672 77 171 0 4639 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24604

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1782560/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=30292 CPUtime=21.67
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 7423 0 0 0 2161 6 0 0 25 0 1 0 310894182 31019008 7409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 7573 7409 77 171 0 7400 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 35648

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1771616/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=41192 CPUtime=47.25
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10125 0 0 0 4716 9 0 0 25 0 1 0 310894182 42180608 10111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10298 10111 77 171 0 10125 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 46548

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769824/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=42824 CPUtime=98.42
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10539 0 0 0 9832 10 0 0 25 0 1 0 310894182 43851776 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10706 10525 77 171 0 10533 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 48180

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769760/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=42824 CPUtime=158.39
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10544 0 0 0 15829 10 0 0 25 0 1 0 310894182 43851776 10530 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10706 10530 77 171 0 10533 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 48180

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769632/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43040 CPUtime=218.36
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10572 0 0 0 21825 11 0 0 25 0 1 0 310894182 44072960 10558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10760 10558 77 171 0 10587 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 48396

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

[startup+230.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769568/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43040 CPUtime=226.36
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10592 0 0 0 22625 11 0 0 25 0 1 0 310894182 44072960 10578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10760 10578 77 171 0 10587 0
Current children cumulated CPU time (s) 230.12
Current children cumulated vsize (KiB) 48396

[startup+255.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=251.94
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10625 0 0 0 25183 11 0 0 25 0 1 0 310894182 44290048 10611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10611 77 171 0 10640 0
Current children cumulated CPU time (s) 255.7
Current children cumulated vsize (KiB) 48608

[startup+268.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=264.74
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 26463 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (KiB) 48608

[startup+275.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=271.13
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27102 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 274.89
Current children cumulated vsize (KiB) 48608

[startup+276.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=272.73
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27262 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134525415 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 276.49
Current children cumulated vsize (KiB) 48608

[startup+277.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=273.53
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27342 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 277.29
Current children cumulated vsize (KiB) 48608

[startup+278.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=274.33
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27422 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 278.09
Current children cumulated vsize (KiB) 48608

[startup+278.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=274.73
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27462 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 278.49
Current children cumulated vsize (KiB) 48608

Child status: 20
Real time (s): 278.787
CPU time (s): 278.597
CPU user time (s): 278.261
CPU system time (s): 0.335948
CPU usage (%): 99.9316
Max. virtual memory (cumulated for all children) (KiB): 91600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.261
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32374
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= 48
involuntary context switches= 2614

runsolver used 0.357945 second user time and 0.770882 second system time

The end

Launcher Data

Begin job on node42 at 2009-05-20 16:10:56
IDJOB=1834199
IDBENCH=71717
IDSOLVER=671
FILE ID=node42/1834199-1242828656
PBS_JOBID= 9322521
Free space on /tmp= 66352 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g10id.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834199-1242828656/watcher-1834199-1242828656 -o /tmp/evaluation-result-1834199-1242828656/solver-1834199-1242828656 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834199-1242828656.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED=2073044119

node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1831744 kB
Buffers:         52932 kB
Cached:         120932 kB
SwapCached:       8852 kB
Active:          66992 kB
Inactive:       117496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831744 kB
SwapTotal:     4192956 kB
SwapFree:      4178740 kB
Dirty:            9760 kB
Writeback:           0 kB
Mapped:          14580 kB
Slab:            25708 kB
Committed_AS:  1134216 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66352 MiB
End job on node42 at 2009-05-20 16:15:35