Trace number 1832223

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.09 1200.81

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
MD5SUM4c4e7e1211c6b5f2d2564e77e64df6f5
Bench CategoryCRAFTED (crafted 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 variables12558
Number of clauses1112504
Sum of the clauses size2234596
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21111019
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51484

Solver Data 

0.00/0.00	c Parsing...
0.00/0.86	c ==============================================================================
0.00/0.86	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.86	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.86	c ==============================================================================
0.00/0.86	c |         0 | 1112504  2234596 |  333751       0        0     nan |  0.000 % |
12.68/12.77	c |         0 | 1085262  3486593 |      --       0       --      -- |     --   | -27242/1251997
12.68/12.77	c ==============================================================================
12.68/12.77	c Result  :   #vars: 10979   #clauses: 1085262   #literals: 3486593
12.68/12.77	c CPU time:   12.5561 s
12.68/12.77	c ==============================================================================
13.77/13.85	c This is MiniSat 2.0 beta
13.77/13.85	c WARNING: for repeatability, setting FPU to use double precision
13.77/13.85	c ============================[ Problem Statistics ]=============================
13.77/13.85	c |                                                                             |
13.77/13.86	c |  Number of variables:  10979                                                |
13.77/13.86	c |  Number of clauses:    1085262                                              |
14.56/14.65	c |  Parsing time:         0.72         s                                       |
14.66/14.73	c ============================[ Search Statistics ]==============================
14.66/14.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.66/14.73	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.66/14.73	c ===============================================================================
14.66/14.73	c |         0 |   10979  1085262  3486593 |   361754        0    nan |  0.000 % |
14.96/15.02	c |       100 |   10979  1085262  3486593 |   361754      100     11 |  0.000 % |
15.16/15.22	c |       200 |   10975  1085262  3486593 |   361754      196     10 |  0.036 % |
15.26/15.36	c |       305 |   10975  1085262  3486593 |   361754      301     12 |  0.036 % |
15.36/15.49	c |       416 |   10974  1085262  3486593 |   361754      411     13 |  0.046 % |
15.55/15.67	c |       518 |   10971  1085262  3486593 |   361754      509     13 |  0.082 % |
15.75/15.86	c |       628 |   10968  1085262  3486593 |   361754      617     12 |  0.100 % |
15.95/16.03	c |       749 |   10967  1085262  3486593 |   361754      737     12 |  0.109 % |
16.15/16.23	c |       849 |   10967  1085262  3486593 |   361754      837     13 |  0.109 % |
16.36/16.46	c |       959 |   10967  1085262  3486593 |   361754      947     13 |  0.109 % |
16.55/16.69	c |      1080 |   10967  1085262  3486593 |   361754     1068     13 |  0.109 % |
16.85/16.91	c |      1215 |   10966  1085262  3486593 |   361754     1202     13 |  0.119 % |
17.05/17.12	c |      1315 |   10965  1085262  3486593 |   361754     1301     13 |  0.128 % |
17.15/17.29	c |      1425 |   10965  1085262  3486593 |   361754     1411     14 |  0.128 % |
17.35/17.47	c |      1546 |   10965  1085262  3486593 |   361754     1532     14 |  0.128 % |
17.56/17.67	c |      1679 |   10964  1085262  3486593 |   361754     1664     13 |  0.137 % |
17.75/17.88	c |      1825 |   10963  1085262  3486593 |   361754     1809     13 |  0.146 % |
17.95/18.04	c |      1925 |   10960  1085262  3486593 |   361754     1906     13 |  0.173 % |
18.15/18.23	c |      2036 |   10959  1085262  3486593 |   361754     2016     13 |  0.182 % |
18.25/18.38	c |      2157 |   10957  1085262  3486593 |   361754     2135     13 |  0.209 % |
18.46/18.59	c |      2290 |   10957  1085262  3486593 |   361754     2268     13 |  0.210 % |
18.67/18.79	c |      2436 |   10956  1085262  3486593 |   361754     2413     13 |  0.219 % |
18.96/19.03	c |      2596 |   10955  1085262  3486593 |   361754     2572     14 |  0.228 % |
19.06/19.19	c |      2696 |   10954  1085262  3486593 |   361754     2671     14 |  0.237 % |
19.26/19.36	c |      2806 |   10954  1085262  3486593 |   361754     2781     14 |  0.237 % |
19.46/19.53	c |      2927 |   10953  1085262  3486593 |   361754     2901     14 |  0.246 % |
19.66/19.72	c |      3060 |   10953  1085262  3486593 |   361754     3034     14 |  0.246 % |
19.76/19.89	c |      3206 |   10951  1085262  3486593 |   361754     3178     14 |  0.264 % |
20.06/20.12	c |      3366 |   10949  1085262  3486593 |   361754     3336     14 |  0.282 % |
20.26/20.39	c |      3542 |   10949  1085262  3486593 |   361754     3512     14 |  0.282 % |
20.46/20.53	c |      3642 |   10949  1085262  3486593 |   361754     3612     14 |  0.282 % |
20.66/20.70	c |      3753 |   10947  1085262  3486593 |   361754     3721     14 |  0.301 % |
20.76/20.86	c |      3875 |   10946  1085262  3486593 |   361754     3842     14 |  0.310 % |
20.95/21.09	c |      4008 |   10946  1085262  3486593 |   361754     3975     14 |  0.310 % |
21.15/21.29	c |      4154 |   10946  1085262  3486593 |   361754     4121     14 |  0.310 % |
21.55/21.60	c |      4314 |   10946  1085262  3486593 |   361754     4281     14 |  0.310 % |
21.75/21.83	c |      4490 |   10942  1085262  3486593 |   361754     4453     14 |  0.346 % |
22.05/22.11	c |      4683 |   10940  1085262  3486593 |   361754     4644     14 |  0.364 % |
22.15/22.23	c |      4783 |   10940  1085262  3486593 |   361754     4744     14 |  0.364 % |
22.25/22.40	c |      4894 |   10939  1085262  3486593 |   361754     4854     14 |  0.373 % |
22.55/22.65	c |      5015 |   10939  1085262  3486593 |   361754     4975     14 |  0.373 % |
22.75/22.89	c |      5148 |   10938  1085262  3486593 |   361754     5107     14 |  0.383 % |
23.06/23.11	c |      5294 |   10937  1085262  3486593 |   361754     5252     14 |  0.392 % |
23.25/23.31	c |      5454 |   10937  1085262  3486593 |   361754     5412     14 |  0.392 % |
23.55/23.61	c |      5630 |   10936  1085262  3486593 |   361754     5587     14 |  0.401 % |
23.85/23.95	c |      5823 |   10932  1085262  3486593 |   361754     5776     14 |  0.437 % |
24.06/24.18	c |      6035 |   10932  1085262  3486593 |   361754     5988     14 |  0.437 % |
24.25/24.33	c |      6135 |   10930  1085262  3486593 |   361754     6086     14 |  0.456 % |
24.35/24.48	c |      6246 |   10930  1085262  3486593 |   361754     6197     14 |  0.456 % |
24.55/24.66	c |      6367 |   10927  1085262  3486593 |   361754     6315     14 |  0.483 % |
24.75/24.85	c |      6500 |   10927  1085262  3486593 |   361754     6448     14 |  0.483 % |
24.95/25.07	c |      6648 |   10926  1085262  3486593 |   361754     6595     14 |  0.492 % |
25.25/25.33	c |      6808 |   10923  1085262  3486593 |   361754     6752     14 |  0.519 % |
25.55/25.61	c |      6984 |   10922  1085262  3486593 |   361754     6927     14 |  0.528 % |
25.75/25.88	c |      7177 |   10917  1085262  3486593 |   361754     7115     14 |  0.574 % |
26.25/26.33	c |      7389 |   10914  1072805  3453188 |   361754     7262     14 |  0.592 % |
26.55/26.63	c |      7622 |   10910  1072805  3453188 |   361754     7491     14 |  0.629 % |
26.75/26.80	c |      7722 |   10910  1072805  3453188 |   361754     7591     14 |  0.628 % |
26.85/26.98	c |      7832 |   10909  1072805  3453188 |   361754     7700     14 |  0.638 % |
27.05/27.17	c |      7953 |   10909  1072805  3453188 |   361754     7821     14 |  0.638 % |
27.35/27.42	c |      8086 |   10907  1072805  3453188 |   361754     7952     14 |  0.656 % |
27.55/27.62	c |      8233 |   10905  1072805  3453188 |   361754     8097     14 |  0.674 % |
27.75/27.89	c |      8394 |   10905  1072805  3453188 |   361754     8258     14 |  0.674 % |
28.05/28.19	c |      8570 |   10905  1072805  3453188 |   361754     8434     14 |  0.674 % |
28.35/28.48	c |      8764 |   10905  1072805  3453188 |   361754     8628     14 |  0.674 % |
28.65/28.77	c |      8976 |   10902  1072805  3453188 |   361754     8837     14 |  0.710 % |
29.05/29.11	c |      9209 |   10900  1072805  3453188 |   361754     9068     14 |  0.729 % |
29.35/29.47	c |      9465 |   10897  1072805  3453188 |   361754     9321     14 |  0.756 % |
29.55/29.63	c |      9565 |   10897  1072805  3453188 |   361754     9420     14 |  0.765 % |
29.65/29.77	c |      9675 |   10896  1072805  3453188 |   361754     9530     14 |  0.765 % |
29.84/29.92	c |      9797 |   10895  1072805  3453188 |   361754     9651     14 |  0.774 % |
30.04/30.11	c |      9930 |   10892  1072805  3453188 |   361754     9781     14 |  0.802 % |
30.14/30.29	c |     10077 |   10889  1072805  3453188 | 2147483647     9925     14 |  0.829 % |
30.44/30.58	c |     10237 |   10888  1072805  3453188 | 2147483647    10084     14 |  0.838 % |
30.74/30.81	c |     10413 |   10888  1072805  3453188 | 2147483647    10260     14 |  0.838 % |
30.94/31.06	c |     10607 |   10888  1072805  3453188 | 2147483647    10454     14 |  0.838 % |
31.24/31.39	c |     10820 |   10887  1072805  3453188 | 2147483647    10666     14 |  0.847 % |
31.64/31.79	c |     11053 |   10884  1072805  3453188 | 2147483647    10896     14 |  0.874 % |
32.03/32.19	c |     11309 |   10884  1072805  3453188 | 2147483647    11152     14 |  0.875 % |
32.43/32.53	c |     11591 |   10883  1072805  3453188 | 2147483647    11433     14 |  0.893 % |
32.53/32.67	c |     11692 |   10882  1072805  3453188 | 2147483647    11533     14 |  0.902 % |
32.73/32.84	c |     11802 |   10881  1072805  3453188 | 2147483647    11642     14 |  0.911 % |
32.94/33.01	c |     11923 |   10881  1072805  3453188 | 2147483647    11763     14 |  0.911 % |
33.13/33.26	c |     12057 |   10878  1072805  3453188 | 2147483647    11894     14 |  0.938 % |
33.33/33.49	c |     12203 |   10873  1072805  3453188 | 2147483647    12035     14 |  0.984 % |
33.63/33.76	c |     12365 |   10873  1072805  3453188 | 2147483647    12197     14 |  0.984 % |
33.94/34.04	c |     12541 |   10873  1072805  3453188 | 2147483647    12373     14 |  0.984 % |
34.23/34.31	c |     12735 |   10869  1072805  3453188 | 2147483647    12563     14 |  1.029 % |
34.53/34.63	c |     12947 |   10868  1072805  3453188 | 2147483647    12774     14 |  1.038 % |
34.93/35.02	c |     13180 |   10868  1072805  3453188 | 2147483647    13007     14 |  1.038 % |
35.32/35.45	c |     13436 |   10867  1072805  3453188 | 2147483647    13262     14 |  1.048 % |
35.82/35.91	c |     13718 |   10867  1072805  3453188 | 2147483647    13544     14 |  1.047 % |
36.23/36.32	c |     14027 |   10866  1072805  3453188 | 2147483647    13852     14 |  1.057 % |
36.32/36.45	c |     14129 |   10866  1072805  3453188 | 2147483647    13954     14 |  1.057 % |
36.52/36.61	c |     14240 |   10865  1072805  3453188 | 2147483647    14064     14 |  1.066 % |
36.62/36.79	c |     14361 |   10865  1072805  3453188 | 2147483647    14185     15 |  1.066 % |
36.82/36.99	c |     14494 |   10865  1072805  3453188 | 2147483647    14318     15 |  1.066 % |
37.12/37.25	c |     14641 |   10865  1072805  3453188 | 2147483647    14465     15 |  1.066 % |
37.42/37.50	c |     14801 |   10863  1072805  3453188 | 2147483647    14623     15 |  1.084 % |
37.62/37.74	c |     14977 |   10863  1072805  3453188 | 2147483647    14799     15 |  1.084 % |
37.92/38.02	c |     15171 |   10863  1072805  3453188 | 2147483647    14993     15 |  1.084 % |
38.22/38.30	c |     15383 |   10863  1072805  3453188 | 2147483647    15205     15 |  1.084 % |
38.62/38.77	c |     15616 |   10860  1061618  3422410 | 2147483647    15374     15 |  1.084 % |
38.92/39.08	c |     15872 |   10858  1061618  3422410 | 2147483647    15628     15 |  1.102 % |
39.43/39.53	c |     16153 |   10856  1061618  3422410 | 2147483647    15907     15 |  1.121 % |
39.83/39.96	c |     16465 |   10856  1061618  3422410 | 2147483647    16219     15 |  1.120 % |
40.33/40.49	c |     16804 |   10856  1061618  3422410 | 2147483647    16558     15 |  1.120 % |
40.53/40.64	c |     16909 |   10856  1061618  3422410 | 2147483647    16663     15 |  1.120 % |
40.73/40.82	c |     17019 |   10854  1061618  3422410 | 2147483647    16771     15 |  1.139 % |
40.93/41.01	c |     17141 |   10853  1061618  3422410 | 2147483647    16892     15 |  1.148 % |
41.13/41.23	c |     17274 |   10853  1061618  3422410 | 2147483647    17025     15 |  1.148 % |
41.33/41.49	c |     17420 |   10852  1061618  3422410 | 2147483647    17170     15 |  1.157 % |
41.63/41.74	c |     17580 |   10849  1061618  3422410 | 2147483647    17327     15 |  1.184 % |
41.83/41.99	c |     17757 |   10849  1061618  3422410 | 2147483647    17504     15 |  1.184 % |
42.12/42.26	c |     17951 |   10847  1061618  3422410 | 2147483647    17696     15 |  1.202 % |
42.42/42.53	c |     18163 |   10847  1061618  3422410 | 2147483647    17908     15 |  1.202 % |
42.83/42.96	c |     18396 |   10845  1061618  3422410 | 2147483647    18139     15 |  1.221 % |
43.22/43.35	c |     18652 |   10845  1061618  3422410 | 2147483647    18395     15 |  1.221 % |
43.62/43.75	c |     18933 |   10842  1061618  3422410 | 2147483647    18673     15 |  1.248 % |
44.02/44.19	c |     19242 |   10841  1061618  3422410 | 2147483647    18981     15 |  1.257 % |
44.53/44.68	c |     19581 |   10840  1061618  3422410 | 2147483647    19319     15 |  1.266 % |
45.22/45.33	c |     19954 |   10840  1061618  3422410 | 2147483647    19692     15 |  1.266 % |
45.32/45.50	c |     20054 |   10840  1061618  3422410 | 2147483647    19792     16 |  1.266 % |
45.52/45.69	c |     20166 |   10839  1061618  3422410 | 2147483647    19903     15 |  1.275 % |
45.72/45.83	c |     20290 |   10839  1061618  3422410 | 2147483647    20027     16 |  1.275 % |
45.92/46.01	c |     20423 |   10839  1061618  3422410 | 2147483647    20160     16 |  1.275 % |
46.12/46.23	c |     20569 |   10839  1061618  3422410 | 2147483647    20306     16 |  1.275 % |
46.42/46.50	c |     20729 |   10836  1061618  3422410 | 2147483647    20463     16 |  1.302 % |
46.62/46.75	c |     20905 |   10836  1061618  3422410 | 2147483647    20639     16 |  1.302 % |
46.91/47.04	c |     21098 |   10836  1061618  3422410 | 2147483647    20832     16 |  1.302 % |
47.22/47.38	c |     21310 |   10835  1061618  3422410 | 2147483647    21043     16 |  1.312 % |
47.51/47.69	c |     21543 |   10835  1061618  3422410 | 2147483647    21276     16 |  1.312 % |
47.91/48.07	c |     21801 |   10835  1061618  3422410 | 2147483647    21534     16 |  1.312 % |
48.41/48.50	c |     22082 |   10834  1061618  3422410 | 2147483647    21814     16 |  1.321 % |
48.81/48.92	c |     22391 |   10834  1061618  3422410 | 2147483647    22123     16 |  1.321 % |
49.32/49.49	c |     22731 |   10833  1061618  3422410 | 2147483647    22462     16 |  1.339 % |
49.91/50.07	c |     23103 |   10833  1061618  3422410 | 2147483647    22834     16 |  1.339 % |
50.61/50.75	c |     23512 |   10832  1061618  3422410 | 2147483647    23242     16 |  1.348 % |
50.81/50.91	c |     23612 |   10832  1061618  3422410 | 2147483647    23342     16 |  1.348 % |
50.91/51.07	c |     23723 |   10832  1061618  3422410 | 2147483647    23453     16 |  1.348 % |
51.11/51.28	c |     23844 |   10829  1061618  3422410 | 2147483647    23571     16 |  1.375 % |
51.31/51.49	c |     23977 |   10829  1061618  3422410 | 2147483647    23704     16 |  1.375 % |
51.71/51.84	c |     24123 |   10826  1055135  3404453 | 2147483647    23814     16 |  1.403 % |
52.01/52.11	c |     24283 |   10826  1055135  3404453 | 2147483647    23974     16 |  1.403 % |
52.31/52.40	c |     24459 |   10826  1055135  3404453 | 2147483647    24150     16 |  1.403 % |
52.51/52.68	c |     24652 |   10825  1055135  3404453 | 2147483647    24342     16 |  1.412 % |
52.81/52.95	c |     24866 |   10825  1055135  3404453 | 2147483647    24556     16 |  1.412 % |
53.21/53.33	c |     25100 |   10825  1055135  3404453 | 2147483647    24790     16 |  1.412 % |
53.61/53.78	c |     25356 |   10825  1055135  3404453 | 2147483647    25046     17 |  1.412 % |
54.10/54.23	c |     25638 |   10824  1055135  3404453 | 2147483647    25326     17 |  1.430 % |
54.51/54.68	c |     25947 |   10823  1055135  3404453 | 2147483647    25634     17 |  1.439 % |
55.11/55.26	c |     26286 |   10823  1055135  3404453 | 2147483647    25973     17 |  1.439 % |
55.70/55.85	c |     26658 |   10819  1055135  3404453 | 2147483647    26341     17 |  1.476 % |
56.40/56.57	c |     27067 |   10819  1055135  3404453 | 2147483647    26750     17 |  1.476 % |
57.11/57.21	c |     27516 |   10819  1055135  3404453 | 2147483647    27199     17 |  1.476 % |
57.30/57.41	c |     27616 |   10818  1055135  3404453 | 2147483647    27298     17 |  1.485 % |
57.50/57.65	c |     27728 |   10818  1055135  3404453 | 2147483647    27410     17 |  1.485 % |
57.70/57.87	c |     27850 |   10818  1055135  3404453 | 2147483647    27532     17 |  1.485 % |
57.90/58.05	c |     27983 |   10817  1055135  3404453 | 2147483647    27664     17 |  1.494 % |
58.11/58.28	c |     28129 |   10817  1055135  3404453 | 2147483647    27810     17 |  1.494 % |
58.40/58.55	c |     28290 |   10817  1055135  3404453 | 2147483647    27971     17 |  1.494 % |
58.70/58.81	c |     28466 |   10815  1055135  3404453 | 2147483647    28145     17 |  1.512 % |
59.00/59.19	c |     28659 |   10814  1055135  3404453 | 2147483647    28337     17 |  1.521 % |
59.40/59.56	c |     28871 |   10814  1055135  3404453 | 2147483647    28549     17 |  1.521 % |
59.80/59.93	c |     29105 |   10814  1055135  3404453 | 2147483647    28783     17 |  1.521 % |
60.10/60.25	c |     29361 |   10811  1055135  3404453 | 2147483647    29036     17 |  1.548 % |
60.50/60.68	c |     29642 |   10811  1055135  3404453 | 2147483647    29317     17 |  1.548 % |
61.00/61.14	c |     29951 |   10811  1055135  3404453 | 2147483647    29626     17 |  1.548 % |
61.50/61.68	c |     30292 |   10810  1055135  3404453 | 2147483647    29966     17 |  1.558 % |
62.20/62.34	c |     30664 |   10808  1055135  3404453 | 2147483647    30336     17 |  1.576 % |
62.90/63.04	c |     31073 |   10807  1055135  3404453 | 2147483647    30744     17 |  1.585 % |
63.60/63.79	c |     31522 |   10805  1055135  3404453 | 2147483647    31191     17 |  1.603 % |
64.40/64.51	c |     32016 |   10804  1055135  3404453 | 2147483647    31684     17 |  1.612 % |
64.50/64.69	c |     32116 |   10804  1055135  3404453 | 2147483647    31784     17 |  1.612 % |
64.70/64.85	c |     32227 |   10803  1055135  3404453 | 2147483647    31894     17 |  1.621 % |
64.90/65.08	c |     32348 |   10803  1055135  3404453 | 2147483647    32015     17 |  1.621 % |
65.20/65.35	c |     32481 |   10802  1055135  3404453 | 2147483647    32147     17 |  1.631 % |
65.50/65.62	c |     32627 |   10801  1055135  3404453 | 2147483647    32292     18 |  1.640 % |
65.70/65.88	c |     32787 |   10800  1055135  3404453 | 2147483647    32451     17 |  1.649 % |
66.00/66.13	c |     32963 |   10799  1055135  3404453 | 2147483647    32626     17 |  1.658 % |
66.40/66.55	c |     33156 |   10797  1049066  3387916 | 2147483647    32746     18 |  1.658 % |
66.79/66.90	c |     33368 |   10797  1049066  3387916 | 2147483647    32958     18 |  1.658 % |
67.09/67.21	c |     33601 |   10797  1049066  3387916 | 2147483647    33191     18 |  1.658 % |
67.49/67.70	c |     33857 |   10797  1049066  3387916 | 2147483647    33447     18 |  1.658 % |
67.89/68.08	c |     34138 |   10797  1049066  3387916 | 2147483647    33728     18 |  1.658 % |
68.39/68.54	c |     34447 |   10797  1049066  3387916 | 2147483647    34037     18 |  1.658 % |
68.89/69.04	c |     34786 |   10796  1049066  3387916 | 2147483647    34375     18 |  1.667 % |
69.40/69.55	c |     35160 |   10795  1049066  3387916 | 2147483647    34748     18 |  1.676 % |
70.00/70.16	c |     35569 |   10795  1049066  3387916 | 2147483647    35157     18 |  1.676 % |
70.69/70.86	c |     36018 |   10795  1049066  3387916 | 2147483647    35606     18 |  1.676 % |
71.49/71.69	c |     36512 |   10795  1049066  3387916 | 2147483647    36100     18 |  1.676 % |
72.29/72.46	c |     37054 |   10795  1049066  3387916 | 2147483647    36642     18 |  1.676 % |
72.50/72.63	c |     37154 |   10795  1049066  3387916 | 2147483647    36742     18 |  1.676 % |
72.59/72.75	c |     37264 |   10795  1049066  3387916 | 2147483647    36852     18 |  1.676 % |
72.79/72.95	c |     37387 |   10795  1049066  3387916 | 2147483647    36975     18 |  1.676 % |
72.99/73.18	c |     37520 |   10795  1049066  3387916 | 2147483647    37108     18 |  1.676 % |
73.29/73.45	c |     37668 |   10795  1049066  3387916 | 2147483647    37256     18 |  1.676 % |
73.49/73.67	c |     37828 |   10795  1049066  3387916 | 2147483647    37416     18 |  1.676 % |
73.79/73.94	c |     38004 |   10795  1049066  3387916 | 2147483647    37592     18 |  1.676 % |
74.09/74.29	c |     38197 |   10795  1049066  3387916 | 2147483647    37785     18 |  1.676 % |
74.49/74.67	c |     38409 |   10795  1049066  3387916 | 2147483647    37997     18 |  1.676 % |
74.99/75.11	c |     38642 |   10793  1049066  3387916 | 2147483647    38228     18 |  1.694 % |
75.29/75.46	c |     38898 |   10793  1049066  3387916 | 2147483647    38484     19 |  1.694 % |
75.69/75.87	c |     39180 |   10792  1049066  3387916 | 2147483647    38765     19 |  1.703 % |
76.19/76.36	c |     39490 |   10792  1049066  3387916 | 2147483647    39075     19 |  1.703 % |
76.69/76.87	c |     39829 |   10792  1049066  3387916 | 2147483647    39414     19 |  1.703 % |
77.29/77.47	c |     40201 |   10790  1049066  3387916 | 2147483647    39783     19 |  1.740 % |
77.99/78.18	c |     40610 |   10790  1049066  3387916 | 2147483647    40192     19 |  1.740 % |
78.69/78.85	c |     41060 |   10790  1049066  3387916 | 2147483647    40641     19 |  1.749 % |
79.59/79.72	c |     41554 |   10788  1049066  3387916 | 2147483647    41134     19 |  1.758 % |
80.48/80.67	c |     42096 |   10786  1049066  3387916 | 2147483647    41674     19 |  1.776 % |
81.48/81.60	c |     42694 |   10786  1049066  3387916 | 2147483647    42272     19 |  1.776 % |
81.58/81.75	c |     42795 |   10786  1049066  3387916 | 2147483647    42373     19 |  1.776 % |
81.78/81.90	c |     42905 |   10786  1049066  3387916 | 2147483647    42483     19 |  1.776 % |
81.98/82.16	c |     43026 |   10785  1049066  3387916 | 2147483647    42603     19 |  1.785 % |
82.28/82.47	c |     43159 |   10785  1049066  3387916 | 2147483647    42736     19 |  1.785 % |
82.58/82.80	c |     43305 |   10783  1045801  3379054 | 2147483647    42856     19 |  1.785 % |
82.88/83.02	c |     43466 |   10782  1045801  3379054 | 2147483647    43016     19 |  1.794 % |
83.18/83.32	c |     43643 |   10782  1045801  3379054 | 2147483647    43193     19 |  1.794 % |
83.38/83.58	c |     43836 |   10782  1045801  3379054 | 2147483647    43386     19 |  1.794 % |
83.68/83.81	c |     44048 |   10781  1045801  3379054 | 2147483647    43597     19 |  1.803 % |
83.98/84.13	c |     44282 |   10781  1045801  3379054 | 2147483647    43831     19 |  1.803 % |
84.38/84.54	c |     44539 |   10781  1045801  3379054 | 2147483647    44088     19 |  1.803 % |
84.88/85.03	c |     44821 |   10781  1045801  3379054 | 2147483647    44370     19 |  1.804 % |
85.38/85.54	c |     45130 |   10779  1045801  3379054 | 2147483647    44677     19 |  1.840 % |
85.97/86.13	c |     45470 |   10779  1045801  3379054 | 2147483647    45017     19 |  1.840 % |
86.47/86.69	c |     45844 |   10779  1045801  3379054 | 2147483647    45391     19 |  1.840 % |
87.17/87.34	c |     46253 |   10779  1045801  3379054 | 2147483647    45800     20 |  1.840 % |
87.87/88.06	c |     46702 |   10779  1045801  3379054 | 2147483647    46249     20 |  1.840 % |
88.77/88.91	c |     47196 |   10779  1045801  3379054 | 2147483647    46743     20 |  1.840 % |
89.47/89.68	c |     47739 |   10777  1045801  3379054 | 2147483647    47283     20 |  1.867 % |
90.47/90.67	c |     48337 |   10777  1045801  3379054 | 2147483647    47881     20 |  1.867 % |
91.56/91.74	c |     48993 |   10777  1045801  3379054 | 2147483647    48537     20 |  1.867 % |
91.76/91.93	c |     49093 |   10774  1045801  3379054 | 2147483647    48634     20 |  1.895 % |
91.96/92.11	c |     49203 |   10774  1045801  3379054 | 2147483647    48744     20 |  1.895 % |
92.06/92.25	c |     49324 |   10774  1045801  3379054 | 2147483647    48865     20 |  1.895 % |
92.27/92.44	c |     49458 |   10774  1045801  3379054 | 2147483647    48999     20 |  1.895 % |
92.46/92.68	c |     49604 |   10774  1045801  3379054 | 2147483647    49145     20 |  1.895 % |
92.76/92.96	c |     49765 |   10774  1045801  3379054 | 2147483647    49306     20 |  1.895 % |
93.06/93.27	c |     49941 |   10774  1045801  3379054 | 2147483647    49482     20 |  1.895 % |
93.46/93.60	c |     50135 |   10773  1045801  3379054 | 2147483647    49675     20 |  1.904 % |
93.76/93.94	c |     50348 |   10773  1045801  3379054 | 2147483647    49888     20 |  1.904 % |
94.16/94.32	c |     50581 |   10773  1045801  3379054 | 2147483647    50121     20 |  1.904 % |
94.47/94.63	c |     50838 |   10770  1045801  3379054 | 2147483647    50375     20 |  1.940 % |
94.86/95.08	c |     51119 |   10769  1045801  3379054 | 2147483647    50655     20 |  1.949 % |
95.36/95.50	c |     51428 |   10769  1045801  3379054 | 2147483647    50964     20 |  1.949 % |
95.76/95.94	c |     51767 |   10769  1045801  3379054 | 2147483647    51303     20 |  1.949 % |
96.36/96.55	c |     52139 |   10769  1045801  3379054 | 2147483647    51675     20 |  1.949 % |
97.06/97.22	c |     52548 |   10769  1045801  3379054 | 2147483647    52084     20 |  1.949 % |
97.85/98.04	c |     52997 |   10768  1045801  3379054 | 2147483647    52532     20 |  1.958 % |
98.76/98.93	c |     53492 |   10768  1045801  3379054 | 2147483647    53027     20 |  1.958 % |
99.75/99.91	c |     54034 |   10768  1045801  3379054 | 2147483647    53569     20 |  1.958 % |
100.75/100.93	c |     54630 |   10768  1045801  3379054 | 2147483647    54165     20 |  1.959 % |
101.96/102.13	c |     55287 |   10764  1042169  3368935 | 2147483647    54796     21 |  1.958 % |
103.16/103.30	c |     56008 |   10764  1042169  3368935 | 2147483647    55517     21 |  1.958 % |
103.36/103.53	c |     56108 |   10764  1042169  3368935 | 2147483647    55617     21 |  1.958 % |
103.56/103.74	c |     56221 |   10764  1042169  3368935 | 2147483647    55730     21 |  1.958 % |
103.76/103.93	c |     56342 |   10764  1042169  3368935 | 2147483647    55851     21 |  1.958 % |
103.96/104.16	c |     56476 |   10763  1042169  3368935 | 2147483647    55984     21 |  1.967 % |
104.26/104.42	c |     56622 |   10763  1042169  3368935 | 2147483647    56130     21 |  1.967 % |
104.46/104.67	c |     56782 |   10763  1042169  3368935 | 2147483647    56290     21 |  1.967 % |
104.75/104.99	c |     56958 |   10763  1042169  3368935 | 2147483647    56466     21 |  1.968 % |
105.15/105.39	c |     57151 |   10763  1042169  3368935 | 2147483647    56659     21 |  1.967 % |
105.46/105.69	c |     57363 |   10763  1042169  3368935 | 2147483647    56871     21 |  1.967 % |
105.86/106.09	c |     57596 |   10763  1042169  3368935 | 2147483647    57104     21 |  1.967 % |
106.25/106.46	c |     57853 |   10763  1042169  3368935 | 2147483647    57361     21 |  1.968 % |
106.75/106.99	c |     58134 |   10763  1042169  3368935 | 2147483647    57642     21 |  1.967 % |
107.35/107.53	c |     58444 |   10763  1042169  3368935 | 2147483647    57952     21 |  1.968 % |
108.05/108.20	c |     58783 |   10763  1042169  3368935 | 2147483647    58291     21 |  1.967 % |
108.66/108.83	c |     59157 |   10763  1042169  3368935 | 2147483647    58665     21 |  1.967 % |
109.45/109.60	c |     59566 |   10763  1042169  3368935 | 2147483647    59074     21 |  1.967 % |
110.25/110.46	c |     60016 |   10763  1042169  3368935 | 2147483647    59524     21 |  1.967 % |
111.05/111.24	c |     60509 |   10762  1042169  3368935 | 2147483647    60016     21 |  1.977 % |
111.96/112.16	c |     61052 |   10760  1042169  3368935 | 2147483647    60557     21 |  1.995 % |
112.95/113.13	c |     61648 |   10760  1042169  3368935 | 2147483647    61153     21 |  1.995 % |
114.05/114.30	c |     62303 |   10758  1042169  3368935 | 2147483647    61805     21 |  2.022 % |
115.35/115.54	c |     63023 |   10758  1042169  3368935 | 2147483647    62525     22 |  2.022 % |
116.65/116.86	c |     63816 |   10756  1042169  3368935 | 2147483647    63316     22 |  2.040 % |
116.85/117.05	c |     63916 |   10754  1042169  3368935 | 2147483647    63414     22 |  2.058 % |
117.05/117.23	c |     64026 |   10754  1042169  3368935 | 2147483647    63524     22 |  2.058 % |
117.25/117.44	c |     64147 |   10754  1042169  3368935 | 2147483647    63645     22 |  2.059 % |
117.45/117.64	c |     64281 |   10754  1042169  3368935 | 2147483647    63779     22 |  2.058 % |
117.75/117.91	c |     64427 |   10754  1042169  3368935 | 2147483647    63925     22 |  2.058 % |
118.05/118.23	c |     64587 |   10753  1042169  3368935 | 2147483647    64084     22 |  2.068 % |
118.35/118.55	c |     64763 |   10752  1042169  3368935 | 2147483647    64259     22 |  2.077 % |
118.65/118.88	c |     64956 |   10751  1042169  3368935 | 2147483647    64451     22 |  2.086 % |
119.05/119.25	c |     65168 |   10751  1042169  3368935 | 2147483647    64663     22 |  2.086 % |
119.45/119.60	c |     65401 |   10750  1042169  3368935 | 2147483647    64895     22 |  2.095 % |
119.85/120.09	c |     65657 |   10750  1042169  3368935 | 2147483647    65151     22 |  2.095 % |
120.35/120.53	c |     65938 |   10748  1042169  3368935 | 2147483647    65430     22 |  2.113 % |
120.95/121.11	c |     66249 |   10748  1042169  3368935 | 2147483647    65741     22 |  2.113 % |
121.45/121.63	c |     66588 |   10748  1042169  3368935 | 2147483647    66080     22 |  2.113 % |
122.25/122.41	c |     66960 |   10747  1038675  3359127 | 2147483647    66411     22 |  2.113 % |
122.95/123.12	c |     67371 |   10747  1038675  3359127 | 2147483647    66822     22 |  2.113 % |
123.75/123.97	c |     67821 |   10747  1038675  3359127 | 2147483647    67272     22 |  2.113 % |
124.74/124.91	c |     68314 |   10746  1038675  3359127 | 2147483647    67764     22 |  2.122 % |
125.64/125.87	c |     68857 |   10746  1038675  3359127 | 2147483647    68307     22 |  2.122 % |
126.74/126.93	c |     69453 |   10744  1038675  3359127 | 2147483647    68901     22 |  2.140 % |
127.84/128.08	c |     70108 |   10743  1038675  3359127 | 2147483647    69555     22 |  2.150 % |
129.14/129.33	c |     70829 |   10743  1038675  3359127 | 2147483647    70276     22 |  2.150 % |
130.34/130.55	c |     71621 |   10743  1038675  3359127 | 2147483647    71068     22 |  2.150 % |
131.94/132.13	c |     72492 |   10741  1038675  3359127 | 2147483647    71937     23 |  2.168 % |
132.14/132.38	c |     72592 |   10741  1038675  3359127 | 2147483647    72037     23 |  2.168 % |
132.34/132.58	c |     72702 |   10741  1038675  3359127 | 2147483647    72147     23 |  2.168 % |
132.63/132.80	c |     72823 |   10741  1038675  3359127 | 2147483647    72268     23 |  2.168 % |
132.94/133.12	c |     72956 |   10741  1038675  3359127 | 2147483647    72401     23 |  2.168 % |
133.23/133.41	c |     73102 |   10741  1038675  3359127 | 2147483647    72547     23 |  2.168 % |
133.53/133.72	c |     73262 |   10741  1038675  3359127 | 2147483647    72707     23 |  2.168 % |
133.83/134.08	c |     73438 |   10741  1038675  3359127 | 2147483647    72883     23 |  2.168 % |
134.23/134.44	c |     73631 |   10741  1038675  3359127 | 2147483647    73076     23 |  2.168 % |
134.53/134.76	c |     73843 |   10740  1038675  3359127 | 2147483647    73287     23 |  2.177 % |
134.93/135.16	c |     74076 |   10740  1038675  3359127 | 2147483647    73520     23 |  2.177 % |
135.53/135.72	c |     74332 |   10738  1038675  3359127 | 2147483647    73774     23 |  2.195 % |
136.03/136.22	c |     74617 |   10738  1038675  3359127 | 2147483647    74059     23 |  2.195 % |
136.53/136.74	c |     74926 |   10738  1038675  3359127 | 2147483647    74368     23 |  2.195 % |
137.13/137.35	c |     75265 |   10738  1038675  3359127 | 2147483647    74707     23 |  2.195 % |
137.83/138.05	c |     75638 |   10737  1038675  3359127 | 2147483647    75079     23 |  2.204 % |
138.63/138.86	c |     76047 |   10737  1038675  3359127 | 2147483647    75488     23 |  2.204 % |
139.43/139.66	c |     76496 |   10737  1038675  3359127 | 2147483647    75937     23 |  2.204 % |
140.43/140.60	c |     76990 |   10737  1038675  3359127 | 2147483647    76431     23 |  2.204 % |
141.43/141.66	c |     77533 |   10737  1038675  3359127 | 2147483647    76974     23 |  2.204 % |
142.53/142.77	c |     78129 |   10736  1038675  3359127 | 2147483647    77569     23 |  2.213 % |
143.72/143.96	c |     78784 |   10736  1038675  3359127 | 2147483647    78224     23 |  2.213 % |
145.04/145.21	c |     79504 |   10735  1038675  3359127 | 2147483647    78943     23 |  2.222 % |
146.33/146.50	c |     80296 |   10731  1038675  3359127 | 2147483647    79731     24 |  2.259 % |
147.83/148.02	c |     81167 |   10731  1035526  3350108 | 2147483647    80517     24 |  2.259 % |
149.43/149.62	c |     82127 |   10729  1035526  3350108 | 2147483647    81475     24 |  2.277 % |
149.53/149.79	c |     82228 |   10729  1035526  3350108 | 2147483647    81576     24 |  2.277 % |
149.73/149.99	c |     82338 |   10729  1035526  3350108 | 2147483647    81686     24 |  2.277 % |
149.93/150.19	c |     82459 |   10729  1035526  3350108 | 2147483647    81807     24 |  2.277 % |
150.23/150.47	c |     82592 |   10729  1035526  3350108 | 2147483647    81940     24 |  2.277 % |
150.53/150.72	c |     82738 |   10729  1035526  3350108 | 2147483647    82086     24 |  2.277 % |
150.83/151.00	c |     82898 |   10726  1035526  3350108 | 2147483647    82243     24 |  2.304 % |
151.13/151.40	c |     83074 |   10726  1035526  3350108 | 2147483647    82419     24 |  2.304 % |
151.53/151.75	c |     83267 |   10725  1035526  3350108 | 2147483647    82611     24 |  2.314 % |
151.83/152.08	c |     83479 |   10725  1035526  3350108 | 2147483647    82823     24 |  2.314 % |
152.33/152.50	c |     83713 |   10724  1035526  3350108 | 2147483647    83056     24 |  2.323 % |
152.83/153.06	c |     83971 |   10723  1035526  3350108 | 2147483647    83313     24 |  2.332 % |
153.32/153.58	c |     84252 |   10723  1035526  3350108 | 2147483647    83594     24 |  2.332 % |
153.92/154.17	c |     84561 |   10723  1035526  3350108 | 2147483647    83903     24 |  2.332 % |
154.62/154.88	c |     84902 |   10723  1035526  3350108 | 2147483647    84244     24 |  2.332 % |
155.32/155.56	c |     85274 |   10723  1035526  3350108 | 2147483647    84616     24 |  2.332 % |
156.12/156.35	c |     85684 |   10723  1035526  3350108 | 2147483647    85026     24 |  2.332 % |
157.03/157.27	c |     86135 |   10723  1035526  3350108 | 2147483647    85477     24 |  2.332 % |
158.02/158.20	c |     86628 |   10722  1035526  3350108 | 2147483647    85969     24 |  2.341 % |
159.02/159.27	c |     87170 |   10722  1035526  3350108 | 2147483647    86511     24 |  2.341 % |
160.02/160.23	c |     87767 |   10722  1035526  3350108 | 2147483647    87108     24 |  2.341 % |
161.02/161.22	c |     88422 |   10722  1035526  3350108 | 2147483647    87763     24 |  2.341 % |
162.42/162.68	c |     89145 |   10722  1035526  3350108 | 2147483647    88486     24 |  2.341 % |
163.82/164.08	c |     89937 |   10722  1035526  3350108 | 2147483647    89278     24 |  2.341 % |
165.22/165.48	c |     90809 |   10721  1035526  3350108 | 2147483647    90149     25 |  2.350 % |
167.12/167.37	c |     91769 |   10721  1035526  3350108 | 2147483647    91109     25 |  2.350 % |
168.72/168.93	c |     92823 |   10721  1035526  3350108 | 2147483647    92163     25 |  2.350 % |
168.82/169.09	c |     92923 |   10721  1035526  3350108 | 2147483647    92263     25 |  2.350 % |
169.02/169.29	c |     93033 |   10721  1035526  3350108 | 2147483647    92373     25 |  2.350 % |
169.32/169.55	c |     93156 |   10721  1035526  3350108 | 2147483647    92496     25 |  2.350 % |
169.52/169.77	c |     93291 |   10721  1035526  3350108 | 2147483647    92631     25 |  2.350 % |
169.81/170.09	c |     93437 |   10721  1035526  3350108 | 2147483647    92777     25 |  2.350 % |
170.22/170.41	c |     93597 |   10721  1035526  3350108 | 2147483647    92937     25 |  2.350 % |
170.51/170.77	c |     93773 |   10721  1035526  3350108 | 2147483647    93113     25 |  2.350 % |
170.91/171.14	c |     93968 |   10721  1035526  3350108 | 2147483647    93308     25 |  2.350 % |
171.32/171.57	c |     94180 |   10721  1035526  3350108 | 2147483647    93520     25 |  2.350 % |
171.81/172.04	c |     94413 |   10721  1035526  3350108 | 2147483647    93753     25 |  2.350 % |
172.31/172.53	c |     94669 |   10721  1035526  3350108 | 2147483647    94009     25 |  2.350 % |
172.81/173.08	c |     94950 |   10721  1035526  3350108 | 2147483647    94290     25 |  2.350 % |
173.61/173.83	c |     95259 |   10721  1033782  3344990 | 2147483647    94540     25 |  2.350 % |
174.31/174.55	c |     95599 |   10721  1033782  3344990 | 2147483647    94880     25 |  2.350 % |
175.11/175.33	c |     95971 |   10720  1033782  3344990 | 2147483647    95251     25 |  2.359 % |
175.81/176.07	c |     96380 |   10720  1033782  3344990 | 2147483647    95660     25 |  2.359 % |
176.71/176.91	c |     96830 |   10720  1033782  3344990 | 2147483647    96110     25 |  2.359 % |
177.71/177.90	c |     97323 |   10719  1033782  3344990 | 2147483647    96602     25 |  2.368 % |
178.81/179.06	c |     97865 |   10719  1033782  3344990 | 2147483647    97144     25 |  2.368 % |
179.91/180.12	c |     98461 |   10719  1033782  3344990 | 2147483647    97740     25 |  2.369 % |
180.91/181.11	c |     99116 |   10718  1033782  3344990 | 2147483647    98394     25 |  2.377 % |
182.11/182.39	c |     99836 |   10718  1033782  3344990 | 2147483647    99114     25 |  2.377 % |
183.71/183.94	c |    100630 |   10718  1033782  3344990 | 2147483647    99908     25 |  2.377 % |
185.30/185.57	c |    101501 |   10716  1033782  3344990 | 2147483647   100777     26 |  2.395 % |
187.20/187.46	c |    102459 |   10716  1033782  3344990 | 2147483647   101735     26 |  2.396 % |
189.20/189.40	c |    103514 |   10715  1033782  3344990 | 2147483647   102788     26 |  2.414 % |
191.40/191.64	c |    104672 |   10713  1033782  3344990 | 2147483647   103944     26 |  2.432 % |
191.60/191.83	c |    104772 |   10713  1033782  3344990 | 2147483647   104044     26 |  2.432 % |
191.80/192.05	c |    104882 |   10713  1033782  3344990 | 2147483647   104154     26 |  2.432 % |
192.10/192.31	c |    105003 |   10712  1033782  3344990 | 2147483647   104274     26 |  2.441 % |
192.40/192.64	c |    105137 |   10712  1033782  3344990 | 2147483647   104408     26 |  2.441 % |
192.70/192.92	c |    105283 |   10712  1033782  3344990 | 2147483647   104554     26 |  2.441 % |
193.00/193.22	c |    105443 |   10712  1033782  3344990 | 2147483647   104714     26 |  2.441 % |
193.30/193.56	c |    105619 |   10712  1033782  3344990 | 2147483647   104890     26 |  2.441 % |
193.70/193.95	c |    105812 |   10712  1033782  3344990 | 2147483647   105083     26 |  2.441 % |
194.10/194.32	c |    106024 |   10711  1033782  3344990 | 2147483647   105294     26 |  2.450 % |
194.50/194.76	c |    106257 |   10711  1033782  3344990 | 2147483647   105527     26 |  2.450 % |
195.00/195.26	c |    106513 |   10711  1033782  3344990 | 2147483647   105783     26 |  2.450 % |
195.60/195.85	c |    106794 |   10711  1033782  3344990 | 2147483647   106064     26 |  2.450 % |
196.20/196.42	c |    107103 |   10711  1033782  3344990 | 2147483647   106373     26 |  2.450 % |
196.80/197.04	c |    107442 |   10711  1033782  3344990 | 2147483647   106712     26 |  2.450 % |
197.60/197.82	c |    107814 |   10709  1033782  3344990 | 2147483647   107083     26 |  2.469 % |
198.40/198.64	c |    108223 |   10709  1033782  3344990 | 2147483647   107492     26 |  2.468 % |
199.30/199.56	c |    108672 |   10709  1033782  3344990 | 2147483647   107941     26 |  2.468 % |
200.20/200.49	c |    109165 |   10709  1033782  3344990 | 2147483647   108434     26 |  2.468 % |
201.50/201.72	c |    109707 |   10709  1033782  3344990 | 2147483647   108976     26 |  2.468 % |
202.60/202.87	c |    110303 |   10709  1033782  3344990 | 2147483647   109572     26 |  2.469 % |
203.80/204.07	c |    110958 |   10709  1033782  3344990 | 2147483647   110227     26 |  2.468 % |
205.30/205.55	c |    111678 |   10708  1031366  3338042 | 2147483647   110849     27 |  2.468 % |
206.80/207.02	c |    112471 |   10707  1031366  3338042 | 2147483647   111641     27 |  2.477 % |
208.40/208.62	c |    113342 |   10704  1031366  3338042 | 2147483647   112509     27 |  2.505 % |
210.20/210.48	c |    114301 |   10704  1031366  3338042 | 2147483647   113468     27 |  2.505 % |
212.40/212.62	c |    115354 |   10704  1031366  3338042 | 2147483647   114521     27 |  2.505 % |
214.60/214.81	c |    116512 |   10702  1031366  3338042 | 2147483647   115677     27 |  2.523 % |
216.50/216.75	c |    117785 |   10702  1031366  3338042 | 2147483647   116950     27 |  2.523 % |
216.79/217.00	c |    117886 |   10702  1031366  3338042 | 2147483647   117051     27 |  2.523 % |
216.99/217.26	c |    118000 |   10702  1031366  3338042 | 2147483647   117165     27 |  2.523 % |
217.29/217.55	c |    118123 |   10702  1031366  3338042 | 2147483647   117288     27 |  2.523 % |
217.60/217.87	c |    118256 |   10702  1031366  3338042 | 2147483647   117421     27 |  2.523 % |
217.99/218.23	c |    118403 |   10702  1031366  3338042 | 2147483647   117568     27 |  2.523 % |
218.19/218.49	c |    118563 |   10702  1031366  3338042 | 2147483647   117728     27 |  2.523 % |
218.59/218.85	c |    118739 |   10702  1031366  3338042 | 2147483647   117904     27 |  2.523 % |
218.99/219.26	c |    118932 |   10702  1031366  3338042 | 2147483647   118097     27 |  2.523 % |
219.49/219.75	c |    119144 |   10702  1031366  3338042 | 2147483647   118309     27 |  2.523 % |
219.89/220.19	c |    119377 |   10702  1031366  3338042 | 2147483647   118542     27 |  2.523 % |
220.39/220.61	c |    119634 |   10702  1031366  3338042 | 2147483647   118799     27 |  2.523 % |
220.79/221.08	c |    119915 |   10702  1031366  3338042 | 2147483647   119080     27 |  2.523 % |
221.39/221.67	c |    120224 |   10702  1031366  3338042 | 2147483647   119389     27 |  2.523 % |
221.99/222.27	c |    120566 |   10702  1031366  3338042 | 2147483647   119731     27 |  2.523 % |
222.69/222.97	c |    120938 |   10701  1031366  3338042 | 2147483647   120102     27 |  2.532 % |
223.59/223.83	c |    121348 |   10701  1031366  3338042 | 2147483647   120512     27 |  2.532 % |
224.29/224.55	c |    121797 |   10701  1031366  3338042 | 2147483647   120961     28 |  2.532 % |
225.38/225.60	c |    122290 |   10701  1031366  3338042 | 2147483647   121454     28 |  2.532 % |
226.48/226.72	c |    122833 |   10701  1031366  3338042 | 2147483647   121996     28 |  2.541 % |
227.58/227.89	c |    123430 |   10701  1031366  3338042 | 2147483647   122593     28 |  2.541 % |
228.68/228.96	c |    124085 |   10701  1031366  3338042 | 2147483647   123248     28 |  2.541 % |
230.08/230.39	c |    124806 |   10701  1031366  3338042 | 2147483647   123969     28 |  2.541 % |
231.78/232.03	c |    125604 |   10701  1031366  3338042 | 2147483647   124767     28 |  2.541 % |
233.48/233.78	c |    126476 |   10701  1031366  3338042 | 2147483647   125639     28 |  2.541 % |
235.58/235.80	c |    127435 |   10701  1031366  3338042 | 2147483647   126598     28 |  2.541 % |
237.48/237.74	c |    128488 |   10701  1031366  3338042 | 2147483647   127651     28 |  2.541 % |
239.68/239.90	c |    129646 |   10696  1031366  3338042 | 2147483647   128804     28 |  2.587 % |
242.37/242.66	c |    130920 |   10694  1028522  3329853 | 2147483647   130055     28 |  2.596 % |
245.58/245.82	c |    132320 |   10692  1028522  3329853 | 2147483647   131453     28 |  2.614 % |
245.78/246.06	c |    132420 |   10692  1028522  3329853 | 2147483647   131553     28 |  2.614 % |
245.98/246.29	c |    132530 |   10692  1028522  3329853 | 2147483647   131663     28 |  2.614 % |
246.28/246.56	c |    132651 |   10692  1028522  3329853 | 2147483647   131784     28 |  2.614 % |
246.58/246.87	c |    132784 |   10692  1028522  3329853 | 2147483647   131917     28 |  2.614 % |
246.88/247.13	c |    132930 |   10692  1028522  3329853 | 2147483647   132063     28 |  2.614 % |
247.28/247.53	c |    133090 |   10692  1028522  3329853 | 2147483647   132223     28 |  2.614 % |
247.68/247.98	c |    133266 |   10692  1028522  3329853 | 2147483647   132399     28 |  2.614 % |
248.08/248.37	c |    133459 |   10692  1028522  3329853 | 2147483647   132592     29 |  2.614 % |
248.68/248.93	c |    133672 |   10692  1028522  3329853 | 2147483647   132805     29 |  2.614 % |
249.18/249.44	c |    133905 |   10692  1028522  3329853 | 2147483647   133038     29 |  2.614 % |
249.78/250.06	c |    134161 |   10692  1028522  3329853 | 2147483647   133294     29 |  2.614 % |
250.28/250.57	c |    134442 |   10692  1028522  3329853 | 2147483647   133575     29 |  2.614 % |
250.87/251.15	c |    134752 |   10692  1028522  3329853 | 2147483647   133885     29 |  2.614 % |
251.58/251.86	c |    135091 |   10692  1028522  3329853 | 2147483647   134224     29 |  2.614 % |
252.27/252.57	c |    135465 |   10692  1028522  3329853 | 2147483647   134598     29 |  2.614 % |
253.17/253.46	c |    135876 |   10690  1028522  3329853 | 2147483647   135007     29 |  2.642 % |
254.27/254.55	c |    136325 |   10690  1028522  3329853 | 2147483647   135456     29 |  2.641 % |
255.37/255.66	c |    136818 |   10690  1028522  3329853 | 2147483647   135949     29 |  2.641 % |
256.47/256.73	c |    137363 |   10690  1028522  3329853 | 2147483647   136494     29 |  2.642 % |
257.87/258.14	c |    137961 |   10690  1028522  3329853 | 2147483647   137092     29 |  2.641 % |
259.37/259.61	c |    138618 |   10690  1028522  3329853 | 2147483647   137749     29 |  2.641 % |
260.76/261.05	c |    139339 |   10690  1028522  3329853 | 2147483647   138470     29 |  2.641 % |
262.46/262.78	c |    140131 |   10689  1028522  3329853 | 2147483647   139261     29 |  2.651 % |
264.36/264.67	c |    141003 |   10689  1028522  3329853 | 2147483647   140133     29 |  2.651 % |
266.27/266.57	c |    141962 |   10689  1028522  3329853 | 2147483647   141092     29 |  2.651 % |
268.67/268.91	c |    143015 |   10687  1028522  3329853 | 2147483647   142143     29 |  2.669 % |
271.16/271.40	c |    144173 |   10687  1028522  3329853 | 2147483647   143301     29 |  2.669 % |
273.67/273.96	c |    145446 |   10687  1028522  3329853 | 2147483647   144574     30 |  2.669 % |
276.56/276.86	c |    146846 |   10685  1028522  3329853 | 2147483647   145972     30 |  2.687 % |
279.66/279.93	c |    148386 |   10685  1028522  3329853 | 2147483647   147512     30 |  2.687 % |
279.86/280.14	c |    148487 |   10685  1028522  3329853 | 2147483647   147613     30 |  2.687 % |
280.16/280.41	c |    148597 |   10685  1028522  3329853 | 2147483647   147723     30 |  2.687 % |
280.36/280.69	c |    148718 |   10685  1028522  3329853 | 2147483647   147844     30 |  2.687 % |
280.66/280.98	c |    148852 |   10685  1028522  3329853 | 2147483647   147978     30 |  2.687 % |
281.06/281.31	c |    148998 |   10685  1028522  3329853 | 2147483647   148124     30 |  2.687 % |
281.46/281.78	c |    149158 |   10685  1028522  3329853 | 2147483647   148284     30 |  2.687 % |
281.86/282.19	c |    149334 |   10685  1028522  3329853 | 2147483647   148460     30 |  2.687 % |
282.36/282.66	c |    149527 |   10685  1028522  3329853 | 2147483647   148653     30 |  2.687 % |
282.96/283.25	c |    149741 |   10685  1028522  3329853 | 2147483647   148867     30 |  2.687 % |
283.56/283.82	c |    149974 |   10685  1028522  3329853 | 2147483647   149100     30 |  2.687 % |
284.15/284.49	c |    150230 |   10685  1028522  3329853 | 2147483647   149356     30 |  2.687 % |
284.75/285.05	c |    150511 |   10685  1028522  3329853 | 2147483647   149637     30 |  2.687 % |
285.66/285.93	c |    150820 |   10684  1026326  3323547 | 2147483647   149918     30 |  2.687 % |
286.45/286.71	c |    151159 |   10684  1026326  3323547 | 2147483647   150257     30 |  2.687 % |
287.25/287.55	c |    151531 |   10684  1026326  3323547 | 2147483647   150629     30 |  2.687 % |
288.15/288.49	c |    151943 |   10684  1026326  3323547 | 2147483647   151041     30 |  2.687 % |
289.15/289.46	c |    152392 |   10684  1026326  3323547 | 2147483647   151490     30 |  2.687 % |
290.16/290.40	c |    152885 |   10684  1026326  3323547 | 2147483647   151983     30 |  2.687 % |
291.25/291.58	c |    153429 |   10680  1026326  3323547 | 2147483647   152523     30 |  2.723 % |
292.55/292.82	c |    154025 |   10680  1026326  3323547 | 2147483647   153119     30 |  2.723 % |
294.05/294.36	c |    154680 |   10680  1026326  3323547 | 2147483647   153774     30 |  2.723 % |
295.65/295.96	c |    155403 |   10680  1026326  3323547 | 2147483647   154497     30 |  2.723 % |
297.25/297.52	c |    156197 |   10680  1026326  3323547 | 2147483647   155291     30 |  2.723 % |
299.05/299.32	c |    157068 |   10678  1026326  3323547 | 2147483647   156160     31 |  2.742 % |
301.05/301.35	c |    158026 |   10678  1026326  3323547 | 2147483647   157118     31 |  2.742 % |
303.55/303.87	c |    159079 |   10678  1026326  3323547 | 2147483647   158171     31 |  2.742 % |
306.14/306.41	c |    160237 |   10678  1026326  3323547 | 2147483647   159329     31 |  2.742 % |
308.75/309.07	c |    161511 |   10677  1026326  3323547 | 2147483647   160602     31 |  2.751 % |
311.94/312.30	c |    162913 |   10677  1026326  3323547 | 2147483647   162004     31 |  2.751 % |
315.14/315.48	c |    164454 |   10676  1026326  3323547 | 2147483647   163544     31 |  2.760 % |
318.94/319.25	c |    166148 |   10676  1026326  3323547 | 2147483647   165238     31 |  2.760 % |
319.24/319.58	c |    166249 |   10676  1026326  3323547 | 2147483647   165339     31 |  2.760 % |
319.44/319.77	c |    166363 |   10676  1026326  3323547 | 2147483647   165453     31 |  2.760 % |
319.74/320.03	c |    166484 |   10676  1026326  3323547 | 2147483647   165574     31 |  2.760 % |
320.14/320.48	c |    166617 |   10676  1026326  3323547 | 2147483647   165707     31 |  2.760 % |
320.54/320.82	c |    166764 |   10676  1026326  3323547 | 2147483647   165854     31 |  2.760 % |
320.94/321.21	c |    166928 |   10675  1026326  3323547 | 2147483647   166017     31 |  2.769 % |
321.44/321.77	c |    167104 |   10675  1026326  3323547 | 2147483647   166193     31 |  2.769 % |
321.94/322.23	c |    167297 |   10675  1026326  3323547 | 2147483647   166386     31 |  2.769 % |
322.43/322.74	c |    167512 |   10675  1026326  3323547 | 2147483647   166601     31 |  2.769 % |
323.04/323.33	c |    167745 |   10675  1026326  3323547 | 2147483647   166834     31 |  2.769 % |
323.74/324.05	c |    168001 |   10675  1026326  3323547 | 2147483647   167090     31 |  2.769 % |
324.34/324.65	c |    168283 |   10675  1026326  3323547 | 2147483647   167372     31 |  2.769 % |
325.04/325.30	c |    168593 |   10675  1026326  3323547 | 2147483647   167682     31 |  2.769 % |
325.84/326.10	c |    168932 |   10674  1026326  3323547 | 2147483647   168020     31 |  2.778 % |
326.74/327.01	c |    169305 |   10674  1026326  3323547 | 2147483647   168393     31 |  2.778 % |
327.84/328.19	c |    169715 |   10674  1026326  3323547 | 2147483647   168803     31 |  2.778 % |
329.04/329.32	c |    170164 |   10674  1026326  3323547 | 2147483647   169252     31 |  2.778 % |
330.04/330.38	c |    170659 |   10674  1026326  3323547 | 2147483647   169747     31 |  2.778 % |
331.44/331.79	c |    171203 |   10674  1026326  3323547 | 2147483647   170291     31 |  2.778 % |
332.94/333.21	c |    171802 |   10674  1026326  3323547 | 2147483647   170890     31 |  2.778 % |
334.53/334.80	c |    172457 |   10674  1026326  3323547 | 2147483647   171545     31 |  2.778 % |
336.34/336.66	c |    173177 |   10674  1026326  3323547 | 2147483647   172265     32 |  2.778 % |
338.23/338.53	c |    173971 |   10674  1024129  3317240 | 2147483647   173007     32 |  2.778 % |
339.93/340.23	c |    174842 |   10674  1024129  3317240 | 2147483647   173878     32 |  2.778 % |
342.13/342.48	c |    175800 |   10673  1024129  3317240 | 2147483647   174835     32 |  2.787 % |
344.53/344.86	c |    176856 |   10673  1024129  3317240 | 2147483647   175891     32 |  2.787 % |
346.83/347.18	c |    178016 |   10673  1024129  3317240 | 2147483647   177051     32 |  2.787 % |
349.53/349.84	c |    179289 |   10672  1024129  3317240 | 2147483647   178320     32 |  2.824 % |
352.61/353.00	c |    180693 |   10672  1024129  3317240 | 2147483647   179724     32 |  2.824 % |
356.12/356.42	c |    182233 |   10672  1024129  3317240 | 2147483647   181264     32 |  2.824 % |
360.31/360.68	c |    183927 |   10672  1024129  3317240 | 2147483647   182958     32 |  2.824 % |
365.11/365.46	c |    185791 |   10671  1024129  3317240 | 2147483647   184821     33 |  2.842 % |
365.41/365.72	c |    185891 |   10671  1024129  3317240 | 2147483647   184921     33 |  2.842 % |
365.61/365.98	c |    186001 |   10671  1024129  3317240 | 2147483647   185031     33 |  2.842 % |
366.01/366.32	c |    186123 |   10670  1024129  3317240 | 2147483647   185152     33 |  2.851 % |
366.31/366.67	c |    186256 |   10670  1024129  3317240 | 2147483647   185285     33 |  2.851 % |
366.71/367.08	c |    186403 |   10670  1024129  3317240 | 2147483647   185432     33 |  2.851 % |
367.11/367.49	c |    186564 |   10670  1024129  3317240 | 2147483647   185593     33 |  2.851 % |
367.51/367.84	c |    186740 |   10670  1024129  3317240 | 2147483647   185769     33 |  2.851 % |
367.81/368.19	c |    186933 |   10670  1024129  3317240 | 2147483647   185962     33 |  2.851 % |
368.31/368.68	c |    187145 |   10670  1024129  3317240 | 2147483647   186174     33 |  2.851 % |
368.91/369.26	c |    187379 |   10670  1024129  3317240 | 2147483647   186408     33 |  2.851 % |
369.61/369.99	c |    187635 |   10667  1024129  3317240 | 2147483647   186661     33 |  2.878 % |
370.21/370.58	c |    187916 |   10667  1024129  3317240 | 2147483647   186942     33 |  2.878 % |
371.11/371.41	c |    188228 |   10667  1024129  3317240 | 2147483647   187254     33 |  2.878 % |
371.81/372.18	c |    188568 |   10667  1024129  3317240 | 2147483647   187594     33 |  2.878 % |
372.91/373.21	c |    188941 |   10667  1024129  3317240 | 2147483647   187967     33 |  2.878 % |
373.91/374.27	c |    189350 |   10666  1024129  3317240 | 2147483647   188375     33 |  2.887 % |
375.11/375.43	c |    189799 |   10665  1024129  3317240 | 2147483647   188823     33 |  2.906 % |
376.20/376.59	c |    190292 |   10664  1024129  3317240 | 2147483647   189315     33 |  2.915 % |
377.80/378.18	c |    190837 |   10664  1024129  3317240 | 2147483647   189860     33 |  2.915 % |
379.30/379.61	c |    191433 |   10664  1024129  3317240 | 2147483647   190456     33 |  2.915 % |
380.90/381.23	c |    192088 |   10664  1024129  3317240 | 2147483647   191111     33 |  2.915 % |
382.60/382.95	c |    192810 |   10664  1024129  3317240 | 2147483647   191833     33 |  2.915 % |
384.60/384.96	c |    193603 |   10664  1024129  3317240 | 2147483647   192626     33 |  2.915 % |
386.50/386.81	c |    194474 |   10664  1024129  3317240 | 2147483647   193497     33 |  2.915 % |
388.70/389.03	c |    195432 |   10664  1024129  3317240 | 2147483647   194455     33 |  2.915 % |
391.09/391.45	c |    196485 |   10664  1024129  3317240 | 2147483647   195508     33 |  2.915 % |
393.79/394.18	c |    197643 |   10664  1024129  3317240 | 2147483647   196666     33 |  2.915 % |
396.79/397.19	c |    198916 |   10664  1024129  3317240 | 2147483647   197939     33 |  2.915 % |
400.39/400.75	c |    200316 |   10659  1021595  3309718 | 2147483647   199281     33 |  2.915 % |
404.39/404.74	c |    201856 |   10659  1021595  3309718 | 2147483647   200821     33 |  2.915 % |
408.59/408.93	c |    203550 |   10651  1021595  3309718 | 2147483647   202507     33 |  2.988 % |
412.68/413.06	c |    205416 |   10651  1021595  3309718 | 2147483647   204373     33 |  2.988 % |
417.98/418.38	c |    207465 |   10648  1021595  3309718 | 2147483647   206419     34 |  3.024 % |
418.28/418.65	c |    207565 |   10648  1021595  3309718 | 2147483647   206519     34 |  3.024 % |
418.58/418.95	c |    207675 |   10648  1021595  3309718 | 2147483647   206629     34 |  3.024 % |
418.98/419.34	c |    207796 |   10648  1021595  3309718 | 2147483647   206750     34 |  3.024 % |
419.28/419.65	c |    207929 |   10648  1021595  3309718 | 2147483647   206883     34 |  3.024 % |
419.68/420.07	c |    208075 |   10648  1021595  3309718 | 2147483647   207029     34 |  3.024 % |
420.18/420.56	c |    208236 |   10647  1021595  3309718 | 2147483647   207189     34 |  3.033 % |
420.68/421.01	c |    208412 |   10647  1021595  3309718 | 2147483647   207365     34 |  3.033 % |
421.17/421.57	c |    208605 |   10647  1021595  3309718 | 2147483647   207558     34 |  3.033 % |
421.77/422.11	c |    208817 |   10647  1021595  3309718 | 2147483647   207770     34 |  3.033 % |
422.47/422.88	c |    209050 |   10647  1021595  3309718 | 2147483647   208003     34 |  3.033 % |
423.18/423.55	c |    209307 |   10647  1021595  3309718 | 2147483647   208260     34 |  3.033 % |
424.07/424.40	c |    209589 |   10647  1021595  3309718 | 2147483647   208542     34 |  3.033 % |
424.67/425.01	c |    209899 |   10647  1021595  3309718 | 2147483647   208852     34 |  3.033 % |
425.48/425.87	c |    210239 |   10647  1021595  3309718 | 2147483647   209192     34 |  3.033 % |
426.38/426.74	c |    210611 |   10647  1021595  3309718 | 2147483647   209564     34 |  3.033 % |
427.48/427.83	c |    211021 |   10647  1021595  3309718 | 2147483647   209974     34 |  3.033 % |
428.58/428.93	c |    211470 |   10647  1021595  3309718 | 2147483647   210423     34 |  3.033 % |
429.88/430.24	c |    211965 |   10647  1021595  3309718 | 2147483647   210918     34 |  3.033 % |
431.18/431.53	c |    212507 |   10646  1021595  3309718 | 2147483647   211459     34 |  3.042 % |
432.78/433.14	c |    213104 |   10646  1021595  3309718 | 2147483647   212056     34 |  3.042 % |
434.57/434.92	c |    213761 |   10646  1021595  3309718 | 2147483647   212713     34 |  3.042 % |
436.47/436.84	c |    214483 |   10646  1021595  3309718 | 2147483647   213435     34 |  3.042 % |
438.47/438.88	c |    215276 |   10645  1021595  3309718 | 2147483647   214227     34 |  3.051 % |
440.86/441.24	c |    216148 |   10645  1021595  3309718 | 2147483647   215099     34 |  3.051 % |
443.06/443.43	c |    217107 |   10645  1021595  3309718 | 2147483647   216058     34 |  3.051 % |
445.86/446.21	c |    218160 |   10645  1021595  3309718 | 2147483647   217111     34 |  3.051 % |
448.86/449.22	c |    219318 |   10645  1021595  3309718 | 2147483647   218269     35 |  3.051 % |
452.36/452.72	c |    220591 |   10645  1021595  3309718 | 2147483647   219542     35 |  3.051 % |
456.26/456.63	c |    221996 |   10644  1021595  3309718 | 2147483647   220946     35 |  3.061 % |
460.46/460.81	c |    223537 |   10644  1021595  3309718 | 2147483647   222487     35 |  3.060 % |
464.66/465.02	c |    225232 |   10644  1021595  3309718 | 2147483647   224182     35 |  3.060 % |
469.45/469.85	c |    227095 |   10644  1021595  3309718 | 2147483647   226045     35 |  3.060 % |
474.95/475.35	c |    229144 |   10643  1018804  3301701 | 2147483647   228029     36 |  3.061 % |
480.95/481.35	c |    231397 |   10642  1018804  3301701 | 2147483647   230281     36 |  3.069 % |
481.15/481.59	c |    231497 |   10642  1018804  3301701 | 2147483647   230381     36 |  3.069 % |
481.55/481.95	c |    231607 |   10642  1018804  3301701 | 2147483647   230491     36 |  3.069 % |
481.94/482.34	c |    231728 |   10642  1018804  3301701 | 2147483647   230612     36 |  3.069 % |
482.34/482.75	c |    231862 |   10642  1018804  3301701 | 2147483647   230746     36 |  3.069 % |
482.85/483.20	c |    232008 |   10642  1018804  3301701 | 2147483647   230892     36 |  3.069 % |
483.25/483.65	c |    232170 |   10642  1018804  3301701 | 2147483647   231054     36 |  3.070 % |
483.75/484.16	c |    232346 |   10642  1018804  3301701 | 2147483647   231230     36 |  3.069 % |
484.25/484.69	c |    232539 |   10642  1018804  3301701 | 2147483647   231423     36 |  3.069 % |
484.85/485.28	c |    232751 |   10642  1018804  3301701 | 2147483647   231635     36 |  3.070 % |
485.45/485.84	c |    232984 |   10642  1018804  3301701 | 2147483647   231868     36 |  3.069 % |
486.25/486.68	c |    233240 |   10642  1018804  3301701 | 2147483647   232124     36 |  3.069 % |
487.14/487.51	c |    233522 |   10642  1018804  3301701 | 2147483647   232406     36 |  3.069 % |
487.95/488.35	c |    233831 |   10642  1018804  3301701 | 2147483647   232715     36 |  3.070 % |
488.84/489.26	c |    234171 |   10642  1018804  3301701 | 2147483647   233055     36 |  3.069 % |
490.04/490.47	c |    234543 |   10641  1018804  3301701 | 2147483647   233426     36 |  3.079 % |
491.35/491.73	c |    234953 |   10641  1018804  3301701 | 2147483647   233836     36 |  3.079 % |
492.54/492.94	c |    235403 |   10641  1018804  3301701 | 2147483647   234286     36 |  3.079 % |
493.74/494.14	c |    235897 |   10641  1018804  3301701 | 2147483647   234780     36 |  3.079 % |
495.34/495.70	c |    236439 |   10641  1018804  3301701 | 2147483647   235322     36 |  3.079 % |
496.94/497.33	c |    237035 |   10641  1018804  3301701 | 2147483647   235918     36 |  3.079 % |
498.53/498.90	c |    237690 |   10641  1018804  3301701 | 2147483647   236573     36 |  3.079 % |
500.73/501.11	c |    238411 |   10641  1018804  3301701 | 2147483647   237294     36 |  3.079 % |
503.04/503.48	c |    239203 |   10641  1018804  3301701 | 2147483647   238086     36 |  3.079 % |
505.04/505.47	c |    240074 |   10641  1018804  3301701 | 2147483647   238957     36 |  3.079 % |
507.54/507.99	c |    241032 |   10641  1018804  3301701 | 2147483647   239915     36 |  3.079 % |
510.23/510.62	c |    242085 |   10640  1018804  3301701 | 2147483647   240967     36 |  3.088 % |
512.93/513.40	c |    243244 |   10640  1018804  3301701 | 2147483647   242126     36 |  3.088 % |
516.43/516.88	c |    244517 |   10640  1018804  3301701 | 2147483647   243399     37 |  3.088 % |
520.03/520.48	c |    245917 |   10638  1018804  3301701 | 2147483647   244798     37 |  3.106 % |
524.33/524.73	c |    247457 |   10638  1018804  3301701 | 2147483647   246338     37 |  3.106 % |
528.93/529.37	c |    249151 |   10635  1018804  3301701 | 2147483647   248029     37 |  3.134 % |
534.02/534.45	c |    251014 |   10635  1018804  3301701 | 2147483647   249892     37 |  3.133 % |
539.52/539.91	c |    253063 |   10633  1018804  3301701 | 2147483647   251939     37 |  3.152 % |
545.31/545.76	c |    255316 |   10633  1018804  3301701 | 2147483647   254192     37 |  3.152 % |
552.31/552.72	c |    257794 |   10633  1018804  3301701 | 2147483647   256670     37 |  3.151 % |
552.61/553.07	c |    257894 |   10633  1018804  3301701 | 2147483647   256770     37 |  3.151 % |
553.01/553.40	c |    258005 |   10633  1018804  3301701 | 2147483647   256881     37 |  3.151 % |
553.41/553.83	c |    258129 |   10633  1018804  3301701 | 2147483647   257005     37 |  3.151 % |
553.71/554.16	c |    258262 |   10633  1018804  3301701 | 2147483647   257138     37 |  3.151 % |
554.21/554.64	c |    258408 |   10633  1018804  3301701 | 2147483647   257284     37 |  3.151 % |
554.61/555.04	c |    258569 |   10633  1018804  3301701 | 2147483647   257445     37 |  3.151 % |
555.21/555.61	c |    258745 |   10633  1018804  3301701 | 2147483647   257621     37 |  3.152 % |
555.81/556.21	c |    258938 |   10633  1018804  3301701 | 2147483647   257814     37 |  3.151 % |
556.41/556.90	c |    259151 |   10633  1018804  3301701 | 2147483647   258027     37 |  3.151 % |
557.11/557.59	c |    259385 |   10633  1018804  3301701 | 2147483647   258261     37 |  3.151 % |
558.21/558.60	c |    259643 |   10633  1017056  3296731 | 2147483647   258505     37 |  3.151 % |
558.81/559.25	c |    259924 |   10633  1017056  3296731 | 2147483647   258786     37 |  3.151 % |
559.52/560.00	c |    260233 |   10633  1017056  3296731 | 2147483647   259095     37 |  3.151 % |
560.52/560.94	c |    260572 |   10633  1017056  3296731 | 2147483647   259434     37 |  3.152 % |
561.41/561.84	c |    260944 |   10633  1017056  3296731 | 2147483647   259806     37 |  3.152 % |
562.72/563.16	c |    261354 |   10633  1017056  3296731 | 2147483647   260216     37 |  3.151 % |
564.31/564.71	c |    261803 |   10633  1017056  3296731 | 2147483647   260665     37 |  3.151 % |
565.71/566.19	c |    262297 |   10633  1017056  3296731 | 2147483647   261159     37 |  3.151 % |
567.41/567.84	c |    262839 |   10633  1017056  3296731 | 2147483647   261701     37 |  3.151 % |
569.01/569.46	c |    263435 |   10633  1017056  3296731 | 2147483647   262297     37 |  3.151 % |
571.01/571.49	c |    264090 |   10633  1017056  3296731 | 2147483647   262952     37 |  3.151 % |
573.21/573.62	c |    264813 |   10632  1017056  3296731 | 2147483647   263674     38 |  3.161 % |
575.60/576.03	c |    265605 |   10632  1017056  3296731 | 2147483647   264466     38 |  3.161 % |
578.40/578.86	c |    266476 |   10632  1017056  3296731 | 2147483647   265337     38 |  3.161 % |
581.20/581.67	c |    267434 |   10632  1017056  3296731 | 2147483647   266295     38 |  3.161 % |
584.29/584.79	c |    268487 |   10631  1017056  3296731 | 2147483647   267347     38 |  3.170 % |
587.59/588.05	c |    269645 |   10631  1017056  3296731 | 2147483647   268505     38 |  3.170 % |
591.00/591.44	c |    270920 |   10631  1017056  3296731 | 2147483647   269780     38 |  3.170 % |
594.80/595.29	c |    272320 |   10631  1017056  3296731 | 2147483647   271180     38 |  3.170 % |
599.19/599.62	c |    273861 |   10631  1017056  3296731 | 2147483647   272721     38 |  3.170 % |
603.89/604.34	c |    275555 |   10631  1017056  3296731 | 2147483647   274414     38 |  3.179 % |
609.29/609.71	c |    277419 |   10631  1017056  3296731 | 2147483647   276278     38 |  3.179 % |
615.59/616.05	c |    279470 |   10631  1017056  3296731 | 2147483647   278329     38 |  3.179 % |
622.47/622.90	c |    281724 |   10630  1017056  3296731 | 2147483647   280582     39 |  3.188 % |
629.37/629.81	c |    284202 |   10629  1017056  3296731 | 2147483647   283059     39 |  3.197 % |
637.47/637.96	c |    286927 |   10629  1017056  3296731 | 2147483647   285784     39 |  3.197 % |
637.86/638.34	c |    287027 |   10629  1017056  3296731 | 2147483647   285884     39 |  3.197 % |
638.36/638.80	c |    287138 |   10629  1017056  3296731 | 2147483647   285995     39 |  3.197 % |
638.76/639.21	c |    287259 |   10629  1017056  3296731 | 2147483647   286116     39 |  3.197 % |
639.06/639.59	c |    287393 |   10629  1017056  3296731 | 2147483647   286250     39 |  3.197 % |
639.67/640.19	c |    287541 |   10629  1017056  3296731 | 2147483647   286398     39 |  3.197 % |
640.26/640.79	c |    287702 |   10629  1017056  3296731 | 2147483647   286559     39 |  3.197 % |
640.87/641.37	c |    287878 |   10629  1017056  3296731 | 2147483647   286735     39 |  3.197 % |
641.56/642.07	c |    288071 |   10629  1017056  3296731 | 2147483647   286928     39 |  3.197 % |
642.26/642.73	c |    288283 |   10629  1017056  3296731 | 2147483647   287140     39 |  3.197 % |
642.96/643.49	c |    288516 |   10629  1017056  3296731 | 2147483647   287373     39 |  3.197 % |
643.86/644.32	c |    288772 |   10629  1017056  3296731 | 2147483647   287629     39 |  3.197 % |
644.66/645.13	c |    289053 |   10629  1017056  3296731 | 2147483647   287910     39 |  3.197 % |
645.56/646.09	c |    289362 |   10629  1017056  3296731 | 2147483647   288219     39 |  3.197 % |
646.66/647.17	c |    289701 |   10629  1017056  3296731 | 2147483647   288558     39 |  3.197 % |
647.87/648.35	c |    290073 |   10629  1017056  3296731 | 2147483647   288930     39 |  3.197 % |
649.17/649.62	c |    290482 |   10629  1017056  3296731 | 2147483647   289339     39 |  3.197 % |
650.77/651.21	c |    290933 |   10629  1017056  3296731 | 2147483647   289790     39 |  3.197 % |
652.16/652.68	c |    291426 |   10629  1017056  3296731 | 2147483647   290283     39 |  3.197 % |
653.86/654.32	c |    291968 |   10629  1017056  3296731 | 2147483647   290825     39 |  3.197 % |
655.76/656.26	c |    292564 |   10629  1017056  3296731 | 2147483647   291421     39 |  3.197 % |
657.56/658.08	c |    293219 |   10629  1017056  3296731 | 2147483647   292076     39 |  3.197 % |
659.76/660.23	c |    293939 |   10629  1017056  3296731 | 2147483647   292796     40 |  3.197 % |
662.06/662.56	c |    294731 |   10629  1017056  3296731 | 2147483647   293588     40 |  3.197 % |
664.65/665.14	c |    295604 |   10629  1017056  3296731 | 2147483647   294461     40 |  3.197 % |
667.35/667.80	c |    296562 |   10627  1015789  3293060 | 2147483647   295359     40 |  3.206 % |
670.05/670.56	c |    297618 |   10627  1015789  3293060 | 2147483647   296415     40 |  3.206 % |
673.55/674.05	c |    298776 |   10627  1015789  3293060 | 2147483647   297573     40 |  3.206 % |
677.34/677.84	c |    300050 |   10627  1015789  3293060 | 2147483647   298847     40 |  3.206 % |
681.84/682.35	c |    301451 |   10626  1015789  3293060 | 2147483647   300247     40 |  3.215 % |
686.84/687.31	c |    302991 |   10626  1015789  3293060 | 2147483647   301787     40 |  3.215 % |
692.14/692.63	c |    304687 |   10626  1015789  3293060 | 2147483647   303483     40 |  3.215 % |
698.04/698.52	c |    306550 |   10626  1015789  3293060 | 2147483647   305346     40 |  3.215 % |
704.24/704.75	c |    308600 |   10626  1015789  3293060 | 2147483647   307396     41 |  3.215 % |
711.43/711.94	c |    310853 |   10624  1015789  3293060 | 2147483647   309647     41 |  3.233 % |
719.43/719.96	c |    313333 |   10623  1015789  3293060 | 2147483647   312126     41 |  3.243 % |
728.52/729.03	c |    316058 |   10623  1015789  3293060 | 2147483647   314851     41 |  3.243 % |
737.42/738.00	c |    319056 |   10623  1015789  3293060 | 2147483647   317849     41 |  3.243 % |
737.82/738.31	c |    319156 |   10623  1015789  3293060 | 2147483647   317949     41 |  3.243 % |
738.22/738.76	c |    319267 |   10623  1015789  3293060 | 2147483647   318060     41 |  3.243 % |
738.62/739.18	c |    319390 |   10623  1015789  3293060 | 2147483647   318183     41 |  3.243 % |
739.12/739.69	c |    319523 |   10623  1015789  3293060 | 2147483647   318316     41 |  3.243 % |
739.72/740.30	c |    319671 |   10623  1015789  3293060 | 2147483647   318464     41 |  3.243 % |
740.42/740.94	c |    319831 |   10623  1015789  3293060 | 2147483647   318624     41 |  3.243 % |
741.01/741.56	c |    320007 |   10623  1015789  3293060 | 2147483647   318800     41 |  3.243 % |
741.81/742.30	c |    320200 |   10623  1015789  3293060 | 2147483647   318993     41 |  3.243 % |
742.31/742.89	c |    320413 |   10623  1015789  3293060 | 2147483647   319206     41 |  3.243 % |
743.31/743.89	c |    320646 |   10623  1015789  3293060 | 2147483647   319439     41 |  3.243 % |
744.41/744.92	c |    320905 |   10623  1015789  3293060 | 2147483647   319698     41 |  3.243 % |
745.22/745.76	c |    321188 |   10623  1015789  3293060 | 2147483647   319981     41 |  3.243 % |
746.12/746.65	c |    321498 |   10623  1015789  3293060 | 2147483647   320291     41 |  3.243 % |
747.22/747.78	c |    321838 |   10623  1015789  3293060 | 2147483647   320631     41 |  3.243 % |
748.52/749.07	c |    322213 |   10623  1015789  3293060 | 2147483647   321006     41 |  3.243 % |
749.62/750.15	c |    322622 |   10623  1015789  3293060 | 2147483647   321415     41 |  3.243 % |
751.12/751.60	c |    323071 |   10622  1015789  3293060 | 2147483647   321863     41 |  3.252 % |
752.81/753.30	c |    323564 |   10621  1015789  3293060 | 2147483647   322354     41 |  3.270 % |
754.71/755.21	c |    324106 |   10621  1015789  3293060 | 2147483647   322896     41 |  3.270 % |
756.71/757.27	c |    324703 |   10621  1015789  3293060 | 2147483647   323493     42 |  3.270 % |
759.01/759.57	c |    325358 |   10621  1015789  3293060 | 2147483647   324148     42 |  3.270 % |
761.31/761.81	c |    326078 |   10621  1015789  3293060 | 2147483647   324868     42 |  3.270 % |
763.80/764.39	c |    326870 |   10621  1015789  3293060 | 2147483647   325660     42 |  3.270 % |
766.70/767.21	c |    327742 |   10621  1015789  3293060 | 2147483647   326532     42 |  3.270 % |
769.70/770.23	c |    328701 |   10621  1015789  3293060 | 2147483647   327491     42 |  3.270 % |
773.00/773.59	c |    329756 |   10621  1015789  3293060 | 2147483647   328546     42 |  3.270 % |
776.99/777.53	c |    330917 |   10621  1015789  3293060 | 2147483647   329707     42 |  3.270 % |
781.29/781.83	c |    332191 |   10621  1015789  3293060 | 2147483647   330981     42 |  3.270 % |
785.90/786.47	c |    333591 |   10621  1015789  3293060 | 2147483647   332381     42 |  3.270 % |
790.70/791.26	c |    335131 |   10621  1015789  3293060 | 2147483647   333921     42 |  3.270 % |
795.99/796.50	c |    336825 |   10620  1015789  3293060 | 2147483647   335613     42 |  3.288 % |
802.58/803.10	c |    338688 |   10620  1015789  3293060 | 2147483647   337476     42 |  3.288 % |
809.27/809.83	c |    340739 |   10618  1014105  3288242 | 2147483647   339487     43 |  3.288 % |
816.88/817.47	c |    342992 |   10618  1014105  3288242 | 2147483647   341740     43 |  3.288 % |
825.48/826.10	c |    345470 |   10617  1014105  3288242 | 2147483647   344216     43 |  3.316 % |
835.07/835.65	c |    348197 |   10615  1014105  3288242 | 2147483647   346941     43 |  3.334 % |
845.06/845.61	c |    351194 |   10615  1014105  3288242 | 2147483647   349938     43 |  3.334 % |
856.46/857.06	c |    354490 |   10615  1014105  3288242 | 2147483647   353234     44 |  3.334 % |
856.86/857.42	c |    354590 |   10615  1014105  3288242 | 2147483647   353334     44 |  3.334 % |
857.37/857.90	c |    354700 |   10615  1014105  3288242 | 2147483647   353444     44 |  3.334 % |
857.86/858.42	c |    354821 |   10615  1014105  3288242 | 2147483647   353565     44 |  3.334 % |
858.36/858.94	c |    354957 |   10615  1014105  3288242 | 2147483647   353701     44 |  3.334 % |
858.96/859.58	c |    355103 |   10615  1014105  3288242 | 2147483647   353847     44 |  3.334 % |
859.76/860.30	c |    355263 |   10615  1014105  3288242 | 2147483647   354007     44 |  3.334 % |
860.26/860.87	c |    355441 |   10615  1014105  3288242 | 2147483647   354185     44 |  3.334 % |
861.06/861.60	c |    355634 |   10615  1014105  3288242 | 2147483647   354378     44 |  3.334 % |
861.66/862.30	c |    355850 |   10615  1014105  3288242 | 2147483647   354594     44 |  3.334 % |
862.46/863.02	c |    356084 |   10615  1014105  3288242 | 2147483647   354828     44 |  3.334 % |
863.36/863.97	c |    356341 |   10615  1014105  3288242 | 2147483647   355085     44 |  3.334 % |
864.66/865.20	c |    356622 |   10615  1014105  3288242 | 2147483647   355366     44 |  3.334 % |
865.75/866.31	c |    356932 |   10615  1014105  3288242 | 2147483647   355676     44 |  3.334 % |
866.75/867.38	c |    357271 |   10615  1014105  3288242 | 2147483647   356015     44 |  3.334 % |
868.25/868.82	c |    357644 |   10615  1014105  3288242 | 2147483647   356388     44 |  3.334 % |
869.55/870.14	c |    358055 |   10615  1014105  3288242 | 2147483647   356799     44 |  3.334 % |
871.25/871.85	c |    358505 |   10615  1014105  3288242 | 2147483647   357249     44 |  3.334 % |
873.15/873.77	c |    359001 |   10615  1014105  3288242 | 2147483647   357745     44 |  3.334 % |
874.85/875.46	c |    359543 |   10613  1014105  3288242 | 2147483647   358285     44 |  3.352 % |
877.05/877.60	c |    360139 |   10613  1014105  3288242 | 2147483647   358881     44 |  3.352 % |
879.35/879.96	c |    360794 |   10613  1014105  3288242 | 2147483647   359536     44 |  3.352 % |
881.65/882.29	c |    361514 |   10613  1014105  3288242 | 2147483647   360256     44 |  3.352 % |
884.75/885.32	c |    362306 |   10613  1014105  3288242 | 2147483647   361048     44 |  3.352 % |
886.95/887.59	c |    363179 |   10613  1014105  3288242 | 2147483647   361921     44 |  3.352 % |
890.45/891.03	c |    364138 |   10613  1014105  3288242 | 2147483647   362880     44 |  3.352 % |
894.04/894.64	c |    365193 |   10613  1014105  3288242 | 2147483647   363935     44 |  3.352 % |
898.24/898.86	c |    366351 |   10613  1014105  3288242 | 2147483647   365093     44 |  3.352 % |
902.84/903.47	c |    367624 |   10613  1014105  3288242 | 2147483647   366366     44 |  3.352 % |
908.23/908.85	c |    369024 |   10613  1014105  3288242 | 2147483647   367766     44 |  3.352 % |
913.63/914.28	c |    370564 |   10612  1014105  3288242 | 2147483647   369305     44 |  3.361 % |
919.64/920.24	c |    372258 |   10611  1014105  3288242 | 2147483647   370998     45 |  3.370 % |
926.43/927.07	c |    374122 |   10610  1014105  3288242 | 2147483647   372861     45 |  3.379 % |
933.13/933.73	c |    376172 |   10610  1014105  3288242 | 2147483647   374911     45 |  3.379 % |
941.50/942.16	c |    378426 |   10610  1014105  3288242 | 2147483647   377165     45 |  3.379 % |
950.40/951.07	c |    380907 |   10610  1014105  3288242 | 2147483647   379646     45 |  3.379 % |
959.50/960.13	c |    383632 |   10610  1014105  3288242 | 2147483647   382371     45 |  3.379 % |
971.29/971.93	c |    386629 |   10610  1014105  3288242 | 2147483647   385368     46 |  3.379 % |
983.78/984.49	c |    389925 |   10605  1011873  3281736 | 2147483647   388570     46 |  3.407 % |
996.68/997.39	c |    393550 |   10605  1011873  3281736 | 2147483647   392195     46 |  3.407 % |
997.28/997.92	c |    393650 |   10605  1011873  3281736 | 2147483647   392295     46 |  3.407 % |
997.78/998.40	c |    393763 |   10605  1011873  3281736 | 2147483647   392408     46 |  3.407 % |
998.19/998.85	c |    393885 |   10605  1011873  3281736 | 2147483647   392530     46 |  3.407 % |
998.68/999.31	c |    394018 |   10605  1011873  3281736 | 2147483647   392663     46 |  3.407 % |
999.19/999.88	c |    394166 |   10605  1011873  3281736 | 2147483647   392811     46 |  3.407 % |
999.98/1000.66	c |    394327 |   10605  1011873  3281736 | 2147483647   392972     46 |  3.407 % |
1000.88/1001.54	c |    394503 |   10605  1011873  3281736 | 2147483647   393148     46 |  3.407 % |
1001.68/1002.31	c |    394696 |   10605  1011873  3281736 | 2147483647   393341     46 |  3.407 % |
1002.38/1003.07	c |    394908 |   10605  1011873  3281736 | 2147483647   393553     46 |  3.407 % |
1003.38/1004.07	c |    395141 |   10605  1011873  3281736 | 2147483647   393786     46 |  3.407 % |
1004.38/1005.02	c |    395398 |   10605  1011873  3281736 | 2147483647   394043     46 |  3.407 % |
1005.48/1006.12	c |    395680 |   10605  1011873  3281736 | 2147483647   394325     46 |  3.407 % |
1006.78/1007.46	c |    395989 |   10605  1011873  3281736 | 2147483647   394634     46 |  3.407 % |
1007.87/1008.59	c |    396328 |   10605  1011873  3281736 | 2147483647   394972     46 |  3.416 % |
1009.58/1010.23	c |    396700 |   10605  1011873  3281736 | 2147483647   395344     46 |  3.416 % |
1011.07/1011.71	c |    397109 |   10605  1011873  3281736 | 2147483647   395753     46 |  3.416 % |
1012.57/1013.24	c |    397558 |   10605  1011873  3281736 | 2147483647   396202     46 |  3.416 % |
1014.58/1015.29	c |    398052 |   10605  1011873  3281736 | 2147483647   396696     46 |  3.416 % |
1016.87/1017.52	c |    398594 |   10605  1011873  3281736 | 2147483647   397238     46 |  3.416 % |
1019.27/1019.95	c |    399190 |   10605  1011873  3281736 | 2147483647   397834     46 |  3.416 % |
1021.97/1022.68	c |    399845 |   10605  1011873  3281736 | 2147483647   398489     46 |  3.416 % |
1024.86/1025.53	c |    400565 |   10605  1011873  3281736 | 2147483647   399209     46 |  3.416 % |
1027.66/1028.36	c |    401361 |   10605  1011873  3281736 | 2147483647   400005     46 |  3.416 % |
1031.17/1031.86	c |    402232 |   10605  1011873  3281736 | 2147483647   400876     46 |  3.416 % |
1034.86/1035.56	c |    403190 |   10605  1011873  3281736 | 2147483647   401834     46 |  3.416 % |
1038.96/1039.65	c |    404243 |   10605  1011873  3281736 | 2147483647   402887     46 |  3.416 % |
1043.35/1044.01	c |    405401 |   10604  1011873  3281736 | 2147483647   404044     46 |  3.425 % |
1048.35/1049.01	c |    406675 |   10604  1011873  3281736 | 2147483647   405318     47 |  3.425 % |
1053.15/1053.83	c |    408075 |   10604  1011873  3281736 | 2147483647   406718     47 |  3.425 % |
1059.05/1059.78	c |    409615 |   10604  1011873  3281736 | 2147483647   408258     47 |  3.425 % |
1066.36/1067.06	c |    411310 |   10604  1011873  3281736 | 2147483647   409953     47 |  3.425 % |
1073.74/1074.40	c |    413174 |   10604  1011873  3281736 | 2147483647   411817     47 |  3.425 % |
1081.44/1082.14	c |    415223 |   10604  1011873  3281736 | 2147483647   413866     47 |  3.425 % |
1090.03/1090.78	c |    417476 |   10604  1011873  3281736 | 2147483647   416119     47 |  3.425 % |
1099.83/1100.51	c |    419954 |   10603  1011873  3281736 | 2147483647   418596     47 |  3.434 % |
1110.33/1111.01	c |    422679 |   10603  1011873  3281736 | 2147483647   421321     47 |  3.434 % |
1121.71/1122.43	c |    425677 |   10603  1011873  3281736 | 2147483647   424319     48 |  3.434 % |
1133.81/1134.58	c |    428974 |   10602  1011873  3281736 | 2147483647   427615     48 |  3.443 % |
1148.11/1148.87	c |    432600 |   10602  1011873  3281736 | 2147483647   431241     48 |  3.443 % |
1163.40/1164.16	c |    436588 |   10602  1011873  3281736 | 2147483647   435229     48 |  3.443 % |
1164.00/1164.71	c |    436692 |   10602  1011873  3281736 | 2147483647   435333     48 |  3.443 % |
1164.50/1165.28	c |    436802 |   10602  1011873  3281736 | 2147483647   435443     48 |  3.443 % |
1165.00/1165.79	c |    436926 |   10602  1011873  3281736 | 2147483647   435567     48 |  3.443 % |
1165.70/1166.44	c |    437060 |   10602  1011873  3281736 | 2147483647   435701     48 |  3.443 % |
1166.40/1167.17	c |    437206 |   10602  1011873  3281736 | 2147483647   435847     48 |  3.443 % |
1167.20/1167.95	c |    437367 |   10602  1011873  3281736 | 2147483647   436008     48 |  3.443 % |
1167.90/1168.69	c |    437543 |   10601  1011873  3281736 | 2147483647   436183     48 |  3.452 % |
1168.79/1169.52	c |    437736 |   10601  1011873  3281736 | 2147483647   436376     48 |  3.452 % |
1169.60/1170.30	c |    437948 |   10601  1011873  3281736 | 2147483647   436588     48 |  3.452 % |
1170.70/1171.45	c |    438181 |   10601  1011873  3281736 | 2147483647   436821     48 |  3.452 % |
1171.69/1172.42	c |    438437 |   10601  1011873  3281736 | 2147483647   437077     48 |  3.452 % |
1172.99/1173.70	c |    438719 |   10601  1011873  3281736 | 2147483647   437359     48 |  3.452 % |
1174.39/1175.12	c |    439028 |   10601  1011873  3281736 | 2147483647   437668     48 |  3.452 % |
1175.99/1176.72	c |    439367 |   10601  1011873  3281736 | 2147483647   438007     48 |  3.452 % |
1177.79/1178.53	c |    439739 |   10601  1011873  3281736 | 2147483647   438379     48 |  3.452 % |
1179.59/1180.39	c |    440148 |   10601  1011873  3281736 | 2147483647   438788     48 |  3.452 % |
1181.38/1182.16	c |    440597 |   10601  1011873  3281736 | 2147483647   439237     48 |  3.452 % |
1183.28/1184.06	c |    441092 |   10601  1011873  3281736 | 2147483647   439732     48 |  3.452 % |
1185.58/1186.38	c |    441635 |   10601  1011873  3281736 | 2147483647   440275     48 |  3.452 % |
1187.79/1188.56	c |    442231 |   10601  1011873  3281736 | 2147483647   440871     48 |  3.452 % |
1190.39/1191.17	c |    442887 |   10601  1011873  3281736 | 2147483647   441526     48 |  3.461 % |
1193.89/1194.66	c |    443607 |   10601  1011873  3281736 | 2147483647   442246     48 |  3.461 % |
1197.19/1197.91	c |    444399 |   10601  1011873  3281736 | 2147483647   443038     48 |  3.461 % |

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-1832223-1242770388/watcher-1832223-1242770388 -o /tmp/evaluation-result-1832223-1242770388/solver-1832223-1242770388 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832223-1242770388.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: 1.00 1.00 0.94 3/64 14225
/proc/meminfo: memFree=1961368/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) R 14223 14225 14076 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0

