Trace number 1834049

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.04 1200.51

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
MD5SUMf36884385029d184241b6634aaaa22ac
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 variables426
Number of clauses92955
Sum of the clauses size544296
Maximum clause length12
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21566
Number of clauses of size 34
Number of clauses of size 4733
Number of clauses of size 55420
Number of clauses of size over 585168

Solver Data

0.00/0.00	c Parsing...
0.00/0.09	c ==============================================================================
0.00/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.09	c ==============================================================================
0.00/0.09	c |         0 |   92891   544232 |   27867       0        0     nan |  0.000 % |
1.99/2.09	c |         0 |   57618   355444 |      --       0       --      -- |     --   | -5321/16268
1.99/2.09	c ==============================================================================
1.99/2.09	c Result  :   #vars: 331   #clauses: 57618   #literals: 355444
1.99/2.09	c CPU time:   2.07868 s
1.99/2.09	c ==============================================================================
2.09/2.19	c This is MiniSat 2.0 beta
2.09/2.19	c WARNING: for repeatability, setting FPU to use double precision
2.09/2.19	c ============================[ Problem Statistics ]=============================
2.09/2.19	c |                                                                             |
2.09/2.19	c |  Number of variables:  331                                                  |
2.09/2.19	c |  Number of clauses:    57618                                                |
2.18/2.23	c |  Parsing time:         0.04         s                                       |
2.18/2.24	c ============================[ Search Statistics ]==============================
2.18/2.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.18/2.24	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.18/2.24	c ===============================================================================
2.18/2.24	c |         0 |     331    57618   355444 |    19206        0    nan |  0.000 % |
2.18/2.24	c |       100 |     331    57618   355444 |    19206      100     10 |  0.001 % |
2.18/2.24	c |       200 |     331    57618   355444 |    19206      200      8 |  0.007 % |
2.18/2.25	c |       301 |     331    57618   355444 |    19206      301      8 |  0.007 % |
2.18/2.25	c |       411 |     331    57618   355444 |    19206      411      8 |  0.005 % |
2.18/2.25	c |       511 |     331    57618   355444 |    19206      511      8 |  0.007 % |
2.18/2.26	c |       622 |     331    57618   355444 |    19206      622      9 |  0.001 % |
2.18/2.26	c |       743 |     331    57618   355444 |    19206      743     11 |  0.001 % |
2.18/2.26	c |       846 |     331    57618   355444 |    19206      846     11 |  0.007 % |
2.18/2.27	c |       959 |     331    57618   355444 |    19206      959     11 |  0.006 % |
2.18/2.27	c |      1080 |     331    57618   355444 |    19206     1080     11 |  0.001 % |
2.18/2.27	c |      1214 |     331    57618   355444 |    19206     1214     12 |  0.001 % |
2.18/2.28	c |      1314 |     331    57618   355444 |    19206     1314     12 |  0.001 % |
2.18/2.28	c |      1424 |     331    57618   355444 |    19206     1424     12 |  0.001 % |
2.18/2.29	c |      1549 |     331    57618   355444 |    19206     1549     13 |  0.001 % |
2.18/2.29	c |      1687 |     331    57618   355444 |    19206     1687     14 |  0.001 % |
2.18/2.30	c |      1834 |     331    57618   355444 |    19206     1834     14 |  0.002 % |
2.18/2.30	c |      1935 |     331    57618   355444 |    19206     1935     14 |  0.001 % |
2.18/2.31	c |      2045 |     331    57618   355444 |    19206     2045     14 |  0.001 % |
2.18/2.31	c |      2167 |     331    57618   355444 |    19206     2167     15 |  0.002 % |
2.18/2.32	c |      2302 |     331    57618   355444 |    19206     2302     14 |  0.001 % |
2.18/2.32	c |      2450 |     331    57618   355444 |    19206     2450     15 |  0.005 % |
2.18/2.33	c |      2611 |     331    57618   355444 |    19206     2611     15 |  0.002 % |
2.18/2.33	c |      2711 |     331    57618   355444 |    19206     2711     15 |  0.001 % |
2.18/2.34	c |      2825 |     331    57618   355444 |    19206     2825     15 |  0.001 % |
2.18/2.34	c |      2946 |     331    57618   355444 |    19206     2946     15 |  0.001 % |
2.18/2.35	c |      3080 |     331    57618   355444 |    19206     3080     14 |  0.001 % |
2.18/2.36	c |      3228 |     331    57618   355444 |    19206     3228     14 |  0.001 % |
2.18/2.37	c |      3390 |     331    57618   355444 |    19206     3390     14 |  0.001 % |
2.18/2.37	c |      3566 |     331    57618   355444 |    19206     3566     14 |  0.001 % |
2.18/2.38	c |      3667 |     331    57618   355444 |    19206     3667     14 |  0.001 % |
2.18/2.38	c |      3777 |     331    57618   355444 |    19206     3777     14 |  0.001 % |
2.18/2.38	c |      3898 |     331    57618   355444 |    19206     3898     14 |  0.001 % |
2.18/2.39	c |      4032 |     331    57618   355444 |    19206     4032     14 |  0.003 % |
2.18/2.40	c |      4178 |     331    57618   355444 |    19206     4178     15 |  0.001 % |
2.18/2.41	c |      4340 |     331    57618   355444 |    19206     4340     15 |  0.007 % |
2.18/2.42	c |      4516 |     331    57618   355444 |    19206     4516     15 |  0.005 % |
2.18/2.42	c |      4710 |     331    57618   355444 |    19206     4710     15 |  0.001 % |
2.18/2.43	c |      4810 |     330    57618   355444 |    19206     4809     15 |  0.303 % |
2.18/2.43	c |      4922 |     330    57618   355444 |    19206     4921     15 |  0.303 % |
2.18/2.44	c |      5043 |     330    57618   355444 |    19206     5042     15 |  0.310 % |
2.18/2.45	c |      5176 |     330    57618   355444 |    19206     5175     15 |  0.303 % |
2.18/2.45	c |      5323 |     330    57618   355444 |    19206     5322     15 |  0.303 % |
2.18/2.46	c |      5483 |     330    57618   355444 |    19206     5482     15 |  0.303 % |
2.18/2.46	c |      5660 |     330    57618   355444 |    19206     5659     15 |  0.309 % |
2.18/2.47	c |      5853 |     330    57618   355444 |    19206     5852     15 |  0.303 % |
2.18/2.48	c |      6065 |     330    57618   355444 |    19206     6064     16 |  0.303 % |
2.18/2.49	c |      6166 |     330    57618   355444 |    19206     6165     16 |  0.303 % |
2.18/2.49	c |      6278 |     329    57618   355444 |    19206     6276     16 |  0.605 % |
2.18/2.50	c |      6399 |     329    57618   355444 |    19206     6397     16 |  0.605 % |
2.18/2.51	c |      6533 |     329    57618   355444 |    19206     6531     16 |  0.605 % |
2.18/2.51	c |      6679 |     329    57618   355444 |    19206     6677     16 |  0.605 % |
2.18/2.52	c |      6839 |     329    57618   355444 |    19206     6837     16 |  0.605 % |
2.18/2.53	c |      7019 |     329    57618   355444 |    19206     7017     16 |  0.614 % |
2.18/2.54	c |      7213 |     329    57618   355444 |    19206     7211     16 |  0.605 % |
2.18/2.55	c |      7425 |     329    57618   355444 |    19206     7423     16 |  0.605 % |
2.18/2.56	c |      7658 |     329    57618   355444 |    19206     7656     16 |  0.605 % |
2.18/2.57	c |      7758 |     329    57618   355444 |    19206     7756     16 |  0.612 % |
2.18/2.57	c |      7868 |     329    57618   355444 |    19206     7866     16 |  0.605 % |
2.18/2.58	c |      7990 |     329    57618   355444 |    19206     7988     16 |  0.612 % |
2.18/2.59	c |      8125 |     329    57618   355444 |    19206     8123     16 |  0.605 % |
2.18/2.59	c |      8271 |     329    57618   355444 |    19206     8269     16 |  0.605 % |
2.18/2.60	c |      8433 |     329    57618   355444 |    19206     8431     16 |  0.605 % |
2.18/2.61	c |      8609 |     329    57618   355444 |    19206     8607     16 |  0.605 % |
2.18/2.62	c |      8803 |     329    57618   355444 |    19206     8801     16 |  0.605 % |
2.18/2.63	c |      9016 |     329    57618   355444 |    19206     9014     16 |  0.612 % |
2.18/2.64	c |      9249 |     329    57618   355444 |    19206     9247     16 |  0.605 % |
2.18/2.65	c |      9508 |     329    57618   355444 |    19206     9506     17 |  0.605 % |
2.18/2.66	c |      9608 |     329    57618   355444 |    19206     9606     17 |  0.605 % |
2.18/2.67	c |      9718 |     329    57618   355444 |    19206     9716     17 |  0.605 % |
2.18/2.67	c |      9839 |     329    57618   355444 |    19206     9837     17 |  0.605 % |
2.18/2.68	c |      9972 |     329    57618   355444 |    19206     9970     17 |  0.605 % |
2.18/2.69	c |     10118 |     329    57618   355444 | 2147483647    10116     17 |  0.605 % |
2.18/2.70	c |     10278 |     329    57618   355444 | 2147483647    10276     17 |  0.605 % |
2.18/2.71	c |     10454 |     329    57618   355444 | 2147483647    10452     17 |  0.605 % |
2.18/2.72	c |     10648 |     329    57618   355444 | 2147483647    10646     17 |  0.605 % |
2.18/2.73	c |     10862 |     329    57618   355444 | 2147483647    10860     17 |  0.605 % |
2.18/2.75	c |     11095 |     329    57618   355444 | 2147483647    11093     17 |  0.605 % |
2.18/2.76	c |     11351 |     329    57618   355444 | 2147483647    11349     17 |  0.605 % |
2.18/2.77	c |     11632 |     329    57618   355444 | 2147483647    11630     17 |  0.605 % |
2.18/2.78	c |     11732 |     329    57618   355444 | 2147483647    11730     17 |  0.612 % |
2.18/2.79	c |     11842 |     329    57618   355444 | 2147483647    11840     17 |  0.610 % |
2.18/2.79	c |     11964 |     329    57618   355444 | 2147483647    11962     17 |  0.605 % |
2.18/2.80	c |     12098 |     329    57618   355444 | 2147483647    12096     17 |  0.605 % |
2.18/2.81	c |     12245 |     329    57618   355444 | 2147483647    12243     17 |  0.605 % |
2.18/2.82	c |     12405 |     329    57618   355444 | 2147483647    12403     17 |  0.605 % |
2.18/2.83	c |     12581 |     329    57618   355444 | 2147483647    12579     17 |  0.605 % |
2.18/2.84	c |     12774 |     329    57618   355444 | 2147483647    12772     17 |  0.605 % |
2.18/2.85	c |     12987 |     329    57618   355444 | 2147483647    12985     17 |  0.605 % |
2.18/2.87	c |     13223 |     329    57618   355444 | 2147483647    13221     17 |  0.605 % |
2.18/2.88	c |     13479 |     329    57618   355444 | 2147483647    13477     17 |  0.605 % |
2.18/2.90	c |     13760 |     329    57618   355444 | 2147483647    13758     17 |  0.605 % |
2.18/2.92	c |     14070 |     329    57618   355444 | 2147483647    14068     17 |  0.605 % |
2.18/2.93	c |     14172 |     329    57618   355444 | 2147483647    14170     17 |  0.606 % |
2.18/2.93	c |     14282 |     329    57618   355444 | 2147483647    14280     17 |  0.605 % |
2.18/2.94	c |     14403 |     329    57618   355444 | 2147483647    14401     17 |  0.610 % |
2.18/2.95	c |     14536 |     329    57618   355444 | 2147483647    14534     17 |  0.607 % |
2.18/2.96	c |     14682 |     329    57618   355444 | 2147483647    14680     17 |  0.607 % |
2.18/2.97	c |     14842 |     329    57618   355444 | 2147483647    14840     17 |  0.605 % |
2.18/2.98	c |     15019 |     329    57618   355444 | 2147483647    15017     17 |  0.605 % |
2.18/2.99	c |     15217 |     329    57618   355444 | 2147483647    15215     17 |  0.605 % |
2.18/3.01	c |     15429 |     329    57618   355444 | 2147483647    15427     18 |  0.605 % |
2.18/3.02	c |     15662 |     329    57618   355444 | 2147483647    15660     18 |  0.607 % |
2.18/3.04	c |     15922 |     329    57618   355444 | 2147483647    15920     18 |  0.605 % |
2.18/3.05	c |     16205 |     329    57618   355444 | 2147483647    16203     18 |  0.605 % |
2.18/3.07	c |     16514 |     329    57618   355444 | 2147483647    16512     18 |  0.605 % |
2.18/3.09	c |     16853 |     329    57618   355444 | 2147483647    16851     18 |  0.605 % |
2.18/3.11	c |     16953 |     329    57618   355444 | 2147483647    16951     18 |  0.605 % |
2.18/3.11	c |     17065 |     329    57618   355444 | 2147483647    17063     18 |  0.605 % |
2.18/3.13	c |     17186 |     329    57618   355444 | 2147483647    17184     18 |  0.605 % |
2.18/3.14	c |     17319 |     329    57618   355444 | 2147483647    17317     18 |  0.605 % |
2.18/3.15	c |     17468 |     329    57618   355444 | 2147483647    17466     18 |  0.613 % |
2.18/3.15	c |     17628 |     329    57618   355444 | 2147483647    17626     18 |  0.605 % |
2.18/3.17	c |     17804 |     329    57618   355444 | 2147483647    17802     18 |  0.605 % |
2.18/3.18	c |     18000 |     329    57618   355444 | 2147483647    17998     18 |  0.612 % |
3.17/3.21	c |     18212 |     329    57618   355444 | 2147483647    18210     18 |  0.605 % |
3.17/3.22	c |     18446 |     329    57618   355444 | 2147483647    18444     18 |  0.605 % |
3.17/3.24	c |     18703 |     329    57618   355444 | 2147483647    18701     18 |  0.605 % |
3.17/3.27	c |     18985 |     329    57618   355444 | 2147483647    18983     18 |  0.613 % |
3.17/3.28	c |     19294 |     329    57618   355444 | 2147483647    19292     18 |  0.614 % |
3.26/3.32	c |     19636 |     329    57618   355444 | 2147483647    19634     18 |  0.605 % |
3.26/3.35	c |     20008 |     329    57618   355444 | 2147483647    20006     18 |  0.605 % |
3.26/3.36	c |     20109 |     329    57618   355444 | 2147483647    20107     18 |  0.605 % |
3.26/3.37	c |     20221 |     329    57618   355444 | 2147483647    20219     18 |  0.605 % |
3.26/3.38	c |     20342 |     329    57618   355444 | 2147483647    20340     18 |  0.605 % |
3.26/3.39	c |     20476 |     329    57618   355444 | 2147483647    20474     18 |  0.605 % |
3.36/3.40	c |     20623 |     329    57618   355444 | 2147483647    20621     18 |  0.607 % |
3.36/3.41	c |     20784 |     329    57618   355444 | 2147483647    20782     18 |  0.612 % |
3.36/3.42	c |     20961 |     329    57618   355444 | 2147483647    20959     18 |  0.612 % |
3.36/3.43	c |     21155 |     329    57618   355444 | 2147483647    21153     18 |  0.612 % |
3.36/3.44	c |     21367 |     329    57618   355444 | 2147483647    21365     18 |  0.612 % |
3.36/3.45	c |     21600 |     329    57618   355444 | 2147483647    21598     18 |  0.612 % |
3.36/3.47	c |     21856 |     329    57618   355444 | 2147483647    21854     18 |  0.614 % |
3.36/3.48	c |     22137 |     329    57618   355444 | 2147483647    22135     17 |  0.614 % |
3.46/3.51	c |     22447 |     328    57618   355444 | 2147483647    22444     17 |  0.907 % |
3.46/3.52	c |     22786 |     328    57618   355444 | 2147483647    22783     18 |  0.907 % |
3.46/3.55	c |     23158 |     328    57618   355444 | 2147483647    23155     18 |  0.907 % |
3.46/3.58	c |     23567 |     327    57618   355444 | 2147483647    23563     18 |  1.209 % |
3.46/3.60	c |     23667 |     327    57618   355444 | 2147483647    23663     18 |  1.209 % |
3.56/3.61	c |     23780 |     327    57618   355444 | 2147483647    23776     18 |  1.209 % |
3.56/3.62	c |     23901 |     327    57618   355444 | 2147483647    23897     18 |  1.209 % |
3.56/3.62	c |     24034 |     327    57618   355444 | 2147483647    24030     18 |  1.214 % |
3.56/3.64	c |     24182 |     327    57618   355444 | 2147483647    24178     18 |  1.209 % |
3.56/3.66	c |     24344 |     327    57618   355444 | 2147483647    24340     18 |  1.209 % |
3.56/3.68	c |     24522 |     327    57618   355444 | 2147483647    24518     18 |  1.219 % |
3.56/3.69	c |     24716 |     327    57618   355444 | 2147483647    24712     18 |  1.209 % |
3.66/3.70	c |     24929 |     327    57618   355444 | 2147483647    24925     18 |  1.209 % |
3.66/3.73	c |     25162 |     327    57618   355444 | 2147483647    25158     18 |  1.209 % |
3.66/3.74	c |     25419 |     327    57618   355444 | 2147483647    25415     18 |  1.209 % |
3.66/3.77	c |     25701 |     327    57618   355444 | 2147483647    25697     18 |  1.209 % |
3.66/3.79	c |     26010 |     327    57618   355444 | 2147483647    26006     18 |  1.209 % |
3.76/3.83	c |     26349 |     327    57618   355444 | 2147483647    26345     18 |  1.209 % |
3.76/3.86	c |     26721 |     327    57618   355444 | 2147483647    26717     18 |  1.209 % |
3.86/3.90	c |     27131 |     327    57618   355444 | 2147483647    27127     18 |  1.209 % |
3.86/3.93	c |     27580 |     327    57618   355444 | 2147483647    27576     18 |  1.215 % |
3.86/3.95	c |     27683 |     327    57618   355444 | 2147483647    27679     18 |  1.209 % |
3.86/3.96	c |     27793 |     327    57618   355444 | 2147483647    27789     18 |  1.209 % |
3.86/3.97	c |     27915 |     327    57618   355444 | 2147483647    27911     18 |  1.209 % |
3.86/3.99	c |     28048 |     327    57618   355444 | 2147483647    28044     18 |  1.217 % |
3.96/4.00	c |     28195 |     327    57618   355444 | 2147483647    28191     18 |  1.209 % |
3.96/4.02	c |     28356 |     327    57618   355444 | 2147483647    28352     18 |  1.209 % |
3.96/4.04	c |     28532 |     327    57618   355444 | 2147483647    28528     18 |  1.209 % |
3.96/4.06	c |     28726 |     327    57618   355444 | 2147483647    28722     18 |  1.211 % |
3.96/4.08	c |     28939 |     327    57618   355444 | 2147483647    28935     19 |  1.209 % |
4.06/4.10	c |     29174 |     327    57618   355444 | 2147483647    29170     19 |  1.209 % |
4.06/4.12	c |     29430 |     327    57618   355444 | 2147483647    29426     19 |  1.209 % |
4.06/4.15	c |     29711 |     327    57618   355444 | 2147483647    29707     19 |  1.219 % |
4.06/4.17	c |     30022 |     327    57618   355444 | 2147483647    30018     18 |  1.217 % |
4.17/4.20	c |     30362 |     327    57618   355444 | 2147483647    30358     19 |  1.209 % |
4.17/4.24	c |     30735 |     327    57618   355444 | 2147483647    30731     19 |  1.209 % |
4.27/4.31	c |     31144 |     327    54037   334075 | 2147483647    29236     19 |  1.217 % |
4.27/4.34	c |     31595 |     327    54037   334075 | 2147483647    29687     19 |  1.215 % |
4.37/4.41	c |     32088 |     327    54037   334075 | 2147483647    30180     20 |  1.210 % |
4.37/4.42	c |     32188 |     327    54037   334075 | 2147483647    30280     20 |  1.209 % |
4.37/4.43	c |     32299 |     327    54037   334075 | 2147483647    30391     20 |  1.209 % |
4.37/4.45	c |     32420 |     327    54037   334075 | 2147483647    30512     20 |  1.209 % |
4.37/4.46	c |     32554 |     327    54037   334075 | 2147483647    30646     20 |  1.210 % |
4.37/4.48	c |     32701 |     327    54037   334075 | 2147483647    30793     20 |  1.209 % |
4.37/4.49	c |     32861 |     327    54037   334075 | 2147483647    30953     20 |  1.210 % |
4.47/4.51	c |     33039 |     327    54037   334075 | 2147483647    31131     20 |  1.209 % |
4.47/4.54	c |     33232 |     327    54037   334075 | 2147483647    31324     20 |  1.209 % |
4.47/4.57	c |     33444 |     327    54037   334075 | 2147483647    31536     20 |  1.209 % |
4.47/4.59	c |     33677 |     327    54037   334075 | 2147483647    31769     20 |  1.214 % |
4.57/4.61	c |     33933 |     327    54037   334075 | 2147483647    32025     20 |  1.209 % |
4.57/4.63	c |     34214 |     327    54037   334075 | 2147483647    32306     20 |  1.209 % |
4.57/4.65	c |     34524 |     327    54037   334075 | 2147483647    32616     20 |  1.209 % |
4.66/4.70	c |     34866 |     327    54037   334075 | 2147483647    32958     20 |  1.209 % |
4.66/4.73	c |     35240 |     327    54037   334075 | 2147483647    33332     20 |  1.216 % |
4.66/4.76	c |     35649 |     327    54037   334075 | 2147483647    33741     20 |  1.209 % |
4.76/4.80	c |     36099 |     327    54037   334075 | 2147483647    34191     20 |  1.209 % |
4.76/4.87	c |     36593 |     327    54037   334075 | 2147483647    34685     20 |  1.209 % |
4.86/4.95	c |     37136 |     327    54037   334075 | 2147483647    35228     20 |  1.209 % |
4.86/4.97	c |     37236 |     327    54037   334075 | 2147483647    35328     20 |  1.217 % |
4.86/4.98	c |     37348 |     327    54037   334075 | 2147483647    35440     20 |  1.219 % |
4.86/4.99	c |     37469 |     327    54037   334075 | 2147483647    35561     20 |  1.209 % |
4.96/5.01	c |     37602 |     327    54037   334075 | 2147483647    35694     20 |  1.209 % |
4.96/5.02	c |     37750 |     327    54037   334075 | 2147483647    35842     20 |  1.210 % |
4.96/5.03	c |     37910 |     327    54037   334075 | 2147483647    36002     20 |  1.209 % |
4.96/5.05	c |     38086 |     327    54037   334075 | 2147483647    36178     20 |  1.214 % |
4.96/5.08	c |     38281 |     327    54037   334075 | 2147483647    36373     20 |  1.209 % |
5.06/5.10	c |     38493 |     327    54037   334075 | 2147483647    36585     20 |  1.209 % |
5.06/5.12	c |     38726 |     327    54037   334075 | 2147483647    36818     20 |  1.209 % |
5.06/5.15	c |     38982 |     327    54037   334075 | 2147483647    37074     20 |  1.209 % |
5.06/5.18	c |     39263 |     327    54037   334075 | 2147483647    37355     20 |  1.209 % |
5.16/5.21	c |     39572 |     327    54037   334075 | 2147483647    37664     20 |  1.209 % |
5.16/5.26	c |     39912 |     327    54037   334075 | 2147483647    38004     20 |  1.209 % |
5.26/5.33	c |     40285 |     327    54037   334075 | 2147483647    38377     20 |  1.209 % |
5.26/5.37	c |     40697 |     327    54037   334075 | 2147483647    38789     20 |  1.209 % |
5.37/5.45	c |     41146 |     327    54037   334075 | 2147483647    39238     20 |  1.209 % |
5.47/5.51	c |     41639 |     327    54037   334075 | 2147483647    39731     20 |  1.209 % |
5.47/5.59	c |     42181 |     327    54037   334075 | 2147483647    40273     20 |  1.209 % |
5.56/5.69	c |     42777 |     327    54037   334075 | 2147483647    40869     20 |  1.214 % |
5.66/5.70	c |     42878 |     327    54037   334075 | 2147483647    40970     20 |  1.209 % |
5.66/5.72	c |     42988 |     327    54037   334075 | 2147483647    41080     20 |  1.217 % |
5.66/5.74	c |     43109 |     327    54037   334075 | 2147483647    41201     20 |  1.219 % |
5.66/5.75	c |     43242 |     327    54037   334075 | 2147483647    41334     20 |  1.214 % |
5.66/5.77	c |     43389 |     327    54037   334075 | 2147483647    41481     20 |  1.219 % |
5.66/5.78	c |     43549 |     327    54037   334075 | 2147483647    41641     20 |  1.209 % |
5.76/5.82	c |     43727 |     327    54037   334075 | 2147483647    41819     20 |  1.209 % |
5.76/5.84	c |     43920 |     327    54037   334075 | 2147483647    42012     20 |  1.209 % |
5.76/5.87	c |     44133 |     327    54037   334075 | 2147483647    42225     20 |  1.209 % |
5.76/5.89	c |     44367 |     327    54037   334075 | 2147483647    42459     20 |  1.209 % |
5.86/5.92	c |     44624 |     327    54037   334075 | 2147483647    42716     20 |  1.209 % |
5.86/5.95	c |     44905 |     327    54037   334075 | 2147483647    42997     20 |  1.209 % |
5.86/5.99	c |     45214 |     327    54037   334075 | 2147483647    43306     20 |  1.209 % |
5.96/6.03	c |     45554 |     327    54037   334075 | 2147483647    43646     20 |  1.209 % |
6.06/6.10	c |     45928 |     327    54037   334075 | 2147483647    44020     20 |  1.209 % |
6.06/6.17	c |     46337 |     327    54037   334075 | 2147483647    44429     20 |  1.209 % |
6.16/6.23	c |     46786 |     327    54037   334075 | 2147483647    44878     21 |  1.217 % |
6.26/6.30	c |     47280 |     327    54037   334075 | 2147483647    45372     20 |  1.209 % |
6.26/6.39	c |     47823 |     327    54037   334075 | 2147483647    45915     20 |  1.209 % |
6.36/6.50	c |     48419 |     327    54037   334075 | 2147483647    46511     21 |  1.209 % |
6.47/6.56	c |     49074 |     327    54037   334075 | 2147483647    47166     21 |  1.209 % |
6.47/6.59	c |     49174 |     327    54037   334075 | 2147483647    47266     21 |  1.209 % |
6.57/6.62	c |     49287 |     327    54037   334075 | 2147483647    47379     21 |  1.209 % |
6.57/6.64	c |     49408 |     327    54037   334075 | 2147483647    47500     21 |  1.219 % |
6.57/6.66	c |     49545 |     327    54037   334075 | 2147483647    47637     21 |  1.209 % |
6.57/6.69	c |     49693 |     327    54037   334075 | 2147483647    47785     21 |  1.209 % |
6.66/6.72	c |     49853 |     327    54037   334075 | 2147483647    47945     21 |  1.209 % |
6.66/6.76	c |     50029 |     327    54037   334075 | 2147483647    48121     21 |  1.209 % |
6.66/6.79	c |     50222 |     327    54037   334075 | 2147483647    48314     21 |  1.209 % |
6.76/6.82	c |     50434 |     327    54037   334075 | 2147483647    48526     21 |  1.210 % |
6.76/6.86	c |     50668 |     327    54037   334075 | 2147483647    48760     21 |  1.210 % |
6.76/6.90	c |     50924 |     327    54037   334075 | 2147483647    49016     21 |  1.214 % |
6.87/6.94	c |     51206 |     327    54037   334075 | 2147483647    49298     21 |  1.210 % |
6.87/6.99	c |     51516 |     327    54037   334075 | 2147483647    49608     21 |  1.216 % |
6.97/7.06	c |     51855 |     327    54037   334075 | 2147483647    49947     21 |  1.209 % |
7.07/7.13	c |     52227 |     327    54037   334075 | 2147483647    50319     21 |  1.209 % |
7.17/7.20	c |     52636 |     327    54037   334075 | 2147483647    50728     21 |  1.209 % |
7.17/7.27	c |     53086 |     327    54037   334075 | 2147483647    51178     21 |  1.209 % |
7.27/7.36	c |     53580 |     327    54037   334075 | 2147483647    51672     21 |  1.209 % |
7.36/7.47	c |     54123 |     327    54037   334075 | 2147483647    52215     21 |  1.210 % |
7.46/7.57	c |     54719 |     327    54037   334075 | 2147483647    52811     21 |  1.216 % |
7.67/7.72	c |     55374 |     327    54037   334075 | 2147483647    53466     21 |  1.209 % |
7.76/7.85	c |     56096 |     327    54037   334075 | 2147483647    54188     21 |  1.219 % |
7.76/7.88	c |     56198 |     327    54037   334075 | 2147483647    54290     21 |  1.209 % |
7.86/7.90	c |     56310 |     327    54037   334075 | 2147483647    54402     21 |  1.209 % |
7.86/7.91	c |     56433 |     327    54037   334075 | 2147483647    54525     21 |  1.209 % |
7.86/7.94	c |     56567 |     327    54037   334075 | 2147483647    54659     21 |  1.209 % |
7.86/7.98	c |     56713 |     327    54037   334075 | 2147483647    54805     21 |  1.209 % |
7.96/8.01	c |     56874 |     327    54037   334075 | 2147483647    54966     21 |  1.209 % |
7.96/8.04	c |     57050 |     327    54037   334075 | 2147483647    55142     21 |  1.210 % |
7.96/8.09	c |     57245 |     327    54037   334075 | 2147483647    55337     21 |  1.209 % |
8.06/8.13	c |     57457 |     327    54037   334075 | 2147483647    55549     21 |  1.209 % |
8.16/8.20	c |     57693 |     327    54037   334075 | 2147483647    55785     21 |  1.209 % |
8.16/8.26	c |     57950 |     327    54037   334075 | 2147483647    56042     21 |  1.209 % |
8.26/8.30	c |     58231 |     327    54037   334075 | 2147483647    56323     21 |  1.209 % |
8.26/8.34	c |     58540 |     327    54037   334075 | 2147483647    56632     21 |  1.209 % |
8.36/8.43	c |     58879 |     327    54037   334075 | 2147483647    56971     21 |  1.209 % |
8.36/8.48	c |     59252 |     327    54037   334075 | 2147483647    57344     21 |  1.209 % |
8.46/8.55	c |     59662 |     326    54037   334075 | 2147483647    57753     21 |  1.511 % |
8.56/8.65	c |     60111 |     326    54037   334075 | 2147483647    58202     21 |  1.511 % |
8.67/8.72	c |     60604 |     326    54037   334075 | 2147483647    58695     21 |  1.511 % |
8.77/8.81	c |     61149 |     326    54037   334075 | 2147483647    59240     21 |  1.511 % |
8.77/8.87	c |     61746 |     326    54037   334075 | 2147483647    59837     21 |  1.512 % |
8.86/8.97	c |     62402 |     326    54037   334075 | 2147483647    60493     21 |  1.511 % |
8.96/9.09	c |     63124 |     326    54037   334075 | 2147483647    61215     21 |  1.512 % |
9.06/9.19	c |     63916 |     326    54037   334075 | 2147483647    62007     21 |  1.511 % |
9.16/9.21	c |     64016 |     326    54037   334075 | 2147483647    62107     21 |  1.511 % |
9.16/9.27	c |     64126 |     326    54037   334075 | 2147483647    62217     22 |  1.511 % |
9.26/9.30	c |     64247 |     326    54037   334075 | 2147483647    62338     22 |  1.511 % |
9.26/9.33	c |     64381 |     326    54037   334075 | 2147483647    62472     22 |  1.511 % |
9.26/9.36	c |     64527 |     326    54037   334075 | 2147483647    62618     22 |  1.511 % |
9.36/9.42	c |     64687 |     326    54037   334075 | 2147483647    62778     22 |  1.511 % |
9.36/9.46	c |     64863 |     326    54037   334075 | 2147483647    62954     22 |  1.511 % |
9.46/9.54	c |     65060 |     326    54037   334075 | 2147483647    63151     22 |  1.511 % |
9.46/9.59	c |     65274 |     326    54037   334075 | 2147483647    63365     22 |  1.511 % |
9.56/9.65	c |     65508 |     326    54037   334075 | 2147483647    63599     22 |  1.511 % |
9.66/9.73	c |     65769 |     326    54037   334075 | 2147483647    63860     22 |  1.511 % |
9.66/9.77	c |     66050 |     326    54037   334075 | 2147483647    64141     22 |  1.511 % |
9.76/9.85	c |     66361 |     326    54037   334075 | 2147483647    64452     22 |  1.513 % |
9.86/9.94	c |     66702 |     326    54037   334075 | 2147483647    64793     22 |  1.511 % |
9.96/10.06	c |     67075 |     326    54037   334075 | 2147483647    65166     22 |  1.511 % |
10.06/10.17	c |     67484 |     326    54037   334075 | 2147483647    65575     22 |  1.511 % |
10.16/10.24	c |     67935 |     326    54037   334075 | 2147483647    66026     22 |  1.511 % |
10.26/10.40	c |     68429 |     326    54037   334075 | 2147483647    66520     22 |  1.521 % |
10.36/10.49	c |     68971 |     326    54037   334075 | 2147483647    67062     22 |  1.511 % |
10.56/10.61	c |     69567 |     326    54037   334075 | 2147483647    67658     22 |  1.521 % |
10.76/10.82	c |     70224 |     326    54037   334075 | 2147483647    68315     22 |  1.511 % |
10.86/10.99	c |     70946 |     326    54037   334075 | 2147483647    69037     22 |  1.511 % |
11.06/11.15	c |     71740 |     326    54037   334075 | 2147483647    69831     22 |  1.512 % |
11.26/11.30	c |     72611 |     326    54037   334075 | 2147483647    70702     22 |  1.521 % |
11.26/11.32	c |     72712 |     326    54037   334075 | 2147483647    70803     22 |  1.511 % |
11.26/11.34	c |     72822 |     326    54037   334075 | 2147483647    70913     22 |  1.513 % |
11.26/11.36	c |     72944 |     326    54037   334075 | 2147483647    71035     22 |  1.511 % |
11.26/11.40	c |     73077 |     326    54037   334075 | 2147483647    71168     22 |  1.511 % |
11.36/11.43	c |     73225 |     326    54037   334075 | 2147483647    71316     22 |  1.511 % |
11.36/11.47	c |     73386 |     326    54037   334075 | 2147483647    71477     22 |  1.511 % |
11.36/11.49	c |     73563 |     326    54037   334075 | 2147483647    71654     22 |  1.518 % |
11.46/11.55	c |     73756 |     326    54037   334075 | 2147483647    71847     22 |  1.512 % |
11.46/11.60	c |     73969 |     326    54037   334075 | 2147483647    72060     22 |  1.511 % |
11.56/11.66	c |     74203 |     326    54037   334075 | 2147483647    72294     22 |  1.511 % |
11.66/11.71	c |     74459 |     326    54037   334075 | 2147483647    72550     22 |  1.511 % |
11.66/11.77	c |     74740 |     326    54037   334075 | 2147483647    72831     22 |  1.521 % |
11.76/11.82	c |     75050 |     326    54037   334075 | 2147483647    73141     22 |  1.511 % |
11.86/11.95	c |     75389 |     326    54037   334075 | 2147483647    73480     22 |  1.511 % |
11.96/12.08	c |     75762 |     326    54037   334075 | 2147483647    73853     22 |  1.511 % |
12.06/12.16	c |     76176 |     326    54037   334075 | 2147483647    74267     22 |  1.511 % |
12.16/12.27	c |     76625 |     326    54037   334075 | 2147483647    74716     22 |  1.512 % |
12.35/12.42	c |     77119 |     326    54037   334075 | 2147483647    75210     22 |  1.511 % |
12.45/12.59	c |     77661 |     326    54037   334075 | 2147483647    75752     22 |  1.511 % |
12.66/12.71	c |     78257 |     326    54037   334075 | 2147483647    76348     22 |  1.515 % |
12.76/12.81	c |     78913 |     326    54037   334075 | 2147483647    77004     22 |  1.512 % |
12.96/13.03	c |     79633 |     326    54037   334075 | 2147483647    77724     22 |  1.511 % |
13.17/13.27	c |     80425 |     326    54037   334075 | 2147483647    78516     22 |  1.511 % |
13.46/13.50	c |     81296 |     326    54037   334075 | 2147483647    79387     22 |  1.512 % |
13.66/13.71	c |     82254 |     326    54037   334075 | 2147483647    80345     22 |  1.511 % |
13.66/13.75	c |     82355 |     326    54037   334075 | 2147483647    80446     22 |  1.511 % |
13.66/13.79	c |     82465 |     326    54037   334075 | 2147483647    80556     22 |  1.511 % |
13.76/13.83	c |     82586 |     326    54037   334075 | 2147483647    80677     22 |  1.511 % |
13.76/13.89	c |     82719 |     326    54037   334075 | 2147483647    80810     22 |  1.511 % |
13.86/13.93	c |     82865 |     326    54037   334075 | 2147483647    80956     22 |  1.511 % |
13.86/13.99	c |     83027 |     326    54037   334075 | 2147483647    81118     22 |  1.511 % |
13.96/14.08	c |     83204 |     326    54037   334075 | 2147483647    81295     22 |  1.511 % |
14.06/14.13	c |     83397 |     326    54037   334075 | 2147483647    81488     22 |  1.511 % |
14.06/14.19	c |     83610 |     326    54037   334075 | 2147483647    81701     23 |  1.511 % |
14.16/14.26	c |     83845 |     326    54037   334075 | 2147483647    81936     22 |  1.511 % |
14.26/14.31	c |     84105 |     326    54037   334075 | 2147483647    82196     23 |  1.511 % |
14.26/14.39	c |     84387 |     326    54037   334075 | 2147483647    82478     22 |  1.511 % |
14.36/14.45	c |     84700 |     326    54037   334075 | 2147483647    82791     22 |  1.511 % |
14.46/14.54	c |     85039 |     326    54037   334075 | 2147483647    83130     22 |  1.512 % |
14.56/14.69	c |     85412 |     326    54037   334075 | 2147483647    83503     23 |  1.511 % |
14.66/14.78	c |     85821 |     326    54037   334075 | 2147483647    83912     23 |  1.511 % |
14.76/14.89	c |     86270 |     326    54037   334075 | 2147483647    84361     23 |  1.512 % |
14.96/15.04	c |     86764 |     326    54037   334075 | 2147483647    84855     23 |  1.511 % |
15.06/15.16	c |     87306 |     326    54037   334075 | 2147483647    85397     23 |  1.511 % |
15.26/15.31	c |     87904 |     326    54037   334075 | 2147483647    85995     23 |  1.511 % |
15.36/15.43	c |     88561 |     326    54037   334075 | 2147483647    86652     23 |  1.511 % |
15.56/15.64	c |     89281 |     326    54037   334075 | 2147483647    87372     23 |  1.511 % |
15.86/15.93	c |     90073 |     326    54037   334075 | 2147483647    88164     23 |  1.511 % |
16.26/16.31	c |     90944 |     326    53639   331996 | 2147483647    89034     23 |  1.511 % |
16.66/16.72	c |     91903 |     326    53639   331996 | 2147483647    89993     23 |  1.511 % |
16.96/17.05	c |     92956 |     326    53639   331996 | 2147483647    91046     23 |  1.511 % |
16.96/17.09	c |     93056 |     326    53639   331996 | 2147483647    91146     23 |  1.511 % |
17.06/17.16	c |     93166 |     326    53639   331996 | 2147483647    91256     23 |  1.513 % |
17.16/17.22	c |     93288 |     326    53639   331996 | 2147483647    91378     23 |  1.511 % |
17.26/17.31	c |     93421 |     326    53639   331996 | 2147483647    91511     23 |  1.511 % |
17.26/17.35	c |     93576 |     326    53639   331996 | 2147483647    91666     23 |  1.512 % |
17.26/17.39	c |     93738 |     326    53639   331996 | 2147483647    91828     23 |  1.511 % |
17.36/17.43	c |     93916 |     326    53639   331996 | 2147483647    92006     23 |  1.511 % |
17.36/17.45	c |     94110 |     326    53639   331996 | 2147483647    92200     23 |  1.512 % |
17.36/17.50	c |     94322 |     326    53639   331996 | 2147483647    92412     23 |  1.512 % |
17.46/17.55	c |     94556 |     326    53639   331996 | 2147483647    92646     23 |  1.512 % |
17.56/17.63	c |     94814 |     326    53639   331996 | 2147483647    92904     23 |  1.511 % |
17.66/17.72	c |     95096 |     326    53639   331996 | 2147483647    93186     23 |  1.511 % |
17.76/17.81	c |     95406 |     326    53639   331996 | 2147483647    93496     23 |  1.511 % |
17.76/17.85	c |     95746 |     326    53639   331996 | 2147483647    93836     23 |  1.511 % |
17.86/17.92	c |     96118 |     326    53639   331996 | 2147483647    94208     23 |  1.512 % |
17.96/18.04	c |     96528 |     326    53639   331996 | 2147483647    94618     23 |  1.511 % |
18.16/18.24	c |     96978 |     326    53639   331996 | 2147483647    95068     23 |  1.512 % |
18.36/18.43	c |     97474 |     326    53639   331996 | 2147483647    95564     23 |  1.511 % |
18.56/18.63	c |     98016 |     326    53639   331996 | 2147483647    96106     23 |  1.523 % |
18.86/18.95	c |     98613 |     325    53639   331996 | 2147483647    96702     23 |  1.814 % |
19.16/19.22	c |     99269 |     325    53639   331996 | 2147483647    97358     23 |  1.814 % |
19.46/19.51	c |     99989 |     325    53639   331996 | 2147483647    98078     23 |  1.818 % |
19.76/19.82	c |    100782 |     325    53639   331996 | 2147483647    98871     23 |  1.814 % |
20.15/20.20	c |    101653 |     325    53639   331996 | 2147483647    99742     23 |  1.821 % |
20.45/20.55	c |    102611 |     325    53639   331996 | 2147483647   100700     23 |  1.818 % |
20.86/20.95	c |    103669 |     325    53639   331996 | 2147483647   101758     23 |  1.821 % |
21.25/21.35	c |    104828 |     325    53639   331996 | 2147483647   102917     23 |  1.818 % |
21.35/21.44	c |    104929 |     325    53639   331996 | 2147483647   103018     23 |  1.821 % |
21.45/21.52	c |    105042 |     325    53639   331996 | 2147483647   103131     23 |  1.818 % |
21.55/21.60	c |    105164 |     325    53639   331996 | 2147483647   103253     23 |  1.814 % |
21.55/21.66	c |    105299 |     325    53639   331996 | 2147483647   103388     23 |  1.814 % |
21.65/21.72	c |    105445 |     325    53639   331996 | 2147483647   103534     23 |  1.814 % |
21.65/21.78	c |    105608 |     325    53639   331996 | 2147483647   103697     23 |  1.820 % |
21.75/21.85	c |    105785 |     325    53639   331996 | 2147483647   103874     23 |  1.819 % |
21.86/21.91	c |    105978 |     325    53639   331996 | 2147483647   104067     23 |  1.814 % |
21.86/21.97	c |    106190 |     325    53639   331996 | 2147483647   104279     23 |  1.814 % |
21.96/22.03	c |    106423 |     325    53639   331996 | 2147483647   104512     23 |  1.815 % |
22.05/22.10	c |    106679 |     325    53639   331996 | 2147483647   104768     23 |  1.814 % |
22.05/22.18	c |    106960 |     325    53639   331996 | 2147483647   105049     23 |  1.814 % |
22.25/22.32	c |    107269 |     325    53639   331996 | 2147483647   105358     23 |  1.814 % |
22.35/22.45	c |    107609 |     325    53639   331996 | 2147483647   105698     23 |  1.814 % |
22.55/22.66	c |    107981 |     325    53639   331996 | 2147483647   106070     23 |  1.814 % |
22.75/22.81	c |    108390 |     325    53639   331996 | 2147483647   106479     23 |  1.814 % |
22.95/23.03	c |    108840 |     325    53639   331996 | 2147483647   106929     23 |  1.814 % |
23.06/23.13	c |    109336 |     325    53639   331996 | 2147483647   107425     23 |  1.814 % |
23.26/23.33	c |    109878 |     325    53639   331996 | 2147483647   107967     23 |  1.814 % |
23.36/23.46	c |    110474 |     325    53639   331996 | 2147483647   108563     23 |  1.821 % |
23.56/23.62	c |    111130 |     325    53639   331996 | 2147483647   109219     23 |  1.814 % |
23.66/23.78	c |    111852 |     325    53639   331996 | 2147483647   109941     23 |  1.814 % |
23.86/23.94	c |    112645 |     325    53639   331996 | 2147483647   110734     23 |  1.814 % |
24.16/24.23	c |    113516 |     325    53639   331996 | 2147483647   111605     23 |  1.814 % |
24.46/24.54	c |    114475 |     325    53639   331996 | 2147483647   112564     23 |  1.815 % |
24.86/24.98	c |    115528 |     325    53639   331996 | 2147483647   113617     23 |  1.814 % |
25.46/25.56	c |    116686 |     325    53639   331996 | 2147483647   114775     23 |  1.814 % |
25.76/25.88	c |    117961 |     325    53639   331996 | 2147483647   116050     23 |  1.814 % |
25.86/25.91	c |    118061 |     325    53639   331996 | 2147483647   116150     23 |  1.814 % |
25.86/25.97	c |    118172 |     325    53639   331996 | 2147483647   116261     23 |  1.814 % |
25.96/26.00	c |    118293 |     325    53639   331996 | 2147483647   116382     23 |  1.814 % |
25.96/26.05	c |    118426 |     325    53639   331996 | 2147483647   116515     23 |  1.825 % |
26.06/26.12	c |    118573 |     325    53639   331996 | 2147483647   116662     23 |  1.814 % |
26.16/26.21	c |    118733 |     325    53639   331996 | 2147483647   116822     23 |  1.814 % |
26.16/26.29	c |    118910 |     325    53639   331996 | 2147483647   116999     23 |  1.814 % |
26.26/26.39	c |    119104 |     325    53639   331996 | 2147483647   117193     23 |  1.814 % |
26.36/26.47	c |    119317 |     325    53639   331996 | 2147483647   117406     23 |  1.814 % |
26.45/26.57	c |    119550 |     325    53639   331996 | 2147483647   117639     23 |  1.820 % |
26.75/26.81	c |    119806 |     325    53639   331996 | 2147483647   117895     23 |  1.814 % |
26.85/26.98	c |    120088 |     325    53639   331996 | 2147483647   118177     23 |  1.814 % |
27.05/27.16	c |    120397 |     325    53639   331996 | 2147483647   118486     23 |  1.814 % |
27.25/27.37	c |    120737 |     325    53639   331996 | 2147483647   118826     23 |  1.814 % |
27.55/27.60	c |    121112 |     325    53639   331996 | 2147483647   119201     23 |  1.814 % |
27.75/27.88	c |    121523 |     325    53639   331996 | 2147483647   119612     23 |  1.821 % |
28.05/28.13	c |    121973 |     325    53639   331996 | 2147483647   120062     23 |  1.815 % |
28.35/28.40	c |    122466 |     325    53639   331996 | 2147483647   120555     23 |  1.814 % |
28.55/28.69	c |    123008 |     325    53639   331996 | 2147483647   121097     23 |  1.814 % |
28.95/29.02	c |    123605 |     325    53639   331996 | 2147483647   121694     23 |  1.814 % |
29.25/29.33	c |    124262 |     325    53639   331996 | 2147483647   122351     23 |  1.814 % |
29.45/29.57	c |    124984 |     325    53639   331996 | 2147483647   123073     23 |  1.814 % |
29.95/30.08	c |    125777 |     325    53639   331996 | 2147483647   123866     23 |  1.814 % |
30.24/30.36	c |    126648 |     325    53639   331996 | 2147483647   124737     24 |  1.814 % |
30.65/30.74	c |    127607 |     325    53639   331996 | 2147483647   125696     24 |  1.815 % |
31.14/31.21	c |    128660 |     325    53639   331996 | 2147483647   126749     24 |  1.814 % |
31.75/31.88	c |    129818 |     325    53639   331996 | 2147483647   127907     24 |  1.814 % |
32.15/32.24	c |    131094 |     325    53639   331996 | 2147483647   129183     24 |  1.821 % |
32.75/32.88	c |    132495 |     325    53639   331996 | 2147483647   130584     24 |  1.815 % |
32.86/32.92	c |    132598 |     325    53639   331996 | 2147483647   130687     24 |  1.814 % |
32.96/33.02	c |    132710 |     325    53639   331996 | 2147483647   130799     24 |  1.815 % |
33.05/33.10	c |    132831 |     325    53639   331996 | 2147483647   130920     24 |  1.814 % |
33.05/33.18	c |    132965 |     325    53639   331996 | 2147483647   131054     24 |  1.814 % |
33.15/33.26	c |    133111 |     325    53639   331996 | 2147483647   131200     24 |  1.814 % |
33.25/33.31	c |    133272 |     325    53639   331996 | 2147483647   131361     24 |  1.814 % |
33.35/33.40	c |    133452 |     325    53639   331996 | 2147483647   131541     24 |  1.814 % |
33.45/33.52	c |    133646 |     325    53639   331996 | 2147483647   131735     24 |  1.814 % |
33.55/33.60	c |    133861 |     325    53639   331996 | 2147483647   131950     24 |  1.814 % |
33.55/33.69	c |    134095 |     325    53639   331996 | 2147483647   132184     24 |  1.814 % |
33.75/33.84	c |    134351 |     325    53639   331996 | 2147483647   132440     24 |  1.814 % |
33.85/34.00	c |    134632 |     325    53639   331996 | 2147483647   132721     24 |  1.814 % |
34.05/34.15	c |    134941 |     325    53639   331996 | 2147483647   133030     24 |  1.814 % |
34.15/34.28	c |    135285 |     325    53639   331996 | 2147483647   133374     24 |  1.814 % |
34.45/34.51	c |    135659 |     325    53639   331996 | 2147483647   133748     24 |  1.814 % |
34.55/34.66	c |    136070 |     325    53639   331996 | 2147483647   134159     24 |  1.814 % |
34.85/34.93	c |    136520 |     325    53639   331996 | 2147483647   134609     24 |  1.814 % |
35.15/35.26	c |    137014 |     325    53639   331996 | 2147483647   135103     24 |  1.814 % |
35.44/35.59	c |    137557 |     325    53639   331996 | 2147483647   135646     24 |  1.814 % |
35.74/35.87	c |    138154 |     325    53639   331996 | 2147483647   136243     24 |  1.814 % |
36.15/36.30	c |    138809 |     325    53639   331996 | 2147483647   136898     24 |  1.814 % |
36.74/36.89	c |    139531 |     325    53639   331996 | 2147483647   137620     24 |  1.814 % |
37.25/37.34	c |    140324 |     325    53639   331996 | 2147483647   138413     24 |  1.814 % |
37.84/37.96	c |    141195 |     325    53639   331996 | 2147483647   139284     24 |  1.814 % |
38.14/38.26	c |    142153 |     325    53639   331996 | 2147483647   140242     24 |  1.814 % |
38.85/38.99	c |    143206 |     325    53639   331996 | 2147483647   141295     24 |  1.814 % |
39.65/39.70	c |    144365 |     325    53639   331996 | 2147483647   142454     24 |  1.814 % |
40.55/40.68	c |    145641 |     325    53639   331996 | 2147483647   143730     24 |  1.814 % |
41.25/41.37	c |    147044 |     325    53639   331996 | 2147483647   145133     24 |  1.814 % |
42.24/42.33	c |    148584 |     325    53639   331996 | 2147483647   146673     24 |  1.814 % |
42.34/42.40	c |    148686 |     325    53639   331996 | 2147483647   146775     24 |  1.814 % |
42.34/42.45	c |    148796 |     325    53639   331996 | 2147483647   146885     24 |  1.814 % |
42.44/42.52	c |    148917 |     325    53639   331996 | 2147483647   147006     24 |  1.814 % |
42.44/42.58	c |    149051 |     325    53639   331996 | 2147483647   147140     24 |  1.814 % |
42.64/42.70	c |    149197 |     325    53639   331996 | 2147483647   147286     24 |  1.814 % |
42.64/42.79	c |    149357 |     325    53639   331996 | 2147483647   147446     24 |  1.814 % |
42.84/42.91	c |    149535 |     325    53639   331996 | 2147483647   147624     24 |  1.814 % |
42.94/43.05	c |    149730 |     325    53639   331996 | 2147483647   147819     24 |  1.814 % |
43.04/43.13	c |    149942 |     325    53639   331996 | 2147483647   148031     24 |  1.814 % |
43.14/43.25	c |    150175 |     325    53639   331996 | 2147483647   148264     24 |  1.823 % |
43.24/43.36	c |    150432 |     325    53639   331996 | 2147483647   148521     24 |  1.814 % |
43.44/43.51	c |    150715 |     325    53639   331996 | 2147483647   148804     24 |  1.814 % |
43.54/43.66	c |    151024 |     325    53639   331996 | 2147483647   149113     24 |  1.814 % |
43.84/43.94	c |    151363 |     325    53639   331996 | 2147483647   149452     24 |  1.814 % |
44.04/44.18	c |    151735 |     325    53639   331996 | 2147483647   149824     24 |  1.814 % |
44.34/44.41	c |    152144 |     325    53639   331996 | 2147483647   150233     24 |  1.820 % |
44.74/44.81	c |    152593 |     325    53639   331996 | 2147483647   150682     24 |  1.814 % |
44.94/45.08	c |    153086 |     325    53639   331996 | 2147483647   151175     24 |  1.814 % |
45.24/45.33	c |    153629 |     325    53639   331996 | 2147483647   151718     24 |  1.814 % |
45.63/45.70	c |    154227 |     325    53639   331996 | 2147483647   152316     24 |  1.814 % |
45.93/46.03	c |    154883 |     324    53639   331996 | 2147483647   152971     24 |  2.116 % |
46.23/46.31	c |    155603 |     324    53639   331996 | 2147483647   153691     24 |  2.116 % |
46.53/46.61	c |    156395 |     323    53639   331996 | 2147483647   154482     25 |  2.418 % |
46.63/46.78	c |    157266 |     323    53639   331996 | 2147483647   155353     25 |  2.419 % |
47.03/47.12	c |    158224 |     323    53639   331996 | 2147483647   156311     25 |  2.418 % |
47.63/47.78	c |    159277 |     323    53639   331996 | 2147483647   157364     25 |  2.418 % |
48.03/48.17	c |    160437 |     323    53639   331996 | 2147483647   158524     25 |  2.418 % |
48.53/48.61	c |    161711 |     323    53639   331996 | 2147483647   159798     25 |  2.418 % |
49.14/49.26	c |    163111 |     323    53639   331996 | 2147483647   161198     25 |  2.418 % |
49.54/49.60	c |    164651 |     323    53639   331996 | 2147483647   162738     25 |  2.418 % |
50.14/50.26	c |    166346 |     322    53639   331996 | 2147483647   164432     25 |  2.720 % |
50.24/50.32	c |    166447 |     322    53639   331996 | 2147483647   164533     25 |  2.720 % |
50.24/50.37	c |    166559 |     322    53639   331996 | 2147483647   164645     25 |  2.720 % |
50.44/50.52	c |    166680 |     322    53639   331996 | 2147483647   164766     25 |  2.720 % |
50.54/50.64	c |    166814 |     322    53639   331996 | 2147483647   164900     25 |  2.720 % |
50.54/50.70	c |    166960 |     322    53639   331996 | 2147483647   165046     25 |  2.720 % |
50.74/50.83	c |    167121 |     322    53639   331996 | 2147483647   165207     25 |  2.720 % |
50.84/50.97	c |    167297 |     322    53639   331996 | 2147483647   165383     25 |  2.720 % |
51.04/51.11	c |    167492 |     322    53639   331996 | 2147483647   165578     25 |  2.731 % |
51.14/51.26	c |    167705 |     322    53639   331996 | 2147483647   165791     25 |  2.720 % |
51.34/51.43	c |    167940 |     322    53639   331996 | 2147483647   166026     25 |  2.720 % |
51.44/51.54	c |    168197 |     322    53639   331996 | 2147483647   166283     25 |  2.726 % |
51.54/51.69	c |    168478 |     322    53639   331996 | 2147483647   166564     25 |  2.721 % |
51.74/51.87	c |    168787 |     322    53639   331996 | 2147483647   166873     25 |  2.720 % |
51.94/52.02	c |    169127 |     322    53639   331996 | 2147483647   167213     25 |  2.720 % |
52.14/52.20	c |    169499 |     322    53639   331996 | 2147483647   167585     25 |  2.731 % |
52.24/52.37	c |    169910 |     322    53639   331996 | 2147483647   167996     25 |  2.720 % |
52.44/52.55	c |    170362 |     322    53639   331996 | 2147483647   168448     25 |  2.720 % |
52.74/52.81	c |    170858 |     322    53639   331996 | 2147483647   168944     25 |  2.720 % |
52.94/53.08	c |    171400 |     322    53639   331996 | 2147483647   169486     25 |  2.720 % |
53.34/53.44	c |    171996 |     322    53639   331996 | 2147483647   170082     25 |  2.727 % |
53.84/53.93	c |    172651 |     322    53639   331996 | 2147483647   170737     25 |  2.720 % |
54.34/54.44	c |    173371 |     322    53639   331996 | 2147483647   171457     25 |  2.720 % |
54.63/54.73	c |    174163 |     322    53639   331996 | 2147483647   172249     25 |  2.721 % |
54.94/55.05	c |    175036 |     322    53639   331996 | 2147483647   173122     25 |  2.730 % |
55.63/55.72	c |    175994 |     322    53639   331996 | 2147483647   174080     25 |  2.720 % |
56.13/56.26	c |    177047 |     322    53639   331996 | 2147483647   175133     25 |  2.720 % |
57.04/57.16	c |    178207 |     322    53639   331996 | 2147483647   176293     25 |  2.720 % |
58.13/58.29	c |    179480 |     322    53639   331996 | 2147483647   177566     25 |  2.720 % |
59.43/59.58	c |    180880 |     322    53639   331996 |   178087   151223     25 |  2.720 % |
60.13/60.25	c |    182421 |     322    53639   331996 |   178087   152764     25 |  2.720 % |
61.33/61.45	c |    184115 |     322    53639   331996 |   178087   154458     25 |  2.720 % |
62.03/62.12	c |    185979 |     322    53639   331996 |   178087   156322     25 |  2.720 % |
62.13/62.21	c |    186081 |     322    53639   331996 |   178087   156424     25 |  2.720 % |
62.23/62.31	c |    186192 |     322    53639   331996 |   178087   156535     25 |  2.720 % |
62.23/62.36	c |    186313 |     322    53639   331996 |   178087   156656     25 |  2.720 % |
62.33/62.44	c |    186446 |     322    53639   331996 |   178087   156789     25 |  2.720 % |
62.43/62.57	c |    186594 |     322    53639   331996 |   178087   156937     25 |  2.726 % |
62.63/62.75	c |    186754 |     322    53639   331996 |   178087   157097     25 |  2.720 % |
62.73/62.86	c |    186931 |     322    53639   331996 |   178087   157274     25 |  2.720 % |
62.93/63.00	c |    187124 |     322    53639   331996 |   178087   157467     25 |  2.720 % |
63.03/63.17	c |    187340 |     322    53639   331996 |   178087   157683     25 |  2.720 % |
63.23/63.32	c |    187575 |     322    53639   331996 |   178087   157918     25 |  2.725 % |
63.43/63.57	c |    187832 |     322    53639   331996 |   178087   158175     25 |  2.721 % |
63.63/63.74	c |    188113 |     322    53639   331996 |   178087   158456     25 |  2.720 % |
63.73/63.85	c |    188423 |     322    53639   331996 |   178087   158766     25 |  2.720 % |
63.93/64.00	c |    188764 |     322    53639   331996 |   178087   159107     25 |  2.720 % |
64.03/64.14	c |    189137 |     322    53639   331996 |   178087   159480     25 |  2.720 % |
64.33/64.40	c |    189548 |     322    53639   331996 |   178087   159891     25 |  2.720 % |
64.63/64.74	c |    189997 |     322    53639   331996 |   178087   160340     25 |  2.720 % |
65.23/65.34	c |    190490 |     322    53639   331996 |   160343   139659     24 |  2.720 % |
65.43/65.57	c |    191032 |     322    53639   331996 |   160343   140201     24 |  2.720 % |
65.83/65.98	c |    191629 |     322    53639   331996 |   160343   140798     24 |  2.720 % |
66.23/66.33	c |    192286 |     322    53639   331996 |   160343   141455     25 |  2.720 % |
66.73/66.85	c |    193007 |     322    53639   331996 |   160343   142176     25 |  2.720 % |
67.23/67.32	c |    193799 |     322    53639   331996 |   160343   142968     25 |  2.720 % |
67.73/67.87	c |    194671 |     322    53639   331996 |   160343   143840     25 |  2.720 % |
68.32/68.42	c |    195629 |     322    53639   331996 |   160343   144798     25 |  2.720 % |
69.23/69.32	c |    196682 |     322    53639   331996 |   160343   145851     25 |  2.728 % |
70.23/70.39	c |    197840 |     322    53639   331996 |   160343   147008     24 |  3.028 % |
71.02/71.14	c |    199113 |     322    53639   331996 |   160343   148281     24 |  3.026 % |
72.02/72.11	c |    200513 |     322    53639   331996 |   149168   133972     24 |  3.033 % |
72.72/72.89	c |    202056 |     321    53639   331996 |   149168   135515     24 |  3.023 % |
73.63/73.79	c |    203751 |     321    53639   331996 |   149168   137210     24 |  3.022 % |
74.52/74.69	c |    205622 |     321    53639   331996 |   149168   139081     24 |  3.022 % |
75.32/75.40	c |    207671 |     321    53639   331996 |   149168   141130     24 |  3.028 % |
75.32/75.45	c |    207772 |     321    53639   331996 |   149168   141231     24 |  3.032 % |
75.42/75.50	c |    207884 |     321    53639   331996 |   149168   141343     24 |  3.022 % |
75.42/75.58	c |    208006 |     321    53639   331996 |   149168   141465     24 |  3.029 % |
75.52/75.70	c |    208139 |     321    53639   331996 |   149168   141598     24 |  3.022 % |
75.62/75.79	c |    208285 |     321    53639   331996 |   149168   141744     24 |  3.022 % |
75.73/75.87	c |    208445 |     321    53639   331996 |   149168   141904     24 |  3.022 % |
75.92/76.00	c |    208621 |     321    53639   331996 |   149168   142080     24 |  3.022 % |
76.02/76.12	c |    208815 |     321    53639   331996 |   149168   142274     24 |  3.022 % |
76.12/76.27	c |    209028 |     321    53639   331996 |   149168   142487     24 |  3.022 % |
76.32/76.42	c |    209263 |     321    53639   331996 |   149168   142722     24 |  3.022 % |
76.42/76.60	c |    209519 |     321    53639   331996 |   149168   142978     24 |  3.022 % |
76.62/76.75	c |    209800 |     321    53639   331996 |   149168   143259     24 |  3.022 % |
76.83/76.97	c |    210109 |     321    53639   331996 | 2147483647   143568     24 |  3.022 % |
77.12/77.20	c |    210449 |     321    53639   331996 | 2147483647   143908     24 |  3.028 % |
77.32/77.43	c |    210824 |     321    53639   331996 | 2147483647   144283     24 |  3.022 % |
77.62/77.71	c |    211233 |     321    53639   331996 | 2147483647   144692     24 |  3.022 % |
77.82/77.93	c |    211682 |     321    53639   331996 | 2147483647   145141     24 |  3.028 % |
78.12/78.23	c |    212176 |     321    53639   331996 | 2147483647   145635     24 |  3.022 % |
78.42/78.51	c |    212718 |     321    53639   331996 | 2147483647   146177     24 |  3.022 % |
78.72/78.87	c |    213314 |     321    53639   331996 | 2147483647   146773     24 |  3.022 % |
79.13/79.26	c |    213969 |     321    53639   331996 | 2147483647   147428     24 |  3.022 % |
79.72/79.81	c |    214690 |     321    53639   331996 | 2147483647   148149     24 |  3.028 % |
80.23/80.37	c |    215483 |     321    53639   331996 | 2147483647   148942     24 |  3.024 % |
80.82/80.98	c |    216354 |     321    53639   331996 | 2147483647   149813     24 |  3.033 % |
81.62/81.74	c |    217314 |     321    53639   331996 | 2147483647   150773     24 |  3.022 % |
82.22/82.35	c |    218369 |     321    50727   316526 | 2147483647   151816     24 |  3.022 % |
82.82/82.91	c |    219531 |     321    50727   316526 | 2147483647   152978     24 |  3.022 % |
83.72/83.86	c |    220804 |     321    50727   316526 | 2147483647   154251     24 |  3.022 % |
84.62/84.77	c |    222206 |     321    50727   316526 | 2147483647   155653     24 |  3.022 % |
85.72/85.81	c |    223748 |     321    50727   316526 | 2147483647   157195     24 |  3.022 % |
86.52/86.65	c |    225443 |     321    50727   316526 | 2147483647   158890     25 |  3.022 % |
87.42/87.53	c |    227306 |     321    50727   316526 | 2147483647   160753     25 |  3.022 % |
88.42/88.52	c |    229355 |     321    50727   316526 | 2147483647   162802     25 |  3.022 % |
89.92/90.00	c |    231608 |     321    50727   316526 | 2147483647   165055     25 |  3.022 % |
89.92/90.07	c |    231708 |     321    50727   316526 | 2147483647   165155     25 |  3.022 % |
90.02/90.14	c |    231818 |     321    50727   316526 | 2147483647   165265     25 |  3.022 % |
90.02/90.20	c |    231939 |     321    50727   316526 | 2147483647   165386     25 |  3.022 % |
90.12/90.26	c |    232072 |     321    50727   316526 | 2147483647   165519     25 |  3.023 % |
90.32/90.43	c |    232218 |     321    50727   316526 | 2147483647   165665     25 |  3.022 % |
90.42/90.55	c |    232379 |     321    50727   316526 | 2147483647   165826     25 |  3.022 % |
90.62/90.70	c |    232556 |     321    50727   316526 | 2147483647   166003     25 |  3.022 % |
90.72/90.83	c |    232749 |     321    50727   316526 | 2147483647   166196     25 |  3.023 % |
90.92/91.01	c |    232961 |     321    50727   316526 | 2147483647   166408     25 |  3.029 % |
91.02/91.10	c |    233194 |     321    50727   316526 | 2147483647   166641     25 |  3.023 % |
91.12/91.26	c |    233453 |     321    50727   316526 | 2147483647   166900     25 |  3.022 % |
91.32/91.45	c |    233734 |     321    50727   316526 | 2147483647   167181     25 |  3.023 % |
91.52/91.66	c |    234043 |     321    50727   316526 | 2147483647   167490     25 |  3.022 % |
91.82/91.97	c |    234385 |     321    50727   316526 | 2147483647   167832     25 |  3.022 % |
92.12/92.26	c |    234758 |     321    50727   316526 | 2147483647   168205     25 |  3.022 % |
92.42/92.53	c |    235167 |     321    50727   316526 | 2147483647   168614     25 |  3.022 % |
92.82/92.96	c |    235617 |     321    50727   316526 | 2147483647   169064     25 |  3.028 % |
93.02/93.10	c |    236113 |     321    50727   316526 | 2147483647   169560     25 |  3.022 % |
93.42/93.58	c |    236655 |     321    50727   316526 | 2147483647   170102     25 |  3.022 % |
94.12/94.26	c |    237251 |     321    50727   316526 | 2147483647   170698     25 |  3.027 % |
94.82/94.92	c |    237907 |     321    50727   316526 | 2147483647   171354     25 |  3.022 % |
95.52/95.66	c |    238628 |     321    50727   316526 | 2147483647   172075     25 |  3.022 % |
96.12/96.24	c |    239421 |     321    50727   316526 | 2147483647   172868     25 |  3.022 % |
97.02/97.18	c |    240292 |     321    50727   316526 |   173447   151928     24 |  3.022 % |
97.32/97.40	c |    241250 |     321    50727   316526 |   173447   152886     24 |  3.022 % |
97.61/97.73	c |    242303 |     321    50727   316526 |   173447   153939     24 |  3.023 % |
98.21/98.34	c |    243463 |     321    50727   316526 |   173447   155099     24 |  3.023 % |
98.71/98.81	c |    244736 |     321    50727   316526 |   173447   156372     24 |  3.022 % |
99.51/99.67	c |    246136 |     321    50727   316526 |   173447   157772     24 |  3.022 % |
100.51/100.61	c |    247677 |     321    50727   316526 |   173447   159313     25 |  3.022 % |
101.21/101.34	c |    249372 |     321    50727   316526 |   173447   161008     25 |  3.022 % |
102.51/102.67	c |    251238 |     321    50727   316526 | 2147483647   162874     25 |  3.030 % |
103.51/103.62	c |    253289 |     321    50727   316526 | 2147483647   164925     25 |  3.022 % |
104.61/104.77	c |    255542 |     321    50727   316526 | 2147483647   167178     25 |  3.022 % |
106.21/106.38	c |    258020 |     321    50727   316526 | 2147483647   169656     25 |  3.022 % |
106.31/106.45	c |    258121 |     321    50727   316526 | 2147483647   169757     25 |  3.022 % |
106.41/106.57	c |    258231 |     321    50727   316526 | 2147483647   169867     25 |  3.022 % |
106.51/106.64	c |    258354 |     321    50727   316526 | 2147483647   169990     25 |  3.022 % |
106.61/106.70	c |    258488 |     321    50727   316526 | 2147483647   170124     25 |  3.031 % |
106.71/106.80	c |    258635 |     321    50727   316526 | 2147483647   170271     25 |  3.022 % |
106.81/106.96	c |    258796 |     321    50727   316526 | 2147483647   170432     25 |  3.028 % |
106.91/107.09	c |    258973 |     321    50727   316526 | 2147483647   170609     25 |  3.022 % |
107.11/107.21	c |    259168 |     321    50727   316526 | 2147483647   170804     25 |  3.031 % |
107.21/107.37	c |    259381 |     321    50727   316526 | 2147483647   171017     25 |  3.022 % |
107.41/107.58	c |    259614 |     321    50727   316526 | 2147483647   171250     25 |  3.022 % |
107.61/107.79	c |    259870 |     321    50727   316526 | 2147483647   171506     25 |  3.022 % |
108.31/108.40	c |    260151 |     321    50727   316526 |   171637   149605     24 |  3.033 % |
108.51/108.63	c |    260462 |     321    50727   316526 |   171637   149916     24 |  3.022 % |
108.81/108.93	c |    260803 |     321    50727   316526 |   171637   150257     24 |  3.022 % |
109.11/109.25	c |    261176 |     321    50727   316526 |   171637   150630     24 |  3.028 % |
109.41/109.51	c |    261586 |     321    50727   316526 |   171637   151040     24 |  3.022 % |
109.71/109.81	c |    262035 |     321    50727   316526 |   171637   151489     24 |  3.022 % |
110.01/110.10	c |    262528 |     321    50727   316526 |   171637   151982     24 |  3.022 % |
110.21/110.39	c |    263072 |     321    50727   316526 |   171637   152526     24 |  3.022 % |
110.71/110.84	c |    263669 |     321    50727   316526 |   171637   153123     24 |  3.022 % |
111.11/111.22	c |    264324 |     321    50727   316526 |   171637   153778     24 |  3.022 % |
111.51/111.67	c |    265046 |     321    50727   316526 |   171637   154500     24 |  3.022 % |
112.01/112.13	c |    265840 |     321    50727   316526 |   171637   155294     25 |  3.022 % |
112.41/112.55	c |    266714 |     321    50727   316526 |   171637   156168     25 |  3.022 % |
112.80/112.97	c |    267672 |     321    50727   316526 |   171637   157126     25 |  3.022 % |
113.40/113.56	c |    268726 |     321    50727   316526 |   171637   158180     25 |  3.027 % |
114.00/114.11	c |    269887 |     321    50727   316526 |   171637   159341     24 |  3.022 % |
114.70/114.82	c |    271160 |     321    50727   316526 | 2147483647   160614     24 |  3.031 % |
115.50/115.64	c |    272562 |     321    50727   316526 | 2147483647   162016     24 |  3.028 % |
116.80/116.96	c |    274103 |     321    50727   316526 | 2147483647   163557     24 |  3.023 % |
117.61/117.74	c |    275798 |     321    50727   316526 | 2147483647   165252     25 |  3.022 % |
119.10/119.26	c |    277662 |     321    50727   316526 | 2147483647   167116     25 |  3.022 % |
121.20/121.33	c |    279712 |     321    50727   316526 | 2147483647   169166     25 |  3.022 % |
123.40/123.58	c |    281966 |     321    50727   316526 | 2147483647   171420     25 |  3.022 % |
125.40/125.53	c |    284445 |     321    50727   316526 | 2147483647   173899     25 |  3.022 % |
127.30/127.45	c |    287170 |     321    50727   316526 | 2147483647   176624     25 |  3.022 % |
127.40/127.54	c |    287270 |     321    50727   316526 | 2147483647   176724     25 |  3.022 % |
127.50/127.67	c |    287381 |     321    50727   316526 | 2147483647   176835     25 |  3.022 % |
127.70/127.84	c |    287503 |     321    50727   316526 | 2147483647   176957     25 |  3.022 % |
127.80/127.97	c |    287636 |     321    50727   316526 | 2147483647   177090     25 |  3.022 % |
128.00/128.12	c |    287784 |     321    50727   316526 | 2147483647   177238     25 |  3.022 % |
128.10/128.25	c |    287945 |     321    50727   316526 | 2147483647   177399     25 |  3.022 % |
128.30/128.41	c |    288122 |     321    50727   316526 | 2147483647   177576     25 |  3.029 % |
128.40/128.52	c |    288316 |     321    50727   316526 | 2147483647   177770     25 |  3.022 % |
128.50/128.70	c |    288530 |     321    50727   316526 | 2147483647   177984     25 |  3.028 % |
128.80/128.91	c |    288765 |     321    50727   316526 | 2147483647   178219     25 |  3.022 % |
128.90/129.08	c |    289022 |     321    50727   316526 | 2147483647   178476     25 |  3.033 % |
129.30/129.43	c |    289303 |     321    50727   316526 | 2147483647   178757     25 |  3.022 % |
129.50/129.65	c |    289613 |     321    50727   316526 | 2147483647   179067     25 |  3.022 % |
129.70/129.86	c |    289954 |     321    50727   316526 | 2147483647   179408     25 |  3.031 % |
130.70/130.84	c |    290328 |     321    50727   316526 |   179454   148591     24 |  3.022 % |
131.20/131.31	c |    290737 |     321    50727   316526 |   179454   149000     24 |  3.028 % |
131.50/131.69	c |    291186 |     321    50727   316526 |   179454   149449     24 |  3.022 % |
131.90/132.09	c |    291679 |     321    50727   316526 |   179454   149942     24 |  3.022 % |
132.30/132.49	c |    292221 |     321    50727   316526 |   179454   150484     24 |  3.022 % |
132.70/132.86	c |    292820 |     321    50727   316526 |   179454   151083     24 |  3.022 % |
133.20/133.32	c |    293476 |     321    50727   316526 |   179454   151739     24 |  3.023 % |
133.60/133.71	c |    294201 |     321    50727   316526 |   179454   152464     24 |  3.022 % |
133.90/134.04	c |    294994 |     321    50727   316526 |   179454   153257     24 |  3.022 % |
134.20/134.38	c |    295866 |     321    50727   316526 |   179454   154129     24 |  3.022 % |
134.70/134.82	c |    296824 |     321    50727   316526 |   179454   155087     24 |  3.028 % |
135.20/135.33	c |    297879 |     321    50727   316526 |   179454   156142     24 |  3.022 % |
135.60/135.74	c |    299038 |     321    50727   316526 |   179454   157301     24 |  3.022 % |
137.10/137.20	c |    300311 |     321    50727   316526 |   158263   137340     24 |  3.022 % |
137.69/137.86	c |    301712 |     321    50727   316526 |   158263   138741     24 |  3.022 % |
138.79/138.93	c |    303252 |     321    50727   316526 |   158263   140281     24 |  3.028 % |
139.79/139.98	c |    304946 |     321    50727   316526 |   158263   141975     24 |  3.022 % |
140.89/141.09	c |    306810 |     321    50727   316526 |   158263   143839     24 |  3.022 % |
142.49/142.63	c |    308861 |     321    50727   316526 |   158263   145890     24 |  3.022 % |
144.59/144.75	c |    311114 |     321    50727   316526 |   147029   132139     24 |  3.022 % |
146.89/147.06	c |    313593 |     321    50727   316526 |   147029   134618     24 |  3.022 % |
148.49/148.63	c |    316318 |     321    50727   316526 |   147029   137343     24 |  3.022 % |
150.19/150.35	c |    319315 |     321    50727   316526 |   147029   140340     24 |  3.022 % |
150.29/150.40	c |    319415 |     321    50727   316526 |   147029   140440     24 |  3.022 % |
150.29/150.47	c |    319527 |     321    50727   316526 |   147029   140552     24 |  3.022 % |
150.39/150.59	c |    319648 |     321    50727   316526 |   147029   140673     24 |  3.022 % |
150.49/150.69	c |    319781 |     321    50727   316526 |   147029   140806     24 |  3.022 % |
150.59/150.79	c |    319927 |     321    50727   316526 |   147029   140952     24 |  3.022 % |
150.79/150.92	c |    320088 |     321    50727   316526 | 2147483647   141113     24 |  3.031 % |
150.89/151.05	c |    320264 |     321    50727   316526 | 2147483647   141289     24 |  3.022 % |
150.99/151.18	c |    320459 |     321    50727   316526 | 2147483647   141484     24 |  3.022 % |
151.19/151.30	c |    320674 |     321    50727   316526 | 2147483647   141699     24 |  3.022 % |
151.29/151.42	c |    320907 |     321    50727   316526 | 2147483647   141932     24 |  3.022 % |
151.39/151.52	c |    321165 |     321    50727   316526 | 2147483647   142190     24 |  3.022 % |
151.49/151.67	c |    321447 |     321    50727   316526 | 2147483647   142472     24 |  3.022 % |
151.59/151.78	c |    321756 |     321    50727   316526 | 2147483647   142781     24 |  3.022 % |
151.79/151.99	c |    322096 |     321    50727   316526 | 2147483647   143121     24 |  3.023 % |
152.09/152.29	c |    322468 |     321    50727   316526 | 2147483647   143493     24 |  3.022 % |
152.49/152.62	c |    322877 |     321    50727   316526 | 2147483647   143902     24 |  3.022 % |
152.79/153.00	c |    323327 |     321    50727   316526 | 2147483647   144352     24 |  3.022 % |
153.09/153.26	c |    323823 |     321    50727   316526 | 2147483647   144848     24 |  3.027 % |
153.49/153.66	c |    324365 |     321    50727   316526 | 2147483647   145390     24 |  3.022 % |
153.79/153.92	c |    324962 |     321    50727   316526 | 2147483647   145987     24 |  3.022 % |
154.19/154.37	c |    325618 |     321    50727   316526 | 2147483647   146643     24 |  3.028 % |
154.49/154.69	c |    326338 |     321    50727   316526 | 2147483647   147363     24 |  3.022 % |
154.99/155.14	c |    327130 |     321    50727   316526 | 2147483647   148155     24 |  3.022 % |
155.49/155.68	c |    328001 |     321    50727   316526 | 2147483647   149026     24 |  3.022 % |
156.09/156.27	c |    328960 |     321    50727   316526 | 2147483647   149985     24 |  3.022 % |
156.79/156.93	c |    330013 |     321    50727   316526 | 2147483647   151038     24 |  3.022 % |
157.59/157.74	c |    331171 |     321    50727   316526 | 2147483647   152196     24 |  3.022 % |
158.29/158.45	c |    332446 |     321    50727   316526 | 2147483647   153471     24 |  3.022 % |
158.99/159.14	c |    333846 |     321    50727   316526 | 2147483647   154871     24 |  3.022 % |
159.59/159.73	c |    335387 |     321    50727   316526 | 2147483647   156412     24 |  3.022 % |
160.28/160.46	c |    337083 |     321    50727   316526 | 2147483647   158108     24 |  3.022 % |
161.79/161.91	c |    338946 |     321    50727   316526 | 2147483647   159971     24 |  3.022 % |
163.08/163.24	c |    340996 |     321    50727   316526 | 2147483647   162021     24 |  3.022 % |
164.08/164.21	c |    343252 |     321    50727   316526 | 2147483647   164277     24 |  3.022 % |
165.18/165.30	c |    345731 |     321    50727   316526 | 2147483647   166756     24 |  3.022 % |
166.78/166.94	c |    348456 |     321    50727   316526 | 2147483647   169481     24 |  3.022 % |
170.08/170.28	c |    351453 |     321    50727   316526 |   171025   153018     24 |  3.022 % |
172.38/172.50	c |    354752 |     321    50727   316526 |   171025   156317     24 |  3.022 % |
172.38/172.56	c |    354852 |     321    50727   316526 |   171025   156417     24 |  3.022 % |
172.38/172.59	c |    354962 |     321    50727   316526 |   171025   156527     24 |  3.022 % |
172.49/172.64	c |    355083 |     321    50727   316526 |   171025   156648     24 |  3.023 % |
172.68/172.80	c |    355221 |     321    50727   316526 |   171025   156786     24 |  3.023 % |
172.78/172.96	c |    355368 |     321    50727   316526 |   171025   156933     24 |  3.022 % |
172.98/173.10	c |    355528 |     321    50727   316526 |   171025   157093     24 |  3.022 % |
173.08/173.24	c |    355704 |     321    50727   316526 |   171025   157269     24 |  3.022 % |
173.18/173.37	c |    355897 |     321    50727   316526 |   171025   157462     24 |  3.022 % |
173.38/173.53	c |    356112 |     321    50727   316526 |   171025   157677     24 |  3.022 % |
173.58/173.72	c |    356347 |     321    50727   316526 |   171025   157912     24 |  3.022 % |
173.68/173.87	c |    356603 |     321    50727   316526 |   171025   158168     24 |  3.022 % |
173.88/174.01	c |    356885 |     321    50727   316526 |   171025   158450     24 |  3.022 % |
173.98/174.16	c |    357195 |     321    50727   316526 |   171025   158760     24 |  3.022 % |
174.18/174.39	c |    357536 |     321    50727   316526 |   171025   159101     24 |  3.028 % |
174.48/174.68	c |    357908 |     321    50727   316526 |   171025   159473     24 |  3.022 % |
174.78/174.98	c |    358317 |     321    50727   316526 |   171025   159882     24 |  3.022 % |
175.08/175.20	c |    358769 |     321    50727   316526 |   171025   160334     24 |  3.022 % |
175.28/175.41	c |    359263 |     321    50727   316526 |   171025   160828     24 |  3.022 % |
175.68/175.85	c |    359805 |     321    50727   316526 |   171025   161370     24 |  3.022 % |
176.48/176.61	c |    360401 |     321    50727   316526 |   161565   142920     24 |  3.022 % |
176.98/177.10	c |    361057 |     321    50727   316526 |   161565   143576     24 |  3.022 % |
177.48/177.62	c |    361778 |     321    50727   316526 |   161565   144297     24 |  3.023 % |
177.98/178.13	c |    362570 |     321    50727   316526 |   161565   145089     24 |  3.022 % |
178.68/178.82	c |    363441 |     321    50727   316526 |   161565   145960     24 |  3.022 % |
179.28/179.40	c |    364403 |     321    50727   316526 |   161565   146922     24 |  3.022 % |
179.58/179.75	c |    365458 |     321    50727   316526 |   161565   147977     24 |  3.022 % |
180.28/180.49	c |    366617 |     321    50727   316526 |   161565   149136     24 |  3.022 % |
180.68/180.81	c |    367890 |     321    50727   316526 |   161565   150409     24 |  3.022 % |
181.88/182.08	c |    369291 |     321    50727   316526 |   161565   151810     24 |  3.028 % |
182.78/182.97	c |    370833 |     321    50727   316526 | 2147483647   153352     24 |  3.022 % |
183.78/183.98	c |    372527 |     321    50727   316526 | 2147483647   155046     24 |  3.022 % |
185.48/185.63	c |    374392 |     321    50727   316526 | 2147483647   156911     24 |  3.022 % |
187.08/187.24	c |    376442 |     321    50727   316526 | 2147483647   158961     24 |  3.022 % |
188.08/188.26	c |    378695 |     321    50727   316526 | 2147483647   161214     24 |  3.022 % |
188.98/189.15	c |    381173 |     321    50727   316526 | 2147483647   163692     24 |  3.022 % |
190.88/191.00	c |    383902 |     321    50727   316526 | 2147483647   166421     24 |  3.030 % |
192.87/193.09	c |    386900 |     321    50727   316526 | 2147483647   169419     24 |  3.022 % |
196.47/196.69	c |    390196 |     321    50727   316526 |   172522   152611     24 |  3.022 % |
199.47/199.61	c |    393824 |     321    50727   316526 |   172522   156239     25 |  3.022 % |
199.57/199.73	c |    393926 |     321    50727   316526 |   172522   156341     25 |  3.022 % |
199.57/199.78	c |    394037 |     321    50727   316526 |   172522   156452     25 |  3.022 % |
199.67/199.87	c |    394162 |     321    50727   316526 |   172522   156577     25 |  3.022 % |
199.77/199.94	c |    394301 |     321    50727   316526 |   172522   156716     25 |  3.022 % |
199.87/200.02	c |    394447 |     321    50727   316526 |   172522   156862     25 |  3.022 % |
199.87/200.09	c |    394607 |     321    50727   316526 |   172522   157022     25 |  3.022 % |
199.97/200.16	c |    394784 |     321    50727   316526 |   172522   157199     25 |  3.022 % |
200.07/200.24	c |    394978 |     321    50727   316526 |   172522   157393     25 |  3.022 % |
200.17/200.35	c |    395192 |     321    50727   316526 |   172522   157607     25 |  3.024 % |
200.27/200.46	c |    395425 |     321    50727   316526 |   172522   157840     25 |  3.022 % |
200.37/200.58	c |    395683 |     321    50727   316526 |   172522   158098     25 |  3.022 % |
200.57/200.75	c |    395964 |     321    50727   316526 |   172522   158379     25 |  3.027 % |
200.67/200.89	c |    396273 |     321    50727   316526 |   172522   158688     25 |  3.022 % |
201.07/201.21	c |    396613 |     321    50727   316526 |   172522   159028     25 |  3.029 % |
201.17/201.34	c |    396985 |     321    50727   316526 |   172522   159400     25 |  3.022 % |
201.47/201.62	c |    397394 |     321    50727   316526 |   172522   159809     25 |  3.032 % |
201.67/201.83	c |    397844 |     321    50727   316526 |   172522   160259     25 |  3.022 % |
202.07/202.27	c |    398337 |     321    50727   316526 |   172522   160752     25 |  3.022 % |
202.77/202.96	c |    398879 |     321    50727   316526 |   172522   161294     25 |  3.022 % |
203.57/203.75	c |    399476 |     321    50727   316526 |   172522   161891     25 |  3.022 % |
204.07/204.20	c |    400132 |     321    50727   316526 |   162415   162547     25 |  3.022 % |
204.77/204.99	c |    400852 |     321    50727   316526 |   162415   139175     24 |  3.022 % |
205.47/205.68	c |    401645 |     321    50727   316526 |   162415   139968     24 |  3.022 % |
206.37/206.53	c |    402519 |     321    50727   316526 |   162415   140842     24 |  3.022 % |
206.97/207.18	c |    403477 |     321    50727   316526 |   162415   141800     24 |  3.022 % |
207.57/207.80	c |    404531 |     321    50727   316526 |   162415   142854     24 |  3.022 % |
208.37/208.58	c |    405689 |     321    50727   316526 |   162415   144012     24 |  3.022 % |
209.26/209.41	c |    406963 |     321    50727   316526 |   162415   145286     24 |  3.022 % |
209.97/210.17	c |    408363 |     321    50727   316526 |   162415   146686     24 |  3.022 % |
210.66/210.85	c |    409903 |     321    50727   316526 |   162415   148226     24 |  3.022 % |
211.36/211.53	c |    411597 |     321    50727   316526 | 2147483647   149920     24 |  3.022 % |
212.76/212.91	c |    413461 |     321    50727   316526 | 2147483647   151784     25 |  3.022 % |
214.27/214.41	c |    415511 |     321    50727   316526 | 2147483647   153834     25 |  3.022 % |
215.56/215.74	c |    417765 |     321    50727   316526 | 2147483647   156088     25 |  3.022 % |
217.46/217.65	c |    420244 |     321    50727   316526 | 2147483647   158567     25 |  3.022 % |
219.36/219.55	c |    422972 |     321    50727   316526 | 2147483647   161295     25 |  3.022 % |
221.26/221.45	c |    425970 |     321    50727   316526 | 2147483647   164293     25 |  3.022 % |
223.66/223.83	c |    429268 |     321    50727   316526 | 2147483647   167591     25 |  3.031 % |
225.46/225.62	c |    432895 |     321    50727   316526 | 2147483647   171218     25 |  3.022 % |
228.96/229.11	c |    436883 |     320    50555   315795 | 2147483647   175204     25 |  3.324 % |
229.06/229.21	c |    436986 |     320    50555   315795 | 2147483647   175307     25 |  3.324 % |
229.16/229.30	c |    437097 |     320    50555   315795 | 2147483647   175418     25 |  3.324 % |
229.16/229.38	c |    437218 |     320    50555   315795 | 2147483647   175539     25 |  3.324 % |
229.26/229.49	c |    437352 |     320    50555   315795 | 2147483647   175673     25 |  3.324 % |
229.46/229.62	c |    437503 |     320    50555   315795 | 2147483647   175824     25 |  3.324 % |
229.56/229.79	c |    437665 |     320    50555   315795 | 2147483647   175986     25 |  3.324 % |
229.76/229.93	c |    437841 |     320    50555   315795 | 2147483647   176162     25 |  3.324 % |
229.96/230.10	c |    438034 |     320    50555   315795 | 2147483647   176355     25 |  3.324 % |
230.06/230.26	c |    438246 |     320    50555   315795 | 2147483647   176567     25 |  3.324 % |
230.26/230.44	c |    438479 |     320    50555   315795 | 2147483647   176800     25 |  3.324 % |
230.46/230.68	c |    438735 |     320    50555   315795 | 2147483647   177056     25 |  3.324 % |
230.67/230.81	c |    439018 |     320    50555   315795 | 2147483647   177339     25 |  3.324 % |
230.97/231.11	c |    439328 |     320    50555   315795 | 2147483647   177649     25 |  3.324 % |
231.17/231.38	c |    439668 |     320    50555   315795 | 2147483647   177989     25 |  3.324 % |
231.47/231.67	c |    440040 |     320    50555   315795 |   178324   178361     25 |  3.324 % |
232.27/232.45	c |    440450 |     320    50555   315795 |   178324   157270     25 |  3.324 % |
232.56/232.79	c |    440900 |     320    50555   315795 |   178324   157720     25 |  3.324 % |
233.07/233.21	c |    441393 |     320    50555   315795 |   178324   158213     25 |  3.324 % |
233.46/233.64	c |    441937 |     320    50555   315795 |   178324   158757     25 |  3.330 % |
233.86/234.06	c |    442533 |     320    50555   315795 |   178324   159353     25 |  3.324 % |
234.36/234.52	c |    443188 |     320    50555   315795 |   178324   160008     25 |  3.324 % |
234.76/234.93	c |    443909 |     320    50555   315795 |   178324   160729     25 |  3.324 % |
235.36/235.50	c |    444701 |     320    50555   315795 |   178324   161521     25 |  3.340 % |
236.06/236.22	c |    445574 |     320    50555   315795 |   178324   162394     25 |  3.324 % |
237.06/237.22	c |    446533 |     320    50555   315795 |   178324   163353     25 |  3.324 % |
237.86/238.08	c |    447586 |     320    50555   315795 |   178324   164406     25 |  3.324 % |
238.66/238.84	c |    448744 |     320    50555   315795 |   178324   165564     25 |  3.324 % |
239.36/239.51	c |    450020 |     320    50555   315795 | 2147483647   166840     25 |  3.324 % |
240.56/240.70	c |    451421 |     320    50555   315795 | 2147483647   168241     25 |  3.324 % |
241.56/241.74	c |    452963 |     320    50555   315795 | 2147483647   169783     25 |  3.324 % |
242.96/243.11	c |    454657 |     320    50555   315795 | 2147483647   171477     25 |  3.324 % |
244.66/244.88	c |    456521 |     320    50555   315795 | 2147483647   173341     25 |  3.324 % |
246.56/246.71	c |    458572 |     320    50555   315795 | 2147483647   175392     26 |  3.324 % |
248.46/248.69	c |    460827 |     320    50555   315795 |   176820   156698     26 |  3.324 % |
250.46/250.67	c |    463305 |     320    50555   315795 |   176820   159176     26 |  3.324 % |
252.86/253.02	c |    466030 |     320    50555   315795 |   176820   161901     26 |  3.324 % |
255.06/255.30	c |    469029 |     320    50555   315795 |   176820   164900     26 |  3.325 % |
257.66/257.81	c |    472325 |     320    50555   315795 |   165871   143258     26 |  3.324 % |
260.05/260.26	c |    475952 |     320    50555   315795 |   165871   146885     26 |  3.324 % |
262.85/263.04	c |    479940 |     320    50555   315795 |   165871   150873     26 |  3.324 % |
265.45/265.70	c |    484325 |     320    50555   315795 | 2147483647   155258     27 |  3.324 % |
265.55/265.78	c |    484425 |     320    50555   315795 | 2147483647   155358     27 |  3.324 % |
265.65/265.82	c |    484536 |     320    50555   315795 | 2147483647   155469     27 |  3.324 % |
265.75/265.95	c |    484659 |     320    50555   315795 | 2147483647   155592     27 |  3.324 % |
265.85/266.06	c |    484792 |     320    50555   315795 | 2147483647   155725     27 |  3.324 % |
265.96/266.17	c |    484938 |     320    50555   315795 | 2147483647   155871     27 |  3.324 % |
266.06/266.29	c |    485098 |     320    50555   315795 | 2147483647   156031     27 |  3.324 % |
266.25/266.47	c |    485274 |     320    50555   315795 | 2147483647   156207     27 |  3.324 % |
266.45/266.67	c |    485467 |     320    50555   315795 | 2147483647   156400     27 |  3.324 % |
266.65/266.87	c |    485679 |     320    50555   315795 | 2147483647   156612     27 |  3.324 % |
266.85/267.03	c |    485912 |     320    50555   315795 | 2147483647   156845     27 |  3.324 % |
266.95/267.18	c |    486168 |     320    50555   315795 | 2147483647   157101     27 |  3.324 % |
267.25/267.41	c |    486449 |     320    50555   315795 | 2147483647   157382     27 |  3.324 % |
267.45/267.66	c |    486759 |     320    50555   315795 | 2147483647   157692     27 |  3.324 % |
267.75/267.95	c |    487100 |     320    50555   315795 | 2147483647   158033     27 |  3.324 % |
268.05/268.28	c |    487472 |     320    50555   315795 | 2147483647   158405     27 |  3.324 % |
268.35/268.60	c |    487881 |     320    50555   315795 | 2147483647   158814     27 |  3.324 % |
268.65/268.89	c |    488330 |     320    50555   315795 | 2147483647   159263     27 |  3.324 % |
269.05/269.27	c |    488823 |     320    50555   315795 | 2147483647   159756     27 |  3.330 % |
269.36/269.56	c |    489365 |     320    50555   315795 | 2147483647   160298     27 |  3.324 % |
269.55/269.78	c |    489964 |     320    50555   315795 | 2147483647   160897     27 |  3.324 % |
269.95/270.14	c |    490619 |     320    50555   315795 | 2147483647   161552     27 |  3.334 % |
270.25/270.49	c |    491339 |     320    50555   315795 | 2147483647   162272     27 |  3.324 % |
270.65/270.84	c |    492133 |     320    50555   315795 | 2147483647   163066     27 |  3.324 % |
271.25/271.44	c |    493004 |     320    50555   315795 | 2147483647   163937     27 |  3.324 % |
272.05/272.23	c |    493963 |     320    50555   315795 | 2147483647   164896     27 |  3.325 % |
272.85/273.08	c |    495016 |     320    50555   315795 | 2147483647   165949     27 |  3.324 % |
273.85/274.02	c |    496174 |     320    50555   315795 | 2147483647   167107     27 |  3.324 % |
274.35/274.58	c |    497449 |     320    50555   315795 | 2147483647   168382     27 |  3.324 % |
274.95/275.15	c |    498850 |     320    50555   315795 | 2147483647   169783     27 |  3.324 % |
276.65/276.82	c |    500393 |     320    50555   315795 |   170933   151982     26 |  3.333 % |
277.55/277.75	c |    502088 |     320    50555   315795 |   170933   153677     26 |  3.324 % |
278.85/279.09	c |    503952 |     320    50555   315795 |   170933   155541     26 |  3.324 % |
279.95/280.13	c |    506001 |     320    50555   315795 |   170933   157590     27 |  3.324 % |
281.45/281.63	c |    508254 |     320    50555   315795 |   170933   159843     27 |  3.324 % |
282.45/282.62	c |    510734 |     320    50555   315795 | 2147483647   162323     27 |  3.324 % |
283.85/284.09	c |    513464 |     320    50555   315795 | 2147483647   165053     27 |  3.331 % |
285.44/285.62	c |    516461 |     320    50555   315795 | 2147483647   168050     26 |  3.324 % |
287.04/287.23	c |    519758 |     320    50555   315795 | 2147483647   171347     26 |  3.331 % |
288.64/288.89	c |    523384 |     320    50555   315795 | 2147483647   174973     26 |  3.327 % |
289.74/289.93	c |    527371 |     320    50555   315795 | 2147483647   178960     26 |  3.324 % |
291.74/291.99	c |    531756 |     320    50555   315795 | 2147483647   183345     26 |  3.332 % |
293.04/293.28	c |    536580 |     320    50555   315795 | 2147483647   188169     26 |  3.324 % |
293.24/293.40	c |    536681 |     320    50555   315795 | 2147483647   188270     26 |  3.324 % |
293.34/293.50	c |    536791 |     320    50555   315795 | 2147483647   188380     26 |  3.324 % |
293.34/293.56	c |    536912 |     320    50555   315795 | 2147483647   188501     26 |  3.324 % |
293.44/293.65	c |    537048 |     320    50555   315795 | 2147483647   188637     26 |  3.324 % |
293.64/293.81	c |    537194 |     320    50555   315795 | 2147483647   188783     26 |  3.324 % |
293.84/294.00	c |    537354 |     320    50555   315795 | 2147483647   188943     26 |  3.324 % |
293.94/294.15	c |    537530 |     320    50555   315795 | 2147483647   189119     26 |  3.324 % |
294.24/294.42	c |    537723 |     320    50555   315795 | 2147483647   189312     26 |  3.324 % |
294.34/294.56	c |    537935 |     320    50555   315795 | 2147483647   189524     27 |  3.331 % |
294.64/294.81	c |    538170 |     320    50555   315795 | 2147483647   189759     27 |  3.331 % |
294.84/295.03	c |    538427 |     320    50555   315795 | 2147483647   190016     27 |  3.324 % |
295.04/295.28	c |    538708 |     320    50555   315795 | 2147483647   190297     27 |  3.324 % |
295.34/295.53	c |    539017 |     320    50555   315795 | 2147483647   190606     27 |  3.324 % |
295.64/295.89	c |    539358 |     320    50555   315795 | 2147483647   190947     27 |  3.324 % |
296.04/296.25	c |    539732 |     320    50555   315795 | 2147483647   191321     27 |  3.324 % |
296.44/296.67	c |    540141 |     320    50555   315795 | 2147483647   191730     27 |  3.324 % |
296.84/297.06	c |    540590 |     320    50555   315795 | 2147483647   192179     27 |  3.324 % |
297.34/297.51	c |    541084 |     320    50555   315795 | 2147483647   192673     27 |  3.324 % |
297.64/297.89	c |    541626 |     320    50555   315795 | 2147483647   193215     27 |  3.324 % |
298.14/298.37	c |    542225 |     319    50555   315795 | 2147483647   193813     27 |  3.626 % |
298.64/298.88	c |    542880 |     319    50555   315795 | 2147483647   194468     27 |  3.626 % |
299.53/299.71	c |    543600 |     319    50555   315795 | 2147483647   195188     27 |  3.626 % |
300.33/300.56	c |    544392 |     319    50555   315795 | 2147483647   195980     27 |  3.626 % |
301.53/301.78	c |    545266 |     319    50555   315795 | 2147483647   196854     27 |  3.626 % |
302.54/302.71	c |    546224 |     319    50555   315795 | 2147483647   197812     27 |  3.626 % |
303.54/303.79	c |    547277 |     319    50555   315795 | 2147483647   198865     27 |  3.626 % |
304.54/304.72	c |    548439 |     319    50555   315795 | 2147483647   200027     27 |  3.626 % |
305.64/305.85	c |    549714 |     319    50555   315795 | 2147483647   201302     27 |  3.626 % |
307.74/307.98	c |    551114 |     319    50555   315795 |   201588   165809     26 |  3.626 % |
308.64/308.90	c |    552657 |     319    50555   315795 |   201588   167352     26 |  3.635 % |
310.14/310.40	c |    554353 |     319    50555   315795 |   201588   169048     26 |  3.626 % |
311.94/312.10	c |    556216 |     319    50555   315795 |   201588   170911     26 |  3.626 % |
314.13/314.39	c |    558265 |     319    50555   315795 |   201588   172960     26 |  3.626 % |
316.93/317.11	c |    560518 |     319    50555   315795 |   174696   151512     26 |  3.626 % |
318.63/318.86	c |    562996 |     319    50555   315795 |   174696   153990     26 |  3.626 % |
320.73/320.99	c |    565721 |     319    50555   315795 |   174696   156715     26 |  3.626 % |
322.63/322.89	c |    568719 |     319    50555   315795 |   174696   159713     26 |  3.626 % |
324.13/324.30	c |    572015 |     319    50555   315795 |   160995   146746     25 |  3.626 % |
326.93/327.14	c |    575640 |     319    50555   315795 |   160995   150371     26 |  3.626 % |
329.53/329.73	c |    579627 |     319    50555   315795 |   160995   154358     26 |  3.632 % |
331.73/331.93	c |    584013 |     319    50555   315795 | 2147483647   158744     26 |  3.626 % |
335.43/335.68	c |    588836 |     317    50555   315795 | 2147483647   163566     26 |  4.231 % |
339.12/339.35	c |    594141 |     317    50555   315795 | 2147483647   168871     27 |  4.231 % |
339.22/339.45	c |    594242 |     317    50555   315795 | 2147483647   168972     27 |  4.231 % |
339.32/339.52	c |    594352 |     317    50555   315795 | 2147483647   169082     27 |  4.231 % |
339.42/339.63	c |    594473 |     317    50555   315795 | 2147483647   169203     27 |  4.231 % |
339.52/339.78	c |    594606 |     317    50555   315795 | 2147483647   169336     27 |  4.231 % |
339.73/339.97	c |    594753 |     317    50555   315795 | 2147483647   169483     27 |  4.231 % |
339.82/340.08	c |    594915 |     317    50555   315795 | 2147483647   169645     27 |  4.231 % |
340.02/340.27	c |    595092 |     317    50555   315795 | 2147483647   169822     27 |  4.231 % |
340.22/340.47	c |    595286 |     317    50555   315795 | 2147483647   170016     27 |  4.231 % |
340.42/340.65	c |    595499 |     317    50555   315795 | 2147483647   170229     27 |  4.231 % |
340.62/340.88	c |    595734 |     317    50555   315795 | 2147483647   170464     27 |  4.231 % |
340.92/341.11	c |    595990 |     317    50555   315795 | 2147483647   170720     27 |  4.231 % |
341.12/341.30	c |    596271 |     317    50555   315795 | 2147483647   171001     27 |  4.231 % |
341.22/341.46	c |    596582 |     317    50555   315795 | 2147483647   171312     27 |  4.231 % |
341.52/341.76	c |    596921 |     317    50555   315795 | 2147483647   171651     27 |  4.231 % |
341.83/342.08	c |    597293 |     317    50555   315795 | 2147483647   172023     27 |  4.231 % |
342.22/342.42	c |    597703 |     317    50555   315795 | 2147483647   172433     27 |  4.231 % |
342.42/342.67	c |    598152 |     317    50555   315795 | 2147483647   172882     27 |  4.231 % |
342.93/343.14	c |    598645 |     317    50555   315795 | 2147483647   173375     27 |  4.231 % |
343.32/343.58	c |    599189 |     317    50555   315795 | 2147483647   173919     27 |  4.231 % |
343.82/344.09	c |    599785 |     317    50555   315795 | 2147483647   174515     27 |  4.231 % |
344.62/344.85	c |    600440 |     317    50555   315795 |   174730   152377     26 |  4.231 % |
345.23/345.45	c |    601161 |     317    50555   315795 |   174730   153098     26 |  4.231 % |
345.62/345.85	c |    601955 |     317    50555   315795 |   174730   153892     26 |  4.231 % |
346.23/346.47	c |    602827 |     317    50555   315795 |   174730   154764     26 |  4.231 % |
347.02/347.29	c |    603786 |     317    50555   315795 |   174730   155723     26 |  4.231 % |
347.72/347.94	c |    604840 |     317    50555   315795 |   174730   156777     26 |  4.231 % |
348.43/348.67	c |    606001 |     317    50555   315795 |   174730   157938     26 |  4.231 % |
349.53/349.77	c |    607275 |     317    50555   315795 |   174730   159212     26 |  4.231 % |
350.42/350.61	c |    608675 |     317    50555   315795 |   174730   160612     26 |  4.231 % |
351.92/352.17	c |    610218 |     317    50555   315795 |   161938   143824     26 |  4.231 % |
353.32/353.52	c |    611913 |     317    50555   315795 |   161938   145519     26 |  4.231 % |
354.62/354.82	c |    613777 |     317    50555   315795 |   161938   147383     26 |  4.231 % |
355.82/356.09	c |    615826 |     317    50555   315795 |   161938   149432     26 |  4.231 % |
357.12/357.38	c |    618080 |     317    50555   315795 |   161938   151686     26 |  4.231 % |
358.42/358.62	c |    620559 |     317    50555   315795 | 2147483647   154165     26 |  4.231 % |
360.42/360.61	c |    623286 |     317    50555   315795 | 2147483647   156892     27 |  4.231 % |
363.72/363.93	c |    626283 |     317    50555   315795 | 2147483647   159889     27 |  4.231 % |
366.42/366.66	c |    629580 |     317    50555   315795 | 2147483647   163186     27 |  4.231 % |
369.42/369.68	c |    633205 |     317    50555   315795 | 2147483647   166811     27 |  4.231 % |
372.81/373.03	c |    637192 |     317    50555   315795 | 2147483647   170798     27 |  4.231 % |
377.02/377.27	c |    641577 |     317    50555   315795 |   173606   154519     27 |  4.236 % |
380.71/380.97	c |    646400 |     317    50555   315795 |   173606   159342     28 |  4.231 % |
385.31/385.50	c |    651707 |     317    48751   306406 | 2147483647   164645     27 |  4.231 % |
389.81/390.07	c |    657543 |     317    48751   306406 | 2147483647   170481     27 |  4.231 % |
390.01/390.24	c |    657643 |     317    48751   306406 | 2147483647   170581     27 |  4.231 % |
390.11/390.37	c |    657757 |     317    48751   306406 | 2147483647   170695     27 |  4.231 % |
390.31/390.53	c |    657879 |     317    48751   306406 | 2147483647   170817     27 |  4.231 % |
390.41/390.69	c |    658013 |     317    48751   306406 | 2147483647   170951     27 |  4.238 % |
390.61/390.87	c |    658160 |     317    48751   306406 | 2147483647   171098     27 |  4.231 % |
390.71/390.99	c |    658321 |     317    48751   306406 | 2147483647   171259     27 |  4.231 % |
390.91/391.15	c |    658497 |     317    48751   306406 | 2147483647   171435     27 |  4.231 % |
391.11/391.34	c |    658690 |     317    48751   306406 | 2147483647   171628     27 |  4.231 % |
391.31/391.55	c |    658904 |     317    48751   306406 | 2147483647   171842     27 |  4.231 % |
391.50/391.74	c |    659137 |     317    48751   306406 | 2147483647   172075     27 |  4.231 % |
391.71/391.91	c |    659393 |     317    48751   306406 | 2147483647   172331     27 |  4.231 % |
391.90/392.14	c |    659675 |     317    48751   306406 | 2147483647   172613     27 |  4.231 % |
392.20/392.49	c |    659985 |     317    48751   306406 | 2147483647   172923     27 |  4.231 % |
392.51/392.78	c |    660324 |     317    48751   306406 | 2147483647   173262     27 |  4.231 % |
392.90/393.15	c |    660698 |     317    48751   306406 | 2147483647   173636     27 |  4.231 % |
393.40/393.67	c |    661107 |     317    48751   306406 | 2147483647   174045     27 |  4.231 % |
394.10/394.32	c |    661557 |     317    48751   306406 | 2147483647   174495     27 |  4.231 % |
394.40/394.69	c |    662052 |     317    48751   306406 | 2147483647   174990     27 |  4.231 % |
395.10/395.38	c |    662598 |     317    48751   306406 | 2147483647   175536     27 |  4.231 % |
395.71/395.95	c |    663197 |     317    48751   306406 | 2147483647   176135     28 |  4.231 % |
396.30/396.52	c |    663852 |     317    48751   306406 | 2147483647   176790     28 |  4.231 % |
397.10/397.30	c |    664572 |     317    48751   306406 | 2147483647   177510     28 |  4.237 % |
397.91/398.11	c |    665368 |     317    48751   306406 | 2147483647   178306     28 |  4.231 % |
398.30/398.55	c |    666239 |     317    48751   306406 | 2147483647   179177     28 |  4.231 % |
399.30/399.51	c |    667197 |     317    48751   306406 | 2147483647   180135     28 |  4.231 % |
400.00/400.26	c |    668252 |     317    48751   306406 | 2147483647   181190     28 |  4.231 % |
401.21/401.49	c |    669410 |     317    48751   306406 | 2147483647   182348     28 |  4.238 % |
403.10/403.35	c |    670685 |     317    48751   306406 |   182939   153950     27 |  4.231 % |
404.10/404.33	c |    672087 |     317    48751   306406 |   182939   155352     27 |  4.231 % |
405.40/405.66	c |    673628 |     317    48751   306406 |   182939   156893     27 |  4.231 % |
407.20/407.41	c |    675323 |     317    48751   306406 |   182939   158588     27 |  4.236 % |
408.80/409.05	c |    677187 |     317    48751   306406 |   182939   160452     28 |  4.231 % |
410.30/410.55	c |    679238 |     317    48751   306406 |   182939   162503     28 |  4.231 % |
412.50/412.74	c |    681494 |     317    48751   306406 |   163265   142523     27 |  4.231 % |
414.10/414.30	c |    683972 |     317    48751   306406 |   163265   145001     27 |  4.231 % |
416.30/416.59	c |    686697 |     317    48751   306406 |   163265   147726     27 |  4.231 % |
418.49/418.71	c |    689695 |     317    48751   306406 |   163265   150724     27 |  4.231 % |
421.29/421.52	c |    692992 |     317    48751   306406 |   151029   135988     26 |  4.231 % |
424.49/424.73	c |    696617 |     317    48751   306406 |   151029   139613     27 |  4.238 % |
427.89/428.16	c |    700604 |     317    48751   306406 |   142998   120409     26 |  4.231 % |
430.09/430.36	c |    704990 |     317    48751   306406 |   142998   124795     26 |  4.231 % |
432.69/432.99	c |    709813 |     317    48751   306406 |   142998   129618     26 |  4.237 % |
435.69/435.94	c |    715118 |     317    48751   306406 | 2147483647   134923     26 |  4.231 % |
438.49/438.73	c |    720954 |     317    48751   306406 | 2147483647   140759     26 |  4.239 % |
441.49/441.77	c |    727374 |     317    48751   306406 | 2147483647   147179     26 |  4.231 % |
441.59/441.87	c |    727475 |     317    48751   306406 | 2147483647   147280     26 |  4.231 % |
441.69/441.95	c |    727586 |     317    48751   306406 | 2147483647   147391     26 |  4.231 % |
441.89/442.12	c |    727707 |     317    48751   306406 | 2147483647   147512     26 |  4.231 % |
441.99/442.21	c |    727841 |     317    48751   306406 | 2147483647   147646     26 |  4.231 % |
442.09/442.36	c |    727987 |     317    48751   306406 | 2147483647   147792     26 |  4.231 % |
442.29/442.53	c |    728148 |     317    48751   306406 | 2147483647   147953     26 |  4.231 % |
442.49/442.72	c |    728324 |     317    48751   306406 | 2147483647   148129     26 |  4.231 % |
442.69/442.91	c |    728517 |     317    48751   306406 | 2147483647   148322     26 |  4.231 % |
442.89/443.11	c |    728729 |     317    48751   306406 | 2147483647   148534     27 |  4.231 % |
442.99/443.26	c |    728962 |     317    48751   306406 | 2147483647   148767     27 |  4.231 % |
443.19/443.43	c |    729218 |     317    48751   306406 | 2147483647   149023     27 |  4.231 % |
443.39/443.68	c |    729499 |     317    48751   306406 | 2147483647   149304     27 |  4.231 % |
443.69/443.98	c |    729809 |     317    48751   306406 | 2147483647   149614     27 |  4.231 % |
443.89/444.17	c |    730150 |     317    48751   306406 | 2147483647   149955     27 |  4.231 % |
444.19/444.45	c |    730522 |     317    48751   306406 | 2147483647   150327     27 |  4.238 % |
444.48/444.71	c |    730933 |     317    48751   306406 | 2147483647   150738     27 |  4.231 % |
444.78/445.01	c |    731382 |     317    48751   306406 | 2147483647   151187     27 |  4.231 % |
444.98/445.27	c |    731877 |     317    48751   306406 | 2147483647   151682     27 |  4.236 % |
445.19/445.41	c |    732420 |     317    48751   306406 | 2147483647   152225     27 |  4.231 % |
445.48/445.73	c |    733016 |     317    48751   306406 | 2147483647   152821     27 |  4.231 % |
445.98/446.21	c |    733671 |     317    48751   306406 | 2147483647   153476     27 |  4.231 % |
446.68/446.91	c |    734391 |     317    48751   306406 | 2147483647   154196     27 |  4.231 % |
447.08/447.37	c |    735183 |     317    48751   306406 | 2147483647   154988     27 |  4.231 % |
447.78/448.00	c |    736054 |     317    48751   306406 | 2147483647   155859     27 |  4.231 % |
448.59/448.84	c |    737013 |     317    48751   306406 | 2147483647   156818     27 |  4.231 % |
449.38/449.68	c |    738069 |     317    48751   306406 | 2147483647   157874     27 |  4.231 % |
450.38/450.64	c |    739227 |     317    48751   306406 | 2147483647   159032     27 |  4.231 % |
451.38/451.67	c |    740500 |     317    48751   306406 | 2147483647   160305     27 |  4.237 % |
452.88/453.14	c |    741900 |     317    48751   306406 | 2147483647   161705     27 |  4.231 % |
454.18/454.40	c |    743440 |     317    48751   306406 | 2147483647   163245     27 |  4.231 % |
455.28/455.51	c |    745135 |     317    48751   306406 | 2147483647   164940     27 |  4.231 % |
456.88/457.14	c |    747000 |     317    48751   306406 | 2147483647   166805     27 |  4.231 % |
458.58/458.90	c |    749049 |     317    48751   306406 | 2147483647   168854     27 |  4.231 % |
460.78/461.09	c |    751305 |     317    48751   306406 |   169807   150428     26 |  4.231 % |
461.88/462.17	c |    753786 |     317    48751   306406 |   169807   152909     27 |  4.231 % |
464.18/464.49	c |    756512 |     317    48751   306406 |   169807   155635     27 |  4.238 % |
466.87/467.14	c |    759510 |     317    48751   306406 |   169807   158633     27 |  4.231 % |
469.57/469.82	c |    762809 |     317    48751   306406 | 2147483647   161932     27 |  4.231 % |
472.78/473.05	c |    766435 |     317    48751   306406 | 2147483647   165558     27 |  4.231 % |
475.67/475.96	c |    770422 |     317    48751   306406 |   169125   149843     27 |  4.231 % |
479.07/479.36	c |    774807 |     317    48751   306406 |   169125   154228     27 |  4.231 % |
482.47/482.76	c |    779632 |     317    48751   306406 |   169125   159053     27 |  4.231 % |
485.67/485.95	c |    784938 |     317    48751   306406 | 2147483647   164359     27 |  4.231 % |
490.86/491.16	c |    790773 |     317    48751   306406 |   169421   150789     27 |  4.231 % |
492.47/492.78	c |    797191 |     317    48751   306406 |   169421   157207     27 |  4.231 % |
495.56/495.81	c |    804251 |     316    48751   306406 | 2147483647   164266     27 |  4.533 % |
495.56/495.85	c |    804351 |     316    48751   306406 | 2147483647   164366     27 |  4.533 % |
495.66/495.90	c |    804463 |     316    48751   306406 | 2147483647   164478     27 |  4.533 % |
495.66/495.94	c |    804584 |     316    48751   306406 | 2147483647   164599     27 |  4.539 % |
495.77/496.09	c |    804718 |     316    48751   306406 | 2147483647   164733     27 |  4.533 % |
495.87/496.17	c |    804864 |     316    48751   306406 | 2147483647   164879     27 |  4.533 % |
495.96/496.22	c |    805024 |     316    48751   306406 | 2147483647   165039     27 |  4.533 % |
496.16/496.41	c |    805200 |     316    48751   306406 | 2147483647   165215     27 |  4.533 % |
496.16/496.49	c |    805393 |     316    48751   306406 | 2147483647   165408     27 |  4.533 % |
496.36/496.60	c |    805608 |     316    48751   306406 | 2147483647   165623     27 |  4.533 % |
496.46/496.77	c |    805841 |     316    48751   306406 | 2147483647   165856     27 |  4.533 % |
496.66/496.91	c |    806100 |     316    48751   306406 | 2147483647   166115     27 |  4.533 % |
496.76/497.05	c |    806382 |     316    48751   306406 | 2147483647   166397     27 |  4.533 % |
496.87/497.18	c |    806691 |     316    48751   306406 | 2147483647   166706     27 |  4.533 % |
497.26/497.54	c |    807030 |     316    48751   306406 | 2147483647   167045     27 |  4.534 % |
497.56/497.82	c |    807402 |     316    48751   306406 | 2147483647   167417     27 |  4.533 % |
497.96/498.20	c |    807811 |     316    48751   306406 | 2147483647   167826     27 |  4.533 % |
498.36/498.67	c |    808260 |     316    48751   306406 | 2147483647   168275     27 |  4.533 % |
498.86/499.15	c |    808753 |     316    48751   306406 | 2147483647   168768     27 |  4.533 % |
499.46/499.73	c |    809295 |     316    48751   306406 | 2147483647   169310     27 |  4.533 % |
500.06/500.39	c |    809891 |     316    48751   306406 | 2147483647   169906     27 |  4.533 % |
500.76/501.07	c |    810547 |     316    48751   306406 | 2147483647   170562     27 |  4.537 % |
501.46/501.79	c |    811267 |     316    48751   306406 | 2147483647   171282     27 |  4.533 % |
502.16/502.41	c |    812059 |     316    48751   306406 | 2147483647   172074     27 |  4.533 % |
502.86/503.19	c |    812930 |     316    48751   306406 | 2147483647   172945     27 |  4.533 % |
504.16/504.43	c |    813890 |     316    48751   306406 | 2147483647   173905     27 |  4.533 % |
505.06/505.35	c |    814943 |     316    48751   306406 | 2147483647   174958     27 |  4.533 % |
506.16/506.45	c |    816102 |     316    48751   306406 | 2147483647   176117     27 |  4.539 % |
507.06/507.32	c |    817380 |     316    48751   306406 | 2147483647   177395     27 |  4.533 % |
507.96/508.25	c |    818780 |     316    48751   306406 | 2147483647   178795     27 |  4.533 % |
509.75/510.03	c |    820323 |     316    48751   306406 |   180015   155947     27 |  4.534 % |
510.25/510.57	c |    822017 |     316    48751   306406 |   180015   157641     26 |  4.533 % |
512.15/512.49	c |    823882 |     316    48751   306406 |   180015   159506     27 |  4.533 % |
513.55/513.89	c |    825933 |     316    48751   306406 |   180015   161557     27 |  4.539 % |
514.95/515.25	c |    828186 |     316    48751   306406 |   180015   163810     27 |  4.533 % |
516.96/517.25	c |    830664 |     316    48751   306406 |   165624   146855     26 |  4.533 % |
518.86/519.12	c |    833392 |     316    48751   306406 |   165624   149583     26 |  4.533 % |
520.66/520.92	c |    836390 |     316    48751   306406 |   165624   152581     27 |  4.533 % |
523.26/523.59	c |    839686 |     316    48751   306406 |   165624   155877     27 |  4.540 % |
525.86/526.19	c |    843313 |     316    48751   306406 |   156192   142550     26 |  4.533 % |
528.56/528.84	c |    847300 |     316    48751   306406 |   156192   146537     27 |  4.533 % |
531.96/532.28	c |    851686 |     316    48751   306406 | 2147483647   150923     27 |  4.533 % |
537.16/537.44	c |    856509 |     316    48751   306406 | 2147483647   155746     27 |  4.542 % |
541.15/541.48	c |    861816 |     316    48511   305346 | 2147483647   161052     27 |  4.534 % |
545.05/545.39	c |    867652 |     316    48511   305346 | 2147483647   166888     27 |  4.533 % |
549.35/549.62	c |    874071 |     316    48511   305346 |   169237   155240     27 |  4.539 % |
555.15/555.50	c |    881130 |     316    48511   305346 | 2147483647   162299     27 |  4.533 % |
562.45/562.78	c |    888895 |     316    48511   305346 | 2147483647   170064     27 |  4.533 % |
562.55/562.85	c |    888997 |     316    48511   305346 | 2147483647   170166     27 |  4.533 % |
562.75/563.00	c |    889107 |     316    48511   305346 | 2147483647   170276     27 |  4.533 % |
562.85/563.15	c |    889231 |     316    48511   305346 | 2147483647   170400     27 |  4.533 % |
562.95/563.30	c |    889364 |     316    48511   305346 | 2147483647   170533     27 |  4.533 % |
563.15/563.43	c |    889511 |     316    48511   305346 | 2147483647   170680     27 |  4.533 % |
563.45/563.70	c |    889672 |     316    48511   305346 | 2147483647   170841     27 |  4.533 % |
563.55/563.89	c |    889848 |     316    48511   305346 | 2147483647   171017     27 |  4.533 % |
563.85/564.12	c |    890044 |     316    48511   305346 |   171169   171213     27 |  4.533 % |
564.44/564.79	c |    890257 |     316    48511   305346 |   171169   143922     27 |  4.533 % |
564.64/564.93	c |    890490 |     316    48511   305346 |   171169   144155     27 |  4.533 % |
564.84/565.19	c |    890747 |     316    48511   305346 |   171169   144412     27 |  4.533 % |
565.24/565.51	c |    891028 |     316    48511   305346 |   171169   144693     27 |  4.533 % |
565.44/565.72	c |    891338 |     316    48511   305346 |   171169   145003     27 |  4.533 % |
565.74/566.00	c |    891677 |     316    48511   305346 |   171169   145342     27 |  4.533 % |
565.94/566.23	c |    892049 |     316    48511   305346 |   171169   145714     27 |  4.533 % |
566.34/566.64	c |    892459 |     316    48511   305346 |   171169   146124     27 |  4.533 % |
566.74/567.05	c |    892909 |     316    48511   305346 |   171169   146574     27 |  4.533 % |
567.14/567.46	c |    893402 |     316    48511   305346 |   171169   147067     27 |  4.533 % |
567.44/567.79	c |    893945 |     316    48511   305346 |   171169   147610     27 |  4.533 % |
567.94/568.23	c |    894541 |     316    48511   305346 |   171169   148206     27 |  4.533 % |
568.45/568.74	c |    895198 |     316    48511   305346 |   171169   148863     27 |  4.533 % |
569.14/569.48	c |    895918 |     316    48511   305346 |   171169   149583     27 |  4.533 % |
569.74/570.02	c |    896710 |     316    48511   305346 |   171169   150375     27 |  4.533 % |
570.34/570.65	c |    897581 |     316    48511   305346 |   171169   151246     27 |  4.533 % |
571.04/571.37	c |    898543 |     316    48511   305346 |   171169   152208     27 |  4.533 % |
571.84/572.13	c |    899596 |     316    48511   305346 |   171169   153261     27 |  4.533 % |
572.84/573.14	c |    900754 |     316    48511   305346 | 2147483647   154419     27 |  4.533 % |
574.04/574.32	c |    902027 |     316    48511   305346 | 2147483647   155692     27 |  4.533 % |
575.14/575.44	c |    903427 |     316    48511   305346 | 2147483647   157092     27 |  4.533 % |
576.44/576.74	c |    904968 |     316    48511   305346 | 2147483647   158633     27 |  4.533 % |
577.44/577.77	c |    906662 |     316    48511   305346 | 2147483647   160327     27 |  4.534 % |
579.04/579.34	c |    908526 |     316    48511   305346 | 2147483647   162191     27 |  4.533 % |
580.64/580.95	c |    910575 |     316    48511   305346 | 2147483647   164240     27 |  4.533 % |
582.34/582.70	c |    912828 |     316    48511   305346 | 2147483647   166493     28 |  4.533 % |
584.33/584.63	c |    915307 |     316    48511   305346 | 2147483647   168972     28 |  4.533 % |
586.04/586.39	c |    918035 |     316    48511   305346 | 2147483647   171700     27 |  4.533 % |
588.83/589.16	c |    921033 |     316    48511   305346 | 2147483647   174698     28 |  4.533 % |
592.03/592.36	c |    924329 |     316    48511   305346 | 2147483647   177994     28 |  4.533 % |
595.23/595.59	c |    927955 |     316    48511   305346 | 2147483647   181620     28 |  4.533 % |
600.33/600.65	c |    931942 |     316    48511   305346 |   183666   162636     28 |  4.533 % |
605.03/605.36	c |    936327 |     316    48511   305346 |   183666   167021     28 |  4.540 % |
610.73/611.02	c |    941150 |     316    48511   305346 |   170694   150215     28 |  4.533 % |
616.02/616.38	c |    946457 |     316    48511   305346 |   170694   155522     28 |  4.533 % |
622.33/622.65	c |    952293 |     316    48511   305346 |   159066   145116     28 |  4.533 % |
628.92/629.27	c |    958711 |     316    48511   305346 |   159066   151534     28 |  4.533 % |
636.12/636.48	c |    965773 |     316    48511   305346 |   152823   143156     28 |  4.533 % |
645.01/645.36	c |    973538 |     316    48511   305346 | 2147483647   150921     28 |  4.533 % |
652.82/653.15	c |    982081 |     316    48511   305346 |   157384   143714     29 |  4.533 % |
652.92/653.26	c |    982182 |     316    48511   305346 |   157384   143815     29 |  4.533 % |
653.02/653.32	c |    982292 |     316    48511   305346 |   157384   143925     29 |  4.533 % |
653.12/653.43	c |    982413 |     316    48511   305346 |   157384   144046     29 |  4.533 % |
653.22/653.55	c |    982546 |     316    48511   305346 |   157384   144179     29 |  4.533 % |
653.42/653.71	c |    982692 |     316    48511   305346 |   157384   144325     29 |  4.533 % |
653.52/653.82	c |    982852 |     316    48511   305346 |   157384   144485     29 |  4.533 % |
653.62/653.94	c |    983028 |     316    48511   305346 |   157384   144661     29 |  4.533 % |
653.82/654.19	c |    983221 |     316    48511   305346 |   157384   144854     29 |  4.533 % |
654.02/654.39	c |    983433 |     316    48511   305346 |   157384   145066     29 |  4.533 % |
654.32/654.64	c |    983666 |     316    48511   305346 |   157384   145299     29 |  4.533 % |
654.52/654.83	c |    983922 |     316    48511   305346 |   157384   145555     29 |  4.540 % |
654.82/655.12	c |    984206 |     316    48511   305346 |   157384   145839     29 |  4.533 % |
655.12/655.40	c |    984516 |     316    48511   305346 |   157384   146149     29 |  4.533 % |
655.42/655.72	c |    984855 |     316    48511   305346 |   157384   146488     29 |  4.533 % |
655.62/655.96	c |    985228 |     316    48511   305346 |   157384   146861     29 |  4.533 % |
655.92/656.27	c |    985639 |     316    48511   305346 |   157384   147272     29 |  4.533 % |
656.32/656.61	c |    986088 |     316    48511   305346 |   157384   147721     29 |  4.533 % |
656.82/657.17	c |    986582 |     316    48511   305346 |   157384   148215     29 |  4.533 % |
657.42/657.71	c |    987125 |     316    48511   305346 |   157384   148758     29 |  4.533 % |
657.92/658.29	c |    987725 |     316    48511   305346 |   157384   149358     29 |  4.533 % |
658.62/659.00	c |    988381 |     316    48511   305346 |   157384   150014     29 |  4.533 % |
659.32/659.69	c |    989101 |     316    48511   305346 |   157384   150734     29 |  4.533 % |
660.22/660.54	c |    989893 |     316    48511   305346 |   157384   151526     29 |  4.533 % |
661.02/661.32	c |    990764 |     316    48511   305346 | 2147483647   152397     29 |  4.540 % |
661.82/662.14	c |    991726 |     316    48511   305346 | 2147483647   153359     29 |  4.533 % |
662.62/662.93	c |    992780 |     316    48511   305346 | 2147483647   154413     29 |  4.540 % |
663.32/663.63	c |    993939 |     316    48511   305346 | 2147483647   155572     29 |  4.533 % |
664.52/664.83	c |    995212 |     316    48511   305346 | 2147483647   156845     29 |  4.533 % |
666.22/666.52	c |    996612 |     316    48511   305346 | 2147483647   158245     29 |  4.533 % |
667.81/668.11	c |    998153 |     316    48511   305346 | 2147483647   159786     29 |  4.546 % |
669.52/669.88	c |    999847 |     316    48511   305346 | 2147483647   161480     29 |  4.543 % |
670.72/671.08	c |   1001711 |     316    48511   305346 |   161635   137702     29 |  4.536 % |
671.82/672.13	c |   1003760 |     316    48511   305346 |   161635   139751     29 |  4.534 % |
672.82/673.11	c |   1006013 |     316    48511   305346 |   161635   142004     29 |  4.534 % |
674.51/674.80	c |   1008492 |     316    48511   305346 |   161635   144483     29 |  4.533 % |
676.81/677.19	c |   1011218 |     316    48511   305346 |   145994   131105     28 |  4.533 % |
679.31/679.62	c |   1014218 |     316    48511   305346 |   145994   134105     28 |  4.533 % |
682.51/682.81	c |   1017514 |     316    48511   305346 |   145994   137401     28 |  4.533 % |
685.21/685.55	c |   1021139 |     316    48511   305346 | 2147483647   141026     28 |  4.533 % |
687.00/687.32	c |   1025127 |     316    48511   305346 | 2147483647   145014     29 |  4.533 % |
690.30/690.69	c |   1029512 |     316    48511   305346 | 2147483647   149399     29 |  4.540 % |
693.20/693.56	c |   1034337 |     316    48511   305346 | 2147483647   154224     29 |  4.533 % |
696.40/696.71	c |   1039642 |     316    48511   305346 | 2147483647   159529     29 |  4.537 % |
698.90/699.23	c |   1045477 |     316    48511   305346 | 2147483647   165364     28 |  4.533 % |
702.40/702.78	c |   1051895 |     316    48511   305346 | 2147483647   171782     29 |  4.533 % |
707.90/708.27	c |   1058954 |     316    48511   305346 | 2147483647   178841     28 |  4.533 % |
716.20/716.56	c |   1066718 |     316    48511   305346 | 2147483647   186605     29 |  4.537 % |
725.40/725.71	c |   1075259 |     316    48511   305346 |   189888   162084     28 |  4.533 % |
734.19/734.54	c |   1084654 |     316    48511   305346 |   166825   146969     27 |  4.533 % |
734.29/734.62	c |   1084754 |     316    48511   305346 |   166825   147069     27 |  4.533 % |
734.40/734.72	c |   1084864 |     316    48511   305346 |   166825   147179     27 |  4.533 % |
734.40/734.78	c |   1084987 |     316    48511   305346 |   166825   147302     27 |  4.533 % |
734.59/734.90	c |   1085120 |     316    48511   305346 |   166825   147435     27 |  4.533 % |
734.59/734.96	c |   1085268 |     316    48511   305346 |   166825   147583     27 |  4.533 % |
734.69/735.08	c |   1085430 |     316    48511   305346 |   166825   147745     27 |  4.533 % |
734.89/735.22	c |   1085606 |     316    48511   305346 |   166825   147921     27 |  4.533 % |
734.99/735.34	c |   1085799 |     316    48511   305346 |   166825   148114     27 |  4.533 % |
735.09/735.45	c |   1086013 |     316    48511   305346 |   166825   148328     27 |  4.533 % |
735.29/735.61	c |   1086246 |     316    48511   305346 |   166825   148561     27 |  4.533 % |
735.39/735.72	c |   1086503 |     316    48511   305346 |   166825   148818     27 |  4.533 % |
735.59/735.92	c |   1086784 |     316    48511   305346 |   166825   149099     27 |  4.533 % |
735.79/736.15	c |   1087093 |     316    48511   305346 |   166825   149408     27 |  4.533 % |
736.19/736.52	c |   1087432 |     316    48511   305346 |   166825   149747     27 |  4.533 % |
736.49/736.86	c |   1087805 |     316    48511   305346 |   166825   150120     27 |  4.533 % |
736.79/737.10	c |   1088214 |     316    48511   305346 |   166825   150529     27 |  4.533 % |
736.99/737.38	c |   1088664 |     316    48511   305346 |   166825   150979     27 |  4.533 % |
737.19/737.56	c |   1089157 |     316    48511   305346 |   166825   151472     27 |  4.533 % |
737.39/737.70	c |   1089699 |     316    48511   305346 |   166825   152014     27 |  4.533 % |
737.49/737.86	c |   1090295 |     316    48511   305346 | 2147483647   152610     27 |  4.535 % |
737.79/738.11	c |   1090950 |     316    48511   305346 | 2147483647   153265     27 |  4.533 % |
737.99/738.39	c |   1091670 |     316    48511   305346 | 2147483647   153985     27 |  4.540 % |
738.29/738.62	c |   1092465 |     316    48511   305346 | 2147483647   154780     27 |  4.540 % |
738.59/738.99	c |   1093338 |     316    48511   305346 | 2147483647   155653     27 |  4.533 % |
739.19/739.54	c |   1094298 |     316    48511   305346 | 2147483647   156613     27 |  4.540 % |
739.69/740.03	c |   1095352 |     316    48511   305346 | 2147483647   157667     27 |  4.533 % |
740.29/740.66	c |   1096512 |     316    48511   305346 | 2147483647   158827     27 |  4.533 % |
740.89/741.28	c |   1097785 |     316    48511   305346 | 2147483647   160100     27 |  4.533 % |
741.89/742.26	c |   1099185 |     316    48511   305346 | 2147483647   161500     27 |  4.533 % |
742.39/742.78	c |   1100726 |     316    48511   305346 | 2147483647   163041     27 |  4.533 % |
743.59/743.95	c |   1102420 |     316    48511   305346 | 2147483647   164735     27 |  4.533 % |
744.78/745.15	c |   1104283 |     316    48511   305346 | 2147483647   166598     27 |  4.533 % |
745.58/745.99	c |   1106333 |     316    48511   305346 | 2147483647   168648     27 |  4.533 % |
746.78/747.17	c |   1108587 |     316    48511   305346 | 2147483647   170902     27 |  4.533 % |
749.18/749.59	c |   1111065 |     316    48511   305346 | 2147483647   173380     27 |  4.533 % |
751.99/752.36	c |   1113790 |     316    48511   305346 | 2147483647   176105     27 |  4.533 % |
755.28/755.62	c |   1116787 |     316    48511   305346 | 2147483647   179102     27 |  4.533 % |
759.18/759.59	c |   1120083 |     316    48511   305346 |   182315   182398     27 |  4.533 % |
762.08/762.49	c |   1123708 |     316    48511   305346 |   182315   162651     27 |  4.533 % |
764.68/765.05	c |   1127695 |     316    48511   305346 |   182315   166638     27 |  4.533 % |
767.58/767.95	c |   1132080 |     316    48511   305346 |   168944   151516     26 |  4.533 % |
770.78/771.14	c |   1136903 |     316    48511   305346 |   168944   156339     26 |  4.533 % |
774.57/774.94	c |   1142208 |     316    48511   305346 | 2147483647   161644     26 |  4.533 % |
777.87/778.20	c |   1148044 |     316    48511   305346 | 2147483647   167480     27 |  4.533 % |
783.57/783.99	c |   1154462 |     316    48511   305346 | 2147483647   173898     27 |  4.533 % |
790.27/790.60	c |   1161522 |     316    48511   305346 |   179437   157967     27 |  4.533 % |
796.47/796.84	c |   1169286 |     316    48511   305346 |   179437   165731     27 |  4.533 % |
803.57/803.95	c |   1177829 |     316    48511   305346 |   166448   155616     26 |  4.533 % |
811.56/811.94	c |   1187223 |     316    48511   305346 |   157790   149051     27 |  4.533 % |
820.66/821.08	c |   1197560 |     316    48511   305346 | 2147483647   159388     27 |  4.533 % |
820.86/821.21	c |   1197661 |     316    48511   305346 | 2147483647   159489     27 |  4.533 % |
820.86/821.29	c |   1197773 |     316    48511   305346 | 2147483647   159601     27 |  4.533 % |
821.06/821.41	c |   1197894 |     316    48511   305346 | 2147483647   159722     27 |  4.533 % |
821.16/821.56	c |   1198027 |     316    48511   305346 | 2147483647   159855     27 |  4.533 % |
821.26/821.69	c |   1198173 |     316    48511   305346 | 2147483647   160001     27 |  4.533 % |
821.46/821.82	c |   1198333 |     316    48511   305346 | 2147483647   160161     27 |  4.533 % |
821.56/821.91	c |   1198511 |     316    48511   305346 | 2147483647   160339     27 |  4.533 % |
821.76/822.12	c |   1198704 |     316    48511   305346 | 2147483647   160532     27 |  4.534 % |
821.86/822.22	c |   1198916 |     316    48511   305346 | 2147483647   160744     27 |  4.533 % |
822.06/822.40	c |   1199150 |     316    48511   305346 | 2147483647   160978     27 |  4.534 % |
822.26/822.63	c |   1199406 |     316    48511   305346 | 2147483647   161234     27 |  4.533 % |
822.46/822.85	c |   1199689 |     316    48511   305346 | 2147483647   161517     27 |  4.533 % |
822.76/823.15	c |   1199999 |     316    48511   305346 | 2147483647   161827     27 |  4.533 % |
823.06/823.46	c |   1200338 |     316    48511   305346 | 2147483647   162166     27 |  4.533 % |
823.35/823.70	c |   1200710 |     316    48511   305346 | 2147483647   162538     27 |  4.533 % |
823.65/824.04	c |   1201120 |     316    48511   305346 | 2147483647   162948     27 |  4.540 % |
824.15/824.59	c |   1201569 |     316    48511   305346 | 2147483647   163397     27 |  4.533 % |
824.75/825.14	c |   1202063 |     316    48511   305346 | 2147483647   163891     27 |  4.533 % |
825.15/825.58	c |   1202607 |     316    48511   305346 | 2147483647   164435     27 |  4.533 % |
825.55/825.96	c |   1203203 |     316    48511   305346 | 2147483647   165031     27 |  4.533 % |
825.95/826.39	c |   1203859 |     316    48511   305346 | 2147483647   165687     27 |  4.537 % |
826.35/826.77	c |   1204579 |     316    48511   305346 | 2147483647   166407     27 |  4.533 % |
826.95/827.35	c |   1205371 |     316    48511   305346 | 2147483647   167199     27 |  4.534 % |
827.45/827.84	c |   1206243 |     316    48511   305346 | 2147483647   168071     27 |  4.533 % |
828.45/828.88	c |   1207203 |     316    48511   305346 | 2147483647   169031     27 |  4.533 % |
829.25/829.64	c |   1208256 |     316    48511   305346 | 2147483647   170084     27 |  4.533 % |
830.06/830.47	c |   1209415 |     316    48511   305346 | 2147483647   171243     27 |  4.533 % |
831.65/832.07	c |   1210688 |     316    48511   305346 |   171828   148718     27 |  4.533 % |
832.45/832.83	c |   1212088 |     316    48511   305346 |   171828   150118     27 |  4.533 % |
833.35/833.79	c |   1213630 |     316    48511   305346 |   171828   151660     27 |  4.533 % |
834.45/834.81	c |   1215324 |     316    48511   305346 |   171828   153354     27 |  4.533 % |
835.65/836.06	c |   1217188 |     316    48511   305346 |   171828   155218     27 |  4.533 % |
837.95/838.30	c |   1219239 |     316    48511   305346 |   171828   157269     27 |  4.533 % |
839.85/840.21	c |   1221497 |     316    48511   305346 |   158030   142169     27 |  4.533 % |
842.25/842.66	c |   1223975 |     316    48511   305346 |   158030   144647     27 |  4.533 % |
844.45/844.83	c |   1226702 |     316    48511   305346 |   158030   147374     28 |  4.533 % |
846.65/847.09	c |   1229700 |     316    48511   305346 |   158030   150372     28 |  4.533 % |
849.05/849.44	c |   1232996 |     316    48511   305346 | 2147483647   153668     28 |  4.533 % |
852.05/852.43	c |   1236623 |     316    48511   305346 | 2147483647   157295     28 |  4.533 % |
855.45/855.85	c |   1240610 |     316    48511   305346 | 2147483647   161282     28 |  4.533 % |
858.34/858.72	c |   1244996 |     316    48511   305346 | 2147483647   165668     28 |  4.533 % |
862.54/862.94	c |   1249823 |     316    48511   305346 | 2147483647   170495     28 |  4.533 % |
867.64/868.00	c |   1255129 |     316    48511   305346 | 2147483647   175801     28 |  4.533 % |
873.04/873.42	c |   1260964 |     316    48511   305346 |   180672   156171     27 |  4.533 % |
877.63/878.09	c |   1267383 |     316    48511   305346 |   180672   162590     27 |  4.533 % |
883.63/884.05	c |   1274442 |     316    48511   305346 |   165209   148884     27 |  4.533 % |
888.44/888.83	c |   1282207 |     316    48511   305346 | 2147483647   156649     27 |  4.533 % |
895.93/896.39	c |   1290748 |     316    48511   305346 |   164443   146470     27 |  4.533 % |
899.84/900.25	c |   1300142 |     316    48511   305346 | 2147483647   155864     27 |  4.533 % |
905.34/905.78	c |   1310476 |     316    48511   305346 | 2147483647   166198     27 |  4.533 % |
913.74/914.13	c |   1321842 |     316    48511   305346 | 2147483647   177564     27 |  4.533 % |
913.74/914.18	c |   1321942 |     316    48511   305346 | 2147483647   177664     27 |  4.533 % |
913.83/914.23	c |   1322052 |     316    48511   305346 | 2147483647   177774     27 |  4.533 % |
913.93/914.36	c |   1322174 |     316    48511   305346 | 2147483647   177896     27 |  4.533 % |
914.03/914.47	c |   1322307 |     316    48511   305346 | 2147483647   178029     27 |  4.533 % |
914.13/914.58	c |   1322453 |     316    48511   305346 | 2147483647   178175     27 |  4.533 % |
914.23/914.66	c |   1322614 |     316    48511   305346 | 2147483647   178336     27 |  4.533 % |
914.43/914.81	c |   1322791 |     316    48511   305346 | 2147483647   178513     27 |  4.533 % |
914.53/914.93	c |   1322984 |     316    48511   305346 | 2147483647   178706     27 |  4.533 % |
914.63/915.09	c |   1323196 |     316    48511   305346 | 2147483647   178918     27 |  4.533 % |
914.93/915.30	c |   1323429 |     316    48511   305346 | 2147483647   179151     27 |  4.533 % |
915.03/915.48	c |   1323685 |     316    48511   305346 | 2147483647   179407     27 |  4.533 % |
915.33/915.75	c |   1323966 |     316    48511   305346 | 2147483647   179688     27 |  4.533 % |
915.53/915.96	c |   1324276 |     316    48511   305346 | 2147483647   179998     27 |  4.545 % |
915.84/916.24	c |   1324615 |     316    48511   305346 | 2147483647   180337     27 |  4.533 % |
916.13/916.57	c |   1324987 |     316    48511   305346 | 2147483647   180709     27 |  4.533 % |
916.53/916.98	c |   1325396 |     316    48511   305346 | 2147483647   181118     27 |  4.533 % |
916.93/917.33	c |   1325846 |     316    48511   305346 | 2147483647   181568     27 |  4.533 % |
917.23/917.67	c |   1326339 |     316    48511   305346 | 2147483647   182061     27 |  4.533 % |
917.73/918.10	c |   1326881 |     316    48511   305346 | 2147483647   182603     27 |  4.533 % |
918.13/918.55	c |   1327480 |     316    48511   305346 | 2147483647   183202     27 |  4.533 % |
918.53/918.91	c |   1328136 |     316    48511   305346 | 2147483647   183858     28 |  4.533 % |
919.03/919.50	c |   1328857 |     316    48511   305346 | 2147483647   184579     28 |  4.540 % |
919.83/920.26	c |   1329651 |     316    48511   305346 | 2147483647   185373     28 |  4.533 % |
921.33/921.71	c |   1330522 |     316    48511   305346 |   185722   164200     27 |  4.533 % |
921.73/922.19	c |   1331480 |     316    48511   305346 |   185722   165158     27 |  4.533 % |
922.63/923.06	c |   1332534 |     316    48511   305346 |   185722   166212     27 |  4.533 % |
923.73/924.15	c |   1333692 |     316    48511   305346 |   185722   167370     27 |  4.533 % |
924.73/925.12	c |   1334966 |     316    48511   305346 |   185722   168644     27 |  4.533 % |
925.63/926.05	c |   1336366 |     316    48511   305346 |   185722   170044     27 |  4.533 % |
926.73/927.15	c |   1337908 |     316    48511   305346 |   185722   171586     27 |  4.533 % |
927.93/928.37	c |   1339602 |     316    48511   305346 |   185722   173280     27 |  4.533 % |
928.93/929.37	c |   1341465 |     316    48511   305346 | 2147483647   175143     27 |  4.533 % |
930.33/930.71	c |   1343516 |     316    48511   305346 | 2147483647   177194     27 |  4.533 % |
931.43/931.81	c |   1345769 |     316    48511   305346 | 2147483647   179447     27 |  4.533 % |
933.13/933.51	c |   1348249 |     316    48511   305346 | 2147483647   181927     27 |  4.533 % |
936.22/936.69	c |   1350975 |     316    48511   305346 |   183678   162973     27 |  4.539 % |
939.03/939.45	c |   1353973 |     316    48511   305346 |   183678   165971     27 |  4.533 % |
942.33/942.71	c |   1357271 |     316    48511   305346 |   183678   169269     27 |  4.533 % |
946.32/946.74	c |   1360897 |     316    48511   305346 |   171998   150123     27 |  4.533 % |
949.72/950.17	c |   1364885 |     316    48511   305346 |   171998   154111     27 |  4.533 % |
953.82/954.21	c |   1369270 |     316    48511   305346 |   171998   158496     27 |  4.533 % |
957.82/958.27	c |   1374093 |     316    48511   305346 |   159226   140588     27 |  4.533 % |
961.21/961.68	c |   1379398 |     316    48511   305346 |   159226   145893     28 |  4.533 % |
965.61/966.07	c |   1385233 |     316    48511   305346 | 2147483647   151728     28 |  4.533 % |
969.11/969.52	c |   1391651 |     316    48511   305346 | 2147483647   158146     28 |  4.533 % |
972.71/973.10	c |   1398711 |     316    48511   305346 | 2147483647   165206     28 |  4.533 % |
975.51/975.90	c |   1406477 |     316    48511   305346 | 2147483647   172972     28 |  4.533 % |
980.61/981.00	c |   1415018 |     316    48511   305346 | 2147483647   181513     28 |  4.538 % |
989.40/989.89	c |   1424412 |     316    48511   305346 |   186497   167249     28 |  4.533 % |
999.00/999.44	c |   1434748 |     316    48511   305346 |   172837   159653     28 |  4.533 % |
1009.40/1009.86	c |   1446116 |     316    48511   305346 | 2147483647   171021     28 |  4.533 % |
1023.49/1023.94	c |   1458618 |     316    48511   305346 | 2147483647   183523     28 |  4.533 % |
1023.60/1024.04	c |   1458719 |     316    48511   305346 | 2147483647   183624     28 |  4.533 % |
1023.79/1024.20	c |   1458829 |     316    48511   305346 | 2147483647   183734     28 |  4.533 % |
1023.89/1024.30	c |   1458952 |     316    48511   305346 | 2147483647   183857     28 |  4.533 % |
1023.99/1024.45	c |   1459085 |     316    48511   305346 | 2147483647   183990     28 |  4.533 % |
1024.19/1024.64	c |   1459231 |     316    48511   305346 | 2147483647   184136     28 |  4.533 % |
1024.29/1024.77	c |   1459391 |     316    48511   305346 | 2147483647   184296     29 |  4.533 % |
1024.49/1024.92	c |   1459567 |     316    48511   305346 | 2147483647   184472     29 |  4.533 % |
1024.70/1025.11	c |   1459761 |     316    48511   305346 | 2147483647   184666     29 |  4.533 % |
1024.90/1025.30	c |   1459974 |     316    48511   305346 | 2147483647   184879     29 |  4.533 % |
1025.50/1025.97	c |   1460209 |     316    48511   305346 |   184906   163353     28 |  4.533 % |
1025.70/1026.15	c |   1460466 |     316    48511   305346 |   184906   163610     28 |  4.539 % |
1025.80/1026.24	c |   1460748 |     316    48511   305346 |   184906   163892     28 |  4.533 % |
1025.99/1026.42	c |   1461058 |     316    48511   305346 |   184906   164202     28 |  4.533 % |
1026.29/1026.75	c |   1461400 |     316    48511   305346 |   184906   164544     28 |  4.533 % |
1026.69/1027.11	c |   1461772 |     316    48511   305346 |   184906   164916     28 |  4.533 % |
1027.00/1027.46	c |   1462183 |     316    48511   305346 |   184906   165327     28 |  4.533 % |
1027.49/1027.93	c |   1462634 |     316    48511   305346 |   184906   165778     28 |  4.533 % |
1027.89/1028.38	c |   1463127 |     316    48511   305346 |   184906   166271     28 |  4.533 % |
1028.39/1028.81	c |   1463669 |     316    48511   305346 |   184906   166813     28 |  4.533 % |
1028.79/1029.23	c |   1464265 |     316    48511   305346 |   184906   167409     28 |  4.533 % |
1029.49/1029.91	c |   1464921 |     316    48511   305346 |   184906   168065     28 |  4.533 % |
1030.09/1030.56	c |   1465641 |     316    48511   305346 |   184906   168785     28 |  4.533 % |
1030.89/1031.34	c |   1466434 |     316    48511   305346 |   184906   169578     28 |  4.533 % |
1031.79/1032.22	c |   1467306 |     316    48511   305346 |   184906   170450     29 |  4.533 % |
1032.59/1033.00	c |   1468265 |     316    48511   305346 |   184906   171409     29 |  4.533 % |
1033.29/1033.73	c |   1469319 |     316    48511   305346 |   184906   172463     29 |  4.533 % |
1034.59/1035.01	c |   1470477 |     316    48511   305346 |   173144   152173     28 |  4.533 % |
1035.69/1036.13	c |   1471751 |     316    48511   305346 |   173144   153447     28 |  4.533 % |
1036.39/1036.86	c |   1473153 |     316    48511   305346 |   173144   154849     28 |  4.533 % |
1036.99/1037.45	c |   1474693 |     316    48511   305346 |   173144   156389     28 |  4.533 % |
1037.59/1038.06	c |   1476387 |     316    48511   305346 |   173144   158083     28 |  4.533 % |
1038.29/1038.70	c |   1478250 |     316    48511   305346 |   173144   159946     28 |  4.534 % |
1039.49/1039.95	c |   1480299 |     316    48511   305346 | 2147483647   161995     28 |  4.533 % |
1040.39/1040.81	c |   1482552 |     316    48511   305346 | 2147483647   164248     28 |  4.533 % |
1041.89/1042.36	c |   1485030 |     316    48511   305346 | 2147483647   166726     28 |  4.533 % |
1044.38/1044.83	c |   1487757 |     316    48511   305346 | 2147483647   169453     28 |  4.533 % |
1046.58/1047.08	c |   1490755 |     316    48511   305346 | 2147483647   172451     28 |  4.533 % |
1049.08/1049.54	c |   1494051 |     316    48511   305346 | 2147483647   175747     28 |  4.533 % |
1052.29/1052.78	c |   1497676 |     316    48511   305346 | 2147483647   179372     28 |  4.533 % |
1056.28/1056.79	c |   1501666 |     316    48511   305346 |   181697   159088     28 |  4.533 % |
1060.08/1060.56	c |   1506052 |     316    48511   305346 |   181697   163474     28 |  4.533 % |
1063.78/1064.27	c |   1510878 |     316    48511   305346 | 2147483647   168300     28 |  4.533 % |
1068.68/1069.16	c |   1516186 |     316    48511   305346 | 2147483647   173608     28 |  4.533 % |
1075.38/1075.87	c |   1522021 |     316    48511   305346 |   177423   157803     28 |  4.533 % |
1080.27/1080.78	c |   1528440 |     316    48511   305346 |   177423   164222     29 |  4.533 % |
1087.97/1088.42	c |   1535499 |     316    48511   305346 |   165786   152308     28 |  4.533 % |
1095.57/1096.02	c |   1543263 |     316    48511   305346 | 2147483647   160072     29 |  4.533 % |
1104.46/1104.98	c |   1551803 |     316    48511   305346 |   166810   146323     28 |  4.533 % |
1115.26/1115.79	c |   1561197 |     316    48511   305346 |   154522   132594     27 |  4.533 % |
1126.66/1127.17	c |   1571530 |     316    48511   305346 |   141399   121135     28 |  4.533 % |
1133.45/1133.98	c |   1582896 |     316    48511   305346 | 2147483647   132501     28 |  4.533 % |
1143.86/1144.37	c |   1595399 |     316    48511   305346 | 2147483647   145004     29 |  4.533 % |
1155.46/1155.93	c |   1609152 |     316    48511   305346 | 2147483647   158757     29 |  4.533 % |
1155.56/1156.04	c |   1609255 |     316    48511   305346 | 2147483647   158860     29 |  4.533 % |
1155.66/1156.16	c |   1609365 |     316    48511   305346 | 2147483647   158970     29 |  4.533 % |
1155.76/1156.28	c |   1609487 |     316    48511   305346 | 2147483647   159092     29 |  4.533 % |
1155.86/1156.38	c |   1609620 |     316    48511   305346 | 2147483647   159225     29 |  4.533 % |
1155.96/1156.47	c |   1609766 |     316    48511   305346 | 2147483647   159371     29 |  4.533 % |
1156.06/1156.59	c |   1609927 |     316    48511   305346 | 2147483647   159532     29 |  4.540 % |
1156.26/1156.74	c |   1610103 |     316    48511   305346 | 2147483647   159708     29 |  4.533 % |
1156.46/1156.97	c |   1610298 |     316    48511   305346 | 2147483647   159903     29 |  4.533 % |
1156.76/1157.24	c |   1610510 |     316    48511   305346 | 2147483647   160115     29 |  4.533 % |
1157.06/1157.51	c |   1610743 |     316    48511   305346 | 2147483647   160348     29 |  4.533 % |
1157.26/1157.78	c |   1611000 |     316    48511   305346 | 2147483647   160605     29 |  4.533 % |
1157.66/1158.17	c |   1611287 |     316    48511   305346 | 2147483647   160892     29 |  4.533 % |
1157.86/1158.39	c |   1611596 |     316    48511   305346 | 2147483647   161201     29 |  4.533 % |
1158.26/1158.78	c |   1611936 |     316    48511   305346 | 2147483647   161541     29 |  4.533 % |
1158.56/1159.01	c |   1612309 |     316    48511   305346 | 2147483647   161914     29 |  4.533 % |
1158.76/1159.26	c |   1612719 |     316    48511   305346 | 2147483647   162324     29 |  4.533 % |
1159.16/1159.66	c |   1613170 |     316    48511   305346 | 2147483647   162775     29 |  4.533 % |
1159.66/1160.12	c |   1613664 |     316    48511   305346 | 2147483647   163269     29 |  4.533 % |
1159.96/1160.50	c |   1614206 |     316    48511   305346 | 2147483647   163811     29 |  4.533 % |
1160.25/1160.79	c |   1614802 |     316    48511   305346 | 2147483647   164407     29 |  4.533 % |
1161.06/1161.57	c |   1615457 |     316    48511   305346 | 2147483647   165062     29 |  4.533 % |
1161.76/1162.25	c |   1616179 |     316    48511   305346 | 2147483647   165784     29 |  4.533 % |
1162.56/1163.05	c |   1616972 |     316    48511   305346 | 2147483647   166577     29 |  4.533 % |
1163.45/1163.97	c |   1617845 |     316    48511   305346 | 2147483647   167450     29 |  4.533 % |
1164.36/1164.90	c |   1618806 |     316    48511   305346 | 2147483647   168411     29 |  4.533 % |
1165.65/1166.18	c |   1619860 |     316    48511   305346 | 2147483647   169465     29 |  4.533 % |
1167.45/1167.98	c |   1621018 |     316    48511   305346 |   169605   145387     29 |  4.539 % |
1168.25/1168.77	c |   1622291 |     316    48511   305346 |   169605   146660     29 |  4.533 % |
1169.35/1169.86	c |   1623693 |     316    48511   305346 |   169605   148062     29 |  4.533 % |
1170.45/1170.95	c |   1625234 |     316    48511   305346 |   169605   149603     29 |  4.533 % |
1171.85/1172.39	c |   1626929 |     316    48511   305346 |   169605   151298     29 |  4.533 % |
1172.65/1173.19	c |   1628792 |     316    48511   305346 |   169605   153161     29 |  4.533 % |
1173.85/1174.30	c |   1630841 |     316    48511   305346 | 2147483647   155210     29 |  4.533 % |
1175.45/1175.95	c |   1633094 |     316    48511   305346 | 2147483647   157463     29 |  4.533 % |
1177.85/1178.32	c |   1635573 |     316    48511   305346 | 2147483647   159942     29 |  4.533 % |
1179.35/1179.89	c |   1638298 |     316    48511   305346 | 2147483647   162667     29 |  4.533 % |
1182.15/1182.67	c |   1641295 |     316    48511   305346 | 2147483647   165664     29 |  4.533 % |
1185.05/1185.54	c |   1644591 |     316    48511   305346 | 2147483647   168960     29 |  4.533 % |
1189.34/1189.83	c |   1648216 |     316    48511   305346 | 2147483647   172585     29 |  4.533 % |
1192.34/1192.81	c |   1652204 |     316    48511   305346 |   174370   152773     29 |  4.537 % |
1196.84/1197.39	c |   1656590 |     316    48511   305346 |   174370   157159     29 |  4.540 % |

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-1834049-1242827609/watcher-1834049-1242827609 -o /tmp/evaluation-result-1834049-1242827609/solver-1834049-1242827609 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834049-1242827609.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 0.98 1.00 3/64 11646
/proc/meminfo: memFree=1959440/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) R 11644 11646 11433 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 310788929 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 4408429 0 65536 4100 65536 0 0 0 17 0 0 0
/proc/11646/statm: 1339 236 196 169 0 50 0

