Trace number 1837328

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-18? (TO) 10000.1 10003.2

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-20-s100.cnf
MD5SUM5d7745a7593199a47cd1accba5810ed0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark608.764
Satisfiable
(Un)Satisfiability was proved
Number of variables31503
Number of clauses94748
Sum of the clauses size223300
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260816
Number of clauses of size 333868
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Parsing...
0.00/0.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   94548   222824 |   28364       0        0     nan |  0.000 % |
1.28/1.36	c |         0 |   56930   168628 |      --       0       --      -- |     --   | -37278/-53220
1.28/1.36	c ==============================================================================
1.28/1.36	c Result  :   #vars: 13726   #clauses: 56930   #literals: 168628
1.28/1.36	c CPU time:   1.3098 s
1.28/1.36	c ==============================================================================
1.38/1.42	c This is MiniSat 2.0 beta
1.38/1.42	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.42	c ============================[ Problem Statistics ]=============================
1.38/1.42	c |                                                                             |
1.38/1.42	c |  Number of variables:  13726                                                |
1.38/1.42	c |  Number of clauses:    56930                                                |
1.38/1.46	c |  Parsing time:         0.03         s                                       |
1.38/1.46	c ============================[ Search Statistics ]==============================
1.38/1.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.46	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.38/1.46	c ===============================================================================
1.38/1.46	c |         0 |   13726    56930   168628 |    18976        0    nan |  0.000 % |
1.42/1.60	c |       100 |   13715    56930   168628 |    18976       96     31 |  0.503 % |
1.42/1.95	c |       200 |   13579    56111   166639 |    18976      111     21 |  1.071 % |
2.28/2.36	c |       300 |   13579    56111   166639 |    18976      211     20 |  1.071 % |
2.68/2.73	c |       410 |   13579    56111   166639 |    18976      321     24 |  1.071 % |
2.98/3.09	c |       512 |   13579    56111   166639 |    18976      423     27 |  1.071 % |
3.29/3.33	c |       622 |   13579    56111   166639 |    18976      533     27 |  1.071 % |
3.58/3.60	c |       744 |   13579    56111   166639 |    18976      655     28 |  1.071 % |
3.88/3.96	c |       844 |   13579    56111   166639 |    18976      755     28 |  1.071 % |
4.28/4.33	c |       954 |   13579    56111   166639 |    18976      865     27 |  1.071 % |
4.68/4.79	c |      1078 |   13579    56111   166639 |    18976      989     27 |  1.071 % |
5.07/5.20	c |      1212 |   13579    56111   166639 |    18976     1123     26 |  1.071 % |
5.49/5.58	c |      1312 |   13579    56111   166639 |    18976     1223     25 |  1.071 % |
5.98/6.03	c |      1423 |   13579    56111   166639 |    18976     1334     25 |  1.071 % |
6.49/6.56	c |      1544 |   13579    56111   166639 |    18976     1455     24 |  1.071 % |
7.08/7.15	c |      1678 |   13579    56111   166639 |    18976     1589     24 |  1.071 % |
7.59/7.65	c |      1825 |   13579    56111   166639 |    18976     1736     23 |  1.071 % |
7.98/8.03	c |      1927 |   13528    55894   166139 |    18976     1835     23 |  1.443 % |
8.38/8.42	c |      2037 |   13528    55894   166139 |    18976     1945     23 |  1.443 % |
8.69/8.79	c |      2158 |   13528    55894   166139 |    18976     2066     23 |  1.443 % |
9.38/9.41	c |      2292 |   13528    55894   166139 |    18976     2200     23 |  1.443 % |
10.08/10.11	c |      2438 |   13528    55894   166139 |    18976     2346     22 |  1.443 % |
10.68/10.75	c |      2600 |   13528    55894   166139 |    18976     2508     23 |  1.443 % |
11.18/11.22	c |      2700 |   13528    55894   166139 |    18976     2608     23 |  1.443 % |
11.58/11.69	c |      2811 |   13528    55894   166139 |    18976     2719     23 |  1.443 % |
12.18/12.27	c |      2933 |   13528    55894   166139 |    18976     2841     23 |  1.443 % |
12.88/12.94	c |      3067 |   13528    55894   166139 |    18976     2975     23 |  1.443 % |
13.58/13.67	c |      3214 |   13528    55894   166139 |    18976     3122     23 |  1.443 % |
14.38/14.44	c |      3375 |   13528    55894   166139 |    18976     3283     22 |  1.443 % |
15.08/15.17	c |      3551 |   13528    55894   166139 |    18976     3459     22 |  1.443 % |
15.48/15.52	c |      3651 |   13528    55894   166139 |    18976     3559     23 |  1.443 % |
15.68/15.72	c |      3763 |   13528    55894   166139 |    18976     3671     23 |  1.443 % |
16.08/16.19	c |      3886 |   13528    55894   166139 |    18976     3794     24 |  1.443 % |
16.48/16.59	c |      4021 |   13528    55894   166139 |    18976     3929     24 |  1.443 % |
17.08/17.13	c |      4167 |   13528    55894   166139 |    18976     4075     24 |  1.443 % |
17.78/17.82	c |      4327 |   13528    55894   166139 |    18976     4235     23 |  1.443 % |
18.38/18.45	c |      4503 |   13528    55894   166139 |    18976     4411     23 |  1.443 % |
18.98/19.01	c |      4697 |   13528    55894   166139 |    18976     4605     24 |  1.443 % |
19.38/19.43	c |      4797 |   13528    55894   166139 |    18976     4705     24 |  1.443 % |
19.78/19.81	c |      4908 |   13528    55894   166139 |    18976     4816     24 |  1.443 % |
20.18/20.22	c |      5030 |   13528    55894   166139 |    18976     4938     24 |  1.443 % |
20.57/20.66	c |      5163 |   13479    55682   165655 |    18976     5066     24 |  1.800 % |
20.97/21.07	c |      5309 |   13479    55682   165655 |    18976     5212     25 |  1.800 % |
21.57/21.61	c |      5470 |   13479    55682   165655 |    18976     5373     25 |  1.800 % |
22.17/22.23	c |      5647 |   13479    55682   165655 |    18976     5550     24 |  1.800 % |
22.87/22.97	c |      5840 |   13479    55682   165655 |    18976     5743     24 |  1.800 % |
23.77/23.88	c |      6052 |   13479    55682   165655 |    18976     5955     24 |  1.800 % |
24.18/24.28	c |      6153 |   13479    55682   165655 |    18976     6056     24 |  1.800 % |
24.77/24.82	c |      6263 |   13479    55682   165655 |    18976     6166     24 |  1.800 % |
25.37/25.46	c |      6385 |   13479    55682   165655 |    18976     6288     24 |  1.800 % |
25.97/26.09	c |      6519 |   13479    55682   165655 |    18976     6422     24 |  1.800 % |
26.67/26.77	c |      6665 |   13479    55682   165655 |    18976     6568     24 |  1.800 % |
27.17/27.30	c |      6828 |   13479    55682   165655 |    18976     6731     24 |  1.800 % |
27.87/27.97	c |      7005 |   13479    55682   165655 |    18976     6908     24 |  1.800 % |
28.67/28.73	c |      7198 |   13479    55682   165655 |    18976     7101     24 |  1.800 % |
29.47/29.55	c |      7410 |   13479    55682   165655 |    18976     7313     24 |  1.800 % |
30.57/30.61	c |      7644 |   13479    55682   165655 |    18976     7547     24 |  1.800 % |
30.87/30.97	c |      7744 |   13479    55682   165655 |    18976     7647     24 |  1.800 % |
31.37/31.43	c |      7856 |   13479    55682   165655 |    18976     7759     24 |  1.800 % |
31.87/31.91	c |      7977 |   13479    55682   165655 |    18976     7880     24 |  1.800 % |
32.37/32.47	c |      8111 |   13479    55682   165655 |    18976     8014     24 |  1.800 % |
33.07/33.15	c |      8257 |   13479    55682   165655 |    18976     8160     24 |  1.800 % |
33.87/33.91	c |      8417 |   13479    55682   165655 |    18976     8320     23 |  1.800 % |
34.67/34.77	c |      8593 |   13479    55682   165655 |    18976     8496     23 |  1.800 % |
35.47/35.57	c |      8787 |   13479    55682   165655 |    18976     8690     23 |  1.800 % |
36.47/36.54	c |      8999 |   13479    55682   165655 |    18976     8902     23 |  1.800 % |
37.47/37.51	c |      9232 |   13479    55682   165655 |    18976     9135     23 |  1.800 % |
38.57/38.69	c |      9488 |   13479    55682   165655 |    18976     9391     24 |  1.800 % |
39.07/39.15	c |      9588 |   13479    55682   165655 |    18976     9491     23 |  1.800 % |
39.57/39.66	c |      9698 |   13479    55682   165655 |    18976     9601     23 |  1.800 % |
40.17/40.20	c |      9819 |   13479    55682   165655 |    18976     9722     23 |  1.800 % |
40.77/40.82	c |      9952 |   13479    55682   165655 |    18976     9855     23 |  1.800 % |
41.46/41.53	c |     10098 |   13479    55682   165655 | 2147483647    10001     23 |  1.800 % |
42.06/42.18	c |     10258 |   13479    55682   165655 | 2147483647    10161     23 |  1.800 % |
42.77/42.85	c |     10434 |   13479    55682   165655 | 2147483647    10337     23 |  1.800 % |
43.66/43.78	c |     10629 |   13479    55682   165655 | 2147483647    10532     23 |  1.800 % |
44.66/44.72	c |     10841 |   13479    55682   165655 | 2147483647    10744     23 |  1.800 % |
44.97/45.04	c |     11076 |   13479    55682   165655 | 2147483647    10979     24 |  1.800 % |
45.97/46.05	c |     11332 |   13479    55682   165655 | 2147483647    11235     24 |  1.800 % |
47.06/47.11	c |     11613 |   13479    55682   165655 | 2147483647    11516     24 |  1.800 % |
47.27/47.36	c |     11713 |   13479    55682   165655 | 2147483647    11616     24 |  1.800 % |
47.76/47.83	c |     11823 |   13479    55682   165655 | 2147483647    11726     24 |  1.800 % |
48.27/48.36	c |     11944 |   13479    55682   165655 | 2147483647    11847     24 |  1.800 % |
48.96/49.01	c |     12078 |   13479    55682   165655 | 2147483647    11981     24 |  1.800 % |
49.56/49.62	c |     12224 |   13479    55682   165655 | 2147483647    12127     24 |  1.800 % |
50.26/50.32	c |     12385 |   13479    55682   165655 | 2147483647    12288     24 |  1.800 % |
51.16/51.22	c |     12561 |   13479    55682   165655 | 2147483647    12464     24 |  1.800 % |
51.96/52.02	c |     12754 |   13479    55682   165655 | 2147483647    12657     24 |  1.800 % |
52.86/52.99	c |     12966 |   13479    55682   165655 | 2147483647    12869     24 |  1.800 % |
54.06/54.12	c |     13199 |   13479    55682   165655 | 2147483647    13102     24 |  1.800 % |
55.26/55.30	c |     13455 |   13479    55682   165655 | 2147483647    13358     24 |  1.800 % |
56.46/56.55	c |     13737 |   13479    55682   165655 | 2147483647    13640     24 |  1.800 % |
57.86/57.95	c |     14047 |   13479    55682   165655 | 2147483647    13950     24 |  1.800 % |
58.36/58.40	c |     14149 |   13479    55682   165655 | 2147483647    14052     24 |  1.800 % |
58.86/58.93	c |     14260 |   13479    55682   165655 | 2147483647    14163     24 |  1.800 % |
59.46/59.55	c |     14381 |   13479    55682   165655 | 2147483647    14284     24 |  1.800 % |
60.06/60.14	c |     14515 |   13479    55682   165655 | 2147483647    14418     24 |  1.800 % |
60.67/60.76	c |     14662 |   13479    55682   165655 | 2147483647    14565     23 |  1.800 % |
61.17/61.26	c |     14822 |   13479    55682   165655 | 2147483647    14725     24 |  1.800 % |
61.97/62.06	c |     14999 |   13479    55682   165655 | 2147483647    14902     24 |  1.800 % |
62.87/62.93	c |     15192 |   13479    55682   165655 | 2147483647    15095     24 |  1.800 % |
63.87/63.98	c |     15404 |   13479    55682   165655 | 2147483647    15307     24 |  1.800 % |
64.87/64.94	c |     15638 |   13479    55682   165655 | 2147483647    15541     24 |  1.800 % |
66.06/66.11	c |     15896 |   13479    55682   165655 | 2147483647    15799     24 |  1.800 % |
67.16/67.26	c |     16178 |   13479    55682   165655 | 2147483647    16081     24 |  1.800 % |
68.46/68.55	c |     16487 |   13479    55682   165655 | 2147483647    16390     24 |  1.800 % |
69.66/69.75	c |     16827 |   13479    55682   165655 | 2147483647    16730     24 |  1.800 % |
70.16/70.26	c |     16928 |   13479    55682   165655 | 2147483647    16831     24 |  1.800 % |
70.66/70.76	c |     17039 |   13479    55682   165655 | 2147483647    16942     24 |  1.800 % |
71.16/71.27	c |     17160 |   13479    55682   165655 | 2147483647    17063     24 |  1.800 % |
71.86/71.90	c |     17293 |   13479    55682   165655 | 2147483647    17196     24 |  1.800 % |
72.36/72.47	c |     17440 |   13479    55682   165655 | 2147483647    17343     24 |  1.800 % |
72.76/72.86	c |     17600 |   13479    55682   165655 | 2147483647    17503     24 |  1.800 % |
73.46/73.55	c |     17777 |   13479    55682   165655 | 2147483647    17680     24 |  1.800 % |
74.36/74.43	c |     17971 |   13479    55682   165655 | 2147483647    17874     24 |  1.800 % |
75.46/75.54	c |     18184 |   13479    55682   165655 | 2147483647    18087     24 |  1.800 % |
76.66/76.75	c |     18417 |   13479    55682   165655 | 2147483647    18320     24 |  1.800 % |
77.96/78.05	c |     18673 |   13479    55682   165655 | 2147483647    18576     24 |  1.800 % |
79.66/79.72	c |     18954 |   13479    55682   165655 | 2147483647    18857     24 |  1.800 % |
81.26/81.31	c |     19263 |   13479    55682   165655 | 2147483647    19166     24 |  1.800 % |
82.76/82.87	c |     19602 |   13479    55682   165655 | 2147483647    19505     24 |  1.800 % |
84.46/84.59	c |     19974 |   13479    55682   165655 | 2147483647    19877     24 |  1.800 % |
85.06/85.16	c |     20075 |   13479    55682   165655 | 2147483647    19978     24 |  1.800 % |
85.46/85.59	c |     20186 |   13479    55682   165655 | 2147483647    20089     24 |  1.800 % |
86.16/86.22	c |     20308 |   13479    55682   165655 | 2147483647    20211     24 |  1.800 % |
86.76/86.85	c |     20442 |   13479    55682   165655 | 2147483647    20345     24 |  1.800 % |
87.36/87.48	c |     20588 |   13479    55682   165655 | 2147483647    20491     24 |  1.800 % |
88.06/88.10	c |     20749 |   13479    55682   165655 | 2147483647    20652     24 |  1.800 % |
88.76/88.81	c |     20926 |   13479    55682   165655 | 2147483647    20829     24 |  1.800 % |
89.66/89.77	c |     21120 |   13479    55682   165655 | 2147483647    21023     24 |  1.800 % |
90.66/90.78	c |     21332 |   13479    55682   165655 | 2147483647    21235     24 |  1.800 % |
91.76/91.83	c |     21567 |   13433    55470   165174 | 2147483647    21469     24 |  2.135 % |
93.05/93.13	c |     21823 |   13433    55470   165174 | 2147483647    21725     24 |  2.135 % |
94.46/94.57	c |     22105 |   13433    55470   165174 | 2147483647    22007     24 |  2.135 % |
94.75/94.85	c |     22417 |   13433    55470   165174 | 2147483647    22319     25 |  2.135 % |
96.15/96.23	c |     22757 |   13433    55470   165174 | 2147483647    22659     25 |  2.135 % |
98.25/98.31	c |     23129 |   13433    55470   165174 | 2147483647    23031     25 |  2.135 % |
100.35/100.47	c |     23538 |   13433    55470   165174 | 2147483647    23440     25 |  2.135 % |
100.95/101.08	c |     23639 |   13433    55470   165174 | 2147483647    23541     25 |  2.135 % |
101.55/101.68	c |     23750 |   13433    55470   165174 | 2147483647    23652     25 |  2.135 % |
102.15/102.22	c |     23871 |   13433    55470   165174 | 2147483647    23773     25 |  2.135 % |
102.85/102.92	c |     24004 |   13433    55470   165174 | 2147483647    23906     25 |  2.135 % |
103.55/103.69	c |     24151 |   13433    55470   165174 | 2147483647    24053     25 |  2.135 % |
104.55/104.60	c |     24311 |   13433    55470   165174 | 2147483647    24213     25 |  2.135 % |
105.45/105.53	c |     24488 |   13433    55470   165174 | 2147483647    24390     25 |  2.135 % |
106.45/106.55	c |     24681 |   13433    55470   165174 | 2147483647    24583     25 |  2.135 % |
107.65/107.74	c |     24893 |   13433    55470   165174 | 2147483647    24795     25 |  2.135 % |
108.95/109.09	c |     25127 |   13433    55470   165174 | 2147483647    25029     25 |  2.135 % |
110.35/110.42	c |     25383 |   13433    55470   165174 | 2147483647    25285     25 |  2.135 % |
111.14/111.24	c |     25664 |   13433    55470   165174 | 2147483647    25566     25 |  2.135 % |
112.74/112.82	c |     25973 |   13433    55470   165174 | 2147483647    25875     25 |  2.135 % |
114.25/114.37	c |     26314 |   13433    55470   165174 | 2147483647    26216     25 |  2.135 % |
115.84/115.94	c |     26686 |   13433    55470   165174 | 2147483647    26588     25 |  2.135 % |
117.94/118.02	c |     27097 |   13433    55470   165174 | 2147483647    26999     25 |  2.135 % |
120.04/120.13	c |     27547 |   13433    55470   165174 | 2147483647    27449     25 |  2.135 % |
120.54/120.66	c |     27647 |   13433    55470   165174 | 2147483647    27549     25 |  2.135 % |
121.14/121.26	c |     27758 |   13433    55470   165174 | 2147483647    27660     25 |  2.135 % |
121.84/121.91	c |     27880 |   13433    55470   165174 | 2147483647    27782     25 |  2.135 % |
122.44/122.50	c |     28013 |   13433    55470   165174 | 2147483647    27915     25 |  2.135 % |
123.14/123.28	c |     28160 |   13433    55470   165174 | 2147483647    28062     25 |  2.135 % |
123.64/123.79	c |     28320 |   13433    55470   165174 | 2147483647    28222     25 |  2.135 % |
124.54/124.69	c |     28496 |   13433    55470   165174 | 2147483647    28398     25 |  2.135 % |
125.55/125.65	c |     28689 |   13433    55470   165174 | 2147483647    28591     25 |  2.135 % |
126.65/126.70	c |     28903 |   13433    55470   165174 | 2147483647    28805     25 |  2.135 % |
127.55/127.69	c |     29137 |   13433    55470   165174 | 2147483647    29039     25 |  2.135 % |
129.15/129.23	c |     29394 |   13433    55470   165174 | 2147483647    29296     25 |  2.135 % |
130.85/130.93	c |     29676 |   13433    55470   165174 | 2147483647    29578     25 |  2.135 % |
132.35/132.47	c |     29985 |   13433    55470   165174 | 2147483647    29887     25 |  2.135 % |
134.15/134.21	c |     30324 |   13433    55470   165174 | 2147483647    30226     25 |  2.135 % |
135.94/136.06	c |     30696 |   13433    55470   165174 | 2147483647    30598     25 |  2.135 % |
138.04/138.17	c |     31105 |   13433    55470   165174 | 2147483647    31007     25 |  2.135 % |
140.44/140.55	c |     31554 |   13433    55470   165174 | 2147483647    31456     25 |  2.135 % |
142.94/143.02	c |     32047 |   13433    55470   165174 | 2147483647    31949     25 |  2.135 % |
143.44/143.56	c |     32147 |   13433    55470   165174 | 2147483647    32049     25 |  2.135 % |
143.84/143.95	c |     32257 |   13433    55470   165174 | 2147483647    32159     25 |  2.135 % |
144.44/144.56	c |     32379 |   13433    55470   165174 | 2147483647    32281     25 |  2.135 % |
145.24/145.31	c |     32512 |   13433    55470   165174 | 2147483647    32414     25 |  2.135 % |
145.84/146.00	c |     32658 |   13433    55470   165174 | 2147483647    32560     25 |  2.135 % |
146.93/147.02	c |     32818 |   13433    55470   165174 | 2147483647    32720     25 |  2.135 % |
147.84/147.95	c |     32995 |   13433    55470   165174 | 2147483647    32897     25 |  2.135 % |
148.93/149.08	c |     33189 |   13433    55470   165174 | 2147483647    33091     25 |  2.135 % |
150.13/150.22	c |     33402 |   13433    55470   165174 | 2147483647    33304     25 |  2.135 % |
151.23/151.31	c |     33635 |   13433    55470   165174 | 2147483647    33537     25 |  2.135 % |
152.74/152.89	c |     33892 |   13433    55470   165174 | 2147483647    33794     25 |  2.135 % |
154.03/154.12	c |     34174 |   13433    55470   165174 | 2147483647    34076     25 |  2.135 % |
155.53/155.62	c |     34484 |   13433    55470   165174 | 2147483647    34386     25 |  2.135 % |
157.03/157.16	c |     34824 |   13433    55470   165174 | 2147483647    34726     25 |  2.135 % |
158.83/158.98	c |     35196 |   13433    55470   165174 | 2147483647    35098     25 |  2.135 % |
160.53/160.67	c |     35605 |   13433    55470   165174 | 2147483647    35507     25 |  2.135 % |
162.73/162.89	c |     36054 |   13433    55470   165174 | 2147483647    35956     25 |  2.135 % |
165.33/165.42	c |     36549 |   13433    55470   165174 | 2147483647    36451     25 |  2.135 % |
167.34/167.43	c |     37092 |   13433    55470   165174 | 2147483647    36994     25 |  2.135 % |
167.84/167.92	c |     37192 |   13433    55470   165174 | 2147483647    37094     26 |  2.135 % |
168.14/168.21	c |     37303 |   13433    55470   165174 | 2147483647    37205     26 |  2.135 % |
168.64/168.71	c |     37425 |   13433    55470   165174 | 2147483647    37327     26 |  2.135 % |
169.34/169.49	c |     37559 |   13433    55470   165174 | 2147483647    37461     26 |  2.135 % |
170.24/170.36	c |     37707 |   13433    55470   165174 | 2147483647    37609     26 |  2.135 % |
171.04/171.18	c |     37867 |   13433    55470   165174 | 2147483647    37769     26 |  2.135 % |
172.14/172.22	c |     38044 |   13433    55470   165174 | 2147483647    37946     26 |  2.135 % |
173.03/173.12	c |     38238 |   13433    55470   165174 | 2147483647    38140     26 |  2.135 % |
173.74/173.83	c |     38450 |   13433    55470   165174 | 2147483647    38352     26 |  2.135 % |
174.84/174.91	c |     38684 |   13433    55470   165174 | 2147483647    38586     26 |  2.135 % |
176.03/176.11	c |     38940 |   13433    55470   165174 | 2147483647    38842     26 |  2.135 % |
177.73/177.88	c |     39222 |   13433    55470   165174 | 2147483647    39124     26 |  2.135 % |
179.73/179.89	c |     39531 |   13433    55470   165174 | 2147483647    39433     26 |  2.135 % |
182.03/182.16	c |     39871 |   13433    55470   165174 | 2147483647    39773     26 |  2.135 % |
183.93/184.09	c |     40244 |   13433    55470   165174 | 2147483647    40146     26 |  2.135 % |
185.42/185.57	c |     40653 |   13433    55470   165174 | 2147483647    40555     26 |  2.135 % |
187.93/188.08	c |     41102 |   13433    55470   165174 | 2147483647    41004     26 |  2.135 % |
190.32/190.46	c |     41596 |   13433    55470   165174 | 2147483647    41498     26 |  2.135 % |
193.52/193.67	c |     42139 |   13433    55470   165174 | 2147483647    42041     26 |  2.135 % |
197.12/197.22	c |     42735 |   13433    55470   165174 | 2147483647    42637     25 |  2.135 % |
197.62/197.73	c |     42835 |   13433    55470   165174 | 2147483647    42737     25 |  2.135 % |
198.32/198.40	c |     42946 |   13433    55470   165174 | 2147483647    42848     25 |  2.135 % |
199.12/199.23	c |     43068 |   13433    55470   165174 | 2147483647    42970     25 |  2.135 % |
199.92/200.06	c |     43202 |   13433    55470   165174 | 2147483647    43104     25 |  2.135 % |
200.92/201.01	c |     43350 |   13433    55470   165174 | 2147483647    43252     25 |  2.135 % |
201.92/202.01	c |     43511 |   13433    55470   165174 | 2147483647    43413     25 |  2.135 % |
202.92/203.06	c |     43687 |   13433    55470   165174 | 2147483647    43589     25 |  2.135 % |
204.12/204.28	c |     43880 |   13433    55470   165174 | 2147483647    43782     25 |  2.135 % |
205.23/205.38	c |     44094 |   13433    55470   165174 | 2147483647    43996     25 |  2.135 % |
206.42/206.58	c |     44327 |   13433    55470   165174 | 2147483647    44229     25 |  2.135 % |
208.03/208.16	c |     44584 |   13433    55470   165174 | 2147483647    44486     25 |  2.135 % |
209.62/209.78	c |     44867 |   13433    55470   165174 | 2147483647    44769     25 |  2.135 % |
211.52/211.62	c |     45177 |   13433    55470   165174 | 2147483647    45079     25 |  2.135 % |
213.62/213.77	c |     45517 |   13433    55470   165174 | 2147483647    45419     25 |  2.135 % |
215.92/216.07	c |     45890 |   13433    55470   165174 | 2147483647    45792     25 |  2.135 % |
218.42/218.53	c |     46300 |   13433    55470   165174 | 2147483647    46202     25 |  2.135 % |
220.82/220.94	c |     46751 |   13433    55470   165174 | 2147483647    46653     25 |  2.135 % |
223.72/223.83	c |     47246 |   13433    55470   165174 | 2147483647    47148     25 |  2.135 % |
226.52/226.62	c |     47788 |   13433    55470   165174 | 2147483647    47690     25 |  2.135 % |
229.82/229.91	c |     48385 |   13433    55470   165174 | 2147483647    48287     25 |  2.135 % |
233.21/233.34	c |     49040 |   13433    55470   165174 | 2147483647    48942     25 |  2.135 % |
233.71/233.87	c |     49140 |   13433    55470   165174 | 2147483647    49042     25 |  2.135 % |
234.41/234.56	c |     49251 |   13433    55470   165174 | 2147483647    49153     25 |  2.135 % |
234.91/235.07	c |     49372 |   13433    55470   165174 | 2147483647    49274     25 |  2.135 % |
235.71/235.87	c |     49506 |   13433    55470   165174 | 2147483647    49408     25 |  2.135 % |
236.61/236.77	c |     49653 |   13433    55470   165174 | 2147483647    49555     25 |  2.135 % |
237.61/237.78	c |     49814 |   13433    55470   165174 | 2147483647    49716     25 |  2.135 % |
238.61/238.77	c |     49990 |   13433    55470   165174 | 2147483647    49892     25 |  2.135 % |
239.41/239.56	c |     50183 |   13433    55470   165174 | 2147483647    50085     25 |  2.135 % |
240.51/240.65	c |     50395 |   13433    55470   165174 | 2147483647    50297     25 |  2.135 % |
241.81/241.97	c |     50629 |   13433    55470   165174 | 2147483647    50531     25 |  2.135 % |
243.51/243.67	c |     50885 |   13433    55470   165174 | 2147483647    50787     25 |  2.135 % |
245.41/245.54	c |     51166 |   13433    55470   165174 | 2147483647    51068     25 |  2.135 % |
247.31/247.49	c |     51475 |   13433    55470   165174 | 2147483647    51377     25 |  2.135 % |
249.51/249.69	c |     51815 |   13433    55470   165174 | 2147483647    51717     25 |  2.135 % |
251.81/251.99	c |     52187 |   13433    55470   165174 | 2147483647    52089     25 |  2.135 % |
254.70/254.85	c |     52597 |   13433    55470   165174 | 2147483647    52499     25 |  2.135 % |
257.21/257.37	c |     53047 |   13433    55470   165174 | 2147483647    52949     25 |  2.135 % |
260.21/260.37	c |     53540 |   13433    55470   165174 | 2147483647    53442     25 |  2.135 % |
263.61/263.70	c |     54084 |   13433    55470   165174 | 2147483647    53986     25 |  2.135 % |
267.01/267.14	c |     54681 |   13433    55470   165174 | 2147483647    54583     25 |  2.135 % |
270.91/271.02	c |     55337 |   13433    55470   165174 | 2147483647    55239     25 |  2.135 % |
274.60/274.79	c |     56057 |   13433    55470   165174 | 2147483647    55959     25 |  2.135 % |
275.20/275.38	c |     56158 |   13433    55470   165174 | 2147483647    56060     25 |  2.135 % |
276.01/276.12	c |     56268 |   13433    55470   165174 | 2147483647    56170     25 |  2.135 % |
276.80/276.99	c |     56390 |   13433    55470   165174 | 2147483647    56292     25 |  2.135 % |
277.80/277.90	c |     56523 |   13433    55470   165174 | 2147483647    56425     25 |  2.135 % |
278.60/278.76	c |     56671 |   13433    55470   165174 | 2147483647    56573     25 |  2.135 % |
279.31/279.48	c |     56832 |   13433    55470   165174 | 2147483647    56734     25 |  2.135 % |
280.20/280.36	c |     57009 |   13433    55470   165174 | 2147483647    56911     25 |  2.135 % |
281.30/281.49	c |     57202 |   13433    55470   165174 | 2147483647    57104     25 |  2.135 % |
282.60/282.76	c |     57414 |   13433    55470   165174 | 2147483647    57316     25 |  2.135 % |
284.00/284.16	c |     57648 |   13433    55470   165174 | 2147483647    57550     25 |  2.135 % |
285.90/286.00	c |     57905 |   13433    55470   165174 | 2147483647    57807     25 |  2.135 % |
287.49/287.69	c |     58186 |   13433    55470   165174 | 2147483647    58088     25 |  2.135 % |
289.39/289.53	c |     58495 |   13433    55470   165174 | 2147483647    58397     25 |  2.135 % |
291.40/291.55	c |     58834 |   13433    55470   165174 | 2147483647    58736     25 |  2.135 % |
293.60/293.78	c |     59207 |   13433    55470   165174 | 2147483647    59109     25 |  2.135 % |
295.99/296.12	c |     59616 |   13433    55470   165174 | 2147483647    59518     25 |  2.135 % |
298.79/298.93	c |     60066 |   13433    55470   165174 | 2147483647    59968     25 |  2.135 % |
301.89/302.04	c |     60561 |   13433    55470   165174 | 2147483647    60463     25 |  2.135 % |
305.40/305.51	c |     61104 |   13433    55470   165174 | 2147483647    61006     25 |  2.135 % |
309.19/309.30	c |     61700 |   13433    55470   165174 | 2147483647    61602     25 |  2.135 % |
313.29/313.48	c |     62357 |   13433    55470   165174 | 2147483647    62259     25 |  2.135 % |
317.09/317.22	c |     63078 |   13433    55470   165174 | 2147483647    62980     25 |  2.135 % |
322.09/322.20	c |     63870 |   13433    55470   165174 | 2147483647    63772     25 |  2.135 % |
322.69/322.82	c |     63970 |   13433    55470   165174 | 2147483647    63872     25 |  2.135 % |
323.39/323.57	c |     64081 |   13433    55470   165174 | 2147483647    63983     25 |  2.135 % |
324.29/324.42	c |     64205 |   13433    55470   165174 | 2147483647    64107     25 |  2.135 % |
325.09/325.29	c |     64338 |   13433    55470   165174 | 2147483647    64240     25 |  2.135 % |
325.99/326.14	c |     64485 |   13433    55470   165174 | 2147483647    64387     25 |  2.135 % |
327.09/327.23	c |     64646 |   13433    55470   165174 | 2147483647    64548     25 |  2.135 % |
328.19/328.32	c |     64822 |   13433    55470   165174 | 2147483647    64724     25 |  2.135 % |
329.29/329.50	c |     65016 |   13433    55470   165174 | 2147483647    64918     25 |  2.135 % |
330.58/330.77	c |     65228 |   13433    55470   165174 | 2147483647    65130     25 |  2.135 % |
332.09/332.29	c |     65461 |   13433    55470   165174 | 2147483647    65363     25 |  2.135 % |
333.98/334.17	c |     65717 |   13433    55470   165174 | 2147483647    65619     25 |  2.135 % |
336.08/336.24	c |     65999 |   13433    55470   165174 | 2147483647    65901     25 |  2.135 % |
338.08/338.29	c |     66308 |   13433    55470   165174 | 2147483647    66210     25 |  2.135 % |
340.28/340.46	c |     66647 |   13433    55470   165174 | 2147483647    66549     25 |  2.135 % |
342.28/342.42	c |     67020 |   13433    55470   165174 | 2147483647    66922     25 |  2.135 % |
344.98/345.11	c |     67429 |   13433    55470   165174 | 2147483647    67331     25 |  2.135 % |
347.48/347.63	c |     67879 |   13433    55470   165174 | 2147483647    67781     25 |  2.135 % |
349.27/349.45	c |     68372 |   13433    55470   165174 | 2147483647    68274     25 |  2.135 % |
351.57/351.75	c |     68915 |   13433    55470   165174 | 2147483647    68817     25 |  2.135 % |
354.27/354.43	c |     69513 |   13433    55470   165174 | 2147483647    69415     26 |  2.135 % |
358.16/358.33	c |     70168 |   13433    55470   165174 | 2147483647    70070     26 |  2.135 % |
362.57/362.79	c |     70888 |   13433    55470   165174 | 2147483647    70790     26 |  2.135 % |
367.67/367.83	c |     71681 |   13433    55470   165174 | 2147483647    71583     26 |  2.135 % |
373.07/373.21	c |     72553 |   13433    55470   165174 | 2147483647    72455     26 |  2.135 % |
373.87/374.03	c |     72654 |   13433    55470   165174 | 2147483647    72556     26 |  2.135 % |
374.67/374.84	c |     72765 |   13433    55470   165174 | 2147483647    72667     26 |  2.135 % |
375.47/375.69	c |     72887 |   13433    55470   165174 | 2147483647    72789     26 |  2.135 % |
376.47/376.67	c |     73020 |   13433    55470   165174 | 2147483647    72922     26 |  2.135 % |
377.37/377.54	c |     73168 |   13433    55470   165174 | 2147483647    73070     26 |  2.135 % |
378.36/378.58	c |     73329 |   13433    55470   165174 | 2147483647    73231     26 |  2.135 % |
379.57/379.74	c |     73505 |   13433    55470   165174 | 2147483647    73407     26 |  2.135 % |
380.96/381.16	c |     73698 |   13433    55470   165174 | 2147483647    73600     26 |  2.135 % |
382.46/382.67	c |     73911 |   13433    55470   165174 | 2147483647    73813     26 |  2.135 % |
383.96/384.15	c |     74145 |   13433    55470   165174 | 2147483647    74047     26 |  2.135 % |
385.46/385.69	c |     74402 |   13433    55470   165174 | 2147483647    74304     26 |  2.135 % |
387.66/387.81	c |     74684 |   13433    55470   165174 | 2147483647    74586     26 |  2.135 % |
389.26/389.48	c |     74993 |   13433    55470   165174 | 2147483647    74895     26 |  2.135 % |
391.16/391.30	c |     75332 |   13433    55470   165174 | 2147483647    75234     26 |  2.135 % |
392.26/392.49	c |     75704 |   13433    55470   165174 | 2147483647    75606     26 |  2.135 % |
395.16/395.36	c |     76113 |   13433    55470   165174 | 2147483647    76015     26 |  2.135 % |
398.35/398.57	c |     76562 |   13433    55470   165174 | 2147483647    76464     26 |  2.135 % |
401.85/402.02	c |     77055 |   13433    55470   165174 | 2147483647    76957     26 |  2.135 % |
405.55/405.71	c |     77598 |   13433    55470   165174 | 2147483647    77500     26 |  2.135 % |
409.25/409.47	c |     78195 |   13433    55470   165174 | 2147483647    78097     26 |  2.135 % |
413.55/413.71	c |     78851 |   13433    55470   165174 | 2147483647    78753     26 |  2.135 % |
418.55/418.79	c |     79572 |   13433    55470   165174 | 2147483647    79474     26 |  2.135 % |
424.36/424.57	c |     80365 |   13433    55470   165174 | 2147483647    80267     26 |  2.135 % |
430.05/430.25	c |     81236 |   13433    55470   165174 | 2147483647    81138     26 |  2.135 % |
436.15/436.33	c |     82195 |   13433    55470   165174 | 2147483647    82097     26 |  2.135 % |
436.85/437.00	c |     82295 |   13433    55470   165174 | 2147483647    82197     26 |  2.135 % |
437.45/437.70	c |     82406 |   13433    55470   165174 | 2147483647    82308     26 |  2.135 % |
438.25/438.49	c |     82528 |   13433    55470   165174 | 2147483647    82430     26 |  2.135 % |
439.15/439.38	c |     82661 |   13433    55470   165174 | 2147483647    82563     26 |  2.135 % |
440.15/440.38	c |     82808 |   13433    55470   165174 | 2147483647    82710     26 |  2.135 % |
441.35/441.50	c |     82968 |   13433    55470   165174 | 2147483647    82870     26 |  2.135 % |
442.54/442.71	c |     83145 |   13433    55470   165174 | 2147483647    83047     26 |  2.135 % |
443.84/444.01	c |     83340 |   13433    55470   165174 | 2147483647    83242     26 |  2.135 % |
445.35/445.52	c |     83555 |   13433    55470   165174 | 2147483647    83457     26 |  2.135 % |
446.84/447.00	c |     83789 |   13433    55470   165174 | 2147483647    83691     26 |  2.135 % |
448.34/448.58	c |     84046 |   13433    55470   165174 | 2147483647    83948     26 |  2.135 % |
450.14/450.39	c |     84327 |   13433    55470   165174 | 2147483647    84229     26 |  2.135 % |
452.34/452.57	c |     84637 |   13433    55470   165174 | 2147483647    84539     26 |  2.135 % |
455.04/455.28	c |     84976 |   13433    55470   165174 | 2147483647    84878     26 |  2.135 % |
458.14/458.32	c |     85349 |   13433    55470   165174 | 2147483647    85251     26 |  2.135 % |
460.54/460.78	c |     85759 |   13433    55470   165174 | 2147483647    85661     26 |  2.135 % |
463.54/463.70	c |     86209 |   13433    55470   165174 | 2147483647    86111     26 |  2.135 % |
467.03/467.27	c |     86702 |   13433    55470   165174 | 2147483647    86604     26 |  2.135 % |
471.13/471.37	c |     87245 |   13433    55470   165174 | 2147483647    87147     26 |  2.135 % |
475.04/475.21	c |     87843 |   13433    55470   165174 | 2147483647    87745     26 |  2.135 % |
479.33/479.52	c |     88498 |   13433    55470   165174 | 2147483647    88400     26 |  2.135 % |
484.64/484.82	c |     89218 |   13433    55470   165174 | 2147483647    89120     26 |  2.135 % |
490.24/490.42	c |     90010 |   13433    55470   165174 | 2147483647    89912     26 |  2.135 % |
496.33/496.54	c |     90882 |   13433    55470   165174 | 2147483647    90784     26 |  2.135 % |
503.23/503.46	c |     91841 |   13433    55470   165174 | 2147483647    91743     26 |  2.135 % |
510.83/511.02	c |     92894 |   13433    55470   165174 | 2147483647    92796     26 |  2.135 % |
511.63/511.82	c |     92995 |   13433    55470   165174 | 2147483647    92897     26 |  2.135 % |
512.43/512.62	c |     93105 |   13433    55470   165174 | 2147483647    93007     26 |  2.135 % |
513.23/513.48	c |     93226 |   13433    55470   165174 | 2147483647    93128     26 |  2.135 % |
514.23/514.40	c |     93360 |   13433    55470   165174 | 2147483647    93262     26 |  2.135 % |
515.13/515.31	c |     93508 |   13433    55470   165174 | 2147483647    93410     26 |  2.135 % |
516.03/516.30	c |     93668 |   13433    55470   165174 | 2147483647    93570     26 |  2.135 % |
517.53/517.73	c |     93845 |   13433    55470   165174 | 2147483647    93747     26 |  2.135 % |
518.53/518.73	c |     94038 |   13433    55470   165174 | 2147483647    93940     26 |  2.135 % |
519.93/520.12	c |     94251 |   13433    55470   165174 | 2147483647    94153     26 |  2.135 % |
521.53/521.79	c |     94485 |   13433    55470   165174 | 2147483647    94387     26 |  2.135 % |
523.53/523.70	c |     94741 |   13433    55470   165174 | 2147483647    94643     26 |  2.135 % |
525.43/525.65	c |     95023 |   13433    55470   165174 | 2147483647    94925     26 |  2.135 % |
527.62/527.80	c |     95332 |   13433    55470   165174 | 2147483647    95234     26 |  2.135 % |
530.12/530.37	c |     95672 |   13433    55470   165174 | 2147483647    95574     26 |  2.135 % |
533.02/533.28	c |     96045 |   13433    55470   165174 | 2147483647    95947     26 |  2.135 % |
536.02/536.27	c |     96454 |   13433    55470   165174 | 2147483647    96356     26 |  2.135 % |
539.02/539.20	c |     96905 |   13433    55470   165174 | 2147483647    96807     26 |  2.135 % |
542.82/543.00	c |     97398 |   13433    55470   165174 | 2147483647    97300     26 |  2.135 % |
546.31/546.58	c |     97941 |   13433    55470   165174 | 2147483647    97843     26 |  2.135 % |
550.51/550.70	c |     98539 |   13433    55470   165174 | 2147483647    98441     26 |  2.135 % |
555.31/555.52	c |     99194 |   13433    55470   165174 | 2147483647    99096     26 |  2.135 % |
560.51/560.73	c |     99915 |   13433    55470   165174 | 2147483647    99817     26 |  2.135 % |
566.51/566.79	c |    100708 |   13433    55470   165174 | 2147483647   100610     26 |  2.135 % |
573.11/573.39	c |    101579 |   13433    55470   165174 | 2147483647   101481     25 |  2.135 % |
580.51/580.74	c |    102538 |   13433    55470   165174 | 2147483647   102440     25 |  2.135 % |
588.50/588.74	c |    103591 |   13433    55470   165174 | 2147483647   103493     25 |  2.135 % |
597.40/597.65	c |    104751 |   13433    55470   165174 | 2147483647   104653     25 |  2.135 % |
598.11/598.36	c |    104852 |   13433    55470   165174 | 2147483647   104754     25 |  2.135 % |
598.80/599.09	c |    104963 |   13433    55470   165174 | 2147483647   104865     25 |  2.135 % |
599.90/600.11	c |    105084 |   13433    55470   165174 | 2147483647   104986     25 |  2.135 % |
600.80/601.03	c |    105217 |   13433    55470   165174 | 2147483647   105119     25 |  2.135 % |
602.00/602.20	c |    105364 |   13433    55470   165174 | 2147483647   105266     25 |  2.135 % |
602.90/603.17	c |    105524 |   13433    55470   165174 | 2147483647   105426     25 |  2.135 % |
604.20/604.40	c |    105701 |   13433    55470   165174 | 2147483647   105603     25 |  2.135 % |
605.50/605.73	c |    105895 |   13433    55470   165174 | 2147483647   105797     25 |  2.135 % |
607.30/607.57	c |    106108 |   13433    55470   165174 | 2147483647   106010     25 |  2.135 % |
609.20/609.44	c |    106341 |   13433    55470   165174 | 2147483647   106243     25 |  2.135 % |
611.30/611.55	c |    106597 |   13433    55470   165174 | 2147483647   106499     25 |  2.135 % |
613.30/613.58	c |    106878 |   13433    55470   165174 | 2147483647   106780     25 |  2.135 % |
615.90/616.16	c |    107188 |   13433    55470   165174 | 2147483647   107090     25 |  2.135 % |
618.00/618.30	c |    107527 |   13433    55470   165174 | 2147483647   107429     25 |  2.135 % |
620.79/621.03	c |    107899 |   13433    55470   165174 | 2147483647   107801     25 |  2.135 % |
623.99/624.27	c |    108308 |   13433    55470   165174 | 2147483647   108210     25 |  2.135 % |
627.49/627.73	c |    108757 |   13433    55470   165174 | 2147483647   108659     25 |  2.135 % |
631.29/631.58	c |    109251 |   13433    55470   165174 | 2147483647   109153     25 |  2.135 % |
635.09/635.30	c |    109794 |   13433    55470   165174 | 2147483647   109696     25 |  2.135 % |
639.49/639.72	c |    110390 |   13433    55470   165174 | 2147483647   110292     25 |  2.135 % |
644.48/644.74	c |    111046 |   13433    55470   165174 | 2147483647   110948     25 |  2.135 % |
650.18/650.42	c |    111766 |   13433    55470   165174 | 2147483647   111668     25 |  2.135 % |
656.28/656.54	c |    112559 |   13433    55470   165174 | 2147483647   112461     25 |  2.135 % |
662.38/662.63	c |    113432 |   13433    55470   165174 | 2147483647   113334     25 |  2.135 % |
669.88/670.15	c |    114390 |   13433    55470   165174 | 2147483647   114292     25 |  2.135 % |
678.17/678.49	c |    115444 |   13433    55470   165174 | 2147483647   115346     25 |  2.135 % |
687.18/687.44	c |    116604 |   13433    55470   165174 | 2147483647   116506     25 |  2.135 % |
697.68/697.93	c |    117878 |   13433    55470   165174 | 2147483647   117780     25 |  2.135 % |
698.48/698.70	c |    117979 |   13433    55470   165174 | 2147483647   117881     25 |  2.135 % |
699.28/699.52	c |    118090 |   13433    55470   165174 | 2147483647   117992     25 |  2.135 % |
700.27/700.59	c |    118211 |   13433    55470   165174 | 2147483647   118113     25 |  2.135 % |
701.17/701.48	c |    118344 |   13433    55470   165174 | 2147483647   118246     25 |  2.135 % |
701.97/702.25	c |    118491 |   13433    55470   165174 | 2147483647   118393     25 |  2.135 % |
703.17/703.42	c |    118651 |   13433    55470   165174 | 2147483647   118553     25 |  2.135 % |
704.47/704.75	c |    118827 |   13433    55470   165174 | 2147483647   118729     25 |  2.135 % |
705.97/706.27	c |    119020 |   13433    55470   165174 | 2147483647   118922     25 |  2.135 % |
707.87/708.13	c |    119233 |   13433    55470   165174 | 2147483647   119135     25 |  2.135 % |
709.87/710.17	c |    119466 |   13433    55470   165174 | 2147483647   119368     25 |  2.135 % |
711.97/712.24	c |    119723 |   13433    55470   165174 | 2147483647   119625     25 |  2.135 % |
714.17/714.47	c |    120005 |   13433    55470   165174 | 2147483647   119907     25 |  2.135 % |
716.67/716.98	c |    120314 |   13433    55470   165174 | 2147483647   120216     25 |  2.135 % |
719.56/719.80	c |    120655 |   13433    55470   165174 | 2147483647   120557     25 |  2.135 % |
722.37/722.64	c |    121027 |   13433    55470   165174 | 2147483647   120929     25 |  2.135 % |
725.56/725.86	c |    121436 |   13433    55470   165174 | 2147483647   121338     25 |  2.135 % |
728.96/729.28	c |    121886 |   13433    55470   165174 | 2147483647   121788     25 |  2.135 % |
732.96/733.25	c |    122380 |   13433    55470   165174 | 2147483647   122282     25 |  2.135 % |
735.76/736.04	c |    122922 |   13433    55470   165174 | 2147483647   122824     25 |  2.135 % |
739.46/739.75	c |    123519 |   13433    55470   165174 | 2147483647   123421     25 |  2.135 % |
744.46/744.72	c |    124174 |   13433    55470   165174 | 2147483647   124076     25 |  2.135 % |
750.16/750.47	c |    124894 |   13433    55470   165174 | 2147483647   124796     25 |  2.135 % |
756.26/756.58	c |    125687 |   13433    55470   165174 | 2147483647   125589     25 |  2.135 % |
762.45/762.77	c |    126559 |   13433    55470   165174 | 2147483647   126461     25 |  2.135 % |
770.45/770.73	c |    127518 |   13433    55470   165174 | 2147483647   127420     25 |  2.135 % |
778.85/779.15	c |    128571 |   13433    55470   165174 | 2147483647   128473     25 |  2.135 % |
787.94/788.20	c |    129730 |   13433    55470   165174 | 2147483647   129632     25 |  2.135 % |
798.94/799.26	c |    131004 |   13433    55470   165174 | 2147483647   130906     25 |  2.135 % |
809.94/810.27	c |    132404 |   13433    55470   165174 | 2147483647   132306     25 |  2.135 % |
810.84/811.17	c |    132504 |   13433    55470   165174 | 2147483647   132406     25 |  2.135 % |
811.64/811.94	c |    132614 |   13433    55470   165174 | 2147483647   132516     25 |  2.135 % |
812.64/812.96	c |    132736 |   13433    55470   165174 | 2147483647   132638     25 |  2.135 % |
813.74/814.09	c |    132870 |   13433    55470   165174 | 2147483647   132772     25 |  2.135 % |
814.94/815.23	c |    133017 |   13433    55470   165174 | 2147483647   132919     25 |  2.135 % |
816.33/816.68	c |    133178 |   13433    55470   165174 | 2147483647   133080     25 |  2.135 % |
817.93/818.30	c |    133356 |   13433    55470   165174 | 2147483647   133258     25 |  2.135 % |
819.63/819.98	c |    133550 |   13433    55470   165174 | 2147483647   133452     25 |  2.135 % |
821.03/821.31	c |    133763 |   13433    55470   165174 | 2147483647   133665     25 |  2.135 % |
822.94/823.20	c |    133997 |   13433    55470   165174 | 2147483647   133899     25 |  2.135 % |
825.14/825.40	c |    134255 |   13433    55470   165174 | 2147483647   134157     25 |  2.135 % |
827.44/827.77	c |    134537 |   13433    55470   165174 | 2147483647   134439     25 |  2.135 % |
829.84/830.18	c |    134846 |   13433    55470   165174 | 2147483647   134748     25 |  2.135 % |
832.84/833.19	c |    135187 |   13433    55470   165174 | 2147483647   135089     25 |  2.135 % |
836.23/836.55	c |    135560 |   13433    55470   165174 | 2147483647   135462     25 |  2.135 % |
839.33/839.65	c |    135969 |   13433    55470   165174 | 2147483647   135871     25 |  2.135 % |
842.83/843.18	c |    136419 |   13433    55470   165174 | 2147483647   136321     25 |  2.135 % |
847.23/847.51	c |    136913 |   13433    55470   165174 | 2147483647   136815     25 |  2.135 % |
851.43/851.70	c |    137455 |   13433    55470   165174 | 2147483647   137357     25 |  2.135 % |
856.23/856.51	c |    138051 |   13433    55470   165174 | 2147483647   137953     25 |  2.135 % |
861.82/862.19	c |    138707 |   13433    55470   165174 | 2147483647   138609     25 |  2.135 % |
867.92/868.27	c |    139427 |   13433    55470   165174 | 2147483647   139329     25 |  2.135 % |
875.02/875.33	c |    140220 |   13433    55470   165174 | 2147483647   140122     25 |  2.135 % |
883.02/883.37	c |    141091 |   13433    55470   165174 | 2147483647   140993     25 |  2.135 % |
890.91/891.27	c |    142049 |   13433    55470   165174 | 2147483647   141951     25 |  2.135 % |
898.51/898.84	c |    143103 |   13433    55470   165174 | 2147483647   143005     25 |  2.135 % |
907.70/908.06	c |    144262 |   13433    55470   165174 | 2147483647   144164     25 |  2.135 % |
918.11/918.45	c |    145536 |   13433    55470   165174 | 2147483647   145438     25 |  2.135 % |
930.10/930.47	c |    146936 |   13433    55470   165174 | 2147483647   146838     25 |  2.135 % |
943.69/944.04	c |    148476 |   13433    55470   165174 | 2147483647   148378     25 |  2.135 % |
944.49/944.86	c |    148578 |   13433    55470   165174 | 2147483647   148480     25 |  2.135 % |
945.39/945.76	c |    148688 |   13433    55470   165174 | 2147483647   148590     25 |  2.135 % |
946.29/946.60	c |    148809 |   13433    55470   165174 | 2147483647   148711     25 |  2.135 % |
947.29/947.67	c |    148943 |   13433    55470   165174 | 2147483647   148845     25 |  2.135 % |
948.69/949.03	c |    149090 |   13433    55470   165174 | 2147483647   148992     25 |  2.135 % |
950.09/950.46	c |    149251 |   13433    55470   165174 | 2147483647   149153     25 |  2.135 % |
951.59/951.99	c |    149428 |   13433    55470   165174 | 2147483647   149330     25 |  2.135 % |
953.29/953.65	c |    149623 |   13433    55470   165174 | 2147483647   149525     25 |  2.135 % |
954.99/955.39	c |    149836 |   13433    55470   165174 | 2147483647   149738     25 |  2.135 % |
956.89/957.23	c |    150070 |   13433    55470   165174 | 2147483647   149972     25 |  2.135 % |
958.79/959.18	c |    150328 |   13433    55470   165174 | 2147483647   150230     25 |  2.135 % |
961.28/961.65	c |    150610 |   13433    55470   165174 | 2147483647   150512     25 |  2.135 % |
964.08/964.43	c |    150919 |   13433    55470   165174 | 2147483647   150821     25 |  2.135 % |
966.99/967.30	c |    151258 |   13433    55470   165174 | 2147483647   151160     25 |  2.135 % |
970.09/970.44	c |    151630 |   13433    55470   165174 | 2147483647   151532     25 |  2.135 % |
973.89/974.29	c |    152040 |   13433    55470   165174 | 2147483647   151942     25 |  2.135 % |
977.99/978.33	c |    152490 |   13433    55470   165174 | 2147483647   152392     25 |  2.135 % |
982.49/982.80	c |    152984 |   13433    55470   165174 | 2147483647   152886     25 |  2.135 % |
987.08/987.43	c |    153526 |   13433    55470   165174 | 2147483647   153428     25 |  2.135 % |
992.48/992.82	c |    154122 |   13433    55470   165174 | 2147483647   154024     25 |  2.135 % |
995.48/995.88	c |    154777 |   13433    55470   165174 | 2147483647   154679     25 |  2.135 % |
999.68/1000.02	c |    155497 |   13433    55470   165174 | 2147483647   155399     25 |  2.135 % |
1006.78/1007.19	c |    156289 |   13433    55470   165174 | 2147483647   156191     25 |  2.135 % |
1015.27/1015.62	c |    157162 |   13433    55470   165174 | 2147483647   157064     25 |  2.135 % |
1022.97/1023.36	c |    158120 |   13433    55470   165174 | 2147483647   158022     25 |  2.135 % |
1032.27/1032.65	c |    159173 |   13433    55470   165174 | 2147483647   159075     25 |  2.135 % |
1042.86/1043.25	c |    160331 |   13433    55470   165174 | 2147483647   160233     25 |  2.135 % |
1054.96/1055.31	c |    161605 |   13433    55470   165174 | 2147483647   161507     25 |  2.135 % |
1067.85/1068.20	c |    163005 |   13433    55470   165174 | 2147483647   162907     25 |  2.135 % |
1081.95/1082.32	c |    164545 |   13433    55470   165174 | 2147483647   164447     25 |  2.135 % |
1095.95/1096.33	c |    166240 |   13433    55470   165174 | 2147483647   166142     25 |  2.135 % |
1097.05/1097.41	c |    166342 |   13433    55470   165174 | 2147483647   166244     25 |  2.135 % |
1098.15/1098.50	c |    166452 |   13433    55470   165174 | 2147483647   166354     25 |  2.135 % |
1098.65/1099.05	c |    166573 |   13433    55470   165174 | 2147483647   166475     25 |  2.135 % |
1099.95/1100.33	c |    166707 |   13433    55470   165174 | 2147483647   166609     25 |  2.135 % |
1101.35/1101.79	c |    166853 |   13433    55470   165174 | 2147483647   166755     25 |  2.135 % |
1102.85/1103.20	c |    167013 |   13433    55470   165174 | 2147483647   166915     25 |  2.135 % |
1104.45/1104.83	c |    167189 |   13433    55470   165174 | 2147483647   167091     25 |  2.135 % |
1106.35/1106.76	c |    167383 |   13433    55470   165174 | 2147483647   167285     25 |  2.135 % |
1108.35/1108.80	c |    167596 |   13433    55470   165174 | 2147483647   167498     25 |  2.135 % |
1110.55/1110.94	c |    167831 |   13433    55470   165174 | 2147483647   167733     25 |  2.135 % |
1112.94/1113.35	c |    168089 |   13433    55470   165174 | 2147483647   167991     25 |  2.135 % |
1115.14/1115.58	c |    168370 |   13433    55470   165174 | 2147483647   168272     25 |  2.135 % |
1117.94/1118.31	c |    168679 |   13433    55470   165174 | 2147483647   168581     25 |  2.135 % |
1120.44/1120.84	c |    169019 |   13433    55470   165174 | 2147483647   168921     25 |  2.135 % |
1123.04/1123.46	c |    169391 |   13433    55470   165174 | 2147483647   169293     25 |  2.135 % |
1126.14/1126.57	c |    169801 |   13433    55470   165174 | 2147483647   169703     25 |  2.135 % |
1130.04/1130.43	c |    170250 |   13433    55470   165174 | 2147483647   170152     25 |  2.135 % |
1133.84/1134.25	c |    170743 |   13433    55470   165174 | 2147483647   170645     25 |  2.135 % |
1138.93/1139.33	c |    171285 |   13433    55470   165174 | 2147483647   171187     25 |  2.135 % |
1143.94/1144.34	c |    171881 |   13433    55470   165174 | 2147483647   171783     25 |  2.135 % |
1149.74/1150.15	c |    172537 |   13433    55470   165174 | 2147483647   172439     25 |  2.135 % |
1155.54/1155.92	c |    173258 |   13433    55470   165174 | 2147483647   173160     25 |  2.135 % |
1162.34/1162.79	c |    174050 |   13433    55470   165174 | 2147483647   173952     25 |  2.135 % |
1170.13/1170.60	c |    174922 |   13433    55470   165174 | 2147483647   174824     25 |  2.135 % |
1178.33/1178.77	c |    175880 |   13433    55470   165174 | 2147483647   175782     25 |  2.135 % |
1188.12/1188.51	c |    176935 |   13433    55470   165174 | 2147483647   176837     25 |  2.135 % |
1199.32/1199.72	c |    178093 |   13433    55470   165174 | 2147483647   177995     25 |  2.135 % |
1210.51/1210.97	c |    179367 |   13433    55470   165174 | 2147483647   179269     25 |  2.135 % |
1222.31/1222.71	c |    180767 |   13433    55470   165174 | 2147483647   180669     25 |  2.135 % |
1235.70/1236.18	c |    182307 |   13433    55470   165174 | 2147483647   182209     25 |  2.135 % |
1250.80/1251.30	c |    184002 |   13433    55470   165174 | 2147483647   183904     25 |  2.135 % |
1268.80/1269.23	c |    185865 |   13433    55470   165174 | 2147483647   185767     25 |  2.135 % |
1269.50/1269.95	c |    185966 |   13433    55470   165174 | 2147483647   185868     25 |  2.135 % |
1270.40/1270.88	c |    186078 |   13433    55470   165174 | 2147483647   185980     25 |  2.135 % |
1271.50/1271.91	c |    186199 |   13433    55470   165174 | 2147483647   186101     25 |  2.135 % |
1272.70/1273.13	c |    186333 |   13433    55470   165174 | 2147483647   186235     25 |  2.135 % |
1274.10/1274.52	c |    186480 |   13433    55470   165174 | 2147483647   186382     25 |  2.135 % |
1275.50/1276.00	c |    186640 |   13433    55470   165174 | 2147483647   186542     25 |  2.135 % |
1277.40/1277.85	c |    186818 |   13433    55470   165174 | 2147483647   186720     25 |  2.135 % |
1279.40/1279.85	c |    187012 |   13433    55470   165174 | 2147483647   186914     25 |  2.135 % |
1281.10/1281.51	c |    187225 |   13433    55470   165174 | 2147483647   187127     25 |  2.135 % |
1283.10/1283.58	c |    187458 |   13433    55470   165174 | 2147483647   187360     25 |  2.135 % |
1285.29/1285.76	c |    187715 |   13433    55470   165174 | 2147483647   187617     25 |  2.135 % |
1288.09/1288.58	c |    187997 |   13433    55470   165174 | 2147483647   187899     25 |  2.135 % |
1290.39/1290.86	c |    188306 |   13433    55470   165174 | 2147483647   188208     25 |  2.135 % |
1293.69/1294.15	c |    188645 |   13433    55470   165174 | 2147483647   188547     25 |  2.135 % |
1297.39/1297.80	c |    189017 |   13433    55470   165174 | 2147483647   188919     25 |  2.135 % |
1301.49/1301.94	c |    189426 |   13433    55470   165174 | 2147483647   189328     25 |  2.135 % |
1305.78/1306.24	c |    189875 |   13433    55470   165174 | 2147483647   189777     25 |  2.135 % |
1310.48/1310.94	c |    190368 |   13433    55470   165174 | 2147483647   190270     25 |  2.135 % |
1315.58/1316.00	c |    190911 |   13433    55470   165174 | 2147483647   190813     24 |  2.135 % |
1321.38/1321.86	c |    191508 |   13433    55470   165174 | 2147483647   191410     24 |  2.135 % |
1326.87/1327.35	c |    192163 |   13433    55470   165174 | 2147483647   192065     24 |  2.135 % |
1333.07/1333.51	c |    192884 |   13433    55470   165174 | 2147483647   192786     24 |  2.135 % |
1340.57/1341.09	c |    193677 |   13433    55470   165174 | 2147483647   193579     24 |  2.135 % |
1348.27/1348.78	c |    194550 |   13433    55470   165174 | 2147483647   194452     24 |  2.135 % |
1356.97/1357.49	c |    195508 |   13433    55470   165174 | 2147483647   195410     24 |  2.135 % |
1367.37/1367.86	c |    196561 |   13433    55470   165174 | 2147483647   196463     24 |  2.135 % |
1377.96/1378.49	c |    197719 |   13433    55470   165174 | 2147483647   197621     24 |  2.135 % |
1389.36/1389.89	c |    198992 |   13433    55470   165174 | 2147483647   198894     24 |  2.135 % |
1402.55/1403.07	c |    200393 |   13433    55470   165174 | 2147483647   200295     24 |  2.135 % |
1417.25/1417.71	c |    201933 |   13433    55470   165174 | 2147483647   201835     24 |  2.135 % |
1434.14/1434.63	c |    203628 |   13433    55470   165174 | 2147483647   203530     24 |  2.135 % |
1452.14/1452.68	c |    205492 |   13433    55470   165174 | 2147483647   205394     24 |  2.135 % |
1472.44/1472.97	c |    207542 |   13433    55470   165174 | 2147483647   207444     24 |  2.135 % |
1473.54/1474.04	c |    207642 |   13433    55470   165174 | 2147483647   207544     24 |  2.135 % |
1474.44/1474.92	c |    207753 |   13433    55470   165174 | 2147483647   207655     24 |  2.135 % |
1475.64/1476.10	c |    207875 |   13433    55470   165174 | 2147483647   207777     24 |  2.135 % |
1476.63/1477.17	c |    208008 |   13433    55470   165174 | 2147483647   207910     24 |  2.135 % |
1478.13/1478.64	c |    208154 |   13433    55470   165174 | 2147483647   208056     24 |  2.135 % |
1479.73/1480.20	c |    208314 |   13433    55470   165174 | 2147483647   208216     24 |  2.135 % |
1481.33/1481.88	c |    208490 |   13433    55470   165174 | 2147483647   208392     24 |  2.135 % |
1483.13/1483.69	c |    208684 |   13433    55470   165174 | 2147483647   208586     24 |  2.135 % |
1485.33/1485.86	c |    208896 |   13433    55470   165174 | 2147483647   208798     24 |  2.135 % |
1487.93/1488.46	c |    209129 |   13433    55470   165174 | 2147483647   209031     24 |  2.135 % |
1490.73/1491.26	c |    209385 |   13433    55470   165174 | 2147483647   209287     24 |  2.135 % |
1493.63/1494.17	c |    209666 |   13433    55470   165174 | 2147483647   209568     24 |  2.135 % |
1496.72/1497.24	c |    209975 |   13433    55470   165174 | 2147483647   209877     24 |  2.135 % |
1500.02/1500.57	c |    210314 |   13433    55470   165174 | 2147483647   210216     24 |  2.135 % |
1503.62/1504.17	c |    210687 |   13433    55470   165174 | 2147483647   210589     24 |  2.135 % |
1507.52/1508.06	c |    211098 |   13433    55470   165174 | 2147483647   211000     24 |  2.135 % |
1511.42/1511.91	c |    211548 |   13433    55470   165174 | 2147483647   211450     24 |  2.135 % |
1516.22/1516.72	c |    212042 |   13433    55470   165174 | 2147483647   211944     24 |  2.135 % |
1521.02/1521.56	c |    212584 |   13433    55470   165174 | 2147483647   212486     24 |  2.135 % |
1526.61/1527.15	c |    213181 |   13433    55470   165174 | 2147483647   213083     24 |  2.135 % |
1532.61/1533.17	c |    213837 |   13433    55470   165174 | 2147483647   213739     24 |  2.135 % |
1539.01/1539.59	c |    214558 |   13433    55470   165174 | 2147483647   214460     24 |  2.135 % |
1546.61/1547.14	c |    215351 |   13433    55470   165174 | 2147483647   215253     24 |  2.135 % |
1555.30/1555.88	c |    216222 |   13433    55470   165174 | 2147483647   216124     24 |  2.135 % |
1565.00/1565.54	c |    217181 |   13433    55470   165174 | 2147483647   217083     24 |  2.135 % |
1574.70/1575.29	c |    218235 |   13433    55470   165174 | 2147483647   218137     24 |  2.135 % |
1586.90/1587.43	c |    219393 |   13433    55470   165174 | 2147483647   219295     24 |  2.135 % |
1598.39/1598.95	c |    220668 |   13433    55470   165174 | 2147483647   220570     24 |  2.135 % |
1610.09/1610.69	c |    222068 |   13433    55470   165174 | 2147483647   221970     24 |  2.135 % |
1625.59/1626.17	c |    223608 |   13433    55470   165174 | 2147483647   223510     24 |  2.135 % |
1642.48/1643.07	c |    225302 |   13433    55470   165174 | 2147483647   225204     24 |  2.135 % |
1662.18/1662.71	c |    227165 |   13433    55470   165174 | 2147483647   227067     24 |  2.135 % |
1683.47/1684.04	c |    229214 |   13433    55470   165174 | 2147483647   229116     24 |  2.135 % |
1704.76/1705.30	c |    231468 |   13433    55470   165174 | 2147483647   231370     24 |  2.135 % |
1705.86/1706.47	c |    231569 |   13433    55470   165174 | 2147483647   231471     24 |  2.135 % |
1706.96/1707.60	c |    231679 |   13433    55470   165174 | 2147483647   231581     24 |  2.135 % |
1708.16/1708.76	c |    231800 |   13433    55470   165174 | 2147483647   231702     24 |  2.135 % |
1709.36/1709.96	c |    231934 |   13433    55470   165174 | 2147483647   231836     24 |  2.135 % |
1710.97/1711.52	c |    232080 |   13433    55470   165174 | 2147483647   231982     24 |  2.135 % |
1712.66/1713.29	c |    232240 |   13433    55470   165174 | 2147483647   232142     24 |  2.135 % |
1714.76/1715.38	c |    232417 |   13433    55470   165174 | 2147483647   232319     24 |  2.135 % |
1716.76/1717.33	c |    232610 |   13433    55470   165174 | 2147483647   232512     24 |  2.135 % |
1719.06/1719.63	c |    232823 |   13433    55470   165174 | 2147483647   232725     24 |  2.135 % |
1720.66/1721.22	c |    233056 |   13433    55470   165174 | 2147483647   232958     24 |  2.135 % |
1723.26/1723.82	c |    233313 |   13433    55470   165174 | 2147483647   233215     24 |  2.135 % |
1726.06/1726.60	c |    233595 |   13433    55470   165174 | 2147483647   233497     24 |  2.135 % |
1729.06/1729.68	c |    233904 |   13433    55470   165174 | 2147483647   233806     24 |  2.135 % |
1732.66/1733.21	c |    234243 |   13433    55470   165174 | 2147483647   234145     24 |  2.135 % |
1736.65/1737.25	c |    234615 |   13433    55470   165174 | 2147483647   234517     24 |  2.135 % |
1740.55/1741.11	c |    235025 |   13433    55470   165174 | 2147483647   234927     24 |  2.135 % |
1744.95/1745.59	c |    235474 |   13433    55470   165174 | 2147483647   235376     24 |  2.135 % |
1749.95/1750.51	c |    235968 |   13433    55470   165174 | 2147483647   235870     24 |  2.135 % |
1755.05/1755.67	c |    236512 |   13433    55470   165174 | 2147483647   236414     24 |  2.135 % |
1761.94/1762.58	c |    237109 |   13433    55470   165174 | 2147483647   237011     24 |  2.135 % |
1769.24/1769.84	c |    237764 |   13433    55470   165174 | 2147483647   237666     24 |  2.135 % |
1776.74/1777.37	c |    238485 |   13433    55470   165174 | 2147483647   238387     24 |  2.135 % |
1785.13/1785.79	c |    239278 |   13433    55470   165174 | 2147483647   239180     24 |  2.135 % |
1794.43/1795.08	c |    240150 |   13433    55470   165174 | 2147483647   240052     24 |  2.135 % |
1804.12/1804.77	c |    241108 |   13433    55470   165174 | 2147483647   241010     24 |  2.135 % |
1814.23/1814.87	c |    242161 |   13433    55470   165174 | 2147483647   242063     24 |  2.135 % |
1825.72/1826.32	c |    243319 |   13433    55470   165174 | 2147483647   243221     24 |  2.135 % |
1838.32/1838.92	c |    244594 |   13433    55470   165174 | 2147483647   244496     24 |  2.135 % |
1853.01/1853.61	c |    245995 |   13433    55470   165174 | 2147483647   245897     24 |  2.135 % |
1870.31/1870.91	c |    247536 |   13433    55470   165174 | 2147483647   247438     24 |  2.135 % |
1888.50/1889.11	c |    249231 |   13433    55470   165174 | 2147483647   249133     24 |  2.135 % |
1907.80/1908.50	c |    251094 |   13433    55470   165174 | 2147483647   250996     24 |  2.135 % |
1929.89/1930.59	c |    253144 |   13433    55470   165174 | 2147483647   253046     24 |  2.135 % |
1954.38/1955.09	c |    255399 |   13433    55470   165174 | 2147483647   255301     24 |  2.135 % |
1980.98/1981.63	c |    257877 |   13433    55470   165174 | 2147483647   257779     24 |  2.135 % |
1981.98/1982.69	c |    257977 |   13433    55470   165174 | 2147483647   257879     24 |  2.135 % |
1982.98/1983.65	c |    258087 |   13433    55470   165174 | 2147483647   257989     24 |  2.135 % |
1984.28/1984.91	c |    258208 |   13433    55470   165174 | 2147483647   258110     24 |  2.135 % |
1985.38/1986.06	c |    258341 |   13433    55470   165174 | 2147483647   258243     24 |  2.135 % |
1987.08/1987.78	c |    258488 |   13433    55470   165174 | 2147483647   258390     24 |  2.135 % |
1988.77/1989.41	c |    258648 |   13433    55470   165174 | 2147483647   258550     24 |  2.135 % |
1990.57/1991.25	c |    258824 |   13433    55470   165174 | 2147483647   258726     24 |  2.135 % |
1992.58/1993.27	c |    259018 |   13433    55470   165174 | 2147483647   258920     24 |  2.135 % |
1994.97/1995.62	c |    259230 |   13433    55470   165174 | 2147483647   259132     24 |  2.135 % |
1997.67/1998.35	c |    259464 |   13433    55470   165174 | 2147483647   259366     24 |  2.135 % |
2000.27/2000.91	c |    259721 |   13433    55470   165174 | 2147483647   259623     24 |  2.135 % |
2002.77/2003.48	c |    260002 |   13433    55470   165174 | 2147483647   259904     24 |  2.135 % |
2005.97/2006.63	c |    260313 |   13433    55470   165174 | 2147483647   260215     24 |  2.135 % |
2009.37/2010.05	c |    260652 |   13433    55470   165174 | 2147483647   260554     24 |  2.135 % |
2013.37/2014.01	c |    261025 |   13433    55470   165174 | 2147483647   260927     24 |  2.135 % |
2017.87/2018.54	c |    261435 |   13433    55470   165174 | 2147483647   261337     24 |  2.135 % |
2022.76/2023.43	c |    261884 |   13433    55470   165174 | 2147483647   261786     24 |  2.135 % |
2028.06/2028.75	c |    262377 |   13433    55470   165174 | 2147483647   262279     24 |  2.135 % |
2033.46/2034.12	c |    262920 |   13433    55470   165174 | 2147483647   262822     24 |  2.135 % |
2040.26/2040.91	c |    263516 |   13433    55470   165174 | 2147483647   263418     24 |  2.135 % |
2047.16/2047.81	c |    264171 |   13433    55470   165174 | 2147483647   264073     24 |  2.135 % |
2054.35/2055.04	c |    264891 |   13433    55470   165174 | 2147483647   264793     24 |  2.135 % |
2063.05/2063.78	c |    265684 |   13433    55470   165174 | 2147483647   265586     24 |  2.135 % |
2072.75/2073.44	c |    266555 |   13433    55470   165174 | 2147483647   266457     24 |  2.135 % |
2083.84/2084.53	c |    267514 |   13433    55470   165174 | 2147483647   267416     24 |  2.135 % |
2096.14/2096.83	c |    268568 |   13433    55470   165174 | 2147483647   268470     24 |  2.135 % |
2108.43/2109.16	c |    269727 |   13433    55470   165174 | 2147483647   269629     24 |  2.135 % |
2121.94/2122.65	c |    271000 |   13433    55470   165174 | 2147483647   270902     24 |  2.135 % |
2136.54/2137.24	c |    272400 |   13433    55470   165174 | 2147483647   272302     24 |  2.135 % |
2152.33/2153.03	c |    273942 |   13433    55470   165174 | 2147483647   273844     24 |  2.135 % |
2170.32/2171.05	c |    275637 |   13433    55470   165174 | 2147483647   275539     24 |  2.135 % |
2191.61/2192.36	c |    277501 |   13433    55470   165174 | 2147483647   277403     24 |  2.135 % |
2217.30/2218.07	c |    279550 |   13433    55470   165174 | 2147483647   279452     24 |  2.135 % |
2242.79/2243.52	c |    281804 |   13433    55470   165174 | 2147483647   281706     24 |  2.135 % |
2270.70/2271.47	c |    284282 |   13433    55470   165174 | 2147483647   284184     24 |  2.135 % |
2302.38/2303.17	c |    287008 |   13433    55470   165174 | 2147483647   286910     24 |  2.135 % |
2303.68/2304.42	c |    287108 |   13433    55470   165174 | 2147483647   287010     24 |  2.135 % |
2304.68/2305.48	c |    287218 |   13433    55470   165174 | 2147483647   287120     24 |  2.135 % |
2306.08/2306.84	c |    287339 |   13433    55470   165174 | 2147483647   287241     24 |  2.135 % |
2307.68/2308.48	c |    287473 |   13433    55470   165174 | 2147483647   287375     24 |  2.135 % |
2309.28/2310.01	c |    287620 |   13433    55470   165174 | 2147483647   287522     24 |  2.135 % |
2311.17/2311.91	c |    287781 |   13433    55470   165174 | 2147483647   287683     24 |  2.135 % |
2312.97/2313.77	c |    287957 |   13433    55470   165174 | 2147483647   287859     24 |  2.135 % |
2315.07/2315.88	c |    288151 |   13433    55470   165174 | 2147483647   288053     24 |  2.135 % |
2317.27/2318.07	c |    288364 |   13433    55470   165174 | 2147483647   288266     24 |  2.135 % |
2320.18/2320.91	c |    288598 |   13433    55470   165174 | 2147483647   288500     24 |  2.135 % |
2323.27/2324.05	c |    288854 |   13433    55470   165174 | 2147483647   288756     24 |  2.135 % |
2326.47/2327.23	c |    289136 |   13433    55470   165174 | 2147483647   289038     24 |  2.135 % |
2330.07/2330.80	c |    289446 |   13433    55470   165174 | 2147483647   289348     24 |  2.135 % |
2333.47/2334.22	c |    289786 |   13433    55470   165174 | 2147483647   289688     24 |  2.135 % |
2338.07/2338.89	c |    290159 |   13433    55470   165174 | 2147483647   290061     24 |  2.135 % |
2342.76/2343.58	c |    290569 |   13433    55470   165174 | 2147483647   290471     24 |  2.135 % |
2348.16/2348.98	c |    291020 |   13433    55470   165174 | 2147483647   290922     24 |  2.135 % |
2353.76/2354.54	c |    291513 |   13433    55470   165174 | 2147483647   291415     24 |  2.135 % |
2359.26/2360.05	c |    292055 |   13433    55470   165174 | 2147483647   291957     24 |  2.135 % |
2364.36/2365.17	c |    292651 |   13433    55470   165174 | 2147483647   292553     24 |  2.135 % |
2369.15/2369.99	c |    293307 |   13433    55470   165174 | 2147483647   293209     24 |  2.135 % |
2378.65/2379.47	c |    294028 |   13433    55470   165174 | 2147483647   293930     24 |  2.135 % |
2388.35/2389.19	c |    294821 |   13433    55470   165174 | 2147483647   294723     24 |  2.135 % |
2399.14/2399.95	c |    295694 |   13433    55470   165174 | 2147483647   295596     24 |  2.135 % |
2410.95/2411.73	c |    296653 |   13433    55470   165174 | 2147483647   296555     24 |  2.135 % |
2422.94/2423.74	c |    297706 |   13433    55470   165174 | 2147483647   297608     24 |  2.135 % |
2436.24/2437.02	c |    298864 |   13433    55470   165174 | 2147483647   298766     24 |  2.135 % |
2450.63/2451.49	c |    300138 |   13433    55470   165174 | 2147483647   300040     24 |  2.135 % |
2467.02/2467.85	c |    301538 |   13433    55470   165174 | 2147483647   301440     24 |  2.135 % |
2486.53/2487.32	c |    303078 |   13433    55470   165174 | 2147483647   302980     24 |  2.135 % |
2506.52/2507.31	c |    304773 |   13433    55470   165174 | 2147483647   304675     24 |  2.135 % |
2529.01/2529.83	c |    306637 |   13433    55470   165174 | 2147483647   306539     24 |  2.135 % |
2553.40/2554.22	c |    308687 |   13433    55470   165174 | 2147483647   308589     24 |  2.135 % |
2578.89/2579.73	c |    310940 |   13433    55470   165174 | 2147483647   310842     24 |  2.135 % |
2608.89/2609.70	c |    313419 |   13433    55470   165174 | 2147483647   313321     24 |  2.135 % |
2633.08/2633.94	c |    316146 |   13433    55470   165174 | 2147483647   316048     24 |  2.135 % |
2669.27/2670.17	c |    319143 |   13433    55470   165174 | 2147483647   319045     24 |  2.135 % |
2670.57/2671.43	c |    319244 |   13433    55470   165174 | 2147483647   319146     24 |  2.135 % |
2672.07/2672.98	c |    319357 |   13433    55470   165174 | 2147483647   319259     24 |  2.135 % |
2673.36/2674.28	c |    319480 |   13433    55470   165174 | 2147483647   319382     24 |  2.135 % |
2675.06/2675.97	c |    319613 |   13433    55470   165174 | 2147483647   319515     24 |  2.135 % |
2676.96/2677.84	c |    319759 |   13433    55470   165174 | 2147483647   319661     24 |  2.135 % |
2678.96/2679.89	c |    319920 |   13433    55470   165174 | 2147483647   319822     24 |  2.135 % |
2681.36/2682.20	c |    320097 |   13433    55470   165174 | 2147483647   319999     24 |  2.135 % |
2683.76/2684.61	c |    320291 |   13433    55470   165174 | 2147483647   320193     24 |  2.135 % |
2686.16/2687.01	c |    320503 |   13433    55470   165174 | 2147483647   320405     24 |  2.135 % |
2688.66/2689.58	c |    320737 |   13433    55470   165174 | 2147483647   320639     24 |  2.135 % |
2691.56/2692.40	c |    320994 |   13433    55470   165174 | 2147483647   320896     24 |  2.135 % |
2694.75/2695.68	c |    321275 |   13433    55470   165174 | 2147483647   321177     24 |  2.135 % |
2698.35/2699.26	c |    321584 |   13433    55470   165174 | 2147483647   321486     24 |  2.135 % |
2702.06/2702.97	c |    321923 |   13433    55470   165174 | 2147483647   321825     24 |  2.135 % |
2706.36/2707.29	c |    322296 |   13433    55470   165174 | 2147483647   322198     24 |  2.135 % |
2711.86/2712.75	c |    322706 |   13433    55470   165174 | 2147483647   322608     24 |  2.135 % |
2716.76/2717.63	c |    323155 |   13433    55470   165174 | 2147483647   323057     24 |  2.135 % |
2722.05/2722.99	c |    323649 |   13433    55470   165174 | 2147483647   323551     24 |  2.135 % |
2728.65/2729.55	c |    324191 |   13433    55470   165174 | 2147483647   324093     24 |  2.135 % |
2736.05/2736.98	c |    324787 |   13433    55470   165174 | 2147483647   324689     24 |  2.135 % |
2744.25/2745.11	c |    325445 |   13433    55470   165174 | 2147483647   325347     24 |  2.135 % |
2751.35/2752.25	c |    326167 |   13433    55470   165174 | 2147483647   326069     24 |  2.135 % |
2760.94/2761.83	c |    326959 |   13433    55470   165174 | 2147483647   326861     24 |  2.135 % |
2771.84/2772.76	c |    327830 |   13433    55470   165174 | 2147483647   327732     24 |  2.135 % |
2783.53/2784.41	c |    328788 |   13433    55470   165174 | 2147483647   328690     24 |  2.135 % |
2795.93/2796.87	c |    329841 |   13433    55470   165174 | 2147483647   329743     24 |  2.135 % |
2809.22/2810.15	c |    331000 |   13433    55470   165174 | 2147483647   330902     24 |  2.135 % |
2824.22/2825.13	c |    332273 |   13433    55470   165174 | 2147483647   332175     24 |  2.135 % |
2842.01/2842.98	c |    333675 |   13433    55470   165174 | 2147483647   333577     24 |  2.135 % |
2861.51/2862.45	c |    335215 |   13433    55470   165174 | 2147483647   335117     24 |  2.135 % |
2883.30/2884.28	c |    336910 |   13433    55470   165174 | 2147483647   336812     24 |  2.135 % |
2906.20/2907.20	c |    338773 |   13433    55470   165174 | 2147483647   338675     24 |  2.135 % |
2931.39/2932.35	c |    340822 |   13433    55470   165174 | 2147483647   340724     24 |  2.135 % |
2958.48/2959.41	c |    343076 |   13433    55470   165174 | 2147483647   342978     24 |  2.135 % |
2987.48/2988.43	c |    345556 |   13433    55470   165174 | 2147483647   345458     24 |  2.135 % |
3018.86/3019.81	c |    348281 |   13433    55470   165174 | 2147483647   348183     24 |  2.135 % |
3055.55/3056.59	c |    351280 |   13433    55470   165174 | 2147483647   351182     24 |  2.135 % |
3094.64/3095.69	c |    354576 |   13433    55470   165174 | 2147483647   354478     24 |  2.135 % |
3096.04/3097.06	c |    354678 |   13433    55470   165174 | 2147483647   354580     24 |  2.135 % |
3097.64/3098.67	c |    354788 |   13433    55470   165174 | 2147483647   354690     24 |  2.135 % |
3099.24/3100.29	c |    354909 |   13433    55470   165174 | 2147483647   354811     24 |  2.135 % |
3101.04/3102.04	c |    355043 |   13433    55470   165174 | 2147483647   354945     24 |  2.135 % |
3102.73/3103.70	c |    355189 |   13433    55470   165174 | 2147483647   355091     24 |  2.135 % |
3104.93/3105.92	c |    355349 |   13433    55470   165174 | 2147483647   355251     24 |  2.135 % |
3107.23/3108.23	c |    355526 |   13433    55470   165174 | 2147483647   355428     24 |  2.135 % |
3109.73/3110.75	c |    355719 |   13433    55470   165174 | 2147483647   355621     24 |  2.135 % |
3112.33/3113.34	c |    355931 |   13433    55470   165174 | 2147483647   355833     24 |  2.135 % |
3115.43/3116.46	c |    356164 |   13433    55470   165174 | 2147483647   356066     24 |  2.135 % |
3118.83/3119.81	c |    356420 |   13433    55470   165174 | 2147483647   356322     24 |  2.135 % |
3122.33/3123.33	c |    356703 |   13433    55470   165174 | 2147483647   356605     24 |  2.135 % |
3126.12/3127.18	c |    357012 |   13433    55470   165174 | 2147483647   356914     24 |  2.135 % |
3130.52/3131.56	c |    357352 |   13433    55470   165174 | 2147483647   357254     24 |  2.135 % |
3134.62/3135.67	c |    357724 |   13433    55470   165174 | 2147483647   357626     24 |  2.135 % |
3139.63/3140.60	c |    358133 |   13433    55470   165174 | 2147483647   358035     24 |  2.135 % |
3145.32/3146.31	c |    358582 |   13433    55470   165174 | 2147483647   358484     24 |  2.135 % |
3151.72/3152.79	c |    359075 |   13433    55470   165174 | 2147483647   358977     24 |  2.135 % |
3158.72/3159.72	c |    359617 |   13433    55470   165174 | 2147483647   359519     24 |  2.135 % |
3165.92/3166.93	c |    360213 |   13433    55470   165174 | 2147483647   360115     24 |  2.135 % |
3174.02/3175.09	c |    360868 |   13433    55470   165174 | 2147483647   360770     24 |  2.135 % |
3183.21/3184.27	c |    361588 |   13433    55470   165174 | 2147483647   361490     24 |  2.135 % |
3193.01/3194.05	c |    362381 |   13433    55470   165174 | 2147483647   362283     24 |  2.135 % |
3203.80/3204.80	c |    363253 |   13433    55470   165174 | 2147483647   363155     24 |  2.135 % |
3216.90/3217.97	c |    364213 |   13433    55470   165174 | 2147483647   364115     24 |  2.135 % |
3231.29/3232.37	c |    365268 |   13433    55470   165174 | 2147483647   365170     24 |  2.135 % |
3247.09/3248.19	c |    366427 |   13433    55470   165174 | 2147483647   366329     24 |  2.135 % |
3265.19/3266.28	c |    367701 |   13433    55470   165174 | 2147483647   367603     24 |  2.135 % |
3283.49/3284.56	c |    369101 |   13433    55470   165174 | 2147483647   369003     24 |  2.135 % |
3302.58/3303.61	c |    370641 |   13433    55470   165174 | 2147483647   370543     23 |  2.135 % |
3322.97/3324.08	c |    372336 |   13433    55470   165174 | 2147483647   372238     24 |  2.135 % |
3352.66/3353.75	c |    374199 |   13433    55470   165174 | 2147483647   374101     24 |  2.135 % |
3379.35/3380.47	c |    376249 |   13433    55470   165174 | 2147483647   376151     24 |  2.135 % |
3409.15/3410.20	c |    378502 |   13433    55470   165174 | 2147483647   378404     24 |  2.135 % |
3442.44/3443.53	c |    380980 |   13433    55470   165174 | 2147483647   380882     23 |  2.135 % |
3478.52/3479.60	c |    383705 |   13433    55470   165174 | 2147483647   383607     23 |  2.135 % |
3518.11/3519.21	c |    386702 |   13433    55470   165174 | 2147483647   386604     23 |  2.135 % |
3561.21/3562.37	c |    389998 |   13433    55470   165174 | 2147483647   389900     23 |  2.135 % |
3606.79/3607.93	c |    393624 |   13433    55470   165174 | 2147483647   393526     23 |  2.135 % |
3608.19/3609.32	c |    393724 |   13433    55470   165174 | 2147483647   393626     23 |  2.135 % |
3609.69/3610.89	c |    393835 |   13433    55470   165174 | 2147483647   393737     23 |  2.135 % |
3611.49/3612.61	c |    393958 |   13433    55470   165174 | 2147483647   393860     23 |  2.135 % |
3612.49/3613.68	c |    394091 |   13433    55470   165174 | 2147483647   393993     23 |  2.135 % |
3614.78/3615.90	c |    394240 |   13433    55470   165174 | 2147483647   394142     23 |  2.135 % |
3616.88/3618.04	c |    394400 |   13433    55470   165174 | 2147483647   394302     23 |  2.135 % |
3619.58/3620.77	c |    394577 |   13433    55470   165174 | 2147483647   394479     23 |  2.135 % |
3622.48/3623.65	c |    394771 |   13433    55470   165174 | 2147483647   394673     23 |  2.135 % |
3624.68/3625.89	c |    394983 |   13433    55470   165174 | 2147483647   394885     23 |  2.135 % |
3627.78/3628.99	c |    395216 |   13433    55470   165174 | 2147483647   395118     23 |  2.135 % |
3631.28/3632.42	c |    395473 |   13433    55470   165174 | 2147483647   395375     23 |  2.135 % |
3635.17/3636.32	c |    395754 |   13433    55470   165174 | 2147483647   395656     23 |  2.135 % |
3639.47/3640.63	c |    396064 |   13433    55470   165174 | 2147483647   395966     23 |  2.135 % |
3644.28/3645.41	c |    396403 |   13433    55470   165174 | 2147483647   396305     23 |  2.135 % |
3649.57/3650.71	c |    396777 |   13433    55470   165174 | 2147483647   396679     23 |  2.135 % |
3655.47/3656.66	c |    397186 |   13433    55470   165174 | 2147483647   397088     23 |  2.135 % |
3660.57/3661.70	c |    397636 |   13433    55470   165174 | 2147483647   397538     23 |  2.135 % |
3667.47/3668.67	c |    398129 |   13433    55470   165174 | 2147483647   398031     23 |  2.135 % |
3675.37/3676.52	c |    398672 |   13433    55470   165174 | 2147483647   398574     23 |  2.135 % |
3683.26/3684.47	c |    399268 |   13433    55470   165174 | 2147483647   399170     23 |  2.135 % |
3692.16/3693.33	c |    399924 |   13433    55470   165174 | 2147483647   399826     23 |  2.135 % |
3701.36/3702.52	c |    400645 |   13433    55470   165174 | 2147483647   400547     23 |  2.135 % |
3711.95/3713.14	c |    401438 |   13433    55470   165174 | 2147483647   401340     23 |  2.135 % |
3723.55/3724.73	c |    402310 |   13433    55470   165174 | 2147483647   402212     23 |  2.135 % |
3733.45/3734.64	c |    403269 |   13433    55470   165174 | 2147483647   403171     23 |  2.135 % |
3747.34/3748.50	c |    404323 |   13433    55470   165174 | 2147483647   404225     23 |  2.135 % |
3762.44/3763.60	c |    405481 |   13433    55470   165174 | 2147483647   405383     23 |  2.135 % |
3778.93/3780.15	c |    406755 |   13433    55470   165174 | 2147483647   406657     23 |  2.135 % |
3797.63/3798.89	c |    408155 |   13433    55470   165174 | 2147483647   408057     23 |  2.135 % |
3819.62/3820.81	c |    409695 |   13433    55470   165174 | 2147483647   409597     23 |  2.135 % |
3843.32/3844.56	c |    411389 |   13433    55470   165174 | 2147483647   411291     23 |  2.135 % |
3871.10/3872.35	c |    413252 |   13433    55470   165174 | 2147483647   413154     23 |  2.135 % |
3899.90/3901.12	c |    415302 |   13433    55470   165174 | 2147483647   415204     23 |  2.135 % |
3933.39/3934.69	c |    417555 |   13433    55470   165174 | 2147483647   417457     23 |  2.135 % |
3968.97/3970.25	c |    420034 |   13433    55470   165174 | 2147483647   419936     23 |  2.135 % |
4006.46/4007.73	c |    422759 |   13433    55470   165174 | 2147483647   422661     23 |  2.135 % |
4050.04/4051.46	c |    425756 |   13433    55470   165174 | 2147483647   425658     23 |  2.135 % |
4097.52/4098.97	c |    429052 |   13433    55470   165174 | 2147483647   428954     23 |  2.135 % |
4135.62/4137.01	c |    432678 |   13433    55470   165174 | 2147483647   432580     23 |  2.135 % |
4187.79/4189.22	c |    436666 |   13433    55470   165174 | 2147483647   436568     23 |  2.135 % |
4189.29/4190.73	c |    436767 |   13433    55470   165174 | 2147483647   436669     23 |  2.135 % |
4190.79/4192.23	c |    436877 |   13433    55470   165174 | 2147483647   436779     23 |  2.135 % |
4192.39/4193.80	c |    436998 |   13433    55470   165174 | 2147483647   436900     23 |  2.135 % |
4193.69/4195.14	c |    437131 |   13433    55470   165174 | 2147483647   437033     23 |  2.135 % |
4195.19/4196.63	c |    437278 |   13433    55470   165174 | 2147483647   437180     23 |  2.135 % |
4197.20/4198.65	c |    437439 |   13433    55470   165174 | 2147483647   437341     23 |  2.135 % |
4200.09/4201.51	c |    437616 |   13433    55470   165174 | 2147483647   437518     23 |  2.135 % |
4202.79/4204.28	c |    437809 |   13433    55470   165174 | 2147483647   437711     23 |  2.135 % |
4205.89/4207.33	c |    438021 |   13433    55470   165174 | 2147483647   437923     23 |  2.135 % |
4209.30/4210.71	c |    438254 |   13433    55470   165174 | 2147483647   438156     23 |  2.135 % |
4212.19/4213.68	c |    438511 |   13433    55470   165174 | 2147483647   438413     23 |  2.135 % |
4216.59/4218.07	c |    438792 |   13433    55470   165174 | 2147483647   438694     23 |  2.135 % |
4220.89/4222.38	c |    439101 |   13433    55470   165174 | 2147483647   439003     23 |  2.135 % |
4226.39/4227.86	c |    439440 |   13433    55470   165174 | 2147483647   439342     23 |  2.135 % |
4231.59/4233.00	c |    439812 |   13433    55470   165174 | 2147483647   439714     23 |  2.135 % |
4237.29/4238.70	c |    440222 |   13433    55470   165174 | 2147483647   440124     23 |  2.135 % |
4243.49/4244.92	c |    440672 |   13433    55470   165174 | 2147483647   440574     23 |  2.135 % |
4250.09/4251.56	c |    441165 |   13433    55470   165174 | 2147483647   441067     23 |  2.135 % |
4258.18/4259.65	c |    441707 |   13433    55470   165174 | 2147483647   441609     23 |  2.135 % |
4266.37/4267.89	c |    442303 |   13433    55470   165174 | 2147483647   442205     23 |  2.135 % |
4275.47/4276.95	c |    442959 |   13433    55470   165174 | 2147483647   442861     23 |  2.135 % |
4286.67/4288.14	c |    443679 |   13433    55470   165174 | 2147483647   443581     23 |  2.135 % |
4299.26/4300.77	c |    444473 |   13433    55470   165174 | 2147483647   444375     23 |  2.135 % |
4312.96/4314.42	c |    445344 |   13433    55470   165174 | 2147483647   445246     23 |  2.135 % |
4326.75/4328.21	c |    446302 |   13433    55470   165174 | 2147483647   446204     23 |  2.135 % |
4341.85/4343.36	c |    447356 |   13433    55470   165174 | 2147483647   447258     23 |  2.135 % |
4359.14/4360.65	c |    448514 |   13433    55470   165174 | 2147483647   448416     23 |  2.135 % |
4378.64/4380.13	c |    449788 |   13433    55470   165174 | 2147483647   449690     23 |  2.135 % |
4397.83/4399.33	c |    451188 |   13433    55470   165174 | 2147483647   451090     23 |  2.135 % |
4419.63/4421.19	c |    452728 |   13433    55470   165174 | 2147483647   452630     23 |  2.135 % |
4444.02/4445.56	c |    454422 |   13433    55470   165174 | 2147483647   454324     23 |  2.135 % |
4472.12/4473.65	c |    456286 |   13433    55470   165174 | 2147483647   456188     23 |  2.135 % |
4498.80/4500.38	c |    458337 |   13433    55470   165174 | 2147483647   458239     23 |  2.135 % |
4531.09/4532.62	c |    460590 |   13433    55470   165174 | 2147483647   460492     23 |  2.135 % |
4567.09/4568.60	c |    463068 |   13433    55470   165174 | 2147483647   462970     23 |  2.135 % |
4603.57/4605.14	c |    465793 |   13433    55470   165174 | 2147483647   465695     23 |  2.135 % |
4647.36/4648.97	c |    468790 |   13433    55470   165174 | 2147483647   468692     23 |  2.135 % |
4697.55/4699.17	c |    472086 |   13433    55470   165174 | 2147483647   471988     23 |  2.135 % |
4751.63/4753.27	c |    475711 |   13433    55470   165174 | 2147483647   475613     23 |  2.135 % |
4811.22/4812.89	c |    479699 |   13433    55470   165174 | 2147483647   479601     23 |  2.135 % |
4881.39/4883.03	c |    484084 |   13433    55470   165174 | 2147483647   483986     23 |  2.135 % |
4883.09/4884.79	c |    484184 |   13433    55470   165174 | 2147483647   484086     23 |  2.135 % |
4885.09/4886.74	c |    484295 |   13433    55470   165174 | 2147483647   484197     23 |  2.135 % |
4886.99/4888.63	c |    484416 |   13433    55470   165174 | 2147483647   484318     23 |  2.135 % |
4888.90/4890.59	c |    484550 |   13433    55470   165174 | 2147483647   484452     23 |  2.135 % |
4891.29/4892.95	c |    484697 |   13433    55470   165174 | 2147483647   484599     23 |  2.135 % |
4893.89/4895.60	c |    484857 |   13433    55470   165174 | 2147483647   484759     23 |  2.135 % |
4896.69/4898.39	c |    485033 |   13433    55470   165174 | 2147483647   484935     23 |  2.135 % |
4899.79/4901.50	c |    485227 |   13433    55470   165174 | 2147483647   485129     23 |  2.135 % |
4903.29/4904.99	c |    485440 |   13433    55470   165174 | 2147483647   485342     23 |  2.135 % |
4906.78/4908.42	c |    485673 |   13433    55470   165174 | 2147483647   485575     23 |  2.135 % |
4910.58/4912.21	c |    485930 |   13433    55470   165174 | 2147483647   485832     23 |  2.135 % |
4914.48/4916.11	c |    486212 |   13433    55470   165174 | 2147483647   486114     23 |  2.135 % |
4919.18/4920.82	c |    486522 |   13433    55470   165174 | 2147483647   486424     23 |  2.135 % |
4923.78/4925.40	c |    486863 |   13433    55470   165174 | 2147483647   486765     23 |  2.135 % |
4928.48/4930.10	c |    487237 |   13433    55470   165174 | 2147483647   487139     23 |  2.135 % |
4934.97/4936.64	c |    487646 |   13433    55470   165174 | 2147483647   487548     23 |  2.135 % |
4941.78/4943.41	c |    488096 |   13433    55470   165174 | 2147483647   487998     23 |  2.135 % |
4948.77/4950.49	c |    488589 |   13433    55470   165174 | 2147483647   488491     23 |  2.135 % |
4956.66/4958.37	c |    489132 |   13433    55470   165174 | 2147483647   489034     23 |  2.135 % |
4965.46/4967.17	c |    489729 |   13433    55470   165174 | 2147483647   489631     23 |  2.135 % |
4975.66/4977.34	c |    490384 |   13433    55470   165174 | 2147483647   490286     23 |  2.135 % |
4986.56/4988.27	c |    491105 |   13433    55470   165174 | 2147483647   491007     23 |  2.135 % |
4996.86/4998.54	c |    491898 |   13433    55470   165174 | 2147483647   491800     23 |  2.135 % |
5011.15/5012.88	c |    492770 |   13433    55470   165174 | 2147483647   492672     23 |  2.135 % |
5026.85/5028.54	c |    493729 |   13433    55470   165174 | 2147483647   493631     23 |  2.135 % |
5043.14/5044.81	c |    494783 |   13433    55470   165174 | 2147483647   494685     23 |  2.135 % |
5060.34/5062.03	c |    495942 |   13433    55470   165174 | 2147483647   495844     23 |  2.135 % |
5079.24/5080.93	c |    497216 |   13433    55470   165174 | 2147483647   497118     23 |  2.135 % |
5099.23/5100.99	c |    498616 |   13433    55470   165174 | 2147483647   498518     23 |  2.135 % |
5120.52/5122.20	c |    500156 |   13433    55470   165174 | 2147483647   500058     23 |  2.135 % |
5146.01/5147.78	c |    501851 |   13433    55470   165174 | 2147483647   501753     23 |  2.135 % |
5172.50/5174.24	c |    503715 |   13433    55470   165174 | 2147483647   503617     23 |  2.135 % |
5203.90/5205.64	c |    505765 |   13433    55470   165174 | 2147483647   505667     23 |  2.135 % |
5238.39/5240.12	c |    508018 |   13433    55470   165174 | 2147483647   507920     23 |  2.135 % |
5277.08/5278.89	c |    510497 |   13433    55470   165174 | 2147483647   510399     23 |  2.135 % |
5319.66/5321.45	c |    513222 |   13433    55470   165174 | 2147483647   513124     23 |  2.135 % |
5366.75/5368.57	c |    516221 |   13433    55470   165174 | 2147483647   516123     23 |  2.135 % |
5418.43/5420.29	c |    519518 |   13433    55470   165174 | 2147483647   519420     23 |  2.135 % |
5473.11/5474.99	c |    523143 |   13433    55470   165174 | 2147483647   523045     23 |  2.135 % |
5531.70/5533.50	c |    527132 |   13433    55470   165174 | 2147483647   527034     23 |  2.135 % |
5600.88/5602.70	c |    531519 |   13433    55470   165174 | 2147483647   531421     23 |  2.135 % |
5676.76/5678.66	c |    536343 |   13433    55470   165174 | 2147483647   536245     23 |  2.135 % |
5678.46/5680.34	c |    536444 |   13433    55470   165174 | 2147483647   536346     23 |  2.135 % |
5680.25/5682.12	c |    536554 |   13433    55470   165174 | 2147483647   536456     23 |  2.135 % |
5682.06/5683.96	c |    536676 |   13433    55470   165174 | 2147483647   536578     23 |  2.135 % |
5684.15/5686.01	c |    536810 |   13433    55470   165174 | 2147483647   536712     23 |  2.135 % |
5686.45/5688.35	c |    536956 |   13433    55470   165174 | 2147483647   536858     23 |  2.135 % |
5688.85/5690.78	c |    537117 |   13433    55470   165174 | 2147483647   537019     23 |  2.135 % |
5691.66/5693.57	c |    537293 |   13433    55470   165174 | 2147483647   537195     23 |  2.135 % |
5694.45/5696.32	c |    537488 |   13433    55470   165174 | 2147483647   537390     23 |  2.135 % |
5697.55/5699.48	c |    537700 |   13433    55470   165174 | 2147483647   537602     23 |  2.135 % |
5701.15/5703.03	c |    537934 |   13433    55470   165174 | 2147483647   537836     23 |  2.135 % |
5705.44/5707.39	c |    538190 |   13433    55470   165174 | 2147483647   538092     23 |  2.135 % |
5709.54/5711.41	c |    538471 |   13433    55470   165174 | 2147483647   538373     23 |  2.135 % |
5714.04/5715.94	c |    538780 |   13433    55470   165174 | 2147483647   538682     23 |  2.135 % |
5719.34/5721.27	c |    539119 |   13433    55470   165174 | 2147483647   539021     23 |  2.135 % |
5723.84/5725.75	c |    539491 |   13433    55470   165174 | 2147483647   539393     23 |  2.135 % |
5730.34/5732.25	c |    539900 |   13433    55470   165174 | 2147483647   539802     23 |  2.135 % |
5737.84/5739.70	c |    540349 |   13433    55470   165174 | 2147483647   540251     23 |  2.135 % |
5745.73/5747.67	c |    540843 |   13433    55470   165174 | 2147483647   540745     23 |  2.135 % |
5754.53/5756.49	c |    541385 |   13433    55470   165174 | 2147483647   541287     23 |  2.135 % |
5764.23/5766.14	c |    541981 |   13433    55470   165174 | 2147483647   541883     23 |  2.135 % |
5774.52/5776.45	c |    542637 |   13433    55470   165174 | 2147483647   542539     23 |  2.135 % |
5786.01/5787.92	c |    543357 |   13433    55470   165174 | 2147483647   543259     23 |  2.135 % |
5797.11/5799.04	c |    544149 |   13433    55470   165174 | 2147483647   544051     23 |  2.135 % |
5812.20/5814.18	c |    545020 |   13433    55470   165174 | 2147483647   544922     23 |  2.135 % |
5827.21/5829.19	c |    545978 |   13433    55470   165174 | 2147483647   545880     23 |  2.135 % |
5844.00/5845.92	c |    547032 |   13433    55470   165174 | 2147483647   546934     23 |  2.135 % |
5862.30/5864.26	c |    548190 |   13433    55470   165174 | 2147483647   548092     23 |  2.135 % |
5883.69/5885.63	c |    549463 |   13433    55470   165174 | 2147483647   549365     23 |  2.135 % |
5903.88/5905.83	c |    550864 |   13433    55470   165174 | 2147483647   550766     23 |  2.135 % |
5927.47/5929.42	c |    552404 |   13433    55470   165174 | 2147483647   552306     23 |  2.135 % |
5955.37/5957.33	c |    554099 |   13433    55470   165174 | 2147483647   554001     23 |  2.135 % |
5986.76/5988.75	c |    555964 |   13433    55470   165174 | 2147483647   555866     23 |  2.135 % |
6018.05/6020.07	c |    558013 |   13433    55470   165174 | 2147483647   557915     23 |  2.135 % |
6054.54/6056.57	c |    560267 |   13433    55470   165174 |   559902   560169     23 |  2.135 % |
6104.42/6106.47	c |    562745 |   13433    55470   165174 |   559902   502636     23 |  2.135 % |
6145.81/6147.86	c |    565471 |   13433    55470   165174 |   559902   505362     23 |  2.135 % |
6191.10/6193.11	c |    568468 |   13433    55470   165174 |   559902   508359     23 |  2.135 % |
6241.59/6243.61	c |    571764 |   13433    55470   165174 | 2147483647   511655     23 |  2.135 % |
6295.67/6297.75	c |    575389 |   13433    55470   165174 | 2147483647   515280     23 |  2.135 % |
6356.34/6358.45	c |    579377 |   13433    55470   165174 | 2147483647   519268     23 |  2.135 % |
6423.93/6426.06	c |    583762 |   13433    55470   165174 | 2147483647   523653     23 |  2.135 % |
6498.91/6501.07	c |    588586 |   13433    55470   165174 | 2147483647   528477     23 |  2.135 % |
6584.59/6586.79	c |    593892 |   13433    55470   165174 | 2147483647   533783     23 |  2.135 % |
6586.08/6588.24	c |    593992 |   13433    55470   165174 | 2147483647   533883     23 |  2.135 % |
6588.18/6590.34	c |    594105 |   13433    55470   165174 | 2147483647   533996     23 |  2.135 % |
6590.08/6592.28	c |    594226 |   13433    55470   165174 | 2147483647   534117     23 |  2.135 % |
6592.48/6594.62	c |    594359 |   13433    55470   165174 | 2147483647   534250     23 |  2.135 % |
6594.68/6596.81	c |    594505 |   13433    55470   165174 | 2147483647   534396     23 |  2.135 % |
6597.48/6599.63	c |    594665 |   13433    55470   165174 | 2147483647   534556     23 |  2.135 % |
6599.77/6601.95	c |    594843 |   13433    55470   165174 | 2147483647   534734     23 |  2.135 % |
6602.57/6604.79	c |    595037 |   13433    55470   165174 | 2147483647   534928     23 |  2.135 % |
6605.88/6608.08	c |    595250 |   13433    55470   165174 | 2147483647   535141     23 |  2.135 % |
6609.78/6611.99	c |    595484 |   13433    55470   165174 | 2147483647   535375     23 |  2.135 % |
6614.18/6616.35	c |    595741 |   13433    55470   165174 | 2147483647   535632     23 |  2.135 % |
6619.28/6621.44	c |    596023 |   13433    55470   165174 | 2147483647   535914     23 |  2.135 % |
6624.57/6626.76	c |    596333 |   13433    55470   165174 | 2147483647   536224     23 |  2.135 % |
6630.27/6632.42	c |    596673 |   13433    55470   165174 | 2147483647   536564     23 |  2.135 % |
6636.37/6638.56	c |    597045 |   13433    55470   165174 | 2147483647   536936     23 |  2.135 % |
6642.87/6645.02	c |    597454 |   13433    55470   165174 | 2147483647   537345     22 |  2.135 % |
6650.27/6652.46	c |    597904 |   13433    55470   165174 | 2147483647   537795     22 |  2.135 % |
6658.46/6660.65	c |    598398 |   13433    55470   165174 | 2147483647   538289     22 |  2.135 % |
6667.06/6669.27	c |    598941 |   13433    55470   165174 | 2147483647   538832     22 |  2.135 % |
6676.36/6678.57	c |    599539 |   13433    55470   165174 | 2147483647   539430     22 |  2.135 % |
6686.35/6688.54	c |    600196 |   13433    55470   165174 | 2147483647   540087     22 |  2.135 % |
6697.05/6699.24	c |    600916 |   13433    55470   165174 | 2147483647   540807     22 |  2.135 % |
6709.14/6711.36	c |    601709 |   13433    55470   165174 | 2147483647   541600     22 |  2.135 % |
6723.04/6725.24	c |    602580 |   13433    55470   165174 | 2147483647   542471     22 |  2.135 % |
6739.03/6741.23	c |    603538 |   13433    55470   165174 | 2147483647   543429     22 |  2.135 % |
6754.04/6756.21	c |    604591 |   13433    55470   165174 | 2147483647   544482     22 |  2.135 % |
6770.13/6772.34	c |    605750 |   13433    55470   165174 | 2147483647   545641     22 |  2.135 % |
6790.33/6792.56	c |    607024 |   13433    55470   165174 | 2147483647   546915     22 |  2.135 % |
6812.12/6814.34	c |    608424 |   13433    55470   165174 | 2147483647   548315     22 |  2.135 % |
6836.21/6838.49	c |    609964 |   13433    55470   165174 | 2147483647   549855     22 |  2.135 % |
6877.79/6880.00	c |    611658 |   13433    55470   165174 |   549892   486947     22 |  2.135 % |
6901.69/6903.95	c |    613522 |   13433    55470   165174 |   549892   488811     22 |  2.135 % |
6930.58/6932.80	c |    615571 |   13433    55470   165174 |   549892   490860     22 |  2.135 % |
6963.97/6966.24	c |    617825 |   13433    55470   165174 |   549892   493114     22 |  2.135 % |
7001.06/7003.35	c |    620304 |   13433    55470   165174 | 2147483647   495593     22 |  2.135 % |
7042.95/7045.26	c |    623029 |   13433    55470   165174 | 2147483647   498318     22 |  2.135 % |
7085.34/7087.67	c |    626026 |   13433    55470   165174 | 2147483647   501315     22 |  2.135 % |
7134.22/7136.54	c |    629323 |   13433    55470   165174 | 2147483647   504612     22 |  2.135 % |
7190.50/7192.90	c |    632948 |   13433    55470   165174 | 2147483647   508237     22 |  2.135 % |
7250.29/7252.68	c |    636935 |   13433    55470   165174 | 2147483647   512224     22 |  2.135 % |
7317.96/7320.34	c |    641321 |   13433    55470   165174 | 2147483647   516610     22 |  2.135 % |
7393.35/7395.73	c |    646145 |   13433    55470   165174 | 2147483647   521434     22 |  2.135 % |
7478.22/7480.69	c |    651450 |   13433    55470   165174 | 2147483647   526739     22 |  2.135 % |
7564.19/7566.64	c |    657286 |   13433    55470   165174 | 2147483647   532575     22 |  2.135 % |
7565.79/7568.21	c |    657386 |   13433    55470   165174 | 2147483647   532675     22 |  2.135 % |
7567.09/7569.58	c |    657496 |   13433    55470   165174 | 2147483647   532785     22 |  2.135 % |
7568.89/7571.31	c |    657617 |   13433    55470   165174 | 2147483647   532906     22 |  2.135 % |
7570.69/7573.13	c |    657750 |   13433    55470   165174 | 2147483647   533039     22 |  2.135 % |
7572.89/7575.36	c |    657897 |   13433    55470   165174 | 2147483647   533186     22 |  2.135 % |
7575.59/7578.04	c |    658058 |   13433    55470   165174 | 2147483647   533347     22 |  2.135 % |
7578.29/7580.76	c |    658234 |   13433    55470   165174 | 2147483647   533523     22 |  2.135 % |
7581.19/7583.62	c |    658427 |   13433    55470   165174 | 2147483647   533716     22 |  2.135 % |
7584.29/7586.78	c |    658639 |   13433    55470   165174 | 2147483647   533928     22 |  2.135 % |
7587.68/7590.18	c |    658874 |   13433    55470   165174 | 2147483647   534163     22 |  2.135 % |
7591.98/7594.48	c |    659131 |   13433    55470   165174 | 2147483647   534420     22 |  2.135 % |
7595.78/7598.27	c |    659412 |   13433    55470   165174 | 2147483647   534701     22 |  2.135 % |
7600.58/7603.08	c |    659722 |   13433    55470   165174 | 2147483647   535011     22 |  2.135 % |
7606.28/7608.77	c |    660061 |   13433    55470   165174 | 2147483647   535350     22 |  2.135 % |
7612.78/7615.30	c |    660434 |   13433    55470   165174 | 2147483647   535723     22 |  2.135 % |
7619.07/7621.59	c |    660844 |   13433    55470   165174 | 2147483647   536133     22 |  2.135 % |
7626.26/7628.79	c |    661293 |   13433    55470   165174 | 2147483647   536582     22 |  2.135 % |
7631.16/7633.69	c |    661787 |   13433    55470   165174 | 2147483647   537076     22 |  2.135 % |
7639.66/7642.17	c |    662331 |   13433    55470   165174 | 2147483647   537620     22 |  2.135 % |
7649.16/7651.68	c |    662927 |   13433    55470   165174 | 2147483647   538216     22 |  2.135 % |
7660.35/7662.84	c |    663584 |   13433    55470   165174 | 2147483647   538873     22 |  2.135 % |
7672.76/7675.20	c |    664304 |   13433    55470   165174 | 2147483647   539593     22 |  2.135 % |
7684.55/7687.09	c |    665096 |   13433    55470   165174 | 2147483647   540385     22 |  2.135 % |
7698.35/7700.89	c |    665967 |   13433    55470   165174 | 2147483647   541256     22 |  2.135 % |
7711.75/7714.27	c |    666926 |   13433    55470   165174 | 2147483647   542215     22 |  2.135 % |
7727.94/7730.41	c |    667981 |   13433    55470   165174 | 2147483647   543270     22 |  2.135 % |
7746.83/7749.39	c |    669139 |   13433    55470   165174 | 2147483647   544428     22 |  2.135 % |
7767.22/7769.75	c |    670412 |   13433    55470   165174 | 2147483647   545701     22 |  2.135 % |
7788.62/7791.14	c |    671814 |   13433    55470   165174 | 2147483647   547103     22 |  2.135 % |
7811.72/7814.30	c |    673355 |   13433    55470   165174 | 2147483647   548644     22 |  2.135 % |
7836.91/7839.40	c |    675051 |   13433    55470   165174 | 2147483647   550340     22 |  2.135 % |
7866.30/7868.86	c |    676914 |   13433    55470   165174 | 2147483647   552203     22 |  2.135 % |
7899.79/7902.33	c |    678964 |   13433    55470   165174 | 2147483647   554253     22 |  2.135 % |
7935.28/7937.87	c |    681218 |   13433    55470   165174 | 2147483647   556507     22 |  2.135 % |
7976.26/7978.84	c |    683696 |   13433    55470   165174 | 2147483647   558985     22 |  2.135 % |
8020.55/8023.11	c |    686421 |   13433    55470   165174 | 2147483647   561710     22 |  2.135 % |
8067.44/8070.06	c |    689419 |   13433    55470   165174 | 2147483647   564708     22 |  2.135 % |
8122.42/8125.00	c |    692715 |   13433    55470   165174 | 2147483647   568004     22 |  2.135 % |
8177.50/8180.13	c |    696340 |   13433    55470   165174 | 2147483647   571629     22 |  2.135 % |
8241.69/8244.35	c |    700328 |   13433    55470   165174 | 2147483647   575617     22 |  2.135 % |
8312.06/8314.72	c |    704713 |   13433    55470   165174 | 2147483647   580002     22 |  2.135 % |
8389.35/8392.06	c |    709537 |   13433    55470   165174 | 2147483647   584826     22 |  2.135 % |
8476.62/8479.39	c |    714842 |   13433    55470   165174 | 2147483647   590131     22 |  2.135 % |
8574.50/8577.22	c |    720678 |   13433    55470   165174 | 2147483647   595967     21 |  2.135 % |
8669.96/8672.73	c |    727098 |   13433    55470   165174 | 2147483647   602387     22 |  2.135 % |
8671.87/8674.65	c |    727199 |   13433    55470   165174 | 2147483647   602488     22 |  2.135 % |
8673.76/8676.53	c |    727310 |   13433    55470   165174 | 2147483647   602599     22 |  2.135 % |
8675.66/8678.46	c |    727431 |   13433    55470   165174 | 2147483647   602720     22 |  2.135 % |
8677.86/8680.63	c |    727564 |   13433    55470   165174 | 2147483647   602853     22 |  2.135 % |
8680.46/8683.24	c |    727710 |   13433    55470   165174 | 2147483647   602999     22 |  2.135 % |
8683.06/8685.85	c |    727871 |   13433    55470   165174 | 2147483647   603160     22 |  2.135 % |
8685.56/8688.33	c |    728048 |   13433    55470   165174 | 2147483647   603337     22 |  2.135 % |
8688.16/8690.98	c |    728241 |   13433    55470   165174 | 2147483647   603530     22 |  2.135 % |
8691.06/8693.90	c |    728454 |   13433    55470   165174 | 2147483647   603743     22 |  2.135 % |
8695.15/8697.98	c |    728687 |   13433    55470   165174 | 2147483647   603976     22 |  2.135 % |
8699.16/8701.91	c |    728943 |   13433    55470   165174 | 2147483647   604232     22 |  2.135 % |
8703.76/8706.54	c |    729229 |   13433    55470   165174 | 2147483647   604518     22 |  2.135 % |
8708.26/8711.01	c |    729538 |   13433    55470   165174 | 2147483647   604827     22 |  2.135 % |
8713.86/8716.68	c |    729877 |   13433    55470   165174 | 2147483647   605166     22 |  2.135 % |
8719.75/8722.59	c |    730250 |   13433    55470   165174 |   605290   605539     22 |  2.135 % |
8725.55/8728.36	c |    730659 |   13433    55470   165174 |   605290   605948     22 |  2.135 % |
8761.84/8764.60	c |    731110 |   13433    55470   165174 |   605290   528295     22 |  2.135 % |
8768.94/8771.79	c |    731604 |   13433    55470   165174 |   605290   528789     22 |  2.135 % |
8776.14/8778.96	c |    732147 |   13433    55470   165174 |   605290   529332     22 |  2.135 % |
8784.93/8787.80	c |    732743 |   13433    55470   165174 |   605290   529928     22 |  2.135 % |
8794.43/8797.29	c |    733398 |   13433    55470   165174 |   605290   530583     22 |  2.135 % |
8804.93/8807.76	c |    734121 |   13433    55470   165174 |   605290   531306     22 |  2.135 % |
8816.52/8819.35	c |    734913 |   13433    55470   165174 |   605290   532098     22 |  2.135 % |
8827.72/8830.55	c |    735785 |   13433    55470   165174 |   605290   532970     22 |  2.135 % |
8842.12/8844.92	c |    736744 |   13433    55470   165174 |   605290   533929     22 |  2.135 % |
8856.62/8859.46	c |    737798 |   13433    55470   165174 |   605290   534983     22 |  2.135 % |
8872.51/8875.36	c |    738957 |   13433    55470   165174 |   605290   536142     22 |  2.135 % |
8890.10/8892.93	c |    740230 |   13433    55470   165174 | 2147483647   537415     22 |  2.135 % |
8909.00/8911.89	c |    741632 |   13433    55470   165174 | 2147483647   538817     22 |  2.135 % |
8934.19/8937.06	c |    743173 |   13433    55470   165174 | 2147483647   540358     22 |  2.135 % |
8960.38/8963.21	c |    744867 |   13433    55470   165174 | 2147483647   542052     22 |  2.135 % |
8988.77/8991.64	c |    746731 |   13433    55470   165174 | 2147483647   543916     22 |  2.135 % |
9021.36/9024.27	c |    748780 |   13433    55470   165174 | 2147483647   545965     22 |  2.135 % |
9054.76/9057.68	c |    751034 |   13433    55470   165174 | 2147483647   548219     22 |  2.135 % |
9089.84/9092.80	c |    753512 |   13433    55470   165174 | 2147483647   550697     22 |  2.135 % |
9127.53/9130.42	c |    756238 |   13433    55470   165174 | 2147483647   553423     21 |  2.135 % |
9169.72/9172.67	c |    759235 |   13433    55470   165174 | 2147483647   556420     21 |  2.135 % |
9219.30/9222.28	c |    762532 |   13433    55470   165174 | 2147483647   559717     21 |  2.135 % |
9277.79/9280.76	c |    766157 |   13433    55470   165174 | 2147483647   563342     21 |  2.135 % |
9341.27/9344.23	c |    770145 |   13433    55470   165174 | 2147483647   567330     21 |  2.135 % |
9406.15/9409.19	c |    774531 |   13433    55470   165174 | 2147483647   571716     21 |  2.135 % |
9478.73/9481.75	c |    779355 |   13433    55470   165174 | 2147483647   576540     21 |  2.135 % |
9563.31/9566.34	c |    784663 |   13433    55470   165174 | 2147483647   581848     21 |  2.135 % |
9656.68/9659.78	c |    790498 |   13433    55470   165174 | 2147483647   587683     21 |  2.135 % |
9763.75/9766.81	c |    796916 |   13433    55470   165174 | 2147483647   594101     21 |  2.135 % |
9872.41/9875.51	c |    803977 |   13433    55470   165174 | 2147483647   601162     21 |  2.135 % |
9874.21/9877.39	c |    804077 |   13433    55470   165174 | 2147483647   601262     21 |  2.135 % |
9876.41/9879.51	c |    804187 |   13433    55470   165174 | 2147483647   601372     21 |  2.135 % |
9878.51/9881.63	c |    804310 |   13433    55470   165174 | 2147483647   601495     21 |  2.135 % |
9880.51/9883.62	c |    804443 |   13433    55470   165174 | 2147483647   601628     21 |  2.135 % |
9882.71/9885.82	c |    804589 |   13433    55470   165174 | 2147483647   601774     21 |  2.135 % |
9885.31/9888.44	c |    804749 |   13433    55470   165174 | 2147483647   601934     21 |  2.135 % |
9887.91/9891.04	c |    804926 |   13433    55470   165174 | 2147483647   602111     21 |  2.135 % |
9890.81/9893.92	c |    805120 |   13433    55470   165174 | 2147483647   602305     21 |  2.135 % |
9894.11/9897.27	c |    805332 |   13433    55470   165174 | 2147483647   602517     21 |  2.135 % |
9898.10/9901.26	c |    805566 |   13433    55470   165174 | 2147483647   602751     21 |  2.135 % |
9902.50/9905.65	c |    805823 |   13433    55470   165174 | 2147483647   603008     21 |  2.135 % |
9907.00/9910.19	c |    806104 |   13433    55470   165174 | 2147483647   603289     21 |  2.135 % |
9911.70/9914.88	c |    806413 |   13433    55470   165174 | 2147483647   603598     21 |  2.135 % |
9917.39/9920.56	c |    806753 |   13433    55470   165174 | 2147483647   603938     21 |  2.135 % |
9923.79/9926.93	c |    807125 |   13433    55470   165174 | 2147483647   604310     21 |  2.135 % |
9930.69/9933.89	c |    807535 |   13433    55470   165174 | 2147483647   604720     21 |  2.135 % |
9937.69/9940.87	c |    807984 |   13433    55470   165174 | 2147483647   605169     21 |  2.135 % |
9945.39/9948.54	c |    808477 |   13433    55470   165174 | 2147483647   605662     21 |  2.135 % |
9954.18/9957.34	c |    809019 |   13433    55470   165174 | 2147483647   606204     21 |  2.135 % |
9963.38/9966.54	c |    809617 |   13433    55470   165174 | 2147483647   606802     21 |  2.135 % |
9973.89/9977.03	c |    810273 |   13433    55470   165174 | 2147483647   607458     21 |  2.135 % |
9985.58/9988.71	c |    810994 |   13433    55470   165174 | 2147483647   608179     21 |  2.135 % |
9997.68/10000.83	c |    811788 |   13433    55470   165174 | 2147483647   608973     21 |  2.135 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837328-1242867311/watcher-1837328-1242867311 -o /tmp/evaluation-result-1837328-1242867311/solver-1837328-1242867311 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837328-1242867311.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 0.99 0.97 0.99 3/64 24887
/proc/meminfo: memFree=1465664/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=0
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 314758308 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 217051791442 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/24887/statm: 1339 235 195 169 0 50 0
[pid=24888] ppid=24887 vsize=5356 CPUtime=0
/proc/24888/stat : 24888 (SatELiteGTI) R 24887 24887 24817 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 314758308 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/24888/statm: 1339 238 198 169 0 50 0
[pid=24890] ppid=24888 vsize=0 CPUtime=0
/proc/24890/stat : 24890 (sed) Z 24888 24887 24817 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 314758308 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/24890/statm: 0 0 0 0 0 0 0

