Trace number 1837334

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 10002.8

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-34-s100.cnf
MD5SUMd33264afbb7fa6f88a24b97cfc468c5a
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 variables32465
Number of clauses97748
Sum of the clauses size230766
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262350
Number of clauses of size 335334
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 |   97556   230314 |   29266       0        0     nan |  0.000 % |
1.28/1.38	c |         0 |   60741   181511 |      --       0       --      -- |     --   | -36695/-48379
1.28/1.38	c ==============================================================================
1.28/1.38	c Result  :   #vars: 14617   #clauses: 60741   #literals: 181511
1.28/1.38	c CPU time:   1.34679 s
1.28/1.38	c ==============================================================================
1.38/1.45	c This is MiniSat 2.0 beta
1.38/1.45	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.45	c ============================[ Problem Statistics ]=============================
1.38/1.45	c |                                                                             |
1.38/1.45	c |  Number of variables:  14617                                                |
1.38/1.45	c |  Number of clauses:    60741                                                |
1.38/1.49	c |  Parsing time:         0.04         s                                       |
1.38/1.49	c ============================[ Search Statistics ]==============================
1.38/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.49	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.38/1.49	c ===============================================================================
1.38/1.49	c |         0 |   14617    60741   181511 |    20247        0    nan |  0.000 % |
1.43/1.55	c |       100 |   14604    60741   181511 |    20247       95     56 |  1.827 % |
1.43/1.69	c |       201 |   14604    60741   181511 |    20247      196     63 |  1.827 % |
1.43/1.87	c |       301 |   14350    59320   177899 |    20247      289     56 |  1.827 % |
1.43/2.09	c |       413 |   14350    59320   177899 |    20247      401     53 |  1.827 % |
2.36/2.47	c |       514 |   14327    59193   177592 |    20247      501     50 |  1.984 % |
2.36/2.49	c |       626 |   14327    59193   177592 |    20247      613     49 |  1.984 % |
2.86/2.92	c |       747 |   14327    59193   177592 |    20247      734     53 |  1.984 % |
3.16/3.24	c |       848 |   14327    59193   177592 |    20247      835     52 |  1.984 % |
3.56/3.62	c |       958 |   14327    59193   177592 |    20247      945     49 |  1.984 % |
3.86/3.93	c |      1079 |   14327    59193   177592 |    20247     1066     48 |  1.984 % |
4.26/4.32	c |      1213 |   14327    59193   177592 |    20247     1200     47 |  1.984 % |
4.46/4.53	c |      1313 |   14327    59193   177592 |    20247     1300     47 |  1.984 % |
4.86/4.92	c |      1423 |   14327    59193   177592 |    20247     1410     47 |  1.984 % |
5.26/5.31	c |      1546 |   14327    59193   177592 |    20247     1533     46 |  1.984 % |
5.46/5.57	c |      1681 |   14327    59193   177592 |    20247     1668     47 |  1.984 % |
5.56/5.69	c |      1828 |   14327    59193   177592 |    20247     1815     49 |  1.984 % |
5.86/5.96	c |      1928 |   14327    59193   177592 |    20247     1915     49 |  1.984 % |
6.17/6.24	c |      2039 |   14327    59193   177592 |    20247     2026     49 |  1.984 % |
6.27/6.34	c |      2161 |   14327    59193   177592 |    20247     2148     49 |  1.984 % |
6.77/6.85	c |      2294 |   14327    59193   177592 |    20247     2281     51 |  1.984 % |
7.17/7.26	c |      2441 |   14327    59193   177592 |    20247     2428     49 |  1.984 % |
7.67/7.72	c |      2601 |   14327    59193   177592 |    20247     2588     49 |  1.984 % |
8.06/8.12	c |      2702 |   14327    59193   177592 |    20247     2689     49 |  1.984 % |
8.26/8.34	c |      2812 |   14327    59193   177592 |    20247     2799     49 |  1.984 % |
8.86/8.93	c |      2934 |   14327    59193   177592 |    20247     2921     48 |  1.984 % |
9.46/9.58	c |      3068 |   14327    59193   177592 |    20247     3055     48 |  1.984 % |
10.16/10.24	c |      3214 |   14327    59193   177592 |    20247     3201     47 |  1.984 % |
10.76/10.87	c |      3374 |   14327    59193   177592 |    20247     3361     47 |  1.984 % |
11.46/11.58	c |      3551 |   14327    59193   177592 |    20247     3538     47 |  1.984 % |
11.76/11.80	c |      3651 |   14327    59193   177592 |    20247     3638     47 |  1.984 % |
11.76/11.86	c |      3761 |   14327    59193   177592 |    20247     3748     47 |  1.984 % |
12.07/12.13	c |      3883 |   14327    59193   177592 |    20247     3870     47 |  1.984 % |
12.46/12.54	c |      4020 |   14327    59193   177592 |    20247     4007     48 |  1.984 % |
12.96/13.04	c |      4166 |   14327    59193   177592 |    20247     4153     48 |  1.984 % |
13.56/13.67	c |      4327 |   14327    59193   177592 |    20247     4314     47 |  1.984 % |
14.17/14.27	c |      4503 |   14327    59193   177592 |    20247     4490     47 |  1.984 % |
14.86/14.95	c |      4698 |   14327    59193   177592 |    20247     4685     46 |  1.984 % |
15.36/15.43	c |      4800 |   14327    59193   177592 |    20247     4787     46 |  1.984 % |
15.85/15.90	c |      4910 |   14327    59193   177592 |    20247     4897     46 |  1.984 % |
16.36/16.45	c |      5032 |   14327    59193   177592 |    20247     5019     45 |  1.984 % |
16.85/16.97	c |      5166 |   14327    59193   177592 |    20247     5153     45 |  1.984 % |
17.56/17.62	c |      5313 |   14327    59193   177592 |    20247     5300     45 |  1.984 % |
18.05/18.19	c |      5473 |   14327    59193   177592 |    20247     5460     45 |  1.984 % |
18.95/19.05	c |      5649 |   14327    59193   177592 |    20247     5636     45 |  1.984 % |
19.66/19.71	c |      5843 |   14327    59193   177592 |    20247     5830     45 |  1.984 % |
20.45/20.52	c |      6055 |   14327    59193   177592 |    20247     6042     44 |  1.984 % |
20.95/21.07	c |      6155 |   14327    59193   177592 |    20247     6142     44 |  1.984 % |
21.55/21.68	c |      6265 |   14327    59193   177592 |    20247     6252     44 |  1.984 % |
22.15/22.25	c |      6386 |   14327    59193   177592 |    20247     6373     44 |  1.984 % |
22.75/22.88	c |      6519 |   14327    59193   177592 |    20247     6506     44 |  1.984 % |
23.45/23.56	c |      6665 |   14327    59193   177592 |    20247     6652     43 |  1.984 % |
24.15/24.29	c |      6826 |   14327    59193   177592 |    20247     6813     43 |  1.984 % |
24.85/24.97	c |      7003 |   14327    59193   177592 |    20247     6990     43 |  1.984 % |
25.25/25.35	c |      7197 |   14327    59193   177592 |    20247     7184     44 |  1.984 % |
26.35/26.49	c |      7409 |   14327    59193   177592 |    20247     7396     44 |  1.984 % |
27.65/27.76	c |      7642 |   14327    59193   177592 |    20247     7629     43 |  1.984 % |
28.15/28.29	c |      7743 |   14327    59193   177592 |    20247     7730     43 |  1.984 % |
28.55/28.69	c |      7853 |   14327    59193   177592 |    20247     7840     43 |  1.984 % |
28.95/29.02	c |      7974 |   14327    59193   177592 |    20247     7961     43 |  1.984 % |
29.55/29.68	c |      8109 |   14327    59193   177592 |    20247     8096     43 |  1.984 % |
30.05/30.18	c |      8257 |   14327    59193   177592 |    20247     8244     43 |  1.984 % |
30.95/31.05	c |      8417 |   14327    59193   177592 |    20247     8404     43 |  1.984 % |
31.85/31.93	c |      8593 |   14327    59193   177592 |    20247     8580     43 |  1.984 % |
32.55/32.69	c |      8786 |   14327    59193   177592 |    20247     8773     43 |  1.984 % |
32.75/32.86	c |      8998 |   14327    59193   177592 |    20247     8985     44 |  1.984 % |
33.65/33.72	c |      9231 |   14327    59193   177592 |    20247     9218     44 |  1.984 % |
34.55/34.60	c |      9489 |   14327    59193   177592 |    20247     9476     44 |  1.984 % |
34.84/34.96	c |      9589 |   14327    59193   177592 |    20247     9576     44 |  1.984 % |
35.34/35.49	c |      9699 |   14327    59193   177592 |    20247     9686     44 |  1.984 % |
35.94/36.01	c |      9820 |   14327    59193   177592 |    20247     9807     44 |  1.984 % |
36.44/36.55	c |      9955 |   14327    59193   177592 |    20247     9942     44 |  1.984 % |
37.04/37.17	c |     10102 |   14327    59193   177592 | 2147483647    10089     44 |  1.984 % |
37.84/37.99	c |     10263 |   14327    59193   177592 | 2147483647    10250     43 |  1.984 % |
38.54/38.60	c |     10441 |   14327    59193   177592 | 2147483647    10428     43 |  1.984 % |
39.15/39.24	c |     10634 |   14327    59193   177592 | 2147483647    10621     44 |  1.984 % |
40.15/40.27	c |     10847 |   14327    59193   177592 | 2147483647    10834     43 |  1.984 % |
41.35/41.45	c |     11080 |   14327    59193   177592 | 2147483647    11067     43 |  1.984 % |
42.55/42.66	c |     11336 |   14327    59193   177592 | 2147483647    11323     43 |  1.984 % |
43.95/44.01	c |     11618 |   14327    59193   177592 | 2147483647    11605     43 |  1.984 % |
44.35/44.40	c |     11718 |   14327    59193   177592 | 2147483647    11705     43 |  1.984 % |
44.65/44.77	c |     11829 |   14327    59193   177592 | 2147483647    11816     43 |  1.984 % |
45.25/45.32	c |     11951 |   14327    59193   177592 | 2147483647    11938     43 |  1.984 % |
45.75/45.87	c |     12084 |   14327    59193   177592 | 2147483647    12071     43 |  1.984 % |
46.45/46.51	c |     12230 |   14327    59193   177592 | 2147483647    12217     42 |  1.984 % |
46.65/46.71	c |     12391 |   14327    59193   177592 | 2147483647    12378     43 |  1.984 % |
46.85/47.00	c |     12567 |   14327    59193   177592 | 2147483647    12554     43 |  1.984 % |
47.75/47.87	c |     12760 |   14327    59193   177592 | 2147483647    12747     43 |  1.984 % |
48.45/48.56	c |     12973 |   14327    59193   177592 | 2147483647    12960     43 |  1.984 % |
49.54/49.62	c |     13207 |   14327    59193   177592 | 2147483647    13194     43 |  1.984 % |
50.74/50.83	c |     13464 |   14327    59193   177592 | 2147483647    13451     43 |  1.984 % |
51.94/52.01	c |     13746 |   14327    59193   177592 | 2147483647    13733     43 |  1.984 % |
53.54/53.60	c |     14056 |   14327    59193   177592 | 2147483647    14043     43 |  1.984 % |
53.94/54.06	c |     14157 |   14327    59193   177592 | 2147483647    14144     43 |  1.984 % |
54.44/54.54	c |     14267 |   14327    59193   177592 | 2147483647    14254     43 |  1.984 % |
55.04/55.12	c |     14389 |   14327    59193   177592 | 2147483647    14376     43 |  1.984 % |
55.64/55.74	c |     14523 |   14327    59193   177592 | 2147483647    14510     43 |  1.984 % |
56.34/56.48	c |     14669 |   14327    59193   177592 | 2147483647    14656     43 |  1.984 % |
56.94/57.08	c |     14829 |   14327    59193   177592 | 2147483647    14816     43 |  1.984 % |
57.24/57.31	c |     15006 |   14327    59193   177592 | 2147483647    14993     43 |  1.984 % |
57.84/57.99	c |     15199 |   14327    59193   177592 | 2147483647    15186     43 |  1.984 % |
58.54/58.61	c |     15411 |   14327    59193   177592 | 2147483647    15398     43 |  1.984 % |
59.54/59.63	c |     15644 |   14327    59193   177592 | 2147483647    15631     43 |  1.984 % |
60.34/60.47	c |     15901 |   14327    59193   177592 | 2147483647    15888     43 |  1.984 % |
61.44/61.52	c |     16182 |   14327    59193   177592 | 2147483647    16169     43 |  1.984 % |
62.54/62.67	c |     16491 |   14327    59193   177592 | 2147483647    16478     44 |  1.984 % |
63.84/63.97	c |     16830 |   14327    59193   177592 | 2147483647    16817     44 |  1.984 % |
64.44/64.54	c |     16930 |   14327    59193   177592 | 2147483647    16917     44 |  1.984 % |
64.94/65.09	c |     17040 |   14327    59193   177592 | 2147483647    17027     44 |  1.984 % |
65.24/65.36	c |     17162 |   14327    59193   177592 | 2147483647    17149     44 |  1.984 % |
65.84/65.94	c |     17296 |   14327    59193   177592 | 2147483647    17283     44 |  1.984 % |
66.64/66.79	c |     17442 |   14327    59193   177592 | 2147483647    17429     44 |  1.984 % |
67.34/67.48	c |     17605 |   14327    59193   177592 | 2147483647    17592     44 |  1.984 % |
68.04/68.16	c |     17782 |   14327    59193   177592 | 2147483647    17769     44 |  1.984 % |
68.83/68.93	c |     17977 |   14327    59193   177592 | 2147483647    17964     44 |  1.984 % |
69.83/69.95	c |     18191 |   14327    59193   177592 | 2147483647    18178     44 |  1.984 % |
70.93/71.09	c |     18424 |   14327    59193   177592 | 2147483647    18411     44 |  1.984 % |
72.44/72.52	c |     18681 |   14327    59193   177592 | 2147483647    18668     44 |  1.984 % |
73.64/73.72	c |     18963 |   14327    59193   177592 | 2147483647    18950     44 |  1.984 % |
75.24/75.34	c |     19272 |   14327    59193   177592 | 2147483647    19259     44 |  1.984 % |
76.54/76.67	c |     19611 |   14327    59193   177592 | 2147483647    19598     44 |  1.984 % |
78.54/78.61	c |     19983 |   14327    59193   177592 | 2147483647    19970     43 |  1.984 % |
78.94/79.05	c |     20083 |   14327    59193   177592 | 2147483647    20070     43 |  1.984 % |
79.24/79.35	c |     20194 |   14327    59193   177592 | 2147483647    20181     44 |  1.984 % |
79.94/80.02	c |     20316 |   14327    59193   177592 | 2147483647    20303     43 |  1.984 % |
80.74/80.82	c |     20450 |   14327    59193   177592 | 2147483647    20437     43 |  1.984 % |
81.44/81.59	c |     20596 |   14327    59193   177592 | 2147483647    20583     43 |  1.984 % |
82.44/82.59	c |     20756 |   14327    59193   177592 | 2147483647    20743     43 |  1.984 % |
83.54/83.64	c |     20932 |   14327    59193   177592 | 2147483647    20919     43 |  1.984 % |
84.54/84.63	c |     21127 |   14327    59193   177592 | 2147483647    21114     43 |  1.984 % |
85.64/85.72	c |     21340 |   14327    59193   177592 | 2147483647    21327     43 |  1.984 % |
86.64/86.73	c |     21573 |   14327    59193   177592 | 2147483647    21560     43 |  1.984 % |
87.84/87.94	c |     21830 |   14327    59193   177592 | 2147483647    21817     43 |  1.984 % |
89.13/89.21	c |     22114 |   14327    59193   177592 | 2147483647    22101     43 |  1.984 % |
90.53/90.67	c |     22424 |   14327    59193   177592 | 2147483647    22411     43 |  1.984 % |
92.24/92.38	c |     22764 |   14327    59193   177592 | 2147483647    22751     43 |  1.984 % |
93.93/94.05	c |     23136 |   14327    59193   177592 | 2147483647    23123     43 |  1.984 % |
95.83/96.00	c |     23546 |   14327    59193   177592 | 2147483647    23533     44 |  1.984 % |
96.23/96.37	c |     23647 |   14327    59193   177592 | 2147483647    23634     44 |  1.984 % |
96.83/96.96	c |     23758 |   14327    59193   177592 | 2147483647    23745     44 |  1.984 % |
97.33/97.49	c |     23880 |   14327    59193   177592 | 2147483647    23867     44 |  1.984 % |
97.63/97.78	c |     24014 |   14327    59193   177592 | 2147483647    24001     44 |  1.984 % |
98.23/98.35	c |     24161 |   14327    59193   177592 | 2147483647    24148     44 |  1.984 % |
99.03/99.16	c |     24321 |   14327    59193   177592 | 2147483647    24308     44 |  1.984 % |
99.83/99.98	c |     24497 |   14327    59193   177592 | 2147483647    24484     44 |  1.984 % |
100.63/100.75	c |     24691 |   14327    59193   177592 | 2147483647    24678     44 |  1.984 % |
101.62/101.72	c |     24903 |   14327    59193   177592 | 2147483647    24890     44 |  1.984 % |
102.62/102.76	c |     25137 |   14327    59193   177592 | 2147483647    25124     44 |  1.984 % |
104.02/104.15	c |     25395 |   14327    59193   177592 | 2147483647    25382     44 |  1.984 % |
105.44/105.56	c |     25678 |   14327    59193   177592 | 2147483647    25665     43 |  1.984 % |
107.03/107.16	c |     25990 |   14327    59193   177592 | 2147483647    25977     43 |  1.984 % |
108.84/109.00	c |     26330 |   14327    59193   177592 | 2147483647    26317     43 |  1.984 % |
110.83/110.98	c |     26702 |   14327    59193   177592 | 2147483647    26689     43 |  1.984 % |
112.83/112.94	c |     27111 |   14327    59193   177592 | 2147483647    27098     43 |  1.984 % |
115.53/115.64	c |     27560 |   14327    59193   177592 | 2147483647    27547     43 |  1.984 % |
116.13/116.24	c |     27660 |   14327    59193   177592 | 2147483647    27647     43 |  1.984 % |
116.53/116.63	c |     27772 |   14327    59193   177592 | 2147483647    27759     43 |  1.984 % |
117.03/117.19	c |     27895 |   14327    59193   177592 | 2147483647    27882     43 |  1.984 % |
117.73/117.83	c |     28028 |   14327    59193   177592 | 2147483647    28015     43 |  1.984 % |
118.63/118.72	c |     28174 |   14327    59193   177592 | 2147483647    28161     43 |  1.984 % |
118.93/119.07	c |     28335 |   14327    59193   177592 | 2147483647    28322     43 |  1.984 % |
119.83/119.95	c |     28511 |   14327    59193   177592 | 2147483647    28498     43 |  1.984 % |
120.83/120.91	c |     28705 |   14327    59193   177592 | 2147483647    28692     43 |  1.984 % |
121.93/122.07	c |     28917 |   14327    59193   177592 | 2147483647    28904     43 |  1.984 % |
123.22/123.38	c |     29150 |   14327    59193   177592 | 2147483647    29137     43 |  1.984 % |
124.62/124.72	c |     29406 |   14327    59193   177592 | 2147483647    29393     43 |  1.984 % |
126.02/126.11	c |     29687 |   14327    59193   177592 | 2147483647    29674     43 |  1.984 % |
127.62/127.76	c |     29997 |   14327    59193   177592 | 2147483647    29984     43 |  1.984 % |
129.32/129.40	c |     30336 |   14327    59193   177592 | 2147483647    30323     43 |  1.984 % |
131.42/131.51	c |     30709 |   14327    59193   177592 | 2147483647    30696     43 |  1.984 % |
132.42/132.59	c |     31118 |   14327    59193   177592 | 2147483647    31105     43 |  1.984 % |
134.42/134.53	c |     31568 |   14327    59193   177592 | 2147483647    31555     43 |  1.984 % |
137.22/137.36	c |     32061 |   14327    59193   177592 | 2147483647    32048     43 |  1.984 % |
137.82/137.93	c |     32162 |   14327    59193   177592 | 2147483647    32149     43 |  1.984 % |
138.32/138.40	c |     32272 |   14327    59193   177592 | 2147483647    32259     43 |  1.984 % |
138.92/139.02	c |     32394 |   14327    59193   177592 | 2147483647    32381     43 |  1.984 % |
139.12/139.26	c |     32527 |   14327    59193   177592 | 2147483647    32514     44 |  1.984 % |
139.91/140.03	c |     32674 |   14327    59193   177592 | 2147483647    32661     44 |  1.984 % |
140.41/140.53	c |     32834 |   14327    59193   177592 | 2147483647    32821     44 |  1.984 % |
141.42/141.60	c |     33010 |   14327    59193   177592 | 2147483647    32997     44 |  1.984 % |
142.22/142.34	c |     33204 |   14327    59193   177592 | 2147483647    33191     44 |  1.984 % |
143.22/143.34	c |     33417 |   14327    59193   177592 | 2147483647    33404     44 |  1.984 % |
144.52/144.63	c |     33651 |   14327    59193   177592 | 2147483647    33638     44 |  1.984 % |
145.92/146.02	c |     33908 |   14327    59193   177592 | 2147483647    33895     44 |  1.984 % |
147.52/147.68	c |     34189 |   14327    59193   177592 | 2147483647    34176     44 |  1.984 % |
148.92/149.08	c |     34499 |   14327    59193   177592 | 2147483647    34486     44 |  1.984 % |
150.22/150.35	c |     34839 |   14327    59193   177592 | 2147483647    34826     44 |  1.984 % |
151.02/151.15	c |     35212 |   14327    59193   177592 | 2147483647    35199     44 |  1.984 % |
153.32/153.43	c |     35621 |   14327    59193   177592 | 2147483647    35608     44 |  1.984 % |
155.62/155.79	c |     36071 |   14327    59193   177592 | 2147483647    36058     44 |  1.984 % |
158.12/158.23	c |     36565 |   14327    59193   177592 | 2147483647    36552     44 |  1.984 % |
160.81/160.93	c |     37107 |   14327    59193   177592 | 2147483647    37094     44 |  1.984 % |
161.41/161.50	c |     37209 |   14327    59193   177592 | 2147483647    37196     44 |  1.984 % |
161.91/162.05	c |     37319 |   14327    59193   177592 | 2147483647    37306     44 |  1.984 % |
162.41/162.53	c |     37441 |   14327    59193   177592 | 2147483647    37428     44 |  1.984 % |
163.21/163.36	c |     37575 |   14327    59193   177592 | 2147483647    37562     44 |  1.984 % |
164.11/164.20	c |     37721 |   14327    59193   177592 | 2147483647    37708     44 |  1.984 % |
165.01/165.15	c |     37881 |   14327    59193   177592 | 2147483647    37868     44 |  1.984 % |
166.11/166.26	c |     38058 |   14327    59193   177592 | 2147483647    38045     44 |  1.984 % |
167.11/167.30	c |     38251 |   14327    59193   177592 | 2147483647    38238     44 |  1.984 % |
168.30/168.43	c |     38463 |   14327    59193   177592 | 2147483647    38450     44 |  1.984 % |
169.70/169.86	c |     38697 |   14327    59193   177592 | 2147483647    38684     44 |  1.984 % |
171.30/171.49	c |     38954 |   14327    59193   177592 | 2147483647    38941     44 |  1.984 % |
172.40/172.59	c |     39236 |   14327    59193   177592 | 2147483647    39223     44 |  1.984 % |
174.20/174.34	c |     39546 |   14327    59193   177592 | 2147483647    39533     44 |  1.984 % |
175.30/175.43	c |     39886 |   14327    59193   177592 | 2147483647    39873     44 |  1.984 % |
176.91/177.07	c |     40260 |   14327    59193   177592 | 2147483647    40247     44 |  1.984 % |
178.70/178.87	c |     40669 |   14327    59193   177592 | 2147483647    40656     45 |  1.984 % |
181.10/181.28	c |     41118 |   14327    59193   177592 | 2147483647    41105     45 |  1.984 % |
183.30/183.49	c |     41612 |   14327    59193   177592 | 2147483647    41599     45 |  1.984 % |
186.40/186.53	c |     42155 |   14327    59193   177592 | 2147483647    42142     45 |  1.984 % |
189.40/189.57	c |     42752 |   14327    59193   177592 | 2147483647    42739     45 |  1.984 % |
190.00/190.12	c |     42852 |   14327    59193   177592 | 2147483647    42839     45 |  1.984 % |
190.40/190.55	c |     42963 |   14327    59193   177592 | 2147483647    42950     45 |  1.984 % |
191.10/191.22	c |     43085 |   14327    59193   177592 | 2147483647    43072     45 |  1.984 % |
191.70/191.86	c |     43219 |   14327    59193   177592 | 2147483647    43206     45 |  1.984 % |
192.50/192.63	c |     43365 |   14327    59193   177592 | 2147483647    43352     45 |  1.984 % |
193.30/193.50	c |     43526 |   14327    59193   177592 | 2147483647    43513     45 |  1.984 % |
193.99/194.12	c |     43704 |   14327    59193   177592 | 2147483647    43691     45 |  1.984 % |
194.60/194.73	c |     43898 |   14327    59193   177592 | 2147483647    43885     45 |  1.984 % |
194.89/195.06	c |     44111 |   14327    59193   177592 | 2147483647    44098     45 |  1.984 % |
196.10/196.23	c |     44345 |   14327    59193   177592 | 2147483647    44332     45 |  1.984 % |
197.20/197.39	c |     44601 |   14327    59193   177592 | 2147483647    44588     45 |  1.984 % |
198.30/198.45	c |     44883 |   14327    59193   177592 | 2147483647    44870     45 |  1.984 % |
199.70/199.81	c |     45192 |   14327    59193   177592 | 2147483647    45179     45 |  1.984 % |
201.20/201.37	c |     45531 |   14327    59193   177592 | 2147483647    45518     45 |  1.984 % |
202.90/203.09	c |     45903 |   14327    59193   177592 | 2147483647    45890     45 |  1.984 % |
204.40/204.55	c |     46313 |   14327    59193   177592 | 2147483647    46300     45 |  1.984 % |
206.60/206.76	c |     46762 |   14327    59193   177592 | 2147483647    46749     46 |  1.984 % |
208.29/208.41	c |     47256 |   14327    59193   177592 | 2147483647    47243     46 |  1.984 % |
211.29/211.45	c |     47799 |   14327    59193   177592 | 2147483647    47786     46 |  1.984 % |
214.49/214.61	c |     48395 |   14327    59193   177592 | 2147483647    48382     46 |  1.984 % |
218.29/218.47	c |     49051 |   14327    59193   177592 | 2147483647    49038     46 |  1.984 % |
218.99/219.19	c |     49152 |   14327    59193   177592 | 2147483647    49139     46 |  1.984 % |
219.79/219.96	c |     49262 |   14327    59193   177592 | 2147483647    49249     46 |  1.984 % |
220.59/220.79	c |     49384 |   14327    59193   177592 | 2147483647    49371     46 |  1.984 % |
221.49/221.67	c |     49518 |   14327    59193   177592 | 2147483647    49505     46 |  1.984 % |
221.89/222.08	c |     49664 |   14327    59193   177592 | 2147483647    49651     46 |  1.984 % |
222.89/223.08	c |     49825 |   14327    59193   177592 | 2147483647    49812     46 |  1.984 % |
223.79/223.92	c |     50002 |   14327    59193   177592 | 2147483647    49989     46 |  1.984 % |
224.69/224.82	c |     50196 |   14327    59193   177592 | 2147483647    50183     46 |  1.984 % |
226.19/226.30	c |     50409 |   14327    59193   177592 | 2147483647    50396     46 |  1.984 % |
227.39/227.54	c |     50643 |   14327    59193   177592 | 2147483647    50630     46 |  1.984 % |
228.89/229.09	c |     50902 |   14327    59193   177592 | 2147483647    50889     46 |  1.984 % |
230.59/230.73	c |     51185 |   14327    59193   177592 | 2147483647    51172     46 |  1.984 % |
232.08/232.29	c |     51494 |   14327    59193   177592 | 2147483647    51481     46 |  1.984 % |
234.38/234.57	c |     51833 |   14327    59193   177592 | 2147483647    51820     46 |  1.984 % |
236.18/236.40	c |     52205 |   14327    59193   177592 | 2147483647    52192     46 |  1.984 % |
238.49/238.67	c |     52615 |   14327    59193   177592 | 2147483647    52602     46 |  1.984 % |
239.78/239.97	c |     53065 |   14327    59193   177592 | 2147483647    53052     46 |  1.984 % |
242.39/242.55	c |     53559 |   14327    59193   177592 | 2147483647    53546     46 |  1.984 % |
245.09/245.22	c |     54101 |   14327    59193   177592 | 2147483647    54088     46 |  1.984 % |
247.99/248.15	c |     54698 |   14327    59193   177592 | 2147483647    54685     46 |  1.984 % |
250.39/250.54	c |     55354 |   14327    59193   177592 | 2147483647    55341     46 |  1.984 % |
254.59/254.73	c |     56075 |   14327    59193   177592 | 2147483647    56062     46 |  1.984 % |
254.99/255.10	c |     56177 |   14327    59193   177592 | 2147483647    56164     46 |  1.984 % |
255.48/255.61	c |     56289 |   14327    59193   177592 | 2147483647    56276     46 |  1.984 % |
256.09/256.20	c |     56410 |   14327    59193   177592 | 2147483647    56397     46 |  1.984 % |
256.48/256.68	c |     56543 |   14327    59193   177592 | 2147483647    56530     46 |  1.984 % |
257.08/257.24	c |     56689 |   14327    59193   177592 | 2147483647    56676     47 |  1.984 % |
257.58/257.75	c |     56851 |   14327    59193   177592 | 2147483647    56838     47 |  1.984 % |
258.39/258.55	c |     57029 |   14327    59193   177592 | 2147483647    57016     47 |  1.984 % |
259.18/259.39	c |     57222 |   14327    59193   177592 | 2147483647    57209     47 |  1.984 % |
260.58/260.78	c |     57435 |   14327    59193   177592 | 2147483647    57422     47 |  1.984 % |
261.98/262.20	c |     57668 |   14327    59193   177592 | 2147483647    57655     47 |  1.984 % |
263.58/263.77	c |     57924 |   14327    59193   177592 | 2147483647    57911     47 |  1.984 % |
265.38/265.54	c |     58205 |   14327    59193   177592 | 2147483647    58192     46 |  1.984 % |
267.48/267.64	c |     58514 |   14327    59193   177592 | 2147483647    58501     47 |  1.984 % |
269.28/269.44	c |     58853 |   14327    59193   177592 | 2147483647    58840     47 |  1.984 % |
271.97/272.14	c |     59226 |   14327    59193   177592 | 2147483647    59213     46 |  1.984 % |
274.37/274.53	c |     59636 |   14327    59193   177592 | 2147483647    59623     46 |  1.984 % |
276.77/276.94	c |     60086 |   14327    59193   177592 | 2147483647    60073     46 |  1.984 % |
279.58/279.73	c |     60580 |   14327    59193   177592 | 2147483647    60567     46 |  1.984 % |
283.18/283.33	c |     61122 |   14327    59193   177592 | 2147483647    61109     46 |  1.984 % |
286.48/286.60	c |     61718 |   14327    59193   177592 | 2147483647    61705     46 |  1.984 % |
290.78/290.97	c |     62374 |   14327    59193   177592 | 2147483647    62361     46 |  1.984 % |
294.88/295.00	c |     63095 |   14327    59193   177592 | 2147483647    63082     46 |  1.984 % |
299.67/299.81	c |     63887 |   14327    59193   177592 | 2147483647    63874     47 |  1.984 % |
300.27/300.42	c |     63988 |   14327    59193   177592 | 2147483647    63975     47 |  1.984 % |
301.07/301.22	c |     64099 |   14327    59193   177592 | 2147483647    64086     46 |  1.984 % |
301.87/302.04	c |     64220 |   14327    59193   177592 | 2147483647    64207     46 |  1.984 % |
302.77/302.93	c |     64354 |   14327    59193   177592 | 2147483647    64341     46 |  1.984 % |
303.77/303.99	c |     64500 |   14327    59193   177592 | 2147483647    64487     46 |  1.984 % |
304.87/305.08	c |     64660 |   14327    59193   177592 | 2147483647    64647     46 |  1.984 % |
306.07/306.26	c |     64838 |   14327    59193   177592 | 2147483647    64825     46 |  1.984 % |
307.27/307.46	c |     65031 |   14327    59193   177592 | 2147483647    65018     46 |  1.984 % |
308.97/309.11	c |     65243 |   14327    59193   177592 | 2147483647    65230     46 |  1.984 % |
310.07/310.27	c |     65479 |   14327    59193   177592 | 2147483647    65466     46 |  1.984 % |
312.17/312.30	c |     65735 |   14327    59193   177592 | 2147483647    65722     46 |  1.984 % |
313.66/313.86	c |     66017 |   14327    59193   177592 | 2147483647    66004     46 |  1.984 % |
316.16/316.30	c |     66327 |   14327    59193   177592 | 2147483647    66314     46 |  1.984 % |
318.27/318.49	c |     66666 |   14327    59193   177592 | 2147483647    66653     46 |  1.984 % |
320.87/321.01	c |     67040 |   14327    59193   177592 | 2147483647    67027     46 |  1.984 % |
323.67/323.85	c |     67449 |   14327    59193   177592 | 2147483647    67436     46 |  1.984 % |
326.47/326.69	c |     67899 |   14327    59193   177592 | 2147483647    67886     46 |  1.984 % |
329.87/330.05	c |     68393 |   14327    59193   177592 | 2147483647    68380     46 |  1.984 % |
333.17/333.35	c |     68936 |   14327    59193   177592 | 2147483647    68923     46 |  1.984 % |
337.26/337.50	c |     69532 |   14327    59193   177592 | 2147483647    69519     46 |  1.984 % |
342.26/342.41	c |     70188 |   14327    59193   177592 | 2147483647    70175     46 |  1.984 % |
347.36/347.51	c |     70909 |   14327    59193   177592 | 2147483647    70896     46 |  1.984 % |
352.26/352.41	c |     71702 |   14327    59193   177592 | 2147483647    71689     46 |  1.984 % |
358.15/358.30	c |     72573 |   14327    59193   177592 | 2147483647    72560     46 |  1.984 % |
358.55/358.75	c |     72674 |   14327    59193   177592 | 2147483647    72661     46 |  1.984 % |
359.25/359.50	c |     72785 |   14327    59193   177592 | 2147483647    72772     46 |  1.984 % |
360.05/360.23	c |     72906 |   14327    59193   177592 | 2147483647    72893     46 |  1.984 % |
360.56/360.74	c |     73039 |   14327    59193   177592 | 2147483647    73026     46 |  1.984 % |
361.55/361.75	c |     73186 |   14327    59193   177592 | 2147483647    73173     46 |  1.984 % |
362.65/362.85	c |     73347 |   14327    59193   177592 | 2147483647    73334     46 |  1.984 % |
363.85/364.01	c |     73523 |   14327    59193   177592 | 2147483647    73510     46 |  1.984 % |
365.06/365.27	c |     73717 |   14327    59193   177592 | 2147483647    73704     46 |  1.984 % |
366.56/366.72	c |     73930 |   14327    59193   177592 | 2147483647    73917     46 |  1.984 % |
368.06/368.28	c |     74163 |   14327    59193   177592 | 2147483647    74150     46 |  1.984 % |
369.66/369.84	c |     74419 |   14327    59193   177592 | 2147483647    74406     46 |  1.984 % |
371.46/371.62	c |     74700 |   14327    59193   177592 | 2147483647    74687     46 |  1.984 % |
373.46/373.61	c |     75010 |   14327    59193   177592 | 2147483647    74997     46 |  1.984 % |
375.85/376.02	c |     75349 |   14327    59193   177592 | 2147483647    75336     46 |  1.984 % |
378.35/378.51	c |     75721 |   14327    59193   177592 | 2147483647    75708     46 |  1.984 % |
380.95/381.13	c |     76130 |   14327    59193   177592 | 2147483647    76117     46 |  1.984 % |
383.85/384.04	c |     76581 |   14327    59193   177592 | 2147483647    76568     46 |  1.984 % |
387.15/387.34	c |     77075 |   14327    59193   177592 | 2147483647    77062     46 |  1.984 % |
390.55/390.70	c |     77617 |   14327    59193   177592 | 2147483647    77604     46 |  1.984 % |
393.05/393.27	c |     78215 |   14327    59193   177592 | 2147483647    78202     46 |  1.984 % |
397.44/397.62	c |     78870 |   14327    59193   177592 | 2147483647    78857     46 |  1.984 % |
402.54/402.72	c |     79591 |   14327    59193   177592 | 2147483647    79578     46 |  1.984 % |
408.74/408.91	c |     80384 |   14327    59193   177592 | 2147483647    80371     45 |  1.984 % |
414.94/415.19	c |     81255 |   14327    59193   177592 | 2147483647    81242     45 |  1.984 % |
420.74/420.94	c |     82217 |   14327    59193   177592 | 2147483647    82204     46 |  1.984 % |
421.34/421.53	c |     82319 |   14327    59193   177592 | 2147483647    82306     46 |  1.984 % |
422.04/422.20	c |     82430 |   14327    59193   177592 | 2147483647    82417     46 |  1.984 % |
422.74/422.96	c |     82552 |   14327    59193   177592 | 2147483647    82539     46 |  1.984 % |
423.64/423.90	c |     82687 |   14327    59193   177592 | 2147483647    82674     46 |  1.984 % |
424.74/424.95	c |     82833 |   14327    59193   177592 | 2147483647    82820     46 |  1.984 % |
425.94/426.17	c |     82993 |   14327    59193   177592 | 2147483647    82980     46 |  1.984 % |
427.14/427.34	c |     83170 |   14327    59193   177592 | 2147483647    83157     46 |  1.984 % |
427.84/428.03	c |     83363 |   14327    59193   177592 | 2147483647    83350     46 |  1.984 % |
429.04/429.28	c |     83576 |   14327    59193   177592 | 2147483647    83563     46 |  1.984 % |
430.84/431.08	c |     83809 |   14327    59193   177592 | 2147483647    83796     46 |  1.984 % |
433.14/433.31	c |     84067 |   14327    59193   177592 | 2147483647    84054     46 |  1.984 % |
435.34/435.58	c |     84349 |   14327    59193   177592 | 2147483647    84336     46 |  1.984 % |
437.73/437.99	c |     84658 |   14327    59193   177592 | 2147483647    84645     46 |  1.984 % |
440.23/440.49	c |     84997 |   14327    59193   177592 | 2147483647    84984     46 |  1.984 % |
442.93/443.17	c |     85370 |   14327    59193   177592 | 2147483647    85357     46 |  1.984 % |
446.23/446.42	c |     85780 |   14327    59193   177592 | 2147483647    85767     46 |  1.984 % |
449.53/449.71	c |     86230 |   14327    59193   177592 | 2147483647    86217     46 |  1.984 % |
452.83/453.03	c |     86723 |   14327    59193   177592 | 2147483647    86710     45 |  1.984 % |
455.53/455.75	c |     87265 |   14327    59193   177592 | 2147483647    87252     46 |  1.984 % |
458.83/459.03	c |     87861 |   14327    59193   177592 | 2147483647    87848     46 |  1.984 % |
463.12/463.39	c |     88517 |   14327    59193   177592 | 2147483647    88504     46 |  1.984 % |
468.12/468.31	c |     89238 |   14327    59193   177592 | 2147483647    89225     46 |  1.984 % |
473.93/474.15	c |     90031 |   14327    59193   177592 | 2147483647    90018     46 |  1.984 % |
479.93/480.17	c |     90902 |   14327    59193   177592 | 2147483647    90889     46 |  1.984 % |
487.82/488.06	c |     91860 |   14327    59193   177592 | 2147483647    91847     45 |  1.984 % |
496.02/496.20	c |     92913 |   14327    59193   177592 | 2147483647    92900     45 |  1.984 % |
496.52/496.77	c |     93014 |   14327    59193   177592 | 2147483647    93001     45 |  1.984 % |
497.32/497.52	c |     93124 |   14327    59193   177592 | 2147483647    93111     45 |  1.984 % |
498.02/498.27	c |     93246 |   14327    59193   177592 | 2147483647    93233     45 |  1.984 % |
498.72/498.96	c |     93379 |   14327    59193   177592 | 2147483647    93366     45 |  1.984 % |
499.92/500.14	c |     93526 |   14327    59193   177592 | 2147483647    93513     45 |  1.984 % |
500.82/501.03	c |     93687 |   14327    59193   177592 | 2147483647    93674     45 |  1.984 % |
502.12/502.39	c |     93864 |   14327    59193   177592 | 2147483647    93851     45 |  1.984 % |
503.52/503.79	c |     94057 |   14327    59193   177592 | 2147483647    94044     45 |  1.984 % |
505.12/505.31	c |     94269 |   14327    59193   177592 | 2147483647    94256     45 |  1.984 % |
506.62/506.84	c |     94503 |   14327    59193   177592 | 2147483647    94490     45 |  1.984 % |
508.21/508.47	c |     94760 |   14327    59193   177592 | 2147483647    94747     45 |  1.984 % |
509.91/510.16	c |     95041 |   14327    59193   177592 | 2147483647    95028     45 |  1.984 % |
511.81/512.06	c |     95351 |   14327    59193   177592 | 2147483647    95338     45 |  1.984 % |
514.01/514.29	c |     95691 |   14327    59193   177592 | 2147483647    95678     45 |  1.984 % |
516.81/517.04	c |     96063 |   14327    59193   177592 | 2147483647    96050     45 |  1.984 % |
519.62/519.83	c |     96473 |   14327    59193   177592 | 2147483647    96460     45 |  1.984 % |
523.32/523.52	c |     96923 |   14327    59193   177592 | 2147483647    96910     45 |  1.984 % |
526.82/527.07	c |     97417 |   14327    59193   177592 | 2147483647    97404     45 |  1.984 % |
530.91/531.10	c |     97959 |   14327    59193   177592 | 2147483647    97946     45 |  1.984 % |
535.21/535.48	c |     98556 |   14327    59193   177592 | 2147483647    98543     45 |  1.984 % |
540.41/540.62	c |     99211 |   14327    59193   177592 | 2147483647    99198     45 |  1.984 % |
545.61/545.80	c |     99931 |   14327    59193   177592 | 2147483647    99918     45 |  1.984 % |
551.21/551.49	c |    100723 |   14327    59193   177592 | 2147483647   100710     45 |  1.984 % |
557.80/558.07	c |    101595 |   14327    59193   177592 | 2147483647   101582     45 |  1.984 % |
566.30/566.53	c |    102553 |   14327    59193   177592 | 2147483647   102540     45 |  1.984 % |
574.80/575.02	c |    103606 |   14327    59193   177592 | 2147483647   103593     45 |  1.984 % |
584.69/584.92	c |    104764 |   14327    59193   177592 | 2147483647   104751     45 |  1.984 % |
585.39/585.67	c |    104866 |   14327    59193   177592 | 2147483647   104853     45 |  1.984 % |
586.39/586.61	c |    104977 |   14327    59193   177592 | 2147483647   104964     45 |  1.984 % |
587.20/587.43	c |    105099 |   14327    59193   177592 | 2147483647   105086     45 |  1.984 % |
588.20/588.49	c |    105233 |   14327    59193   177592 | 2147483647   105220     45 |  1.984 % |
589.40/589.70	c |    105379 |   14327    59193   177592 | 2147483647   105366     45 |  1.984 % |
590.69/590.96	c |    105540 |   14327    59193   177592 | 2147483647   105527     45 |  1.984 % |
592.09/592.34	c |    105716 |   14327    59193   177592 | 2147483647   105703     45 |  1.984 % |
593.69/593.94	c |    105909 |   14327    59193   177592 | 2147483647   105896     45 |  1.984 % |
595.39/595.67	c |    106121 |   14327    59193   177592 | 2147483647   106108     45 |  1.984 % |
597.40/597.68	c |    106355 |   14327    59193   177592 | 2147483647   106342     45 |  1.984 % |
599.20/599.46	c |    106612 |   14327    59193   177592 | 2147483647   106599     45 |  1.984 % |
601.50/601.78	c |    106894 |   14327    59193   177592 | 2147483647   106881     45 |  1.984 % |
604.00/604.25	c |    107205 |   14327    59193   177592 | 2147483647   107192     45 |  1.984 % |
606.59/606.87	c |    107544 |   14327    59193   177592 | 2147483647   107531     45 |  1.984 % |
609.10/609.37	c |    107917 |   14327    59193   177592 | 2147483647   107904     45 |  1.984 % |
612.19/612.44	c |    108326 |   14327    59193   177592 | 2147483647   108313     45 |  1.984 % |
615.49/615.72	c |    108776 |   14327    59193   177592 | 2147483647   108763     45 |  1.984 % |
619.29/619.58	c |    109269 |   14327    59193   177592 | 2147483647   109256     45 |  1.984 % |
622.19/622.42	c |    109814 |   14327    59193   177592 | 2147483647   109801     45 |  1.984 % |
626.88/627.19	c |    110410 |   14327    59193   177592 | 2147483647   110397     45 |  1.984 % |
631.38/631.69	c |    111065 |   14327    59193   177592 | 2147483647   111052     45 |  1.984 % |
637.69/638.00	c |    111786 |   14327    59193   177592 | 2147483647   111773     45 |  1.984 % |
644.08/644.30	c |    112579 |   14327    59193   177592 | 2147483647   112566     45 |  1.984 % |
650.98/651.20	c |    113450 |   14327    59193   177592 | 2147483647   113437     45 |  1.984 % |
656.98/657.27	c |    114409 |   14327    59193   177592 | 2147483647   114396     45 |  1.984 % |
664.77/665.08	c |    115463 |   14327    59193   177592 | 2147483647   115450     45 |  1.984 % |
673.97/674.21	c |    116621 |   14327    59193   177592 | 2147483647   116608     45 |  1.984 % |
684.67/684.93	c |    117894 |   14327    59193   177592 | 2147483647   117881     45 |  1.984 % |
685.37/685.65	c |    117994 |   14327    59193   177592 | 2147483647   117981     45 |  1.984 % |
686.27/686.54	c |    118105 |   14327    59193   177592 | 2147483647   118092     45 |  1.984 % |
687.37/687.62	c |    118226 |   14327    59193   177592 | 2147483647   118213     45 |  1.984 % |
688.38/688.70	c |    118361 |   14327    59193   177592 | 2147483647   118348     45 |  1.984 % |
689.77/690.05	c |    118508 |   14327    59193   177592 | 2147483647   118495     45 |  1.984 % |
690.87/691.11	c |    118669 |   14327    59193   177592 | 2147483647   118656     45 |  1.984 % |
692.07/692.37	c |    118846 |   14327    59193   177592 | 2147483647   118833     45 |  1.984 % |
693.77/694.04	c |    119039 |   14327    59193   177592 | 2147483647   119026     45 |  1.984 % |
695.77/696.03	c |    119251 |   14327    59193   177592 | 2147483647   119238     45 |  1.984 % |
697.87/698.11	c |    119485 |   14327    59193   177592 | 2147483647   119472     45 |  1.984 % |
699.97/700.25	c |    119741 |   14327    59193   177592 | 2147483647   119728     45 |  1.984 % |
702.27/702.57	c |    120023 |   14327    59193   177592 | 2147483647   120010     45 |  1.984 % |
704.96/705.22	c |    120333 |   14327    59193   177592 | 2147483647   120320     45 |  1.984 % |
706.36/706.66	c |    120672 |   14327    59193   177592 | 2147483647   120659     45 |  1.984 % |
709.27/709.57	c |    121045 |   14327    59193   177592 | 2147483647   121032     45 |  1.984 % |
712.66/712.91	c |    121454 |   14327    59193   177592 | 2147483647   121441     45 |  1.984 % |
716.16/716.40	c |    121904 |   14327    59193   177592 | 2147483647   121891     45 |  1.984 % |
718.56/718.83	c |    122399 |   14327    59193   177592 | 2147483647   122386     45 |  1.984 % |
721.76/722.03	c |    122941 |   14327    59193   177592 | 2147483647   122928     45 |  1.984 % |
724.76/725.05	c |    123537 |   14327    59193   177592 | 2147483647   123524     45 |  1.984 % |
730.07/730.40	c |    124194 |   14327    59193   177592 | 2147483647   124181     45 |  1.984 % |
735.56/735.82	c |    124916 |   14327    59193   177592 | 2147483647   124903     45 |  1.984 % |
742.26/742.56	c |    125709 |   14327    59193   177592 | 2147483647   125696     45 |  1.984 % |
748.65/748.94	c |    126581 |   14327    59193   177592 | 2147483647   126568     45 |  1.984 % |
756.95/757.23	c |    127541 |   14327    59193   177592 | 2147483647   127528     45 |  1.984 % |
765.65/766.00	c |    128595 |   14327    59193   177592 | 2147483647   128582     45 |  1.984 % |
775.64/775.91	c |    129753 |   14327    59193   177592 | 2147483647   129740     45 |  1.984 % |
781.35/781.62	c |    131026 |   14327    59193   177592 | 2147483647   131013     45 |  1.984 % |
793.74/794.06	c |    132427 |   14327    59193   177592 | 2147483647   132414     45 |  1.984 % |
794.74/795.01	c |    132529 |   14327    59193   177592 | 2147483647   132516     45 |  1.984 % |
795.84/796.12	c |    132639 |   14327    59193   177592 | 2147483647   132626     45 |  1.984 % |
797.04/797.35	c |    132762 |   14327    59193   177592 | 2147483647   132749     45 |  1.984 % |
798.24/798.55	c |    132895 |   14327    59193   177592 | 2147483647   132882     45 |  1.984 % |
799.74/800.05	c |    133042 |   14327    59193   177592 | 2147483647   133029     45 |  1.984 % |
801.34/801.66	c |    133203 |   14327    59193   177592 | 2147483647   133190     45 |  1.984 % |
803.04/803.30	c |    133380 |   14327    59193   177592 | 2147483647   133367     45 |  1.984 % |
804.74/805.00	c |    133573 |   14327    59193   177592 | 2147483647   133560     45 |  1.984 % |
806.64/806.90	c |    133785 |   14327    59193   177592 | 2147483647   133772     45 |  1.984 % |
808.54/808.89	c |    134019 |   14327    59193   177592 | 2147483647   134006     45 |  1.984 % |
810.94/811.28	c |    134275 |   14327    59193   177592 | 2147483647   134262     45 |  1.984 % |
812.94/813.23	c |    134556 |   14327    59193   177592 | 2147483647   134543     45 |  1.984 % |
815.84/816.17	c |    134865 |   14327    59193   177592 | 2147483647   134852     45 |  1.984 % |
818.84/819.13	c |    135207 |   14327    59193   177592 | 2147483647   135194     45 |  1.984 % |
821.54/821.85	c |    135579 |   14327    59193   177592 | 2147483647   135566     45 |  1.984 % |
825.13/825.42	c |    135988 |   14327    59193   177592 | 2147483647   135975     45 |  1.984 % |
828.63/828.92	c |    136438 |   14327    59193   177592 | 2147483647   136425     45 |  1.984 % |
833.03/833.39	c |    136931 |   14327    59193   177592 | 2147483647   136918     45 |  1.984 % |
837.53/837.89	c |    137474 |   14327    59193   177592 | 2147483647   137461     45 |  1.984 % |
842.13/842.48	c |    138070 |   14327    59193   177592 | 2147483647   138057     45 |  1.984 % |
847.33/847.62	c |    138725 |   14327    59193   177592 | 2147483647   138712     45 |  1.984 % |
852.23/852.54	c |    139445 |   14327    59193   177592 | 2147483647   139432     45 |  1.984 % |
859.52/859.81	c |    140237 |   14327    59193   177592 | 2147483647   140224     45 |  1.984 % |
866.92/867.20	c |    141109 |   14327    59193   177592 | 2147483647   141096     45 |  1.984 % |
874.72/875.01	c |    142068 |   14327    59193   177592 | 2147483647   142055     45 |  1.984 % |
885.12/885.43	c |    143121 |   14327    59193   177592 | 2147483647   143108     45 |  1.984 % |
896.51/896.84	c |    144279 |   14327    59193   177592 | 2147483647   144266     45 |  1.984 % |
907.61/907.96	c |    145552 |   14327    59193   177592 | 2147483647   145539     45 |  1.984 % |
921.01/921.36	c |    146952 |   14327    59193   177592 | 2147483647   146939     45 |  1.984 % |
935.50/935.81	c |    148493 |   14327    59193   177592 | 2147483647   148480     45 |  1.984 % |
936.50/936.89	c |    148594 |   14327    59193   177592 | 2147483647   148581     45 |  1.984 % |
937.80/938.14	c |    148704 |   14327    59193   177592 | 2147483647   148691     44 |  1.984 % |
938.81/939.11	c |    148826 |   14327    59193   177592 | 2147483647   148813     44 |  1.984 % |
939.61/939.98	c |    148960 |   14327    59193   177592 | 2147483647   148947     44 |  1.984 % |
940.81/941.19	c |    149107 |   14327    59193   177592 | 2147483647   149094     44 |  1.984 % |
942.01/942.35	c |    149267 |   14327    59193   177592 | 2147483647   149254     44 |  1.984 % |
943.30/943.67	c |    149444 |   14327    59193   177592 | 2147483647   149431     44 |  1.984 % |
945.11/945.46	c |    149637 |   14327    59193   177592 | 2147483647   149624     44 |  1.984 % |
946.50/946.83	c |    149849 |   14327    59193   177592 | 2147483647   149836     44 |  1.984 % |
948.10/948.43	c |    150082 |   14327    59193   177592 | 2147483647   150069     45 |  1.984 % |
950.01/950.40	c |    150338 |   14327    59193   177592 | 2147483647   150325     45 |  1.984 % |
952.70/953.09	c |    150619 |   14327    59193   177592 | 2147483647   150606     45 |  1.984 % |
955.20/955.51	c |    150928 |   14327    59193   177592 | 2147483647   150915     45 |  1.984 % |
958.20/958.59	c |    151268 |   14327    59193   177592 | 2147483647   151255     45 |  1.984 % |
960.70/961.09	c |    151641 |   14327    59193   177592 | 2147483647   151628     45 |  1.984 % |
964.50/964.83	c |    152051 |   14327    59193   177592 | 2147483647   152038     45 |  1.984 % |
968.80/969.17	c |    152500 |   14327    59193   177592 | 2147483647   152487     45 |  1.984 % |
972.10/972.41	c |    152994 |   14327    59193   177592 | 2147483647   152981     45 |  1.984 % |
976.89/977.24	c |    153536 |   14327    59193   177592 | 2147483647   153523     45 |  1.984 % |
982.69/983.01	c |    154132 |   14327    59193   177592 | 2147483647   154119     45 |  1.984 % |
988.89/989.26	c |    154788 |   14327    59193   177592 | 2147483647   154775     45 |  1.984 % |
994.89/995.24	c |    155509 |   14327    59193   177592 | 2147483647   155496     45 |  1.984 % |
1001.18/1001.56	c |    156303 |   14327    59193   177592 | 2147483647   156290     45 |  1.984 % |
1008.58/1008.94	c |    157175 |   14327    59193   177592 | 2147483647   157162     45 |  1.984 % |
1017.38/1017.76	c |    158134 |   14327    59193   177592 | 2147483647   158121     45 |  1.984 % |
1026.28/1026.67	c |    159190 |   14327    59193   177592 | 2147483647   159177     45 |  1.984 % |
1036.78/1037.15	c |    160350 |   14327    59193   177592 | 2147483647   160337     45 |  1.984 % |
1049.08/1049.46	c |    161623 |   14327    59193   177592 | 2147483647   161610     45 |  1.984 % |
1056.97/1057.34	c |    163023 |   14327    59193   177592 | 2147483647   163010     45 |  1.984 % |
1070.77/1071.17	c |    164563 |   14327    59193   177592 | 2147483647   164550     45 |  1.984 % |
1084.86/1085.29	c |    166257 |   14327    59193   177592 | 2147483647   166244     45 |  1.984 % |
1085.96/1086.31	c |    166358 |   14327    59193   177592 | 2147483647   166345     45 |  1.984 % |
1087.17/1087.52	c |    166468 |   14327    59193   177592 | 2147483647   166455     45 |  1.984 % |
1088.27/1088.62	c |    166593 |   14327    59193   177592 | 2147483647   166580     45 |  1.984 % |
1089.37/1089.73	c |    166726 |   14327    59193   177592 | 2147483647   166713     45 |  1.984 % |
1090.57/1090.96	c |    166872 |   14327    59193   177592 | 2147483647   166859     45 |  1.984 % |
1091.57/1091.99	c |    167033 |   14327    59193   177592 | 2147483647   167020     45 |  1.984 % |
1093.07/1093.44	c |    167211 |   14327    59193   177592 | 2147483647   167198     45 |  1.984 % |
1094.87/1095.26	c |    167404 |   14327    59193   177592 | 2147483647   167391     45 |  1.984 % |
1096.37/1096.76	c |    167616 |   14327    59193   177592 | 2147483647   167603     45 |  1.984 % |
1098.36/1098.74	c |    167849 |   14327    59193   177592 | 2147483647   167836     45 |  1.984 % |
1100.77/1101.18	c |    168106 |   14327    59193   177592 | 2147483647   168093     45 |  1.984 % |
1103.46/1103.81	c |    168388 |   14327    59193   177592 | 2147483647   168375     45 |  1.984 % |
1106.36/1106.78	c |    168697 |   14327    59193   177592 | 2147483647   168684     45 |  1.984 % |
1109.66/1110.02	c |    169037 |   14327    59193   177592 | 2147483647   169024     45 |  1.984 % |
1113.36/1113.76	c |    169409 |   14327    59193   177592 | 2147483647   169396     45 |  1.984 % |
1117.66/1118.06	c |    169818 |   14327    59193   177592 | 2147483647   169805     45 |  1.984 % |
1122.55/1122.97	c |    170269 |   14327    59193   177592 | 2147483647   170256     45 |  1.984 % |
1127.45/1127.84	c |    170762 |   14327    59193   177592 | 2147483647   170749     45 |  1.984 % |
1132.56/1132.93	c |    171304 |   14327    59193   177592 | 2147483647   171291     45 |  1.984 % |
1137.95/1138.30	c |    171901 |   14327    59193   177592 | 2147483647   171888     45 |  1.984 % |
1143.55/1143.95	c |    172556 |   14327    59193   177592 | 2147483647   172543     45 |  1.984 % |
1151.05/1151.49	c |    173277 |   14327    59193   177592 | 2147483647   173264     45 |  1.984 % |
1158.74/1159.12	c |    174070 |   14327    59193   177592 | 2147483647   174057     45 |  1.984 % |
1166.24/1166.66	c |    174941 |   14327    59193   177592 | 2147483647   174928     45 |  1.984 % |
1175.24/1175.67	c |    175900 |   14327    59193   177592 | 2147483647   175887     45 |  1.984 % |
1184.93/1185.34	c |    176953 |   14327    59193   177592 | 2147483647   176940     45 |  1.984 % |
1195.63/1196.00	c |    178114 |   14327    59193   177592 | 2147483647   178101     45 |  1.984 % |
1206.63/1207.09	c |    179388 |   14327    59193   177592 | 2147483647   179375     45 |  1.984 % |
1219.43/1219.83	c |    180789 |   14327    59193   177592 | 2147483647   180776     45 |  1.984 % |
1233.22/1233.67	c |    182329 |   14327    59193   177592 | 2147483647   182316     45 |  1.984 % |
1250.92/1251.37	c |    184024 |   14327    59193   177592 | 2147483647   184011     45 |  1.984 % |
1270.81/1271.21	c |    185887 |   14327    59193   177592 | 2147483647   185874     45 |  1.984 % |
1271.72/1272.19	c |    185987 |   14327    59193   177592 | 2147483647   185974     45 |  1.984 % |
1272.82/1273.28	c |    186097 |   14327    59193   177592 | 2147483647   186084     45 |  1.984 % |
1274.22/1274.65	c |    186219 |   14327    59193   177592 | 2147483647   186206     45 |  1.984 % |
1275.62/1276.03	c |    186352 |   14327    59193   177592 | 2147483647   186339     45 |  1.984 % |
1277.32/1277.74	c |    186498 |   14327    59193   177592 | 2147483647   186485     45 |  1.984 % |
1279.22/1279.64	c |    186659 |   14327    59193   177592 | 2147483647   186646     45 |  1.984 % |
1281.22/1281.60	c |    186836 |   14327    59193   177592 | 2147483647   186823     45 |  1.984 % |
1283.01/1283.48	c |    187029 |   14327    59193   177592 | 2147483647   187016     45 |  1.984 % |
1285.61/1286.03	c |    187242 |   14327    59193   177592 | 2147483647   187229     45 |  1.984 % |
1287.51/1287.99	c |    187475 |   14327    59193   177592 | 2147483647   187462     45 |  1.984 % |
1289.51/1289.93	c |    187732 |   14327    59193   177592 | 2147483647   187719     45 |  1.984 % |
1292.01/1292.41	c |    188013 |   14327    59193   177592 | 2147483647   188000     45 |  1.984 % |
1295.51/1295.94	c |    188323 |   14327    59193   177592 | 2147483647   188310     45 |  1.984 % |
1298.81/1299.28	c |    188663 |   14327    59193   177592 | 2147483647   188650     45 |  1.984 % |
1302.20/1302.69	c |    189036 |   14327    59193   177592 | 2147483647   189023     45 |  1.984 % |
1306.60/1307.00	c |    189445 |   14327    59193   177592 | 2147483647   189432     45 |  1.984 % |
1310.00/1310.41	c |    189895 |   14327    59193   177592 | 2147483647   189882     45 |  1.984 % |
1314.61/1315.02	c |    190388 |   14327    59193   177592 | 2147483647   190375     45 |  1.984 % |
1320.00/1320.45	c |    190931 |   14327    59193   177592 | 2147483647   190918     45 |  1.984 % |
1326.40/1326.85	c |    191527 |   14327    59193   177592 | 2147483647   191514     45 |  1.984 % |
1333.80/1334.20	c |    192182 |   14327    59193   177592 | 2147483647   192169     45 |  1.984 % |
1340.00/1340.42	c |    192903 |   14327    59193   177592 | 2147483647   192890     45 |  1.984 % |
1347.29/1347.79	c |    193696 |   14327    59193   177592 | 2147483647   193683     45 |  1.984 % |
1355.59/1356.04	c |    194567 |   14327    59193   177592 | 2147483647   194554     45 |  1.984 % |
1366.89/1367.33	c |    195525 |   14327    59193   177592 | 2147483647   195512     45 |  1.984 % |
1377.89/1378.35	c |    196579 |   14327    59193   177592 | 2147483647   196566     45 |  1.984 % |
1389.69/1390.10	c |    197738 |   14327    59193   177592 | 2147483647   197725     45 |  1.984 % |
1403.58/1404.00	c |    199012 |   14327    59193   177592 | 2147483647   198999     45 |  1.984 % |
1419.08/1419.52	c |    200413 |   14327    59193   177592 | 2147483647   200400     45 |  1.984 % |
1435.27/1435.79	c |    201953 |   14327    59193   177592 | 2147483647   201940     45 |  1.984 % |
1452.06/1452.50	c |    203647 |   14327    59193   177592 | 2147483647   203634     45 |  1.984 % |
1466.07/1466.55	c |    205510 |   14327    59193   177592 | 2147483647   205497     45 |  1.984 % |
1484.36/1484.83	c |    207561 |   14327    59193   177592 | 2147483647   207548     45 |  1.984 % |
1485.06/1485.56	c |    207661 |   14327    59193   177592 | 2147483647   207648     45 |  1.984 % |
1486.26/1486.71	c |    207771 |   14327    59193   177592 | 2147483647   207758     45 |  1.984 % |
1487.26/1487.78	c |    207892 |   14327    59193   177592 | 2147483647   207879     45 |  1.984 % |
1488.56/1489.02	c |    208025 |   14327    59193   177592 | 2147483647   208012     45 |  1.984 % |
1490.26/1490.77	c |    208172 |   14327    59193   177592 | 2147483647   208159     45 |  1.984 % |
1492.06/1492.56	c |    208333 |   14327    59193   177592 | 2147483647   208320     45 |  1.984 % |
1494.06/1494.51	c |    208509 |   14327    59193   177592 | 2147483647   208496     45 |  1.984 % |
1496.46/1496.90	c |    208703 |   14327    59193   177592 | 2147483647   208690     45 |  1.984 % |
1498.96/1499.46	c |    208917 |   14327    59193   177592 | 2147483647   208904     45 |  1.984 % |
1501.56/1502.02	c |    209150 |   14327    59193   177592 | 2147483647   209137     45 |  1.984 % |
1503.85/1504.34	c |    209407 |   14327    59193   177592 | 2147483647   209394     45 |  1.984 % |
1506.15/1506.66	c |    209691 |   14327    59193   177592 | 2147483647   209678     45 |  1.984 % |
1508.66/1509.18	c |    210002 |   14327    59193   177592 | 2147483647   209989     45 |  1.984 % |
1512.75/1513.23	c |    210342 |   14327    59193   177592 | 2147483647   210329     45 |  1.984 % |
1516.45/1516.95	c |    210714 |   14327    59193   177592 | 2147483647   210701     45 |  1.984 % |
1521.24/1521.72	c |    211123 |   14327    59193   177592 | 2147483647   211110     45 |  1.984 % |
1525.64/1526.17	c |    211573 |   14327    59193   177592 | 2147483647   211560     45 |  1.984 % |
1531.44/1531.92	c |    212067 |   14327    59193   177592 | 2147483647   212054     45 |  1.984 % |
1537.64/1538.15	c |    212609 |   14327    59193   177592 | 2147483647   212596     45 |  1.984 % |
1544.15/1544.66	c |    213207 |   14327    59193   177592 | 2147483647   213194     45 |  1.984 % |
1551.95/1552.49	c |    213862 |   14327    59193   177592 | 2147483647   213849     45 |  1.984 % |
1556.54/1557.08	c |    214582 |   14327    59193   177592 | 2147483647   214569     45 |  1.984 % |
1566.34/1566.82	c |    215375 |   14327    59193   177592 | 2147483647   215362     45 |  1.984 % |
1572.74/1573.24	c |    216246 |   14327    59193   177592 | 2147483647   216233     45 |  1.984 % |
1584.03/1584.55	c |    217205 |   14327    59193   177592 | 2147483647   217192     45 |  1.984 % |
1596.63/1597.11	c |    218259 |   14327    59193   177592 | 2147483647   218246     45 |  1.984 % |
1609.12/1609.63	c |    219418 |   14327    59193   177592 | 2147483647   219405     45 |  1.984 % |
1622.12/1622.67	c |    220692 |   14327    59193   177592 | 2147483647   220679     45 |  1.984 % |
1637.71/1638.24	c |    222092 |   14327    59193   177592 | 2147483647   222079     45 |  1.984 % |
1654.02/1654.53	c |    223632 |   14327    59193   177592 | 2147483647   223619     45 |  1.984 % |
1668.01/1668.53	c |    225327 |   14327    59193   177592 | 2147483647   225314     45 |  1.984 % |
1686.81/1687.34	c |    227191 |   14327    59193   177592 | 2147483647   227178     45 |  1.984 % |
1709.49/1710.08	c |    229240 |   14327    59193   177592 | 2147483647   229227     45 |  1.984 % |
1734.30/1734.80	c |    231494 |   14327    59193   177592 | 2147483647   231481     45 |  1.984 % |
1735.50/1736.07	c |    231594 |   14327    59193   177592 | 2147483647   231581     45 |  1.984 % |
1737.00/1737.58	c |    231704 |   14327    59193   177592 | 2147483647   231691     45 |  1.984 % |
1738.50/1739.01	c |    231825 |   14327    59193   177592 | 2147483647   231812     45 |  1.984 % |
1739.89/1740.45	c |    231958 |   14327    59193   177592 | 2147483647   231945     45 |  1.984 % |
1741.49/1742.01	c |    232105 |   14327    59193   177592 | 2147483647   232092     45 |  1.984 % |
1743.00/1743.56	c |    232265 |   14327    59193   177592 | 2147483647   232252     45 |  1.984 % |
1745.29/1745.80	c |    232441 |   14327    59193   177592 | 2147483647   232428     45 |  1.984 % |
1747.59/1748.16	c |    232634 |   14327    59193   177592 | 2147483647   232621     45 |  1.984 % |
1750.19/1750.76	c |    232846 |   14327    59193   177592 | 2147483647   232833     45 |  1.984 % |
1752.39/1752.92	c |    233080 |   14327    59193   177592 | 2147483647   233067     45 |  1.984 % |
1754.79/1755.38	c |    233336 |   14327    59193   177592 | 2147483647   233323     45 |  1.984 % |
1757.59/1758.17	c |    233618 |   14327    59193   177592 | 2147483647   233605     45 |  1.984 % |
1760.69/1761.27	c |    233928 |   14327    59193   177592 | 2147483647   233915     45 |  1.984 % |
1764.59/1765.13	c |    234267 |   14327    59193   177592 | 2147483647   234254     45 |  1.984 % |
1769.18/1769.78	c |    234639 |   14327    59193   177592 | 2147483647   234626     45 |  1.984 % |
1773.38/1773.99	c |    235049 |   14327    59193   177592 | 2147483647   235036     45 |  1.984 % |
1778.58/1779.17	c |    235499 |   14327    59193   177592 | 2147483647   235486     45 |  1.984 % |
1784.28/1784.85	c |    235992 |   14327    59193   177592 | 2147483647   235979     45 |  1.984 % |
1789.18/1789.75	c |    236536 |   14327    59193   177592 | 2147483647   236523     45 |  1.984 % |
1796.27/1796.82	c |    237133 |   14327    59193   177592 | 2147483647   237120     45 |  1.984 % |
1803.38/1803.98	c |    237789 |   14327    59193   177592 | 2147483647   237776     45 |  1.984 % |
1811.47/1812.08	c |    238510 |   14327    59193   177592 | 2147483647   238497     45 |  1.984 % |
1822.47/1823.05	c |    239302 |   14327    59193   177592 | 2147483647   239289     45 |  1.984 % |
1832.26/1832.88	c |    240174 |   14327    59193   177592 | 2147483647   240161     45 |  1.984 % |
1843.76/1844.35	c |    241132 |   14327    59193   177592 | 2147483647   241119     45 |  1.984 % |
1856.96/1857.52	c |    242185 |   14327    59193   177592 | 2147483647   242172     45 |  1.984 % |
1870.56/1871.15	c |    243344 |   14327    59193   177592 | 2147483647   243331     45 |  1.984 % |
1885.06/1885.64	c |    244618 |   14327    59193   177592 | 2147483647   244605     45 |  1.984 % |
1900.55/1901.10	c |    246018 |   14327    59193   177592 | 2147483647   246005     45 |  1.984 % |
1919.15/1919.71	c |    247558 |   14327    59193   177592 | 2147483647   247545     45 |  1.984 % |
1939.74/1940.39	c |    249252 |   14327    59193   177592 | 2147483647   249239     45 |  1.984 % |
1962.63/1963.28	c |    251115 |   14327    59193   177592 | 2147483647   251102     45 |  1.984 % |
1986.72/1987.40	c |    253164 |   14327    59193   177592 | 2147483647   253151     45 |  1.984 % |
2011.52/2012.11	c |    255418 |   14327    59193   177592 | 2147483647   255405     45 |  1.984 % |
2038.91/2039.54	c |    257898 |   14327    59193   177592 | 2147483647   257885     45 |  1.984 % |
2039.92/2040.55	c |    257999 |   14327    59193   177592 | 2147483647   257986     45 |  1.984 % |
2041.21/2041.82	c |    258110 |   14327    59193   177592 | 2147483647   258097     45 |  1.984 % |
2042.61/2043.24	c |    258231 |   14327    59193   177592 | 2147483647   258218     45 |  1.984 % |
2044.11/2044.74	c |    258367 |   14327    59193   177592 | 2147483647   258354     45 |  1.984 % |
2046.11/2046.71	c |    258514 |   14327    59193   177592 | 2147483647   258501     45 |  1.984 % |
2048.41/2049.07	c |    258674 |   14327    59193   177592 | 2147483647   258661     45 |  1.984 % |
2050.81/2051.49	c |    258851 |   14327    59193   177592 | 2147483647   258838     45 |  1.984 % |
2053.21/2053.87	c |    259044 |   14327    59193   177592 | 2147483647   259031     45 |  1.984 % |
2055.91/2056.53	c |    259257 |   14327    59193   177592 | 2147483647   259244     45 |  1.984 % |
2057.71/2058.33	c |    259492 |   14327    59193   177592 | 2147483647   259479     45 |  1.984 % |
2060.31/2060.93	c |    259748 |   14327    59193   177592 | 2147483647   259735     45 |  1.984 % |
2063.10/2063.72	c |    260029 |   14327    59193   177592 | 2147483647   260016     45 |  1.984 % |
2066.50/2067.18	c |    260338 |   14327    59193   177592 | 2147483647   260325     45 |  1.984 % |
2070.40/2071.06	c |    260677 |   14327    59193   177592 | 2147483647   260664     45 |  1.984 % |
2074.20/2074.89	c |    261051 |   14327    59193   177592 | 2147483647   261038     45 |  1.984 % |
2078.50/2079.15	c |    261461 |   14327    59193   177592 | 2147483647   261448     45 |  1.984 % |
2083.70/2084.32	c |    261910 |   14327    59193   177592 | 2147483647   261897     45 |  1.984 % |
2089.40/2090.08	c |    262405 |   14327    59193   177592 | 2147483647   262392     45 |  1.984 % |
2095.39/2096.05	c |    262947 |   14327    59193   177592 | 2147483647   262934     45 |  1.984 % |
2101.70/2102.37	c |    263544 |   14327    59193   177592 | 2147483647   263531     45 |  1.984 % |
2109.80/2110.42	c |    264202 |   14327    59193   177592 | 2147483647   264189     45 |  1.984 % |
2119.99/2120.68	c |    264923 |   14327    59193   177592 | 2147483647   264910     45 |  1.984 % |
2129.09/2129.71	c |    265715 |   14327    59193   177592 | 2147483647   265702     45 |  1.984 % |
2140.18/2140.89	c |    266588 |   14327    59193   177592 | 2147483647   266575     45 |  1.984 % |
2152.38/2153.07	c |    267547 |   14327    59193   177592 | 2147483647   267534     44 |  1.984 % |
2165.28/2165.91	c |    268600 |   14327    59193   177592 | 2147483647   268587     44 |  1.984 % |
2179.77/2180.49	c |    269758 |   14327    59193   177592 | 2147483647   269745     44 |  1.984 % |
2196.97/2197.60	c |    271032 |   14327    59193   177592 | 2147483647   271019     44 |  1.984 % |
2212.47/2213.19	c |    272432 |   14327    59193   177592 | 2147483647   272419     45 |  1.984 % |
2228.46/2229.18	c |    273972 |   14327    59193   177592 | 2147483647   273959     45 |  1.984 % |
2248.36/2249.00	c |    275666 |   14327    59193   177592 | 2147483647   275653     45 |  1.984 % |
2269.15/2269.88	c |    277530 |   14327    59193   177592 | 2147483647   277517     45 |  1.984 % |
2296.35/2297.04	c |    279579 |   14327    59193   177592 | 2147483647   279566     45 |  1.984 % |
2316.34/2317.02	c |    281832 |   14327    59193   177592 | 2147483647   281819     45 |  1.984 % |
2343.63/2344.31	c |    284312 |   14327    59193   177592 | 2147483647   284299     45 |  1.984 % |
2376.63/2377.39	c |    287038 |   14327    59193   177592 | 2147483647   287025     45 |  1.984 % |
2377.93/2378.68	c |    287139 |   14327    59193   177592 | 2147483647   287126     45 |  1.984 % |
2379.23/2379.98	c |    287249 |   14327    59193   177592 | 2147483647   287236     45 |  1.984 % |
2380.73/2381.44	c |    287371 |   14327    59193   177592 | 2147483647   287358     45 |  1.984 % |
2382.63/2383.30	c |    287504 |   14327    59193   177592 | 2147483647   287491     45 |  1.984 % |
2384.22/2384.99	c |    287650 |   14327    59193   177592 | 2147483647   287637     45 |  1.984 % |
2386.33/2387.08	c |    287810 |   14327    59193   177592 | 2147483647   287797     45 |  1.984 % |
2388.22/2388.92	c |    287986 |   14327    59193   177592 | 2147483647   287973     45 |  1.984 % |
2390.42/2391.18	c |    288180 |   14327    59193   177592 | 2147483647   288167     45 |  1.984 % |
2393.02/2393.72	c |    288392 |   14327    59193   177592 | 2147483647   288379     45 |  1.984 % |
2396.22/2396.95	c |    288626 |   14327    59193   177592 | 2147483647   288613     45 |  1.984 % |
2398.92/2399.70	c |    288883 |   14327    59193   177592 | 2147483647   288870     45 |  1.984 % |
2401.52/2402.24	c |    289164 |   14327    59193   177592 | 2147483647   289151     45 |  1.984 % |
2405.72/2406.40	c |    289473 |   14327    59193   177592 | 2147483647   289460     45 |  1.984 % |
2409.71/2410.46	c |    289813 |   14327    59193   177592 | 2147483647   289800     45 |  1.984 % |
2412.11/2412.87	c |    290186 |   14327    59193   177592 | 2147483647   290173     45 |  1.984 % |
2416.31/2417.00	c |    290596 |   14327    59193   177592 | 2147483647   290583     45 |  1.984 % |
2421.31/2422.08	c |    291045 |   14327    59193   177592 | 2147483647   291032     45 |  1.984 % |
2428.51/2429.29	c |    291539 |   14327    59193   177592 | 2147483647   291526     45 |  1.984 % |
2436.51/2437.24	c |    292081 |   14327    59193   177592 | 2147483647   292068     45 |  1.984 % |
2444.20/2444.92	c |    292678 |   14327    59193   177592 | 2147483647   292665     45 |  1.984 % |
2453.70/2454.42	c |    293334 |   14327    59193   177592 | 2147483647   293321     45 |  1.984 % |
2462.80/2463.58	c |    294054 |   14327    59193   177592 | 2147483647   294041     45 |  1.984 % |
2474.31/2475.02	c |    294847 |   14327    59193   177592 | 2147483647   294834     45 |  1.984 % |
2487.10/2487.88	c |    295718 |   14327    59193   177592 | 2147483647   295705     45 |  1.984 % |
2499.60/2500.33	c |    296677 |   14327    59193   177592 | 2147483647   296664     45 |  1.984 % |
2512.29/2513.04	c |    297730 |   14327    59193   177592 | 2147483647   297717     45 |  1.984 % |
2526.68/2527.47	c |    298890 |   14327    59193   177592 | 2147483647   298877     45 |  1.984 % |
2541.18/2541.90	c |    300164 |   14327    59193   177592 | 2147483647   300151     45 |  1.984 % |
2558.07/2558.90	c |    301564 |   14327    59193   177592 | 2147483647   301551     45 |  1.984 % |
2577.77/2578.54	c |    303105 |   14327    59193   177592 | 2147483647   303092     45 |  1.984 % |
2600.57/2601.34	c |    304799 |   14327    59193   177592 | 2147483647   304786     45 |  1.984 % |
2624.66/2625.48	c |    306663 |   14327    59193   177592 | 2147483647   306650     45 |  1.984 % |
2653.45/2654.30	c |    308713 |   14327    59193   177592 | 2147483647   308700     45 |  1.984 % |
2682.15/2682.97	c |    310966 |   14327    59193   177592 | 2147483647   310953     45 |  1.984 % |
2714.23/2715.02	c |    313445 |   14327    59193   177592 | 2147483647   313432     45 |  1.984 % |
2749.42/2750.22	c |    316171 |   14327    59193   177592 | 2147483647   316158     45 |  1.984 % |
2789.62/2790.45	c |    319169 |   14327    59193   177592 | 2147483647   319156     45 |  1.984 % |
2791.11/2791.92	c |    319269 |   14327    59193   177592 | 2147483647   319256     45 |  1.984 % |
2792.62/2793.46	c |    319379 |   14327    59193   177592 | 2147483647   319366     45 |  1.984 % |
2793.91/2794.77	c |    319501 |   14327    59193   177592 | 2147483647   319488     45 |  1.984 % |
2795.91/2796.71	c |    319635 |   14327    59193   177592 | 2147483647   319622     45 |  1.984 % |
2797.91/2798.79	c |    319783 |   14327    59193   177592 | 2147483647   319770     45 |  1.984 % |
2799.82/2800.65	c |    319943 |   14327    59193   177592 | 2147483647   319930     45 |  1.984 % |
2802.31/2803.19	c |    320119 |   14327    59193   177592 | 2147483647   320106     45 |  1.984 % |
2805.01/2805.86	c |    320313 |   14327    59193   177592 | 2147483647   320300     45 |  1.984 % |
2808.01/2808.86	c |    320527 |   14327    59193   177592 | 2147483647   320514     45 |  1.984 % |
2811.61/2812.49	c |    320760 |   14327    59193   177592 | 2147483647   320747     45 |  1.984 % |
2814.81/2815.68	c |    321016 |   14327    59193   177592 | 2147483647   321003     45 |  1.984 % |
2819.51/2820.30	c |    321299 |   14327    59193   177592 | 2147483647   321286     45 |  1.984 % |
2823.50/2824.33	c |    321610 |   14327    59193   177592 | 2147483647   321597     45 |  1.984 % |
2828.50/2829.30	c |    321949 |   14327    59193   177592 | 2147483647   321936     45 |  1.984 % |
2833.30/2834.13	c |    322321 |   14327    59193   177592 | 2147483647   322308     45 |  1.984 % |
2837.00/2837.82	c |    322730 |   14327    59193   177592 | 2147483647   322717     45 |  1.984 % |
2842.90/2843.73	c |    323179 |   14327    59193   177592 | 2147483647   323166     45 |  1.984 % |
2849.59/2850.43	c |    323673 |   14327    59193   177592 | 2147483647   323660     45 |  1.984 % |
2856.69/2857.54	c |    324215 |   14327    59193   177592 | 2147483647   324202     45 |  1.984 % |
2864.20/2865.04	c |    324811 |   14327    59193   177592 | 2147483647   324798     45 |  1.984 % |
2873.19/2874.04	c |    325467 |   14327    59193   177592 | 2147483647   325454     45 |  1.984 % |
2883.59/2884.42	c |    326187 |   14327    59193   177592 | 2147483647   326174     45 |  1.984 % |
2894.49/2895.33	c |    326979 |   14327    59193   177592 | 2147483647   326966     45 |  1.984 % |
2906.78/2907.69	c |    327850 |   14327    59193   177592 | 2147483647   327837     45 |  1.984 % |
2919.88/2920.73	c |    328809 |   14327    59193   177592 | 2147483647   328796     45 |  1.984 % |
2932.27/2933.15	c |    329862 |   14327    59193   177592 | 2147483647   329849     45 |  1.984 % |
2945.37/2946.29	c |    331020 |   14327    59193   177592 | 2147483647   331007     45 |  1.984 % |
2961.96/2962.87	c |    332293 |   14327    59193   177592 | 2147483647   332280     45 |  1.984 % |
2980.17/2981.06	c |    333694 |   14327    59193   177592 | 2147483647   333681     45 |  1.984 % |
3000.26/3001.15	c |    335235 |   14327    59193   177592 | 2147483647   335222     45 |  1.984 % |
3018.35/3019.29	c |    336930 |   14327    59193   177592 | 2147483647   336917     45 |  1.984 % |
3043.65/3044.57	c |    338794 |   14327    59193   177592 | 2147483647   338781     45 |  1.984 % |
3068.14/3069.03	c |    340844 |   14327    59193   177592 | 2147483647   340831     45 |  1.984 % |
3095.14/3096.09	c |    343098 |   14327    59193   177592 | 2147483647   343085     45 |  1.984 % |
3129.02/3129.99	c |    345576 |   14327    59193   177592 | 2147483647   345563     44 |  1.984 % |
3166.21/3167.18	c |    348301 |   14327    59193   177592 | 2147483647   348288     45 |  1.984 % |
3205.01/3205.97	c |    351299 |   14327    59193   177592 | 2147483647   351286     45 |  1.984 % |
3251.59/3252.51	c |    354595 |   14327    59193   177592 | 2147483647   354582     45 |  1.984 % |
3252.99/3253.96	c |    354695 |   14327    59193   177592 | 2147483647   354682     45 |  1.984 % |
3254.39/3255.36	c |    354805 |   14327    59193   177592 | 2147483647   354792     45 |  1.984 % |
3256.19/3257.15	c |    354926 |   14327    59193   177592 | 2147483647   354913     45 |  1.984 % |
3258.39/3259.33	c |    355060 |   14327    59193   177592 | 2147483647   355047     45 |  1.984 % |
3259.99/3260.94	c |    355208 |   14327    59193   177592 | 2147483647   355195     45 |  1.984 % |
3262.19/3263.13	c |    355369 |   14327    59193   177592 | 2147483647   355356     45 |  1.984 % |
3263.79/3264.79	c |    355545 |   14327    59193   177592 | 2147483647   355532     45 |  1.984 % |
3266.48/3267.48	c |    355739 |   14327    59193   177592 | 2147483647   355726     45 |  1.984 % |
3268.98/3269.97	c |    355953 |   14327    59193   177592 | 2147483647   355940     45 |  1.984 % |
3272.28/3273.29	c |    356186 |   14327    59193   177592 | 2147483647   356173     45 |  1.984 % |
3275.88/3276.85	c |    356443 |   14327    59193   177592 | 2147483647   356430     45 |  1.984 % |
3279.98/3280.98	c |    356724 |   14327    59193   177592 | 2147483647   356711     45 |  1.984 % |
3284.49/3285.42	c |    357033 |   14327    59193   177592 | 2147483647   357020     45 |  1.984 % |
3289.98/3290.91	c |    357372 |   14327    59193   177592 | 2147483647   357359     45 |  1.984 % |
3296.08/3297.06	c |    357744 |   14327    59193   177592 | 2147483647   357731     45 |  1.984 % |
3302.08/3303.00	c |    358153 |   14327    59193   177592 | 2147483647   358140     45 |  1.984 % |
3308.88/3309.84	c |    358603 |   14327    59193   177592 | 2147483647   358590     45 |  1.984 % |
3315.98/3316.99	c |    359096 |   14327    59193   177592 | 2147483647   359083     45 |  1.984 % |
3324.87/3325.89	c |    359639 |   14327    59193   177592 | 2147483647   359626     45 |  1.984 % |
3333.87/3334.89	c |    360235 |   14327    59193   177592 | 2147483647   360222     45 |  1.984 % |
3343.77/3344.75	c |    360891 |   14327    59193   177592 | 2147483647   360878     45 |  1.984 % |
3353.16/3354.11	c |    361611 |   14327    59193   177592 | 2147483647   361598     45 |  1.984 % |
3364.26/3365.28	c |    362404 |   14327    59193   177592 | 2147483647   362391     45 |  1.984 % |
3375.65/3376.68	c |    363275 |   14327    59193   177592 | 2147483647   363262     45 |  1.984 % |
3389.06/3390.03	c |    364233 |   14327    59193   177592 | 2147483647   364220     45 |  1.984 % |
3404.16/3405.12	c |    365286 |   14327    59193   177592 | 2147483647   365273     45 |  1.984 % |
3420.55/3421.54	c |    366444 |   14327    59193   177592 | 2147483647   366431     45 |  1.984 % |
3434.74/3435.74	c |    367719 |   14327    59193   177592 | 2147483647   367706     45 |  1.984 % |
3457.04/3458.06	c |    369120 |   14327    59193   177592 | 2147483647   369107     45 |  1.984 % |
3479.63/3480.62	c |    370660 |   14327    59193   177592 | 2147483647   370647     45 |  1.984 % |
3501.23/3502.22	c |    372355 |   14327    59193   177592 | 2147483647   372342     45 |  1.984 % |
3523.92/3525.00	c |    374219 |   14327    59193   177592 | 2147483647   374206     45 |  1.984 % |
3551.11/3552.12	c |    376268 |   14327    59193   177592 | 2147483647   376255     45 |  1.984 % |
3583.30/3584.37	c |    378521 |   14327    59193   177592 | 2147483647   378508     45 |  1.984 % |
3621.60/3622.63	c |    381000 |   14327    59193   177592 | 2147483647   380987     45 |  1.984 % |
3659.98/3661.05	c |    383725 |   14327    59193   177592 | 2147483647   383712     45 |  1.984 % |
3699.17/3700.24	c |    386722 |   14327    59193   177592 | 2147483647   386709     45 |  1.984 % |
3749.87/3750.96	c |    390020 |   14327    59193   177592 | 2147483647   390007     45 |  1.984 % |
3800.84/3801.95	c |    393646 |   14327    59193   177592 | 2147483647   393633     45 |  1.984 % |
3802.14/3803.28	c |    393746 |   14327    59193   177592 | 2147483647   393733     45 |  1.984 % |
3804.14/3805.29	c |    393857 |   14327    59193   177592 | 2147483647   393844     45 |  1.984 % |
3805.74/3806.83	c |    393980 |   14327    59193   177592 | 2147483647   393967     45 |  1.984 % |
3806.84/3807.97	c |    394113 |   14327    59193   177592 | 2147483647   394100     45 |  1.984 % |
3809.13/3810.26	c |    394263 |   14327    59193   177592 | 2147483647   394250     45 |  1.984 % |
3812.04/3813.19	c |    394423 |   14327    59193   177592 | 2147483647   394410     45 |  1.984 % |
3815.24/3816.39	c |    394600 |   14327    59193   177592 | 2147483647   394587     45 |  1.984 % |
3818.14/3819.24	c |    394793 |   14327    59193   177592 | 2147483647   394780     45 |  1.984 % |
3820.54/3821.67	c |    395006 |   14327    59193   177592 | 2147483647   394993     45 |  1.984 % |
3824.34/3825.46	c |    395240 |   14327    59193   177592 | 2147483647   395227     45 |  1.984 % |
3827.83/3828.98	c |    395497 |   14327    59193   177592 | 2147483647   395484     45 |  1.984 % |
3832.10/3833.20	c |    395779 |   14327    59193   177592 | 2147483647   395766     45 |  1.984 % |
3835.60/3836.71	c |    396089 |   14327    59193   177592 | 2147483647   396076     45 |  1.984 % |
3841.69/3842.88	c |    396428 |   14327    59193   177592 | 2147483647   396415     45 |  1.984 % |
3847.19/3848.36	c |    396800 |   14327    59193   177592 | 2147483647   396787     45 |  1.984 % |
3854.68/3855.80	c |    397210 |   14327    59193   177592 | 2147483647   397197     45 |  1.984 % |
3861.69/3862.86	c |    397659 |   14327    59193   177592 | 2147483647   397646     45 |  1.984 % |
3869.19/3870.36	c |    398153 |   14327    59193   177592 | 2147483647   398140     45 |  1.984 % |
3877.69/3878.83	c |    398696 |   14327    59193   177592 | 2147483647   398683     45 |  1.984 % |
3885.88/3887.08	c |    399292 |   14327    59193   177592 | 2147483647   399279     45 |  1.984 % |
3895.28/3896.43	c |    399947 |   14327    59193   177592 | 2147483647   399934     45 |  1.984 % |
3906.18/3907.30	c |    400667 |   14327    59193   177592 | 2147483647   400654     45 |  1.984 % |
3913.48/3914.62	c |    401459 |   14327    59193   177592 | 2147483647   401446     45 |  1.984 % |
3921.67/3922.80	c |    402332 |   14327    59193   177592 | 2147483647   402319     45 |  1.984 % |
3938.17/3939.37	c |    403290 |   14327    59193   177592 | 2147483647   403277     45 |  1.984 % |
3954.36/3955.56	c |    404344 |   14327    59193   177592 | 2147483647   404331     45 |  1.984 % |
3972.86/3974.04	c |    405503 |   14327    59193   177592 | 2147483647   405490     45 |  1.984 % |
3993.46/3994.66	c |    406776 |   14327    59193   177592 | 2147483647   406763     45 |  1.984 % |
4017.15/4018.37	c |    408176 |   14327    59193   177592 | 2147483647   408163     45 |  1.984 % |
4043.44/4044.67	c |    409717 |   14327    59193   177592 | 2147483647   409704     45 |  1.984 % |
4072.93/4074.19	c |    411412 |   14327    59193   177592 | 2147483647   411399     45 |  1.984 % |
4103.13/4104.39	c |    413275 |   14327    59193   177592 | 2147483647   413262     45 |  1.984 % |
4133.12/4134.35	c |    415325 |   14327    59193   177592 | 2147483647   415312     45 |  1.984 % |
4168.30/4169.50	c |    417578 |   14327    59193   177592 | 2147483647   417565     45 |  1.984 % |
4210.50/4211.77	c |    420057 |   14327    59193   177592 | 2147483647   420044     45 |  1.984 % |
4253.49/4254.73	c |    422782 |   14327    59193   177592 | 2147483647   422769     45 |  1.984 % |
4300.88/4302.18	c |    425779 |   14327    59193   177592 | 2147483647   425766     45 |  1.984 % |
4355.56/4356.80	c |    429076 |   14327    59193   177592 | 2147483647   429063     45 |  1.984 % |
4412.74/4414.07	c |    432701 |   14327    59193   177592 | 2147483647   432688     45 |  1.984 % |
4478.82/4480.18	c |    436689 |   14327    59193   177592 | 2147483647   436676     45 |  1.984 % |
4480.52/4481.87	c |    436789 |   14327    59193   177592 | 2147483647   436776     45 |  1.984 % |
4482.42/4483.77	c |    436901 |   14327    59193   177592 | 2147483647   436888     45 |  1.984 % |
4484.33/4485.64	c |    437022 |   14327    59193   177592 | 2147483647   437009     45 |  1.984 % |
4486.73/4488.09	c |    437155 |   14327    59193   177592 | 2147483647   437142     45 |  1.984 % |
4489.52/4490.81	c |    437302 |   14327    59193   177592 | 2147483647   437289     45 |  1.984 % |
4491.72/4493.06	c |    437462 |   14327    59193   177592 | 2147483647   437449     45 |  1.984 % |
4495.12/4496.47	c |    437639 |   14327    59193   177592 | 2147483647   437626     45 |  1.984 % |
4498.62/4499.92	c |    437833 |   14327    59193   177592 | 2147483647   437820     45 |  1.984 % |
4502.32/4503.61	c |    438047 |   14327    59193   177592 | 2147483647   438034     45 |  1.984 % |
4507.02/4508.39	c |    438281 |   14327    59193   177592 | 2147483647   438268     45 |  1.984 % |
4511.22/4512.53	c |    438537 |   14327    59193   177592 | 2147483647   438524     45 |  1.984 % |
4516.22/4517.54	c |    438819 |   14327    59193   177592 | 2147483647   438806     45 |  1.984 % |
4521.11/4522.48	c |    439128 |   14327    59193   177592 | 2147483647   439115     45 |  1.984 % |
4527.11/4528.43	c |    439467 |   14327    59193   177592 | 2147483647   439454     45 |  1.984 % |
4533.51/4534.88	c |    439840 |   14327    59193   177592 | 2147483647   439827     45 |  1.984 % |
4541.11/4542.46	c |    440249 |   14327    59193   177592 | 2147483647   440236     45 |  1.984 % |
4547.91/4549.29	c |    440698 |   14327    59193   177592 | 2147483647   440685     45 |  1.984 % |
4555.51/4556.90	c |    441191 |   14327    59193   177592 | 2147483647   441178     45 |  1.984 % |
4565.41/4566.73	c |    441733 |   14327    59193   177592 | 2147483647   441720     45 |  1.984 % |
4575.40/4576.72	c |    442329 |   14327    59193   177592 | 2147483647   442316     45 |  1.984 % |
4585.90/4587.21	c |    442984 |   14327    59193   177592 | 2147483647   442971     45 |  1.984 % |
4596.30/4597.64	c |    443704 |   14327    59193   177592 | 2147483647   443691     45 |  1.984 % |
4609.59/4610.94	c |    444496 |   14327    59193   177592 | 2147483647   444483     45 |  1.984 % |
4623.59/4624.95	c |    445367 |   14327    59193   177592 | 2147483647   445354     45 |  1.984 % |
4639.58/4640.96	c |    446325 |   14327    59193   177592 | 2147483647   446312     45 |  1.984 % |
4658.08/4659.41	c |    447378 |   14327    59193   177592 | 2147483647   447365     45 |  1.984 % |
4676.48/4677.86	c |    448536 |   14327    59193   177592 | 2147483647   448523     45 |  1.984 % |
4696.97/4698.33	c |    449809 |   14327    59193   177592 | 2147483647   449796     45 |  1.984 % |
4718.46/4719.82	c |    451210 |   14327    59193   177592 | 2147483647   451197     45 |  1.984 % |
4744.45/4745.87	c |    452750 |   14327    59193   177592 | 2147483647   452737     45 |  1.984 % |
4768.95/4770.36	c |    454444 |   14327    59193   177592 | 2147483647   454431     45 |  1.984 % |
4798.14/4799.60	c |    456309 |   14327    59193   177592 | 2147483647   456296     45 |  1.984 % |
4830.23/4831.60	c |    458358 |   14327    59193   177592 | 2147483647   458345     45 |  1.984 % |
4866.42/4867.81	c |    460611 |   14327    59193   177592 | 2147483647   460598     45 |  1.984 % |
4911.11/4912.55	c |    463090 |   14327    59193   177592 | 2147483647   463077     45 |  1.984 % |
4960.10/4961.53	c |    465815 |   14327    59193   177592 | 2147483647   465802     45 |  1.984 % |
5010.78/5012.22	c |    468812 |   14327    59193   177592 | 2147483647   468799     45 |  1.984 % |
5066.28/5067.78	c |    472108 |   14327    59193   177592 | 2147483647   472095     45 |  1.984 % |
5125.45/5126.97	c |    475733 |   14327    59193   177592 | 2147483647   475720     45 |  1.984 % |
5197.14/5198.62	c |    479720 |   14327    59193   177592 | 2147483647   479707     45 |  1.984 % |
5273.02/5274.59	c |    484107 |   14327    59193   177592 | 2147483647   484094     45 |  1.984 % |
5274.81/5276.30	c |    484207 |   14327    59193   177592 | 2147483647   484194     45 |  1.984 % |
5276.81/5278.35	c |    484317 |   14327    59193   177592 | 2147483647   484304     45 |  1.984 % |
5279.62/5281.17	c |    484439 |   14327    59193   177592 | 2147483647   484426     45 |  1.984 % |
5282.32/5283.81	c |    484572 |   14327    59193   177592 | 2147483647   484559     45 |  1.984 % |
5285.72/5287.22	c |    484719 |   14327    59193   177592 | 2147483647   484706     45 |  1.984 % |
5288.82/5290.39	c |    484880 |   14327    59193   177592 | 2147483647   484867     45 |  1.984 % |
5292.61/5294.12	c |    485057 |   14327    59193   177592 | 2147483647   485044     45 |  1.984 % |
5296.71/5298.21	c |    485250 |   14327    59193   177592 | 2147483647   485237     45 |  1.984 % |
5301.31/5302.81	c |    485462 |   14327    59193   177592 | 2147483647   485449     45 |  1.984 % |
5306.31/5307.80	c |    485695 |   14327    59193   177592 | 2147483647   485682     45 |  1.984 % |
5311.71/5313.23	c |    485951 |   14327    59193   177592 | 2147483647   485938     45 |  1.984 % |
5317.60/5319.15	c |    486233 |   14327    59193   177592 | 2147483647   486220     45 |  1.984 % |
5323.20/5324.74	c |    486542 |   14327    59193   177592 | 2147483647   486529     45 |  1.984 % |
5330.00/5331.50	c |    486881 |   14327    59193   177592 | 2147483647   486868     45 |  1.984 % |
5336.60/5338.20	c |    487253 |   14327    59193   177592 | 2147483647   487240     45 |  1.984 % |
5342.60/5344.18	c |    487662 |   14327    59193   177592 | 2147483647   487649     45 |  1.984 % |
5350.89/5352.48	c |    488112 |   14327    59193   177592 | 2147483647   488099     45 |  1.984 % |
5360.09/5361.63	c |    488606 |   14327    59193   177592 | 2147483647   488593     45 |  1.984 % |
5368.89/5370.48	c |    489148 |   14327    59193   177592 | 2147483647   489135     45 |  1.984 % |
5379.79/5381.38	c |    489745 |   14327    59193   177592 | 2147483647   489732     45 |  1.984 % |
5390.88/5392.50	c |    490400 |   14327    59193   177592 | 2147483647   490387     45 |  1.984 % |
5402.08/5403.68	c |    491121 |   14327    59193   177592 | 2147483647   491108     45 |  1.984 % |
5417.17/5418.73	c |    491914 |   14327    59193   177592 | 2147483647   491901     45 |  1.984 % |
5433.08/5434.67	c |    492786 |   14327    59193   177592 | 2147483647   492773     45 |  1.984 % |
5450.47/5452.04	c |    493745 |   14327    59193   177592 | 2147483647   493732     45 |  1.984 % |
5468.77/5470.35	c |    494798 |   14327    59193   177592 | 2147483647   494785     45 |  1.984 % |
5488.96/5490.53	c |    495957 |   14327    59193   177592 | 2147483647   495944     45 |  1.984 % |
5510.95/5512.52	c |    497230 |   14327    59193   177592 | 2147483647   497217     45 |  1.984 % |
5535.34/5536.97	c |    498630 |   14327    59193   177592 | 2147483647   498617     45 |  1.984 % |
5563.74/5565.34	c |    500170 |   14327    59193   177592 | 2147483647   500157     45 |  1.984 % |
5585.73/5587.36	c |    501864 |   14327    59193   177592 | 2147483647   501851     45 |  1.984 % |
5614.32/5615.92	c |    503727 |   14327    59193   177592 | 2147483647   503714     45 |  1.984 % |
5646.31/5647.99	c |    505776 |   14327    59193   177592 | 2147483647   505763     45 |  1.984 % |
5684.40/5686.08	c |    508030 |   14327    59193   177592 | 2147483647   508017     45 |  1.984 % |
5730.29/5731.96	c |    510509 |   14327    59193   177592 | 2147483647   510496     45 |  1.984 % |
5780.38/5782.09	c |    513234 |   14327    59193   177592 | 2147483647   513221     45 |  1.984 % |
5830.76/5832.50	c |    516232 |   14327    59193   177592 | 2147483647   516219     45 |  1.984 % |
5891.95/5893.64	c |    519529 |   14327    59193   177592 | 2147483647   519516     45 |  1.984 % |
5961.03/5962.78	c |    523154 |   14327    59193   177592 | 2147483647   523141     45 |  1.984 % |
6038.01/6039.73	c |    527142 |   14327    59193   177592 | 2147483647   527129     45 |  1.984 % |
6124.89/6126.63	c |    531527 |   14327    59193   177592 | 2147483647   531514     46 |  1.984 % |
6220.16/6221.92	c |    536351 |   14327    59193   177592 | 2147483647   536338     46 |  1.984 % |
6221.97/6223.73	c |    536451 |   14327    59193   177592 | 2147483647   536438     46 |  1.984 % |
6224.17/6225.93	c |    536562 |   14327    59193   177592 | 2147483647   536549     46 |  1.984 % |
6226.86/6228.63	c |    536683 |   14327    59193   177592 | 2147483647   536670     46 |  1.984 % |
6230.06/6231.89	c |    536817 |   14327    59193   177592 | 2147483647   536804     46 |  1.984 % |
6233.06/6234.83	c |    536963 |   14327    59193   177592 | 2147483647   536950     46 |  1.984 % |
6236.16/6237.90	c |    537124 |   14327    59193   177592 | 2147483647   537111     46 |  1.984 % |
6239.36/6241.10	c |    537301 |   14327    59193   177592 | 2147483647   537288     46 |  1.984 % |
6242.56/6244.30	c |    537495 |   14327    59193   177592 | 2147483647   537482     46 |  1.984 % |
6246.55/6248.39	c |    537707 |   14327    59193   177592 | 2147483647   537694     46 |  1.984 % |
6250.15/6251.97	c |    537941 |   14327    59193   177592 | 2147483647   537928     46 |  1.984 % |
6255.45/6257.24	c |    538198 |   14327    59193   177592 | 2147483647   538185     46 |  1.984 % |
6261.25/6263.00	c |    538479 |   14327    59193   177592 | 2147483647   538466     46 |  1.984 % |
6267.36/6269.13	c |    538789 |   14327    59193   177592 | 2147483647   538776     46 |  1.984 % |
6273.85/6275.64	c |    539129 |   14327    59193   177592 | 2147483647   539116     46 |  1.984 % |
6281.15/6282.97	c |    539501 |   14327    59193   177592 | 2147483647   539488     46 |  1.984 % |
6290.45/6292.29	c |    539911 |   14327    59193   177592 | 2147483647   539898     46 |  1.984 % |
6299.74/6301.59	c |    540360 |   14327    59193   177592 |   539988   540347     46 |  1.984 % |
6313.14/6314.98	c |    540854 |   14327    59193   177592 |   539988   463065     46 |  1.984 % |
6322.14/6323.95	c |    541397 |   14327    59193   177592 |   539988   463608     46 |  1.984 % |
6331.23/6333.08	c |    541994 |   14327    59193   177592 |   539988   464205     46 |  1.984 % |
6342.73/6344.58	c |    542650 |   14327    59193   177592 |   539988   464861     46 |  1.984 % |
6355.23/6357.09	c |    543371 |   14327    59193   177592 |   539988   465582     46 |  1.984 % |
6368.62/6370.50	c |    544163 |   14327    59193   177592 |   539988   466374     46 |  1.984 % |
6383.32/6385.19	c |    545034 |   14327    59193   177592 |   539988   467245     46 |  1.984 % |
6400.22/6402.03	c |    545992 |   14327    59193   177592 |   539988   468203     46 |  1.984 % |
6420.50/6422.33	c |    547046 |   14327    59193   177592 |   539988   469257     46 |  1.984 % |
6440.31/6442.19	c |    548205 |   14327    59193   177592 |   539988   470416     46 |  1.984 % |
6459.10/6460.99	c |    549478 |   14327    59193   177592 |   539988   471689     46 |  1.984 % |
6481.89/6483.74	c |    550878 |   14327    59193   177592 | 2147483647   473089     46 |  1.984 % |
6506.59/6508.43	c |    552418 |   14327    59193   177592 | 2147483647   474629     46 |  1.984 % |
6533.68/6535.59	c |    554113 |   14327    59193   177592 | 2147483647   476324     46 |  1.984 % |
6568.97/6570.89	c |    555977 |   14327    59193   177592 | 2147483647   478188     46 |  1.984 % |
6606.36/6608.29	c |    558027 |   14327    59193   177592 | 2147483647   480238     46 |  1.984 % |
6648.55/6650.49	c |    560280 |   14327    59193   177592 | 2147483647   482491     46 |  1.984 % |
6691.44/6693.39	c |    562758 |   14327    59193   177592 | 2147483647   484969     46 |  1.984 % |
6735.53/6737.46	c |    565483 |   14327    59193   177592 | 2147483647   487694     46 |  1.984 % |
6782.71/6784.68	c |    568481 |   14327    59193   177592 | 2147483647   490692     46 |  1.984 % |
6842.21/6844.19	c |    571778 |   14327    59193   177592 | 2147483647   493989     46 |  1.984 % |
6891.59/6893.56	c |    575404 |   14327    59193   177592 | 2147483647   497615     46 |  1.984 % |
6960.87/6962.85	c |    579391 |   14327    59193   177592 | 2147483647   501602     46 |  1.984 % |
7025.85/7027.85	c |    583776 |   14327    59193   177592 | 2147483647   505987     46 |  1.984 % |
7105.83/7107.86	c |    588600 |   14327    59193   177592 | 2147483647   510811     46 |  1.984 % |
7203.50/7205.57	c |    593905 |   14327    59193   177592 | 2147483647   516116     46 |  1.984 % |
7204.70/7206.70	c |    594007 |   14327    59193   177592 | 2147483647   516218     46 |  1.984 % |
7206.90/7208.95	c |    594118 |   14327    59193   177592 | 2147483647   516329     46 |  1.984 % |
7209.70/7211.74	c |    594239 |   14327    59193   177592 | 2147483647   516450     46 |  1.984 % |
7212.90/7214.93	c |    594374 |   14327    59193   177592 | 2147483647   516585     46 |  1.984 % |
7215.69/7217.79	c |    594522 |   14327    59193   177592 | 2147483647   516733     46 |  1.984 % |
7218.59/7220.69	c |    594684 |   14327    59193   177592 | 2147483647   516895     46 |  1.984 % |
7221.39/7223.48	c |    594860 |   14327    59193   177592 | 2147483647   517071     46 |  1.984 % |
7225.09/7227.19	c |    595055 |   14327    59193   177592 | 2147483647   517266     46 |  1.984 % |
7229.59/7231.61	c |    595268 |   14327    59193   177592 | 2147483647   517479     46 |  1.984 % |
7232.99/7235.01	c |    595501 |   14327    59193   177592 | 2147483647   517712     46 |  1.984 % |
7237.98/7240.01	c |    595757 |   14327    59193   177592 | 2147483647   517968     46 |  1.984 % |
7243.88/7245.93	c |    596039 |   14327    59193   177592 | 2147483647   518250     46 |  1.984 % |
7250.78/7252.81	c |    596348 |   14327    59193   177592 | 2147483647   518559     46 |  1.984 % |
7257.48/7259.54	c |    596688 |   14327    59193   177592 | 2147483647   518899     46 |  1.984 % |
7264.28/7266.30	c |    597060 |   14327    59193   177592 | 2147483647   519271     46 |  1.984 % |
7272.57/7274.69	c |    597469 |   14327    59193   177592 | 2147483647   519680     46 |  1.984 % |
7281.57/7283.68	c |    597919 |   14327    59193   177592 | 2147483647   520130     46 |  1.984 % |
7291.17/7293.28	c |    598412 |   14327    59193   177592 | 2147483647   520623     46 |  1.984 % |
7302.17/7304.25	c |    598954 |   14327    59193   177592 | 2147483647   521165     46 |  1.984 % |
7313.46/7315.53	c |    599552 |   14327    59193   177592 | 2147483647   521763     46 |  1.984 % |
7326.06/7328.19	c |    600207 |   14327    59193   177592 | 2147483647   522418     46 |  1.984 % |
7339.56/7341.64	c |    600927 |   14327    59193   177592 | 2147483647   523138     46 |  1.984 % |
7354.77/7356.87	c |    601719 |   14327    59193   177592 | 2147483647   523930     46 |  1.984 % |
7373.45/7375.58	c |    602590 |   14327    59193   177592 | 2147483647   524801     46 |  1.984 % |
7393.84/7395.94	c |    603549 |   14327    59193   177592 | 2147483647   525760     46 |  1.984 % |
7416.53/7418.63	c |    604603 |   14327    59193   177592 | 2147483647   526814     46 |  1.984 % |
7440.13/7442.23	c |    605761 |   14327    59193   177592 | 2147483647   527972     46 |  1.984 % |
7465.22/7467.36	c |    607035 |   14327    59193   177592 | 2147483647   529246     46 |  1.984 % |
7491.41/7493.58	c |    608435 |   14327    59193   177592 | 2147483647   530646     46 |  1.984 % |
7521.30/7523.49	c |    609975 |   14327    59193   177592 | 2147483647   532186     46 |  1.984 % |
7557.20/7559.31	c |    611670 |   14327    59193   177592 |   532212   533881     46 |  1.984 % |
7595.79/7597.97	c |    613533 |   14327    59193   177592 |   532212   482036     46 |  1.984 % |
7637.48/7639.60	c |    615582 |   14327    59193   177592 |   532212   484085     46 |  1.984 % |
7683.96/7686.19	c |    617836 |   14327    59193   177592 |   532212   486339     46 |  1.984 % |
7732.15/7734.33	c |    620316 |   14327    59193   177592 | 2147483647   488819     46 |  1.984 % |
7784.84/7787.02	c |    623041 |   14327    59193   177592 | 2147483647   491544     46 |  1.984 % |
7845.52/7847.70	c |    626038 |   14327    59193   177592 | 2147483647   494541     46 |  1.984 % |
7911.10/7913.37	c |    629335 |   14327    59193   177592 | 2147483647   497838     46 |  1.984 % |
7981.49/7983.80	c |    632960 |   14327    59193   177592 |   498505   446974     45 |  1.984 % |
8049.36/8051.64	c |    636948 |   14327    59193   177592 |   498505   450962     46 |  1.984 % |
8127.25/8129.56	c |    641334 |   14327    59193   177592 | 2147483647   455348     46 |  1.984 % |
8203.33/8205.67	c |    646158 |   14327    59193   177592 | 2147483647   460172     46 |  1.984 % |
8271.81/8274.13	c |    651463 |   14327    59193   177592 | 2147483647   465477     46 |  1.984 % |
8366.18/8368.55	c |    657299 |   14327    59193   177592 | 2147483647   471313     46 |  1.984 % |
8368.28/8370.60	c |    657399 |   14327    59193   177592 | 2147483647   471413     46 |  1.984 % |
8370.28/8372.65	c |    657509 |   14327    59193   177592 | 2147483647   471523     46 |  1.984 % |
8373.18/8375.53	c |    657631 |   14327    59193   177592 | 2147483647   471645     46 |  1.984 % |
8375.48/8377.83	c |    657764 |   14327    59193   177592 | 2147483647   471778     46 |  1.984 % |
8378.38/8380.71	c |    657911 |   14327    59193   177592 | 2147483647   471925     46 |  1.984 % |
8381.28/8383.69	c |    658071 |   14327    59193   177592 | 2147483647   472085     46 |  1.984 % |
8384.88/8387.29	c |    658247 |   14327    59193   177592 | 2147483647   472261     46 |  1.984 % |
8388.18/8390.57	c |    658441 |   14327    59193   177592 | 2147483647   472455     46 |  1.984 % |
8392.37/8394.70	c |    658654 |   14327    59193   177592 | 2147483647   472668     46 |  1.984 % |
8396.77/8399.18	c |    658888 |   14327    59193   177592 | 2147483647   472902     46 |  1.984 % |
8401.27/8403.69	c |    659145 |   14327    59193   177592 | 2147483647   473159     46 |  1.984 % |
8407.17/8409.56	c |    659427 |   14327    59193   177592 | 2147483647   473441     46 |  1.984 % |
8412.17/8414.59	c |    659737 |   14327    59193   177592 | 2147483647   473751     46 |  1.984 % |
8418.57/8420.90	c |    660076 |   14327    59193   177592 | 2147483647   474090     46 |  1.984 % |
8423.46/8425.85	c |    660449 |   14327    59193   177592 | 2147483647   474463     46 |  1.984 % |
8431.66/8434.06	c |    660859 |   14327    59193   177592 | 2147483647   474873     46 |  1.984 % |
8440.56/8443.00	c |    661308 |   14327    59193   177592 | 2147483647   475322     46 |  1.984 % |
8449.36/8451.72	c |    661801 |   14327    59193   177592 | 2147483647   475815     46 |  1.984 % |
8457.35/8459.78	c |    662345 |   14327    59193   177592 | 2147483647   476359     46 |  1.984 % |
8464.65/8467.06	c |    662942 |   14327    59193   177592 | 2147483647   476956     46 |  1.984 % |
8476.35/8478.73	c |    663598 |   14327    59193   177592 | 2147483647   477612     46 |  1.984 % |
8490.94/8493.39	c |    664319 |   14327    59193   177592 | 2147483647   478333     46 |  1.984 % |
8505.44/8507.87	c |    665112 |   14327    59193   177592 | 2147483647   479126     46 |  1.984 % |
8521.13/8523.51	c |    665984 |   14327    59193   177592 | 2147483647   479998     46 |  1.984 % |
8537.03/8539.48	c |    666943 |   14327    59193   177592 | 2147483647   480957     46 |  1.984 % |
8554.63/8557.09	c |    667997 |   14327    59193   177592 | 2147483647   482011     46 |  1.984 % |
8574.82/8577.25	c |    669157 |   14327    59193   177592 | 2147483647   483171     46 |  1.984 % |
8596.42/8598.83	c |    670430 |   14327    59193   177592 | 2147483647   484444     46 |  1.984 % |
8621.51/8623.91	c |    671830 |   14327    59193   177592 | 2147483647   485844     46 |  1.984 % |
8649.70/8652.10	c |    673370 |   14327    59193   177592 | 2147483647   487384     46 |  1.984 % |
8679.79/8682.26	c |    675067 |   14327    59193   177592 | 2147483647   489081     46 |  1.984 % |
8717.38/8719.88	c |    676931 |   14327    59193   177592 | 2147483647   490945     46 |  1.984 % |
8757.87/8760.38	c |    678980 |   14327    59193   177592 | 2147483647   492994     46 |  1.984 % |
8798.07/8800.53	c |    681234 |   14327    59193   177592 | 2147483647   495248     46 |  1.984 % |
8846.75/8849.22	c |    683713 |   14327    59193   177592 | 2147483647   497727     46 |  1.984 % |
8897.23/8899.77	c |    686439 |   14327    59193   177592 | 2147483647   500453     46 |  1.984 % |
8952.02/8954.52	c |    689436 |   14327    59193   177592 | 2147483647   503450     46 |  1.984 % |
9011.60/9014.17	c |    692733 |   14327    59193   177592 | 2147483647   506747     46 |  1.984 % |
9069.99/9072.51	c |    696358 |   14327    59193   177592 | 2147483647   510372     46 |  1.984 % |
9144.27/9146.84	c |    700345 |   14327    59193   177592 | 2147483647   514359     46 |  1.984 % |
9219.25/9221.88	c |    704730 |   14327    59193   177592 | 2147483647   518744     46 |  1.984 % |
9306.52/9309.11	c |    709554 |   14327    59193   177592 | 2147483647   523568     46 |  1.984 % |
9406.71/9409.34	c |    714861 |   14327    59193   177592 |   524014   475295     46 |  1.984 % |
9503.57/9506.21	c |    720697 |   14327    59193   177592 | 2147483647   481131     46 |  1.984 % |
9625.94/9628.65	c |    727115 |   14327    59193   177592 | 2147483647   487549     46 |  1.984 % |
9628.04/9630.70	c |    727215 |   14327    59193   177592 | 2147483647   487649     46 |  1.984 % |
9630.24/9632.99	c |    727326 |   14327    59193   177592 | 2147483647   487760     46 |  1.984 % |
9632.84/9635.51	c |    727447 |   14327    59193   177592 | 2147483647   487881     46 |  1.984 % |
9635.34/9638.03	c |    727581 |   14327    59193   177592 | 2147483647   488015     46 |  1.984 % |
9639.14/9641.89	c |    727728 |   14327    59193   177592 | 2147483647   488162     46 |  1.984 % |
9641.94/9644.68	c |    727888 |   14327    59193   177592 | 2147483647   488322     46 |  1.984 % |
9645.44/9648.13	c |    728065 |   14327    59193   177592 | 2147483647   488499     46 |  1.984 % |
9649.64/9652.31	c |    728259 |   14327    59193   177592 | 2147483647   488693     46 |  1.984 % |
9653.54/9656.23	c |    728472 |   14327    59193   177592 | 2147483647   488906     46 |  1.984 % |
9656.83/9659.52	c |    728706 |   14327    59193   177592 | 2147483647   489140     46 |  1.984 % |
9661.33/9664.03	c |    728962 |   14327    59193   177592 | 2147483647   489396     46 |  1.984 % |
9666.03/9668.77	c |    729244 |   14327    59193   177592 | 2147483647   489678     46 |  1.984 % |
9672.43/9675.15	c |    729554 |   14327    59193   177592 | 2147483647   489988     46 |  1.984 % |
9679.63/9682.37	c |    729894 |   14327    59193   177592 | 2147483647   490328     46 |  1.984 % |
9685.22/9687.95	c |    730266 |   14327    59193   177592 | 2147483647   490700     46 |  1.984 % |
9693.83/9696.58	c |    730676 |   14327    59193   177592 | 2147483647   491110     46 |  1.984 % |
9701.32/9704.07	c |    731125 |   14327    59193   177592 | 2147483647   491559     46 |  1.984 % |
9708.72/9711.49	c |    731619 |   14327    59193   177592 | 2147483647   492053     46 |  1.984 % |
9717.92/9720.69	c |    732163 |   14327    59193   177592 | 2147483647   492597     46 |  1.984 % |
9726.71/9729.45	c |    732760 |   14327    59193   177592 | 2147483647   493194     46 |  1.984 % |
9737.01/9739.73	c |    733415 |   14327    59193   177592 | 2147483647   493849     46 |  1.984 % |
9749.61/9752.37	c |    734136 |   14327    59193   177592 | 2147483647   494570     46 |  1.984 % |
9762.21/9764.99	c |    734929 |   14327    59193   177592 | 2147483647   495363     46 |  1.984 % |
9778.20/9780.96	c |    735800 |   14327    59193   177592 | 2147483647   496234     46 |  1.984 % |
9795.30/9798.03	c |    736759 |   14327    59193   177592 | 2147483647   497193     46 |  1.984 % |
9813.09/9815.81	c |    737813 |   14327    59193   177592 | 2147483647   498247     46 |  1.984 % |
9833.79/9836.55	c |    738971 |   14327    59193   177592 | 2147483647   499405     46 |  1.984 % |
9858.28/9861.05	c |    740245 |   14327    59193   177592 | 2147483647   500679     46 |  1.984 % |
9884.47/9887.29	c |    741647 |   14327    59193   177592 | 2147483647   502081     46 |  1.984 % |
9915.16/9917.91	c |    743189 |   14327    59193   177592 | 2147483647   503623     46 |  1.984 % |
9947.05/9949.89	c |    744883 |   14327    59193   177592 | 2147483647   505317     46 |  1.984 % |
9981.04/9983.88	c |    746747 |   14327    59193   177592 | 2147483647   507181     46 |  1.984 % |

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-1837334-1242867493/watcher-1837334-1242867493 -o /tmp/evaluation-result-1837334-1242867493/solver-1837334-1242867493 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837334-1242867493.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 11208
/proc/meminfo: memFree=1521776/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=0
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314783080 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11208/statm: 1339 235 195 169 0 50 0
[pid=11209] ppid=11208 vsize=5356 CPUtime=0
/proc/11209/stat : 11209 (SatELiteGTI) S 11208 11208 11137 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314783080 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11209/statm: 1339 238 198 169 0 50 0
[pid=11211] ppid=11209 vsize=88 CPUtime=0
/proc/11211/stat : 11211 (sed) R 11209 11208 11137 0 -1 4194304 19 0 0 0 0 0 0 0 18 0 1 0 314783080 90112 1 1992294400 0 0 548682069785 18446744073709551615 215418989863 0 0 4096 0 0 0 0 17 0 0 0
/proc/11211/statm: 46 4 0 11 0 9 0

