Trace number 1832397

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) 1200.04 1200.51

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
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 variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

0.00/0.00	c Parsing...
2.38/2.50	c ==============================================================================
2.38/2.50	c |           |     ORIGINAL     |              LEARNT              |          |
2.38/2.50	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.38/2.50	c ==============================================================================
2.38/2.50	c |         0 | 3230737  9429251 |  969221       0        0     nan |  0.000 % |
24.58/24.69	c |         0 | 3193200  9687142 |      --       0       --      -- |     --   | -37507/257956
24.58/24.70	c ==============================================================================
24.58/24.70	c Result  :   #vars: 136989   #clauses: 3193200   #literals: 9687142
24.58/24.70	c CPU time:   24.1583 s
24.58/24.70	c ==============================================================================
27.88/27.92	c This is MiniSat 2.0 beta
27.88/27.92	c WARNING: for repeatability, setting FPU to use double precision
27.88/27.92	c ============================[ Problem Statistics ]=============================
27.88/27.92	c |                                                                             |
27.88/27.92	c |  Number of variables:  136989                                               |
27.88/27.92	c |  Number of clauses:    3193200                                              |
29.76/29.85	c |  Parsing time:         1.71         s                                       |
29.87/29.95	c ============================[ Search Statistics ]==============================
29.87/29.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.87/29.95	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
29.87/29.95	c ===============================================================================
29.87/29.95	c |         0 |  136989  3193200  9687142 |  1064400        0    nan |  0.000 % |
30.46/30.60	c |       100 |  136989  3193200  9687142 |  1064400      100     41 |  0.000 % |
30.67/30.79	c |       202 |  136989  3193200  9687142 |  1064400      202     48 |  0.000 % |
31.06/31.11	c |       303 |  136989  3193200  9687142 |  1064400      303     50 |  0.000 % |
31.26/31.34	c |       414 |  136989  3193200  9687142 |  1064400      414     43 |  0.000 % |
31.46/31.57	c |       514 |  136989  3193200  9687142 |  1064400      514     39 |  0.000 % |
31.86/31.95	c |       624 |  136989  3193200  9687142 |  1064400      624     39 |  0.000 % |
32.56/32.65	c |       745 |  136989  3193200  9687142 |  1064400      745     35 |  0.000 % |
32.96/33.00	c |       846 |  136989  3193200  9687142 |  1064400      846     36 |  0.000 % |
33.06/33.12	c |       957 |  136989  3193200  9687142 |  1064400      957     37 |  0.000 % |
33.16/33.28	c |      1078 |  136989  3193200  9687142 |  1064400     1078     36 |  0.000 % |
33.36/33.40	c |      1212 |  136989  3193200  9687142 |  1064400     1212     36 |  0.000 % |
33.45/33.50	c |      1313 |  136989  3193200  9687142 |  1064400     1313     36 |  0.000 % |
33.75/33.85	c |      1424 |  136989  3193200  9687142 |  1064400     1424     36 |  0.000 % |
33.96/34.05	c |      1547 |  136989  3193200  9687142 |  1064400     1547     35 |  0.000 % |
34.25/34.39	c |      1681 |  136989  3193200  9687142 |  1064400     1681     34 |  0.000 % |
34.35/34.45	c |      1827 |  136989  3193200  9687142 |  1064400     1827     34 |  0.000 % |
34.55/34.63	c |      1930 |  136989  3193200  9687142 |  1064400     1930     36 |  0.000 % |
34.75/34.83	c |      2041 |  136989  3193200  9687142 |  1064400     2041     37 |  0.000 % |
35.25/35.32	c |      2163 |  136989  3193200  9687142 |  1064400     2163     36 |  0.000 % |
35.36/35.43	c |      2296 |  136989  3193200  9687142 |  1064400     2296     38 |  0.000 % |
35.96/36.08	c |      2442 |  136989  3193200  9687142 |  1064400     2442     37 |  0.000 % |
36.46/36.60	c |      2602 |  136989  3193200  9687142 |  1064400     2602     37 |  0.000 % |
36.56/36.67	c |      2704 |  136989  3193200  9687142 |  1064400     2704     37 |  0.000 % |
36.86/36.93	c |      2814 |  136989  3193200  9687142 |  1064400     2814     37 |  0.000 % |
37.36/37.43	c |      2936 |  136989  3193200  9687142 |  1064400     2936     36 |  0.000 % |
37.66/37.70	c |      3069 |  136989  3193200  9687142 |  1064400     3069     35 |  0.000 % |
37.96/38.06	c |      3215 |  136989  3193200  9687142 |  1064400     3215     35 |  0.000 % |
38.26/38.38	c |      3377 |  136989  3193200  9687142 |  1064400     3377     36 |  0.000 % |
38.66/38.74	c |      3554 |  136989  3193200  9687142 |  1064400     3554     37 |  0.000 % |
39.16/39.26	c |      3654 |  136989  3193200  9687142 |  1064400     3654     37 |  0.000 % |
39.36/39.41	c |      3765 |  136989  3193200  9687142 |  1064400     3765     36 |  0.000 % |
39.76/39.82	c |      3886 |  136989  3193200  9687142 |  1064400     3886     36 |  0.000 % |
40.36/40.40	c |      4020 |  136989  3193200  9687142 |  1064400     4020     36 |  0.000 % |
40.56/40.61	c |      4166 |  136989  3193200  9687142 |  1064400     4166     36 |  0.000 % |
40.96/41.08	c |      4328 |  136989  3193200  9687142 |  1064400     4328     36 |  0.000 % |
41.16/41.28	c |      4504 |  136989  3193200  9687142 |  1064400     4504     36 |  0.000 % |
41.46/41.59	c |      4697 |  136989  3193200  9687142 |  1064400     4697     35 |  0.000 % |
41.76/41.87	c |      4797 |  136989  3193200  9687142 |  1064400     4797     35 |  0.000 % |
42.16/42.23	c |      4908 |  136989  3193200  9687142 |  1064400     4908     35 |  0.000 % |
42.46/42.59	c |      5032 |  136989  3193200  9687142 |  1064400     5032     35 |  0.000 % |
42.96/43.04	c |      5170 |  136989  3193200  9687142 |  1064400     5170     35 |  0.000 % |
43.65/43.78	c |      5321 |  136989  3193200  9687142 |  1064400     5321     35 |  0.000 % |
43.96/44.01	c |      5481 |  136989  3193200  9687142 |  1064400     5481     35 |  0.000 % |
44.25/44.31	c |      5657 |  136989  3193200  9687142 |  1064400     5657     35 |  0.000 % |
44.35/44.47	c |      5850 |  136989  3193200  9687142 |  1064400     5850     35 |  0.000 % |
44.65/44.78	c |      6062 |  136989  3193200  9687142 |  1064400     6062     36 |  0.000 % |
44.95/45.04	c |      6162 |  136989  3193200  9687142 |  1064400     6162     35 |  0.000 % |
45.25/45.34	c |      6276 |  136989  3193200  9687142 |  1064400     6276     36 |  0.000 % |
45.35/45.41	c |      6398 |  136989  3193200  9687142 |  1064400     6398     36 |  0.000 % |
45.55/45.69	c |      6532 |  136989  3193200  9687142 |  1064400     6532     36 |  0.000 % |
45.95/46.09	c |      6679 |  136989  3193200  9687142 |  1064400     6679     36 |  0.000 % |
46.35/46.47	c |      6839 |  136989  3193200  9687142 |  1064400     6839     35 |  0.000 % |
46.55/46.65	c |      7016 |  136989  3193200  9687142 |  1064400     7016     36 |  0.000 % |
47.56/47.66	c |      7210 |  136989  3193200  9687142 |  1064400     7210     36 |  0.000 % |
47.76/47.80	c |      7423 |  136989  3193200  9687142 |  1064400     7423     37 |  0.000 % |
48.45/48.50	c |      7658 |  136989  3193200  9687142 |  1064400     7658     36 |  0.000 % |
48.65/48.79	c |      7759 |  136989  3193200  9687142 |  1064400     7759     36 |  0.000 % |
48.85/48.95	c |      7869 |  136989  3193200  9687142 |  1064400     7869     36 |  0.000 % |
49.25/49.35	c |      7990 |  136989  3193200  9687142 |  1064400     7990     36 |  0.000 % |
49.46/49.53	c |      8127 |  136989  3193200  9687142 |  1064400     8127     36 |  0.000 % |
49.95/50.01	c |      8274 |  136989  3193200  9687142 |  1064400     8274     36 |  0.000 % |
50.46/50.52	c |      8434 |  136988  3193189  9687120 |  1064400     8433     37 |  0.001 % |
50.65/50.77	c |      8611 |  136988  3193189  9687120 |  1064400     8610     37 |  0.001 % |
51.05/51.15	c |      8808 |  136988  3193189  9687120 |  1064400     8807     37 |  0.001 % |
51.45/51.53	c |      9020 |  136988  3193189  9687120 |  1064400     9019     37 |  0.001 % |
51.66/51.73	c |      9253 |  136988  3193189  9687120 |  1064400     9252     37 |  0.001 % |
52.05/52.18	c |      9509 |  136988  3193189  9687120 |  1064400     9508     37 |  0.001 % |
52.15/52.24	c |      9610 |  136988  3193189  9687120 |  1064400     9609     37 |  0.001 % |
52.25/52.38	c |      9720 |  136988  3193189  9687120 |  1064400     9719     37 |  0.001 % |
52.45/52.52	c |      9841 |  136988  3193189  9687120 |  1064400     9840     37 |  0.001 % |
52.55/52.60	c |      9974 |  136988  3193189  9687120 |  1064400     9973     37 |  0.001 % |
52.65/52.73	c |     10124 |  136988  3193189  9687120 | 2147483647    10123     37 |  0.001 % |
52.85/52.97	c |     10285 |  136988  3193189  9687120 | 2147483647    10284     37 |  0.001 % |
52.95/53.05	c |     10462 |  136988  3193189  9687120 | 2147483647    10461     37 |  0.001 % |
53.35/53.49	c |     10655 |  136988  3193189  9687120 | 2147483647    10654     37 |  0.001 % |
53.85/53.93	c |     10867 |  136988  3193189  9687120 | 2147483647    10866     39 |  0.001 % |
54.15/54.22	c |     11100 |  136988  3193189  9687120 | 2147483647    11099     39 |  0.001 % |
54.75/54.81	c |     11356 |  136988  3193189  9687120 | 2147483647    11355     38 |  0.001 % |
55.84/55.97	c |     11637 |  136988  3193189  9687120 | 2147483647    11636     38 |  0.001 % |
55.95/56.07	c |     11738 |  136988  3193189  9687120 | 2147483647    11737     38 |  0.001 % |
56.44/56.50	c |     11851 |  136988  3193189  9687120 | 2147483647    11850     38 |  0.001 % |
56.74/56.81	c |     11973 |  136988  3193189  9687120 | 2147483647    11972     39 |  0.001 % |
56.84/56.94	c |     12107 |  136988  3193189  9687120 | 2147483647    12106     39 |  0.001 % |
57.54/57.68	c |     12253 |  136988  3193189  9687120 | 2147483647    12252     39 |  0.001 % |
57.74/57.80	c |     12414 |  136988  3193189  9687120 | 2147483647    12413     39 |  0.001 % |
57.94/58.06	c |     12592 |  136988  3193189  9687120 | 2147483647    12591     39 |  0.001 % |
58.34/58.44	c |     12786 |  136988  3193189  9687120 | 2147483647    12785     39 |  0.001 % |
58.54/58.66	c |     12999 |  136988  3193189  9687120 | 2147483647    12998     39 |  0.001 % |
58.94/59.02	c |     13233 |  136988  3193189  9687120 | 2147483647    13232     39 |  0.001 % |
59.14/59.21	c |     13489 |  136988  3193189  9687120 | 2147483647    13488     39 |  0.001 % |
59.35/59.46	c |     13771 |  136988  3193189  9687120 | 2147483647    13770     39 |  0.001 % |
59.64/59.78	c |     14083 |  136988  3193189  9687120 | 2147483647    14082     39 |  0.001 % |
60.04/60.11	c |     14184 |  136988  3193189  9687120 | 2147483647    14183     39 |  0.001 % |
60.24/60.31	c |     14297 |  136988  3193189  9687120 | 2147483647    14296     39 |  0.001 % |
60.45/60.56	c |     14420 |  136988  3193189  9687120 | 2147483647    14419     39 |  0.001 % |
60.54/60.64	c |     14556 |  136988  3193189  9687120 | 2147483647    14555     39 |  0.001 % |
61.14/61.28	c |     14703 |  136988  3193189  9687120 | 2147483647    14702     39 |  0.001 % |
61.44/61.60	c |     14866 |  136988  3193189  9687120 | 2147483647    14865     39 |  0.001 % |
61.74/61.89	c |     15042 |  136988  3193189  9687120 | 2147483647    15041     39 |  0.001 % |
62.14/62.26	c |     15237 |  136988  3193189  9687120 | 2147483647    15236     39 |  0.001 % |
62.55/62.61	c |     15449 |  136988  3193189  9687120 | 2147483647    15448     39 |  0.001 % |
62.84/62.95	c |     15682 |  136988  3193189  9687120 | 2147483647    15681     40 |  0.001 % |
63.04/63.11	c |     15939 |  136988  3193189  9687120 | 2147483647    15938     40 |  0.001 % |
63.44/63.58	c |     16220 |  136988  3193189  9687120 | 2147483647    16219     41 |  0.001 % |
63.94/64.02	c |     16531 |  136988  3193189  9687120 | 2147483647    16530     41 |  0.001 % |
65.24/65.34	c |     16870 |  136988  3193189  9687120 | 2147483647    16869     41 |  0.001 % |
65.44/65.51	c |     16975 |  136988  3193189  9687120 | 2147483647    16974     41 |  0.001 % |
65.74/65.80	c |     17085 |  136988  3193189  9687120 | 2147483647    17084     41 |  0.001 % |
66.04/66.15	c |     17208 |  136988  3193189  9687120 | 2147483647    17207     41 |  0.001 % |
66.74/66.82	c |     17341 |  136988  3193189  9687120 | 2147483647    17340     41 |  0.001 % |
67.14/67.24	c |     17488 |  136988  3193189  9687120 | 2147483647    17487     41 |  0.001 % |
67.44/67.56	c |     17654 |  136988  3193189  9687120 | 2147483647    17653     41 |  0.001 % |
67.94/68.00	c |     17830 |  136988  3193189  9687120 | 2147483647    17829     41 |  0.001 % |
68.14/68.20	c |     18024 |  136988  3193189  9687120 | 2147483647    18023     41 |  0.001 % |
68.44/68.57	c |     18237 |  136988  3193189  9687120 | 2147483647    18236     41 |  0.001 % |
69.14/69.21	c |     18470 |  136988  3193189  9687120 | 2147483647    18469     41 |  0.001 % |
69.83/69.96	c |     18727 |  136988  3193189  9687120 | 2147483647    18726     41 |  0.001 % |
70.03/70.16	c |     19008 |  136988  3193189  9687120 | 2147483647    19007     41 |  0.001 % |
70.73/70.82	c |     19317 |  136988  3193189  9687120 | 2147483647    19316     41 |  0.001 % |
71.44/71.58	c |     19656 |  136988  3193189  9687120 | 2147483647    19655     41 |  0.001 % |
71.63/71.77	c |     20028 |  136988  3193189  9687120 | 2147483647    20027     42 |  0.001 % |
72.24/72.39	c |     20128 |  136988  3193189  9687120 | 2147483647    20127     42 |  0.001 % |
73.04/73.18	c |     20238 |  136988  3193189  9687120 | 2147483647    20237     41 |  0.001 % |
73.54/73.63	c |     20359 |  136988  3193189  9687120 | 2147483647    20358     41 |  0.001 % |
73.94/74.00	c |     20493 |  136988  3193189  9687120 | 2147483647    20492     41 |  0.001 % |
74.54/74.66	c |     20639 |  136988  3193189  9687120 | 2147483647    20638     41 |  0.001 % |
74.64/74.80	c |     20802 |  136988  3193189  9687120 | 2147483647    20801     41 |  0.001 % |
75.24/75.37	c |     20983 |  136988  3193189  9687120 | 2147483647    20982     41 |  0.001 % |
75.94/76.00	c |     21176 |  136988  3193189  9687120 | 2147483647    21175     41 |  0.001 % |
76.34/76.47	c |     21388 |  136988  3193189  9687120 | 2147483647    21387     41 |  0.001 % |
76.63/76.72	c |     21621 |  136988  3193189  9687120 | 2147483647    21620     41 |  0.001 % |
76.94/77.02	c |     21877 |  136988  3193189  9687120 | 2147483647    21876     41 |  0.001 % |
77.33/77.41	c |     22158 |  136988  3193189  9687120 | 2147483647    22157     41 |  0.001 % |
77.63/77.77	c |     22468 |  136988  3193189  9687120 | 2147483647    22467     41 |  0.001 % |
78.04/78.14	c |     22807 |  136988  3193189  9687120 | 2147483647    22806     41 |  0.001 % |
78.23/78.39	c |     23179 |  136988  3193189  9687120 | 2147483647    23178     42 |  0.001 % |
78.63/78.76	c |     23589 |  136988  3193189  9687120 | 2147483647    23588     43 |  0.001 % |
79.33/79.42	c |     23689 |  136988  3193189  9687120 | 2147483647    23688     43 |  0.001 % |
79.83/79.92	c |     23799 |  136988  3193189  9687120 | 2147483647    23798     43 |  0.001 % |
79.93/80.07	c |     23920 |  136988  3193189  9687120 | 2147483647    23919     43 |  0.001 % |
80.43/80.57	c |     24055 |  136988  3193189  9687120 | 2147483647    24054     43 |  0.001 % |
80.93/81.03	c |     24201 |  136988  3193189  9687120 | 2147483647    24200     43 |  0.001 % |
81.63/81.74	c |     24362 |  136988  3193189  9687120 | 2147483647    24361     43 |  0.001 % |
81.93/82.05	c |     24538 |  136988  3193189  9687120 | 2147483647    24537     43 |  0.001 % |
82.53/82.61	c |     24731 |  136988  3193189  9687120 | 2147483647    24730     43 |  0.001 % |
83.03/83.11	c |     24943 |  136988  3193189  9687120 | 2147483647    24942     43 |  0.001 % |
83.43/83.59	c |     25179 |  136988  3193189  9687120 | 2147483647    25178     43 |  0.001 % |
84.13/84.27	c |     25437 |  136988  3193189  9687120 | 2147483647    25436     43 |  0.001 % |
84.63/84.75	c |     25718 |  136988  3193189  9687120 | 2147483647    25717     43 |  0.001 % |
85.03/85.19	c |     26029 |  136988  3193189  9687120 | 2147483647    26028     43 |  0.001 % |
85.83/85.91	c |     26368 |  136988  3193189  9687120 | 2147483647    26367     44 |  0.001 % |
86.33/86.44	c |     26741 |  136988  3193189  9687120 | 2147483647    26740     44 |  0.001 % |
86.73/86.89	c |     27150 |  136988  3193189  9687120 | 2147483647    27149     43 |  0.001 % |
87.12/87.20	c |     27599 |  136988  3193189  9687120 | 2147483647    27598     43 |  0.001 % |
87.22/87.38	c |     27699 |  136988  3193189  9687120 | 2147483647    27698     43 |  0.001 % |
87.62/87.73	c |     27812 |  136988  3193189  9687120 | 2147483647    27811     43 |  0.001 % |
87.93/88.02	c |     27935 |  136988  3193189  9687120 | 2147483647    27934     44 |  0.001 % |
88.12/88.24	c |     28068 |  136988  3193189  9687120 | 2147483647    28067     44 |  0.001 % |
88.42/88.57	c |     28214 |  136988  3193189  9687120 | 2147483647    28213     44 |  0.001 % |
88.62/88.73	c |     28374 |  136988  3193189  9687120 | 2147483647    28373     44 |  0.001 % |
88.93/89.05	c |     28550 |  136988  3193189  9687120 | 2147483647    28549     44 |  0.001 % |
89.72/89.82	c |     28745 |  136988  3193189  9687120 | 2147483647    28744     44 |  0.001 % |
89.92/90.07	c |     28959 |  136988  3193189  9687120 | 2147483647    28958     44 |  0.001 % |
90.13/90.21	c |     29194 |  136988  3193189  9687120 | 2147483647    29193     44 |  0.001 % |
90.32/90.45	c |     29450 |  136988  3193189  9687120 | 2147483647    29449     44 |  0.001 % |
90.82/90.92	c |     29731 |  136988  3193189  9687120 | 2147483647    29730     44 |  0.001 % |
91.12/91.25	c |     30040 |  136988  3193189  9687120 | 2147483647    30039     44 |  0.001 % |
91.62/91.71	c |     30380 |  136988  3193189  9687120 | 2147483647    30379     44 |  0.001 % |
92.12/92.21	c |     30755 |  136988  3193189  9687120 | 2147483647    30754     44 |  0.001 % |
92.62/92.77	c |     31164 |  136988  3193189  9687120 | 2147483647    31163     44 |  0.001 % |
93.13/93.25	c |     31613 |  136988  3193189  9687120 | 2147483647    31612     45 |  0.001 % |
93.63/93.79	c |     32107 |  136988  3193189  9687120 | 2147483647    32106     45 |  0.001 % |
93.83/93.95	c |     32207 |  136988  3193189  9687120 | 2147483647    32206     45 |  0.001 % |
94.03/94.11	c |     32318 |  136988  3193189  9687120 | 2147483647    32317     45 |  0.001 % |
94.23/94.33	c |     32441 |  136988  3193189  9687120 | 2147483647    32440     45 |  0.001 % |
94.53/94.63	c |     32577 |  136988  3193189  9687120 | 2147483647    32576     45 |  0.001 % |
94.92/95.01	c |     32724 |  136988  3193189  9687120 | 2147483647    32723     45 |  0.001 % |
95.12/95.25	c |     32884 |  136988  3193189  9687120 | 2147483647    32883     45 |  0.001 % |
95.42/95.54	c |     33061 |  136988  3193189  9687120 | 2147483647    33060     45 |  0.001 % |
96.12/96.23	c |     33254 |  136988  3193189  9687120 | 2147483647    33253     45 |  0.001 % |
96.42/96.51	c |     33468 |  136988  3193189  9687120 | 2147483647    33467     45 |  0.001 % |
96.63/96.79	c |     33703 |  136988  3193189  9687120 | 2147483647    33702     45 |  0.001 % |
97.12/97.23	c |     33960 |  136988  3193189  9687120 | 2147483647    33959     45 |  0.001 % |
97.42/97.51	c |     34241 |  136988  3193189  9687120 | 2147483647    34240     45 |  0.001 % |
98.12/98.21	c |     34550 |  136988  3193189  9687120 | 2147483647    34549     45 |  0.001 % |
98.62/98.75	c |     34889 |  136988  3193189  9687120 | 2147483647    34888     45 |  0.001 % |
99.22/99.31	c |     35261 |  136988  3193189  9687120 | 2147483647    35260     45 |  0.001 % |
99.82/99.91	c |     35670 |  136988  3193189  9687120 | 2147483647    35669     46 |  0.001 % |
100.62/100.74	c |     36120 |  136988  3193189  9687120 | 2147483647    36119     46 |  0.001 % |
101.62/101.72	c |     36613 |  136988  3193189  9687120 | 2147483647    36612     46 |  0.001 % |
102.52/102.62	c |     37156 |  136988  3193189  9687120 | 2147483647    37155     46 |  0.001 % |
102.62/102.78	c |     37260 |  136988  3193189  9687120 | 2147483647    37259     47 |  0.001 % |
102.82/102.96	c |     37370 |  136988  3193189  9687120 | 2147483647    37369     47 |  0.001 % |
103.12/103.25	c |     37492 |  136988  3193189  9687120 | 2147483647    37491     47 |  0.001 % |
103.32/103.42	c |     37625 |  136988  3193189  9687120 | 2147483647    37624     47 |  0.001 % |
103.52/103.60	c |     37772 |  136988  3193189  9687120 | 2147483647    37771     47 |  0.001 % |
103.72/103.85	c |     37932 |  136988  3193189  9687120 | 2147483647    37931     47 |  0.001 % |
104.01/104.17	c |     38108 |  136988  3193189  9687120 | 2147483647    38107     47 |  0.001 % |
104.32/104.46	c |     38303 |  136988  3193189  9687120 | 2147483647    38302     47 |  0.001 % |
104.71/104.87	c |     38516 |  136988  3193189  9687120 | 2147483647    38515     47 |  0.001 % |
105.31/105.48	c |     38749 |  136988  3193189  9687120 | 2147483647    38748     47 |  0.001 % |
105.61/105.79	c |     39005 |  136988  3193189  9687120 | 2147483647    39004     47 |  0.001 % |
106.21/106.38	c |     39289 |  136988  3193189  9687120 | 2147483647    39288     48 |  0.001 % |
106.71/106.80	c |     39600 |  136988  3193189  9687120 | 2147483647    39599     47 |  0.001 % |
107.21/107.33	c |     39939 |  136988  3193189  9687120 | 2147483647    39938     48 |  0.001 % |
107.61/107.70	c |     40313 |  136988  3193189  9687120 | 2147483647    40312     48 |  0.001 % |
108.01/108.19	c |     40725 |  136988  3193189  9687120 | 2147483647    40724     48 |  0.001 % |
108.81/108.93	c |     41174 |  136988  3193189  9687120 | 2147483647    41173     48 |  0.001 % |
109.11/109.25	c |     41669 |  136988  3193189  9687120 | 2147483647    41668     48 |  0.001 % |
110.01/110.16	c |     42211 |  136988  3193189  9687120 | 2147483647    42210     49 |  0.001 % |
110.92/111.01	c |     42807 |  136988  3193189  9687120 | 2147483647    42806     49 |  0.001 % |
111.12/111.29	c |     42908 |  136988  3193189  9687120 | 2147483647    42907     49 |  0.001 % |
111.32/111.44	c |     43020 |  136988  3193189  9687120 | 2147483647    43019     49 |  0.001 % |
111.72/111.82	c |     43141 |  136988  3193189  9687120 | 2147483647    43140     49 |  0.001 % |
111.82/111.97	c |     43275 |  136988  3193189  9687120 | 2147483647    43274     49 |  0.001 % |
112.52/112.67	c |     43422 |  136988  3193189  9687120 | 2147483647    43421     49 |  0.001 % |
112.82/112.90	c |     43582 |  136988  3193189  9687120 | 2147483647    43581     48 |  0.001 % |
113.42/113.56	c |     43758 |  136988  3193189  9687120 | 2147483647    43757     48 |  0.001 % |
113.82/113.93	c |     43951 |  136988  3193189  9687120 | 2147483647    43950     48 |  0.001 % |
113.92/114.09	c |     44163 |  136988  3193189  9687120 | 2147483647    44162     48 |  0.001 % |
114.22/114.34	c |     44396 |  136988  3193189  9687120 | 2147483647    44395     48 |  0.001 % |
114.72/114.89	c |     44652 |  136988  3193189  9687120 | 2147483647    44651     48 |  0.001 % |
115.01/115.20	c |     44933 |  136988  3193189  9687120 | 2147483647    44932     48 |  0.001 % |
115.71/115.84	c |     45247 |  136988  3193189  9687120 | 2147483647    45246     48 |  0.001 % |
116.21/116.39	c |     45586 |  136988  3193189  9687120 | 2147483647    45585     48 |  0.001 % |
116.81/116.98	c |     45958 |  136988  3193189  9687120 | 2147483647    45957     49 |  0.001 % |
117.01/117.16	c |     46367 |  136988  3193189  9687120 | 2147483647    46366     49 |  0.001 % |
117.41/117.60	c |     46816 |  136988  3193189  9687120 | 2147483647    46815     49 |  0.001 % |
117.71/117.87	c |     47309 |  136988  3193189  9687120 | 2147483647    47308     49 |  0.001 % |
118.71/118.82	c |     47853 |  136988  3193189  9687120 | 2147483647    47852     49 |  0.001 % |
119.61/119.77	c |     48450 |  136988  3193189  9687120 | 2147483647    48449     49 |  0.001 % |
120.11/120.21	c |     49105 |  136988  3193189  9687120 | 2147483647    49104     50 |  0.001 % |
120.21/120.37	c |     49205 |  136988  3193189  9687120 | 2147483647    49204     50 |  0.001 % |
120.41/120.57	c |     49315 |  136988  3193189  9687120 | 2147483647    49314     51 |  0.001 % |
120.71/120.83	c |     49438 |  136988  3193189  9687120 | 2147483647    49437     51 |  0.001 % |
121.01/121.20	c |     49572 |  136988  3193189  9687120 | 2147483647    49571     51 |  0.001 % |
121.51/121.60	c |     49719 |  136988  3193189  9687120 | 2147483647    49718     51 |  0.001 % |
121.71/121.80	c |     49881 |  136988  3193189  9687120 | 2147483647    49880     51 |  0.001 % |
122.11/122.24	c |     50059 |  136988  3193189  9687120 | 2147483647    50058     51 |  0.001 % |
122.71/122.84	c |     50253 |  136988  3193189  9687120 | 2147483647    50252     51 |  0.001 % |
123.01/123.17	c |     50468 |  136988  3193189  9687120 | 2147483647    50467     51 |  0.001 % |
123.21/123.36	c |     50701 |  136988  3193189  9687120 | 2147483647    50700     52 |  0.001 % |
124.11/124.23	c |     50957 |  136988  3193189  9687120 | 2147483647    50956     51 |  0.001 % |
124.90/125.00	c |     51238 |  136988  3193189  9687120 | 2147483647    51237     51 |  0.001 % |
125.21/125.37	c |     51547 |  136988  3193189  9687120 | 2147483647    51546     52 |  0.001 % |
125.80/125.99	c |     51887 |  136988  3193189  9687120 | 2147483647    51886     51 |  0.001 % |
126.31/126.42	c |     52265 |  136988  3193189  9687120 | 2147483647    52264     51 |  0.001 % |
126.90/127.04	c |     52675 |  136988  3193189  9687120 | 2147483647    52674     51 |  0.001 % |
127.42/127.59	c |     53124 |  136988  3193189  9687120 | 2147483647    53123     52 |  0.001 % |
128.51/128.65	c |     53617 |  136988  3193189  9687120 | 2147483647    53616     52 |  0.001 % |
129.01/129.16	c |     54160 |  136988  3193189  9687120 | 2147483647    54159     52 |  0.001 % |
129.81/129.99	c |     54758 |  136988  3193189  9687120 | 2147483647    54757     52 |  0.001 % |
130.21/130.38	c |     55417 |  136988  3193189  9687120 | 2147483647    55416     52 |  0.001 % |
131.31/131.45	c |     56137 |  136988  3193189  9687120 | 2147483647    56136     52 |  0.001 % |
131.61/131.71	c |     56237 |  136988  3193189  9687120 | 2147483647    56236     52 |  0.001 % |
131.71/131.82	c |     56347 |  136988  3193189  9687120 | 2147483647    56346     52 |  0.001 % |
131.91/132.05	c |     56468 |  136988  3193189  9687120 | 2147483647    56467     52 |  0.001 % |
132.11/132.26	c |     56603 |  136988  3193189  9687120 | 2147483647    56602     52 |  0.001 % |
132.31/132.49	c |     56755 |  136988  3193189  9687120 | 2147483647    56754     52 |  0.001 % |
132.60/132.71	c |     56915 |  136988  3193189  9687120 | 2147483647    56914     52 |  0.001 % |
132.70/132.86	c |     57093 |  136988  3193189  9687120 | 2147483647    57092     52 |  0.001 % |
132.91/133.09	c |     57288 |  136988  3193189  9687120 | 2147483647    57287     52 |  0.001 % |
133.40/133.51	c |     57500 |  136988  3193189  9687120 | 2147483647    57499     52 |  0.001 % |
134.11/134.26	c |     57733 |  136988  3193189  9687120 | 2147483647    57732     53 |  0.001 % |
134.20/134.39	c |     57989 |  136988  3193189  9687120 | 2147483647    57988     53 |  0.001 % |
135.40/135.51	c |     58271 |  136988  3193189  9687120 | 2147483647    58270     52 |  0.001 % |
135.90/136.08	c |     58580 |  136988  3193189  9687120 | 2147483647    58579     53 |  0.001 % |
136.40/136.58	c |     58920 |  136988  3193189  9687120 | 2147483647    58919     52 |  0.001 % |
136.70/136.89	c |     59292 |  136988  3193189  9687120 | 2147483647    59291     52 |  0.001 % |
137.31/137.44	c |     59701 |  136988  3193189  9687120 | 2147483647    59700     52 |  0.001 % |
137.80/137.96	c |     60150 |  136988  3193189  9687120 | 2147483647    60149     53 |  0.001 % |
138.10/138.20	c |     60643 |  136988  3193189  9687120 | 2147483647    60642     53 |  0.001 % |
138.70/138.81	c |     61185 |  136988  3193189  9687120 | 2147483647    61184     53 |  0.001 % |
139.20/139.39	c |     61781 |  136988  3193189  9687120 | 2147483647    61780     53 |  0.001 % |
140.70/140.85	c |     62436 |  136988  3193189  9687120 | 2147483647    62435     53 |  0.001 % |
141.20/141.39	c |     63157 |  136988  3193189  9687120 | 2147483647    63156     53 |  0.001 % |
141.80/141.90	c |     63949 |  136988  3193189  9687120 | 2147483647    63948     54 |  0.001 % |
141.90/142.00	c |     64052 |  136988  3193189  9687120 | 2147483647    64051     54 |  0.001 % |
142.00/142.15	c |     64163 |  136988  3193189  9687120 | 2147483647    64162     54 |  0.001 % |
142.50/142.68	c |     64284 |  136988  3193189  9687120 | 2147483647    64283     54 |  0.001 % |
142.80/142.91	c |     64417 |  136988  3193189  9687120 | 2147483647    64416     54 |  0.001 % |
143.00/143.13	c |     64563 |  136988  3193189  9687120 | 2147483647    64562     54 |  0.001 % |
143.20/143.31	c |     64723 |  136988  3193189  9687120 | 2147483647    64722     54 |  0.001 % |
143.70/143.83	c |     64899 |  136988  3193189  9687120 | 2147483647    64898     54 |  0.001 % |
143.80/143.98	c |     65093 |  136988  3193189  9687120 | 2147483647    65092     54 |  0.001 % |
144.10/144.29	c |     65305 |  136988  3193189  9687120 | 2147483647    65304     54 |  0.001 % |
144.60/144.76	c |     65538 |  136988  3193189  9687120 | 2147483647    65537     54 |  0.001 % |
145.10/145.22	c |     65797 |  136988  3193189  9687120 | 2147483647    65796     54 |  0.001 % |
145.30/145.46	c |     66079 |  136988  3193189  9687120 | 2147483647    66078     54 |  0.001 % |
146.10/146.25	c |     66388 |  136988  3193189  9687120 | 2147483647    66387     54 |  0.001 % |
146.60/146.73	c |     66728 |  136988  3193189  9687120 | 2147483647    66727     54 |  0.001 % |
147.21/147.33	c |     67100 |  136988  3193189  9687120 | 2147483647    67099     54 |  0.001 % |
147.50/147.62	c |     67509 |  136988  3193189  9687120 | 2147483647    67508     54 |  0.001 % |
148.41/148.53	c |     67960 |  136988  3193189  9687120 | 2147483647    67959     54 |  0.001 % |
148.90/149.01	c |     68453 |  136988  3193189  9687120 | 2147483647    68452     54 |  0.001 % |
149.30/149.48	c |     68996 |  136988  3193189  9687120 | 2147483647    68995     54 |  0.001 % |
149.90/150.00	c |     69594 |  136988  3193189  9687120 | 2147483647    69593     54 |  0.001 % |
151.10/151.22	c |     70249 |  136988  3193189  9687120 | 2147483647    70248     54 |  0.001 % |
152.30/152.47	c |     70969 |  136988  3193189  9687120 | 2147483647    70968     54 |  0.001 % |
153.29/153.47	c |     71761 |  136988  3193189  9687120 | 2147483647    71760     55 |  0.001 % |
154.49/154.61	c |     72632 |  136988  3193189  9687120 | 2147483647    72631     55 |  0.001 % |
154.59/154.73	c |     72732 |  136988  3193189  9687120 | 2147483647    72731     55 |  0.001 % |
154.69/154.85	c |     72842 |  136988  3193189  9687120 | 2147483647    72841     55 |  0.001 % |
154.79/154.96	c |     72963 |  136988  3193189  9687120 | 2147483647    72962     55 |  0.001 % |
154.99/155.14	c |     73096 |  136988  3193189  9687120 | 2147483647    73095     55 |  0.001 % |
155.29/155.48	c |     73242 |  136988  3193189  9687120 | 2147483647    73241     55 |  0.001 % |
155.49/155.70	c |     73402 |  136988  3193189  9687120 | 2147483647    73401     55 |  0.001 % |
155.89/156.08	c |     73578 |  136988  3193189  9687120 | 2147483647    73577     55 |  0.001 % |
156.49/156.62	c |     73771 |  136988  3193189  9687120 | 2147483647    73770     55 |  0.001 % |
156.89/157.05	c |     73989 |  136988  3193189  9687120 | 2147483647    73988     55 |  0.001 % |
157.09/157.27	c |     74222 |  136988  3193189  9687120 | 2147483647    74221     55 |  0.001 % |
157.29/157.43	c |     74478 |  136988  3193189  9687120 | 2147483647    74477     55 |  0.001 % |
157.59/157.80	c |     74759 |  136988  3193189  9687120 | 2147483647    74758     55 |  0.001 % |
158.09/158.29	c |     75070 |  136988  3193189  9687120 | 2147483647    75069     55 |  0.001 % |
158.79/158.93	c |     75409 |  136988  3193189  9687120 | 2147483647    75408     55 |  0.001 % |
159.59/159.78	c |     75782 |  136988  3193189  9687120 | 2147483647    75781     55 |  0.001 % |
160.19/160.37	c |     76196 |  136988  3193189  9687120 | 2147483647    76195     55 |  0.001 % |
161.18/161.34	c |     76645 |  136988  3193189  9687120 | 2147483647    76644     55 |  0.001 % |
161.69/161.80	c |     77139 |  136988  3193189  9687120 | 2147483647    77138     55 |  0.001 % |
162.49/162.65	c |     77682 |  136988  3193189  9687120 | 2147483647    77681     55 |  0.001 % |
163.19/163.38	c |     78279 |  136988  3193189  9687120 | 2147483647    78278     55 |  0.001 % |
164.29/164.40	c |     78934 |  136988  3193189  9687120 | 2147483647    78933     55 |  0.001 % |
164.99/165.10	c |     79657 |  136988  3193189  9687120 | 2147483647    79656     55 |  0.001 % |
166.09/166.25	c |     80449 |  136988  3193189  9687120 | 2147483647    80448     56 |  0.001 % |
166.99/167.19	c |     81320 |  136988  3193189  9687120 | 2147483647    81319     56 |  0.001 % |
167.69/167.88	c |     82282 |  136988  3193189  9687120 | 2147483647    82281     56 |  0.001 % |
167.99/168.18	c |     82382 |  136988  3193189  9687120 | 2147483647    82381     56 |  0.001 % |
168.29/168.44	c |     82493 |  136988  3193189  9687120 | 2147483647    82492     56 |  0.001 % |
168.49/168.65	c |     82614 |  136988  3193189  9687120 | 2147483647    82613     56 |  0.001 % |
168.99/169.13	c |     82747 |  136988  3193189  9687120 | 2147483647    82746     56 |  0.001 % |
169.19/169.31	c |     82895 |  136988  3193189  9687120 | 2147483647    82894     56 |  0.001 % |
169.49/169.66	c |     83055 |  136988  3193189  9687120 | 2147483647    83054     56 |  0.001 % |
170.19/170.35	c |     83232 |  136988  3193189  9687120 | 2147483647    83231     56 |  0.001 % |
170.49/170.61	c |     83425 |  136988  3193189  9687120 | 2147483647    83424     56 |  0.001 % |
170.99/171.13	c |     83640 |  136988  3193189  9687120 | 2147483647    83639     56 |  0.001 % |
171.29/171.48	c |     83877 |  136988  3193189  9687120 | 2147483647    83876     56 |  0.001 % |
171.59/171.75	c |     84133 |  136988  3193189  9687120 | 2147483647    84132     56 |  0.001 % |
171.98/172.11	c |     84414 |  136988  3193189  9687120 | 2147483647    84413     56 |  0.001 % |
172.28/172.40	c |     84725 |  136988  3193189  9687120 | 2147483647    84724     56 |  0.001 % |
172.49/172.69	c |     85064 |  136988  3193189  9687120 | 2147483647    85063     56 |  0.001 % |
173.48/173.61	c |     85440 |  136988  3193189  9687120 | 2147483647    85439     56 |  0.001 % |
174.18/174.39	c |     85850 |  136988  3193189  9687120 | 2147483647    85849     56 |  0.001 % |
175.08/175.26	c |     86300 |  136988  3193189  9687120 | 2147483647    86299     56 |  0.001 % |
175.68/175.85	c |     86794 |  136988  3193189  9687120 | 2147483647    86793     56 |  0.001 % |
176.58/176.74	c |     87340 |  136988  3193189  9687120 | 2147483647    87339     56 |  0.001 % |
177.29/177.49	c |     87936 |  136988  3193189  9687120 | 2147483647    87935     56 |  0.001 % |
177.99/178.12	c |     88593 |  136988  3193189  9687120 | 2147483647    88592     57 |  0.001 % |
180.19/180.34	c |     89313 |  136988  3193189  9687120 | 2147483647    89312     57 |  0.001 % |
183.39/183.50	c |     90106 |  136988  3193189  9687120 | 2147483647    90105     57 |  0.001 % |
184.39/184.51	c |     90978 |  136988  3193189  9687120 | 2147483647    90977     58 |  0.001 % |
186.18/186.35	c |     91936 |  136988  3193189  9687120 | 2147483647    91935     58 |  0.001 % |
186.79/186.91	c |     92990 |  136988  3193189  9687120 | 2147483647    92989     58 |  0.001 % |
186.89/187.05	c |     93090 |  136988  3193189  9687120 | 2147483647    93089     58 |  0.001 % |
187.18/187.38	c |     93201 |  136988  3193189  9687120 | 2147483647    93200     58 |  0.001 % |
187.38/187.51	c |     93322 |  136988  3193189  9687120 | 2147483647    93321     58 |  0.001 % |
187.68/187.88	c |     93456 |  136988  3193189  9687120 | 2147483647    93455     58 |  0.001 % |
187.88/188.04	c |     93605 |  136988  3193189  9687120 | 2147483647    93604     58 |  0.001 % |
188.38/188.52	c |     93765 |  136988  3193189  9687120 | 2147483647    93764     58 |  0.001 % |
188.58/188.75	c |     93943 |  136988  3193189  9687120 | 2147483647    93942     58 |  0.001 % |
188.78/188.96	c |     94137 |  136988  3193189  9687120 | 2147483647    94136     58 |  0.001 % |
189.28/189.45	c |     94349 |  136988  3193189  9687120 | 2147483647    94348     58 |  0.001 % |
189.78/189.90	c |     94582 |  136988  3193189  9687120 | 2147483647    94581     58 |  0.001 % |
190.58/190.70	c |     94838 |  136988  3193189  9687120 | 2147483647    94837     58 |  0.001 % |
191.58/191.77	c |     95119 |  136988  3193189  9687120 | 2147483647    95118     58 |  0.001 % |
192.18/192.34	c |     95429 |  136988  3193189  9687120 | 2147483647    95428     58 |  0.001 % |
192.68/192.86	c |     95770 |  136988  3193189  9687120 | 2147483647    95769     58 |  0.001 % |
193.77/193.95	c |     96142 |  136988  3193189  9687120 | 2147483647    96141     58 |  0.001 % |
194.48/194.65	c |     96551 |  136988  3193189  9687120 | 2147483647    96550     58 |  0.001 % |
195.97/196.14	c |     97000 |  136988  3193189  9687120 | 2147483647    96999     58 |  0.001 % |
196.68/196.89	c |     97493 |  136988  3193189  9687120 | 2147483647    97492     58 |  0.001 % |
197.47/197.62	c |     98035 |  136988  3193189  9687120 | 2147483647    98034     58 |  0.001 % |
198.57/198.74	c |     98631 |  136988  3193189  9687120 | 2147483647    98630     58 |  0.001 % |
199.17/199.33	c |     99287 |  136988  3193189  9687120 | 2147483647    99286     58 |  0.001 % |
199.67/199.81	c |    100008 |  136988  3193189  9687120 | 2147483647   100007     58 |  0.001 % |
202.07/202.24	c |    100801 |  136988  3193189  9687120 | 2147483647   100800     58 |  0.001 % |
203.07/203.28	c |    101674 |  136988  3193189  9687120 | 2147483647   101673     58 |  0.001 % |
203.77/203.97	c |    102634 |  136988  3193189  9687120 | 2147483647   102633     58 |  0.001 % |
204.88/205.00	c |    103688 |  136988  3193189  9687120 | 2147483647   103687     58 |  0.001 % |
206.28/206.46	c |    104847 |  136988  3193189  9687120 | 2147483647   104846     58 |  0.001 % |
206.48/206.61	c |    104952 |  136988  3193189  9687120 | 2147483647   104951     58 |  0.001 % |
206.58/206.76	c |    105062 |  136988  3193189  9687120 | 2147483647   105061     58 |  0.001 % |
206.88/207.01	c |    105183 |  136988  3193189  9687120 | 2147483647   105182     58 |  0.001 % |
207.68/207.83	c |    105318 |  136988  3193189  9687120 | 2147483647   105317     58 |  0.001 % |
208.38/208.51	c |    105465 |  136988  3193189  9687120 | 2147483647   105464     58 |  0.001 % |
208.78/208.99	c |    105625 |  136988  3193189  9687120 | 2147483647   105624     58 |  0.001 % |
209.48/209.64	c |    105804 |  136988  3193189  9687120 | 2147483647   105803     58 |  0.001 % |
209.88/210.00	c |    105999 |  136988  3193189  9687120 | 2147483647   105998     58 |  0.001 % |
210.18/210.37	c |    106214 |  136988  3193189  9687120 | 2147483647   106213     58 |  0.001 % |
211.28/211.44	c |    106447 |  136988  3193189  9687120 | 2147483647   106446     58 |  0.001 % |
211.68/211.84	c |    106704 |  136988  3193189  9687120 | 2147483647   106703     58 |  0.001 % |
212.37/212.52	c |    106986 |  136988  3193189  9687120 | 2147483647   106985     58 |  0.001 % |
213.37/213.55	c |    107295 |  136988  3193189  9687120 | 2147483647   107294     58 |  0.001 % |
213.77/213.99	c |    107635 |  136988  3193189  9687120 | 2147483647   107634     58 |  0.001 % |
214.37/214.51	c |    108007 |  136988  3193189  9687120 | 2147483647   108006     58 |  0.001 % |
215.27/215.47	c |    108417 |  136988  3193189  9687120 | 2147483647   108416     58 |  0.001 % |
216.07/216.26	c |    108867 |  136988  3193189  9687120 | 2147483647   108866     58 |  0.001 % |
216.77/216.91	c |    109360 |  136988  3193189  9687120 | 2147483647   109359     58 |  0.001 % |
217.57/217.76	c |    109904 |  136988  3193189  9687120 | 2147483647   109903     58 |  0.001 % |
218.26/218.42	c |    110500 |  136988  3193189  9687120 | 2147483647   110499     59 |  0.001 % |
219.56/219.70	c |    111155 |  136988  3193189  9687120 | 2147483647   111154     59 |  0.001 % |
220.66/220.87	c |    111876 |  136988  3193189  9687120 | 2147483647   111875     59 |  0.001 % |
221.97/222.15	c |    112671 |  136988  3193189  9687120 | 2147483647   112670     59 |  0.001 % |
222.67/222.83	c |    113543 |  136988  3193189  9687120 | 2147483647   113542     59 |  0.001 % |
223.67/223.85	c |    114501 |  136988  3193189  9687120 | 2147483647   114500     59 |  0.001 % |
224.87/225.05	c |    115556 |  136988  3193189  9687120 | 2147483647   115555     59 |  0.001 % |
226.77/226.91	c |    116714 |  136988  3193189  9687120 | 2147483647   116713     60 |  0.001 % |
227.87/228.00	c |    117987 |  136988  3193189  9687120 | 2147483647   117986     60 |  0.001 % |
227.97/228.13	c |    118087 |  136988  3193189  9687120 | 2147483647   118086     60 |  0.001 % |
228.27/228.45	c |    118198 |  136988  3193189  9687120 | 2147483647   118197     60 |  0.001 % |
228.37/228.58	c |    118320 |  136988  3193189  9687120 | 2147483647   118319     60 |  0.001 % |
228.87/229.00	c |    118455 |  136988  3193189  9687120 | 2147483647   118454     60 |  0.001 % |
229.07/229.27	c |    118601 |  136988  3193189  9687120 | 2147483647   118600     60 |  0.001 % |
229.67/229.90	c |    118762 |  136988  3193189  9687120 | 2147483647   118761     60 |  0.001 % |
230.26/230.43	c |    118938 |  136988  3193189  9687120 | 2147483647   118937     60 |  0.001 % |
230.66/230.85	c |    119134 |  136988  3193189  9687120 | 2147483647   119133     60 |  0.001 % |
230.96/231.16	c |    119347 |  136988  3193189  9687120 | 2147483647   119346     60 |  0.001 % |
231.16/231.38	c |    119580 |  136988  3193189  9687120 | 2147483647   119579     60 |  0.001 % |
231.97/232.16	c |    119837 |  136988  3193189  9687120 | 2147483647   119836     60 |  0.001 % |
232.26/232.40	c |    120119 |  136988  3193189  9687120 | 2147483647   120118     60 |  0.001 % |
232.76/232.91	c |    120428 |  136988  3193189  9687120 | 2147483647   120427     60 |  0.001 % |
233.26/233.41	c |    120770 |  136988  3193189  9687120 | 2147483647   120769     60 |  0.001 % |
233.56/233.77	c |    121142 |  136988  3193189  9687120 | 2147483647   121141     60 |  0.001 % |
234.16/234.35	c |    121553 |  136988  3193189  9687120 | 2147483647   121552     60 |  0.001 % |
234.96/235.17	c |    122003 |  136988  3193189  9687120 | 2147483647   122002     61 |  0.001 % |
236.16/236.33	c |    122498 |  136988  3193189  9687120 | 2147483647   122497     61 |  0.001 % |
236.66/236.80	c |    123040 |  136988  3193189  9687120 | 2147483647   123039     61 |  0.001 % |
237.36/237.52	c |    123636 |  136988  3193189  9687120 | 2147483647   123635     61 |  0.001 % |
238.26/238.43	c |    124292 |  136988  3193189  9687120 | 2147483647   124291     61 |  0.001 % |
238.65/238.83	c |    125012 |  136988  3193189  9687120 | 2147483647   125011     61 |  0.001 % |
239.75/239.97	c |    125804 |  136988  3193189  9687120 | 2147483647   125803     62 |  0.001 % |
240.95/241.18	c |    126677 |  136988  3193189  9687120 | 2147483647   126676     62 |  0.001 % |
241.96/242.17	c |    127636 |  136988  3193189  9687120 | 2147483647   127635     62 |  0.001 % |
242.76/242.90	c |    128689 |  136988  3193189  9687120 | 2147483647   128688     62 |  0.001 % |
243.96/244.18	c |    129847 |  136988  3193189  9687120 | 2147483647   129846     62 |  0.001 % |
245.26/245.48	c |    131123 |  136988  3193189  9687120 | 2147483647   131122     62 |  0.001 % |
247.26/247.41	c |    132528 |  136988  3193189  9687120 | 2147483647   132527     62 |  0.001 % |
247.46/247.60	c |    132635 |  136988  3193189  9687120 | 2147483647   132634     62 |  0.001 % |
247.56/247.71	c |    132747 |  136988  3193189  9687120 | 2147483647   132746     62 |  0.001 % |
247.86/248.05	c |    132869 |  136988  3193189  9687120 | 2147483647   132868     62 |  0.001 % |
247.96/248.16	c |    133002 |  136988  3193189  9687120 | 2147483647   133001     62 |  0.001 % |
248.36/248.53	c |    133150 |  136988  3193189  9687120 | 2147483647   133149     62 |  0.001 % |
248.56/248.70	c |    133310 |  136988  3193189  9687120 | 2147483647   133309     62 |  0.001 % |
248.75/248.99	c |    133487 |  136988  3193189  9687120 | 2147483647   133486     62 |  0.001 % |
249.05/249.27	c |    133681 |  136988  3193189  9687120 | 2147483647   133680     62 |  0.001 % |
249.35/249.50	c |    133894 |  136988  3193189  9687120 | 2147483647   133893     62 |  0.001 % |
249.75/249.92	c |    134127 |  136988  3193189  9687120 | 2147483647   134126     62 |  0.001 % |
249.95/250.14	c |    134388 |  136988  3193189  9687120 | 2147483647   134387     62 |  0.001 % |
250.25/250.48	c |    134670 |  136988  3193189  9687120 | 2147483647   134669     62 |  0.001 % |
251.66/251.82	c |    134981 |  136988  3193189  9687120 | 2147483647   134980     62 |  0.001 % |
252.25/252.42	c |    135320 |  136988  3193189  9687120 | 2147483647   135319     62 |  0.001 % |
254.15/254.32	c |    135692 |  136988  3193189  9687120 | 2147483647   135691     62 |  0.001 % |
255.06/255.20	c |    136102 |  136988  3193189  9687120 | 2147483647   136101     62 |  0.001 % |
255.75/255.92	c |    136555 |  136988  3193189  9687120 | 2147483647   136554     62 |  0.001 % |
256.65/256.82	c |    137049 |  136988  3193189  9687120 | 2147483647   137048     62 |  0.001 % |
257.95/258.17	c |    137592 |  136988  3193189  9687120 | 2147483647   137591     62 |  0.001 % |
258.65/258.88	c |    138188 |  136988  3193189  9687120 | 2147483647   138187     62 |  0.001 % |
260.35/260.57	c |    138845 |  136988  3193189  9687120 | 2147483647   138844     62 |  0.001 % |
261.05/261.26	c |    139566 |  136988  3193189  9687120 | 2147483647   139565     62 |  0.001 % |
261.55/261.74	c |    140359 |  136988  3193189  9687120 | 2147483647   140358     62 |  0.001 % |
262.45/262.61	c |    141231 |  136988  3193189  9687120 | 2147483647   141230     63 |  0.001 % |
263.35/263.58	c |    142189 |  136988  3193189  9687120 | 2147483647   142188     63 |  0.001 % |
264.05/264.30	c |    143243 |  136988  3193189  9687120 | 2147483647   143242     63 |  0.001 % |
265.44/265.63	c |    144401 |  136988  3193189  9687120 | 2147483647   144400     63 |  0.001 % |
267.25/267.49	c |    145674 |  136988  3193189  9687120 | 2147483647   145673     63 |  0.001 % |
269.25/269.48	c |    147075 |  136988  3193189  9687120 | 2147483647   147074     63 |  0.001 % |
271.55/271.79	c |    148616 |  136988  3193189  9687120 | 2147483647   148615     63 |  0.001 % |
271.75/271.92	c |    148716 |  136988  3193189  9687120 | 2147483647   148715     63 |  0.001 % |
271.85/272.07	c |    148828 |  136988  3193189  9687120 | 2147483647   148827     63 |  0.001 % |
272.15/272.35	c |    148949 |  136988  3193189  9687120 | 2147483647   148948     63 |  0.001 % |
272.55/272.72	c |    149082 |  136988  3193189  9687120 | 2147483647   149081     63 |  0.001 % |
272.85/273.05	c |    149230 |  136988  3193189  9687120 | 2147483647   149229     63 |  0.001 % |
273.15/273.35	c |    149390 |  136988  3193189  9687120 | 2147483647   149389     63 |  0.001 % |
273.75/273.92	c |    149566 |  136988  3193189  9687120 | 2147483647   149565     63 |  0.001 % |
274.45/274.64	c |    149759 |  136988  3193189  9687120 | 2147483647   149758     63 |  0.001 % |
274.85/275.01	c |    149971 |  136988  3193189  9687120 | 2147483647   149970     63 |  0.001 % |
275.34/275.53	c |    150205 |  136988  3193189  9687120 | 2147483647   150204     63 |  0.001 % |
275.95/276.11	c |    150461 |  136988  3193189  9687120 | 2147483647   150460     63 |  0.001 % |
276.44/276.67	c |    150742 |  136988  3193189  9687120 | 2147483647   150741     63 |  0.001 % |
277.05/277.27	c |    151053 |  136988  3193189  9687120 | 2147483647   151052     63 |  0.001 % |
277.74/277.91	c |    151393 |  136988  3193189  9687120 | 2147483647   151392     63 |  0.001 % |
278.15/278.31	c |    151765 |  136988  3193189  9687120 | 2147483647   151764     63 |  0.001 % |
278.64/278.81	c |    152174 |  136988  3193189  9687120 | 2147483647   152173     63 |  0.001 % |
279.24/279.49	c |    152627 |  136988  3193189  9687120 | 2147483647   152626     63 |  0.001 % |
279.94/280.13	c |    153120 |  136988  3193189  9687120 | 2147483647   153119     63 |  0.001 % |
280.44/280.67	c |    153664 |  136988  3193189  9687120 | 2147483647   153663     63 |  0.001 % |
280.94/281.14	c |    154261 |  136988  3193189  9687120 | 2147483647   154260     63 |  0.001 % |
281.54/281.78	c |    154917 |  136988  3193189  9687120 | 2147483647   154916     63 |  0.001 % |
282.84/283.08	c |    155637 |  136988  3193189  9687120 | 2147483647   155636     63 |  0.001 % |
284.84/285.09	c |    156429 |  136988  3193189  9687120 | 2147483647   156428     63 |  0.001 % |
285.74/285.92	c |    157303 |  136988  3193189  9687120 | 2147483647   157302     63 |  0.001 % |
286.23/286.44	c |    158261 |  136988  3193189  9687120 | 2147483647   158260     63 |  0.001 % |
286.73/286.99	c |    159315 |  136988  3193189  9687120 | 2147483647   159314     63 |  0.001 % |
287.83/288.07	c |    160473 |  136988  3193189  9687120 | 2147483647   160472     63 |  0.001 % |
289.14/289.32	c |    161746 |  136988  3193189  9687120 | 2147483647   161745     64 |  0.001 % |
290.34/290.51	c |    163147 |  136988  3193189  9687120 | 2147483647   163146     64 |  0.001 % |
291.44/291.67	c |    164689 |  136988  3193189  9687120 | 2147483647   164688     64 |  0.001 % |
292.44/292.65	c |    166384 |  136988  3193189  9687120 | 2147483647   166383     64 |  0.001 % |
292.63/292.81	c |    166485 |  136988  3193189  9687120 | 2147483647   166484     64 |  0.001 % |
292.83/293.03	c |    166595 |  136988  3193189  9687120 | 2147483647   166594     64 |  0.001 % |
293.23/293.41	c |    166716 |  136988  3193189  9687120 | 2147483647   166715     64 |  0.001 % |
293.54/293.79	c |    166849 |  136988  3193189  9687120 | 2147483647   166848     64 |  0.001 % |
293.83/294.02	c |    166997 |  136988  3193189  9687120 | 2147483647   166996     64 |  0.001 % |
294.03/294.26	c |    167157 |  136988  3193189  9687120 | 2147483647   167156     64 |  0.001 % |
294.23/294.45	c |    167333 |  136988  3193189  9687120 | 2147483647   167332     64 |  0.001 % |
294.63/294.85	c |    167526 |  136988  3193189  9687120 | 2147483647   167525     64 |  0.001 % |
295.13/295.30	c |    167740 |  136988  3193189  9687120 | 2147483647   167739     64 |  0.001 % |
295.73/295.90	c |    167973 |  136988  3193189  9687120 | 2147483647   167972     64 |  0.001 % |
296.13/296.36	c |    168232 |  136988  3193189  9687120 | 2147483647   168231     64 |  0.001 % |
296.93/297.12	c |    168514 |  136988  3193189  9687120 | 2147483647   168513     64 |  0.001 % |
298.13/298.31	c |    168823 |  136988  3193189  9687120 | 2147483647   168822     64 |  0.001 % |
298.83/299.02	c |    169163 |  136988  3193189  9687120 | 2147483647   169162     64 |  0.001 % |
299.44/299.67	c |    169535 |  136988  3193189  9687120 | 2147483647   169534     64 |  0.001 % |
300.14/300.32	c |    169944 |  136988  3193189  9687120 | 2147483647   169943     64 |  0.001 % |
300.94/301.15	c |    170397 |  136988  3193189  9687120 | 2147483647   170396     64 |  0.001 % |
301.24/301.49	c |    170890 |  136988  3193189  9687120 | 2147483647   170889     64 |  0.001 % |
302.14/302.40	c |    171434 |  136988  3193189  9687120 | 2147483647   171433     64 |  0.001 % |
302.84/303.02	c |    172030 |  136988  3193189  9687120 | 2147483647   172029     65 |  0.001 % |
303.53/303.75	c |    172686 |  136988  3193189  9687120 | 2147483647   172685     65 |  0.001 % |
304.13/304.32	c |    173406 |  136988  3193189  9687120 | 2147483647   173405     65 |  0.001 % |
305.13/305.30	c |    174198 |  136988  3193189  9687120 | 2147483647   174197     65 |  0.001 % |
306.13/306.35	c |    175071 |  136988  3193189  9687120 | 2147483647   175070     65 |  0.001 % |
307.63/307.87	c |    176031 |  136988  3193189  9687120 | 2147483647   176030     65 |  0.001 % |
309.03/309.26	c |    177085 |  136988  3193189  9687120 | 2147483647   177084     65 |  0.001 % |
310.33/310.59	c |    178243 |  136988  3193189  9687120 | 2147483647   178242     65 |  0.001 % |
312.92/313.13	c |    179516 |  136988  3193189  9687120 | 2147483647   179515     65 |  0.001 % |
314.33/314.58	c |    180916 |  136988  3193189  9687120 | 2147483647   180915     65 |  0.001 % |
315.44/315.65	c |    182458 |  136988  3193189  9687120 | 2147483647   182457     65 |  0.001 % |
317.33/317.51	c |    184152 |  136988  3193189  9687120 | 2147483647   184151     65 |  0.001 % |
319.43/319.65	c |    186015 |  136988  3193189  9687120 | 2147483647   186014     66 |  0.001 % |
319.93/320.17	c |    186115 |  136988  3193189  9687120 | 2147483647   186114     66 |  0.001 % |
320.63/320.82	c |    186226 |  136988  3193189  9687120 | 2147483647   186225     66 |  0.001 % |
320.83/321.09	c |    186348 |  136988  3193189  9687120 | 2147483647   186347     66 |  0.001 % |
321.13/321.30	c |    186482 |  136988  3193189  9687120 | 2147483647   186481     66 |  0.001 % |
321.43/321.62	c |    186628 |  136988  3193189  9687120 | 2147483647   186627     66 |  0.001 % |
321.72/321.91	c |    186788 |  136988  3193189  9687120 | 2147483647   186787     66 |  0.001 % |
321.92/322.19	c |    186965 |  136988  3193189  9687120 | 2147483647   186964     66 |  0.001 % |
322.32/322.50	c |    187158 |  136988  3193189  9687120 | 2147483647   187157     66 |  0.001 % |
322.72/322.91	c |    187371 |  136988  3193189  9687120 | 2147483647   187370     66 |  0.001 % |
323.32/323.52	c |    187604 |  136988  3193189  9687120 | 2147483647   187603     66 |  0.001 % |
323.62/323.85	c |    187861 |  136988  3193189  9687120 | 2147483647   187860     66 |  0.001 % |
324.23/324.42	c |    188146 |  136988  3193189  9687120 | 2147483647   188145     66 |  0.001 % |
324.52/324.80	c |    188455 |  136988  3193189  9687120 | 2147483647   188454     66 |  0.001 % |
325.12/325.31	c |    188794 |  136988  3193189  9687120 | 2147483647   188793     66 |  0.001 % |
325.62/325.83	c |    189169 |  136988  3193189  9687120 | 2147483647   189168     66 |  0.001 % |
326.62/326.90	c |    189580 |  136988  3193189  9687120 | 2147483647   189579     66 |  0.001 % |
327.82/328.03	c |    190029 |  136988  3193189  9687120 | 2147483647   190028     66 |  0.001 % |
328.62/328.87	c |    190522 |  136988  3193189  9687120 | 2147483647   190521     66 |  0.001 % |
329.52/329.75	c |    191064 |  136988  3193189  9687120 | 2147483647   191063     66 |  0.001 % |
330.42/330.62	c |    191660 |  136988  3193189  9687120 | 2147483647   191659     66 |  0.001 % |
331.02/331.24	c |    192316 |  136988  3193189  9687120 | 2147483647   192315     66 |  0.001 % |
332.12/332.32	c |    193038 |  136988  3193189  9687120 | 2147483647   193037     66 |  0.001 % |
333.02/333.26	c |    193835 |  136988  3193189  9687120 | 2147483647   193834     66 |  0.001 % |
333.42/333.68	c |    194707 |  136988  3193189  9687120 | 2147483647   194706     66 |  0.001 % |
334.82/335.00	c |    195665 |  136988  3193189  9687120 | 2147483647   195664     66 |  0.001 % |
336.02/336.25	c |    196720 |  136988  3193189  9687120 | 2147483647   196719     67 |  0.001 % |
337.32/337.50	c |    197879 |  136988  3193189  9687120 | 2147483647   197878     67 |  0.001 % |
338.41/338.62	c |    199152 |  136988  3193189  9687120 | 2147483647   199151     67 |  0.001 % |
340.21/340.42	c |    200554 |  136988  3193189  9687120 | 2147483647   200553     67 |  0.001 % |
342.21/342.42	c |    202094 |  136988  3193189  9687120 | 2147483647   202093     67 |  0.001 % |
343.72/343.96	c |    203788 |  136988  3193189  9687120 | 2147483647   203787     67 |  0.001 % |
347.32/347.51	c |    205652 |  136988  3193189  9687120 | 2147483647   205651     67 |  0.001 % |
349.81/350.01	c |    207702 |  136988  3193189  9687120 | 2147483647   207701     67 |  0.001 % |
349.91/350.16	c |    207803 |  136988  3193189  9687120 | 2147483647   207802     68 |  0.001 % |
350.11/350.31	c |    207915 |  136988  3193189  9687120 | 2147483647   207914     68 |  0.001 % |
350.21/350.46	c |    208036 |  136988  3193189  9687120 | 2147483647   208035     68 |  0.001 % |
350.62/350.88	c |    208170 |  136988  3193189  9687120 | 2147483647   208169     68 |  0.001 % |
350.91/351.14	c |    208316 |  136988  3193189  9687120 | 2147483647   208315     68 |  0.001 % |
351.21/351.47	c |    208477 |  136988  3193189  9687120 | 2147483647   208476     68 |  0.001 % |
351.41/351.65	c |    208654 |  136988  3193189  9687120 | 2147483647   208653     68 |  0.001 % |
351.82/352.03	c |    208847 |  136988  3193189  9687120 | 2147483647   208846     68 |  0.001 % |
352.41/352.69	c |    209059 |  136988  3193189  9687120 | 2147483647   209058     68 |  0.001 % |
353.21/353.44	c |    209294 |  136988  3193189  9687120 | 2147483647   209293     68 |  0.001 % |
353.61/353.82	c |    209552 |  136988  3193189  9687120 | 2147483647   209551     68 |  0.001 % |
354.21/354.44	c |    209833 |  136988  3193189  9687120 | 2147483647   209832     68 |  0.001 % |
354.71/354.98	c |    210143 |  136988  3193189  9687120 | 2147483647   210142     68 |  0.001 % |
355.41/355.70	c |    210482 |  136988  3193189  9687120 | 2147483647   210481     68 |  0.001 % |
356.01/356.24	c |    210856 |  136988  3193189  9687120 | 2147483647   210855     68 |  0.001 % |
356.41/356.63	c |    211268 |  136988  3193189  9687120 | 2147483647   211267     68 |  0.001 % |
356.91/357.15	c |    211717 |  136988  3193189  9687120 | 2147483647   211716     68 |  0.001 % |
357.91/358.15	c |    212210 |  136988  3193189  9687120 | 2147483647   212209     68 |  0.001 % |
358.51/358.78	c |    212754 |  136988  3193189  9687120 | 2147483647   212753     68 |  0.001 % |
359.01/359.25	c |    213351 |  136988  3193189  9687120 | 2147483647   213350     68 |  0.001 % |
359.31/359.58	c |    214006 |  136988  3193189  9687120 | 2147483647   214005     68 |  0.001 % |
360.11/360.37	c |    214726 |  136988  3193189  9687120 | 2147483647   214725     68 |  0.001 % |
361.51/361.78	c |    215519 |  136988  3193189  9687120 | 2147483647   215518     68 |  0.001 % |
362.71/362.98	c |    216390 |  136988  3193189  9687120 | 2147483647   216389     68 |  0.001 % |
364.81/365.08	c |    217348 |  136988  3193189  9687120 | 2147483647   217347     68 |  0.001 % |
365.91/366.10	c |    218403 |  136988  3193189  9687120 | 2147483647   218402     68 |  0.001 % |
368.21/368.43	c |    219561 |  136988  3193189  9687120 | 2147483647   219560     68 |  0.001 % |
370.41/370.70	c |    220836 |  136988  3193189  9687120 | 2147483647   220835     68 |  0.001 % |
371.40/371.70	c |    222237 |  136988  3193189  9687120 | 2147483647   222236     68 |  0.001 % |
373.01/373.26	c |    223777 |  136988  3193189  9687120 | 2147483647   223776     69 |  0.001 % |
375.51/375.79	c |    225471 |  136988  3193189  9687120 | 2147483647   225470     68 |  0.001 % |
376.50/376.76	c |    227334 |  136988  3193189  9687120 | 2147483647   227333     69 |  0.001 % |
378.01/378.20	c |    229384 |  136988  3193189  9687120 | 2147483647   229383     69 |  0.001 % |
380.31/380.57	c |    231638 |  136988  3193189  9687120 | 2147483647   231637     69 |  0.001 % |
380.51/380.73	c |    231740 |  136988  3193189  9687120 | 2147483647   231739     69 |  0.001 % |
380.81/381.06	c |    231851 |  136988  3193189  9687120 | 2147483647   231850     69 |  0.001 % |
381.11/381.33	c |    231972 |  136988  3193189  9687120 | 2147483647   231971     69 |  0.001 % |
381.31/381.51	c |    232105 |  136988  3193189  9687120 | 2147483647   232104     69 |  0.001 % |
381.51/381.80	c |    232251 |  136988  3193189  9687120 | 2147483647   232250     69 |  0.001 % |
381.91/382.14	c |    232415 |  136988  3193189  9687120 | 2147483647   232414     69 |  0.001 % |
382.21/382.41	c |    232592 |  136988  3193189  9687120 | 2147483647   232591     69 |  0.001 % |
382.51/382.78	c |    232786 |  136988  3193189  9687120 | 2147483647   232785     69 |  0.001 % |
382.81/383.06	c |    232998 |  136988  3193189  9687120 | 2147483647   232997     69 |  0.001 % |
383.61/383.81	c |    233231 |  136988  3193189  9687120 | 2147483647   233230     69 |  0.001 % |
384.41/384.60	c |    233487 |  136988  3193189  9687120 | 2147483647   233486     69 |  0.001 % |
385.01/385.27	c |    233768 |  136988  3193189  9687120 | 2147483647   233767     69 |  0.001 % |
385.60/385.88	c |    234077 |  136988  3193189  9687120 | 2147483647   234076     69 |  0.001 % |
386.30/386.51	c |    234424 |  136988  3193189  9687120 | 2147483647   234423     69 |  0.001 % |
386.70/386.96	c |    234796 |  136988  3193189  9687120 | 2147483647   234795     69 |  0.001 % |
387.20/387.46	c |    235205 |  136988  3193189  9687120 | 2147483647   235204     69 |  0.001 % |
388.01/388.22	c |    235659 |  136988  3193189  9687120 | 2147483647   235658     69 |  0.001 % |
388.60/388.88	c |    236152 |  136988  3193189  9687120 | 2147483647   236151     69 |  0.001 % |
389.80/390.03	c |    236694 |  136988  3193189  9687120 | 2147483647   236693     70 |  0.001 % |
390.40/390.62	c |    237291 |  136988  3193189  9687120 | 2147483647   237290     70 |  0.001 % |
391.00/391.25	c |    237947 |  136988  3193189  9687120 | 2147483647   237946     70 |  0.001 % |
391.59/391.80	c |    238668 |  136988  3193189  9687120 | 2147483647   238667     70 |  0.001 % |
392.99/393.20	c |    239460 |  136988  3193189  9687120 | 2147483647   239459     70 |  0.001 % |
393.69/393.93	c |    240332 |  136988  3193189  9687120 | 2147483647   240331     70 |  0.001 % |
394.80/395.03	c |    241290 |  136988  3193189  9687120 | 2147483647   241289     70 |  0.001 % |
396.50/396.70	c |    242344 |  136988  3193189  9687120 | 2147483647   242343     70 |  0.001 % |
397.70/397.90	c |    243502 |  136988  3193189  9687120 | 2147483647   243501     70 |  0.001 % |
398.90/399.18	c |    244775 |  136988  3193189  9687120 | 2147483647   244774     70 |  0.001 % |
400.70/400.94	c |    246175 |  136988  3193189  9687120 | 2147483647   246174     70 |  0.001 % |
403.39/403.69	c |    247715 |  136988  3193189  9687120 | 2147483647   247714     70 |  0.001 % |
406.10/406.32	c |    249410 |  136988  3193189  9687120 | 2147483647   249409     71 |  0.001 % |
407.69/407.94	c |    251273 |  136988  3193189  9687120 | 2147483647   251272     71 |  0.001 % |
410.89/411.19	c |    253325 |  136988  3193189  9687120 | 2147483647   253324     71 |  0.001 % |
414.29/414.55	c |    255579 |  136988  3193189  9687120 | 2147483647   255578     71 |  0.001 % |
416.59/416.88	c |    258057 |  136988  3193189  9687120 | 2147483647   258056     71 |  0.001 % |
417.08/417.35	c |    258159 |  136988  3193189  9687120 | 2147483647   258158     71 |  0.001 % |
417.48/417.74	c |    258270 |  136988  3193189  9687120 | 2147483647   258269     71 |  0.001 % |
417.69/417.94	c |    258392 |  136988  3193189  9687120 | 2147483647   258391     71 |  0.001 % |
417.99/418.22	c |    258525 |  136988  3193189  9687120 | 2147483647   258524     71 |  0.001 % |
418.29/418.54	c |    258671 |  136988  3193189  9687120 | 2147483647   258670     71 |  0.001 % |
418.69/418.98	c |    258834 |  136988  3193189  9687120 | 2147483647   258833     71 |  0.001 % |
419.39/419.66	c |    259010 |  136988  3193189  9687120 | 2147483647   259009     71 |  0.001 % |
419.90/420.15	c |    259203 |  136988  3193189  9687120 | 2147483647   259202     71 |  0.001 % |
420.19/420.44	c |    259415 |  136988  3193189  9687120 | 2147483647   259414     71 |  0.001 % |
420.49/420.78	c |    259649 |  136988  3193189  9687120 | 2147483647   259648     71 |  0.001 % |
420.79/421.09	c |    259907 |  136988  3193189  9687120 | 2147483647   259906     71 |  0.001 % |
421.00/421.30	c |    260190 |  136988  3193189  9687120 | 2147483647   260189     71 |  0.001 % |
421.49/421.74	c |    260499 |  136988  3193189  9687120 | 2147483647   260498     71 |  0.001 % |
421.99/422.25	c |    260838 |  136988  3193189  9687120 | 2147483647   260837     71 |  0.001 % |
422.29/422.51	c |    261210 |  136988  3193189  9687120 | 2147483647   261209     71 |  0.001 % |
422.59/422.80	c |    261619 |  136988  3193189  9687120 | 2147483647   261618     71 |  0.001 % |
422.99/423.22	c |    262070 |  136988  3193189  9687120 | 2147483647   262069     71 |  0.001 % |
423.69/423.92	c |    262566 |  136988  3193189  9687120 | 2147483647   262565     72 |  0.001 % |
424.49/424.77	c |    263108 |  136988  3193189  9687120 | 2147483647   263107     72 |  0.001 % |
425.69/425.91	c |    263706 |  136988  3193189  9687120 | 2147483647   263705     72 |  0.001 % |
426.49/426.79	c |    264361 |  136988  3193189  9687120 | 2147483647   264360     72 |  0.001 % |
427.59/427.90	c |    265081 |  136988  3193189  9687120 | 2147483647   265080     72 |  0.001 % |
428.99/429.25	c |    265874 |  136988  3193189  9687120 | 2147483647   265873     72 |  0.001 % |
429.68/429.98	c |    266745 |  136988  3193189  9687120 | 2147483647   266744     72 |  0.001 % |
431.08/431.33	c |    267703 |  136988  3193189  9687120 | 2147483647   267702     72 |  0.001 % |
431.78/432.00	c |    268759 |  136988  3193189  9687120 | 2147483647   268758     72 |  0.001 % |
432.68/432.93	c |    269917 |  136988  3193189  9687120 | 2147483647   269916     72 |  0.001 % |
433.68/433.99	c |    271190 |  136988  3193189  9687120 | 2147483647   271189     72 |  0.001 % |
434.78/435.00	c |    272590 |  136988  3193189  9687120 | 2147483647   272589     72 |  0.001 % |
436.39/436.64	c |    274130 |  136988  3193189  9687120 | 2147483647   274129     72 |  0.001 % |
438.08/438.35	c |    275825 |  136988  3193189  9687120 | 2147483647   275824     72 |  0.001 % |
440.78/441.01	c |    277689 |  136988  3193189  9687120 | 2147483647   277688     72 |  0.001 % |
443.68/443.91	c |    279738 |  136988  3193189  9687120 | 2147483647   279737     72 |  0.001 % |
445.48/445.73	c |    281991 |  136988  3193189  9687120 | 2147483647   281990     73 |  0.001 % |
448.38/448.60	c |    284471 |  136988  3193189  9687120 | 2147483647   284470     73 |  0.001 % |
451.08/451.37	c |    287197 |  136988  3193189  9687120 | 2147483647   287196     73 |  0.001 % |
451.58/451.87	c |    287299 |  136988  3193189  9687120 | 2147483647   287298     73 |  0.001 % |
452.18/452.44	c |    287410 |  136988  3193189  9687120 | 2147483647   287409     73 |  0.001 % |
452.48/452.79	c |    287531 |  136988  3193189  9687120 | 2147483647   287530     73 |  0.001 % |
452.98/453.25	c |    287664 |  136988  3193189  9687120 | 2147483647   287663     73 |  0.001 % |
453.28/453.57	c |    287812 |  136988  3193189  9687120 | 2147483647   287811     73 |  0.001 % |
453.68/453.93	c |    287973 |  136988  3193189  9687120 | 2147483647   287972     73 |  0.001 % |
454.08/454.34	c |    288149 |  136988  3193189  9687120 | 2147483647   288148     73 |  0.001 % |
454.48/454.70	c |    288343 |  136988  3193189  9687120 | 2147483647   288342     73 |  0.001 % |
454.78/455.08	c |    288555 |  136988  3193189  9687120 | 2147483647   288554     73 |  0.001 % |
455.38/455.65	c |    288788 |  136988  3193189  9687120 | 2147483647   288787     73 |  0.001 % |
455.68/455.97	c |    289044 |  136988  3193189  9687120 | 2147483647   289043     73 |  0.001 % |
456.58/456.82	c |    289328 |  136988  3193189  9687120 | 2147483647   289327     73 |  0.001 % |
456.97/457.26	c |    289638 |  136988  3193189  9687120 | 2147483647   289637     73 |  0.001 % |
457.47/457.71	c |    289978 |  136988  3193189  9687120 | 2147483647   289977     73 |  0.001 % |
457.87/458.18	c |    290351 |  136988  3193189  9687120 | 2147483647   290350     73 |  0.001 % |
458.67/458.92	c |    290760 |  136988  3193189  9687120 | 2147483647   290759     73 |  0.001 % |
459.37/459.67	c |    291209 |  136988  3193189  9687120 | 2147483647   291208     73 |  0.001 % |
460.07/460.32	c |    291702 |  136988  3193189  9687120 | 2147483647   291701     73 |  0.001 % |
460.68/460.99	c |    292245 |  136988  3193189  9687120 | 2147483647   292244     73 |  0.001 % |
462.07/462.36	c |    292841 |  136988  3193189  9687120 | 2147483647   292840     73 |  0.001 % |
463.27/463.53	c |    293496 |  136988  3193189  9687120 | 2147483647   293495     73 |  0.001 % |
464.27/464.54	c |    294217 |  136988  3193189  9687120 | 2147483647   294216     73 |  0.001 % |
466.57/466.86	c |    295009 |  136988  3193189  9687120 | 2147483647   295008     73 |  0.001 % |
468.28/468.56	c |    295882 |  136988  3193189  9687120 | 2147483647   295881     73 |  0.001 % |
469.57/469.83	c |    296843 |  136988  3193189  9687120 | 2147483647   296842     73 |  0.001 % |
470.87/471.15	c |    297896 |  136988  3193189  9687120 | 2147483647   297895     73 |  0.001 % |
472.17/472.42	c |    299054 |  136988  3193189  9687120 | 2147483647   299053     73 |  0.001 % |
473.87/474.16	c |    300327 |  136988  3193189  9687120 | 2147483647   300326     73 |  0.001 % |
474.97/475.25	c |    301727 |  136988  3193189  9687120 | 2147483647   301726     73 |  0.001 % |
476.37/476.60	c |    303267 |  136988  3193189  9687120 | 2147483647   303266     73 |  0.001 % |
478.17/478.41	c |    304961 |  136988  3193189  9687120 | 2147483647   304960     73 |  0.001 % |
480.38/480.61	c |    306825 |  136988  3193189  9687120 | 2147483647   306824     73 |  0.001 % |
482.57/482.80	c |    308874 |  136988  3193189  9687120 | 2147483647   308873     73 |  0.001 % |
484.37/484.63	c |    311127 |  136988  3193189  9687120 | 2147483647   311126     73 |  0.001 % |
486.06/486.33	c |    313606 |  136988  3193189  9687120 | 2147483647   313605     73 |  0.001 % |
488.96/489.29	c |    316332 |  136988  3193189  9687120 | 2147483647   316331     73 |  0.001 % |
492.26/492.57	c |    319332 |  136988  3193189  9687120 | 2147483647   319331     73 |  0.001 % |
492.47/492.74	c |    319432 |  136988  3193189  9687120 | 2147483647   319431     73 |  0.001 % |
492.66/492.99	c |    319542 |  136988  3193189  9687120 | 2147483647   319541     73 |  0.001 % |
493.16/493.40	c |    319663 |  136988  3193189  9687120 | 2147483647   319662     73 |  0.001 % |
493.46/493.74	c |    319798 |  136988  3193189  9687120 | 2147483647   319797     73 |  0.001 % |
493.86/494.18	c |    319944 |  136988  3193189  9687120 | 2147483647   319943     73 |  0.001 % |
494.16/494.44	c |    320104 |  136988  3193189  9687120 | 2147483647   320103     73 |  0.001 % |
494.86/495.14	c |    320281 |  136988  3193189  9687120 | 2147483647   320280     73 |  0.001 % |
495.16/495.42	c |    320474 |  136988  3193189  9687120 | 2147483647   320473     73 |  0.001 % |
495.66/495.96	c |    320686 |  136988  3193189  9687120 | 2147483647   320685     73 |  0.001 % |
496.16/496.48	c |    320920 |  136988  3193189  9687120 | 2147483647   320919     73 |  0.001 % |
496.56/496.81	c |    321176 |  136988  3193189  9687120 | 2147483647   321175     73 |  0.001 % |
496.96/497.21	c |    321463 |  136988  3193189  9687120 | 2147483647   321462     73 |  0.001 % |
497.46/497.78	c |    321774 |  136988  3193189  9687120 | 2147483647   321773     73 |  0.001 % |
497.76/498.10	c |    322113 |  136988  3193189  9687120 | 2147483647   322112     73 |  0.001 % |
498.56/498.82	c |    322485 |  136988  3193189  9687120 | 2147483647   322484     73 |  0.001 % |
499.16/499.43	c |    322894 |  136988  3193189  9687120 | 2147483647   322893     74 |  0.001 % |
499.66/499.91	c |    323343 |  136988  3193189  9687120 | 2147483647   323342     73 |  0.001 % |
500.56/500.87	c |    323836 |  136988  3193189  9687120 | 2147483647   323835     73 |  0.001 % |
501.56/501.81	c |    324380 |  136988  3193189  9687120 | 2147483647   324379     74 |  0.001 % |
502.56/502.83	c |    324976 |  136988  3193189  9687120 | 2147483647   324975     74 |  0.001 % |
503.66/503.92	c |    325633 |  136988  3193189  9687120 | 2147483647   325632     74 |  0.001 % |
504.76/505.05	c |    326354 |  136988  3193189  9687120 | 2147483647   326353     74 |  0.001 % |
505.85/506.19	c |    327147 |  136988  3193189  9687120 | 2147483647   327146     74 |  0.001 % |
507.45/507.75	c |    328018 |  136988  3193189  9687120 | 2147483647   328017     74 |  0.001 % |
509.65/509.97	c |    328976 |  136988  3193189  9687120 | 2147483647   328975     74 |  0.001 % |
512.85/513.11	c |    330029 |  136987  3193177  9687096 | 2147483647   330026     74 |  0.001 % |
514.95/515.23	c |    331187 |  136987  3193177  9687096 | 2147483647   331184     74 |  0.002 % |
516.55/516.83	c |    332460 |  136987  3193177  9687096 | 2147483647   332457     74 |  0.001 % |
518.04/518.36	c |    333860 |  136987  3193177  9687096 | 2147483647   333857     74 |  0.001 % |
519.54/519.85	c |    335400 |  136987  3193177  9687096 | 2147483647   335397     74 |  0.001 % |
521.85/522.10	c |    337097 |  136987  3193177  9687096 | 2147483647   337094     74 |  0.001 % |
524.75/525.01	c |    338960 |  136987  3193177  9687096 | 2147483647   338957     74 |  0.002 % |
527.34/527.62	c |    341009 |  136987  3193177  9687096 | 2147483647   341006     74 |  0.001 % |
529.85/530.11	c |    343264 |  136987  3193177  9687096 | 2147483647   343261     75 |  0.002 % |
531.94/532.24	c |    345742 |  136987  3193177  9687096 | 2147483647   345739     75 |  0.001 % |
536.14/536.49	c |    348467 |  136987  3193177  9687096 | 2147483647   348464     75 |  0.002 % |
541.14/541.49	c |    351465 |  136987  3193177  9687096 | 2147483647   351462     75 |  0.001 % |
545.54/545.83	c |    354763 |  136987  3193177  9687096 | 2147483647   354760     75 |  0.002 % |
545.64/545.98	c |    354863 |  136987  3193177  9687096 | 2147483647   354860     75 |  0.001 % |
546.04/546.35	c |    354974 |  136987  3193177  9687096 | 2147483647   354971     75 |  0.001 % |
546.44/546.74	c |    355100 |  136987  3193177  9687096 | 2147483647   355097     75 |  0.001 % |
546.74/547.04	c |    355233 |  136987  3193177  9687096 | 2147483647   355230     75 |  0.001 % |
547.04/547.36	c |    355381 |  136987  3193177  9687096 | 2147483647   355378     75 |  0.001 % |
547.44/547.75	c |    355541 |  136987  3193177  9687096 | 2147483647   355538     75 |  0.002 % |
547.84/548.12	c |    355717 |  136987  3193177  9687096 | 2147483647   355714     75 |  0.002 % |
548.14/548.48	c |    355910 |  136987  3193177  9687096 | 2147483647   355907     75 |  0.002 % |
548.94/549.24	c |    356122 |  136987  3193177  9687096 | 2147483647   356119     75 |  0.002 % |
549.54/549.81	c |    356355 |  136987  3193177  9687096 | 2147483647   356352     75 |  0.002 % |
550.04/550.33	c |    356611 |  136987  3193177  9687096 | 2147483647   356608     75 |  0.001 % |
550.54/550.86	c |    356896 |  136987  3193177  9687096 | 2147483647   356893     75 |  0.001 % |
551.14/551.44	c |    357205 |  136987  3193177  9687096 | 2147483647   357202     75 |  0.001 % |
551.84/552.11	c |    357544 |  136987  3193177  9687096 | 2147483647   357541     75 |  0.001 % |
552.94/553.29	c |    357916 |  136987  3193177  9687096 | 2147483647   357913     75 |  0.001 % |
554.24/554.55	c |    358325 |  136987  3193177  9687096 | 2147483647   358322     75 |  0.001 % |
555.24/555.53	c |    358774 |  136987  3193177  9687096 | 2147483647   358771     75 |  0.001 % |
555.63/555.97	c |    359267 |  136987  3193177  9687096 | 2147483647   359264     75 |  0.002 % |
556.84/557.15	c |    359809 |  136987  3193177  9687096 | 2147483647   359806     75 |  0.002 % |
557.64/557.91	c |    360406 |  136987  3193177  9687096 | 2147483647   360403     75 |  0.002 % |
558.44/558.76	c |    361061 |  136987  3193177  9687096 | 2147483647   361058     75 |  0.001 % |
560.14/560.44	c |    361781 |  136987  3193177  9687096 | 2147483647   361778     75 |  0.002 % |
561.14/561.41	c |    362573 |  136987  3193177  9687096 | 2147483647   362570     75 |  0.001 % |
562.53/562.88	c |    363444 |  136987  3193177  9687096 | 2147483647   363441     75 |  0.001 % |
564.23/564.50	c |    364402 |  136987  3193177  9687096 | 2147483647   364399     75 |  0.002 % |
565.23/565.50	c |    365455 |  136987  3193177  9687096 | 2147483647   365452     75 |  0.002 % |
566.63/566.95	c |    366613 |  136987  3193177  9687096 | 2147483647   366610     75 |  0.002 % |
568.14/568.49	c |    367886 |  136987  3193177  9687096 | 2147483647   367883     75 |  0.002 % |
570.73/571.08	c |    369286 |  136987  3193177  9687096 | 2147483647   369283     75 |  0.001 % |
572.84/573.18	c |    370826 |  136987  3193177  9687096 | 2147483647   370823     75 |  0.001 % |
575.73/576.06	c |    372520 |  136987  3193177  9687096 | 2147483647   372517     75 |  0.002 % |
578.63/578.93	c |    374383 |  136987  3193177  9687096 | 2147483647   374380     75 |  0.002 % |
581.03/581.38	c |    376434 |  136987  3193177  9687096 | 2147483647   376431     75 |  0.001 % |
584.33/584.64	c |    378687 |  136987  3193177  9687096 | 2147483647   378684     76 |  0.001 % |
588.13/588.43	c |    381167 |  136987  3193177  9687096 | 2147483647   381164     76 |  0.002 % |
592.33/592.67	c |    383892 |  136987  3193177  9687096 | 2147483647   383889     76 |  0.001 % |
597.13/597.43	c |    386891 |  136987  3193177  9687096 | 2147483647   386888     76 |  0.001 % |
602.82/603.16	c |    390187 |  136987  3193177  9687096 | 2147483647   390184     76 |  0.001 % |
609.02/609.32	c |    393812 |  136987  3193177  9687096 | 2147483647   393809     76 |  0.001 % |
609.12/609.43	c |    393912 |  136987  3193177  9687096 | 2147483647   393909     76 |  0.002 % |
609.31/609.68	c |    394022 |  136987  3193177  9687096 | 2147483647   394019     76 |  0.001 % |
609.61/609.96	c |    394145 |  136987  3193177  9687096 | 2147483647   394142     76 |  0.002 % |
610.12/610.43	c |    394278 |  136987  3193177  9687096 | 2147483647   394275     76 |  0.001 % |
610.41/610.76	c |    394427 |  136987  3193177  9687096 | 2147483647   394424     76 |  0.001 % |
610.91/611.21	c |    394587 |  136987  3193177  9687096 | 2147483647   394584     76 |  0.001 % |
612.11/612.43	c |    394763 |  136987  3193177  9687096 | 2147483647   394760     76 |  0.002 % |
612.71/613.01	c |    394956 |  136987  3193177  9687096 | 2147483647   394953     76 |  0.002 % |
613.31/613.61	c |    395170 |  136987  3193177  9687096 | 2147483647   395167     76 |  0.001 % |
613.61/613.96	c |    395404 |  136987  3193177  9687096 | 2147483647   395401     76 |  0.001 % |
614.12/614.46	c |    395660 |  136987  3193177  9687096 | 2147483647   395657     76 |  0.001 % |
614.82/615.12	c |    395941 |  136987  3193177  9687096 | 2147483647   395938     76 |  0.002 % |
615.42/615.78	c |    396250 |  136987  3193177  9687096 | 2147483647   396247     76 |  0.001 % |
615.82/616.15	c |    396589 |  136987  3193177  9687096 | 2147483647   396586     76 |  0.001 % |
616.32/616.68	c |    396961 |  136987  3193177  9687096 | 2147483647   396958     76 |  0.002 % |
617.02/617.39	c |    397370 |  136987  3193177  9687096 | 2147483647   397367     76 |  0.001 % |
618.01/618.38	c |    397820 |  136987  3193177  9687096 | 2147483647   397817     76 |  0.001 % |
619.22/619.50	c |    398314 |  136987  3193177  9687096 | 2147483647   398311     76 |  0.001 % |
620.21/620.57	c |    398856 |  136987  3193177  9687096 | 2147483647   398853     76 |  0.001 % |
621.01/621.34	c |    399452 |  136987  3193177  9687096 | 2147483647   399449     76 |  0.001 % |
622.32/622.69	c |    400107 |  136987  3193177  9687096 | 2147483647   400104     76 |  0.001 % |
623.71/624.04	c |    400827 |  136987  3193177  9687096 | 2147483647   400824     76 |  0.001 % |
625.31/625.69	c |    401620 |  136987  3193177  9687096 | 2147483647   401617     76 |  0.001 % |
626.81/627.17	c |    402491 |  136987  3193177  9687096 | 2147483647   402488     76 |  0.002 % |
628.71/629.10	c |    403450 |  136987  3193177  9687096 | 2147483647   403447     76 |  0.002 % |
630.51/630.89	c |    404503 |  136987  3193177  9687096 | 2147483647   404500     75 |  0.001 % |
632.91/633.26	c |    405662 |  136987  3193177  9687096 | 2147483647   405659     76 |  0.001 % |
634.10/634.41	c |    406935 |  136987  3193177  9687096 | 2147483647   406932     76 |  0.001 % |
635.41/635.76	c |    408335 |  136987  3193177  9687096 | 2147483647   408332     76 |  0.002 % |
638.30/638.65	c |    409875 |  136987  3193177  9687096 | 2147483647   409872     76 |  0.001 % |
641.61/641.99	c |    411569 |  136987  3193177  9687096 | 2147483647   411566     76 |  0.001 % |
644.21/644.58	c |    413433 |  136987  3193177  9687096 | 2147483647   413430     76 |  0.001 % |
648.71/649.00	c |    415482 |  136987  3193177  9687096 | 2147483647   415479     76 |  0.001 % |
652.50/652.88	c |    417736 |  136987  3193177  9687096 | 2147483647   417733     76 |  0.002 % |
655.40/655.72	c |    420214 |  136987  3193177  9687096 | 2147483647   420211     76 |  0.002 % |
659.90/660.20	c |    422940 |  136987  3193177  9687096 | 2147483647   422937     76 |  0.001 % |
665.69/666.08	c |    425938 |  136987  3193177  9687096 | 2147483647   425935     76 |  0.001 % |
671.50/671.85	c |    429234 |  136987  3193177  9687096 | 2147483647   429231     76 |  0.001 % |
678.49/678.87	c |    432859 |  136987  3193177  9687096 | 2147483647   432856     76 |  0.002 % |
685.79/686.13	c |    436846 |  136987  3193177  9687096 | 2147483647   436843     76 |  0.002 % |
686.00/686.37	c |    436946 |  136987  3193177  9687096 | 2147483647   436943     76 |  0.002 % |
686.19/686.59	c |    437057 |  136987  3193177  9687096 | 2147483647   437054     76 |  0.002 % |
686.59/686.96	c |    437178 |  136987  3193177  9687096 | 2147483647   437175     76 |  0.001 % |
687.10/687.47	c |    437312 |  136987  3193177  9687096 | 2147483647   437309     76 |  0.001 % |
687.79/688.19	c |    437459 |  136987  3193177  9687096 | 2147483647   437456     76 |  0.001 % |
688.30/688.66	c |    437620 |  136987  3193177  9687096 | 2147483647   437617     76 |  0.001 % |
688.79/689.10	c |    437800 |  136987  3193177  9687096 | 2147483647   437797     76 |  0.001 % |
689.09/689.47	c |    437993 |  136987  3193177  9687096 | 2147483647   437990     76 |  0.001 % |
690.19/690.59	c |    438206 |  136987  3193177  9687096 | 2147483647   438203     76 |  0.001 % |
690.99/691.32	c |    438439 |  136987  3193177  9687096 | 2147483647   438436     76 |  0.001 % |
691.50/691.86	c |    438695 |  136987  3193177  9687096 | 2147483647   438692     76 |  0.001 % |
691.89/692.28	c |    438976 |  136987  3193177  9687096 | 2147483647   438973     76 |  0.001 % |
692.69/693.03	c |    439288 |  136987  3193177  9687096 | 2147483647   439285     76 |  0.001 % |
693.99/694.31	c |    439627 |  136987  3193177  9687096 | 2147483647   439624     76 |  0.001 % |
695.29/695.63	c |    440000 |  136987  3193177  9687096 | 2147483647   439997     76 |  0.001 % |
696.29/696.62	c |    440411 |  136987  3193177  9687096 | 2147483647   440408     76 |  0.001 % |
696.88/697.20	c |    440860 |  136987  3193177  9687096 | 2147483647   440857     76 |  0.001 % |
697.58/697.97	c |    441353 |  136987  3193177  9687096 | 2147483647   441350     76 |  0.001 % |
698.58/698.94	c |    441895 |  136987  3193177  9687096 | 2147483647   441892     76 |  0.001 % |
699.88/700.21	c |    442492 |  136987  3193177  9687096 | 2147483647   442489     76 |  0.001 % |
701.28/701.60	c |    443147 |  136987  3193177  9687096 | 2147483647   443144     76 |  0.001 % |
703.38/703.80	c |    443876 |  136987  3193177  9687096 | 2147483647   443873     76 |  0.001 % |
706.09/706.49	c |    444668 |  136987  3193177  9687096 | 2147483647   444665     76 |  0.001 % |
706.69/707.05	c |    445540 |  136987  3193177  9687096 | 2147483647   445537     76 |  0.001 % |
708.79/709.13	c |    446498 |  136987  3193177  9687096 | 2147483647   446495     76 |  0.002 % |
710.39/710.70	c |    447552 |  136987  3193177  9687096 | 2147483647   447549     76 |  0.002 % |
711.98/712.37	c |    448710 |  136987  3193177  9687096 | 2147483647   448707     76 |  0.001 % |
715.88/716.24	c |    449983 |  136987  3193177  9687096 | 2147483647   449980     76 |  0.001 % |
719.28/719.62	c |    451384 |  136987  3193177  9687096 | 2147483647   451381     76 |  0.001 % |
720.67/721.06	c |    452925 |  136987  3193177  9687096 | 2147483647   452922     76 |  0.001 % |
721.68/722.03	c |    454619 |  136987  3193177  9687096 | 2147483647   454616     76 |  0.001 % |
727.67/728.01	c |    456482 |  136987  3193177  9687096 | 2147483647   456479     76 |  0.001 % |
731.28/731.66	c |    458531 |  136987  3193177  9687096 | 2147483647   458528     76 |  0.001 % |
735.28/735.69	c |    460784 |  136987  3193177  9687096 | 2147483647   460781     76 |  0.002 % |
737.97/738.36	c |    463262 |  136987  3193177  9687096 | 2147483647   463259     76 |  0.001 % |
741.87/742.23	c |    465988 |  136987  3193177  9687096 | 2147483647   465985     76 |  0.001 % |
745.87/746.23	c |    468986 |  136987  3193177  9687096 | 2147483647   468983     77 |  0.001 % |
749.27/749.66	c |    472282 |  136987  3193177  9687096 | 2147483647   472279     77 |  0.001 % |
757.37/757.75	c |    475908 |  136987  3193177  9687096 | 2147483647   475905     77 |  0.002 % |
765.66/766.04	c |    479898 |  136987  3193177  9687096 | 2147483647   479895     77 |  0.001 % |
773.67/774.03	c |    484283 |  136987  3193177  9687096 | 2147483647   484280     77 |  0.001 % |
773.87/774.26	c |    484383 |  136987  3193177  9687096 | 2147483647   484380     77 |  0.002 % |
774.17/774.51	c |    484494 |  136987  3193177  9687096 | 2147483647   484491     77 |  0.002 % |
774.47/774.89	c |    484615 |  136987  3193177  9687096 | 2147483647   484612     77 |  0.001 % |
774.97/775.34	c |    484748 |  136987  3193177  9687096 | 2147483647   484745     77 |  0.001 % |
775.37/775.70	c |    484895 |  136987  3193177  9687096 | 2147483647   484892     77 |  0.001 % |
775.86/776.28	c |    485055 |  136987  3193177  9687096 | 2147483647   485052     77 |  0.001 % |
776.36/776.77	c |    485231 |  136987  3193177  9687096 | 2147483647   485228     77 |  0.001 % |
776.86/777.21	c |    485425 |  136987  3193177  9687096 | 2147483647   485422     77 |  0.001 % |
777.27/777.61	c |    485637 |  136987  3193177  9687096 | 2147483647   485634     77 |  0.001 % |
777.76/778.18	c |    485870 |  136987  3193177  9687096 | 2147483647   485867     77 |  0.002 % |
778.37/778.70	c |    486127 |  136987  3193177  9687096 | 2147483647   486124     77 |  0.001 % |
779.06/779.46	c |    486409 |  136987  3193177  9687096 | 2147483647   486406     77 |  0.002 % |
779.66/780.04	c |    486718 |  136987  3193177  9687096 | 2147483647   486715     77 |  0.001 % |
780.46/780.83	c |    487057 |  136987  3193177  9687096 | 2147483647   487054     77 |  0.002 % |
781.36/781.78	c |    487434 |  136987  3193177  9687096 | 2147483647   487431     77 |  0.002 % |
782.36/782.79	c |    487844 |  136987  3193177  9687096 | 2147483647   487841     77 |  0.002 % |
783.46/783.86	c |    488293 |  136987  3193177  9687096 | 2147483647   488290     77 |  0.002 % |
784.26/784.64	c |    488787 |  136987  3193177  9687096 | 2147483647   488784     77 |  0.001 % |
785.16/785.52	c |    489329 |  136987  3193177  9687096 | 2147483647   489326     77 |  0.001 % |
786.36/786.78	c |    489926 |  136987  3193177  9687096 | 2147483647   489923     77 |  0.001 % |
787.56/787.92	c |    490581 |  136987  3193177  9687096 | 2147483647   490578     77 |  0.001 % |
788.75/789.19	c |    491301 |  136987  3193177  9687096 | 2147483647   491298     77 |  0.001 % |
790.06/790.44	c |    492093 |  136987  3193177  9687096 | 2147483647   492090     77 |  0.001 % |
791.85/792.27	c |    492964 |  136987  3193177  9687096 | 2147483647   492961     77 |  0.001 % |
794.36/794.77	c |    493922 |  136987  3193177  9687096 | 2147483647   493919     77 |  0.001 % |
796.66/797.06	c |    494977 |  136987  3193177  9687096 | 2147483647   494974     77 |  0.001 % |
798.66/799.08	c |    496135 |  136987  3193177  9687096 | 2147483647   496132     77 |  0.001 % |
801.46/801.83	c |    497408 |  136987  3193177  9687096 | 2147483647   497405     77 |  0.002 % |
804.05/804.48	c |    498808 |  136987  3193177  9687096 | 2147483647   498805     77 |  0.001 % |
807.85/808.25	c |    500349 |  136987  3193177  9687096 | 2147483647   500346     77 |  0.001 % |
811.06/811.43	c |    502043 |  136987  3193177  9687096 | 2147483647   502040     77 |  0.001 % |
813.66/814.03	c |    503908 |  136987  3193177  9687096 | 2147483647   503905     77 |  0.001 % |
817.55/817.94	c |    505957 |  136987  3193177  9687096 | 2147483647   505954     77 |  0.001 % |
822.05/822.43	c |    508210 |  136987  3193177  9687096 | 2147483647   508207     77 |  0.002 % |
825.35/825.70	c |    510689 |  136987  3193177  9687096 | 2147483647   510686     77 |  0.001 % |
831.64/832.01	c |    513414 |  136987  3193177  9687096 | 2147483647   513411     77 |  0.002 % |
838.05/838.48	c |    516411 |  136987  3193177  9687096 | 2147483647   516408     77 |  0.002 % |
843.94/844.30	c |    519708 |  136987  3193177  9687096 | 2147483647   519705     77 |  0.002 % |
851.24/851.67	c |    523333 |  136987  3193177  9687096 | 2147483647   523330     77 |  0.001 % |
858.04/858.43	c |    527321 |  136987  3193177  9687096 | 2147483647   527318     77 |  0.002 % |
866.44/866.85	c |    531709 |  136987  3193177  9687096 | 2147483647   531706     77 |  0.001 % |
874.64/875.02	c |    536532 |  136987  3193177  9687096 | 2147483647   536529     76 |  0.002 % |
875.04/875.40	c |    536632 |  136987  3193177  9687096 | 2147483647   536629     76 |  0.002 % |
875.44/875.81	c |    536743 |  136987  3193177  9687096 | 2147483647   536740     76 |  0.001 % |
875.84/876.23	c |    536864 |  136987  3193177  9687096 | 2147483647   536861     76 |  0.002 % |
876.24/876.61	c |    536998 |  136987  3193177  9687096 | 2147483647   536995     76 |  0.002 % |
876.83/877.21	c |    537144 |  136987  3193177  9687096 | 2147483647   537141     76 |  0.001 % |
877.53/877.99	c |    537304 |  136987  3193177  9687096 | 2147483647   537301     76 |  0.001 % |
877.93/878.30	c |    537481 |  136987  3193177  9687096 | 2147483647   537478     76 |  0.002 % |
878.13/878.58	c |    537674 |  136987  3193177  9687096 | 2147483647   537671     76 |  0.001 % |
878.93/879.30	c |    537886 |  136987  3193177  9687096 | 2147483647   537883     76 |  0.001 % |
879.64/880.01	c |    538121 |  136987  3193177  9687096 | 2147483647   538118     76 |  0.001 % |
880.23/880.60	c |    538377 |  136987  3193177  9687096 | 2147483647   538374     76 |  0.001 % |
880.74/881.12	c |    538668 |  136987  3193177  9687096 | 2147483647   538665     76 |  0.001 % |
881.33/881.76	c |    538978 |  136987  3193177  9687096 | 2147483647   538975     76 |  0.001 % |
882.33/882.75	c |    539318 |  136987  3193177  9687096 | 2147483647   539315     76 |  0.001 % |
882.83/883.21	c |    539694 |  136987  3193177  9687096 | 2147483647   539691     76 |  0.002 % |
883.43/883.84	c |    540103 |  136987  3193177  9687096 | 2147483647   540100     76 |  0.001 % |
883.93/884.36	c |    540552 |  136987  3193177  9687096 | 2147483647   540549     76 |  0.001 % |
884.93/885.38	c |    541045 |  136987  3193177  9687096 | 2147483647   541042     76 |  0.001 % |
886.43/886.88	c |    541587 |  136987  3193177  9687096 | 2147483647   541584     76 |  0.001 % |
887.72/888.11	c |    542184 |  136987  3193177  9687096 | 2147483647   542181     77 |  0.002 % |
889.22/889.70	c |    542840 |  136987  3193177  9687096 | 2147483647   542837     77 |  0.002 % |
890.42/890.82	c |    543560 |  136987  3193177  9687096 | 2147483647   543557     77 |  0.001 % |
892.22/892.66	c |    544353 |  136987  3193177  9687096 | 2147483647   544350     77 |  0.002 % |
893.83/894.27	c |    545224 |  136987  3193177  9687096 | 2147483647   545221     77 |  0.002 % |
895.83/896.26	c |    546182 |  136987  3193177  9687096 | 2147483647   546179     77 |  0.001 % |
897.53/897.95	c |    547235 |  136987  3193177  9687096 | 2147483647   547232     76 |  0.002 % |
900.23/900.69	c |    548393 |  136987  3193177  9687096 | 2147483647   548390     76 |  0.001 % |
903.02/903.47	c |    549667 |  136987  3193177  9687096 | 2147483647   549664     76 |  0.001 % |
905.82/906.21	c |    551067 |  136987  3193177  9687096 | 2147483647   551064     76 |  0.002 % |
909.52/909.91	c |    552609 |  136987  3193177  9687096 | 2147483647   552606     76 |  0.002 % |
913.52/913.98	c |    554303 |  136987  3193177  9687096 | 2147483647   554300     76 |  0.002 % |
916.42/916.86	c |    556166 |  136987  3193177  9687096 | 2147483647   556163     76 |  0.002 % |
920.42/920.87	c |    558215 |  136987  3193177  9687096 | 2147483647   558212     76 |  0.001 % |
925.32/925.70	c |    560468 |  136987  3193177  9687096 | 2147483647   560465     76 |  0.002 % |
929.91/930.31	c |    562947 |  136987  3193177  9687096 | 2147483647   562944     76 |  0.002 % |
934.02/934.40	c |    565672 |  136987  3193177  9687096 | 2147483647   565669     77 |  0.001 % |
938.51/938.90	c |    568669 |  136987  3193177  9687096 | 2147483647   568666     77 |  0.001 % |
944.81/945.25	c |    571966 |  136987  3193177  9687096 | 2147483647   571963     77 |  0.001 % |
952.60/953.07	c |    575591 |  136987  3193177  9687096 | 2147483647   575588     77 |  0.001 % |
960.21/960.69	c |    579578 |  136987  3193177  9687096 | 2147483647   579575     77 |  0.001 % |
969.80/970.27	c |    583964 |  136987  3193177  9687096 | 2147483647   583961     77 |  0.001 % |
979.00/979.46	c |    588788 |  136987  3193177  9687096 | 2147483647   588785     77 |  0.002 % |
988.60/989.07	c |    594093 |  136987  3193177  9687096 | 2147483647   594090     77 |  0.002 % |
989.10/989.51	c |    594194 |  136987  3193177  9687096 | 2147483647   594191     77 |  0.002 % |
989.40/989.84	c |    594304 |  136987  3193177  9687096 | 2147483647   594301     77 |  0.002 % |
989.90/990.33	c |    594425 |  136987  3193177  9687096 | 2147483647   594422     77 |  0.002 % |
990.10/990.55	c |    594558 |  136987  3193177  9687096 | 2147483647   594555     77 |  0.002 % |
990.50/990.97	c |    594705 |  136987  3193177  9687096 | 2147483647   594702     77 |  0.002 % |
991.09/991.58	c |    594866 |  136987  3193177  9687096 | 2147483647   594863     77 |  0.002 % |
991.59/992.08	c |    595042 |  136987  3193177  9687096 | 2147483647   595039     77 |  0.002 % |
992.39/992.88	c |    595235 |  136987  3193177  9687096 | 2147483647   595232     77 |  0.001 % |
992.99/993.41	c |    595447 |  136987  3193177  9687096 | 2147483647   595444     77 |  0.002 % |
993.59/994.06	c |    595680 |  136987  3193177  9687096 | 2147483647   595677     77 |  0.002 % |
994.19/994.68	c |    595936 |  136987  3193177  9687096 | 2147483647   595933     77 |  0.002 % |
995.09/995.57	c |    596217 |  136987  3193177  9687096 | 2147483647   596214     77 |  0.002 % |
995.89/996.37	c |    596527 |  136987  3193177  9687096 | 2147483647   596524     77 |  0.002 % |
996.99/997.45	c |    596866 |  136987  3193177  9687096 | 2147483647   596863     77 |  0.002 % |
997.79/998.21	c |    597238 |  136987  3193177  9687096 | 2147483647   597235     77 |  0.002 % |
998.89/999.36	c |    597647 |  136987  3193177  9687096 | 2147483647   597644     77 |  0.001 % |
999.99/1000.47	c |    598097 |  136987  3193177  9687096 | 2147483647   598094     77 |  0.002 % |
1001.09/1001.58	c |    598590 |  136987  3193177  9687096 | 2147483647   598587     77 |  0.002 % |
1003.39/1003.80	c |    599132 |  136987  3193177  9687096 | 2147483647   599129     77 |  0.001 % |
1005.29/1005.71	c |    599728 |  136987  3193177  9687096 | 2147483647   599725     77 |  0.001 % |
1006.89/1007.36	c |    600383 |  136987  3193177  9687096 | 2147483647   600380     77 |  0.001 % |
1008.39/1008.88	c |    601104 |  136987  3193177  9687096 | 2147483647   601101     77 |  0.001 % |
1009.59/1010.01	c |    601896 |  136987  3193177  9687096 | 2147483647   601893     77 |  0.002 % |
1010.79/1011.28	c |    602769 |  136987  3193177  9687096 | 2147483647   602766     77 |  0.001 % |
1015.39/1015.82	c |    603727 |  136987  3193177  9687096 | 2147483647   603724     77 |  0.001 % |
1019.38/1019.88	c |    604780 |  136987  3193177  9687096 | 2147483647   604777     77 |  0.001 % |
1020.78/1021.23	c |    605939 |  136987  3193177  9687096 | 2147483647   605936     77 |  0.001 % |
1023.79/1024.28	c |    607213 |  136987  3193177  9687096 | 2147483647   607210     77 |  0.001 % |
1025.09/1025.53	c |    608613 |  136987  3193177  9687096 | 2147483647   608610     77 |  0.001 % |
1027.89/1028.35	c |    610153 |  136987  3193177  9687096 | 2147483647   610150     77 |  0.001 % |
1029.49/1029.98	c |    611849 |  136987  3193177  9687096 | 2147483647   611846     77 |  0.001 % |
1033.88/1034.35	c |    613713 |  136987  3193177  9687096 | 2147483647   613710     77 |  0.001 % |
1036.68/1037.18	c |    615763 |  136987  3193177  9687096 | 2147483647   615760     77 |  0.001 % |
1039.48/1039.99	c |    618018 |  136987  3193177  9687096 | 2147483647   618015     77 |  0.001 % |
1046.08/1046.60	c |    620496 |  136987  3193177  9687096 | 2147483647   620493     77 |  0.002 % |
1050.18/1050.62	c |    623224 |  136987  3193177  9687096 | 2147483647   623221     77 |  0.002 % |
1055.77/1056.22	c |    626221 |  136987  3193177  9687096 | 2147483647   626218     77 |  0.002 % |
1063.18/1063.63	c |    629517 |  136987  3193177  9687096 | 2147483647   629514     77 |  0.002 % |
1072.17/1072.63	c |    633143 |  136987  3193177  9687096 | 2147483647   633140     77 |  0.002 % |
1077.58/1078.10	c |    637132 |  136987  3193177  9687096 | 2147483647   637129     77 |  0.002 % |
1084.66/1085.13	c |    641517 |  136987  3193177  9687096 | 2147483647   641514     78 |  0.001 % |
1095.67/1096.16	c |    646341 |  136987  3193177  9687096 | 2147483647   646338     78 |  0.001 % |
1110.06/1110.50	c |    651646 |  136987  3193177  9687096 | 2147483647   651643     77 |  0.002 % |
1122.46/1122.92	c |    657481 |  136987  3193177  9687096 | 2147483647   657478     77 |  0.002 % |
1122.76/1123.22	c |    657581 |  136987  3193177  9687096 | 2147483647   657578     77 |  0.002 % |
1123.16/1123.64	c |    657692 |  136987  3193177  9687096 | 2147483647   657689     77 |  0.002 % |
1123.77/1124.22	c |    657815 |  136987  3193177  9687096 | 2147483647   657812     77 |  0.002 % |
1124.16/1124.67	c |    657949 |  136987  3193177  9687096 | 2147483647   657946     77 |  0.002 % |
1124.66/1125.16	c |    658095 |  136987  3193177  9687096 | 2147483647   658092     77 |  0.002 % |
1125.36/1125.84	c |    658255 |  136987  3193177  9687096 | 2147483647   658252     77 |  0.002 % |
1126.26/1126.70	c |    658431 |  136987  3193177  9687096 | 2147483647   658428     77 |  0.002 % |
1126.96/1127.47	c |    658625 |  136987  3193177  9687096 | 2147483647   658622     77 |  0.002 % |
1127.96/1128.41	c |    658837 |  136987  3193177  9687096 | 2147483647   658834     77 |  0.001 % |
1128.36/1128.88	c |    659070 |  136987  3193177  9687096 | 2147483647   659067     77 |  0.001 % |
1129.06/1129.51	c |    659326 |  136987  3193177  9687096 | 2147483647   659323     77 |  0.001 % |
1130.16/1130.64	c |    659607 |  136987  3193177  9687096 | 2147483647   659604     77 |  0.002 % |
1130.96/1131.43	c |    659916 |  136987  3193177  9687096 | 2147483647   659913     77 |  0.001 % |
1131.86/1132.31	c |    660255 |  136987  3193177  9687096 | 2147483647   660252     77 |  0.001 % |
1132.46/1132.91	c |    660627 |  136987  3193177  9687096 | 2147483647   660624     77 |  0.001 % |
1133.05/1133.52	c |    661036 |  136987  3193177  9687096 | 2147483647   661033     77 |  0.001 % |
1134.35/1134.81	c |    661486 |  136987  3193177  9687096 | 2147483647   661483     77 |  0.001 % |
1136.25/1136.70	c |    661979 |  136987  3193177  9687096 | 2147483647   661976     77 |  0.002 % |
1137.25/1137.77	c |    662521 |  136987  3193177  9687096 | 2147483647   662518     77 |  0.002 % |
1138.95/1139.40	c |    663119 |  136987  3193177  9687096 | 2147483647   663116     77 |  0.002 % |
1141.05/1141.51	c |    663774 |  136987  3193177  9687096 | 2147483647   663771     77 |  0.001 % |
1142.85/1143.36	c |    664495 |  136987  3193177  9687096 | 2147483647   664492     77 |  0.001 % |
1144.85/1145.36	c |    665287 |  136987  3193177  9687096 | 2147483647   665284     77 |  0.001 % |
1146.45/1146.96	c |    666158 |  136987  3193177  9687096 | 2147483647   666155     77 |  0.001 % |
1148.54/1149.08	c |    667116 |  136987  3193177  9687096 | 2147483647   667113     77 |  0.001 % |
1150.94/1151.43	c |    668169 |  136987  3193177  9687096 | 2147483647   668166     77 |  0.002 % |
1153.25/1153.72	c |    669327 |  136987  3193177  9687096 | 2147483647   669324     77 |  0.002 % |
1156.15/1156.69	c |    670602 |  136987  3193177  9687096 | 2147483647   670599     77 |  0.002 % |
1159.25/1159.73	c |    672004 |  136987  3193177  9687096 | 2147483647   672001     77 |  0.001 % |
1162.54/1163.05	c |    673544 |  136987  3193177  9687096 | 2147483647   673541     77 |  0.002 % |
1166.44/1166.99	c |    675239 |  136987  3193177  9687096 | 2147483647   675236     77 |  0.001 % |
1170.94/1171.43	c |    677102 |  136987  3193177  9687096 | 2147483647   677099     77 |  0.002 % |
1175.74/1176.25	c |    679153 |  136987  3193177  9687096 | 2147483647   679150     77 |  0.002 % |
1180.94/1181.41	c |    681407 |  136987  3193177  9687096 | 2147483647   681404     77 |  0.002 % |
1186.34/1186.81	c |    683885 |  136987  3193177  9687096 | 2147483647   683882     77 |  0.002 % |
1194.63/1195.18	c |    686610 |  136987  3193177  9687096 | 2147483647   686607     77 |  0.001 % |

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-1832397-1242772764/watcher-1832397-1242772764 -o /tmp/evaluation-result-1832397-1242772764/solver-1832397-1242772764 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832397-1242772764.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 20734
/proc/meminfo: memFree=1634496/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0

