Trace number 1837270

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000 10003

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo128.cnf
MD5SUMc5685247c8f21e8da88f42049fffdb13
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables188473
Number of clauses564650
Sum of the clauses size1317514
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376432
Number of clauses of size 3188216
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.47	c ==============================================================================
0.00/0.47	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.47	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.47	c ==============================================================================
0.00/0.47	c |         0 |  564648  1317512 |  169394       0        0     nan |  0.000 % |
3.58/3.61	c |         0 |  423113  1189990 |      --       0       --      -- |     --   | -141533/-127517
3.58/3.61	c ==============================================================================
3.58/3.61	c Result  :   #vars: 97638   #clauses: 423113   #literals: 1189990
3.58/3.61	c CPU time:   3.44148 s
3.58/3.61	c ==============================================================================
3.98/4.04	c This is MiniSat 2.0 beta
3.98/4.04	c WARNING: for repeatability, setting FPU to use double precision
3.98/4.05	c ============================[ Problem Statistics ]=============================
3.98/4.05	c |                                                                             |
3.98/4.05	c |  Number of variables:  97638                                                |
3.98/4.05	c |  Number of clauses:    423113                                               |
4.04/4.30	c |  Parsing time:         0.22         s                                       |
4.29/4.31	c ============================[ Search Statistics ]==============================
4.29/4.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.31	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.29/4.31	c ===============================================================================
4.29/4.31	c |         0 |   97638   423113  1189990 |   141037        0    nan |  0.000 % |
4.29/4.38	c |       101 |   97638   423113  1189990 |   141037      101     51 |  0.000 % |
4.57/4.61	c |       201 |   97638   423113  1189990 |   141037      201     51 |  0.000 % |
4.57/4.63	c |       303 |   97638   423113  1189990 |   141037      303     40 |  0.000 % |
4.57/4.64	c |       413 |   97638   423113  1189990 |   141037      413     32 |  0.000 % |
4.57/4.66	c |       514 |   97638   423113  1189990 |   141037      514     29 |  0.000 % |
5.27/5.32	c |       624 |   97638   423113  1189990 |   141037      624     67 |  0.000 % |
19.77/19.83	c |       745 |   97638   423113  1189990 |   141037      745     65 |  0.000 % |
21.47/21.57	c |       848 |   97638   423113  1189990 |   141037      848     64 |  0.000 % |
22.67/22.79	c |       958 |   97638   423113  1189990 |   141037      958     89 |  0.000 % |
23.97/24.04	c |      1079 |   97638   423113  1189990 |   141037     1079     96 |  0.000 % |
32.06/32.14	c |      1213 |   97638   423113  1189990 |   141037     1213    250 |  0.000 % |
33.86/33.90	c |      1313 |   97638   423113  1189990 |   141037     1313    244 |  0.000 % |
35.56/35.69	c |      1423 |   97638   423113  1189990 |   141037     1423    235 |  0.000 % |
36.75/36.81	c |      1547 |   97638   423113  1189990 |   141037     1547    228 |  0.000 % |
56.64/56.76	c |      1681 |   97638   423113  1189990 |   141037     1681    217 |  0.000 % |
61.34/61.47	c |      1827 |   97638   423113  1189990 |   141037     1827    212 |  0.000 % |
62.94/63.02	c |      1927 |   97638   423113  1189990 |   141037     1927    205 |  0.000 % |
65.94/66.01	c |      2038 |   97638   423113  1189990 |   141037     2038    200 |  0.000 % |
67.14/67.22	c |      2160 |   97638   423113  1189990 |   141037     2160    198 |  0.000 % |
69.04/69.16	c |      2294 |   97638   423113  1189990 |   141037     2294    201 |  0.000 % |
72.03/72.14	c |      2440 |   97638   423113  1189990 |   141037     2440    196 |  0.000 % |
82.63/82.72	c |      2603 |   97638   423113  1189990 |   141037     2603    194 |  0.000 % |
84.23/84.35	c |      2704 |   97638   423113  1189990 |   141037     2704    189 |  0.000 % |
85.93/86.05	c |      2815 |   97638   423113  1189990 |   141037     2815    186 |  0.000 % |
87.03/87.11	c |      2936 |   97638   423113  1189990 |   141037     2936    181 |  0.000 % |
87.23/87.37	c |      3073 |   97638   423113  1189990 |   141037     3073    174 |  0.000 % |
87.53/87.60	c |      3219 |   97638   423113  1189990 |   141037     3219    170 |  0.000 % |
87.63/87.72	c |      3380 |   97638   423113  1189990 |   141037     3380    163 |  0.000 % |
88.03/88.14	c |      3556 |   97638   423113  1189990 |   141037     3556    157 |  0.000 % |
88.13/88.25	c |      3656 |   97638   423113  1189990 |   141037     3656    153 |  0.000 % |
88.23/88.37	c |      3767 |   97638   423113  1189990 |   141037     3767    149 |  0.000 % |
88.52/88.65	c |      3889 |   97638   423113  1189990 |   141037     3889    146 |  0.000 % |
89.12/89.27	c |      4025 |   97638   423113  1189990 |   141037     4025    145 |  0.000 % |
89.32/89.47	c |      4172 |   97638   423113  1189990 |   141037     4172    141 |  0.000 % |
89.42/89.52	c |      4332 |   97638   423113  1189990 |   141037     4332    137 |  0.000 % |
89.42/89.58	c |      4508 |   97638   423113  1189990 |   141037     4508    132 |  0.000 % |
89.82/89.93	c |      4702 |   97638   423113  1189990 |   141037     4702    132 |  0.000 % |
89.82/89.97	c |      4802 |   97638   423113  1189990 |   141037     4802    129 |  0.000 % |
89.92/90.01	c |      4912 |   97638   423113  1189990 |   141037     4912    127 |  0.000 % |
90.03/90.19	c |      5033 |   97638   423113  1189990 |   141037     5033    126 |  0.000 % |
90.22/90.37	c |      5166 |   97638   423113  1189990 |   141037     5166    127 |  0.000 % |
90.32/90.44	c |      5312 |   97638   423113  1189990 |   141037     5312    124 |  0.000 % |
90.42/90.53	c |      5473 |   97638   423113  1189990 |   141037     5473    121 |  0.000 % |
90.52/90.69	c |      5649 |   97638   423113  1189990 |   141037     5649    120 |  0.000 % |
90.72/90.84	c |      5843 |   97638   423113  1189990 |   141037     5843    117 |  0.000 % |
90.82/90.96	c |      6055 |   97638   423113  1189990 |   141037     6055    114 |  0.000 % |
92.33/92.44	c |      6155 |   97638   423113  1189990 |   141037     6155    120 |  0.000 % |
92.62/92.74	c |      6267 |   97638   423113  1189990 |   141037     6267    127 |  0.000 % |
92.83/92.91	c |      6389 |   97638   423113  1189990 |   141037     6389    134 |  0.000 % |
92.83/92.98	c |      6523 |   97638   423113  1189990 |   141037     6523    134 |  0.000 % |
93.93/94.06	c |      6669 |   97638   423113  1189990 |   141037     6669    140 |  0.000 % |
94.43/94.56	c |      6831 |   97638   423113  1189990 |   141037     6831    138 |  0.000 % |
95.03/95.11	c |      7008 |   97638   423113  1189990 |   141037     7008    135 |  0.000 % |
95.13/95.30	c |      7201 |   97638   423113  1189990 |   141037     7201    135 |  0.000 % |
95.23/95.37	c |      7414 |   97638   423113  1189990 |   141037     7414    132 |  0.000 % |
95.32/95.41	c |      7648 |   97638   423113  1189990 |   141037     7648    129 |  0.000 % |
95.32/95.46	c |      7748 |   97638   423113  1189990 |   141037     7748    127 |  0.000 % |
95.42/95.54	c |      7858 |   97638   423113  1189990 |   141037     7858    126 |  0.000 % |
95.53/95.64	c |      7979 |   97638   423113  1189990 |   141037     7979    124 |  0.000 % |
95.63/95.72	c |      8112 |   97638   423113  1189990 |   141037     8112    123 |  0.000 % |
95.72/95.82	c |      8258 |   97638   423113  1189990 |   141037     8258    121 |  0.000 % |
95.72/95.86	c |      8418 |   97638   423113  1189990 |   141037     8418    119 |  0.000 % |
95.82/95.95	c |      8594 |   97638   423113  1189990 |   141037     8594    117 |  0.000 % |
96.52/96.64	c |      8787 |   97638   423113  1189990 |   141037     8787    121 |  0.000 % |
96.62/96.73	c |      9000 |   97638   423113  1189990 |   141037     9000    119 |  0.000 % |
96.92/97.03	c |      9233 |   97638   423113  1189990 |   141037     9233    118 |  0.000 % |
97.02/97.14	c |      9490 |   97638   423113  1189990 |   141037     9490    117 |  0.000 % |
97.02/97.16	c |      9590 |   97638   423113  1189990 |   141037     9590    116 |  0.000 % |
97.12/97.21	c |      9700 |   97638   423113  1189990 |   141037     9700    115 |  0.000 % |
97.22/97.31	c |      9823 |   97638   423113  1189990 |   141037     9823    114 |  0.000 % |
97.22/97.36	c |      9957 |   97638   423113  1189990 |   141037     9957    113 |  0.000 % |
97.52/97.62	c |     10105 |   97638   423113  1189990 | 2147483647    10105    113 |  0.000 % |
97.62/97.70	c |     10265 |   97638   423113  1189990 | 2147483647    10265    112 |  0.000 % |
97.62/97.76	c |     10442 |   97638   423113  1189990 | 2147483647    10442    110 |  0.000 % |
97.82/97.98	c |     10635 |   97638   423113  1189990 | 2147483647    10635    109 |  0.000 % |
98.02/98.11	c |     10849 |   97638   423113  1189990 | 2147483647    10849    107 |  0.000 % |
98.12/98.22	c |     11083 |   97638   423113  1189990 | 2147483647    11083    105 |  0.000 % |
98.22/98.36	c |     11339 |   97638   423113  1189990 | 2147483647    11339    103 |  0.000 % |
98.32/98.49	c |     11620 |   97638   423113  1189990 | 2147483647    11620    101 |  0.000 % |
98.42/98.53	c |     11720 |   97638   423113  1189990 | 2147483647    11720    101 |  0.000 % |
98.42/98.58	c |     11830 |   97638   423113  1189990 | 2147483647    11830    100 |  0.000 % |
98.52/98.63	c |     11951 |   97638   423113  1189990 | 2147483647    11951     99 |  0.000 % |
98.62/98.70	c |     12085 |   97638   423113  1189990 | 2147483647    12085     98 |  0.000 % |
99.42/99.51	c |     12231 |   97638   423113  1189990 | 2147483647    12231     98 |  0.000 % |
101.72/101.88	c |     12392 |   97638   423113  1189990 | 2147483647    12392     97 |  0.000 % |
103.71/103.83	c |     12570 |   97638   423113  1189990 | 2147483647    12570     97 |  0.000 % |
105.21/105.36	c |     12763 |   97638   423113  1189990 | 2147483647    12763    105 |  0.000 % |
105.52/105.66	c |     12975 |   97638   423113  1189990 | 2147483647    12975    104 |  0.000 % |
105.81/105.93	c |     13208 |   97638   423113  1189990 | 2147483647    13208    102 |  0.000 % |
106.01/106.10	c |     13464 |   97638   423113  1189990 | 2147483647    13464    101 |  0.000 % |
106.01/106.18	c |     13745 |   97638   423113  1189990 | 2147483647    13745     99 |  0.000 % |
106.21/106.31	c |     14054 |   97638   423113  1189990 | 2147483647    14054     98 |  0.000 % |
106.51/106.63	c |     14154 |   97638   423113  1189990 | 2147483647    14154     98 |  0.000 % |
106.51/106.68	c |     14265 |   97638   423113  1189990 | 2147483647    14265     97 |  0.000 % |
106.71/106.83	c |     14387 |   97638   423113  1189990 | 2147483647    14387     97 |  0.000 % |
106.71/106.84	c |     14521 |   97638   423113  1189990 | 2147483647    14521     96 |  0.000 % |
107.32/107.40	c |     14668 |   97638   423113  1189990 | 2147483647    14668     96 |  0.000 % |
107.32/107.48	c |     14829 |   97638   423113  1189990 | 2147483647    14829     95 |  0.000 % |
107.82/107.90	c |     15005 |   97638   423113  1189990 | 2147483647    15005     97 |  0.000 % |
108.02/108.10	c |     15198 |   97638   423113  1189990 | 2147483647    15198     98 |  0.000 % |
108.12/108.23	c |     15410 |   97638   423113  1189990 | 2147483647    15410     97 |  0.000 % |
108.22/108.33	c |     15643 |   97638   423113  1189990 | 2147483647    15643     96 |  0.000 % |
108.32/108.47	c |     15901 |   97638   423113  1189990 | 2147483647    15901     95 |  0.000 % |
108.52/108.64	c |     16183 |   97638   423113  1189990 | 2147483647    16183     94 |  0.000 % |
110.42/110.56	c |     16494 |   97638   423113  1189990 | 2147483647    16494     96 |  0.000 % |
111.11/111.28	c |     16834 |   97638   423113  1189990 | 2147483647    16834     97 |  0.000 % |
111.21/111.30	c |     16934 |   97638   423113  1189990 | 2147483647    16934     97 |  0.000 % |
111.21/111.37	c |     17047 |   97638   423113  1189990 | 2147483647    17047     96 |  0.000 % |
111.51/111.60	c |     17169 |   97638   423113  1189990 | 2147483647    17169     96 |  0.000 % |
111.51/111.69	c |     17308 |   97638   423113  1189990 | 2147483647    17308     96 |  0.000 % |
111.61/111.77	c |     17454 |   97638   423113  1189990 | 2147483647    17454     95 |  0.000 % |
111.71/111.88	c |     17616 |   97638   423113  1189990 | 2147483647    17616     95 |  0.000 % |
111.91/112.07	c |     17793 |   97638   423113  1189990 | 2147483647    17793     94 |  0.000 % |
112.12/112.23	c |     17989 |   97638   423113  1189990 | 2147483647    17989     94 |  0.000 % |
112.21/112.36	c |     18201 |   97638   423113  1189990 | 2147483647    18201     93 |  0.000 % |
112.61/112.79	c |     18435 |   97638   423113  1189990 | 2147483647    18435     93 |  0.000 % |
113.31/113.48	c |     18691 |   97638   423113  1189990 | 2147483647    18691     94 |  0.000 % |
113.51/113.63	c |     18972 |   97638   423113  1189990 | 2147483647    18972     94 |  0.000 % |
113.91/114.09	c |     19281 |   97638   423113  1189990 | 2147483647    19281     93 |  0.000 % |
114.01/114.16	c |     19620 |   97638   423113  1189990 | 2147483647    19620     92 |  0.000 % |
114.11/114.29	c |     19992 |   97638   423113  1189990 | 2147483647    19992     91 |  0.000 % |
114.21/114.34	c |     20092 |   97638   423113  1189990 | 2147483647    20092     91 |  0.000 % |
114.31/114.49	c |     20204 |   97638   423113  1189990 | 2147483647    20204     90 |  0.000 % |
114.51/114.61	c |     20325 |   97638   423113  1189990 | 2147483647    20325     90 |  0.000 % |
114.51/114.64	c |     20458 |   97638   423113  1189990 | 2147483647    20458     90 |  0.000 % |
114.61/114.70	c |     20607 |   97638   423113  1189990 | 2147483647    20607     89 |  0.000 % |
114.71/114.83	c |     20768 |   97638   423113  1189990 | 2147483647    20768     89 |  0.000 % |
114.71/114.86	c |     20944 |   97638   423113  1189990 | 2147483647    20944     88 |  0.000 % |
114.81/114.91	c |     21137 |   97638   423113  1189990 | 2147483647    21137     88 |  0.000 % |
115.41/115.51	c |     21350 |   97638   423113  1189990 | 2147483647    21350     87 |  0.000 % |
115.71/115.88	c |     21583 |   97638   423113  1189990 | 2147483647    21583     87 |  0.000 % |
116.21/116.35	c |     21840 |   97638   423113  1189990 | 2147483647    21840     87 |  0.000 % |
116.31/116.48	c |     22121 |   97638   423113  1189990 | 2147483647    22121     86 |  0.000 % |
116.41/116.58	c |     22430 |   97638   423113  1189990 | 2147483647    22430     85 |  0.000 % |
116.61/116.71	c |     22769 |   97638   423113  1189990 | 2147483647    22769     84 |  0.000 % |
116.81/116.94	c |     23142 |   97638   423113  1189990 | 2147483647    23142     84 |  0.000 % |
116.91/117.03	c |     23551 |   97638   423113  1189990 | 2147483647    23551     83 |  0.000 % |
117.11/117.28	c |     23652 |   97638   423113  1189990 | 2147483647    23652     83 |  0.000 % |
117.31/117.44	c |     23763 |   97638   423113  1189990 | 2147483647    23763     83 |  0.000 % |
117.41/117.55	c |     23884 |   97638   423113  1189990 | 2147483647    23884     82 |  0.000 % |
117.41/117.59	c |     24018 |   97638   423113  1189990 | 2147483647    24018     82 |  0.000 % |
117.70/117.86	c |     24164 |   97638   423113  1189990 | 2147483647    24164     82 |  0.000 % |
117.81/117.99	c |     24327 |   97638   423113  1189990 | 2147483647    24327     81 |  0.000 % |
118.21/118.32	c |     24504 |   97638   423113  1189990 | 2147483647    24504     81 |  0.000 % |
118.91/119.05	c |     24698 |   97638   423113  1189990 | 2147483647    24698     82 |  0.000 % |
119.21/119.34	c |     24913 |   97638   423113  1189990 | 2147483647    24913     81 |  0.000 % |
119.31/119.46	c |     25147 |   97638   423113  1189990 | 2147483647    25147     81 |  0.000 % |
119.41/119.56	c |     25405 |   97638   423113  1189990 | 2147483647    25405     81 |  0.000 % |
119.72/119.87	c |     25687 |   97638   423113  1189990 | 2147483647    25687     80 |  0.000 % |
120.01/120.12	c |     25997 |   97638   423113  1189990 | 2147483647    25997     80 |  0.000 % |
120.21/120.30	c |     26337 |   97638   423113  1189990 | 2147483647    26337     79 |  0.000 % |
120.81/120.96	c |     26709 |   97638   423113  1189990 | 2147483647    26709     80 |  0.000 % |
121.31/121.46	c |     27119 |   97638   423113  1189990 | 2147483647    27119     80 |  0.000 % |
121.51/121.62	c |     27568 |   97638   423113  1189990 | 2147483647    27568     79 |  0.000 % |
122.11/122.28	c |     27669 |   97638   423113  1189990 | 2147483647    27669     80 |  0.000 % |
122.31/122.43	c |     27779 |   97638   423113  1189990 | 2147483647    27779     80 |  0.000 % |
122.31/122.46	c |     27900 |   97638   423113  1189990 | 2147483647    27900     79 |  0.000 % |
122.31/122.49	c |     28033 |   97638   423113  1189990 | 2147483647    28033     79 |  0.000 % |
122.81/122.97	c |     28179 |   97638   423113  1189990 | 2147483647    28179     80 |  0.000 % |
126.61/126.77	c |     28341 |   97638   423113  1189990 | 2147483647    28341     80 |  0.000 % |
127.60/127.73	c |     28517 |   97638   423113  1189990 | 2147483647    28517     80 |  0.000 % |
128.10/128.21	c |     28710 |   97638   423113  1189990 | 2147483647    28710     80 |  0.000 % |
128.40/128.57	c |     28924 |   97638   423113  1189990 | 2147483647    28924     80 |  0.000 % |
128.61/128.79	c |     29159 |   97638   423113  1189990 | 2147483647    29159     79 |  0.000 % |
128.90/129.07	c |     29416 |   97638   423113  1189990 | 2147483647    29416     79 |  0.000 % |
129.30/129.48	c |     29697 |   97638   423113  1189990 | 2147483647    29697     79 |  0.000 % |
129.50/129.62	c |     30006 |   97638   423113  1189990 | 2147483647    30006     79 |  0.000 % |
129.71/129.82	c |     30345 |   97638   423113  1189990 | 2147483647    30345     78 |  0.000 % |
129.90/130.04	c |     30718 |   97638   423113  1189990 | 2147483647    30718     78 |  0.000 % |
130.00/130.11	c |     31127 |   97638   423113  1189990 | 2147483647    31127     77 |  0.000 % |
130.10/130.26	c |     31577 |   97638   423113  1189990 | 2147483647    31577     76 |  0.000 % |
132.80/132.92	c |     32072 |   97638   423113  1189990 | 2147483647    32072     78 |  0.000 % |
132.90/133.02	c |     32172 |   97638   423113  1189990 | 2147483647    32172     78 |  0.000 % |
132.90/133.05	c |     32282 |   97638   423113  1189990 | 2147483647    32282     78 |  0.000 % |
132.90/133.07	c |     32403 |   97638   423113  1189990 | 2147483647    32403     77 |  0.000 % |
133.10/133.27	c |     32536 |   97638   423113  1189990 | 2147483647    32536     77 |  0.000 % |
136.50/136.65	c |     32683 |   97637   423110  1189984 | 2147483647    32682     78 |  0.001 % |
139.10/139.20	c |     32843 |   97637   423110  1189984 | 2147483647    32842     78 |  0.001 % |
140.20/140.36	c |     33019 |   97637   423110  1189984 | 2147483647    33018     79 |  0.001 % |
140.90/141.10	c |     33212 |   97637   423110  1189984 | 2147483647    33211     79 |  0.001 % |
141.50/141.65	c |     33427 |   97637   423110  1189984 | 2147483647    33426     78 |  0.001 % |
141.60/141.78	c |     33662 |   97637   423110  1189984 | 2147483647    33661     78 |  0.001 % |
141.70/141.84	c |     33918 |   97637   423110  1189984 | 2147483647    33917     78 |  0.001 % |
141.90/142.08	c |     34199 |   97637   423110  1189984 | 2147483647    34198     77 |  0.001 % |
142.10/142.21	c |     34510 |   97637   423110  1189984 | 2147483647    34509     77 |  0.001 % |
142.70/142.90	c |     34851 |   97637   423110  1189984 | 2147483647    34850     77 |  0.001 % |
142.90/143.00	c |     35223 |   97637   423110  1189984 | 2147483647    35222     77 |  0.001 % |
143.10/143.25	c |     35632 |   97637   423110  1189984 | 2147483647    35631     76 |  0.001 % |
143.20/143.32	c |     36081 |   97637   423110  1189984 | 2147483647    36080     75 |  0.001 % |
144.29/144.41	c |     36574 |   97637   423110  1189984 | 2147483647    36573     77 |  0.001 % |
144.50/144.66	c |     37118 |   97637   423110  1189984 | 2147483647    37117     76 |  0.001 % |
144.50/144.68	c |     37218 |   97637   423110  1189984 | 2147483647    37217     76 |  0.001 % |
144.50/144.69	c |     37328 |   97637   423110  1189984 | 2147483647    37327     76 |  0.001 % |
144.60/144.76	c |     37449 |   97637   423110  1189984 | 2147483647    37448     76 |  0.001 % |
144.80/144.91	c |     37584 |   97637   423110  1189984 | 2147483647    37583     76 |  0.001 % |
145.11/145.20	c |     37730 |   97637   423110  1189984 | 2147483647    37729     76 |  0.001 % |
145.11/145.27	c |     37891 |   97637   423110  1189984 | 2147483647    37890     75 |  0.001 % |
145.40/145.50	c |     38067 |   97637   423110  1189984 | 2147483647    38066     75 |  0.001 % |
146.00/146.13	c |     38261 |   97637   423110  1189984 | 2147483647    38260     76 |  0.001 % |
146.80/146.92	c |     38474 |   97637   423110  1189984 | 2147483647    38473     76 |  0.001 % |
146.90/147.03	c |     38707 |   97637   423110  1189984 | 2147483647    38706     76 |  0.001 % |
147.00/147.14	c |     38964 |   97637   423110  1189984 | 2147483647    38963     76 |  0.001 % |
147.00/147.17	c |     39247 |   97637   423110  1189984 | 2147483647    39246     75 |  0.001 % |
147.10/147.27	c |     39556 |   97637   423110  1189984 | 2147483647    39555     75 |  0.001 % |
147.30/147.41	c |     39895 |   97637   423110  1189984 | 2147483647    39894     74 |  0.001 % |
147.50/147.64	c |     40267 |   97637   423110  1189984 | 2147483647    40266     74 |  0.001 % |
147.70/147.80	c |     40676 |   97637   423110  1189984 | 2147483647    40675     74 |  0.001 % |
147.70/147.89	c |     41126 |   97637   423110  1189984 | 2147483647    41125     73 |  0.001 % |
147.80/147.99	c |     41620 |   97637   423110  1189984 | 2147483647    41619     72 |  0.001 % |
148.20/148.31	c |     42162 |   97637   423110  1189984 | 2147483647    42161     72 |  0.001 % |
148.40/148.59	c |     42758 |   97637   423110  1189984 | 2147483647    42757     71 |  0.001 % |
148.50/148.63	c |     42858 |   97637   423110  1189984 | 2147483647    42857     71 |  0.001 % |
148.50/148.66	c |     42968 |   97637   423110  1189984 | 2147483647    42967     71 |  0.001 % |
148.80/148.94	c |     43090 |   97637   423110  1189984 | 2147483647    43089     71 |  0.001 % |
149.10/149.22	c |     43224 |   97637   423110  1189984 | 2147483647    43223     71 |  0.001 % |
149.10/149.29	c |     43372 |   97637   423110  1189984 | 2147483647    43371     71 |  0.001 % |
149.40/149.53	c |     43532 |   97637   423110  1189984 | 2147483647    43531     71 |  0.001 % |
149.69/149.90	c |     43708 |   97637   423110  1189984 | 2147483647    43707     71 |  0.001 % |
150.09/150.25	c |     43901 |   97637   423110  1189984 | 2147483647    43900     71 |  0.001 % |
150.19/150.40	c |     44114 |   97637   423110  1189984 | 2147483647    44113     71 |  0.001 % |
150.39/150.52	c |     44348 |   97637   423110  1189984 | 2147483647    44347     71 |  0.001 % |
150.60/150.71	c |     44604 |   97637   423110  1189984 | 2147483647    44603     70 |  0.001 % |
150.69/150.88	c |     44885 |   97637   423110  1189984 | 2147483647    44884     70 |  0.001 % |
151.29/151.43	c |     45196 |   97637   423110  1189984 | 2147483647    45195     70 |  0.001 % |
151.49/151.67	c |     45539 |   97637   423110  1189984 | 2147483647    45538     70 |  0.001 % |
152.09/152.26	c |     45911 |   97637   423110  1189984 | 2147483647    45910     71 |  0.001 % |
152.49/152.65	c |     46320 |   97637   423110  1189984 | 2147483647    46319     71 |  0.001 % |
152.99/153.12	c |     46769 |   97637   423110  1189984 | 2147483647    46768     71 |  0.001 % |
153.49/153.65	c |     47262 |   97637   423110  1189984 | 2147483647    47261     71 |  0.001 % |
153.69/153.81	c |     47804 |   97637   423110  1189984 | 2147483647    47803     70 |  0.001 % |
154.29/154.42	c |     48401 |   97637   423110  1189984 | 2147483647    48400     70 |  0.001 % |
154.59/154.71	c |     49056 |   97637   423110  1189984 | 2147483647    49055     70 |  0.001 % |
155.39/155.58	c |     49156 |   97637   423110  1189984 | 2147483647    49155     70 |  0.001 % |
155.59/155.73	c |     49269 |   97637   423110  1189984 | 2147483647    49268     70 |  0.001 % |
155.79/155.94	c |     49390 |   97637   423110  1189984 | 2147483647    49389     70 |  0.001 % |
155.79/155.98	c |     49526 |   97637   423110  1189984 | 2147483647    49525     70 |  0.001 % |
156.09/156.27	c |     49672 |   97637   423110  1189984 | 2147483647    49671     70 |  0.001 % |
156.49/156.63	c |     49832 |   97637   423110  1189984 | 2147483647    49831     70 |  0.001 % |
156.49/156.68	c |     50010 |   97637   423110  1189984 | 2147483647    50009     70 |  0.001 % |
156.59/156.78	c |     50203 |   97637   423110  1189984 | 2147483647    50202     70 |  0.001 % |
156.69/156.82	c |     50417 |   97637   423110  1189984 | 2147483647    50416     70 |  0.001 % |
156.69/156.87	c |     50650 |   97637   423110  1189984 | 2147483647    50649     69 |  0.001 % |
156.78/156.94	c |     50909 |   97637   423110  1189984 | 2147483647    50908     69 |  0.001 % |
156.88/157.09	c |     51192 |   97637   423110  1189984 | 2147483647    51191     69 |  0.001 % |
156.98/157.19	c |     51501 |   97637   423110  1189984 | 2147483647    51500     69 |  0.001 % |
157.28/157.49	c |     51840 |   97637   423110  1189984 | 2147483647    51839     69 |  0.001 % |
157.48/157.68	c |     52213 |   97637   423110  1189984 | 2147483647    52212     68 |  0.001 % |
157.59/157.80	c |     52622 |   97637   423110  1189984 | 2147483647    52621     68 |  0.001 % |
157.89/158.07	c |     53071 |   97637   423110  1189984 | 2147483647    53070     68 |  0.001 % |
158.49/158.63	c |     53565 |   97637   423110  1189984 | 2147483647    53564     68 |  0.001 % |
159.59/159.73	c |     54107 |   97637   423110  1189984 | 2147483647    54106     68 |  0.001 % |
160.19/160.39	c |     54703 |   97637   423110  1189984 | 2147483647    54702     68 |  0.001 % |
160.49/160.64	c |     55359 |   97637   423110  1189984 | 2147483647    55358     68 |  0.001 % |
160.98/161.14	c |     56080 |   97637   423110  1189984 | 2147483647    56079     67 |  0.001 % |
161.68/161.87	c |     56184 |   97637   423110  1189984 | 2147483647    56183     67 |  0.001 % |
162.08/162.21	c |     56294 |   97637   423110  1189984 | 2147483647    56293     67 |  0.001 % |
162.18/162.35	c |     56416 |   97637   423110  1189984 | 2147483647    56415     67 |  0.001 % |
162.38/162.57	c |     56549 |   97637   423110  1189984 | 2147483647    56548     67 |  0.001 % |
162.59/162.72	c |     56695 |   97637   423110  1189984 | 2147483647    56694     67 |  0.001 % |
162.78/162.98	c |     56855 |   97637   423110  1189984 | 2147483647    56854     68 |  0.001 % |
162.88/163.09	c |     57033 |   97637   423110  1189984 | 2147483647    57032     67 |  0.001 % |
163.79/163.96	c |     57227 |   97637   423110  1189984 | 2147483647    57226     68 |  0.001 % |
166.28/166.48	c |     57439 |   97637   423110  1189984 | 2147483647    57438     67 |  0.001 % |
167.48/167.63	c |     57674 |   97637   423110  1189984 | 2147483647    57673     68 |  0.001 % |
167.48/167.66	c |     57931 |   97637   423110  1189984 | 2147483647    57930     67 |  0.001 % |
167.58/167.74	c |     58212 |   97637   423110  1189984 | 2147483647    58211     67 |  0.001 % |
167.68/167.82	c |     58522 |   97637   423110  1189984 | 2147483647    58521     67 |  0.001 % |
170.28/170.46	c |     58861 |   97637   423110  1189984 | 2147483647    58860     67 |  0.001 % |
174.58/174.76	c |     59233 |   97637   423110  1189984 | 2147483647    59232     68 |  0.001 % |
176.99/177.10	c |     59642 |   97637   423110  1189984 | 2147483647    59641     69 |  0.001 % |
177.19/177.31	c |     60091 |   97637   423110  1189984 | 2147483647    60090     69 |  0.001 % |
182.58/182.78	c |     60585 |   97637   423110  1189984 | 2147483647    60584     69 |  0.001 % |
186.89/187.00	c |     61127 |   97637   423110  1189984 | 2147483647    61126     70 |  0.001 % |
187.48/187.69	c |     61723 |   97637   423110  1189984 | 2147483647    61722     70 |  0.001 % |
188.38/188.55	c |     62379 |   97637   423110  1189984 | 2147483647    62378     70 |  0.001 % |
188.68/188.83	c |     63099 |   97637   423110  1189984 | 2147483647    63098     70 |  0.001 % |
195.77/195.90	c |     63896 |   97637   423110  1189984 | 2147483647    63895     78 |  0.001 % |
196.07/196.24	c |     63996 |   97637   423110  1189984 | 2147483647    63995     78 |  0.001 % |
196.27/196.41	c |     64109 |   97637   423110  1189984 | 2147483647    64108     78 |  0.001 % |
196.37/196.56	c |     64231 |   97637   423110  1189984 | 2147483647    64230     78 |  0.001 % |
196.47/196.64	c |     64364 |   97637   423110  1189984 | 2147483647    64363     78 |  0.001 % |
196.57/196.73	c |     64512 |   97637   423110  1189984 | 2147483647    64511     78 |  0.001 % |
197.47/197.61	c |     64672 |   97637   423110  1189984 | 2147483647    64671     79 |  0.001 % |
197.57/197.72	c |     64849 |   97637   423110  1189984 | 2147483647    64848     79 |  0.001 % |
197.67/197.81	c |     65042 |   97637   423110  1189984 | 2147483647    65041     79 |  0.001 % |
197.97/198.14	c |     65254 |   97637   423110  1189984 | 2147483647    65253     79 |  0.001 % |
198.07/198.27	c |     65488 |   97637   423110  1189984 | 2147483647    65487     78 |  0.001 % |
198.17/198.36	c |     65748 |   97637   423110  1189984 | 2147483647    65747     78 |  0.001 % |
198.37/198.59	c |     66030 |   97637   423110  1189984 | 2147483647    66029     78 |  0.001 % |
199.17/199.31	c |     66340 |   97637   423110  1189984 | 2147483647    66339     78 |  0.001 % |
199.47/199.62	c |     66679 |   97637   423110  1189984 | 2147483647    66678     78 |  0.001 % |
199.77/199.94	c |     67052 |   97637   423110  1189984 | 2147483647    67051     78 |  0.001 % |
202.48/202.64	c |     67462 |   97637   423110  1189984 | 2147483647    67461     80 |  0.001 % |
203.18/203.32	c |     67911 |   97637   423110  1189984 | 2147483647    67910     81 |  0.001 % |
203.28/203.49	c |     68406 |   97637   423110  1189984 | 2147483647    68405     80 |  0.001 % |
203.58/203.78	c |     68948 |   97637   423110  1189984 | 2147483647    68947     80 |  0.001 % |
204.28/204.41	c |     69545 |   97637   423110  1189984 | 2147483647    69544     80 |  0.001 % |
211.57/211.77	c |     70200 |   97637   423110  1189984 | 2147483647    70199     81 |  0.001 % |
212.57/212.72	c |     70921 |   97637   423110  1189984 | 2147483647    70920     80 |  0.001 % |
212.77/212.97	c |     71715 |   97637   423110  1189984 | 2147483647    71714     80 |  0.001 % |
213.57/213.71	c |     72586 |   97637   423110  1189984 | 2147483647    72585     79 |  0.001 % |
214.38/214.53	c |     72687 |   97637   423110  1189984 | 2147483647    72686     79 |  0.001 % |
214.97/215.16	c |     72798 |   97637   423110  1189984 | 2147483647    72797     79 |  0.001 % |
215.17/215.31	c |     72919 |   97637   423110  1189984 | 2147483647    72918     79 |  0.001 % |
215.27/215.46	c |     73052 |   97637   423110  1189984 | 2147483647    73051     79 |  0.001 % |
215.57/215.77	c |     73199 |   97637   423110  1189984 | 2147483647    73198     79 |  0.001 % |
215.67/215.89	c |     73360 |   97637   423110  1189984 | 2147483647    73359     79 |  0.001 % |
215.87/216.10	c |     73537 |   97637   423110  1189984 | 2147483647    73536     79 |  0.001 % |
217.77/217.93	c |     73730 |   97637   423110  1189984 | 2147483647    73729     79 |  0.001 % |
217.87/218.04	c |     73942 |   97637   423110  1189984 | 2147483647    73941     79 |  0.001 % |
218.37/218.59	c |     74176 |   97637   423110  1189984 | 2147483647    74175     79 |  0.001 % |
218.47/218.66	c |     74434 |   97637   423110  1189984 | 2147483647    74433     79 |  0.001 % |
218.77/218.94	c |     74715 |   97637   423110  1189984 | 2147483647    74714     79 |  0.001 % |
218.96/219.17	c |     75025 |   97637   423110  1189984 | 2147483647    75024     79 |  0.001 % |
220.16/220.33	c |     75365 |   97637   423110  1189984 | 2147483647    75364     79 |  0.001 % |
220.36/220.56	c |     75738 |   97637   423110  1189984 | 2147483647    75737     79 |  0.001 % |
220.56/220.78	c |     76147 |   97637   423110  1189984 | 2147483647    76146     78 |  0.001 % |
220.76/220.92	c |     76596 |   97637   423110  1189984 | 2147483647    76595     78 |  0.001 % |
221.26/221.46	c |     77089 |   97637   423110  1189984 | 2147483647    77088     78 |  0.001 % |
224.97/225.10	c |     77631 |   97637   423110  1189984 | 2147483647    77630     79 |  0.001 % |
225.67/225.82	c |     78227 |   97637   423110  1189984 | 2147483647    78226     79 |  0.001 % |
226.27/226.47	c |     78882 |   97637   423110  1189984 | 2147483647    78881     79 |  0.001 % |
226.47/226.62	c |     79603 |   97637   423110  1189984 | 2147483647    79602     78 |  0.001 % |
227.47/227.61	c |     80395 |   97637   423110  1189984 | 2147483647    80394     78 |  0.001 % |
228.27/228.42	c |     81267 |   97637   423110  1189984 | 2147483647    81266     78 |  0.001 % |
228.67/228.88	c |     82226 |   97637   423110  1189984 | 2147483647    82225     77 |  0.001 % |
228.67/228.90	c |     82326 |   97637   423110  1189984 | 2147483647    82325     77 |  0.001 % |
228.76/228.96	c |     82436 |   97637   423110  1189984 | 2147483647    82435     77 |  0.001 % |
228.86/229.02	c |     82559 |   97637   423110  1189984 | 2147483647    82558     77 |  0.001 % |
229.46/229.68	c |     82692 |   97637   423110  1189984 | 2147483647    82691     77 |  0.001 % |
230.96/231.16	c |     82838 |   97637   423110  1189984 | 2147483647    82837     77 |  0.001 % |
231.46/231.61	c |     82998 |   97637   423110  1189984 | 2147483647    82997     77 |  0.001 % |
231.56/231.78	c |     83174 |   97637   423110  1189984 | 2147483647    83173     77 |  0.001 % |
231.66/231.87	c |     83367 |   97637   423110  1189984 | 2147483647    83366     76 |  0.001 % |
231.76/231.91	c |     83580 |   97637   423110  1189984 | 2147483647    83579     76 |  0.001 % |
232.76/232.93	c |     83813 |   97637   423110  1189984 | 2147483647    83812     77 |  0.001 % |
233.16/233.32	c |     84069 |   97637   423110  1189984 | 2147483647    84068     77 |  0.001 % |
234.36/234.50	c |     84350 |   97637   423110  1189984 | 2147483647    84349     77 |  0.001 % |
234.66/234.81	c |     84659 |   97637   423110  1189984 | 2147483647    84658     77 |  0.001 % |
234.66/234.86	c |     85000 |   97637   423110  1189984 | 2147483647    84999     77 |  0.001 % |
234.86/235.06	c |     85372 |   97637   423110  1189984 | 2147483647    85371     77 |  0.001 % |
235.55/235.71	c |     85781 |   97637   423110  1189984 | 2147483647    85780     76 |  0.001 % |
235.85/236.01	c |     86230 |   97637   423110  1189984 | 2147483647    86229     76 |  0.001 % |
236.05/236.26	c |     86724 |   97637   423110  1189984 | 2147483647    86723     76 |  0.001 % |
237.15/237.36	c |     87267 |   97637   423110  1189984 | 2147483647    87266     76 |  0.001 % |
237.46/237.62	c |     87863 |   97637   423110  1189984 | 2147483647    87862     76 |  0.001 % |
237.65/237.89	c |     88518 |   97637   423110  1189984 | 2147483647    88517     75 |  0.001 % |
243.46/243.66	c |     89239 |   97637   423110  1189984 | 2147483647    89238     76 |  0.001 % |
244.26/244.48	c |     90033 |   97637   423110  1189984 | 2147483647    90032     76 |  0.001 % |
251.05/251.28	c |     90904 |   97637   423110  1189984 | 2147483647    90903     76 |  0.001 % |
253.35/253.51	c |     91863 |   97637   423110  1189984 | 2147483647    91862     77 |  0.001 % |
253.55/253.71	c |     92916 |   97637   423110  1189984 | 2147483647    92915     77 |  0.001 % |
253.55/253.73	c |     93016 |   97637   423110  1189984 | 2147483647    93015     77 |  0.001 % |
253.85/254.04	c |     93126 |   97637   423110  1189984 | 2147483647    93125     77 |  0.001 % |
254.05/254.24	c |     93248 |   97637   423110  1189984 | 2147483647    93247     77 |  0.001 % |
254.15/254.30	c |     93381 |   97637   423110  1189984 | 2147483647    93380     77 |  0.001 % |
254.15/254.37	c |     93527 |   97637   423110  1189984 | 2147483647    93526     76 |  0.001 % |
254.75/254.95	c |     93687 |   97637   423110  1189984 | 2147483647    93686     76 |  0.001 % |
255.05/255.24	c |     93863 |   97637   423110  1189984 | 2147483647    93862     76 |  0.001 % |
255.15/255.32	c |     94056 |   97637   423110  1189984 | 2147483647    94055     76 |  0.001 % |
255.55/255.78	c |     94269 |   97637   423110  1189984 | 2147483647    94268     76 |  0.001 % |
255.65/255.87	c |     94502 |   97637   423110  1189984 | 2147483647    94501     76 |  0.001 % |
256.25/256.40	c |     94759 |   97637   423110  1189984 | 2147483647    94758     76 |  0.001 % |
256.35/256.59	c |     95044 |   97637   423110  1189984 | 2147483647    95043     76 |  0.001 % |
258.75/258.93	c |     95354 |   97637   423110  1189984 | 2147483647    95353     76 |  0.001 % |
259.15/259.32	c |     95693 |   97637   423110  1189984 | 2147483647    95692     76 |  0.001 % |
259.35/259.50	c |     96065 |   97637   423110  1189984 | 2147483647    96064     75 |  0.001 % |
263.65/263.88	c |     96475 |   97637   423110  1189984 | 2147483647    96474     77 |  0.001 % |
264.05/264.29	c |     96924 |   97637   423110  1189984 | 2147483647    96923     77 |  0.001 % |
264.45/264.69	c |     97417 |   97637   423110  1189984 | 2147483647    97416     77 |  0.001 % |
264.65/264.86	c |     97959 |   97637   423110  1189984 | 2147483647    97958     76 |  0.001 % |
265.15/265.34	c |     98556 |   97637   423110  1189984 | 2147483647    98555     76 |  0.001 % |
265.75/265.91	c |     99211 |   97637   423110  1189984 | 2147483647    99210     76 |  0.001 % |
266.15/266.33	c |     99932 |   97637   423110  1189984 | 2147483647    99931     76 |  0.001 % |
266.45/266.64	c |    100724 |   97637   423110  1189984 | 2147483647   100723     75 |  0.001 % |
266.85/267.01	c |    101596 |   97637   423110  1189984 | 2147483647   101595     75 |  0.001 % |
267.95/268.11	c |    102555 |   97637   423110  1189984 | 2147483647   102554     75 |  0.001 % |
273.15/273.30	c |    103608 |   97637   423110  1189984 | 2147483647   103607     76 |  0.001 % |
274.85/275.08	c |    104766 |   97637   423110  1189984 | 2147483647   104765     75 |  0.001 % |
274.95/275.16	c |    104866 |   97637   423110  1189984 | 2147483647   104865     75 |  0.001 % |
274.95/275.17	c |    104976 |   97637   423110  1189984 | 2147483647   104975     75 |  0.001 % |
275.15/275.35	c |    105097 |   97637   423110  1189984 | 2147483647   105096     75 |  0.001 % |
279.04/279.25	c |    105231 |   97637   423110  1189984 | 2147483647   105230     76 |  0.001 % |
280.35/280.52	c |    105377 |   97637   423110  1189984 | 2147483647   105376     76 |  0.001 % |
280.54/280.78	c |    105539 |   97637   423110  1189984 | 2147483647   105538     76 |  0.001 % |
281.04/281.29	c |    105715 |   97637   423110  1189984 | 2147483647   105714     76 |  0.001 % |
281.35/281.54	c |    105908 |   97637   423110  1189984 | 2147483647   105907     76 |  0.001 % |
281.35/281.58	c |    106120 |   97637   423110  1189984 | 2147483647   106119     76 |  0.001 % |
281.54/281.76	c |    106355 |   97637   423110  1189984 | 2147483647   106354     76 |  0.001 % |
281.84/282.09	c |    106611 |   97637   423110  1189984 | 2147483647   106610     76 |  0.001 % |
282.14/282.33	c |    106892 |   97637   423110  1189984 | 2147483647   106891     76 |  0.001 % |
282.24/282.48	c |    107201 |   97637   423110  1189984 | 2147483647   107200     76 |  0.001 % |
282.34/282.55	c |    107541 |   97637   423110  1189984 | 2147483647   107540     76 |  0.001 % |
284.64/284.82	c |    107913 |   97637   423110  1189984 | 2147483647   107912     76 |  0.001 % |
285.14/285.37	c |    108322 |   97637   423110  1189984 | 2147483647   108321     76 |  0.001 % |
285.95/286.12	c |    108772 |   97637   423110  1189984 | 2147483647   108771     75 |  0.001 % |
288.05/288.22	c |    109265 |   97637   423110  1189984 | 2147483647   109264     76 |  0.001 % |
288.34/288.57	c |    109808 |   97637   423110  1189984 | 2147483647   109807     76 |  0.001 % |
288.54/288.73	c |    110404 |   97637   423110  1189984 | 2147483647   110403     75 |  0.001 % |
288.84/289.03	c |    111061 |   97637   423110  1189984 | 2147483647   111060     75 |  0.001 % |
296.75/296.94	c |    111781 |   97637   423110  1189984 | 2147483647   111780     75 |  0.001 % |
297.24/297.48	c |    112574 |   97637   423110  1189984 | 2147483647   112573     75 |  0.001 % |
299.04/299.23	c |    113445 |   97637   423110  1189984 | 2147483647   113444     75 |  0.001 % |
300.04/300.30	c |    114403 |   97637   423110  1189984 | 2147483647   114402     75 |  0.001 % |
300.74/300.93	c |    115456 |   97637   423110  1189984 | 2147483647   115455     74 |  0.001 % |
301.43/301.64	c |    116615 |   97637   423110  1189984 | 2147483647   116614     74 |  0.001 % |
301.93/302.19	c |    117888 |   97637   423110  1189984 | 2147483647   117887     74 |  0.001 % |
302.13/302.37	c |    117988 |   97637   423110  1189984 | 2147483647   117987     74 |  0.001 % |
302.34/302.54	c |    118099 |   97637   423110  1189984 | 2147483647   118098     73 |  0.001 % |
304.23/304.49	c |    118220 |   97637   423110  1189984 | 2147483647   118219     73 |  0.001 % |
304.73/304.96	c |    118354 |   97637   423110  1189984 | 2147483647   118353     73 |  0.001 % |
305.23/305.43	c |    118501 |   97637   423110  1189984 | 2147483647   118500     73 |  0.001 % |
307.54/307.77	c |    118661 |   97637   423110  1189984 | 2147483647   118660     74 |  0.001 % |
307.94/308.13	c |    118838 |   97637   423110  1189984 | 2147483647   118837     74 |  0.001 % |
308.14/308.30	c |    119032 |   97637   423110  1189984 | 2147483647   119031     74 |  0.001 % |
309.24/309.40	c |    119245 |   97637   423110  1189984 | 2147483647   119244     74 |  0.001 % |
309.44/309.69	c |    119479 |   97637   423110  1189984 | 2147483647   119478     74 |  0.001 % |
309.83/310.06	c |    119735 |   97637   423110  1189984 | 2147483647   119734     74 |  0.001 % |
310.13/310.31	c |    120016 |   97637   423110  1189984 | 2147483647   120015     74 |  0.001 % |
310.63/310.84	c |    120326 |   97637   423110  1189984 | 2147483647   120325     74 |  0.001 % |
311.14/311.39	c |    120666 |   97637   423110  1189984 | 2147483647   120665     73 |  0.001 % |
311.43/311.67	c |    121039 |   97637   423110  1189984 | 2147483647   121038     73 |  0.001 % |
313.43/313.64	c |    121448 |   97637   423110  1189984 | 2147483647   121447     74 |  0.001 % |
313.73/313.97	c |    121899 |   97637   423110  1189984 | 2147483647   121898     74 |  0.001 % |
314.03/314.24	c |    122393 |   97637   423110  1189984 | 2147483647   122392     74 |  0.001 % |
314.43/314.60	c |    122935 |   97637   423110  1189984 | 2147483647   122934     73 |  0.001 % |
315.03/315.24	c |    123531 |   97637   423110  1189984 | 2147483647   123530     73 |  0.001 % |
329.43/329.67	c |    124186 |   97637   423110  1189984 | 2147483647   124185     75 |  0.001 % |
330.33/330.51	c |    124906 |   97637   423110  1189984 | 2147483647   124905     76 |  0.001 % |
331.13/331.40	c |    125699 |   97637   423110  1189984 | 2147483647   125698     76 |  0.001 % |
331.73/331.99	c |    126571 |   97637   423110  1189984 | 2147483647   126570     75 |  0.001 % |
334.03/334.29	c |    127529 |   97637   423110  1189984 | 2147483647   127528     75 |  0.001 % |
334.83/335.04	c |    128583 |   97637   423110  1189984 | 2147483647   128582     75 |  0.001 % |
338.63/338.88	c |    129742 |   97637   423110  1189984 | 2147483647   129741     75 |  0.001 % |
340.22/340.46	c |    131015 |   97637   423110  1189984 | 2147483647   131014     74 |  0.001 % |
342.12/342.30	c |    132416 |   97637   423110  1189984 | 2147483647   132415     74 |  0.001 % |
343.32/343.58	c |    132516 |   97637   423110  1189984 | 2147483647   132515     74 |  0.001 % |
343.72/343.98	c |    132629 |   97637   423110  1189984 | 2147483647   132628     74 |  0.001 % |
344.12/344.39	c |    132750 |   97637   423110  1189984 | 2147483647   132749     74 |  0.001 % |
344.22/344.47	c |    132883 |   97637   423110  1189984 | 2147483647   132882     74 |  0.001 % |
344.32/344.53	c |    133030 |   97637   423110  1189984 | 2147483647   133029     74 |  0.001 % |
346.42/346.61	c |    133192 |   97637   423110  1189984 | 2147483647   133191     74 |  0.001 % |
347.22/347.43	c |    133368 |   97637   423110  1189984 | 2147483647   133367     74 |  0.001 % |
347.72/347.95	c |    133561 |   97637   423110  1189984 | 2147483647   133560     74 |  0.001 % |
349.31/349.53	c |    133773 |   97637   423110  1189984 | 2147483647   133772     75 |  0.001 % |
349.62/349.88	c |    134007 |   97637   423110  1189984 | 2147483647   134006     75 |  0.001 % |
350.42/350.65	c |    134263 |   97637   423110  1189984 | 2147483647   134262     75 |  0.001 % |
351.22/351.46	c |    134544 |   97637   423110  1189984 | 2147483647   134543     75 |  0.001 % |
352.52/352.76	c |    134856 |   97637   423110  1189984 | 2147483647   134855     75 |  0.001 % |
353.22/353.47	c |    135195 |   97637   423110  1189984 | 2147483647   135194     75 |  0.001 % |
353.92/354.16	c |    135567 |   97637   423110  1189984 | 2147483647   135566     75 |  0.001 % |
354.42/354.62	c |    135976 |   97637   423110  1189984 | 2147483647   135975     75 |  0.001 % |
354.62/354.82	c |    136426 |   97637   423110  1189984 | 2147483647   136425     75 |  0.001 % |
355.02/355.26	c |    136919 |   97637   423110  1189984 | 2147483647   136918     75 |  0.001 % |
355.41/355.61	c |    137461 |   97637   423110  1189984 | 2147483647   137460     74 |  0.001 % |
357.11/357.33	c |    138058 |   97637   423110  1189984 | 2147483647   138057     75 |  0.001 % |
360.21/360.41	c |    138713 |   97637   423110  1189984 | 2147483647   138712     75 |  0.001 % |
360.31/360.56	c |    139433 |   97637   423110  1189984 | 2147483647   139432     75 |  0.001 % |
360.91/361.14	c |    140226 |   97637   423110  1189984 | 2147483647   140225     74 |  0.001 % |
361.52/361.70	c |    141099 |   97637   423110  1189984 | 2147483647   141098     74 |  0.001 % |
362.82/363.04	c |    142058 |   97637   423110  1189984 | 2147483647   142057     74 |  0.001 % |
364.42/364.64	c |    143112 |   97637   423110  1189984 | 2147483647   143111     74 |  0.001 % |
367.01/367.20	c |    144270 |   97637   423110  1189984 | 2147483647   144269     75 |  0.001 % |
367.71/367.96	c |    145543 |   97637   423110  1189984 | 2147483647   145542     75 |  0.001 % |
406.00/406.21	c |    146944 |   97637   423110  1189984 | 2147483647   146943     81 |  0.001 % |
407.00/407.22	c |    148484 |   97637   423110  1189984 | 2147483647   148483     80 |  0.001 % |
407.00/407.27	c |    148584 |   97637   423110  1189984 | 2147483647   148583     80 |  0.001 % |
407.50/407.74	c |    148694 |   97637   423110  1189984 | 2147483647   148693     80 |  0.001 % |
407.70/407.91	c |    148816 |   97637   423110  1189984 | 2147483647   148815     80 |  0.001 % |
407.80/408.05	c |    148951 |   97637   423110  1189984 | 2147483647   148950     80 |  0.001 % |
407.90/408.11	c |    149097 |   97637   423110  1189984 | 2147483647   149096     80 |  0.001 % |
408.40/408.62	c |    149258 |   97637   423110  1189984 | 2147483647   149257     80 |  0.001 % |
408.60/408.81	c |    149434 |   97637   423110  1189984 | 2147483647   149433     80 |  0.001 % |
408.60/408.86	c |    149628 |   97637   423110  1189984 | 2147483647   149627     80 |  0.001 % |
408.80/409.03	c |    149841 |   97637   423110  1189984 | 2147483647   149840     80 |  0.001 % |
409.00/409.24	c |    150075 |   97637   423110  1189984 | 2147483647   150074     80 |  0.001 % |
413.40/413.64	c |    150331 |   97637   423110  1189984 | 2147483647   150330     80 |  0.001 % |
413.59/413.90	c |    150613 |   97637   423110  1189984 | 2147483647   150612     80 |  0.001 % |
413.79/414.07	c |    150923 |   97637   423110  1189984 | 2147483647   150922     80 |  0.001 % |
415.50/415.76	c |    151263 |   97637   423110  1189984 | 2147483647   151262     80 |  0.001 % |
416.19/416.48	c |    151637 |   97637   423110  1189984 | 2147483647   151636     80 |  0.001 % |
416.49/416.73	c |    152046 |   97637   423110  1189984 | 2147483647   152045     80 |  0.001 % |
417.09/417.39	c |    152496 |   97637   423110  1189984 | 2147483647   152495     80 |  0.001 % |
417.39/417.60	c |    152989 |   97637   423110  1189984 | 2147483647   152988     80 |  0.001 % |
417.79/418.08	c |    153532 |   97637   423110  1189984 | 2147483647   153531     80 |  0.001 % |
425.10/425.31	c |    154128 |   97637   423110  1189984 | 2147483647   154127     80 |  0.001 % |
426.00/426.28	c |    154784 |   97637   423110  1189984 | 2147483647   154783     80 |  0.001 % |
426.39/426.66	c |    155504 |   97637   423110  1189984 | 2147483647   155503     80 |  0.001 % |
433.49/433.78	c |    156298 |   97637   423110  1189984 | 2147483647   156297     82 |  0.001 % |
437.39/437.64	c |    157169 |   97637   423110  1189984 | 2147483647   157168     82 |  0.001 % |
437.99/438.23	c |    158128 |   97637   423110  1189984 | 2147483647   158127     82 |  0.001 % |
438.19/438.41	c |    159181 |   97637   423110  1189984 | 2147483647   159180     82 |  0.001 % |
438.79/439.03	c |    160340 |   97637   423110  1189984 | 2147483647   160339     81 |  0.001 % |
439.39/439.62	c |    161613 |   97637   423110  1189984 | 2147483647   161612     81 |  0.001 % |
440.18/440.48	c |    163015 |   97637   423110  1189984 | 2147483647   163014     81 |  0.001 % |
441.29/441.52	c |    164556 |   97637   423110  1189984 | 2147483647   164555     80 |  0.001 % |
446.68/446.99	c |    166251 |   97637   423110  1189984 | 2147483647   166250     81 |  0.001 % |
446.88/447.16	c |    166352 |   97637   423110  1189984 | 2147483647   166351     81 |  0.001 % |
447.08/447.31	c |    166462 |   97637   423110  1189984 | 2147483647   166461     81 |  0.001 % |
447.18/447.43	c |    166583 |   97637   423110  1189984 | 2147483647   166582     81 |  0.001 % |
449.59/449.87	c |    166718 |   97637   423110  1189984 | 2147483647   166717     81 |  0.001 % |
450.28/450.56	c |    166864 |   97637   423110  1189984 | 2147483647   166863     81 |  0.001 % |
450.69/450.98	c |    167025 |   97637   423110  1189984 | 2147483647   167024     81 |  0.001 % |
451.38/451.63	c |    167201 |   97637   423110  1189984 | 2147483647   167200     81 |  0.001 % |
451.58/451.83	c |    167394 |   97637   423110  1189984 | 2147483647   167393     81 |  0.001 % |
451.68/451.97	c |    167606 |   97637   423110  1189984 | 2147483647   167605     81 |  0.001 % |
451.78/452.02	c |    167840 |   97637   423110  1189984 | 2147483647   167839     81 |  0.001 % |
451.88/452.12	c |    168097 |   97637   423110  1189984 | 2147483647   168096     81 |  0.001 % |
452.18/452.45	c |    168378 |   97637   423110  1189984 | 2147483647   168377     81 |  0.001 % |
454.48/454.76	c |    168688 |   97637   423110  1189984 | 2147483647   168687     81 |  0.001 % |
454.98/455.23	c |    169027 |   97637   423110  1189984 | 2147483647   169026     81 |  0.001 % |
456.48/456.77	c |    169400 |   97637   423110  1189984 | 2147483647   169399     81 |  0.001 % |
458.18/458.40	c |    169811 |   97637   423110  1189984 | 2147483647   169810     81 |  0.001 % |
458.78/459.05	c |    170260 |   97637   423110  1189984 | 2147483647   170259     81 |  0.001 % |
459.18/459.45	c |    170753 |   97637   423110  1189984 | 2147483647   170752     81 |  0.001 % |
460.69/460.96	c |    171298 |   97637   423110  1189984 | 2147483647   171297     81 |  0.001 % |
461.29/461.57	c |    171894 |   97637   423110  1189984 | 2147483647   171893     81 |  0.001 % |
461.69/461.93	c |    172549 |   97637   423110  1189984 | 2147483647   172548     80 |  0.001 % |
464.49/464.72	c |    173269 |   97637   423110  1189984 | 2147483647   173268     81 |  0.001 % |
465.38/465.66	c |    174062 |   97637   423110  1189984 | 2147483647   174061     80 |  0.001 % |
474.98/475.29	c |    174936 |   97637   423110  1189984 | 2147483647   174935     80 |  0.001 % |
481.18/481.43	c |    175894 |   97637   423110  1189984 | 2147483647   175893     81 |  0.001 % |
482.48/482.72	c |    176948 |   97637   423110  1189984 | 2147483647   176947     81 |  0.001 % |
483.57/483.84	c |    178107 |   97637   423110  1189984 | 2147483647   178106     81 |  0.001 % |
484.97/485.23	c |    179380 |   97637   423110  1189984 | 2147483647   179379     81 |  0.001 % |
485.88/486.15	c |    180780 |   97637   423110  1189984 | 2147483647   180779     80 |  0.001 % |
487.08/487.34	c |    182320 |   97637   423110  1189984 | 2147483647   182319     80 |  0.001 % |
493.58/493.81	c |    184015 |   97637   423110  1189984 | 2147483647   184014     81 |  0.001 % |
501.87/502.12	c |    185878 |   97637   423110  1189984 | 2147483647   185877     81 |  0.001 % |
503.58/503.86	c |    185978 |   97637   423110  1189984 | 2147483647   185977     81 |  0.001 % |
505.67/505.97	c |    186089 |   97637   423110  1189984 | 2147483647   186088     81 |  0.001 % |
506.07/506.37	c |    186210 |   97637   423110  1189984 | 2147483647   186209     81 |  0.001 % |
506.17/506.44	c |    186344 |   97637   423110  1189984 | 2147483647   186343     81 |  0.001 % |
506.27/506.51	c |    186490 |   97637   423110  1189984 | 2147483647   186489     81 |  0.001 % |
506.37/506.64	c |    186651 |   97637   423110  1189984 | 2147483647   186650     81 |  0.001 % |
506.47/506.75	c |    186828 |   97637   423110  1189984 | 2147483647   186827     81 |  0.001 % |
506.57/506.83	c |    187022 |   97637   423110  1189984 | 2147483647   187021     81 |  0.001 % |
507.47/507.77	c |    187234 |   97637   423110  1189984 | 2147483647   187233     81 |  0.001 % |
509.47/509.73	c |    187467 |   97637   423110  1189984 | 2147483647   187466     81 |  0.001 % |
510.87/511.19	c |    187724 |   97637   423110  1189984 | 2147483647   187723     81 |  0.001 % |
513.47/513.71	c |    188005 |   97637   423110  1189984 | 2147483647   188004     81 |  0.001 % |
515.86/516.14	c |    188314 |   97637   423110  1189984 | 2147483647   188313     81 |  0.001 % |
516.56/516.80	c |    188653 |   97637   423110  1189984 | 2147483647   188652     81 |  0.001 % |
516.67/516.98	c |    189025 |   97637   423110  1189984 | 2147483647   189024     81 |  0.001 % |
518.27/518.58	c |    189435 |   97637   423110  1189984 | 2147483647   189434     82 |  0.001 % |
520.17/520.43	c |    189885 |   97637   423110  1189984 | 2147483647   189884     82 |  0.001 % |
520.57/520.86	c |    190380 |   97637   423110  1189984 | 2147483647   190379     82 |  0.001 % |
520.97/521.25	c |    190922 |   97637   423110  1189984 | 2147483647   190921     82 |  0.001 % |
521.27/521.57	c |    191519 |   97637   423110  1189984 | 2147483647   191518     82 |  0.001 % |
526.67/526.93	c |    192174 |   97637   423110  1189984 | 2147483647   192173     82 |  0.001 % |
527.47/527.72	c |    192894 |   97637   423110  1189984 | 2147483647   192893     82 |  0.001 % |
528.27/528.51	c |    193686 |   97637   423110  1189984 | 2147483647   193685     82 |  0.001 % |
528.77/529.03	c |    194558 |   97637   423110  1189984 | 2147483647   194557     82 |  0.001 % |
531.96/532.22	c |    195517 |   97637   423110  1189984 | 2147483647   195516     82 |  0.001 % |
534.27/534.60	c |    196570 |   97637   423110  1189984 | 2147483647   196569     82 |  0.001 % |
549.86/550.15	c |    197728 |   97637   423110  1189984 | 2147483647   197727     82 |  0.001 % |
555.16/555.40	c |    199002 |   97637   423110  1189984 | 2147483647   199001     83 |  0.001 % |
557.36/557.61	c |    200403 |   97637   423110  1189984 | 2147483647   200402     82 |  0.001 % |
559.75/560.00	c |    201943 |   97637   423110  1189984 | 2147483647   201942     82 |  0.001 % |
561.55/561.84	c |    203638 |   97637   423110  1189984 | 2147483647   203637     82 |  0.001 % |
563.06/563.35	c |    205501 |   97637   423110  1189984 | 2147483647   205500     82 |  0.001 % |
566.26/566.54	c |    207551 |   97637   423110  1189984 | 2147483647   207550     82 |  0.001 % |
567.55/567.83	c |    207651 |   97637   423110  1189984 | 2147483647   207650     82 |  0.001 % |
567.75/568.00	c |    207761 |   97637   423110  1189984 | 2147483647   207760     82 |  0.001 % |
567.85/568.11	c |    207882 |   97637   423110  1189984 | 2147483647   207881     82 |  0.001 % |
567.95/568.21	c |    208015 |   97637   423110  1189984 | 2147483647   208014     82 |  0.001 % |
569.65/569.99	c |    208162 |   97637   423110  1189984 | 2147483647   208161     82 |  0.001 % |
569.85/570.19	c |    208322 |   97637   423110  1189984 | 2147483647   208321     82 |  0.001 % |
570.15/570.44	c |    208498 |   97637   423110  1189984 | 2147483647   208497     82 |  0.001 % |
570.25/570.56	c |    208691 |   97637   423110  1189984 | 2147483647   208690     81 |  0.001 % |
570.35/570.70	c |    208903 |   97637   423110  1189984 | 2147483647   208902     81 |  0.001 % |
570.56/570.87	c |    209138 |   97637   423110  1189984 | 2147483647   209137     81 |  0.001 % |
570.85/571.20	c |    209395 |   97637   423110  1189984 | 2147483647   209394     81 |  0.001 % |
571.15/571.41	c |    209679 |   97637   423110  1189984 | 2147483647   209678     81 |  0.001 % |
571.15/571.46	c |    209988 |   97637   423110  1189984 | 2147483647   209987     81 |  0.001 % |
571.55/571.88	c |    210328 |   97637   423110  1189984 | 2147483647   210327     81 |  0.001 % |
571.75/572.04	c |    210700 |   97637   423110  1189984 | 2147483647   210699     81 |  0.001 % |
572.15/572.44	c |    211110 |   97637   423110  1189984 | 2147483647   211109     81 |  0.001 % |
572.75/573.09	c |    211560 |   97637   423110  1189984 | 2147483647   211559     81 |  0.001 % |
574.95/575.25	c |    212054 |   97637   423110  1189984 | 2147483647   212053     81 |  0.001 % |
575.45/575.76	c |    212596 |   97637   423110  1189984 | 2147483647   212595     81 |  0.001 % |
577.35/577.63	c |    213192 |   97637   423110  1189984 | 2147483647   213191     81 |  0.001 % |
581.65/581.96	c |    213848 |   97637   423110  1189984 | 2147483647   213847     81 |  0.001 % |
584.04/584.36	c |    214569 |   97637   423110  1189984 | 2147483647   214568     81 |  0.001 % |
585.64/585.97	c |    215361 |   97637   423110  1189984 | 2147483647   215360     81 |  0.001 % |
587.15/587.41	c |    216233 |   97637   423110  1189984 | 2147483647   216232     81 |  0.001 % |
587.24/587.54	c |    217193 |   97637   423110  1189984 | 2147483647   217192     80 |  0.001 % |
588.54/588.87	c |    218247 |   97637   423110  1189984 | 2147483647   218246     80 |  0.001 % |
589.64/589.90	c |    219405 |   97637   423110  1189984 | 2147483647   219404     80 |  0.001 % |
590.24/590.53	c |    220678 |   97637   423110  1189984 | 2147483647   220677     80 |  0.001 % |
591.24/591.52	c |    222080 |   97637   423110  1189984 | 2147483647   222079     79 |  0.001 % |
597.05/597.36	c |    223620 |   97637   423110  1189984 | 2147483647   223619     80 |  0.001 % |
598.54/598.89	c |    225314 |   97637   423110  1189984 | 2147483647   225313     80 |  0.001 % |
601.74/602.01	c |    227177 |   97637   423110  1189984 | 2147483647   227176     79 |  0.001 % |
603.44/603.72	c |    229226 |   97637   423110  1189984 | 2147483647   229225     79 |  0.001 % |
605.34/605.64	c |    231479 |   97637   423110  1189984 | 2147483647   231478     78 |  0.001 % |
605.53/605.81	c |    231579 |   97637   423110  1189984 | 2147483647   231578     78 |  0.001 % |
609.04/609.33	c |    231692 |   97637   423110  1189984 | 2147483647   231691     79 |  0.001 % |
611.73/612.06	c |    231814 |   97637   423110  1189984 | 2147483647   231813     79 |  0.001 % |
616.83/617.19	c |    231948 |   97637   423110  1189984 | 2147483647   231947     79 |  0.001 % |
617.73/618.00	c |    232095 |   97637   423110  1189984 | 2147483647   232094     79 |  0.001 % |
620.93/621.28	c |    232256 |   97637   423110  1189984 | 2147483647   232255     79 |  0.001 % |
622.43/622.71	c |    232433 |   97637   423110  1189984 | 2147483647   232432     79 |  0.001 % |
631.23/631.58	c |    232628 |   97637   423110  1189984 | 2147483647   232627     79 |  0.001 % |
637.52/637.89	c |    232840 |   97637   423110  1189984 | 2147483647   232839     79 |  0.001 % |
641.42/641.74	c |    233073 |   97637   423110  1189984 | 2147483647   233072     79 |  0.001 % |
642.52/642.81	c |    233329 |   97637   423110  1189984 | 2147483647   233328     79 |  0.001 % |
643.22/643.51	c |    233610 |   97637   423110  1189984 | 2147483647   233609     79 |  0.001 % |
643.42/643.79	c |    233919 |   97637   423110  1189984 | 2147483647   233918     79 |  0.001 % |
643.72/644.08	c |    234259 |   97637   423110  1189984 | 2147483647   234258     79 |  0.001 % |
644.72/645.00	c |    234632 |   97637   423110  1189984 | 2147483647   234631     79 |  0.001 % |
644.82/645.16	c |    235042 |   97637   423110  1189984 | 2147483647   235041     79 |  0.001 % |
645.72/646.07	c |    235491 |   97637   423110  1189984 | 2147483647   235490     79 |  0.001 % |
646.12/646.46	c |    235984 |   97637   423110  1189984 | 2147483647   235983     79 |  0.001 % |
646.53/646.85	c |    236527 |   97637   423110  1189984 | 2147483647   236526     79 |  0.001 % |
650.52/650.89	c |    237123 |   97637   423110  1189984 | 2147483647   237122     79 |  0.001 % |
650.72/651.06	c |    237779 |   97637   423110  1189984 | 2147483647   237778     79 |  0.001 % |
651.52/651.82	c |    238500 |   97637   423110  1189984 | 2147483647   238499     78 |  0.001 % |
666.92/667.25	c |    239293 |   97637   423110  1189984 | 2147483647   239292     78 |  0.001 % |
668.92/669.21	c |    240164 |   97637   423110  1189984 | 2147483647   240163     78 |  0.001 % |
671.11/671.46	c |    241122 |   97637   423110  1189984 | 2147483647   241121     78 |  0.001 % |
671.61/671.95	c |    242175 |   97637   423110  1189984 | 2147483647   242174     78 |  0.001 % |
678.41/678.72	c |    243341 |   97637   423110  1189984 | 2147483647   243340     78 |  0.001 % |
679.41/679.75	c |    244614 |   97637   423110  1189984 | 2147483647   244613     78 |  0.001 % |
679.81/680.16	c |    246015 |   97637   423110  1189984 | 2147483647   246014     78 |  0.001 % |
686.11/686.44	c |    247555 |   97637   423110  1189984 | 2147483647   247554     78 |  0.001 % |
738.29/738.60	c |    249250 |   97637   423110  1189984 | 2147483647   249249     79 |  0.001 % |
753.39/753.78	c |    251113 |   97637   423110  1189984 | 2147483647   251112     81 |  0.001 % |
812.27/812.63	c |    253163 |   97637   423110  1189984 | 2147483647   253162     82 |  0.001 % |
893.85/894.27	c |    255416 |   97637   423110  1189984 | 2147483647   255415     87 |  0.001 % |
906.35/906.78	c |    257894 |   97637   423110  1189984 | 2147483647   257893     87 |  0.001 % |
906.35/906.79	c |    257994 |   97637   423110  1189984 | 2147483647   257993     87 |  0.001 % |
906.45/906.84	c |    258106 |   97637   423110  1189984 | 2147483647   258105     87 |  0.001 % |
906.55/906.91	c |    258227 |   97637   423110  1189984 | 2147483647   258226     87 |  0.001 % |
906.65/907.02	c |    258365 |   97637   423110  1189984 | 2147483647   258364     87 |  0.001 % |
906.75/907.15	c |    258512 |   97637   423110  1189984 | 2147483647   258511     87 |  0.001 % |
907.95/908.36	c |    258676 |   97637   423110  1189984 | 2147483647   258675     87 |  0.001 % |
910.75/911.17	c |    258852 |   97637   423110  1189984 | 2147483647   258851     87 |  0.001 % |
916.35/916.72	c |    259051 |   97637   423110  1189984 | 2147483647   259050     87 |  0.001 % |
920.65/921.07	c |    259263 |   97637   423110  1189984 | 2147483647   259262     87 |  0.001 % |
921.05/921.43	c |    259497 |   97637   423110  1189984 | 2147483647   259496     87 |  0.001 % |
921.75/922.17	c |    259754 |   97637   423110  1189984 | 2147483647   259753     87 |  0.001 % |
922.45/922.90	c |    260035 |   97637   423110  1189984 | 2147483647   260034     87 |  0.001 % |
923.14/923.59	c |    260345 |   97637   423110  1189984 | 2147483647   260344     87 |  0.001 % |
923.55/923.92	c |    260684 |   97637   423110  1189984 | 2147483647   260683     87 |  0.001 % |
924.54/924.98	c |    261057 |   97637   423110  1189984 | 2147483647   261056     87 |  0.001 % |
925.14/925.55	c |    261466 |   97637   423110  1189984 | 2147483647   261465     87 |  0.001 % |
925.74/926.19	c |    261916 |   97637   423110  1189984 | 2147483647   261915     87 |  0.001 % |
926.94/927.30	c |    262409 |   97637   423110  1189984 | 2147483647   262408     87 |  0.001 % |
928.24/928.64	c |    262952 |   97637   423110  1189984 | 2147483647   262951     87 |  0.001 % |
929.84/930.21	c |    263549 |   97637   423110  1189984 | 2147483647   263548     87 |  0.001 % |
930.44/930.86	c |    264204 |   97637   423110  1189984 | 2147483647   264203     87 |  0.001 % |
930.94/931.35	c |    264925 |   97637   423110  1189984 | 2147483647   264924     87 |  0.001 % |
931.54/931.91	c |    265719 |   97637   423110  1189984 | 2147483647   265718     87 |  0.001 % |
932.44/932.80	c |    266590 |   97637   423110  1189984 | 2147483647   266589     87 |  0.001 % |
933.55/933.97	c |    267548 |   97637   423110  1189984 | 2147483647   267547     87 |  0.001 % |
935.14/935.58	c |    268601 |   97637   423110  1189984 | 2147483647   268600     87 |  0.001 % |
936.24/936.68	c |    269760 |   97637   423110  1189984 | 2147483647   269759     86 |  0.001 % |
937.34/937.76	c |    271035 |   97637   423110  1189984 | 2147483647   271034     86 |  0.001 % |
943.93/944.30	c |    272435 |   97637   423110  1189984 | 2147483647   272434     87 |  0.001 % |
947.93/948.34	c |    273976 |   97637   423110  1189984 | 2147483647   273975     87 |  0.001 % |
948.84/949.21	c |    275670 |   97637   423110  1189984 | 2147483647   275669     87 |  0.001 % |
950.23/950.63	c |    277534 |   97637   423110  1189984 | 2147483647   277533     86 |  0.001 % |
955.33/955.70	c |    279583 |   97637   423110  1189984 | 2147483647   279582     86 |  0.001 % |
958.83/959.27	c |    281837 |   97637   423110  1189984 | 2147483647   281836     86 |  0.001 % |
967.83/968.25	c |    284316 |   97637   423110  1189984 | 2147483647   284315     86 |  0.001 % |
970.13/970.52	c |    287041 |   97637   423110  1189984 | 2147483647   287040     85 |  0.001 % |
970.83/971.22	c |    287141 |   97637   423110  1189984 | 2147483647   287140     85 |  0.001 % |
973.23/973.65	c |    287251 |   97637   423110  1189984 | 2147483647   287250     86 |  0.001 % |
973.63/974.02	c |    287374 |   97637   423110  1189984 | 2147483647   287373     86 |  0.001 % |
973.73/974.19	c |    287507 |   97637   423110  1189984 | 2147483647   287506     86 |  0.001 % |
975.23/975.65	c |    287654 |   97637   423110  1189984 | 2147483647   287653     86 |  0.001 % |
975.83/976.26	c |    287815 |   97637   423110  1189984 | 2147483647   287814     86 |  0.001 % |
975.83/976.29	c |    287991 |   97637   423110  1189984 | 2147483647   287990     86 |  0.001 % |
975.93/976.36	c |    288184 |   97637   423110  1189984 | 2147483647   288183     86 |  0.001 % |
976.23/976.60	c |    288398 |   97637   423110  1189984 | 2147483647   288397     86 |  0.001 % |
976.33/976.70	c |    288631 |   97637   423110  1189984 | 2147483647   288630     86 |  0.001 % |
976.53/976.96	c |    288887 |   97637   423110  1189984 | 2147483647   288886     86 |  0.001 % |
976.73/977.16	c |    289168 |   97637   423110  1189984 | 2147483647   289167     86 |  0.001 % |
977.13/977.50	c |    289478 |   97636   423104  1189969 | 2147483647   289475     85 |  0.002 % |
977.63/978.05	c |    289818 |   97636   423104  1189969 | 2147483647   289815     85 |  0.002 % |
977.93/978.30	c |    290192 |   97636   423104  1189969 | 2147483647   290189     85 |  0.002 % |
978.12/978.51	c |    290601 |   97636   423104  1189969 | 2147483647   290598     85 |  0.002 % |
978.22/978.68	c |    291051 |   97636   423104  1189969 | 2147483647   291048     85 |  0.002 % |
979.63/980.08	c |    291545 |   97636   423104  1189969 | 2147483647   291542     85 |  0.002 % |
980.73/981.11	c |    292087 |   97636   423104  1189969 | 2147483647   292084     85 |  0.002 % |
983.32/983.74	c |    292683 |   97636   423104  1189969 | 2147483647   292680     86 |  0.002 % |
984.42/984.83	c |    293338 |   97636   423104  1189969 | 2147483647   293335     86 |  0.002 % |
984.92/985.30	c |    294059 |   97636   423104  1189969 | 2147483647   294056     85 |  0.002 % |
987.02/987.48	c |    294852 |   97636   423104  1189969 | 2147483647   294849     85 |  0.002 % |
987.52/987.97	c |    295724 |   97636   423104  1189969 | 2147483647   295721     85 |  0.002 % |
989.22/989.62	c |    296682 |   97636   423104  1189969 | 2147483647   296679     85 |  0.002 % |
989.43/989.89	c |    297735 |   97636   423104  1189969 | 2147483647   297732     85 |  0.002 % |
990.22/990.69	c |    298893 |   97636   423104  1189969 | 2147483647   298890     85 |  0.002 % |
990.92/991.33	c |    300167 |   97636   423104  1189969 | 2147483647   300164     85 |  0.002 % |
993.42/993.80	c |    301569 |   97636   423104  1189969 | 2147483647   301566     85 |  0.002 % |
999.01/999.41	c |    303109 |   97636   423104  1189969 | 2147483647   303106     85 |  0.002 % |
1002.51/1002.92	c |    304805 |   97636   423104  1189969 | 2147483647   304802     85 |  0.002 % |
1003.71/1004.17	c |    306668 |   97636   423104  1189969 | 2147483647   306665     85 |  0.002 % |
1005.31/1005.79	c |    308717 |   97636   423104  1189969 | 2147483647   308714     85 |  0.002 % |
1006.91/1007.35	c |    310970 |   97636   423104  1189969 | 2147483647   310967     84 |  0.002 % |
1008.82/1009.20	c |    313449 |   97636   423104  1189969 | 2147483647   313446     84 |  0.002 % |
1011.92/1012.39	c |    316175 |   97636   423104  1189969 | 2147483647   316172     84 |  0.002 % |
1015.32/1015.70	c |    319172 |   97636   423104  1189969 | 2147483647   319169     83 |  0.002 % |
1015.52/1015.99	c |    319272 |   97636   423104  1189969 | 2147483647   319269     83 |  0.002 % |
1016.21/1016.68	c |    319383 |   97636   423104  1189969 | 2147483647   319380     83 |  0.002 % |
1016.41/1016.88	c |    319504 |   97636   423104  1189969 | 2147483647   319501     83 |  0.002 % |
1017.81/1018.28	c |    319637 |   97636   423104  1189969 | 2147483647   319634     83 |  0.002 % |
1018.01/1018.48	c |    319783 |   97636   423104  1189969 | 2147483647   319780     83 |  0.002 % |
1018.11/1018.53	c |    319943 |   97636   423104  1189969 | 2147483647   319940     83 |  0.002 % |
1019.01/1019.45	c |    320123 |   97636   423104  1189969 | 2147483647   320120     83 |  0.002 % |
1019.21/1019.66	c |    320316 |   97636   423104  1189969 | 2147483647   320313     83 |  0.002 % |
1019.51/1019.90	c |    320529 |   97636   423104  1189969 | 2147483647   320526     83 |  0.002 % |
1020.71/1021.13	c |    320762 |   97636   423104  1189969 | 2147483647   320759     83 |  0.002 % |
1020.91/1021.33	c |    321018 |   97636   423104  1189969 | 2147483647   321015     83 |  0.002 % |
1022.21/1022.61	c |    321300 |   97636   423104  1189969 | 2147483647   321297     83 |  0.002 % |
1022.21/1022.69	c |    321609 |   97636   423104  1189969 | 2147483647   321606     83 |  0.002 % |
1022.51/1022.97	c |    321948 |   97636   423104  1189969 | 2147483647   321945     83 |  0.002 % |
1022.71/1023.17	c |    322320 |   97636   423104  1189969 | 2147483647   322317     83 |  0.002 % |
1023.01/1023.46	c |    322729 |   97636   423104  1189969 | 2147483647   322726     83 |  0.002 % |
1023.61/1024.07	c |    323179 |   97636   423104  1189969 | 2147483647   323176     83 |  0.002 % |
1026.51/1026.99	c |    323672 |   97636   423104  1189969 | 2147483647   323669     83 |  0.002 % |
1026.91/1027.38	c |    324214 |   97636   423104  1189969 | 2147483647   324211     83 |  0.002 % |
1027.40/1027.85	c |    324810 |   97636   423104  1189969 | 2147483647   324807     83 |  0.002 % |
1028.11/1028.58	c |    325465 |   97636   423104  1189969 | 2147483647   325462     83 |  0.002 % |
1028.70/1029.10	c |    326185 |   97636   423104  1189969 | 2147483647   326182     82 |  0.002 % |
1029.70/1030.10	c |    326977 |   97636   423104  1189969 | 2147483647   326974     82 |  0.002 % |
1032.00/1032.42	c |    327851 |   97636   423104  1189969 | 2147483647   327848     82 |  0.002 % |
1032.61/1033.06	c |    328810 |   97636   423104  1189969 | 2147483647   328807     82 |  0.002 % |
1033.40/1033.89	c |    329864 |   97636   423104  1189969 | 2147483647   329861     82 |  0.002 % |
1035.10/1035.54	c |    331022 |   97636   423104  1189969 | 2147483647   331019     82 |  0.002 % |
1051.60/1052.02	c |    332295 |   97636   423104  1189969 | 2147483647   332292     82 |  0.002 % |
1055.79/1056.20	c |    333696 |   97636   423104  1189969 | 2147483647   333693     83 |  0.002 % |
1057.89/1058.34	c |    335237 |   97636   423104  1189969 | 2147483647   335234     82 |  0.002 % |
1060.30/1060.73	c |    336931 |   97636   423104  1189969 | 2147483647   336928     82 |  0.002 % |
1062.30/1062.73	c |    338794 |   97636   423104  1189969 | 2147483647   338791     82 |  0.002 % |
1064.49/1064.91	c |    340843 |   97636   423104  1189969 | 2147483647   340840     82 |  0.002 % |
1068.09/1068.50	c |    343097 |   97636   423104  1189969 | 2147483647   343094     81 |  0.002 % |
1078.79/1079.27	c |    345576 |   97636   423104  1189969 | 2147483647   345573     82 |  0.002 % |
1088.89/1089.37	c |    348303 |   97636   423104  1189969 | 2147483647   348300     82 |  0.002 % |
1091.19/1091.68	c |    351300 |   97636   423104  1189969 | 2147483647   351297     82 |  0.002 % |
1126.68/1127.14	c |    354596 |   97636   423104  1189969 | 2147483647   354593     84 |  0.002 % |
1127.27/1127.78	c |    354697 |   97636   423104  1189969 | 2147483647   354694     84 |  0.002 % |
1127.77/1128.27	c |    354807 |   97636   423104  1189969 | 2147483647   354804     84 |  0.002 % |
1127.97/1128.40	c |    354929 |   97636   423104  1189969 | 2147483647   354926     84 |  0.002 % |
1128.08/1128.59	c |    355062 |   97636   423104  1189969 | 2147483647   355059     84 |  0.002 % |
1129.37/1129.82	c |    355209 |   97636   423104  1189969 | 2147483647   355206     84 |  0.002 % |
1129.57/1130.01	c |    355370 |   97636   423104  1189969 | 2147483647   355367     84 |  0.002 % |
1129.67/1130.11	c |    355546 |   97636   423104  1189969 | 2147483647   355543     84 |  0.002 % |
1130.67/1131.10	c |    355739 |   97636   423104  1189969 | 2147483647   355736     84 |  0.002 % |
1130.77/1131.28	c |    355951 |   97636   423104  1189969 | 2147483647   355948     84 |  0.002 % |
1131.17/1131.63	c |    356186 |   97636   423104  1189969 | 2147483647   356183     84 |  0.002 % |
1131.37/1131.86	c |    356442 |   97636   423104  1189969 | 2147483647   356439     84 |  0.002 % |
1131.57/1132.02	c |    356723 |   97636   423104  1189969 | 2147483647   356720     84 |  0.002 % |
1131.67/1132.18	c |    357033 |   97636   423104  1189969 | 2147483647   357030     84 |  0.002 % |
1135.67/1136.15	c |    357374 |   97636   423104  1189969 | 2147483647   357371     84 |  0.002 % |
1136.67/1137.15	c |    357747 |   97636   423104  1189969 | 2147483647   357744     84 |  0.002 % |
1137.47/1137.92	c |    358156 |   97636   423104  1189969 | 2147483647   358153     84 |  0.002 % |
1137.87/1138.38	c |    358607 |   97636   423104  1189969 | 2147483647   358604     84 |  0.002 % |
1138.17/1138.62	c |    359100 |   97636   423104  1189969 | 2147483647   359097     84 |  0.002 % |
1138.57/1139.09	c |    359644 |   97636   423104  1189969 | 2147483647   359641     84 |  0.002 % |
1138.77/1139.28	c |    360240 |   97636   423104  1189969 | 2147483647   360237     84 |  0.002 % |
1138.87/1139.36	c |    360895 |   97636   423104  1189969 | 2147483647   360892     83 |  0.002 % |
1139.27/1139.78	c |    361616 |   97636   423104  1189969 | 2147483647   361613     83 |  0.002 % |
1140.47/1140.97	c |    362408 |   97636   423104  1189969 | 2147483647   362405     83 |  0.002 % |
1141.17/1141.67	c |    363280 |   97636   423104  1189969 | 2147483647   363277     83 |  0.002 % |
1141.67/1142.19	c |    364239 |   97636   423104  1189969 | 2147483647   364236     83 |  0.002 % |
1142.17/1142.62	c |    365292 |   97636   423104  1189969 | 2147483647   365289     83 |  0.002 % |
1143.17/1143.64	c |    366450 |   97636   423104  1189969 | 2147483647   366447     83 |  0.002 % |
1143.97/1144.49	c |    367724 |   97636   423104  1189969 | 2147483647   367721     82 |  0.002 % |
1145.17/1145.66	c |    369125 |   97636   423104  1189969 | 2147483647   369122     82 |  0.002 % |
1146.16/1146.64	c |    370666 |   97636   423104  1189969 | 2147483647   370663     82 |  0.002 % |
1147.77/1148.23	c |    372361 |   97636   423104  1189969 | 2147483647   372358     82 |  0.002 % |
1149.67/1150.12	c |    374225 |   97636   423104  1189969 | 2147483647   374222     81 |  0.002 % |
1152.27/1152.76	c |    376274 |   97636   423104  1189969 | 2147483647   376271     81 |  0.002 % |
1160.16/1160.61	c |    378529 |   97636   423104  1189969 | 2147483647   378526     82 |  0.002 % |
1182.96/1183.49	c |    381008 |   97636   423104  1189969 | 2147483647   381005     82 |  0.002 % |
1225.84/1226.33	c |    383733 |   97636   423104  1189969 | 2147483647   383730     83 |  0.002 % |
1232.74/1233.23	c |    386730 |   97636   423104  1189969 | 2147483647   386727     83 |  0.002 % |
1236.94/1237.41	c |    390026 |   97636   423104  1189969 | 2147483647   390023     83 |  0.002 % |
1281.33/1281.87	c |    393651 |   97636   423104  1189969 | 2147483647   393648     86 |  0.002 % |
1281.63/1282.19	c |    393751 |   97636   423104  1189969 | 2147483647   393748     86 |  0.002 % |
1281.73/1282.22	c |    393861 |   97636   423104  1189969 | 2147483647   393858     86 |  0.002 % |
1281.93/1282.44	c |    393983 |   97636   423104  1189969 | 2147483647   393980     86 |  0.002 % |
1284.13/1284.62	c |    394116 |   97636   423104  1189969 | 2147483647   394113     86 |  0.002 % |
1284.43/1284.91	c |    394262 |   97636   423104  1189969 | 2147483647   394259     86 |  0.002 % |
1284.63/1285.16	c |    394422 |   97636   423104  1189969 | 2147483647   394419     86 |  0.002 % |
1284.83/1285.34	c |    394599 |   97636   423104  1189969 | 2147483647   394596     86 |  0.002 % |
1286.63/1287.11	c |    394795 |   97636   423104  1189969 | 2147483647   394792     86 |  0.002 % |
1288.13/1288.61	c |    395008 |   97636   423104  1189969 | 2147483647   395005     86 |  0.002 % |
1290.73/1291.28	c |    395243 |   97636   423104  1189969 | 2147483647   395240     86 |  0.002 % |
1291.23/1291.77	c |    395501 |   97636   423104  1189969 | 2147483647   395498     86 |  0.002 % |
1294.32/1294.88	c |    395782 |   97636   423104  1189969 | 2147483647   395779     87 |  0.002 % |
1294.52/1295.08	c |    396091 |   97636   423104  1189969 | 2147483647   396088     87 |  0.002 % |
1295.23/1295.73	c |    396431 |   97636   423104  1189969 | 2147483647   396428     87 |  0.002 % |
1295.42/1295.96	c |    396803 |   97636   423104  1189969 | 2147483647   396800     86 |  0.002 % |
1295.92/1296.44	c |    397213 |   97636   423104  1189969 | 2147483647   397210     86 |  0.002 % |
1296.22/1296.80	c |    397662 |   97636   423104  1189969 | 2147483647   397659     86 |  0.002 % |
1297.02/1297.52	c |    398156 |   97636   423104  1189969 | 2147483647   398153     86 |  0.002 % |
1297.82/1298.32	c |    398698 |   97636   423104  1189969 | 2147483647   398695     86 |  0.002 % |
1298.52/1299.02	c |    399294 |   97636   423104  1189969 | 2147483647   399291     86 |  0.002 % |
1299.22/1299.77	c |    399950 |   97636   423104  1189969 | 2147483647   399947     86 |  0.002 % |
1299.72/1300.23	c |    400671 |   97636   423104  1189969 | 2147483647   400668     86 |  0.002 % |
1302.62/1303.10	c |    401463 |   97636   423104  1189969 | 2147483647   401460     86 |  0.002 % |
1304.91/1305.49	c |    402335 |   97636   423104  1189969 | 2147483647   402332     86 |  0.002 % |
1305.82/1306.32	c |    403293 |   97636   423104  1189969 | 2147483647   403290     86 |  0.002 % |
1306.92/1307.40	c |    404346 |   97636   423104  1189969 | 2147483647   404343     86 |  0.002 % |
1308.12/1308.60	c |    405505 |   97636   423104  1189969 | 2147483647   405502     86 |  0.002 % |
1320.71/1321.29	c |    406778 |   97636   423104  1189969 | 2147483647   406775     87 |  0.002 % |
1322.51/1323.08	c |    408178 |   97636   423104  1189969 | 2147483647   408175     87 |  0.002 % |
1328.91/1329.46	c |    409721 |   97636   423104  1189969 | 2147483647   409718     87 |  0.002 % |
1331.41/1332.00	c |    411416 |   97636   423104  1189969 | 2147483647   411413     87 |  0.002 % |
1336.91/1337.43	c |    413279 |   97636   423104  1189969 | 2147483647   413276     87 |  0.002 % |
1338.31/1338.82	c |    415329 |   97636   423104  1189969 | 2147483647   415326     87 |  0.002 % |
1342.31/1342.89	c |    417583 |   97636   423104  1189969 | 2147483647   417580     86 |  0.002 % |
1347.40/1347.96	c |    420061 |   97636   423104  1189969 | 2147483647   420058     86 |  0.002 % |
1352.11/1352.66	c |    422787 |   97636   423104  1189969 | 2147483647   422784     86 |  0.002 % |
1366.30/1366.80	c |    425785 |   97636   423104  1189969 | 2147483647   425782     87 |  0.002 % |
1370.90/1371.43	c |    429081 |   97636   423104  1189969 | 2147483647   429078     86 |  0.002 % |
1398.70/1399.26	c |    432707 |   97636   423104  1189969 | 2147483647   432704     86 |  0.002 % |
1417.29/1417.88	c |    436694 |   97636   423104  1189969 | 2147483647   436691     86 |  0.002 % |
1417.49/1418.09	c |    436794 |   97636   423104  1189969 | 2147483647   436791     86 |  0.002 % |
1417.69/1418.20	c |    436904 |   97636   423104  1189969 | 2147483647   436901     86 |  0.002 % |
1418.19/1418.76	c |    437025 |   97636   423104  1189969 | 2147483647   437022     86 |  0.002 % |
1419.69/1420.23	c |    437159 |   97636   423104  1189969 | 2147483647   437156     86 |  0.002 % |
1420.59/1421.11	c |    437307 |   97636   423104  1189969 | 2147483647   437304     86 |  0.002 % |
1420.59/1421.19	c |    437467 |   97636   423104  1189969 | 2147483647   437464     86 |  0.002 % |
1420.78/1421.32	c |    437643 |   97636   423104  1189969 | 2147483647   437640     86 |  0.002 % |
1420.88/1421.48	c |    437837 |   97636   423104  1189969 | 2147483647   437834     86 |  0.002 % |
1421.08/1421.66	c |    438049 |   97636   423104  1189969 | 2147483647   438046     86 |  0.002 % |
1421.48/1422.09	c |    438283 |   97636   423104  1189969 | 2147483647   438280     86 |  0.002 % |
1421.88/1422.45	c |    438540 |   97636   423104  1189969 | 2147483647   438537     86 |  0.002 % |
1423.89/1424.47	c |    438826 |   97636   423104  1189969 | 2147483647   438823     86 |  0.002 % |
1424.88/1425.43	c |    439135 |   97636   423104  1189969 | 2147483647   439132     86 |  0.002 % |
1425.78/1426.35	c |    439475 |   97636   423104  1189969 | 2147483647   439472     86 |  0.002 % |
1426.68/1427.21	c |    439848 |   97636   423104  1189969 | 2147483647   439845     86 |  0.002 % |
1427.18/1427.77	c |    440257 |   97636   423104  1189969 | 2147483647   440254     86 |  0.002 % |
1427.78/1428.30	c |    440706 |   97636   423104  1189969 | 2147483647   440703     86 |  0.002 % |
1428.28/1428.88	c |    441200 |   97636   423104  1189969 | 2147483647   441197     86 |  0.002 % |
1428.78/1429.32	c |    441742 |   97636   423104  1189969 | 2147483647   441739     86 |  0.002 % |
1429.78/1430.31	c |    442338 |   97636   423104  1189969 | 2147483647   442335     86 |  0.002 % |
1430.98/1431.50	c |    442994 |   97636   423104  1189969 | 2147483647   442991     86 |  0.002 % |
1431.18/1431.72	c |    443717 |   97636   423104  1189969 | 2147483647   443714     86 |  0.002 % |
1432.28/1432.88	c |    444509 |   97636   423104  1189969 | 2147483647   444506     86 |  0.002 % |
1440.18/1440.77	c |    445380 |   97636   423104  1189969 | 2147483647   445377     86 |  0.002 % |
1451.38/1451.90	c |    446340 |   97636   423104  1189969 | 2147483647   446337     87 |  0.002 % |
1471.47/1472.05	c |    447393 |   97636   423104  1189969 | 2147483647   447390     88 |  0.002 % |
1477.97/1478.54	c |    448552 |   97636   423104  1189969 | 2147483647   448549     88 |  0.002 % |
1501.87/1502.48	c |    449826 |   97636   423104  1189969 | 2147483647   449823     90 |  0.002 % |
1504.17/1504.75	c |    451226 |   97636   423104  1189969 | 2147483647   451223     90 |  0.002 % |
1505.37/1505.99	c |    452768 |   97636   423104  1189969 | 2147483647   452765     90 |  0.002 % |
1506.16/1506.73	c |    454462 |   97636   423104  1189969 | 2147483647   454459     90 |  0.002 % |
1508.06/1508.60	c |    456326 |   97636   423104  1189969 | 2147483647   456323     89 |  0.002 % |
1510.06/1510.68	c |    458377 |   97636   423104  1189969 | 2147483647   458374     89 |  0.002 % |
1524.15/1524.74	c |    460630 |   97636   423104  1189969 | 2147483647   460627     89 |  0.002 % |
1528.55/1529.14	c |    463109 |   97636   423104  1189969 | 2147483647   463106     89 |  0.002 % |
1531.56/1532.12	c |    465834 |   97636   423104  1189969 | 2147483647   465831     89 |  0.002 % |
1535.95/1536.54	c |    468832 |   97636   423104  1189969 | 2147483647   468829     89 |  0.002 % |
1542.55/1543.18	c |    472128 |   97636   423104  1189969 | 2147483647   472125     89 |  0.002 % |
1546.15/1546.72	c |    475754 |   97636   423104  1189969 | 2147483647   475751     88 |  0.002 % |
1554.44/1555.05	c |    479742 |   97636   423104  1189969 | 2147483647   479739     88 |  0.002 % |
1562.84/1563.47	c |    484127 |   97636   423104  1189969 | 2147483647   484124     88 |  0.002 % |
1563.14/1563.71	c |    484229 |   97636   423104  1189969 | 2147483647   484226     88 |  0.002 % |
1563.55/1564.16	c |    484340 |   97636   423104  1189969 | 2147483647   484337     88 |  0.002 % |
1563.75/1564.31	c |    484468 |   97636   423104  1189969 | 2147483647   484465     88 |  0.002 % |
1564.05/1564.63	c |    484603 |   97636   423104  1189969 | 2147483647   484600     88 |  0.002 % |
1564.25/1564.86	c |    484749 |   97636   423104  1189969 | 2147483647   484746     88 |  0.002 % |
1564.45/1565.06	c |    484909 |   97636   423104  1189969 | 2147483647   484906     88 |  0.002 % |
1564.75/1565.32	c |    485086 |   97636   423104  1189969 | 2147483647   485083     88 |  0.002 % |
1566.45/1567.06	c |    485280 |   97636   423104  1189969 | 2147483647   485277     88 |  0.002 % |
1567.05/1567.61	c |    485492 |   97636   423104  1189969 | 2147483647   485489     88 |  0.002 % |
1567.25/1567.83	c |    485725 |   97636   423104  1189969 | 2147483647   485722     88 |  0.002 % |
1567.45/1568.04	c |    485981 |   97636   423104  1189969 | 2147483647   485978     88 |  0.002 % |
1567.65/1568.25	c |    486262 |   97636   423104  1189969 | 2147483647   486259     88 |  0.002 % |
1568.05/1568.61	c |    486571 |   97636   423104  1189969 | 2147483647   486568     88 |  0.002 % |
1574.74/1575.38	c |    486910 |   97636   423104  1189969 | 2147483647   486907     88 |  0.002 % |
1577.84/1578.42	c |    487283 |   97636   423104  1189969 | 2147483647   487280     88 |  0.002 % |
1579.14/1579.80	c |    487693 |   97636   423104  1189969 | 2147483647   487690     88 |  0.002 % |
1580.14/1580.77	c |    488143 |   97636   423104  1189969 | 2147483647   488140     88 |  0.002 % |
1580.34/1580.90	c |    488636 |   97636   423104  1189969 | 2147483647   488633     88 |  0.002 % |
1580.64/1581.27	c |    489179 |   97636   423104  1189969 | 2147483647   489176     88 |  0.002 % |
1581.44/1582.03	c |    489775 |   97636   423104  1189969 | 2147483647   489772     88 |  0.002 % |
1583.64/1584.27	c |    490430 |   97636   423104  1189969 | 2147483647   490427     88 |  0.002 % |
1585.44/1586.10	c |    491150 |   97636   423104  1189969 | 2147483647   491147     88 |  0.002 % |
1587.33/1587.95	c |    491942 |   97636   423104  1189969 | 2147483647   491939     88 |  0.002 % |
1589.43/1590.08	c |    492813 |   97636   423104  1189969 | 2147483647   492810     88 |  0.002 % |
1591.44/1592.00	c |    493771 |   97636   423104  1189969 | 2147483647   493768     88 |  0.002 % |
1592.64/1593.23	c |    494824 |   97636   423104  1189969 | 2147483647   494821     88 |  0.002 % |
1593.64/1594.22	c |    495982 |   97636   423104  1189969 | 2147483647   495979     88 |  0.002 % |
1599.13/1599.77	c |    497256 |   97636   423104  1189969 | 2147483647   497253     88 |  0.002 % |
1607.63/1608.28	c |    498656 |   97636   423104  1189969 | 2147483647   498653     88 |  0.002 % |
1609.43/1610.06	c |    500198 |   97636   423104  1189969 | 2147483647   500195     88 |  0.002 % |
1610.32/1610.98	c |    501892 |   97636   423104  1189969 | 2147483647   501889     87 |  0.002 % |
1611.32/1611.93	c |    503756 |   97636   423104  1189969 | 2147483647   503753     87 |  0.002 % |
1614.92/1615.52	c |    505805 |   97636   423104  1189969 | 2147483647   505802     87 |  0.002 % |
1616.03/1616.65	c |    508058 |   97636   423104  1189969 | 2147483647   508055     87 |  0.002 % |
1631.92/1632.56	c |    510536 |   97636   423104  1189969 | 2147483647   510533     87 |  0.002 % |
1657.41/1658.08	c |    513261 |   97636   423104  1189969 | 2147483647   513258     88 |  0.002 % |
1665.32/1665.99	c |    516258 |   97636   423104  1189969 | 2147483647   516255     88 |  0.002 % |
1670.51/1671.17	c |    519554 |   97636   423104  1189969 | 2147483647   519551     88 |  0.002 % |
1681.31/1681.95	c |    523179 |   97636   423104  1189969 | 2147483647   523176     89 |  0.002 % |
1688.20/1688.81	c |    527166 |   97636   423104  1189969 | 2147483647   527163     88 |  0.002 % |
1692.21/1692.83	c |    531551 |   97636   423104  1189969 | 2147483647   531548     88 |  0.002 % |
1704.70/1705.39	c |    536374 |   97636   423104  1189969 | 2147483647   536371     88 |  0.002 % |
1705.00/1705.64	c |    536475 |   97636   423104  1189969 | 2147483647   536472     88 |  0.002 % |
1705.70/1706.37	c |    536585 |   97636   423104  1189969 | 2147483647   536582     88 |  0.002 % |
1706.61/1707.23	c |    536707 |   97636   423104  1189969 | 2147483647   536704     88 |  0.002 % |
1707.10/1707.79	c |    536840 |   97636   423104  1189969 | 2147483647   536837     88 |  0.002 % |
1708.31/1708.99	c |    536987 |   97636   423104  1189969 | 2147483647   536984     88 |  0.002 % |
1708.81/1709.44	c |    537148 |   97636   423104  1189969 | 2147483647   537145     88 |  0.002 % |
1709.00/1709.70	c |    537324 |   97636   423104  1189969 | 2147483647   537321     88 |  0.002 % |
1709.30/1709.92	c |    537517 |   97636   423104  1189969 | 2147483647   537514     88 |  0.002 % |
1714.60/1715.28	c |    537729 |   97636   423104  1189969 | 2147483647   537726     88 |  0.002 % |
1715.70/1716.36	c |    537963 |   97636   423104  1189969 | 2147483647   537960     88 |  0.002 % |
1716.00/1716.64	c |    538219 |   97636   423104  1189969 | 2147483647   538216     88 |  0.002 % |
1717.00/1717.61	c |    538502 |   97636   423104  1189969 | 2147483647   538499     88 |  0.002 % |
1722.00/1722.61	c |    538811 |   97636   423104  1189969 | 2147483647   538808     88 |  0.002 % |
1728.60/1729.20	c |    539152 |   97636   423104  1189969 | 2147483647   539149     88 |  0.002 % |
1733.39/1734.08	c |    539525 |   97636   423104  1189969 | 2147483647   539522     88 |  0.002 % |
1736.29/1736.92	c |    539934 |   97636   423104  1189969 | 2147483647   539931     88 |  0.002 % |
1739.79/1740.44	c |    540385 |   97636   423104  1189969 | 2147483647   540382     88 |  0.002 % |
1742.19/1742.85	c |    540878 |   97636   423104  1189969 | 2147483647   540875     88 |  0.002 % |
1743.69/1744.32	c |    541420 |   97636   423104  1189969 | 2147483647   541417     88 |  0.002 % |
1745.69/1746.38	c |    542017 |   97636   423104  1189969 | 2147483647   542014     88 |  0.002 % |
1761.38/1762.00	c |    542674 |   97636   423104  1189969 | 2147483647   542671     89 |  0.002 % |
1775.39/1776.01	c |    543394 |   97636   423104  1189969 | 2147483647   543391     89 |  0.002 % |
1776.59/1777.26	c |    544189 |   97636   423104  1189969 | 2147483647   544186     89 |  0.002 % |
1777.79/1778.42	c |    545061 |   97636   423104  1189969 | 2147483647   545058     89 |  0.002 % |
1781.79/1782.48	c |    546021 |   97636   423104  1189969 | 2147483647   546018     89 |  0.002 % |
1797.47/1798.10	c |    547074 |   97636   423104  1189969 | 2147483647   547071     90 |  0.002 % |
1806.68/1807.31	c |    548233 |   97636   423104  1189969 | 2147483647   548230     90 |  0.002 % |
1810.58/1811.20	c |    549508 |   97636   423104  1189969 | 2147483647   549505     90 |  0.002 % |
1836.16/1836.87	c |    550909 |   97636   423104  1189969 | 2147483647   550906     90 |  0.002 % |
1872.16/1872.87	c |    552449 |   97636   423104  1189969 | 2147483647   552446     91 |  0.002 % |
1878.65/1879.38	c |    554143 |   97636   423104  1189969 | 2147483647   554140     91 |  0.002 % |
1882.46/1883.14	c |    556007 |   97636   423104  1189969 | 2147483647   556004     91 |  0.002 % |
1885.75/1886.48	c |    558058 |   97636   423104  1189969 | 2147483647   558055     91 |  0.002 % |
1890.35/1891.00	c |    560311 |   97636   423104  1189969 | 2147483647   560308     91 |  0.002 % |
1897.65/1898.38	c |    562791 |   97636   423104  1189969 | 2147483647   562788     91 |  0.002 % |
1898.15/1898.87	c |    565519 |   97636   423104  1189969 | 2147483647   565516     90 |  0.002 % |
1900.25/1900.99	c |    568517 |   97636   423104  1189969 | 2147483647   568514     90 |  0.002 % |
1913.05/1913.72	c |    571815 |   97636   423104  1189969 | 2147483647   571812     91 |  0.002 % |
1917.55/1918.27	c |    575440 |   97636   423104  1189969 | 2147483647   575437     91 |  0.002 % |
1921.55/1922.20	c |    579427 |   97636   423104  1189969 | 2147483647   579424     90 |  0.002 % |
1927.74/1928.40	c |    583813 |   97636   423104  1189969 | 2147483647   583810     90 |  0.002 % |
1929.94/1930.61	c |    588636 |   97636   423104  1189969 | 2147483647   588633     89 |  0.002 % |
1949.44/1950.13	c |    593941 |   97636   423104  1189969 | 2147483647   593938     89 |  0.002 % |
1949.64/1950.37	c |    594041 |   97636   423104  1189969 | 2147483647   594038     89 |  0.002 % |
1950.83/1951.51	c |    594152 |   97636   423104  1189969 | 2147483647   594149     89 |  0.002 % |
1951.03/1951.73	c |    594275 |   97636   423104  1189969 | 2147483647   594272     89 |  0.002 % |
1951.53/1952.24	c |    594408 |   97636   423104  1189969 | 2147483647   594405     89 |  0.002 % |
1951.93/1952.67	c |    594554 |   97636   423104  1189969 | 2147483647   594551     89 |  0.002 % |
1955.13/1955.87	c |    594714 |   97636   423104  1189969 | 2147483647   594711     89 |  0.002 % |
1956.33/1957.01	c |    594890 |   97636   423104  1189969 | 2147483647   594887     89 |  0.002 % |
1956.53/1957.23	c |    595083 |   97636   423104  1189969 | 2147483647   595080     89 |  0.002 % |
1958.03/1958.80	c |    595296 |   97636   423104  1189969 | 2147483647   595293     89 |  0.002 % |
1967.52/1968.26	c |    595529 |   97636   423104  1189969 | 2147483647   595526     89 |  0.002 % |
1971.92/1972.60	c |    595785 |   97636   423104  1189969 | 2147483647   595782     89 |  0.002 % |
1972.32/1973.07	c |    596067 |   97636   423104  1189969 | 2147483647   596064     89 |  0.002 % |
1974.02/1974.73	c |    596378 |   97636   423104  1189969 | 2147483647   596375     89 |  0.002 % |
1979.33/1980.09	c |    596718 |   97636   423104  1189969 | 2147483647   596715     89 |  0.002 % |
1980.33/1981.03	c |    597092 |   97636   423104  1189969 | 2147483647   597089     89 |  0.002 % |
1981.73/1982.40	c |    597503 |   97636   423104  1189969 | 2147483647   597500     90 |  0.002 % |
1990.63/1991.39	c |    597954 |   97636   423104  1189969 | 2147483647   597951     90 |  0.002 % |
2073.50/2074.22	c |    598448 |   97636   423104  1189969 | 2147483647   598445     90 |  0.002 % |
2077.90/2078.63	c |    598990 |   97636   423104  1189969 | 2147483647   598987     90 |  0.002 % |
2080.30/2081.00	c |    599586 |   97636   423104  1189969 | 2147483647   599583     90 |  0.002 % |
2091.49/2092.25	c |    600242 |   97636   423104  1189969 | 2147483647   600239     90 |  0.002 % |
2092.69/2093.48	c |    600962 |   97636   423104  1189969 | 2147483647   600959     90 |  0.002 % |
2094.80/2095.56	c |    601754 |   97636   423104  1189969 | 2147483647   601751     90 |  0.002 % |
2095.80/2096.57	c |    602625 |   97636   423104  1189969 | 2147483647   602622     90 |  0.002 % |
2097.30/2098.04	c |    603583 |   97636   423104  1189969 | 2147483647   603580     90 |  0.002 % |
2147.28/2148.04	c |    604636 |   97636   423104  1189969 | 2147483647   604633     91 |  0.002 % |
2150.27/2151.02	c |    605797 |   97636   423104  1189969 | 2147483647   605794     91 |  0.002 % |
2150.47/2151.27	c |    607071 |   97636   423104  1189969 | 2147483647   607068     91 |  0.002 % |
2159.47/2160.27	c |    608471 |   97636   423104  1189969 | 2147483647   608468     90 |  0.002 % |
2177.47/2178.24	c |    610011 |   97636   423104  1189969 | 2147483647   610008     91 |  0.002 % |
2179.67/2180.41	c |    611705 |   97636   423104  1189969 | 2147483647   611702     91 |  0.002 % |
2183.47/2184.26	c |    613569 |   97636   423104  1189969 | 2147483647   613566     90 |  0.002 % |
2187.57/2188.30	c |    615618 |   97636   423104  1189969 | 2147483647   615615     90 |  0.002 % |
2190.66/2191.45	c |    617872 |   97636   423104  1189969 | 2147483647   617869     90 |  0.002 % |
2194.36/2195.14	c |    620352 |   97636   423104  1189969 | 2147483647   620349     90 |  0.002 % |
2201.16/2201.94	c |    623077 |   97636   423104  1189969 | 2147483647   623074     90 |  0.002 % |
2207.56/2208.32	c |    626074 |   97636   423104  1189969 | 2147483647   626071     90 |  0.002 % |
2214.06/2214.85	c |    629371 |   97636   423104  1189969 | 2147483647   629368     90 |  0.002 % |
2223.16/2223.98	c |    632996 |   97636   423104  1189969 | 2147483647   632993     90 |  0.002 % |
2230.45/2231.29	c |    636984 |   97636   423104  1189969 | 2147483647   636981     90 |  0.002 % |
2241.85/2242.60	c |    641370 |   97636   423104  1189969 | 2147483647   641367     89 |  0.002 % |
2309.43/2310.26	c |    646194 |   97636   423104  1189969 | 2147483647   646191     90 |  0.002 % |
2320.43/2321.21	c |    651500 |   97636   423104  1189969 | 2147483647   651497     90 |  0.002 % |
2391.21/2392.03	c |    657336 |   97636   423104  1189969 | 2147483647   657333     93 |  0.002 % |
2391.41/2392.22	c |    657436 |   97636   423104  1189969 | 2147483647   657433     93 |  0.002 % |
2391.91/2392.79	c |    657547 |   97636   423104  1189969 | 2147483647   657544     93 |  0.002 % |
2392.51/2393.40	c |    657670 |   97636   423104  1189969 | 2147483647   657667     93 |  0.002 % |
2392.91/2393.77	c |    657804 |   97636   423104  1189969 | 2147483647   657801     93 |  0.002 % |
2393.41/2394.29	c |    657952 |   97636   423104  1189969 | 2147483647   657949     93 |  0.002 % |
2395.61/2396.46	c |    658112 |   97636   423104  1189969 | 2147483647   658109     93 |  0.002 % |
2396.51/2397.32	c |    658288 |   97636   423104  1189969 | 2147483647   658285     93 |  0.002 % |
2397.31/2398.20	c |    658481 |   97636   423104  1189969 | 2147483647   658478     93 |  0.002 % |
2399.91/2400.73	c |    658693 |   97636   423104  1189969 | 2147483647   658690     93 |  0.002 % |
2400.31/2401.16	c |    658926 |   97636   423104  1189969 | 2147483647   658923     93 |  0.002 % |
2400.41/2401.30	c |    659182 |   97636   423104  1189969 | 2147483647   659179     92 |  0.002 % |
2400.61/2401.49	c |    659464 |   97636   423104  1189969 | 2147483647   659461     92 |  0.002 % |
2400.81/2401.65	c |    659773 |   97636   423104  1189969 | 2147483647   659770     92 |  0.002 % |
2401.41/2402.29	c |    660112 |   97636   423104  1189969 | 2147483647   660109     92 |  0.002 % |
2402.30/2403.11	c |    660484 |   97636   423104  1189969 | 2147483647   660481     92 |  0.002 % |
2402.81/2403.68	c |    660893 |   97636   423104  1189969 | 2147483647   660890     92 |  0.002 % |
2405.81/2406.68	c |    661342 |   97636   423104  1189969 | 2147483647   661339     92 |  0.002 % |
2406.51/2407.34	c |    661835 |   97636   423104  1189969 | 2147483647   661832     92 |  0.002 % |
2416.11/2416.97	c |    662379 |   97636   423104  1189969 | 2147483647   662376     92 |  0.002 % |
2417.51/2418.36	c |    662975 |   97636   423104  1189969 | 2147483647   662972     92 |  0.002 % |
2418.21/2419.03	c |    663630 |   97636   423104  1189969 | 2147483647   663627     92 |  0.002 % |
2418.90/2419.75	c |    664350 |   97636   423104  1189969 | 2147483647   664347     92 |  0.002 % |
2420.10/2420.91	c |    665142 |   97636   423104  1189969 | 2147483647   665139     92 |  0.002 % |
2423.00/2423.90	c |    666013 |   97636   423104  1189969 | 2147483647   666010     92 |  0.002 % |
2426.70/2427.60	c |    666971 |   97636   423104  1189969 | 2147483647   666968     92 |  0.002 % |
2427.50/2428.33	c |    668026 |   97636   423104  1189969 | 2147483647   668023     92 |  0.002 % |
2429.30/2430.13	c |    669187 |   97636   423104  1189969 | 2147483647   669184     92 |  0.002 % |
2433.80/2434.67	c |    670461 |   97636   423104  1189969 | 2147483647   670458     92 |  0.002 % |
2435.20/2436.04	c |    671861 |   97636   423104  1189969 | 2147483647   671858     92 |  0.002 % |
2437.10/2437.98	c |    673401 |   97636   423104  1189969 | 2147483647   673398     92 |  0.002 % |
2448.40/2449.26	c |    675095 |   97636   423104  1189969 | 2147483647   675092     92 |  0.002 % |
2460.09/2460.96	c |    676958 |   97636   423104  1189969 | 2147483647   676955     92 |  0.002 % |
2462.99/2463.84	c |    679010 |   97636   423104  1189969 | 2147483647   679007     92 |  0.002 % |
2484.69/2485.50	c |    681263 |   97636   423104  1189969 | 2147483647   681260     93 |  0.002 % |
2491.88/2492.76	c |    683741 |   97636   423104  1189969 | 2147483647   683738     93 |  0.002 % |
2495.78/2496.70	c |    686466 |   97636   423104  1189969 | 2147483647   686463     92 |  0.002 % |
2499.98/2500.87	c |    689463 |   97636   423104  1189969 | 2147483647   689460     92 |  0.002 % |
2507.08/2507.94	c |    692759 |   97636   423104  1189969 | 2147483647   692756     92 |  0.002 % |
2519.57/2520.42	c |    696384 |   97636   423104  1189969 | 2147483647   696381     92 |  0.002 % |
2533.37/2534.27	c |    700371 |   97636   423104  1189969 | 2147483647   700368     92 |  0.002 % |
2537.88/2538.78	c |    704756 |   97636   423104  1189969 | 2147483647   704753     92 |  0.002 % |
2542.67/2543.50	c |    709579 |   97636   423104  1189969 | 2147483647   709576     91 |  0.002 % |
2549.16/2550.05	c |    714884 |   97636   423104  1189969 | 2147483647   714881     91 |  0.002 % |
2568.46/2569.38	c |    720719 |   97636   423104  1189969 | 2147483647   720716     91 |  0.002 % |
2591.95/2592.80	c |    727137 |   97636   423104  1189969 | 2147483647   727134     91 |  0.002 % |
2592.35/2593.20	c |    727239 |   97636   423104  1189969 | 2147483647   727236     91 |  0.002 % |
2592.55/2593.41	c |    727350 |   97636   423104  1189969 | 2147483647   727347     91 |  0.002 % |
2592.65/2593.55	c |    727471 |   97636   423104  1189969 | 2147483647   727468     91 |  0.002 % |
2592.95/2593.87	c |    727604 |   97636   423104  1189969 | 2147483647   727601     91 |  0.002 % |
2593.45/2594.31	c |    727750 |   97636   423104  1189969 | 2147483647   727747     91 |  0.002 % |
2593.75/2594.69	c |    727911 |   97636   423104  1189969 | 2147483647   727908     91 |  0.002 % |
2594.25/2595.18	c |    728088 |   97636   423104  1189969 | 2147483647   728085     91 |  0.002 % |
2597.45/2598.35	c |    728282 |   97636   423104  1189969 | 2147483647   728279     91 |  0.002 % |
2598.36/2599.26	c |    728494 |   97636   423104  1189969 | 2147483647   728491     91 |  0.002 % |
2599.95/2600.89	c |    728727 |   97636   423104  1189969 | 2147483647   728724     91 |  0.002 % |
2600.25/2601.12	c |    728984 |   97636   423104  1189969 | 2147483647   728981     91 |  0.002 % |
2600.56/2601.49	c |    729266 |   97636   423104  1189969 | 2147483647   729263     91 |  0.002 % |
2601.05/2601.97	c |    729575 |   97636   423104  1189969 | 2147483647   729572     91 |  0.002 % |
2605.75/2606.64	c |    729916 |   97636   423104  1189969 | 2147483647   729913     91 |  0.002 % |
2606.45/2607.36	c |    730288 |   97636   423104  1189969 | 2147483647   730285     91 |  0.002 % |
2607.05/2608.00	c |    730697 |   97636   423104  1189969 | 2147483647   730694     91 |  0.002 % |
2607.65/2608.50	c |    731146 |   97636   423104  1189969 | 2147483647   731143     91 |  0.002 % |
2608.85/2609.72	c |    731639 |   97636   423104  1189969 | 2147483647   731636     91 |  0.002 % |
2610.05/2610.97	c |    732181 |   97636   423104  1189969 | 2147483647   732178     91 |  0.002 % |
2611.65/2612.56	c |    732778 |   97636   423104  1189969 | 2147483647   732775     91 |  0.002 % |
2612.54/2613.44	c |    733433 |   97636   423104  1189969 | 2147483647   733430     91 |  0.002 % |
2613.34/2614.23	c |    734154 |   97636   423104  1189969 | 2147483647   734151     91 |  0.002 % |
2616.05/2616.96	c |    734946 |   97636   423104  1189969 | 2147483647   734943     91 |  0.002 % |
2616.84/2617.79	c |    735817 |   97636   423104  1189969 | 2147483647   735814     91 |  0.002 % |
2618.04/2618.97	c |    736777 |   97636   423104  1189969 | 2147483647   736774     91 |  0.002 % |
2621.45/2622.32	c |    737833 |   97636   423104  1189969 | 2147483647   737830     91 |  0.002 % |
2622.84/2623.73	c |    738992 |   97636   423104  1189969 | 2147483647   738989     91 |  0.002 % |
2627.34/2628.27	c |    740265 |   97636   423104  1189969 | 2147483647   740262     90 |  0.002 % |
2630.14/2631.08	c |    741665 |   97636   423104  1189969 | 2147483647   741662     90 |  0.002 % |
2633.44/2634.40	c |    743205 |   97636   423104  1189969 | 2147483647   743202     90 |  0.002 % |
2640.34/2641.29	c |    744900 |   97636   423104  1189969 | 2147483647   744897     90 |  0.002 % |
2645.03/2645.91	c |    746763 |   97636   423104  1189969 | 2147483647   746760     90 |  0.002 % |
2650.23/2651.16	c |    748812 |   97636   423104  1189969 | 2147483647   748809     90 |  0.002 % |
2651.23/2652.11	c |    751066 |   97636   423104  1189969 | 2147483647   751063     90 |  0.002 % |
2675.33/2676.26	c |    753544 |   97636   423104  1189969 | 2147483647   753541     90 |  0.002 % |
2829.09/2830.02	c |    756269 |   97636   423104  1189969 | 2147483647   756266     91 |  0.002 % |
2922.06/2923.02	c |    759266 |   97636   423104  1189969 | 2147483647   759263     92 |  0.002 % |
2927.56/2928.52	c |    762562 |   97636   423104  1189969 | 2147483647   762559     92 |  0.002 % |
2937.76/2938.73	c |    766188 |   97636   423104  1189969 | 2147483647   766185     92 |  0.002 % |
2943.15/2944.12	c |    770175 |   97636   423104  1189969 | 2147483647   770172     92 |  0.002 % |
2969.65/2970.68	c |    774561 |   97636   423104  1189969 | 2147483647   774558     92 |  0.002 % |
2994.84/2995.85	c |    779386 |   97636   423104  1189969 | 2147483647   779383     92 |  0.002 % |
3000.64/3001.67	c |    784691 |   97636   423104  1189969 | 2147483647   784688     92 |  0.002 % |
3009.24/3010.26	c |    790528 |   97636   423104  1189969 | 2147483647   790525     91 |  0.002 % |
3043.84/3044.88	c |    796946 |   97636   423104  1189969 | 2147483647   796943     92 |  0.002 % |
3064.82/3065.83	c |    804005 |   97636   423104  1189969 | 2147483647   804002     92 |  0.002 % |
3065.92/3066.94	c |    804108 |   97636   423104  1189969 | 2147483647   804105     92 |  0.002 % |
3066.72/3067.79	c |    804220 |   97636   423104  1189969 | 2147483647   804217     92 |  0.002 % |
3067.52/3068.50	c |    804344 |   97636   423104  1189969 | 2147483647   804341     92 |  0.002 % |
3069.72/3070.79	c |    804477 |   97636   423104  1189969 | 2147483647   804474     92 |  0.002 % |
3069.92/3070.98	c |    804624 |   97636   423104  1189969 | 2147483647   804621     92 |  0.002 % |
3070.02/3071.07	c |    804784 |   97636   423104  1189969 | 2147483647   804781     92 |  0.002 % |
3070.22/3071.22	c |    804960 |   97636   423104  1189969 | 2147483647   804957     92 |  0.002 % |
3070.32/3071.33	c |    805154 |   97636   423104  1189969 | 2147483647   805151     92 |  0.002 % |
3070.52/3071.53	c |    805367 |   97636   423104  1189969 | 2147483647   805364     92 |  0.002 % |
3070.82/3071.83	c |    805601 |   97636   423104  1189969 | 2147483647   805598     92 |  0.002 % |
3071.12/3072.16	c |    805861 |   97636   423104  1189969 | 2147483647   805858     92 |  0.002 % |
3072.22/3073.22	c |    806142 |   97636   423104  1189969 | 2147483647   806139     92 |  0.002 % |
3073.12/3074.18	c |    806451 |   97636   423104  1189969 | 2147483647   806448     92 |  0.002 % |
3073.92/3074.91	c |    806790 |   97636   423104  1189969 | 2147483647   806787     92 |  0.002 % |
3074.62/3075.64	c |    807163 |   97636   423104  1189969 | 2147483647   807160     92 |  0.002 % |
3075.72/3076.73	c |    807572 |   97636   423104  1189969 | 2147483647   807569     92 |  0.002 % |
3080.12/3081.18	c |    808023 |   97636   423104  1189969 | 2147483647   808020     92 |  0.002 % |
3102.91/3103.94	c |    808519 |   97636   423104  1189969 | 2147483647   808516     92 |  0.002 % |
3106.81/3107.85	c |    809061 |   97636   423104  1189969 | 2147483647   809058     92 |  0.002 % |
3108.31/3109.33	c |    809657 |   97636   423104  1189969 | 2147483647   809654     92 |  0.002 % |
3109.71/3110.72	c |    810312 |   97636   423104  1189969 | 2147483647   810309     92 |  0.002 % |
3118.41/3119.41	c |    811032 |   97636   423104  1189969 | 2147483647   811029     92 |  0.002 % |
3126.80/3127.86	c |    811827 |   97636   423104  1189969 | 2147483647   811824     92 |  0.002 % |
3128.41/3129.45	c |    812698 |   97636   423104  1189969 | 2147483647   812695     92 |  0.002 % |
3129.51/3130.58	c |    813657 |   97636   423104  1189969 | 2147483647   813654     92 |  0.002 % |
3131.00/3132.01	c |    814710 |   97636   423104  1189969 | 2147483647   814707     92 |  0.002 % |
3132.00/3133.07	c |    815870 |   97636   423104  1189969 | 2147483647   815867     92 |  0.002 % |
3134.60/3135.67	c |    817143 |   97636   423104  1189969 | 2147483647   817140     92 |  0.002 % |
3137.40/3138.48	c |    818544 |   97636   423104  1189969 | 2147483647   818541     91 |  0.002 % |
3139.60/3140.61	c |    820085 |   97636   423104  1189969 | 2147483647   820082     91 |  0.002 % |
3148.80/3149.86	c |    821780 |   97636   423104  1189969 | 2147483647   821777     92 |  0.002 % |
3150.90/3151.92	c |    823644 |   97636   423104  1189969 | 2147483647   823641     91 |  0.002 % |
3154.00/3155.04	c |    825693 |   97636   423104  1189969 | 2147483647   825690     91 |  0.002 % |
3166.69/3167.74	c |    827946 |   97636   423104  1189969 | 2147483647   827943     91 |  0.002 % |
3171.20/3172.30	c |    830424 |   97636   423104  1189969 | 2147483647   830421     91 |  0.002 % |
3182.09/3183.10	c |    833150 |   97636   423104  1189969 | 2147483647   833147     91 |  0.002 % |
3193.99/3195.09	c |    836147 |   97636   423104  1189969 | 2147483647   836144     91 |  0.002 % |
3204.08/3205.19	c |    839443 |   97636   423104  1189969 | 2147483647   839440     91 |  0.002 % |
3212.38/3213.43	c |    843068 |   97636   423104  1189969 | 2147483647   843065     91 |  0.002 % |
3385.24/3386.38	c |    847056 |   97636   423104  1189969 | 2147483647   847053     94 |  0.002 % |
3424.23/3425.39	c |    851442 |   97636   423104  1189969 | 2147483647   851439     95 |  0.002 % |
3442.02/3443.18	c |    856266 |   97636   423104  1189969 | 2147483647   856263     95 |  0.002 % |
3504.90/3506.00	c |    861572 |   97636   423104  1189969 | 2147483647   861569     95 |  0.002 % |
3563.28/3564.49	c |    867408 |   97636   423104  1189969 | 2147483647   867405     95 |  0.002 % |
3576.68/3577.85	c |    873829 |   97636   423104  1189969 | 2147483647   873826     95 |  0.002 % |
3587.77/3588.98	c |    880889 |   97636   423104  1189969 | 2147483647   880886     95 |  0.002 % |
3617.57/3618.70	c |    888653 |   97636   423104  1189969 | 2147483647   888650     95 |  0.002 % |
3618.17/3619.31	c |    888753 |   97636   423104  1189969 | 2147483647   888750     95 |  0.002 % |
3618.37/3619.57	c |    888863 |   97636   423104  1189969 | 2147483647   888860     95 |  0.002 % |
3618.57/3619.77	c |    888984 |   97636   423104  1189969 | 2147483647   888981     95 |  0.002 % |
3619.17/3620.37	c |    889117 |   97636   423104  1189969 | 2147483647   889114     95 |  0.002 % |
3619.47/3620.63	c |    889263 |   97636   423104  1189969 | 2147483647   889260     95 |  0.002 % |
3619.87/3621.08	c |    889423 |   97636   423104  1189969 | 2147483647   889420     95 |  0.002 % |
3620.17/3621.36	c |    889599 |   97636   423104  1189969 | 2147483647   889596     95 |  0.002 % |
3622.17/3623.35	c |    889793 |   97636   423104  1189969 | 2147483647   889790     95 |  0.002 % |
3622.37/3623.56	c |    890005 |   97636   423104  1189969 | 2147483647   890002     95 |  0.002 % |
3624.07/3625.28	c |    890241 |   97636   423104  1189969 | 2147483647   890238     95 |  0.002 % |
3625.87/3627.05	c |    890497 |   97636   423104  1189969 | 2147483647   890494     95 |  0.002 % |
3627.07/3628.24	c |    890778 |   97636   423104  1189969 | 2147483647   890775     95 |  0.002 % |
3628.07/3629.24	c |    891087 |   97636   423104  1189969 | 2147483647   891084     95 |  0.002 % |
3640.16/3641.35	c |    891429 |   97636   423104  1189969 | 2147483647   891426     95 |  0.002 % |
3664.75/3665.91	c |    891801 |   97636   423104  1189969 | 2147483647   891798     95 |  0.002 % |
3673.86/3675.01	c |    892210 |   97636   423104  1189969 | 2147483647   892207     95 |  0.002 % |
3676.75/3677.92	c |    892659 |   97636   423104  1189969 | 2147483647   892656     95 |  0.002 % |
3680.35/3681.57	c |    893153 |   97636   423104  1189969 | 2147483647   893150     95 |  0.002 % |
3680.85/3682.05	c |    893695 |   97636   423104  1189969 | 2147483647   893692     95 |  0.002 % |
3681.65/3682.80	c |    894292 |   97636   423104  1189969 | 2147483647   894289     95 |  0.002 % |
3684.95/3686.12	c |    894947 |   97636   423104  1189969 | 2147483647   894944     95 |  0.002 % |
3687.35/3688.59	c |    895669 |   97636   423104  1189969 | 2147483647   895666     95 |  0.002 % |
3688.55/3689.79	c |    896461 |   97636   423104  1189969 | 2147483647   896458     95 |  0.002 % |
3689.55/3690.73	c |    897332 |   97636   423104  1189969 | 2147483647   897329     94 |  0.002 % |
3690.54/3691.76	c |    898290 |   97636   423104  1189969 | 2147483647   898287     94 |  0.002 % |
3694.34/3695.55	c |    899344 |   97636   423104  1189969 | 2147483647   899341     94 |  0.002 % |
3696.34/3697.59	c |    900502 |   97636   423104  1189969 | 2147483647   900499     94 |  0.002 % |
3710.14/3711.33	c |    901776 |   97636   423104  1189969 | 2147483647   901773     94 |  0.002 % |
3721.34/3722.58	c |    903176 |   97636   423104  1189969 | 2147483647   903173     94 |  0.002 % |
3727.74/3728.96	c |    904716 |   97636   423104  1189969 | 2147483647   904713     94 |  0.002 % |
3730.63/3731.84	c |    906410 |   97636   423104  1189969 | 2147483647   906407     94 |  0.002 % |
3735.53/3736.73	c |    908274 |   97636   423104  1189969 | 2147483647   908271     94 |  0.002 % |
3739.73/3740.93	c |    910323 |   97636   423104  1189969 | 2147483647   910320     94 |  0.002 % |
3745.63/3746.85	c |    912576 |   97636   423104  1189969 | 2147483647   912573     94 |  0.002 % |
3769.33/3770.53	c |    915054 |   97636   423104  1189969 | 2147483647   915051     94 |  0.002 % |
3780.13/3781.40	c |    917780 |   97636   423104  1189969 | 2147483647   917777     94 |  0.002 % |
3790.43/3791.61	c |    920777 |   97636   423104  1189969 | 2147483647   920774     94 |  0.002 % |
3807.51/3808.77	c |    924074 |   97636   423104  1189969 | 2147483647   924071     94 |  0.002 % |
3883.20/3884.40	c |    927699 |   97636   423104  1189969 | 2147483647   927696     95 |  0.002 % |
3896.99/3898.23	c |    931686 |   97636   423104  1189969 | 2147483647   931683     95 |  0.002 % |
3982.27/3983.53	c |    936071 |   97636   423104  1189969 | 2147483647   936068     95 |  0.002 % |
4019.66/4020.96	c |    940895 |   97636   423104  1189969 | 2147483647   940892     96 |  0.002 % |
4038.65/4039.99	c |    946201 |   97636   423104  1189969 | 2147483647   946198     96 |  0.002 % |
4046.45/4047.71	c |    952036 |   97636   423104  1189969 | 2147483647   952033     96 |  0.002 % |
4067.25/4068.52	c |    958456 |   97636   423104  1189969 | 2147483647   958453     96 |  0.002 % |
4120.53/4121.81	c |    965516 |   97636   423104  1189969 | 2147483647   965513     96 |  0.002 % |
4170.62/4171.96	c |    973280 |   97636   423104  1189969 | 2147483647   973277     96 |  0.002 % |
4219.20/4220.60	c |    981820 |   97636   423104  1189969 | 2147483647   981817     96 |  0.002 % |
4219.40/4220.79	c |    981920 |   97636   423104  1189969 | 2147483647   981917     96 |  0.002 % |
4219.70/4221.04	c |    982030 |   97636   423104  1189969 | 2147483647   982027     96 |  0.002 % |
4222.00/4223.33	c |    982155 |   97636   423104  1189969 | 2147483647   982152     96 |  0.002 % |
4222.40/4223.79	c |    982288 |   97636   423104  1189969 | 2147483647   982285     96 |  0.002 % |
4223.20/4224.52	c |    982435 |   97636   423104  1189969 | 2147483647   982432     96 |  0.002 % |
4223.40/4224.74	c |    982595 |   97636   423104  1189969 | 2147483647   982592     96 |  0.002 % |
4229.21/4230.51	c |    982772 |   97636   423104  1189969 | 2147483647   982769     96 |  0.002 % |
4230.20/4231.54	c |    982965 |   97636   423104  1189969 | 2147483647   982962     96 |  0.002 % |
4232.29/4233.69	c |    983179 |   97636   423104  1189969 | 2147483647   983176     96 |  0.002 % |
4233.69/4235.09	c |    983412 |   97636   423104  1189969 | 2147483647   983409     96 |  0.002 % |
4234.89/4236.22	c |    983668 |   97636   423104  1189969 | 2147483647   983665     96 |  0.002 % |
4235.49/4236.90	c |    983949 |   97636   423104  1189969 | 2147483647   983946     96 |  0.002 % |
4236.19/4237.54	c |    984258 |   97636   423104  1189969 | 2147483647   984255     96 |  0.002 % |
4236.99/4238.31	c |    984597 |   97636   423104  1189969 | 2147483647   984594     96 |  0.002 % |
4237.69/4239.08	c |    984969 |   97636   423104  1189969 | 2147483647   984966     96 |  0.002 % |
4238.69/4240.06	c |    985379 |   97636   423104  1189969 | 2147483647   985376     96 |  0.002 % |
4239.29/4240.65	c |    985829 |   97636   423104  1189969 | 2147483647   985826     96 |  0.002 % |
4239.89/4241.23	c |    986322 |   97636   423104  1189969 | 2147483647   986319     96 |  0.002 % |
4240.29/4241.68	c |    986868 |   97636   423104  1189969 | 2147483647   986865     96 |  0.002 % |
4241.29/4242.67	c |    987466 |   97636   423104  1189969 | 2147483647   987463     96 |  0.002 % |
4242.78/4244.11	c |    988121 |   97636   423104  1189969 | 2147483647   988118     96 |  0.002 % |
4243.68/4245.08	c |    988841 |   97636   423104  1189969 | 2147483647   988838     96 |  0.002 % |
4244.19/4245.57	c |    989633 |   97636   423104  1189969 | 2147483647   989630     96 |  0.002 % |
4247.90/4249.27	c |    990504 |   97636   423104  1189969 | 2147483647   990501     96 |  0.002 % |
4252.49/4253.85	c |    991462 |   97636   423104  1189969 | 2147483647   991459     96 |  0.002 % |
4254.39/4255.70	c |    992516 |   97636   423104  1189969 | 2147483647   992513     96 |  0.002 % |
4282.18/4283.59	c |    993675 |   97636   423104  1189969 | 2147483647   993672     96 |  0.002 % |
4292.89/4294.37	c |    994948 |   97636   423104  1189969 | 2147483647   994945     96 |  0.002 % |
4297.67/4299.17	c |    996348 |   97636   423104  1189969 | 2147483647   996345     96 |  0.002 % |
4299.76/4301.27	c |    997890 |   97636   423104  1189969 | 2147483647   997887     96 |  0.002 % |
4304.65/4306.17	c |    999585 |   97636   423104  1189969 | 2147483647   999582     96 |  0.002 % |
4314.35/4315.87	c |   1001448 |   97636   423104  1189969 | 2147483647  1001445     96 |  0.002 % |
4316.95/4318.46	c |   1003497 |   97636   423104  1189969 | 2147483647  1003494     95 |  0.002 % |
4321.65/4323.11	c |   1005751 |   97636   423104  1189969 | 2147483647  1005748     95 |  0.002 % |
4325.45/4326.99	c |   1008229 |   97636   423104  1189969 | 2147483647  1008226     95 |  0.002 % |
4340.04/4341.51	c |   1010954 |   97636   423104  1189969 | 2147483647  1010951     95 |  0.002 % |
4354.64/4356.14	c |   1013951 |   97636   423104  1189969 | 2147483647  1013948     95 |  0.002 % |
4388.83/4390.34	c |   1017247 |   97636   423104  1189969 | 2147483647  1017244     95 |  0.002 % |
4391.43/4392.97	c |   1020875 |   97636   423104  1189969 | 2147483647  1020872     95 |  0.002 % |
4402.93/4404.47	c |   1024863 |   97636   423104  1189969 | 2147483647  1024860     95 |  0.002 % |
4415.42/4416.91	c |   1029248 |   97636   423104  1189969 | 2147483647  1029245     95 |  0.002 % |
4432.82/4434.37	c |   1034071 |   97636   423104  1189969 | 2147483647  1034068     94 |  0.002 % |
4456.61/4458.11	c |   1039376 |   97636   423104  1189969 | 2147483647  1039373     95 |  0.002 % |
4483.90/4485.48	c |   1045212 |   97636   423104  1189969 | 2147483647  1045209     95 |  0.002 % |
4496.20/4497.76	c |   1051631 |   97636   423104  1189969 | 2147483647  1051628     95 |  0.002 % |
4518.69/4520.23	c |   1058690 |   97636   423104  1189969 | 2147483647  1058687     95 |  0.002 % |
4540.88/4542.49	c |   1066456 |   97636   423104  1189969 | 2147483647  1066453     95 |  0.002 % |
4567.68/4569.26	c |   1074997 |   97636   423104  1189969 | 2147483647  1074994     95 |  0.002 % |
4590.98/4592.52	c |   1084391 |   97636   423104  1189969 | 2147483647  1084388     94 |  0.002 % |
4591.47/4593.02	c |   1084491 |   97636   423104  1189969 | 2147483647  1084488     94 |  0.002 % |
4592.57/4594.16	c |   1084601 |   97636   423104  1189969 | 2147483647  1084598     94 |  0.002 % |
4592.97/4594.57	c |   1084722 |   97636   423104  1189969 | 2147483647  1084719     94 |  0.002 % |
4593.37/4594.92	c |   1084855 |   97636   423104  1189969 | 2147483647  1084852     94 |  0.002 % |
4594.47/4596.03	c |   1085001 |   97636   423104  1189969 | 2147483647  1084998     94 |  0.002 % |
4596.87/4598.47	c |   1085161 |   97636   423104  1189969 | 2147483647  1085158     94 |  0.002 % |
4597.67/4599.26	c |   1085337 |   97636   423104  1189969 | 2147483647  1085334     94 |  0.002 % |
4598.67/4600.21	c |   1085531 |   97636   423104  1189969 | 2147483647  1085528     94 |  0.002 % |
4600.17/4601.76	c |   1085744 |   97636   423104  1189969 | 2147483647  1085741     94 |  0.002 % |
4601.87/4603.45	c |   1085977 |   97636   423104  1189969 | 2147483647  1085974     94 |  0.002 % |
4603.66/4605.24	c |   1086234 |   97636   423104  1189969 | 2147483647  1086231     94 |  0.002 % |
4604.07/4605.67	c |   1086515 |   97636   423104  1189969 | 2147483647  1086512     94 |  0.002 % |
4607.26/4608.81	c |   1086825 |   97636   423104  1189969 | 2147483647  1086822     94 |  0.002 % |
4614.46/4616.05	c |   1087164 |   97636   423104  1189969 | 2147483647  1087161     94 |  0.002 % |
4615.76/4617.36	c |   1087536 |   97636   423104  1189969 | 2147483647  1087533     94 |  0.002 % |
4627.17/4628.71	c |   1087947 |   97636   423104  1189969 | 2147483647  1087944     95 |  0.002 % |
4641.66/4643.29	c |   1088397 |   97636   423104  1189969 | 2147483647  1088394     95 |  0.002 % |
4655.45/4657.04	c |   1088891 |   97636   423104  1189969 | 2147483647  1088888     95 |  0.002 % |
4659.95/4661.53	c |   1089434 |   97636   423104  1189969 | 2147483647  1089431     95 |  0.002 % |
4662.35/4663.91	c |   1090030 |   97636   423104  1189969 | 2147483647  1090027     95 |  0.002 % |
4678.35/4679.93	c |   1090686 |   97636   423104  1189969 | 2147483647  1090683     95 |  0.002 % |
4684.94/4686.50	c |   1091408 |   97636   423104  1189969 | 2147483647  1091405     95 |  0.002 % |
4689.54/4691.11	c |   1092200 |   97636   423104  1189969 | 2147483647  1092197     95 |  0.002 % |
4690.84/4692.47	c |   1093073 |   97636   423104  1189969 | 2147483647  1093070     95 |  0.002 % |
4696.44/4698.10	c |   1094031 |   97636   423104  1189969 | 2147483647  1094028     95 |  0.002 % |
4715.34/4716.95	c |   1095086 |   97636   423104  1189969 | 2147483647  1095083     95 |  0.002 % |
4742.13/4743.71	c |   1096249 |   97636   423104  1189969 | 2147483647  1096246     96 |  0.002 % |
4756.62/4758.26	c |   1097522 |   97636   423104  1189969 | 2147483647  1097519     96 |  0.002 % |
4761.52/4763.14	c |   1098922 |   97636   423104  1189969 | 2147483647  1098919     96 |  0.002 % |
4763.92/4765.54	c |   1100463 |   97636   423104  1189969 | 2147483647  1100460     96 |  0.002 % |
4771.92/4773.53	c |   1102158 |   97636   423104  1189969 | 2147483647  1102155     96 |  0.002 % |
4778.61/4780.29	c |   1104021 |   97636   423104  1189969 | 2147483647  1104018     96 |  0.002 % |
4833.80/4835.47	c |   1106072 |   97636   423104  1189969 | 2147483647  1106069     97 |  0.002 % |
4844.70/4846.31	c |   1108325 |   97636   423104  1189969 | 2147483647  1108322     97 |  0.002 % |
4848.90/4850.57	c |   1110804 |   97636   423104  1189969 | 2147483647  1110801     97 |  0.002 % |
4854.59/4856.22	c |   1113530 |   97636   423104  1189969 | 2147483647  1113527     97 |  0.002 % |
4927.97/4929.60	c |   1116528 |   97636   423104  1189969 | 2147483647  1116525     97 |  0.002 % |
4939.67/4941.33	c |   1119825 |   97636   423104  1189969 | 2147483647  1119822     97 |  0.002 % |
4947.07/4948.80	c |   1123450 |   97636   423104  1189969 | 2147483647  1123447     97 |  0.002 % |
4968.47/4970.18	c |   1127438 |   97636   423104  1189969 | 2147483647  1127435     97 |  0.002 % |
4976.87/4978.53	c |   1131824 |   97636   423104  1189969 | 2147483647  1131821     97 |  0.002 % |
4993.06/4994.74	c |   1136648 |   97636   423104  1189969 | 2147483647  1136645     97 |  0.002 % |
5002.26/5003.95	c |   1141955 |   97636   423104  1189969 | 2147483647  1141952     97 |  0.002 % |
5028.45/5030.12	c |   1147790 |   97636   423104  1189969 | 2147483647  1147787     97 |  0.002 % |
5045.25/5046.91	c |   1154208 |   97636   423104  1189969 | 2147483647  1154205     96 |  0.002 % |
5055.05/5056.73	c |   1161267 |   97636   423104  1189969 | 2147483647  1161264     96 |  0.002 % |
5077.44/5079.15	c |   1169032 |   97636   423104  1189969 | 2147483647  1169029     96 |  0.002 % |
5135.52/5137.29	c |   1177572 |   97636   423104  1189969 | 2147483647  1177569     96 |  0.002 % |
5223.10/5224.88	c |   1186966 |   97636   423104  1189969 | 2147483647  1186963     96 |  0.002 % |
5249.29/5251.03	c |   1197299 |   97636   423104  1189969 | 2147483647  1197296     96 |  0.002 % |
5249.60/5251.37	c |   1197401 |   97636   423104  1189969 | 2147483647  1197398     96 |  0.002 % |
5250.09/5251.81	c |   1197511 |   97636   423104  1189969 | 2147483647  1197508     96 |  0.002 % |
5255.59/5257.31	c |   1197632 |   97636   423104  1189969 | 2147483647  1197629     96 |  0.002 % |
5256.79/5258.54	c |   1197765 |   97636   423104  1189969 | 2147483647  1197762     96 |  0.002 % |
5257.29/5259.04	c |   1197911 |   97636   423104  1189969 | 2147483647  1197908     96 |  0.002 % |
5257.89/5259.60	c |   1198071 |   97636   423104  1189969 | 2147483647  1198068     96 |  0.002 % |
5265.29/5267.02	c |   1198247 |   97636   423104  1189969 | 2147483647  1198244     96 |  0.002 % |
5267.39/5269.18	c |   1198440 |   97636   423104  1189969 | 2147483647  1198437     96 |  0.002 % |
5277.68/5279.47	c |   1198653 |   97636   423104  1189969 | 2147483647  1198650     96 |  0.002 % |
5278.78/5280.54	c |   1198887 |   97636   423104  1189969 | 2147483647  1198884     96 |  0.002 % |
5281.08/5282.80	c |   1199145 |   97636   423104  1189969 | 2147483647  1199142     96 |  0.002 % |
5282.48/5284.27	c |   1199426 |   97636   423104  1189969 | 2147483647  1199423     96 |  0.002 % |
5283.98/5285.79	c |   1199736 |   97636   423104  1189969 | 2147483647  1199733     96 |  0.002 % |
5285.28/5287.08	c |   1200075 |   97636   423104  1189969 | 2147483647  1200072     96 |  0.002 % |
5290.88/5292.67	c |   1200448 |   97636   423104  1189969 | 2147483647  1200445     96 |  0.002 % |
5292.98/5294.75	c |   1200857 |   97636   423104  1189969 | 2147483647  1200854     96 |  0.002 % |
5294.68/5296.41	c |   1201313 |   97636   423104  1189969 | 2147483647  1201310     96 |  0.002 % |
5296.38/5298.16	c |   1201807 |   97636   423104  1189969 | 2147483647  1201804     96 |  0.002 % |
5299.48/5301.25	c |   1202350 |   97636   423104  1189969 | 2147483647  1202347     96 |  0.002 % |
5303.68/5305.42	c |   1202946 |   97636   423104  1189969 | 2147483647  1202943     96 |  0.002 % |
5304.28/5306.05	c |   1203601 |   97636   423104  1189969 | 2147483647  1203598     96 |  0.002 % |
5306.48/5308.21	c |   1204321 |   97636   423104  1189969 | 2147483647  1204318     96 |  0.002 % |
5310.08/5311.81	c |   1205113 |   97636   423104  1189969 | 2147483647  1205110     96 |  0.002 % |
5314.87/5316.66	c |   1205985 |   97636   423104  1189969 | 2147483647  1205982     96 |  0.002 % |
5318.87/5320.65	c |   1206945 |   97636   423104  1189969 | 2147483647  1206942     96 |  0.002 % |
5321.77/5323.55	c |   1207999 |   97636   423104  1189969 | 2147483647  1207996     96 |  0.002 % |
5325.07/5326.85	c |   1209158 |   97636   423104  1189969 | 2147483647  1209155     96 |  0.002 % |
5328.57/5330.32	c |   1210432 |   97636   423104  1189969 | 2147483647  1210429     96 |  0.002 % |
5333.46/5335.24	c |   1211833 |   97636   423104  1189969 | 2147483647  1211830     96 |  0.002 % |
5335.17/5336.98	c |   1213374 |   97636   423104  1189969 | 2147483647  1213371     96 |  0.002 % |
5338.87/5340.61	c |   1215068 |   97636   423104  1189969 | 2147483647  1215065     96 |  0.002 % |
5345.07/5346.82	c |   1216933 |   97636   423104  1189969 | 2147483647  1216930     96 |  0.002 % |
5354.36/5356.10	c |   1218982 |   97636   423104  1189969 | 2147483647  1218979     96 |  0.002 % |
5362.36/5364.13	c |   1221236 |   97636   423104  1189969 | 2147483647  1221233     96 |  0.002 % |
5365.06/5366.82	c |   1223714 |   97636   423104  1189969 | 2147483647  1223711     96 |  0.002 % |
5376.66/5378.43	c |   1226441 |   97636   423104  1189969 | 2147483647  1226438     96 |  0.002 % |
5382.85/5384.67	c |   1229441 |   97636   423104  1189969 | 2147483647  1229438     96 |  0.002 % |
5398.45/5400.29	c |   1232737 |   97636   423104  1189969 | 2147483647  1232734     96 |  0.002 % |
5400.55/5402.30	c |   1236363 |   97636   423104  1189969 | 2147483647  1236360     95 |  0.002 % |
5418.05/5419.89	c |   1240350 |   97636   423104  1189969 | 2147483647  1240347     95 |  0.002 % |
5421.04/5422.81	c |   1244735 |   97636   423104  1189969 | 2147483647  1244732     95 |  0.002 % |
5434.54/5436.33	c |   1249558 |   97636   423104  1189969 | 2147483647  1249555     95 |  0.002 % |
5458.83/5460.69	c |   1254866 |   97636   423104  1189969 | 2147483647  1254863     95 |  0.002 % |
5466.53/5468.38	c |   1260703 |   97636   423104  1189969 | 2147483647  1260700     95 |  0.002 % |
5492.63/5494.47	c |   1267122 |   97636   423104  1189969 | 2147483647  1267119     95 |  0.002 % |
5495.32/5497.19	c |   1274181 |   97636   423104  1189969 | 2147483647  1274178     95 |  0.002 % |
5510.32/5512.12	c |   1281945 |   97636   423104  1189969 | 2147483647  1281942     94 |  0.002 % |
5540.81/5542.67	c |   1290486 |   97636   423104  1189969 | 2147483647  1290483     95 |  0.002 % |
5582.81/5584.65	c |   1299880 |   97636   423104  1189969 | 2147483647  1299877     95 |  0.002 % |
5619.89/5621.77	c |   1310213 |   97636   423104  1189969 | 2147483647  1310210     94 |  0.002 % |
5632.48/5634.32	c |   1321579 |   97636   423104  1189969 | 2147483647  1321576     94 |  0.002 % |
5633.18/5635.07	c |   1321679 |   97636   423104  1189969 | 2147483647  1321676     94 |  0.002 % |
5634.68/5636.59	c |   1321789 |   97636   423104  1189969 | 2147483647  1321786     94 |  0.002 % |
5635.88/5637.79	c |   1321911 |   97636   423104  1189969 | 2147483647  1321908     94 |  0.002 % |
5648.08/5649.95	c |   1322044 |   97636   423104  1189969 | 2147483647  1322041     94 |  0.002 % |
5653.97/5655.80	c |   1322190 |   97636   423104  1189969 | 2147483647  1322187     94 |  0.002 % |
5659.97/5661.89	c |   1322352 |   97636   423104  1189969 | 2147483647  1322349     94 |  0.002 % |
5664.88/5666.76	c |   1322528 |   97636   423104  1189969 | 2147483647  1322525     94 |  0.002 % |
5672.08/5673.99	c |   1322724 |   97636   423104  1189969 | 2147483647  1322721     94 |  0.002 % |
5673.28/5675.13	c |   1322937 |   97636   423104  1189969 | 2147483647  1322934     94 |  0.002 % |
5673.78/5675.67	c |   1323170 |   97636   423104  1189969 | 2147483647  1323167     94 |  0.002 % |
5674.58/5676.44	c |   1323427 |   97636   423104  1189969 | 2147483647  1323424     94 |  0.002 % |
5675.18/5677.07	c |   1323710 |   97636   423104  1189969 | 2147483647  1323707     94 |  0.002 % |
5675.68/5677.59	c |   1324019 |   97636   423104  1189969 | 2147483647  1324016     94 |  0.002 % |
5681.17/5683.09	c |   1324360 |   97636   423104  1189969 | 2147483647  1324357     94 |  0.002 % |
5682.27/5684.18	c |   1324732 |   97636   423104  1189969 | 2147483647  1324729     94 |  0.002 % |
5685.47/5687.31	c |   1325142 |   97636   423104  1189969 | 2147483647  1325139     94 |  0.002 % |
5685.97/5687.85	c |   1325591 |   97636   423104  1189969 | 2147483647  1325588     94 |  0.002 % |
5694.16/5696.07	c |   1326087 |   97636   423104  1189969 | 2147483647  1326084     94 |  0.002 % |
5711.77/5713.62	c |   1326629 |   97636   423104  1189969 | 2147483647  1326626     94 |  0.002 % |
5718.86/5720.75	c |   1327225 |   97636   423104  1189969 | 2147483647  1327222     94 |  0.002 % |
5719.96/5721.86	c |   1327880 |   97636   423104  1189969 | 2147483647  1327877     94 |  0.002 % |
5722.66/5724.56	c |   1328601 |   97636   423104  1189969 | 2147483647  1328598     94 |  0.002 % |
5724.46/5726.38	c |   1329393 |   97636   423104  1189969 | 2147483647  1329390     94 |  0.002 % |
5729.76/5731.68	c |   1330264 |   97636   423104  1189969 | 2147483647  1330261     94 |  0.002 % |
5736.15/5738.06	c |   1331223 |   97636   423104  1189969 | 2147483647  1331220     94 |  0.002 % |
5744.75/5746.64	c |   1332276 |   97636   423104  1189969 | 2147483647  1332273     94 |  0.002 % |
5755.85/5757.71	c |   1333434 |   97636   423104  1189969 | 2147483647  1333431     94 |  0.002 % |
5758.95/5760.81	c |   1334707 |   97636   423104  1189969 | 2147483647  1334704     94 |  0.002 % |
5762.95/5764.87	c |   1336107 |   97636   423104  1189969 | 2147483647  1336104     94 |  0.002 % |
5767.94/5769.82	c |   1337647 |   97636   423104  1189969 | 2147483647  1337644     94 |  0.002 % |
5771.14/5773.08	c |   1339342 |   97636   423104  1189969 | 2147483647  1339339     94 |  0.002 % |
5776.74/5778.62	c |   1341206 |   97636   423104  1189969 | 2147483647  1341203     94 |  0.002 % |
5788.14/5790.09	c |   1343255 |   97636   423104  1189969 | 2147483647  1343252     94 |  0.002 % |
5793.14/5795.04	c |   1345508 |   97636   423104  1189969 | 2147483647  1345505     94 |  0.002 % |
5820.23/5822.10	c |   1347987 |   97636   423104  1189969 | 2147483647  1347984     94 |  0.002 % |
5842.62/5844.58	c |   1350712 |   97636   423104  1189969 | 2147483647  1350709     94 |  0.002 % |
5863.32/5865.21	c |   1353709 |   97636   423104  1189969 | 2147483647  1353706     94 |  0.002 % |
5884.12/5886.08	c |   1357006 |   97636   423104  1189969 | 2147483647  1357003     94 |  0.002 % |
5898.81/5900.74	c |   1360632 |   97636   423104  1189969 | 2147483647  1360629     94 |  0.002 % |
5908.81/5910.73	c |   1364619 |   97636   423104  1189969 | 2147483647  1364616     94 |  0.002 % |
5917.11/5919.10	c |   1369004 |   97636   423104  1189969 | 2147483647  1369001     94 |  0.002 % |
6074.67/6076.68	c |   1373827 |   97636   423104  1189969 | 2147483647  1373824     95 |  0.002 % |
6088.56/6090.60	c |   1379133 |   97636   423104  1189969 | 2147483647  1379130     95 |  0.002 % |
6103.46/6105.44	c |   1384969 |   97636   423104  1189969 | 2147483647  1384966     95 |  0.002 % |
6144.84/6146.83	c |   1391388 |   97636   423104  1189969 | 2147483647  1391385     94 |  0.002 % |
6161.13/6163.17	c |   1398447 |   97636   423104  1189969 | 2147483647  1398444     94 |  0.002 % |
6199.92/6201.97	c |   1406212 |   97636   423104  1189969 | 2147483647  1406209     94 |  0.002 % |
6276.00/6278.01	c |   1414752 |   97636   423104  1189969 | 2147483647  1414749     94 |  0.002 % |
6333.30/6335.35	c |   1424146 |   97636   423104  1189969 | 2147483647  1424143     94 |  0.002 % |
6399.67/6401.70	c |   1434481 |   97636   423104  1189969 | 2147483647  1434478     94 |  0.002 % |
6496.45/6498.51	c |   1445847 |   97636   423104  1189969 | 2147483647  1445844     95 |  0.002 % |
6555.63/6557.79	c |   1458349 |   97636   423104  1189969 | 2147483647  1458346     95 |  0.002 % |
6555.93/6558.01	c |   1458450 |   97636   423104  1189969 | 2147483647  1458447     95 |  0.002 % |
6555.93/6558.09	c |   1458560 |   97636   423104  1189969 | 2147483647  1458557     95 |  0.002 % |
6561.53/6563.64	c |   1458682 |   97636   423104  1189969 | 2147483647  1458679     95 |  0.002 % |
6563.83/6565.95	c |   1458815 |   97636   423104  1189969 | 2147483647  1458812     95 |  0.002 % |
6564.53/6566.66	c |   1458964 |   97636   423104  1189969 | 2147483647  1458961     95 |  0.002 % |
6566.93/6569.10	c |   1459124 |   97636   423104  1189969 | 2147483647  1459121     95 |  0.002 % |
6569.43/6571.54	c |   1459300 |   97636   423104  1189969 | 2147483647  1459297     95 |  0.002 % |
6570.43/6572.55	c |   1459493 |   97636   423104  1189969 | 2147483647  1459490     95 |  0.002 % |
6571.83/6573.92	c |   1459705 |   97636   423104  1189969 | 2147483647  1459702     95 |  0.002 % |
6572.13/6574.29	c |   1459938 |   97636   423104  1189969 | 2147483647  1459935     95 |  0.002 % |
6573.73/6575.82	c |   1460194 |   97636   423104  1189969 | 2147483647  1460191     95 |  0.002 % |
6574.22/6576.31	c |   1460478 |   97636   423104  1189969 | 2147483647  1460475     95 |  0.002 % |
6576.93/6579.04	c |   1460787 |   97636   423104  1189969 | 2147483647  1460784     95 |  0.002 % |
6579.92/6582.03	c |   1461126 |   97636   423104  1189969 | 2147483647  1461123     95 |  0.002 % |
6580.72/6582.83	c |   1461498 |   97636   423104  1189969 | 2147483647  1461495     95 |  0.002 % |
6583.32/6585.47	c |   1461908 |   97636   423104  1189969 | 2147483647  1461905     95 |  0.002 % |
6585.82/6588.00	c |   1462358 |   97636   423104  1189969 | 2147483647  1462355     95 |  0.002 % |
6588.42/6590.57	c |   1462851 |   97636   423104  1189969 | 2147483647  1462848     95 |  0.002 % |
6592.32/6594.42	c |   1463393 |   97636   423104  1189969 | 2147483647  1463390     95 |  0.002 % |
6594.41/6596.50	c |   1463989 |   97636   423104  1189969 | 2147483647  1463986     95 |  0.002 % |
6600.81/6602.95	c |   1464646 |   97636   423104  1189969 | 2147483647  1464643     95 |  0.002 % |
6604.81/6606.97	c |   1465366 |   97636   423104  1189969 | 2147483647  1465363     95 |  0.002 % |
6610.11/6612.21	c |   1466158 |   97636   423104  1189969 | 2147483647  1466155     95 |  0.002 % |
6611.21/6613.39	c |   1467031 |   97636   423104  1189969 | 2147483647  1467028     95 |  0.002 % |
6625.61/6627.74	c |   1467989 |   97636   423104  1189969 | 2147483647  1467986     95 |  0.002 % |
6633.01/6635.14	c |   1469042 |   97636   423104  1189969 | 2147483647  1469039     95 |  0.002 % |
6661.90/6664.07	c |   1470200 |   97636   423104  1189969 | 2147483647  1470197     95 |  0.002 % |
6671.79/6673.98	c |   1471474 |   97636   423104  1189969 | 2147483647  1471471     95 |  0.002 % |
6688.99/6691.15	c |   1472874 |   97636   423104  1189969 | 2147483647  1472871     95 |  0.002 % |
6694.69/6696.80	c |   1474415 |   97636   423104  1189969 | 2147483647  1474412     95 |  0.002 % |
6700.78/6702.92	c |   1476110 |   97636   423104  1189969 | 2147483647  1476107     95 |  0.002 % |
6714.59/6716.76	c |   1477975 |   97636   423104  1189969 | 2147483647  1477972     95 |  0.002 % |
6725.49/6727.68	c |   1480025 |   97636   423104  1189969 | 2147483647  1480022     95 |  0.002 % |
6746.28/6748.41	c |   1482280 |   97636   423104  1189969 | 2147483647  1482277     95 |  0.002 % |
6755.97/6758.14	c |   1484759 |   97636   423104  1189969 | 2147483647  1484756     95 |  0.002 % |
6767.18/6769.38	c |   1487485 |   97636   423104  1189969 | 2147483647  1487482     95 |  0.002 % |
6771.17/6773.39	c |   1490482 |   97636   423104  1189969 | 2147483647  1490479     95 |  0.002 % |
6772.67/6774.87	c |   1493779 |   97636   423104  1189969 | 2147483647  1493776     95 |  0.002 % |
6784.96/6787.12	c |   1497404 |   97636   423104  1189969 | 2147483647  1497401     95 |  0.002 % |
6794.46/6796.63	c |   1501392 |   97636   423104  1189969 | 2147483647  1501389     94 |  0.002 % |
6828.76/6830.97	c |   1505777 |   97636   423104  1189969 | 2147483647  1505774     95 |  0.002 % |
6847.45/6849.66	c |   1510600 |   97636   423104  1189969 | 2147483647  1510597     94 |  0.002 % |
6855.45/6857.61	c |   1515905 |   97636   423104  1189969 | 2147483647  1515902     94 |  0.002 % |
6935.13/6937.34	c |   1521744 |   97636   423104  1189969 | 2147483647  1521741     94 |  0.002 % |
6973.31/6975.58	c |   1528163 |   97636   423104  1189969 | 2147483647  1528160     94 |  0.002 % |
7007.31/7009.56	c |   1535222 |   97636   423104  1189969 | 2147483647  1535219     94 |  0.002 % |
7021.70/7023.97	c |   1542989 |   97636   423104  1189969 | 2147483647  1542986     94 |  0.002 % |
7083.69/7085.91	c |   1551529 |   97636   423104  1189969 |  1549997  1551526     94 |  0.002 % |
7284.53/7286.88	c |   1560924 |   97636   423104  1189969 | 2147483647  1289132     95 |  0.002 % |
7324.02/7326.35	c |   1571257 |   97636   423104  1189969 | 2147483647  1299465     95 |  0.002 % |
7385.80/7388.10	c |   1582624 |   97636   423104  1189969 | 2147483647  1310832     95 |  0.002 % |
7421.09/7423.47	c |   1595126 |   97636   423104  1189969 | 2147483647  1323334     95 |  0.002 % |
7509.27/7511.63	c |   1608878 |   97636   423104  1189969 | 2147483647  1337086     94 |  0.002 % |
7510.07/7512.40	c |   1608979 |   97636   423104  1189969 | 2147483647  1337187     94 |  0.002 % |
7510.47/7512.81	c |   1609089 |   97636   423104  1189969 | 2147483647  1337297     94 |  0.002 % |
7511.87/7514.29	c |   1609210 |   97636   423104  1189969 | 2147483647  1337418     94 |  0.002 % |
7512.57/7514.96	c |   1609343 |   97636   423104  1189969 | 2147483647  1337551     94 |  0.002 % |
7513.07/7515.44	c |   1609490 |   97636   423104  1189969 | 2147483647  1337698     94 |  0.002 % |
7514.57/7516.92	c |   1609651 |   97636   423104  1189969 | 2147483647  1337859     94 |  0.002 % |
7514.97/7517.40	c |   1609828 |   97636   423104  1189969 | 2147483647  1338036     94 |  0.002 % |
7515.37/7517.79	c |   1610022 |   97636   423104  1189969 | 2147483647  1338230     94 |  0.002 % |
7521.96/7524.30	c |   1610236 |   97636   423104  1189969 | 2147483647  1338444     94 |  0.002 % |
7522.56/7524.94	c |   1610469 |   97636   423104  1189969 | 2147483647  1338677     94 |  0.002 % |
7524.87/7527.30	c |   1610725 |   97636   423104  1189969 | 2147483647  1338933     94 |  0.002 % |
7525.56/7527.96	c |   1611006 |   97636   423104  1189969 | 2147483647  1339214     94 |  0.002 % |
7530.06/7532.46	c |   1611316 |   97636   423104  1189969 | 2147483647  1339524     94 |  0.002 % |
7532.06/7534.47	c |   1611658 |   97636   423104  1189969 | 2147483647  1339866     94 |  0.002 % |
7533.06/7535.46	c |   1612030 |   97636   423104  1189969 | 2147483647  1340238     94 |  0.002 % |
7536.96/7539.36	c |   1612440 |   97636   423104  1189969 | 2147483647  1340648     94 |  0.002 % |
7539.56/7541.93	c |   1612890 |   97636   423104  1189969 | 2147483647  1341098     94 |  0.002 % |
7544.66/7547.03	c |   1613383 |   97636   423104  1189969 | 2147483647  1341591     94 |  0.002 % |
7545.86/7548.29	c |   1613925 |   97636   423104  1189969 | 2147483647  1342133     94 |  0.002 % |
7548.86/7551.21	c |   1614522 |   97636   423104  1189969 | 2147483647  1342730     94 |  0.002 % |
7566.85/7569.28	c |   1615178 |   97636   423104  1189969 | 2147483647  1343386     94 |  0.002 % |
7576.25/7578.62	c |   1615898 |   97636   423104  1189969 | 2147483647  1344106     94 |  0.002 % |
7582.05/7584.49	c |   1616691 |   97636   423104  1189969 | 2147483647  1344899     94 |  0.002 % |
7589.64/7592.03	c |   1617564 |   97636   423104  1189969 | 2147483647  1345772     94 |  0.002 % |
7625.43/7627.88	c |   1618522 |   97636   423104  1189969 | 2147483647  1346730     95 |  0.002 % |
7634.93/7637.32	c |   1619576 |   97636   423104  1189969 | 2147483647  1347784     95 |  0.002 % |
7642.33/7644.73	c |   1620734 |   97636   423104  1189969 | 2147483647  1348942     95 |  0.002 % |
7644.13/7646.52	c |   1622008 |   97636   423104  1189969 | 2147483647  1350216     95 |  0.002 % |
7665.22/7667.67	c |   1623408 |   97636   423104  1189969 | 2147483647  1351616     95 |  0.002 % |
7672.22/7674.64	c |   1624949 |   97636   423104  1189969 | 2147483647  1353157     95 |  0.002 % |
7683.01/7685.48	c |   1626643 |   97636   423104  1189969 | 2147483647  1354851     95 |  0.002 % |
7690.32/7692.77	c |   1628509 |   97636   423104  1189969 | 2147483647  1356717     95 |  0.002 % |
7730.52/7732.93	c |   1630558 |   97636   423104  1189969 | 2147483647  1358766     95 |  0.002 % |
7879.06/7881.50	c |   1632811 |   97636   423104  1189969 | 2147483647  1361019     96 |  0.002 % |
7893.95/7896.47	c |   1635289 |   97636   423104  1189969 | 2147483647  1363497     96 |  0.002 % |
7905.75/7908.21	c |   1638016 |   97636   423104  1189969 | 2147483647  1366224     95 |  0.002 % |
7956.24/7958.73	c |   1641014 |   97636   423104  1189969 | 2147483647  1369222     96 |  0.002 % |
8155.69/8158.22	c |   1644310 |   97636   423104  1189969 | 2147483647  1372518     97 |  0.002 % |
8259.76/8262.33	c |   1647937 |   97636   423104  1189969 | 2147483647  1376145     97 |  0.002 % |
8265.36/8267.93	c |   1651925 |   97636   423104  1189969 | 2147483647  1380133     97 |  0.002 % |
8277.46/8280.10	c |   1656311 |   97636   423104  1189969 | 2147483647  1384519     97 |  0.002 % |
8307.45/8310.03	c |   1661135 |   97636   423104  1189969 | 2147483647  1389343     97 |  0.002 % |
8316.04/8318.63	c |   1666440 |   97636   423104  1189969 | 2147483647  1394648     97 |  0.002 % |
8319.74/8322.35	c |   1672276 |   97636   423104  1189969 | 2147483647  1400484     96 |  0.002 % |
8354.93/8357.58	c |   1678697 |   97636   423104  1189969 | 2147483647  1406905     96 |  0.002 % |
8375.63/8378.27	c |   1685756 |   97636   423104  1189969 | 2147483647  1413964     96 |  0.002 % |
8417.41/8420.08	c |   1693521 |   97636   423104  1189969 | 2147483647  1421729     96 |  0.002 % |
8442.61/8445.29	c |   1702062 |   97636   423104  1189969 | 2147483647  1430270     96 |  0.002 % |
8471.30/8473.98	c |   1711461 |   97636   423104  1189969 |  1438209  1439669     96 |  0.002 % |
8532.98/8535.61	c |   1721795 |   97636   423104  1189969 | 2147483647  1193696     91 |  0.002 % |
8625.97/8628.60	c |   1733161 |   97636   423104  1189969 | 2147483647  1205062     91 |  0.002 % |
8687.65/8690.38	c |   1745665 |   97636   423104  1189969 | 2147483647  1217566     91 |  0.002 % |
8771.82/8774.51	c |   1759417 |   97636   423104  1189969 | 2147483647  1231318     91 |  0.002 % |
8793.22/8795.92	c |   1774546 |   97636   423104  1189969 | 2147483647  1246447     90 |  0.002 % |
8794.52/8797.27	c |   1774648 |   97636   423104  1189969 | 2147483647  1246549     90 |  0.002 % |
8796.72/8799.46	c |   1774758 |   97636   423104  1189969 | 2147483647  1246659     90 |  0.002 % |
8796.92/8799.64	c |   1774879 |   97636   423104  1189969 | 2147483647  1246780     90 |  0.002 % |
8797.42/8800.20	c |   1775014 |   97636   423104  1189969 | 2147483647  1246915     90 |  0.002 % |
8800.52/8803.25	c |   1775162 |   97636   423104  1189969 | 2147483647  1247063     90 |  0.002 % |
8801.11/8803.86	c |   1775324 |   97636   423104  1189969 | 2147483647  1247225     90 |  0.002 % |
8801.41/8804.15	c |   1775500 |   97636   423104  1189969 | 2147483647  1247401     90 |  0.002 % |
8807.01/8809.76	c |   1775694 |   97636   423104  1189969 | 2147483647  1247595     90 |  0.002 % |
8807.41/8810.17	c |   1775906 |   97636   423104  1189969 | 2147483647  1247807     90 |  0.002 % |
8809.21/8811.98	c |   1776140 |   97636   423104  1189969 | 2147483647  1248041     90 |  0.002 % |
8810.21/8812.98	c |   1776396 |   97636   423104  1189969 | 2147483647  1248297     90 |  0.002 % |
8811.31/8814.04	c |   1776677 |   97636   423104  1189969 | 2147483647  1248578     90 |  0.002 % |
8811.62/8814.40	c |   1776986 |   97636   423104  1189969 | 2147483647  1248887     90 |  0.002 % |
8815.91/8818.68	c |   1777326 |   97636   423104  1189969 | 2147483647  1249227     90 |  0.002 % |
8818.21/8820.93	c |   1777700 |   97636   423104  1189969 | 2147483647  1249601     90 |  0.002 % |
8820.91/8823.65	c |   1778109 |   97636   423104  1189969 | 2147483647  1250010     90 |  0.002 % |
8825.01/8827.70	c |   1778559 |   97636   423104  1189969 | 2147483647  1250460     90 |  0.002 % |
8859.80/8862.55	c |   1779053 |   97636   423104  1189969 | 2147483647  1250954     91 |  0.002 % |
8873.39/8876.14	c |   1779596 |   97636   423104  1189969 | 2147483647  1251497     91 |  0.002 % |
8901.79/8904.56	c |   1780192 |   97636   423104  1189969 | 2147483647  1252093     91 |  0.002 % |
8917.49/8920.20	c |   1780847 |   97636   423104  1189969 | 2147483647  1252748     91 |  0.002 % |
8922.79/8925.56	c |   1781568 |   97636   423104  1189969 | 2147483647  1253469     91 |  0.002 % |
8938.98/8941.73	c |   1782363 |   97636   423104  1189969 | 2147483647  1254264     91 |  0.002 % |
8948.78/8951.58	c |   1783235 |   97636   423104  1189969 | 2147483647  1255136     91 |  0.002 % |
8951.58/8954.31	c |   1784193 |   97636   423104  1189969 | 2147483647  1256094     91 |  0.002 % |
8954.18/8956.99	c |   1785247 |   97636   423104  1189969 | 2147483647  1257148     91 |  0.002 % |
8957.27/8960.02	c |   1786407 |   97636   423104  1189969 | 2147483647  1258308     91 |  0.002 % |
8971.27/8974.02	c |   1787683 |   97636   423104  1189969 | 2147483647  1259584     91 |  0.002 % |
8976.77/8979.57	c |   1789085 |   97636   423104  1189969 | 2147483647  1260986     91 |  0.002 % |
9017.26/9020.07	c |   1790625 |   97636   423104  1189969 | 2147483647  1262526     92 |  0.002 % |
9022.16/9024.94	c |   1792320 |   97636   423104  1189969 | 2147483647  1264221     92 |  0.002 % |
9042.15/9044.94	c |   1794183 |   97636   423104  1189969 | 2147483647  1266084     92 |  0.002 % |
9049.54/9052.34	c |   1796232 |   97636   423104  1189969 | 2147483647  1268133     92 |  0.002 % |
9063.44/9066.21	c |   1798485 |   97636   423104  1189969 | 2147483647  1270386     91 |  0.002 % |
9070.94/9073.79	c |   1800963 |   97636   423104  1189969 | 2147483647  1272864     91 |  0.002 % |
9075.64/9078.42	c |   1803689 |   97636   423104  1189969 | 2147483647  1275590     91 |  0.002 % |
9099.84/9102.66	c |   1806686 |   97636   423104  1189969 | 2147483647  1278587     91 |  0.002 % |
9128.93/9131.74	c |   1809983 |   97636   423104  1189969 | 2147483647  1281884     92 |  0.002 % |
9149.32/9152.11	c |   1813608 |   97636   423104  1189969 | 2147483647  1285509     92 |  0.002 % |
9167.62/9170.41	c |   1817595 |   97636   423104  1189969 | 2147483647  1289496     92 |  0.002 % |
9229.40/9232.22	c |   1821981 |   97636   423104  1189969 | 2147483647  1293882     92 |  0.002 % |
9252.19/9255.01	c |   1826805 |   97636   423104  1189969 | 2147483647  1298706     92 |  0.002 % |
9294.48/9297.39	c |   1832110 |   97636   423104  1189969 | 2147483647  1304011     92 |  0.002 % |
9319.48/9322.37	c |   1837946 |   97636   423104  1189969 | 2147483647  1309847     92 |  0.002 % |
9341.77/9344.66	c |   1844365 |   97636   423104  1189969 | 2147483647  1316266     92 |  0.002 % |
9380.46/9383.30	c |   1851424 |   97636   423104  1189969 | 2147483647  1323325     92 |  0.002 % |
9445.64/9448.54	c |   1859190 |   97636   423104  1189969 | 2147483647  1331091     92 |  0.002 % |
9470.94/9473.87	c |   1867730 |   97636   423104  1189969 | 2147483647  1339631     92 |  0.002 % |
9519.92/9522.82	c |   1877124 |   97636   423104  1189969 | 2147483647  1349025     92 |  0.002 % |
9534.92/9537.86	c |   1887458 |   97636   423104  1189969 | 2147483647  1359359     92 |  0.002 % |
9642.79/9645.75	c |   1898825 |   97636   423104  1189969 | 2147483647  1370726     92 |  0.002 % |
9672.08/9675.07	c |   1911327 |   97636   423104  1189969 | 2147483647  1383228     92 |  0.002 % |
9802.45/9805.47	c |   1925080 |   97636   423104  1189969 | 2147483647  1396981     93 |  0.002 % |
9841.84/9844.89	c |   1940207 |   97636   423104  1189969 | 2147483647  1412108     92 |  0.002 % |
9897.12/9900.12	c |   1956847 |   97636   423104  1189969 | 2147483647  1428748     92 |  0.002 % |
9897.42/9900.46	c |   1956948 |   97636   423104  1189969 | 2147483647  1428849     92 |  0.002 % |
9898.92/9901.93	c |   1957058 |   97636   423104  1189969 | 2147483647  1428959     92 |  0.002 % |
9912.02/9915.05	c |   1957180 |   97636   423104  1189969 | 2147483647  1429081     92 |  0.002 % |
9912.92/9915.95	c |   1957314 |   97636   423104  1189969 | 2147483647  1429215     92 |  0.002 % |
9913.52/9916.54	c |   1957463 |   97636   423104  1189969 | 2147483647  1429364     92 |  0.002 % |
9914.02/9917.09	c |   1957626 |   97636   423104  1189969 | 2147483647  1429527     92 |  0.002 % |
9914.82/9917.87	c |   1957802 |   97636   423104  1189969 | 2147483647  1429703     92 |  0.002 % |
9915.32/9918.37	c |   1957996 |   97636   423104  1189969 | 2147483647  1429897     92 |  0.002 % |
9915.92/9919.00	c |   1958209 |   97636   423104  1189969 | 2147483647  1430110     92 |  0.002 % |
9916.92/9919.95	c |   1958444 |   97636   423104  1189969 | 2147483647  1430345     92 |  0.002 % |
9917.62/9920.62	c |   1958702 |   97636   423104  1189969 | 2147483647  1430603     92 |  0.002 % |
9918.92/9921.97	c |   1958983 |   97636   423104  1189969 | 2147483647  1430884     92 |  0.002 % |
9919.62/9922.67	c |   1959292 |   97636   423104  1189969 | 2147483647  1431193     92 |  0.002 % |
9920.82/9923.88	c |   1959632 |   97636   423104  1189969 | 2147483647  1431533     92 |  0.002 % |
9921.42/9924.44	c |   1960005 |   97636   423104  1189969 | 2147483647  1431906     92 |  0.002 % |
9923.11/9926.18	c |   1960415 |   97636   423104  1189969 | 2147483647  1432316     92 |  0.002 % |
9925.31/9928.36	c |   1960865 |   97636   423104  1189969 | 2147483647  1432766     92 |  0.002 % |
9925.71/9928.72	c |   1961359 |   97636   423104  1189969 | 2147483647  1433260     92 |  0.002 % |
9926.91/9929.91	c |   1961902 |   97636   423104  1189969 | 2147483647  1433803     92 |  0.002 % |
9927.21/9930.20	c |   1962498 |   97636   423104  1189969 | 2147483647  1434399     92 |  0.002 % |
9927.91/9930.95	c |   1963154 |   97636   423104  1189969 | 2147483647  1435055     92 |  0.002 % |
9930.61/9933.66	c |   1963874 |   97636   423104  1189969 | 2147483647  1435775     92 |  0.002 % |
9933.61/9936.67	c |   1964667 |   97636   423104  1189969 | 2147483647  1436568     92 |  0.002 % |
9934.21/9937.28	c |   1965541 |   97636   423104  1189969 | 2147483647  1437442     92 |  0.002 % |
9948.10/9951.15	c |   1966499 |   97636   423104  1189969 | 2147483647  1438400     92 |  0.002 % |
9962.50/9965.54	c |   1967552 |   97636   423104  1189969 | 2147483647  1439453     92 |  0.002 % |
9978.70/9981.72	c |   1968711 |   97636   423104  1189969 | 2147483647  1440612     92 |  0.002 % |
9988.10/9991.10	c |   1969985 |   97636   423104  1189969 | 2147483647  1441886     92 |  0.002 % |

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-1837270-1242867029/watcher-1837270-1242867029 -o /tmp/evaluation-result-1837270-1242867029/solver-1837270-1242867029 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837270-1242867029.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.93 0.98 0.99 3/65 9263
/proc/meminfo: memFree=1742912/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0

