Trace number 1837326

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 10003.8

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-26-s100.cnf
MD5SUMa2be03cdc152990d030fb3c2aea1f730
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables31942
Number of clauses96138
Sum of the clauses size226784
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261502
Number of clauses of size 334572
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.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 |   95938   226308 |   28781       0        0     nan |  0.000 % |
1.18/1.29	c |         0 |   59390   177244 |      --       0       --      -- |     --   | -36208/-48088
1.18/1.29	c ==============================================================================
1.18/1.29	c Result  :   #vars: 14277   #clauses: 59390   #literals: 177244
1.18/1.29	c CPU time:   1.25581 s
1.18/1.29	c ==============================================================================
1.28/1.35	c This is MiniSat 2.0 beta
1.28/1.35	c WARNING: for repeatability, setting FPU to use double precision
1.28/1.35	c ============================[ Problem Statistics ]=============================
1.28/1.35	c |                                                                             |
1.28/1.35	c |  Number of variables:  14277                                                |
1.28/1.35	c |  Number of clauses:    59390                                                |
1.28/1.39	c |  Parsing time:         0.03         s                                       |
1.28/1.39	c ============================[ Search Statistics ]==============================
1.28/1.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.39	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.28/1.39	c ===============================================================================
1.28/1.39	c |         0 |   14277    59390   177244 |    19796        0    nan |  0.000 % |
1.34/1.55	c |       100 |   14238    59390   177244 |    19796       91     28 |  2.627 % |
1.34/1.99	c |       202 |   13902    57442   172321 |    19796      183     27 |  2.627 % |
2.07/2.19	c |       303 |   13902    57442   172321 |    19796      284     34 |  2.627 % |
2.47/2.56	c |       413 |   13902    57442   172321 |    19796      394     33 |  2.627 % |
2.77/2.84	c |       513 |   13902    57442   172321 |    19796      494     34 |  2.627 % |
3.17/3.24	c |       623 |   13902    57442   172321 |    19796      604     34 |  2.627 % |
3.57/3.65	c |       744 |   13902    57442   172321 |    19796      725     32 |  2.627 % |
3.97/4.05	c |       845 |   13902    57442   172321 |    19796      826     32 |  2.627 % |
4.37/4.43	c |       958 |   13902    57442   172321 |    19796      939     31 |  2.627 % |
4.87/4.90	c |      1081 |   13902    57442   172321 |    19796     1062     30 |  2.627 % |
5.37/5.46	c |      1214 |   13902    57442   172321 |    19796     1195     29 |  2.627 % |
5.67/5.75	c |      1315 |   13902    57442   172321 |    19796     1296     29 |  2.627 % |
5.98/6.06	c |      1426 |   13902    57442   172321 |    19796     1407     30 |  2.627 % |
6.48/6.55	c |      1547 |   13902    57442   172321 |    19796     1528     30 |  2.627 % |
7.08/7.15	c |      1680 |   13902    57442   172321 |    19796     1661     30 |  2.627 % |
7.68/7.77	c |      1826 |   13902    57442   172321 |    19796     1807     29 |  2.627 % |
7.77/7.88	c |      1926 |   13902    57442   172321 |    19796     1907     31 |  2.627 % |
8.17/8.22	c |      2037 |   13902    57442   172321 |    19796     2018     32 |  2.627 % |
8.47/8.59	c |      2159 |   13902    57442   172321 |    19796     2140     32 |  2.627 % |
9.07/9.13	c |      2292 |   13902    57442   172321 |    19796     2273     33 |  2.627 % |
9.57/9.60	c |      2439 |   13902    57442   172321 |    19796     2420     33 |  2.627 % |
9.88/9.91	c |      2600 |   13902    57442   172321 |    19796     2581     33 |  2.627 % |
10.07/10.15	c |      2700 |   13902    57442   172321 |    19796     2681     33 |  2.627 % |
10.27/10.38	c |      2811 |   13902    57442   172321 |    19796     2792     34 |  2.627 % |
10.67/10.70	c |      2932 |   13902    57442   172321 |    19796     2913     35 |  2.627 % |
10.98/11.03	c |      3065 |   13902    57442   172321 |    19796     3046     35 |  2.627 % |
11.27/11.39	c |      3212 |   13902    57442   172321 |    19796     3193     35 |  2.627 % |
11.67/11.74	c |      3373 |   13902    57442   172321 |    19796     3354     35 |  2.627 % |
12.47/12.53	c |      3550 |   13902    57442   172321 |    19796     3531     35 |  2.627 % |
12.87/12.92	c |      3651 |   13902    57442   172321 |    19796     3632     35 |  2.627 % |
13.27/13.39	c |      3761 |   13902    57442   172321 |    19796     3742     34 |  2.627 % |
13.77/13.86	c |      3882 |   13902    57442   172321 |    19796     3863     34 |  2.627 % |
14.27/14.34	c |      4016 |   13902    57442   172321 |    19796     3997     34 |  2.627 % |
14.87/14.99	c |      4163 |   13902    57442   172321 |    19796     4144     34 |  2.627 % |
15.57/15.62	c |      4324 |   13902    57442   172321 |    19796     4305     33 |  2.627 % |
16.07/16.16	c |      4501 |   13902    57442   172321 |    19796     4482     33 |  2.627 % |
16.57/16.69	c |      4695 |   13902    57442   172321 |    19796     4676     34 |  2.627 % |
16.87/16.94	c |      4796 |   13902    57442   172321 |    19796     4777     34 |  2.627 % |
17.07/17.15	c |      4907 |   13902    57442   172321 |    19796     4888     34 |  2.627 % |
17.47/17.55	c |      5028 |   13902    57442   172321 |    19796     5009     34 |  2.627 % |
17.87/17.99	c |      5162 |   13902    57442   172321 |    19796     5143     34 |  2.627 % |
18.37/18.41	c |      5309 |   13902    57442   172321 |    19796     5290     34 |  2.627 % |
18.97/19.09	c |      5470 |   13902    57442   172321 |    19796     5451     34 |  2.627 % |
19.27/19.39	c |      5649 |   13902    57442   172321 |    19796     5630     35 |  2.627 % |
19.77/19.89	c |      5844 |   13902    57442   172321 |    19796     5825     35 |  2.627 % |
20.67/20.77	c |      6058 |   13902    57442   172321 |    19796     6039     35 |  2.627 % |
20.96/21.07	c |      6158 |   13902    57442   172321 |    19796     6139     35 |  2.627 % |
21.36/21.46	c |      6268 |   13902    57442   172321 |    19796     6249     35 |  2.627 % |
21.76/21.85	c |      6389 |   13902    57442   172321 |    19796     6370     35 |  2.627 % |
22.16/22.22	c |      6523 |   13902    57442   172321 |    19796     6504     35 |  2.627 % |
22.46/22.59	c |      6669 |   13902    57442   172321 |    19796     6650     36 |  2.627 % |
22.86/22.98	c |      6829 |   13902    57442   172321 |    19796     6810     36 |  2.627 % |
23.56/23.66	c |      7006 |   13902    57442   172321 |    19796     6987     36 |  2.627 % |
24.36/24.46	c |      7199 |   13902    57442   172321 |    19796     7180     36 |  2.627 % |
25.27/25.40	c |      7411 |   13902    57442   172321 |    19796     7392     36 |  2.627 % |
26.37/26.41	c |      7645 |   13902    57442   172321 |    19796     7626     36 |  2.627 % |
26.76/26.86	c |      7746 |   13902    57442   172321 |    19796     7727     36 |  2.627 % |
27.26/27.38	c |      7857 |   13902    57442   172321 |    19796     7838     35 |  2.627 % |
27.86/27.94	c |      7978 |   13902    57442   172321 |    19796     7959     35 |  2.627 % |
28.46/28.52	c |      8111 |   13902    57442   172321 |    19796     8092     35 |  2.627 % |
29.06/29.19	c |      8257 |   13902    57442   172321 |    19796     8238     35 |  2.627 % |
29.86/29.94	c |      8419 |   13902    57442   172321 |    19796     8400     35 |  2.627 % |
30.46/30.59	c |      8595 |   13902    57442   172321 |    19796     8576     35 |  2.627 % |
31.36/31.47	c |      8789 |   13902    57442   172321 |    19796     8770     34 |  2.627 % |
32.45/32.58	c |      9001 |   13902    57442   172321 |    19796     8982     34 |  2.627 % |
33.55/33.60	c |      9236 |   13902    57442   172321 |    19796     9217     34 |  2.627 % |
34.75/34.88	c |      9493 |   13902    57442   172321 |    19796     9474     34 |  2.627 % |
35.25/35.32	c |      9594 |   13902    57442   172321 |    19796     9575     34 |  2.627 % |
35.55/35.69	c |      9706 |   13902    57442   172321 |    19796     9687     34 |  2.627 % |
36.05/36.14	c |      9828 |   13902    57442   172321 |    19796     9809     33 |  2.627 % |
36.55/36.66	c |      9962 |   13902    57442   172321 |    19796     9943     34 |  2.627 % |
37.15/37.21	c |     10110 |   13902    57442   172321 | 2147483647    10091     33 |  2.627 % |
37.75/37.80	c |     10271 |   13902    57442   172321 | 2147483647    10252     33 |  2.627 % |
38.25/38.39	c |     10447 |   13902    57442   172321 | 2147483647    10428     34 |  2.627 % |
38.95/39.08	c |     10640 |   13902    57442   172321 | 2147483647    10621     34 |  2.627 % |
39.85/39.95	c |     10853 |   13902    57442   172321 | 2147483647    10834     34 |  2.627 % |
40.95/41.01	c |     11087 |   13902    57442   172321 | 2147483647    11068     34 |  2.627 % |
41.75/41.84	c |     11346 |   13902    57442   172321 | 2147483647    11327     33 |  2.627 % |
42.95/43.06	c |     11628 |   13902    57442   172321 | 2147483647    11609     33 |  2.627 % |
43.45/43.57	c |     11729 |   13902    57442   172321 | 2147483647    11710     33 |  2.627 % |
44.05/44.11	c |     11839 |   13902    57442   172321 | 2147483647    11820     33 |  2.627 % |
44.65/44.72	c |     11960 |   13902    57442   172321 | 2147483647    11941     33 |  2.627 % |
45.25/45.39	c |     12094 |   13902    57442   172321 | 2147483647    12075     33 |  2.627 % |
45.95/46.01	c |     12242 |   13902    57442   172321 | 2147483647    12223     33 |  2.627 % |
46.55/46.61	c |     12402 |   13902    57442   172321 | 2147483647    12383     33 |  2.627 % |
47.15/47.28	c |     12578 |   13902    57442   172321 | 2147483647    12559     33 |  2.627 % |
47.85/47.97	c |     12771 |   13902    57442   172321 | 2147483647    12752     33 |  2.627 % |
48.74/48.86	c |     12984 |   13902    57442   172321 | 2147483647    12965     33 |  2.627 % |
49.64/49.71	c |     13217 |   13902    57442   172321 | 2147483647    13198     33 |  2.627 % |
50.15/50.22	c |     13473 |   13902    57442   172321 | 2147483647    13454     34 |  2.627 % |
50.46/50.58	c |     13754 |   13902    57442   172321 | 2147483647    13735     34 |  2.627 % |
51.85/51.92	c |     14064 |   13902    57442   172321 | 2147483647    14045     35 |  2.627 % |
52.25/52.38	c |     14165 |   13902    57442   172321 | 2147483647    14146     35 |  2.627 % |
52.76/52.83	c |     14276 |   13902    57442   172321 | 2147483647    14257     35 |  2.627 % |
53.25/53.34	c |     14398 |   13902    57442   172321 | 2147483647    14379     35 |  2.627 % |
53.95/54.02	c |     14532 |   13902    57442   172321 | 2147483647    14513     35 |  2.627 % |
54.65/54.78	c |     14679 |   13902    57442   172321 | 2147483647    14660     35 |  2.627 % |
55.45/55.59	c |     14839 |   13902    57442   172321 | 2147483647    14820     35 |  2.627 % |
56.25/56.30	c |     15016 |   13902    57442   172321 | 2147483647    14997     34 |  2.627 % |
57.16/57.29	c |     15210 |   13902    57442   172321 | 2147483647    15191     34 |  2.627 % |
58.15/58.23	c |     15422 |   13902    57442   172321 | 2147483647    15403     34 |  2.627 % |
59.35/59.42	c |     15656 |   13902    57442   172321 | 2147483647    15637     34 |  2.627 % |
60.35/60.50	c |     15912 |   13902    57442   172321 | 2147483647    15893     34 |  2.627 % |
61.95/62.03	c |     16194 |   13902    57442   172321 | 2147483647    16175     34 |  2.627 % |
63.45/63.59	c |     16503 |   13902    57442   172321 | 2147483647    16484     34 |  2.627 % |
65.25/65.37	c |     16842 |   13902    57442   172321 | 2147483647    16823     34 |  2.627 % |
65.85/65.96	c |     16942 |   13902    57442   172321 | 2147483647    16923     34 |  2.627 % |
66.55/66.60	c |     17052 |   13902    57442   172321 | 2147483647    17033     34 |  2.627 % |
67.14/67.22	c |     17173 |   13902    57442   172321 | 2147483647    17154     33 |  2.627 % |
67.84/67.94	c |     17306 |   13902    57442   172321 | 2147483647    17287     33 |  2.627 % |
68.15/68.22	c |     17453 |   13902    57442   172321 | 2147483647    17434     33 |  2.627 % |
68.74/68.83	c |     17613 |   13902    57442   172321 | 2147483647    17594     34 |  2.627 % |
69.44/69.59	c |     17790 |   13902    57442   172321 | 2147483647    17771     34 |  2.627 % |
70.04/70.18	c |     17985 |   13902    57442   172321 | 2147483647    17966     34 |  2.627 % |
70.94/71.07	c |     18198 |   13902    57442   172321 | 2147483647    18179     34 |  2.627 % |
71.74/71.89	c |     18431 |   13902    57442   172321 | 2147483647    18412     34 |  2.627 % |
72.34/72.47	c |     18688 |   13902    57442   172321 | 2147483647    18669     34 |  2.627 % |
73.65/73.78	c |     18969 |   13902    57442   172321 | 2147483647    18950     34 |  2.627 % |
75.04/75.12	c |     19278 |   13902    57442   172321 | 2147483647    19259     34 |  2.627 % |
76.54/76.64	c |     19618 |   13902    57442   172321 | 2147483647    19599     34 |  2.627 % |
77.94/78.03	c |     19990 |   13902    57442   172321 | 2147483647    19971     34 |  2.627 % |
78.34/78.41	c |     20091 |   13902    57442   172321 | 2147483647    20072     34 |  2.627 % |
78.74/78.88	c |     20201 |   13902    57442   172321 | 2147483647    20182     34 |  2.627 % |
79.24/79.35	c |     20323 |   13902    57442   172321 | 2147483647    20304     34 |  2.627 % |
79.84/79.99	c |     20456 |   13902    57442   172321 | 2147483647    20437     34 |  2.627 % |
80.64/80.79	c |     20602 |   13902    57442   172321 | 2147483647    20583     34 |  2.627 % |
81.44/81.58	c |     20762 |   13902    57442   172321 | 2147483647    20743     34 |  2.627 % |
82.04/82.11	c |     20939 |   13902    57442   172321 | 2147483647    20920     34 |  2.627 % |
82.84/82.99	c |     21132 |   13902    57442   172321 | 2147483647    21113     34 |  2.627 % |
83.34/83.49	c |     21345 |   13902    57442   172321 | 2147483647    21326     34 |  2.627 % |
84.04/84.15	c |     21579 |   13902    57442   172321 | 2147483647    21560     34 |  2.627 % |
85.04/85.16	c |     21836 |   13902    57442   172321 | 2147483647    21817     35 |  2.627 % |
86.54/86.64	c |     22118 |   13902    57442   172321 | 2147483647    22099     35 |  2.627 % |
88.14/88.29	c |     22427 |   13902    57442   172321 | 2147483647    22408     34 |  2.627 % |
89.63/89.77	c |     22768 |   13902    57442   172321 | 2147483647    22749     34 |  2.627 % |
91.43/91.59	c |     23142 |   13902    57442   172321 | 2147483647    23123     34 |  2.627 % |
93.53/93.67	c |     23552 |   13902    57442   172321 | 2147483647    23533     34 |  2.627 % |
94.23/94.30	c |     23652 |   13902    57442   172321 | 2147483647    23633     34 |  2.627 % |
94.73/94.86	c |     23762 |   13902    57442   172321 | 2147483647    23743     34 |  2.627 % |
95.33/95.45	c |     23884 |   13902    57442   172321 | 2147483647    23865     34 |  2.627 % |
95.93/96.07	c |     24018 |   13902    57442   172321 | 2147483647    23999     34 |  2.627 % |
96.64/96.71	c |     24165 |   13902    57442   172321 | 2147483647    24146     34 |  2.627 % |
97.23/97.35	c |     24325 |   13902    57442   172321 | 2147483647    24306     34 |  2.627 % |
98.23/98.35	c |     24501 |   13902    57442   172321 | 2147483647    24482     34 |  2.627 % |
99.23/99.39	c |     24695 |   13902    57442   172321 | 2147483647    24676     34 |  2.627 % |
100.13/100.25	c |     24908 |   13902    57442   172321 | 2147483647    24889     34 |  2.627 % |
100.83/100.93	c |     25141 |   13902    57442   172321 | 2147483647    25122     34 |  2.627 % |
101.83/101.98	c |     25398 |   13902    57442   172321 | 2147483647    25379     34 |  2.627 % |
103.13/103.26	c |     25680 |   13902    57442   172321 | 2147483647    25661     34 |  2.627 % |
104.53/104.60	c |     25990 |   13902    57442   172321 | 2147483647    25971     34 |  2.627 % |
105.93/106.08	c |     26329 |   13902    57442   172321 | 2147483647    26310     34 |  2.627 % |
107.43/107.57	c |     26701 |   13902    57442   172321 | 2147483647    26682     34 |  2.627 % |
108.63/108.71	c |     27111 |   13902    57442   172321 | 2147483647    27092     34 |  2.627 % |
109.43/109.50	c |     27560 |   13902    57442   172321 | 2147483647    27541     35 |  2.627 % |
109.83/109.98	c |     27660 |   13902    57442   172321 | 2147483647    27641     35 |  2.627 % |
110.53/110.68	c |     27771 |   13902    57442   172321 | 2147483647    27752     35 |  2.627 % |
111.23/111.35	c |     27893 |   13902    57442   172321 | 2147483647    27874     34 |  2.627 % |
111.93/112.03	c |     28026 |   13902    57442   172321 | 2147483647    28007     34 |  2.627 % |
112.53/112.68	c |     28172 |   13902    57442   172321 | 2147483647    28153     34 |  2.627 % |
113.33/113.47	c |     28332 |   13902    57442   172321 | 2147483647    28313     34 |  2.627 % |
113.93/114.04	c |     28508 |   13902    57442   172321 | 2147483647    28489     34 |  2.627 % |
114.42/114.55	c |     28701 |   13902    57442   172321 | 2147483647    28682     35 |  2.627 % |
115.43/115.51	c |     28914 |   13902    57442   172321 | 2147483647    28895     35 |  2.627 % |
116.53/116.64	c |     29148 |   13902    57442   172321 | 2147483647    29129     35 |  2.627 % |
117.72/117.81	c |     29404 |   13902    57442   172321 | 2147483647    29385     34 |  2.627 % |
118.92/119.01	c |     29686 |   13902    57442   172321 | 2147483647    29667     34 |  2.627 % |
120.12/120.20	c |     29995 |   13902    57442   172321 | 2147483647    29976     34 |  2.627 % |
121.83/121.98	c |     30335 |   13902    57442   172321 | 2147483647    30316     34 |  2.627 % |
123.73/123.82	c |     30708 |   13902    57442   172321 | 2147483647    30689     34 |  2.627 % |
125.83/125.90	c |     31117 |   13902    57442   172321 | 2147483647    31098     34 |  2.627 % |
127.83/127.93	c |     31567 |   13902    57442   172321 | 2147483647    31548     34 |  2.627 % |
130.43/130.57	c |     32060 |   13902    57442   172321 | 2147483647    32041     34 |  2.627 % |
131.02/131.10	c |     32162 |   13902    57442   172321 | 2147483647    32143     34 |  2.627 % |
131.62/131.79	c |     32272 |   13902    57442   172321 | 2147483647    32253     34 |  2.627 % |
132.32/132.41	c |     32393 |   13902    57442   172321 | 2147483647    32374     34 |  2.627 % |
133.12/133.20	c |     32527 |   13902    57442   172321 | 2147483647    32508     34 |  2.627 % |
133.82/133.98	c |     32673 |   13902    57442   172321 | 2147483647    32654     34 |  2.627 % |
134.52/134.70	c |     32833 |   13902    57442   172321 | 2147483647    32814     34 |  2.627 % |
135.52/135.65	c |     33009 |   13902    57442   172321 | 2147483647    32990     34 |  2.627 % |
136.42/136.59	c |     33202 |   13902    57442   172321 | 2147483647    33183     34 |  2.627 % |
137.72/137.84	c |     33415 |   13902    57442   172321 | 2147483647    33396     34 |  2.627 % |
139.02/139.20	c |     33649 |   13902    57442   172321 | 2147483647    33630     34 |  2.627 % |
140.52/140.65	c |     33905 |   13902    57442   172321 | 2147483647    33886     34 |  2.627 % |
141.92/142.08	c |     34186 |   13902    57442   172321 | 2147483647    34167     34 |  2.627 % |
143.82/143.98	c |     34495 |   13902    57442   172321 | 2147483647    34476     34 |  2.627 % |
145.42/145.55	c |     34835 |   13902    57442   172321 | 2147483647    34816     34 |  2.627 % |
147.41/147.52	c |     35208 |   13902    57442   172321 | 2147483647    35189     34 |  2.627 % |
149.52/149.60	c |     35618 |   13902    57442   172321 | 2147483647    35599     34 |  2.627 % |
151.91/152.09	c |     36067 |   13902    57442   172321 | 2147483647    36048     34 |  2.627 % |
154.71/154.86	c |     36560 |   13902    57442   172321 | 2147483647    36541     34 |  2.627 % |
157.81/157.91	c |     37103 |   13902    57442   172321 | 2147483647    37084     34 |  2.627 % |
158.21/158.39	c |     37204 |   13902    57442   172321 | 2147483647    37185     34 |  2.627 % |
158.81/158.99	c |     37316 |   13902    57442   172321 | 2147483647    37297     34 |  2.627 % |
159.51/159.62	c |     37439 |   13902    57442   172321 | 2147483647    37420     34 |  2.627 % |
160.21/160.39	c |     37574 |   13902    57442   172321 | 2147483647    37555     34 |  2.627 % |
161.11/161.25	c |     37720 |   13902    57442   172321 | 2147483647    37701     34 |  2.627 % |
161.91/162.04	c |     37880 |   13902    57442   172321 | 2147483647    37861     34 |  2.627 % |
163.01/163.19	c |     38057 |   13902    57442   172321 | 2147483647    38038     34 |  2.627 % |
164.31/164.45	c |     38251 |   13902    57442   172321 | 2147483647    38232     34 |  2.627 % |
165.41/165.57	c |     38463 |   13902    57442   172321 | 2147483647    38444     34 |  2.627 % |
166.61/166.73	c |     38698 |   13902    57442   172321 | 2147483647    38679     34 |  2.627 % |
168.01/168.16	c |     38954 |   13902    57442   172321 | 2147483647    38935     34 |  2.627 % |
169.71/169.81	c |     39236 |   13902    57442   172321 | 2147483647    39217     34 |  2.627 % |
171.61/171.75	c |     39545 |   13902    57442   172321 | 2147483647    39526     34 |  2.627 % |
173.62/173.77	c |     39884 |   13902    57442   172321 | 2147483647    39865     34 |  2.627 % |
175.71/175.85	c |     40257 |   13902    57442   172321 | 2147483647    40238     33 |  2.627 % |
178.11/178.24	c |     40666 |   13902    57442   172321 | 2147483647    40647     33 |  2.627 % |
180.51/180.66	c |     41115 |   13902    57442   172321 | 2147483647    41096     33 |  2.627 % |
183.31/183.43	c |     41609 |   13902    57442   172321 | 2147483647    41590     33 |  2.627 % |
186.41/186.57	c |     42152 |   13902    57442   172321 | 2147483647    42133     33 |  2.627 % |
190.21/190.35	c |     42749 |   13902    57442   172321 | 2147483647    42730     33 |  2.627 % |
190.80/190.91	c |     42849 |   13902    57442   172321 | 2147483647    42830     33 |  2.627 % |
191.50/191.64	c |     42960 |   13902    57442   172321 | 2147483647    42941     33 |  2.627 % |
192.10/192.20	c |     43081 |   13902    57442   172321 | 2147483647    43062     33 |  2.627 % |
192.80/192.91	c |     43215 |   13902    57442   172321 | 2147483647    43196     33 |  2.627 % |
193.41/193.57	c |     43362 |   13902    57442   172321 | 2147483647    43343     33 |  2.627 % |
194.20/194.32	c |     43522 |   13902    57442   172321 | 2147483647    43503     33 |  2.627 % |
195.10/195.25	c |     43699 |   13902    57442   172321 | 2147483647    43680     33 |  2.627 % |
195.90/196.06	c |     43892 |   13902    57442   172321 | 2147483647    43873     33 |  2.627 % |
197.10/197.29	c |     44104 |   13902    57442   172321 | 2147483647    44085     33 |  2.627 % |
198.20/198.34	c |     44337 |   13902    57442   172321 | 2147483647    44318     33 |  2.627 % |
199.40/199.54	c |     44594 |   13902    57442   172321 | 2147483647    44575     33 |  2.627 % |
201.20/201.32	c |     44876 |   13902    57442   172321 | 2147483647    44857     33 |  2.627 % |
203.00/203.19	c |     45185 |   13902    57442   172321 | 2147483647    45166     33 |  2.627 % |
205.20/205.38	c |     45525 |   13902    57442   172321 | 2147483647    45506     33 |  2.627 % |
206.90/207.10	c |     45897 |   13902    57442   172321 | 2147483647    45878     33 |  2.627 % |
209.80/209.92	c |     46307 |   13902    57442   172321 | 2147483647    46288     33 |  2.627 % |
212.49/212.65	c |     46757 |   13902    57442   172321 | 2147483647    46738     33 |  2.627 % |
215.29/215.43	c |     47250 |   13902    57442   172321 | 2147483647    47231     33 |  2.627 % |
218.29/218.43	c |     47793 |   13902    57442   172321 | 2147483647    47774     33 |  2.627 % |
221.79/221.98	c |     48389 |   13902    57442   172321 | 2147483647    48370     33 |  2.627 % |
225.49/225.60	c |     49044 |   13902    57442   172321 | 2147483647    49025     33 |  2.627 % |
226.09/226.25	c |     49145 |   13902    57442   172321 | 2147483647    49126     33 |  2.627 % |
226.79/226.90	c |     49256 |   13902    57442   172321 | 2147483647    49237     33 |  2.627 % |
227.29/227.42	c |     49378 |   13902    57442   172321 | 2147483647    49359     33 |  2.627 % |
227.89/228.00	c |     49511 |   13902    57442   172321 | 2147483647    49492     33 |  2.627 % |
228.29/228.47	c |     49657 |   13902    57442   172321 | 2147483647    49638     33 |  2.627 % |
228.89/229.03	c |     49817 |   13902    57442   172321 | 2147483647    49798     33 |  2.627 % |
229.59/229.74	c |     49993 |   13902    57442   172321 | 2147483647    49974     33 |  2.627 % |
230.39/230.50	c |     50187 |   13902    57442   172321 | 2147483647    50168     33 |  2.627 % |
231.49/231.62	c |     50399 |   13902    57442   172321 | 2147483647    50380     33 |  2.627 % |
233.09/233.21	c |     50632 |   13902    57442   172321 | 2147483647    50613     33 |  2.627 % |
234.68/234.87	c |     50890 |   13902    57442   172321 | 2147483647    50871     33 |  2.627 % |
236.48/236.69	c |     51171 |   13902    57442   172321 | 2147483647    51152     33 |  2.627 % |
237.98/238.19	c |     51482 |   13902    57442   172321 | 2147483647    51463     33 |  2.627 % |
239.69/239.88	c |     51821 |   13902    57442   172321 | 2147483647    51802     33 |  2.627 % |
242.08/242.25	c |     52194 |   13902    57442   172321 | 2147483647    52175     33 |  2.627 % |
244.38/244.59	c |     52604 |   13902    57442   172321 | 2147483647    52585     33 |  2.627 % |
247.28/247.44	c |     53053 |   13902    57442   172321 | 2147483647    53034     33 |  2.627 % |
249.98/250.15	c |     53547 |   13902    57442   172321 | 2147483647    53528     33 |  2.627 % |
253.28/253.43	c |     54091 |   13902    57442   172321 | 2147483647    54072     33 |  2.627 % |
256.68/256.83	c |     54688 |   13902    57442   172321 | 2147483647    54669     33 |  2.627 % |
260.88/261.01	c |     55343 |   13902    57442   172321 | 2147483647    55324     33 |  2.627 % |
264.98/265.11	c |     56064 |   13902    57442   172321 | 2147483647    56045     33 |  2.627 % |
265.57/265.72	c |     56164 |   13902    57442   172321 | 2147483647    56145     33 |  2.627 % |
266.27/266.43	c |     56275 |   13902    57442   172321 | 2147483647    56256     33 |  2.627 % |
266.97/267.11	c |     56397 |   13902    57442   172321 | 2147483647    56378     33 |  2.627 % |
267.77/267.98	c |     56531 |   13902    57442   172321 | 2147483647    56512     33 |  2.627 % |
268.67/268.89	c |     56678 |   13902    57442   172321 | 2147483647    56659     33 |  2.627 % |
269.67/269.86	c |     56838 |   13902    57442   172321 | 2147483647    56819     33 |  2.627 % |
270.77/270.92	c |     57014 |   13902    57442   172321 | 2147483647    56995     33 |  2.627 % |
271.57/271.80	c |     57207 |   13902    57442   172321 | 2147483647    57188     33 |  2.627 % |
273.07/273.23	c |     57419 |   13902    57442   172321 | 2147483647    57400     33 |  2.627 % |
274.57/274.78	c |     57652 |   13902    57442   172321 | 2147483647    57633     33 |  2.627 % |
276.08/276.21	c |     57909 |   13902    57442   172321 | 2147483647    57890     33 |  2.627 % |
277.97/278.11	c |     58190 |   13902    57442   172321 | 2147483647    58171     33 |  2.627 % |
279.67/279.84	c |     58500 |   13902    57442   172321 | 2147483647    58481     33 |  2.627 % |
281.28/281.44	c |     58840 |   13902    57442   172321 | 2147483647    58821     33 |  2.627 % |
283.47/283.62	c |     59213 |   13902    57442   172321 | 2147483647    59194     33 |  2.627 % |
285.88/286.06	c |     59622 |   13902    57442   172321 | 2147483647    59603     33 |  2.627 % |
288.77/288.96	c |     60072 |   13902    57442   172321 | 2147483647    60053     33 |  2.627 % |
291.97/292.15	c |     60567 |   13902    57442   172321 | 2147483647    60548     33 |  2.627 % |
295.27/295.45	c |     61109 |   13902    57442   172321 | 2147483647    61090     33 |  2.627 % |
299.07/299.25	c |     61705 |   13902    57442   172321 | 2147483647    61686     33 |  2.627 % |
303.37/303.58	c |     62361 |   13902    57442   172321 | 2147483647    62342     33 |  2.627 % |
308.16/308.32	c |     63082 |   13902    57442   172321 | 2147483647    63063     33 |  2.627 % |
313.16/313.35	c |     63874 |   13902    57442   172321 | 2147483647    63855     33 |  2.627 % |
313.86/314.00	c |     63975 |   13902    57442   172321 | 2147483647    63956     33 |  2.627 % |
314.46/314.62	c |     64085 |   13902    57442   172321 | 2147483647    64066     33 |  2.627 % |
315.26/315.44	c |     64207 |   13902    57442   172321 | 2147483647    64188     33 |  2.627 % |
316.06/316.23	c |     64340 |   13902    57442   172321 | 2147483647    64321     33 |  2.627 % |
317.06/317.21	c |     64486 |   13902    57442   172321 | 2147483647    64467     33 |  2.627 % |
317.96/318.15	c |     64647 |   13902    57442   172321 | 2147483647    64628     33 |  2.627 % |
319.16/319.38	c |     64824 |   13902    57442   172321 | 2147483647    64805     33 |  2.627 % |
320.46/320.61	c |     65017 |   13902    57442   172321 | 2147483647    64998     33 |  2.627 % |
321.76/321.95	c |     65229 |   13902    57442   172321 | 2147483647    65210     33 |  2.627 % |
323.26/323.49	c |     65462 |   13902    57442   172321 | 2147483647    65443     33 |  2.627 % |
324.66/324.82	c |     65719 |   13902    57442   172321 | 2147483647    65700     33 |  2.627 % |
326.46/326.63	c |     66001 |   13902    57442   172321 | 2147483647    65982     33 |  2.627 % |
328.55/328.78	c |     66311 |   13902    57442   172321 | 2147483647    66292     33 |  2.627 % |
330.45/330.63	c |     66650 |   13902    57442   172321 | 2147483647    66631     33 |  2.627 % |
332.45/332.65	c |     67022 |   13902    57442   172321 | 2147483647    67003     33 |  2.627 % |
334.55/334.74	c |     67432 |   13902    57442   172321 | 2147483647    67413     33 |  2.627 % |
336.95/337.18	c |     67883 |   13902    57442   172321 | 2147483647    67864     33 |  2.627 % |
340.35/340.51	c |     68377 |   13902    57442   172321 | 2147483647    68358     33 |  2.627 % |
343.45/343.60	c |     68919 |   13902    57442   172321 | 2147483647    68900     33 |  2.627 % |
347.25/347.42	c |     69516 |   13902    57442   172321 | 2147483647    69497     33 |  2.627 % |
351.64/351.80	c |     70173 |   13902    57442   172321 | 2147483647    70154     33 |  2.627 % |
356.74/356.93	c |     70894 |   13902    57442   172321 | 2147483647    70875     33 |  2.627 % |
362.34/362.56	c |     71687 |   13902    57442   172321 | 2147483647    71668     33 |  2.627 % |
368.34/368.56	c |     72558 |   13902    57442   172321 | 2147483647    72539     33 |  2.627 % |
369.04/369.20	c |     72658 |   13902    57442   172321 | 2147483647    72639     33 |  2.627 % |
369.64/369.81	c |     72768 |   13902    57442   172321 | 2147483647    72749     33 |  2.627 % |
370.44/370.68	c |     72889 |   13902    57442   172321 | 2147483647    72870     33 |  2.627 % |
371.34/371.58	c |     73023 |   13902    57442   172321 | 2147483647    73004     33 |  2.627 % |
372.44/372.67	c |     73169 |   13902    57442   172321 | 2147483647    73150     33 |  2.627 % |
373.54/373.72	c |     73330 |   13902    57442   172321 | 2147483647    73311     33 |  2.627 % |
374.54/374.79	c |     73506 |   13902    57442   172321 | 2147483647    73487     33 |  2.627 % |
375.84/376.04	c |     73699 |   13902    57442   172321 | 2147483647    73680     33 |  2.627 % |
377.23/377.44	c |     73911 |   13902    57442   172321 | 2147483647    73892     33 |  2.627 % |
378.73/378.99	c |     74144 |   13902    57442   172321 | 2147483647    74125     33 |  2.627 % |
380.53/380.79	c |     74400 |   13902    57442   172321 | 2147483647    74381     33 |  2.627 % |
382.64/382.88	c |     74681 |   13902    57442   172321 | 2147483647    74662     33 |  2.627 % |
384.74/384.96	c |     74992 |   13902    57442   172321 | 2147483647    74973     33 |  2.627 % |
387.33/387.51	c |     75332 |   13902    57442   172321 | 2147483647    75313     32 |  2.627 % |
389.53/389.75	c |     75705 |   13902    57442   172321 | 2147483647    75686     32 |  2.627 % |
391.94/392.18	c |     76116 |   13902    57442   172321 | 2147483647    76097     32 |  2.627 % |
394.84/395.04	c |     76566 |   13902    57442   172321 | 2147483647    76547     32 |  2.627 % |
398.04/398.27	c |     77060 |   13902    57442   172321 | 2147483647    77041     32 |  2.627 % |
401.83/402.03	c |     77603 |   13902    57442   172321 | 2147483647    77584     32 |  2.627 % |
405.93/406.19	c |     78199 |   13902    57442   172321 | 2147483647    78180     32 |  2.627 % |
409.93/410.17	c |     78854 |   13902    57442   172321 | 2147483647    78835     32 |  2.627 % |
414.63/414.86	c |     79575 |   13902    57442   172321 | 2147483647    79556     32 |  2.627 % |
418.43/418.66	c |     80368 |   13902    57442   172321 | 2147483647    80349     32 |  2.627 % |
424.43/424.64	c |     81241 |   13902    57442   172321 | 2147483647    81222     32 |  2.627 % |
430.93/431.15	c |     82199 |   13902    57442   172321 | 2147483647    82180     32 |  2.627 % |
431.62/431.81	c |     82301 |   13902    57442   172321 | 2147483647    82282     32 |  2.627 % |
432.32/432.53	c |     82411 |   13902    57442   172321 | 2147483647    82392     32 |  2.627 % |
432.92/433.19	c |     82532 |   13902    57442   172321 | 2147483647    82513     32 |  2.627 % |
433.92/434.15	c |     82665 |   13902    57442   172321 | 2147483647    82646     32 |  2.627 % |
435.02/435.22	c |     82812 |   13902    57442   172321 | 2147483647    82793     32 |  2.627 % |
436.12/436.33	c |     82974 |   13902    57442   172321 | 2147483647    82955     32 |  2.627 % |
437.12/437.39	c |     83151 |   13902    57442   172321 | 2147483647    83132     32 |  2.627 % |
438.32/438.54	c |     83346 |   13902    57442   172321 | 2147483647    83327     32 |  2.627 % |
439.42/439.64	c |     83561 |   13902    57442   172321 | 2147483647    83542     32 |  2.627 % |
440.92/441.16	c |     83795 |   13902    57442   172321 | 2147483647    83776     32 |  2.627 % |
442.32/442.60	c |     84051 |   13902    57442   172321 | 2147483647    84032     32 |  2.627 % |
444.31/444.50	c |     84334 |   13902    57442   172321 | 2147483647    84315     32 |  2.627 % |
446.21/446.40	c |     84644 |   13902    57442   172321 | 2147483647    84625     32 |  2.627 % |
448.11/448.33	c |     84986 |   13902    57442   172321 | 2147483647    84967     32 |  2.627 % |
450.82/451.04	c |     85359 |   13902    57442   172321 | 2147483647    85340     32 |  2.627 % |
453.71/453.99	c |     85770 |   13902    57442   172321 | 2147483647    85751     32 |  2.627 % |
456.61/456.83	c |     86220 |   13902    57442   172321 | 2147483647    86201     32 |  2.627 % |
459.81/460.04	c |     86713 |   13902    57442   172321 | 2147483647    86694     32 |  2.627 % |
463.51/463.76	c |     87255 |   13902    57442   172321 | 2147483647    87236     32 |  2.627 % |
467.81/468.00	c |     87852 |   13902    57442   172321 | 2147483647    87833     32 |  2.627 % |
472.30/472.57	c |     88508 |   13902    57442   172321 | 2147483647    88489     32 |  2.627 % |
476.79/477.05	c |     89228 |   13902    57442   172321 | 2147483647    89209     32 |  2.627 % |
482.19/482.43	c |     90021 |   13902    57442   172321 | 2147483647    90002     32 |  2.627 % |
487.99/488.22	c |     90892 |   13902    57442   172321 | 2147483647    90873     33 |  2.627 % |
494.19/494.44	c |     91853 |   13902    57442   172321 | 2147483647    91834     33 |  2.627 % |
498.69/498.92	c |     92906 |   13902    57442   172321 | 2147483647    92887     33 |  2.627 % |
499.39/499.62	c |     93006 |   13902    57442   172321 | 2147483647    92987     33 |  2.627 % |
500.29/500.52	c |     93116 |   13902    57442   172321 | 2147483647    93097     33 |  2.627 % |
501.29/501.52	c |     93237 |   13902    57442   172321 | 2147483647    93218     33 |  2.627 % |
502.39/502.68	c |     93371 |   13902    57442   172321 | 2147483647    93352     33 |  2.627 % |
503.69/503.98	c |     93519 |   13902    57442   172321 | 2147483647    93500     33 |  2.627 % |
504.89/505.19	c |     93680 |   13902    57442   172321 | 2147483647    93661     33 |  2.627 % |
506.19/506.41	c |     93856 |   13902    57442   172321 | 2147483647    93837     33 |  2.627 % |
507.39/507.69	c |     94051 |   13902    57442   172321 | 2147483647    94032     33 |  2.627 % |
509.09/509.33	c |     94264 |   13902    57442   172321 | 2147483647    94245     33 |  2.627 % |
510.68/510.91	c |     94497 |   13902    57442   172321 | 2147483647    94478     33 |  2.627 % |
512.58/512.83	c |     94753 |   13902    57442   172321 | 2147483647    94734     33 |  2.627 % |
514.68/514.91	c |     95035 |   13902    57442   172321 | 2147483647    95016     33 |  2.627 % |
516.58/516.85	c |     95344 |   13902    57442   172321 | 2147483647    95325     33 |  2.627 % |
518.68/518.98	c |     95683 |   13902    57442   172321 | 2147483647    95664     33 |  2.627 % |
521.48/521.74	c |     96056 |   13902    57442   172321 | 2147483647    96037     33 |  2.627 % |
524.18/524.43	c |     96465 |   13902    57442   172321 | 2147483647    96446     33 |  2.627 % |
527.08/527.35	c |     96915 |   13902    57442   172321 | 2147483647    96896     33 |  2.627 % |
530.48/530.75	c |     97411 |   13902    57442   172321 | 2147483647    97392     33 |  2.627 % |
533.87/534.13	c |     97953 |   13902    57442   172321 | 2147483647    97934     33 |  2.627 % |
538.37/538.60	c |     98549 |   13902    57442   172321 | 2147483647    98530     33 |  2.627 % |
543.67/543.90	c |     99204 |   13902    57442   172321 | 2147483647    99185     33 |  2.627 % |
549.07/549.31	c |     99924 |   13902    57442   172321 | 2147483647    99905     33 |  2.627 % |
554.46/554.78	c |    100716 |   13902    57442   172321 | 2147483647   100697     33 |  2.627 % |
559.96/560.28	c |    101588 |   13902    57442   172321 | 2147483647   101569     33 |  2.627 % |
567.46/567.74	c |    102546 |   13902    57442   172321 | 2147483647   102527     33 |  2.627 % |
574.66/574.94	c |    103600 |   13902    57442   172321 | 2147483647   103581     33 |  2.627 % |
583.05/583.36	c |    104758 |   13902    57442   172321 | 2147483647   104739     33 |  2.627 % |
583.86/584.11	c |    104859 |   13902    57442   172321 | 2147483647   104840     33 |  2.627 % |
584.65/584.92	c |    104969 |   13902    57442   172321 | 2147483647   104950     33 |  2.627 % |
585.55/585.88	c |    105091 |   13902    57442   172321 | 2147483647   105072     33 |  2.627 % |
586.75/587.05	c |    105225 |   13902    57442   172321 | 2147483647   105206     33 |  2.627 % |
587.85/588.17	c |    105371 |   13902    57442   172321 | 2147483647   105352     33 |  2.627 % |
589.05/589.34	c |    105531 |   13902    57442   172321 | 2147483647   105512     33 |  2.627 % |
590.25/590.54	c |    105707 |   13902    57442   172321 | 2147483647   105688     33 |  2.627 % |
591.65/591.93	c |    105900 |   13902    57442   172321 | 2147483647   105881     33 |  2.627 % |
593.35/593.69	c |    106112 |   13902    57442   172321 | 2147483647   106093     33 |  2.627 % |
595.25/595.52	c |    106345 |   13902    57442   172321 | 2147483647   106326     33 |  2.627 % |
596.95/597.25	c |    106601 |   13902    57442   172321 | 2147483647   106582     33 |  2.627 % |
599.05/599.33	c |    106882 |   13902    57442   172321 | 2147483647   106863     33 |  2.627 % |
601.35/601.61	c |    107191 |   13902    57442   172321 | 2147483647   107172     33 |  2.627 % |
603.24/603.51	c |    107530 |   13902    57442   172321 | 2147483647   107511     33 |  2.627 % |
605.75/606.02	c |    107904 |   13902    57442   172321 | 2147483647   107885     33 |  2.627 % |
608.84/609.15	c |    108314 |   13902    57442   172321 | 2147483647   108295     33 |  2.627 % |
611.64/611.97	c |    108763 |   13902    57442   172321 | 2147483647   108744     33 |  2.627 % |
615.54/615.84	c |    109257 |   13902    57442   172321 | 2147483647   109238     33 |  2.627 % |
619.64/619.96	c |    109799 |   13902    57442   172321 | 2147483647   109780     33 |  2.627 % |
624.04/624.38	c |    110396 |   13902    57442   172321 | 2147483647   110377     33 |  2.627 % |
628.95/629.23	c |    111051 |   13902    57442   172321 | 2147483647   111032     33 |  2.627 % |
634.94/635.25	c |    111772 |   13902    57442   172321 | 2147483647   111753     33 |  2.627 % |
641.93/642.22	c |    112565 |   13902    57442   172321 | 2147483647   112546     33 |  2.627 % |
648.53/648.85	c |    113437 |   13902    57442   172321 | 2147483647   113418     33 |  2.627 % |
655.73/656.06	c |    114396 |   13902    57442   172321 | 2147483647   114377     33 |  2.627 % |
663.83/664.15	c |    115449 |   13902    57442   172321 | 2147483647   115430     33 |  2.627 % |
673.02/673.33	c |    116607 |   13902    57442   172321 | 2147483647   116588     33 |  2.627 % |
681.62/681.92	c |    117881 |   13902    57442   172321 | 2147483647   117862     33 |  2.627 % |
682.32/682.69	c |    117982 |   13902    57442   172321 | 2147483647   117963     33 |  2.627 % |
683.22/683.50	c |    118092 |   13902    57442   172321 | 2147483647   118073     33 |  2.627 % |
684.22/684.55	c |    118214 |   13902    57442   172321 | 2147483647   118195     33 |  2.627 % |
685.42/685.79	c |    118348 |   13902    57442   172321 | 2147483647   118329     33 |  2.627 % |
686.72/687.02	c |    118495 |   13902    57442   172321 | 2147483647   118476     33 |  2.627 % |
688.02/688.31	c |    118656 |   13902    57442   172321 | 2147483647   118637     33 |  2.627 % |
689.42/689.78	c |    118832 |   13902    57442   172321 | 2147483647   118813     33 |  2.627 % |
690.92/691.29	c |    119025 |   13902    57442   172321 | 2147483647   119006     33 |  2.627 % |
693.01/693.31	c |    119238 |   13902    57442   172321 | 2147483647   119219     33 |  2.627 % |
694.92/695.25	c |    119471 |   13902    57442   172321 | 2147483647   119452     33 |  2.627 % |
696.81/697.20	c |    119727 |   13902    57442   172321 | 2147483647   119708     33 |  2.627 % |
698.81/699.19	c |    120009 |   13902    57442   172321 | 2147483647   119990     33 |  2.627 % |
701.51/701.82	c |    120319 |   13902    57442   172321 | 2147483647   120300     33 |  2.627 % |
704.41/704.75	c |    120659 |   13902    57442   172321 | 2147483647   120640     33 |  2.627 % |
707.21/707.57	c |    121031 |   13902    57442   172321 | 2147483647   121012     33 |  2.627 % |
710.80/711.12	c |    121440 |   13902    57442   172321 | 2147483647   121421     33 |  2.627 % |
714.00/714.30	c |    121891 |   13902    57442   172321 | 2147483647   121872     33 |  2.627 % |
718.02/718.34	c |    122385 |   13902    57442   172321 | 2147483647   122366     33 |  2.627 % |
722.41/722.78	c |    122928 |   13902    57442   172321 | 2147483647   122909     33 |  2.627 % |
726.81/727.14	c |    123526 |   13902    57442   172321 | 2147483647   123507     33 |  2.627 % |
732.10/732.46	c |    124181 |   13902    57442   172321 | 2147483647   124162     33 |  2.627 % |
737.20/737.52	c |    124901 |   13902    57442   172321 | 2147483647   124882     33 |  2.627 % |
743.60/743.94	c |    125693 |   13902    57442   172321 | 2147483647   125674     33 |  2.627 % |
750.50/750.86	c |    126565 |   13902    57442   172321 | 2147483647   126546     33 |  2.627 % |
758.79/759.18	c |    127524 |   13902    57442   172321 | 2147483647   127505     33 |  2.627 % |
766.89/767.21	c |    128577 |   13902    57442   172321 | 2147483647   128558     33 |  2.627 % |
775.99/776.39	c |    129735 |   13902    57442   172321 | 2147483647   129716     33 |  2.627 % |
786.98/787.39	c |    131009 |   13902    57442   172321 | 2147483647   130990     33 |  2.627 % |
798.37/798.70	c |    132409 |   13902    57442   172321 | 2147483647   132390     33 |  2.627 % |
799.07/799.44	c |    132509 |   13902    57442   172321 | 2147483647   132490     33 |  2.627 % |
800.17/800.50	c |    132619 |   13902    57442   172321 | 2147483647   132600     33 |  2.627 % |
801.17/801.55	c |    132740 |   13902    57442   172321 | 2147483647   132721     33 |  2.627 % |
802.07/802.49	c |    132873 |   13902    57442   172321 | 2147483647   132854     33 |  2.627 % |
803.37/803.72	c |    133020 |   13902    57442   172321 | 2147483647   133001     33 |  2.627 % |
804.97/805.31	c |    133180 |   13902    57442   172321 | 2147483647   133161     33 |  2.627 % |
806.47/806.87	c |    133356 |   13902    57442   172321 | 2147483647   133337     33 |  2.627 % |
808.27/808.61	c |    133550 |   13902    57442   172321 | 2147483647   133531     33 |  2.627 % |
810.07/810.44	c |    133764 |   13902    57442   172321 | 2147483647   133745     33 |  2.627 % |
811.97/812.30	c |    133998 |   13902    57442   172321 | 2147483647   133979     33 |  2.627 % |
814.37/814.72	c |    134255 |   13902    57442   172321 | 2147483647   134236     33 |  2.627 % |
816.17/816.50	c |    134538 |   13902    57442   172321 | 2147483647   134519     33 |  2.627 % |
818.97/819.40	c |    134847 |   13902    57442   172321 | 2147483647   134828     33 |  2.627 % |
822.16/822.57	c |    135187 |   13902    57442   172321 | 2147483647   135168     33 |  2.627 % |
825.16/825.55	c |    135559 |   13902    57442   172321 | 2147483647   135540     33 |  2.627 % |
828.46/828.90	c |    135968 |   13902    57442   172321 | 2147483647   135949     33 |  2.627 % |
832.16/832.52	c |    136417 |   13902    57442   172321 | 2147483647   136398     33 |  2.627 % |
836.26/836.65	c |    136910 |   13902    57442   172321 | 2147483647   136891     33 |  2.627 % |
840.56/841.00	c |    137453 |   13902    57442   172321 | 2147483647   137434     33 |  2.627 % |
845.26/845.62	c |    138049 |   13902    57442   172321 | 2147483647   138030     33 |  2.627 % |
850.85/851.28	c |    138705 |   13902    57442   172321 | 2147483647   138686     33 |  2.627 % |
857.05/857.40	c |    139426 |   13902    57442   172321 | 2147483647   139407     33 |  2.627 % |
863.05/863.50	c |    140220 |   13902    57442   172321 | 2147483647   140201     33 |  2.627 % |
867.65/868.07	c |    141091 |   13902    57442   172321 | 2147483647   141072     33 |  2.627 % |
874.15/874.51	c |    142050 |   13902    57442   172321 | 2147483647   142031     33 |  2.627 % |
882.85/883.22	c |    143104 |   13902    57442   172321 | 2147483647   143085     33 |  2.627 % |
892.45/892.82	c |    144262 |   13902    57442   172321 | 2147483647   144243     33 |  2.627 % |
903.04/903.40	c |    145535 |   13902    57442   172321 | 2147483647   145516     33 |  2.627 % |
916.64/917.09	c |    146935 |   13902    57442   172321 | 2147483647   146916     33 |  2.627 % |
930.14/930.59	c |    148476 |   13902    57442   172321 | 2147483647   148457     33 |  2.627 % |
931.03/931.41	c |    148577 |   13902    57442   172321 | 2147483647   148558     33 |  2.627 % |
931.73/932.10	c |    148687 |   13902    57442   172321 | 2147483647   148668     33 |  2.627 % |
932.53/932.97	c |    148808 |   13902    57442   172321 | 2147483647   148789     33 |  2.627 % |
933.73/934.10	c |    148941 |   13902    57442   172321 | 2147483647   148922     33 |  2.627 % |
934.63/935.02	c |    149088 |   13902    57442   172321 | 2147483647   149069     33 |  2.627 % |
936.03/936.49	c |    149249 |   13902    57442   172321 | 2147483647   149230     33 |  2.627 % |
937.43/937.82	c |    149425 |   13902    57442   172321 | 2147483647   149406     33 |  2.627 % |
939.13/939.54	c |    149619 |   13902    57442   172321 | 2147483647   149600     33 |  2.627 % |
941.23/941.67	c |    149832 |   13902    57442   172321 | 2147483647   149813     33 |  2.627 % |
942.72/943.18	c |    150066 |   13902    57442   172321 | 2147483647   150047     33 |  2.627 % |
945.42/945.89	c |    150322 |   13902    57442   172321 | 2147483647   150303     33 |  2.627 % |
948.22/948.63	c |    150604 |   13902    57442   172321 | 2147483647   150585     33 |  2.627 % |
951.03/951.49	c |    150914 |   13902    57442   172321 | 2147483647   150895     33 |  2.627 % |
953.32/953.79	c |    151253 |   13902    57442   172321 | 2147483647   151234     33 |  2.627 % |
956.62/957.08	c |    151625 |   13902    57442   172321 | 2147483647   151606     33 |  2.627 % |
959.41/959.81	c |    152036 |   13902    57442   172321 | 2147483647   152017     33 |  2.627 % |
963.61/964.07	c |    152485 |   13902    57442   172321 | 2147483647   152466     33 |  2.627 % |
967.91/968.36	c |    152978 |   13902    57442   172321 | 2147483647   152959     33 |  2.627 % |
972.51/972.96	c |    153521 |   13902    57442   172321 | 2147483647   153502     33 |  2.627 % |
977.60/978.04	c |    154118 |   13902    57442   172321 | 2147483647   154099     33 |  2.627 % |
983.80/984.24	c |    154773 |   13902    57442   172321 | 2147483647   154754     33 |  2.627 % |
990.20/990.64	c |    155495 |   13902    57442   172321 | 2147483647   155476     33 |  2.627 % |
998.09/998.55	c |    156287 |   13902    57442   172321 | 2147483647   156268     33 |  2.627 % |
1006.00/1006.47	c |    157160 |   13902    57442   172321 | 2147483647   157141     33 |  2.627 % |
1014.29/1014.76	c |    158119 |   13902    57442   172321 | 2147483647   158100     33 |  2.627 % |
1023.88/1024.38	c |    159173 |   13902    57442   172321 | 2147483647   159154     33 |  2.627 % |
1034.68/1035.13	c |    160331 |   13902    57442   172321 | 2147483647   160312     33 |  2.627 % |
1046.97/1047.40	c |    161605 |   13902    57442   172321 | 2147483647   161586     33 |  2.627 % |
1058.68/1059.14	c |    163005 |   13902    57442   172321 | 2147483647   162986     33 |  2.627 % |
1073.37/1073.87	c |    164545 |   13902    57442   172321 | 2147483647   164526     33 |  2.627 % |
1090.57/1091.03	c |    166239 |   13902    57442   172321 | 2147483647   166220     33 |  2.627 % |
1091.47/1091.92	c |    166339 |   13902    57442   172321 | 2147483647   166320     33 |  2.627 % |
1092.36/1092.80	c |    166449 |   13902    57442   172321 | 2147483647   166430     33 |  2.627 % |
1093.36/1093.86	c |    166570 |   13902    57442   172321 | 2147483647   166551     33 |  2.627 % |
1094.76/1095.25	c |    166704 |   13902    57442   172321 | 2147483647   166685     33 |  2.627 % |
1096.16/1096.69	c |    166850 |   13902    57442   172321 | 2147483647   166831     33 |  2.627 % |
1097.56/1098.00	c |    167011 |   13902    57442   172321 | 2147483647   166992     33 |  2.627 % |
1099.06/1099.57	c |    167187 |   13902    57442   172321 | 2147483647   167168     33 |  2.627 % |
1100.96/1101.43	c |    167381 |   13902    57442   172321 | 2147483647   167362     33 |  2.627 % |
1102.96/1103.40	c |    167593 |   13902    57442   172321 | 2147483647   167574     33 |  2.627 % |
1104.96/1105.45	c |    167826 |   13902    57442   172321 | 2147483647   167807     33 |  2.627 % |
1107.06/1107.55	c |    168083 |   13902    57442   172321 | 2147483647   168064     33 |  2.627 % |
1109.36/1109.84	c |    168364 |   13902    57442   172321 | 2147483647   168345     33 |  2.627 % |
1112.35/1112.90	c |    168673 |   13902    57442   172321 | 2147483647   168654     33 |  2.627 % |
1116.05/1116.58	c |    169013 |   13902    57442   172321 | 2147483647   168994     33 |  2.627 % |
1119.35/1119.83	c |    169385 |   13902    57442   172321 | 2147483647   169366     33 |  2.627 % |
1123.05/1123.57	c |    169795 |   13902    57442   172321 | 2147483647   169776     33 |  2.627 % |
1126.54/1127.06	c |    170246 |   13902    57442   172321 | 2147483647   170227     33 |  2.627 % |
1131.24/1131.76	c |    170739 |   13902    57442   172321 | 2147483647   170720     33 |  2.627 % |
1136.34/1136.86	c |    171282 |   13902    57442   172321 | 2147483647   171263     33 |  2.627 % |
1141.24/1141.75	c |    171879 |   13902    57442   172321 | 2147483647   171860     33 |  2.627 % |
1146.23/1146.76	c |    172534 |   13902    57442   172321 | 2147483647   172515     33 |  2.627 % |
1153.44/1153.94	c |    173254 |   13902    57442   172321 | 2147483647   173235     33 |  2.627 % |
1161.33/1161.80	c |    174047 |   13902    57442   172321 | 2147483647   174028     33 |  2.627 % |
1170.23/1170.70	c |    174919 |   13902    57442   172321 | 2147483647   174900     33 |  2.627 % |
1180.12/1180.66	c |    175877 |   13902    57442   172321 | 2147483647   175858     33 |  2.627 % |
1190.52/1191.08	c |    176930 |   13902    57442   172321 | 2147483647   176911     33 |  2.627 % |
1199.62/1200.14	c |    178088 |   13902    57442   172321 | 2147483647   178069     33 |  2.627 % |
1211.81/1212.35	c |    179362 |   13902    57442   172321 | 2147483647   179343     33 |  2.627 % |
1225.21/1225.79	c |    180762 |   13902    57442   172321 | 2147483647   180743     33 |  2.627 % |
1238.91/1239.41	c |    182302 |   13902    57442   172321 | 2147483647   182283     33 |  2.627 % |
1254.90/1255.43	c |    183998 |   13902    57442   172321 | 2147483647   183979     33 |  2.627 % |
1270.70/1271.29	c |    185861 |   13902    57442   172321 | 2147483647   185842     33 |  2.627 % |
1271.79/1272.35	c |    185961 |   13902    57442   172321 | 2147483647   185942     33 |  2.627 % |
1272.69/1273.26	c |    186071 |   13902    57442   172321 | 2147483647   186052     33 |  2.627 % |
1274.09/1274.64	c |    186194 |   13902    57442   172321 | 2147483647   186175     33 |  2.627 % |
1275.49/1276.09	c |    186327 |   13902    57442   172321 | 2147483647   186308     33 |  2.627 % |
1276.89/1277.46	c |    186473 |   13902    57442   172321 | 2147483647   186454     33 |  2.627 % |
1278.39/1278.98	c |    186633 |   13902    57442   172321 | 2147483647   186614     33 |  2.627 % |
1279.99/1280.53	c |    186812 |   13902    57442   172321 | 2147483647   186793     33 |  2.627 % |
1281.79/1282.31	c |    187006 |   13902    57442   172321 | 2147483647   186987     33 |  2.627 % |
1283.89/1284.42	c |    187218 |   13902    57442   172321 | 2147483647   187199     33 |  2.627 % |
1285.88/1286.46	c |    187451 |   13902    57442   172321 | 2147483647   187432     33 |  2.627 % |
1288.28/1288.81	c |    187707 |   13902    57442   172321 | 2147483647   187688     33 |  2.627 % |
1291.08/1291.66	c |    187989 |   13902    57442   172321 | 2147483647   187970     33 |  2.627 % |
1294.28/1294.82	c |    188298 |   13902    57442   172321 | 2147483647   188279     33 |  2.627 % |
1297.78/1298.38	c |    188637 |   13902    57442   172321 | 2147483647   188618     33 |  2.627 % |
1301.38/1301.94	c |    189012 |   13902    57442   172321 | 2147483647   188993     33 |  2.627 % |
1305.98/1306.54	c |    189421 |   13902    57442   172321 | 2147483647   189402     33 |  2.627 % |
1310.68/1311.28	c |    189870 |   13902    57442   172321 | 2147483647   189851     33 |  2.627 % |
1315.67/1316.21	c |    190364 |   13902    57442   172321 | 2147483647   190345     33 |  2.627 % |
1320.67/1321.25	c |    190907 |   13902    57442   172321 | 2147483647   190888     33 |  2.627 % |
1325.87/1326.45	c |    191503 |   13902    57442   172321 | 2147483647   191484     33 |  2.627 % |
1332.77/1333.39	c |    192158 |   13902    57442   172321 | 2147483647   192139     33 |  2.627 % |
1339.07/1339.69	c |    192878 |   13902    57442   172321 | 2147483647   192859     33 |  2.627 % |
1346.66/1347.25	c |    193670 |   13902    57442   172321 | 2147483647   193651     33 |  2.627 % |
1356.16/1356.77	c |    194542 |   13902    57442   172321 | 2147483647   194523     33 |  2.627 % |
1367.05/1367.65	c |    195502 |   13902    57442   172321 | 2147483647   195483     33 |  2.627 % |
1378.85/1379.48	c |    196555 |   13902    57442   172321 | 2147483647   196536     33 |  2.627 % |
1390.55/1391.11	c |    197713 |   13902    57442   172321 | 2147483647   197694     33 |  2.627 % |
1402.94/1403.54	c |    198987 |   13902    57442   172321 | 2147483647   198968     33 |  2.627 % |
1415.04/1415.68	c |    200387 |   13902    57442   172321 | 2147483647   200368     33 |  2.627 % |
1430.04/1430.61	c |    201928 |   13902    57442   172321 | 2147483647   201909     33 |  2.627 % |
1446.43/1447.00	c |    203623 |   13902    57442   172321 | 2147483647   203604     33 |  2.627 % |
1464.53/1465.20	c |    205487 |   13902    57442   172321 | 2147483647   205468     33 |  2.627 % |
1486.31/1486.95	c |    207538 |   13902    57442   172321 | 2147483647   207519     33 |  2.627 % |
1487.41/1488.05	c |    207639 |   13902    57442   172321 | 2147483647   207620     33 |  2.627 % |
1488.82/1489.40	c |    207751 |   13902    57442   172321 | 2147483647   207732     33 |  2.627 % |
1489.82/1490.50	c |    207873 |   13902    57442   172321 | 2147483647   207854     33 |  2.627 % |
1491.11/1491.75	c |    208007 |   13902    57442   172321 | 2147483647   207988     33 |  2.627 % |
1493.01/1493.69	c |    208155 |   13902    57442   172321 | 2147483647   208136     33 |  2.627 % |
1494.71/1495.36	c |    208317 |   13902    57442   172321 | 2147483647   208298     33 |  2.627 % |
1496.51/1497.18	c |    208493 |   13902    57442   172321 | 2147483647   208474     33 |  2.627 % |
1498.51/1499.14	c |    208686 |   13902    57442   172321 | 2147483647   208667     33 |  2.627 % |
1500.91/1501.59	c |    208899 |   13902    57442   172321 | 2147483647   208880     33 |  2.627 % |
1503.30/1503.95	c |    209132 |   13902    57442   172321 | 2147483647   209113     33 |  2.627 % |
1505.90/1506.56	c |    209388 |   13902    57442   172321 | 2147483647   209369     33 |  2.627 % |
1507.70/1508.38	c |    209669 |   13902    57442   172321 | 2147483647   209650     33 |  2.627 % |
1510.40/1511.06	c |    209978 |   13902    57442   172321 | 2147483647   209959     33 |  2.627 % |
1513.70/1514.39	c |    210318 |   13902    57442   172321 | 2147483647   210299     33 |  2.627 % |
1517.80/1518.48	c |    210691 |   13902    57442   172321 | 2147483647   210672     33 |  2.627 % |
1522.30/1522.96	c |    211101 |   13902    57442   172321 | 2147483647   211082     33 |  2.627 % |
1526.00/1526.63	c |    211551 |   13902    57442   172321 | 2147483647   211532     33 |  2.627 % |
1531.79/1532.50	c |    212044 |   13902    57442   172321 | 2147483647   212025     33 |  2.627 % |
1537.89/1538.59	c |    212587 |   13902    57442   172321 | 2147483647   212568     33 |  2.627 % |
1544.70/1545.35	c |    213183 |   13902    57442   172321 | 2147483647   213164     33 |  2.627 % |
1551.59/1552.24	c |    213839 |   13902    57442   172321 | 2147483647   213820     33 |  2.627 % |
1559.29/1559.94	c |    214560 |   13902    57442   172321 | 2147483647   214541     33 |  2.627 % |
1566.99/1567.69	c |    215354 |   13902    57442   172321 | 2147483647   215335     33 |  2.627 % |
1576.49/1577.12	c |    216226 |   13902    57442   172321 | 2147483647   216207     33 |  2.627 % |
1586.59/1587.29	c |    217185 |   13902    57442   172321 | 2147483647   217166     33 |  2.627 % |
1598.28/1598.97	c |    218239 |   13902    57442   172321 | 2147483647   218220     33 |  2.627 % |
1610.97/1611.64	c |    219397 |   13902    57442   172321 | 2147483647   219378     33 |  2.627 % |
1623.67/1624.33	c |    220671 |   13902    57442   172321 | 2147483647   220652     33 |  2.627 % |
1637.76/1638.47	c |    222071 |   13902    57442   172321 | 2147483647   222052     33 |  2.627 % |
1653.35/1654.07	c |    223612 |   13902    57442   172321 | 2147483647   223593     33 |  2.627 % |
1671.15/1671.86	c |    225307 |   13902    57442   172321 | 2147483647   225288     33 |  2.627 % |
1688.24/1688.91	c |    227171 |   13902    57442   172321 | 2147483647   227152     33 |  2.627 % |
1709.84/1710.54	c |    229220 |   13902    57442   172321 | 2147483647   229201     33 |  2.627 % |
1732.33/1733.06	c |    231474 |   13902    57442   172321 | 2147483647   231455     33 |  2.627 % |
1733.33/1734.05	c |    231574 |   13902    57442   172321 | 2147483647   231555     33 |  2.627 % |
1734.63/1735.31	c |    231684 |   13902    57442   172321 | 2147483647   231665     33 |  2.627 % |
1735.93/1736.64	c |    231806 |   13902    57442   172321 | 2147483647   231787     33 |  2.627 % |
1737.43/1738.12	c |    231939 |   13902    57442   172321 | 2147483647   231920     33 |  2.627 % |
1739.03/1739.73	c |    232085 |   13902    57442   172321 | 2147483647   232066     33 |  2.627 % |
1740.93/1741.61	c |    232246 |   13902    57442   172321 | 2147483647   232227     33 |  2.627 % |
1742.93/1743.63	c |    232422 |   13902    57442   172321 | 2147483647   232403     33 |  2.627 % |
1744.93/1745.70	c |    232615 |   13902    57442   172321 | 2147483647   232596     33 |  2.627 % |
1747.53/1748.26	c |    232827 |   13902    57442   172321 | 2147483647   232808     33 |  2.627 % |
1750.22/1750.94	c |    233061 |   13902    57442   172321 | 2147483647   233042     33 |  2.627 % |
1753.31/1754.05	c |    233318 |   13902    57442   172321 | 2147483647   233299     33 |  2.627 % |
1756.41/1757.17	c |    233599 |   13902    57442   172321 | 2147483647   233580     33 |  2.627 % |
1760.11/1760.85	c |    233908 |   13902    57442   172321 | 2147483647   233889     33 |  2.627 % |
1763.72/1764.41	c |    234247 |   13902    57442   172321 | 2147483647   234228     33 |  2.627 % |
1766.41/1767.13	c |    234619 |   13902    57442   172321 | 2147483647   234600     33 |  2.627 % |
1770.81/1771.55	c |    235029 |   13902    57442   172321 | 2147483647   235010     33 |  2.627 % |
1775.71/1776.47	c |    235478 |   13902    57442   172321 | 2147483647   235459     33 |  2.627 % |
1781.51/1782.24	c |    235972 |   13902    57442   172321 | 2147483647   235953     33 |  2.627 % |
1787.70/1788.43	c |    236514 |   13902    57442   172321 | 2147483647   236495     33 |  2.627 % |
1794.60/1795.32	c |    237111 |   13902    57442   172321 | 2147483647   237092     33 |  2.627 % |
1801.60/1802.30	c |    237767 |   13902    57442   172321 | 2147483647   237748     33 |  2.627 % |
1809.59/1810.35	c |    238488 |   13902    57442   172321 | 2147483647   238469     33 |  2.627 % |
1818.49/1819.22	c |    239282 |   13902    57442   172321 | 2147483647   239263     33 |  2.627 % |
1828.98/1829.74	c |    240153 |   13902    57442   172321 | 2147483647   240134     33 |  2.627 % |
1839.18/1839.97	c |    241111 |   13902    57442   172321 | 2147483647   241092     33 |  2.627 % |
1850.38/1851.15	c |    242164 |   13902    57442   172321 | 2147483647   242145     33 |  2.627 % |
1864.57/1865.36	c |    243322 |   13902    57442   172321 | 2147483647   243303     33 |  2.627 % |
1880.46/1881.23	c |    244596 |   13902    57442   172321 | 2147483647   244577     33 |  2.627 % |
1896.56/1897.37	c |    245996 |   13902    57442   172321 | 2147483647   245977     33 |  2.627 % |
1914.65/1915.42	c |    247537 |   13902    57442   172321 | 2147483647   247518     33 |  2.627 % |
1932.85/1933.62	c |    249231 |   13902    57442   172321 | 2147483647   249212     33 |  2.627 % |
1950.74/1951.56	c |    251094 |   13902    57442   172321 | 2147483647   251075     33 |  2.627 % |
1973.73/1974.51	c |    253146 |   13902    57442   172321 | 2147483647   253127     33 |  2.627 % |
1998.22/1999.06	c |    255399 |   13902    57442   172321 | 2147483647   255380     33 |  2.627 % |
2028.01/2028.83	c |    257878 |   13902    57442   172321 | 2147483647   257859     33 |  2.627 % |
2029.21/2030.00	c |    257978 |   13902    57442   172321 | 2147483647   257959     33 |  2.627 % |
2030.41/2031.26	c |    258089 |   13902    57442   172321 | 2147483647   258070     33 |  2.627 % |
2032.01/2032.83	c |    258210 |   13902    57442   172321 | 2147483647   258191     33 |  2.627 % |
2033.71/2034.52	c |    258344 |   13902    57442   172321 | 2147483647   258325     33 |  2.627 % |
2035.11/2035.96	c |    258492 |   13902    57442   172321 | 2147483647   258473     33 |  2.627 % |
2037.21/2038.00	c |    258653 |   13902    57442   172321 | 2147483647   258634     33 |  2.627 % |
2039.01/2039.81	c |    258829 |   13902    57442   172321 | 2147483647   258810     33 |  2.627 % |
2041.20/2042.06	c |    259024 |   13902    57442   172321 | 2147483647   259005     33 |  2.627 % |
2043.71/2044.59	c |    259236 |   13902    57442   172321 | 2147483647   259217     33 |  2.627 % |
2046.60/2047.42	c |    259469 |   13902    57442   172321 | 2147483647   259450     33 |  2.627 % |
2049.61/2050.44	c |    259725 |   13902    57442   172321 | 2147483647   259706     33 |  2.627 % |
2053.30/2054.17	c |    260007 |   13902    57442   172321 | 2147483647   259988     33 |  2.627 % |
2057.00/2057.84	c |    260317 |   13902    57442   172321 | 2147483647   260298     33 |  2.627 % |
2061.30/2062.12	c |    260657 |   13902    57442   172321 | 2147483647   260638     33 |  2.627 % |
2066.20/2067.00	c |    261029 |   13902    57442   172321 | 2147483647   261010     33 |  2.627 % |
2071.40/2072.26	c |    261438 |   13902    57442   172321 | 2147483647   261419     33 |  2.627 % |
2076.90/2077.76	c |    261887 |   13902    57442   172321 | 2147483647   261868     33 |  2.627 % |
2083.70/2084.57	c |    262380 |   13902    57442   172321 | 2147483647   262361     33 |  2.627 % |
2090.09/2090.96	c |    262922 |   13902    57442   172321 | 2147483647   262903     33 |  2.627 % |
2097.49/2098.39	c |    263519 |   13902    57442   172321 | 2147483647   263500     33 |  2.627 % |
2105.79/2106.66	c |    264175 |   13902    57442   172321 | 2147483647   264156     33 |  2.627 % |
2113.88/2114.76	c |    264897 |   13902    57442   172321 | 2147483647   264878     33 |  2.627 % |
2124.48/2125.37	c |    265690 |   13902    57442   172321 | 2147483647   265671     33 |  2.627 % |
2135.28/2136.16	c |    266562 |   13902    57442   172321 | 2147483647   266543     33 |  2.627 % |
2147.97/2148.81	c |    267520 |   13902    57442   172321 | 2147483647   267501     33 |  2.627 % |
2161.06/2161.95	c |    268574 |   13902    57442   172321 | 2147483647   268555     33 |  2.627 % |
2175.26/2176.10	c |    269733 |   13902    57442   172321 | 2147483647   269714     33 |  2.627 % |
2191.36/2192.22	c |    271006 |   13902    57442   172321 | 2147483647   270987     33 |  2.627 % |
2207.95/2208.82	c |    272406 |   13902    57442   172321 | 2147483647   272387     33 |  2.627 % |
2226.44/2227.30	c |    273946 |   13902    57442   172321 | 2147483647   273927     33 |  2.627 % |
2246.63/2247.54	c |    275641 |   13902    57442   172321 | 2147483647   275622     33 |  2.627 % |
2270.63/2271.55	c |    277505 |   13902    57442   172321 | 2147483647   277486     33 |  2.627 % |
2295.72/2296.66	c |    279555 |   13902    57442   172321 | 2147483647   279536     33 |  2.627 % |
2322.21/2323.12	c |    281809 |   13902    57442   172321 | 2147483647   281790     33 |  2.627 % |
2351.20/2352.12	c |    284287 |   13902    57442   172321 | 2147483647   284268     33 |  2.627 % |
2384.29/2385.25	c |    287013 |   13902    57442   172321 | 2147483647   286994     33 |  2.627 % |
2385.79/2386.74	c |    287114 |   13902    57442   172321 | 2147483647   287095     33 |  2.627 % |
2387.19/2388.17	c |    287227 |   13902    57442   172321 | 2147483647   287208     33 |  2.627 % |
2388.89/2389.84	c |    287348 |   13902    57442   172321 | 2147483647   287329     33 |  2.627 % |
2390.68/2391.61	c |    287481 |   13902    57442   172321 | 2147483647   287462     33 |  2.627 % |
2392.58/2393.58	c |    287627 |   13902    57442   172321 | 2147483647   287608     33 |  2.627 % |
2394.68/2395.62	c |    287788 |   13902    57442   172321 | 2147483647   287769     33 |  2.627 % |
2396.68/2397.64	c |    287965 |   13902    57442   172321 | 2147483647   287946     33 |  2.627 % |
2399.08/2400.09	c |    288158 |   13902    57442   172321 | 2147483647   288139     33 |  2.627 % |
2401.58/2402.54	c |    288371 |   13902    57442   172321 | 2147483647   288352     33 |  2.627 % |
2404.47/2405.42	c |    288604 |   13902    57442   172321 | 2147483647   288585     33 |  2.627 % |
2407.67/2408.65	c |    288861 |   13902    57442   172321 | 2147483647   288842     33 |  2.627 % |
2410.47/2411.43	c |    289142 |   13902    57442   172321 | 2147483647   289123     33 |  2.627 % |
2414.67/2415.65	c |    289452 |   13902    57442   172321 | 2147483647   289433     33 |  2.627 % |
2419.07/2420.07	c |    289791 |   13902    57442   172321 | 2147483647   289772     33 |  2.627 % |
2423.47/2424.48	c |    290164 |   13902    57442   172321 | 2147483647   290145     33 |  2.627 % |
2428.96/2429.92	c |    290573 |   13902    57442   172321 | 2147483647   290554     33 |  2.627 % |
2434.96/2435.90	c |    291023 |   13902    57442   172321 | 2147483647   291004     33 |  2.627 % |
2441.65/2442.61	c |    291516 |   13902    57442   172321 | 2147483647   291497     33 |  2.627 % |
2448.95/2449.90	c |    292058 |   13902    57442   172321 | 2147483647   292039     33 |  2.627 % |
2456.45/2457.49	c |    292654 |   13902    57442   172321 | 2147483647   292635     33 |  2.627 % |
2463.14/2464.17	c |    293310 |   13902    57442   172321 | 2147483647   293291     33 |  2.627 % |
2472.24/2473.25	c |    294030 |   13902    57442   172321 | 2147483647   294011     33 |  2.627 % |
2482.84/2483.82	c |    294824 |   13902    57442   172321 | 2147483647   294805     33 |  2.627 % |
2493.74/2494.80	c |    295695 |   13902    57442   172321 | 2147483647   295676     33 |  2.627 % |
2506.33/2507.35	c |    296654 |   13902    57442   172321 | 2147483647   296635     33 |  2.627 % |
2519.63/2520.67	c |    297707 |   13902    57442   172321 | 2147483647   297688     33 |  2.627 % |
2532.03/2533.07	c |    298865 |   13902    57442   172321 | 2147483647   298846     33 |  2.627 % |
2547.62/2548.67	c |    300139 |   13902    57442   172321 | 2147483647   300120     33 |  2.627 % |
2565.32/2566.37	c |    301540 |   13902    57442   172321 | 2147483647   301521     33 |  2.627 % |
2586.40/2587.49	c |    303081 |   13902    57442   172321 | 2147483647   303062     33 |  2.627 % |
2607.99/2609.02	c |    304775 |   13902    57442   172321 | 2147483647   304756     33 |  2.627 % |
2630.89/2631.94	c |    306638 |   13902    57442   172321 | 2147483647   306619     33 |  2.627 % |
2657.28/2658.33	c |    308688 |   13902    57442   172321 | 2147483647   308669     33 |  2.627 % |
2687.67/2688.73	c |    310941 |   13902    57442   172321 | 2147483647   310922     33 |  2.627 % |
2719.65/2720.76	c |    313419 |   13902    57442   172321 | 2147483647   313400     33 |  2.627 % |
2755.15/2756.24	c |    316145 |   13902    57442   172321 | 2147483647   316126     33 |  2.627 % |
2793.33/2794.41	c |    319142 |   13902    57442   172321 | 2147483647   319123     33 |  2.627 % |
2794.63/2795.76	c |    319243 |   13902    57442   172321 | 2147483647   319224     33 |  2.627 % |
2796.14/2797.29	c |    319354 |   13902    57442   172321 | 2147483647   319335     33 |  2.627 % |
2797.63/2798.73	c |    319475 |   13902    57442   172321 | 2147483647   319456     33 |  2.627 % |
2799.43/2800.52	c |    319609 |   13902    57442   172321 | 2147483647   319590     33 |  2.627 % |
2801.63/2802.71	c |    319755 |   13902    57442   172321 | 2147483647   319736     33 |  2.627 % |
2803.83/2804.95	c |    319916 |   13902    57442   172321 | 2147483647   319897     33 |  2.627 % |
2806.43/2807.52	c |    320092 |   13902    57442   172321 | 2147483647   320073     33 |  2.627 % |
2809.13/2810.22	c |    320286 |   13902    57442   172321 | 2147483647   320267     33 |  2.627 % |
2812.12/2813.24	c |    320499 |   13902    57442   172321 | 2147483647   320480     33 |  2.627 % |
2815.12/2816.28	c |    320732 |   13902    57442   172321 | 2147483647   320713     33 |  2.627 % |
2818.92/2820.03	c |    320989 |   13902    57442   172321 | 2147483647   320970     33 |  2.627 % |
2822.02/2823.11	c |    321272 |   13902    57442   172321 | 2147483647   321253     33 |  2.627 % |
2826.62/2827.70	c |    321581 |   13902    57442   172321 | 2147483647   321562     33 |  2.627 % |
2831.01/2832.15	c |    321921 |   13902    57442   172321 | 2147483647   321902     33 |  2.627 % |
2836.31/2837.48	c |    322294 |   13902    57442   172321 | 2147483647   322275     33 |  2.627 % |
2842.01/2843.13	c |    322704 |   13902    57442   172321 | 2147483647   322685     33 |  2.627 % |
2848.21/2849.38	c |    323153 |   13902    57442   172321 | 2147483647   323134     33 |  2.627 % |
2854.91/2856.08	c |    323646 |   13902    57442   172321 | 2147483647   323627     33 |  2.627 % |
2862.70/2863.85	c |    324188 |   13902    57442   172321 | 2147483647   324169     33 |  2.627 % |
2870.80/2871.99	c |    324784 |   13902    57442   172321 | 2147483647   324765     33 |  2.627 % |
2879.30/2880.44	c |    325440 |   13902    57442   172321 | 2147483647   325421     33 |  2.627 % |
2889.09/2890.27	c |    326160 |   13902    57442   172321 | 2147483647   326141     33 |  2.627 % |
2899.29/2900.47	c |    326952 |   13902    57442   172321 | 2147483647   326933     33 |  2.627 % |
2910.68/2911.82	c |    327823 |   13902    57442   172321 | 2147483647   327804     33 |  2.627 % |
2923.17/2924.36	c |    328781 |   13902    57442   172321 | 2147483647   328762     33 |  2.627 % |
2937.37/2938.59	c |    329835 |   13902    57442   172321 | 2147483647   329816     33 |  2.627 % |
2952.67/2953.80	c |    330993 |   13902    57442   172321 | 2147483647   330974     33 |  2.627 % |
2970.16/2971.36	c |    332267 |   13902    57442   172321 | 2147483647   332248     33 |  2.627 % |
2988.25/2989.45	c |    333667 |   13902    57442   172321 | 2147483647   333648     33 |  2.627 % |
3009.04/3010.25	c |    335208 |   13902    57442   172321 | 2147483647   335189     33 |  2.627 % |
3030.15/3031.36	c |    336903 |   13902    57442   172321 | 2147483647   336884     33 |  2.627 % |
3050.94/3052.11	c |    338767 |   13902    57442   172321 | 2147483647   338748     33 |  2.627 % |
3078.63/3079.86	c |    340817 |   13902    57442   172321 | 2147483647   340798     33 |  2.627 % |
3110.02/3111.22	c |    343070 |   13902    57442   172321 | 2147483647   343051     33 |  2.627 % |
3142.30/3143.57	c |    345548 |   13902    57442   172321 | 2147483647   345529     33 |  2.627 % |
3179.68/3180.98	c |    348273 |   13902    57442   172321 | 2147483647   348254     33 |  2.627 % |
3216.47/3217.78	c |    351270 |   13902    57442   172321 | 2147483647   351251     33 |  2.627 % |
3260.46/3261.79	c |    354567 |   13902    57442   172321 | 2147483647   354548     33 |  2.627 % |
3262.16/3263.44	c |    354667 |   13902    57442   172321 | 2147483647   354648     33 |  2.627 % |
3263.66/3264.97	c |    354778 |   13902    57442   172321 | 2147483647   354759     33 |  2.627 % |
3265.66/3266.90	c |    354899 |   13902    57442   172321 | 2147483647   354880     33 |  2.627 % |
3267.66/3268.94	c |    355033 |   13902    57442   172321 | 2147483647   355014     33 |  2.627 % |
3270.06/3271.30	c |    355180 |   13902    57442   172321 | 2147483647   355161     33 |  2.627 % |
3272.45/3273.80	c |    355341 |   13902    57442   172321 | 2147483647   355322     33 |  2.627 % |
3275.05/3276.39	c |    355518 |   13902    57442   172321 | 2147483647   355499     33 |  2.627 % |
3278.25/3279.51	c |    355711 |   13902    57442   172321 | 2147483647   355692     33 |  2.627 % |
3281.35/3282.67	c |    355924 |   13902    57442   172321 | 2147483647   355905     33 |  2.627 % |
3284.85/3286.16	c |    356157 |   13902    57442   172321 | 2147483647   356138     33 |  2.627 % |
3288.65/3289.95	c |    356414 |   13902    57442   172321 | 2147483647   356395     33 |  2.627 % |
3292.75/3294.05	c |    356696 |   13902    57442   172321 | 2147483647   356677     33 |  2.627 % |
3297.14/3298.46	c |    357005 |   13902    57442   172321 | 2147483647   356986     33 |  2.627 % |
3302.44/3303.75	c |    357344 |   13902    57442   172321 | 2147483647   357325     33 |  2.627 % |
3307.84/3309.19	c |    357716 |   13902    57442   172321 | 2147483647   357697     33 |  2.627 % |
3313.64/3314.90	c |    358126 |   13902    57442   172321 | 2147483647   358107     33 |  2.627 % |
3319.33/3320.67	c |    358575 |   13902    57442   172321 | 2147483647   358556     33 |  2.627 % |
3324.93/3326.26	c |    359068 |   13902    57442   172321 | 2147483647   359049     33 |  2.627 % |
3334.03/3335.34	c |    359610 |   13902    57442   172321 | 2147483647   359591     33 |  2.627 % |
3342.92/3344.23	c |    360208 |   13902    57442   172321 | 2147483647   360189     33 |  2.627 % |
3351.91/3353.29	c |    360863 |   13902    57442   172321 | 2147483647   360844     33 |  2.627 % |
3362.70/3364.03	c |    361584 |   13902    57442   172321 | 2147483647   361565     33 |  2.627 % |
3377.40/3378.74	c |    362377 |   13902    57442   172321 | 2147483647   362358     33 |  2.627 % |
3390.40/3391.72	c |    363250 |   13902    57442   172321 | 2147483647   363231     33 |  2.627 % |
3405.49/3406.82	c |    364208 |   13902    57442   172321 | 2147483647   364189     33 |  2.627 % |
3420.89/3422.24	c |    365261 |   13902    57442   172321 | 2147483647   365242     33 |  2.627 % |
3437.68/3439.09	c |    366422 |   13902    57442   172321 | 2147483647   366403     33 |  2.627 % |
3455.57/3456.95	c |    367695 |   13902    57442   172321 | 2147483647   367676     33 |  2.627 % |
3474.47/3475.85	c |    369096 |   13902    57442   172321 | 2147483647   369077     33 |  2.627 % |
3497.76/3499.14	c |    370637 |   13902    57442   172321 | 2147483647   370618     33 |  2.627 % |
3522.24/3523.61	c |    372331 |   13902    57442   172321 | 2147483647   372312     33 |  2.627 % |
3547.64/3549.00	c |    374195 |   13902    57442   172321 | 2147483647   374176     33 |  2.627 % |
3577.12/3578.56	c |    376244 |   13902    57442   172321 | 2147483647   376225     33 |  2.627 % |
3607.22/3608.65	c |    378497 |   13902    57442   172321 | 2147483647   378478     33 |  2.627 % |
3644.31/3645.79	c |    380975 |   13902    57442   172321 | 2147483647   380956     33 |  2.627 % |
3687.59/3689.10	c |    383700 |   13902    57442   172321 | 2147483647   383681     33 |  2.627 % |
3732.67/3734.19	c |    386697 |   13902    57442   172321 | 2147483647   386678     33 |  2.627 % |
3786.95/3788.46	c |    389994 |   13902    57442   172321 | 2147483647   389975     33 |  2.627 % |
3837.63/3839.12	c |    393619 |   13902    57442   172321 | 2147483647   393600     33 |  2.627 % |
3839.13/3840.65	c |    393720 |   13902    57442   172321 | 2147483647   393701     33 |  2.627 % |
3840.93/3842.43	c |    393830 |   13902    57442   172321 | 2147483647   393811     33 |  2.627 % |
3842.83/3844.32	c |    393951 |   13902    57442   172321 | 2147483647   393932     33 |  2.627 % |
3844.83/3846.32	c |    394085 |   13902    57442   172321 | 2147483647   394066     33 |  2.627 % |
3847.43/3848.95	c |    394232 |   13902    57442   172321 | 2147483647   394213     33 |  2.627 % |
3850.03/3851.56	c |    394392 |   13902    57442   172321 | 2147483647   394373     33 |  2.627 % |
3853.13/3854.65	c |    394569 |   13902    57442   172321 | 2147483647   394550     33 |  2.627 % |
3855.93/3857.48	c |    394762 |   13902    57442   172321 | 2147483647   394743     33 |  2.627 % |
3859.43/3860.93	c |    394974 |   13902    57442   172321 | 2147483647   394955     33 |  2.627 % |
3862.92/3864.45	c |    395209 |   13902    57442   172321 | 2147483647   395190     33 |  2.627 % |
3866.42/3867.90	c |    395466 |   13902    57442   172321 | 2147483647   395447     33 |  2.627 % |
3871.22/3872.78	c |    395747 |   13902    57442   172321 | 2147483647   395728     33 |  2.627 % |
3875.62/3877.10	c |    396056 |   13902    57442   172321 | 2147483647   396037     33 |  2.627 % |
3880.92/3882.45	c |    396396 |   13902    57442   172321 | 2147483647   396377     33 |  2.627 % |
3886.32/3887.84	c |    396769 |   13902    57442   172321 | 2147483647   396750     33 |  2.627 % |
3893.11/3894.66	c |    397180 |   13902    57442   172321 | 2147483647   397161     33 |  2.627 % |
3900.31/3901.85	c |    397629 |   13902    57442   172321 | 2147483647   397610     33 |  2.627 % |
3905.81/3907.35	c |    398122 |   13902    57442   172321 | 2147483647   398103     33 |  2.627 % |
3912.51/3914.06	c |    398664 |   13902    57442   172321 | 2147483647   398645     33 |  2.627 % |
3918.40/3919.91	c |    399261 |   13902    57442   172321 | 2147483647   399242     33 |  2.627 % |
3926.80/3928.38	c |    399917 |   13902    57442   172321 | 2147483647   399898     33 |  2.627 % |
3937.90/3939.46	c |    400638 |   13902    57442   172321 | 2147483647   400619     33 |  2.627 % |
3948.50/3950.10	c |    401432 |   13902    57442   172321 | 2147483647   401413     33 |  2.627 % |
3960.49/3962.00	c |    402303 |   13902    57442   172321 | 2147483647   402284     33 |  2.627 % |
3973.08/3974.64	c |    403261 |   13902    57442   172321 | 2147483647   403242     33 |  2.627 % |
3985.68/3987.26	c |    404314 |   13902    57442   172321 | 2147483647   404295     33 |  2.627 % |
4000.97/4002.59	c |    405472 |   13902    57442   172321 | 2147483647   405453     33 |  2.627 % |
4018.17/4019.76	c |    406745 |   13902    57442   172321 | 2147483647   406726     33 |  2.627 % |
4037.36/4038.94	c |    408146 |   13902    57442   172321 | 2147483647   408127     33 |  2.627 % |
4060.06/4061.63	c |    409687 |   13902    57442   172321 | 2147483647   409668     33 |  2.627 % |
4085.35/4086.90	c |    411383 |   13902    57442   172321 | 2147483647   411364     33 |  2.627 % |
4113.73/4115.34	c |    413247 |   13902    57442   172321 | 2147483647   413228     33 |  2.627 % |
4145.32/4146.93	c |    415296 |   13902    57442   172321 | 2147483647   415277     33 |  2.627 % |
4178.41/4180.08	c |    417550 |   13902    57442   172321 | 2147483647   417531     33 |  2.627 % |
4218.39/4220.09	c |    420028 |   13902    57442   172321 | 2147483647   420009     33 |  2.627 % |
4262.98/4264.70	c |    422754 |   13902    57442   172321 | 2147483647   422735     33 |  2.627 % |
4308.07/4309.77	c |    425753 |   13902    57442   172321 | 2147483647   425734     33 |  2.627 % |
4361.24/4362.92	c |    429049 |   13902    57442   172321 | 2147483647   429030     33 |  2.627 % |
4415.22/4417.00	c |    432674 |   13902    57442   172321 | 2147483647   432655     33 |  2.627 % |
4476.50/4478.30	c |    436661 |   13902    57442   172321 | 2147483647   436642     33 |  2.627 % |
4478.20/4479.96	c |    436761 |   13902    57442   172321 | 2147483647   436742     33 |  2.627 % |
4480.00/4481.71	c |    436872 |   13902    57442   172321 | 2147483647   436853     33 |  2.627 % |
4482.10/4483.90	c |    436993 |   13902    57442   172321 | 2147483647   436974     33 |  2.627 % |
4484.40/4486.15	c |    437127 |   13902    57442   172321 | 2147483647   437108     33 |  2.627 % |
4486.70/4488.45	c |    437274 |   13902    57442   172321 | 2147483647   437255     33 |  2.627 % |
4489.00/4490.79	c |    437435 |   13902    57442   172321 | 2147483647   437416     33 |  2.627 % |
4491.60/4493.38	c |    437611 |   13902    57442   172321 | 2147483647   437592     33 |  2.627 % |
4494.80/4496.54	c |    437805 |   13902    57442   172321 | 2147483647   437786     33 |  2.627 % |
4498.10/4499.80	c |    438018 |   13902    57442   172321 | 2147483647   437999     33 |  2.627 % |
4502.09/4503.86	c |    438251 |   13902    57442   172321 | 2147483647   438232     33 |  2.627 % |
4506.49/4508.27	c |    438507 |   13902    57442   172321 | 2147483647   438488     33 |  2.627 % |
4510.79/4512.58	c |    438788 |   13902    57442   172321 | 2147483647   438769     33 |  2.627 % |
4516.19/4517.98	c |    439097 |   13902    57442   172321 | 2147483647   439078     33 |  2.627 % |
4521.59/4523.36	c |    439436 |   13902    57442   172321 | 2147483647   439417     33 |  2.627 % |
4527.88/4529.60	c |    439809 |   13902    57442   172321 | 2147483647   439790     33 |  2.627 % |
4534.98/4536.76	c |    440219 |   13902    57442   172321 | 2147483647   440200     33 |  2.627 % |
4540.78/4542.55	c |    440669 |   13902    57442   172321 | 2147483647   440650     33 |  2.627 % |
4548.67/4550.46	c |    441163 |   13902    57442   172321 | 2147483647   441144     33 |  2.627 % |
4558.27/4560.03	c |    441705 |   13902    57442   172321 | 2147483647   441686     33 |  2.627 % |
4567.26/4569.03	c |    442302 |   13902    57442   172321 | 2147483647   442283     33 |  2.627 % |
4577.86/4579.62	c |    442957 |   13902    57442   172321 | 2147483647   442938     33 |  2.627 % |
4589.45/4591.23	c |    443677 |   13902    57442   172321 | 2147483647   443658     33 |  2.627 % |
4600.96/4602.70	c |    444469 |   13902    57442   172321 | 2147483647   444450     33 |  2.627 % |
4612.76/4614.55	c |    445340 |   13902    57442   172321 | 2147483647   445321     33 |  2.627 % |
4628.25/4630.04	c |    446299 |   13902    57442   172321 | 2147483647   446280     33 |  2.627 % |
4644.14/4645.99	c |    447352 |   13902    57442   172321 | 2147483647   447333     33 |  2.627 % |
4663.54/4665.37	c |    448511 |   13902    57442   172321 | 2147483647   448492     33 |  2.627 % |
4687.43/4689.26	c |    449785 |   13902    57442   172321 | 2147483647   449766     33 |  2.627 % |
4707.92/4709.70	c |    451185 |   13902    57442   172321 | 2147483647   451166     33 |  2.627 % |
4734.01/4735.83	c |    452726 |   13902    57442   172321 | 2147483647   452707     33 |  2.627 % |
4762.30/4764.12	c |    454420 |   13902    57442   172321 | 2147483647   454401     33 |  2.627 % |
4795.38/4797.26	c |    456283 |   13902    57442   172321 | 2147483647   456264     33 |  2.627 % |
4827.58/4829.49	c |    458332 |   13902    57442   172321 | 2147483647   458313     33 |  2.627 % |
4862.16/4864.05	c |    460585 |   13902    57442   172321 | 2147483647   460566     33 |  2.627 % |
4907.54/4909.41	c |    463063 |   13902    57442   172321 | 2147483647   463044     33 |  2.627 % |
4954.52/4956.41	c |    465789 |   13902    57442   172321 | 2147483647   465770     33 |  2.627 % |
5002.20/5004.16	c |    468786 |   13902    57442   172321 | 2147483647   468767     33 |  2.627 % |
5054.59/5056.51	c |    472083 |   13902    57442   172321 | 2147483647   472064     33 |  2.627 % |
5124.37/5126.38	c |    475708 |   13902    57442   172321 | 2147483647   475689     33 |  2.627 % |
5189.74/5191.71	c |    479696 |   13902    57442   172321 | 2147483647   479677     33 |  2.627 % |
5245.32/5247.37	c |    484082 |   13902    57442   172321 | 2147483647   484063     33 |  2.627 % |
5247.32/5249.34	c |    484185 |   13902    57442   172321 | 2147483647   484166     33 |  2.627 % |
5249.52/5251.55	c |    484297 |   13902    57442   172321 | 2147483647   484278     33 |  2.627 % |
5251.72/5253.70	c |    484419 |   13902    57442   172321 | 2147483647   484400     33 |  2.627 % |
5254.12/5256.13	c |    484552 |   13902    57442   172321 | 2147483647   484533     33 |  2.627 % |
5256.82/5258.86	c |    484699 |   13902    57442   172321 | 2147483647   484680     34 |  2.627 % |
5259.51/5261.55	c |    484860 |   13902    57442   172321 | 2147483647   484841     34 |  2.627 % |
5262.62/5264.61	c |    485037 |   13902    57442   172321 | 2147483647   485018     33 |  2.627 % |
5266.11/5268.11	c |    485230 |   13902    57442   172321 | 2147483647   485211     33 |  2.627 % |
5269.71/5271.77	c |    485442 |   13902    57442   172321 | 2147483647   485423     33 |  2.627 % |
5273.90/5275.91	c |    485676 |   13902    57442   172321 | 2147483647   485657     33 |  2.627 % |
5278.50/5280.54	c |    485932 |   13902    57442   172321 | 2147483647   485913     33 |  2.627 % |
5283.60/5285.68	c |    486214 |   13902    57442   172321 | 2147483647   486195     33 |  2.627 % |
5288.70/5290.76	c |    486524 |   13902    57442   172321 | 2147483647   486505     34 |  2.627 % |
5295.51/5297.52	c |    486864 |   13902    57442   172321 | 2147483647   486845     34 |  2.627 % |
5300.50/5302.50	c |    487236 |   13902    57442   172321 | 2147483647   487217     34 |  2.627 % |
5308.10/5310.14	c |    487645 |   13902    57442   172321 | 2147483647   487626     34 |  2.627 % |
5315.70/5317.71	c |    488094 |   13902    57442   172321 | 2147483647   488075     34 |  2.627 % |
5325.30/5327.34	c |    488588 |   13902    57442   172321 | 2147483647   488569     34 |  2.627 % |
5334.59/5336.64	c |    489130 |   13902    57442   172321 | 2147483647   489111     34 |  2.627 % |
5342.89/5344.98	c |    489727 |   13902    57442   172321 | 2147483647   489708     34 |  2.627 % |
5355.38/5357.42	c |    490384 |   13902    57442   172321 |   489982   490365     34 |  2.627 % |
5370.48/5372.53	c |    491104 |   13902    57442   172321 |   489982   433668     34 |  2.627 % |
5382.48/5384.55	c |    491897 |   13902    57442   172321 |   489982   434461     34 |  2.627 % |
5395.47/5397.59	c |    492769 |   13902    57442   172321 |   489982   435333     34 |  2.627 % |
5409.36/5411.44	c |    493728 |   13902    57442   172321 |   489982   436292     34 |  2.627 % |
5425.95/5428.00	c |    494782 |   13902    57442   172321 |   489982   437346     34 |  2.627 % |
5443.85/5445.93	c |    495940 |   13902    57442   172321 |   489982   438504     33 |  2.627 % |
5465.54/5467.65	c |    497214 |   13902    57442   172321 |   489982   439778     33 |  2.627 % |
5489.33/5491.40	c |    498614 |   13902    57442   172321 |   489982   441178     33 |  2.627 % |
5516.32/5518.44	c |    500154 |   13902    57442   172321 | 2147483647   442718     33 |  2.627 % |
5544.31/5546.43	c |    501849 |   13902    57442   172321 | 2147483647   444413     33 |  2.627 % |
5571.80/5573.94	c |    503713 |   13902    57442   172321 | 2147483647   446277     33 |  2.627 % |
5606.09/5608.26	c |    505763 |   13902    57442   172321 | 2147483647   448327     33 |  2.627 % |
5640.17/5642.35	c |    508017 |   13902    57442   172321 | 2147483647   450581     33 |  2.627 % |
5687.95/5690.19	c |    510495 |   13902    57442   172321 | 2147483647   453059     33 |  2.627 % |
5734.44/5736.68	c |    513220 |   13902    57442   172321 | 2147483647   455784     33 |  2.627 % |
5785.53/5787.72	c |    516217 |   13902    57442   172321 | 2147483647   458781     33 |  2.627 % |
5842.71/5844.99	c |    519514 |   13902    57442   172321 | 2147483647   462078     33 |  2.627 % |
5900.59/5902.80	c |    523139 |   13902    57442   172321 | 2147483647   465703     33 |  2.627 % |
5959.56/5961.88	c |    527127 |   13902    57442   172321 | 2147483647   469691     33 |  2.627 % |
6032.83/6035.10	c |    531513 |   13902    57442   172321 | 2147483647   474077     33 |  2.627 % |
6117.80/6120.17	c |    536336 |   13902    57442   172321 | 2147483647   478900     33 |  2.627 % |
6119.50/6121.84	c |    536436 |   13902    57442   172321 | 2147483647   479000     33 |  2.627 % |
6121.49/6123.89	c |    536547 |   13902    57442   172321 | 2147483647   479111     33 |  2.627 % |
6123.69/6126.08	c |    536669 |   13902    57442   172321 | 2147483647   479233     33 |  2.627 % |
6126.19/6128.58	c |    536803 |   13902    57442   172321 | 2147483647   479367     33 |  2.627 % |
6129.00/6131.36	c |    536949 |   13902    57442   172321 | 2147483647   479513     33 |  2.627 % |
6132.09/6134.40	c |    537110 |   13902    57442   172321 | 2147483647   479674     33 |  2.627 % |
6135.29/6137.65	c |    537287 |   13902    57442   172321 | 2147483647   479851     33 |  2.627 % |
6137.89/6140.21	c |    537480 |   13902    57442   172321 | 2147483647   480044     33 |  2.627 % |
6141.69/6144.02	c |    537696 |   13902    57442   172321 | 2147483647   480260     33 |  2.627 % |
6145.99/6148.33	c |    537930 |   13902    57442   172321 | 2147483647   480494     33 |  2.627 % |
6150.78/6153.13	c |    538186 |   13902    57442   172321 | 2147483647   480750     33 |  2.627 % |
6155.18/6157.54	c |    538467 |   13902    57442   172321 | 2147483647   481031     33 |  2.627 % |
6159.78/6162.13	c |    538776 |   13902    57442   172321 | 2147483647   481340     33 |  2.627 % |
6165.48/6167.87	c |    539115 |   13902    57442   172321 | 2147483647   481679     33 |  2.627 % |
6169.58/6171.90	c |    539487 |   13902    57442   172321 | 2147483647   482051     33 |  2.627 % |
6175.57/6177.90	c |    539896 |   13902    57442   172321 | 2147483647   482460     33 |  2.627 % |
6183.27/6185.61	c |    540346 |   13902    57442   172321 | 2147483647   482910     33 |  2.627 % |
6190.87/6193.25	c |    540839 |   13902    57442   172321 | 2147483647   483403     33 |  2.627 % |
6200.17/6202.51	c |    541381 |   13902    57442   172321 | 2147483647   483945     33 |  2.627 % |
6210.47/6212.82	c |    541978 |   13902    57442   172321 | 2147483647   484542     33 |  2.627 % |
6222.46/6224.87	c |    542634 |   13902    57442   172321 | 2147483647   485198     33 |  2.627 % |
6235.14/6237.54	c |    543355 |   13902    57442   172321 | 2147483647   485919     33 |  2.627 % |
6249.04/6251.46	c |    544147 |   13902    57442   172321 | 2147483647   486711     33 |  2.627 % |
6264.24/6266.67	c |    545018 |   13902    57442   172321 | 2147483647   487582     33 |  2.627 % |
6280.93/6283.30	c |    545977 |   13902    57442   172321 | 2147483647   488541     33 |  2.627 % |
6299.32/6301.80	c |    547031 |   13902    57442   172321 | 2147483647   489595     33 |  2.627 % |
6320.51/6322.91	c |    548190 |   13902    57442   172321 | 2147483647   490754     33 |  2.627 % |
6345.00/6347.48	c |    549464 |   13902    57442   172321 | 2147483647   492028     33 |  2.627 % |
6370.49/6372.92	c |    550864 |   13902    57442   172321 | 2147483647   493428     33 |  2.627 % |
6395.69/6398.13	c |    552406 |   13902    57442   172321 | 2147483647   494970     33 |  2.627 % |
6426.08/6428.55	c |    554100 |   13902    57442   172321 | 2147483647   496664     33 |  2.627 % |
6457.56/6460.09	c |    555963 |   13902    57442   172321 | 2147483647   498527     33 |  2.627 % |
6493.35/6495.89	c |    558013 |   13902    57442   172321 | 2147483647   500577     33 |  2.627 % |
6530.34/6532.90	c |    560267 |   13902    57442   172321 | 2147483647   502831     33 |  2.627 % |
6575.21/6577.76	c |    562746 |   13902    57442   172321 | 2147483647   505310     33 |  2.627 % |
6624.49/6627.01	c |    565473 |   13902    57442   172321 | 2147483647   508037     33 |  2.627 % |
6678.08/6680.65	c |    568470 |   13902    57442   172321 | 2147483647   511034     33 |  2.627 % |
6729.16/6731.78	c |    571766 |   13902    57442   172321 |   512565   514330     33 |  2.627 % |
6794.73/6797.32	c |    575391 |   13902    57442   172321 |   512565   464216     33 |  2.627 % |
6859.51/6862.16	c |    579379 |   13902    57442   172321 |   512565   468204     33 |  2.627 % |
6920.79/6923.47	c |    583764 |   13902    57442   172321 | 2147483647   472589     33 |  2.627 % |
6996.26/6998.97	c |    588588 |   13902    57442   172321 | 2147483647   477413     33 |  2.627 % |
7092.13/7094.82	c |    593893 |   13902    57442   172321 | 2147483647   482718     33 |  2.627 % |
7094.02/7096.77	c |    593993 |   13902    57442   172321 | 2147483647   482818     33 |  2.627 % |
7096.22/7098.95	c |    594104 |   13902    57442   172321 | 2147483647   482929     33 |  2.627 % |
7098.72/7101.40	c |    594226 |   13902    57442   172321 | 2147483647   483051     33 |  2.627 % |
7101.03/7103.76	c |    594359 |   13902    57442   172321 | 2147483647   483184     33 |  2.627 % |
7103.82/7106.60	c |    594505 |   13902    57442   172321 | 2147483647   483330     33 |  2.627 % |
7107.02/7109.73	c |    594665 |   13902    57442   172321 | 2147483647   483490     33 |  2.627 % |
7109.92/7112.61	c |    594842 |   13902    57442   172321 | 2147483647   483667     33 |  2.627 % |
7113.72/7116.41	c |    595035 |   13902    57442   172321 | 2147483647   483860     33 |  2.627 % |
7118.21/7120.98	c |    595248 |   13902    57442   172321 | 2147483647   484073     33 |  2.627 % |
7122.61/7125.32	c |    595482 |   13902    57442   172321 | 2147483647   484307     33 |  2.627 % |
7127.51/7130.28	c |    595738 |   13902    57442   172321 | 2147483647   484563     33 |  2.627 % |
7132.41/7135.18	c |    596019 |   13902    57442   172321 | 2147483647   484844     33 |  2.627 % |
7138.11/7140.84	c |    596328 |   13902    57442   172321 | 2147483647   485153     33 |  2.627 % |
7143.91/7146.61	c |    596667 |   13902    57442   172321 | 2147483647   485492     33 |  2.627 % |
7150.40/7153.16	c |    597039 |   13902    57442   172321 | 2147483647   485864     33 |  2.627 % |
7158.20/7160.93	c |    597449 |   13902    57442   172321 | 2147483647   486274     33 |  2.627 % |
7166.30/7169.01	c |    597898 |   13902    57442   172321 | 2147483647   486723     33 |  2.627 % |
7175.39/7178.20	c |    598391 |   13902    57442   172321 | 2147483647   487216     33 |  2.627 % |
7184.89/7187.61	c |    598936 |   13902    57442   172321 | 2147483647   487761     33 |  2.627 % |
7195.78/7198.53	c |    599533 |   13902    57442   172321 | 2147483647   488358     33 |  2.627 % |
7207.88/7210.67	c |    600188 |   13902    57442   172321 | 2147483647   489013     33 |  2.627 % |
7221.68/7224.42	c |    600908 |   13902    57442   172321 | 2147483647   489733     33 |  2.627 % |
7235.67/7238.48	c |    601701 |   13902    57442   172321 | 2147483647   490526     33 |  2.627 % |
7250.47/7253.24	c |    602572 |   13902    57442   172321 | 2147483647   491397     33 |  2.627 % |
7267.16/7269.92	c |    603531 |   13902    57442   172321 | 2147483647   492356     33 |  2.627 % |
7285.76/7288.54	c |    604584 |   13902    57442   172321 | 2147483647   493409     33 |  2.627 % |
7305.34/7308.17	c |    605742 |   13902    57442   172321 | 2147483647   494567     33 |  2.627 % |
7325.94/7328.77	c |    607015 |   13902    57442   172321 | 2147483647   495840     33 |  2.627 % |
7352.23/7355.07	c |    608416 |   13902    57442   172321 | 2147483647   497241     33 |  2.627 % |
7380.22/7383.05	c |    609958 |   13902    57442   172321 | 2147483647   498783     33 |  2.627 % |
7403.61/7406.44	c |    611653 |   13902    57442   172321 |   498826   500478     33 |  2.627 % |
7440.30/7443.13	c |    613517 |   13902    57442   172321 |   498826   432150     33 |  2.627 % |
7475.09/7477.95	c |    615567 |   13902    57442   172321 |   498826   434200     33 |  2.627 % |
7511.87/7514.73	c |    617821 |   13902    57442   172321 |   498826   436454     33 |  2.627 % |
7550.56/7553.41	c |    620300 |   13902    57442   172321 | 2147483647   438933     33 |  2.627 % |
7594.95/7597.81	c |    623025 |   13902    57442   172321 | 2147483647   441658     34 |  2.627 % |
7646.23/7649.17	c |    626022 |   13902    57442   172321 | 2147483647   444655     34 |  2.627 % |
7702.71/7705.63	c |    629318 |   13902    57442   172321 | 2147483647   447951     34 |  2.627 % |
7767.89/7770.87	c |    632943 |   13902    57442   172321 | 2147483647   451576     34 |  2.627 % |
7836.56/7839.51	c |    636931 |   13902    57442   172321 | 2147483647   455564     34 |  2.627 % |
7904.24/7907.23	c |    641316 |   13902    57442   172321 | 2147483647   459949     34 |  2.627 % |
7977.11/7980.17	c |    646140 |   13902    57442   172321 | 2147483647   464773     34 |  2.627 % |
8064.29/8067.33	c |    651446 |   13902    57442   172321 | 2147483647   470079     34 |  2.627 % |
8165.02/8168.11	c |    657281 |   13902    57442   172321 | 2147483647   475914     34 |  2.627 % |
8166.82/8169.93	c |    657383 |   13902    57442   172321 | 2147483647   476016     34 |  2.627 % |
8168.72/8171.82	c |    657494 |   13902    57442   172321 | 2147483647   476127     34 |  2.627 % |
8170.72/8173.88	c |    657616 |   13902    57442   172321 | 2147483647   476249     34 |  2.627 % |
8173.02/8176.16	c |    657751 |   13902    57442   172321 | 2147483647   476384     34 |  2.627 % |
8175.42/8178.59	c |    657897 |   13902    57442   172321 | 2147483647   476530     34 |  2.627 % |
8178.22/8181.38	c |    658057 |   13902    57442   172321 | 2147483647   476690     34 |  2.627 % |
8182.52/8185.62	c |    658233 |   13902    57442   172321 | 2147483647   476866     34 |  2.627 % |
8186.11/8189.27	c |    658427 |   13902    57442   172321 | 2147483647   477060     34 |  2.627 % |
8190.41/8193.51	c |    658640 |   13902    57442   172321 | 2147483647   477273     34 |  2.627 % |
8194.81/8197.98	c |    658874 |   13902    57442   172321 | 2147483647   477507     34 |  2.627 % |
8199.11/8202.25	c |    659132 |   13902    57442   172321 | 2147483647   477765     34 |  2.627 % |
8204.61/8207.77	c |    659413 |   13902    57442   172321 | 2147483647   478046     34 |  2.627 % |
8209.91/8213.06	c |    659724 |   13902    57442   172321 | 2147483647   478357     34 |  2.627 % |
8215.90/8219.07	c |    660063 |   13902    57442   172321 | 2147483647   478696     34 |  2.627 % |
8222.61/8225.73	c |    660436 |   13902    57442   172321 | 2147483647   479069     34 |  2.627 % |
8229.80/8232.96	c |    660847 |   13902    57442   172321 | 2147483647   479480     34 |  2.627 % |
8237.90/8241.09	c |    661297 |   13902    57442   172321 | 2147483647   479930     34 |  2.627 % |
8246.39/8249.55	c |    661791 |   13902    57442   172321 | 2147483647   480424     34 |  2.627 % |
8254.79/8257.95	c |    662334 |   13902    57442   172321 | 2147483647   480967     34 |  2.627 % |
8265.49/8268.63	c |    662930 |   13902    57442   172321 | 2147483647   481563     34 |  2.627 % |
8276.88/8280.02	c |    663586 |   13902    57442   172321 | 2147483647   482219     34 |  2.627 % |
8290.88/8294.06	c |    664306 |   13902    57442   172321 | 2147483647   482939     34 |  2.627 % |
8305.87/8309.05	c |    665101 |   13902    57442   172321 | 2147483647   483734     34 |  2.627 % |
8323.36/8326.50	c |    665972 |   13902    57442   172321 | 2147483647   484605     34 |  2.627 % |
8341.06/8344.23	c |    666931 |   13902    57442   172321 | 2147483647   485564     34 |  2.627 % |
8359.65/8362.83	c |    667984 |   13902    57442   172321 | 2147483647   486617     34 |  2.627 % |
8379.15/8382.31	c |    669143 |   13902    57442   172321 | 2147483647   487776     34 |  2.627 % |
8401.94/8405.18	c |    670417 |   13902    57442   172321 | 2147483647   489050     34 |  2.627 % |
8425.23/8428.44	c |    671817 |   13902    57442   172321 | 2147483647   490450     34 |  2.627 % |
8450.22/8453.49	c |    673358 |   13902    57442   172321 | 2147483647   491991     34 |  2.627 % |
8477.70/8480.93	c |    675052 |   13902    57442   172321 | 2147483647   493685     34 |  2.627 % |
8513.28/8516.54	c |    676916 |   13902    57442   172321 | 2147483647   495549     34 |  2.627 % |
8550.37/8553.61	c |    678965 |   13902    57442   172321 | 2147483647   497598     34 |  2.627 % |
8590.76/8594.09	c |    681219 |   13902    57442   172321 |   498634   499852     34 |  2.627 % |
8636.94/8640.26	c |    683697 |   13902    57442   172321 |   498634   448341     34 |  2.627 % |
8680.92/8684.20	c |    686422 |   13902    57442   172321 |   498634   451066     34 |  2.627 % |
8729.31/8732.66	c |    689419 |   13902    57442   172321 |   498634   454063     34 |  2.627 % |
8785.09/8788.45	c |    692716 |   13902    57442   172321 | 2147483647   457360     34 |  2.627 % |
8845.75/8849.16	c |    696341 |   13902    57442   172321 | 2147483647   460985     34 |  2.627 % |
8916.62/8920.07	c |    700329 |   13902    57442   172321 | 2147483647   464973     34 |  2.627 % |
8988.91/8992.34	c |    704714 |   13902    57442   172321 | 2147483647   469358     34 |  2.627 % |
9071.38/9074.81	c |    709537 |   13902    57442   172321 | 2147483647   474181     34 |  2.627 % |
9165.85/9169.40	c |    714842 |   13902    57442   172321 | 2147483647   479486     34 |  2.627 % |
9269.31/9272.89	c |    720677 |   13902    57442   172321 | 2147483647   485321     34 |  2.627 % |
9382.17/9385.71	c |    727095 |   13902    57442   172321 | 2147483647   491739     34 |  2.627 % |
9384.17/9387.76	c |    727195 |   13902    57442   172321 | 2147483647   491839     34 |  2.627 % |
9385.57/9389.13	c |    727305 |   13902    57442   172321 | 2147483647   491949     34 |  2.627 % |
9387.67/9391.28	c |    727426 |   13902    57442   172321 | 2147483647   492070     34 |  2.627 % |
9390.36/9393.92	c |    727560 |   13902    57442   172321 | 2147483647   492204     34 |  2.627 % |
9393.86/9397.49	c |    727707 |   13902    57442   172321 | 2147483647   492351     34 |  2.627 % |
9397.15/9400.74	c |    727867 |   13902    57442   172321 | 2147483647   492511     34 |  2.627 % |
9400.26/9403.86	c |    728044 |   13902    57442   172321 | 2147483647   492688     34 |  2.627 % |
9403.66/9407.28	c |    728237 |   13902    57442   172321 | 2147483647   492881     34 |  2.627 % |
9407.75/9411.33	c |    728449 |   13902    57442   172321 | 2147483647   493093     34 |  2.627 % |
9411.95/9415.58	c |    728684 |   13902    57442   172321 | 2147483647   493328     34 |  2.627 % |
9416.45/9420.08	c |    728941 |   13902    57442   172321 | 2147483647   493585     34 |  2.627 % |
9418.85/9422.41	c |    729223 |   13902    57442   172321 | 2147483647   493867     34 |  2.627 % |
9424.45/9428.03	c |    729532 |   13902    57442   172321 | 2147483647   494176     34 |  2.627 % |
9431.05/9434.65	c |    729872 |   13902    57442   172321 | 2147483647   494516     34 |  2.627 % |
9436.34/9439.96	c |    730245 |   13902    57442   172321 |   494645   494889     34 |  2.627 % |
9443.84/9447.48	c |    730655 |   13902    57442   172321 |   494645   495299     34 |  2.627 % |
9456.93/9460.50	c |    731104 |   13902    57442   172321 |   494645   441531     34 |  2.627 % |
9464.83/9468.46	c |    731597 |   13902    57442   172321 |   494645   442024     34 |  2.627 % |
9475.82/9479.46	c |    732140 |   13902    57442   172321 |   494645   442567     34 |  2.627 % |
9486.03/9489.66	c |    732736 |   13902    57442   172321 |   494645   443163     34 |  2.627 % |
9498.02/9501.68	c |    733391 |   13902    57442   172321 |   494645   443818     34 |  2.627 % |
9508.61/9512.29	c |    734111 |   13902    57442   172321 |   494645   444538     34 |  2.627 % |
9522.71/9526.36	c |    734904 |   13902    57442   172321 |   494645   445331     34 |  2.627 % |
9538.70/9542.39	c |    735775 |   13902    57442   172321 |   494645   446202     34 |  2.627 % |
9554.69/9558.32	c |    736733 |   13902    57442   172321 |   494645   447160     34 |  2.627 % |
9572.09/9575.71	c |    737786 |   13902    57442   172321 |   494645   448213     34 |  2.627 % |
9590.48/9594.17	c |    738944 |   13902    57442   172321 |   494645   449371     34 |  2.627 % |
9611.97/9615.62	c |    740217 |   13902    57442   172321 | 2147483647   450644     34 |  2.627 % |
9632.56/9636.20	c |    741618 |   13902    57442   172321 | 2147483647   452045     34 |  2.627 % |
9662.06/9665.71	c |    743158 |   13902    57442   172321 | 2147483647   453585     34 |  2.627 % |
9694.24/9697.92	c |    744853 |   13902    57442   172321 | 2147483647   455280     34 |  2.627 % |
9724.93/9728.62	c |    746716 |   13902    57442   172321 | 2147483647   457143     34 |  2.627 % |
9758.22/9761.97	c |    748765 |   13902    57442   172321 | 2147483647   459192     34 |  2.627 % |
9793.41/9797.10	c |    751018 |   13902    57442   172321 | 2147483647   461445     34 |  2.627 % |
9838.30/9842.06	c |    753497 |   13902    57442   172321 | 2147483647   463924     34 |  2.627 % |
9879.88/9883.60	c |    756222 |   13902    57442   172321 | 2147483647   466649     34 |  2.627 % |
9931.06/9934.80	c |    759220 |   13902    57442   172321 | 2147483647   469647     34 |  2.627 % |
9995.94/9999.71	c |    762516 |   13902    57442   172321 |   470427   425762     34 |  2.627 % |

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-1837326-1242867186/watcher-1837326-1242867186 -o /tmp/evaluation-result-1837326-1242867186/solver-1837326-1242867186 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837326-1242867186.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 1.00 0.95 3/64 17257
/proc/meminfo: memFree=1723896/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=0
/proc/17257/stat : 17257 (SatELiteGTI) R 17255 17257 17154 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 314751626 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269028485791 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17257/statm: 1339 237 197 169 0 50 0