[startup+0.091879 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 20734
/proc/meminfo: memFree=1634496/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101878 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 20734
/proc/meminfo: memFree=1634496/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301898 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 20734
/proc/meminfo: memFree=1634496/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701935 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 20734
/proc/meminfo: memFree=1634496/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50201 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20739
/proc/meminfo: memFree=1556208/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
[pid=20738] ppid=20734 vsize=133564 CPUtime=1.49
/proc/20738/stat : 20738 (SatELite_releas) R 20734 20734 20506 0 -1 4194304 28420 0 0 0 127 22 0 0 25 0 1 0 305303990 136769536 28406 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/20738/statm: 33391 28406 49 173 0 33216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138920

[startup+3.10216 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20739
/proc/meminfo: memFree=1477936/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
[pid=20738] ppid=20734 vsize=252556 CPUtime=3.08
/proc/20738/stat : 20738 (SatELite_releas) R 20734 20734 20506 0 -1 4194304 61654 0 0 0 267 41 0 0 25 0 1 0 305303990 258617344 57000 1992294400 134512640 135223648 4294956128 18446744073709551615 134587353 0 0 4096 3 0 0 0 17 1 0 0
/proc/20738/statm: 63139 57000 76 173 0 62964 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 257912

[startup+6.30146 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20739
/proc/meminfo: memFree=1393264/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
[pid=20738] ppid=20734 vsize=265748 CPUtime=6.28
/proc/20738/stat : 20738 (SatELite_releas) R 20734 20734 20506 0 -1 4194304 64493 0 0 0 584 44 0 0 25 0 1 0 305303990 272125952 59688 1992294400 134512640 135223648 4294956128 18446744073709551615 134586971 0 0 4096 3 0 0 0 17 1 0 0
/proc/20738/statm: 66437 59688 76 173 0 66262 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 271104

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20739
/proc/meminfo: memFree=1372280/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
[pid=20738] ppid=20734 vsize=299252 CPUtime=12.68
/proc/20738/stat : 20738 (SatELite_releas) R 20734 20734 20506 0 -1 4194304 69842 0 0 0 1222 46 0 0 25 0 1 0 305303990 306434048 64847 1992294400 134512640 135223648 4294956128 18446744073709551615 134602220 0 0 4096 3 0 0 0 17 1 0 0
/proc/20738/statm: 74813 64847 76 173 0 74638 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 304608

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20739
/proc/meminfo: memFree=1381816/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=0
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305303989 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20734/statm: 1339 237 197 169 0 50 0
[pid=20738] ppid=20734 vsize=265604 CPUtime=25.48
/proc/20738/stat : 20738 (SatELite_releas) R 20734 20734 20506 0 -1 4194304 81702 0 0 0 2489 59 0 0 25 0 1 0 305303990 271978496 59768 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/20738/statm: 66401 59768 78 173 0 66226 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 270960

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20740
/proc/meminfo: memFree=1414456/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=148552 CPUtime=23.15
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 36476 0 0 0 2291 24 0 0 25 0 1 0 305306782 152117248 36442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 37138 36442 77 171 0 36965 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 153908

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20740
/proc/meminfo: memFree=1406904/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=155928 CPUtime=74.32
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 38319 0 0 0 7406 26 0 0 25 0 1 0 305306782 159670272 38285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 38982 38285 77 171 0 38809 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 161284

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20740
/proc/meminfo: memFree=1394936/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=168016 CPUtime=134.29
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 41303 0 0 0 13399 30 0 0 25 0 1 0 305306782 172048384 41269 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 42004 41269 77 171 0 41831 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 173372

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1383544/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=179252 CPUtime=194.27
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 44110 0 0 0 19394 33 0 0 25 0 1 0 305306782 183554048 44076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 44813 44076 77 171 0 44640 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 184608

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1369336/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=193528 CPUtime=254.24
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 47650 0 0 0 25389 35 0 0 25 0 1 0 305306782 198172672 47616 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 48382 47616 77 171 0 48209 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 198884

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1352376/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=210316 CPUtime=314.21
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 51885 0 0 0 31382 39 0 0 25 0 1 0 305306782 215363584 51851 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 52579 51851 77 171 0 52406 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 215672

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1335544/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=227428 CPUtime=374.19
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 56085 0 0 0 37375 44 0 0 25 0 1 0 305306782 232886272 56051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 56857 56051 77 171 0 56684 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 232784

[startup+462.302 s]

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

/proc/20740/statm: 69207 68345 77 171 0 69034 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 282184

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1273784/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=288540 CPUtime=614.11
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 71341 0 0 0 61349 62 0 0 25 0 1 0 305306782 295464960 71307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 72135 71307 77 171 0 71962 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 293896

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1261688/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=300500 CPUtime=674.08
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 74334 0 0 0 67343 65 0 0 25 0 1 0 305306782 307712000 74300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 75125 74300 77 171 0 74952 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 305856

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1247928/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=315264 CPUtime=734.07
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 77730 0 0 0 73338 69 0 0 25 0 1 0 305306782 322830336 77696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 78816 77696 77 171 0 78643 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 320620

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1237304/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=326168 CPUtime=794.05
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 80384 0 0 0 79333 72 0 0 25 0 1 0 305306782 333996032 80350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 81542 80350 77 171 0 81369 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 331524

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1227832/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=335292 CPUtime=854.03
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 82711 0 0 0 85328 75 0 0 25 0 1 0 305306782 343339008 82677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 83823 82677 77 171 0 83650 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 340648

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1216120/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=347204 CPUtime=914.01
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 85644 0 0 0 91323 78 0 0 25 0 1 0 305306782 355536896 85610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 86801 85610 77 171 0 86628 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 352560

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1206328/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=357012 CPUtime=973.99
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 88020 0 0 0 97319 80 0 0 25 0 1 0 305306782 365580288 87986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 89253 87986 77 171 0 89080 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 362368

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 3/66 20742
/proc/meminfo: memFree=1195000/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=368424 CPUtime=1033.98
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 90900 0 0 0 103313 85 0 0 25 0 1 0 305306782 377266176 90866 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 92106 90866 77 171 0 91933 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 373780

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1184504/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=378440 CPUtime=1093.96
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 93447 0 0 0 109308 88 0 0 25 0 1 0 305306782 387522560 93413 1992294400 134512640 135215339 4294956240 18446744073709551615 134538110 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 94610 93413 77 171 0 94437 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 383796

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1176696/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=386356 CPUtime=1153.94
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 95380 0 0 0 115304 90 0 0 25 0 1 0 305306782 395628544 95346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 96589 95346 77 171 0 96416 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 391712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1174520/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=388488 CPUtime=1172.14
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 95888 0 0 0 117123 91 0 0 25 0 1 0 305306782 397811712 95854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 97122 95854 77 171 0 96949 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 393844

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 20742
/proc/meminfo: memFree=1174520/2055920 swapFree=4078356/4192956
[pid=20734] ppid=20732 vsize=5356 CPUtime=27.9
/proc/20734/stat : 20734 (SatELiteGTI) S 20732 20734 20506 0 -1 4194304 336 81953 0 0 0 0 2708 82 16 0 1 0 305303989 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20734/statm: 1339 239 197 169 0 50 0
[pid=20740] ppid=20734 vsize=388488 CPUtime=1172.14
/proc/20740/stat : 20740 (minisat_static) R 20734 20734 20506 0 -1 4194304 95888 0 0 0 117123 91 0 0 25 0 1 0 305306782 397811712 95854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20740/statm: 97122 95854 77 171 0 96949 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 393844

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20734 and gives
#  childrusage.ru_utime.tv_sec=27
#  childrusage.ru_utime.tv_usec=81882
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=832873
# CPU time returned by wait4() is 27.9148
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1198.31
CPU system time (s): 1.73
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 393844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0819
system time used= 0.832873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82289
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= 13
involuntary context switches= 93

runsolver used 1.41478 second user time and 3.06853 second system time

The end

Launcher Data 

Begin job on node61 at 2009-05-20 00:39:29
IDJOB=1832397
IDBENCH=69571
IDSOLVER=671
FILE ID=node61/1832397-1242772764
PBS_JOBID= 9322240
Free space on /tmp= 66320 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832397-1242772764/watcher-1832397-1242772764 -o /tmp/evaluation-result-1832397-1242772764/solver-1832397-1242772764 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832397-1242772764.cnf

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1184020153

node61.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.216
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.216
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:       1634976 kB
Buffers:         16436 kB
Cached:         258032 kB
SwapCached:     109052 kB
Active:         160620 kB
Inactive:       225080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1634976 kB
SwapTotal:     4192956 kB
SwapFree:      4078356 kB
Dirty:           70316 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            21312 kB
Committed_AS:  1025520 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node61 at 2009-05-20 00:59:31