Trace number 1837092

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
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 variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

Solver Data

0.00/0.00	c Parsing...
0.00/1.00	c ==============================================================================
0.00/1.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/1.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/1.00	c ==============================================================================
0.00/1.00	c |         0 | 1186821  2884753 |  356046       0        0     nan |  0.000 % |
20.17/20.21	c |         0 |  571173  2544294 |      --       0       --      -- |     --   | -615648/-340459
20.17/20.21	c ==============================================================================
20.17/20.21	c Result  :   #vars: 40759   #clauses: 571173   #literals: 2544294
20.17/20.21	c CPU time:   19.707 s
20.17/20.21	c ==============================================================================
20.98/21.08	c This is MiniSat 2.0 beta
20.98/21.08	c WARNING: for repeatability, setting FPU to use double precision
20.98/21.08	c ============================[ Problem Statistics ]=============================
20.98/21.08	c |                                                                             |
20.98/21.09	c |  Number of variables:  40759                                                |
20.98/21.09	c |  Number of clauses:    571173                                               |
21.06/21.50	c |  Parsing time:         0.37         s                                       |
21.06/21.53	c ============================[ Search Statistics ]==============================
21.06/21.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.06/21.53	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.06/21.53	c ===============================================================================
21.06/21.53	c |         0 |   40759   571173  2544294 |   190391        0    nan |  0.000 % |
21.06/21.80	c |       100 |   40759   571173  2544294 |   190391      100     14 |  0.000 % |
21.06/21.98	c |       200 |   40759   571173  2544294 |   190391      200     18 |  0.000 % |
22.06/22.16	c |       301 |   40759   571173  2544294 |   190391      301     17 |  0.000 % |
22.26/22.32	c |       413 |   40759   571173  2544294 |   190391      413     20 |  0.000 % |
22.36/22.46	c |       515 |   40759   571173  2544294 |   190391      515     21 |  0.000 % |
22.66/22.76	c |       626 |   40759   571173  2544294 |   190391      626     20 |  0.000 % |
22.86/22.96	c |       747 |   40759   571173  2544294 |   190391      747     20 |  0.000 % |
22.96/23.09	c |       847 |   40759   571173  2544294 |   190391      847     22 |  0.000 % |
23.16/23.29	c |       959 |   40759   571173  2544294 |   190391      959     21 |  0.000 % |
23.46/23.50	c |      1080 |   40759   571173  2544294 |   190391     1080     21 |  0.000 % |
23.66/23.80	c |      1214 |   40759   571173  2544294 |   190391     1214     22 |  0.000 % |
23.86/23.92	c |      1316 |   40759   571173  2544294 |   190391     1316     23 |  0.000 % |
24.06/24.16	c |      1426 |   40759   571173  2544294 |   190391     1426     23 |  0.000 % |
24.36/24.44	c |      1547 |   40759   571173  2544294 |   190391     1547     23 |  0.000 % |
24.76/24.81	c |      1680 |   40759   571173  2544294 |   190391     1680     23 |  0.000 % |
24.96/25.01	c |      1829 |   40759   571173  2544294 |   190391     1829     24 |  0.000 % |
25.06/25.11	c |      1929 |   40759   571173  2544294 |   190391     1929     24 |  0.000 % |
25.36/25.47	c |      2039 |   40759   571173  2544294 |   190391     2039     25 |  0.000 % |
25.56/25.69	c |      2160 |   40759   571173  2544294 |   190391     2160     25 |  0.000 % |
25.76/25.83	c |      2293 |   40759   571173  2544294 |   190391     2293     25 |  0.000 % |
26.06/26.13	c |      2440 |   40759   571173  2544294 |   190391     2440     27 |  0.000 % |
26.36/26.44	c |      2600 |   40759   571173  2544294 |   190391     2600     27 |  0.000 % |
26.56/26.64	c |      2702 |   40759   571173  2544294 |   190391     2702     27 |  0.000 % |
26.76/26.89	c |      2813 |   40759   571173  2544294 |   190391     2813     27 |  0.000 % |
27.06/27.12	c |      2935 |   40759   571173  2544294 |   190391     2935     27 |  0.000 % |
27.26/27.31	c |      3068 |   40759   571173  2544294 |   190391     3068     26 |  0.000 % |
27.66/27.76	c |      3214 |   40759   571173  2544294 |   190391     3214     26 |  0.000 % |
27.96/28.01	c |      3374 |   40759   571173  2544294 |   190391     3374     26 |  0.000 % |
28.25/28.32	c |      3550 |   40759   571173  2544294 |   190391     3550     27 |  0.000 % |
28.45/28.55	c |      3651 |   40759   571173  2544294 |   190391     3651     27 |  0.000 % |
28.66/28.72	c |      3763 |   40759   571173  2544294 |   190391     3763     27 |  0.000 % |
28.85/28.91	c |      3886 |   40759   571173  2544294 |   190391     3886     26 |  0.000 % |
28.95/29.06	c |      4019 |   40759   571173  2544294 |   190391     4019     27 |  0.000 % |
29.35/29.47	c |      4167 |   40759   571173  2544294 |   190391     4167     27 |  0.000 % |
29.66/29.72	c |      4329 |   40759   571173  2544294 |   190391     4329     27 |  0.000 % |
29.95/30.06	c |      4508 |   40759   571173  2544294 |   190391     4508     27 |  0.000 % |
30.25/30.35	c |      4703 |   40759   571173  2544294 |   190391     4703     27 |  0.000 % |
30.45/30.59	c |      4803 |   40759   571173  2544294 |   190391     4803     27 |  0.000 % |
30.65/30.72	c |      4915 |   40759   571173  2544294 |   190391     4915     27 |  0.000 % |
30.85/30.94	c |      5036 |   40759   571173  2544294 |   190391     5036     27 |  0.000 % |
31.05/31.16	c |      5171 |   40759   571173  2544294 |   190391     5171     27 |  0.000 % |
31.25/31.31	c |      5317 |   40759   571173  2544294 |   190391     5317     27 |  0.000 % |
31.65/31.71	c |      5478 |   40759   571173  2544294 |   190391     5478     27 |  0.000 % |
31.85/31.99	c |      5656 |   40759   571173  2544294 |   190391     5656     27 |  0.000 % |
32.26/32.32	c |      5850 |   40759   571173  2544294 |   190391     5850     28 |  0.000 % |
32.56/32.66	c |      6062 |   40759   571173  2544294 |   190391     6062     28 |  0.000 % |
32.76/32.89	c |      6162 |   40759   571173  2544294 |   190391     6162     28 |  0.000 % |
32.96/33.01	c |      6272 |   40759   571173  2544294 |   190391     6272     27 |  0.000 % |
33.06/33.16	c |      6393 |   40759   571173  2544294 |   190391     6393     27 |  0.000 % |
33.16/33.29	c |      6527 |   40759   571173  2544294 |   190391     6527     27 |  0.000 % |
33.46/33.50	c |      6673 |   40759   571173  2544294 |   190391     6673     27 |  0.000 % |
33.56/33.66	c |      6833 |   40759   571173  2544294 |   190391     6833     27 |  0.000 % |
33.86/33.92	c |      7011 |   40759   571173  2544294 |   190391     7011     27 |  0.000 % |
34.25/34.30	c |      7204 |   40759   571173  2544294 |   190391     7204     27 |  0.000 % |
34.55/34.64	c |      7417 |   40759   571173  2544294 |   190391     7417     27 |  0.000 % |
34.95/35.06	c |      7653 |   40759   571173  2544294 |   190391     7653     26 |  0.000 % |
35.16/35.20	c |      7753 |   40759   571173  2544294 |   190391     7753     26 |  0.000 % |
35.35/35.44	c |      7863 |   40759   571173  2544294 |   190391     7863     26 |  0.000 % |
35.65/35.70	c |      7985 |   40759   571173  2544294 |   190391     7985     26 |  0.000 % |
35.85/35.94	c |      8118 |   40759   571173  2544294 |   190391     8118     26 |  0.000 % |
36.05/36.13	c |      8267 |   40759   571173  2544294 |   190391     8267     26 |  0.000 % |
36.45/36.53	c |      8428 |   40759   571173  2544294 |   190391     8428     26 |  0.000 % |
36.65/36.75	c |      8606 |   40759   571173  2544294 |   190391     8606     26 |  0.000 % |
36.85/36.95	c |      8799 |   40759   571173  2544294 |   190391     8799     26 |  0.000 % |
37.15/37.28	c |      9012 |   40759   571173  2544294 |   190391     9012     26 |  0.000 % |
37.55/37.69	c |      9252 |   40759   571173  2544294 |   190391     9252     26 |  0.000 % |
38.05/38.17	c |      9511 |   40759   571173  2544294 |   190391     9511     26 |  0.000 % |
38.25/38.35	c |      9615 |   40759   571173  2544294 |   190391     9615     26 |  0.000 % |
38.46/38.59	c |      9725 |   40759   571173  2544294 |   190391     9725     26 |  0.000 % |
38.85/38.93	c |      9847 |   40759   571173  2544294 |   190391     9847     26 |  0.000 % |
38.95/39.09	c |      9982 |   40759   571173  2544294 |   190391     9982     26 |  0.000 % |
39.35/39.49	c |     10128 |   40759   571173  2544294 | 2147483647    10128     26 |  0.000 % |
39.66/39.78	c |     10289 |   40759   571173  2544294 | 2147483647    10289     26 |  0.000 % |
40.25/40.34	c |     10467 |   40759   571173  2544294 | 2147483647    10467     26 |  0.000 % |
40.55/40.63	c |     10661 |   40759   571173  2544294 | 2147483647    10661     26 |  0.000 % |
40.76/40.82	c |     10873 |   40759   571173  2544294 | 2147483647    10873     27 |  0.000 % |
41.25/41.30	c |     11107 |   40759   571173  2544294 | 2147483647    11107     27 |  0.000 % |
41.55/41.65	c |     11363 |   40759   571173  2544294 | 2147483647    11363     27 |  0.000 % |
42.05/42.15	c |     11645 |   40759   571173  2544294 | 2147483647    11645     27 |  0.000 % |
42.25/42.38	c |     11746 |   40759   571173  2544294 | 2147483647    11746     27 |  0.000 % |
42.45/42.56	c |     11856 |   40759   571173  2544294 | 2147483647    11856     27 |  0.000 % |
42.75/42.86	c |     11978 |   40759   571173  2544294 | 2147483647    11978     27 |  0.000 % |
43.05/43.12	c |     12113 |   40759   571173  2544294 | 2147483647    12113     26 |  0.000 % |
43.25/43.38	c |     12259 |   40759   571173  2544294 | 2147483647    12259     26 |  0.000 % |
43.55/43.61	c |     12421 |   40759   571173  2544294 | 2147483647    12421     27 |  0.000 % |
43.85/43.98	c |     12597 |   40759   571173  2544294 | 2147483647    12597     27 |  0.000 % |
44.15/44.22	c |     12790 |   40759   571173  2544294 | 2147483647    12790     27 |  0.000 % |
44.65/44.71	c |     13002 |   40759   571173  2544294 | 2147483647    13002     27 |  0.000 % |
45.05/45.11	c |     13235 |   40759   571173  2544294 | 2147483647    13235     27 |  0.000 % |
45.35/45.46	c |     13491 |   40759   571173  2544294 | 2147483647    13491     27 |  0.000 % |
45.85/45.93	c |     13778 |   40759   571173  2544294 | 2147483647    13778     27 |  0.000 % |
46.45/46.55	c |     14087 |   40759   571173  2544294 | 2147483647    14087     26 |  0.000 % |
46.65/46.72	c |     14191 |   40759   571173  2544294 | 2147483647    14191     27 |  0.000 % |
46.85/46.91	c |     14303 |   40759   571173  2544294 | 2147483647    14303     27 |  0.000 % |
47.05/47.17	c |     14424 |   40759   571173  2544294 | 2147483647    14424     27 |  0.000 % |
47.35/47.44	c |     14557 |   40759   571173  2544294 | 2147483647    14557     27 |  0.000 % |
47.65/47.76	c |     14703 |   40759   571173  2544294 | 2147483647    14703     26 |  0.000 % |
47.95/48.08	c |     14864 |   40759   571173  2544294 | 2147483647    14864     26 |  0.000 % |
48.25/48.38	c |     15041 |   40759   571173  2544294 | 2147483647    15041     26 |  0.000 % |
48.65/48.70	c |     15234 |   40759   571173  2544294 | 2147483647    15234     27 |  0.000 % |
48.75/48.88	c |     15450 |   40759   571173  2544294 | 2147483647    15450     27 |  0.000 % |
49.15/49.22	c |     15684 |   40759   571173  2544294 | 2147483647    15684     27 |  0.000 % |
49.64/49.74	c |     15941 |   40759   571173  2544294 | 2147483647    15941     26 |  0.000 % |
50.04/50.14	c |     16223 |   40759   571173  2544294 | 2147483647    16223     26 |  0.000 % |
50.74/50.89	c |     16532 |   40759   571173  2544294 | 2147483647    16532     26 |  0.000 % |
51.24/51.30	c |     16873 |   40759   571173  2544294 | 2147483647    16873     26 |  0.000 % |
51.34/51.47	c |     16973 |   40759   571173  2544294 | 2147483647    16973     26 |  0.000 % |
51.75/51.84	c |     17085 |   40759   571173  2544294 | 2147483647    17085     26 |  0.000 % |
51.94/52.09	c |     17206 |   40759   571173  2544294 | 2147483647    17206     26 |  0.000 % |
52.34/52.44	c |     17339 |   40759   571173  2544294 | 2147483647    17339     26 |  0.000 % |
52.54/52.62	c |     17488 |   40759   571173  2544294 | 2147483647    17488     26 |  0.000 % |
52.85/52.90	c |     17652 |   40759   571173  2544294 | 2147483647    17652     26 |  0.000 % |
53.04/53.11	c |     17831 |   40759   571173  2544294 | 2147483647    17831     26 |  0.000 % |
53.14/53.27	c |     18024 |   40759   571173  2544294 | 2147483647    18024     26 |  0.000 % |
53.64/53.73	c |     18239 |   40759   571173  2544294 | 2147483647    18239     26 |  0.000 % |
53.94/54.09	c |     18473 |   40759   571173  2544294 | 2147483647    18473     26 |  0.000 % |
54.44/54.54	c |     18730 |   40759   571173  2544294 | 2147483647    18730     26 |  0.000 % |
54.84/54.91	c |     19011 |   40759   571173  2544294 | 2147483647    19011     26 |  0.000 % |
55.34/55.40	c |     19320 |   40759   571173  2544294 | 2147483647    19320     26 |  0.000 % |
56.04/56.12	c |     19661 |   40759   571173  2544294 | 2147483647    19661     27 |  0.000 % |
56.54/56.61	c |     20033 |   40759   571173  2544294 | 2147483647    20033     27 |  0.000 % |
56.74/56.83	c |     20133 |   40759   571173  2544294 | 2147483647    20133     27 |  0.000 % |
56.94/57.02	c |     20246 |   40759   571173  2544294 | 2147483647    20246     27 |  0.000 % |
57.04/57.18	c |     20367 |   40759   571173  2544294 | 2147483647    20367     27 |  0.000 % |
57.24/57.35	c |     20502 |   40759   571173  2544294 | 2147483647    20502     27 |  0.000 % |
57.54/57.62	c |     20649 |   40759   571173  2544294 | 2147483647    20649     27 |  0.000 % |
57.74/57.89	c |     20809 |   40759   571173  2544294 | 2147483647    20809     26 |  0.000 % |
58.43/58.51	c |     20986 |   40759   571173  2544294 | 2147483647    20986     26 |  0.000 % |
58.73/58.84	c |     21180 |   40759   571173  2544294 | 2147483647    21180     26 |  0.000 % |
59.44/59.55	c |     21392 |   40759   571173  2544294 | 2147483647    21392     26 |  0.000 % |
60.03/60.12	c |     21633 |   40759   571173  2544294 | 2147483647    21633     27 |  0.000 % |
60.54/60.64	c |     21889 |   40759   571173  2544294 | 2147483647    21889     27 |  0.000 % |
60.83/60.99	c |     22171 |   40759   571173  2544294 | 2147483647    22171     27 |  0.000 % |
61.23/61.37	c |     22490 |   40759   571173  2544294 | 2147483647    22490     27 |  0.000 % |
62.03/62.18	c |     22829 |   40759   571173  2544294 | 2147483647    22829     27 |  0.000 % |
62.74/62.89	c |     23203 |   40759   571173  2544294 | 2147483647    23203     27 |  0.000 % |
63.63/63.76	c |     23612 |   40759   571173  2544294 | 2147483647    23612     27 |  0.000 % |
63.93/64.08	c |     23714 |   40759   571173  2544294 | 2147483647    23714     27 |  0.000 % |
64.13/64.28	c |     23827 |   40759   571173  2544294 | 2147483647    23827     27 |  0.000 % |
64.23/64.39	c |     23948 |   40759   571173  2544294 | 2147483647    23948     27 |  0.000 % |
64.43/64.59	c |     24081 |   40759   571173  2544294 | 2147483647    24081     27 |  0.000 % |
64.83/64.95	c |     24228 |   40759   571173  2544294 | 2147483647    24228     27 |  0.000 % |
65.13/65.20	c |     24391 |   40759   571173  2544294 | 2147483647    24391     27 |  0.000 % |
65.73/65.82	c |     24568 |   40759   571173  2544294 | 2147483647    24568     27 |  0.000 % |
66.33/66.46	c |     24763 |   40759   571173  2544294 | 2147483647    24763     27 |  0.000 % |
66.73/66.88	c |     24976 |   40759   571173  2544294 | 2147483647    24976     27 |  0.000 % |
67.23/67.34	c |     25211 |   40759   571173  2544294 | 2147483647    25211     27 |  0.000 % |
67.73/67.81	c |     25467 |   40759   571173  2544294 | 2147483647    25467     27 |  0.000 % |
68.03/68.17	c |     25748 |   40759   571173  2544294 | 2147483647    25748     27 |  0.000 % |
68.43/68.55	c |     26057 |   40759   571173  2544294 | 2147483647    26057     27 |  0.000 % |
69.33/69.43	c |     26396 |   40759   571173  2544294 | 2147483647    26396     27 |  0.000 % |
70.13/70.22	c |     26771 |   40759   571173  2544294 | 2147483647    26771     27 |  0.000 % |
71.44/71.55	c |     27180 |   40759   571173  2544294 | 2147483647    27180     27 |  0.000 % |
72.23/72.37	c |     27631 |   40759   571173  2544294 | 2147483647    27631     27 |  0.000 % |
72.54/72.65	c |     27732 |   40759   571173  2544294 | 2147483647    27732     27 |  0.000 % |
72.73/72.83	c |     27843 |   40759   571173  2544294 | 2147483647    27843     27 |  0.000 % |
72.93/73.00	c |     27964 |   40759   571173  2544294 | 2147483647    27964     27 |  0.000 % |
73.13/73.23	c |     28097 |   40759   571173  2544294 | 2147483647    28097     27 |  0.000 % |
73.33/73.43	c |     28246 |   40759   571173  2544294 | 2147483647    28246     27 |  0.000 % |
73.64/73.74	c |     28408 |   40759   571173  2544294 | 2147483647    28408     27 |  0.000 % |
74.13/74.21	c |     28585 |   40759   571173  2544294 | 2147483647    28585     27 |  0.000 % |
74.53/74.61	c |     28778 |   40759   571173  2544294 | 2147483647    28778     27 |  0.000 % |
75.03/75.11	c |     28990 |   40759   571173  2544294 | 2147483647    28990     27 |  0.000 % |
75.33/75.47	c |     29223 |   40759   571173  2544294 | 2147483647    29223     27 |  0.000 % |
75.63/75.76	c |     29479 |   40759   571173  2544294 | 2147483647    29479     27 |  0.000 % |
76.23/76.37	c |     29760 |   40759   571173  2544294 | 2147483647    29760     27 |  0.000 % |
76.73/76.81	c |     30070 |   40759   571173  2544294 | 2147483647    30070     27 |  0.000 % |
77.63/77.79	c |     30411 |   40759   571173  2544294 | 2147483647    30411     27 |  0.000 % |
78.33/78.49	c |     30786 |   40759   571173  2544294 | 2147483647    30786     28 |  0.000 % |
78.93/79.00	c |     31195 |   40759   571173  2544294 | 2147483647    31195     28 |  0.000 % |
79.63/79.74	c |     31648 |   40759   571173  2544294 | 2147483647    31648     27 |  0.000 % |
80.93/81.01	c |     32141 |   40759   571173  2544294 | 2147483647    32141     28 |  0.000 % |
81.13/81.21	c |     32241 |   40759   571173  2544294 | 2147483647    32241     28 |  0.000 % |
81.23/81.40	c |     32351 |   40759   571173  2544294 | 2147483647    32351     28 |  0.000 % |
81.43/81.59	c |     32474 |   40759   571173  2544294 | 2147483647    32474     28 |  0.000 % |
81.83/81.90	c |     32607 |   40759   571173  2544294 | 2147483647    32607     28 |  0.000 % |
82.03/82.13	c |     32755 |   40759   571173  2544294 | 2147483647    32755     28 |  0.000 % |
82.23/82.36	c |     32918 |   40759   571173  2544294 | 2147483647    32918     28 |  0.000 % |
82.53/82.69	c |     33094 |   40759   571173  2544294 | 2147483647    33094     28 |  0.000 % |
83.13/83.22	c |     33287 |   40759   571173  2544294 | 2147483647    33287     28 |  0.000 % |
83.63/83.74	c |     33499 |   40759   571173  2544294 | 2147483647    33499     28 |  0.000 % |
83.93/84.06	c |     33732 |   40759   571173  2544294 | 2147483647    33732     28 |  0.000 % |
84.13/84.29	c |     33989 |   40759   571173  2544294 | 2147483647    33989     28 |  0.000 % |
85.03/85.16	c |     34273 |   40759   571173  2544294 | 2147483647    34273     28 |  0.000 % |
85.53/85.67	c |     34582 |   40759   571173  2544294 | 2147483647    34582     28 |  0.000 % |
86.23/86.33	c |     34921 |   40759   571173  2544294 | 2147483647    34921     28 |  0.000 % |
86.83/86.99	c |     35294 |   40759   571173  2544294 | 2147483647    35294     28 |  0.000 % |
87.52/87.64	c |     35705 |   40759   571173  2544294 | 2147483647    35705     28 |  0.000 % |
88.23/88.38	c |     36155 |   40759   571173  2544294 | 2147483647    36155     28 |  0.000 % |
88.92/89.01	c |     36648 |   40759   571173  2544294 | 2147483647    36648     28 |  0.000 % |
89.82/89.91	c |     37190 |   40759   571173  2544294 | 2147483647    37190     28 |  0.000 % |
90.13/90.24	c |     37292 |   40759   571173  2544294 | 2147483647    37292     28 |  0.000 % |
90.32/90.42	c |     37403 |   40759   571173  2544294 | 2147483647    37403     28 |  0.000 % |
90.52/90.60	c |     37525 |   40759   571173  2544294 | 2147483647    37525     28 |  0.000 % |
90.82/90.90	c |     37658 |   40759   571173  2544294 | 2147483647    37658     28 |  0.000 % |
91.12/91.23	c |     37804 |   40759   571173  2544294 | 2147483647    37804     28 |  0.000 % |
91.92/92.02	c |     37966 |   40759   571173  2544294 | 2147483647    37966     28 |  0.000 % |
92.22/92.34	c |     38143 |   40759   571173  2544294 | 2147483647    38143     28 |  0.000 % |
92.82/92.93	c |     38336 |   40759   571173  2544294 | 2147483647    38336     28 |  0.000 % |
93.22/93.38	c |     38548 |   40759   571173  2544294 | 2147483647    38548     28 |  0.000 % |
93.72/93.88	c |     38782 |   40759   571173  2544294 | 2147483647    38782     28 |  0.000 % |
94.12/94.28	c |     39038 |   40759   571173  2544294 | 2147483647    39038     28 |  0.000 % |
94.62/94.74	c |     39319 |   40759   571173  2544294 | 2147483647    39319     27 |  0.000 % |
95.12/95.29	c |     39629 |   40759   571173  2544294 | 2147483647    39629     27 |  0.000 % |
95.72/95.84	c |     39968 |   40759   571173  2544294 | 2147483647    39968     27 |  0.000 % |
96.52/96.68	c |     40340 |   40759   571173  2544294 | 2147483647    40340     27 |  0.000 % |
97.02/97.11	c |     40749 |   40759   571173  2544294 | 2147483647    40749     28 |  0.000 % |
97.52/97.65	c |     41198 |   40759   571173  2544294 | 2147483647    41198     28 |  0.000 % |
98.22/98.37	c |     41691 |   40759   571173  2544294 | 2147483647    41691     28 |  0.000 % |
99.03/99.12	c |     42233 |   40759   571173  2544294 | 2147483647    42233     27 |  0.000 % |
100.52/100.67	c |     42829 |   40759   571173  2544294 | 2147483647    42829     27 |  0.000 % |
100.82/100.95	c |     42930 |   40759   571173  2544294 | 2147483647    42930     27 |  0.000 % |
101.02/101.18	c |     43044 |   40759   571173  2544294 | 2147483647    43044     27 |  0.000 % |
101.32/101.46	c |     43165 |   40759   571173  2544294 | 2147483647    43165     27 |  0.000 % |
101.72/101.85	c |     43299 |   40759   571173  2544294 | 2147483647    43299     27 |  0.000 % |
102.02/102.14	c |     43447 |   40759   571173  2544294 | 2147483647    43447     27 |  0.000 % |
102.22/102.39	c |     43612 |   40759   571173  2544294 | 2147483647    43612     27 |  0.000 % |
102.72/102.81	c |     43789 |   40759   571173  2544294 | 2147483647    43789     27 |  0.000 % |
103.02/103.16	c |     43983 |   40759   571173  2544294 | 2147483647    43983     27 |  0.000 % |
103.32/103.45	c |     44196 |   40759   571173  2544294 | 2147483647    44196     27 |  0.000 % |
103.82/103.93	c |     44430 |   40759   571173  2544294 | 2147483647    44430     27 |  0.000 % |
104.22/104.39	c |     44689 |   40759   571173  2544294 | 2147483647    44689     27 |  0.000 % |
104.62/104.77	c |     44972 |   40759   571173  2544294 | 2147483647    44972     27 |  0.000 % |
105.62/105.74	c |     45281 |   40759   571173  2544294 | 2147483647    45281     27 |  0.000 % |
106.12/106.24	c |     45620 |   40759   571173  2544294 | 2147483647    45620     27 |  0.000 % |
106.62/106.73	c |     45993 |   40759   571173  2544294 | 2147483647    45993     27 |  0.000 % |
107.52/107.65	c |     46402 |   40759   571173  2544294 | 2147483647    46402     27 |  0.000 % |
108.22/108.34	c |     46851 |   40759   571173  2544294 | 2147483647    46851     27 |  0.000 % |
109.52/109.62	c |     47344 |   40759   571173  2544294 | 2147483647    47344     27 |  0.000 % |
110.31/110.47	c |     47886 |   40759   571173  2544294 | 2147483647    47886     27 |  0.000 % |
112.01/112.13	c |     48485 |   40759   571173  2544294 | 2147483647    48485     27 |  0.000 % |
113.01/113.19	c |     49142 |   40759   571173  2544294 | 2147483647    49142     27 |  0.000 % |
113.22/113.35	c |     49242 |   40759   571173  2544294 | 2147483647    49242     27 |  0.000 % |
113.51/113.63	c |     49352 |   40759   571173  2544294 | 2147483647    49352     27 |  0.000 % |
113.61/113.79	c |     49473 |   40759   571173  2544294 | 2147483647    49473     27 |  0.000 % |
113.81/113.99	c |     49607 |   40759   571173  2544294 | 2147483647    49607     27 |  0.000 % |
114.21/114.36	c |     49754 |   40759   571173  2544294 | 2147483647    49754     27 |  0.000 % |
114.51/114.60	c |     49916 |   40759   571173  2544294 | 2147483647    49916     27 |  0.000 % |
114.81/114.96	c |     50092 |   40759   571173  2544294 | 2147483647    50092     27 |  0.000 % |
115.41/115.54	c |     50286 |   40759   571173  2544294 | 2147483647    50286     27 |  0.000 % |
116.01/116.16	c |     50498 |   40759   571173  2544294 | 2147483647    50498     27 |  0.000 % |
116.71/116.89	c |     50731 |   40759   571173  2544294 | 2147483647    50731     27 |  0.000 % |
117.31/117.47	c |     50987 |   40759   571173  2544294 | 2147483647    50987     27 |  0.000 % |
118.01/118.18	c |     51269 |   40759   571173  2544294 | 2147483647    51269     27 |  0.000 % |
118.81/118.91	c |     51578 |   40759   571173  2544294 | 2147483647    51578     27 |  0.000 % |
119.81/119.93	c |     51918 |   40759   571173  2544294 | 2147483647    51918     27 |  0.000 % |
120.41/120.51	c |     52292 |   40759   571173  2544294 | 2147483647    52292     27 |  0.000 % |
121.51/121.64	c |     52704 |   40759   571173  2544294 | 2147483647    52704     27 |  0.000 % |
122.41/122.55	c |     53160 |   40759   571173  2544294 | 2147483647    53160     27 |  0.000 % |
123.41/123.54	c |     53653 |   40759   571173  2544294 | 2147483647    53653     27 |  0.000 % |
124.60/124.74	c |     54197 |   40759   571173  2544294 | 2147483647    54197     27 |  0.000 % |
126.31/126.45	c |     54794 |   40759   571173  2544294 | 2147483647    54794     27 |  0.000 % |
128.21/128.33	c |     55453 |   40759   571173  2544294 | 2147483647    55453     27 |  0.000 % |
129.72/129.88	c |     56173 |   40759   571173  2544294 | 2147483647    56173     27 |  0.000 % |
129.91/130.07	c |     56273 |   40759   571173  2544294 | 2147483647    56273     27 |  0.000 % |
130.31/130.41	c |     56383 |   40759   571173  2544294 | 2147483647    56383     27 |  0.000 % |
130.61/130.77	c |     56505 |   40759   571173  2544294 | 2147483647    56505     27 |  0.000 % |
130.91/131.02	c |     56638 |   40759   571173  2544294 | 2147483647    56638     27 |  0.000 % |
131.11/131.27	c |     56784 |   40759   571173  2544294 | 2147483647    56784     27 |  0.000 % |
131.61/131.74	c |     56945 |   40759   571173  2544294 | 2147483647    56945     27 |  0.000 % |
131.91/132.01	c |     57121 |   40759   571173  2544294 | 2147483647    57121     27 |  0.000 % |
132.11/132.25	c |     57314 |   40759   571173  2544294 | 2147483647    57314     27 |  0.000 % |
132.41/132.53	c |     57526 |   40759   571173  2544294 | 2147483647    57526     27 |  0.000 % |
132.91/133.00	c |     57759 |   40759   571173  2544294 | 2147483647    57759     27 |  0.000 % |
133.31/133.44	c |     58015 |   40759   571173  2544294 | 2147483647    58015     27 |  0.000 % |
133.91/134.01	c |     58297 |   40759   571173  2544294 | 2147483647    58297     27 |  0.000 % |
134.41/134.60	c |     58609 |   40759   571173  2544294 | 2147483647    58609     27 |  0.000 % |
135.21/135.36	c |     58949 |   40759   571173  2544294 | 2147483647    58949     27 |  0.000 % |
135.71/135.85	c |     59321 |   40759   571173  2544294 | 2147483647    59321     27 |  0.000 % |
136.71/136.82	c |     59730 |   40759   571173  2544294 | 2147483647    59730     27 |  0.000 % |
138.01/138.10	c |     60183 |   40759   571173  2544294 | 2147483647    60183     27 |  0.000 % |
139.41/139.52	c |     60678 |   40759   571173  2544294 | 2147483647    60678     27 |  0.000 % |
141.10/141.27	c |     61220 |   40759   571173  2544294 | 2147483647    61220     28 |  0.000 % |
142.40/142.56	c |     61822 |   40759   571173  2544294 | 2147483647    61822     28 |  0.000 % |
144.50/144.62	c |     62479 |   40759   571173  2544294 | 2147483647    62479     28 |  0.000 % |
145.60/145.77	c |     63199 |   40759   571173  2544294 | 2147483647    63199     28 |  0.000 % |
146.90/147.02	c |     63991 |   40759   571173  2544294 | 2147483647    63991     28 |  0.000 % |
147.20/147.32	c |     64092 |   40759   571173  2544294 | 2147483647    64092     28 |  0.000 % |
147.41/147.58	c |     64203 |   40759   571173  2544294 | 2147483647    64203     28 |  0.000 % |
147.70/147.85	c |     64325 |   40759   571173  2544294 | 2147483647    64325     28 |  0.000 % |
147.90/148.10	c |     64458 |   40759   571173  2544294 | 2147483647    64458     28 |  0.000 % |
148.41/148.54	c |     64607 |   40759   571173  2544294 | 2147483647    64607     28 |  0.000 % |
149.10/149.24	c |     64771 |   40759   571173  2544294 | 2147483647    64771     28 |  0.000 % |
149.40/149.53	c |     64947 |   40759   571173  2544294 | 2147483647    64947     28 |  0.000 % |
149.70/149.81	c |     65141 |   40759   571173  2544294 | 2147483647    65141     28 |  0.000 % |
150.20/150.38	c |     65353 |   40759   571173  2544294 | 2147483647    65353     28 |  0.000 % |
150.60/150.75	c |     65586 |   40759   571173  2544294 | 2147483647    65586     28 |  0.000 % |
150.90/151.05	c |     65842 |   40759   571173  2544294 | 2147483647    65842     28 |  0.000 % |
151.50/151.64	c |     66125 |   40759   571173  2544294 | 2147483647    66125     28 |  0.000 % |
151.90/152.06	c |     66434 |   40759   571173  2544294 | 2147483647    66434     28 |  0.000 % |
152.80/152.92	c |     66773 |   40759   571173  2544294 | 2147483647    66773     28 |  0.000 % |
153.30/153.41	c |     67146 |   40759   571173  2544294 | 2147483647    67146     28 |  0.000 % |
154.00/154.19	c |     67555 |   40759   571173  2544294 | 2147483647    67555     28 |  0.000 % |
155.20/155.32	c |     68004 |   40759   571173  2544294 | 2147483647    68004     28 |  0.000 % |
156.00/156.17	c |     68500 |   40759   571173  2544294 | 2147483647    68500     28 |  0.000 % |
157.69/157.84	c |     69044 |   40759   571173  2544294 | 2147483647    69044     28 |  0.000 % |
158.69/158.81	c |     69640 |   40759   571173  2544294 | 2147483647    69640     28 |  0.000 % |
159.59/159.71	c |     70295 |   40759   571173  2544294 | 2147483647    70295     28 |  0.000 % |
161.19/161.30	c |     71015 |   40759   571173  2544294 | 2147483647    71015     28 |  0.000 % |
163.29/163.42	c |     71808 |   40759   571173  2544294 | 2147483647    71808     28 |  0.000 % |
165.79/165.98	c |     72680 |   40759   571173  2544294 | 2147483647    72680     28 |  0.000 % |
166.09/166.26	c |     72783 |   40759   571173  2544294 | 2147483647    72783     28 |  0.000 % |
166.29/166.40	c |     72893 |   40759   571173  2544294 | 2147483647    72893     28 |  0.000 % |
166.59/166.71	c |     73014 |   40759   571173  2544294 | 2147483647    73014     28 |  0.000 % |
166.89/167.04	c |     73147 |   40759   571173  2544294 | 2147483647    73147     28 |  0.000 % |
167.19/167.31	c |     73293 |   40759   571173  2544294 | 2147483647    73293     28 |  0.000 % |
167.49/167.70	c |     73454 |   40759   571173  2544294 | 2147483647    73454     28 |  0.000 % |
167.89/168.03	c |     73631 |   40759   571173  2544294 | 2147483647    73631     28 |  0.000 % |
168.29/168.47	c |     73825 |   40759   571173  2544294 | 2147483647    73825     28 |  0.000 % |
168.69/168.89	c |     74037 |   40759   571173  2544294 | 2147483647    74037     28 |  0.000 % |
169.09/169.25	c |     74272 |   40759   571173  2544294 | 2147483647    74272     28 |  0.000 % |
169.70/169.81	c |     74528 |   40759   571173  2544294 | 2147483647    74528     28 |  0.000 % |
170.50/170.66	c |     74811 |   40759   571173  2544294 | 2147483647    74811     28 |  0.000 % |
171.00/171.13	c |     75123 |   40759   571173  2544294 | 2147483647    75123     28 |  0.000 % |
171.80/171.92	c |     75462 |   40759   571173  2544294 | 2147483647    75462     28 |  0.000 % |
172.70/172.88	c |     75834 |   40759   571173  2544294 | 2147483647    75834     28 |  0.000 % |
173.59/173.77	c |     76243 |   40759   571173  2544294 | 2147483647    76243     28 |  0.000 % |
174.69/174.88	c |     76692 |   40759   571173  2544294 | 2147483647    76692     28 |  0.000 % |
175.49/175.70	c |     77185 |   40759   571173  2544294 | 2147483647    77185     28 |  0.000 % |
177.10/177.23	c |     77727 |   40759   571173  2544294 | 2147483647    77727     28 |  0.000 % |
178.29/178.46	c |     78323 |   40759   571173  2544294 | 2147483647    78323     27 |  0.000 % |
179.79/179.92	c |     78978 |   40759   571173  2544294 | 2147483647    78978     27 |  0.000 % |
181.69/181.84	c |     79701 |   40759   571173  2544294 | 2147483647    79701     28 |  0.000 % |
182.79/182.99	c |     80493 |   40759   571173  2544294 | 2147483647    80493     28 |  0.000 % |
184.89/185.08	c |     81364 |   40759   571173  2544294 | 2147483647    81364     28 |  0.000 % |
186.39/186.57	c |     82322 |   40759   571173  2544294 | 2147483647    82322     28 |  0.000 % |
186.69/186.80	c |     82422 |   40759   571173  2544294 | 2147483647    82422     28 |  0.000 % |
186.89/187.07	c |     82532 |   40759   571173  2544294 | 2147483647    82532     28 |  0.000 % |
187.28/187.42	c |     82653 |   40759   571173  2544294 | 2147483647    82653     28 |  0.000 % |
187.48/187.68	c |     82787 |   40759   571173  2544294 | 2147483647    82787     28 |  0.000 % |
187.88/188.02	c |     82934 |   40759   571173  2544294 | 2147483647    82934     28 |  0.000 % |
188.28/188.42	c |     83096 |   40759   571173  2544294 | 2147483647    83096     28 |  0.000 % |
188.58/188.78	c |     83276 |   40759   571173  2544294 | 2147483647    83276     28 |  0.000 % |
189.19/189.31	c |     83474 |   40759   571173  2544294 | 2147483647    83474     28 |  0.000 % |
189.68/189.82	c |     83689 |   40759   571173  2544294 | 2147483647    83689     27 |  0.000 % |
190.19/190.30	c |     83922 |   40759   571173  2544294 | 2147483647    83922     27 |  0.000 % |
190.89/191.06	c |     84181 |   40759   571173  2544294 | 2147483647    84181     27 |  0.000 % |
191.58/191.75	c |     84462 |   40759   571173  2544294 | 2147483647    84462     28 |  0.000 % |
192.18/192.35	c |     84771 |   40759   571173  2544294 | 2147483647    84771     28 |  0.000 % |
193.18/193.38	c |     85112 |   40759   571173  2544294 | 2147483647    85112     28 |  0.000 % |
193.98/194.15	c |     85486 |   40759   571173  2544294 | 2147483647    85486     28 |  0.000 % |
195.08/195.23	c |     85896 |   40759   571173  2544294 | 2147483647    85896     28 |  0.000 % |
196.28/196.47	c |     86348 |   40759   571173  2544294 | 2147483647    86348     28 |  0.000 % |
197.28/197.46	c |     86841 |   40759   571173  2544294 | 2147483647    86841     28 |  0.000 % |
199.28/199.42	c |     87386 |   40759   571173  2544294 | 2147483647    87386     28 |  0.000 % |
200.28/200.46	c |     87982 |   40759   571173  2544294 | 2147483647    87982     28 |  0.000 % |
201.98/202.13	c |     88641 |   40759   571173  2544294 | 2147483647    88641     28 |  0.000 % |
203.28/203.42	c |     89362 |   40759   571173  2544294 | 2147483647    89362     28 |  0.000 % |
205.38/205.52	c |     90154 |   40759   571173  2544294 | 2147483647    90154     28 |  0.000 % |
206.78/206.96	c |     91025 |   40759   571173  2544294 | 2147483647    91025     28 |  0.000 % |
209.08/209.28	c |     91984 |   40759   571173  2544294 | 2147483647    91984     28 |  0.000 % |
211.08/211.21	c |     93037 |   40759   571173  2544294 | 2147483647    93037     28 |  0.000 % |
211.28/211.42	c |     93137 |   40759   571173  2544294 | 2147483647    93137     28 |  0.000 % |
211.38/211.56	c |     93249 |   40759   571173  2544294 | 2147483647    93249     28 |  0.000 % |
211.67/211.85	c |     93372 |   40759   571173  2544294 | 2147483647    93372     28 |  0.000 % |
211.97/212.18	c |     93506 |   40759   571173  2544294 | 2147483647    93506     28 |  0.000 % |
212.37/212.52	c |     93652 |   40759   571173  2544294 | 2147483647    93652     28 |  0.000 % |
212.77/212.94	c |     93814 |   40759   571173  2544294 | 2147483647    93814     28 |  0.000 % |
213.07/213.23	c |     93991 |   40759   571173  2544294 | 2147483647    93991     28 |  0.000 % |
213.47/213.60	c |     94184 |   40759   571173  2544294 | 2147483647    94184     28 |  0.000 % |
213.97/214.11	c |     94396 |   40759   571173  2544294 | 2147483647    94396     28 |  0.000 % |
214.57/214.72	c |     94630 |   40759   571173  2544294 | 2147483647    94630     28 |  0.000 % |
215.08/215.25	c |     94888 |   40759   571173  2544294 | 2147483647    94888     28 |  0.000 % |
215.68/215.84	c |     95171 |   40759   571173  2544294 | 2147483647    95171     28 |  0.000 % |
216.68/216.88	c |     95482 |   40759   571173  2544294 | 2147483647    95482     28 |  0.000 % |
217.38/217.52	c |     95824 |   40759   571173  2544294 | 2147483647    95824     28 |  0.000 % |
218.08/218.23	c |     96196 |   40759   571173  2544294 | 2147483647    96196     28 |  0.000 % |
219.27/219.44	c |     96605 |   40759   571173  2544294 | 2147483647    96605     28 |  0.000 % |
220.67/220.85	c |     97054 |   40759   571173  2544294 | 2147483647    97054     28 |  0.000 % |
221.47/221.65	c |     97547 |   40759   571173  2544294 | 2147483647    97547     28 |  0.000 % |
222.77/222.98	c |     98089 |   40759   571173  2544294 | 2147483647    98089     28 |  0.000 % |
224.17/224.34	c |     98686 |   40759   571173  2544294 | 2147483647    98686     28 |  0.000 % |
225.97/226.18	c |     99341 |   40759   571173  2544294 | 2147483647    99341     28 |  0.000 % |
227.58/227.73	c |    100061 |   40759   571173  2544294 | 2147483647   100061     28 |  0.000 % |
230.07/230.24	c |    100855 |   40759   571173  2544294 | 2147483647   100855     28 |  0.000 % |
231.97/232.15	c |    101726 |   40759   571173  2544294 | 2147483647   101726     28 |  0.000 % |
234.67/234.89	c |    102684 |   40759   571173  2544294 | 2147483647   102684     29 |  0.000 % |
236.57/236.70	c |    103737 |   40759   571173  2544294 | 2147483647   103737     29 |  0.000 % |
240.66/240.84	c |    104897 |   40759   571173  2544294 | 2147483647   104897     29 |  0.000 % |
240.87/241.05	c |    104997 |   40759   571173  2544294 | 2147483647   104997     29 |  0.000 % |
241.16/241.31	c |    105107 |   40759   571173  2544294 | 2147483647   105107     29 |  0.000 % |
241.46/241.60	c |    105228 |   40759   571173  2544294 | 2147483647   105228     29 |  0.000 % |
241.76/241.99	c |    105362 |   40759   571173  2544294 | 2147483647   105362     29 |  0.000 % |
241.97/242.15	c |    105508 |   40759   571173  2544294 | 2147483647   105508     29 |  0.000 % |
242.36/242.58	c |    105668 |   40759   571173  2544294 | 2147483647   105668     29 |  0.000 % |
242.86/243.01	c |    105844 |   40759   571173  2544294 | 2147483647   105844     29 |  0.000 % |
243.46/243.63	c |    106039 |   40759   571173  2544294 | 2147483647   106039     29 |  0.000 % |
244.07/244.24	c |    106254 |   40759   571173  2544294 | 2147483647   106254     29 |  0.000 % |
244.66/244.81	c |    106487 |   40759   571173  2544294 | 2147483647   106487     29 |  0.000 % |
245.26/245.45	c |    106743 |   40759   571173  2544294 | 2147483647   106743     29 |  0.000 % |
245.96/246.11	c |    107024 |   40759   571173  2544294 | 2147483647   107024     29 |  0.000 % |
246.66/246.86	c |    107334 |   40759   571173  2544294 | 2147483647   107334     29 |  0.000 % |
247.66/247.82	c |    107677 |   40759   571173  2544294 | 2147483647   107677     29 |  0.000 % |
248.46/248.62	c |    108049 |   40759   571173  2544294 | 2147483647   108049     29 |  0.000 % |
249.46/249.64	c |    108460 |   40759   571173  2544294 | 2147483647   108460     29 |  0.000 % |
250.26/250.45	c |    108910 |   40759   571173  2544294 | 2147483647   108910     29 |  0.000 % |
250.96/251.12	c |    109405 |   40759   571173  2544294 | 2147483647   109405     29 |  0.000 % |
252.36/252.54	c |    109948 |   40759   571173  2544294 | 2147483647   109948     29 |  0.000 % |
254.16/254.33	c |    110544 |   40759   571173  2544294 | 2147483647   110544     29 |  0.000 % |
256.06/256.24	c |    111199 |   40759   571173  2544294 | 2147483647   111199     29 |  0.000 % |
257.46/257.70	c |    111920 |   40759   571173  2544294 | 2147483647   111920     29 |  0.000 % |
259.26/259.48	c |    112713 |   40759   571173  2544294 | 2147483647   112713     29 |  0.000 % |
261.36/261.52	c |    113587 |   40759   571173  2544294 | 2147483647   113587     29 |  0.000 % |
263.56/263.75	c |    114545 |   40759   571173  2544294 | 2147483647   114545     29 |  0.000 % |
265.85/266.00	c |    115599 |   40759   571173  2544294 | 2147483647   115599     29 |  0.000 % |
268.15/268.34	c |    116758 |   40759   571173  2544294 | 2147483647   116758     29 |  0.000 % |
271.85/272.00	c |    118031 |   40759   571173  2544294 | 2147483647   118031     29 |  0.000 % |
272.05/272.26	c |    118133 |   40759   571173  2544294 | 2147483647   118133     29 |  0.000 % |
272.45/272.61	c |    118243 |   40759   571173  2544294 | 2147483647   118243     29 |  0.000 % |
272.66/272.89	c |    118366 |   40759   571173  2544294 | 2147483647   118366     29 |  0.000 % |
272.95/273.18	c |    118504 |   40759   571173  2544294 | 2147483647   118504     29 |  0.000 % |
273.25/273.47	c |    118650 |   40759   571173  2544294 | 2147483647   118650     29 |  0.000 % |
273.65/273.81	c |    118810 |   40759   571173  2544294 | 2147483647   118810     29 |  0.000 % |
274.05/274.25	c |    118989 |   40759   571173  2544294 | 2147483647   118989     29 |  0.000 % |
274.55/274.74	c |    119182 |   40759   571173  2544294 | 2147483647   119182     29 |  0.000 % |
275.15/275.37	c |    119394 |   40759   571173  2544294 | 2147483647   119394     29 |  0.000 % |
275.55/275.78	c |    119630 |   40759   571173  2544294 | 2147483647   119630     29 |  0.000 % |
276.15/276.38	c |    119886 |   40759   571173  2544294 | 2147483647   119886     29 |  0.000 % |
276.85/277.03	c |    120167 |   40759   571173  2544294 | 2147483647   120167     29 |  0.000 % |
277.35/277.51	c |    120476 |   40759   571173  2544294 | 2147483647   120476     29 |  0.000 % |
278.45/278.60	c |    120815 |   40759   571173  2544294 | 2147483647   120815     29 |  0.000 % |
279.15/279.32	c |    121187 |   40759   571173  2544294 | 2147483647   121187     29 |  0.000 % |
280.15/280.32	c |    121596 |   40759   571173  2544294 | 2147483647   121596     29 |  0.000 % |
280.85/281.08	c |    122045 |   40759   571173  2544294 | 2147483647   122045     29 |  0.000 % |
282.35/282.54	c |    122539 |   40759   571173  2544294 | 2147483647   122539     29 |  0.000 % |
283.75/283.95	c |    123081 |   40759   571173  2544294 | 2147483647   123081     29 |  0.000 % |
285.25/285.44	c |    123678 |   40759   571173  2544294 | 2147483647   123678     29 |  0.000 % |
286.75/286.90	c |    124336 |   40759   571173  2544294 | 2147483647   124336     29 |  0.000 % |
288.05/288.25	c |    125058 |   40759   571173  2544294 | 2147483647   125058     29 |  0.000 % |
289.84/290.04	c |    125850 |   40759   571173  2544294 | 2147483647   125850     29 |  0.000 % |
291.35/291.57	c |    126721 |   40759   571173  2544294 | 2147483647   126721     29 |  0.000 % |
293.84/294.03	c |    127680 |   40759   571173  2544294 | 2147483647   127680     29 |  0.000 % |
295.94/296.16	c |    128735 |   40759   571173  2544294 | 2147483647   128735     29 |  0.000 % |
298.44/298.67	c |    129894 |   40759   571173  2544294 | 2147483647   129894     29 |  0.000 % |
301.34/301.53	c |    131167 |   40759   571173  2544294 | 2147483647   131167     29 |  0.000 % |
304.34/304.58	c |    132569 |   40759   571173  2544294 | 2147483647   132569     29 |  0.000 % |
304.54/304.76	c |    132669 |   40759   571173  2544294 | 2147483647   132669     29 |  0.000 % |
304.84/305.01	c |    132781 |   40759   571173  2544294 | 2147483647   132781     29 |  0.000 % |
305.24/305.40	c |    132903 |   40759   571173  2544294 | 2147483647   132903     29 |  0.000 % |
305.54/305.72	c |    133037 |   40759   571173  2544294 | 2147483647   133037     29 |  0.000 % |
306.04/306.30	c |    133186 |   40759   571173  2544294 | 2147483647   133186     29 |  0.000 % |
306.44/306.67	c |    133348 |   40759   571173  2544294 | 2147483647   133348     29 |  0.000 % |
306.84/307.07	c |    133525 |   40759   571173  2544294 | 2147483647   133525     29 |  0.000 % |
307.24/307.42	c |    133721 |   40759   571173  2544294 | 2147483647   133721     29 |  0.000 % |
307.54/307.78	c |    133933 |   40759   571173  2544294 | 2147483647   133933     29 |  0.000 % |
308.04/308.25	c |    134167 |   40759   571173  2544294 | 2147483647   134167     29 |  0.000 % |
308.54/308.78	c |    134423 |   40759   571173  2544294 | 2147483647   134423     29 |  0.000 % |
309.54/309.70	c |    134704 |   40759   571173  2544294 | 2147483647   134704     29 |  0.000 % |
310.35/310.51	c |    135015 |   40759   571173  2544294 | 2147483647   135015     29 |  0.000 % |
311.15/311.32	c |    135354 |   40759   571173  2544294 | 2147483647   135354     29 |  0.000 % |
312.35/312.51	c |    135726 |   40759   571173  2544294 | 2147483647   135726     29 |  0.000 % |
313.24/313.40	c |    136135 |   40759   571173  2544294 | 2147483647   136135     29 |  0.000 % |
314.84/315.03	c |    136585 |   40759   571173  2544294 | 2147483647   136585     29 |  0.000 % |
316.14/316.38	c |    137081 |   40759   571173  2544294 | 2147483647   137081     29 |  0.000 % |
317.24/317.42	c |    137625 |   40759   571173  2544294 | 2147483647   137625     29 |  0.000 % |
318.74/318.91	c |    138221 |   40759   571173  2544294 | 2147483647   138221     29 |  0.000 % |
320.24/320.47	c |    138876 |   40759   571173  2544294 | 2147483647   138876     29 |  0.000 % |
322.24/322.47	c |    139598 |   40759   571173  2544294 | 2147483647   139598     29 |  0.000 % |
324.24/324.45	c |    140391 |   40759   571173  2544294 | 2147483647   140391     29 |  0.000 % |
326.64/326.87	c |    141263 |   40759   571173  2544294 | 2147483647   141263     29 |  0.000 % |
329.34/329.55	c |    142222 |   40759   571173  2544294 | 2147483647   142222     29 |  0.000 % |
331.73/331.99	c |    143275 |   40759   571173  2544294 | 2147483647   143275     29 |  0.000 % |
334.73/334.90	c |    144435 |   40759   571173  2544294 | 2147483647   144435     29 |  0.000 % |
337.43/337.62	c |    145709 |   40759   571173  2544294 | 2147483647   145709     29 |  0.000 % |
340.13/340.38	c |    147110 |   40759   571173  2544294 | 2147483647   147110     29 |  0.000 % |
343.93/344.16	c |    148650 |   40759   571173  2544294 | 2147483647   148650     29 |  0.000 % |
344.03/344.29	c |    148751 |   40759   571173  2544294 | 2147483647   148751     29 |  0.000 % |
344.53/344.71	c |    148861 |   40759   571173  2544294 | 2147483647   148861     29 |  0.000 % |
344.83/345.05	c |    148983 |   40759   571173  2544294 | 2147483647   148983     29 |  0.000 % |
345.13/345.40	c |    149116 |   40759   571173  2544294 | 2147483647   149116     29 |  0.000 % |
345.63/345.81	c |    149262 |   40759   571173  2544294 | 2147483647   149262     29 |  0.000 % |
346.03/346.21	c |    149422 |   40759   571173  2544294 | 2147483647   149422     29 |  0.000 % |
346.33/346.54	c |    149598 |   40759   571173  2544294 | 2147483647   149598     29 |  0.000 % |
346.63/346.86	c |    149791 |   40759   571173  2544294 | 2147483647   149791     29 |  0.000 % |
347.23/347.43	c |    150005 |   40759   571173  2544294 | 2147483647   150005     29 |  0.000 % |
347.63/347.87	c |    150238 |   40759   571173  2544294 | 2147483647   150238     29 |  0.000 % |
348.13/348.32	c |    150494 |   40759   571173  2544294 | 2147483647   150494     29 |  0.000 % |
348.83/349.02	c |    150775 |   40759   571173  2544294 | 2147483647   150775     29 |  0.000 % |
349.63/349.90	c |    151084 |   40759   571173  2544294 | 2147483647   151084     29 |  0.000 % |
350.73/350.94	c |    151423 |   40759   571173  2544294 | 2147483647   151423     29 |  0.000 % |
352.03/352.22	c |    151796 |   40759   571173  2544294 | 2147483647   151796     29 |  0.000 % |
353.13/353.32	c |    152206 |   40759   571173  2544294 | 2147483647   152206     29 |  0.000 % |
354.13/354.31	c |    152657 |   40759   571173  2544294 | 2147483647   152657     29 |  0.000 % |
355.63/355.88	c |    153150 |   40759   571173  2544294 | 2147483647   153150     29 |  0.000 % |
357.13/357.32	c |    153692 |   40759   571173  2544294 | 2147483647   153692     29 |  0.000 % |
358.93/359.19	c |    154292 |   40759   571173  2544294 | 2147483647   154292     29 |  0.000 % |
361.12/361.33	c |    154947 |   40759   571173  2544294 | 2147483647   154947     29 |  0.000 % |
363.42/363.66	c |    155668 |   40759   571173  2544294 | 2147483647   155668     29 |  0.000 % |
365.62/365.81	c |    156461 |   40759   571173  2544294 | 2147483647   156461     29 |  0.000 % |
367.82/368.00	c |    157332 |   40759   571173  2544294 | 2147483647   157332     29 |  0.000 % |
370.02/370.22	c |    158292 |   40759   571173  2544294 | 2147483647   158292     29 |  0.000 % |
373.22/373.40	c |    159346 |   40759   571173  2544294 | 2147483647   159346     29 |  0.000 % |
375.12/375.38	c |    160504 |   40759   571173  2544294 | 2147483647   160504     29 |  0.000 % |
377.62/377.83	c |    161783 |   40759   571173  2544294 | 2147483647   161783     29 |  0.000 % |
382.42/382.61	c |    163184 |   40759   571173  2544294 | 2147483647   163184     29 |  0.000 % |
386.81/387.01	c |    164724 |   40759   571173  2544294 | 2147483647   164724     29 |  0.000 % |
395.21/395.42	c |    166420 |   40759   571173  2544294 | 2147483647   166420     29 |  0.000 % |
395.61/395.83	c |    166520 |   40759   571173  2544294 | 2147483647   166520     29 |  0.000 % |
396.01/396.20	c |    166630 |   40759   571173  2544294 | 2147483647   166630     29 |  0.000 % |
396.31/396.54	c |    166751 |   40759   571173  2544294 | 2147483647   166751     29 |  0.000 % |
396.61/396.81	c |    166886 |   40759   571173  2544294 | 2147483647   166886     29 |  0.000 % |
397.01/397.25	c |    167032 |   40759   571173  2544294 | 2147483647   167032     29 |  0.000 % |
397.31/397.58	c |    167193 |   40759   571173  2544294 | 2147483647   167193     29 |  0.000 % |
397.81/398.06	c |    167370 |   40759   571173  2544294 | 2147483647   167370     29 |  0.000 % |
398.71/398.90	c |    167563 |   40759   571173  2544294 | 2147483647   167563     29 |  0.000 % |
399.21/399.45	c |    167776 |   40759   571173  2544294 | 2147483647   167776     29 |  0.000 % |
399.71/399.92	c |    168009 |   40759   571173  2544294 | 2147483647   168009     29 |  0.000 % |
400.31/400.52	c |    168265 |   40759   571173  2544294 | 2147483647   168265     29 |  0.000 % |
401.31/401.55	c |    168547 |   40759   571173  2544294 | 2147483647   168547     29 |  0.000 % |
402.11/402.38	c |    168858 |   40759   571173  2544294 | 2147483647   168858     29 |  0.000 % |
403.21/403.40	c |    169197 |   40759   571173  2544294 | 2147483647   169197     29 |  0.000 % |
404.21/404.43	c |    169569 |   40759   571173  2544294 | 2147483647   169569     29 |  0.000 % |
405.31/405.56	c |    169979 |   40759   571173  2544294 | 2147483647   169979     29 |  0.000 % |
406.81/407.04	c |    170433 |   40759   571173  2544294 | 2147483647   170433     29 |  0.000 % |
408.01/408.20	c |    170928 |   40759   571173  2544294 | 2147483647   170928     29 |  0.000 % |
409.11/409.35	c |    171472 |   40759   571173  2544294 | 2147483647   171472     29 |  0.000 % |
411.10/411.33	c |    172069 |   40759   571173  2544294 | 2147483647   172069     29 |  0.000 % |
412.60/412.85	c |    172724 |   40759   571173  2544294 | 2147483647   172724     29 |  0.000 % |
414.80/415.00	c |    173445 |   40759   571173  2544294 | 2147483647   173445     29 |  0.000 % |
416.50/416.70	c |    174240 |   40759   571173  2544294 | 2147483647   174240     29 |  0.000 % |
419.41/419.65	c |    175112 |   40759   571173  2544294 | 2147483647   175112     29 |  0.000 % |
421.71/421.98	c |    176070 |   40759   571173  2544294 | 2147483647   176070     29 |  0.000 % |
424.51/424.76	c |    177123 |   40759   571173  2544294 | 2147483647   177123     29 |  0.000 % |
427.51/427.71	c |    178281 |   40759   571173  2544294 | 2147483647   178281     29 |  0.000 % |
431.20/431.40	c |    179555 |   40759   571173  2544294 | 2147483647   179555     29 |  0.000 % |
434.50/434.72	c |    180956 |   40759   571173  2544294 | 2147483647   180956     29 |  0.000 % |
437.90/438.17	c |    182496 |   40759   571173  2544294 | 2147483647   182496     29 |  0.000 % |
442.60/442.90	c |    184191 |   40759   571173  2544294 | 2147483647   184191     29 |  0.000 % |
447.20/447.48	c |    186054 |   40759   571173  2544294 | 2147483647   186054     29 |  0.000 % |
447.60/447.89	c |    186154 |   40759   571173  2544294 | 2147483647   186154     29 |  0.000 % |
447.90/448.12	c |    186265 |   40759   571173  2544294 | 2147483647   186265     29 |  0.000 % |
448.19/448.43	c |    186387 |   40759   571173  2544294 | 2147483647   186387     29 |  0.000 % |
448.60/448.90	c |    186521 |   40759   571173  2544294 | 2147483647   186521     29 |  0.000 % |
449.09/449.32	c |    186667 |   40759   571173  2544294 | 2147483647   186667     29 |  0.000 % |
449.49/449.73	c |    186827 |   40759   571173  2544294 | 2147483647   186827     29 |  0.000 % |
449.99/450.20	c |    187003 |   40759   571173  2544294 | 2147483647   187003     29 |  0.000 % |
450.39/450.68	c |    187197 |   40759   571173  2544294 | 2147483647   187197     29 |  0.000 % |
451.39/451.63	c |    187409 |   40759   571173  2544294 | 2147483647   187409     29 |  0.000 % |
452.00/452.22	c |    187642 |   40759   571173  2544294 | 2147483647   187642     29 |  0.000 % |
453.00/453.27	c |    187898 |   40759   571173  2544294 | 2147483647   187898     29 |  0.000 % |
453.79/454.05	c |    188181 |   40759   571173  2544294 | 2147483647   188181     29 |  0.000 % |
454.99/455.23	c |    188491 |   40759   571173  2544294 | 2147483647   188491     29 |  0.000 % |
455.69/455.94	c |    188830 |   40759   571173  2544294 | 2147483647   188830     29 |  0.000 % |
456.49/456.75	c |    189203 |   40759   571173  2544294 | 2147483647   189203     29 |  0.000 % |
457.59/457.82	c |    189613 |   40759   571173  2544294 | 2147483647   189613     29 |  0.000 % |
458.69/458.91	c |    190062 |   40759   571173  2544294 | 2147483647   190062     29 |  0.000 % |
460.29/460.59	c |    190557 |   40759   571173  2544294 | 2147483647   190557     29 |  0.000 % |
462.09/462.32	c |    191099 |   40759   571173  2544294 | 2147483647   191099     29 |  0.000 % |
463.69/463.97	c |    191696 |   40759   571173  2544294 | 2147483647   191696     29 |  0.000 % |
465.19/465.44	c |    192351 |   40759   571173  2544294 | 2147483647   192351     29 |  0.000 % |
467.08/467.31	c |    193071 |   40759   571173  2544294 | 2147483647   193071     29 |  0.000 % |
469.18/469.48	c |    193864 |   40759   571173  2544294 | 2147483647   193864     29 |  0.000 % |
471.78/472.00	c |    194735 |   40759   571173  2544294 | 2147483647   194735     29 |  0.000 % |
473.98/474.29	c |    195694 |   40759   571173  2544294 | 2147483647   195694     29 |  0.000 % |
477.09/477.38	c |    196747 |   40759   571173  2544294 | 2147483647   196747     29 |  0.000 % |
480.19/480.48	c |    197905 |   40759   571173  2544294 | 2147483647   197905     29 |  0.000 % |
483.98/484.21	c |    199178 |   40759   571173  2544294 | 2147483647   199178     29 |  0.000 % |
488.08/488.35	c |    200580 |   40759   571173  2544294 | 2147483647   200580     29 |  0.000 % |
492.48/492.76	c |    202122 |   40759   571173  2544294 | 2147483647   202122     29 |  0.000 % |
497.78/498.02	c |    203817 |   40759   571173  2544294 | 2147483647   203817     29 |  0.000 % |
505.78/506.03	c |    205682 |   40759   571173  2544294 | 2147483647   205682     29 |  0.000 % |
514.87/515.18	c |    207731 |   40759   571173  2544294 | 2147483647   207731     30 |  0.000 % |
515.17/515.47	c |    207832 |   40759   571173  2544294 | 2147483647   207832     30 |  0.000 % |
515.67/515.96	c |    207942 |   40759   571173  2544294 | 2147483647   207942     30 |  0.000 % |
516.07/516.34	c |    208064 |   40759   571173  2544294 | 2147483647   208064     30 |  0.000 % |
516.37/516.63	c |    208197 |   40759   571173  2544294 | 2147483647   208197     30 |  0.000 % |
516.77/517.04	c |    208345 |   40759   571173  2544294 | 2147483647   208345     30 |  0.000 % |
517.47/517.73	c |    208506 |   40759   571173  2544294 | 2147483647   208506     30 |  0.000 % |
517.87/518.14	c |    208682 |   40759   571173  2544294 | 2147483647   208682     30 |  0.000 % |
518.37/518.67	c |    208875 |   40759   571173  2544294 | 2147483647   208875     30 |  0.000 % |
519.07/519.32	c |    209088 |   40759   571173  2544294 | 2147483647   209088     30 |  0.000 % |
519.66/519.95	c |    209322 |   40759   571173  2544294 | 2147483647   209322     30 |  0.000 % |
520.36/520.66	c |    209578 |   40759   571173  2544294 | 2147483647   209578     30 |  0.000 % |
520.96/521.26	c |    209860 |   40759   571173  2544294 | 2147483647   209860     30 |  0.000 % |
521.56/521.88	c |    210172 |   40759   571173  2544294 | 2147483647   210172     30 |  0.000 % |
522.37/522.68	c |    210512 |   40759   571173  2544294 | 2147483647   210512     30 |  0.000 % |
523.26/523.52	c |    210885 |   40759   571173  2544294 | 2147483647   210885     30 |  0.000 % |
524.16/524.41	c |    211295 |   40759   571173  2544294 | 2147483647   211295     30 |  0.000 % |
525.68/525.95	c |    211745 |   40759   571173  2544294 | 2147483647   211745     30 |  0.000 % |
526.87/527.14	c |    212243 |   40759   571173  2544294 | 2147483647   212243     30 |  0.000 % |
528.17/528.49	c |    212786 |   40759   571173  2544294 | 2147483647   212786     30 |  0.000 % |
529.77/530.08	c |    213382 |   40759   571173  2544294 | 2147483647   213382     30 |  0.000 % |
531.17/531.50	c |    214037 |   40759   571173  2544294 | 2147483647   214037     30 |  0.000 % |
533.57/533.82	c |    214757 |   40759   571173  2544294 | 2147483647   214757     30 |  0.000 % |
536.06/536.31	c |    215549 |   40759   571173  2544294 | 2147483647   215549     30 |  0.000 % |
538.66/538.96	c |    216420 |   40759   571173  2544294 | 2147483647   216420     30 |  0.000 % |
542.26/542.50	c |    217378 |   40759   571173  2544294 | 2147483647   217378     30 |  0.000 % |
545.26/545.56	c |    218431 |   40759   571173  2544294 | 2147483647   218431     30 |  0.000 % |
548.86/549.16	c |    219590 |   40759   571173  2544294 | 2147483647   219590     30 |  0.000 % |
552.65/552.93	c |    220865 |   40759   571173  2544294 | 2147483647   220865     30 |  0.000 % |
556.25/556.54	c |    222265 |   40759   571173  2544294 | 2147483647   222265     30 |  0.000 % |
560.46/560.76	c |    223806 |   40759   571173  2544294 | 2147483647   223806     30 |  0.000 % |
565.96/566.20	c |    225500 |   40759   571173  2544294 | 2147483647   225500     30 |  0.000 % |
572.06/572.31	c |    227364 |   40759   571173  2544294 | 2147483647   227364     30 |  0.000 % |
578.35/578.63	c |    229413 |   40759   571173  2544294 | 2147483647   229413     30 |  0.000 % |
585.65/585.95	c |    231666 |   40759   571173  2544294 | 2147483647   231666     30 |  0.000 % |
585.95/586.20	c |    231767 |   40759   571173  2544294 | 2147483647   231767     30 |  0.000 % |
586.25/586.56	c |    231877 |   40759   571173  2544294 | 2147483647   231877     30 |  0.000 % |
586.65/586.98	c |    231999 |   40759   571173  2544294 | 2147483647   231999     30 |  0.000 % |
587.04/587.30	c |    232132 |   40759   571173  2544294 | 2147483647   232132     30 |  0.000 % |
587.54/587.84	c |    232278 |   40759   571173  2544294 | 2147483647   232278     30 |  0.000 % |
587.84/588.17	c |    232440 |   40759   571173  2544294 | 2147483647   232440     30 |  0.000 % |
588.35/588.69	c |    232617 |   40759   571173  2544294 | 2147483647   232617     30 |  0.000 % |
588.94/589.25	c |    232810 |   40759   571173  2544294 | 2147483647   232810     30 |  0.000 % |
589.64/589.91	c |    233023 |   40759   571173  2544294 | 2147483647   233023     30 |  0.000 % |
590.45/590.71	c |    233256 |   40759   571173  2544294 | 2147483647   233256     30 |  0.000 % |
591.04/591.30	c |    233512 |   40759   571173  2544294 | 2147483647   233512     30 |  0.000 % |
591.84/592.13	c |    233794 |   40759   571173  2544294 | 2147483647   233794     30 |  0.000 % |
592.84/593.15	c |    234103 |   40759   571173  2544294 | 2147483647   234103     30 |  0.000 % |
593.75/594.04	c |    234445 |   40759   571173  2544294 | 2147483647   234445     30 |  0.000 % |
594.54/594.85	c |    234819 |   40759   571173  2544294 | 2147483647   234819     30 |  0.000 % |
595.54/595.87	c |    235228 |   40759   571173  2544294 | 2147483647   235228     30 |  0.000 % |
596.94/597.27	c |    235677 |   40759   571173  2544294 | 2147483647   235677     30 |  0.000 % |
598.15/598.41	c |    236173 |   40759   571173  2544294 | 2147483647   236173     30 |  0.000 % |
599.74/600.03	c |    236715 |   40759   571173  2544294 | 2147483647   236715     30 |  0.000 % |
601.04/601.34	c |    237316 |   40759   571173  2544294 | 2147483647   237316     30 |  0.000 % |
602.65/602.96	c |    237972 |   40759   571173  2544294 | 2147483647   237972     30 |  0.000 % |
604.14/604.40	c |    238695 |   40759   571173  2544294 | 2147483647   238695     30 |  0.000 % |
606.14/606.40	c |    239489 |   40759   571173  2544294 | 2147483647   239489     30 |  0.000 % |
608.04/608.34	c |    240361 |   40759   571173  2544294 | 2147483647   240361     30 |  0.000 % |
611.04/611.33	c |    241319 |   40759   571173  2544294 | 2147483647   241319     30 |  0.000 % |
614.04/614.36	c |    242372 |   40759   571173  2544294 | 2147483647   242372     30 |  0.000 % |
616.94/617.26	c |    243531 |   40759   571173  2544294 | 2147483647   243531     30 |  0.000 % |
620.73/621.09	c |    244805 |   40759   571173  2544294 | 2147483647   244805     30 |  0.000 % |
623.53/623.85	c |    246206 |   40759   571173  2544294 | 2147483647   246206     30 |  0.000 % |
628.23/628.60	c |    247747 |   40759   571173  2544294 | 2147483647   247747     30 |  0.000 % |
632.33/632.62	c |    249441 |   40759   571173  2544294 | 2147483647   249441     30 |  0.000 % |
638.72/639.07	c |    251305 |   40759   571173  2544294 | 2147483647   251305     30 |  0.000 % |
645.03/645.36	c |    253354 |   40759   571173  2544294 | 2147483647   253354     30 |  0.000 % |
652.13/652.46	c |    255609 |   40759   571173  2544294 | 2147483647   255609     30 |  0.000 % |
658.52/658.82	c |    258087 |   40759   571173  2544294 | 2147483647   258087     30 |  0.000 % |
658.72/659.09	c |    258187 |   40759   571173  2544294 | 2147483647   258187     30 |  0.000 % |
659.02/659.30	c |    258297 |   40759   571173  2544294 | 2147483647   258297     30 |  0.000 % |
659.52/659.82	c |    258420 |   40759   571173  2544294 | 2147483647   258420     30 |  0.000 % |
659.82/660.14	c |    258555 |   40759   571173  2544294 | 2147483647   258555     30 |  0.000 % |
660.22/660.54	c |    258703 |   40759   571173  2544294 | 2147483647   258703     30 |  0.000 % |
660.72/661.07	c |    258864 |   40759   571173  2544294 | 2147483647   258864     30 |  0.000 % |
661.22/661.52	c |    259040 |   40759   571173  2544294 | 2147483647   259040     30 |  0.000 % |
661.71/662.06	c |    259233 |   40759   571173  2544294 | 2147483647   259233     30 |  0.000 % |
662.41/662.79	c |    259448 |   40759   571173  2544294 | 2147483647   259448     30 |  0.000 % |
663.31/663.64	c |    259682 |   40759   571173  2544294 | 2147483647   259682     30 |  0.000 % |
664.22/664.54	c |    259940 |   40759   571173  2544294 | 2147483647   259940     30 |  0.000 % |
664.81/665.13	c |    260222 |   40759   571173  2544294 | 2147483647   260222     30 |  0.000 % |
666.11/666.48	c |    260532 |   40759   571173  2544294 | 2147483647   260532     30 |  0.000 % |
667.31/667.60	c |    260871 |   40759   571173  2544294 | 2147483647   260871     30 |  0.000 % |
668.42/668.76	c |    261243 |   40759   571173  2544294 | 2147483647   261243     30 |  0.000 % |
669.62/669.95	c |    261655 |   40759   571173  2544294 | 2147483647   261655     30 |  0.000 % |
670.62/670.93	c |    262104 |   40759   571173  2544294 | 2147483647   262104     30 |  0.000 % |
672.12/672.42	c |    262597 |   40759   571173  2544294 | 2147483647   262597     30 |  0.000 % |
673.82/674.11	c |    263140 |   40759   571173  2544294 | 2147483647   263140     30 |  0.000 % |
675.72/676.05	c |    263736 |   40759   571173  2544294 | 2147483647   263736     30 |  0.000 % |
677.81/678.12	c |    264391 |   40759   571173  2544294 | 2147483647   264391     29 |  0.000 % |
680.11/680.44	c |    265113 |   40759   571173  2544294 | 2147483647   265113     30 |  0.000 % |
682.41/682.75	c |    265906 |   40759   571173  2544294 | 2147483647   265906     30 |  0.000 % |
684.61/684.92	c |    266777 |   40759   571173  2544294 | 2147483647   266777     30 |  0.000 % |
686.61/686.99	c |    267736 |   40759   571173  2544294 | 2147483647   267736     30 |  0.000 % |
689.21/689.52	c |    268790 |   40759   571173  2544294 | 2147483647   268790     29 |  0.000 % |
692.21/692.56	c |    269950 |   40759   571173  2544294 | 2147483647   269950     29 |  0.000 % |
696.11/696.46	c |    271225 |   40759   571173  2544294 | 2147483647   271225     30 |  0.000 % |
700.41/700.76	c |    272625 |   40759   571173  2544294 | 2147483647   272625     29 |  0.000 % |
704.41/704.70	c |    274165 |   40759   571173  2544294 | 2147483647   274165     30 |  0.000 % |
709.40/709.70	c |    275859 |   40759   571173  2544294 | 2147483647   275859     30 |  0.000 % |
714.20/714.50	c |    277723 |   40759   571173  2544294 | 2147483647   277723     30 |  0.000 % |
720.20/720.52	c |    279772 |   40759   571173  2544294 | 2147483647   279772     30 |  0.000 % |
726.70/727.08	c |    282025 |   40759   571173  2544294 | 2147483647   282025     30 |  0.000 % |
734.19/734.59	c |    284504 |   40759   571173  2544294 | 2147483647   284504     30 |  0.000 % |
741.49/741.86	c |    287229 |   40759   571173  2544294 | 2147483647   287229     30 |  0.000 % |
741.89/742.23	c |    287329 |   40759   571173  2544294 | 2147483647   287329     30 |  0.000 % |
742.29/742.61	c |    287441 |   40759   571173  2544294 | 2147483647   287441     30 |  0.000 % |
742.69/743.07	c |    287562 |   40759   571173  2544294 | 2147483647   287562     30 |  0.000 % |
743.29/743.67	c |    287698 |   40759   571173  2544294 | 2147483647   287698     30 |  0.000 % |
743.79/744.19	c |    287845 |   40759   571173  2544294 | 2147483647   287845     30 |  0.000 % |
744.29/744.62	c |    288005 |   40759   571173  2544294 | 2147483647   288005     30 |  0.000 % |
744.79/745.13	c |    288183 |   40759   571173  2544294 | 2147483647   288183     30 |  0.000 % |
745.18/745.55	c |    288376 |   40759   571173  2544294 | 2147483647   288376     30 |  0.000 % |
745.88/746.24	c |    288588 |   40759   571173  2544294 | 2147483647   288588     30 |  0.000 % |
746.59/746.93	c |    288822 |   40759   571173  2544294 | 2147483647   288822     30 |  0.000 % |
747.19/747.53	c |    289078 |   40759   571173  2544294 | 2147483647   289078     30 |  0.000 % |
747.98/748.32	c |    289360 |   40759   571173  2544294 | 2147483647   289360     30 |  0.000 % |
748.79/749.17	c |    289671 |   40759   571173  2544294 | 2147483647   289671     30 |  0.000 % |
749.48/749.85	c |    290011 |   40759   571173  2544294 | 2147483647   290011     30 |  0.000 % |
751.49/751.81	c |    290383 |   40759   571173  2544294 | 2147483647   290383     30 |  0.000 % |
753.99/754.36	c |    290794 |   40759   571173  2544294 | 2147483647   290794     30 |  0.000 % |
755.49/755.90	c |    291243 |   40759   571173  2544294 | 2147483647   291243     30 |  0.000 % |
757.29/757.66	c |    291737 |   40759   571173  2544294 | 2147483647   291737     30 |  0.000 % |
759.39/759.78	c |    292279 |   40759   571173  2544294 | 2147483647   292279     30 |  0.000 % |
761.09/761.44	c |    292875 |   40759   571173  2544294 | 2147483647   292875     30 |  0.000 % |
762.39/762.72	c |    293531 |   40759   571173  2544294 | 2147483647   293531     30 |  0.000 % |
765.09/765.42	c |    294252 |   40759   571173  2544294 | 2147483647   294252     30 |  0.000 % |
767.39/767.73	c |    295048 |   40759   571173  2544294 | 2147483647   295048     30 |  0.000 % |
769.89/770.28	c |    295920 |   40759   571173  2544294 | 2147483647   295920     30 |  0.000 % |
771.89/772.24	c |    296878 |   40759   571173  2544294 | 2147483647   296878     29 |  0.000 % |
775.08/775.40	c |    297935 |   40759   571173  2544294 | 2147483647   297935     29 |  0.000 % |
778.48/778.81	c |    299095 |   40759   571173  2544294 | 2147483647   299095     29 |  0.000 % |
782.58/782.91	c |    300368 |   40759   571173  2544294 | 2147483647   300368     29 |  0.000 % |
787.67/788.03	c |    301768 |   40759   571173  2544294 | 2147483647   301768     29 |  0.000 % |
792.67/793.06	c |    303309 |   40759   571173  2544294 | 2147483647   303309     29 |  0.000 % |
797.57/797.92	c |    305005 |   40759   571173  2544294 | 2147483647   305005     30 |  0.000 % |
803.47/803.80	c |    306870 |   40759   571173  2544294 | 2147483647   306870     30 |  0.000 % |
809.96/810.32	c |    308921 |   40759   571173  2544294 | 2147483647   308921     30 |  0.000 % |
816.17/816.52	c |    311174 |   40759   571173  2544294 | 2147483647   311174     30 |  0.000 % |
830.46/830.81	c |    313652 |   40759   571173  2544294 | 2147483647   313652     30 |  0.000 % |
841.26/841.61	c |    316377 |   40759   571173  2544294 | 2147483647   316377     30 |  0.000 % |
855.05/855.44	c |    319376 |   40759   571173  2544294 | 2147483647   319376     30 |  0.000 % |
855.35/855.72	c |    319476 |   40759   571173  2544294 | 2147483647   319476     30 |  0.000 % |
855.56/855.95	c |    319586 |   40759   571173  2544294 | 2147483647   319586     30 |  0.000 % |
856.25/856.67	c |    319707 |   40759   571173  2544294 | 2147483647   319707     30 |  0.000 % |
856.65/857.04	c |    319842 |   40759   571173  2544294 | 2147483647   319842     30 |  0.000 % |
857.05/857.48	c |    319988 |   40759   571173  2544294 | 2147483647   319988     30 |  0.000 % |
857.45/857.88	c |    320148 |   40759   571173  2544294 | 2147483647   320148     30 |  0.000 % |
857.95/858.37	c |    320328 |   40759   571173  2544294 | 2147483647   320328     30 |  0.000 % |
858.35/858.80	c |    320521 |   40759   571173  2544294 | 2147483647   320521     30 |  0.000 % |
859.15/859.54	c |    320733 |   40759   571173  2544294 | 2147483647   320733     30 |  0.000 % |
860.25/860.64	c |    320966 |   40759   571173  2544294 | 2147483647   320966     30 |  0.000 % |
860.95/861.37	c |    321224 |   40759   571173  2544294 | 2147483647   321224     30 |  0.000 % |
862.15/862.56	c |    321506 |   40759   571173  2544294 | 2147483647   321506     30 |  0.000 % |
863.25/863.67	c |    321815 |   40759   571173  2544294 | 2147483647   321815     30 |  0.000 % |
864.45/864.84	c |    322155 |   40759   571173  2544294 | 2147483647   322155     30 |  0.000 % |
865.65/866.03	c |    322528 |   40759   571173  2544294 | 2147483647   322528     30 |  0.000 % |
867.05/867.47	c |    322937 |   40759   571173  2544294 | 2147483647   322937     30 |  0.000 % |
868.25/868.62	c |    323388 |   40759   571173  2544294 | 2147483647   323388     30 |  0.000 % |
869.95/870.30	c |    323882 |   40759   571173  2544294 | 2147483647   323882     30 |  0.000 % |
871.96/872.31	c |    324425 |   40759   571173  2544294 | 2147483647   324425     30 |  0.000 % |
874.65/875.04	c |    325021 |   40759   571173  2544294 | 2147483647   325021     30 |  0.000 % |
876.15/876.58	c |    325676 |   40759   571173  2544294 | 2147483647   325676     30 |  0.000 % |
878.65/879.02	c |    326396 |   40759   571173  2544294 | 2147483647   326396     30 |  0.000 % |
881.25/881.61	c |    327188 |   40759   571173  2544294 | 2147483647   327188     30 |  0.000 % |
883.95/884.32	c |    328059 |   40759   571173  2544294 | 2147483647   328059     30 |  0.000 % |
886.95/887.35	c |    329017 |   40759   571173  2544294 | 2147483647   329017     30 |  0.000 % |
891.14/891.56	c |    330071 |   40759   571173  2544294 | 2147483647   330071     30 |  0.000 % |
895.54/895.95	c |    331231 |   40759   571173  2544294 | 2147483647   331231     30 |  0.000 % |
899.74/900.13	c |    332506 |   40759   571173  2544294 | 2147483647   332506     30 |  0.000 % |
904.64/905.06	c |    333906 |   40759   571173  2544294 | 2147483647   333906     30 |  0.000 % |
912.14/912.59	c |    335446 |   40759   571173  2544294 | 2147483647   335446     30 |  0.000 % |
918.44/918.89	c |    337140 |   40759   571173  2544294 | 2147483647   337140     30 |  0.000 % |
924.33/924.70	c |    339004 |   40759   571173  2544294 | 2147483647   339004     30 |  0.000 % |
931.33/931.71	c |    341053 |   40759   571173  2544294 | 2147483647   341053     30 |  0.000 % |
937.13/937.57	c |    343308 |   40759   571173  2544294 | 2147483647   343308     30 |  0.000 % |
946.22/946.69	c |    345787 |   40759   571173  2544294 | 2147483647   345787     30 |  0.000 % |
953.73/954.14	c |    348512 |   40759   571173  2544294 | 2147483647   348512     30 |  0.000 % |
964.52/964.95	c |    351509 |   40759   571173  2544294 | 2147483647   351509     30 |  0.000 % |
974.81/975.29	c |    354806 |   40759   571173  2544294 | 2147483647   354806     30 |  0.000 % |
975.12/975.59	c |    354906 |   40759   571173  2544294 | 2147483647   354906     30 |  0.000 % |
975.52/975.96	c |    355016 |   40759   571173  2544294 | 2147483647   355016     30 |  0.000 % |
975.92/976.35	c |    355142 |   40759   571173  2544294 | 2147483647   355142     30 |  0.000 % |
976.32/976.74	c |    355275 |   40759   571173  2544294 | 2147483647   355275     30 |  0.000 % |
976.92/977.30	c |    355421 |   40759   571173  2544294 | 2147483647   355421     30 |  0.000 % |
977.62/978.01	c |    355581 |   40759   571173  2544294 | 2147483647   355581     30 |  0.000 % |
978.22/978.66	c |    355757 |   40759   571173  2544294 | 2147483647   355757     30 |  0.000 % |
979.02/979.44	c |    355950 |   40759   571173  2544294 | 2147483647   355950     30 |  0.000 % |
979.72/980.17	c |    356164 |   40759   571173  2544294 | 2147483647   356164     30 |  0.000 % |
980.42/980.85	c |    356398 |   40759   571173  2544294 | 2147483647   356398     30 |  0.000 % |
981.42/981.85	c |    356654 |   40759   571173  2544294 | 2147483647   356654     30 |  0.000 % |
982.32/982.75	c |    356935 |   40759   571173  2544294 | 2147483647   356935     30 |  0.000 % |
983.32/983.73	c |    357246 |   40759   571173  2544294 | 2147483647   357246     30 |  0.000 % |
984.32/984.74	c |    357585 |   40759   571173  2544294 | 2147483647   357585     30 |  0.000 % |
985.51/985.96	c |    357957 |   40759   571173  2544294 | 2147483647   357957     30 |  0.000 % |
986.82/987.20	c |    358366 |   40759   571173  2544294 | 2147483647   358366     30 |  0.000 % |
988.62/989.08	c |    358815 |   40759   571173  2544294 | 2147483647   358815     30 |  0.000 % |
990.41/990.81	c |    359309 |   40759   571173  2544294 | 2147483647   359309     30 |  0.000 % |
992.51/992.97	c |    359851 |   40759   571173  2544294 | 2147483647   359851     30 |  0.000 % |
994.51/994.97	c |    360449 |   40759   571173  2544294 | 2147483647   360449     30 |  0.000 % |
996.31/996.74	c |    361104 |   40759   571173  2544294 | 2147483647   361104     30 |  0.000 % |
997.80/998.25	c |    361825 |   40759   571173  2544294 | 2147483647   361825     30 |  0.000 % |
1000.20/1000.68	c |    362617 |   40759   571173  2544294 | 2147483647   362617     30 |  0.000 % |
1002.91/1003.35	c |    363489 |   40759   571173  2544294 | 2147483647   363489     30 |  0.000 % |
1006.01/1006.43	c |    364447 |   40759   571173  2544294 | 2147483647   364447     31 |  0.000 % |
1010.31/1010.71	c |    365501 |   40759   571173  2544294 | 2147483647   365501     31 |  0.000 % |
1013.81/1014.28	c |    366661 |   40759   571173  2544294 | 2147483647   366661     31 |  0.000 % |
1017.30/1017.78	c |    367936 |   40759   571173  2544294 | 2147483647   367936     31 |  0.000 % |
1021.70/1022.15	c |    369337 |   40759   571173  2544294 | 2147483647   369337     31 |  0.000 % |
1026.40/1026.86	c |    370879 |   40759   571173  2544294 | 2147483647   370879     31 |  0.000 % |
1032.99/1033.41	c |    372574 |   40759   571173  2544294 | 2147483647   372574     31 |  0.000 % |
1038.79/1039.28	c |    374438 |   40759   571173  2544294 | 2147483647   374438     31 |  0.000 % |
1045.39/1045.87	c |    376487 |   40759   571173  2544294 | 2147483647   376487     31 |  0.000 % |
1052.89/1053.35	c |    378740 |   40759   571173  2544294 | 2147483647   378740     31 |  0.000 % |
1062.19/1062.70	c |    381220 |   40759   571173  2544294 | 2147483647   381220     31 |  0.000 % |
1071.19/1071.63	c |    383948 |   40759   571173  2544294 | 2147483647   383948     31 |  0.000 % |
1082.68/1083.11	c |    386945 |   40759   571173  2544294 | 2147483647   386945     31 |  0.000 % |
1095.28/1095.71	c |    390242 |   40759   571173  2544294 | 2147483647   390242     31 |  0.000 % |
1111.38/1111.82	c |    393873 |   40759   571173  2544294 | 2147483647   393873     31 |  0.000 % |
1111.88/1112.39	c |    393973 |   40759   571173  2544294 | 2147483647   393973     31 |  0.000 % |
1112.18/1112.65	c |    394084 |   40759   571173  2544294 | 2147483647   394084     31 |  0.000 % |
1112.48/1112.99	c |    394209 |   40759   571173  2544294 | 2147483647   394209     31 |  0.000 % |
1112.98/1113.46	c |    394342 |   40759   571173  2544294 | 2147483647   394342     31 |  0.000 % |
1113.57/1114.00	c |    394488 |   40759   571173  2544294 | 2147483647   394488     31 |  0.000 % |
1114.17/1114.67	c |    394649 |   40759   571173  2544294 | 2147483647   394649     31 |  0.000 % |
1114.87/1115.36	c |    394825 |   40759   571173  2544294 | 2147483647   394825     31 |  0.000 % |
1115.57/1116.05	c |    395019 |   40759   571173  2544294 | 2147483647   395019     31 |  0.000 % |
1116.08/1116.60	c |    395231 |   40759   571173  2544294 | 2147483647   395231     31 |  0.000 % |
1116.87/1117.39	c |    395466 |   40759   571173  2544294 | 2147483647   395466     31 |  0.000 % |
1118.17/1118.62	c |    395724 |   40759   571173  2544294 | 2147483647   395724     31 |  0.000 % |
1119.47/1119.98	c |    396005 |   40759   571173  2544294 | 2147483647   396005     31 |  0.000 % |
1120.47/1120.95	c |    396314 |   40759   571173  2544294 | 2147483647   396314     31 |  0.000 % |
1121.57/1122.06	c |    396654 |   40759   571173  2544294 | 2147483647   396654     31 |  0.000 % |
1123.07/1123.50	c |    397026 |   40759   571173  2544294 | 2147483647   397026     31 |  0.000 % |
1124.46/1124.98	c |    397437 |   40759   571173  2544294 | 2147483647   397437     31 |  0.000 % |
1125.86/1126.32	c |    397886 |   40759   571173  2544294 | 2147483647   397886     31 |  0.000 % |
1127.76/1128.20	c |    398379 |   40759   571173  2544294 | 2147483647   398379     31 |  0.000 % |
1129.46/1129.93	c |    398925 |   40759   571173  2544294 | 2147483647   398925     31 |  0.000 % |
1131.56/1132.07	c |    399521 |   40759   571173  2544294 | 2147483647   399521     31 |  0.000 % |
1134.26/1134.73	c |    400176 |   40759   571173  2544294 | 2147483647   400176     31 |  0.000 % |
1136.26/1136.80	c |    400898 |   40759   571173  2544294 | 2147483647   400898     31 |  0.000 % |
1139.96/1140.50	c |    401691 |   40759   571173  2544294 | 2147483647   401691     31 |  0.000 % |
1143.56/1144.04	c |    402563 |   40759   571173  2544294 | 2147483647   402563     31 |  0.000 % |
1146.35/1146.84	c |    403521 |   40759   571173  2544294 | 2147483647   403521     31 |  0.000 % |
1150.05/1150.53	c |    404576 |   40759   571173  2544294 | 2147483647   404576     31 |  0.000 % |
1154.36/1154.88	c |    405734 |   40759   571173  2544294 | 2147483647   405734     31 |  0.000 % |
1159.66/1160.14	c |    407007 |   40759   571173  2544294 | 2147483647   407007     31 |  0.000 % |
1164.76/1165.25	c |    408410 |   40759   571173  2544294 | 2147483647   408410     31 |  0.000 % |
1172.35/1172.81	c |    409952 |   40759   571173  2544294 | 2147483647   409952     31 |  0.000 % |
1178.35/1178.82	c |    411646 |   40759   571173  2544294 | 2147483647   411646     31 |  0.000 % |
1184.95/1185.41	c |    413509 |   40759   571173  2544294 | 2147483647   413509     31 |  0.000 % |
1191.95/1192.48	c |    415559 |   40759   571173  2544294 | 2147483647   415559     31 |  0.000 % |
1199.84/1200.33	c |    417813 |   40759   571173  2544294 | 2147483647   417813     31 |  0.000 % |
1207.65/1208.18	c |    420291 |   40759   571173  2544294 | 2147483647   420291     31 |  0.000 % |
1216.64/1217.12	c |    423017 |   40759   571173  2544294 | 2147483647   423017     31 |  0.000 % |
1225.64/1226.19	c |    426015 |   40759   571173  2544294 | 2147483647   426015     31 |  0.000 % |
1237.03/1237.60	c |    429311 |   40759   571173  2544294 | 2147483647   429311     31 |  0.000 % |
1251.03/1251.59	c |    432937 |   40759   571173  2544294 | 2147483647   432937     32 |  0.000 % |
1262.53/1263.09	c |    436925 |   40759   571173  2544294 | 2147483647   436925     32 |  0.000 % |
1262.93/1263.48	c |    437025 |   40759   571173  2544294 | 2147483647   437025     32 |  0.000 % |
1263.33/1263.89	c |    437136 |   40759   571173  2544294 | 2147483647   437136     32 |  0.000 % |
1263.93/1264.43	c |    437257 |   40759   571173  2544294 | 2147483647   437257     32 |  0.000 % |
1264.33/1264.84	c |    437390 |   40759   571173  2544294 | 2147483647   437390     32 |  0.000 % |
1264.82/1265.37	c |    437536 |   40759   571173  2544294 | 2147483647   437536     32 |  0.000 % |
1265.52/1266.05	c |    437697 |   40759   571173  2544294 | 2147483647   437697     32 |  0.000 % |
1266.12/1266.67	c |    437873 |   40759   571173  2544294 | 2147483647   437873     32 |  0.000 % |
1267.32/1267.85	c |    438067 |   40759   571173  2544294 | 2147483647   438067     32 |  0.000 % |
1268.12/1268.64	c |    438280 |   40759   571173  2544294 | 2147483647   438280     32 |  0.000 % |
1268.82/1269.40	c |    438514 |   40759   571173  2544294 | 2147483647   438514     32 |  0.000 % |
1270.22/1270.76	c |    438770 |   40759   571173  2544294 | 2147483647   438770     32 |  0.000 % |
1271.13/1271.65	c |    439051 |   40759   571173  2544294 | 2147483647   439051     32 |  0.000 % |
1272.22/1272.80	c |    439360 |   40759   571173  2544294 | 2147483647   439360     32 |  0.000 % |
1273.52/1274.09	c |    439699 |   40759   571173  2544294 | 2147483647   439699     32 |  0.000 % |
1274.82/1275.31	c |    440072 |   40759   571173  2544294 | 2147483647   440072     32 |  0.000 % |
1277.02/1277.53	c |    440482 |   40759   571173  2544294 | 2147483647   440482     32 |  0.000 % |
1278.62/1279.15	c |    440931 |   40759   571173  2544294 | 2147483647   440931     32 |  0.000 % |
1280.32/1280.81	c |    441424 |   40759   571173  2544294 | 2147483647   441424     32 |  0.000 % |
1282.32/1282.82	c |    441966 |   40759   571173  2544294 | 2147483647   441966     32 |  0.000 % |
1284.12/1284.64	c |    442563 |   40759   571173  2544294 | 2147483647   442563     32 |  0.000 % |
1286.52/1287.00	c |    443218 |   40759   571173  2544294 | 2147483647   443218     32 |  0.000 % |
1288.82/1289.35	c |    443940 |   40759   571173  2544294 | 2147483647   443940     31 |  0.000 % |
1292.12/1292.70	c |    444736 |   40759   571173  2544294 | 2147483647   444736     31 |  0.000 % |
1295.22/1295.80	c |    445607 |   40759   571173  2544294 | 2147483647   445607     31 |  0.000 % |
1298.42/1298.98	c |    446565 |   40759   571173  2544294 | 2147483647   446565     31 |  0.000 % |
1301.61/1302.12	c |    447619 |   40759   571173  2544294 | 2147483647   447619     31 |  0.000 % |
1306.61/1307.15	c |    448777 |   40759   571173  2544294 | 2147483647   448777     31 |  0.000 % |
1311.61/1312.18	c |    450050 |   40759   571173  2544294 | 2147483647   450050     31 |  0.000 % |
1317.51/1318.09	c |    451450 |   40759   571173  2544294 | 2147483647   451450     31 |  0.000 % |
1323.91/1324.43	c |    452990 |   40759   571173  2544294 | 2147483647   452990     32 |  0.000 % |
1329.41/1329.94	c |    454684 |   40759   571173  2544294 | 2147483647   454684     32 |  0.000 % |
1338.50/1339.09	c |    456547 |   40759   571173  2544294 | 2147483647   456547     32 |  0.000 % |
1348.10/1348.62	c |    458596 |   40759   571173  2544294 | 2147483647   458596     32 |  0.000 % |
1355.59/1356.10	c |    460849 |   40759   571173  2544294 | 2147483647   460849     32 |  0.000 % |
1366.29/1366.83	c |    463327 |   40759   571173  2544294 | 2147483647   463327     32 |  0.000 % |
1375.79/1376.32	c |    466052 |   40759   571173  2544294 | 2147483647   466052     32 |  0.000 % |
1385.69/1386.23	c |    469049 |   40759   571173  2544294 | 2147483647   469049     32 |  0.000 % |
1396.49/1397.09	c |    472346 |   40759   571173  2544294 | 2147483647   472346     32 |  0.000 % |
1411.28/1411.83	c |    475973 |   40759   571173  2544294 | 2147483647   475973     32 |  0.000 % |
1427.17/1427.71	c |    479960 |   40759   571173  2544294 | 2147483647   479960     32 |  0.000 % |
1445.17/1445.79	c |    484345 |   40759   571173  2544294 | 2147483647   484345     32 |  0.000 % |
1445.76/1446.36	c |    484445 |   40759   571173  2544294 | 2147483647   484445     32 |  0.000 % |
1446.26/1446.89	c |    484555 |   40759   571173  2544294 | 2147483647   484555     32 |  0.000 % |
1447.07/1447.61	c |    484679 |   40759   571173  2544294 | 2147483647   484679     32 |  0.000 % |
1447.36/1447.98	c |    484813 |   40759   571173  2544294 | 2147483647   484813     32 |  0.000 % |
1447.96/1448.58	c |    484960 |   40759   571173  2544294 | 2147483647   484960     32 |  0.000 % |
1448.46/1449.07	c |    485120 |   40759   571173  2544294 | 2147483647   485120     32 |  0.000 % |
1449.27/1449.81	c |    485296 |   40759   571173  2544294 | 2147483647   485296     32 |  0.000 % |
1449.87/1450.49	c |    485492 |   40759   571173  2544294 | 2147483647   485492     32 |  0.000 % |
1450.67/1451.24	c |    485707 |   40759   571173  2544294 | 2147483647   485707     32 |  0.000 % |
1451.27/1451.86	c |    485941 |   40759   571173  2544294 | 2147483647   485941     32 |  0.000 % |
1452.27/1452.88	c |    486198 |   40759   571173  2544294 | 2147483647   486198     32 |  0.000 % |
1453.67/1454.29	c |    486479 |   40759   571173  2544294 | 2147483647   486479     32 |  0.000 % |
1454.97/1455.54	c |    486789 |   40759   571173  2544294 | 2147483647   486789     32 |  0.000 % |
1456.37/1456.96	c |    487129 |   40759   571173  2544294 | 2147483647   487129     32 |  0.000 % |
1457.76/1458.33	c |    487502 |   40759   571173  2544294 | 2147483647   487502     32 |  0.000 % |
1459.46/1460.01	c |    487912 |   40759   571173  2544294 | 2147483647   487912     32 |  0.000 % |
1461.06/1461.65	c |    488362 |   40759   571173  2544294 | 2147483647   488362     32 |  0.000 % |
1463.06/1463.62	c |    488855 |   40759   571173  2544294 | 2147483647   488855     32 |  0.000 % |
1464.66/1465.20	c |    489401 |   40759   571173  2544294 | 2147483647   489401     32 |  0.000 % |
1466.56/1467.11	c |    489997 |   40759   571173  2544294 | 2147483647   489997     32 |  0.000 % |
1468.86/1469.46	c |    490652 |   40759   571173  2544294 | 2147483647   490652     32 |  0.000 % |
1471.16/1471.77	c |    491372 |   40759   571173  2544294 | 2147483647   491372     32 |  0.000 % |
1474.36/1474.93	c |    492167 |   40759   571173  2544294 | 2147483647   492167     32 |  0.000 % |
1477.96/1478.58	c |    493038 |   40759   571173  2544294 | 2147483647   493038     32 |  0.000 % |
1482.16/1482.73	c |    493996 |   40759   571173  2544294 | 2147483647   493996     32 |  0.000 % |
1486.85/1487.42	c |    495049 |   40759   571173  2544294 | 2147483647   495049     32 |  0.000 % |
1490.75/1491.38	c |    496209 |   40759   571173  2544294 | 2147483647   496209     32 |  0.000 % |
1496.15/1496.70	c |    497482 |   40759   571173  2544294 | 2147483647   497482     32 |  0.000 % |
1501.26/1501.89	c |    498882 |   40759   571173  2544294 | 2147483647   498882     32 |  0.000 % |
1508.95/1509.59	c |    500422 |   40759   571173  2544294 | 2147483647   500422     32 |  0.000 % |
1518.05/1518.66	c |    502116 |   40759   571173  2544294 | 2147483647   502116     32 |  0.000 % |
1524.55/1525.10	c |    503979 |   40759   571173  2544294 | 2147483647   503979     32 |  0.000 % |
1533.64/1534.25	c |    506028 |   40759   571173  2544294 | 2147483647   506028     32 |  0.000 % |
1544.84/1545.47	c |    508281 |   40759   571173  2544294 | 2147483647   508281     32 |  0.000 % |
1554.33/1554.93	c |    510760 |   40759   571173  2544294 | 2147483647   510760     32 |  0.000 % |
1565.44/1566.01	c |    513489 |   40759   571173  2544294 | 2147483647   513489     32 |  0.000 % |
1577.63/1578.20	c |    516486 |   40759   571173  2544294 | 2147483647   516486     32 |  0.000 % |
1593.23/1593.86	c |    519788 |   40759   571173  2544294 | 2147483647   519788     32 |  0.000 % |
1610.52/1611.12	c |    523413 |   40759   571173  2544294 | 2147483647   523413     32 |  0.000 % |
1624.52/1625.17	c |    527401 |   40759   571173  2544294 | 2147483647   527401     32 |  0.000 % |
1643.81/1644.44	c |    531787 |   40759   571173  2544294 | 2147483647   531787     32 |  0.000 % |
1667.80/1668.44	c |    536611 |   40759   571173  2544294 | 2147483647   536611     33 |  0.000 % |
1668.10/1668.74	c |    536711 |   40759   571173  2544294 | 2147483647   536711     33 |  0.000 % |
1668.40/1669.02	c |    536821 |   40759   571173  2544294 | 2147483647   536821     33 |  0.000 % |
1668.80/1669.45	c |    536942 |   40759   571173  2544294 | 2147483647   536942     33 |  0.000 % |
1669.30/1669.95	c |    537077 |   40759   571173  2544294 | 2147483647   537077     33 |  0.000 % |
1669.90/1670.57	c |    537223 |   40759   571173  2544294 | 2147483647   537223     33 |  0.000 % |
1670.40/1671.04	c |    537385 |   40759   571173  2544294 | 2147483647   537385     33 |  0.000 % |
1671.10/1671.72	c |    537563 |   40759   571173  2544294 | 2147483647   537563     33 |  0.000 % |
1671.79/1672.48	c |    537756 |   40759   571173  2544294 | 2147483647   537756     33 |  0.000 % |
1672.79/1673.41	c |    537968 |   40759   571173  2544294 | 2147483647   537968     33 |  0.000 % |
1673.79/1674.44	c |    538201 |   40759   571173  2544294 | 2147483647   538201     33 |  0.000 % |
1675.19/1675.89	c |    538457 |   40759   571173  2544294 | 2147483647   538457     33 |  0.000 % |
1676.49/1677.16	c |    538739 |   40759   571173  2544294 | 2147483647   538739     33 |  0.000 % |
1677.79/1678.42	c |    539049 |   40759   571173  2544294 | 2147483647   539049     33 |  0.000 % |
1678.69/1679.39	c |    539388 |   40759   571173  2544294 | 2147483647   539388     33 |  0.000 % |
1680.19/1680.89	c |    539760 |   40759   571173  2544294 | 2147483647   539760     32 |  0.000 % |
1681.69/1682.36	c |    540169 |   40759   571173  2544294 | 2147483647   540169     32 |  0.000 % |
1683.89/1684.56	c |    540621 |   40759   571173  2544294 | 2147483647   540621     32 |  0.000 % |
1685.49/1686.12	c |    541114 |   40759   571173  2544294 | 2147483647   541114     32 |  0.000 % |
1687.09/1687.76	c |    541656 |   40759   571173  2544294 | 2147483647   541656     32 |  0.000 % |
1689.49/1690.10	c |    542252 |   40759   571173  2544294 | 2147483647   542252     32 |  0.000 % |
1692.09/1692.74	c |    542908 |   40759   571173  2544294 | 2147483647   542908     32 |  0.000 % |
1694.80/1695.44	c |    543628 |   40759   571173  2544294 | 2147483647   543628     32 |  0.000 % |
1697.29/1697.95	c |    544421 |   40759   571173  2544294 | 2147483647   544421     32 |  0.000 % |
1700.99/1701.61	c |    545293 |   40759   571173  2544294 | 2147483647   545293     32 |  0.000 % |
1704.40/1705.07	c |    546251 |   40759   571173  2544294 | 2147483647   546251     32 |  0.000 % |
1707.89/1708.55	c |    547306 |   40759   571173  2544294 | 2147483647   547306     32 |  0.000 % |
1712.39/1713.03	c |    548466 |   40759   571173  2544294 | 2147483647   548466     32 |  0.000 % |
1718.29/1718.97	c |    549740 |   40759   571173  2544294 | 2147483647   549740     33 |  0.000 % |
1723.99/1724.67	c |    551140 |   40759   571173  2544294 | 2147483647   551140     33 |  0.000 % |
1733.38/1734.03	c |    552680 |   40759   571173  2544294 | 2147483647   552680     33 |  0.000 % |
1741.98/1742.67	c |    554375 |   40759   571173  2544294 | 2147483647   554375     33 |  0.000 % |
1748.38/1749.02	c |    556238 |   40759   571173  2544294 | 2147483647   556238     33 |  0.000 % |
1755.97/1756.64	c |    558287 |   40759   571173  2544294 | 2147483647   558287     33 |  0.000 % |
1765.98/1766.69	c |    560540 |   40759   571173  2544294 | 2147483647   560540     33 |  0.000 % |
1775.57/1776.26	c |    563018 |   40759   571173  2544294 | 2147483647   563018     33 |  0.000 % |
1787.87/1788.53	c |    565743 |   40759   571173  2544294 | 2147483647   565743     33 |  0.000 % |
1798.26/1798.92	c |    568740 |   40759   571173  2544294 | 2147483647   568740     33 |  0.000 % |
1811.56/1812.26	c |    572037 |   40759   571173  2544294 | 2147483647   572037     33 |  0.000 % |
1834.15/1834.88	c |    575662 |   40759   571173  2544294 | 2147483647   575662     33 |  0.000 % |
1850.55/1851.20	c |    579649 |   40759   571173  2544294 | 2147483647   579649     33 |  0.000 % |
1870.94/1871.68	c |    584035 |   40759   571173  2544294 | 2147483647   584035     33 |  0.000 % |
1892.73/1893.40	c |    588858 |   40759   571173  2544294 | 2147483647   588858     33 |  0.000 % |
1915.03/1915.79	c |    594164 |   40759   571173  2544294 | 2147483647   594164     33 |  0.000 % |
1915.53/1916.25	c |    594264 |   40759   571173  2544294 | 2147483647   594264     33 |  0.000 % |
1915.93/1916.61	c |    594374 |   40759   571173  2544294 | 2147483647   594374     33 |  0.000 % |
1916.53/1917.23	c |    594495 |   40759   571173  2544294 | 2147483647   594495     33 |  0.000 % |
1917.33/1918.04	c |    594629 |   40759   571173  2544294 | 2147483647   594629     33 |  0.000 % |
1918.13/1918.89	c |    594775 |   40759   571173  2544294 | 2147483647   594775     33 |  0.000 % |
1918.83/1919.51	c |    594935 |   40759   571173  2544294 | 2147483647   594935     33 |  0.000 % |
1919.33/1920.01	c |    595111 |   40759   571173  2544294 | 2147483647   595111     33 |  0.000 % |
1919.82/1920.54	c |    595305 |   40759   571173  2544294 | 2147483647   595305     33 |  0.000 % |
1920.82/1921.54	c |    595517 |   40759   571173  2544294 | 2147483647   595517     33 |  0.000 % |
1922.02/1922.74	c |    595750 |   40759   571173  2544294 | 2147483647   595750     33 |  0.000 % |
1922.92/1923.68	c |    596006 |   40759   571173  2544294 | 2147483647   596006     33 |  0.000 % |
1924.33/1925.09	c |    596288 |   40759   571173  2544294 | 2147483647   596288     33 |  0.000 % |
1925.72/1926.44	c |    596597 |   40759   571173  2544294 | 2147483647   596597     33 |  0.000 % |
1927.82/1928.58	c |    596936 |   40759   571173  2544294 | 2147483647   596936     33 |  0.000 % |
1929.22/1929.93	c |    597308 |   40759   571173  2544294 | 2147483647   597308     33 |  0.000 % |
1931.22/1931.91	c |    597717 |   40759   571173  2544294 | 2147483647   597717     33 |  0.000 % |
1934.12/1934.88	c |    598171 |   40759   571173  2544294 | 2147483647   598171     33 |  0.000 % |
1936.32/1937.10	c |    598665 |   40759   571173  2544294 | 2147483647   598665     33 |  0.000 % |
1938.72/1939.41	c |    599207 |   40759   571173  2544294 | 2147483647   599207     33 |  0.000 % |
1940.52/1941.27	c |    599804 |   40759   571173  2544294 | 2147483647   599804     33 |  0.000 % |
1943.12/1943.83	c |    600460 |   40759   571173  2544294 | 2147483647   600460     33 |  0.000 % |
1947.42/1948.19	c |    601180 |   40759   571173  2544294 | 2147483647   601180     33 |  0.000 % |
1951.71/1952.44	c |    601973 |   40759   571173  2544294 | 2147483647   601973     33 |  0.000 % |
1955.81/1956.50	c |    602844 |   40759   571173  2544294 | 2147483647   602844     33 |  0.000 % |
1959.91/1960.67	c |    603802 |   40759   571173  2544294 | 2147483647   603802     33 |  0.000 % |
1965.41/1966.17	c |    604859 |   40759   571173  2544294 | 2147483647   604859     33 |  0.000 % |
1970.01/1970.78	c |    606017 |   40759   571173  2544294 | 2147483647   606017     33 |  0.000 % |
1976.51/1977.29	c |    607291 |   40759   571173  2544294 | 2147483647   607291     33 |  0.000 % |
1983.41/1984.20	c |    608693 |   40759   571173  2544294 | 2147483647   608693     33 |  0.000 % |
1989.90/1990.67	c |    610233 |   40759   571173  2544294 | 2147483647   610233     33 |  0.000 % |
1997.50/1998.25	c |    611927 |   40759   571173  2544294 | 2147483647   611927     33 |  0.000 % |
2002.70/2003.49	c |    613790 |   40759   571173  2544294 | 2147483647   613790     33 |  0.000 % |
2011.40/2012.12	c |    615841 |   40759   571173  2544294 | 2147483647   615841     33 |  0.000 % |
2019.09/2019.90	c |    618094 |   40759   571173  2544294 | 2147483647   618094     33 |  0.000 % |
2029.79/2030.50	c |    620573 |   40759   571173  2544294 | 2147483647   620573     33 |  0.000 % |
2039.49/2040.26	c |    623300 |   40759   571173  2544294 | 2147483647   623300     33 |  0.000 % |
2052.49/2053.26	c |    626297 |   40759   571173  2544294 | 2147483647   626297     33 |  0.000 % |
2061.28/2062.03	c |    629595 |   40759   571173  2544294 | 2147483647   629595     33 |  0.000 % |
2077.77/2078.60	c |    633221 |   40759   571173  2544294 | 2147483647   633221     33 |  0.000 % |
2092.17/2092.96	c |    637208 |   40759   571173  2544294 | 2147483647   637208     33 |  0.000 % |
2114.67/2115.44	c |    641593 |   40759   571173  2544294 | 2147483647   641593     33 |  0.000 % |
2133.86/2134.67	c |    646416 |   40759   571173  2544294 | 2147483647   646416     33 |  0.000 % |
2160.65/2161.49	c |    651723 |   40759   571173  2544294 | 2147483647   651723     33 |  0.000 % |
2178.65/2179.41	c |    657558 |   40759   571173  2544294 | 2147483647   657558     33 |  0.000 % |
2179.15/2179.90	c |    657658 |   40759   571173  2544294 | 2147483647   657658     33 |  0.000 % |
2179.55/2180.35	c |    657769 |   40759   571173  2544294 | 2147483647   657769     33 |  0.000 % |
2180.05/2180.82	c |    657891 |   40759   571173  2544294 | 2147483647   657891     33 |  0.000 % |
2180.75/2181.53	c |    658025 |   40759   571173  2544294 | 2147483647   658025     33 |  0.000 % |
2181.55/2182.31	c |    658173 |   40759   571173  2544294 | 2147483647   658173     33 |  0.000 % |
2182.15/2182.95	c |    658335 |   40759   571173  2544294 | 2147483647   658335     33 |  0.000 % |
2182.85/2183.67	c |    658511 |   40759   571173  2544294 | 2147483647   658511     33 |  0.000 % |
2184.15/2184.91	c |    658707 |   40759   571173  2544294 | 2147483647   658707     33 |  0.000 % |
2184.85/2185.62	c |    658919 |   40759   571173  2544294 | 2147483647   658919     33 |  0.000 % |
2185.75/2186.55	c |    659154 |   40759   571173  2544294 | 2147483647   659154     33 |  0.000 % |
2187.25/2188.03	c |    659410 |   40759   571173  2544294 | 2147483647   659410     33 |  0.000 % |
2188.65/2189.46	c |    659692 |   40759   571173  2544294 | 2147483647   659692     33 |  0.000 % |
2190.15/2190.95	c |    660003 |   40759   571173  2544294 | 2147483647   660003     33 |  0.000 % |
2191.75/2192.60	c |    660342 |   40759   571173  2544294 | 2147483647   660342     33 |  0.000 % |
2194.14/2194.91	c |    660716 |   40759   571173  2544294 | 2147483647   660716     33 |  0.000 % |
2195.84/2196.68	c |    661126 |   40759   571173  2544294 | 2147483647   661126     33 |  0.000 % |
2197.64/2198.43	c |    661576 |   40759   571173  2544294 | 2147483647   661576     33 |  0.000 % |
2200.04/2200.88	c |    662070 |   40759   571173  2544294 | 2147483647   662070     33 |  0.000 % |
2202.64/2203.44	c |    662612 |   40759   571173  2544294 | 2147483647   662612     33 |  0.000 % |
2205.24/2206.08	c |    663209 |   40759   571173  2544294 | 2147483647   663209     33 |  0.000 % |
2208.74/2209.50	c |    663864 |   40759   571173  2544294 | 2147483647   663864     33 |  0.000 % |
2211.54/2212.35	c |    664585 |   40759   571173  2544294 | 2147483647   664585     33 |  0.000 % |
2214.54/2215.37	c |    665377 |   40759   571173  2544294 | 2147483647   665377     33 |  0.000 % |
2217.84/2218.70	c |    666250 |   40759   571173  2544294 | 2147483647   666250     33 |  0.000 % |
2223.43/2224.29	c |    667210 |   40759   571173  2544294 | 2147483647   667210     33 |  0.000 % |
2228.13/2228.95	c |    668266 |   40759   571173  2544294 | 2147483647   668266     33 |  0.000 % |
2234.33/2235.18	c |    669425 |   40759   571173  2544294 | 2147483647   669425     33 |  0.000 % |
2241.22/2242.04	c |    670700 |   40759   571173  2544294 | 2147483647   670700     33 |  0.000 % |
2250.43/2251.28	c |    672101 |   40759   571173  2544294 | 2147483647   672101     33 |  0.000 % |
2258.12/2258.99	c |    673642 |   40759   571173  2544294 | 2147483647   673642     33 |  0.000 % |
2265.12/2265.95	c |    675336 |   40759   571173  2544294 | 2147483647   675336     33 |  0.000 % |
2272.62/2273.45	c |    677200 |   40759   571173  2544294 | 2147483647   677200     33 |  0.000 % |
2283.32/2284.14	c |    679249 |   40759   571173  2544294 | 2147483647   679249     33 |  0.000 % |
2296.61/2297.42	c |    681504 |   40759   571173  2544294 | 2147483647   681504     33 |  0.000 % |
2314.00/2314.85	c |    683982 |   40759   571173  2544294 | 2147483647   683982     33 |  0.000 % |
2335.10/2335.97	c |    686708 |   40759   571173  2544294 | 2147483647   686708     33 |  0.000 % |
2351.00/2351.84	c |    689708 |   40759   571173  2544294 | 2147483647   689708     33 |  0.000 % |
2370.39/2371.27	c |    693005 |   40759   571173  2544294 | 2147483647   693005     33 |  0.000 % |
2386.58/2387.41	c |    696631 |   40759   571173  2544294 | 2147483647   696631     33 |  0.000 % |
2401.38/2402.20	c |    700619 |   40759   571173  2544294 | 2147483647   700619     33 |  0.000 % |
2425.37/2426.25	c |    705004 |   40759   571173  2544294 | 2147483647   705004     33 |  0.000 % |
2447.37/2448.27	c |    709828 |   40759   571173  2544294 | 2147483647   709828     33 |  0.000 % |
2469.46/2470.35	c |    715134 |   40759   571173  2544294 | 2147483647   715134     33 |  0.000 % |
2493.15/2494.08	c |    720969 |   40759   571173  2544294 | 2147483647   720969     33 |  0.000 % |
2525.45/2526.32	c |    727392 |   40759   571173  2544294 | 2147483647   727392     34 |  0.000 % |
2526.15/2527.06	c |    727493 |   40759   571173  2544294 | 2147483647   727493     34 |  0.000 % |
2527.05/2527.92	c |    727603 |   40759   571173  2544294 | 2147483647   727603     34 |  0.000 % |
2527.94/2528.84	c |    727724 |   40759   571173  2544294 | 2147483647   727724     34 |  0.000 % |
2528.64/2529.51	c |    727858 |   40759   571173  2544294 | 2147483647   727858     34 |  0.000 % |
2529.64/2530.50	c |    728005 |   40759   571173  2544294 | 2147483647   728005     34 |  0.000 % |
2530.64/2531.56	c |    728165 |   40759   571173  2544294 | 2147483647   728165     34 |  0.000 % |
2531.24/2532.17	c |    728341 |   40759   571173  2544294 | 2147483647   728341     34 |  0.000 % |
2532.24/2533.13	c |    728534 |   40759   571173  2544294 | 2147483647   728534     34 |  0.000 % |
2533.24/2534.15	c |    728746 |   40759   571173  2544294 | 2147483647   728746     34 |  0.000 % |
2534.14/2535.04	c |    728980 |   40759   571173  2544294 | 2147483647   728980     34 |  0.000 % |
2535.34/2536.30	c |    729236 |   40759   571173  2544294 | 2147483647   729236     34 |  0.000 % |
2536.74/2537.61	c |    729517 |   40759   571173  2544294 | 2147483647   729517     34 |  0.000 % |
2538.34/2539.29	c |    729827 |   40759   571173  2544294 | 2147483647   729827     34 |  0.000 % |
2539.74/2540.65	c |    730166 |   40759   571173  2544294 | 2147483647   730166     34 |  0.000 % |
2541.74/2542.68	c |    730538 |   40759   571173  2544294 | 2147483647   730538     34 |  0.000 % |
2543.44/2544.34	c |    730947 |   40759   571173  2544294 | 2147483647   730947     34 |  0.000 % |
2545.93/2546.81	c |    731397 |   40759   571173  2544294 | 2147483647   731397     34 |  0.000 % |
2548.13/2549.01	c |    731892 |   40759   571173  2544294 | 2147483647   731892     34 |  0.000 % |
2550.43/2551.40	c |    732434 |   40759   571173  2544294 | 2147483647   732434     34 |  0.000 % |
2552.83/2553.76	c |    733030 |   40759   571173  2544294 | 2147483647   733030     34 |  0.000 % |
2555.94/2556.82	c |    733686 |   40759   571173  2544294 | 2147483647   733686     34 |  0.000 % |
2559.43/2560.35	c |    734406 |   40759   571173  2544294 | 2147483647   734406     34 |  0.000 % |
2563.83/2564.77	c |    735198 |   40759   571173  2544294 | 2147483647   735198     34 |  0.000 % |
2566.43/2567.37	c |    736071 |   40759   571173  2544294 | 2147483647   736071     34 |  0.000 % |
2570.13/2571.06	c |    737029 |   40759   571173  2544294 | 2147483647   737029     34 |  0.000 % |
2576.43/2577.31	c |    738083 |   40759   571173  2544294 | 2147483647   738083     34 |  0.000 % |
2582.92/2583.83	c |    739241 |   40759   571173  2544294 | 2147483647   739241     34 |  0.000 % |
2593.72/2594.61	c |    740514 |   40759   571173  2544294 | 2147483647   740514     34 |  0.000 % |
2603.62/2604.58	c |    741915 |   40759   571173  2544294 | 2147483647   741915     34 |  0.000 % |
2615.72/2616.67	c |    743455 |   40759   571173  2544294 | 2147483647   743455     34 |  0.000 % |
2627.81/2628.79	c |    745149 |   40759   571173  2544294 | 2147483647   745149     34 |  0.000 % |
2639.81/2640.71	c |    747013 |   40759   571173  2544294 | 2147483647   747013     34 |  0.000 % |
2652.00/2652.95	c |    749062 |   40759   571173  2544294 | 2147483647   749062     34 |  0.000 % |
2662.20/2663.11	c |    751315 |   40759   571173  2544294 | 2147483647   751315     34 |  0.000 % |
2675.70/2676.62	c |    753793 |   40759   571173  2544294 | 2147483647   753793     34 |  0.000 % |
2694.20/2695.16	c |    756518 |   40759   571173  2544294 | 2147483647   756518     34 |  0.000 % |
2707.39/2708.32	c |    759516 |   40759   571173  2544294 | 2147483647   759516     34 |  0.000 % |
2724.89/2725.82	c |    762813 |   40759   571173  2544294 | 2147483647   762813     34 |  0.000 % |
2737.99/2738.90	c |    766438 |   40759   571173  2544294 | 2147483647   766438     34 |  0.000 % |
2757.78/2758.79	c |    770426 |   40759   571173  2544294 | 2147483647   770426     34 |  0.000 % |
2775.77/2776.72	c |    774811 |   40759   571173  2544294 | 2147483647   774811     34 |  0.000 % |
2801.27/2802.24	c |    779636 |   40759   571173  2544294 | 2147483647   779636     34 |  0.000 % |
2830.35/2831.36	c |    784946 |   40759   571173  2544294 | 2147483647   784946     34 |  0.000 % |
2859.65/2860.60	c |    790782 |   40759   571173  2544294 | 2147483647   790782     34 |  0.000 % |
2902.53/2903.54	c |    797201 |   40759   571173  2544294 | 2147483647   797201     34 |  0.000 % |
2926.43/2927.47	c |    804260 |   40759   571173  2544294 | 2147483647   804260     34 |  0.000 % |
2926.93/2927.96	c |    804360 |   40759   571173  2544294 | 2147483647   804360     34 |  0.000 % |
2927.53/2928.53	c |    804473 |   40759   571173  2544294 | 2147483647   804473     34 |  0.000 % |
2927.93/2928.96	c |    804595 |   40759   571173  2544294 | 2147483647   804595     34 |  0.000 % |
2928.72/2929.70	c |    804728 |   40759   571173  2544294 | 2147483647   804728     34 |  0.000 % |
2929.32/2930.38	c |    804876 |   40759   571173  2544294 | 2147483647   804876     34 |  0.000 % |
2930.22/2931.25	c |    805038 |   40759   571173  2544294 | 2147483647   805038     34 |  0.000 % |
2931.52/2932.51	c |    805215 |   40759   571173  2544294 | 2147483647   805215     34 |  0.000 % |
2932.32/2933.39	c |    805408 |   40759   571173  2544294 | 2147483647   805408     34 |  0.000 % |
2933.12/2934.15	c |    805620 |   40759   571173  2544294 | 2147483647   805620     34 |  0.000 % |
2934.22/2935.24	c |    805853 |   40759   571173  2544294 | 2147483647   805853     34 |  0.000 % |
2936.32/2937.33	c |    806110 |   40759   571173  2544294 | 2147483647   806110     34 |  0.000 % |
2937.52/2938.54	c |    806394 |   40759   571173  2544294 | 2147483647   806394     34 |  0.000 % |
2939.62/2940.69	c |    806705 |   40759   571173  2544294 | 2147483647   806705     34 |  0.000 % |
2941.22/2942.30	c |    807044 |   40759   571173  2544294 | 2147483647   807044     34 |  0.000 % |
2943.31/2944.33	c |    807416 |   40759   571173  2544294 | 2147483647   807416     34 |  0.000 % |
2945.42/2946.43	c |    807825 |   40759   571173  2544294 | 2147483647   807825     34 |  0.000 % |
2948.41/2949.44	c |    808275 |   40759   571173  2544294 | 2147483647   808275     34 |  0.000 % |
2951.52/2952.56	c |    808768 |   40759   571173  2544294 | 2147483647   808768     34 |  0.000 % |
2954.91/2955.99	c |    809311 |   40759   571173  2544294 | 2147483647   809311     34 |  0.000 % |
2958.61/2959.69	c |    809907 |   40759   571173  2544294 | 2147483647   809907     34 |  0.000 % |
2962.92/2963.94	c |    810563 |   40759   571173  2544294 | 2147483647   810563     34 |  0.000 % |
2966.22/2967.24	c |    811285 |   40759   571173  2544294 | 2147483647   811285     34 |  0.000 % |
2970.42/2971.46	c |    812077 |   40759   571173  2544294 | 2147483647   812077     34 |  0.000 % |
2976.31/2977.36	c |    812949 |   40759   571173  2544294 | 2147483647   812949     34 |  0.000 % |
2985.21/2986.20	c |    813908 |   40759   571173  2544294 | 2147483647   813908     34 |  0.000 % |
2993.40/2994.47	c |    814962 |   40759   571173  2544294 | 2147483647   814962     34 |  0.000 % |
3001.70/3002.73	c |    816121 |   40759   571173  2544294 | 2147483647   816121     34 |  0.000 % |
3011.59/3012.63	c |    817394 |   40759   571173  2544294 | 2147483647   817394     34 |  0.000 % |
3018.60/3019.68	c |    818794 |   40759   571173  2544294 | 2147483647   818794     34 |  0.000 % |
3024.90/3025.97	c |    820334 |   40759   571173  2544294 | 2147483647   820334     34 |  0.000 % |
3033.19/3034.24	c |    822029 |   40759   571173  2544294 | 2147483647   822029     34 |  0.000 % |
3042.99/3044.07	c |    823892 |   40759   571173  2544294 | 2147483647   823892     34 |  0.000 % |
3052.49/3053.51	c |    825941 |   40759   571173  2544294 | 2147483647   825941     34 |  0.000 % |
3064.48/3065.56	c |    828194 |   40759   571173  2544294 | 2147483647   828194     34 |  0.000 % |
3077.28/3078.32	c |    830673 |   40759   571173  2544294 | 2147483647   830673     34 |  0.000 % |
3091.57/3092.66	c |    833398 |   40759   571173  2544294 | 2147483647   833398     34 |  0.000 % |
3100.07/3101.20	c |    836395 |   40759   571173  2544294 | 2147483647   836395     35 |  0.000 % |
3114.97/3116.08	c |    839692 |   40759   571173  2544294 | 2147483647   839692     34 |  0.000 % |
3130.26/3131.32	c |    843318 |   40759   571173  2544294 | 2147483647   843318     35 |  0.000 % |
3149.76/3150.89	c |    847307 |   40759   571173  2544294 | 2147483647   847307     35 |  0.000 % |
3167.75/3168.85	c |    851692 |   40759   571173  2544294 | 2147483647   851692     35 |  0.000 % |
3191.54/3192.65	c |    856515 |   40759   571173  2544294 | 2147483647   856515     35 |  0.000 % |
3227.14/3228.24	c |    861822 |   40759   571173  2544294 | 2147483647   861822     35 |  0.000 % |
3260.82/3261.99	c |    867657 |   40759   571173  2544294 | 2147483647   867657     35 |  0.000 % |
3294.01/3295.15	c |    874075 |   40759   571173  2544294 | 2147483647   874075     35 |  0.000 % |
3334.40/3335.55	c |    881134 |   40759   571173  2544294 | 2147483647   881134     35 |  0.000 % |
3381.29/3382.46	c |    888898 |   40759   571173  2544294 | 2147483647   888898     35 |  0.000 % |
3381.89/3383.01	c |    888999 |   40759   571173  2544294 | 2147483647   888999     35 |  0.000 % |
3382.39/3383.56	c |    889116 |   40759   571173  2544294 | 2147483647   889116     35 |  0.000 % |
3383.29/3384.46	c |    889237 |   40759   571173  2544294 | 2147483647   889237     35 |  0.000 % |
3384.09/3385.28	c |    889373 |   40759   571173  2544294 | 2147483647   889373     35 |  0.000 % |
3384.89/3386.03	c |    889519 |   40759   571173  2544294 | 2147483647   889519     35 |  0.000 % |
3385.99/3387.11	c |    889679 |   40759   571173  2544294 | 2147483647   889679     35 |  0.000 % |
3386.99/3388.15	c |    889855 |   40759   571173  2544294 | 2147483647   889855     35 |  0.000 % |
3387.89/3389.02	c |    890048 |   40759   571173  2544294 | 2147483647   890048     35 |  0.000 % |
3389.19/3390.36	c |    890260 |   40759   571173  2544294 | 2147483647   890260     35 |  0.000 % |
3390.19/3391.31	c |    890493 |   40759   571173  2544294 | 2147483647   890493     35 |  0.000 % |
3391.59/3392.74	c |    890752 |   40759   571173  2544294 | 2147483647   890752     35 |  0.000 % |
3394.18/3395.30	c |    891033 |   40759   571173  2544294 | 2147483647   891033     35 |  0.000 % |
3395.79/3396.92	c |    891342 |   40759   571173  2544294 | 2147483647   891342     35 |  0.000 % |
3397.48/3398.61	c |    891681 |   40759   571173  2544294 | 2147483647   891681     35 |  0.000 % |
3399.58/3400.76	c |    892054 |   40759   571173  2544294 | 2147483647   892054     35 |  0.000 % |
3402.18/3403.31	c |    892463 |   40759   571173  2544294 | 2147483647   892463     35 |  0.000 % |
3403.68/3404.87	c |    892913 |   40759   571173  2544294 | 2147483647   892913     35 |  0.000 % |
3406.88/3408.02	c |    893406 |   40759   571173  2544294 | 2147483647   893406     35 |  0.000 % |
3411.08/3412.28	c |    893951 |   40759   571173  2544294 | 2147483647   893951     35 |  0.000 % |
3415.97/3417.11	c |    894548 |   40759   571173  2544294 | 2147483647   894548     35 |  0.000 % |
3418.98/3420.15	c |    895204 |   40759   571173  2544294 | 2147483647   895204     35 |  0.000 % |
3423.08/3424.27	c |    895924 |   40759   571173  2544294 | 2147483647   895924     35 |  0.000 % |
3427.38/3428.59	c |    896717 |   40759   571173  2544294 | 2147483647   896717     35 |  0.000 % |
3432.68/3433.88	c |    897588 |   40759   571173  2544294 | 2147483647   897588     35 |  0.000 % |
3438.97/3440.10	c |    898546 |   40759   571173  2544294 | 2147483647   898546     35 |  0.000 % |
3445.56/3446.78	c |    899600 |   40759   571173  2544294 | 2147483647   899600     35 |  0.000 % |
3452.56/3453.71	c |    900761 |   40759   571173  2544294 | 2147483647   900761     35 |  0.000 % |
3459.66/3460.80	c |    902034 |   40759   571173  2544294 | 2147483647   902034     35 |  0.000 % |
3466.56/3467.70	c |    903436 |   40759   571173  2544294 | 2147483647   903436     35 |  0.000 % |
3474.45/3475.68	c |    904980 |   40759   571173  2544294 | 2147483647   904980     35 |  0.000 % |
3486.65/3487.83	c |    906678 |   40759   571173  2544294 | 2147483647   906678     35 |  0.000 % |
3497.15/3498.38	c |    908541 |   40759   571173  2544294 | 2147483647   908541     35 |  0.000 % |
3508.14/3509.30	c |    910590 |   40759   571173  2544294 | 2147483647   910590     35 |  0.000 % |
3519.84/3521.07	c |    912844 |   40759   571173  2544294 | 2147483647   912844     35 |  0.000 % |
3535.04/3536.20	c |    915322 |   40759   571173  2544294 | 2147483647   915322     35 |  0.000 % |
3549.64/3550.83	c |    918048 |   40759   571173  2544294 | 2147483647   918048     35 |  0.000 % |
3563.43/3564.66	c |    921046 |   40759   571173  2544294 | 2147483647   921046     35 |  0.000 % |
3582.82/3584.05	c |    924343 |   40759   571173  2544294 | 2147483647   924343     35 |  0.000 % |
3603.62/3604.86	c |    927968 |   40759   571173  2544294 | 2147483647   927968     35 |  0.000 % |
3626.31/3627.53	c |    931955 |   40759   571173  2544294 | 2147483647   931955     35 |  0.000 % |
3647.10/3648.32	c |    936340 |   40759   571173  2544294 | 2147483647   936340     35 |  0.000 % |
3668.20/3669.45	c |    941165 |   40759   571173  2544294 | 2147483647   941165     35 |  0.000 % |
3697.48/3698.78	c |    946470 |   40759   571173  2544294 | 2147483647   946470     35 |  0.000 % |
3721.08/3722.39	c |    952305 |   40759   571173  2544294 | 2147483647   952305     35 |  0.000 % |
3755.17/3756.46	c |    958723 |   40759   571173  2544294 | 2147483647   958723     35 |  0.000 % |
3795.16/3796.47	c |    965784 |   40759   571173  2544294 | 2147483647   965784     35 |  0.000 % |
3833.15/3834.46	c |    973548 |   40759   571173  2544294 | 2147483647   973548     35 |  0.000 % |
3881.14/3882.40	c |    982088 |   40759   571173  2544294 | 2147483647   982088     35 |  0.000 % |
3881.64/3882.94	c |    982188 |   40759   571173  2544294 | 2147483647   982188     35 |  0.000 % |
3882.34/3883.66	c |    982298 |   40759   571173  2544294 | 2147483647   982298     35 |  0.000 % |
3882.84/3884.17	c |    982424 |   40759   571173  2544294 | 2147483647   982424     35 |  0.000 % |
3883.84/3885.11	c |    982557 |   40759   571173  2544294 | 2147483647   982557     35 |  0.000 % |
3884.94/3886.21	c |    982703 |   40759   571173  2544294 | 2147483647   982703     35 |  0.000 % |
3886.04/3887.31	c |    982863 |   40759   571173  2544294 | 2147483647   982863     35 |  0.000 % |
3887.04/3888.33	c |    983039 |   40759   571173  2544294 | 2147483647   983039     35 |  0.000 % |
3888.34/3889.61	c |    983234 |   40759   571173  2544294 | 2147483647   983234     35 |  0.000 % |
3889.24/3890.56	c |    983446 |   40759   571173  2544294 | 2147483647   983446     35 |  0.000 % |
3890.94/3892.26	c |    983680 |   40759   571173  2544294 | 2147483647   983680     35 |  0.000 % |
3892.74/3894.06	c |    983936 |   40759   571173  2544294 | 2147483647   983936     35 |  0.000 % |
3894.34/3895.63	c |    984217 |   40759   571173  2544294 | 2147483647   984217     35 |  0.000 % |
3896.04/3897.37	c |    984526 |   40759   571173  2544294 | 2147483647   984526     35 |  0.000 % |
3897.93/3899.26	c |    984865 |   40759   571173  2544294 | 2147483647   984865     35 |  0.000 % |
3899.83/3901.15	c |    985237 |   40759   571173  2544294 | 2147483647   985237     35 |  0.000 % |
3902.53/3903.84	c |    985646 |   40759   571173  2544294 | 2147483647   985646     35 |  0.000 % |
3905.03/3906.33	c |    986096 |   40759   571173  2544294 | 2147483647   986096     35 |  0.000 % |
3907.93/3909.21	c |    986589 |   40759   571173  2544294 | 2147483647   986589     35 |  0.000 % |
3911.53/3912.89	c |    987133 |   40759   571173  2544294 | 2147483647   987133     35 |  0.000 % |
3914.62/3915.99	c |    987732 |   40759   571173  2544294 | 2147483647   987732     35 |  0.000 % |
3918.52/3919.90	c |    988388 |   40759   571173  2544294 | 2147483647   988388     35 |  0.000 % |
3922.42/3923.75	c |    989109 |   40759   571173  2544294 | 2147483647   989109     35 |  0.000 % |
3926.92/3928.23	c |    989902 |   40759   571173  2544294 | 2147483647   989902     35 |  0.000 % |
3934.01/3935.30	c |    990774 |   40759   571173  2544294 | 2147483647   990774     35 |  0.000 % |
3940.62/3941.98	c |    991732 |   40759   571173  2544294 | 2147483647   991732     35 |  0.000 % |
3947.22/3948.57	c |    992786 |   40759   571173  2544294 | 2147483647   992786     35 |  0.000 % |
3952.51/3953.82	c |    993944 |   40759   571173  2544294 | 2147483647   993944     35 |  0.000 % |
3957.91/3959.23	c |    995217 |   40759   571173  2544294 | 2147483647   995217     35 |  0.000 % |
3963.81/3965.15	c |    996617 |   40759   571173  2544294 | 2147483647   996617     35 |  0.000 % |
3972.80/3974.19	c |    998159 |   40759   571173  2544294 | 2147483647   998159     35 |  0.000 % |
3981.90/3983.24	c |    999853 |   40759   571173  2544294 | 2147483647   999853     35 |  0.000 % |
3991.20/3992.55	c |   1001716 |   40759   571173  2544294 | 2147483647  1001716     35 |  0.000 % |
4007.99/4009.34	c |   1003765 |   40759   571173  2544294 | 2147483647  1003765     35 |  0.000 % |
4026.39/4027.70	c |   1006018 |   40759   571173  2544294 | 2147483647  1006018     35 |  0.000 % |
4037.69/4039.03	c |   1008496 |   40759   571173  2544294 | 2147483647  1008496     35 |  0.000 % |
4051.38/4052.76	c |   1011223 |   40759   571173  2544294 | 2147483647  1011223     35 |  0.000 % |
4064.08/4065.44	c |   1014220 |   40759   571173  2544294 | 2147483647  1014220     35 |  0.000 % |
4084.77/4086.19	c |   1017518 |   40759   571173  2544294 | 2147483647  1017518     35 |  0.000 % |
4104.07/4105.43	c |   1021143 |   40759   571173  2544294 | 2147483647  1021143     35 |  0.000 % |
4139.95/4141.36	c |   1025132 |   40759   571173  2544294 | 2147483647  1025132     35 |  0.000 % |
4182.45/4183.88	c |   1029517 |   40759   571173  2544294 | 2147483647  1029517     35 |  0.000 % |
4214.14/4215.52	c |   1034340 |   40759   571173  2544294 | 2147483647  1034340     35 |  0.000 % |
4262.12/4263.58	c |   1039647 |   40759   571173  2544294 | 2147483647  1039647     36 |  0.000 % |
4309.01/4310.46	c |   1045486 |   40759   571173  2544294 | 2147483647  1045486     36 |  0.000 % |
4353.50/4354.94	c |   1051904 |   40759   571173  2544294 | 2147483647  1051904     36 |  0.000 % |
4412.99/4414.44	c |   1058963 |   40759   571173  2544294 | 2147483647  1058963     36 |  0.000 % |
4484.66/4486.11	c |   1066727 |   40759   571173  2544294 | 2147483647  1066727     36 |  0.000 % |
4560.04/4561.58	c |   1075270 |   40759   571173  2544294 | 2147483647  1075270     36 |  0.000 % |
4622.02/4623.53	c |   1084666 |   40759   571173  2544294 |  1080003  1084666     36 |  0.000 % |
4625.82/4627.35	c |   1084766 |   40759   571173  2544294 |  1080003   976300     36 |  0.000 % |
4626.92/4628.45	c |   1084877 |   40759   571173  2544294 |  1080003   976411     36 |  0.000 % |
4628.12/4629.62	c |   1085002 |   40759   571173  2544294 |  1080003   976536     36 |  0.000 % |
4629.42/4630.90	c |   1085137 |   40759   571173  2544294 |  1080003   976671     36 |  0.000 % |
4630.42/4631.92	c |   1085283 |   40759   571173  2544294 |  1080003   976817     36 |  0.000 % |
4631.82/4633.36	c |   1085443 |   40759   571173  2544294 |  1080003   976977     36 |  0.000 % |
4633.61/4635.15	c |   1085619 |   40759   571173  2544294 |  1080003   977153     36 |  0.000 % |
4635.41/4636.96	c |   1085812 |   40759   571173  2544294 |  1080003   977346     36 |  0.000 % |
4636.31/4637.88	c |   1086024 |   40759   571173  2544294 |  1080003   977558     36 |  0.000 % |
4637.21/4638.75	c |   1086257 |   40759   571173  2544294 |  1080003   977791     36 |  0.000 % |
4639.21/4640.78	c |   1086514 |   40759   571173  2544294 |  1080003   978048     36 |  0.000 % |
4641.01/4642.52	c |   1086795 |   40759   571173  2544294 |  1080003   978329     36 |  0.000 % |
4642.41/4643.98	c |   1087106 |   40759   571173  2544294 |  1080003   978640     36 |  0.000 % |
4644.51/4646.05	c |   1087445 |   40759   571173  2544294 |  1080003   978979     36 |  0.000 % |
4645.91/4647.41	c |   1087817 |   40759   571173  2544294 |  1080003   979351     36 |  0.000 % |
4648.11/4649.61	c |   1088226 |   40759   571173  2544294 |  1080003   979760     36 |  0.000 % |
4650.91/4652.42	c |   1088676 |   40759   571173  2544294 |  1080003   980210     36 |  0.000 % |
4654.10/4655.67	c |   1089170 |   40759   571173  2544294 |  1080003   980704     36 |  0.000 % |
4657.01/4658.54	c |   1089713 |   40759   571173  2544294 |  1080003   981247     36 |  0.000 % |
4660.30/4661.87	c |   1090309 |   40759   571173  2544294 | 2147483647   981843     36 |  0.000 % |
4663.90/4665.44	c |   1090965 |   40759   571173  2544294 | 2147483647   982499     36 |  0.000 % |
4668.40/4669.99	c |   1091685 |   40759   571173  2544294 | 2147483647   983219     36 |  0.000 % |
4671.90/4673.48	c |   1092477 |   40759   571173  2544294 | 2147483647   984011     36 |  0.000 % |
4677.00/4678.57	c |   1093348 |   40759   571173  2544294 | 2147483647   984882     36 |  0.000 % |
4681.90/4683.41	c |   1094306 |   40759   571173  2544294 | 2147483647   985840     36 |  0.000 % |
4687.09/4688.65	c |   1095361 |   40759   571173  2544294 | 2147483647   986895     36 |  0.000 % |
4693.09/4694.62	c |   1096519 |   40759   571173  2544294 | 2147483647   988053     36 |  0.000 % |
4700.09/4701.68	c |   1097793 |   40759   571173  2544294 | 2147483647   989327     36 |  0.000 % |
4708.60/4710.18	c |   1099193 |   40759   571173  2544294 | 2147483647   990727     36 |  0.000 % |
4718.49/4720.07	c |   1100733 |   40759   571173  2544294 | 2147483647   992267     36 |  0.000 % |
4729.29/4730.86	c |   1102429 |   40759   571173  2544294 | 2147483647   993963     36 |  0.000 % |
4743.29/4744.88	c |   1104292 |   40759   571173  2544294 | 2147483647   995826     36 |  0.000 % |
4754.89/4756.44	c |   1106341 |   40759   571173  2544294 | 2147483647   997875     36 |  0.000 % |
4768.08/4769.64	c |   1108594 |   40759   571173  2544294 | 2147483647  1000128     36 |  0.000 % |
4782.97/4784.55	c |   1111073 |   40759   571173  2544294 | 2147483647  1002607     36 |  0.000 % |
4798.77/4800.33	c |   1113798 |   40759   571173  2544294 | 2147483647  1005332     36 |  0.000 % |
4813.17/4814.73	c |   1116795 |   40759   571173  2544294 | 2147483647  1008329     36 |  0.000 % |
4836.36/4837.98	c |   1120091 |   40759   571173  2544294 | 2147483647  1011625     36 |  0.000 % |
4863.25/4864.89	c |   1123716 |   40759   571173  2544294 | 2147483647  1015250     36 |  0.000 % |
4890.74/4892.35	c |   1127704 |   40759   571173  2544294 | 2147483647  1019238     36 |  0.000 % |
4926.83/4928.43	c |   1132089 |   40759   571173  2544294 | 2147483647  1023623     36 |  0.000 % |
4958.81/4960.46	c |   1136914 |   40759   571173  2544294 | 2147483647  1028448     36 |  0.000 % |
4988.30/4989.94	c |   1142219 |   40759   571173  2544294 | 2147483647  1033753     36 |  0.000 % |
5040.80/5042.49	c |   1148054 |   40759   571173  2544294 | 2147483647  1039588     36 |  0.000 % |
5073.89/5075.52	c |   1154473 |   40759   571173  2544294 | 2147483647  1046007     36 |  0.000 % |
5115.78/5117.41	c |   1161533 |   40759   571173  2544294 | 2147483647  1053067     36 |  0.000 % |
5159.36/5161.07	c |   1169297 |   40759   571173  2544294 | 2147483647  1060831     36 |  0.000 % |
5238.63/5240.37	c |   1177837 |   40759   571173  2544294 | 2147483647  1069371     36 |  0.000 % |
5316.92/5318.67	c |   1187232 |   40759   571173  2544294 | 2147483647  1078766     36 |  0.000 % |
5356.61/5358.32	c |   1197566 |   40759   571173  2544294 | 2147483647  1089100     36 |  0.000 % |
5357.00/5358.79	c |   1197668 |   40759   571173  2544294 | 2147483647  1089202     36 |  0.000 % |
5358.10/5359.83	c |   1197781 |   40759   571173  2544294 | 2147483647  1089315     36 |  0.000 % |
5359.10/5360.81	c |   1197903 |   40759   571173  2544294 | 2147483647  1089437     36 |  0.000 % |
5360.00/5361.78	c |   1198036 |   40759   571173  2544294 | 2147483647  1089570     36 |  0.000 % |
5361.30/5363.07	c |   1198186 |   40759   571173  2544294 | 2147483647  1089720     36 |  0.000 % |
5362.70/5364.40	c |   1198346 |   40759   571173  2544294 | 2147483647  1089880     36 |  0.000 % |
5364.10/5365.85	c |   1198523 |   40759   571173  2544294 | 2147483647  1090057     36 |  0.000 % |
5365.60/5367.33	c |   1198718 |   40759   571173  2544294 | 2147483647  1090252     36 |  0.000 % |
5367.50/5369.27	c |   1198930 |   40759   571173  2544294 | 2147483647  1090464     36 |  0.000 % |
5369.20/5370.90	c |   1199166 |   40759   571173  2544294 | 2147483647  1090700     36 |  0.000 % |
5370.80/5372.54	c |   1199422 |   40759   571173  2544294 | 2147483647  1090956     36 |  0.000 % |
5372.19/5373.93	c |   1199704 |   40759   571173  2544294 | 2147483647  1091238     36 |  0.000 % |
5374.39/5376.11	c |   1200016 |   40759   571173  2544294 | 2147483647  1091550     36 |  0.000 % |
5376.79/5378.59	c |   1200356 |   40759   571173  2544294 | 2147483647  1091890     36 |  0.000 % |
5379.70/5381.42	c |   1200729 |   40759   571173  2544294 | 2147483647  1092263     36 |  0.000 % |
5382.10/5383.89	c |   1201139 |   40759   571173  2544294 | 2147483647  1092673     36 |  0.000 % |
5385.10/5386.86	c |   1201589 |   40759   571173  2544294 | 2147483647  1093123     36 |  0.000 % |
5388.20/5389.92	c |   1202082 |   40759   571173  2544294 | 2147483647  1093616     36 |  0.000 % |
5392.30/5394.07	c |   1202625 |   40759   571173  2544294 | 2147483647  1094159     36 |  0.000 % |
5396.00/5397.73	c |   1203221 |   40759   571173  2544294 | 2147483647  1094755     36 |  0.000 % |
5399.99/5401.77	c |   1203876 |   40759   571173  2544294 | 2147483647  1095410     36 |  0.000 % |
5404.09/5405.82	c |   1204596 |   40759   571173  2544294 | 2147483647  1096130     36 |  0.000 % |
5409.79/5411.57	c |   1205391 |   40759   571173  2544294 | 2147483647  1096925     36 |  0.000 % |
5417.18/5418.99	c |   1206262 |   40759   571173  2544294 | 2147483647  1097796     36 |  0.000 % |
5424.78/5426.57	c |   1207220 |   40759   571173  2544294 | 2147483647  1098754     36 |  0.000 % |
5429.68/5431.41	c |   1208276 |   40759   571173  2544294 | 2147483647  1099810     36 |  0.000 % |
5440.18/5441.95	c |   1209435 |   40759   571173  2544294 | 2147483647  1100969     36 |  0.000 % |
5448.97/5450.72	c |   1210709 |   40759   571173  2544294 | 2147483647  1102243     36 |  0.000 % |
5460.37/5462.11	c |   1212109 |   40759   571173  2544294 | 2147483647  1103643     36 |  0.000 % |
5466.57/5468.35	c |   1213651 |   40759   571173  2544294 | 2147483647  1105185     36 |  0.000 % |
5475.96/5477.70	c |   1215345 |   40759   571173  2544294 | 2147483647  1106879     36 |  0.000 % |
5483.86/5485.66	c |   1217209 |   40759   571173  2544294 | 2147483647  1108743     36 |  0.000 % |
5494.36/5496.19	c |   1219260 |   40759   571173  2544294 | 2147483647  1110794     36 |  0.000 % |
5505.46/5507.22	c |   1221514 |   40759   571173  2544294 | 2147483647  1113048     36 |  0.000 % |
5523.06/5524.80	c |   1223992 |   40759   571173  2544294 | 2147483647  1115526     36 |  0.000 % |
5537.75/5539.56	c |   1226717 |   40759   571173  2544294 | 2147483647  1118251     36 |  0.000 % |
5565.54/5567.35	c |   1229715 |   40759   571173  2544294 | 2147483647  1121249     36 |  0.000 % |
5599.33/5601.13	c |   1233012 |   40759   571173  2544294 | 2147483647  1124546     36 |  0.000 % |
5623.33/5625.10	c |   1236639 |   40759   571173  2544294 | 2147483647  1128173     36 |  0.000 % |
5645.72/5647.51	c |   1240626 |   40759   571173  2544294 | 2147483647  1132160     36 |  0.000 % |
5681.70/5683.51	c |   1245011 |   40759   571173  2544294 | 2147483647  1136545     36 |  0.000 % |
5716.50/5718.40	c |   1249835 |   40759   571173  2544294 | 2147483647  1141369     36 |  0.000 % |
5746.89/5748.74	c |   1255140 |   40759   571173  2544294 | 2147483647  1146674     36 |  0.000 % |
5792.87/5794.77	c |   1260976 |   40759   571173  2544294 | 2147483647  1152510     36 |  0.000 % |
5848.86/5850.70	c |   1267394 |   40759   571173  2544294 | 2147483647  1158928     36 |  0.000 % |
5892.14/5894.06	c |   1274454 |   40759   571173  2544294 | 2147483647  1165988     36 |  0.000 % |
5938.83/5940.70	c |   1282218 |   40759   571173  2544294 | 2147483647  1173752     36 |  0.000 % |
6014.81/6016.77	c |   1290758 |   40759   571173  2544294 | 2147483647  1182292     36 |  0.000 % |
6087.89/6089.86	c |   1300152 |   40759   571173  2544294 | 2147483647  1191686     36 |  0.000 % |
6187.76/6189.71	c |   1310486 |   40759   571173  2544294 | 2147483647  1202020     37 |  0.000 % |
6293.43/6295.48	c |   1321852 |   40759   571173  2544294 | 2147483647  1213386     37 |  0.000 % |
6294.73/6296.73	c |   1321954 |   40759   571173  2544294 | 2147483647  1213488     37 |  0.000 % |
6295.63/6297.66	c |   1322064 |   40759   571173  2544294 | 2147483647  1213598     37 |  0.000 % |
6296.43/6298.44	c |   1322185 |   40759   571173  2544294 | 2147483647  1213719     37 |  0.000 % |
6297.23/6299.25	c |   1322318 |   40759   571173  2544294 | 2147483647  1213852     37 |  0.000 % |
6298.13/6300.13	c |   1322464 |   40759   571173  2544294 | 2147483647  1213998     37 |  0.000 % |
6299.23/6301.21	c |   1322625 |   40759   571173  2544294 | 2147483647  1214159     37 |  0.000 % |
6300.93/6302.97	c |   1322801 |   40759   571173  2544294 | 2147483647  1214335     37 |  0.000 % |
6302.33/6304.39	c |   1322994 |   40759   571173  2544294 | 2147483647  1214528     37 |  0.000 % |
6303.63/6305.65	c |   1323207 |   40759   571173  2544294 | 2147483647  1214741     37 |  0.000 % |
6305.32/6307.35	c |   1323440 |   40759   571173  2544294 | 2147483647  1214974     37 |  0.000 % |
6306.43/6308.43	c |   1323696 |   40759   571173  2544294 | 2147483647  1215230     37 |  0.000 % |
6307.73/6309.72	c |   1323977 |   40759   571173  2544294 | 2147483647  1215511     37 |  0.000 % |
6309.32/6311.34	c |   1324287 |   40759   571173  2544294 | 2147483647  1215821     37 |  0.000 % |
6311.22/6313.26	c |   1324628 |   40759   571173  2544294 | 2147483647  1216162     37 |  0.000 % |
6313.32/6315.32	c |   1325000 |   40759   571173  2544294 | 2147483647  1216534     37 |  0.000 % |
6316.52/6318.54	c |   1325409 |   40759   571173  2544294 | 2147483647  1216943     37 |  0.000 % |
6319.92/6321.98	c |   1325858 |   40759   571173  2544294 | 2147483647  1217392     37 |  0.000 % |
6323.12/6325.12	c |   1326351 |   40759   571173  2544294 | 2147483647  1217885     37 |  0.000 % |
6327.92/6329.99	c |   1326894 |   40759   571173  2544294 | 2147483647  1218428     37 |  0.000 % |
6332.32/6334.31	c |   1327491 |   40759   571173  2544294 | 2147483647  1219025     37 |  0.000 % |
6335.32/6337.36	c |   1328147 |   40759   571173  2544294 | 2147483647  1219681     37 |  0.000 % |
6340.62/6342.66	c |   1328868 |   40759   571173  2544294 | 2147483647  1220402     37 |  0.000 % |
6343.72/6345.77	c |   1329660 |   40759   571173  2544294 | 2147483647  1221194     37 |  0.000 % |
6350.01/6352.02	c |   1330531 |   40759   571173  2544294 |  1221534  1222065     37 |  0.000 % |
6361.31/6363.32	c |   1331492 |   40759   571173  2544294 |  1221534  1100820     37 |  0.000 % |
6367.61/6369.63	c |   1332545 |   40759   571173  2544294 |  1221534  1101873     36 |  0.000 % |
6374.81/6376.81	c |   1333706 |   40759   571173  2544294 |  1221534  1103034     36 |  0.000 % |
6380.31/6382.35	c |   1334982 |   40759   571173  2544294 |  1221534  1104310     36 |  0.000 % |
6389.40/6391.42	c |   1336382 |   40759   571173  2544294 |  1221534  1105710     36 |  0.000 % |
6397.20/6399.26	c |   1337923 |   40759   571173  2544294 |  1221534  1107251     36 |  0.000 % |
6409.60/6411.64	c |   1339618 |   40759   571173  2544294 |  1221534  1108946     37 |  0.000 % |
6422.79/6424.84	c |   1341481 |   40759   571173  2544294 | 2147483647  1110809     37 |  0.000 % |
6432.69/6434.72	c |   1343530 |   40759   571173  2544294 | 2147483647  1112858     37 |  0.000 % |
6448.18/6450.22	c |   1345784 |   40759   571173  2544294 | 2147483647  1115112     36 |  0.000 % |
6462.58/6464.67	c |   1348262 |   40759   571173  2544294 | 2147483647  1117590     36 |  0.000 % |
6475.67/6477.72	c |   1350988 |   40759   571173  2544294 | 2147483647  1120316     36 |  0.000 % |
6494.67/6496.80	c |   1353986 |   40759   571173  2544294 | 2147483647  1123314     36 |  0.000 % |
6515.16/6517.28	c |   1357282 |   40759   571173  2544294 | 2147483647  1126610     36 |  0.000 % |
6536.37/6538.41	c |   1360908 |   40759   571173  2544294 | 2147483647  1130236     36 |  0.000 % |
6563.76/6565.89	c |   1364897 |   40759   571173  2544294 | 2147483647  1134225     36 |  0.000 % |
6592.75/6594.86	c |   1369285 |   40759   571173  2544294 | 2147483647  1138613     36 |  0.000 % |
6625.23/6627.30	c |   1374108 |   40759   571173  2544294 | 2147483647  1143436     36 |  0.000 % |
6657.02/6659.17	c |   1379417 |   40759   571173  2544294 | 2147483647  1148745     37 |  0.000 % |
6695.91/6698.04	c |   1385255 |   40759   571173  2544294 | 2147483647  1154583     36 |  0.000 % |
6734.50/6736.68	c |   1391677 |   40759   571173  2544294 | 2147483647  1161005     37 |  0.000 % |
6764.50/6766.62	c |   1398737 |   40759   571173  2544294 | 2147483647  1168065     37 |  0.000 % |
6811.88/6814.07	c |   1406502 |   40759   571173  2544294 | 2147483647  1175830     37 |  0.000 % |
6856.17/6858.36	c |   1415044 |   40759   571173  2544294 | 2147483647  1184372     36 |  0.000 % |
6924.04/6926.26	c |   1424438 |   40759   571173  2544294 | 2147483647  1193766     37 |  0.000 % |
6989.43/6991.61	c |   1434774 |   40759   571173  2544294 | 2147483647  1204102     37 |  0.000 % |
7053.10/7055.33	c |   1446142 |   40759   571173  2544294 | 2147483647  1215470     37 |  0.000 % |
7123.48/7125.73	c |   1458644 |   40759   571173  2544294 | 2147483647  1227972     37 |  0.000 % |
7124.27/7126.54	c |   1458744 |   40759   571173  2544294 | 2147483647  1228072     37 |  0.000 % |
7124.97/7127.28	c |   1458855 |   40759   571173  2544294 | 2147483647  1228183     37 |  0.000 % |
7126.17/7128.40	c |   1458976 |   40759   571173  2544294 | 2147483647  1228304     37 |  0.000 % |
7127.07/7129.36	c |   1459110 |   40759   571173  2544294 | 2147483647  1228438     37 |  0.000 % |
7127.87/7130.18	c |   1459256 |   40759   571173  2544294 | 2147483647  1228584     37 |  0.000 % |
7128.97/7131.23	c |   1459416 |   40759   571173  2544294 | 2147483647  1228744     37 |  0.000 % |
7130.18/7132.41	c |   1459593 |   40759   571173  2544294 | 2147483647  1228921     37 |  0.000 % |
7131.38/7133.60	c |   1459786 |   40759   571173  2544294 | 2147483647  1229114     37 |  0.000 % |
7132.57/7134.83	c |   1459999 |   40759   571173  2544294 | 2147483647  1229327     37 |  0.000 % |
7134.27/7136.59	c |   1460232 |   40759   571173  2544294 | 2147483647  1229560     37 |  0.000 % |
7135.77/7138.09	c |   1460490 |   40759   571173  2544294 | 2147483647  1229818     37 |  0.000 % |
7137.77/7140.03	c |   1460771 |   40759   571173  2544294 | 2147483647  1230099     37 |  0.000 % |
7140.07/7142.38	c |   1461082 |   40759   571173  2544294 | 2147483647  1230410     37 |  0.000 % |
7142.47/7144.72	c |   1461422 |   40759   571173  2544294 | 2147483647  1230750     37 |  0.000 % |
7144.77/7147.07	c |   1461796 |   40759   571173  2544294 | 2147483647  1231124     37 |  0.000 % |
7147.67/7149.95	c |   1462205 |   40759   571173  2544294 | 2147483647  1231533     37 |  0.000 % |
7149.86/7152.17	c |   1462655 |   40759   571173  2544294 | 2147483647  1231983     37 |  0.000 % |
7152.56/7154.89	c |   1463148 |   40759   571173  2544294 | 2147483647  1232476     37 |  0.000 % |
7155.86/7158.18	c |   1463691 |   40759   571173  2544294 | 2147483647  1233019     37 |  0.000 % |
7158.87/7161.12	c |   1464289 |   40759   571173  2544294 | 2147483647  1233617     37 |  0.000 % |
7163.77/7166.03	c |   1464944 |   40759   571173  2544294 | 2147483647  1234272     37 |  0.000 % |
7169.17/7171.46	c |   1465664 |   40759   571173  2544294 | 2147483647  1234992     37 |  0.000 % |
7174.36/7176.62	c |   1466457 |   40759   571173  2544294 | 2147483647  1235785     37 |  0.000 % |
7179.06/7181.32	c |   1467328 |   40759   571173  2544294 | 2147483647  1236656     37 |  0.000 % |
7185.36/7187.64	c |   1468287 |   40759   571173  2544294 | 2147483647  1237615     37 |  0.000 % |
7192.16/7194.45	c |   1469340 |   40759   571173  2544294 | 2147483647  1238668     37 |  0.000 % |
7199.56/7201.80	c |   1470500 |   40759   571173  2544294 | 2147483647  1239828     37 |  0.000 % |
7208.55/7210.83	c |   1471773 |   40759   571173  2544294 | 2147483647  1241101     37 |  0.000 % |
7215.25/7217.58	c |   1473173 |   40759   571173  2544294 | 2147483647  1242501     37 |  0.000 % |
7225.34/7227.63	c |   1474714 |   40759   571173  2544294 | 2147483647  1244042     37 |  0.000 % |
7232.85/7235.17	c |   1476408 |   40759   571173  2544294 | 2147483647  1245736     37 |  0.000 % |
7246.34/7248.60	c |   1478274 |   40759   571173  2544294 | 2147483647  1247602     37 |  0.000 % |
7261.14/7263.41	c |   1480324 |   40759   571173  2544294 |  1249329  1249652     37 |  0.000 % |
7277.43/7279.77	c |   1482579 |   40759   571173  2544294 |  1249329  1126942     37 |  0.000 % |
7302.62/7304.99	c |   1485059 |   40759   571173  2544294 |  1249329  1129422     37 |  0.000 % |
7323.02/7325.40	c |   1487788 |   40759   571173  2544294 |  1249329  1132151     37 |  0.000 % |
7346.61/7348.95	c |   1490786 |   40759   571173  2544294 |  1134363  1135149     37 |  0.000 % |
7375.60/7377.99	c |   1494084 |   40759   571173  2544294 |  1134363  1019943     37 |  0.000 % |
7395.40/7397.78	c |   1497710 |   40759   571173  2544294 |  1134363  1023569     37 |  0.000 % |
7417.89/7420.26	c |   1501698 |   40759   571173  2544294 | 2147483647  1027557     37 |  0.000 % |
7448.38/7450.74	c |   1506083 |   40759   571173  2544294 | 2147483647  1031942     37 |  0.000 % |
7483.17/7485.56	c |   1510906 |   40759   571173  2544294 | 2147483647  1036765     37 |  0.000 % |
7518.87/7521.24	c |   1516211 |   40759   571173  2544294 | 2147483647  1042070     37 |  0.000 % |
7555.36/7557.77	c |   1522046 |   40759   571173  2544294 | 2147483647  1047905     37 |  0.000 % |
7589.85/7592.23	c |   1528464 |   40759   571173  2544294 | 2147483647  1054323     37 |  0.000 % |
7631.43/7633.87	c |   1535524 |   40759   571173  2544294 | 2147483647  1061383     37 |  0.000 % |
7687.51/7689.94	c |   1543289 |   40759   571173  2544294 | 2147483647  1069148     37 |  0.000 % |
7758.49/7760.96	c |   1551831 |   40759   571173  2544294 | 2147483647  1077690     37 |  0.000 % |
7824.07/7826.57	c |   1561226 |   40759   571173  2544294 | 2147483647  1087085     37 |  0.000 % |
7914.05/7916.58	c |   1571559 |   40759   571173  2544294 | 2147483647  1097418     37 |  0.000 % |
7982.33/7984.84	c |   1582927 |   40759   571173  2544294 | 2147483647  1108786     37 |  0.000 % |
8071.20/8073.77	c |   1595430 |   40759   571173  2544294 | 2147483647  1121289     38 |  0.000 % |
8179.08/8181.69	c |   1609183 |   40759   571173  2544294 | 2147483647  1135042     38 |  0.000 % |
8179.78/8182.33	c |   1609285 |   40759   571173  2544294 | 2147483647  1135144     38 |  0.000 % |
8180.48/8183.06	c |   1609395 |   40759   571173  2544294 | 2147483647  1135254     38 |  0.000 % |
8181.17/8183.72	c |   1609516 |   40759   571173  2544294 | 2147483647  1135375     38 |  0.000 % |
8182.27/8184.80	c |   1609649 |   40759   571173  2544294 | 2147483647  1135508     38 |  0.000 % |
8183.17/8185.77	c |   1609796 |   40759   571173  2544294 | 2147483647  1135655     38 |  0.000 % |
8184.07/8186.64	c |   1609958 |   40759   571173  2544294 | 2147483647  1135817     38 |  0.000 % |
8184.88/8187.48	c |   1610134 |   40759   571173  2544294 | 2147483647  1135993     38 |  0.000 % |
8186.17/8188.75	c |   1610327 |   40759   571173  2544294 | 2147483647  1136186     38 |  0.000 % |
8187.47/8190.05	c |   1610539 |   40759   571173  2544294 | 2147483647  1136398     38 |  0.000 % |
8189.07/8191.60	c |   1610772 |   40759   571173  2544294 | 2147483647  1136631     38 |  0.000 % |
8190.37/8192.98	c |   1611028 |   40759   571173  2544294 | 2147483647  1136887     38 |  0.000 % |
8192.57/8195.16	c |   1611311 |   40759   571173  2544294 | 2147483647  1137170     38 |  0.000 % |
8194.57/8197.14	c |   1611620 |   40759   571173  2544294 | 2147483647  1137479     38 |  0.000 % |
8197.37/8199.93	c |   1611959 |   40759   571173  2544294 | 2147483647  1137818     38 |  0.000 % |
8199.27/8201.82	c |   1612331 |   40759   571173  2544294 | 2147483647  1138190     38 |  0.000 % |
8202.17/8204.70	c |   1612740 |   40759   571173  2544294 | 2147483647  1138599     38 |  0.000 % |
8204.07/8206.60	c |   1613190 |   40759   571173  2544294 | 2147483647  1139049     38 |  0.000 % |
8206.66/8209.29	c |   1613683 |   40759   571173  2544294 | 2147483647  1139542     38 |  0.000 % |
8210.17/8212.78	c |   1614225 |   40759   571173  2544294 | 2147483647  1140084     38 |  0.000 % |
8214.06/8216.64	c |   1614822 |   40759   571173  2544294 | 2147483647  1140681     38 |  0.000 % |
8217.66/8220.22	c |   1615477 |   40759   571173  2544294 | 2147483647  1141336     38 |  0.000 % |
8220.96/8223.51	c |   1616200 |   40759   571173  2544294 | 2147483647  1142059     38 |  0.000 % |
8225.86/8228.44	c |   1616992 |   40759   571173  2544294 | 2147483647  1142851     38 |  0.000 % |
8231.65/8234.21	c |   1617863 |   40759   571173  2544294 | 2147483647  1143722     38 |  0.000 % |
8235.95/8238.56	c |   1618822 |   40759   571173  2544294 | 2147483647  1144681     38 |  0.000 % |
8244.15/8246.77	c |   1619875 |   40759   571173  2544294 | 2147483647  1145734     38 |  0.000 % |
8249.95/8252.57	c |   1621034 |   40759   571173  2544294 | 2147483647  1146893     38 |  0.000 % |
8258.55/8261.19	c |   1622307 |   40759   571173  2544294 | 2147483647  1148166     38 |  0.000 % |
8267.25/8269.88	c |   1623708 |   40759   571173  2544294 | 2147483647  1149567     38 |  0.000 % |
8278.84/8281.41	c |   1625249 |   40759   571173  2544294 | 2147483647  1151108     38 |  0.000 % |
8293.33/8295.94	c |   1626944 |   40759   571173  2544294 | 2147483647  1152803     38 |  0.000 % |
8305.33/8307.92	c |   1628810 |   40759   571173  2544294 | 2147483647  1154669     38 |  0.000 % |
8319.52/8322.15	c |   1630859 |   40759   571173  2544294 | 2147483647  1156718     38 |  0.000 % |
8328.32/8330.94	c |   1633114 |   40759   571173  2544294 | 2147483647  1158973     38 |  0.000 % |
8343.42/8346.04	c |   1635592 |   40759   571173  2544294 | 2147483647  1161451     38 |  0.000 % |
8362.62/8365.27	c |   1638318 |   40759   571173  2544294 | 2147483647  1164177     38 |  0.000 % |
8386.12/8388.71	c |   1641317 |   40759   571173  2544294 | 2147483647  1167176     38 |  0.000 % |
8402.61/8405.24	c |   1644613 |   40759   571173  2544294 | 2147483647  1170472     38 |  0.000 % |
8432.50/8435.19	c |   1648238 |   40759   571173  2544294 | 2147483647  1174097     38 |  0.000 % |
8447.70/8450.35	c |   1652226 |   40759   571173  2544294 | 2147483647  1178085     38 |  0.000 % |
8479.18/8481.80	c |   1656612 |   40759   571173  2544294 | 2147483647  1182471     38 |  0.000 % |
8516.17/8518.80	c |   1661437 |   40759   571173  2544294 | 2147483647  1187296     38 |  0.000 % |
8552.46/8555.20	c |   1666742 |   40759   571173  2544294 | 2147483647  1192601     38 |  0.000 % |
8601.34/8604.06	c |   1672577 |   40759   571173  2544294 | 2147483647  1198436     38 |  0.000 % |
8640.33/8643.03	c |   1678997 |   40759   571173  2544294 | 2147483647  1204856     38 |  0.000 % |
8671.03/8673.71	c |   1686057 |   40759   571173  2544294 | 2147483647  1211916     38 |  0.000 % |
8714.82/8717.53	c |   1693821 |   40759   571173  2544294 | 2147483647  1219680     38 |  0.000 % |
8771.29/8774.02	c |   1702362 |   40759   571173  2544294 | 2147483647  1228221     38 |  0.000 % |
8855.07/8857.89	c |   1711758 |   40759   571173  2544294 | 2147483647  1237617     38 |  0.000 % |
8942.25/8945.06	c |   1722091 |   40759   571173  2544294 | 2147483647  1247950     38 |  0.000 % |
9009.64/9012.44	c |   1733457 |   40759   571173  2544294 | 2147483647  1259316     38 |  0.000 % |
9072.02/9074.81	c |   1745960 |   40759   571173  2544294 | 2147483647  1271819     38 |  0.000 % |
9181.98/9184.84	c |   1759713 |   40759   571173  2544294 | 2147483647  1285572     38 |  0.000 % |
9274.76/9277.63	c |   1774840 |   40759   571173  2544294 | 2147483647  1300699     38 |  0.000 % |
9275.66/9278.55	c |   1774941 |   40759   571173  2544294 | 2147483647  1300800     38 |  0.000 % |
9276.56/9279.42	c |   1775051 |   40759   571173  2544294 | 2147483647  1300910     38 |  0.000 % |
9277.36/9280.23	c |   1775175 |   40759   571173  2544294 | 2147483647  1301034     38 |  0.000 % |
9278.45/9281.38	c |   1775308 |   40759   571173  2544294 | 2147483647  1301167     38 |  0.000 % |
9279.85/9282.72	c |   1775454 |   40759   571173  2544294 | 2147483647  1301313     38 |  0.000 % |
9281.45/9284.36	c |   1775616 |   40759   571173  2544294 | 2147483647  1301475     38 |  0.000 % |
9282.45/9285.40	c |   1775798 |   40759   571173  2544294 | 2147483647  1301657     38 |  0.000 % |
9283.95/9286.89	c |   1775992 |   40759   571173  2544294 | 2147483647  1301851     38 |  0.000 % |
9285.15/9288.07	c |   1776204 |   40759   571173  2544294 | 2147483647  1302063     38 |  0.000 % |
9287.25/9290.10	c |   1776438 |   40759   571173  2544294 | 2147483647  1302297     38 |  0.000 % |
9289.15/9292.02	c |   1776694 |   40759   571173  2544294 | 2147483647  1302553     38 |  0.000 % |
9291.45/9294.38	c |   1776975 |   40759   571173  2544294 | 2147483647  1302834     38 |  0.000 % |
9294.25/9297.13	c |   1777284 |   40759   571173  2544294 | 2147483647  1303143     38 |  0.000 % |
9296.45/9299.40	c |   1777623 |   40759   571173  2544294 | 2147483647  1303482     38 |  0.000 % |
9298.75/9301.61	c |   1777995 |   40759   571173  2544294 | 2147483647  1303854     38 |  0.000 % |
9301.65/9304.59	c |   1778404 |   40759   571173  2544294 | 2147483647  1304263     38 |  0.000 % |
9304.44/9307.37	c |   1778854 |   40759   571173  2544294 | 2147483647  1304713     38 |  0.000 % |
9307.94/9310.88	c |   1779348 |   40759   571173  2544294 | 2147483647  1305207     38 |  0.000 % |
9310.94/9313.83	c |   1779890 |   40759   571173  2544294 | 2147483647  1305749     38 |  0.000 % |
9314.84/9317.76	c |   1780486 |   40759   571173  2544294 | 2147483647  1306345     38 |  0.000 % |
9318.94/9321.83	c |   1781141 |   40759   571173  2544294 | 2147483647  1307000     38 |  0.000 % |
9324.53/9327.46	c |   1781863 |   40759   571173  2544294 | 2147483647  1307722     38 |  0.000 % |
9328.23/9331.14	c |   1782657 |   40759   571173  2544294 | 2147483647  1308516     38 |  0.000 % |
9333.84/9336.70	c |   1783528 |   40759   571173  2544294 | 2147483647  1309387     38 |  0.000 % |
9340.94/9343.86	c |   1784486 |   40759   571173  2544294 | 2147483647  1310345     38 |  0.000 % |
9347.63/9350.50	c |   1785539 |   40759   571173  2544294 | 2147483647  1311398     38 |  0.000 % |
9357.43/9360.35	c |   1786698 |   40759   571173  2544294 | 2147483647  1312557     38 |  0.000 % |
9370.63/9373.56	c |   1787973 |   40759   571173  2544294 | 2147483647  1313832     38 |  0.000 % |
9384.02/9386.90	c |   1789373 |   40759   571173  2544294 | 2147483647  1315232     38 |  0.000 % |
9394.42/9397.39	c |   1790916 |   40759   571173  2544294 | 2147483647  1316775     38 |  0.000 % |
9403.81/9406.75	c |   1792611 |   40759   571173  2544294 | 2147483647  1318470     38 |  0.000 % |
9417.11/9420.10	c |   1794475 |   40759   571173  2544294 | 2147483647  1320334     38 |  0.000 % |
9437.10/9440.04	c |   1796525 |   40759   571173  2544294 | 2147483647  1322384     38 |  0.000 % |
9454.91/9457.81	c |   1798780 |   40759   571173  2544294 | 2147483647  1324639     38 |  0.000 % |
9477.09/9480.04	c |   1801260 |   40759   571173  2544294 | 2147483647  1327119     38 |  0.000 % |
9500.89/9503.88	c |   1803988 |   40759   571173  2544294 | 2147483647  1329847     38 |  0.000 % |
9533.58/9536.50	c |   1806985 |   40759   571173  2544294 | 2147483647  1332844     38 |  0.000 % |
9555.77/9558.72	c |   1810282 |   40759   571173  2544294 |  1335860  1336141     38 |  0.000 % |
9595.26/9598.23	c |   1813909 |   40759   571173  2544294 |  1335860  1115054     38 |  0.000 % |
9616.25/9619.21	c |   1817903 |   40759   571173  2544294 |  1335860  1119048     38 |  0.000 % |
9643.74/9646.78	c |   1822290 |   40759   571173  2544294 | 2147483647  1123435     38 |  0.000 % |
9675.54/9678.50	c |   1827116 |   40759   571173  2544294 | 2147483647  1128261     38 |  0.000 % |
9705.63/9708.69	c |   1832421 |   40759   571173  2544294 | 2147483647  1133566     38 |  0.000 % |
9735.62/9738.68	c |   1838257 |   40759   571173  2544294 | 2147483647  1139402     38 |  0.000 % |
9768.71/9771.78	c |   1844675 |   40759   571173  2544294 | 2147483647  1145820     38 |  0.000 % |
9811.90/9814.95	c |   1851734 |   40759   571173  2544294 | 2147483647  1152879     38 |  0.000 % |
9859.69/9862.77	c |   1859498 |   40759   571173  2544294 | 2147483647  1160643     38 |  0.000 % |
9921.18/9924.30	c |   1868040 |   40759   571173  2544294 | 2147483647  1169185     38 |  0.000 % |
9988.95/9992.10	c |   1877435 |   40759   571173  2544294 | 2147483647  1178580     38 |  0.000 % |

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-1837092-1242857022/watcher-1837092-1242857022 -o /tmp/evaluation-result-1837092-1242857022/solver-1837092-1242857022 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837092-1242857022.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.08 0.02 0.01 3/64 13027
/proc/meminfo: memFree=1705424/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313735593 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 255236735058 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/13027/statm: 1339 235 195 169 0 50 0
[pid=13028] ppid=13027 vsize=5356 CPUtime=0
/proc/13028/stat : 13028 (SatELiteGTI) R 13027 13027 12990 0 -1 4194368 52 188 0 0 0 0 0 0 21 0 1 0 313735593 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 4408712 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/13028/statm: 1339 238 198 169 0 50 0