[startup+0.086837 s]
/proc/loadavg: 0.99 1.00 0.95 3/64 17257
/proc/meminfo: memFree=1723896/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=0
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314751626 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17257/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10184 s]
/proc/loadavg: 0.99 1.00 0.95 3/64 17257
/proc/meminfo: memFree=1723896/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=0
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314751626 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17257/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301871 s]
/proc/loadavg: 0.99 1.00 0.95 3/64 17257
/proc/meminfo: memFree=1723896/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=0
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314751626 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17257/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701935 s]
/proc/loadavg: 0.99 1.00 0.95 3/64 17257
/proc/meminfo: memFree=1723896/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=0
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314751626 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17257/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50107 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17262
/proc/meminfo: memFree=1704360/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 5356

[startup+3.10133 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1713512/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=5984 CPUtime=1.73
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 1331 0 0 0 173 0 0 0 25 0 1 0 314751761 6127616 1317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17263/statm: 1496 1317 76 171 0 1323 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11340

[startup+6.30183 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1713320/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=6120 CPUtime=4.94
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 1370 0 0 0 493 1 0 0 25 0 1 0 314751761 6266880 1356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 1530 1356 76 171 0 1357 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11476

[startup+12.7029 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1712816/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=6516 CPUtime=11.33
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 1477 0 0 0 1132 1 0 0 25 0 1 0 314751761 6672384 1463 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 1629 1463 76 171 0 1456 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11872

[startup+25.5019 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1712240/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=7308 CPUtime=24.12
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 1660 0 0 0 2411 1 0 0 25 0 1 0 314751761 7483392 1646 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 1827 1646 76 171 0 1654 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12664

[startup+51.102 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1711152/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=8420 CPUtime=49.71
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 1941 0 0 0 4969 2 0 0 25 0 1 0 314751761 8622080 1927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 2105 1927 76 171 0 1932 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13776

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1708912/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=10480 CPUtime=100.89
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 2452 0 0 0 10087 2 0 0 25 0 1 0 314751761 10731520 2438 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 2620 2438 76 171 0 2447 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 15836

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1706736/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=12632 CPUtime=160.87
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 2991 0 0 0 16084 3 0 0 25 0 1 0 314751761 12935168 2977 1992294400 134512640 135215339 4294956240 18446744073709551615 134538056 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 3158 2977 76 171 0 2985 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 17988

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1705008/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=14380 CPUtime=220.85
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 3413 0 0 0 22081 4 0 0 25 0 1 0 314751761 14725120 3399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 3595 3399 76 171 0 3422 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 19736

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1703088/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=16316 CPUtime=280.83
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 3896 0 0 0 28078 5 0 0 25 0 1 0 314751761 16707584 3882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 4079 3882 76 171 0 3906 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 21672

[startup+342.303 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1701424/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=18084 CPUtime=340.81
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 4296 0 0 0 34076 5 0 0 25 0 1 0 314751761 18518016 4282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 4521 4282 76 171 0 4348 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 23440

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1700016/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=19292 CPUtime=400.79
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 4630 0 0 0 40073 6 0 0 25 0 1 0 314751761 19755008 4616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 4823 4616 76 171 0 4650 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 24648

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/66 17263
/proc/meminfo: memFree=1698288/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34

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

/proc/17263/statm: 25731 24628 76 171 0 25558 0
Current children cumulated CPU time (s) 9338.79
Current children cumulated vsize (KiB) 108280

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573680/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=102924 CPUtime=9397.41
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24642 0 0 0 939698 43 0 0 25 0 1 0 314751761 105394176 24628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25731 24628 76 171 0 25558 0
Current children cumulated CPU time (s) 9398.75
Current children cumulated vsize (KiB) 108280

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573552/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=102924 CPUtime=9457.39
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24646 0 0 0 945696 43 0 0 25 0 1 0 314751761 105394176 24632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25731 24632 76 171 0 25558 0
Current children cumulated CPU time (s) 9458.73
Current children cumulated vsize (KiB) 108280

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573552/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=102924 CPUtime=9517.37
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24646 0 0 0 951694 43 0 0 25 0 1 0 314751761 105394176 24632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25731 24632 76 171 0 25558 0
Current children cumulated CPU time (s) 9518.71
Current children cumulated vsize (KiB) 108280

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573488/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=102924 CPUtime=9577.35
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24646 0 0 0 957692 43 0 0 25 0 1 0 314751761 105394176 24632 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25731 24632 76 171 0 25558 0
Current children cumulated CPU time (s) 9578.69
Current children cumulated vsize (KiB) 108280

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573488/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9637.32
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24675 0 0 0 963689 43 0 0 25 0 1 0 314751761 105562112 24661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24661 76 171 0 25599 0
Current children cumulated CPU time (s) 9638.66
Current children cumulated vsize (KiB) 108444

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573360/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9697.3
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24675 0 0 0 969687 43 0 0 25 0 1 0 314751761 105562112 24661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24661 76 171 0 25599 0
Current children cumulated CPU time (s) 9698.64
Current children cumulated vsize (KiB) 108444

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9757.28
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24678 0 0 0 975685 43 0 0 25 0 1 0 314751761 105562112 24664 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24664 76 171 0 25599 0
Current children cumulated CPU time (s) 9758.62
Current children cumulated vsize (KiB) 108444

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9817.26
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24681 0 0 0 981683 43 0 0 25 0 1 0 314751761 105562112 24667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24667 76 171 0 25599 0
Current children cumulated CPU time (s) 9818.6
Current children cumulated vsize (KiB) 108444

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9877.25
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24690 0 0 0 987681 44 0 0 25 0 1 0 314751761 105562112 24676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24676 76 171 0 25599 0
Current children cumulated CPU time (s) 9878.59
Current children cumulated vsize (KiB) 108444

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9937.22
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24694 0 0 0 993678 44 0 0 25 0 1 0 314751761 105562112 24680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24680 76 171 0 25599 0
Current children cumulated CPU time (s) 9938.56
Current children cumulated vsize (KiB) 108444

[startup+10002.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9997.2
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24694 0 0 0 999676 44 0 0 25 0 1 0 314751761 105562112 24680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24680 76 171 0 25599 0
Current children cumulated CPU time (s) 9998.54
Current children cumulated vsize (KiB) 108444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.8 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 17761
/proc/meminfo: memFree=1573296/2055920 swapFree=4180424/4192956
[pid=17257] ppid=17255 vsize=5356 CPUtime=1.34
/proc/17257/stat : 17257 (SatELiteGTI) S 17255 17257 17154 0 -1 4194304 336 4370 0 0 0 0 131 3 16 0 1 0 314751626 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17257/statm: 1339 239 197 169 0 50 0
[pid=17263] ppid=17257 vsize=103088 CPUtime=9998.7
/proc/17263/stat : 17263 (minisat_static) R 17257 17257 17154 0 -1 4194304 24694 0 0 0 999826 44 0 0 25 0 1 0 314751761 105562112 24680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/17263/statm: 25772 24680 76 171 0 25599 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 108444

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 17257 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=314800
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 1.35279
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10003.8
CPU time (s): 10000
CPU user time (s): 9999.57
CPU system time (s): 0.47
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 108444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3148
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4706
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= 8

runsolver used 9.2256 second user time and 27.2689 second system time

The end

Launcher Data 

Begin job on node26 at 2009-05-21 02:53:06
IDJOB=1837326
IDBENCH=70850
IDSOLVER=674
FILE ID=node26/1837326-1242867186
PBS_JOBID= 9328537
Free space on /tmp= 66112 MiB

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

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

MD5SUM BENCH= a2be03cdc152990d030fb3c2aea1f730
RANDOM SEED=1253172722

node26.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.261
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.261
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:       1724376 kB
Buffers:         37768 kB
Cached:         256992 kB
SwapCached:       6616 kB
Active:         128236 kB
Inactive:       174660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724376 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:            3112 kB
Writeback:           0 kB
Mapped:          13404 kB
Slab:            14784 kB
Committed_AS:  1051120 kB
PageTables:       1372 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= 66108 MiB
End job on node26 at 2009-05-21 05:39:52