[startup+0.062836 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14225
/proc/meminfo: memFree=1961368/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101842 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14225
/proc/meminfo: memFree=1961368/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301888 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14225
/proc/meminfo: memFree=1961368/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701957 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14225
/proc/meminfo: memFree=1961368/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50108 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14230
/proc/meminfo: memFree=1900744/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
[pid=14229] ppid=14225 vsize=76700 CPUtime=1.47
/proc/14229/stat : 14229 (SatELite_releas) R 14225 14225 14076 0 -1 4194304 16921 0 0 0 136 11 0 0 25 0 1 0 305072072 78540800 16907 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/14229/statm: 19175 16907 76 173 0 19000 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 82056

[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14230
/proc/meminfo: memFree=1884040/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
[pid=14229] ppid=14225 vsize=102488 CPUtime=3.08
/proc/14229/stat : 14229 (SatELite_releas) R 14225 14225 14076 0 -1 4194304 22830 0 0 0 292 16 0 0 25 0 1 0 305072072 104947712 22784 1992294400 134512640 135223648 4294956128 18446744073709551615 134602405 0 0 4096 3 0 0 0 17 0 0 0
/proc/14229/statm: 25622 22784 76 173 0 25447 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 107844

[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14230
/proc/meminfo: memFree=1861592/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
[pid=14229] ppid=14225 vsize=109104 CPUtime=6.27
/proc/14229/stat : 14229 (SatELite_releas) R 14225 14225 14076 0 -1 4194304 24203 0 0 0 611 16 0 0 25 0 1 0 305072072 111722496 24157 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/14229/statm: 27276 24157 76 173 0 27101 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 114460

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14230
/proc/meminfo: memFree=1863064/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305072071 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 237 197 169 0 50 0
[pid=14229] ppid=14225 vsize=109416 CPUtime=12.68
/proc/14229/stat : 14229 (SatELite_releas) R 14225 14225 14076 0 -1 4194304 30821 0 0 0 1248 20 0 0 25 0 1 0 305072072 112041984 23764 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 0 0 0
/proc/14229/statm: 27354 23764 76 173 0 27179 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 114772

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14231
/proc/meminfo: memFree=1883800/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=55324 CPUtime=11.62
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 13246 0 0 0 1154 8 0 0 25 0 1 0 305073457 56651776 13232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 13831 13232 77 171 0 13658 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 60680

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14231
/proc/meminfo: memFree=1881880/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=57404 CPUtime=37.18
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 13742 0 0 0 3709 9 0 0 25 0 1 0 305073457 58781696 13728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 14351 13728 77 171 0 14178 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 62760

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1877520/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=61476 CPUtime=88.33
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 14762 0 0 0 8822 11 0 0 25 0 1 0 305073457 62951424 14748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 15369 14748 77 171 0 15196 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 66832

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1872272/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=66876 CPUtime=148.29
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 16103 0 0 0 14817 12 0 0 25 0 1 0 305073457 68481024 16089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 16719 16089 77 171 0 16546 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 72232

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1866320/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=72600 CPUtime=208.26
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 17527 0 0 0 20813 13 0 0 25 0 1 0 305073457 74342400 17513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 18150 17513 77 171 0 17977 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 77956

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1860688/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=78412 CPUtime=268.23
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 18941 0 0 0 26808 15 0 0 25 0 1 0 305073457 80293888 18927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 19603 18927 77 171 0 19430 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 83768

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1855056/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=83824 CPUtime=328.2
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 20312 0 0 0 32804 16 0 0 25 0 1 0 305073457 85835776 20298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 20956 20298 77 171 0 20783 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 89180

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1849560/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=89112 CPUtime=388.16
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 21668 0 0 0 38798 18 0 0 25 0 1 0 305073457 91250688 21654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 22278 21654 77 171 0 22105 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 94468

[startup+462.302 s]

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

/proc/14231/statm: 25151 24462 77 171 0 24978 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 105960

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1832920/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=105620 CPUtime=568.07
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 25752 0 0 0 56784 23 0 0 25 0 1 0 305073457 108154880 25738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 26405 25738 77 171 0 26232 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 110976

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1827160/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=111052 CPUtime=628.04
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 27144 0 0 0 62780 24 0 0 25 0 1 0 305073457 113717248 27130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 27763 27130 77 171 0 27590 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 116408

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1821592/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=116464 CPUtime=688
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 28516 0 0 0 68775 25 0 0 25 0 1 0 305073457 119259136 28502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 29116 28502 77 171 0 28943 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 121820

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1816216/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=122220 CPUtime=747.98
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 29828 0 0 0 74771 27 0 0 25 0 1 0 305073457 125153280 29814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 30555 29814 77 171 0 30382 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 127576

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1810776/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=127644 CPUtime=807.95
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 31190 0 0 0 80766 29 0 0 25 0 1 0 305073457 130707456 31176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 31911 31176 77 171 0 31738 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 133000

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14237
/proc/meminfo: memFree=1805464/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=132668 CPUtime=867.92
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 32474 0 0 0 86762 30 0 0 25 0 1 0 305073457 135852032 32460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 33167 32460 77 171 0 32994 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 138024

[startup+942.302 s]
/proc/loadavg: 1.08 1.02 0.94 2/66 14237
/proc/meminfo: memFree=1799768/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=138216 CPUtime=927.87
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 33878 0 0 0 92755 32 0 0 25 0 1 0 305073457 141533184 33864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 34554 33864 77 171 0 34381 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 143572

[startup+1002.3 s]
/proc/loadavg: 1.10 1.03 0.95 2/66 14237
/proc/meminfo: memFree=1794520/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=143364 CPUtime=987.85
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 35161 0 0 0 98751 34 0 0 25 0 1 0 305073457 146804736 35147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 35841 35147 77 171 0 35668 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 148720

[startup+1062.3 s]
/proc/loadavg: 1.10 1.04 0.95 2/66 14237
/proc/meminfo: memFree=1789912/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=147856 CPUtime=1047.82
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 36302 0 0 0 104748 34 0 0 25 0 1 0 305073457 151404544 36288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 36964 36288 77 171 0 36791 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 153212

[startup+1122.3 s]
/proc/loadavg: 1.04 1.03 0.95 2/66 14237
/proc/meminfo: memFree=1784728/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=152872 CPUtime=1107.78
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 37568 0 0 0 110742 36 0 0 25 0 1 0 305073457 156540928 37554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 38218 37554 77 171 0 38045 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 158228

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 14237
/proc/meminfo: memFree=1779928/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=157492 CPUtime=1167.75
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 38755 0 0 0 116738 37 0 0 25 0 1 0 305073457 161271808 38741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 39373 38741 77 171 0 39200 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 162848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 14237
/proc/meminfo: memFree=1778584/2055920 swapFree=4179676/4192956
[pid=14225] ppid=14223 vsize=5356 CPUtime=13.83
/proc/14225/stat : 14225 (SatELiteGTI) S 14223 14225 14076 0 -1 4194304 336 31075 0 0 0 0 1353 30 16 0 1 0 305072071 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14225/statm: 1339 239 197 169 0 50 0
[pid=14231] ppid=14225 vsize=158812 CPUtime=1186.26
/proc/14231/stat : 14231 (minisat_static) R 14225 14225 14076 0 -1 4194304 39072 0 0 0 118588 38 0 0 25 0 1 0 305073457 162623488 39058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14231/statm: 39703 39058 77 171 0 39530 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 164168

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14225 and gives
#  childrusage.ru_utime.tv_sec=13
#  childrusage.ru_utime.tv_usec=536942
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=309952
# CPU time returned by wait4() is 13.8469
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.41
CPU system time (s): 0.68
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 164168

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

runsolver used 1.06884 second user time and 3.39348 second system time

The end

Launcher Data 

Begin job on node25 at 2009-05-19 23:59:51
IDJOB=1832223
IDBENCH=24637
IDSOLVER=671
FILE ID=node25/1832223-1242770388
PBS_JOBID= 9322273
Free space on /tmp= 66404 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832223-1242770388/watcher-1832223-1242770388 -o /tmp/evaluation-result-1832223-1242770388/solver-1832223-1242770388 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832223-1242770388.cnf

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

MD5SUM BENCH= 4c4e7e1211c6b5f2d2564e77e64df6f5
RANDOM SEED=791053195

node25.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.259
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.259
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:       1961912 kB
Buffers:          9084 kB
Cached:          49560 kB
SwapCached:       7792 kB
Active:          30952 kB
Inactive:        36856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1961912 kB
SwapTotal:     4192956 kB
SwapFree:      4179676 kB
Dirty:           16000 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            12252 kB
Committed_AS:   994476 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node25 at 2009-05-20 00:19:53