Trace number 1837100

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
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 variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data

0.00/0.00	c Parsing...
1.09/1.12	c ==============================================================================
1.09/1.12	c |           |     ORIGINAL     |              LEARNT              |          |
1.09/1.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.09/1.12	c ==============================================================================
1.09/1.12	c |         0 | 1254005  3044653 |  376201       0        0     nan |  0.000 % |
21.45/21.52	c |         0 |  600262  2684082 |      --       0       --      -- |     --   | -653743/-360571
21.45/21.53	c ==============================================================================
21.45/21.53	c Result  :   #vars: 43082   #clauses: 600262   #literals: 2684082
21.45/21.53	c CPU time:   20.9328 s
21.45/21.53	c ==============================================================================
22.35/22.44	c This is MiniSat 2.0 beta
22.35/22.44	c WARNING: for repeatability, setting FPU to use double precision
22.35/22.44	c ============================[ Problem Statistics ]=============================
22.35/22.44	c |                                                                             |
22.35/22.44	c |  Number of variables:  43082                                                |
22.35/22.44	c |  Number of clauses:    600262                                               |
22.39/22.89	c |  Parsing time:         0.40         s                                       |
22.39/22.92	c ============================[ Search Statistics ]==============================
22.39/22.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.39/22.92	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.39/22.92	c ===============================================================================
22.39/22.92	c |         0 |   43082   600262  2684082 |   200087        0    nan |  0.000 % |
23.13/23.25	c |       100 |   43082   600262  2684082 |   200087      100     13 |  0.000 % |
23.23/23.37	c |       200 |   43082   600262  2684082 |   200087      200     19 |  0.000 % |
23.43/23.54	c |       300 |   43082   600262  2684082 |   200087      300     16 |  0.000 % |
23.73/23.80	c |       415 |   43082   600262  2684082 |   200087      415     16 |  0.000 % |
23.83/23.98	c |       515 |   43082   600262  2684082 |   200087      515     22 |  0.000 % |
24.13/24.20	c |       626 |   43082   600262  2684082 |   200087      626     21 |  0.000 % |
24.23/24.35	c |       750 |   43082   600262  2684082 |   200087      750     20 |  0.000 % |
24.33/24.46	c |       858 |   43082   600262  2684082 |   200087      858     21 |  0.000 % |
24.63/24.73	c |       970 |   43082   600262  2684082 |   200087      970     21 |  0.000 % |
24.73/24.88	c |      1091 |   43082   600262  2684082 |   200087     1091     21 |  0.000 % |
25.23/25.31	c |      1225 |   43082   600262  2684082 |   200087     1225     21 |  0.000 % |
25.33/25.43	c |      1326 |   43082   600262  2684082 |   200087     1326     22 |  0.000 % |
25.43/25.59	c |      1438 |   43082   600262  2684082 |   200087     1438     22 |  0.000 % |
25.63/25.77	c |      1559 |   43082   600262  2684082 |   200087     1559     22 |  0.000 % |
25.93/26.08	c |      1692 |   43082   600262  2684082 |   200087     1692     24 |  0.000 % |
26.24/26.35	c |      1838 |   43082   600262  2684082 |   200087     1838     24 |  0.000 % |
26.43/26.55	c |      1938 |   43082   600262  2684082 |   200087     1938     24 |  0.000 % |
26.73/26.85	c |      2048 |   43082   600262  2684082 |   200087     2048     24 |  0.000 % |
26.83/26.99	c |      2170 |   43082   600262  2684082 |   200087     2170     24 |  0.000 % |
27.34/27.44	c |      2303 |   43082   600262  2684082 |   200087     2303     24 |  0.000 % |
27.63/27.79	c |      2449 |   43082   600262  2684082 |   200087     2449     23 |  0.000 % |
28.03/28.14	c |      2610 |   43082   600262  2684082 |   200087     2610     23 |  0.000 % |
28.33/28.47	c |      2711 |   43082   600262  2684082 |   200087     2711     25 |  0.000 % |
28.53/28.63	c |      2821 |   43082   600262  2684082 |   200087     2821     24 |  0.000 % |
28.83/28.95	c |      2945 |   43082   600262  2684082 |   200087     2945     25 |  0.000 % |
29.03/29.12	c |      3078 |   43082   600262  2684082 |   200087     3078     24 |  0.000 % |
29.23/29.38	c |      3224 |   43082   600262  2684082 |   200087     3224     24 |  0.000 % |
29.63/29.77	c |      3386 |   43082   600262  2684082 |   200087     3386     25 |  0.000 % |
30.03/30.16	c |      3562 |   43082   600262  2684082 |   200087     3562     25 |  0.000 % |
30.23/30.34	c |      3664 |   43082   600262  2684082 |   200087     3664     25 |  0.000 % |
30.53/30.64	c |      3775 |   43082   600262  2684082 |   200087     3775     25 |  0.000 % |
30.83/30.90	c |      3896 |   43082   600262  2684082 |   200087     3896     25 |  0.000 % |
31.13/31.20	c |      4029 |   43082   600262  2684082 |   200087     4029     25 |  0.000 % |
31.33/31.43	c |      4176 |   43082   600262  2684082 |   200087     4176     25 |  0.000 % |
31.73/31.89	c |      4336 |   43082   600262  2684082 |   200087     4336     25 |  0.000 % |
32.12/32.26	c |      4512 |   43082   600262  2684082 |   200087     4512     25 |  0.000 % |
32.62/32.70	c |      4706 |   43082   600262  2684082 |   200087     4706     24 |  0.000 % |
32.83/32.96	c |      4806 |   43082   600262  2684082 |   200087     4806     24 |  0.000 % |
33.02/33.12	c |      4918 |   43082   600262  2684082 |   200087     4918     24 |  0.000 % |
33.22/33.32	c |      5039 |   43082   600262  2684082 |   200087     5039     24 |  0.000 % |
33.42/33.54	c |      5172 |   43082   600262  2684082 |   200087     5172     24 |  0.000 % |
33.62/33.78	c |      5318 |   43082   600262  2684082 |   200087     5318     24 |  0.000 % |
34.03/34.13	c |      5479 |   43082   600262  2684082 |   200087     5479     25 |  0.000 % |
34.32/34.40	c |      5657 |   43082   600262  2684082 |   200087     5657     25 |  0.000 % |
34.62/34.79	c |      5850 |   43082   600262  2684082 |   200087     5850     25 |  0.000 % |
34.92/35.02	c |      6062 |   43082   600262  2684082 |   200087     6062     25 |  0.000 % |
35.12/35.23	c |      6165 |   43082   600262  2684082 |   200087     6165     25 |  0.000 % |
35.22/35.33	c |      6281 |   43082   600262  2684082 |   200087     6281     25 |  0.000 % |
35.32/35.49	c |      6404 |   43082   600262  2684082 |   200087     6404     25 |  0.000 % |
35.62/35.71	c |      6537 |   43082   600262  2684082 |   200087     6537     25 |  0.000 % |
35.82/35.92	c |      6688 |   43082   600262  2684082 |   200087     6688     25 |  0.000 % |
36.02/36.12	c |      6848 |   43082   600262  2684082 |   200087     6848     26 |  0.000 % |
36.12/36.28	c |      7024 |   43082   600262  2684082 |   200087     7024     25 |  0.000 % |
36.32/36.44	c |      7217 |   43082   600262  2684082 |   200087     7217     25 |  0.000 % |
36.52/36.62	c |      7429 |   43082   600262  2684082 |   200087     7429     25 |  0.000 % |
36.82/36.90	c |      7664 |   43082   600262  2684082 |   200087     7664     25 |  0.000 % |
37.02/37.10	c |      7764 |   43082   600262  2684082 |   200087     7764     25 |  0.000 % |
37.22/37.32	c |      7874 |   43082   600262  2684082 |   200087     7874     25 |  0.000 % |
37.42/37.53	c |      7995 |   43082   600262  2684082 |   200087     7995     25 |  0.000 % |
37.62/37.73	c |      8131 |   43082   600262  2684082 |   200087     8131     25 |  0.000 % |
37.82/37.96	c |      8280 |   43082   600262  2684082 |   200087     8280     25 |  0.000 % |
38.22/38.37	c |      8440 |   43082   600262  2684082 |   200087     8440     25 |  0.000 % |
38.62/38.71	c |      8620 |   43082   600262  2684082 |   200087     8620     25 |  0.000 % |
39.02/39.10	c |      8813 |   43082   600262  2684082 |   200087     8813     25 |  0.000 % |
39.42/39.57	c |      9025 |   43082   600262  2684082 |   200087     9025     26 |  0.000 % |
39.82/39.93	c |      9258 |   43082   600262  2684082 |   200087     9258     26 |  0.000 % |
40.22/40.35	c |      9514 |   43082   600262  2684082 |   200087     9514     26 |  0.000 % |
40.52/40.63	c |      9614 |   43082   600262  2684082 |   200087     9614     26 |  0.000 % |
40.72/40.81	c |      9725 |   43082   600262  2684082 |   200087     9725     26 |  0.000 % |
40.82/40.94	c |      9846 |   43082   600262  2684082 |   200087     9846     26 |  0.000 % |
41.12/41.21	c |      9980 |   43082   600262  2684082 |   200087     9980     26 |  0.000 % |
41.32/41.46	c |     10129 |   43082   600262  2684082 | 2147483647    10129     26 |  0.000 % |
41.62/41.73	c |     10291 |   43082   600262  2684082 | 2147483647    10291     26 |  0.000 % |
42.02/42.16	c |     10467 |   43082   600262  2684082 | 2147483647    10467     26 |  0.000 % |
42.52/42.69	c |     10665 |   43082   600262  2684082 | 2147483647    10665     26 |  0.000 % |
42.82/42.95	c |     10880 |   43082   600262  2684082 | 2147483647    10880     26 |  0.000 % |
43.42/43.50	c |     11113 |   43082   600262  2684082 | 2147483647    11113     25 |  0.000 % |
43.72/43.83	c |     11369 |   43082   600262  2684082 | 2147483647    11369     26 |  0.000 % |
44.12/44.22	c |     11652 |   43082   600262  2684082 | 2147483647    11652     25 |  0.000 % |
44.32/44.48	c |     11753 |   43082   600262  2684082 | 2147483647    11753     25 |  0.000 % |
44.51/44.64	c |     11864 |   43082   600262  2684082 | 2147483647    11864     25 |  0.000 % |
44.71/44.89	c |     11985 |   43082   600262  2684082 | 2147483647    11985     25 |  0.000 % |
45.02/45.14	c |     12123 |   43082   600262  2684082 | 2147483647    12123     25 |  0.000 % |
45.21/45.38	c |     12269 |   43082   600262  2684082 | 2147483647    12269     25 |  0.000 % |
45.62/45.70	c |     12431 |   43082   600262  2684082 | 2147483647    12431     25 |  0.000 % |
45.82/45.91	c |     12614 |   43082   600262  2684082 | 2147483647    12614     25 |  0.000 % |
46.03/46.15	c |     12813 |   43082   600262  2684082 | 2147483647    12813     25 |  0.000 % |
46.52/46.63	c |     13025 |   43082   600262  2684082 | 2147483647    13025     25 |  0.000 % |
47.02/47.13	c |     13261 |   43082   600262  2684082 | 2147483647    13261     25 |  0.000 % |
47.52/47.64	c |     13519 |   43082   600262  2684082 | 2147483647    13519     25 |  0.000 % |
47.82/47.99	c |     13804 |   43082   600262  2684082 | 2147483647    13804     26 |  0.000 % |
48.52/48.67	c |     14114 |   43082   600262  2684082 | 2147483647    14114     25 |  0.000 % |
48.72/48.87	c |     14217 |   43082   600262  2684082 | 2147483647    14217     25 |  0.000 % |
48.92/49.08	c |     14327 |   43082   600262  2684082 | 2147483647    14327     25 |  0.000 % |
49.12/49.29	c |     14448 |   43082   600262  2684082 | 2147483647    14448     26 |  0.000 % |
49.42/49.58	c |     14581 |   43082   600262  2684082 | 2147483647    14581     25 |  0.000 % |
49.72/49.84	c |     14728 |   43082   600262  2684082 | 2147483647    14728     25 |  0.000 % |
49.82/49.99	c |     14890 |   43082   600262  2684082 | 2147483647    14890     25 |  0.000 % |
50.22/50.39	c |     15068 |   43082   600262  2684082 | 2147483647    15068     25 |  0.000 % |
50.62/50.78	c |     15264 |   43082   600262  2684082 | 2147483647    15264     26 |  0.000 % |
51.02/51.14	c |     15477 |   43082   600262  2684082 | 2147483647    15477     25 |  0.000 % |
51.42/51.54	c |     15712 |   43082   600262  2684082 | 2147483647    15712     25 |  0.000 % |
52.02/52.15	c |     15968 |   43082   600262  2684082 | 2147483647    15968     26 |  0.000 % |
52.42/52.57	c |     16249 |   43082   600262  2684082 | 2147483647    16249     26 |  0.000 % |
53.42/53.52	c |     16561 |   43082   600262  2684082 | 2147483647    16561     26 |  0.000 % |
54.02/54.11	c |     16900 |   43082   600262  2684082 | 2147483647    16900     26 |  0.000 % |
54.11/54.25	c |     17001 |   43082   600262  2684082 | 2147483647    17001     26 |  0.000 % |
54.31/54.47	c |     17116 |   43082   600262  2684082 | 2147483647    17116     26 |  0.000 % |
54.51/54.62	c |     17237 |   43082   600262  2684082 | 2147483647    17237     26 |  0.000 % |
54.71/54.82	c |     17381 |   43082   600262  2684082 | 2147483647    17381     26 |  0.000 % |
54.91/55.08	c |     17527 |   43082   600262  2684082 | 2147483647    17527     26 |  0.000 % |
55.21/55.33	c |     17688 |   43082   600262  2684082 | 2147483647    17688     26 |  0.000 % |
55.41/55.56	c |     17872 |   43082   600262  2684082 | 2147483647    17872     26 |  0.000 % |
55.71/55.84	c |     18065 |   43082   600262  2684082 | 2147483647    18065     26 |  0.000 % |
56.31/56.48	c |     18277 |   43082   600262  2684082 | 2147483647    18277     26 |  0.000 % |
56.61/56.74	c |     18510 |   43082   600262  2684082 | 2147483647    18510     26 |  0.000 % |
57.21/57.34	c |     18766 |   43082   600262  2684082 | 2147483647    18766     26 |  0.000 % |
57.81/57.92	c |     19047 |   43082   600262  2684082 | 2147483647    19047     26 |  0.000 % |
58.11/58.30	c |     19357 |   43082   600262  2684082 | 2147483647    19357     26 |  0.000 % |
58.61/58.78	c |     19696 |   43082   600262  2684082 | 2147483647    19696     26 |  0.000 % |
59.41/59.57	c |     20068 |   43082   600262  2684082 | 2147483647    20068     26 |  0.000 % |
59.61/59.72	c |     20168 |   43082   600262  2684082 | 2147483647    20168     26 |  0.000 % |
59.71/59.86	c |     20284 |   43082   600262  2684082 | 2147483647    20284     26 |  0.000 % |
60.01/60.16	c |     20407 |   43082   600262  2684082 | 2147483647    20407     26 |  0.000 % |
60.21/60.34	c |     20540 |   43082   600262  2684082 | 2147483647    20540     26 |  0.000 % |
60.51/60.62	c |     20687 |   43082   600262  2684082 | 2147483647    20687     26 |  0.000 % |
60.71/60.84	c |     20847 |   43082   600262  2684082 | 2147483647    20847     26 |  0.000 % |
61.01/61.17	c |     21024 |   43082   600262  2684082 | 2147483647    21024     26 |  0.000 % |
61.51/61.65	c |     21218 |   43082   600262  2684082 | 2147483647    21218     26 |  0.000 % |
61.81/61.92	c |     21430 |   43082   600262  2684082 | 2147483647    21430     26 |  0.000 % |
62.01/62.16	c |     21667 |   43082   600262  2684082 | 2147483647    21667     26 |  0.000 % |
62.31/62.47	c |     21926 |   43082   600262  2684082 | 2147483647    21926     26 |  0.000 % |
63.01/63.18	c |     22207 |   43082   600262  2684082 | 2147483647    22207     26 |  0.000 % |
63.51/63.66	c |     22516 |   43082   600262  2684082 | 2147483647    22516     26 |  0.000 % |
64.21/64.34	c |     22855 |   43082   600262  2684082 | 2147483647    22855     26 |  0.000 % |
64.71/64.90	c |     23228 |   43082   600262  2684082 | 2147483647    23228     26 |  0.000 % |
65.61/65.73	c |     23637 |   43082   600262  2684082 | 2147483647    23637     26 |  0.000 % |
65.70/65.90	c |     23737 |   43082   600262  2684082 | 2147483647    23737     26 |  0.000 % |
66.00/66.19	c |     23847 |   43082   600262  2684082 | 2147483647    23847     26 |  0.000 % |
66.40/66.58	c |     23972 |   43082   600262  2684082 | 2147483647    23972     26 |  0.000 % |
66.80/66.91	c |     24107 |   43082   600262  2684082 | 2147483647    24107     26 |  0.000 % |
67.01/67.12	c |     24253 |   43082   600262  2684082 | 2147483647    24253     26 |  0.000 % |
67.30/67.49	c |     24415 |   43082   600262  2684082 | 2147483647    24415     26 |  0.000 % |
67.60/67.73	c |     24591 |   43082   600262  2684082 | 2147483647    24591     26 |  0.000 % |
68.01/68.11	c |     24785 |   43082   600262  2684082 | 2147483647    24785     26 |  0.000 % |
68.30/68.40	c |     25001 |   43082   600262  2684082 | 2147483647    25001     26 |  0.000 % |
68.70/68.82	c |     25235 |   43082   600262  2684082 | 2147483647    25235     26 |  0.000 % |
68.90/69.09	c |     25494 |   43082   600262  2684082 | 2147483647    25494     26 |  0.000 % |
69.60/69.76	c |     25775 |   43082   600262  2684082 | 2147483647    25775     26 |  0.000 % |
70.20/70.39	c |     26084 |   43082   600262  2684082 | 2147483647    26084     26 |  0.000 % |
71.20/71.33	c |     26424 |   43082   600262  2684082 | 2147483647    26424     26 |  0.000 % |
72.00/72.19	c |     26797 |   43082   600262  2684082 | 2147483647    26797     26 |  0.000 % |
72.80/72.97	c |     27206 |   43082   600262  2684082 | 2147483647    27206     26 |  0.000 % |
73.60/73.74	c |     27655 |   43082   600262  2684082 | 2147483647    27655     26 |  0.000 % |
73.80/73.93	c |     27755 |   43082   600262  2684082 | 2147483647    27755     26 |  0.000 % |
74.10/74.27	c |     27865 |   43082   600262  2684082 | 2147483647    27865     26 |  0.000 % |
74.40/74.51	c |     27986 |   43082   600262  2684082 | 2147483647    27986     26 |  0.000 % |
74.60/74.72	c |     28123 |   43082   600262  2684082 | 2147483647    28123     26 |  0.000 % |
74.90/75.02	c |     28272 |   43082   600262  2684082 | 2147483647    28272     26 |  0.000 % |
75.31/75.49	c |     28432 |   43082   600262  2684082 | 2147483647    28432     26 |  0.000 % |
75.61/75.74	c |     28608 |   43082   600262  2684082 | 2147483647    28608     26 |  0.000 % |
75.91/76.03	c |     28801 |   43082   600262  2684082 | 2147483647    28801     26 |  0.000 % |
76.21/76.36	c |     29013 |   43082   600262  2684082 | 2147483647    29013     26 |  0.000 % |
76.71/76.90	c |     29246 |   43082   600262  2684082 | 2147483647    29246     26 |  0.000 % |
77.11/77.27	c |     29502 |   43082   600262  2684082 | 2147483647    29502     26 |  0.000 % |
77.91/78.03	c |     29787 |   43082   600262  2684082 | 2147483647    29787     26 |  0.000 % |
78.40/78.59	c |     30096 |   43082   600262  2684082 | 2147483647    30096     26 |  0.000 % |
79.20/79.31	c |     30435 |   43082   600262  2684082 | 2147483647    30435     26 |  0.000 % |
79.80/79.98	c |     30812 |   43082   600262  2684082 | 2147483647    30812     26 |  0.000 % |
80.60/80.72	c |     31221 |   43082   600262  2684082 | 2147483647    31221     26 |  0.000 % |
81.31/81.49	c |     31670 |   43082   600262  2684082 | 2147483647    31670     26 |  0.000 % |
82.20/82.34	c |     32164 |   43082   600262  2684082 | 2147483647    32164     26 |  0.000 % |
82.41/82.55	c |     32267 |   43082   600262  2684082 | 2147483647    32267     26 |  0.000 % |
82.50/82.67	c |     32377 |   43082   600262  2684082 | 2147483647    32377     26 |  0.000 % |
82.80/82.91	c |     32498 |   43082   600262  2684082 | 2147483647    32498     26 |  0.000 % |
83.00/83.15	c |     32631 |   43082   600262  2684082 | 2147483647    32631     26 |  0.000 % |
83.41/83.57	c |     32777 |   43082   600262  2684082 | 2147483647    32777     26 |  0.000 % |
83.70/83.83	c |     32940 |   43082   600262  2684082 | 2147483647    32940     26 |  0.000 % |
83.90/84.06	c |     33117 |   43082   600262  2684082 | 2147483647    33117     26 |  0.000 % |
84.20/84.37	c |     33311 |   43082   600262  2684082 | 2147483647    33311     26 |  0.000 % |
84.50/84.64	c |     33523 |   43082   600262  2684082 | 2147483647    33523     26 |  0.000 % |
84.99/85.18	c |     33757 |   43082   600262  2684082 | 2147483647    33757     26 |  0.000 % |
85.49/85.66	c |     34013 |   43082   600262  2684082 | 2147483647    34013     26 |  0.000 % |
85.89/86.09	c |     34295 |   43082   600262  2684082 | 2147483647    34295     26 |  0.000 % |
86.29/86.49	c |     34607 |   43082   600262  2684082 | 2147483647    34607     26 |  0.000 % |
86.80/86.95	c |     34946 |   43082   600262  2684082 | 2147483647    34946     26 |  0.000 % |
87.80/87.92	c |     35321 |   43082   600262  2684082 | 2147483647    35321     26 |  0.000 % |
88.29/88.50	c |     35730 |   43082   600262  2684082 | 2147483647    35730     26 |  0.000 % |
89.19/89.32	c |     36179 |   43082   600262  2684082 | 2147483647    36179     26 |  0.000 % |
90.19/90.36	c |     36674 |   43082   600262  2684082 | 2147483647    36674     26 |  0.000 % |
91.09/91.21	c |     37219 |   43082   600262  2684082 | 2147483647    37219     26 |  0.000 % |
91.19/91.34	c |     37319 |   43082   600262  2684082 | 2147483647    37319     26 |  0.000 % |
91.29/91.49	c |     37436 |   43082   600262  2684082 | 2147483647    37436     26 |  0.000 % |
91.59/91.73	c |     37560 |   43082   600262  2684082 | 2147483647    37560     26 |  0.000 % |
91.89/92.04	c |     37693 |   43082   600262  2684082 | 2147483647    37693     26 |  0.000 % |
92.29/92.49	c |     37840 |   43082   600262  2684082 | 2147483647    37840     26 |  0.000 % |
92.69/92.81	c |     38000 |   43082   600262  2684082 | 2147483647    38000     26 |  0.000 % |
93.09/93.20	c |     38180 |   43082   600262  2684082 | 2147483647    38180     26 |  0.000 % |
93.49/93.65	c |     38374 |   43082   600262  2684082 | 2147483647    38374     26 |  0.000 % |
93.99/94.13	c |     38586 |   43082   600262  2684082 | 2147483647    38586     26 |  0.000 % |
94.59/94.79	c |     38819 |   43082   600262  2684082 | 2147483647    38819     26 |  0.000 % |
95.08/95.22	c |     39075 |   43082   600262  2684082 | 2147483647    39075     26 |  0.000 % |
95.68/95.84	c |     39356 |   43082   600262  2684082 | 2147483647    39356     26 |  0.000 % |
96.08/96.29	c |     39668 |   43082   600262  2684082 | 2147483647    39668     26 |  0.000 % |
96.59/96.80	c |     40007 |   43082   600262  2684082 | 2147483647    40007     26 |  0.000 % |
97.58/97.77	c |     40379 |   43082   600262  2684082 | 2147483647    40379     26 |  0.000 % |
98.18/98.34	c |     40788 |   43082   600262  2684082 | 2147483647    40788     26 |  0.000 % |
99.58/99.70	c |     41237 |   43082   600262  2684082 | 2147483647    41237     26 |  0.000 % |
100.88/101.02	c |     41731 |   43082   600262  2684082 | 2147483647    41731     27 |  0.000 % |
101.88/102.08	c |     42273 |   43082   600262  2684082 | 2147483647    42273     26 |  0.000 % |
103.58/103.73	c |     42869 |   43082   600262  2684082 | 2147483647    42869     27 |  0.000 % |
103.98/104.16	c |     42969 |   43082   600262  2684082 | 2147483647    42969     27 |  0.000 % |
104.18/104.38	c |     43080 |   43082   600262  2684082 | 2147483647    43080     27 |  0.000 % |
104.38/104.52	c |     43202 |   43082   600262  2684082 | 2147483647    43202     27 |  0.000 % |
104.67/104.80	c |     43335 |   43082   600262  2684082 | 2147483647    43335     27 |  0.000 % |
104.87/105.05	c |     43481 |   43082   600262  2684082 | 2147483647    43481     27 |  0.000 % |
105.17/105.32	c |     43642 |   43082   600262  2684082 | 2147483647    43642     27 |  0.000 % |
105.38/105.55	c |     43819 |   43082   600262  2684082 | 2147483647    43819     27 |  0.000 % |
105.67/105.87	c |     44013 |   43082   600262  2684082 | 2147483647    44013     27 |  0.000 % |
106.07/106.28	c |     44225 |   43082   600262  2684082 | 2147483647    44225     27 |  0.000 % |
106.37/106.55	c |     44458 |   43082   600262  2684082 | 2147483647    44458     27 |  0.000 % |
106.87/107.02	c |     44714 |   43082   600262  2684082 | 2147483647    44714     27 |  0.000 % |
107.17/107.32	c |     44995 |   43082   600262  2684082 | 2147483647    44995     27 |  0.000 % |
107.77/107.90	c |     45310 |   43082   600262  2684082 | 2147483647    45310     27 |  0.000 % |
108.18/108.34	c |     45649 |   43082   600262  2684082 | 2147483647    45649     27 |  0.000 % |
108.88/109.00	c |     46021 |   43082   600262  2684082 | 2147483647    46021     27 |  0.000 % |
109.88/110.02	c |     46431 |   43082   600262  2684082 | 2147483647    46431     27 |  0.000 % |
110.68/110.86	c |     46880 |   43082   600262  2684082 | 2147483647    46880     26 |  0.000 % |
111.68/111.89	c |     47374 |   43082   600262  2684082 | 2147483647    47374     26 |  0.000 % |
112.68/112.85	c |     47916 |   43082   600262  2684082 | 2147483647    47916     26 |  0.000 % |
114.28/114.42	c |     48512 |   43082   600262  2684082 | 2147483647    48512     26 |  0.000 % |
115.77/115.90	c |     49167 |   43082   600262  2684082 | 2147483647    49167     26 |  0.000 % |
116.07/116.23	c |     49268 |   43082   600262  2684082 | 2147483647    49268     26 |  0.000 % |
116.17/116.39	c |     49378 |   43082   600262  2684082 | 2147483647    49378     26 |  0.000 % |
116.48/116.61	c |     49505 |   43082   600262  2684082 | 2147483647    49505     26 |  0.000 % |
116.67/116.90	c |     49638 |   43082   600262  2684082 | 2147483647    49638     26 |  0.000 % |
116.97/117.12	c |     49784 |   43082   600262  2684082 | 2147483647    49784     26 |  0.000 % |
117.27/117.43	c |     49950 |   43082   600262  2684082 | 2147483647    49950     26 |  0.000 % |
117.77/117.91	c |     50128 |   43082   600262  2684082 | 2147483647    50128     26 |  0.000 % |
117.97/118.16	c |     50322 |   43082   600262  2684082 | 2147483647    50322     26 |  0.000 % |
118.58/118.72	c |     50534 |   43082   600262  2684082 | 2147483647    50534     26 |  0.000 % |
119.07/119.28	c |     50768 |   43082   600262  2684082 | 2147483647    50768     26 |  0.000 % |
119.87/120.01	c |     51025 |   43082   600262  2684082 | 2147483647    51025     26 |  0.000 % |
120.27/120.46	c |     51311 |   43082   600262  2684082 | 2147483647    51311     26 |  0.000 % |
120.97/121.19	c |     51626 |   43082   600262  2684082 | 2147483647    51626     26 |  0.000 % |
122.27/122.42	c |     51965 |   43082   600262  2684082 | 2147483647    51965     26 |  0.000 % |
123.17/123.36	c |     52337 |   43082   600262  2684082 | 2147483647    52337     26 |  0.000 % |
123.77/123.97	c |     52747 |   43082   600262  2684082 | 2147483647    52747     26 |  0.000 % |
124.87/125.03	c |     53196 |   43082   600262  2684082 | 2147483647    53196     26 |  0.000 % |
125.87/126.01	c |     53689 |   43082   600262  2684082 | 2147483647    53689     26 |  0.000 % |
127.37/127.51	c |     54232 |   43082   600262  2684082 | 2147483647    54232     26 |  0.000 % |
128.36/128.53	c |     54828 |   43082   600262  2684082 | 2147483647    54828     26 |  0.000 % |
129.46/129.68	c |     55484 |   43082   600262  2684082 | 2147483647    55484     26 |  0.000 % |
130.67/130.82	c |     56204 |   43082   600262  2684082 | 2147483647    56204     26 |  0.000 % |
130.86/131.09	c |     56305 |   43082   600262  2684082 | 2147483647    56305     26 |  0.000 % |
131.16/131.36	c |     56415 |   43082   600262  2684082 | 2147483647    56415     26 |  0.000 % |
131.56/131.70	c |     56536 |   43082   600262  2684082 | 2147483647    56536     26 |  0.000 % |
131.87/132.02	c |     56670 |   43082   600262  2684082 | 2147483647    56670     26 |  0.000 % |
132.16/132.31	c |     56817 |   43082   600262  2684082 | 2147483647    56817     26 |  0.000 % |
132.46/132.65	c |     56977 |   43082   600262  2684082 | 2147483647    56977     26 |  0.000 % |
132.87/133.01	c |     57154 |   43082   600262  2684082 | 2147483647    57154     26 |  0.000 % |
133.26/133.45	c |     57348 |   43082   600262  2684082 | 2147483647    57348     26 |  0.000 % |
133.56/133.77	c |     57560 |   43082   600262  2684082 | 2147483647    57560     26 |  0.000 % |
134.16/134.37	c |     57794 |   43082   600262  2684082 | 2147483647    57794     26 |  0.000 % |
134.56/134.79	c |     58052 |   43082   600262  2684082 | 2147483647    58052     26 |  0.000 % |
135.26/135.48	c |     58333 |   43082   600262  2684082 | 2147483647    58333     26 |  0.000 % |
135.86/136.03	c |     58642 |   43082   600262  2684082 | 2147483647    58642     26 |  0.000 % |
136.26/136.44	c |     58982 |   43082   600262  2684082 | 2147483647    58982     26 |  0.000 % |
137.46/137.68	c |     59354 |   43082   600262  2684082 | 2147483647    59354     26 |  0.000 % |
139.36/139.56	c |     59763 |   43082   600262  2684082 | 2147483647    59763     26 |  0.000 % |
140.46/140.64	c |     60212 |   43082   600262  2684082 | 2147483647    60212     26 |  0.000 % |
142.25/142.45	c |     60708 |   43082   600262  2684082 | 2147483647    60708     27 |  0.000 % |
143.25/143.49	c |     61250 |   43082   600262  2684082 | 2147483647    61250     27 |  0.000 % |
144.85/145.08	c |     61852 |   43082   600262  2684082 | 2147483647    61852     27 |  0.000 % |
146.07/146.27	c |     62507 |   43082   600262  2684082 | 2147483647    62507     27 |  0.000 % |
147.46/147.69	c |     63227 |   43082   600262  2684082 | 2147483647    63227     27 |  0.000 % |
149.06/149.24	c |     64019 |   43082   600262  2684082 | 2147483647    64019     27 |  0.000 % |
149.26/149.41	c |     64123 |   43082   600262  2684082 | 2147483647    64123     27 |  0.000 % |
149.56/149.75	c |     64234 |   43082   600262  2684082 | 2147483647    64234     27 |  0.000 % |
149.76/149.99	c |     64359 |   43082   600262  2684082 | 2147483647    64359     27 |  0.000 % |
149.96/150.17	c |     64492 |   43082   600262  2684082 | 2147483647    64492     27 |  0.000 % |
150.36/150.56	c |     64639 |   43082   600262  2684082 | 2147483647    64639     27 |  0.000 % |
150.66/150.88	c |     64800 |   43082   600262  2684082 | 2147483647    64800     27 |  0.000 % |
151.16/151.34	c |     64978 |   43082   600262  2684082 | 2147483647    64978     27 |  0.000 % |
151.46/151.62	c |     65171 |   43082   600262  2684082 | 2147483647    65171     27 |  0.000 % |
151.86/152.06	c |     65383 |   43082   600262  2684082 | 2147483647    65383     27 |  0.000 % |
152.26/152.49	c |     65619 |   43082   600262  2684082 | 2147483647    65619     27 |  0.000 % |
152.86/153.03	c |     65877 |   43082   600262  2684082 | 2147483647    65877     27 |  0.000 % |
153.46/153.60	c |     66158 |   43082   600262  2684082 | 2147483647    66158     27 |  0.000 % |
154.16/154.32	c |     66467 |   43082   600262  2684082 | 2147483647    66467     27 |  0.000 % |
154.86/155.00	c |     66806 |   43082   600262  2684082 | 2147483647    66806     27 |  0.000 % |
155.56/155.70	c |     67179 |   43082   600262  2684082 | 2147483647    67179     27 |  0.000 % |
156.46/156.60	c |     67588 |   43082   600262  2684082 | 2147483647    67588     27 |  0.000 % |
157.26/157.45	c |     68037 |   43082   600262  2684082 | 2147483647    68037     27 |  0.000 % |
158.56/158.79	c |     68530 |   43082   600262  2684082 | 2147483647    68530     27 |  0.000 % |
159.85/160.08	c |     69073 |   43082   600262  2684082 | 2147483647    69073     27 |  0.000 % |
160.85/161.06	c |     69671 |   43082   600262  2684082 | 2147483647    69671     27 |  0.000 % |
162.75/162.98	c |     70326 |   43082   600262  2684082 | 2147483647    70326     27 |  0.000 % |
163.75/163.97	c |     71048 |   43082   600262  2684082 | 2147483647    71048     27 |  0.000 % |
165.75/165.93	c |     71842 |   43082   600262  2684082 | 2147483647    71842     27 |  0.000 % |
166.85/167.00	c |     72714 |   43082   600262  2684082 | 2147483647    72714     27 |  0.000 % |
166.95/167.14	c |     72814 |   43082   600262  2684082 | 2147483647    72814     27 |  0.000 % |
167.35/167.51	c |     72924 |   43082   600262  2684082 | 2147483647    72924     27 |  0.000 % |
167.55/167.71	c |     73045 |   43082   600262  2684082 | 2147483647    73045     27 |  0.000 % |
167.85/168.03	c |     73181 |   43082   600262  2684082 | 2147483647    73181     27 |  0.000 % |
168.15/168.32	c |     73331 |   43082   600262  2684082 | 2147483647    73331     27 |  0.000 % |
168.74/168.97	c |     73491 |   43082   600262  2684082 | 2147483647    73491     27 |  0.000 % |
169.25/169.48	c |     73667 |   43082   600262  2684082 | 2147483647    73667     27 |  0.000 % |
169.64/169.80	c |     73861 |   43082   600262  2684082 | 2147483647    73861     27 |  0.000 % |
170.04/170.25	c |     74073 |   43082   600262  2684082 | 2147483647    74073     27 |  0.000 % |
170.64/170.85	c |     74306 |   43082   600262  2684082 | 2147483647    74306     27 |  0.000 % |
171.54/171.75	c |     74562 |   43082   600262  2684082 | 2147483647    74562     27 |  0.000 % |
172.24/172.46	c |     74843 |   43082   600262  2684082 | 2147483647    74843     27 |  0.000 % |
172.94/173.11	c |     75154 |   43082   600262  2684082 | 2147483647    75154     27 |  0.000 % |
173.74/173.99	c |     75493 |   43082   600262  2684082 | 2147483647    75493     27 |  0.000 % |
174.34/174.58	c |     75865 |   43082   600262  2684082 | 2147483647    75865     27 |  0.000 % |
175.44/175.63	c |     76278 |   43082   600262  2684082 | 2147483647    76278     27 |  0.000 % |
176.24/176.42	c |     76728 |   43082   600262  2684082 | 2147483647    76728     27 |  0.000 % |
177.54/177.77	c |     77222 |   43082   600262  2684082 | 2147483647    77222     27 |  0.000 % |
178.54/178.71	c |     77765 |   43082   600262  2684082 | 2147483647    77765     27 |  0.000 % |
180.24/180.47	c |     78361 |   43082   600262  2684082 | 2147483647    78361     27 |  0.000 % |
181.44/181.61	c |     79019 |   43082   600262  2684082 | 2147483647    79019     27 |  0.000 % |
182.83/183.00	c |     79739 |   43082   600262  2684082 | 2147483647    79739     27 |  0.000 % |
183.93/184.14	c |     80531 |   43082   600262  2684082 | 2147483647    80531     27 |  0.000 % |
186.43/186.60	c |     81407 |   43082   600262  2684082 | 2147483647    81407     27 |  0.000 % |
188.74/188.92	c |     82365 |   43082   600262  2684082 | 2147483647    82365     27 |  0.000 % |
188.94/189.16	c |     82465 |   43082   600262  2684082 | 2147483647    82465     27 |  0.000 % |
189.24/189.45	c |     82576 |   43082   600262  2684082 | 2147483647    82576     27 |  0.000 % |
189.54/189.77	c |     82703 |   43082   600262  2684082 | 2147483647    82703     27 |  0.000 % |
189.84/190.06	c |     82839 |   43082   600262  2684082 | 2147483647    82839     27 |  0.000 % |
190.14/190.37	c |     82985 |   43082   600262  2684082 | 2147483647    82985     27 |  0.000 % |
190.64/190.84	c |     83146 |   43082   600262  2684082 | 2147483647    83146     27 |  0.000 % |
191.04/191.27	c |     83324 |   43082   600262  2684082 | 2147483647    83324     27 |  0.000 % |
191.44/191.68	c |     83517 |   43082   600262  2684082 | 2147483647    83517     27 |  0.000 % |
191.74/191.97	c |     83731 |   43082   600262  2684082 | 2147483647    83731     27 |  0.000 % |
192.24/192.45	c |     83966 |   43082   600262  2684082 | 2147483647    83966     27 |  0.000 % |
193.04/193.22	c |     84223 |   43082   600262  2684082 | 2147483647    84223     27 |  0.000 % |
193.44/193.66	c |     84504 |   43082   600262  2684082 | 2147483647    84504     27 |  0.000 % |
193.84/194.05	c |     84815 |   43082   600262  2684082 | 2147483647    84815     27 |  0.000 % |
194.64/194.86	c |     85154 |   43082   600262  2684082 | 2147483647    85154     27 |  0.000 % |
195.64/195.89	c |     85527 |   43082   600262  2684082 | 2147483647    85527     27 |  0.000 % |
196.54/196.72	c |     85936 |   43082   600262  2684082 | 2147483647    85936     27 |  0.000 % |
198.84/199.03	c |     86385 |   43082   600262  2684082 | 2147483647    86385     27 |  0.000 % |
199.63/199.87	c |     86880 |   43082   600262  2684082 | 2147483647    86880     27 |  0.000 % |
201.33/201.57	c |     87424 |   43082   600262  2684082 | 2147483647    87424     27 |  0.000 % |
202.63/202.82	c |     88020 |   43082   600262  2684082 | 2147483647    88020     28 |  0.000 % |
203.93/204.13	c |     88678 |   43082   600262  2684082 | 2147483647    88678     28 |  0.000 % |
204.73/204.99	c |     89400 |   43082   600262  2684082 | 2147483647    89400     28 |  0.000 % |
206.54/206.78	c |     90193 |   43082   600262  2684082 | 2147483647    90193     28 |  0.000 % |
208.33/208.57	c |     91064 |   43082   600262  2684082 | 2147483647    91064     28 |  0.000 % |
210.13/210.37	c |     92022 |   43082   600262  2684082 | 2147483647    92022     28 |  0.000 % |
212.03/212.26	c |     93075 |   43082   600262  2684082 | 2147483647    93075     28 |  0.000 % |
212.23/212.43	c |     93175 |   43082   600262  2684082 | 2147483647    93175     28 |  0.000 % |
212.33/212.59	c |     93289 |   43082   600262  2684082 | 2147483647    93289     28 |  0.000 % |
212.53/212.73	c |     93410 |   43082   600262  2684082 | 2147483647    93410     28 |  0.000 % |
212.83/213.09	c |     93543 |   43082   600262  2684082 | 2147483647    93543     28 |  0.000 % |
213.23/213.41	c |     93693 |   43082   600262  2684082 | 2147483647    93693     28 |  0.000 % |
213.53/213.72	c |     93854 |   43082   600262  2684082 | 2147483647    93854     28 |  0.000 % |
214.03/214.24	c |     94030 |   43082   600262  2684082 | 2147483647    94030     28 |  0.000 % |
214.43/214.60	c |     94223 |   43082   600262  2684082 | 2147483647    94223     28 |  0.000 % |
215.13/215.35	c |     94436 |   43082   600262  2684082 | 2147483647    94436     28 |  0.000 % |
215.73/215.94	c |     94670 |   43082   600262  2684082 | 2147483647    94670     28 |  0.000 % |
216.23/216.45	c |     94927 |   43082   600262  2684082 | 2147483647    94927     28 |  0.000 % |
217.03/217.23	c |     95210 |   43082   600262  2684082 | 2147483647    95210     28 |  0.000 % |
217.83/218.05	c |     95519 |   43082   600262  2684082 | 2147483647    95519     28 |  0.000 % |
218.63/218.87	c |     95858 |   43082   600262  2684082 | 2147483647    95858     28 |  0.000 % |
219.53/219.73	c |     96230 |   43082   600262  2684082 | 2147483647    96230     28 |  0.000 % |
220.73/220.98	c |     96639 |   43082   600262  2684082 | 2147483647    96639     28 |  0.000 % |
221.93/222.13	c |     97088 |   43082   600262  2684082 | 2147483647    97088     28 |  0.000 % |
223.22/223.45	c |     97581 |   43082   600262  2684082 | 2147483647    97581     28 |  0.000 % |
225.12/225.31	c |     98123 |   43082   600262  2684082 | 2147483647    98123     28 |  0.000 % |
226.92/227.19	c |     98722 |   43082   600262  2684082 | 2147483647    98722     28 |  0.000 % |
228.32/228.54	c |     99379 |   43082   600262  2684082 | 2147483647    99379     28 |  0.000 % |
229.52/229.70	c |    100099 |   43082   600262  2684082 | 2147483647   100099     28 |  0.000 % |
231.52/231.78	c |    100891 |   43082   600262  2684082 | 2147483647   100891     28 |  0.000 % |
233.72/233.97	c |    101762 |   43082   600262  2684082 | 2147483647   101762     28 |  0.000 % |
236.82/237.07	c |    102721 |   43082   600262  2684082 | 2147483647   102721     28 |  0.000 % |
238.32/238.56	c |    103774 |   43082   600262  2684082 | 2147483647   103774     28 |  0.000 % |
240.42/240.61	c |    104935 |   43082   600262  2684082 | 2147483647   104935     28 |  0.000 % |
240.62/240.88	c |    105035 |   43082   600262  2684082 | 2147483647   105035     28 |  0.000 % |
240.92/241.10	c |    105148 |   43082   600262  2684082 | 2147483647   105148     28 |  0.000 % |
241.12/241.38	c |    105269 |   43082   600262  2684082 | 2147483647   105269     28 |  0.000 % |
241.42/241.69	c |    105403 |   43082   600262  2684082 | 2147483647   105403     28 |  0.000 % |
241.72/241.95	c |    105551 |   43082   600262  2684082 | 2147483647   105551     28 |  0.000 % |
242.02/242.22	c |    105712 |   43082   600262  2684082 | 2147483647   105712     28 |  0.000 % |
242.41/242.62	c |    105889 |   43082   600262  2684082 | 2147483647   105889     28 |  0.000 % |
242.71/242.92	c |    106083 |   43082   600262  2684082 | 2147483647   106083     28 |  0.000 % |
243.11/243.38	c |    106296 |   43082   600262  2684082 | 2147483647   106296     28 |  0.000 % |
243.81/244.02	c |    106530 |   43082   600262  2684082 | 2147483647   106530     28 |  0.000 % |
244.31/244.54	c |    106788 |   43082   600262  2684082 | 2147483647   106788     28 |  0.000 % |
244.71/244.99	c |    107069 |   43082   600262  2684082 | 2147483647   107069     28 |  0.000 % |
245.91/246.19	c |    107378 |   43082   600262  2684082 | 2147483647   107378     28 |  0.000 % |
247.01/247.27	c |    107717 |   43082   600262  2684082 | 2147483647   107717     28 |  0.000 % |
248.11/248.34	c |    108090 |   43082   600262  2684082 | 2147483647   108090     28 |  0.000 % |
249.01/249.22	c |    108500 |   43082   600262  2684082 | 2147483647   108500     28 |  0.000 % |
249.81/250.00	c |    108950 |   43082   600262  2684082 | 2147483647   108950     28 |  0.000 % |
250.81/251.00	c |    109443 |   43082   600262  2684082 | 2147483647   109443     28 |  0.000 % |
252.41/252.66	c |    109985 |   43082   600262  2684082 | 2147483647   109985     28 |  0.000 % |
253.61/253.86	c |    110581 |   43082   600262  2684082 | 2147483647   110581     28 |  0.000 % |
254.92/255.20	c |    111236 |   43082   600262  2684082 | 2147483647   111236     28 |  0.000 % |
256.31/256.56	c |    111956 |   43082   600262  2684082 | 2147483647   111956     28 |  0.000 % |
258.71/258.96	c |    112750 |   43082   600262  2684082 | 2147483647   112750     28 |  0.000 % |
260.61/260.89	c |    113621 |   43082   600262  2684082 | 2147483647   113621     28 |  0.000 % |
263.11/263.35	c |    114582 |   43082   600262  2684082 | 2147483647   114582     28 |  0.000 % |
265.01/265.29	c |    115636 |   43082   600262  2684082 | 2147483647   115636     28 |  0.000 % |
268.41/268.65	c |    116800 |   43082   600262  2684082 | 2147483647   116800     28 |  0.000 % |
271.61/271.81	c |    118073 |   43082   600262  2684082 | 2147483647   118073     28 |  0.000 % |
271.81/272.03	c |    118173 |   43082   600262  2684082 | 2147483647   118173     28 |  0.000 % |
272.01/272.25	c |    118284 |   43082   600262  2684082 | 2147483647   118284     28 |  0.000 % |
272.31/272.51	c |    118407 |   43082   600262  2684082 | 2147483647   118407     28 |  0.000 % |
272.61/272.85	c |    118540 |   43082   600262  2684082 | 2147483647   118540     28 |  0.000 % |
273.11/273.32	c |    118688 |   43082   600262  2684082 | 2147483647   118688     28 |  0.000 % |
273.80/274.03	c |    118848 |   43082   600262  2684082 | 2147483647   118848     28 |  0.000 % |
274.20/274.48	c |    119024 |   43082   600262  2684082 | 2147483647   119024     28 |  0.000 % |
274.60/274.84	c |    119217 |   43082   600262  2684082 | 2147483647   119217     28 |  0.000 % |
275.00/275.25	c |    119438 |   43082   600262  2684082 | 2147483647   119438     28 |  0.000 % |
275.50/275.79	c |    119671 |   43082   600262  2684082 | 2147483647   119671     28 |  0.000 % |
276.20/276.44	c |    119929 |   43082   600262  2684082 | 2147483647   119929     28 |  0.000 % |
276.70/276.90	c |    120210 |   43082   600262  2684082 | 2147483647   120210     28 |  0.000 % |
277.30/277.56	c |    120519 |   43082   600262  2684082 | 2147483647   120519     28 |  0.000 % |
278.30/278.50	c |    120858 |   43082   600262  2684082 | 2147483647   120858     28 |  0.000 % |
279.11/279.33	c |    121231 |   43082   600262  2684082 | 2147483647   121231     28 |  0.000 % |
279.80/280.07	c |    121640 |   43082   600262  2684082 | 2147483647   121640     28 |  0.000 % |
281.00/281.27	c |    122090 |   43082   600262  2684082 | 2147483647   122090     28 |  0.000 % |
282.30/282.55	c |    122585 |   43082   600262  2684082 | 2147483647   122585     28 |  0.000 % |
283.70/283.90	c |    123128 |   43082   600262  2684082 | 2147483647   123128     28 |  0.000 % |
285.10/285.34	c |    123724 |   43082   600262  2684082 | 2147483647   123724     28 |  0.000 % |
286.59/286.81	c |    124382 |   43082   600262  2684082 | 2147483647   124382     28 |  0.000 % |
288.59/288.82	c |    125102 |   43082   600262  2684082 | 2147483647   125102     28 |  0.000 % |
290.39/290.61	c |    125894 |   43082   600262  2684082 | 2147483647   125894     28 |  0.000 % |
292.29/292.55	c |    126765 |   43082   600262  2684082 | 2147483647   126765     28 |  0.000 % |
294.69/294.97	c |    127726 |   43082   600262  2684082 | 2147483647   127726     28 |  0.000 % |
297.19/297.41	c |    128779 |   43082   600262  2684082 | 2147483647   128779     28 |  0.000 % |
299.68/299.94	c |    129937 |   43082   600262  2684082 | 2147483647   129937     28 |  0.000 % |
302.69/302.97	c |    131210 |   43082   600262  2684082 | 2147483647   131210     28 |  0.000 % |
305.89/306.17	c |    132610 |   43082   600262  2684082 | 2147483647   132610     28 |  0.000 % |
306.29/306.52	c |    132713 |   43082   600262  2684082 | 2147483647   132713     28 |  0.000 % |
306.49/306.72	c |    132824 |   43082   600262  2684082 | 2147483647   132824     28 |  0.000 % |
306.79/307.08	c |    132946 |   43082   600262  2684082 | 2147483647   132946     28 |  0.000 % |
307.09/307.34	c |    133080 |   43082   600262  2684082 | 2147483647   133080     28 |  0.000 % |
307.39/307.67	c |    133227 |   43082   600262  2684082 | 2147483647   133227     28 |  0.000 % |
307.69/307.94	c |    133387 |   43082   600262  2684082 | 2147483647   133387     28 |  0.000 % |
308.09/308.33	c |    133564 |   43082   600262  2684082 | 2147483647   133564     28 |  0.000 % |
308.49/308.77	c |    133761 |   43082   600262  2684082 | 2147483647   133761     28 |  0.000 % |
308.99/309.26	c |    133975 |   43082   600262  2684082 | 2147483647   133975     28 |  0.000 % |
309.49/309.76	c |    134208 |   43082   600262  2684082 | 2147483647   134208     28 |  0.000 % |
309.99/310.27	c |    134464 |   43082   600262  2684082 | 2147483647   134464     28 |  0.000 % |
310.69/310.91	c |    134745 |   43082   600262  2684082 | 2147483647   134745     28 |  0.000 % |
311.89/312.12	c |    135054 |   43082   600262  2684082 | 2147483647   135054     28 |  0.000 % |
312.69/312.96	c |    135393 |   43082   600262  2684082 | 2147483647   135393     28 |  0.000 % |
313.78/314.01	c |    135766 |   43082   600262  2684082 | 2147483647   135766     28 |  0.000 % |
314.78/315.04	c |    136176 |   43082   600262  2684082 | 2147483647   136176     28 |  0.000 % |
315.88/316.10	c |    136626 |   43082   600262  2684082 | 2147483647   136626     28 |  0.000 % |
316.78/317.01	c |    137119 |   43082   600262  2684082 | 2147483647   137119     28 |  0.000 % |
317.78/318.07	c |    137662 |   43082   600262  2684082 | 2147483647   137662     28 |  0.000 % |
319.38/319.61	c |    138259 |   43082   600262  2684082 | 2147483647   138259     28 |  0.000 % |
320.88/321.12	c |    138916 |   43082   600262  2684082 | 2147483647   138916     28 |  0.000 % |
322.48/322.77	c |    139636 |   43082   600262  2684082 | 2147483647   139636     28 |  0.000 % |
324.18/324.43	c |    140428 |   43082   600262  2684082 | 2147483647   140428     28 |  0.000 % |
325.78/326.04	c |    141302 |   43082   600262  2684082 | 2147483647   141302     28 |  0.000 % |
328.08/328.32	c |    142262 |   43082   600262  2684082 | 2147483647   142262     28 |  0.000 % |
330.88/331.13	c |    143317 |   43082   600262  2684082 | 2147483647   143317     28 |  0.000 % |
333.68/333.99	c |    144476 |   43082   600262  2684082 | 2147483647   144476     28 |  0.000 % |
338.37/338.66	c |    145749 |   43082   600262  2684082 | 2147483647   145749     28 |  0.000 % |
341.67/341.90	c |    147149 |   43082   600262  2684082 | 2147483647   147149     28 |  0.000 % |
345.08/345.37	c |    148689 |   43082   600262  2684082 | 2147483647   148689     28 |  0.000 % |
345.37/345.62	c |    148791 |   43082   600262  2684082 | 2147483647   148791     28 |  0.000 % |
345.67/345.97	c |    148902 |   43082   600262  2684082 | 2147483647   148902     28 |  0.000 % |
346.07/346.33	c |    149024 |   43082   600262  2684082 | 2147483647   149024     28 |  0.000 % |
346.47/346.77	c |    149157 |   43082   600262  2684082 | 2147483647   149157     28 |  0.000 % |
346.77/347.05	c |    149305 |   43082   600262  2684082 | 2147483647   149305     28 |  0.000 % |
347.17/347.50	c |    149465 |   43082   600262  2684082 | 2147483647   149465     28 |  0.000 % |
347.57/347.80	c |    149642 |   43082   600262  2684082 | 2147483647   149642     28 |  0.000 % |
347.97/348.26	c |    149836 |   43082   600262  2684082 | 2147483647   149836     28 |  0.000 % |
348.47/348.73	c |    150049 |   43082   600262  2684082 | 2147483647   150049     28 |  0.000 % |
348.97/349.29	c |    150282 |   43082   600262  2684082 | 2147483647   150282     28 |  0.000 % |
349.47/349.79	c |    150539 |   43082   600262  2684082 | 2147483647   150539     28 |  0.000 % |
350.37/350.68	c |    150820 |   43082   600262  2684082 | 2147483647   150820     28 |  0.000 % |
351.17/351.45	c |    151130 |   43082   600262  2684082 | 2147483647   151130     28 |  0.000 % |
352.17/352.48	c |    151469 |   43082   600262  2684082 | 2147483647   151469     28 |  0.000 % |
353.48/353.75	c |    151841 |   43082   600262  2684082 | 2147483647   151841     28 |  0.000 % |
355.08/355.33	c |    152251 |   43082   600262  2684082 | 2147483647   152251     28 |  0.000 % |
356.78/357.05	c |    152703 |   43082   600262  2684082 | 2147483647   152703     28 |  0.000 % |
357.98/358.23	c |    153198 |   43082   600262  2684082 | 2147483647   153198     28 |  0.000 % |
359.28/359.57	c |    153741 |   43082   600262  2684082 | 2147483647   153741     28 |  0.000 % |
360.37/360.61	c |    154340 |   43082   600262  2684082 | 2147483647   154340     28 |  0.000 % |
362.57/362.89	c |    154995 |   43082   600262  2684082 | 2147483647   154995     28 |  0.000 % |
364.98/365.28	c |    155717 |   43082   600262  2684082 | 2147483647   155717     28 |  0.000 % |
367.87/368.10	c |    156510 |   43082   600262  2684082 | 2147483647   156510     28 |  0.000 % |
369.97/370.23	c |    157384 |   43082   600262  2684082 | 2147483647   157384     28 |  0.000 % |
372.27/372.56	c |    158344 |   43082   600262  2684082 | 2147483647   158344     28 |  0.000 % |
374.87/375.18	c |    159397 |   43082   600262  2684082 | 2147483647   159397     28 |  0.000 % |
377.87/378.18	c |    160555 |   43082   600262  2684082 | 2147483647   160555     28 |  0.000 % |
381.16/381.45	c |    161829 |   43082   600262  2684082 | 2147483647   161829     28 |  0.000 % |
384.86/385.18	c |    163230 |   43082   600262  2684082 | 2147483647   163230     28 |  0.000 % |
388.96/389.26	c |    164771 |   43082   600262  2684082 | 2147483647   164771     28 |  0.000 % |
392.66/392.99	c |    166465 |   43082   600262  2684082 | 2147483647   166465     28 |  0.000 % |
392.96/393.27	c |    166567 |   43082   600262  2684082 | 2147483647   166567     28 |  0.000 % |
393.26/393.58	c |    166678 |   43082   600262  2684082 | 2147483647   166678     28 |  0.000 % |
393.56/393.82	c |    166801 |   43082   600262  2684082 | 2147483647   166801     28 |  0.000 % |
393.96/394.25	c |    166934 |   43082   600262  2684082 | 2147483647   166934     28 |  0.000 % |
394.36/394.60	c |    167080 |   43082   600262  2684082 | 2147483647   167080     28 |  0.000 % |
394.86/395.16	c |    167240 |   43082   600262  2684082 | 2147483647   167240     28 |  0.000 % |
395.26/395.54	c |    167416 |   43082   600262  2684082 | 2147483647   167416     28 |  0.000 % |
395.86/396.14	c |    167610 |   43082   600262  2684082 | 2147483647   167610     28 |  0.000 % |
396.36/396.68	c |    167824 |   43082   600262  2684082 | 2147483647   167824     28 |  0.000 % |
397.15/397.40	c |    168058 |   43082   600262  2684082 | 2147483647   168058     28 |  0.000 % |
397.55/397.88	c |    168314 |   43082   600262  2684082 | 2147483647   168314     28 |  0.000 % |
398.15/398.43	c |    168595 |   43082   600262  2684082 | 2147483647   168595     28 |  0.000 % |
399.15/399.45	c |    168905 |   43082   600262  2684082 | 2147483647   168905     28 |  0.000 % |
400.06/400.35	c |    169244 |   43082   600262  2684082 | 2147483647   169244     28 |  0.000 % |
400.85/401.16	c |    169617 |   43082   600262  2684082 | 2147483647   169617     28 |  0.000 % |
401.95/402.24	c |    170026 |   43082   600262  2684082 | 2147483647   170026     28 |  0.000 % |
403.15/403.48	c |    170475 |   43082   600262  2684082 | 2147483647   170475     28 |  0.000 % |
404.66/404.92	c |    170968 |   43082   600262  2684082 | 2147483647   170968     28 |  0.000 % |
406.36/406.60	c |    171512 |   43082   600262  2684082 | 2147483647   171512     28 |  0.000 % |
408.16/408.42	c |    172108 |   43082   600262  2684082 | 2147483647   172108     28 |  0.000 % |
410.06/410.35	c |    172763 |   43082   600262  2684082 | 2147483647   172763     28 |  0.000 % |
412.16/412.43	c |    173483 |   43082   600262  2684082 | 2147483647   173483     28 |  0.000 % |
414.46/414.77	c |    174275 |   43082   600262  2684082 | 2147483647   174275     28 |  0.000 % |
416.95/417.21	c |    175146 |   43082   600262  2684082 | 2147483647   175146     28 |  0.000 % |
419.35/419.64	c |    176104 |   43082   600262  2684082 | 2147483647   176104     28 |  0.000 % |
421.85/422.14	c |    177159 |   43082   600262  2684082 | 2147483647   177159     28 |  0.000 % |
425.75/426.04	c |    178317 |   43082   600262  2684082 | 2147483647   178317     28 |  0.000 % |
429.55/429.86	c |    179590 |   43082   600262  2684082 | 2147483647   179590     28 |  0.000 % |
433.54/433.88	c |    180995 |   43082   600262  2684082 | 2147483647   180995     28 |  0.000 % |
437.24/437.56	c |    182536 |   43082   600262  2684082 | 2147483647   182536     28 |  0.000 % |
441.14/441.45	c |    184236 |   43082   600262  2684082 | 2147483647   184236     28 |  0.000 % |
447.54/447.88	c |    186100 |   43082   600262  2684082 | 2147483647   186100     28 |  0.000 % |
447.84/448.14	c |    186200 |   43082   600262  2684082 | 2147483647   186200     28 |  0.000 % |
448.14/448.47	c |    186310 |   43082   600262  2684082 | 2147483647   186310     28 |  0.000 % |
448.44/448.78	c |    186433 |   43082   600262  2684082 | 2147483647   186433     28 |  0.000 % |
448.94/449.22	c |    186566 |   43082   600262  2684082 | 2147483647   186566     28 |  0.000 % |
449.24/449.53	c |    186712 |   43082   600262  2684082 | 2147483647   186712     28 |  0.000 % |
449.64/449.95	c |    186874 |   43082   600262  2684082 | 2147483647   186874     28 |  0.000 % |
450.14/450.46	c |    187050 |   43082   600262  2684082 | 2147483647   187050     28 |  0.000 % |
450.64/450.92	c |    187244 |   43082   600262  2684082 | 2147483647   187244     28 |  0.000 % |
451.24/451.57	c |    187457 |   43082   600262  2684082 | 2147483647   187457     28 |  0.000 % |
451.84/452.19	c |    187693 |   43082   600262  2684082 | 2147483647   187693     28 |  0.000 % |
452.64/452.91	c |    187953 |   43082   600262  2684082 | 2147483647   187953     28 |  0.000 % |
453.23/453.52	c |    188235 |   43082   600262  2684082 | 2147483647   188235     28 |  0.000 % |
454.23/454.51	c |    188544 |   43082   600262  2684082 | 2147483647   188544     28 |  0.000 % |
455.23/455.58	c |    188884 |   43082   600262  2684082 | 2147483647   188884     28 |  0.000 % |
457.13/457.42	c |    189256 |   43082   600262  2684082 | 2147483647   189256     28 |  0.000 % |
458.23/458.52	c |    189666 |   43082   600262  2684082 | 2147483647   189666     28 |  0.000 % |
459.23/459.59	c |    190115 |   43082   600262  2684082 | 2147483647   190115     28 |  0.000 % |
460.23/460.57	c |    190609 |   43082   600262  2684082 | 2147483647   190609     28 |  0.000 % |
461.93/462.23	c |    191151 |   43082   600262  2684082 | 2147483647   191151     28 |  0.000 % |
463.44/463.75	c |    191748 |   43082   600262  2684082 | 2147483647   191748     28 |  0.000 % |
465.13/465.45	c |    192403 |   43082   600262  2684082 | 2147483647   192403     28 |  0.000 % |
467.43/467.77	c |    193123 |   43082   600262  2684082 | 2147483647   193123     28 |  0.000 % |
469.93/470.24	c |    193916 |   43082   600262  2684082 | 2147483647   193916     28 |  0.000 % |
472.43/472.76	c |    194787 |   43082   600262  2684082 | 2147483647   194787     28 |  0.000 % |
474.84/475.15	c |    195746 |   43082   600262  2684082 | 2147483647   195746     28 |  0.000 % |
477.53/477.80	c |    196801 |   43082   600262  2684082 | 2147483647   196801     28 |  0.000 % |
480.73/481.02	c |    197959 |   43082   600262  2684082 | 2147483647   197959     29 |  0.000 % |
483.83/484.17	c |    199232 |   43082   600262  2684082 | 2147483647   199232     29 |  0.000 % |
487.33/487.65	c |    200633 |   43082   600262  2684082 | 2147483647   200633     29 |  0.000 % |
491.52/491.83	c |    202173 |   43082   600262  2684082 | 2147483647   202173     29 |  0.000 % |
495.73/496.04	c |    203868 |   43082   600262  2684082 | 2147483647   203868     29 |  0.000 % |
499.72/500.05	c |    205731 |   43082   600262  2684082 | 2147483647   205731     29 |  0.000 % |
505.52/505.85	c |    207780 |   43082   600262  2684082 | 2147483647   207780     29 |  0.000 % |
505.82/506.10	c |    207882 |   43082   600262  2684082 | 2147483647   207882     29 |  0.000 % |
506.02/506.36	c |    207992 |   43082   600262  2684082 | 2147483647   207992     29 |  0.000 % |
506.42/506.74	c |    208114 |   43082   600262  2684082 | 2147483647   208114     29 |  0.000 % |
506.72/507.03	c |    208247 |   43082   600262  2684082 | 2147483647   208247     29 |  0.000 % |
507.02/507.39	c |    208393 |   43082   600262  2684082 | 2147483647   208393     29 |  0.000 % |
507.62/507.95	c |    208553 |   43082   600262  2684082 | 2147483647   208553     29 |  0.000 % |
508.12/508.44	c |    208729 |   43082   600262  2684082 | 2147483647   208729     29 |  0.000 % |
508.72/509.04	c |    208922 |   43082   600262  2684082 | 2147483647   208922     29 |  0.000 % |
509.52/509.85	c |    209134 |   43082   600262  2684082 | 2147483647   209134     29 |  0.000 % |
510.22/510.53	c |    209367 |   43082   600262  2684082 | 2147483647   209367     29 |  0.000 % |
510.72/511.03	c |    209623 |   43082   600262  2684082 | 2147483647   209623     29 |  0.000 % |
511.32/511.65	c |    209904 |   43082   600262  2684082 | 2147483647   209904     29 |  0.000 % |
512.12/512.41	c |    210213 |   43082   600262  2684082 | 2147483647   210213     29 |  0.000 % |
512.92/513.23	c |    210552 |   43082   600262  2684082 | 2147483647   210552     29 |  0.000 % |
514.02/514.34	c |    210925 |   43082   600262  2684082 | 2147483647   210925     29 |  0.000 % |
515.22/515.51	c |    211334 |   43082   600262  2684082 | 2147483647   211334     29 |  0.000 % |
516.42/516.78	c |    211783 |   43082   600262  2684082 | 2147483647   211783     29 |  0.000 % |
517.62/518.00	c |    212276 |   43082   600262  2684082 | 2147483647   212276     29 |  0.000 % |
519.02/519.37	c |    212819 |   43082   600262  2684082 | 2147483647   212819     29 |  0.000 % |
520.62/520.90	c |    213416 |   43082   600262  2684082 | 2147483647   213416     29 |  0.000 % |
522.32/522.62	c |    214072 |   43082   600262  2684082 | 2147483647   214072     29 |  0.000 % |
524.32/524.62	c |    214792 |   43082   600262  2684082 | 2147483647   214792     29 |  0.000 % |
526.31/526.61	c |    215584 |   43082   600262  2684082 | 2147483647   215584     29 |  0.000 % |
528.61/528.99	c |    216456 |   43082   600262  2684082 | 2147483647   216456     29 |  0.000 % |
531.81/532.12	c |    217415 |   43082   600262  2684082 | 2147483647   217415     29 |  0.000 % |
534.61/534.95	c |    218468 |   43082   600262  2684082 | 2147483647   218468     29 |  0.000 % |
537.61/537.92	c |    219626 |   43082   600262  2684082 | 2147483647   219626     29 |  0.000 % |
541.91/542.22	c |    220899 |   43082   600262  2684082 | 2147483647   220899     29 |  0.000 % |
545.60/545.93	c |    222299 |   43082   600262  2684082 | 2147483647   222299     29 |  0.000 % |
549.20/549.51	c |    223839 |   43082   600262  2684082 | 2147483647   223839     29 |  0.000 % |
553.10/553.49	c |    225533 |   43082   600262  2684082 | 2147483647   225533     29 |  0.000 % |
557.90/558.28	c |    227396 |   43082   600262  2684082 | 2147483647   227396     29 |  0.000 % |
565.30/565.68	c |    229445 |   43082   600262  2684082 | 2147483647   229445     29 |  0.000 % |
571.61/571.96	c |    231698 |   43082   600262  2684082 | 2147483647   231698     29 |  0.000 % |
571.90/572.24	c |    231798 |   43082   600262  2684082 | 2147483647   231798     29 |  0.000 % |
572.30/572.66	c |    231910 |   43082   600262  2684082 | 2147483647   231910     29 |  0.000 % |
572.71/573.06	c |    232031 |   43082   600262  2684082 | 2147483647   232031     29 |  0.000 % |
573.20/573.55	c |    232164 |   43082   600262  2684082 | 2147483647   232164     29 |  0.000 % |
573.50/573.81	c |    232313 |   43082   600262  2684082 | 2147483647   232313     29 |  0.000 % |
574.00/574.39	c |    232475 |   43082   600262  2684082 | 2147483647   232475     29 |  0.000 % |
574.70/575.02	c |    232651 |   43082   600262  2684082 | 2147483647   232651     29 |  0.000 % |
575.10/575.47	c |    232844 |   43082   600262  2684082 | 2147483647   232844     29 |  0.000 % |
575.40/575.79	c |    233056 |   43082   600262  2684082 | 2147483647   233056     29 |  0.000 % |
576.00/576.32	c |    233289 |   43082   600262  2684082 | 2147483647   233289     29 |  0.000 % |
576.50/576.87	c |    233547 |   43082   600262  2684082 | 2147483647   233547     29 |  0.000 % |
577.60/577.96	c |    233831 |   43082   600262  2684082 | 2147483647   233831     29 |  0.000 % |
578.60/578.98	c |    234140 |   43082   600262  2684082 | 2147483647   234140     29 |  0.000 % |
579.50/579.83	c |    234480 |   43082   600262  2684082 | 2147483647   234480     29 |  0.000 % |
580.30/580.65	c |    234852 |   43082   600262  2684082 | 2147483647   234852     29 |  0.000 % |
581.30/581.70	c |    235262 |   43082   600262  2684082 | 2147483647   235262     29 |  0.000 % |
582.40/582.79	c |    235711 |   43082   600262  2684082 | 2147483647   235711     29 |  0.000 % |
584.00/584.36	c |    236204 |   43082   600262  2684082 | 2147483647   236204     29 |  0.000 % |
585.50/585.86	c |    236747 |   43082   600262  2684082 | 2147483647   236747     29 |  0.000 % |
587.19/587.59	c |    237344 |   43082   600262  2684082 | 2147483647   237344     29 |  0.000 % |
589.30/589.62	c |    238001 |   43082   600262  2684082 | 2147483647   238001     29 |  0.000 % |
592.09/592.42	c |    238722 |   43082   600262  2684082 | 2147483647   238722     29 |  0.000 % |
594.70/595.04	c |    239515 |   43082   600262  2684082 | 2147483647   239515     29 |  0.000 % |
596.69/597.05	c |    240386 |   43082   600262  2684082 | 2147483647   240386     29 |  0.000 % |
598.79/599.17	c |    241344 |   43082   600262  2684082 | 2147483647   241344     29 |  0.000 % |
602.59/602.94	c |    242398 |   43082   600262  2684082 | 2147483647   242398     29 |  0.000 % |
606.29/606.67	c |    243556 |   43082   600262  2684082 | 2147483647   243556     29 |  0.000 % |
609.48/609.82	c |    244829 |   43082   600262  2684082 | 2147483647   244829     29 |  0.000 % |
613.68/614.01	c |    246229 |   43082   600262  2684082 | 2147483647   246229     29 |  0.000 % |
619.58/619.92	c |    247770 |   43082   600262  2684082 | 2147483647   247770     29 |  0.000 % |
623.18/623.59	c |    249464 |   43082   600262  2684082 | 2147483647   249464     29 |  0.000 % |
628.18/628.55	c |    251329 |   43082   600262  2684082 | 2147483647   251329     29 |  0.000 % |
635.38/635.79	c |    253381 |   43082   600262  2684082 | 2147483647   253381     29 |  0.000 % |
638.79/639.19	c |    255634 |   43082   600262  2684082 | 2147483647   255634     29 |  0.000 % |
643.28/643.60	c |    258113 |   43082   600262  2684082 | 2147483647   258113     29 |  0.000 % |
643.58/643.92	c |    258213 |   43082   600262  2684082 | 2147483647   258213     29 |  0.000 % |
643.98/644.32	c |    258323 |   43082   600262  2684082 | 2147483647   258323     29 |  0.000 % |
644.48/644.80	c |    258444 |   43082   600262  2684082 | 2147483647   258444     29 |  0.000 % |
644.78/645.19	c |    258577 |   43082   600262  2684082 | 2147483647   258577     29 |  0.000 % |
645.28/645.60	c |    258724 |   43082   600262  2684082 | 2147483647   258724     29 |  0.000 % |
645.57/645.95	c |    258884 |   43082   600262  2684082 | 2147483647   258884     29 |  0.000 % |
646.17/646.59	c |    259060 |   43082   600262  2684082 | 2147483647   259060     29 |  0.000 % |
646.57/646.91	c |    259254 |   43082   600262  2684082 | 2147483647   259254     29 |  0.000 % |
647.07/647.40	c |    259466 |   43082   600262  2684082 | 2147483647   259466     29 |  0.000 % |
647.77/648.13	c |    259699 |   43082   600262  2684082 | 2147483647   259699     29 |  0.000 % |
648.47/648.81	c |    259956 |   43082   600262  2684082 | 2147483647   259956     29 |  0.000 % |
649.17/649.57	c |    260239 |   43082   600262  2684082 | 2147483647   260239     29 |  0.000 % |
650.07/650.43	c |    260548 |   43082   600262  2684082 | 2147483647   260548     29 |  0.000 % |
651.47/651.89	c |    260888 |   43082   600262  2684082 | 2147483647   260888     29 |  0.000 % |
652.57/652.91	c |    261261 |   43082   600262  2684082 | 2147483647   261261     29 |  0.000 % |
653.97/654.30	c |    261670 |   43082   600262  2684082 | 2147483647   261670     29 |  0.000 % |
654.97/655.36	c |    262120 |   43082   600262  2684082 | 2147483647   262120     29 |  0.000 % |
656.27/656.68	c |    262614 |   43082   600262  2684082 | 2147483647   262614     29 |  0.000 % |
658.07/658.41	c |    263157 |   43082   600262  2684082 | 2147483647   263157     29 |  0.000 % |
660.57/660.94	c |    263754 |   43082   600262  2684082 | 2147483647   263754     29 |  0.000 % |
663.27/663.61	c |    264409 |   43082   600262  2684082 | 2147483647   264409     29 |  0.000 % |
665.27/665.65	c |    265132 |   43082   600262  2684082 | 2147483647   265132     29 |  0.000 % |
667.17/667.59	c |    265924 |   43082   600262  2684082 | 2147483647   265924     29 |  0.000 % |
669.57/669.93	c |    266796 |   43082   600262  2684082 | 2147483647   266796     29 |  0.000 % |
673.06/673.44	c |    267754 |   43082   600262  2684082 | 2147483647   267754     29 |  0.000 % |
676.07/676.44	c |    268808 |   43082   600262  2684082 | 2147483647   268808     29 |  0.000 % |
679.26/679.60	c |    269966 |   43082   600262  2684082 | 2147483647   269966     29 |  0.000 % |
682.46/682.88	c |    271239 |   43082   600262  2684082 | 2147483647   271239     29 |  0.000 % |
686.66/687.04	c |    272640 |   43082   600262  2684082 | 2147483647   272640     29 |  0.000 % |
692.16/692.56	c |    274180 |   43082   600262  2684082 | 2147483647   274180     29 |  0.000 % |
697.36/697.78	c |    275881 |   43082   600262  2684082 | 2147483647   275881     29 |  0.000 % |
703.36/703.70	c |    277745 |   43082   600262  2684082 | 2147483647   277745     29 |  0.000 % |
710.26/710.68	c |    279797 |   43082   600262  2684082 | 2147483647   279797     29 |  0.000 % |
718.65/719.06	c |    282050 |   43082   600262  2684082 | 2147483647   282050     30 |  0.000 % |
727.45/727.86	c |    284528 |   43082   600262  2684082 | 2147483647   284528     30 |  0.000 % |
735.14/735.56	c |    287254 |   43082   600262  2684082 | 2147483647   287254     30 |  0.000 % |
735.55/735.90	c |    287356 |   43082   600262  2684082 | 2147483647   287356     30 |  0.000 % |
735.84/736.29	c |    287466 |   43082   600262  2684082 | 2147483647   287466     30 |  0.000 % |
736.44/736.81	c |    287587 |   43082   600262  2684082 | 2147483647   287587     30 |  0.000 % |
737.04/737.49	c |    287721 |   43082   600262  2684082 | 2147483647   287721     30 |  0.000 % |
737.75/738.19	c |    287867 |   43082   600262  2684082 | 2147483647   287867     30 |  0.000 % |
738.34/738.77	c |    288029 |   43082   600262  2684082 | 2147483647   288029     30 |  0.000 % |
738.94/739.32	c |    288205 |   43082   600262  2684082 | 2147483647   288205     30 |  0.000 % |
739.44/739.80	c |    288398 |   43082   600262  2684082 | 2147483647   288398     30 |  0.000 % |
740.04/740.42	c |    288610 |   43082   600262  2684082 | 2147483647   288610     30 |  0.000 % |
740.74/741.10	c |    288844 |   43082   600262  2684082 | 2147483647   288844     30 |  0.000 % |
741.44/741.83	c |    289100 |   43082   600262  2684082 | 2147483647   289100     30 |  0.000 % |
742.04/742.48	c |    289382 |   43082   600262  2684082 | 2147483647   289382     30 |  0.000 % |
742.94/743.36	c |    289691 |   43082   600262  2684082 | 2147483647   289691     30 |  0.000 % |
743.74/744.12	c |    290030 |   43082   600262  2684082 | 2147483647   290030     30 |  0.000 % |
745.04/745.41	c |    290404 |   43082   600262  2684082 | 2147483647   290404     30 |  0.000 % |
746.24/746.63	c |    290813 |   43082   600262  2684082 | 2147483647   290813     30 |  0.000 % |
747.14/747.59	c |    291262 |   43082   600262  2684082 | 2147483647   291262     30 |  0.000 % |
748.33/748.79	c |    291756 |   43082   600262  2684082 | 2147483647   291756     30 |  0.000 % |
750.23/750.64	c |    292298 |   43082   600262  2684082 | 2147483647   292298     30 |  0.000 % |
752.44/752.81	c |    292895 |   43082   600262  2684082 | 2147483647   292895     30 |  0.000 % |
755.04/755.41	c |    293551 |   43082   600262  2684082 | 2147483647   293551     30 |  0.000 % |
756.74/757.18	c |    294272 |   43082   600262  2684082 | 2147483647   294272     30 |  0.000 % |
759.74/760.10	c |    295064 |   43082   600262  2684082 | 2147483647   295064     30 |  0.000 % |
762.44/762.81	c |    295935 |   43082   600262  2684082 | 2147483647   295935     29 |  0.000 % |
764.83/765.22	c |    296893 |   43082   600262  2684082 | 2147483647   296893     29 |  0.000 % |
768.33/768.71	c |    297948 |   43082   600262  2684082 | 2147483647   297948     30 |  0.000 % |
772.03/772.42	c |    299106 |   43082   600262  2684082 | 2147483647   299106     30 |  0.000 % |
775.93/776.32	c |    300379 |   43082   600262  2684082 | 2147483647   300379     30 |  0.000 % |
782.73/783.18	c |    301779 |   43082   600262  2684082 | 2147483647   301779     30 |  0.000 % |
786.82/787.25	c |    303320 |   43082   600262  2684082 | 2147483647   303320     30 |  0.000 % |
791.43/791.88	c |    305016 |   43082   600262  2684082 | 2147483647   305016     30 |  0.000 % |
795.93/796.31	c |    306880 |   43082   600262  2684082 | 2147483647   306880     30 |  0.000 % |
801.73/802.19	c |    308929 |   43082   600262  2684082 | 2147483647   308929     30 |  0.000 % |
808.03/808.44	c |    311182 |   43082   600262  2684082 | 2147483647   311182     30 |  0.000 % |
815.12/815.56	c |    313662 |   43082   600262  2684082 | 2147483647   313662     30 |  0.000 % |
823.11/823.52	c |    316387 |   43082   600262  2684082 | 2147483647   316387     30 |  0.000 % |
833.21/833.62	c |    319384 |   43082   600262  2684082 | 2147483647   319384     30 |  0.000 % |
833.51/833.98	c |    319484 |   43082   600262  2684082 | 2147483647   319484     30 |  0.000 % |
834.01/834.42	c |    319595 |   43082   600262  2684082 | 2147483647   319595     30 |  0.000 % |
834.42/834.81	c |    319716 |   43082   600262  2684082 | 2147483647   319716     30 |  0.000 % |
834.71/835.13	c |    319850 |   43082   600262  2684082 | 2147483647   319850     30 |  0.000 % |
835.11/835.55	c |    320000 |   43082   600262  2684082 | 2147483647   320000     30 |  0.000 % |
835.71/836.18	c |    320161 |   43082   600262  2684082 | 2147483647   320161     30 |  0.000 % |
836.32/836.71	c |    320337 |   43082   600262  2684082 | 2147483647   320337     30 |  0.000 % |
836.82/837.27	c |    320530 |   43082   600262  2684082 | 2147483647   320530     30 |  0.000 % |
837.72/838.15	c |    320742 |   43082   600262  2684082 | 2147483647   320742     30 |  0.000 % |
838.52/838.96	c |    320977 |   43082   600262  2684082 | 2147483647   320977     30 |  0.000 % |
839.32/839.70	c |    321234 |   43082   600262  2684082 | 2147483647   321234     30 |  0.000 % |
839.92/840.34	c |    321515 |   43082   600262  2684082 | 2147483647   321515     30 |  0.000 % |
840.92/841.37	c |    321824 |   43082   600262  2684082 | 2147483647   321824     30 |  0.000 % |
842.12/842.55	c |    322163 |   43082   600262  2684082 | 2147483647   322163     30 |  0.000 % |
843.12/843.55	c |    322535 |   43082   600262  2684082 | 2147483647   322535     30 |  0.000 % |
844.62/845.09	c |    322945 |   43082   600262  2684082 | 2147483647   322945     30 |  0.000 % |
845.81/846.20	c |    323395 |   43082   600262  2684082 | 2147483647   323395     30 |  0.000 % |
846.81/847.23	c |    323890 |   43082   600262  2684082 | 2147483647   323890     30 |  0.000 % |
847.91/848.36	c |    324433 |   43082   600262  2684082 | 2147483647   324433     30 |  0.000 % |
849.31/849.71	c |    325031 |   43082   600262  2684082 | 2147483647   325031     30 |  0.000 % |
851.11/851.50	c |    325687 |   43082   600262  2684082 | 2147483647   325687     30 |  0.000 % |
853.51/853.95	c |    326407 |   43082   600262  2684082 | 2147483647   326407     30 |  0.000 % |
855.91/856.38	c |    327199 |   43082   600262  2684082 | 2147483647   327199     30 |  0.000 % |
858.31/858.73	c |    328070 |   43082   600262  2684082 | 2147483647   328070     30 |  0.000 % |
860.31/860.72	c |    329028 |   43082   600262  2684082 | 2147483647   329028     30 |  0.000 % |
863.80/864.21	c |    330081 |   43082   600262  2684082 | 2147483647   330081     30 |  0.000 % |
867.41/867.86	c |    331240 |   43082   600262  2684082 | 2147483647   331240     30 |  0.000 % |
871.70/872.11	c |    332513 |   43082   600262  2684082 | 2147483647   332513     30 |  0.000 % |
876.40/876.85	c |    333913 |   43082   600262  2684082 | 2147483647   333913     30 |  0.000 % |
882.70/883.14	c |    335453 |   43082   600262  2684082 | 2147483647   335453     30 |  0.000 % |
888.70/889.18	c |    337147 |   43082   600262  2684082 | 2147483647   337147     30 |  0.000 % |
894.00/894.42	c |    339010 |   43082   600262  2684082 | 2147483647   339010     30 |  0.000 % |
901.60/902.06	c |    341059 |   43082   600262  2684082 | 2147483647   341059     30 |  0.000 % |
908.79/909.28	c |    343313 |   43082   600262  2684082 | 2147483647   343313     30 |  0.000 % |
918.99/919.43	c |    345793 |   43082   600262  2684082 | 2147483647   345793     30 |  0.000 % |
929.28/929.77	c |    348518 |   43082   600262  2684082 | 2147483647   348518     31 |  0.000 % |
938.88/939.38	c |    351515 |   43082   600262  2684082 | 2147483647   351515     31 |  0.000 % |
948.38/948.86	c |    354811 |   43082   600262  2684082 | 2147483647   354811     31 |  0.000 % |
948.79/949.29	c |    354911 |   43082   600262  2684082 | 2147483647   354911     31 |  0.000 % |
949.38/949.85	c |    355022 |   43082   600262  2684082 | 2147483647   355022     31 |  0.000 % |
949.78/950.28	c |    355143 |   43082   600262  2684082 | 2147483647   355143     31 |  0.000 % |
950.28/950.77	c |    355281 |   43082   600262  2684082 | 2147483647   355281     31 |  0.000 % |
950.88/951.33	c |    355427 |   43082   600262  2684082 | 2147483647   355427     31 |  0.000 % |
951.28/951.78	c |    355588 |   43082   600262  2684082 | 2147483647   355588     31 |  0.000 % |
952.18/952.62	c |    355767 |   43082   600262  2684082 | 2147483647   355767     31 |  0.000 % |
952.68/953.16	c |    355960 |   43082   600262  2684082 | 2147483647   355960     31 |  0.000 % |
953.38/953.87	c |    356172 |   43082   600262  2684082 | 2147483647   356172     31 |  0.000 % |
954.28/954.72	c |    356405 |   43082   600262  2684082 | 2147483647   356405     31 |  0.000 % |
955.38/955.80	c |    356664 |   43082   600262  2684082 | 2147483647   356664     31 |  0.000 % |
956.38/956.89	c |    356947 |   43082   600262  2684082 | 2147483647   356947     31 |  0.000 % |
957.68/958.17	c |    357259 |   43082   600262  2684082 | 2147483647   357259     31 |  0.000 % |
959.48/959.91	c |    357598 |   43082   600262  2684082 | 2147483647   357598     31 |  0.000 % |
961.38/961.86	c |    357970 |   43082   600262  2684082 | 2147483647   357970     31 |  0.000 % |
963.97/964.47	c |    358380 |   43082   600262  2684082 | 2147483647   358380     31 |  0.000 % |
965.57/966.08	c |    358830 |   43082   600262  2684082 | 2147483647   358830     31 |  0.000 % |
966.87/967.38	c |    359326 |   43082   600262  2684082 | 2147483647   359326     31 |  0.000 % |
968.67/969.13	c |    359869 |   43082   600262  2684082 | 2147483647   359869     31 |  0.000 % |
970.47/970.92	c |    360466 |   43082   600262  2684082 | 2147483647   360466     31 |  0.000 % |
972.77/973.23	c |    361124 |   43082   600262  2684082 | 2147483647   361124     31 |  0.000 % |
975.47/975.93	c |    361844 |   43082   600262  2684082 | 2147483647   361844     31 |  0.000 % |
978.36/978.81	c |    362636 |   43082   600262  2684082 | 2147483647   362636     31 |  0.000 % |
981.26/981.74	c |    363508 |   43082   600262  2684082 | 2147483647   363508     31 |  0.000 % |
984.86/985.32	c |    364466 |   43082   600262  2684082 | 2147483647   364466     31 |  0.000 % |
988.37/988.88	c |    365520 |   43082   600262  2684082 | 2147483647   365520     31 |  0.000 % |
991.36/991.86	c |    366679 |   43082   600262  2684082 | 2147483647   366679     31 |  0.000 % |
996.26/996.78	c |    367952 |   43082   600262  2684082 | 2147483647   367952     31 |  0.000 % |
999.67/1000.20	c |    369352 |   43082   600262  2684082 | 2147483647   369352     31 |  0.000 % |
1004.76/1005.24	c |    370892 |   43082   600262  2684082 | 2147483647   370892     31 |  0.000 % |
1008.66/1009.10	c |    372587 |   43082   600262  2684082 | 2147483647   372587     31 |  0.000 % |
1015.16/1015.67	c |    374451 |   43082   600262  2684082 | 2147483647   374451     31 |  0.000 % |
1021.06/1021.57	c |    376500 |   43082   600262  2684082 | 2147483647   376500     31 |  0.000 % |
1028.06/1028.54	c |    378755 |   43082   600262  2684082 | 2147483647   378755     31 |  0.000 % |
1036.65/1037.12	c |    381234 |   43082   600262  2684082 | 2147483647   381234     31 |  0.000 % |
1044.85/1045.37	c |    383959 |   43082   600262  2684082 | 2147483647   383959     31 |  0.000 % |
1055.04/1055.56	c |    386956 |   43082   600262  2684082 | 2147483647   386956     31 |  0.000 % |
1065.15/1065.62	c |    390252 |   43082   600262  2684082 | 2147483647   390252     31 |  0.000 % |
1077.24/1077.71	c |    393878 |   43082   600262  2684082 | 2147483647   393878     31 |  0.000 % |
1077.74/1078.20	c |    393980 |   43082   600262  2684082 | 2147483647   393980     31 |  0.000 % |
1077.94/1078.47	c |    394090 |   43082   600262  2684082 | 2147483647   394090     31 |  0.000 % |
1078.34/1078.84	c |    394211 |   43082   600262  2684082 | 2147483647   394211     31 |  0.000 % |
1078.94/1079.43	c |    394344 |   43082   600262  2684082 | 2147483647   394344     31 |  0.000 % |
1079.34/1079.86	c |    394492 |   43082   600262  2684082 | 2147483647   394492     31 |  0.000 % |
1079.74/1080.28	c |    394652 |   43082   600262  2684082 | 2147483647   394652     31 |  0.000 % |
1080.64/1081.16	c |    394828 |   43082   600262  2684082 | 2147483647   394828     31 |  0.000 % |
1081.34/1081.85	c |    395021 |   43082   600262  2684082 | 2147483647   395021     31 |  0.000 % |
1082.54/1083.07	c |    395233 |   43082   600262  2684082 | 2147483647   395233     31 |  0.000 % |
1083.54/1084.02	c |    395466 |   43082   600262  2684082 | 2147483647   395466     31 |  0.000 % |
1084.24/1084.72	c |    395723 |   43082   600262  2684082 | 2147483647   395723     31 |  0.000 % |
1085.14/1085.62	c |    396004 |   43082   600262  2684082 | 2147483647   396004     31 |  0.000 % |
1086.34/1086.84	c |    396316 |   43082   600262  2684082 | 2147483647   396316     31 |  0.000 % |
1087.54/1088.09	c |    396657 |   43082   600262  2684082 | 2147483647   396657     31 |  0.000 % |
1089.13/1089.66	c |    397029 |   43082   600262  2684082 | 2147483647   397029     31 |  0.000 % |
1090.74/1091.25	c |    397441 |   43082   600262  2684082 | 2147483647   397441     31 |  0.000 % |
1092.94/1093.46	c |    397892 |   43082   600262  2684082 | 2147483647   397892     31 |  0.000 % |
1094.23/1094.77	c |    398385 |   43082   600262  2684082 | 2147483647   398385     31 |  0.000 % |
1095.63/1096.13	c |    398927 |   43082   600262  2684082 | 2147483647   398927     31 |  0.000 % |
1097.43/1097.97	c |    399523 |   43082   600262  2684082 | 2147483647   399523     31 |  0.000 % |
1100.13/1100.65	c |    400178 |   43082   600262  2684082 | 2147483647   400178     31 |  0.000 % |
1102.83/1103.38	c |    400899 |   43082   600262  2684082 | 2147483647   400899     31 |  0.000 % |
1105.43/1105.98	c |    401693 |   43082   600262  2684082 | 2147483647   401693     31 |  0.000 % |
1108.43/1108.90	c |    402564 |   43082   600262  2684082 | 2147483647   402564     31 |  0.000 % |
1111.63/1112.17	c |    403522 |   43082   600262  2684082 | 2147483647   403522     31 |  0.000 % |
1116.22/1116.76	c |    404577 |   43082   600262  2684082 | 2147483647   404577     31 |  0.000 % |
1120.44/1120.90	c |    405736 |   43082   600262  2684082 | 2147483647   405736     31 |  0.000 % |
1124.63/1125.14	c |    407010 |   43082   600262  2684082 | 2147483647   407010     31 |  0.000 % |
1129.73/1130.25	c |    408410 |   43082   600262  2684082 | 2147483647   408410     31 |  0.000 % |
1134.12/1134.60	c |    409953 |   43082   600262  2684082 | 2147483647   409953     31 |  0.000 % |
1140.42/1140.94	c |    411648 |   43082   600262  2684082 | 2147483647   411648     31 |  0.000 % |
1147.92/1148.42	c |    413512 |   43082   600262  2684082 | 2147483647   413512     31 |  0.000 % |
1155.82/1156.35	c |    415561 |   43082   600262  2684082 | 2147483647   415561     31 |  0.000 % |
1163.62/1164.14	c |    417814 |   43082   600262  2684082 | 2147483647   417814     31 |  0.000 % |
1170.11/1170.67	c |    420293 |   43082   600262  2684082 | 2147483647   420293     31 |  0.000 % |
1179.82/1180.32	c |    423018 |   43082   600262  2684082 | 2147483647   423018     31 |  0.000 % |
1191.01/1191.59	c |    426015 |   43082   600262  2684082 | 2147483647   426015     31 |  0.000 % |
1201.00/1201.55	c |    429313 |   43082   600262  2684082 | 2147483647   429313     31 |  0.000 % |
1211.80/1212.32	c |    432939 |   43082   600262  2684082 | 2147483647   432939     31 |  0.000 % |
1226.29/1226.88	c |    436926 |   43082   600262  2684082 | 2147483647   436926     31 |  0.000 % |
1226.79/1227.39	c |    437027 |   43082   600262  2684082 | 2147483647   437027     31 |  0.000 % |
1227.29/1227.88	c |    437137 |   43082   600262  2684082 | 2147483647   437137     31 |  0.000 % |
1227.89/1228.46	c |    437260 |   43082   600262  2684082 | 2147483647   437260     31 |  0.000 % |
1228.29/1228.84	c |    437393 |   43082   600262  2684082 | 2147483647   437393     31 |  0.000 % |
1228.99/1229.58	c |    437539 |   43082   600262  2684082 | 2147483647   437539     31 |  0.000 % |
1229.89/1230.46	c |    437699 |   43082   600262  2684082 | 2147483647   437699     31 |  0.000 % |
1230.69/1231.30	c |    437877 |   43082   600262  2684082 | 2147483647   437877     31 |  0.000 % |
1231.59/1232.18	c |    438070 |   43082   600262  2684082 | 2147483647   438070     31 |  0.000 % |
1232.39/1232.95	c |    438283 |   43082   600262  2684082 | 2147483647   438283     31 |  0.000 % |
1233.19/1233.75	c |    438516 |   43082   600262  2684082 | 2147483647   438516     31 |  0.000 % |
1233.99/1234.54	c |    438773 |   43082   600262  2684082 | 2147483647   438773     31 |  0.000 % |
1234.79/1235.36	c |    439054 |   43082   600262  2684082 | 2147483647   439054     31 |  0.000 % |
1235.89/1236.44	c |    439364 |   43082   600262  2684082 | 2147483647   439364     31 |  0.000 % |
1237.09/1237.64	c |    439706 |   43082   600262  2684082 | 2147483647   439706     31 |  0.000 % |
1238.19/1238.75	c |    440078 |   43082   600262  2684082 | 2147483647   440078     31 |  0.000 % |
1239.70/1240.25	c |    440489 |   43082   600262  2684082 | 2147483647   440489     31 |  0.000 % |
1241.49/1242.06	c |    440941 |   43082   600262  2684082 | 2147483647   440941     31 |  0.000 % |
1243.60/1244.11	c |    441434 |   43082   600262  2684082 | 2147483647   441434     31 |  0.000 % |
1245.29/1245.86	c |    441976 |   43082   600262  2684082 | 2147483647   441976     31 |  0.000 % |
1247.59/1248.14	c |    442573 |   43082   600262  2684082 | 2147483647   442573     31 |  0.000 % |
1250.39/1250.95	c |    443231 |   43082   600262  2684082 | 2147483647   443231     31 |  0.000 % |
1253.29/1253.81	c |    443954 |   43082   600262  2684082 | 2147483647   443954     31 |  0.000 % |
1255.99/1256.60	c |    444747 |   43082   600262  2684082 | 2147483647   444747     31 |  0.000 % |
1258.99/1259.52	c |    445618 |   43082   600262  2684082 | 2147483647   445618     31 |  0.000 % |
1262.38/1262.91	c |    446576 |   43082   600262  2684082 | 2147483647   446576     31 |  0.000 % |
1265.98/1266.53	c |    447631 |   43082   600262  2684082 | 2147483647   447631     31 |  0.000 % |
1270.88/1271.46	c |    448789 |   43082   600262  2684082 | 2147483647   448789     31 |  0.000 % |
1274.48/1275.07	c |    450065 |   43082   600262  2684082 | 2147483647   450065     31 |  0.000 % |
1279.17/1279.71	c |    451466 |   43082   600262  2684082 | 2147483647   451466     31 |  0.000 % |
1285.18/1285.78	c |    453006 |   43082   600262  2684082 | 2147483647   453006     31 |  0.000 % |
1293.58/1294.12	c |    454700 |   43082   600262  2684082 | 2147483647   454700     31 |  0.000 % |
1300.37/1300.93	c |    456564 |   43082   600262  2684082 | 2147483647   456564     31 |  0.000 % |
1308.27/1308.90	c |    458613 |   43082   600262  2684082 | 2147483647   458613     31 |  0.000 % |
1315.47/1316.03	c |    460866 |   43082   600262  2684082 | 2147483647   460866     31 |  0.000 % |
1324.16/1324.77	c |    463345 |   43082   600262  2684082 | 2147483647   463345     31 |  0.000 % |
1333.97/1334.55	c |    466071 |   43082   600262  2684082 | 2147483647   466071     31 |  0.000 % |
1344.76/1345.35	c |    469069 |   43082   600262  2684082 | 2147483647   469069     31 |  0.000 % |
1354.86/1355.50	c |    472367 |   43082   600262  2684082 | 2147483647   472367     31 |  0.000 % |
1368.86/1369.45	c |    475994 |   43082   600262  2684082 | 2147483647   475994     31 |  0.000 % |
1380.55/1381.12	c |    479982 |   43082   600262  2684082 | 2147483647   479982     31 |  0.000 % |
1396.05/1396.65	c |    484367 |   43082   600262  2684082 | 2147483647   484367     31 |  0.000 % |
1396.35/1396.93	c |    484467 |   43082   600262  2684082 | 2147483647   484467     31 |  0.000 % |
1396.75/1397.33	c |    484577 |   43082   600262  2684082 | 2147483647   484577     31 |  0.000 % |
1397.25/1397.81	c |    484698 |   43082   600262  2684082 | 2147483647   484698     31 |  0.000 % |
1397.74/1398.33	c |    484834 |   43082   600262  2684082 | 2147483647   484834     31 |  0.000 % |
1398.34/1398.98	c |    484980 |   43082   600262  2684082 | 2147483647   484980     31 |  0.000 % |
1398.94/1399.51	c |    485141 |   43082   600262  2684082 | 2147483647   485141     31 |  0.000 % |
1399.44/1400.09	c |    485317 |   43082   600262  2684082 | 2147483647   485317     31 |  0.000 % |
1400.04/1400.64	c |    485511 |   43082   600262  2684082 | 2147483647   485511     31 |  0.000 % |
1400.94/1401.53	c |    485723 |   43082   600262  2684082 | 2147483647   485723     31 |  0.000 % |
1401.95/1402.51	c |    485956 |   43082   600262  2684082 | 2147483647   485956     31 |  0.000 % |
1402.74/1403.33	c |    486214 |   43082   600262  2684082 | 2147483647   486214     31 |  0.000 % |
1404.14/1404.75	c |    486495 |   43082   600262  2684082 | 2147483647   486495     31 |  0.000 % |
1405.14/1405.77	c |    486805 |   43082   600262  2684082 | 2147483647   486805     31 |  0.000 % |
1406.94/1407.58	c |    487144 |   43082   600262  2684082 | 2147483647   487144     31 |  0.000 % |
1408.14/1408.77	c |    487516 |   43082   600262  2684082 | 2147483647   487516     31 |  0.000 % |
1410.04/1410.64	c |    487928 |   43082   600262  2684082 | 2147483647   487928     31 |  0.000 % |
1411.84/1412.45	c |    488380 |   43082   600262  2684082 | 2147483647   488380     31 |  0.000 % |
1413.94/1414.54	c |    488874 |   43082   600262  2684082 | 2147483647   488874     31 |  0.000 % |
1415.24/1415.82	c |    489419 |   43082   600262  2684082 | 2147483647   489419     31 |  0.000 % |
1417.94/1418.55	c |    490015 |   43082   600262  2684082 | 2147483647   490015     31 |  0.000 % |
1420.14/1420.72	c |    490670 |   43082   600262  2684082 | 2147483647   490670     31 |  0.000 % |
1422.93/1423.54	c |    491390 |   43082   600262  2684082 | 2147483647   491390     31 |  0.000 % |
1426.33/1426.93	c |    492183 |   43082   600262  2684082 | 2147483647   492183     31 |  0.000 % |
1429.23/1429.85	c |    493056 |   43082   600262  2684082 | 2147483647   493056     31 |  0.000 % |
1432.03/1432.68	c |    494015 |   43082   600262  2684082 | 2147483647   494015     31 |  0.000 % |
1436.93/1437.60	c |    495069 |   43082   600262  2684082 | 2147483647   495069     31 |  0.000 % |
1441.23/1441.83	c |    496227 |   43082   600262  2684082 | 2147483647   496227     31 |  0.000 % |
1447.13/1447.79	c |    497500 |   43082   600262  2684082 | 2147483647   497500     31 |  0.000 % |
1452.22/1452.83	c |    498902 |   43082   600262  2684082 | 2147483647   498902     31 |  0.000 % |
1459.62/1460.24	c |    500445 |   43082   600262  2684082 | 2147483647   500445     31 |  0.000 % |
1465.42/1466.07	c |    502140 |   43082   600262  2684082 | 2147483647   502140     31 |  0.000 % |
1472.01/1472.69	c |    504003 |   43082   600262  2684082 | 2147483647   504003     31 |  0.000 % |
1478.51/1479.16	c |    506052 |   43082   600262  2684082 | 2147483647   506052     31 |  0.000 % |
1488.51/1489.18	c |    508306 |   43082   600262  2684082 | 2147483647   508306     31 |  0.000 % |
1497.31/1497.95	c |    510786 |   43082   600262  2684082 | 2147483647   510786     31 |  0.000 % |
1507.80/1508.40	c |    513511 |   43082   600262  2684082 | 2147483647   513511     31 |  0.000 % |
1516.81/1517.50	c |    516509 |   43082   600262  2684082 | 2147483647   516509     31 |  0.000 % |
1532.30/1532.96	c |    519805 |   43082   600262  2684082 | 2147483647   519805     31 |  0.000 % |
1548.99/1549.61	c |    523431 |   43082   600262  2684082 | 2147483647   523431     31 |  0.000 % |
1566.19/1566.87	c |    527418 |   43082   600262  2684082 | 2147483647   527418     31 |  0.000 % |
1579.79/1580.48	c |    531808 |   43082   600262  2684082 | 2147483647   531808     31 |  0.000 % |
1597.38/1598.01	c |    536632 |   43082   600262  2684082 | 2147483647   536632     31 |  0.000 % |
1597.88/1598.51	c |    536736 |   43082   600262  2684082 | 2147483647   536736     31 |  0.000 % |
1598.48/1599.16	c |    536849 |   43082   600262  2684082 | 2147483647   536849     31 |  0.000 % |
1598.79/1599.46	c |    536972 |   43082   600262  2684082 | 2147483647   536972     31 |  0.000 % |
1599.28/1599.91	c |    537106 |   43082   600262  2684082 | 2147483647   537106     31 |  0.000 % |
1599.88/1600.53	c |    537253 |   43082   600262  2684082 | 2147483647   537253     31 |  0.000 % |
1600.68/1601.35	c |    537414 |   43082   600262  2684082 | 2147483647   537414     31 |  0.000 % |
1601.78/1602.43	c |    537590 |   43082   600262  2684082 | 2147483647   537590     31 |  0.000 % |
1602.48/1603.14	c |    537784 |   43082   600262  2684082 | 2147483647   537784     31 |  0.000 % |
1603.08/1603.75	c |    537996 |   43082   600262  2684082 | 2147483647   537996     31 |  0.000 % |
1603.87/1604.59	c |    538229 |   43082   600262  2684082 | 2147483647   538229     31 |  0.000 % |
1604.97/1605.67	c |    538486 |   43082   600262  2684082 | 2147483647   538486     31 |  0.000 % |
1606.58/1607.23	c |    538769 |   43082   600262  2684082 | 2147483647   538769     31 |  0.000 % |
1608.17/1608.82	c |    539078 |   43082   600262  2684082 | 2147483647   539078     31 |  0.000 % |
1609.37/1610.00	c |    539417 |   43082   600262  2684082 | 2147483647   539417     31 |  0.000 % |
1610.57/1611.23	c |    539789 |   43082   600262  2684082 | 2147483647   539789     31 |  0.000 % |
1611.97/1612.63	c |    540199 |   43082   600262  2684082 | 2147483647   540199     31 |  0.000 % |
1613.17/1613.89	c |    540650 |   43082   600262  2684082 | 2147483647   540650     31 |  0.000 % |
1615.17/1615.84	c |    541145 |   43082   600262  2684082 | 2147483647   541145     31 |  0.000 % |
1616.87/1617.59	c |    541687 |   43082   600262  2684082 | 2147483647   541687     31 |  0.000 % |
1620.08/1620.75	c |    542285 |   43082   600262  2684082 | 2147483647   542285     31 |  0.000 % |
1622.78/1623.42	c |    542940 |   43082   600262  2684082 | 2147483647   542940     31 |  0.000 % |
1625.18/1625.82	c |    543661 |   43082   600262  2684082 | 2147483647   543661     31 |  0.000 % |
1629.58/1630.28	c |    544453 |   43082   600262  2684082 | 2147483647   544453     31 |  0.000 % |
1633.27/1633.90	c |    545327 |   43082   600262  2684082 | 2147483647   545327     31 |  0.000 % |
1636.27/1636.90	c |    546285 |   43082   600262  2684082 | 2147483647   546285     31 |  0.000 % |
1639.87/1640.53	c |    547339 |   43082   600262  2684082 | 2147483647   547339     31 |  0.000 % |
1644.47/1645.11	c |    548497 |   43082   600262  2684082 | 2147483647   548497     31 |  0.000 % |
1648.96/1649.67	c |    549770 |   43082   600262  2684082 | 2147483647   549770     31 |  0.000 % |
1655.36/1656.02	c |    551173 |   43082   600262  2684082 | 2147483647   551173     31 |  0.000 % |
1661.26/1662.00	c |    552713 |   43082   600262  2684082 | 2147483647   552713     31 |  0.000 % |
1668.26/1668.92	c |    554407 |   43082   600262  2684082 | 2147483647   554407     31 |  0.000 % |
1674.25/1674.98	c |    556270 |   43082   600262  2684082 | 2147483647   556270     31 |  0.000 % |
1683.85/1684.58	c |    558320 |   43082   600262  2684082 | 2147483647   558320     31 |  0.000 % |
1691.16/1691.83	c |    560574 |   43082   600262  2684082 | 2147483647   560574     31 |  0.000 % |
1703.85/1704.51	c |    563052 |   43082   600262  2684082 | 2147483647   563052     32 |  0.000 % |
1717.65/1718.33	c |    565777 |   43082   600262  2684082 | 2147483647   565777     32 |  0.000 % |
1735.14/1735.83	c |    568774 |   43082   600262  2684082 | 2147483647   568774     32 |  0.000 % |
1747.33/1748.02	c |    572070 |   43082   600262  2684082 | 2147483647   572070     32 |  0.000 % |
1763.03/1763.70	c |    575696 |   43082   600262  2684082 | 2147483647   575696     32 |  0.000 % |
1777.03/1777.70	c |    579684 |   43082   600262  2684082 | 2147483647   579684     32 |  0.000 % |
1795.23/1795.91	c |    584069 |   43082   600262  2684082 | 2147483647   584069     32 |  0.000 % |
1813.32/1814.07	c |    588893 |   43082   600262  2684082 | 2147483647   588893     32 |  0.000 % |
1836.61/1837.35	c |    594198 |   43082   600262  2684082 | 2147483647   594198     32 |  0.000 % |
1837.01/1837.72	c |    594298 |   43082   600262  2684082 | 2147483647   594298     32 |  0.000 % |
1837.31/1838.09	c |    594408 |   43082   600262  2684082 | 2147483647   594408     32 |  0.000 % |
1838.01/1838.78	c |    594532 |   43082   600262  2684082 | 2147483647   594532     32 |  0.000 % |
1838.71/1839.47	c |    594666 |   43082   600262  2684082 | 2147483647   594666     32 |  0.000 % |
1839.51/1840.21	c |    594812 |   43082   600262  2684082 | 2147483647   594812     32 |  0.000 % |
1840.31/1841.07	c |    594973 |   43082   600262  2684082 | 2147483647   594973     32 |  0.000 % |
1841.31/1842.07	c |    595150 |   43082   600262  2684082 | 2147483647   595150     32 |  0.000 % |
1842.21/1842.99	c |    595346 |   43082   600262  2684082 | 2147483647   595346     32 |  0.000 % |
1843.21/1843.97	c |    595558 |   43082   600262  2684082 | 2147483647   595558     32 |  0.000 % |
1844.21/1844.93	c |    595791 |   43082   600262  2684082 | 2147483647   595791     32 |  0.000 % |
1845.51/1846.21	c |    596047 |   43082   600262  2684082 | 2147483647   596047     32 |  0.000 % |
1846.61/1847.37	c |    596328 |   43082   600262  2684082 | 2147483647   596328     32 |  0.000 % |
1848.41/1849.13	c |    596637 |   43082   600262  2684082 | 2147483647   596637     32 |  0.000 % |
1849.31/1850.07	c |    596977 |   43082   600262  2684082 | 2147483647   596977     32 |  0.000 % |
1850.71/1851.46	c |    597351 |   43082   600262  2684082 | 2147483647   597351     32 |  0.000 % |
1852.71/1853.44	c |    597760 |   43082   600262  2684082 | 2147483647   597760     32 |  0.000 % |
1854.91/1855.60	c |    598209 |   43082   600262  2684082 | 2147483647   598209     32 |  0.000 % |
1857.21/1857.97	c |    598704 |   43082   600262  2684082 | 2147483647   598704     32 |  0.000 % |
1859.51/1860.20	c |    599248 |   43082   600262  2684082 | 2147483647   599248     32 |  0.000 % |
1862.71/1863.41	c |    599846 |   43082   600262  2684082 | 2147483647   599846     32 |  0.000 % |
1865.30/1866.03	c |    600501 |   43082   600262  2684082 | 2147483647   600501     32 |  0.000 % |
1868.50/1869.29	c |    601222 |   43082   600262  2684082 | 2147483647   601222     32 |  0.000 % |
1871.51/1872.26	c |    602014 |   43082   600262  2684082 | 2147483647   602014     32 |  0.000 % |
1874.71/1875.44	c |    602887 |   43082   600262  2684082 | 2147483647   602887     32 |  0.000 % |
1878.40/1879.19	c |    603846 |   43082   600262  2684082 | 2147483647   603846     32 |  0.000 % |
1883.10/1883.82	c |    604901 |   43082   600262  2684082 | 2147483647   604901     32 |  0.000 % |
1887.80/1888.58	c |    606059 |   43082   600262  2684082 | 2147483647   606059     32 |  0.000 % |
1892.59/1893.39	c |    607332 |   43082   600262  2684082 | 2147483647   607332     32 |  0.000 % |
1898.69/1899.40	c |    608733 |   43082   600262  2684082 | 2147483647   608733     32 |  0.000 % |
1905.60/1906.31	c |    610273 |   43082   600262  2684082 | 2147483647   610273     32 |  0.000 % |
1915.29/1916.01	c |    611968 |   43082   600262  2684082 | 2147483647   611968     32 |  0.000 % |
1923.29/1924.08	c |    613831 |   43082   600262  2684082 | 2147483647   613831     32 |  0.000 % |
1933.68/1934.49	c |    615880 |   43082   600262  2684082 | 2147483647   615880     32 |  0.000 % |
1941.88/1942.65	c |    618134 |   43082   600262  2684082 | 2147483647   618134     32 |  0.000 % |
1951.78/1952.50	c |    620612 |   43082   600262  2684082 | 2147483647   620612     32 |  0.000 % |
1960.67/1961.48	c |    623337 |   43082   600262  2684082 | 2147483647   623337     32 |  0.000 % |
1974.88/1975.62	c |    626334 |   43082   600262  2684082 | 2147483647   626334     32 |  0.000 % |
1990.47/1991.25	c |    629630 |   43082   600262  2684082 | 2147483647   629630     32 |  0.000 % |
2004.66/2005.48	c |    633255 |   43082   600262  2684082 | 2147483647   633255     32 |  0.000 % |
2020.06/2020.86	c |    637242 |   43082   600262  2684082 | 2147483647   637242     32 |  0.000 % |
2035.95/2036.73	c |    641628 |   43082   600262  2684082 | 2147483647   641628     32 |  0.000 % |
2055.16/2055.93	c |    646451 |   43082   600262  2684082 | 2147483647   646451     32 |  0.000 % |
2078.84/2079.62	c |    651758 |   43082   600262  2684082 | 2147483647   651758     32 |  0.000 % |
2109.84/2110.65	c |    657593 |   43082   600262  2684082 | 2147483647   657593     33 |  0.000 % |
2110.44/2111.25	c |    657693 |   43082   600262  2684082 | 2147483647   657693     33 |  0.000 % |
2110.93/2111.80	c |    657808 |   43082   600262  2684082 | 2147483647   657808     33 |  0.000 % |
2111.43/2112.28	c |    657933 |   43082   600262  2684082 | 2147483647   657933     33 |  0.000 % |
2112.03/2112.81	c |    658067 |   43082   600262  2684082 | 2147483647   658067     33 |  0.000 % |
2112.53/2113.37	c |    658216 |   43082   600262  2684082 | 2147483647   658216     33 |  0.000 % |
2113.03/2113.89	c |    658376 |   43082   600262  2684082 | 2147483647   658376     33 |  0.000 % |
2113.63/2114.45	c |    658552 |   43082   600262  2684082 | 2147483647   658552     33 |  0.000 % |
2114.83/2115.66	c |    658746 |   43082   600262  2684082 | 2147483647   658746     33 |  0.000 % |
2115.63/2116.41	c |    658959 |   43082   600262  2684082 | 2147483647   658959     33 |  0.000 % |
2116.73/2117.59	c |    659192 |   43082   600262  2684082 | 2147483647   659192     33 |  0.000 % |
2118.33/2119.16	c |    659449 |   43082   600262  2684082 | 2147483647   659449     33 |  0.000 % |
2119.43/2120.22	c |    659730 |   43082   600262  2684082 | 2147483647   659730     33 |  0.000 % |
2120.93/2121.78	c |    660039 |   43082   600262  2684082 | 2147483647   660039     33 |  0.000 % |
2122.93/2123.72	c |    660378 |   43082   600262  2684082 | 2147483647   660378     33 |  0.000 % |
2124.33/2125.17	c |    660752 |   43082   600262  2684082 | 2147483647   660752     33 |  0.000 % |
2126.32/2127.18	c |    661162 |   43082   600262  2684082 | 2147483647   661162     33 |  0.000 % |
2128.12/2128.94	c |    661611 |   43082   600262  2684082 | 2147483647   661611     33 |  0.000 % |
2130.22/2131.04	c |    662105 |   43082   600262  2684082 | 2147483647   662105     33 |  0.000 % |
2132.03/2132.86	c |    662647 |   43082   600262  2684082 | 2147483647   662647     33 |  0.000 % |
2134.72/2135.53	c |    663244 |   43082   600262  2684082 | 2147483647   663244     33 |  0.000 % |
2137.32/2138.17	c |    663900 |   43082   600262  2684082 | 2147483647   663900     33 |  0.000 % |
2140.52/2141.35	c |    664623 |   43082   600262  2684082 | 2147483647   664623     33 |  0.000 % |
2143.33/2144.12	c |    665415 |   43082   600262  2684082 | 2147483647   665415     33 |  0.000 % |
2147.22/2148.05	c |    666287 |   43082   600262  2684082 | 2147483647   666287     33 |  0.000 % |
2150.62/2151.43	c |    667247 |   43082   600262  2684082 | 2147483647   667247     33 |  0.000 % |
2154.72/2155.51	c |    668300 |   43082   600262  2684082 | 2147483647   668300     33 |  0.000 % |
2159.22/2160.05	c |    669458 |   43082   600262  2684082 | 2147483647   669458     33 |  0.000 % |
2164.31/2165.14	c |    670731 |   43082   600262  2684082 | 2147483647   670731     33 |  0.000 % |
2169.71/2170.59	c |    672131 |   43082   600262  2684082 | 2147483647   672131     33 |  0.000 % |
2176.51/2177.31	c |    673673 |   43082   600262  2684082 | 2147483647   673673     33 |  0.000 % |
2182.62/2183.42	c |    675368 |   43082   600262  2684082 | 2147483647   675368     33 |  0.000 % |
2191.61/2192.45	c |    677232 |   43082   600262  2684082 | 2147483647   677232     33 |  0.000 % |
2199.01/2199.87	c |    679282 |   43082   600262  2684082 | 2147483647   679282     33 |  0.000 % |
2207.91/2208.74	c |    681535 |   43082   600262  2684082 | 2147483647   681535     33 |  0.000 % |
2217.41/2218.23	c |    684013 |   43082   600262  2684082 | 2147483647   684013     33 |  0.000 % |
2232.40/2233.25	c |    686738 |   43082   600262  2684082 | 2147483647   686738     33 |  0.000 % |
2249.20/2250.09	c |    689738 |   43082   600262  2684082 | 2147483647   689738     33 |  0.000 % |
2264.99/2265.83	c |    693034 |   43082   600262  2684082 | 2147483647   693034     33 |  0.000 % |
2278.48/2279.37	c |    696659 |   43082   600262  2684082 | 2147483647   696659     33 |  0.000 % |
2295.68/2296.57	c |    700648 |   43082   600262  2684082 | 2147483647   700648     33 |  0.000 % |
2314.38/2315.28	c |    705034 |   43082   600262  2684082 | 2147483647   705034     33 |  0.000 % |
2336.07/2336.93	c |    709858 |   43082   600262  2684082 | 2147483647   709858     33 |  0.000 % |
2360.47/2361.39	c |    715164 |   43082   600262  2684082 | 2147483647   715164     33 |  0.000 % |
2385.26/2386.18	c |    720999 |   43082   600262  2684082 | 2147483647   720999     33 |  0.000 % |
2409.75/2410.62	c |    727418 |   43082   600262  2684082 | 2147483647   727418     33 |  0.000 % |
2410.25/2411.11	c |    727518 |   43082   600262  2684082 | 2147483647   727518     33 |  0.000 % |
2410.85/2411.79	c |    727629 |   43082   600262  2684082 | 2147483647   727629     33 |  0.000 % |
2411.45/2412.34	c |    727751 |   43082   600262  2684082 | 2147483647   727751     33 |  0.000 % |
2412.15/2413.08	c |    727885 |   43082   600262  2684082 | 2147483647   727885     33 |  0.000 % |
2412.85/2413.75	c |    728031 |   43082   600262  2684082 | 2147483647   728031     33 |  0.000 % |
2413.65/2414.58	c |    728192 |   43082   600262  2684082 | 2147483647   728192     33 |  0.000 % |
2414.65/2415.53	c |    728368 |   43082   600262  2684082 | 2147483647   728368     33 |  0.000 % |
2415.35/2416.25	c |    728561 |   43082   600262  2684082 | 2147483647   728561     33 |  0.000 % |
2416.64/2417.51	c |    728774 |   43082   600262  2684082 | 2147483647   728774     33 |  0.000 % |
2417.64/2418.53	c |    729007 |   43082   600262  2684082 | 2147483647   729007     33 |  0.000 % |
2418.84/2419.80	c |    729264 |   43082   600262  2684082 | 2147483647   729264     33 |  0.000 % |
2420.34/2421.26	c |    729545 |   43082   600262  2684082 | 2147483647   729545     33 |  0.000 % |
2421.84/2422.70	c |    729854 |   43082   600262  2684082 | 2147483647   729854     33 |  0.000 % |
2423.55/2424.41	c |    730195 |   43082   600262  2684082 | 2147483647   730195     33 |  0.000 % |
2425.34/2426.26	c |    730567 |   43082   600262  2684082 | 2147483647   730567     33 |  0.000 % |
2427.44/2428.31	c |    730976 |   43082   600262  2684082 | 2147483647   730976     33 |  0.000 % |
2429.44/2430.38	c |    731425 |   43082   600262  2684082 | 2147483647   731425     33 |  0.000 % |
2431.74/2432.66	c |    731918 |   43082   600262  2684082 | 2147483647   731918     33 |  0.000 % |
2433.94/2434.86	c |    732464 |   43082   600262  2684082 | 2147483647   732464     33 |  0.000 % |
2436.64/2437.51	c |    733060 |   43082   600262  2684082 | 2147483647   733060     33 |  0.000 % |
2439.64/2440.52	c |    733715 |   43082   600262  2684082 | 2147483647   733715     33 |  0.000 % |
2443.25/2444.20	c |    734438 |   43082   600262  2684082 | 2147483647   734438     33 |  0.000 % |
2446.14/2447.01	c |    735230 |   43082   600262  2684082 | 2147483647   735230     33 |  0.000 % |
2449.04/2449.99	c |    736103 |   43082   600262  2684082 | 2147483647   736103     33 |  0.000 % |
2452.94/2453.89	c |    737061 |   43082   600262  2684082 | 2147483647   737061     33 |  0.000 % |
2458.44/2459.37	c |    738114 |   43082   600262  2684082 | 2147483647   738114     33 |  0.000 % |
2463.04/2463.98	c |    739273 |   43082   600262  2684082 | 2147483647   739273     33 |  0.000 % |
2468.83/2469.74	c |    740549 |   43082   600262  2684082 | 2147483647   740549     33 |  0.000 % |
2475.03/2475.95	c |    741949 |   43082   600262  2684082 | 2147483647   741949     33 |  0.000 % |
2482.03/2482.99	c |    743489 |   43082   600262  2684082 | 2147483647   743489     33 |  0.000 % |
2488.53/2489.42	c |    745183 |   43082   600262  2684082 | 2147483647   745183     33 |  0.000 % |
2498.03/2498.92	c |    747047 |   43082   600262  2684082 | 2147483647   747047     33 |  0.000 % |
2506.13/2507.07	c |    749096 |   43082   600262  2684082 | 2147483647   749096     33 |  0.000 % |
2518.42/2519.34	c |    751353 |   43082   600262  2684082 | 2147483647   751353     33 |  0.000 % |
2529.31/2530.29	c |    753834 |   43082   600262  2684082 | 2147483647   753834     33 |  0.000 % |
2542.01/2542.94	c |    756559 |   43082   600262  2684082 | 2147483647   756559     33 |  0.000 % |
2551.41/2552.34	c |    759556 |   43082   600262  2684082 | 2147483647   759556     33 |  0.000 % |
2564.91/2565.84	c |    762854 |   43082   600262  2684082 | 2147483647   762854     33 |  0.000 % |
2582.50/2583.41	c |    766480 |   43082   600262  2684082 | 2147483647   766480     33 |  0.000 % |
2603.80/2604.78	c |    770467 |   43082   600262  2684082 | 2147483647   770467     33 |  0.000 % |
2619.89/2620.86	c |    774855 |   43082   600262  2684082 | 2147483647   774855     33 |  0.000 % |
2640.58/2641.59	c |    779678 |   43082   600262  2684082 | 2147483647   779678     33 |  0.000 % |
2659.48/2660.42	c |    784984 |   43082   600262  2684082 | 2147483647   784984     33 |  0.000 % |
2688.07/2689.00	c |    790819 |   43082   600262  2684082 | 2147483647   790819     33 |  0.000 % |
2720.86/2721.80	c |    797237 |   43082   600262  2684082 | 2147483647   797237     33 |  0.000 % |
2744.67/2745.62	c |    804296 |   43082   600262  2684082 | 2147483647   804296     33 |  0.000 % |
2744.96/2746.00	c |    804396 |   43082   600262  2684082 | 2147483647   804396     33 |  0.000 % |
2745.56/2746.55	c |    804506 |   43082   600262  2684082 | 2147483647   804506     33 |  0.000 % |
2746.46/2747.41	c |    804627 |   43082   600262  2684082 | 2147483647   804627     33 |  0.000 % |
2747.06/2748.00	c |    804761 |   43082   600262  2684082 | 2147483647   804761     33 |  0.000 % |
2747.66/2748.68	c |    804907 |   43082   600262  2684082 | 2147483647   804907     33 |  0.000 % |
2748.76/2749.73	c |    805068 |   43082   600262  2684082 | 2147483647   805068     33 |  0.000 % |
2749.66/2750.61	c |    805244 |   43082   600262  2684082 | 2147483647   805244     33 |  0.000 % |
2750.36/2751.31	c |    805438 |   43082   600262  2684082 | 2147483647   805438     33 |  0.000 % |
2751.26/2752.23	c |    805650 |   43082   600262  2684082 | 2147483647   805650     33 |  0.000 % |
2752.26/2753.29	c |    805883 |   43082   600262  2684082 | 2147483647   805883     33 |  0.000 % |
2753.46/2754.48	c |    806140 |   43082   600262  2684082 | 2147483647   806140     33 |  0.000 % |
2754.66/2755.64	c |    806421 |   43082   600262  2684082 | 2147483647   806421     33 |  0.000 % |
2756.16/2757.19	c |    806731 |   43082   600262  2684082 | 2147483647   806731     33 |  0.000 % |
2759.16/2760.11	c |    807070 |   43082   600262  2684082 | 2147483647   807070     33 |  0.000 % |
2761.86/2762.81	c |    807443 |   43082   600262  2684082 | 2147483647   807443     33 |  0.000 % |
2764.46/2765.41	c |    807853 |   43082   600262  2684082 | 2147483647   807853     33 |  0.000 % |
2766.56/2767.54	c |    808303 |   43082   600262  2684082 | 2147483647   808303     33 |  0.000 % |
2768.95/2769.93	c |    808796 |   43082   600262  2684082 | 2147483647   808796     33 |  0.000 % |
2771.45/2772.43	c |    809339 |   43082   600262  2684082 | 2147483647   809339     33 |  0.000 % |
2773.65/2774.62	c |    809937 |   43082   600262  2684082 | 2147483647   809937     33 |  0.000 % |
2776.85/2777.85	c |    810592 |   43082   600262  2684082 | 2147483647   810592     33 |  0.000 % |
2780.05/2781.05	c |    811313 |   43082   600262  2684082 | 2147483647   811313     33 |  0.000 % |
2783.55/2784.57	c |    812106 |   43082   600262  2684082 | 2147483647   812106     33 |  0.000 % |
2787.25/2788.22	c |    812978 |   43082   600262  2684082 | 2147483647   812978     33 |  0.000 % |
2791.54/2792.55	c |    813939 |   43082   600262  2684082 | 2147483647   813939     33 |  0.000 % |
2797.04/2798.02	c |    814992 |   43082   600262  2684082 | 2147483647   814992     33 |  0.000 % |
2802.95/2803.91	c |    816153 |   43082   600262  2684082 | 2147483647   816153     33 |  0.000 % |
2808.54/2809.59	c |    817426 |   43082   600262  2684082 | 2147483647   817426     33 |  0.000 % |
2814.04/2815.03	c |    818826 |   43082   600262  2684082 | 2147483647   818826     33 |  0.000 % |
2818.84/2819.84	c |    820367 |   43082   600262  2684082 | 2147483647   820367     33 |  0.000 % |
2827.63/2828.65	c |    822064 |   43082   600262  2684082 | 2147483647   822064     33 |  0.000 % |
2836.43/2837.40	c |    823927 |   43082   600262  2684082 | 2147483647   823927     33 |  0.000 % |
2848.22/2849.29	c |    825976 |   43082   600262  2684082 | 2147483647   825976     33 |  0.000 % |
2858.52/2859.58	c |    828229 |   43082   600262  2684082 | 2147483647   828229     33 |  0.000 % |
2872.13/2873.16	c |    830708 |   43082   600262  2684082 | 2147483647   830708     33 |  0.000 % |
2886.62/2887.68	c |    833435 |   43082   600262  2684082 | 2147483647   833435     33 |  0.000 % |
2901.41/2902.43	c |    836432 |   43082   600262  2684082 | 2147483647   836432     33 |  0.000 % |
2917.31/2918.38	c |    839730 |   43082   600262  2684082 | 2147483647   839730     33 |  0.000 % |
2935.91/2936.96	c |    843355 |   43082   600262  2684082 | 2147483647   843355     33 |  0.000 % |
2958.80/2959.88	c |    847343 |   43082   600262  2684082 | 2147483647   847343     33 |  0.000 % |
2978.09/2979.15	c |    851728 |   43082   600262  2684082 | 2147483647   851728     33 |  0.000 % |
3019.78/3020.84	c |    856551 |   43082   600262  2684082 | 2147483647   856551     33 |  0.000 % |
3046.07/3047.14	c |    861856 |   43082   600262  2684082 | 2147483647   861856     33 |  0.000 % |
3070.17/3071.25	c |    867692 |   43082   600262  2684082 | 2147483647   867692     33 |  0.000 % |
3113.55/3114.65	c |    874110 |   43082   600262  2684082 | 2147483647   874110     33 |  0.000 % |
3157.64/3158.75	c |    881169 |   43082   600262  2684082 | 2147483647   881169     34 |  0.000 % |
3216.53/3217.66	c |    888933 |   43082   600262  2684082 | 2147483647   888933     34 |  0.000 % |
3217.13/3218.25	c |    889033 |   43082   600262  2684082 | 2147483647   889033     34 |  0.000 % |
3217.83/3218.96	c |    889143 |   43082   600262  2684082 | 2147483647   889143     34 |  0.000 % |
3218.53/3219.67	c |    889265 |   43082   600262  2684082 | 2147483647   889265     34 |  0.000 % |
3219.43/3220.52	c |    889399 |   43082   600262  2684082 | 2147483647   889399     34 |  0.000 % |
3220.63/3221.71	c |    889545 |   43082   600262  2684082 | 2147483647   889545     34 |  0.000 % |
3221.53/3222.60	c |    889705 |   43082   600262  2684082 | 2147483647   889705     34 |  0.000 % |
3222.73/3223.87	c |    889881 |   43082   600262  2684082 | 2147483647   889881     34 |  0.000 % |
3224.13/3225.21	c |    890074 |   43082   600262  2684082 | 2147483647   890074     34 |  0.000 % |
3225.23/3226.39	c |    890289 |   43082   600262  2684082 | 2147483647   890289     34 |  0.000 % |
3226.73/3227.88	c |    890522 |   43082   600262  2684082 | 2147483647   890522     34 |  0.000 % |
3228.03/3229.16	c |    890778 |   43082   600262  2684082 | 2147483647   890778     34 |  0.000 % |
3229.53/3230.67	c |    891059 |   43082   600262  2684082 | 2147483647   891059     34 |  0.000 % |
3231.03/3232.16	c |    891369 |   43082   600262  2684082 | 2147483647   891369     34 |  0.000 % |
3232.63/3233.72	c |    891710 |   43082   600262  2684082 | 2147483647   891710     34 |  0.000 % |
3234.92/3236.09	c |    892082 |   43082   600262  2684082 | 2147483647   892082     34 |  0.000 % |
3236.92/3238.05	c |    892491 |   43082   600262  2684082 | 2147483647   892491     34 |  0.000 % |
3238.72/3239.86	c |    892940 |   43082   600262  2684082 | 2147483647   892940     34 |  0.000 % |
3241.52/3242.66	c |    893433 |   43082   600262  2684082 | 2147483647   893433     34 |  0.000 % |
3244.82/3245.98	c |    893977 |   43082   600262  2684082 | 2147483647   893977     34 |  0.000 % |
3248.02/3249.11	c |    894574 |   43082   600262  2684082 | 2147483647   894574     34 |  0.000 % |
3250.92/3252.07	c |    895231 |   43082   600262  2684082 | 2147483647   895231     34 |  0.000 % |
3253.82/3254.91	c |    895955 |   43082   600262  2684082 | 2147483647   895955     34 |  0.000 % |
3258.71/3259.81	c |    896747 |   43082   600262  2684082 | 2147483647   896747     34 |  0.000 % |
3263.21/3264.31	c |    897620 |   43082   600262  2684082 | 2147483647   897620     34 |  0.000 % |
3267.71/3268.83	c |    898578 |   43082   600262  2684082 | 2147483647   898578     34 |  0.000 % |
3272.41/3273.52	c |    899631 |   43082   600262  2684082 | 2147483647   899631     34 |  0.000 % |
3279.11/3280.21	c |    900789 |   43082   600262  2684082 | 2147483647   900789     34 |  0.000 % |
3286.50/3287.61	c |    902062 |   43082   600262  2684082 | 2147483647   902062     34 |  0.000 % |
3293.81/3294.93	c |    903462 |   43082   600262  2684082 | 2147483647   903462     34 |  0.000 % |
3302.61/3303.70	c |    905003 |   43082   600262  2684082 | 2147483647   905003     34 |  0.000 % |
3310.91/3312.06	c |    906703 |   43082   600262  2684082 | 2147483647   906703     34 |  0.000 % |
3318.61/3319.79	c |    908567 |   43082   600262  2684082 | 2147483647   908567     34 |  0.000 % |
3328.50/3329.66	c |    910617 |   43082   600262  2684082 | 2147483647   910617     34 |  0.000 % |
3339.50/3340.64	c |    912871 |   43082   600262  2684082 | 2147483647   912871     34 |  0.000 % |
3352.79/3353.97	c |    915350 |   43082   600262  2684082 | 2147483647   915350     34 |  0.000 % |
3365.68/3366.85	c |    918075 |   43082   600262  2684082 | 2147483647   918075     34 |  0.000 % |
3381.98/3383.15	c |    921072 |   43082   600262  2684082 | 2147483647   921072     34 |  0.000 % |
3396.97/3398.13	c |    924370 |   43082   600262  2684082 | 2147483647   924370     34 |  0.000 % |
3417.47/3418.67	c |    927995 |   43082   600262  2684082 | 2147483647   927995     34 |  0.000 % |
3446.36/3447.51	c |    931982 |   43082   600262  2684082 | 2147483647   931982     34 |  0.000 % |
3482.55/3483.73	c |    936367 |   43082   600262  2684082 | 2147483647   936367     34 |  0.000 % |
3512.04/3513.23	c |    941191 |   43082   600262  2684082 | 2147483647   941191     34 |  0.000 % |
3548.63/3549.81	c |    946500 |   43082   600262  2684082 | 2147483647   946500     34 |  0.000 % |
3586.62/3587.88	c |    952337 |   43082   600262  2684082 | 2147483647   952337     34 |  0.000 % |
3626.81/3628.07	c |    958758 |   43082   600262  2684082 | 2147483647   958758     34 |  0.000 % |
3659.80/3661.03	c |    965818 |   43082   600262  2684082 | 2147483647   965818     34 |  0.000 % |
3701.39/3702.68	c |    973582 |   43082   600262  2684082 | 2147483647   973582     34 |  0.000 % |
3740.98/3742.25	c |    982123 |   43082   600262  2684082 | 2147483647   982123     34 |  0.000 % |
3741.67/3742.97	c |    982223 |   43082   600262  2684082 | 2147483647   982223     34 |  0.000 % |
3742.27/3743.59	c |    982334 |   43082   600262  2684082 | 2147483647   982334     34 |  0.000 % |
3743.08/3744.34	c |    982455 |   43082   600262  2684082 | 2147483647   982455     34 |  0.000 % |
3743.87/3745.20	c |    982590 |   43082   600262  2684082 | 2147483647   982590     34 |  0.000 % |
3744.77/3746.04	c |    982737 |   43082   600262  2684082 | 2147483647   982737     34 |  0.000 % |
3746.08/3747.34	c |    982898 |   43082   600262  2684082 | 2147483647   982898     34 |  0.000 % |
3747.08/3748.36	c |    983074 |   43082   600262  2684082 | 2147483647   983074     34 |  0.000 % |
3748.18/3749.43	c |    983267 |   43082   600262  2684082 | 2147483647   983267     34 |  0.000 % |
3749.78/3751.03	c |    983482 |   43082   600262  2684082 | 2147483647   983482     34 |  0.000 % |
3751.08/3752.32	c |    983717 |   43082   600262  2684082 | 2147483647   983717     34 |  0.000 % |
3752.48/3753.71	c |    983973 |   43082   600262  2684082 | 2147483647   983973     34 |  0.000 % |
3753.88/3755.14	c |    984255 |   43082   600262  2684082 | 2147483647   984255     34 |  0.000 % |
3755.28/3756.53	c |    984564 |   43082   600262  2684082 | 2147483647   984564     34 |  0.000 % |
3757.28/3758.55	c |    984903 |   43082   600262  2684082 | 2147483647   984903     34 |  0.000 % |
3759.68/3760.96	c |    985275 |   43082   600262  2684082 | 2147483647   985275     34 |  0.000 % |
3762.48/3763.80	c |    985684 |   43082   600262  2684082 | 2147483647   985684     34 |  0.000 % |
3765.08/3766.36	c |    986133 |   43082   600262  2684082 | 2147483647   986133     34 |  0.000 % |
3767.67/3768.98	c |    986626 |   43082   600262  2684082 | 2147483647   986626     34 |  0.000 % |
3770.58/3771.86	c |    987171 |   43082   600262  2684082 | 2147483647   987171     34 |  0.000 % |
3773.17/3774.46	c |    987767 |   43082   600262  2684082 | 2147483647   987767     34 |  0.000 % |
3776.37/3777.63	c |    988422 |   43082   600262  2684082 | 2147483647   988422     34 |  0.000 % |
3780.67/3781.90	c |    989142 |   43082   600262  2684082 | 2147483647   989142     34 |  0.000 % |
3785.66/3786.96	c |    989934 |   43082   600262  2684082 | 2147483647   989934     34 |  0.000 % |
3790.37/3791.63	c |    990806 |   43082   600262  2684082 | 2147483647   990806     34 |  0.000 % |
3795.96/3797.25	c |    991764 |   43082   600262  2684082 | 2147483647   991764     34 |  0.000 % |
3803.76/3805.07	c |    992818 |   43082   600262  2684082 | 2147483647   992818     34 |  0.000 % |
3809.56/3810.81	c |    993977 |   43082   600262  2684082 | 2147483647   993977     34 |  0.000 % |
3816.46/3817.77	c |    995254 |   43082   600262  2684082 | 2147483647   995254     34 |  0.000 % |
3822.06/3823.34	c |    996654 |   43082   600262  2684082 | 2147483647   996654     34 |  0.000 % |
3833.95/3835.20	c |    998195 |   43082   600262  2684082 | 2147483647   998195     34 |  0.000 % |
3842.15/3843.45	c |    999889 |   43082   600262  2684082 | 2147483647   999889     34 |  0.000 % |
3854.45/3855.71	c |   1001753 |   43082   600262  2684082 | 2147483647  1001753     34 |  0.000 % |
3866.35/3867.68	c |   1003802 |   43082   600262  2684082 | 2147483647  1003802     34 |  0.000 % |
3882.85/3884.12	c |   1006057 |   43082   600262  2684082 | 2147483647  1006057     34 |  0.000 % |
3904.23/3905.51	c |   1008535 |   43082   600262  2684082 | 2147483647  1008535     34 |  0.000 % |
3926.83/3928.15	c |   1011260 |   43082   600262  2684082 | 2147483647  1011260     34 |  0.000 % |
3942.72/3944.09	c |   1014258 |   43082   600262  2684082 | 2147483647  1014258     34 |  0.000 % |
3970.12/3971.46	c |   1017554 |   43082   600262  2684082 | 2147483647  1017554     35 |  0.000 % |
3995.81/3997.11	c |   1021182 |   43082   600262  2684082 | 2147483647  1021182     35 |  0.000 % |
4024.50/4025.89	c |   1025169 |   43082   600262  2684082 | 2147483647  1025169     35 |  0.000 % |
4058.29/4059.63	c |   1029554 |   43082   600262  2684082 | 2147483647  1029554     35 |  0.000 % |
4097.58/4098.98	c |   1034377 |   43082   600262  2684082 | 2147483647  1034377     35 |  0.000 % |
4118.48/4119.81	c |   1039682 |   43082   600262  2684082 | 2147483647  1039682     35 |  0.000 % |
4154.56/4155.96	c |   1045517 |   43082   600262  2684082 | 2147483647  1045517     35 |  0.000 % |
4185.66/4187.01	c |   1051936 |   43082   600262  2684082 | 2147483647  1051936     35 |  0.000 % |
4228.74/4230.17	c |   1058996 |   43082   600262  2684082 | 2147483647  1058996     35 |  0.000 % |
4274.43/4275.89	c |   1066760 |   43082   600262  2684082 | 2147483647  1066760     35 |  0.000 % |
4332.81/4334.21	c |   1075300 |   43082   600262  2684082 | 2147483647  1075300     36 |  0.000 % |
4392.50/4394.00	c |   1084696 |   43082   600262  2684082 | 2147483647  1084696     36 |  0.000 % |
4393.20/4394.62	c |   1084797 |   43082   600262  2684082 | 2147483647  1084797     36 |  0.000 % |
4394.00/4395.43	c |   1084907 |   43082   600262  2684082 | 2147483647  1084907     36 |  0.000 % |
4395.00/4396.42	c |   1085028 |   43082   600262  2684082 | 2147483647  1085028     36 |  0.000 % |
4396.30/4397.74	c |   1085164 |   43082   600262  2684082 | 2147483647  1085164     36 |  0.000 % |
4397.40/4398.87	c |   1085310 |   43082   600262  2684082 | 2147483647  1085310     36 |  0.000 % |
4398.50/4399.98	c |   1085471 |   43082   600262  2684082 | 2147483647  1085471     36 |  0.000 % |
4399.89/4401.38	c |   1085647 |   43082   600262  2684082 | 2147483647  1085647     36 |  0.000 % |
4401.19/4402.60	c |   1085841 |   43082   600262  2684082 | 2147483647  1085841     36 |  0.000 % |
4402.69/4404.12	c |   1086055 |   43082   600262  2684082 | 2147483647  1086055     36 |  0.000 % |
4403.89/4405.39	c |   1086288 |   43082   600262  2684082 | 2147483647  1086288     36 |  0.000 % |
4405.69/4407.14	c |   1086545 |   43082   600262  2684082 | 2147483647  1086545     36 |  0.000 % |
4406.89/4408.40	c |   1086826 |   43082   600262  2684082 | 2147483647  1086826     36 |  0.000 % |
4408.89/4410.32	c |   1087135 |   43082   600262  2684082 | 2147483647  1087135     36 |  0.000 % |
4410.49/4411.97	c |   1087475 |   43082   600262  2684082 | 2147483647  1087475     36 |  0.000 % |
4413.10/4414.54	c |   1087847 |   43082   600262  2684082 | 2147483647  1087847     36 |  0.000 % |
4415.50/4416.92	c |   1088256 |   43082   600262  2684082 | 2147483647  1088256     36 |  0.000 % |
4418.09/4419.50	c |   1088707 |   43082   600262  2684082 | 2147483647  1088707     36 |  0.000 % |
4420.60/4422.08	c |   1089201 |   43082   600262  2684082 | 2147483647  1089201     36 |  0.000 % |
4423.79/4425.25	c |   1089743 |   43082   600262  2684082 | 2147483647  1089743     36 |  0.000 % |
4427.59/4429.09	c |   1090341 |   43082   600262  2684082 | 2147483647  1090341     36 |  0.000 % |
4430.89/4432.38	c |   1090997 |   43082   600262  2684082 | 2147483647  1090997     36 |  0.000 % |
4435.09/4436.56	c |   1091717 |   43082   600262  2684082 | 2147483647  1091717     36 |  0.000 % |
4443.08/4444.50	c |   1092509 |   43082   600262  2684082 | 2147483647  1092509     36 |  0.000 % |
4450.28/4451.76	c |   1093382 |   43082   600262  2684082 | 2147483647  1093382     36 |  0.000 % |
4457.28/4458.76	c |   1094341 |   43082   600262  2684082 | 2147483647  1094341     36 |  0.000 % |
4461.88/4463.40	c |   1095395 |   43082   600262  2684082 | 2147483647  1095395     36 |  0.000 % |
4468.17/4469.64	c |   1096553 |   43082   600262  2684082 | 2147483647  1096553     36 |  0.000 % |
4475.67/4477.17	c |   1097827 |   43082   600262  2684082 | 2147483647  1097827     36 |  0.000 % |
4482.68/4484.10	c |   1099228 |   43082   600262  2684082 | 2147483647  1099228     36 |  0.000 % |
4490.07/4491.51	c |   1100769 |   43082   600262  2684082 | 2147483647  1100769     36 |  0.000 % |
4504.97/4506.48	c |   1102463 |   43082   600262  2684082 | 2147483647  1102463     36 |  0.000 % |
4518.06/4519.51	c |   1104326 |   43082   600262  2684082 | 2147483647  1104326     36 |  0.000 % |
4532.76/4534.27	c |   1106377 |   43082   600262  2684082 | 2147483647  1106377     36 |  0.000 % |
4547.45/4548.94	c |   1108631 |   43082   600262  2684082 | 2147483647  1108631     36 |  0.000 % |
4563.56/4565.04	c |   1111110 |   43082   600262  2684082 | 2147483647  1111110     36 |  0.000 % |
4585.65/4587.17	c |   1113836 |   43082   600262  2684082 | 2147483647  1113836     36 |  0.000 % |
4611.24/4612.79	c |   1116833 |   43082   600262  2684082 | 2147483647  1116833     36 |  0.000 % |
4626.04/4627.53	c |   1120130 |   43082   600262  2684082 | 2147483647  1120130     36 |  0.000 % |
4645.43/4646.94	c |   1123756 |   43082   600262  2684082 | 2147483647  1123756     36 |  0.000 % |
4664.52/4666.08	c |   1127744 |   43082   600262  2684082 | 2147483647  1127744     36 |  0.000 % |
4690.31/4691.88	c |   1132129 |   43082   600262  2684082 | 2147483647  1132129     36 |  0.000 % |
4712.71/4714.21	c |   1136952 |   43082   600262  2684082 | 2147483647  1136952     36 |  0.000 % |
4746.00/4747.52	c |   1142258 |   43082   600262  2684082 | 2147483647  1142258     36 |  0.000 % |
4775.09/4776.68	c |   1148094 |   43082   600262  2684082 | 2147483647  1148094     36 |  0.000 % |
4815.29/4816.86	c |   1154512 |   43082   600262  2684082 | 2147483647  1154512     37 |  0.000 % |
4862.97/4864.56	c |   1161571 |   43082   600262  2684082 | 2147483647  1161571     37 |  0.000 % |
4905.65/4907.21	c |   1169337 |   43082   600262  2684082 | 2147483647  1169337     37 |  0.000 % |
4944.25/4945.80	c |   1177879 |   43082   600262  2684082 | 2147483647  1177879     37 |  0.000 % |
4998.84/5000.47	c |   1187273 |   43082   600262  2684082 | 2147483647  1187273     37 |  0.000 % |
5046.82/5048.48	c |   1197607 |   43082   600262  2684082 | 2147483647  1197607     37 |  0.000 % |
5047.42/5049.05	c |   1197707 |   43082   600262  2684082 | 2147483647  1197707     37 |  0.000 % |
5048.21/5049.88	c |   1197817 |   43082   600262  2684082 | 2147483647  1197817     37 |  0.000 % |
5049.11/5050.74	c |   1197938 |   43082   600262  2684082 | 2147483647  1197938     37 |  0.000 % |
5049.91/5051.55	c |   1198071 |   43082   600262  2684082 | 2147483647  1198071     37 |  0.000 % |
5050.91/5052.60	c |   1198217 |   43082   600262  2684082 | 2147483647  1198217     37 |  0.000 % |
5052.41/5054.03	c |   1198377 |   43082   600262  2684082 | 2147483647  1198377     37 |  0.000 % |
5053.92/5055.56	c |   1198553 |   43082   600262  2684082 | 2147483647  1198553     37 |  0.000 % |
5055.51/5057.19	c |   1198746 |   43082   600262  2684082 | 2147483647  1198746     37 |  0.000 % |
5056.61/5058.27	c |   1198959 |   43082   600262  2684082 | 2147483647  1198959     37 |  0.000 % |
5058.42/5060.01	c |   1199192 |   43082   600262  2684082 | 2147483647  1199192     37 |  0.000 % |
5060.01/5061.68	c |   1199448 |   43082   600262  2684082 | 2147483647  1199448     37 |  0.000 % |
5061.71/5063.39	c |   1199729 |   43082   600262  2684082 | 2147483647  1199729     37 |  0.000 % |
5063.31/5064.96	c |   1200040 |   43082   600262  2684082 | 2147483647  1200040     37 |  0.000 % |
5065.32/5066.99	c |   1200379 |   43082   600262  2684082 | 2147483647  1200379     37 |  0.000 % |
5067.92/5069.53	c |   1200751 |   43082   600262  2684082 | 2147483647  1200751     37 |  0.000 % |
5070.32/5071.93	c |   1201161 |   43082   600262  2684082 | 2147483647  1201161     37 |  0.000 % |
5074.01/5075.60	c |   1201610 |   43082   600262  2684082 | 2147483647  1201610     37 |  0.000 % |
5077.61/5079.30	c |   1202104 |   43082   600262  2684082 | 2147483647  1202104     37 |  0.000 % |
5081.31/5082.93	c |   1202646 |   43082   600262  2684082 | 2147483647  1202646     37 |  0.000 % |
5086.31/5087.91	c |   1203242 |   43082   600262  2684082 | 2147483647  1203242     37 |  0.000 % |
5090.31/5091.94	c |   1203898 |   43082   600262  2684082 | 2147483647  1203898     37 |  0.000 % |
5094.71/5096.36	c |   1204620 |   43082   600262  2684082 | 2147483647  1204620     37 |  0.000 % |
5099.20/5100.82	c |   1205414 |   43082   600262  2684082 | 2147483647  1205414     37 |  0.000 % |
5104.30/5105.99	c |   1206285 |   43082   600262  2684082 | 2147483647  1206285     37 |  0.000 % |
5109.70/5111.36	c |   1207244 |   43082   600262  2684082 | 2147483647  1207244     36 |  0.000 % |
5114.70/5116.34	c |   1208297 |   43082   600262  2684082 | 2147483647  1208297     36 |  0.000 % |
5121.89/5123.59	c |   1209455 |   43082   600262  2684082 | 2147483647  1209455     36 |  0.000 % |
5129.80/5131.49	c |   1210729 |   43082   600262  2684082 | 2147483647  1210729     36 |  0.000 % |
5137.60/5139.22	c |   1212131 |   43082   600262  2684082 | 2147483647  1212131     36 |  0.000 % |
5148.69/5150.31	c |   1213671 |   43082   600262  2684082 | 2147483647  1213671     36 |  0.000 % |
5157.88/5159.54	c |   1215369 |   43082   600262  2684082 | 2147483647  1215369     36 |  0.000 % |
5168.78/5170.41	c |   1217232 |   43082   600262  2684082 | 2147483647  1217232     36 |  0.000 % |
5178.29/5179.93	c |   1219283 |   43082   600262  2684082 | 2147483647  1219283     36 |  0.000 % |
5189.98/5191.67	c |   1221536 |   43082   600262  2684082 | 2147483647  1221536     36 |  0.000 % |
5208.87/5210.52	c |   1224014 |   43082   600262  2684082 | 2147483647  1224014     36 |  0.000 % |
5227.77/5229.42	c |   1226740 |   43082   600262  2684082 | 2147483647  1226740     36 |  0.000 % |
5245.26/5246.91	c |   1229741 |   43082   600262  2684082 | 2147483647  1229741     36 |  0.000 % |
5270.35/5272.06	c |   1233040 |   43082   600262  2684082 | 2147483647  1233040     36 |  0.000 % |
5292.66/5294.40	c |   1236665 |   43082   600262  2684082 | 2147483647  1236665     36 |  0.000 % |
5310.35/5312.05	c |   1240654 |   43082   600262  2684082 | 2147483647  1240654     36 |  0.000 % |
5339.63/5341.37	c |   1245039 |   43082   600262  2684082 | 2147483647  1245039     36 |  0.000 % |
5373.13/5374.82	c |   1249863 |   43082   600262  2684082 | 2147483647  1249863     37 |  0.000 % |
5406.52/5408.23	c |   1255168 |   43082   600262  2684082 | 2147483647  1255168     37 |  0.000 % |
5445.01/5446.78	c |   1261003 |   43082   600262  2684082 | 2147483647  1261003     37 |  0.000 % |
5496.69/5498.43	c |   1267423 |   43082   600262  2684082 | 2147483647  1267423     37 |  0.000 % |
5552.28/5554.04	c |   1274482 |   43082   600262  2684082 | 2147483647  1274482     37 |  0.000 % |
5597.26/5599.09	c |   1282246 |   43082   600262  2684082 | 2147483647  1282246     37 |  0.000 % |
5651.75/5653.51	c |   1290788 |   43082   600262  2684082 | 2147483647  1290788     37 |  0.000 % |
5740.92/5742.71	c |   1300184 |   43082   600262  2684082 |  1300000  1300184     37 |  0.000 % |
5839.60/5841.40	c |   1310517 |   43082   600262  2684082 | 2147483647  1139728     37 |  0.000 % |
5920.77/5922.65	c |   1321885 |   43082   600262  2684082 | 2147483647  1151096     37 |  0.000 % |
5921.58/5923.41	c |   1321986 |   43082   600262  2684082 | 2147483647  1151197     37 |  0.000 % |
5922.37/5924.20	c |   1322097 |   43082   600262  2684082 | 2147483647  1151308     37 |  0.000 % |
5923.27/5925.11	c |   1322220 |   43082   600262  2684082 | 2147483647  1151431     37 |  0.000 % |
5924.47/5926.30	c |   1322353 |   43082   600262  2684082 | 2147483647  1151564     37 |  0.000 % |
5925.57/5927.44	c |   1322499 |   43082   600262  2684082 | 2147483647  1151710     37 |  0.000 % |
5926.67/5928.52	c |   1322660 |   43082   600262  2684082 | 2147483647  1151871     37 |  0.000 % |
5927.77/5929.69	c |   1322837 |   43082   600262  2684082 | 2147483647  1152048     37 |  0.000 % |
5928.97/5930.83	c |   1323031 |   43082   600262  2684082 | 2147483647  1152242     37 |  0.000 % |
5930.67/5932.50	c |   1323243 |   43082   600262  2684082 | 2147483647  1152454     37 |  0.000 % |
5932.27/5934.18	c |   1323476 |   43082   600262  2684082 | 2147483647  1152687     37 |  0.000 % |
5933.77/5935.69	c |   1323732 |   43082   600262  2684082 | 2147483647  1152943     37 |  0.000 % |
5935.27/5937.14	c |   1324014 |   43082   600262  2684082 | 2147483647  1153225     37 |  0.000 % |
5937.27/5939.15	c |   1324323 |   43082   600262  2684082 | 2147483647  1153534     37 |  0.000 % |
5939.77/5941.60	c |   1324665 |   43082   600262  2684082 | 2147483647  1153876     37 |  0.000 % |
5942.07/5943.90	c |   1325038 |   43082   600262  2684082 | 2147483647  1154249     37 |  0.000 % |
5944.56/5946.40	c |   1325451 |   43082   600262  2684082 | 2147483647  1154662     37 |  0.000 % |
5946.87/5948.71	c |   1325901 |   43082   600262  2684082 | 2147483647  1155112     37 |  0.000 % |
5949.96/5951.83	c |   1326394 |   43082   600262  2684082 | 2147483647  1155605     37 |  0.000 % |
5952.56/5954.45	c |   1326936 |   43082   600262  2684082 | 2147483647  1156147     37 |  0.000 % |
5956.36/5958.22	c |   1327532 |   43082   600262  2684082 | 2147483647  1156743     37 |  0.000 % |
5960.46/5962.32	c |   1328188 |   43082   600262  2684082 | 2147483647  1157399     37 |  0.000 % |
5964.67/5966.54	c |   1328910 |   43082   600262  2684082 | 2147483647  1158121     37 |  0.000 % |
5970.56/5972.41	c |   1329703 |   43082   600262  2684082 | 2147483647  1158914     37 |  0.000 % |
5975.96/5977.82	c |   1330574 |   43082   600262  2684082 | 2147483647  1159785     37 |  0.000 % |
5982.86/5984.76	c |   1331532 |   43082   600262  2684082 | 2147483647  1160743     37 |  0.000 % |
5990.16/5992.05	c |   1332586 |   43082   600262  2684082 | 2147483647  1161797     37 |  0.000 % |
5997.06/5998.97	c |   1333745 |   43082   600262  2684082 | 2147483647  1162956     37 |  0.000 % |
6006.26/6008.19	c |   1335018 |   43082   600262  2684082 | 2147483647  1164229     37 |  0.000 % |
6014.65/6016.55	c |   1336418 |   43082   600262  2684082 | 2147483647  1165629     37 |  0.000 % |
6029.05/6030.98	c |   1337958 |   43082   600262  2684082 | 2147483647  1167169     37 |  0.000 % |
6038.74/6040.68	c |   1339653 |   43082   600262  2684082 | 2147483647  1168864     37 |  0.000 % |
6050.34/6052.29	c |   1341517 |   43082   600262  2684082 |  1169211  1170728     37 |  0.000 % |
6068.73/6070.70	c |   1343568 |   43082   600262  2684082 |  1169211  1055707     37 |  0.000 % |
6085.93/6087.81	c |   1345822 |   43082   600262  2684082 |  1169211  1057961     37 |  0.000 % |
6108.52/6110.48	c |   1348300 |   43082   600262  2684082 |  1169211  1060439     37 |  0.000 % |
6118.92/6120.85	c |   1351025 |   43082   600262  2684082 | 2147483647  1063164     37 |  0.000 % |
6133.82/6135.72	c |   1354022 |   43082   600262  2684082 | 2147483647  1066161     37 |  0.000 % |
6157.91/6159.82	c |   1357322 |   43082   600262  2684082 | 2147483647  1069461     37 |  0.000 % |
6182.01/6183.94	c |   1360947 |   43082   600262  2684082 | 2147483647  1073086     37 |  0.000 % |
6205.10/6207.05	c |   1364936 |   43082   600262  2684082 | 2147483647  1077075     37 |  0.000 % |
6228.89/6230.87	c |   1369322 |   43082   600262  2684082 | 2147483647  1081461     37 |  0.000 % |
6259.99/6261.94	c |   1374145 |   43082   600262  2684082 | 2147483647  1086284     38 |  0.000 % |
6285.08/6287.00	c |   1379453 |   43082   600262  2684082 | 2147483647  1091592     38 |  0.000 % |
6320.17/6322.19	c |   1385288 |   43082   600262  2684082 | 2147483647  1097427     38 |  0.000 % |
6349.86/6351.85	c |   1391708 |   43082   600262  2684082 | 2147483647  1103847     38 |  0.000 % |
6398.74/6400.78	c |   1398769 |   43082   600262  2684082 | 2147483647  1110908     38 |  0.000 % |
6439.23/6441.29	c |   1406533 |   43082   600262  2684082 | 2147483647  1118672     38 |  0.000 % |
6490.62/6492.65	c |   1415074 |   43082   600262  2684082 | 2147483647  1127213     38 |  0.000 % |
6561.99/6564.09	c |   1424468 |   43082   600262  2684082 | 2147483647  1136607     38 |  0.000 % |
6642.48/6644.50	c |   1434802 |   43082   600262  2684082 | 2147483647  1146941     38 |  0.000 % |
6722.66/6724.77	c |   1446169 |   43082   600262  2684082 | 2147483647  1158308     38 |  0.000 % |
6799.34/6801.40	c |   1458671 |   43082   600262  2684082 | 2147483647  1170810     38 |  0.000 % |
6800.14/6802.22	c |   1458772 |   43082   600262  2684082 | 2147483647  1170911     38 |  0.000 % |
6800.84/6802.95	c |   1458883 |   43082   600262  2684082 | 2147483647  1171022     38 |  0.000 % |
6801.64/6803.71	c |   1459004 |   43082   600262  2684082 | 2147483647  1171143     38 |  0.000 % |
6802.44/6804.56	c |   1459138 |   43082   600262  2684082 | 2147483647  1171277     38 |  0.000 % |
6803.23/6805.36	c |   1459284 |   43082   600262  2684082 | 2147483647  1171423     38 |  0.000 % |
6803.93/6806.09	c |   1459444 |   43082   600262  2684082 | 2147483647  1171583     38 |  0.000 % |
6805.03/6807.15	c |   1459620 |   43082   600262  2684082 | 2147483647  1171759     38 |  0.000 % |
6806.13/6808.21	c |   1459813 |   43082   600262  2684082 | 2147483647  1171952     38 |  0.000 % |
6807.43/6809.51	c |   1460025 |   43082   600262  2684082 | 2147483647  1172164     38 |  0.000 % |
6808.63/6810.75	c |   1460258 |   43082   600262  2684082 | 2147483647  1172397     38 |  0.000 % |
6809.63/6811.77	c |   1460514 |   43082   600262  2684082 | 2147483647  1172653     38 |  0.000 % |
6811.24/6813.36	c |   1460796 |   43082   600262  2684082 | 2147483647  1172935     38 |  0.000 % |
6813.13/6815.21	c |   1461105 |   43082   600262  2684082 | 2147483647  1173244     38 |  0.000 % |
6815.13/6817.27	c |   1461444 |   43082   600262  2684082 | 2147483647  1173583     38 |  0.000 % |
6817.23/6819.37	c |   1461817 |   43082   600262  2684082 | 2147483647  1173956     38 |  0.000 % |
6820.23/6822.36	c |   1462226 |   43082   600262  2684082 | 2147483647  1174365     38 |  0.000 % |
6822.83/6824.99	c |   1462676 |   43082   600262  2684082 | 2147483647  1174815     38 |  0.000 % |
6826.12/6828.28	c |   1463169 |   43082   600262  2684082 | 2147483647  1175308     38 |  0.000 % |
6829.12/6831.22	c |   1463715 |   43082   600262  2684082 | 2147483647  1175854     38 |  0.000 % |
6832.32/6834.45	c |   1464312 |   43082   600262  2684082 | 2147483647  1176451     38 |  0.000 % |
6835.02/6837.16	c |   1464967 |   43082   600262  2684082 | 2147483647  1177106     38 |  0.000 % |
6837.12/6839.27	c |   1465687 |   43082   600262  2684082 | 2147483647  1177826     38 |  0.000 % |
6841.82/6843.99	c |   1466479 |   43082   600262  2684082 | 2147483647  1178618     38 |  0.000 % |
6846.12/6848.24	c |   1467354 |   43082   600262  2684082 | 2147483647  1179493     38 |  0.000 % |
6852.21/6854.30	c |   1468312 |   43082   600262  2684082 | 2147483647  1180451     38 |  0.000 % |
6857.52/6859.65	c |   1469365 |   43082   600262  2684082 | 2147483647  1181504     38 |  0.000 % |
6865.01/6867.11	c |   1470523 |   43082   600262  2684082 | 2147483647  1182662     38 |  0.000 % |
6872.11/6874.24	c |   1471797 |   43082   600262  2684082 | 2147483647  1183936     38 |  0.000 % |
6880.72/6882.82	c |   1473197 |   43082   600262  2684082 | 2147483647  1185336     38 |  0.000 % |
6887.31/6889.44	c |   1474737 |   43082   600262  2684082 | 2147483647  1186876     38 |  0.000 % |
6897.01/6899.12	c |   1476431 |   43082   600262  2684082 | 2147483647  1188570     38 |  0.000 % |
6907.51/6909.63	c |   1478295 |   43082   600262  2684082 | 2147483647  1190434     38 |  0.000 % |
6919.50/6921.63	c |   1480345 |   43082   600262  2684082 | 2147483647  1192484     38 |  0.000 % |
6930.60/6932.70	c |   1482598 |   43082   600262  2684082 | 2147483647  1194737     38 |  0.000 % |
6944.89/6947.04	c |   1485076 |   43082   600262  2684082 | 2147483647  1197215     38 |  0.000 % |
6965.79/6967.94	c |   1487801 |   43082   600262  2684082 | 2147483647  1199940     38 |  0.000 % |
6985.78/6987.96	c |   1490801 |   43082   600262  2684082 | 2147483647  1202940     38 |  0.000 % |
7010.77/7012.98	c |   1494097 |   43082   600262  2684082 | 2147483647  1206236     38 |  0.000 % |
7032.07/7034.27	c |   1497722 |   43082   600262  2684082 | 2147483647  1209861     38 |  0.000 % |
7056.46/7058.64	c |   1501709 |   43082   600262  2684082 | 2147483647  1213848     38 |  0.000 % |
7083.85/7086.00	c |   1506094 |   43082   600262  2684082 | 2147483647  1218233     38 |  0.000 % |
7110.75/7112.97	c |   1510917 |   43082   600262  2684082 | 2147483647  1223056     38 |  0.000 % |
7136.84/7139.05	c |   1516223 |   43082   600262  2684082 | 2147483647  1228362     38 |  0.000 % |
7172.93/7175.14	c |   1522058 |   43082   600262  2684082 | 2147483647  1234197     38 |  0.000 % |
7213.41/7215.66	c |   1528476 |   43082   600262  2684082 | 2147483647  1240615     38 |  0.000 % |
7256.80/7259.09	c |   1535537 |   43082   600262  2684082 | 2147483647  1247676     38 |  0.000 % |
7308.49/7310.74	c |   1543302 |   43082   600262  2684082 | 2147483647  1255441     38 |  0.000 % |
7355.28/7357.52	c |   1551842 |   43082   600262  2684082 | 2147483647  1263981     38 |  0.000 % |
7403.27/7405.55	c |   1561236 |   43082   600262  2684082 | 2147483647  1273375     39 |  0.000 % |
7470.94/7473.25	c |   1571570 |   43082   600262  2684082 | 2147483647  1283709     39 |  0.000 % |
7543.43/7545.79	c |   1582937 |   43082   600262  2684082 |  1292139  1295076     39 |  0.000 % |
7619.21/7621.57	c |   1595441 |   43082   600262  2684082 | 2147483647  1070226     38 |  0.000 % |
7690.28/7692.62	c |   1609193 |   43082   600262  2684082 | 2147483647  1083978     38 |  0.000 % |
7691.18/7693.57	c |   1609294 |   43082   600262  2684082 | 2147483647  1084079     38 |  0.000 % |
7692.28/7694.69	c |   1609405 |   43082   600262  2684082 | 2147483647  1084190     38 |  0.000 % |
7693.19/7695.52	c |   1609526 |   43082   600262  2684082 | 2147483647  1084311     38 |  0.000 % |
7694.18/7696.55	c |   1609659 |   43082   600262  2684082 | 2147483647  1084444     38 |  0.000 % |
7695.08/7697.49	c |   1609805 |   43082   600262  2684082 | 2147483647  1084590     38 |  0.000 % |
7695.68/7698.09	c |   1609968 |   43082   600262  2684082 | 2147483647  1084753     38 |  0.000 % |
7696.88/7699.22	c |   1610145 |   43082   600262  2684082 |  1084786  1084930     38 |  0.000 % |
7701.78/7704.10	c |   1610338 |   43082   600262  2684082 |  1084786   937375     37 |  0.000 % |
7702.88/7705.27	c |   1610551 |   43082   600262  2684082 |  1084786   937588     37 |  0.000 % |
7704.08/7706.41	c |   1610784 |   43082   600262  2684082 |  1084786   937821     37 |  0.000 % |
7705.18/7707.55	c |   1611040 |   43082   600262  2684082 |  1084786   938077     37 |  0.000 % |
7706.48/7708.85	c |   1611321 |   43082   600262  2684082 |  1084786   938358     37 |  0.000 % |
7708.18/7710.58	c |   1611630 |   43082   600262  2684082 |  1084786   938667     37 |  0.000 % |
7710.18/7712.51	c |   1611970 |   43082   600262  2684082 |  1084786   939007     37 |  0.000 % |
7711.78/7714.19	c |   1612342 |   43082   600262  2684082 |  1084786   939379     37 |  0.000 % |
7713.98/7716.31	c |   1612752 |   43082   600262  2684082 |  1084786   939789     37 |  0.000 % |
7715.48/7717.81	c |   1613201 |   43082   600262  2684082 |  1084786   940238     37 |  0.000 % |
7718.48/7720.80	c |   1613694 |   43082   600262  2684082 |  1084786   940731     37 |  0.000 % |
7721.78/7724.13	c |   1614236 |   43082   600262  2684082 |  1084786   941273     37 |  0.000 % |
7725.27/7727.62	c |   1614837 |   43082   600262  2684082 |  1084786   941874     37 |  0.000 % |
7727.87/7730.26	c |   1615493 |   43082   600262  2684082 |  1084786   942530     37 |  0.000 % |
7731.67/7734.09	c |   1616213 |   43082   600262  2684082 |  1084786   943250     37 |  0.000 % |
7735.67/7738.05	c |   1617006 |   43082   600262  2684082 |  1084786   944043     37 |  0.000 % |
7739.57/7741.98	c |   1617877 |   43082   600262  2684082 |  1084786   944914     37 |  0.000 % |
7743.57/7745.99	c |   1618836 |   43082   600262  2684082 |  1084786   945873     37 |  0.000 % |
7751.16/7753.55	c |   1619889 |   43082   600262  2684082 |  1084786   946926     37 |  0.000 % |
7758.26/7760.67	c |   1621047 |   43082   600262  2684082 | 2147483647   948084     37 |  0.000 % |
7767.76/7770.15	c |   1622321 |   43082   600262  2684082 | 2147483647   949358     37 |  0.000 % |
7777.96/7780.36	c |   1623722 |   43082   600262  2684082 | 2147483647   950759     37 |  0.000 % |
7789.06/7791.40	c |   1625263 |   43082   600262  2684082 | 2147483647   952300     37 |  0.000 % |
7799.66/7802.05	c |   1626957 |   43082   600262  2684082 | 2147483647   953994     37 |  0.000 % |
7809.55/7811.92	c |   1628821 |   43082   600262  2684082 | 2147483647   955858     37 |  0.000 % |
7822.35/7824.72	c |   1630871 |   43082   600262  2684082 | 2147483647   957908     37 |  0.000 % |
7834.65/7837.09	c |   1633125 |   43082   600262  2684082 | 2147483647   960162     37 |  0.000 % |
7850.74/7853.17	c |   1635604 |   43082   600262  2684082 | 2147483647   962641     37 |  0.000 % |
7867.94/7870.36	c |   1638329 |   43082   600262  2684082 | 2147483647   965366     37 |  0.000 % |
7879.53/7881.92	c |   1641327 |   43082   600262  2684082 | 2147483647   968364     37 |  0.000 % |
7900.63/7903.09	c |   1644623 |   43082   600262  2684082 | 2147483647   971660     37 |  0.000 % |
7916.12/7918.57	c |   1648248 |   43082   600262  2684082 | 2147483647   975285     37 |  0.000 % |
7940.81/7943.20	c |   1652237 |   43082   600262  2684082 | 2147483647   979274     37 |  0.000 % |
7967.11/7969.57	c |   1656623 |   43082   600262  2684082 | 2147483647   983660     37 |  0.000 % |
7993.90/7996.32	c |   1661448 |   43082   600262  2684082 | 2147483647   988485     37 |  0.000 % |
8022.79/8025.26	c |   1666755 |   43082   600262  2684082 | 2147483647   993792     37 |  0.000 % |
8050.49/8052.97	c |   1672590 |   43082   600262  2684082 | 2147483647   999627     37 |  0.000 % |
8094.18/8096.61	c |   1679009 |   43082   600262  2684082 | 2147483647  1006046     37 |  0.000 % |
8144.86/8147.31	c |   1686069 |   43082   600262  2684082 | 2147483647  1013106     37 |  0.000 % |
8197.15/8199.66	c |   1693833 |   43082   600262  2684082 | 2147483647  1020870     37 |  0.000 % |
8256.53/8259.03	c |   1702375 |   43082   600262  2684082 | 2147483647  1029412     38 |  0.000 % |
8307.92/8310.42	c |   1711771 |   43082   600262  2684082 | 2147483647  1038808     38 |  0.000 % |
8376.10/8378.61	c |   1722104 |   43082   600262  2684082 | 2147483647  1049141     38 |  0.000 % |
8461.68/8464.27	c |   1733470 |   43082   600262  2684082 | 2147483647  1060507     38 |  0.000 % |
8525.85/8528.46	c |   1745974 |   43082   600262  2684082 | 2147483647  1073011     38 |  0.000 % |
8612.54/8615.11	c |   1759727 |   43082   600262  2684082 | 2147483647  1086764     38 |  0.000 % |
8731.90/8734.52	c |   1774854 |   43082   600262  2684082 |  1097038  1101891     38 |  0.000 % |
8735.80/8738.41	c |   1774956 |   43082   600262  2684082 |  1097038   991804     39 |  0.000 % |
8736.80/8739.44	c |   1775067 |   43082   600262  2684082 |  1097038   991915     39 |  0.000 % |
8737.79/8740.41	c |   1775189 |   43082   600262  2684082 |  1097038   992037     39 |  0.000 % |
8738.49/8741.16	c |   1775322 |   43082   600262  2684082 |  1097038   992170     39 |  0.000 % |
8739.39/8742.05	c |   1775468 |   43082   600262  2684082 |  1097038   992316     39 |  0.000 % |
8740.29/8742.91	c |   1775629 |   43082   600262  2684082 |  1097038   992477     39 |  0.000 % |
8741.39/8744.03	c |   1775805 |   43082   600262  2684082 |  1097038   992653     39 |  0.000 % |
8742.49/8745.14	c |   1775998 |   43082   600262  2684082 |  1097038   992846     39 |  0.000 % |
8743.69/8746.35	c |   1776210 |   43082   600262  2684082 |  1097038   993058     39 |  0.000 % |
8745.60/8748.26	c |   1776443 |   43082   600262  2684082 |  1097038   993291     39 |  0.000 % |
8747.19/8749.80	c |   1776702 |   43082   600262  2684082 |  1097038   993550     39 |  0.000 % |
8748.79/8751.40	c |   1776985 |   43082   600262  2684082 |  1097038   993833     39 |  0.000 % |
8750.49/8753.14	c |   1777295 |   43082   600262  2684082 |  1097038   994143     39 |  0.000 % |
8752.49/8755.15	c |   1777635 |   43082   600262  2684082 |  1097038   994483     39 |  0.000 % |
8754.39/8757.10	c |   1778007 |   43082   600262  2684082 |  1097038   994855     39 |  0.000 % |
8757.39/8760.09	c |   1778418 |   43082   600262  2684082 |  1097038   995266     39 |  0.000 % |
8760.69/8763.33	c |   1778869 |   43082   600262  2684082 |  1097038   995717     39 |  0.000 % |
8763.48/8766.18	c |   1779363 |   43082   600262  2684082 |  1097038   996211     39 |  0.000 % |
8767.69/8770.38	c |   1779905 |   43082   600262  2684082 |  1097038   996753     39 |  0.000 % |
8771.19/8773.88	c |   1780501 |   43082   600262  2684082 | 2147483647   997349     39 |  0.000 % |
8776.59/8779.21	c |   1781156 |   43082   600262  2684082 | 2147483647   998004     39 |  0.000 % |
8781.69/8784.35	c |   1781876 |   43082   600262  2684082 | 2147483647   998724     39 |  0.000 % |
8786.29/8788.94	c |   1782668 |   43082   600262  2684082 | 2147483647   999516     39 |  0.000 % |
8790.79/8793.45	c |   1783539 |   43082   600262  2684082 | 2147483647  1000387     39 |  0.000 % |
8798.18/8800.81	c |   1784497 |   43082   600262  2684082 | 2147483647  1001345     39 |  0.000 % |
8804.38/8807.00	c |   1785551 |   43082   600262  2684082 | 2147483647  1002399     39 |  0.000 % |
8809.78/8812.46	c |   1786709 |   43082   600262  2684082 | 2147483647  1003557     39 |  0.000 % |
8816.77/8819.41	c |   1787984 |   43082   600262  2684082 | 2147483647  1004832     39 |  0.000 % |
8823.07/8825.74	c |   1789384 |   43082   600262  2684082 | 2147483647  1006232     39 |  0.000 % |
8831.67/8834.30	c |   1790925 |   43082   600262  2684082 | 2147483647  1007773     39 |  0.000 % |
8839.17/8841.86	c |   1792621 |   43082   600262  2684082 | 2147483647  1009469     39 |  0.000 % |
8849.16/8851.81	c |   1794486 |   43082   600262  2684082 | 2147483647  1011334     39 |  0.000 % |
8859.36/8862.09	c |   1796535 |   43082   600262  2684082 | 2147483647  1013383     39 |  0.000 % |
8879.05/8881.74	c |   1798789 |   43082   600262  2684082 | 2147483647  1015637     39 |  0.000 % |
8890.45/8893.19	c |   1801270 |   43082   600262  2684082 | 2147483647  1018118     39 |  0.000 % |
8907.84/8910.50	c |   1803997 |   43082   600262  2684082 | 2147483647  1020845     39 |  0.000 % |
8926.84/8929.54	c |   1806994 |   43082   600262  2684082 | 2147483647  1023842     39 |  0.000 % |
8949.23/8951.91	c |   1810290 |   43082   600262  2684082 | 2147483647  1027138     39 |  0.000 % |
8963.73/8966.45	c |   1813915 |   43082   600262  2684082 | 2147483647  1030763     39 |  0.000 % |
8988.64/8991.40	c |   1817902 |   43082   600262  2684082 | 2147483647  1034750     39 |  0.000 % |
9009.02/9011.72	c |   1822287 |   43082   600262  2684082 | 2147483647  1039135     39 |  0.000 % |
9039.92/9042.63	c |   1827110 |   43082   600262  2684082 | 2147483647  1043958     39 |  0.000 % |
9073.31/9076.08	c |   1832415 |   43082   600262  2684082 | 2147483647  1049263     39 |  0.000 % |
9101.80/9104.50	c |   1838250 |   43082   600262  2684082 | 2147483647  1055098     39 |  0.000 % |
9133.89/9136.66	c |   1844669 |   43082   600262  2684082 | 2147483647  1061517     39 |  0.000 % |
9175.47/9178.28	c |   1851731 |   43082   600262  2684082 | 2147483647  1068579     39 |  0.000 % |
9225.66/9228.41	c |   1859496 |   43082   600262  2684082 | 2147483647  1076344     39 |  0.000 % |
9273.84/9276.65	c |   1868036 |   43082   600262  2684082 | 2147483647  1084884     39 |  0.000 % |
9312.94/9315.71	c |   1877431 |   43082   600262  2684082 | 2147483647  1094279     39 |  0.000 % |
9366.93/9369.75	c |   1887765 |   43082   600262  2684082 | 2147483647  1104613     39 |  0.000 % |
9414.01/9416.89	c |   1899131 |   43082   600262  2684082 | 2147483647  1115979     39 |  0.000 % |
9492.49/9495.34	c |   1911633 |   43082   600262  2684082 | 2147483647  1128481     39 |  0.000 % |
9603.25/9606.19	c |   1925386 |   43082   600262  2684082 | 2147483647  1142234     39 |  0.000 % |
9750.41/9753.36	c |   1940515 |   43082   600262  2684082 | 2147483647  1157363     39 |  0.000 % |
9888.68/9891.63	c |   1957154 |   43082   600262  2684082 | 2147483647  1174002     39 |  0.000 % |
9889.68/9892.64	c |   1957255 |   43082   600262  2684082 | 2147483647  1174103     39 |  0.000 % |
9890.38/9893.38	c |   1957365 |   43082   600262  2684082 | 2147483647  1174213     39 |  0.000 % |
9891.28/9894.20	c |   1957486 |   43082   600262  2684082 | 2147483647  1174334     39 |  0.000 % |
9892.08/9895.03	c |   1957619 |   43082   600262  2684082 | 2147483647  1174467     39 |  0.000 % |
9892.88/9895.89	c |   1957766 |   43082   600262  2684082 | 2147483647  1174614     39 |  0.000 % |
9893.78/9896.70	c |   1957926 |   43082   600262  2684082 | 2147483647  1174774     39 |  0.000 % |
9894.78/9897.77	c |   1958102 |   43082   600262  2684082 | 2147483647  1174950     39 |  0.000 % |
9895.98/9899.00	c |   1958295 |   43082   600262  2684082 | 2147483647  1175143     39 |  0.000 % |
9897.08/9900.07	c |   1958507 |   43082   600262  2684082 | 2147483647  1175355     39 |  0.000 % |
9898.78/9901.75	c |   1958741 |   43082   600262  2684082 | 2147483647  1175589     39 |  0.000 % |
9899.88/9902.88	c |   1958999 |   43082   600262  2684082 | 2147483647  1175847     39 |  0.000 % |
9901.78/9904.70	c |   1959281 |   43082   600262  2684082 | 2147483647  1176129     39 |  0.000 % |
9903.68/9906.64	c |   1959593 |   43082   600262  2684082 | 2147483647  1176441     39 |  0.000 % |
9905.47/9908.45	c |   1959936 |   43082   600262  2684082 | 2147483647  1176784     39 |  0.000 % |
9906.88/9909.85	c |   1960308 |   43082   600262  2684082 | 2147483647  1177156     39 |  0.000 % |
9909.87/9912.89	c |   1960718 |   43082   600262  2684082 | 2147483647  1177566     39 |  0.000 % |
9912.97/9915.97	c |   1961169 |   43082   600262  2684082 | 2147483647  1178017     39 |  0.000 % |
9917.07/9920.07	c |   1961666 |   43082   600262  2684082 | 2147483647  1178514     39 |  0.000 % |
9920.07/9923.09	c |   1962211 |   43082   600262  2684082 | 2147483647  1179059     39 |  0.000 % |
9924.07/9927.02	c |   1962808 |   43082   600262  2684082 | 2147483647  1179656     39 |  0.000 % |
9928.47/9931.49	c |   1963465 |   43082   600262  2684082 | 2147483647  1180313     39 |  0.000 % |
9932.66/9935.64	c |   1964186 |   43082   600262  2684082 | 2147483647  1181034     39 |  0.000 % |
9937.86/9940.88	c |   1964978 |   43082   600262  2684082 | 2147483647  1181826     39 |  0.000 % |
9943.06/9946.09	c |   1965849 |   43082   600262  2684082 | 2147483647  1182697     39 |  0.000 % |
9948.96/9951.92	c |   1966807 |   43082   600262  2684082 | 2147483647  1183655     39 |  0.000 % |
9955.86/9958.89	c |   1967860 |   43082   600262  2684082 | 2147483647  1184708     39 |  0.000 % |
9961.96/9964.99	c |   1969021 |   43082   600262  2684082 | 2147483647  1185869     39 |  0.000 % |
9970.86/9973.86	c |   1970294 |   43082   600262  2684082 | 2147483647  1187142     39 |  0.000 % |
9979.56/9982.58	c |   1971694 |   43082   600262  2684082 | 2147483647  1188542     39 |  0.000 % |
9990.56/9993.51	c |   1973237 |   43082   600262  2684082 | 2147483647  1190085     39 |  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-1837100-1242857022/watcher-1837100-1242857022 -o /tmp/evaluation-result-1837100-1242857022/solver-1837100-1242857022 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837100-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.00 0.00 0.00 3/64 15477
/proc/meminfo: memFree=1833160/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0