[startup+0.00897106 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 9263
/proc/meminfo: memFree=1742912/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10198 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 9263
/proc/meminfo: memFree=1742912/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302003 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 9263
/proc/meminfo: memFree=1742912/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701049 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 9263
/proc/meminfo: memFree=1742912/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50114 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 9268
/proc/meminfo: memFree=1653744/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
[pid=9267] ppid=9263 vsize=97760 CPUtime=1.49
/proc/9267/stat : 9267 (SatELite_releas) R 9263 9263 9226 0 -1 4194304 23600 0 0 0 135 14 0 0 25 0 1 0 314735691 100106240 22020 1992294400 134512640 135223648 4294956128 18446744073709551615 134575988 0 0 4096 3 0 0 0 17 1 0 0
/proc/9267/statm: 24440 22020 76 173 0 24265 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103116

[startup+3.10133 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 9268
/proc/meminfo: memFree=1644336/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=0
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314735690 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9263/statm: 1339 237 197 169 0 50 0
[pid=9267] ppid=9263 vsize=103640 CPUtime=3.09
/proc/9267/stat : 9267 (SatELite_releas) R 9263 9263 9226 0 -1 4194304 24997 0 0 0 293 16 0 0 25 0 1 0 314735691 106127360 23232 1992294400 134512640 135223648 4294956128 18446744073709551615 134587016 0 0 4096 3 0 0 0 17 1 0 0
/proc/9267/statm: 25910 23232 76 173 0 25735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108996

[startup+6.3027 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1699632/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=28456 CPUtime=2.24
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 6590 0 0 0 220 4 0 0 25 0 1 0 314736095 29138944 6576 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 7114 6576 77 171 0 6941 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33812

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1699696/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=28456 CPUtime=8.63
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 6592 0 0 0 859 4 0 0 25 0 1 0 314736095 29138944 6578 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 7114 6578 77 171 0 6941 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 33812

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1699120/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=29228 CPUtime=21.43
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 6780 0 0 0 2139 4 0 0 25 0 1 0 314736095 29929472 6759 1992294400 134512640 135215339 4294956240 18446744073709551615 134532612 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 7307 6759 77 171 0 7134 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34584

[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1697968/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=30388 CPUtime=47
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 7084 0 0 0 4695 5 0 0 25 0 1 0 314736095 31117312 7063 1992294400 134512640 135215339 4294956240 18446744073709551615 134532775 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 7597 7063 77 171 0 7424 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35744

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1693488/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=34868 CPUtime=98.18
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 8183 0 0 0 9812 6 0 0 25 0 1 0 314736095 35704832 8162 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 8717 8162 77 171 0 8544 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 40224

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1680752/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=47536 CPUtime=158.14
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 11370 0 0 0 15804 10 0 0 25 0 1 0 314736095 48676864 11349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 11884 11349 77 171 0 11711 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 52892

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1670704/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=57496 CPUtime=218.13
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 13838 0 0 0 21800 13 0 0 25 0 1 0 314736095 58875904 13817 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 14374 13817 77 171 0 14201 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 62852

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1661232/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=67192 CPUtime=278.1
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 16242 0 0 0 27795 15 0 0 25 0 1 0 314736095 68804608 16221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 16798 16221 77 171 0 16625 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 72548

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1653112/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=74960 CPUtime=338.08
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 18224 0 0 0 33790 18 0 0 25 0 1 0 314736095 76759040 18203 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 18740 18203 77 171 0 18567 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 80316

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 9269
/proc/meminfo: memFree=1644792/2055920 swapFree=4178424/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=83420 CPUtime=398.06
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 20279 0 0 0 39785 21 0 0 25 0 1 0 314736095 85422080 20258 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 20855 20258 77 171 0 20682 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 88776

[startup+462.301 s]

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

/proc/9269/statm: 167445 166449 77 171 0 167272 0
Current children cumulated CPU time (s) 9339.47
Current children cumulated vsize (KiB) 675136

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012728/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9395.42
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166472 0 0 0 939348 194 0 0 25 0 1 0 314736095 685854720 166451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166451 77 171 0 167272 0
Current children cumulated CPU time (s) 9399.46
Current children cumulated vsize (KiB) 675136

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012664/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9455.4
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166475 0 0 0 945346 194 0 0 25 0 1 0 314736095 685854720 166454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166454 77 171 0 167272 0
Current children cumulated CPU time (s) 9459.44
Current children cumulated vsize (KiB) 675136

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012600/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9515.38
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166482 0 0 0 951344 194 0 0 25 0 1 0 314736095 685854720 166461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166461 77 171 0 167272 0
Current children cumulated CPU time (s) 9519.42
Current children cumulated vsize (KiB) 675136

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012728/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9575.37
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166483 0 0 0 957343 194 0 0 25 0 1 0 314736095 685854720 166462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166462 77 171 0 167272 0
Current children cumulated CPU time (s) 9579.41
Current children cumulated vsize (KiB) 675136

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012728/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9635.35
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166483 0 0 0 963341 194 0 0 25 0 1 0 314736095 685854720 166462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166462 77 171 0 167272 0
Current children cumulated CPU time (s) 9639.39
Current children cumulated vsize (KiB) 675136

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012664/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9695.33
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166490 0 0 0 969339 194 0 0 25 0 1 0 314736095 685854720 166469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166469 77 171 0 167272 0
Current children cumulated CPU time (s) 9699.37
Current children cumulated vsize (KiB) 675136

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012664/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9755.32
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166493 0 0 0 975338 194 0 0 25 0 1 0 314736095 685854720 166472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166472 77 171 0 167272 0
Current children cumulated CPU time (s) 9759.36
Current children cumulated vsize (KiB) 675136

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012600/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9815.31
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166493 0 0 0 981336 195 0 0 25 0 1 0 314736095 685854720 166472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166472 77 171 0 167272 0
Current children cumulated CPU time (s) 9819.35
Current children cumulated vsize (KiB) 675136

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012536/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669780 CPUtime=9875.29
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166499 0 0 0 987334 195 0 0 25 0 1 0 314736095 685854720 166478 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167445 166478 77 171 0 167272 0
Current children cumulated CPU time (s) 9879.33
Current children cumulated vsize (KiB) 675136

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012472/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669860 CPUtime=9935.27
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166515 0 0 0 993332 195 0 0 25 0 1 0 314736095 685936640 166494 1992294400 134512640 135215339 4294956240 18446744073709551615 134527239 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167465 166494 77 171 0 167292 0
Current children cumulated CPU time (s) 9939.31
Current children cumulated vsize (KiB) 675216

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012408/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669860 CPUtime=9995.26
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166516 0 0 0 999330 196 0 0 25 0 1 0 314736095 685936640 166495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167465 166495 77 171 0 167292 0
Current children cumulated CPU time (s) 9999.3
Current children cumulated vsize (KiB) 675216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9767
/proc/meminfo: memFree=1012408/2055920 swapFree=4178428/4192956
[pid=9263] ppid=9261 vsize=5356 CPUtime=4.04
/proc/9263/stat : 9263 (SatELiteGTI) S 9261 9263 9226 0 -1 4194304 336 26006 0 0 0 0 383 21 16 0 1 0 314735690 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9263/statm: 1339 239 197 169 0 50 0
[pid=9269] ppid=9263 vsize=669860 CPUtime=9995.96
/proc/9269/stat : 9269 (minisat_static) R 9263 9263 9226 0 -1 4194304 166516 0 0 0 999400 196 0 0 25 0 1 0 314736095 685936640 166495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9269/statm: 167465 166495 77 171 0 167292 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 675216

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9263 and gives
#  childrusage.ru_utime.tv_sec=3
#  childrusage.ru_utime.tv_usec=830417
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=217966
# CPU time returned by wait4() is 4.04838
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10003
CPU time (s): 10000
CPU user time (s): 9997.83
CPU system time (s): 2.17
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 675216

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

runsolver used 9.12261 second user time and 27.4168 second system time

The end

Launcher Data

Begin job on node74 at 2009-05-21 02:50:30
IDJOB=1837270
IDBENCH=70789
IDSOLVER=674
FILE ID=node74/1837270-1242867029
PBS_JOBID= 9328538
Free space on /tmp= 102860 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837270-1242867029/watcher-1837270-1242867029 -o /tmp/evaluation-result-1837270-1242867029/solver-1837270-1242867029 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837270-1242867029.cnf

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

MD5SUM BENCH= c5685247c8f21e8da88f42049fffdb13
RANDOM SEED=2124540038

node74.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.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.233
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:       1743392 kB
Buffers:         38080 kB
Cached:         234300 kB
SwapCached:       7916 kB
Active:         132516 kB
Inactive:       149304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743392 kB
SwapTotal:     4192956 kB
SwapFree:      4178424 kB
Dirty:           11784 kB
Writeback:           0 kB
Mapped:          14572 kB
Slab:            16572 kB
Committed_AS:  1077516 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 102844 MiB
End job on node74 at 2009-05-21 05:37:15