[startup+0.0545849 s]
/proc/loadavg: 1.00 0.98 1.00 3/64 11646
/proc/meminfo: memFree=1959440/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310788929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101589 s]
/proc/loadavg: 1.00 0.98 1.00 3/64 11646
/proc/meminfo: memFree=1959440/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310788929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301611 s]
/proc/loadavg: 1.00 0.98 1.00 3/64 11646
/proc/meminfo: memFree=1959440/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310788929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701658 s]
/proc/loadavg: 1.00 0.98 1.00 3/64 11646
/proc/meminfo: memFree=1959440/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310788929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50175 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11651
/proc/meminfo: memFree=1949632/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=0
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310788929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 1339 237 197 169 0 50 0
[pid=11651] ppid=11646 vsize=11788 CPUtime=1.49
/proc/11651/stat : 11651 (SatELite_releas) R 11646 11646 11433 0 -1 4194304 2760 0 0 0 148 1 0 0 25 0 1 0 310788930 12070912 2539 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/11651/statm: 2947 2539 76 173 0 2772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17144

[startup+3.10195 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11651
/proc/meminfo: memFree=1949184/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 5356
heavy processes:

[startup+6.30131 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11652
/proc/meminfo: memFree=1947776/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=10532 CPUtime=4.08
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 2527 0 0 0 407 1 0 0 25 0 1 0 310789149 10784768 2513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 2633 2513 77 171 0 2460 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15888

[startup+12.7011 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11652
/proc/meminfo: memFree=1943040/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=14812 CPUtime=10.48
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 3594 0 0 0 1045 3 0 0 25 0 1 0 310789149 15167488 3580 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 3703 3580 77 171 0 3530 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20168

[startup+25.5016 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11652
/proc/meminfo: memFree=1937472/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=20212 CPUtime=23.28
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 4925 0 0 0 2324 4 0 0 25 0 1 0 310789149 20697088 4911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 5053 4911 77 171 0 4880 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25568

[startup+51.1016 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11652
/proc/meminfo: memFree=1929792/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=28048 CPUtime=48.86
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 6839 0 0 0 4879 7 0 0 25 0 1 0 310789149 28721152 6825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 7012 6825 77 171 0 6839 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33404

[startup+102.306 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 11652
/proc/meminfo: memFree=1927040/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=30884 CPUtime=100.04
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 7523 0 0 0 9997 7 0 0 25 0 1 0 310789149 31625216 7509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 7721 7509 77 171 0 7548 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 36240

[startup+162.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/66 11652
/proc/meminfo: memFree=1926400/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=31348 CPUtime=160
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 7648 0 0 0 15993 7 0 0 25 0 1 0 310789149 32100352 7634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 7837 7634 77 171 0 7664 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 36704

[startup+222.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 11652
/proc/meminfo: memFree=1925888/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=31788 CPUtime=219.98
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 7752 0 0 0 21991 7 0 0 25 0 1 0 310789149 32550912 7738 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 7947 7738 77 171 0 7774 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 37144

[startup+282.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 11652
/proc/meminfo: memFree=1925120/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=32396 CPUtime=279.97
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 7897 0 0 0 27989 8 0 0 25 0 1 0 310789149 33173504 7883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 8099 7883 77 171 0 7926 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 37752

[startup+342.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 11652
/proc/meminfo: memFree=1921024/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=36428 CPUtime=339.94
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 8904 0 0 0 33985 9 0 0 25 0 1 0 310789149 37302272 8890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9107 8890 77 171 0 8934 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 41784

[startup+402.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11652
/proc/meminfo: memFree=1920576/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=36836 CPUtime=399.92
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 8990 0 0 0 39983 9 0 0 25 0 1 0 310789149 37720064 8976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9209 8976 77 171 0 9036 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 42192

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1920128/2055920 swapFree=4180828/4192956

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

/proc/11652/statm: 9402 9183 77 171 0 9229 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 42964

[startup+642.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1919424/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=37608 CPUtime=639.84
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9199 0 0 0 63974 10 0 0 25 0 1 0 310789149 38510592 9185 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9402 9185 77 171 0 9229 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 42964

[startup+702.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 11658
/proc/meminfo: memFree=1919104/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=37832 CPUtime=699.82
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9244 0 0 0 69971 11 0 0 25 0 1 0 310789149 38739968 9230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9458 9230 77 171 0 9285 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 43188

[startup+762.306 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1918528/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38304 CPUtime=759.8
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9345 0 0 0 75969 11 0 0 25 0 1 0 310789149 39223296 9331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9576 9331 77 171 0 9403 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 43660

[startup+822.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11658
/proc/meminfo: memFree=1918400/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38304 CPUtime=819.78
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9347 0 0 0 81967 11 0 0 25 0 1 0 310789149 39223296 9333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9576 9333 77 171 0 9403 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 43660

[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11658
/proc/meminfo: memFree=1918336/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38304 CPUtime=879.75
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9350 0 0 0 87964 11 0 0 25 0 1 0 310789149 39223296 9336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9576 9336 77 171 0 9403 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 43660

[startup+942.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1918080/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38444 CPUtime=939.74
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9382 0 0 0 93962 12 0 0 25 0 1 0 310789149 39366656 9368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9611 9368 77 171 0 9438 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 43800

[startup+1002.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1917952/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38444 CPUtime=999.72
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9403 0 0 0 99960 12 0 0 25 0 1 0 310789149 39366656 9389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9611 9389 77 171 0 9438 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 43800

[startup+1062.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/66 11658
/proc/meminfo: memFree=1917696/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38600 CPUtime=1059.7
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9422 0 0 0 105958 12 0 0 25 0 1 0 310789149 39526400 9408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9650 9408 77 171 0 9477 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 43956

[startup+1122.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 11658
/proc/meminfo: memFree=1917568/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=38752 CPUtime=1119.68
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9454 0 0 0 111956 12 0 0 25 0 1 0 310789149 39682048 9440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9688 9440 77 171 0 9515 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 44108

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11658
/proc/meminfo: memFree=1916928/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=39292 CPUtime=1179.67
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9593 0 0 0 117954 13 0 0 25 0 1 0 310789149 40235008 9579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9823 9579 77 171 0 9650 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 44648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11658
/proc/meminfo: memFree=1916864/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=39292 CPUtime=1197.86
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9594 0 0 0 119773 13 0 0 25 0 1 0 310789149 40235008 9580 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9823 9580 77 171 0 9650 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 44648

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

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

[startup+1200.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11658
/proc/meminfo: memFree=1916864/2055920 swapFree=4180828/4192956
[pid=11646] ppid=11644 vsize=5356 CPUtime=2.18
/proc/11646/stat : 11646 (SatELiteGTI) S 11644 11646 11433 0 -1 4194304 336 3060 0 0 0 0 216 2 16 0 1 0 310788929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11646/statm: 1339 239 197 169 0 50 0
[pid=11652] ppid=11646 vsize=39292 CPUtime=1197.86
/proc/11652/stat : 11652 (minisat_static) R 11646 11646 11433 0 -1 4194304 9594 0 0 0 119773 13 0 0 25 0 1 0 310789149 40235008 9580 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/11652/statm: 9823 9580 77 171 0 9650 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 44648

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1199.89
CPU system time (s): 0.15
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 44648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.17067
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3396
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= 12
involuntary context switches= 11

runsolver used 1.44978 second user time and 3.05054 second system time

The end

Launcher Data

Begin job on node53 at 2009-05-20 15:53:29
IDJOB=1834049
IDBENCH=71148
IDSOLVER=671
FILE ID=node53/1834049-1242827609
PBS_JOBID= 9322507
Free space on /tmp= 66040 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_2vars_9gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834049-1242827609/watcher-1834049-1242827609 -o /tmp/evaluation-result-1834049-1242827609/solver-1834049-1242827609 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834049-1242827609.cnf

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

MD5SUM BENCH= f36884385029d184241b6634aaaa22ac
RANDOM SEED=2030381467

node53.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.245
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.245
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1959920 kB
Buffers:         17124 kB
Cached:          38504 kB
SwapCached:       6252 kB
Active:          33812 kB
Inactive:        30088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1959920 kB
SwapTotal:     4192956 kB
SwapFree:      4180828 kB
Dirty:            4152 kB
Writeback:           0 kB
Mapped:          13420 kB
Slab:            18168 kB
Committed_AS:   937532 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66036 MiB
End job on node53 at 2009-05-20 16:13:32