[startup+0.0473749 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 15477
/proc/meminfo: memFree=1833160/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101379 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 15477
/proc/meminfo: memFree=1833160/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301399 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 15477
/proc/meminfo: memFree=1833160/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701438 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 15477
/proc/meminfo: memFree=1833160/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50152 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 15482
/proc/meminfo: memFree=1696056/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
[pid=15481] ppid=15477 vsize=177580 CPUtime=1.48
/proc/15481/stat : 15481 (SatELite_releas) R 15477 15477 15440 0 -1 4194304 39160 0 0 0 126 22 0 0 25 0 1 0 313736391 181841920 38263 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15481/statm: 44395 38263 76 173 0 44220 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 182936

[startup+3.10168 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 15482
/proc/meminfo: memFree=1674040/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
[pid=15481] ppid=15477 vsize=181988 CPUtime=3.09
/proc/15481/stat : 15481 (SatELite_releas) R 15477 15477 15440 0 -1 4194304 40219 0 0 0 282 27 0 0 25 0 1 0 313736391 186355712 39322 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/15481/statm: 45497 39322 76 173 0 45322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187344

[startup+6.30199 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 15482
/proc/meminfo: memFree=1648760/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
[pid=15481] ppid=15477 vsize=195424 CPUtime=6.27
/proc/15481/stat : 15481 (SatELite_releas) R 15477 15477 15440 0 -1 4194304 43271 0 0 0 589 38 0 0 25 0 1 0 313736391 200114176 42374 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15481/statm: 48856 42374 76 173 0 48681 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 200780

[startup+12.7016 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 15482
/proc/meminfo: memFree=1610808/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313736390 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15477/statm: 1339 237 197 169 0 50 0
[pid=15481] ppid=15477 vsize=213048 CPUtime=12.65
/proc/15481/stat : 15481 (SatELite_releas) R 15477 15477 15440 0 -1 4194304 46963 0 0 0 1214 51 0 0 25 0 1 0 313736391 218161152 45715 1992294400 134512640 135223648 4294956128 18446744073709551615 134586795 0 0 4096 3 0 0 0 17 1 0 0
/proc/15481/statm: 53262 45715 76 173 0 53087 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 218404

[startup+25.5019 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 15483
/proc/meminfo: memFree=1740600/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=37128 CPUtime=3.04
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 8927 0 0 0 299 5 0 0 25 0 1 0 313738634 38019072 8913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 9282 8913 77 171 0 9109 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 42484

[startup+51.1024 s]
/proc/loadavg: 0.65 0.18 0.06 2/66 15483
/proc/meminfo: memFree=1738616/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=39852 CPUtime=28.63
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 9585 0 0 0 2856 7 0 0 25 0 1 0 313738634 40808448 9571 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 9963 9571 77 171 0 9790 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 45208

[startup+102.306 s]
/proc/loadavg: 0.89 0.32 0.11 2/66 15483
/proc/meminfo: memFree=1734520/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=43808 CPUtime=79.79
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 10560 0 0 0 7971 8 0 0 25 0 1 0 313738634 44859392 10546 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 10952 10546 77 171 0 10779 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 49164

[startup+162.302 s]
/proc/loadavg: 0.99 0.45 0.17 2/66 15483
/proc/meminfo: memFree=1730360/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=47888 CPUtime=139.76
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 11578 0 0 0 13966 10 0 0 25 0 1 0 313738634 49037312 11564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 11972 11564 77 171 0 11799 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 53244

[startup+222.301 s]
/proc/loadavg: 1.03 0.57 0.22 2/66 15483
/proc/meminfo: memFree=1726200/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=52028 CPUtime=199.73
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 12615 0 0 0 19962 11 0 0 25 0 1 0 313738634 53276672 12601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 13007 12601 77 171 0 12834 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 57384

[startup+282.301 s]
/proc/loadavg: 1.16 0.69 0.29 2/66 15483
/proc/meminfo: memFree=1722168/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=55992 CPUtime=259.71
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 13611 0 0 0 25959 12 0 0 25 0 1 0 313738634 57335808 13597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 13998 13597 77 171 0 13825 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 61348

[startup+342.301 s]
/proc/loadavg: 1.06 0.74 0.33 2/66 15483
/proc/meminfo: memFree=1718584/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=59696 CPUtime=319.68
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 14507 0 0 0 31955 13 0 0 25 0 1 0 313738634 61128704 14493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 14924 14493 77 171 0 14751 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 65052

[startup+402.301 s]
/proc/loadavg: 1.02 0.79 0.37 2/66 15483
/proc/meminfo: memFree=1715064/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=63144 CPUtime=379.66
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 15382 0 0 0 37952 14 0 0 25 0 1 0 313738634 64659456 15368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 15786 15368 77 171 0 15613 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 68500

[startup+462.301 s]

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

/proc/15483/statm: 72717 71563 77 171 0 72544 0
Current children cumulated CPU time (s) 9339.54
Current children cumulated vsize (KiB) 296224

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15499
/proc/meminfo: memFree=1485496/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=290868 CPUtime=9377.13
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71577 0 0 0 937608 105 0 0 25 0 1 0 313738634 297848832 71563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72717 71563 77 171 0 72544 0
Current children cumulated CPU time (s) 9399.52
Current children cumulated vsize (KiB) 296224

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15499
/proc/meminfo: memFree=1485432/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=290868 CPUtime=9437.11
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71579 0 0 0 943606 105 0 0 25 0 1 0 313738634 297848832 71565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72717 71565 77 171 0 72544 0
Current children cumulated CPU time (s) 9459.5
Current children cumulated vsize (KiB) 296224

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15499
/proc/meminfo: memFree=1485432/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=290868 CPUtime=9497.09
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71584 0 0 0 949604 105 0 0 25 0 1 0 313738634 297848832 71570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72717 71570 77 171 0 72544 0
Current children cumulated CPU time (s) 9519.48
Current children cumulated vsize (KiB) 296224

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1485304/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291008 CPUtime=9557.07
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71599 0 0 0 955602 105 0 0 25 0 1 0 313738634 297992192 71585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72752 71585 77 171 0 72579 0
Current children cumulated CPU time (s) 9579.46
Current children cumulated vsize (KiB) 296364

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1485112/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291152 CPUtime=9617.06
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71630 0 0 0 961601 105 0 0 25 0 1 0 313738634 298139648 71616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72788 71616 77 171 0 72615 0
Current children cumulated CPU time (s) 9639.45
Current children cumulated vsize (KiB) 296508

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1485112/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291152 CPUtime=9677.04
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71635 0 0 0 967599 105 0 0 25 0 1 0 313738634 298139648 71621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72788 71621 77 171 0 72615 0
Current children cumulated CPU time (s) 9699.43
Current children cumulated vsize (KiB) 296508

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484920/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291316 CPUtime=9737.02
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71670 0 0 0 973597 105 0 0 25 0 1 0 313738634 298307584 71656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72829 71656 77 171 0 72656 0
Current children cumulated CPU time (s) 9759.41
Current children cumulated vsize (KiB) 296672

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484792/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291480 CPUtime=9797.01
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71703 0 0 0 979595 106 0 0 25 0 1 0 313738634 298475520 71689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72870 71689 77 171 0 72697 0
Current children cumulated CPU time (s) 9819.4
Current children cumulated vsize (KiB) 296836

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484856/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291480 CPUtime=9857
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71705 0 0 0 985594 106 0 0 25 0 1 0 313738634 298475520 71691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72870 71691 77 171 0 72697 0
Current children cumulated CPU time (s) 9879.39
Current children cumulated vsize (KiB) 296836

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484792/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291480 CPUtime=9916.97
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71712 0 0 0 991591 106 0 0 25 0 1 0 313738634 298475520 71698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72870 71698 77 171 0 72697 0
Current children cumulated CPU time (s) 9939.36
Current children cumulated vsize (KiB) 296836

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484664/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291620 CPUtime=9976.96
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71734 0 0 0 997589 107 0 0 25 0 1 0 313738634 298618880 71720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72905 71720 77 171 0 72732 0
Current children cumulated CPU time (s) 9999.35
Current children cumulated vsize (KiB) 296976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 15501
/proc/meminfo: memFree=1484664/2055920 swapFree=4180316/4192956
[pid=15477] ppid=15475 vsize=5356 CPUtime=22.39
/proc/15477/stat : 15477 (SatELiteGTI) S 15475 15477 15440 0 -1 4194304 336 54735 0 0 0 0 2176 63 16 0 1 0 313736390 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15477/statm: 1339 239 197 169 0 50 0
[pid=15483] ppid=15477 vsize=291620 CPUtime=9977.66
/proc/15483/stat : 15483 (minisat_static) R 15477 15477 15440 0 -1 4194304 71734 0 0 0 997659 107 0 0 25 0 1 0 313738634 298618880 71720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528745 0 0 4096 3 0 0 0 17 1 0 0
/proc/15483/statm: 72905 71720 77 171 0 72732 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 296976

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

Real time (s): 10003
CPU time (s): 10000
CPU user time (s): 9998.35
CPU system time (s): 1.7
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 296976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7647
system time used= 0.641902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55071
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= 15
involuntary context switches= 66

runsolver used 11.7132 second user time and 24.7682 second system time

The end

Launcher Data

Begin job on node12 at 2009-05-21 00:03:44
IDJOB=1837100
IDBENCH=20410
IDSOLVER=674
FILE ID=node12/1837100-1242857022
PBS_JOBID= 9328502
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=1258614760

node12.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.213
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.213
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:       1833640 kB
Buffers:         35388 kB
Cached:         148788 kB
SwapCached:       6768 kB
Active:          94028 kB
Inactive:        98308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833640 kB
SwapTotal:     4192956 kB
SwapFree:      4180316 kB
Dirty:           24520 kB
Writeback:           0 kB
Mapped:          13308 kB
Slab:            16036 kB
Committed_AS:  1182264 kB
PageTables:       1380 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= 66196 MiB
End job on node12 at 2009-05-21 02:50:29