Trace number 1837322

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000.1 10002.9

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-22-s100.cnf
MD5SUM96596d59af0c6949ab68ac8c5abcf28b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4326.83
Satisfiable
(Un)Satisfiability was proved
Number of variables31616
Number of clauses95110
Sum of the clauses size224220
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260982
Number of clauses of size 334064
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 |   94910   223744 |   28472       0        0     nan |  0.000 % |
1.28/1.35	c |         0 |   57628   172230 |      --       0       --      -- |     --   | -36942/-50538
1.28/1.35	c ==============================================================================
1.28/1.35	c Result  :   #vars: 13864   #clauses: 57628   #literals: 172230
1.28/1.35	c CPU time:   1.3238 s
1.28/1.35	c ==============================================================================
1.39/1.42	c This is MiniSat 2.0 beta
1.39/1.42	c WARNING: for repeatability, setting FPU to use double precision
1.39/1.42	c ============================[ Problem Statistics ]=============================
1.39/1.42	c |                                                                             |
1.39/1.42	c |  Number of variables:  13864                                                |
1.39/1.42	c |  Number of clauses:    57628                                                |
1.39/1.46	c |  Parsing time:         0.03         s                                       |
1.39/1.46	c ============================[ Search Statistics ]==============================
1.39/1.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.46	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.46	c ===============================================================================
1.39/1.46	c |         0 |   13864    57628   172230 |    19209        0    nan |  0.000 % |
1.41/1.60	c |       100 |   13820    57628   172230 |    19209       95     48 |  1.183 % |
1.41/1.84	c |       201 |   13700    56760   170096 |    19209      191     51 |  1.183 % |
2.08/2.19	c |       302 |   13700    56760   170096 |    19209      292     44 |  1.183 % |
2.47/2.60	c |       413 |   13700    56760   170096 |    19209      403     39 |  1.183 % |
2.67/2.72	c |       514 |   13700    56760   170096 |    19209      504     46 |  1.183 % |
2.87/2.92	c |       624 |   13700    56760   170096 |    19209      614     49 |  1.183 % |
3.28/3.37	c |       746 |   13700    56760   170096 |    19209      736     45 |  1.183 % |
3.77/3.81	c |       846 |   13700    56760   170096 |    19209      836     42 |  1.183 % |
4.17/4.20	c |       956 |   13700    56760   170096 |    19209      946     40 |  1.183 % |
4.57/4.66	c |      1078 |   13700    56760   170096 |    19209     1068     38 |  1.183 % |
5.08/5.16	c |      1211 |   13700    56760   170096 |    19209     1201     36 |  1.183 % |
5.58/5.64	c |      1312 |   13700    56760   170096 |    19209     1302     35 |  1.183 % |
5.98/6.09	c |      1422 |   13700    56760   170096 |    19209     1412     34 |  1.183 % |
6.58/6.65	c |      1544 |   13700    56760   170096 |    19209     1534     33 |  1.183 % |
7.28/7.30	c |      1678 |   13700    56760   170096 |    19209     1668     32 |  1.183 % |
7.98/8.03	c |      1824 |   13700    56760   170096 |    19209     1814     31 |  1.183 % |
8.28/8.38	c |      1924 |   13700    56760   170096 |    19209     1914     31 |  1.183 % |
8.78/8.86	c |      2035 |   13700    56760   170096 |    19209     2025     30 |  1.183 % |
9.38/9.45	c |      2157 |   13700    56760   170096 |    19209     2147     30 |  1.183 % |
9.98/10.05	c |      2290 |   13700    56760   170096 |    19209     2280     30 |  1.183 % |
10.57/10.62	c |      2437 |   13700    56760   170096 |    19209     2427     30 |  1.183 % |
11.17/11.24	c |      2598 |   13700    56760   170096 |    19209     2588     30 |  1.183 % |
11.57/11.65	c |      2698 |   13700    56760   170096 |    19209     2688     29 |  1.183 % |
12.08/12.15	c |      2810 |   13700    56760   170096 |    19209     2800     29 |  1.183 % |
12.58/12.66	c |      2932 |   13700    56760   170096 |    19209     2922     29 |  1.183 % |
13.08/13.18	c |      3065 |   13700    56760   170096 |    19209     3055     29 |  1.183 % |
13.58/13.68	c |      3211 |   13700    56760   170096 |    19209     3201     29 |  1.183 % |
14.28/14.32	c |      3371 |   13700    56760   170096 |    19209     3361     29 |  1.183 % |
14.67/14.76	c |      3547 |   13654    56548   169615 |    19209     3536     29 |  1.515 % |
15.07/15.16	c |      3647 |   13654    56548   169615 |    19209     3636     29 |  1.515 % |
15.28/15.35	c |      3757 |   13654    56548   169615 |    19209     3746     30 |  1.515 % |
15.77/15.84	c |      3880 |   13654    56548   169615 |    19209     3869     30 |  1.515 % |
16.37/16.49	c |      4013 |   13654    56548   169615 |    19209     4002     30 |  1.515 % |
17.07/17.17	c |      4159 |   13654    56548   169615 |    19209     4148     30 |  1.515 % |
17.77/17.83	c |      4320 |   13654    56548   169615 |    19209     4309     29 |  1.515 % |
18.57/18.61	c |      4497 |   13654    56548   169615 |    19209     4486     29 |  1.515 % |
19.37/19.46	c |      4691 |   13654    56548   169615 |    19209     4680     29 |  1.515 % |
19.77/19.86	c |      4791 |   13654    56548   169615 |    19209     4780     29 |  1.515 % |
19.97/20.05	c |      4901 |   13654    56548   169615 |    19209     4890     29 |  1.515 % |
20.57/20.61	c |      5023 |   13654    56548   169615 |    19209     5012     29 |  1.515 % |
21.07/21.11	c |      5156 |   13654    56548   169615 |    19209     5145     29 |  1.515 % |
21.47/21.57	c |      5302 |   13605    56336   169131 |    19209     5286     29 |  1.868 % |
22.07/22.12	c |      5462 |   13605    56336   169131 |    19209     5446     29 |  1.868 % |
22.57/22.68	c |      5640 |   13605    56336   169131 |    19209     5624     29 |  1.868 % |
23.17/23.26	c |      5834 |   13605    56336   169131 |    19209     5818     29 |  1.868 % |
23.97/24.08	c |      6047 |   13605    56336   169131 |    19209     6031     29 |  1.868 % |
24.07/24.12	c |      6150 |   13605    56336   169131 |    19209     6134     30 |  1.868 % |
24.47/24.50	c |      6260 |   13605    56336   169131 |    19209     6244     30 |  1.868 % |
24.67/24.79	c |      6382 |   13605    56336   169131 |    19209     6366     30 |  1.868 % |
25.37/25.41	c |      6515 |   13605    56336   169131 |    19209     6499     30 |  1.868 % |
25.97/26.02	c |      6662 |   13605    56336   169131 |    19209     6646     30 |  1.868 % |
26.57/26.68	c |      6823 |   13605    56336   169131 |    19209     6807     30 |  1.868 % |
27.17/27.28	c |      7000 |   13605    56336   169131 |    19209     6984     30 |  1.868 % |
28.07/28.17	c |      7194 |   13605    56336   169131 |    19209     7178     30 |  1.868 % |
28.97/29.04	c |      7406 |   13605    56336   169131 |    19209     7390     29 |  1.868 % |
30.07/30.18	c |      7639 |   13605    56336   169131 |    19209     7623     29 |  1.868 % |
30.57/30.64	c |      7739 |   13605    56336   169131 |    19209     7723     29 |  1.868 % |
30.97/31.07	c |      7850 |   13605    56336   169131 |    19209     7834     29 |  1.868 % |
31.67/31.71	c |      7972 |   13605    56336   169131 |    19209     7956     29 |  1.868 % |
32.37/32.42	c |      8106 |   13605    56336   169131 |    19209     8090     29 |  1.868 % |
32.87/32.99	c |      8254 |   13605    56336   169131 |    19209     8238     29 |  1.868 % |
33.16/33.23	c |      8414 |   13605    56336   169131 |    19209     8398     29 |  1.868 % |
33.97/34.10	c |      8591 |   13605    56336   169131 |    19209     8575     30 |  1.868 % |
34.86/34.94	c |      8786 |   13605    56336   169131 |    19209     8770     30 |  1.868 % |
35.86/35.91	c |      8999 |   13605    56336   169131 |    19209     8983     29 |  1.868 % |
36.86/36.96	c |      9233 |   13605    56336   169131 |    19209     9217     29 |  1.868 % |
37.76/37.87	c |      9490 |   13605    56336   169131 |    19209     9474     29 |  1.868 % |
38.26/38.31	c |      9590 |   13605    56336   169131 |    19209     9574     29 |  1.868 % |
38.66/38.79	c |      9701 |   13605    56336   169131 |    19209     9685     29 |  1.868 % |
39.27/39.33	c |      9823 |   13605    56336   169131 |    19209     9807     29 |  1.868 % |
39.87/39.94	c |      9956 |   13605    56336   169131 |    19209     9940     29 |  1.868 % |
40.47/40.53	c |     10103 |   13605    56336   169131 | 2147483647    10087     29 |  1.868 % |
41.37/41.40	c |     10263 |   13605    56336   169131 | 2147483647    10247     29 |  1.868 % |
42.27/42.34	c |     10439 |   13605    56336   169131 | 2147483647    10423     29 |  1.868 % |
43.27/43.33	c |     10633 |   13605    56336   169131 | 2147483647    10617     29 |  1.868 % |
44.07/44.19	c |     10845 |   13605    56336   169131 | 2147483647    10829     28 |  1.868 % |
45.17/45.28	c |     11078 |   13605    56336   169131 | 2147483647    11062     28 |  1.868 % |
46.37/46.45	c |     11335 |   13605    56336   169131 | 2147483647    11319     28 |  1.868 % |
47.57/47.66	c |     11616 |   13605    56336   169131 | 2147483647    11600     28 |  1.868 % |
47.97/48.09	c |     11717 |   13605    56336   169131 | 2147483647    11701     28 |  1.868 % |
48.57/48.65	c |     11828 |   13605    56336   169131 | 2147483647    11812     28 |  1.868 % |
49.16/49.29	c |     11949 |   13605    56336   169131 | 2147483647    11933     28 |  1.868 % |
49.86/49.93	c |     12085 |   13605    56336   169131 | 2147483647    12069     28 |  1.868 % |
50.57/50.60	c |     12231 |   13605    56336   169131 | 2147483647    12215     28 |  1.868 % |
51.16/51.21	c |     12392 |   13605    56336   169131 | 2147483647    12376     28 |  1.868 % |
51.67/51.77	c |     12568 |   13605    56336   169131 | 2147483647    12552     28 |  1.868 % |
52.36/52.48	c |     12761 |   13605    56336   169131 | 2147483647    12745     28 |  1.868 % |
53.26/53.31	c |     12973 |   13605    56336   169131 | 2147483647    12957     28 |  1.868 % |
54.26/54.34	c |     13206 |   13605    56336   169131 | 2147483647    13190     28 |  1.868 % |
55.56/55.66	c |     13463 |   13605    56336   169131 | 2147483647    13447     28 |  1.868 % |
56.96/57.01	c |     13745 |   13605    56336   169131 | 2147483647    13729     28 |  1.868 % |
58.56/58.64	c |     14054 |   13605    56336   169131 | 2147483647    14038     28 |  1.868 % |
59.06/59.17	c |     14154 |   13605    56336   169131 | 2147483647    14138     28 |  1.868 % |
59.66/59.70	c |     14264 |   13605    56336   169131 | 2147483647    14248     28 |  1.868 % |
60.26/60.31	c |     14386 |   13605    56336   169131 | 2147483647    14370     28 |  1.868 % |
60.66/60.77	c |     14520 |   13605    56336   169131 | 2147483647    14504     28 |  1.868 % |
61.16/61.25	c |     14666 |   13605    56336   169131 | 2147483647    14650     28 |  1.868 % |
61.86/61.96	c |     14827 |   13605    56336   169131 | 2147483647    14811     28 |  1.868 % |
62.76/62.85	c |     15003 |   13605    56336   169131 | 2147483647    14987     28 |  1.868 % |
63.76/63.85	c |     15197 |   13605    56336   169131 | 2147483647    15181     28 |  1.868 % |
64.86/64.97	c |     15410 |   13605    56336   169131 | 2147483647    15394     28 |  1.868 % |
66.16/66.27	c |     15644 |   13605    56336   169131 | 2147483647    15628     27 |  1.868 % |
67.36/67.41	c |     15900 |   13605    56336   169131 | 2147483647    15884     27 |  1.868 % |
68.66/68.79	c |     16182 |   13605    56336   169131 | 2147483647    16166     27 |  1.868 % |
70.06/70.19	c |     16491 |   13605    56336   169131 | 2147483647    16475     27 |  1.868 % |
71.76/71.82	c |     16830 |   13605    56336   169131 | 2147483647    16814     27 |  1.868 % |
72.26/72.38	c |     16931 |   13605    56336   169131 | 2147483647    16915     27 |  1.868 % |
72.86/72.97	c |     17042 |   13605    56336   169131 | 2147483647    17026     27 |  1.868 % |
73.56/73.61	c |     17164 |   13605    56336   169131 | 2147483647    17148     27 |  1.868 % |
74.05/74.17	c |     17298 |   13605    56336   169131 | 2147483647    17282     27 |  1.868 % |
74.15/74.28	c |     17445 |   13605    56336   169131 | 2147483647    17429     27 |  1.868 % |
74.95/75.03	c |     17606 |   13605    56336   169131 | 2147483647    17590     27 |  1.868 % |
75.45/75.58	c |     17782 |   13605    56336   169131 | 2147483647    17766     27 |  1.868 % |
76.35/76.46	c |     17975 |   13605    56336   169131 | 2147483647    17959     27 |  1.868 % |
77.35/77.46	c |     18187 |   13605    56336   169131 | 2147483647    18171     27 |  1.868 % |
78.35/78.49	c |     18420 |   13605    56336   169131 | 2147483647    18404     27 |  1.868 % |
79.75/79.84	c |     18677 |   13605    56336   169131 | 2147483647    18661     27 |  1.868 % |
80.95/81.10	c |     18958 |   13605    56336   169131 | 2147483647    18942     27 |  1.868 % |
82.35/82.45	c |     19267 |   13605    56336   169131 | 2147483647    19251     27 |  1.868 % |
83.75/83.88	c |     19606 |   13605    56336   169131 | 2147483647    19590     27 |  1.868 % |
85.26/85.34	c |     19978 |   13605    56336   169131 | 2147483647    19962     27 |  1.868 % |
85.76/85.86	c |     20078 |   13605    56336   169131 | 2147483647    20062     27 |  1.868 % |
86.36/86.43	c |     20188 |   13605    56336   169131 | 2147483647    20172     27 |  1.868 % |
86.86/86.95	c |     20311 |   13605    56336   169131 | 2147483647    20295     28 |  1.868 % |
87.46/87.57	c |     20444 |   13605    56336   169131 | 2147483647    20428     28 |  1.868 % |
88.26/88.31	c |     20591 |   13605    56336   169131 | 2147483647    20575     28 |  1.868 % |
89.06/89.17	c |     20752 |   13605    56336   169131 | 2147483647    20736     27 |  1.868 % |
89.96/90.05	c |     20928 |   13605    56336   169131 | 2147483647    20912     27 |  1.868 % |
90.36/90.43	c |     21122 |   13605    56336   169131 | 2147483647    21106     28 |  1.868 % |
91.35/91.40	c |     21334 |   13605    56336   169131 | 2147483647    21318     28 |  1.868 % |
92.15/92.29	c |     21568 |   13605    56336   169131 | 2147483647    21552     28 |  1.868 % |
93.36/93.48	c |     21825 |   13605    56336   169131 | 2147483647    21809     28 |  1.868 % |
94.65/94.76	c |     22107 |   13605    56336   169131 | 2147483647    22091     28 |  1.868 % |
96.25/96.32	c |     22417 |   13605    56336   169131 | 2147483647    22401     28 |  1.868 % |
97.86/97.92	c |     22757 |   13605    56336   169131 | 2147483647    22741     27 |  1.868 % |
99.75/99.81	c |     23130 |   13605    56336   169131 | 2147483647    23114     28 |  1.868 % |
101.75/101.81	c |     23539 |   13605    56336   169131 | 2147483647    23523     28 |  1.868 % |
102.25/102.33	c |     23641 |   13605    56336   169131 | 2147483647    23625     28 |  1.868 % |
102.75/102.90	c |     23752 |   13605    56336   169131 | 2147483647    23736     28 |  1.868 % |
103.35/103.47	c |     23874 |   13605    56336   169131 | 2147483647    23858     28 |  1.868 % |
104.05/104.18	c |     24008 |   13605    56336   169131 | 2147483647    23992     28 |  1.868 % |
104.95/105.09	c |     24156 |   13605    56336   169131 | 2147483647    24140     28 |  1.868 % |
105.85/105.97	c |     24316 |   13605    56336   169131 | 2147483647    24300     27 |  1.868 % |
106.85/106.93	c |     24492 |   13605    56336   169131 | 2147483647    24476     27 |  1.868 % |
107.85/108.00	c |     24686 |   13605    56336   169131 | 2147483647    24670     27 |  1.868 % |
108.75/108.81	c |     24898 |   13605    56336   169131 | 2147483647    24882     28 |  1.868 % |
109.04/109.13	c |     25131 |   13605    56336   169131 | 2147483647    25115     28 |  1.868 % |
109.95/110.03	c |     25387 |   13605    56336   169131 | 2147483647    25371     28 |  1.868 % |
111.24/111.36	c |     25669 |   13605    56336   169131 | 2147483647    25653     28 |  1.868 % |
112.94/113.03	c |     25979 |   13605    56336   169131 | 2147483647    25963     28 |  1.868 % |
114.24/114.30	c |     26318 |   13605    56336   169131 | 2147483647    26302     28 |  1.868 % |
115.94/116.00	c |     26691 |   13605    56336   169131 | 2147483647    26675     28 |  1.868 % |
116.64/116.77	c |     27102 |   13605    56336   169131 | 2147483647    27086     29 |  1.868 % |
118.84/118.91	c |     27551 |   13605    56336   169131 | 2147483647    27535     29 |  1.868 % |
119.14/119.28	c |     27651 |   13605    56336   169131 | 2147483647    27635     29 |  1.868 % |
119.64/119.73	c |     27762 |   13605    56336   169131 | 2147483647    27746     29 |  1.868 % |
120.24/120.34	c |     27883 |   13605    56336   169131 | 2147483647    27867     29 |  1.868 % |
120.74/120.83	c |     28017 |   13605    56336   169131 | 2147483647    28001     29 |  1.868 % |
121.44/121.50	c |     28163 |   13605    56336   169131 | 2147483647    28147     29 |  1.868 % |
122.24/122.36	c |     28324 |   13605    56336   169131 | 2147483647    28308     29 |  1.868 % |
123.14/123.23	c |     28501 |   13605    56336   169131 | 2147483647    28485     29 |  1.868 % |
123.64/123.72	c |     28694 |   13605    56336   169131 | 2147483647    28678     29 |  1.868 % |
124.34/124.43	c |     28906 |   13605    56336   169131 | 2147483647    28890     29 |  1.868 % |
125.24/125.35	c |     29139 |   13605    56336   169131 | 2147483647    29123     29 |  1.868 % |
126.14/126.24	c |     29395 |   13605    56336   169131 | 2147483647    29379     29 |  1.868 % |
127.34/127.40	c |     29678 |   13605    56336   169131 | 2147483647    29662     29 |  1.868 % |
128.65/128.71	c |     29989 |   13605    56336   169131 | 2147483647    29973     29 |  1.868 % |
130.24/130.31	c |     30329 |   13605    56336   169131 | 2147483647    30313     29 |  1.868 % |
131.95/132.01	c |     30701 |   13605    56336   169131 | 2147483647    30685     29 |  1.868 % |
133.84/133.91	c |     31111 |   13605    56336   169131 | 2147483647    31095     30 |  1.868 % |
135.84/135.92	c |     31560 |   13605    56336   169131 | 2147483647    31544     30 |  1.868 % |
138.04/138.19	c |     32056 |   13605    56336   169131 | 2147483647    32040     30 |  1.868 % |
138.64/138.72	c |     32157 |   13605    56336   169131 | 2147483647    32141     29 |  1.868 % |
139.14/139.29	c |     32267 |   13605    56336   169131 | 2147483647    32251     29 |  1.868 % |
139.84/139.90	c |     32388 |   13605    56336   169131 | 2147483647    32372     29 |  1.868 % |
140.54/140.67	c |     32521 |   13605    56336   169131 | 2147483647    32505     29 |  1.868 % |
141.34/141.46	c |     32667 |   13605    56336   169131 | 2147483647    32651     30 |  1.868 % |
142.04/142.16	c |     32827 |   13605    56336   169131 | 2147483647    32811     30 |  1.868 % |
142.34/142.49	c |     33003 |   13605    56336   169131 | 2147483647    32987     30 |  1.868 % |
143.44/143.50	c |     33197 |   13605    56336   169131 | 2147483647    33181     30 |  1.868 % |
144.44/144.55	c |     33410 |   13605    56336   169131 | 2147483647    33394     30 |  1.868 % |
145.54/145.63	c |     33644 |   13605    56336   169131 | 2147483647    33628     30 |  1.868 % |
146.94/147.03	c |     33902 |   13605    56336   169131 | 2147483647    33886     30 |  1.868 % |
148.44/148.57	c |     34185 |   13605    56336   169131 | 2147483647    34169     30 |  1.868 % |
150.24/150.33	c |     34494 |   13605    56336   169131 | 2147483647    34478     30 |  1.868 % |
152.14/152.22	c |     34833 |   13605    56336   169131 | 2147483647    34817     30 |  1.868 % |
154.13/154.28	c |     35206 |   13605    56336   169131 | 2147483647    35190     30 |  1.868 % |
156.53/156.61	c |     35616 |   13605    56336   169131 | 2147483647    35600     30 |  1.868 % |
158.83/158.95	c |     36066 |   13605    56336   169131 | 2147483647    36050     30 |  1.868 % |
161.03/161.20	c |     36559 |   13605    56336   169131 | 2147483647    36543     30 |  1.868 % |
163.93/164.06	c |     37102 |   13605    56336   169131 | 2147483647    37086     30 |  1.868 % |
164.54/164.62	c |     37202 |   13605    56336   169131 | 2147483647    37186     30 |  1.868 % |
165.14/165.24	c |     37312 |   13605    56336   169131 | 2147483647    37296     30 |  1.868 % |
165.84/165.95	c |     37433 |   13605    56336   169131 | 2147483647    37417     30 |  1.868 % |
166.64/166.73	c |     37568 |   13605    56336   169131 | 2147483647    37552     30 |  1.868 % |
167.44/167.56	c |     37714 |   13605    56336   169131 | 2147483647    37698     30 |  1.868 % |
168.24/168.34	c |     37874 |   13605    56336   169131 | 2147483647    37858     30 |  1.868 % |
169.24/169.34	c |     38050 |   13605    56336   169131 | 2147483647    38034     30 |  1.868 % |
170.13/170.29	c |     38244 |   13605    56336   169131 | 2147483647    38228     30 |  1.868 % |
170.44/170.57	c |     38458 |   13605    56336   169131 | 2147483647    38442     30 |  1.868 % |
171.63/171.71	c |     38692 |   13605    56336   169131 | 2147483647    38676     30 |  1.868 % |
172.93/173.00	c |     38949 |   13605    56336   169131 | 2147483647    38933     30 |  1.868 % |
174.53/174.68	c |     39231 |   13605    56336   169131 | 2147483647    39215     30 |  1.868 % |
176.23/176.32	c |     39541 |   13605    56336   169131 | 2147483647    39525     30 |  1.868 % |
178.14/178.29	c |     39881 |   13605    56336   169131 | 2147483647    39865     30 |  1.868 % |
180.43/180.55	c |     40253 |   13605    56336   169131 | 2147483647    40237     30 |  1.868 % |
182.33/182.44	c |     40662 |   13605    56336   169131 | 2147483647    40646     30 |  1.868 % |
184.93/185.01	c |     41112 |   13605    56336   169131 | 2147483647    41096     30 |  1.868 % |
187.73/187.85	c |     41606 |   13605    56336   169131 | 2147483647    41590     30 |  1.868 % |
190.93/191.06	c |     42148 |   13605    56336   169131 | 2147483647    42132     30 |  1.868 % |
194.13/194.25	c |     42745 |   13605    56336   169131 | 2147483647    42729     30 |  1.868 % |
194.53/194.65	c |     42847 |   13605    56336   169131 | 2147483647    42831     30 |  1.868 % |
195.13/195.23	c |     42958 |   13605    56336   169131 | 2147483647    42942     30 |  1.868 % |
195.53/195.69	c |     43080 |   13605    56336   169131 | 2147483647    43064     30 |  1.868 % |
196.43/196.57	c |     43213 |   13605    56336   169131 | 2147483647    43197     30 |  1.868 % |
197.32/197.41	c |     43360 |   13605    56336   169131 | 2147483647    43344     30 |  1.868 % |
198.32/198.41	c |     43521 |   13605    56336   169131 | 2147483647    43505     30 |  1.868 % |
198.93/199.08	c |     43698 |   13605    56336   169131 | 2147483647    43682     30 |  1.868 % |
200.13/200.28	c |     43891 |   13605    56336   169131 | 2147483647    43875     30 |  1.868 % |
201.42/201.57	c |     44104 |   13605    56336   169131 | 2147483647    44088     30 |  1.868 % |
202.92/203.00	c |     44337 |   13605    56336   169131 | 2147483647    44321     30 |  1.868 % |
204.22/204.35	c |     44595 |   13605    56336   169131 | 2147483647    44579     30 |  1.868 % |
206.02/206.14	c |     44877 |   13605    56336   169131 | 2147483647    44861     30 |  1.868 % |
207.52/207.67	c |     45187 |   13605    56336   169131 | 2147483647    45171     30 |  1.868 % |
209.62/209.70	c |     45527 |   13605    56336   169131 | 2147483647    45511     30 |  1.868 % |
212.02/212.14	c |     45899 |   13605    56336   169131 | 2147483647    45883     30 |  1.868 % |
214.32/214.47	c |     46309 |   13605    56336   169131 | 2147483647    46293     30 |  1.868 % |
217.32/217.41	c |     46758 |   13605    56336   169131 | 2147483647    46742     30 |  1.868 % |
220.02/220.19	c |     47252 |   13605    56336   169131 | 2147483647    47236     30 |  1.868 % |
223.61/223.70	c |     47797 |   13605    56336   169131 | 2147483647    47781     30 |  1.868 % |
227.11/227.23	c |     48393 |   13605    56336   169131 | 2147483647    48377     30 |  1.868 % |
231.01/231.12	c |     49048 |   13605    56336   169131 | 2147483647    49032     29 |  1.868 % |
231.61/231.72	c |     49149 |   13605    56336   169131 | 2147483647    49133     29 |  1.868 % |
232.31/232.41	c |     49259 |   13605    56336   169131 | 2147483647    49243     29 |  1.868 % |
233.01/233.19	c |     49381 |   13605    56336   169131 | 2147483647    49365     29 |  1.868 % |
233.91/234.03	c |     49514 |   13605    56336   169131 | 2147483647    49498     29 |  1.868 % |
234.81/234.96	c |     49660 |   13605    56336   169131 | 2147483647    49644     29 |  1.868 % |
235.91/236.03	c |     49820 |   13605    56336   169131 | 2147483647    49804     29 |  1.868 % |
236.81/236.91	c |     49998 |   13605    56336   169131 | 2147483647    49982     29 |  1.868 % |
237.91/238.06	c |     50193 |   13605    56336   169131 | 2147483647    50177     29 |  1.868 % |
239.31/239.49	c |     50405 |   13605    56336   169131 | 2147483647    50389     29 |  1.868 % |
240.81/240.95	c |     50639 |   13605    56336   169131 | 2147483647    50623     29 |  1.868 % |
242.32/242.48	c |     50896 |   13605    56336   169131 | 2147483647    50880     29 |  1.868 % |
244.02/244.13	c |     51178 |   13605    56336   169131 | 2147483647    51162     29 |  1.868 % |
245.31/245.43	c |     51487 |   13605    56336   169131 | 2147483647    51471     29 |  1.868 % |
247.11/247.23	c |     51827 |   13605    56336   169131 | 2147483647    51811     29 |  1.868 % |
249.01/249.11	c |     52199 |   13605    56336   169131 | 2147483647    52183     29 |  1.868 % |
251.41/251.56	c |     52609 |   13605    56336   169131 | 2147483647    52593     29 |  1.868 % |
252.91/253.08	c |     53059 |   13605    56336   169131 | 2147483647    53043     30 |  1.868 % |
255.31/255.43	c |     53552 |   13605    56336   169131 | 2147483647    53536     30 |  1.868 % |
258.31/258.49	c |     54097 |   13605    56336   169131 | 2147483647    54081     30 |  1.868 % |
261.71/261.83	c |     54694 |   13605    56336   169131 | 2147483647    54678     30 |  1.868 % |
265.70/265.85	c |     55350 |   13605    56336   169131 | 2147483647    55334     30 |  1.868 % |
270.30/270.45	c |     56072 |   13605    56336   169131 | 2147483647    56056     30 |  1.868 % |
271.00/271.18	c |     56173 |   13605    56336   169131 | 2147483647    56157     30 |  1.868 % |
271.80/271.93	c |     56284 |   13605    56336   169131 | 2147483647    56268     30 |  1.868 % |
272.50/272.64	c |     56405 |   13605    56336   169131 | 2147483647    56389     30 |  1.868 % |
273.40/273.54	c |     56538 |   13605    56336   169131 | 2147483647    56522     30 |  1.868 % |
274.30/274.48	c |     56684 |   13605    56336   169131 | 2147483647    56668     30 |  1.868 % |
275.40/275.50	c |     56844 |   13605    56336   169131 | 2147483647    56828     30 |  1.868 % |
276.60/276.73	c |     57021 |   13605    56336   169131 | 2147483647    57005     30 |  1.868 % |
277.90/278.00	c |     57214 |   13605    56336   169131 | 2147483647    57198     30 |  1.868 % |
278.90/279.09	c |     57426 |   13605    56336   169131 | 2147483647    57410     30 |  1.868 % |
280.10/280.23	c |     57661 |   13605    56336   169131 | 2147483647    57645     30 |  1.868 % |
281.30/281.44	c |     57918 |   13605    56336   169131 | 2147483647    57902     30 |  1.868 % |
282.80/282.94	c |     58199 |   13605    56336   169131 | 2147483647    58183     30 |  1.868 % |
284.60/284.71	c |     58508 |   13605    56336   169131 | 2147483647    58492     30 |  1.868 % |
286.20/286.37	c |     58848 |   13605    56336   169131 | 2147483647    58832     30 |  1.868 % |
288.59/288.72	c |     59220 |   13605    56336   169131 | 2147483647    59204     30 |  1.868 % |
290.79/290.94	c |     59629 |   13605    56336   169131 | 2147483647    59613     30 |  1.868 % |
293.89/294.00	c |     60078 |   13605    56336   169131 | 2147483647    60062     29 |  1.868 % |
297.29/297.45	c |     60571 |   13605    56336   169131 | 2147483647    60555     29 |  1.868 % |
300.69/300.83	c |     61114 |   13605    56336   169131 | 2147483647    61098     29 |  1.868 % |
304.49/304.69	c |     61710 |   13605    56336   169131 | 2147483647    61694     29 |  1.868 % |
308.59/308.79	c |     62366 |   13605    56336   169131 | 2147483647    62350     29 |  1.868 % |
312.89/313.06	c |     63087 |   13605    56336   169131 | 2147483647    63071     29 |  1.868 % |
318.49/318.64	c |     63879 |   13605    56336   169131 | 2147483647    63863     29 |  1.868 % |
318.99/319.17	c |     63980 |   13605    56336   169131 | 2147483647    63964     29 |  1.868 % |
319.59/319.77	c |     64091 |   13605    56336   169131 | 2147483647    64075     29 |  1.868 % |
320.49/320.61	c |     64213 |   13605    56336   169131 | 2147483647    64197     29 |  1.868 % |
321.29/321.48	c |     64347 |   13605    56336   169131 | 2147483647    64331     29 |  1.868 % |
322.29/322.47	c |     64494 |   13605    56336   169131 | 2147483647    64478     29 |  1.868 % |
323.39/323.53	c |     64655 |   13605    56336   169131 | 2147483647    64639     29 |  1.868 % |
324.69/324.80	c |     64831 |   13605    56336   169131 | 2147483647    64815     29 |  1.868 % |
325.99/326.12	c |     65024 |   13605    56336   169131 | 2147483647    65008     29 |  1.868 % |
327.39/327.52	c |     65236 |   13605    56336   169131 | 2147483647    65220     29 |  1.868 % |
328.29/328.40	c |     65469 |   13605    56336   169131 | 2147483647    65453     29 |  1.868 % |
329.99/330.13	c |     65726 |   13605    56336   169131 | 2147483647    65710     29 |  1.868 % |
331.99/332.19	c |     66009 |   13605    56336   169131 | 2147483647    65993     29 |  1.868 % |
334.08/334.25	c |     66319 |   13605    56336   169131 | 2147483647    66303     29 |  1.868 % |
336.49/336.69	c |     66658 |   13605    56336   169131 | 2147483647    66642     29 |  1.868 % |
339.18/339.31	c |     67030 |   13605    56336   169131 | 2147483647    67014     29 |  1.868 % |
341.88/342.08	c |     67441 |   13605    56336   169131 | 2147483647    67425     29 |  1.868 % |
344.59/344.72	c |     67892 |   13605    56336   169131 | 2147483647    67876     29 |  1.868 % |
347.69/347.81	c |     68385 |   13605    56336   169131 | 2147483647    68369     29 |  1.868 % |
350.98/351.18	c |     68929 |   13605    56336   169131 | 2147483647    68913     29 |  1.868 % |
354.88/355.03	c |     69525 |   13605    56336   169131 | 2147483647    69509     29 |  1.868 % |
358.98/359.10	c |     70180 |   13605    56336   169131 | 2147483647    70164     29 |  1.868 % |
363.38/363.59	c |     70900 |   13605    56336   169131 | 2147483647    70884     29 |  1.868 % |
367.28/367.47	c |     71692 |   13605    56336   169131 | 2147483647    71676     29 |  1.868 % |
373.18/373.32	c |     72563 |   13605    56336   169131 | 2147483647    72547     29 |  1.868 % |
373.78/373.97	c |     72664 |   13605    56336   169131 | 2147483647    72648     29 |  1.868 % |
374.58/374.70	c |     72774 |   13605    56336   169131 | 2147483647    72758     29 |  1.868 % |
375.58/375.74	c |     72895 |   13605    56336   169131 | 2147483647    72879     29 |  1.868 % |
376.48/376.65	c |     73028 |   13605    56336   169131 | 2147483647    73012     29 |  1.868 % |
377.67/377.80	c |     73174 |   13605    56336   169131 | 2147483647    73158     29 |  1.868 % |
378.77/378.96	c |     73334 |   13605    56336   169131 | 2147483647    73318     29 |  1.868 % |
380.07/380.22	c |     73510 |   13605    56336   169131 | 2147483647    73494     29 |  1.868 % |
381.37/381.50	c |     73703 |   13605    56336   169131 | 2147483647    73687     29 |  1.868 % |
382.77/382.95	c |     73916 |   13605    56336   169131 | 2147483647    73900     29 |  1.868 % |
384.37/384.55	c |     74150 |   13605    56336   169131 | 2147483647    74134     29 |  1.868 % |
385.97/386.19	c |     74407 |   13605    56336   169131 | 2147483647    74391     29 |  1.868 % |
387.87/388.04	c |     74689 |   13605    56336   169131 | 2147483647    74673     29 |  1.868 % |
389.87/390.06	c |     74998 |   13605    56336   169131 | 2147483647    74982     29 |  1.868 % |
392.27/392.40	c |     75337 |   13605    56336   169131 | 2147483647    75321     29 |  1.868 % |
394.77/394.94	c |     75709 |   13605    56336   169131 | 2147483647    75693     29 |  1.868 % |
397.57/397.78	c |     76119 |   13605    56336   169131 | 2147483647    76103     29 |  1.868 % |
400.27/400.49	c |     76568 |   13605    56336   169131 | 2147483647    76552     29 |  1.868 % |
402.87/403.01	c |     77061 |   13605    56336   169131 | 2147483647    77045     29 |  1.868 % |
406.47/406.61	c |     77603 |   13605    56336   169131 | 2147483647    77587     29 |  1.868 % |
410.36/410.55	c |     78199 |   13605    56336   169131 | 2147483647    78183     29 |  1.868 % |
413.96/414.18	c |     78854 |   13605    56336   169131 | 2147483647    78838     29 |  1.868 % |
418.56/418.76	c |     79575 |   13605    56336   169131 | 2147483647    79559     29 |  1.868 % |
424.36/424.59	c |     80367 |   13605    56336   169131 | 2147483647    80351     29 |  1.868 % |
430.45/430.67	c |     81238 |   13605    56336   169131 | 2147483647    81222     29 |  1.868 % |
436.56/436.75	c |     82196 |   13605    56336   169131 | 2147483647    82180     29 |  1.868 % |
437.16/437.35	c |     82296 |   13605    56336   169131 | 2147483647    82280     29 |  1.868 % |
437.96/438.17	c |     82406 |   13605    56336   169131 | 2147483647    82390     29 |  1.868 % |
438.86/439.06	c |     82527 |   13605    56336   169131 | 2147483647    82511     29 |  1.868 % |
439.76/439.98	c |     82660 |   13605    56336   169131 | 2147483647    82644     29 |  1.868 % |
440.76/440.95	c |     82807 |   13605    56336   169131 | 2147483647    82791     29 |  1.868 % |
441.76/442.00	c |     82967 |   13605    56336   169131 | 2147483647    82951     29 |  1.868 % |
442.96/443.18	c |     83144 |   13605    56336   169131 | 2147483647    83128     29 |  1.868 % |
444.46/444.66	c |     83338 |   13605    56336   169131 | 2147483647    83322     29 |  1.868 % |
446.06/446.26	c |     83551 |   13605    56336   169131 | 2147483647    83535     29 |  1.868 % |
447.95/448.10	c |     83785 |   13605    56336   169131 | 2147483647    83769     29 |  1.868 % |
449.66/449.89	c |     84041 |   13605    56336   169131 | 2147483647    84025     29 |  1.868 % |
451.75/451.97	c |     84322 |   13605    56336   169131 | 2147483647    84306     29 |  1.868 % |
453.95/454.10	c |     84631 |   13605    56336   169131 | 2147483647    84615     29 |  1.868 % |
456.25/456.43	c |     84970 |   13605    56336   169131 | 2147483647    84954     29 |  1.868 % |
459.05/459.21	c |     85343 |   13605    56336   169131 | 2147483647    85327     29 |  1.868 % |
461.65/461.86	c |     85752 |   13605    56336   169131 | 2147483647    85736     29 |  1.868 % |
464.75/464.92	c |     86201 |   13605    56336   169131 | 2147483647    86185     29 |  1.868 % |
467.35/467.57	c |     86695 |   13605    56336   169131 | 2147483647    86679     29 |  1.868 % |
471.34/471.58	c |     87237 |   13605    56336   169131 | 2147483647    87221     29 |  1.868 % |
475.24/475.44	c |     87834 |   13605    56336   169131 | 2147483647    87818     29 |  1.868 % |
479.14/479.32	c |     88489 |   13605    56336   169131 | 2147483647    88473     29 |  1.868 % |
484.14/484.37	c |     89209 |   13605    56336   169131 | 2147483647    89193     29 |  1.868 % |
489.74/489.90	c |     90002 |   13605    56336   169131 | 2147483647    89986     29 |  1.868 % |
496.24/496.44	c |     90874 |   13605    56336   169131 | 2147483647    90858     29 |  1.868 % |
502.94/503.12	c |     91832 |   13605    56336   169131 | 2147483647    91816     29 |  1.868 % |
509.44/509.70	c |     92885 |   13605    56336   169131 | 2147483647    92869     29 |  1.868 % |
510.24/510.49	c |     92986 |   13605    56336   169131 | 2147483647    92970     29 |  1.868 % |
511.14/511.31	c |     93096 |   13605    56336   169131 | 2147483647    93080     29 |  1.868 % |
512.14/512.30	c |     93218 |   13605    56336   169131 | 2147483647    93202     29 |  1.868 % |
513.24/513.40	c |     93352 |   13605    56336   169131 | 2147483647    93336     29 |  1.868 % |
514.44/514.65	c |     93498 |   13605    56336   169131 | 2147483647    93482     29 |  1.868 % |
515.74/515.95	c |     93659 |   13605    56336   169131 | 2147483647    93643     29 |  1.868 % |
516.74/516.92	c |     93835 |   13605    56336   169131 | 2147483647    93819     29 |  1.868 % |
518.14/518.35	c |     94029 |   13605    56336   169131 | 2147483647    94013     29 |  1.868 % |
519.84/520.00	c |     94242 |   13605    56336   169131 | 2147483647    94226     29 |  1.868 % |
521.33/521.51	c |     94477 |   13605    56336   169131 | 2147483647    94461     29 |  1.868 % |
523.34/523.58	c |     94736 |   13605    56336   169131 | 2147483647    94720     29 |  1.868 % |
525.64/525.83	c |     95017 |   13605    56336   169131 | 2147483647    95001     29 |  1.868 % |
527.84/528.02	c |     95326 |   13605    56336   169131 | 2147483647    95310     29 |  1.868 % |
530.43/530.63	c |     95665 |   13605    56336   169131 | 2147483647    95649     29 |  1.868 % |
533.53/533.74	c |     96037 |   13605    56336   169131 | 2147483647    96021     29 |  1.868 % |
536.53/536.80	c |     96448 |   13605    56336   169131 | 2147483647    96432     29 |  1.868 % |
539.73/539.95	c |     96897 |   13605    56336   169131 | 2147483647    96881     29 |  1.868 % |
543.93/544.12	c |     97390 |   13605    56336   169131 | 2147483647    97374     29 |  1.868 % |
548.03/548.23	c |     97932 |   13605    56336   169131 | 2147483647    97916     29 |  1.868 % |
552.83/553.01	c |     98528 |   13605    56336   169131 | 2147483647    98512     29 |  1.868 % |
558.02/558.28	c |     99184 |   13605    56336   169131 | 2147483647    99168     29 |  1.868 % |
563.62/563.86	c |     99904 |   13605    56336   169131 | 2147483647    99888     29 |  1.868 % |
570.12/570.36	c |    100698 |   13605    56336   169131 | 2147483647   100682     29 |  1.868 % |
577.32/577.58	c |    101570 |   13605    56336   169131 | 2147483647   101554     29 |  1.868 % |
584.62/584.87	c |    102529 |   13605    56336   169131 | 2147483647   102513     29 |  1.868 % |
592.81/593.00	c |    103583 |   13605    56336   169131 | 2147483647   103567     29 |  1.868 % |
601.01/601.22	c |    104743 |   13605    56336   169131 | 2147483647   104727     29 |  1.868 % |
601.81/602.07	c |    104844 |   13605    56336   169131 | 2147483647   104828     29 |  1.868 % |
602.61/602.86	c |    104954 |   13605    56336   169131 | 2147483647   104938     29 |  1.868 % |
603.41/603.64	c |    105075 |   13605    56336   169131 | 2147483647   105059     29 |  1.868 % |
604.51/604.73	c |    105208 |   13605    56336   169131 | 2147483647   105192     29 |  1.868 % |
605.81/606.09	c |    105355 |   13605    56336   169131 | 2147483647   105339     29 |  1.868 % |
607.31/607.51	c |    105515 |   13605    56336   169131 | 2147483647   105499     29 |  1.868 % |
608.81/609.06	c |    105691 |   13605    56336   169131 | 2147483647   105675     29 |  1.868 % |
610.41/610.61	c |    105884 |   13605    56336   169131 | 2147483647   105868     29 |  1.868 % |
612.01/612.26	c |    106096 |   13605    56336   169131 | 2147483647   106080     29 |  1.868 % |
613.91/614.19	c |    106329 |   13605    56336   169131 | 2147483647   106313     29 |  1.868 % |
616.11/616.40	c |    106586 |   13605    56336   169131 | 2147483647   106570     29 |  1.868 % |
618.31/618.58	c |    106867 |   13605    56336   169131 | 2147483647   106851     29 |  1.868 % |
620.81/621.05	c |    107177 |   13605    56336   169131 | 2147483647   107161     29 |  1.868 % |
623.20/623.40	c |    107516 |   13605    56336   169131 | 2147483647   107500     29 |  1.868 % |
626.10/626.31	c |    107889 |   13605    56336   169131 | 2147483647   107873     29 |  1.868 % |
629.10/629.37	c |    108299 |   13605    56336   169131 | 2147483647   108283     29 |  1.868 % |
632.40/632.68	c |    108749 |   13605    56336   169131 | 2147483647   108733     29 |  1.868 % |
636.50/636.79	c |    109245 |   13605    56336   169131 | 2147483647   109229     29 |  1.868 % |
639.20/639.40	c |    109787 |   13605    56336   169131 | 2147483647   109771     29 |  1.868 % |
642.60/642.85	c |    110383 |   13605    56336   169131 | 2147483647   110367     29 |  1.868 % |
647.60/647.82	c |    111039 |   13605    56336   169131 | 2147483647   111023     29 |  1.868 % |
653.49/653.79	c |    111759 |   13605    56336   169131 | 2147483647   111743     29 |  1.868 % |
659.29/659.53	c |    112552 |   13605    56336   169131 | 2147483647   112536     29 |  1.868 % |
665.50/665.79	c |    113423 |   13605    56336   169131 | 2147483647   113407     29 |  1.868 % |
672.19/672.42	c |    114382 |   13605    56336   169131 | 2147483647   114366     29 |  1.868 % |
680.09/680.31	c |    115435 |   13605    56336   169131 | 2147483647   115419     29 |  1.868 % |
688.79/689.01	c |    116594 |   13605    56336   169131 | 2147483647   116578     29 |  1.868 % |
698.88/699.18	c |    117868 |   13605    56336   169131 | 2147483647   117852     29 |  1.868 % |
699.58/699.88	c |    117969 |   13605    56336   169131 | 2147483647   117953     29 |  1.868 % |
700.49/700.76	c |    118080 |   13605    56336   169131 | 2147483647   118064     29 |  1.868 % |
701.49/701.79	c |    118201 |   13605    56336   169131 | 2147483647   118185     29 |  1.868 % |
702.59/702.85	c |    118335 |   13605    56336   169131 | 2147483647   118319     29 |  1.868 % |
703.88/704.15	c |    118482 |   13605    56336   169131 | 2147483647   118466     29 |  1.868 % |
705.08/705.36	c |    118642 |   13605    56336   169131 | 2147483647   118626     29 |  1.868 % |
706.28/706.59	c |    118818 |   13605    56336   169131 | 2147483647   118802     29 |  1.868 % |
707.88/708.11	c |    119011 |   13605    56336   169131 | 2147483647   118995     29 |  1.868 % |
709.68/709.91	c |    119226 |   13605    56336   169131 | 2147483647   119210     29 |  1.868 % |
711.58/711.87	c |    119460 |   13605    56336   169131 | 2147483647   119444     29 |  1.868 % |
713.58/713.89	c |    119716 |   13605    56336   169131 | 2147483647   119700     29 |  1.868 % |
715.98/716.21	c |    119997 |   13605    56336   169131 | 2147483647   119981     29 |  1.868 % |
718.38/718.66	c |    120307 |   13605    56336   169131 | 2147483647   120291     29 |  1.868 % |
721.38/721.61	c |    120646 |   13605    56336   169131 | 2147483647   120630     29 |  1.868 % |
724.77/725.03	c |    121018 |   13605    56336   169131 | 2147483647   121002     29 |  1.868 % |
728.47/728.70	c |    121429 |   13605    56336   169131 | 2147483647   121413     29 |  1.868 % |
732.27/732.57	c |    121878 |   13605    56336   169131 | 2147483647   121862     29 |  1.868 % |
736.77/737.06	c |    122371 |   13605    56336   169131 | 2147483647   122355     29 |  1.868 % |
741.17/741.43	c |    122913 |   13605    56336   169131 | 2147483647   122897     29 |  1.868 % |
746.27/746.50	c |    123509 |   13605    56336   169131 | 2147483647   123493     29 |  1.868 % |
752.07/752.36	c |    124165 |   13605    56336   169131 | 2147483647   124149     29 |  1.868 % |
758.06/758.39	c |    124885 |   13605    56336   169131 | 2147483647   124869     29 |  1.868 % |
763.97/764.20	c |    125678 |   13605    56336   169131 | 2147483647   125662     29 |  1.868 % |
770.47/770.73	c |    126549 |   13605    56336   169131 | 2147483647   126533     29 |  1.868 % |
778.76/779.10	c |    127507 |   13605    56336   169131 | 2147483647   127491     29 |  1.868 % |
787.46/787.79	c |    128561 |   13605    56336   169131 | 2147483647   128545     29 |  1.868 % |
796.66/796.97	c |    129720 |   13605    56336   169131 | 2147483647   129704     29 |  1.868 % |
806.15/806.47	c |    130994 |   13605    56336   169131 | 2147483647   130978     29 |  1.868 % |
817.75/818.08	c |    132394 |   13605    56336   169131 | 2147483647   132378     29 |  1.868 % |
818.65/818.96	c |    132494 |   13605    56336   169131 | 2147483647   132478     29 |  1.868 % |
819.65/819.91	c |    132606 |   13605    56336   169131 | 2147483647   132590     29 |  1.868 % |
820.65/820.95	c |    132728 |   13605    56336   169131 | 2147483647   132712     29 |  1.868 % |
821.85/822.11	c |    132863 |   13605    56336   169131 | 2147483647   132847     29 |  1.868 % |
822.95/823.20	c |    133010 |   13605    56336   169131 | 2147483647   132994     29 |  1.868 % |
824.24/824.58	c |    133171 |   13605    56336   169131 | 2147483647   133155     29 |  1.868 % |
825.75/826.01	c |    133348 |   13605    56336   169131 | 2147483647   133332     29 |  1.868 % |
827.14/827.41	c |    133542 |   13605    56336   169131 | 2147483647   133526     29 |  1.868 % |
828.84/829.17	c |    133755 |   13605    56336   169131 | 2147483647   133739     29 |  1.868 % |
831.04/831.32	c |    133988 |   13605    56336   169131 | 2147483647   133972     29 |  1.868 % |
832.84/833.15	c |    134245 |   13605    56336   169131 | 2147483647   134229     29 |  1.868 % |
835.54/835.81	c |    134527 |   13605    56336   169131 | 2147483647   134511     29 |  1.868 % |
838.34/838.69	c |    134837 |   13605    56336   169131 | 2147483647   134821     29 |  1.868 % |
840.84/841.18	c |    135177 |   13605    56336   169131 | 2147483647   135161     29 |  1.868 % |
843.94/844.22	c |    135550 |   13605    56336   169131 | 2147483647   135534     29 |  1.868 % |
846.94/847.25	c |    135959 |   13605    56336   169131 | 2147483647   135943     29 |  1.868 % |
850.54/850.84	c |    136409 |   13605    56336   169131 | 2147483647   136393     29 |  1.868 % |
853.44/853.72	c |    136902 |   13605    56336   169131 | 2147483647   136886     29 |  1.868 % |
857.94/858.28	c |    137444 |   13605    56336   169131 | 2147483647   137428     29 |  1.868 % |
862.74/863.07	c |    138041 |   13605    56336   169131 | 2147483647   138025     29 |  1.868 % |
869.04/869.33	c |    138696 |   13605    56336   169131 | 2147483647   138680     29 |  1.868 % |
875.44/875.74	c |    139416 |   13605    56336   169131 | 2147483647   139400     29 |  1.868 % |
882.63/882.91	c |    140208 |   13605    56336   169131 | 2147483647   140192     29 |  1.868 % |
890.23/890.50	c |    141079 |   13605    56336   169131 | 2147483647   141063     29 |  1.868 % |
899.03/899.36	c |    142037 |   13605    56336   169131 | 2147483647   142021     29 |  1.868 % |
907.93/908.25	c |    143090 |   13605    56336   169131 | 2147483647   143074     29 |  1.868 % |
917.52/917.81	c |    144248 |   13605    56336   169131 | 2147483647   144232     29 |  1.868 % |
928.53/928.84	c |    145521 |   13605    56336   169131 | 2147483647   145505     29 |  1.868 % |
940.12/940.49	c |    146922 |   13605    56336   169131 | 2147483647   146906     29 |  1.868 % |
953.62/953.95	c |    148462 |   13605    56336   169131 | 2147483647   148446     29 |  1.868 % |
954.52/954.87	c |    148564 |   13605    56336   169131 | 2147483647   148548     29 |  1.868 % |
955.62/955.90	c |    148674 |   13605    56336   169131 | 2147483647   148658     29 |  1.868 % |
956.52/956.81	c |    148797 |   13605    56336   169131 | 2147483647   148781     29 |  1.868 % |
957.82/958.12	c |    148931 |   13605    56336   169131 | 2147483647   148915     29 |  1.868 % |
959.11/959.46	c |    149077 |   13605    56336   169131 | 2147483647   149061     29 |  1.868 % |
960.41/960.78	c |    149237 |   13605    56336   169131 | 2147483647   149221     29 |  1.868 % |
962.12/962.42	c |    149413 |   13605    56336   169131 | 2147483647   149397     28 |  1.868 % |
964.01/964.32	c |    149607 |   13605    56336   169131 | 2147483647   149591     28 |  1.868 % |
965.81/966.15	c |    149819 |   13605    56336   169131 | 2147483647   149803     28 |  1.868 % |
967.62/967.97	c |    150052 |   13605    56336   169131 | 2147483647   150036     28 |  1.868 % |
969.71/970.01	c |    150310 |   13605    56336   169131 | 2147483647   150294     29 |  1.868 % |
972.31/972.63	c |    150592 |   13605    56336   169131 | 2147483647   150576     29 |  1.868 % |
975.21/975.52	c |    150902 |   13605    56336   169131 | 2147483647   150886     29 |  1.868 % |
978.21/978.59	c |    151242 |   13605    56336   169131 | 2147483647   151226     28 |  1.868 % |
981.80/982.19	c |    151615 |   13605    56336   169131 | 2147483647   151599     28 |  1.868 % |
985.90/986.25	c |    152026 |   13605    56336   169131 | 2147483647   152010     28 |  1.868 % |
990.20/990.60	c |    152476 |   13605    56336   169131 | 2147483647   152460     28 |  1.868 % |
994.80/995.15	c |    152969 |   13605    56336   169131 | 2147483647   152953     28 |  1.868 % |
999.50/999.87	c |    153511 |   13605    56336   169131 | 2147483647   153495     28 |  1.868 % |
1005.10/1005.45	c |    154108 |   13605    56336   169131 | 2147483647   154092     28 |  1.868 % |
1010.40/1010.71	c |    154764 |   13605    56336   169131 | 2147483647   154748     28 |  1.868 % |
1016.29/1016.66	c |    155484 |   13605    56336   169131 | 2147483647   155468     28 |  1.868 % |
1023.09/1023.41	c |    156277 |   13605    56336   169131 | 2147483647   156261     29 |  1.868 % |
1028.80/1029.19	c |    157150 |   13605    56336   169131 | 2147483647   157134     29 |  1.868 % |
1036.90/1037.23	c |    158108 |   13605    56336   169131 | 2147483647   158092     29 |  1.868 % |
1046.80/1047.15	c |    159162 |   13605    56336   169131 | 2147483647   159146     29 |  1.868 % |
1055.39/1055.72	c |    160320 |   13605    56336   169131 | 2147483647   160304     29 |  1.868 % |
1066.79/1067.17	c |    161594 |   13605    56336   169131 | 2147483647   161578     29 |  1.868 % |
1080.88/1081.23	c |    162995 |   13605    56336   169131 | 2147483647   162979     29 |  1.868 % |
1094.57/1094.98	c |    164537 |   13605    56336   169131 | 2147483647   164521     29 |  1.868 % |
1110.77/1111.17	c |    166232 |   13605    56336   169131 | 2147483647   166216     29 |  1.868 % |
1111.77/1112.13	c |    166332 |   13605    56336   169131 | 2147483647   166316     29 |  1.868 % |
1112.97/1113.37	c |    166443 |   13605    56336   169131 | 2147483647   166427     29 |  1.868 % |
1114.37/1114.79	c |    166564 |   13605    56336   169131 | 2147483647   166548     29 |  1.868 % |
1116.07/1116.41	c |    166699 |   13605    56336   169131 | 2147483647   166683     29 |  1.868 % |
1117.27/1117.69	c |    166845 |   13605    56336   169131 | 2147483647   166829     29 |  1.868 % |
1118.77/1119.12	c |    167005 |   13605    56336   169131 | 2147483647   166989     29 |  1.868 % |
1120.57/1120.96	c |    167183 |   13605    56336   169131 | 2147483647   167167     29 |  1.868 % |
1122.46/1122.81	c |    167376 |   13605    56336   169131 | 2147483647   167360     29 |  1.868 % |
1124.26/1124.69	c |    167588 |   13605    56336   169131 | 2147483647   167572     29 |  1.868 % |
1126.46/1126.83	c |    167822 |   13605    56336   169131 | 2147483647   167806     29 |  1.868 % |
1128.66/1129.04	c |    168079 |   13605    56336   169131 | 2147483647   168063     29 |  1.868 % |
1131.36/1131.77	c |    168361 |   13605    56336   169131 | 2147483647   168345     29 |  1.868 % |
1134.26/1134.66	c |    168670 |   13605    56336   169131 | 2147483647   168654     29 |  1.868 % |
1137.27/1137.64	c |    169010 |   13605    56336   169131 | 2147483647   168994     29 |  1.868 % |
1140.77/1141.19	c |    169383 |   13605    56336   169131 | 2147483647   169367     29 |  1.868 % |
1144.67/1145.02	c |    169792 |   13605    56336   169131 | 2147483647   169776     29 |  1.868 % |
1148.67/1149.04	c |    170242 |   13605    56336   169131 | 2147483647   170226     29 |  1.868 % |
1153.47/1153.80	c |    170735 |   13605    56336   169131 | 2147483647   170719     29 |  1.868 % |
1158.66/1159.00	c |    171279 |   13605    56336   169131 | 2147483647   171263     29 |  1.868 % |
1164.16/1164.56	c |    171876 |   13605    56336   169131 | 2147483647   171860     29 |  1.868 % |
1170.55/1170.92	c |    172531 |   13605    56336   169131 | 2147483647   172515     29 |  1.868 % |
1177.15/1177.50	c |    173251 |   13605    56336   169131 | 2147483647   173235     29 |  1.868 % |
1185.05/1185.40	c |    174043 |   13605    56336   169131 | 2147483647   174027     29 |  1.868 % |
1192.74/1193.15	c |    174914 |   13605    56336   169131 | 2147483647   174898     29 |  1.868 % |
1201.96/1202.33	c |    175873 |   13605    56336   169131 | 2147483647   175857     29 |  1.868 % |
1210.65/1211.07	c |    176926 |   13605    56336   169131 | 2147483647   176910     29 |  1.868 % |
1221.54/1221.99	c |    178084 |   13605    56336   169131 | 2147483647   178068     29 |  1.868 % |
1234.24/1234.65	c |    179357 |   13605    56336   169131 | 2147483647   179341     29 |  1.868 % |
1247.33/1247.78	c |    180758 |   13605    56336   169131 | 2147483647   180742     29 |  1.868 % |
1262.23/1262.61	c |    182298 |   13605    56336   169131 | 2147483647   182282     29 |  1.868 % |
1278.72/1279.13	c |    183992 |   13605    56336   169131 | 2147483647   183976     29 |  1.868 % |
1296.23/1296.63	c |    185856 |   13605    56336   169131 | 2147483647   185840     29 |  1.868 % |
1297.22/1297.68	c |    185957 |   13605    56336   169131 | 2147483647   185941     29 |  1.868 % |
1298.42/1298.83	c |    186068 |   13605    56336   169131 | 2147483647   186052     29 |  1.868 % |
1299.73/1300.19	c |    186189 |   13605    56336   169131 | 2147483647   186173     29 |  1.868 % |
1301.12/1301.59	c |    186322 |   13605    56336   169131 | 2147483647   186306     29 |  1.868 % |
1302.62/1303.08	c |    186469 |   13605    56336   169131 | 2147483647   186453     29 |  1.868 % |
1304.13/1304.51	c |    186631 |   13605    56336   169131 | 2147483647   186615     29 |  1.868 % |
1305.92/1306.33	c |    186808 |   13605    56336   169131 | 2147483647   186792     29 |  1.868 % |
1307.72/1308.16	c |    187003 |   13605    56336   169131 | 2147483647   186987     29 |  1.868 % |
1309.92/1310.34	c |    187215 |   13605    56336   169131 | 2147483647   187199     29 |  1.868 % |
1312.52/1312.95	c |    187448 |   13605    56336   169131 | 2147483647   187432     29 |  1.868 % |
1315.22/1315.61	c |    187705 |   13605    56336   169131 | 2147483647   187689     29 |  1.868 % |
1318.42/1318.81	c |    187986 |   13605    56336   169131 | 2147483647   187970     29 |  1.868 % |
1321.42/1321.89	c |    188295 |   13605    56336   169131 | 2147483647   188279     29 |  1.868 % |
1324.51/1324.99	c |    188635 |   13605    56336   169131 | 2147483647   188619     29 |  1.868 % |
1328.51/1328.91	c |    189007 |   13605    56336   169131 | 2147483647   188991     29 |  1.868 % |
1332.61/1333.01	c |    189417 |   13605    56336   169131 | 2147483647   189401     29 |  1.868 % |
1337.01/1337.42	c |    189867 |   13605    56336   169131 | 2147483647   189851     29 |  1.868 % |
1341.41/1341.86	c |    190360 |   13605    56336   169131 | 2147483647   190344     28 |  1.868 % |
1346.71/1347.11	c |    190902 |   13605    56336   169131 | 2147483647   190886     28 |  1.868 % |
1352.40/1352.87	c |    191498 |   13605    56336   169131 | 2147483647   191482     28 |  1.868 % |
1358.50/1358.93	c |    192153 |   13605    56336   169131 | 2147483647   192137     28 |  1.868 % |
1365.10/1365.53	c |    192875 |   13605    56336   169131 | 2147483647   192859     28 |  1.868 % |
1372.90/1373.39	c |    193667 |   13605    56336   169131 | 2147483647   193651     28 |  1.868 % |
1381.90/1382.34	c |    194540 |   13605    56336   169131 | 2147483647   194524     28 |  1.868 % |
1391.60/1392.05	c |    195499 |   13605    56336   169131 | 2147483647   195483     28 |  1.868 % |
1402.10/1402.54	c |    196553 |   13605    56336   169131 | 2147483647   196537     28 |  1.868 % |
1413.79/1414.22	c |    197712 |   13605    56336   169131 | 2147483647   197696     28 |  1.868 % |
1426.79/1427.28	c |    198986 |   13605    56336   169131 | 2147483647   198970     28 |  1.868 % |
1440.49/1440.91	c |    200388 |   13605    56336   169131 | 2147483647   200372     28 |  1.868 % |
1456.28/1456.78	c |    201928 |   13605    56336   169131 | 2147483647   201912     28 |  1.868 % |
1472.98/1473.44	c |    203622 |   13605    56336   169131 | 2147483647   203606     28 |  1.868 % |
1491.27/1491.74	c |    205485 |   13605    56336   169131 | 2147483647   205469     28 |  1.868 % |
1512.36/1512.85	c |    207535 |   13605    56336   169131 | 2147483647   207519     28 |  1.868 % |
1513.46/1513.93	c |    207635 |   13605    56336   169131 | 2147483647   207619     28 |  1.868 % |
1514.76/1515.20	c |    207745 |   13605    56336   169131 | 2147483647   207729     28 |  1.868 % |
1515.96/1516.40	c |    207867 |   13605    56336   169131 | 2147483647   207851     28 |  1.868 % |
1517.46/1517.97	c |    208000 |   13605    56336   169131 | 2147483647   207984     28 |  1.868 % |
1518.86/1519.35	c |    208147 |   13605    56336   169131 | 2147483647   208131     28 |  1.868 % |
1520.46/1520.94	c |    208308 |   13605    56336   169131 | 2147483647   208292     28 |  1.868 % |
1522.26/1522.73	c |    208484 |   13605    56336   169131 | 2147483647   208468     28 |  1.868 % |
1524.06/1524.57	c |    208678 |   13605    56336   169131 | 2147483647   208662     28 |  1.868 % |
1526.06/1526.58	c |    208890 |   13605    56336   169131 | 2147483647   208874     28 |  1.868 % |
1528.35/1528.88	c |    209123 |   13605    56336   169131 | 2147483647   209107     28 |  1.868 % |
1530.36/1530.89	c |    209381 |   13605    56336   169131 | 2147483647   209365     28 |  1.868 % |
1533.46/1533.99	c |    209663 |   13605    56336   169131 | 2147483647   209647     28 |  1.868 % |
1536.66/1537.18	c |    209973 |   13605    56336   169131 | 2147483647   209957     28 |  1.868 % |
1540.56/1541.01	c |    210315 |   13605    56336   169131 | 2147483647   210299     28 |  1.868 % |
1542.96/1543.42	c |    210688 |   13605    56336   169131 | 2147483647   210672     28 |  1.868 % |
1547.26/1547.70	c |    211099 |   13605    56336   169131 | 2147483647   211083     28 |  1.868 % |
1552.96/1553.47	c |    211549 |   13605    56336   169131 | 2147483647   211533     28 |  1.868 % |
1558.45/1558.92	c |    212043 |   13605    56336   169131 | 2147483647   212027     28 |  1.868 % |
1564.05/1564.58	c |    212585 |   13605    56336   169131 | 2147483647   212569     28 |  1.868 % |
1570.45/1570.98	c |    213181 |   13605    56336   169131 | 2147483647   213165     28 |  1.868 % |
1577.34/1577.81	c |    213836 |   13605    56336   169131 | 2147483647   213820     28 |  1.868 % |
1584.65/1585.14	c |    214557 |   13605    56336   169131 | 2147483647   214541     28 |  1.868 % |
1592.44/1592.90	c |    215351 |   13605    56336   169131 | 2147483647   215335     28 |  1.868 % |
1601.04/1601.58	c |    216222 |   13605    56336   169131 | 2147483647   216206     28 |  1.868 % |
1610.43/1610.90	c |    217181 |   13605    56336   169131 | 2147483647   217165     28 |  1.868 % |
1621.83/1622.35	c |    218235 |   13605    56336   169131 | 2147483647   218219     28 |  1.868 % |
1631.94/1632.48	c |    219393 |   13605    56336   169131 | 2147483647   219377     29 |  1.868 % |
1647.23/1647.75	c |    220666 |   13605    56336   169131 | 2147483647   220650     29 |  1.868 % |
1661.42/1661.99	c |    222066 |   13605    56336   169131 | 2147483647   222050     29 |  1.868 % |
1678.52/1679.02	c |    223608 |   13605    56336   169131 | 2147483647   223592     28 |  1.868 % |
1697.51/1698.08	c |    225302 |   13605    56336   169131 | 2147483647   225286     29 |  1.868 % |
1716.51/1717.05	c |    227166 |   13605    56336   169131 | 2147483647   227150     29 |  1.868 % |
1737.91/1738.44	c |    229217 |   13605    56336   169131 | 2147483647   229201     28 |  1.868 % |
1762.70/1763.29	c |    231470 |   13605    56336   169131 | 2147483647   231454     29 |  1.868 % |
1763.90/1764.43	c |    231570 |   13605    56336   169131 | 2147483647   231554     29 |  1.868 % |
1765.20/1765.78	c |    231681 |   13605    56336   169131 | 2147483647   231665     29 |  1.868 % |
1766.50/1767.01	c |    231802 |   13605    56336   169131 | 2147483647   231786     29 |  1.868 % |
1767.80/1768.31	c |    231935 |   13605    56336   169131 | 2147483647   231919     29 |  1.868 % |
1769.30/1769.88	c |    232081 |   13605    56336   169131 | 2147483647   232065     29 |  1.868 % |
1771.39/1771.95	c |    232242 |   13605    56336   169131 | 2147483647   232226     29 |  1.868 % |
1773.49/1774.09	c |    232419 |   13605    56336   169131 | 2147483647   232403     29 |  1.868 % |
1775.59/1776.16	c |    232613 |   13605    56336   169131 | 2147483647   232597     29 |  1.868 % |
1777.99/1778.51	c |    232825 |   13605    56336   169131 | 2147483647   232809     29 |  1.868 % |
1780.39/1780.91	c |    233060 |   13605    56336   169131 | 2147483647   233044     29 |  1.868 % |
1782.99/1783.55	c |    233316 |   13605    56336   169131 | 2147483647   233300     29 |  1.868 % |
1785.89/1786.48	c |    233597 |   13605    56336   169131 | 2147483647   233581     29 |  1.868 % |
1789.68/1790.26	c |    233906 |   13605    56336   169131 | 2147483647   233890     29 |  1.868 % |
1793.18/1793.71	c |    234245 |   13605    56336   169131 | 2147483647   234229     29 |  1.868 % |
1796.48/1797.03	c |    234617 |   13605    56336   169131 | 2147483647   234601     29 |  1.868 % |
1800.89/1801.50	c |    235026 |   13605    56336   169131 | 2147483647   235010     29 |  1.868 % |
1806.09/1806.63	c |    235478 |   13605    56336   169131 | 2147483647   235462     29 |  1.868 % |
1811.29/1811.82	c |    235971 |   13605    56336   169131 | 2147483647   235955     29 |  1.868 % |
1817.18/1817.74	c |    236513 |   13605    56336   169131 | 2147483647   236497     29 |  1.868 % |
1823.19/1823.77	c |    237110 |   13605    56336   169131 | 2147483647   237094     29 |  1.868 % |
1830.58/1831.11	c |    237767 |   13605    56336   169131 | 2147483647   237751     29 |  1.868 % |
1838.58/1839.12	c |    238488 |   13605    56336   169131 | 2147483647   238472     28 |  1.868 % |
1846.97/1847.58	c |    239280 |   13605    56336   169131 | 2147483647   239264     28 |  1.868 % |
1854.17/1854.70	c |    240151 |   13605    56336   169131 | 2147483647   240135     29 |  1.868 % |
1864.67/1865.24	c |    241109 |   13605    56336   169131 | 2147483647   241093     29 |  1.868 % |
1874.87/1875.45	c |    242163 |   13605    56336   169131 | 2147483647   242147     29 |  1.868 % |
1885.66/1886.22	c |    243321 |   13605    56336   169131 | 2147483647   243305     29 |  1.868 % |
1899.55/1900.11	c |    244594 |   13605    56336   169131 | 2147483647   244578     29 |  1.868 % |
1915.76/1916.34	c |    245995 |   13605    56336   169131 | 2147483647   245979     29 |  1.868 % |
1931.55/1932.10	c |    247536 |   13605    56336   169131 | 2147483647   247520     29 |  1.868 % |
1949.85/1950.46	c |    249231 |   13605    56336   169131 | 2147483647   249215     29 |  1.868 % |
1970.14/1970.75	c |    251095 |   13605    56336   169131 | 2147483647   251079     29 |  1.868 % |
1994.74/1995.32	c |    253145 |   13605    56336   169131 | 2147483647   253129     29 |  1.868 % |
2020.03/2020.62	c |    255398 |   13605    56336   169131 | 2147483647   255382     29 |  1.868 % |
2045.43/2046.05	c |    257876 |   13605    56336   169131 | 2147483647   257860     29 |  1.868 % |
2046.62/2047.22	c |    257976 |   13605    56336   169131 | 2147483647   257960     29 |  1.868 % |
2047.92/2048.59	c |    258086 |   13605    56336   169131 | 2147483647   258070     29 |  1.868 % |
2049.32/2049.97	c |    258207 |   13605    56336   169131 | 2147483647   258191     29 |  1.868 % |
2051.02/2051.63	c |    258340 |   13605    56336   169131 | 2147483647   258324     29 |  1.868 % |
2052.82/2053.48	c |    258486 |   13605    56336   169131 | 2147483647   258470     29 |  1.868 % |
2055.12/2055.74	c |    258647 |   13605    56336   169131 | 2147483647   258631     29 |  1.868 % |
2057.02/2057.60	c |    258823 |   13605    56336   169131 | 2147483647   258807     29 |  1.868 % |
2059.32/2059.95	c |    259017 |   13605    56336   169131 | 2147483647   259001     29 |  1.868 % |
2062.12/2062.75	c |    259230 |   13605    56336   169131 | 2147483647   259214     29 |  1.868 % |
2064.32/2064.99	c |    259463 |   13605    56336   169131 | 2147483647   259447     29 |  1.868 % |
2067.01/2067.69	c |    259719 |   13605    56336   169131 | 2147483647   259703     29 |  1.868 % |
2070.41/2071.00	c |    260000 |   13605    56336   169131 | 2147483647   259984     29 |  1.868 % |
2074.71/2075.31	c |    260309 |   13605    56336   169131 | 2147483647   260293     29 |  1.868 % |
2078.71/2079.39	c |    260649 |   13605    56336   169131 | 2147483647   260633     29 |  1.868 % |
2083.21/2083.81	c |    261022 |   13605    56336   169131 | 2147483647   261006     29 |  1.868 % |
2088.31/2088.98	c |    261432 |   13605    56336   169131 | 2147483647   261416     29 |  1.868 % |
2093.90/2094.53	c |    261881 |   13605    56336   169131 | 2147483647   261865     28 |  1.868 % |
2099.70/2100.39	c |    262374 |   13605    56336   169131 | 2147483647   262358     28 |  1.868 % |
2105.50/2106.17	c |    262916 |   13605    56336   169131 | 2147483647   262900     28 |  1.868 % |
2112.50/2113.11	c |    263513 |   13605    56336   169131 | 2147483647   263497     28 |  1.868 % |
2120.00/2120.63	c |    264169 |   13605    56336   169131 | 2147483647   264153     28 |  1.868 % |
2128.00/2128.61	c |    264889 |   13605    56336   169131 | 2147483647   264873     28 |  1.868 % |
2136.90/2137.56	c |    265682 |   13605    56336   169131 | 2147483647   265666     28 |  1.868 % |
2146.19/2146.82	c |    266554 |   13605    56336   169131 | 2147483647   266538     28 |  1.868 % |
2157.79/2158.43	c |    267514 |   13605    56336   169131 | 2147483647   267498     28 |  1.868 % |
2169.99/2170.65	c |    268567 |   13605    56336   169131 | 2147483647   268551     28 |  1.868 % |
2183.28/2183.99	c |    269725 |   13605    56336   169131 | 2147483647   269709     28 |  1.868 % |
2197.88/2198.58	c |    270998 |   13605    56336   169131 | 2147483647   270982     28 |  1.868 % |
2214.17/2214.83	c |    272398 |   13605    56336   169131 | 2147483647   272382     28 |  1.868 % |
2231.77/2232.47	c |    273938 |   13605    56336   169131 | 2147483647   273922     28 |  1.868 % |
2250.96/2251.66	c |    275632 |   13605    56336   169131 | 2147483647   275616     28 |  1.868 % |
2271.76/2272.45	c |    277495 |   13605    56336   169131 | 2147483647   277479     28 |  1.868 % |
2294.25/2294.93	c |    279545 |   13605    56336   169131 | 2147483647   279529     28 |  1.868 % |
2321.45/2322.11	c |    281798 |   13605    56336   169131 | 2147483647   281782     28 |  1.868 % |
2350.34/2351.01	c |    284278 |   13605    56336   169131 | 2147483647   284262     28 |  1.868 % |
2383.92/2384.68	c |    287004 |   13605    56336   169131 | 2147483647   286988     28 |  1.868 % |
2385.13/2385.90	c |    287105 |   13605    56336   169131 | 2147483647   287089     28 |  1.868 % |
2386.62/2387.32	c |    287217 |   13605    56336   169131 | 2147483647   287201     28 |  1.868 % |
2388.12/2388.84	c |    287338 |   13605    56336   169131 | 2147483647   287322     28 |  1.868 % |
2389.53/2390.28	c |    287472 |   13605    56336   169131 | 2147483647   287456     28 |  1.868 % |
2391.42/2392.11	c |    287620 |   13605    56336   169131 | 2147483647   287604     28 |  1.868 % |
2393.32/2394.08	c |    287780 |   13605    56336   169131 | 2147483647   287764     28 |  1.868 % |
2395.52/2396.29	c |    287957 |   13605    56336   169131 | 2147483647   287941     28 |  1.868 % |
2397.82/2398.53	c |    288152 |   13605    56336   169131 | 2147483647   288136     28 |  1.868 % |
2400.33/2401.03	c |    288364 |   13605    56336   169131 | 2147483647   288348     28 |  1.868 % |
2402.93/2403.67	c |    288598 |   13605    56336   169131 | 2147483647   288582     28 |  1.868 % |
2406.43/2407.10	c |    288855 |   13605    56336   169131 | 2147483647   288839     28 |  1.868 % |
2409.72/2410.46	c |    289136 |   13605    56336   169131 | 2147483647   289120     28 |  1.868 % |
2413.42/2414.13	c |    289446 |   13605    56336   169131 | 2147483647   289430     28 |  1.868 % |
2417.22/2417.98	c |    289787 |   13605    56336   169131 | 2147483647   289771     28 |  1.868 % |
2421.62/2422.32	c |    290160 |   13605    56336   169131 | 2147483647   290144     28 |  1.868 % |
2426.72/2427.46	c |    290569 |   13605    56336   169131 | 2147483647   290553     28 |  1.868 % |
2432.12/2432.82	c |    291020 |   13605    56336   169131 | 2147483647   291004     28 |  1.868 % |
2437.71/2438.47	c |    291515 |   13605    56336   169131 | 2147483647   291499     28 |  1.868 % |
2444.71/2445.46	c |    292057 |   13605    56336   169131 | 2147483647   292041     28 |  1.868 % |
2452.01/2452.71	c |    292654 |   13605    56336   169131 | 2147483647   292638     28 |  1.868 % |
2460.01/2460.74	c |    293310 |   13605    56336   169131 | 2147483647   293294     28 |  1.868 % |
2468.60/2469.39	c |    294030 |   13605    56336   169131 | 2147483647   294014     28 |  1.868 % |
2478.40/2479.19	c |    294823 |   13605    56336   169131 | 2147483647   294807     28 |  1.868 % |
2489.70/2490.45	c |    295696 |   13605    56336   169131 | 2147483647   295680     28 |  1.868 % |
2500.79/2501.56	c |    296654 |   13605    56336   169131 | 2147483647   296638     28 |  1.868 % |
2512.99/2513.77	c |    297707 |   13605    56336   169131 | 2147483647   297691     28 |  1.868 % |
2527.40/2528.13	c |    298865 |   13605    56336   169131 | 2147483647   298849     28 |  1.868 % |
2544.29/2545.01	c |    300139 |   13605    56336   169131 | 2147483647   300123     28 |  1.868 % |
2562.58/2563.32	c |    301539 |   13605    56336   169131 | 2147483647   301523     28 |  1.868 % |
2583.88/2584.64	c |    303080 |   13605    56336   169131 | 2147483647   303064     28 |  1.868 % |
2603.57/2604.38	c |    304775 |   13605    56336   169131 | 2147483647   304759     28 |  1.868 % |
2625.76/2626.60	c |    306639 |   13605    56336   169131 | 2147483647   306623     28 |  1.868 % |
2652.36/2653.13	c |    308690 |   13605    56336   169131 | 2147483647   308674     28 |  1.868 % |
2681.35/2682.10	c |    310945 |   13605    56336   169131 | 2147483647   310929     28 |  1.868 % |
2713.64/2714.40	c |    313424 |   13605    56336   169131 | 2147483647   313408     28 |  1.868 % |
2750.93/2751.79	c |    316150 |   13605    56336   169131 | 2147483647   316134     28 |  1.868 % |
2789.22/2790.04	c |    319150 |   13605    56336   169131 | 2147483647   319134     28 |  1.868 % |
2790.52/2791.34	c |    319251 |   13605    56336   169131 | 2147483647   319235     28 |  1.868 % |
2791.72/2792.55	c |    319361 |   13605    56336   169131 | 2147483647   319345     28 |  1.868 % |
2793.42/2794.21	c |    319482 |   13605    56336   169131 | 2147483647   319466     28 |  1.868 % |
2795.42/2796.24	c |    319615 |   13605    56336   169131 | 2147483647   319599     28 |  1.868 % |
2797.52/2798.30	c |    319762 |   13605    56336   169131 | 2147483647   319746     28 |  1.868 % |
2800.01/2800.82	c |    319922 |   13605    56336   169131 | 2147483647   319906     28 |  1.868 % |
2802.41/2803.23	c |    320099 |   13605    56336   169131 | 2147483647   320083     28 |  1.868 % |
2805.21/2806.07	c |    320292 |   13605    56336   169131 | 2147483647   320276     28 |  1.868 % |
2807.71/2808.54	c |    320505 |   13605    56336   169131 | 2147483647   320489     28 |  1.868 % |
2811.21/2812.02	c |    320739 |   13605    56336   169131 | 2147483647   320723     28 |  1.868 % |
2814.91/2815.71	c |    320995 |   13605    56336   169131 | 2147483647   320979     28 |  1.868 % |
2818.91/2819.77	c |    321277 |   13605    56336   169131 | 2147483647   321261     28 |  1.868 % |
2823.01/2823.88	c |    321586 |   13605    56336   169131 | 2147483647   321570     28 |  1.868 % |
2827.51/2828.31	c |    321928 |   13605    56336   169131 | 2147483647   321912     28 |  1.868 % |
2832.82/2833.60	c |    322300 |   13605    56336   169131 | 2147483647   322284     28 |  1.868 % |
2838.51/2839.38	c |    322710 |   13605    56336   169131 | 2147483647   322694     28 |  1.868 % |
2844.91/2845.71	c |    323160 |   13605    56336   169131 | 2147483647   323144     28 |  1.868 % |
2851.80/2852.63	c |    323653 |   13605    56336   169131 | 2147483647   323637     28 |  1.868 % |
2859.11/2859.92	c |    324196 |   13605    56336   169131 | 2147483647   324180     28 |  1.868 % |
2866.90/2867.75	c |    324792 |   13605    56336   169131 | 2147483647   324776     28 |  1.868 % |
2876.00/2876.87	c |    325447 |   13605    56336   169131 | 2147483647   325431     28 |  1.868 % |
2883.79/2884.60	c |    326168 |   13605    56336   169131 | 2147483647   326152     28 |  1.868 % |
2894.49/2895.31	c |    326962 |   13605    56336   169131 | 2147483647   326946     28 |  1.868 % |
2905.40/2906.24	c |    327833 |   13605    56336   169131 | 2147483647   327817     28 |  1.868 % |
2918.39/2919.27	c |    328791 |   13605    56336   169131 | 2147483647   328775     28 |  1.868 % |
2932.48/2933.37	c |    329844 |   13605    56336   169131 | 2147483647   329828     28 |  1.868 % |
2946.98/2947.90	c |    331002 |   13605    56336   169131 | 2147483647   330986     28 |  1.868 % |
2966.88/2967.79	c |    332275 |   13605    56336   169131 | 2147483647   332259     28 |  1.868 % |
2985.47/2986.36	c |    333675 |   13605    56336   169131 | 2147483647   333659     28 |  1.868 % |
3007.16/3008.08	c |    335215 |   13605    56336   169131 | 2147483647   335199     28 |  1.868 % |
3031.95/3032.83	c |    336910 |   13605    56336   169131 | 2147483647   336894     28 |  1.868 % |
3056.55/3057.43	c |    338773 |   13605    56336   169131 | 2147483647   338757     28 |  1.868 % |
3082.84/3083.76	c |    340824 |   13605    56336   169131 | 2147483647   340808     28 |  1.868 % |
3113.83/3114.75	c |    343077 |   13605    56336   169131 | 2147483647   343061     28 |  1.868 % |
3145.72/3146.64	c |    345556 |   13605    56336   169131 | 2147483647   345540     28 |  1.868 % |
3181.11/3182.08	c |    348282 |   13605    56336   169131 | 2147483647   348266     28 |  1.868 % |
3222.21/3223.19	c |    351279 |   13605    56336   169131 | 2147483647   351263     28 |  1.868 % |
3267.69/3268.61	c |    354577 |   13605    56336   169131 | 2147483647   354561     28 |  1.868 % |
3269.19/3270.19	c |    354678 |   13605    56336   169131 | 2147483647   354662     28 |  1.868 % |
3270.89/3271.83	c |    354789 |   13605    56336   169131 | 2147483647   354773     28 |  1.868 % |
3272.49/3273.48	c |    354911 |   13605    56336   169131 | 2147483647   354895     28 |  1.868 % |
3274.19/3275.16	c |    355046 |   13605    56336   169131 | 2147483647   355030     28 |  1.868 % |
3276.49/3277.48	c |    355192 |   13605    56336   169131 | 2147483647   355176     28 |  1.868 % |
3278.89/3279.82	c |    355353 |   13605    56336   169131 | 2147483647   355337     28 |  1.868 % |
3281.19/3282.17	c |    355529 |   13605    56336   169131 | 2147483647   355513     28 |  1.868 % |
3283.99/3284.97	c |    355722 |   13605    56336   169131 | 2147483647   355706     28 |  1.868 % |
3286.59/3287.59	c |    355935 |   13605    56336   169131 | 2147483647   355919     28 |  1.868 % |
3289.99/3290.96	c |    356169 |   13605    56336   169131 | 2147483647   356153     28 |  1.868 % |
3293.68/3294.67	c |    356425 |   13605    56336   169131 | 2147483647   356409     28 |  1.868 % |
3297.58/3298.55	c |    356706 |   13605    56336   169131 | 2147483647   356690     28 |  1.868 % |
3302.38/3303.31	c |    357017 |   13605    56336   169131 | 2147483647   357001     28 |  1.868 % |
3307.58/3308.56	c |    357358 |   13605    56336   169131 | 2147483647   357342     28 |  1.868 % |
3312.08/3313.00	c |    357730 |   13605    56336   169131 | 2147483647   357714     28 |  1.868 % |
3317.68/3318.61	c |    358140 |   13605    56336   169131 | 2147483647   358124     28 |  1.868 % |
3323.87/3324.84	c |    358590 |   13605    56336   169131 | 2147483647   358574     28 |  1.868 % |
3329.27/3330.24	c |    359084 |   13605    56336   169131 | 2147483647   359068     28 |  1.868 % |
3336.87/3337.86	c |    359627 |   13605    56336   169131 | 2147483647   359611     28 |  1.868 % |
3345.37/3346.34	c |    360225 |   13605    56336   169131 | 2147483647   360209     28 |  1.868 % |
3354.97/3355.91	c |    360880 |   13605    56336   169131 | 2147483647   360864     28 |  1.868 % |
3364.86/3365.85	c |    361600 |   13605    56336   169131 | 2147483647   361584     28 |  1.868 % |
3376.16/3377.19	c |    362392 |   13605    56336   169131 | 2147483647   362376     28 |  1.868 % |
3388.86/3389.84	c |    363264 |   13605    56336   169131 | 2147483647   363248     28 |  1.868 % |
3402.05/3403.01	c |    364222 |   13605    56336   169131 | 2147483647   364206     28 |  1.868 % |
3416.14/3417.14	c |    365276 |   13605    56336   169131 | 2147483647   365260     28 |  1.868 % |
3432.15/3433.19	c |    366434 |   13605    56336   169131 | 2147483647   366418     28 |  1.868 % |
3450.04/3451.01	c |    367707 |   13605    56336   169131 | 2147483647   367691     28 |  1.868 % |
3469.84/3470.82	c |    369107 |   13605    56336   169131 | 2147483647   369091     28 |  1.868 % |
3490.83/3491.87	c |    370650 |   13605    56336   169131 | 2147483647   370634     28 |  1.868 % |
3513.22/3514.25	c |    372344 |   13605    56336   169131 | 2147483647   372328     28 |  1.868 % |
3540.62/3541.62	c |    374208 |   13605    56336   169131 | 2147483647   374192     28 |  1.868 % |
3569.90/3570.91	c |    376257 |   13605    56336   169131 | 2147483647   376241     28 |  1.868 % |
3606.60/3607.64	c |    378510 |   13605    56336   169131 | 2147483647   378494     28 |  1.868 % |
3641.39/3642.48	c |    380989 |   13605    56336   169131 | 2147483647   380973     28 |  1.868 % |
3681.68/3682.71	c |    383715 |   13605    56336   169131 | 2147483647   383699     28 |  1.868 % |
3718.57/3719.69	c |    386713 |   13605    56336   169131 | 2147483647   386697     28 |  1.868 % |
3770.16/3771.20	c |    390010 |   13605    56336   169131 | 2147483647   389994     28 |  1.868 % |
3817.14/3818.26	c |    393635 |   13605    56336   169131 | 2147483647   393619     28 |  1.868 % |
3818.64/3819.76	c |    393736 |   13605    56336   169131 | 2147483647   393720     28 |  1.868 % |
3820.34/3821.49	c |    393847 |   13605    56336   169131 | 2147483647   393831     28 |  1.868 % |
3822.04/3823.16	c |    393968 |   13605    56336   169131 | 2147483647   393952     28 |  1.868 % |
3823.94/3825.02	c |    394101 |   13605    56336   169131 | 2147483647   394085     28 |  1.868 % |
3826.13/3827.20	c |    394248 |   13605    56336   169131 | 2147483647   394232     28 |  1.868 % |
3828.24/3829.36	c |    394408 |   13605    56336   169131 | 2147483647   394392     28 |  1.868 % |
3830.83/3831.97	c |    394584 |   13605    56336   169131 | 2147483647   394568     28 |  1.868 % |
3834.03/3835.15	c |    394777 |   13605    56336   169131 | 2147483647   394761     28 |  1.868 % |
3837.33/3838.41	c |    394989 |   13605    56336   169131 | 2147483647   394973     28 |  1.868 % |
3840.93/3842.00	c |    395223 |   13605    56336   169131 | 2147483647   395207     28 |  1.868 % |
3844.73/3845.85	c |    395479 |   13605    56336   169131 | 2147483647   395463     28 |  1.868 % |
3848.63/3849.75	c |    395760 |   13605    56336   169131 | 2147483647   395744     28 |  1.868 % |
3853.23/3854.31	c |    396069 |   13605    56336   169131 | 2147483647   396053     28 |  1.868 % |
3858.93/3860.02	c |    396408 |   13605    56336   169131 | 2147483647   396392     28 |  1.868 % |
3863.83/3864.92	c |    396781 |   13605    56336   169131 | 2147483647   396765     28 |  1.868 % |
3870.63/3871.71	c |    397190 |   13605    56336   169131 | 2147483647   397174     28 |  1.868 % |
3877.03/3878.17	c |    397641 |   13605    56336   169131 | 2147483647   397625     28 |  1.868 % |
3884.52/3885.67	c |    398134 |   13605    56336   169131 | 2147483647   398118     28 |  1.868 % |
3893.42/3894.59	c |    398676 |   13605    56336   169131 | 2147483647   398660     28 |  1.868 % |
3902.62/3903.79	c |    399273 |   13605    56336   169131 | 2147483647   399257     28 |  1.868 % |
3910.81/3911.92	c |    399929 |   13605    56336   169131 | 2147483647   399913     28 |  1.868 % |
3921.52/3922.61	c |    400650 |   13605    56336   169131 | 2147483647   400634     28 |  1.868 % |
3933.01/3934.19	c |    401442 |   13605    56336   169131 | 2147483647   401426     28 |  1.868 % |
3947.71/3948.86	c |    402314 |   13605    56336   169131 | 2147483647   402298     28 |  1.868 % |
3961.60/3962.78	c |    403276 |   13605    56336   169131 | 2147483647   403260     28 |  1.868 % |
3975.80/3976.98	c |    404329 |   13605    56336   169131 | 2147483647   404313     28 |  1.868 % |
3995.19/3996.31	c |    405487 |   13605    56336   169131 | 2147483647   405471     28 |  1.868 % |
4014.79/4015.97	c |    406761 |   13605    56336   169131 | 2147483647   406745     28 |  1.868 % |
4035.19/4036.37	c |    408161 |   13605    56336   169131 | 2147483647   408145     28 |  1.868 % |
4056.78/4057.91	c |    409701 |   13605    56336   169131 | 2147483647   409685     28 |  1.868 % |
4076.87/4078.04	c |    411396 |   13605    56336   169131 | 2147483647   411380     28 |  1.868 % |
4102.96/4104.13	c |    413259 |   13605    56336   169131 | 2147483647   413243     28 |  1.868 % |
4132.06/4133.25	c |    415309 |   13605    56336   169131 | 2147483647   415293     28 |  1.868 % |
4163.46/4164.65	c |    417562 |   13605    56336   169131 | 2147483647   417546     28 |  1.868 % |
4199.74/4200.95	c |    420041 |   13605    56336   169131 | 2147483647   420025     28 |  1.868 % |
4242.02/4243.32	c |    422767 |   13605    56336   169131 | 2147483647   422751     28 |  1.868 % |
4284.50/4285.83	c |    425764 |   13605    56336   169131 | 2147483647   425748     28 |  1.868 % |
4333.09/4334.40	c |    429061 |   13605    56336   169131 | 2147483647   429045     28 |  1.868 % |
4389.37/4390.72	c |    432687 |   13605    56336   169131 | 2147483647   432671     28 |  1.868 % |
4448.66/4450.06	c |    436674 |   13605    56336   169131 | 2147483647   436658     28 |  1.868 % |
4450.45/4451.80	c |    436775 |   13605    56336   169131 | 2147483647   436759     28 |  1.868 % |
4452.46/4453.86	c |    436885 |   13605    56336   169131 | 2147483647   436869     28 |  1.868 % |
4454.95/4456.30	c |    437006 |   13605    56336   169131 | 2147483647   436990     28 |  1.868 % |
4457.35/4458.79	c |    437140 |   13605    56336   169131 | 2147483647   437124     28 |  1.868 % |
4459.85/4461.23	c |    437287 |   13605    56336   169131 | 2147483647   437271     28 |  1.868 % |
4462.05/4463.44	c |    437447 |   13605    56336   169131 | 2147483647   437431     28 |  1.868 % |
4465.05/4466.49	c |    437623 |   13605    56336   169131 | 2147483647   437607     28 |  1.868 % |
4468.25/4469.64	c |    437817 |   13605    56336   169131 | 2147483647   437801     28 |  1.868 % |
4471.55/4472.96	c |    438029 |   13605    56336   169131 | 2147483647   438013     28 |  1.868 % |
4475.75/4477.16	c |    438262 |   13605    56336   169131 | 2147483647   438246     28 |  1.868 % |
4480.35/4481.70	c |    438518 |   13605    56336   169131 | 2147483647   438502     28 |  1.868 % |
4484.85/4486.23	c |    438800 |   13605    56336   169131 | 2147483647   438784     28 |  1.868 % |
4489.55/4490.97	c |    439109 |   13605    56336   169131 | 2147483647   439093     28 |  1.868 % |
4494.95/4496.34	c |    439448 |   13605    56336   169131 | 2147483647   439432     28 |  1.868 % |
4500.75/4502.11	c |    439820 |   13605    56336   169131 | 2147483647   439804     28 |  1.868 % |
4507.24/4508.69	c |    440230 |   13605    56336   169131 | 2147483647   440214     28 |  1.868 % |
4515.44/4516.80	c |    440679 |   13605    56336   169131 | 2147483647   440663     28 |  1.868 % |
4522.84/4524.29	c |    441172 |   13605    56336   169131 | 2147483647   441156     28 |  1.868 % |
4531.93/4533.34	c |    441714 |   13605    56336   169131 | 2147483647   441698     28 |  1.868 % |
4540.93/4542.36	c |    442310 |   13605    56336   169131 | 2147483647   442294     28 |  1.868 % |
4550.93/4552.39	c |    442966 |   13605    56336   169131 | 2147483647   442950     28 |  1.868 % |
4562.62/4564.00	c |    443686 |   13605    56336   169131 | 2147483647   443670     28 |  1.868 % |
4574.72/4576.19	c |    444478 |   13605    56336   169131 | 2147483647   444462     28 |  1.868 % |
4587.82/4589.26	c |    445350 |   13605    56336   169131 | 2147483647   445334     28 |  1.868 % |
4602.51/4603.90	c |    446308 |   13605    56336   169131 | 2147483647   446292     28 |  1.868 % |
4616.02/4617.50	c |    447361 |   13605    56336   169131 | 2147483647   447345     28 |  1.868 % |
4632.31/4633.71	c |    448520 |   13605    56336   169131 | 2147483647   448504     28 |  1.868 % |
4652.90/4654.33	c |    449794 |   13605    56336   169131 | 2147483647   449778     28 |  1.868 % |
4675.99/4677.41	c |    451194 |   13605    56336   169131 | 2147483647   451178     28 |  1.868 % |
4701.49/4702.95	c |    452734 |   13605    56336   169131 | 2147483647   452718     28 |  1.868 % |
4727.18/4728.66	c |    454429 |   13605    56336   169131 | 2147483647   454413     28 |  1.868 % |
4757.28/4758.74	c |    456293 |   13605    56336   169131 | 2147483647   456277     28 |  1.868 % |
4791.17/4792.64	c |    458342 |   13605    56336   169131 | 2147483647   458326     28 |  1.868 % |
4826.56/4828.04	c |    460596 |   13605    56336   169131 | 2147483647   460580     28 |  1.868 % |
4867.44/4868.92	c |    463075 |   13605    56336   169131 | 2147483647   463059     28 |  1.868 % |
4913.03/4914.50	c |    465801 |   13605    56336   169131 | 2147483647   465785     28 |  1.868 % |
4960.72/4962.23	c |    468798 |   13605    56336   169131 | 2147483647   468782     28 |  1.868 % |
5012.50/5014.04	c |    472095 |   13605    56336   169131 | 2147483647   472079     28 |  1.868 % |
5072.49/5074.05	c |    475720 |   13605    56336   169131 | 2147483647   475704     28 |  1.868 % |
5134.28/5135.86	c |    479708 |   13605    56336   169131 | 2147483647   479692     28 |  1.868 % |
5202.15/5203.77	c |    484093 |   13605    56336   169131 | 2147483647   484077     28 |  1.868 % |
5204.05/5205.60	c |    484194 |   13605    56336   169131 | 2147483647   484178     28 |  1.868 % |
5206.15/5207.72	c |    484304 |   13605    56336   169131 | 2147483647   484288     28 |  1.868 % |
5208.35/5209.91	c |    484427 |   13605    56336   169131 | 2147483647   484411     28 |  1.868 % |
5210.85/5212.40	c |    484560 |   13605    56336   169131 | 2147483647   484544     28 |  1.868 % |
5213.35/5214.97	c |    484707 |   13605    56336   169131 | 2147483647   484691     28 |  1.868 % |
5215.85/5217.48	c |    484867 |   13605    56336   169131 | 2147483647   484851     28 |  1.868 % |
5218.75/5220.35	c |    485043 |   13605    56336   169131 | 2147483647   485027     28 |  1.868 % |
5222.15/5223.72	c |    485236 |   13605    56336   169131 | 2147483647   485220     28 |  1.868 % |
5226.15/5227.74	c |    485449 |   13605    56336   169131 | 2147483647   485433     28 |  1.868 % |
5228.65/5230.21	c |    485683 |   13605    56336   169131 | 2147483647   485667     28 |  1.868 % |
5232.15/5233.79	c |    485940 |   13605    56336   169131 | 2147483647   485924     28 |  1.868 % |
5236.45/5238.07	c |    486221 |   13605    56336   169131 | 2147483647   486205     28 |  1.868 % |
5240.74/5242.30	c |    486531 |   13605    56336   169131 | 2147483647   486515     28 |  1.868 % |
5246.24/5247.81	c |    486870 |   13605    56336   169131 | 2147483647   486854     28 |  1.868 % |
5252.64/5254.26	c |    487242 |   13605    56336   169131 | 2147483647   487226     28 |  1.868 % |
5260.14/5261.74	c |    487651 |   13605    56336   169131 | 2147483647   487635     28 |  1.868 % |
5268.44/5270.06	c |    488101 |   13605    56336   169131 | 2147483647   488085     28 |  1.868 % |
5277.43/5279.06	c |    488594 |   13605    56336   169131 | 2147483647   488578     28 |  1.868 % |
5286.33/5287.96	c |    489138 |   13605    56336   169131 | 2147483647   489122     28 |  1.868 % |
5296.33/5297.99	c |    489735 |   13605    56336   169131 | 2147483647   489719     28 |  1.868 % |
5306.63/5308.25	c |    490390 |   13605    56336   169131 | 2147483647   490374     28 |  1.868 % |
5321.12/5322.76	c |    491112 |   13605    56336   169131 | 2147483647   491096     28 |  1.868 % |
5331.12/5332.70	c |    491905 |   13605    56336   169131 | 2147483647   491889     28 |  1.868 % |
5345.01/5346.66	c |    492777 |   13605    56336   169131 | 2147483647   492761     28 |  1.868 % |
5361.61/5363.29	c |    493735 |   13605    56336   169131 | 2147483647   493719     28 |  1.868 % |
5380.61/5382.21	c |    494789 |   13605    56336   169131 | 2147483647   494773     28 |  1.868 % |
5399.80/5401.48	c |    495948 |   13605    56336   169131 | 2147483647   495932     28 |  1.868 % |
5420.50/5422.16	c |    497221 |   13605    56336   169131 | 2147483647   497205     28 |  1.868 % |
5442.59/5444.27	c |    498622 |   13605    56336   169131 | 2147483647   498606     28 |  1.868 % |
5467.88/5469.57	c |    500163 |   13605    56336   169131 | 2147483647   500147     28 |  1.868 % |
5494.27/5495.90	c |    501857 |   13605    56336   169131 | 2147483647   501841     28 |  1.868 % |
5523.17/5524.89	c |    503721 |   13605    56336   169131 | 2147483647   503705     28 |  1.868 % |
5552.46/5554.15	c |    505770 |   13605    56336   169131 | 2147483647   505754     28 |  1.868 % |
5588.35/5590.07	c |    508024 |   13605    56336   169131 | 2147483647   508008     28 |  1.868 % |
5634.44/5636.17	c |    510502 |   13605    56336   169131 | 2147483647   510486     28 |  1.868 % |
5693.02/5694.77	c |    513227 |   13605    56336   169131 | 2147483647   513211     28 |  1.868 % |
5747.61/5749.33	c |    516225 |   13605    56336   169131 | 2147483647   516209     28 |  1.868 % |
5804.89/5806.70	c |    519521 |   13605    56336   169131 | 2147483647   519505     28 |  1.868 % |
5875.58/5877.32	c |    523147 |   13605    56336   169131 |   519985   438987     28 |  1.868 % |
5935.65/5937.43	c |    527135 |   13605    56336   169131 |   519985   442975     28 |  1.868 % |
6002.54/6004.37	c |    531521 |   13605    56336   169131 | 2147483647   447361     28 |  1.868 % |
6081.22/6083.04	c |    536345 |   13605    56336   169131 | 2147483647   452185     28 |  1.868 % |
6083.01/6084.81	c |    536446 |   13605    56336   169131 | 2147483647   452286     27 |  1.868 % |
6084.71/6086.51	c |    536557 |   13605    56336   169131 | 2147483647   452397     27 |  1.868 % |
6086.72/6088.56	c |    536679 |   13605    56336   169131 | 2147483647   452519     27 |  1.868 % |
6088.71/6090.52	c |    536812 |   13605    56336   169131 | 2147483647   452652     27 |  1.868 % |
6091.12/6092.95	c |    536958 |   13605    56336   169131 | 2147483647   452798     27 |  1.868 % |
6093.81/6095.65	c |    537118 |   13605    56336   169131 | 2147483647   452958     27 |  1.868 % |
6096.81/6098.66	c |    537296 |   13605    56336   169131 | 2147483647   453136     27 |  1.868 % |
6100.01/6101.81	c |    537490 |   13605    56336   169131 | 2147483647   453330     27 |  1.868 % |
6103.41/6105.20	c |    537702 |   13605    56336   169131 | 2147483647   453542     28 |  1.868 % |
6107.31/6109.18	c |    537936 |   13605    56336   169131 | 2147483647   453776     27 |  1.868 % |
6111.61/6113.47	c |    538193 |   13605    56336   169131 | 2147483647   454033     27 |  1.868 % |
6116.32/6118.12	c |    538475 |   13605    56336   169131 | 2147483647   454315     27 |  1.868 % |
6121.11/6122.91	c |    538785 |   13605    56336   169131 | 2147483647   454625     27 |  1.868 % |
6126.71/6128.51	c |    539124 |   13605    56336   169131 | 2147483647   454964     27 |  1.868 % |
6133.11/6134.96	c |    539497 |   13605    56336   169131 | 2147483647   455337     27 |  1.868 % |
6139.80/6141.63	c |    539907 |   13605    56336   169131 | 2147483647   455747     27 |  1.868 % |
6146.90/6148.76	c |    540356 |   13605    56336   169131 | 2147483647   456196     27 |  1.868 % |
6155.30/6157.10	c |    540849 |   13605    56336   169131 | 2147483647   456689     27 |  1.868 % |
6164.70/6166.53	c |    541392 |   13605    56336   169131 | 2147483647   457232     27 |  1.868 % |
6174.70/6176.51	c |    541989 |   13605    56336   169131 | 2147483647   457829     27 |  1.868 % |
6185.79/6187.60	c |    542644 |   13605    56336   169131 | 2147483647   458484     27 |  1.868 % |
6197.59/6199.46	c |    543365 |   13605    56336   169131 | 2147483647   459205     28 |  1.868 % |
6211.38/6213.27	c |    544157 |   13605    56336   169131 | 2147483647   459997     28 |  1.868 % |
6225.97/6227.84	c |    545028 |   13605    56336   169131 | 2147483647   460868     27 |  1.868 % |
6243.17/6245.00	c |    545986 |   13605    56336   169131 | 2147483647   461826     27 |  1.868 % |
6259.77/6261.68	c |    547040 |   13605    56336   169131 | 2147483647   462880     27 |  1.868 % |
6278.67/6280.56	c |    548199 |   13605    56336   169131 | 2147483647   464039     27 |  1.868 % |
6300.16/6302.09	c |    549472 |   13605    56336   169131 | 2147483647   465312     27 |  1.868 % |
6324.75/6326.64	c |    550872 |   13605    56336   169131 | 2147483647   466712     28 |  1.868 % |
6349.14/6351.03	c |    552412 |   13605    56336   169131 | 2147483647   468252     27 |  1.868 % |
6376.94/6378.82	c |    554106 |   13605    56336   169131 | 2147483647   469946     27 |  1.868 % |
6405.63/6407.51	c |    555970 |   13605    56336   169131 | 2147483647   471810     27 |  1.868 % |
6439.42/6441.34	c |    558019 |   13605    56336   169131 | 2147483647   473859     27 |  1.868 % |
6479.32/6481.22	c |    560273 |   13605    56336   169131 | 2147483647   476113     27 |  1.868 % |
6519.50/6521.48	c |    562751 |   13605    56336   169131 | 2147483647   478591     27 |  1.868 % |
6564.69/6566.63	c |    565477 |   13605    56336   169131 | 2147483647   481317     27 |  1.868 % |
6614.58/6616.52	c |    568474 |   13605    56336   169131 | 2147483647   484314     27 |  1.868 % |
6668.96/6670.94	c |    571770 |   13605    56336   169131 | 2147483647   487610     27 |  1.868 % |
6725.65/6727.67	c |    575395 |   13605    56336   169131 | 2147483647   491235     27 |  1.868 % |
6792.93/6794.97	c |    579383 |   13605    56336   169131 | 2147483647   495223     27 |  1.868 % |
6866.00/6868.08	c |    583768 |   13605    56336   169131 | 2147483647   499608     27 |  1.868 % |
6946.68/6948.78	c |    588591 |   13605    56336   169131 | 2147483647   504431     27 |  1.868 % |
7037.46/7039.56	c |    593896 |   13605    56336   169131 | 2147483647   509736     27 |  1.868 % |
7039.46/7041.53	c |    593999 |   13605    56336   169131 | 2147483647   509839     27 |  1.868 % |
7041.16/7043.28	c |    594109 |   13605    56336   169131 | 2147483647   509949     27 |  1.868 % |
7043.46/7045.52	c |    594230 |   13605    56336   169131 | 2147483647   510070     27 |  1.868 % |
7045.96/7048.05	c |    594363 |   13605    56336   169131 | 2147483647   510203     27 |  1.868 % |
7048.86/7050.97	c |    594509 |   13605    56336   169131 | 2147483647   510349     27 |  1.868 % |
7051.85/7053.90	c |    594669 |   13605    56336   169131 | 2147483647   510509     27 |  1.868 % |
7055.15/7057.24	c |    594846 |   13605    56336   169131 | 2147483647   510686     27 |  1.868 % |
7058.05/7060.11	c |    595040 |   13605    56336   169131 | 2147483647   510880     27 |  1.868 % |
7061.85/7063.98	c |    595252 |   13605    56336   169131 | 2147483647   511092     27 |  1.868 % |
7065.75/7067.88	c |    595486 |   13605    56336   169131 | 2147483647   511326     27 |  1.868 % |
7070.55/7072.68	c |    595742 |   13605    56336   169131 | 2147483647   511582     27 |  1.868 % |
7075.65/7077.79	c |    596023 |   13605    56336   169131 | 2147483647   511863     27 |  1.868 % |
7081.44/7083.52	c |    596333 |   13605    56336   169131 | 2147483647   512173     27 |  1.868 % |
7087.24/7089.39	c |    596672 |   13605    56336   169131 | 2147483647   512512     27 |  1.868 % |
7094.04/7096.16	c |    597046 |   13605    56336   169131 | 2147483647   512886     27 |  1.868 % |
7101.45/7103.56	c |    597455 |   13605    56336   169131 | 2147483647   513295     27 |  1.868 % |
7109.24/7111.34	c |    597904 |   13605    56336   169131 | 2147483647   513744     27 |  1.868 % |
7117.44/7119.55	c |    598398 |   13605    56336   169131 | 2147483647   514238     27 |  1.868 % |
7126.44/7128.57	c |    598941 |   13605    56336   169131 | 2147483647   514781     27 |  1.868 % |
7136.84/7138.93	c |    599537 |   13605    56336   169131 | 2147483647   515377     27 |  1.868 % |
7148.33/7150.48	c |    600193 |   13605    56336   169131 |   515840   516033     27 |  1.868 % |
7160.73/7162.86	c |    600913 |   13605    56336   169131 |   515840   516753     27 |  1.868 % |
7181.62/7183.71	c |    601705 |   13605    56336   169131 |   515840   454464     27 |  1.868 % |
7196.02/7198.17	c |    602576 |   13605    56336   169131 |   515840   455335     27 |  1.868 % |
7211.61/7213.73	c |    603534 |   13605    56336   169131 |   515840   456293     27 |  1.868 % |
7229.71/7231.86	c |    604588 |   13605    56336   169131 |   515840   457347     27 |  1.868 % |
7245.30/7247.49	c |    605747 |   13605    56336   169131 |   515840   458506     27 |  1.868 % |
7266.89/7269.02	c |    607021 |   13605    56336   169131 |   515840   459780     27 |  1.868 % |
7291.19/7293.35	c |    608421 |   13605    56336   169131 |   515840   461180     27 |  1.868 % |
7316.39/7318.56	c |    609963 |   13605    56336   169131 |   515840   462722     27 |  1.868 % |
7350.68/7352.88	c |    611658 |   13605    56336   169131 |   462759   415406     27 |  1.868 % |
7374.67/7376.88	c |    613524 |   13605    56336   169131 |   462759   417272     27 |  1.868 % |
7406.86/7409.06	c |    615573 |   13605    56336   169131 |   462759   419321     27 |  1.868 % |
7441.25/7443.44	c |    617826 |   13605    56336   169131 |   462759   421574     27 |  1.868 % |
7477.34/7479.53	c |    620304 |   13605    56336   169131 | 2147483647   424052     27 |  1.868 % |
7519.93/7522.12	c |    623029 |   13605    56336   169131 | 2147483647   426777     27 |  1.868 % |
7564.92/7567.18	c |    626026 |   13605    56336   169131 | 2147483647   429774     27 |  1.868 % |
7615.60/7617.88	c |    629324 |   13605    56336   169131 | 2147483647   433072     27 |  1.868 % |
7670.49/7672.76	c |    632949 |   13605    56336   169131 | 2147483647   436697     27 |  1.868 % |
7730.37/7732.67	c |    636937 |   13605    56336   169131 | 2147483647   440685     27 |  1.868 % |
7798.55/7800.88	c |    641323 |   13605    56336   169131 | 2147483647   445071     27 |  1.868 % |
7871.22/7873.56	c |    646148 |   13605    56336   169131 | 2147483647   449896     27 |  1.868 % |
7953.61/7955.93	c |    651454 |   13605    56336   169131 | 2147483647   455202     27 |  1.868 % |
8054.67/8057.02	c |    657291 |   13605    56336   169131 | 2147483647   461039     27 |  1.868 % |
8056.38/8058.75	c |    657392 |   13605    56336   169131 | 2147483647   461140     27 |  1.868 % |
8057.98/8060.35	c |    657502 |   13605    56336   169131 | 2147483647   461250     27 |  1.868 % |
8060.18/8062.57	c |    657623 |   13605    56336   169131 | 2147483647   461371     27 |  1.868 % |
8062.28/8064.63	c |    657756 |   13605    56336   169131 | 2147483647   461504     27 |  1.868 % |
8064.78/8067.16	c |    657902 |   13605    56336   169131 | 2147483647   461650     27 |  1.868 % |
8067.28/8069.66	c |    658062 |   13605    56336   169131 | 2147483647   461810     27 |  1.868 % |
8070.08/8072.42	c |    658240 |   13605    56336   169131 | 2147483647   461988     27 |  1.868 % |
8073.18/8075.59	c |    658433 |   13605    56336   169131 | 2147483647   462181     27 |  1.868 % |
8076.58/8078.95	c |    658645 |   13605    56336   169131 | 2147483647   462393     27 |  1.868 % |
8080.28/8082.64	c |    658879 |   13605    56336   169131 | 2147483647   462627     27 |  1.868 % |
8084.27/8086.70	c |    659135 |   13605    56336   169131 | 2147483647   462883     27 |  1.868 % |
8088.97/8091.39	c |    659416 |   13605    56336   169131 | 2147483647   463164     27 |  1.868 % |
8093.87/8096.27	c |    659726 |   13605    56336   169131 | 2147483647   463474     27 |  1.868 % |
8100.17/8102.51	c |    660065 |   13605    56336   169131 | 2147483647   463813     27 |  1.868 % |
8106.06/8108.46	c |    660437 |   13605    56336   169131 | 2147483647   464185     27 |  1.868 % |
8112.16/8114.59	c |    660846 |   13605    56336   169131 | 2147483647   464594     27 |  1.868 % |
8119.46/8121.85	c |    661296 |   13605    56336   169131 | 2147483647   465044     27 |  1.868 % |
8127.36/8129.79	c |    661790 |   13605    56336   169131 | 2147483647   465538     27 |  1.868 % |
8135.75/8138.13	c |    662333 |   13605    56336   169131 | 2147483647   466081     27 |  1.868 % |
8144.96/8147.32	c |    662929 |   13605    56336   169131 | 2147483647   466677     27 |  1.868 % |
8151.36/8153.75	c |    663586 |   13605    56336   169131 | 2147483647   467334     27 |  1.868 % |
8163.15/8165.59	c |    664306 |   13605    56336   169131 | 2147483647   468054     27 |  1.868 % |
8176.05/8178.44	c |    665099 |   13605    56336   169131 | 2147483647   468847     27 |  1.868 % |
8191.05/8193.48	c |    665971 |   13605    56336   169131 | 2147483647   469719     27 |  1.868 % |
8206.14/8208.57	c |    666929 |   13605    56336   169131 | 2147483647   470677     27 |  1.868 % |
8222.63/8225.02	c |    667982 |   13605    56336   169131 | 2147483647   471730     27 |  1.868 % |
8240.43/8242.81	c |    669140 |   13605    56336   169131 | 2147483647   472888     27 |  1.868 % |
8261.32/8263.72	c |    670413 |   13605    56336   169131 | 2147483647   474161     27 |  1.868 % |
8284.12/8286.58	c |    671814 |   13605    56336   169131 | 2147483647   475562     27 |  1.868 % |
8309.31/8311.73	c |    673354 |   13605    56336   169131 | 2147483647   477102     27 |  1.868 % |
8336.30/8338.73	c |    675049 |   13605    56336   169131 | 2147483647   478797     27 |  1.868 % |
8366.99/8369.48	c |    676913 |   13605    56336   169131 | 2147483647   480661     27 |  1.868 % |
8402.88/8405.32	c |    678962 |   13605    56336   169131 | 2147483647   482710     27 |  1.868 % |
8440.47/8442.95	c |    681216 |   13605    56336   169131 | 2147483647   484964     27 |  1.868 % |
8483.56/8486.05	c |    683695 |   13605    56336   169131 | 2147483647   487443     27 |  1.868 % |
8527.65/8530.15	c |    686420 |   13605    56336   169131 | 2147483647   490168     27 |  1.868 % |
8575.84/8578.39	c |    689417 |   13605    56336   169131 | 2147483647   493165     27 |  1.868 % |
8629.62/8632.12	c |    692713 |   13605    56336   169131 | 2147483647   496461     27 |  1.868 % |
8689.71/8692.24	c |    696338 |   13605    56336   169131 | 2147483647   500086     27 |  1.868 % |
8752.49/8755.05	c |    700326 |   13605    56336   169131 | 2147483647   504074     27 |  1.868 % |
8824.77/8827.37	c |    704712 |   13605    56336   169131 | 2147483647   508460     27 |  1.868 % |
8906.25/8908.85	c |    709536 |   13605    56336   169131 | 2147483647   513284     27 |  1.868 % |
8997.22/8999.88	c |    714843 |   13605    56336   169131 | 2147483647   518591     27 |  1.868 % |
9092.20/9094.85	c |    720678 |   13605    56336   169131 | 2147483647   524426     27 |  1.868 % |
9198.17/9200.87	c |    727097 |   13605    56336   169131 | 2147483647   530845     27 |  1.868 % |
9199.98/9202.69	c |    727197 |   13605    56336   169131 | 2147483647   530945     27 |  1.868 % |
9201.87/9204.52	c |    727308 |   13605    56336   169131 | 2147483647   531056     27 |  1.868 % |
9204.07/9206.75	c |    727430 |   13605    56336   169131 | 2147483647   531178     27 |  1.868 % |
9206.17/9208.89	c |    727563 |   13605    56336   169131 | 2147483647   531311     27 |  1.868 % |
9208.97/9211.68	c |    727710 |   13605    56336   169131 | 2147483647   531458     27 |  1.868 % |
9211.67/9214.35	c |    727873 |   13605    56336   169131 | 2147483647   531621     27 |  1.868 % |
9214.67/9217.34	c |    728050 |   13605    56336   169131 | 2147483647   531798     27 |  1.868 % |
9218.27/9220.97	c |    728244 |   13605    56336   169131 | 2147483647   531992     27 |  1.868 % |
9222.16/9224.82	c |    728456 |   13605    56336   169131 | 2147483647   532204     27 |  1.868 % |
9226.06/9228.78	c |    728690 |   13605    56336   169131 | 2147483647   532438     27 |  1.868 % |
9230.86/9233.55	c |    728947 |   13605    56336   169131 | 2147483647   532695     27 |  1.868 % |
9236.16/9238.89	c |    729229 |   13605    56336   169131 | 2147483647   532977     27 |  1.868 % |
9241.96/9244.65	c |    729539 |   13605    56336   169131 | 2147483647   533287     27 |  1.868 % |
9247.46/9250.11	c |    729878 |   13605    56336   169131 | 2147483647   533626     27 |  1.868 % |
9254.45/9257.12	c |    730251 |   13605    56336   169131 | 2147483647   533999     27 |  1.868 % |
9262.15/9264.87	c |    730660 |   13605    56336   169131 | 2147483647   534408     27 |  1.868 % |
9269.75/9272.43	c |    731109 |   13605    56336   169131 | 2147483647   534857     27 |  1.868 % |
9277.95/9280.68	c |    731602 |   13605    56336   169131 | 2147483647   535350     27 |  1.868 % |
9287.44/9290.12	c |    732144 |   13605    56336   169131 | 2147483647   535892     27 |  1.868 % |
9297.74/9300.45	c |    732741 |   13605    56336   169131 | 2147483647   536489     27 |  1.868 % |
9308.24/9310.97	c |    733397 |   13605    56336   169131 | 2147483647   537145     27 |  1.868 % |
9319.93/9322.62	c |    734117 |   13605    56336   169131 | 2147483647   537865     27 |  1.868 % |
9333.94/9336.70	c |    734910 |   13605    56336   169131 | 2147483647   538658     27 |  1.868 % |
9350.03/9352.76	c |    735781 |   13605    56336   169131 | 2147483647   539529     27 |  1.868 % |
9371.02/9373.79	c |    736741 |   13605    56336   169131 | 2147483647   540489     27 |  1.868 % |
9389.62/9392.34	c |    737794 |   13605    56336   169131 | 2147483647   541542     27 |  1.868 % |
9411.81/9414.51	c |    738953 |   13605    56336   169131 | 2147483647   542701     27 |  1.868 % |
9433.60/9436.35	c |    740226 |   13605    56336   169131 |   543748   543974     27 |  1.868 % |
9459.00/9461.75	c |    741627 |   13605    56336   169131 |   543748   545375     27 |  1.868 % |
9488.79/9491.56	c |    743168 |   13605    56336   169131 |   543748   492379     27 |  1.868 % |
9516.69/9519.45	c |    744862 |   13605    56336   169131 |   543748   494073     27 |  1.868 % |
9547.68/9550.49	c |    746726 |   13605    56336   169131 |   543748   495937     27 |  1.868 % |
9583.07/9585.86	c |    748776 |   13605    56336   169131 |   543748   497987     27 |  1.868 % |
9620.86/9623.62	c |    751029 |   13605    56336   169131 | 2147483647   500240     27 |  1.868 % |
9660.65/9663.41	c |    753508 |   13605    56336   169131 | 2147483647   502719     27 |  1.868 % |
9709.33/9712.17	c |    756234 |   13605    56336   169131 | 2147483647   505445     27 |  1.868 % |
9761.31/9764.17	c |    759231 |   13605    56336   169131 | 2147483647   508442     27 |  1.868 % |
9819.80/9822.60	c |    762527 |   13605    56336   169131 |   509211   455244     26 |  1.868 % |
9874.59/9877.43	c |    766153 |   13605    56336   169131 |   509211   458870     26 |  1.868 % |
9935.47/9938.30	c |    770140 |   13605    56336   169131 | 2147483647   462857     26 |  1.868 % |

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-1837322-1242867085/watcher-1837322-1242867085 -o /tmp/evaluation-result-1837322-1242867085/solver-1837322-1242867085 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837322-1242867085.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.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0