[startup+0.104412 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13027
/proc/meminfo: memFree=1705424/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201419 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13027
/proc/meminfo: memFree=1705424/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301433 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13027
/proc/meminfo: memFree=1705424/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701474 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 13027
/proc/meminfo: memFree=1705424/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50155 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 13032
/proc/meminfo: memFree=1561856/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
[pid=13032] ppid=13027 vsize=171468 CPUtime=1.48
/proc/13032/stat : 13032 (SatELite_releas) R 13027 13027 12990 0 -1 4194304 37105 0 0 0 127 21 0 0 25 0 1 0 313735594 175583232 36227 1992294400 134512640 135223648 4294956128 18446744073709551615 134586811 0 0 4096 3 0 0 0 17 1 0 0
/proc/13032/statm: 42867 36227 76 173 0 42692 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 176824

[startup+3.10272 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 13032
/proc/meminfo: memFree=1553344/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
[pid=13032] ppid=13027 vsize=175804 CPUtime=3.09
/proc/13032/stat : 13032 (SatELite_releas) R 13027 13027 12990 0 -1 4194304 38180 0 0 0 284 25 0 0 25 0 1 0 313735594 180023296 37302 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 1 0 0
/proc/13032/statm: 43951 37302 76 173 0 43776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181160

[startup+6.30106 s]
/proc/loadavg: 0.23 0.05 0.02 2/66 13032
/proc/meminfo: memFree=1531584/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
[pid=13032] ppid=13027 vsize=191940 CPUtime=6.28
/proc/13032/stat : 13032 (SatELite_releas) R 13027 13027 12990 0 -1 4194304 41346 0 0 0 595 33 0 0 25 0 1 0 313735594 196546560 40468 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13032/statm: 47985 40468 76 173 0 47810 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 197296

[startup+12.7017 s]
/proc/loadavg: 0.37 0.08 0.03 2/66 13032
/proc/meminfo: memFree=1495168/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313735593 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 237 197 169 0 50 0
[pid=13032] ppid=13027 vsize=202372 CPUtime=12.67
/proc/13032/stat : 13032 (SatELite_releas) R 13027 13027 12990 0 -1 4194304 44395 0 0 0 1223 44 0 0 25 0 1 0 313735594 207228928 42844 1992294400 134512640 135223648 4294956128 18446744073709551615 134585720 0 0 4096 3 0 0 0 17 1 0 0
/proc/13032/statm: 50593 42844 76 173 0 50418 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 207728

[startup+25.5011 s]
/proc/loadavg: 0.51 0.13 0.04 2/66 13033
/proc/meminfo: memFree=1617920/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=35352 CPUtime=4.4
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 8557 0 0 0 435 5 0 0 25 0 1 0 313737702 36200448 8543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 8838 8543 77 171 0 8665 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40708

[startup+51.1019 s]
/proc/loadavg: 0.68 0.19 0.06 2/66 13033
/proc/meminfo: memFree=1615744/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=37768 CPUtime=29.98
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 9166 0 0 0 2992 6 0 0 25 0 1 0 313737702 38674432 9152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 9442 9152 77 171 0 9269 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43124

[startup+102.301 s]
/proc/loadavg: 0.86 0.32 0.11 2/66 13033
/proc/meminfo: memFree=1611712/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=41792 CPUtime=81.16
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 10162 0 0 0 8108 8 0 0 25 0 1 0 313737702 42795008 10148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 10448 10148 77 171 0 10275 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 47148

[startup+162.302 s]
/proc/loadavg: 0.95 0.44 0.16 2/66 13033
/proc/meminfo: memFree=1607616/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=45876 CPUtime=141.13
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 11194 0 0 0 14104 9 0 0 25 0 1 0 313737702 46977024 11180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 11469 11180 77 171 0 11296 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 51232

[startup+222.305 s]
/proc/loadavg: 0.98 0.54 0.21 2/66 13033
/proc/meminfo: memFree=1603520/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=50020 CPUtime=201.12
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 12204 0 0 0 20101 11 0 0 25 0 1 0 313737702 51220480 12190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 12505 12190 77 171 0 12332 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 55376

[startup+282.302 s]
/proc/loadavg: 0.99 0.62 0.26 2/66 13033
/proc/meminfo: memFree=1599360/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=54120 CPUtime=261.09
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 13230 0 0 0 26097 12 0 0 25 0 1 0 313737702 55418880 13216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 13530 13216 77 171 0 13357 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 59476

[startup+342.302 s]
/proc/loadavg: 0.99 0.69 0.30 2/66 13033
/proc/meminfo: memFree=1595648/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=57840 CPUtime=321.07
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 14143 0 0 0 32093 14 0 0 25 0 1 0 313737702 59228160 14129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 14460 14129 77 171 0 14287 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 63196

[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 13033
/proc/meminfo: memFree=1592000/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=61416 CPUtime=381.05
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 15047 0 0 0 38091 14 0 0 25 0 1 0 313737702 62889984 15033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 15354 15033 77 171 0 15181 0
Current children cumulated CPU time (s) 402.11

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

/proc/13033/statm: 72626 71414 77 171 0 72453 0
Current children cumulated CPU time (s) 9339.44
Current children cumulated vsize (KiB) 295860

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13049
/proc/meminfo: memFree=1359744/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=292004 CPUtime=9378.36
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 71783 0 0 0 937724 112 0 0 25 0 1 0 313737702 299012096 71769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73001 71769 77 171 0 72828 0
Current children cumulated CPU time (s) 9399.42
Current children cumulated vsize (KiB) 297360

[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13049
/proc/meminfo: memFree=1358272/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=293372 CPUtime=9438.35
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72132 0 0 0 943722 113 0 0 25 0 1 0 313737702 300412928 72118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73343 72118 77 171 0 73170 0
Current children cumulated CPU time (s) 9459.41
Current children cumulated vsize (KiB) 298728

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13049
/proc/meminfo: memFree=1357120/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=294572 CPUtime=9498.32
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72420 0 0 0 949719 113 0 0 25 0 1 0 313737702 301641728 72406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73643 72406 77 171 0 73470 0
Current children cumulated CPU time (s) 9519.38
Current children cumulated vsize (KiB) 299928

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1356288/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295236 CPUtime=9558.31
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72600 0 0 0 955717 114 0 0 25 0 1 0 313737702 302321664 72586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73809 72586 77 171 0 73636 0
Current children cumulated CPU time (s) 9579.37
Current children cumulated vsize (KiB) 300592

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1356288/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295236 CPUtime=9618.29
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72601 0 0 0 961715 114 0 0 25 0 1 0 313737702 302321664 72587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73809 72587 77 171 0 73636 0
Current children cumulated CPU time (s) 9639.35
Current children cumulated vsize (KiB) 300592

[startup+9702.3 s]
/proc/loadavg: 1.06 1.01 0.91 2/66 13051
/proc/meminfo: memFree=1356288/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295236 CPUtime=9678.27
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72601 0 0 0 967713 114 0 0 25 0 1 0 313737702 302321664 72587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73809 72587 77 171 0 73636 0
Current children cumulated CPU time (s) 9699.33
Current children cumulated vsize (KiB) 300592

[startup+9762.3 s]
/proc/loadavg: 1.02 1.01 0.91 2/66 13051
/proc/meminfo: memFree=1356224/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9738.26
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72617 0 0 0 973711 115 0 0 25 0 1 0 313737702 302526464 72603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72603 77 171 0 73686 0
Current children cumulated CPU time (s) 9759.32
Current children cumulated vsize (KiB) 300792

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1356160/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9798.24
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72624 0 0 0 979709 115 0 0 25 0 1 0 313737702 302526464 72610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72610 77 171 0 73686 0
Current children cumulated CPU time (s) 9819.3
Current children cumulated vsize (KiB) 300792

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1356096/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9858.22
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72629 0 0 0 985707 115 0 0 25 0 1 0 313737702 302526464 72615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72615 77 171 0 73686 0
Current children cumulated CPU time (s) 9879.28
Current children cumulated vsize (KiB) 300792

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1355968/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9918.21
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72655 0 0 0 991705 116 0 0 25 0 1 0 313737702 302526464 72641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72641 77 171 0 73686 0
Current children cumulated CPU time (s) 9939.27
Current children cumulated vsize (KiB) 300792

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1355968/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9978.19
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72656 0 0 0 997703 116 0 0 25 0 1 0 313737702 302526464 72642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72642 77 171 0 73686 0
Current children cumulated CPU time (s) 9999.25
Current children cumulated vsize (KiB) 300792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 13051
/proc/meminfo: memFree=1355968/2055920 swapFree=4180344/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=21.06
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12990 0 -1 4194304 336 51831 0 0 0 0 2049 57 16 0 1 0 313735593 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=295436 CPUtime=9978.99
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12990 0 -1 4194304 72656 0 0 0 997783 116 0 0 25 0 1 0 313737702 302526464 72642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 73859 72642 77 171 0 73686 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 300792

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 13027 and gives
#  childrusage.ru_utime.tv_sec=20
#  childrusage.ru_utime.tv_usec=495884
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=576912
# CPU time returned by wait4() is 21.0728
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10003.1
CPU time (s): 10000.1
CPU user time (s): 9998.32
CPU system time (s): 1.73
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 300792

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

runsolver used 11.6982 second user time and 24.8182 second system time

The end

Launcher Data

Begin job on node19 at 2009-05-21 00:03:43
IDJOB=1837092
IDBENCH=20405
IDSOLVER=674
FILE ID=node19/1837092-1242857022
PBS_JOBID= 9328495
Free space on /tmp= 66152 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837092-1242857022/watcher-1837092-1242857022 -o /tmp/evaluation-result-1837092-1242857022/solver-1837092-1242857022 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837092-1242857022.cnf

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED=1865516585

node19.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.236
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.236
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:       1705968 kB
Buffers:         35332 kB
Cached:         274668 kB
SwapCached:       6676 kB
Active:         178500 kB
Inactive:       139652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705968 kB
SwapTotal:     4192956 kB
SwapFree:      4180344 kB
Dirty:           23296 kB
Writeback:           0 kB
Mapped:          13272 kB
Slab:            17832 kB
Committed_AS:  1067624 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66100 MiB
End job on node19 at 2009-05-21 02:50:28