[startup+0.03214 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 11208
/proc/meminfo: memFree=1521776/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=0
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314783080 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101144 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 11208
/proc/meminfo: memFree=1521776/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=0
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314783080 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301167 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 11208
/proc/meminfo: memFree=1521776/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=0
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314783080 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701211 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 11208
/proc/meminfo: memFree=1521776/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=0
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314783080 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50131 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 11213
/proc/meminfo: memFree=1503328/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 5356

[startup+3.10148 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 11214
/proc/meminfo: memFree=1511200/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=6120 CPUtime=1.63
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 1381 0 0 0 163 0 0 0 25 0 1 0 314783225 6266880 1367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 1530 1367 77 171 0 1357 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11476

[startup+6.30184 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 11214
/proc/meminfo: memFree=1510752/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=6384 CPUtime=4.84
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 1461 0 0 0 483 1 0 0 25 0 1 0 314783225 6537216 1447 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 1596 1447 77 171 0 1423 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11740

[startup+12.7025 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 11214
/proc/meminfo: memFree=1510240/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=6912 CPUtime=11.23
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 1575 0 0 0 1122 1 0 0 25 0 1 0 314783225 7077888 1561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 1728 1561 77 171 0 1555 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 12268

[startup+25.502 s]
/proc/loadavg: 1.07 1.01 0.99 2/66 11214
/proc/meminfo: memFree=1509664/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=7572 CPUtime=24.02
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 1730 0 0 0 2401 1 0 0 25 0 1 0 314783225 7753728 1716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 1893 1716 77 171 0 1720 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 12928

[startup+51.1018 s]
/proc/loadavg: 1.12 1.02 1.00 2/66 11214
/proc/meminfo: memFree=1508384/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=8924 CPUtime=49.61
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 2061 0 0 0 4959 2 0 0 25 0 1 0 314783225 9138176 2047 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 2231 2047 77 171 0 2058 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 14280

[startup+102.306 s]
/proc/loadavg: 1.21 1.06 1.01 2/66 11214
/proc/meminfo: memFree=1505824/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=11396 CPUtime=100.8
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 2692 0 0 0 10077 3 0 0 25 0 1 0 314783225 11669504 2678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 2849 2678 77 171 0 2676 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 16752

[startup+162.301 s]
/proc/loadavg: 1.17 1.08 1.02 2/66 11214
/proc/meminfo: memFree=1503072/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=14092 CPUtime=160.78
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 3383 0 0 0 16073 5 0 0 25 0 1 0 314783225 14430208 3369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 3523 3369 77 171 0 3350 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 19448

[startup+222.302 s]
/proc/loadavg: 1.06 1.06 1.01 2/66 11219
/proc/meminfo: memFree=1499936/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=17360 CPUtime=220.76
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 4154 0 0 0 22070 6 0 0 25 0 1 0 314783225 17776640 4140 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 4340 4140 77 171 0 4167 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 22716

[startup+282.302 s]
/proc/loadavg: 1.02 1.05 1.00 2/66 11219
/proc/meminfo: memFree=1497248/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=19912 CPUtime=280.75
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 4815 0 0 0 28067 8 0 0 25 0 1 0 314783225 20389888 4801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 4978 4801 77 171 0 4805 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 25268

[startup+342.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 11219
/proc/meminfo: memFree=1495264/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=21924 CPUtime=340.73
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 5292 0 0 0 34064 9 0 0 25 0 1 0 314783225 22450176 5278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 5481 5278 77 171 0 5308 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 27280

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 11219
/proc/meminfo: memFree=1493280/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=24012 CPUtime=400.71
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 5797 0 0 0 40061 10 0 0 25 0 1 0 314783225 24588288 5783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 6003 5783 77 171 0 5830 0
Current children cumulated CPU time (s) 402.14

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

/proc/11214/statm: 33128 32139 77 171 0 32955 0
Current children cumulated CPU time (s) 9339.72
Current children cumulated vsize (KiB) 137868

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1385056/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132512 CPUtime=9398.27
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32153 0 0 0 939740 87 0 0 25 0 1 0 314783225 135692288 32139 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33128 32139 77 171 0 32955 0
Current children cumulated CPU time (s) 9399.7
Current children cumulated vsize (KiB) 137868

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1385056/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132512 CPUtime=9458.25
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32153 0 0 0 945738 87 0 0 25 0 1 0 314783225 135692288 32139 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33128 32139 77 171 0 32955 0
Current children cumulated CPU time (s) 9459.68
Current children cumulated vsize (KiB) 137868

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1385056/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132512 CPUtime=9518.24
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32154 0 0 0 951737 87 0 0 25 0 1 0 314783225 135692288 32140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33128 32140 77 171 0 32955 0
Current children cumulated CPU time (s) 9519.67
Current children cumulated vsize (KiB) 137868

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1385056/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132512 CPUtime=9578.23
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32154 0 0 0 957735 88 0 0 25 0 1 0 314783225 135692288 32140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33128 32140 77 171 0 32955 0
Current children cumulated CPU time (s) 9579.66
Current children cumulated vsize (KiB) 137868

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1385056/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132512 CPUtime=9638.21
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32155 0 0 0 963733 88 0 0 25 0 1 0 314783225 135692288 32141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33128 32141 77 171 0 32955 0
Current children cumulated CPU time (s) 9639.64
Current children cumulated vsize (KiB) 137868

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1384864/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132756 CPUtime=9698.19
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32187 0 0 0 969731 88 0 0 25 0 1 0 314783225 135942144 32173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33189 32173 77 171 0 33016 0
Current children cumulated CPU time (s) 9699.62
Current children cumulated vsize (KiB) 138112

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1384800/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132756 CPUtime=9758.18
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32204 0 0 0 975729 89 0 0 25 0 1 0 314783225 135942144 32190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33189 32190 77 171 0 33016 0
Current children cumulated CPU time (s) 9759.61
Current children cumulated vsize (KiB) 138112

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1384736/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132756 CPUtime=9818.16
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32213 0 0 0 981727 89 0 0 25 0 1 0 314783225 135942144 32199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33189 32199 77 171 0 33016 0
Current children cumulated CPU time (s) 9819.59
Current children cumulated vsize (KiB) 138112

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11709
/proc/meminfo: memFree=1384736/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132756 CPUtime=9878.14
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32217 0 0 0 987725 89 0 0 25 0 1 0 314783225 135942144 32203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33189 32203 77 171 0 33016 0
Current children cumulated CPU time (s) 9879.57
Current children cumulated vsize (KiB) 138112

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11711
/proc/meminfo: memFree=1384480/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132936 CPUtime=9938.13
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32226 0 0 0 993723 90 0 0 25 0 1 0 314783225 136126464 32212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33234 32212 77 171 0 33061 0
Current children cumulated CPU time (s) 9939.56
Current children cumulated vsize (KiB) 138292

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11711
/proc/meminfo: memFree=1384544/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132936 CPUtime=9998.11
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32231 0 0 0 999721 90 0 0 25 0 1 0 314783225 136126464 32217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33234 32217 77 171 0 33061 0
Current children cumulated CPU time (s) 9999.54
Current children cumulated vsize (KiB) 138292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11711
/proc/meminfo: memFree=1384544/2055920 swapFree=4179716/4192956
[pid=11208] ppid=11206 vsize=5356 CPUtime=1.43
/proc/11208/stat : 11208 (SatELiteGTI) S 11206 11208 11137 0 -1 4194304 336 4204 0 0 0 0 140 3 16 0 1 0 314783080 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11208/statm: 1339 239 197 169 0 50 0
[pid=11214] ppid=11208 vsize=132936 CPUtime=9998.61
/proc/11214/stat : 11214 (minisat_static) R 11208 11208 11137 0 -1 4194304 32231 0 0 0 999771 90 0 0 25 0 1 0 314783225 136126464 32217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11214/statm: 33234 32217 77 171 0 33061 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 138292

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 11208 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=412785
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=40993
# CPU time returned by wait4() is 1.45378
# 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): 10002.8
CPU time (s): 10000
CPU user time (s): 9999.11
CPU system time (s): 0.93
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 138292

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

runsolver used 10.9003 second user time and 25.5611 second system time

The end

Launcher Data 

Begin job on node9 at 2009-05-21 02:58:13
IDJOB=1837334
IDBENCH=70864
IDSOLVER=674
FILE ID=node9/1837334-1242867493
PBS_JOBID= 9328576
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED=1463253402

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1522256 kB
Buffers:         59520 kB
Cached:         420488 kB
SwapCached:       7824 kB
Active:         277448 kB
Inactive:       211788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522256 kB
SwapTotal:     4192956 kB
SwapFree:      4179716 kB
Dirty:            3140 kB
Writeback:           0 kB
Mapped:          14064 kB
Slab:            30528 kB
Committed_AS:   998840 kB
PageTables:       1392 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= 66356 MiB
End job on node9 at 2009-05-21 05:44:58