[startup+0.07678 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24887
/proc/meminfo: memFree=1465664/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=0
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314758308 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24887/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101783 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24887
/proc/meminfo: memFree=1465664/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=0
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314758308 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24887/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301804 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24887
/proc/meminfo: memFree=1465664/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=0
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314758308 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24887/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701849 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24887
/proc/meminfo: memFree=1465664/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=0
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314758308 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24887/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50195 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24892
/proc/meminfo: memFree=1447528/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 5356

[startup+3.10212 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1455528/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=5844 CPUtime=1.66
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 1292 0 0 0 166 0 0 0 25 0 1 0 314758451 5984256 1278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 1461 1278 76 171 0 1288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11200

[startup+6.30147 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1455080/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=5976 CPUtime=4.86
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 1330 0 0 0 485 1 0 0 25 0 1 0 314758451 6119424 1316 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 1494 1316 76 171 0 1321 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11332

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1455032/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=6232 CPUtime=11.26
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 1381 0 0 0 1125 1 0 0 25 0 1 0 314758451 6381568 1367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 1558 1367 76 171 0 1385 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11588

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1454520/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=6648 CPUtime=24.05
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 1500 0 0 0 2404 1 0 0 25 0 1 0 314758451 6807552 1486 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 1662 1486 76 171 0 1489 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 12004

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1453688/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=7632 CPUtime=49.64
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 1721 0 0 0 4963 1 0 0 25 0 1 0 314758451 7815168 1707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 1908 1707 76 171 0 1735 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 12988

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1452024/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=9240 CPUtime=100.83
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 2142 0 0 0 10081 2 0 0 25 0 1 0 314758451 9461760 2128 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 2310 2128 76 171 0 2137 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14596

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1450168/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=11020 CPUtime=160.81
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 2593 0 0 0 16078 3 0 0 25 0 1 0 314758451 11284480 2579 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 2755 2579 76 171 0 2582 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16376

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1448504/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=12744 CPUtime=220.8
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 3001 0 0 0 22075 5 0 0 25 0 1 0 314758451 13049856 2987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 3186 2987 76 171 0 3013 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 18100

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1446968/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=14280 CPUtime=280.78
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 3376 0 0 0 28072 6 0 0 25 0 1 0 314758451 14622720 3362 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 3570 3362 76 171 0 3397 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 19636

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24893
/proc/meminfo: memFree=1445560/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=15744 CPUtime=340.76
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 3708 0 0 0 34069 7 0 0 25 0 1 0 314758451 16121856 3694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 3936 3694 76 171 0 3763 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21100

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 24899
/proc/meminfo: memFree=1443768/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=17600 CPUtime=400.73
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 4158 0 0 0 40065 8 0 0 25 0 1 0 314758451 18022400 4144 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 4400 4144 76 171 0 4227 0
Current children cumulated CPU time (s) 402.15

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

/proc/24893/statm: 21922 20925 76 171 0 21749 0
Current children cumulated CPU time (s) 9339.38
Current children cumulated vsize (KiB) 93044

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330680/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9397.93
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20941 0 0 0 939715 78 0 0 25 0 1 0 314758451 89792512 20927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20927 76 171 0 21749 0
Current children cumulated CPU time (s) 9399.35
Current children cumulated vsize (KiB) 93044

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330616/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9457.91
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20959 0 0 0 945713 78 0 0 25 0 1 0 314758451 89792512 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20945 76 171 0 21749 0
Current children cumulated CPU time (s) 9459.33
Current children cumulated vsize (KiB) 93044

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330552/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9517.89
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 951711 78 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9519.31
Current children cumulated vsize (KiB) 93044

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330488/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9577.88
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 957709 79 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9579.3
Current children cumulated vsize (KiB) 93044

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330488/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9637.86
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 963707 79 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9639.28
Current children cumulated vsize (KiB) 93044

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330424/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9697.84
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 969705 79 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134538547 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9699.26
Current children cumulated vsize (KiB) 93044

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330488/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9757.83
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 975703 80 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9759.25
Current children cumulated vsize (KiB) 93044

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330424/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9817.81
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20962 0 0 0 981701 80 0 0 25 0 1 0 314758451 89792512 20948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20948 76 171 0 21749 0
Current children cumulated CPU time (s) 9819.23
Current children cumulated vsize (KiB) 93044

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330360/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9877.8
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20967 0 0 0 987700 80 0 0 25 0 1 0 314758451 89792512 20953 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20953 76 171 0 21749 0
Current children cumulated CPU time (s) 9879.22
Current children cumulated vsize (KiB) 93044

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330424/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9937.77
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20967 0 0 0 993697 80 0 0 25 0 1 0 314758451 89792512 20953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20953 76 171 0 21749 0
Current children cumulated CPU time (s) 9939.19
Current children cumulated vsize (KiB) 93044

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330360/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9997.76
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20970 0 0 0 999695 81 0 0 25 0 1 0 314758451 89792512 20956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20956 76 171 0 21749 0
Current children cumulated CPU time (s) 9999.18
Current children cumulated vsize (KiB) 93044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25391
/proc/meminfo: memFree=1330360/2055920 swapFree=4047576/4192956
[pid=24887] ppid=24885 vsize=5356 CPUtime=1.42
/proc/24887/stat : 24887 (SatELiteGTI) S 24885 24887 24817 0 -1 4194304 336 4426 0 0 0 0 136 6 16 0 1 0 314758308 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24887/statm: 1339 239 197 169 0 50 0
[pid=24893] ppid=24887 vsize=87688 CPUtime=9998.66
/proc/24893/stat : 24893 (minisat_static) R 24887 24887 24817 0 -1 4194304 20970 0 0 0 999785 81 0 0 25 0 1 0 314758451 89792512 20956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/24893/statm: 21922 20956 76 171 0 21749 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 93044

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24887 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=360793
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=62990
# CPU time returned by wait4() is 1.42378
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10003.2
CPU time (s): 10000.1
CPU user time (s): 9999.21
CPU system time (s): 0.87
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 93044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.36079
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4762
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= 13
involuntary context switches= 9

runsolver used 10.9893 second user time and 25.5061 second system time

The end

Launcher Data 

Begin job on node59 at 2009-05-21 02:55:11
IDJOB=1837328
IDBENCH=70853
IDSOLVER=674
FILE ID=node59/1837328-1242867311
PBS_JOBID= 9328548
Free space on /tmp= 65872 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-20-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837328-1242867311/watcher-1837328-1242867311 -o /tmp/evaluation-result-1837328-1242867311/solver-1837328-1242867311 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837328-1242867311.cnf

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

MD5SUM BENCH= 5d7745a7593199a47cd1accba5810ed0
RANDOM SEED=123243723

node59.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.240
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.240
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:       1466144 kB
Buffers:         40116 kB
Cached:         367884 kB
SwapCached:     139468 kB
Active:         349692 kB
Inactive:       199848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466144 kB
SwapTotal:     4192956 kB
SwapFree:      4047576 kB
Dirty:            3076 kB
Writeback:           0 kB
Mapped:          14920 kB
Slab:            26188 kB
Committed_AS:  1074960 kB
PageTables:       1464 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= 65868 MiB
End job on node59 at 2009-05-21 05:41:57