[startup+0.047536 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10154 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301559 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701595 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 7974
/proc/meminfo: memFree=1774008/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=0
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314742034 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50168 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 7979
/proc/meminfo: memFree=1755936/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 5356

[startup+3.10182 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763744/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=5996 CPUtime=1.66
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1324 0 0 0 166 0 0 0 25 0 1 0 314742176 6139904 1310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1499 1310 76 171 0 1326 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11352

[startup+6.30111 s]
/proc/loadavg: 0.86 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763232/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6128 CPUtime=4.87
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1354 0 0 0 486 1 0 0 25 0 1 0 314742176 6275072 1340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1532 1340 76 171 0 1359 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11484

[startup+12.7027 s]
/proc/loadavg: 0.87 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1763184/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6260 CPUtime=11.27
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1406 0 0 0 1126 1 0 0 25 0 1 0 314742176 6410240 1392 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1565 1392 76 171 0 1392 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11616

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1762608/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=6928 CPUtime=24.06
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1562 0 0 0 2405 1 0 0 25 0 1 0 314742176 7094272 1548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1732 1548 76 171 0 1559 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 12284

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1761840/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=7744 CPUtime=49.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 1776 0 0 0 4963 2 0 0 25 0 1 0 314742176 7929856 1762 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 1936 1762 76 171 0 1763 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13100

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1760048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=9492 CPUtime=100.84
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 2211 0 0 0 10081 3 0 0 25 0 1 0 314742176 9719808 2197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 2373 2197 76 171 0 2200 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14848

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1757680/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=11996 CPUtime=160.82
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 2808 0 0 0 16078 4 0 0 25 0 1 0 314742176 12283904 2794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 2999 2794 76 171 0 2826 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17352

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1755824/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=13720 CPUtime=220.81
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 3246 0 0 0 22076 5 0 0 25 0 1 0 314742176 14049280 3232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 3430 3232 76 171 0 3257 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 19076

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1754160/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=15400 CPUtime=280.79
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 3653 0 0 0 28073 6 0 0 25 0 1 0 314742176 15769600 3639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 3850 3639 76 171 0 3677 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20756

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1752624/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=16972 CPUtime=340.77
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 4034 0 0 0 34070 7 0 0 25 0 1 0 314742176 17379328 4020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 4243 4020 76 171 0 4070 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 22328

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1751152/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=18488 CPUtime=400.76
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 4398 0 0 0 40068 8 0 0 25 0 1 0 314742176 18931712 4384 1992294400 134512640 135215339 4294956240 18446744073709551615 134538536 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 4622 4384 76 171 0 4449 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 23844

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 7980
/proc/meminfo: memFree=1749680/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41

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

/proc/7980/statm: 23648 22304 76 171 0 23475 0
Current children cumulated CPU time (s) 9399.61
Current children cumulated vsize (KiB) 99948

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632624/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=94988 CPUtime=9458.19
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22434 0 0 0 945739 80 0 0 25 0 1 0 314742176 97267712 22420 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23747 22420 76 171 0 23574 0
Current children cumulated CPU time (s) 9459.6
Current children cumulated vsize (KiB) 100344

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632560/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=94988 CPUtime=9518.18
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22434 0 0 0 951737 81 0 0 25 0 1 0 314742176 97267712 22420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23747 22420 76 171 0 23574 0
Current children cumulated CPU time (s) 9519.59
Current children cumulated vsize (KiB) 100344

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632368/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95360 CPUtime=9578.16
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22468 0 0 0 957735 81 0 0 25 0 1 0 314742176 97648640 22454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23840 22454 76 171 0 23667 0
Current children cumulated CPU time (s) 9579.57
Current children cumulated vsize (KiB) 100716

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632176/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9638.14
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22506 0 0 0 963733 81 0 0 25 0 1 0 314742176 97832960 22492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22492 76 171 0 23712 0
Current children cumulated CPU time (s) 9639.55
Current children cumulated vsize (KiB) 100896

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632112/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9698.12
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22506 0 0 0 969731 81 0 0 25 0 1 0 314742176 97832960 22492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22492 76 171 0 23712 0
Current children cumulated CPU time (s) 9699.53
Current children cumulated vsize (KiB) 100896

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9758.1
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22511 0 0 0 975729 81 0 0 25 0 1 0 314742176 97832960 22497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22497 76 171 0 23712 0
Current children cumulated CPU time (s) 9759.51
Current children cumulated vsize (KiB) 100896

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9818.09
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22513 0 0 0 981727 82 0 0 25 0 1 0 314742176 97832960 22499 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22499 76 171 0 23712 0
Current children cumulated CPU time (s) 9819.5
Current children cumulated vsize (KiB) 100896

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1632048/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9878.08
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 987726 82 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9879.49
Current children cumulated vsize (KiB) 100896

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9938.06
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 993723 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9939.47
Current children cumulated vsize (KiB) 100896

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.05
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999722 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 9999.46
Current children cumulated vsize (KiB) 100896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999782 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 100896

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

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

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8478
/proc/meminfo: memFree=1631984/2055920 swapFree=4180012/4192956
[pid=7974] ppid=7972 vsize=5356 CPUtime=1.41
/proc/7974/stat : 7974 (SatELiteGTI) S 7972 7974 7937 0 -1 4194304 336 4365 0 0 0 0 138 3 16 0 1 0 314742034 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7974/statm: 1339 239 197 169 0 50 0
[pid=7980] ppid=7974 vsize=95540 CPUtime=9998.65
/proc/7980/stat : 7980 (minisat_static) R 7974 7974 7937 0 -1 4194304 22514 0 0 0 999782 83 0 0 25 0 1 0 314742176 97832960 22500 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7980/statm: 23885 22500 76 171 0 23712 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 100896

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.2
CPU system time (s): 0.86
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 100896

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

runsolver used 10.9033 second user time and 25.5481 second system time

The end

Launcher Data 

Begin job on node14 at 2009-05-21 02:51:25
IDJOB=1837322
IDBENCH=70848
IDSOLVER=674
FILE ID=node14/1837322-1242867085
PBS_JOBID= 9328579
Free space on /tmp= 66224 MiB

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

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

MD5SUM BENCH= 96596d59af0c6949ab68ac8c5abcf28b
RANDOM SEED=1966555320

node14.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.256
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	: 5931.00
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.256
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:       1774488 kB
Buffers:         38308 kB
Cached:         203284 kB
SwapCached:       6948 kB
Active:          95204 kB
Inactive:       154880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774488 kB
SwapTotal:     4192956 kB
SwapFree:      4180012 kB
Dirty:            3204 kB
Writeback:           0 kB
Mapped:          13816 kB
Slab:            17360 kB
Committed_AS:  1012280 kB
PageTables:       1452 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= 66220 MiB
End job on node14 at 2009-05-21 05:38:10