Trace number 1833851

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-18UNSAT 566.46 566.817

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
MD5SUM370a08d01be1cc652e9a09ab1aafdced
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark183.559
Satisfiable
(Un)Satisfiability was proved
Number of variables315617
Number of clauses1522583
Sum of the clauses size4407119
Maximum clause length11
Minimum clause length1
Number of clauses of size 132077
Number of clauses of size 2403677
Number of clauses of size 3835608
Number of clauses of size 4197035
Number of clauses of size 553887
Number of clauses of size over 5299

Solver Data 

0.00/0.00	c Parsing...
1.18/1.23	c ==============================================================================
1.18/1.23	c |           |     ORIGINAL     |              LEARNT              |          |
1.18/1.23	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.18/1.23	c ==============================================================================
1.18/1.23	c |         0 | 1433869  4205935 |  430160       0        0     nan |  0.000 % |
31.45/31.57	c |         0 |  506124  1856371 |      --       0       --      -- |     --   | -749772/-1863718
31.45/31.58	c ==============================================================================
31.45/31.58	c Result  :   #vars: 48547   #clauses: 506124   #literals: 1856371
31.45/31.58	c CPU time:   31.1903 s
31.45/31.58	c ==============================================================================
32.15/32.21	c This is MiniSat 2.0 beta
32.15/32.21	c WARNING: for repeatability, setting FPU to use double precision
32.15/32.21	c ============================[ Problem Statistics ]=============================
32.15/32.21	c |                                                                             |
32.15/32.21	c |  Number of variables:  48547                                                |
32.15/32.21	c |  Number of clauses:    506124                                               |
32.17/32.54	c |  Parsing time:         0.29         s                                       |
32.17/32.56	c ============================[ Search Statistics ]==============================
32.17/32.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.17/32.56	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.17/32.56	c ===============================================================================
32.17/32.56	c |         0 |   48547   506124  1856371 |   168708        0    nan |  0.000 % |
32.17/32.58	c |       100 |   48541   506124  1856371 |   168708       98      8 |  0.124 % |
32.17/32.64	c |       200 |   48540   506124  1856371 |   168708      196     13 |  0.154 % |
32.17/32.66	c |       301 |   48540   506124  1856371 |   168708      297     15 |  0.154 % |
32.17/32.66	c |       413 |   48540   506124  1856371 |   168708      409     14 |  0.154 % |
32.17/32.68	c |       514 |   48540   506124  1856371 |   168708      510     13 |  0.154 % |
32.17/32.68	c |       624 |   48493   506124  1856371 |   168708      618     13 |  0.474 % |
32.17/32.70	c |       745 |   48493   506124  1856371 |   168708      739     13 |  0.474 % |
32.17/32.70	c |       846 |   48493   506124  1856371 |   168708      840     13 |  0.474 % |
32.17/32.71	c |       960 |   48482   506124  1856371 |   168708      953     13 |  0.531 % |
32.17/32.72	c |      1081 |   48482   506124  1856371 |   168708     1074     13 |  0.531 % |
32.17/32.73	c |      1214 |   48482   506124  1856371 |   168708     1207     13 |  0.531 % |
32.17/32.74	c |      1314 |   48482   506124  1856371 |   168708     1307     13 |  0.531 % |
32.17/32.75	c |      1424 |   48482   506124  1856371 |   168708     1417     13 |  0.531 % |
32.17/32.76	c |      1545 |   48482   506124  1856371 |   168708     1538     13 |  0.531 % |
32.17/32.77	c |      1678 |   48482   506124  1856371 |   168708     1671     13 |  0.531 % |
32.17/32.77	c |      1824 |   48482   506124  1856371 |   168708     1817     13 |  0.531 % |
32.17/32.79	c |      1924 |   48465   506124  1856371 |   168708     1917     12 |  0.531 % |
32.17/32.82	c |      2035 |   48464   506124  1856371 |   168708     2028     12 |  0.531 % |
32.17/32.84	c |      2157 |   48464   506124  1856371 |   168708     2150     12 |  0.531 % |
32.17/32.89	c |      2290 |   48464   506124  1856371 |   168708     2282     12 |  0.534 % |
32.17/32.90	c |      2439 |   48464   506124  1856371 |   168708     2431     12 |  0.534 % |
32.84/32.98	c |      2601 |   48464   506124  1856371 |   168708     2593     13 |  0.534 % |
32.94/33.03	c |      2701 |   48463   506124  1856371 |   168708     2693     13 |  0.534 % |
32.94/33.04	c |      2811 |   48463   506124  1856371 |   168708     2803     12 |  0.534 % |
32.94/33.05	c |      2932 |   48463   506124  1856371 |   168708     2924     13 |  0.534 % |
32.94/33.06	c |      3068 |   48463   506124  1856371 |   168708     3060     13 |  0.534 % |
32.94/33.07	c |      3214 |   48463   506124  1856371 |   168708     3206     13 |  0.534 % |
33.04/33.11	c |      3374 |   48463   506124  1856371 |   168708     3366     13 |  0.534 % |
33.04/33.12	c |      3550 |   48463   506124  1856371 |   168708     3542     13 |  0.534 % |
33.04/33.13	c |      3651 |   48463   506124  1856371 |   168708     3643     13 |  0.534 % |
33.14/33.21	c |      3763 |   48463   506124  1856371 |   168708     3755     13 |  0.534 % |
33.14/33.23	c |      3887 |   48463   506124  1856371 |   168708     3879     13 |  0.534 % |
33.14/33.24	c |      4021 |   48463   506124  1856371 |   168708     4013     13 |  0.534 % |
33.14/33.25	c |      4167 |   48463   506124  1856371 |   168708     4159     13 |  0.534 % |
33.14/33.28	c |      4328 |   48463   506124  1856371 |   168708     4320     13 |  0.534 % |
33.14/33.29	c |      4504 |   48463   506124  1856371 |   168708     4496     13 |  0.534 % |
33.24/33.34	c |      4698 |   48463   506124  1856371 |   168708     4690     13 |  0.534 % |
33.24/33.35	c |      4799 |   48421   506124  1856371 |   168708     4789     13 |  1.030 % |
33.24/33.38	c |      4910 |   48397   506124  1856371 |   168708     4897     13 |  1.154 % |
33.24/33.39	c |      5033 |   48397   506124  1856371 |   168708     5020     13 |  1.154 % |
33.34/33.41	c |      5166 |   48372   506124  1856371 |   168708     5153     13 |  1.154 % |
33.34/33.43	c |      5314 |   48372   506124  1856371 |   168708     5301     13 |  1.154 % |
33.34/33.44	c |      5476 |   48372   506124  1856371 |   168708     5463     13 |  1.154 % |
33.34/33.47	c |      5652 |   48372   506124  1856371 |   168708     5639     13 |  1.154 % |
33.34/33.49	c |      5847 |   48372   506124  1856371 |   168708     5834     13 |  1.154 % |
33.44/33.53	c |      6059 |   48372   506124  1856371 |   168708     6046     13 |  1.154 % |
33.44/33.55	c |      6159 |   48372   506124  1856371 |   168708     6146     13 |  1.154 % |
33.44/33.57	c |      6269 |   48372   506124  1856371 |   168708     6256     13 |  1.154 % |
33.44/33.58	c |      6391 |   48372   506124  1856371 |   168708     6378     13 |  1.154 % |
33.54/33.62	c |      6524 |   48245   506124  1856371 |   168708     6511     13 |  1.154 % |
33.54/33.68	c |      6670 |   48242   506124  1856371 |   168708     6657     13 |  1.154 % |
33.64/33.76	c |      6830 |   48233   506124  1856371 |   168708     6817     13 |  1.154 % |
33.74/33.87	c |      7007 |   47987   473333  1670787 |   168708     6737     13 |  1.154 % |
33.84/33.92	c |      7200 |   47986   473333  1670787 |   168708     6929     13 |  1.160 % |
33.84/33.97	c |      7412 |   47985   473333  1670787 |   168708     7141     13 |  1.160 % |
33.84/34.00	c |      7645 |   47985   473333  1670787 |   168708     7374     13 |  1.160 % |
33.94/34.01	c |      7745 |   47985   473333  1670787 |   168708     7474     13 |  1.160 % |
33.94/34.03	c |      7859 |   47985   473333  1670787 |   168708     7588     13 |  1.160 % |
33.94/34.05	c |      7980 |   47985   473333  1670787 |   168708     7709     13 |  1.160 % |
33.94/34.07	c |      8113 |   47981   473333  1670787 |   168708     7840     13 |  1.168 % |
33.94/34.08	c |      8259 |   47981   473333  1670787 |   168708     7986     13 |  1.168 % |
33.94/34.10	c |      8421 |   47981   473333  1670787 |   168708     8148     13 |  1.168 % |
34.04/34.11	c |      8597 |   47842   473333  1670787 |   168708     8313     13 |  2.713 % |
34.04/34.12	c |      8791 |   47842   473333  1670787 |   168708     8507     13 |  2.713 % |
34.04/34.15	c |      9004 |   47735   473333  1670787 |   168708     8720     13 |  2.713 % |
34.14/34.22	c |      9239 |   47735   473333  1670787 |   168708     8955     13 |  2.713 % |
34.14/34.25	c |      9495 |   47735   473333  1670787 |   168708     9211     13 |  2.713 % |
34.14/34.25	c |      9596 |   47735   473333  1670787 |   168708     9312     13 |  2.713 % |
34.14/34.26	c |      9709 |   47735   473333  1670787 |   168708     9425     13 |  2.713 % |
34.14/34.26	c |      9830 |   47735   473333  1670787 |   168708     9546     13 |  2.713 % |
34.14/34.28	c |      9963 |   47735   473333  1670787 |   168708     9679     13 |  2.713 % |
34.24/34.31	c |     10109 |   47726   473333  1670787 | 2147483647     9825     13 |  2.713 % |
34.24/34.35	c |     10271 |   47726   473333  1670787 | 2147483647     9987     13 |  2.713 % |
34.24/34.37	c |     10448 |   47726   473333  1670787 | 2147483647    10164     13 |  2.713 % |
34.24/34.39	c |     10641 |   47726   473333  1670787 | 2147483647    10357     13 |  2.713 % |
34.34/34.41	c |     10854 |   47726   473333  1670787 | 2147483647    10570     13 |  2.713 % |
34.34/34.43	c |     11087 |   47726   473333  1670787 | 2147483647    10803     13 |  2.713 % |
34.34/34.49	c |     11343 |   47726   473333  1670787 | 2147483647    11059     13 |  2.713 % |
34.44/34.53	c |     11624 |   47726   473333  1670787 | 2147483647    11340     13 |  2.713 % |
34.44/34.54	c |     11724 |   47726   473333  1670787 | 2147483647    11440     13 |  2.713 % |
34.44/34.55	c |     11835 |   47726   473333  1670787 | 2147483647    11551     13 |  2.713 % |
34.44/34.55	c |     11958 |   47726   473333  1670787 | 2147483647    11674     13 |  2.713 % |
34.44/34.57	c |     12092 |   47726   473333  1670787 | 2147483647    11808     13 |  2.713 % |
34.44/34.58	c |     12239 |   47726   473333  1670787 | 2147483647    11955     13 |  2.713 % |
34.53/34.60	c |     12399 |   47726   473333  1670787 | 2147483647    12115     13 |  2.713 % |
34.53/34.62	c |     12577 |   47724   473333  1670787 | 2147483647    12292     13 |  2.719 % |
34.53/34.65	c |     12770 |   47724   473333  1670787 | 2147483647    12485     13 |  2.719 % |
34.53/34.67	c |     12982 |   47724   473333  1670787 | 2147483647    12697     13 |  2.719 % |
34.53/34.69	c |     13215 |   47724   473333  1670787 | 2147483647    12930     13 |  2.719 % |
34.63/34.73	c |     13471 |   47724   473333  1670787 | 2147483647    13186     13 |  2.719 % |
34.63/34.77	c |     13756 |   47724   473333  1670787 | 2147483647    13471     13 |  2.719 % |
34.73/34.82	c |     14065 |   47724   473333  1670787 | 2147483647    13780     13 |  2.719 % |
34.73/34.83	c |     14165 |   47724   473333  1670787 | 2147483647    13880     13 |  2.719 % |
34.73/34.84	c |     14275 |   47724   473333  1670787 | 2147483647    13990     13 |  2.719 % |
34.73/34.85	c |     14400 |   47724   473333  1670787 | 2147483647    14115     13 |  2.719 % |
34.83/34.90	c |     14535 |   47227   457455  1583672 | 2147483647    12428     13 |  2.719 % |
34.83/34.91	c |     14682 |   47227   457455  1583672 | 2147483647    12575     13 |  2.719 % |
34.83/34.93	c |     14843 |   47227   457455  1583672 | 2147483647    12736     13 |  2.719 % |
34.83/34.95	c |     15019 |   47227   457455  1583672 | 2147483647    12912     13 |  2.719 % |
34.83/34.98	c |     15213 |   47227   457455  1583672 | 2147483647    13106     13 |  2.719 % |
34.93/35.00	c |     15428 |   47227   457455  1583672 | 2147483647    13321     13 |  2.719 % |
34.93/35.03	c |     15661 |   47227   457455  1583672 | 2147483647    13554     13 |  2.719 % |
34.93/35.07	c |     15917 |   47227   457455  1583672 | 2147483647    13810     13 |  2.719 % |
35.04/35.11	c |     16198 |   47227   457455  1583672 | 2147483647    14091     13 |  2.719 % |
35.04/35.15	c |     16509 |   47227   457455  1583672 | 2147483647    14402     13 |  2.719 % |
35.04/35.18	c |     16848 |   47227   457455  1583672 | 2147483647    14741     14 |  2.719 % |
35.04/35.20	c |     16948 |   47227   457455  1583672 | 2147483647    14841     14 |  2.719 % |
35.14/35.21	c |     17058 |   47227   457455  1583672 | 2147483647    14951     14 |  2.719 % |
35.14/35.23	c |     17180 |   47227   457455  1583672 | 2147483647    15073     14 |  2.719 % |
35.14/35.25	c |     17313 |   47227   457455  1583672 | 2147483647    15206     14 |  2.719 % |
35.14/35.28	c |     17460 |   47227   457455  1583672 | 2147483647    15353     14 |  2.719 % |
35.23/35.31	c |     17623 |   47227   457455  1583672 | 2147483647    15516     14 |  2.719 % |
35.23/35.34	c |     17803 |   47227   457455  1583672 | 2147483647    15696     14 |  2.719 % |
35.23/35.37	c |     17996 |   47227   457455  1583672 | 2147483647    15889     14 |  2.719 % |
35.23/35.39	c |     18209 |   47227   457455  1583672 | 2147483647    16102     14 |  2.719 % |
35.33/35.41	c |     18444 |   47227   457455  1583672 | 2147483647    16337     14 |  2.719 % |
35.33/35.45	c |     18700 |   47227   457455  1583672 | 2147483647    16593     14 |  2.719 % |
35.33/35.50	c |     18982 |   47227   457455  1583672 | 2147483647    16875     14 |  2.719 % |
35.43/35.55	c |     19291 |   47227   457455  1583672 | 2147483647    17184     14 |  2.719 % |
35.53/35.60	c |     19630 |   47227   457455  1583672 | 2147483647    17523     14 |  2.719 % |
35.53/35.66	c |     20002 |   47227   457455  1583672 | 2147483647    17895     14 |  2.719 % |
35.53/35.69	c |     20103 |   47227   457455  1583672 | 2147483647    17995     14 |  2.725 % |
35.63/35.70	c |     20213 |   47226   457455  1583672 | 2147483647    18105     14 |  2.725 % |
35.63/35.72	c |     20334 |   47226   457455  1583672 | 2147483647    18226     14 |  2.725 % |
35.63/35.73	c |     20467 |   47226   457455  1583672 | 2147483647    18359     14 |  2.725 % |
35.63/35.76	c |     20613 |   47226   457455  1583672 | 2147483647    18505     14 |  2.725 % |
35.63/35.77	c |     20778 |   47226   457455  1583672 | 2147483647    18670     14 |  2.725 % |
35.63/35.79	c |     20955 |   47226   457455  1583672 | 2147483647    18847     14 |  2.725 % |
35.73/35.81	c |     21148 |   47226   457455  1583672 | 2147483647    19040     14 |  2.725 % |
35.73/35.85	c |     21361 |   47226   457455  1583672 | 2147483647    19253     14 |  2.725 % |
35.73/35.88	c |     21594 |   47226   457455  1583672 | 2147483647    19486     14 |  2.725 % |
35.83/35.95	c |     21851 |   47224   457431  1583590 | 2147483647    19742     14 |  2.725 % |
35.83/35.99	c |     22134 |   47224   457431  1583590 | 2147483647    20025     15 |  2.725 % |
35.93/36.08	c |     22444 |   47224   457431  1583590 | 2147483647    20335     15 |  2.725 % |
36.03/36.14	c |     22785 |   47224   457431  1583590 | 2147483647    20676     15 |  2.725 % |
36.13/36.22	c |     23159 |   47224   457431  1583590 | 2147483647    21050     15 |  2.725 % |
36.13/36.29	c |     23569 |   47224   457431  1583590 | 2147483647    21460     15 |  2.725 % |
36.23/36.31	c |     23669 |   47224   457431  1583590 | 2147483647    21560     15 |  2.725 % |
36.23/36.32	c |     23782 |   47224   457431  1583590 | 2147483647    21673     15 |  2.725 % |
36.23/36.35	c |     23903 |   47224   457431  1583590 | 2147483647    21794     15 |  2.725 % |
36.23/36.37	c |     24036 |   47224   457431  1583590 | 2147483647    21927     15 |  2.725 % |
36.23/36.39	c |     24184 |   47224   457431  1583590 | 2147483647    22075     15 |  2.725 % |
36.33/36.41	c |     24344 |   47224   457431  1583590 | 2147483647    22235     15 |  2.725 % |
36.33/36.43	c |     24521 |   47224   457431  1583590 | 2147483647    22412     15 |  2.725 % |
36.33/36.45	c |     24716 |   47224   457431  1583590 | 2147483647    22607     15 |  2.725 % |
36.33/36.46	c |     24928 |   47224   457431  1583590 | 2147483647    22819     15 |  2.725 % |
36.33/36.49	c |     25162 |   47224   457431  1583590 | 2147483647    23053     15 |  2.725 % |
36.43/36.51	c |     25418 |   47221   457431  1583590 | 2147483647    23308     15 |  2.752 % |
36.43/36.58	c |     25700 |   47197   457431  1583590 | 2147483647    23587     15 |  2.799 % |
36.53/36.64	c |     26012 |   47197   457431  1583590 | 2147483647    23899     15 |  2.799 % |
36.63/36.71	c |     26351 |   47197   457431  1583590 | 2147483647    24237     15 |  2.808 % |
36.63/36.75	c |     26723 |   47194   457431  1583590 | 2147483647    24607     15 |  2.869 % |
36.73/36.81	c |     27132 |   47160   457431  1583590 | 2147483647    25013     15 |  2.944 % |
36.73/36.87	c |     27581 |   47160   457431  1583590 | 2147483647    25462     15 |  2.944 % |
36.73/36.89	c |     27681 |   47160   457431  1583590 | 2147483647    25562     15 |  2.944 % |
36.83/36.91	c |     27791 |   47160   457431  1583590 | 2147483647    25671     15 |  2.950 % |
36.83/36.93	c |     27912 |   47160   457431  1583590 | 2147483647    25792     15 |  2.950 % |
36.83/36.95	c |     28045 |   47160   457431  1583590 | 2147483647    25925     15 |  2.950 % |
36.83/36.98	c |     28191 |   47160   457431  1583590 | 2147483647    26071     15 |  2.950 % |
36.93/37.01	c |     28351 |   47160   457431  1583590 | 2147483647    26231     15 |  2.950 % |
36.93/37.06	c |     28527 |   47152   457431  1583590 | 2147483647    26407     15 |  2.950 % |
36.93/37.08	c |     28720 |   47152   457431  1583590 | 2147483647    26600     15 |  2.950 % |
37.03/37.12	c |     28933 |   47152   457431  1583590 | 2147483647    26813     15 |  2.950 % |
37.03/37.15	c |     29167 |   47152   457431  1583590 | 2147483647    27047     15 |  2.950 % |
37.13/37.22	c |     29423 |   47115   453995  1566585 | 2147483647    27072     15 |  2.950 % |
37.13/37.28	c |     29708 |   47115   453995  1566585 | 2147483647    27357     15 |  2.950 % |
37.24/37.34	c |     30017 |   47115   453995  1566585 | 2147483647    27666     15 |  2.950 % |
37.34/37.40	c |     30357 |   47115   453995  1566585 | 2147483647    28006     16 |  2.950 % |
37.43/37.50	c |     30731 |   47115   453995  1566585 | 2147483647    28380     16 |  2.950 % |
37.53/37.62	c |     31141 |   47115   453995  1566585 | 2147483647    28790     16 |  2.950 % |
37.63/37.70	c |     31590 |   47115   453995  1566585 | 2147483647    29239     16 |  2.950 % |
37.73/37.81	c |     32084 |   47115   453995  1566585 | 2147483647    29733     16 |  2.950 % |
37.73/37.84	c |     32185 |   47115   453995  1566585 | 2147483647    29834     16 |  2.950 % |
37.73/37.86	c |     32296 |   47115   453995  1566585 | 2147483647    29945     16 |  2.950 % |
37.73/37.88	c |     32417 |   47115   453995  1566585 | 2147483647    30066     16 |  2.950 % |
37.83/37.91	c |     32550 |   47115   453995  1566585 | 2147483647    30199     16 |  2.950 % |
37.83/37.94	c |     32696 |   47115   453995  1566585 | 2147483647    30345     16 |  2.950 % |
37.83/37.97	c |     32856 |   47115   453995  1566585 | 2147483647    30505     16 |  2.950 % |
37.93/38.02	c |     33035 |   47115   453995  1566585 | 2147483647    30684     16 |  2.950 % |
37.93/38.04	c |     33228 |   47115   453995  1566585 | 2147483647    30877     16 |  2.950 % |
37.93/38.07	c |     33440 |   47115   453995  1566585 | 2147483647    31089     16 |  2.950 % |
38.03/38.13	c |     33673 |   47115   453995  1566585 | 2147483647    31322     16 |  2.950 % |
38.03/38.17	c |     33929 |   47115   453995  1566585 | 2147483647    31578     16 |  2.950 % |
38.13/38.22	c |     34210 |   47115   453995  1566585 | 2147483647    31859     16 |  2.950 % |
38.23/38.30	c |     34520 |   47115   453995  1566585 | 2147483647    32169     16 |  2.950 % |
38.23/38.34	c |     34861 |   47115   453995  1566585 | 2147483647    32510     16 |  2.950 % |
38.23/38.39	c |     35234 |   47115   453995  1566585 | 2147483647    32883     16 |  2.950 % |
38.43/38.51	c |     35643 |   47115   453995  1566585 | 2147483647    33292     16 |  2.950 % |
38.43/38.58	c |     36092 |   47115   453995  1566585 | 2147483647    33741     17 |  2.950 % |
38.53/38.66	c |     36586 |   47115   453995  1566585 | 2147483647    34235     17 |  2.950 % |
38.63/38.75	c |     37129 |   47115   453995  1566585 | 2147483647    34778     17 |  2.950 % |
38.63/38.77	c |     37229 |   47115   453995  1566585 | 2147483647    34878     17 |  2.950 % |
38.73/38.80	c |     37339 |   47115   453995  1566585 | 2147483647    34988     17 |  2.950 % |
38.73/38.83	c |     37460 |   47115   453995  1566585 | 2147483647    35109     17 |  2.950 % |
38.73/38.85	c |     37593 |   47115   453995  1566585 | 2147483647    35242     17 |  2.950 % |
38.73/38.90	c |     37739 |   47115   453995  1566585 | 2147483647    35388     17 |  2.950 % |
38.83/38.99	c |     37899 |   47115   453995  1566585 | 2147483647    35548     17 |  2.950 % |
38.93/39.07	c |     38075 |   47115   453995  1566585 | 2147483647    35724     17 |  2.950 % |
39.03/39.12	c |     38268 |   47115   453995  1566585 | 2147483647    35917     17 |  2.950 % |
39.03/39.15	c |     38480 |   47115   453995  1566585 | 2147483647    36129     17 |  2.950 % |
39.03/39.19	c |     38715 |   47115   453995  1566585 | 2147483647    36364     17 |  2.950 % |
39.13/39.26	c |     38971 |   47115   453995  1566585 | 2147483647    36620     17 |  2.950 % |
39.23/39.32	c |     39252 |   47115   453995  1566585 | 2147483647    36901     17 |  2.950 % |
39.33/39.41	c |     39563 |   47115   453995  1566585 | 2147483647    37212     17 |  2.950 % |
39.33/39.49	c |     39904 |   47115   453995  1566585 | 2147483647    37553     17 |  2.950 % |
39.43/39.57	c |     40279 |   47115   453995  1566585 | 2147483647    37928     17 |  2.950 % |
39.53/39.67	c |     40688 |   47115   453995  1566585 | 2147483647    38337     17 |  2.950 % |
39.73/39.83	c |     41138 |   47115   453995  1566585 | 2147483647    38787     17 |  2.950 % |
39.82/39.94	c |     41634 |   47115   453995  1566585 | 2147483647    39283     17 |  2.950 % |
39.93/40.07	c |     42176 |   47115   453995  1566585 | 2147483647    39825     17 |  2.950 % |
40.03/40.19	c |     42772 |   47115   453995  1566585 | 2147483647    40421     17 |  2.950 % |
40.13/40.22	c |     42873 |   47115   453995  1566585 | 2147483647    40522     17 |  2.950 % |
40.13/40.25	c |     42983 |   47115   453995  1566585 | 2147483647    40632     17 |  2.950 % |
40.13/40.27	c |     43109 |   47115   453995  1566585 | 2147483647    40758     17 |  2.950 % |
40.23/40.31	c |     43242 |   47115   453995  1566585 | 2147483647    40891     17 |  2.950 % |
40.23/40.35	c |     43388 |   47115   453995  1566585 | 2147483647    41037     17 |  2.950 % |
40.23/40.37	c |     43548 |   47115   453995  1566585 | 2147483647    41197     17 |  2.950 % |
40.33/40.41	c |     43724 |   47115   453995  1566585 | 2147483647    41373     17 |  2.950 % |
40.33/40.44	c |     43918 |   47115   453995  1566585 | 2147483647    41567     17 |  2.950 % |
40.33/40.49	c |     44131 |   47115   453995  1566585 | 2147483647    41780     17 |  2.950 % |
40.43/40.53	c |     44366 |   47115   453995  1566585 | 2147483647    42015     17 |  2.950 % |
40.43/40.58	c |     44622 |   47115   453995  1566585 | 2147483647    42271     17 |  2.950 % |
40.53/40.65	c |     44904 |   47115   453995  1566585 | 2147483647    42553     17 |  2.950 % |
40.63/40.77	c |     45214 |   47115   453995  1566585 | 2147483647    42863     17 |  2.950 % |
40.73/40.84	c |     45555 |   47115   453995  1566585 | 2147483647    43204     17 |  2.950 % |
40.83/40.94	c |     45928 |   47115   453995  1566585 | 2147483647    43577     17 |  2.950 % |
40.93/41.06	c |     46337 |   47115   453995  1566585 | 2147483647    43986     17 |  2.950 % |
41.03/41.17	c |     46786 |   47115   453995  1566585 | 2147483647    44435     17 |  2.950 % |
41.23/41.31	c |     47279 |   47115   453995  1566585 | 2147483647    44928     17 |  2.950 % |
41.33/41.41	c |     47821 |   47115   453995  1566585 | 2147483647    45470     18 |  2.950 % |
41.43/41.53	c |     48417 |   47115   453995  1566585 | 2147483647    46066     18 |  2.950 % |
41.53/41.67	c |     49073 |   47115   453995  1566585 | 2147483647    46722     18 |  2.950 % |
41.53/41.70	c |     49175 |   47115   453995  1566585 | 2147483647    46824     18 |  2.950 % |
41.63/41.73	c |     49285 |   47115   453995  1566585 | 2147483647    46934     18 |  2.950 % |
41.63/41.78	c |     49406 |   47115   453995  1566585 | 2147483647    47055     18 |  2.950 % |
41.73/41.84	c |     49545 |   47115   453995  1566585 | 2147483647    47194     18 |  2.950 % |
41.73/41.89	c |     49692 |   47115   453995  1566585 | 2147483647    47341     18 |  2.950 % |
41.83/41.93	c |     49852 |   47115   453995  1566585 | 2147483647    47501     18 |  2.950 % |
41.83/41.96	c |     50028 |   47115   453995  1566585 | 2147483647    47677     18 |  2.950 % |
41.93/42.03	c |     50221 |   47115   453995  1566585 | 2147483647    47870     18 |  2.950 % |
41.93/42.08	c |     50434 |   47115   453995  1566585 | 2147483647    48083     18 |  2.950 % |
42.03/42.16	c |     50670 |   47115   453995  1566585 | 2147483647    48319     18 |  2.950 % |
42.12/42.28	c |     50926 |   47115   453995  1566585 | 2147483647    48575     18 |  2.950 % |
42.22/42.38	c |     51207 |   47115   453995  1566585 | 2147483647    48856     18 |  2.950 % |
42.32/42.47	c |     51519 |   47115   453995  1566585 | 2147483647    49168     18 |  2.950 % |
42.42/42.57	c |     51858 |   47115   453995  1566585 | 2147483647    49507     18 |  2.950 % |
42.62/42.70	c |     52230 |   47115   453995  1566585 | 2147483647    49879     18 |  2.950 % |
42.73/42.82	c |     52639 |   47115   453995  1566585 | 2147483647    50288     18 |  2.950 % |
42.83/42.96	c |     53088 |   47115   453995  1566585 | 2147483647    50737     18 |  2.950 % |
43.02/43.15	c |     53581 |   47115   453995  1566585 | 2147483647    51230     18 |  2.950 % |
43.22/43.30	c |     54126 |   47115   453995  1566585 | 2147483647    51775     18 |  2.950 % |
43.42/43.55	c |     54723 |   47115   453995  1566585 | 2147483647    52372     18 |  2.950 % |
43.73/43.81	c |     55378 |   47115   453995  1566585 | 2147483647    53027     18 |  2.950 % |
43.93/44.01	c |     56098 |   47115   453995  1566585 | 2147483647    53747     18 |  2.950 % |
43.93/44.04	c |     56198 |   47115   453995  1566585 | 2147483647    53847     18 |  2.950 % |
43.93/44.08	c |     56309 |   47115   453995  1566585 | 2147483647    53958     18 |  2.950 % |
44.03/44.12	c |     56431 |   47115   453995  1566585 | 2147483647    54080     18 |  2.950 % |
44.03/44.18	c |     56565 |   47115   453995  1566585 | 2147483647    54214     18 |  2.950 % |
44.13/44.24	c |     56712 |   47115   453995  1566585 | 2147483647    54361     18 |  2.950 % |
44.23/44.30	c |     56873 |   47115   453995  1566585 | 2147483647    54522     19 |  2.950 % |
44.33/44.40	c |     57049 |   47115   453995  1566585 | 2147483647    54698     19 |  2.950 % |
44.33/44.46	c |     57243 |   47115   453995  1566585 | 2147483647    54892     19 |  2.950 % |
44.43/44.54	c |     57455 |   47115   453995  1566585 | 2147483647    55104     19 |  2.950 % |
44.53/44.64	c |     57688 |   47115   453995  1566585 | 2147483647    55337     19 |  2.950 % |
44.63/44.73	c |     57945 |   47115   453995  1566585 | 2147483647    55594     19 |  2.950 % |
44.73/44.81	c |     58226 |   47115   453995  1566585 | 2147483647    55875     19 |  2.950 % |
44.83/44.94	c |     58536 |   47115   453995  1566585 | 2147483647    56185     19 |  2.950 % |
44.93/45.10	c |     58876 |   47115   453995  1566585 | 2147483647    56525     19 |  2.950 % |
45.13/45.21	c |     59249 |   47115   453995  1566585 | 2147483647    56898     19 |  2.950 % |
45.23/45.35	c |     59658 |   47115   453995  1566585 | 2147483647    57307     19 |  2.950 % |
45.43/45.52	c |     60109 |   47115   453995  1566585 | 2147483647    57758     19 |  2.950 % |
45.53/45.68	c |     60603 |   47115   453995  1566585 | 2147483647    58252     19 |  2.950 % |
45.83/45.91	c |     61145 |   47115   453995  1566585 | 2147483647    58794     19 |  2.950 % |
45.93/46.04	c |     61741 |   47115   453995  1566585 | 2147483647    59390     19 |  2.950 % |
46.13/46.22	c |     62398 |   47115   453995  1566585 | 2147483647    60047     19 |  2.950 % |
46.42/46.56	c |     63122 |   47115   453995  1566585 | 2147483647    60771     19 |  2.950 % |
46.72/46.85	c |     63915 |   47115   453995  1566585 | 2147483647    61564     19 |  2.950 % |
46.72/46.88	c |     64015 |   47115   453995  1566585 | 2147483647    61664     19 |  2.950 % |
46.82/46.92	c |     64125 |   47115   453995  1566585 | 2147483647    61774     19 |  2.950 % |
46.82/46.95	c |     64246 |   47115   453995  1566585 | 2147483647    61895     19 |  2.950 % |
46.82/46.98	c |     64381 |   47115   453995  1566585 | 2147483647    62030     19 |  2.950 % |
46.92/47.04	c |     64528 |   47115   453995  1566585 | 2147483647    62177     19 |  2.950 % |
47.02/47.11	c |     64689 |   47115   453995  1566585 | 2147483647    62338     19 |  2.950 % |
47.13/47.22	c |     64867 |   47115   453995  1566585 | 2147483647    62516     19 |  2.950 % |
47.13/47.28	c |     65061 |   47115   453995  1566585 | 2147483647    62710     19 |  2.950 % |
47.23/47.37	c |     65273 |   47115   453995  1566585 | 2147483647    62922     19 |  2.950 % |
47.32/47.42	c |     65506 |   47115   453995  1566585 | 2147483647    63155     19 |  2.950 % |
47.32/47.46	c |     65764 |   47115   453995  1566585 | 2147483647    63413     19 |  2.950 % |
47.42/47.56	c |     66045 |   47115   453995  1566585 | 2147483647    63694     19 |  2.950 % |
47.62/47.71	c |     66359 |   47115   453995  1566585 | 2147483647    64008     19 |  2.950 % |
47.72/47.81	c |     66698 |   47115   453995  1566585 | 2147483647    64347     19 |  2.950 % |
47.82/47.97	c |     67073 |   47115   453995  1566585 | 2147483647    64722     19 |  2.950 % |
47.92/48.07	c |     67483 |   47115   453995  1566585 | 2147483647    65132     19 |  2.950 % |
48.12/48.27	c |     67932 |   47115   453995  1566585 | 2147483647    65581     19 |  2.950 % |
48.42/48.53	c |     68425 |   47115   453995  1566585 | 2147483647    66074     19 |  2.950 % |
48.62/48.73	c |     68969 |   47115   453995  1566585 | 2147483647    66618     20 |  2.950 % |
48.92/49.08	c |     69566 |   47115   453995  1566585 | 2147483647    67215     20 |  2.950 % |
49.22/49.35	c |     70222 |   47115   453995  1566585 | 2147483647    67871     20 |  2.950 % |
49.51/49.61	c |     70944 |   47115   453995  1566585 | 2147483647    68593     20 |  2.950 % |
49.91/50.03	c |     71736 |   47115   453995  1566585 | 2147483647    69385     20 |  2.950 % |
50.31/50.40	c |     72608 |   47115   453995  1566585 | 2147483647    70257     20 |  2.950 % |
50.31/50.44	c |     72708 |   47115   453995  1566585 | 2147483647    70357     20 |  2.950 % |
50.31/50.49	c |     72818 |   47115   453995  1566585 | 2147483647    70467     20 |  2.950 % |
50.42/50.53	c |     72939 |   47115   453995  1566585 | 2147483647    70588     20 |  2.950 % |
50.52/50.61	c |     73073 |   47115   453995  1566585 | 2147483647    70722     20 |  2.950 % |
50.52/50.67	c |     73220 |   47115   453995  1566585 | 2147483647    70869     20 |  2.950 % |
50.61/50.76	c |     73380 |   47115   453995  1566585 | 2147483647    71029     20 |  2.950 % |
50.71/50.85	c |     73556 |   47115   453995  1566585 | 2147483647    71205     20 |  2.950 % |
50.81/50.97	c |     73750 |   47115   453995  1566585 | 2147483647    71399     20 |  2.950 % |
50.91/51.08	c |     73963 |   47115   453995  1566585 | 2147483647    71612     20 |  2.950 % |
51.11/51.21	c |     74196 |   47115   453995  1566585 | 2147483647    71845     20 |  2.950 % |
51.11/51.28	c |     74452 |   47115   453995  1566585 | 2147483647    72101     20 |  2.950 % |
51.31/51.44	c |     74733 |   47115   453995  1566585 | 2147483647    72382     20 |  2.950 % |
51.41/51.55	c |     75045 |   47115   453995  1566585 | 2147483647    72694     20 |  2.950 % |
51.62/51.71	c |     75386 |   47115   453995  1566585 | 2147483647    73035     20 |  2.950 % |
51.71/51.88	c |     75758 |   47115   453995  1566585 | 2147483647    73407     20 |  2.950 % |
51.91/52.08	c |     76167 |   47115   453995  1566585 | 2147483647    73816     20 |  2.950 % |
52.11/52.22	c |     76616 |   47115   453995  1566585 | 2147483647    74265     20 |  2.950 % |
52.41/52.52	c |     77111 |   47115   453995  1566585 | 2147483647    74760     20 |  2.950 % |
52.71/52.87	c |     77653 |   47115   453995  1566585 | 2147483647    75302     20 |  2.950 % |
53.11/53.21	c |     78249 |   47115   453995  1566585 | 2147483647    75898     20 |  2.950 % |
53.31/53.47	c |     78904 |   47115   453995  1566585 | 2147483647    76553     20 |  2.950 % |
53.71/53.84	c |     79625 |   47115   453995  1566585 | 2147483647    77274     20 |  2.950 % |
54.10/54.27	c |     80417 |   47115   453995  1566585 | 2147483647    78066     20 |  2.950 % |
54.41/54.57	c |     81288 |   47115   453995  1566585 | 2147483647    78937     20 |  2.950 % |
54.91/55.00	c |     82246 |   47115   453995  1566585 | 2147483647    79895     20 |  2.950 % |
54.91/55.08	c |     82347 |   47115   453995  1566585 | 2147483647    79996     20 |  2.950 % |
55.01/55.11	c |     82457 |   47115   453995  1566585 | 2147483647    80106     20 |  2.950 % |
55.01/55.17	c |     82582 |   47115   453995  1566585 | 2147483647    80231     20 |  2.950 % |
55.11/55.24	c |     82719 |   47115   453995  1566585 | 2147483647    80368     20 |  2.950 % |
55.11/55.29	c |     82865 |   47115   453995  1566585 | 2147483647    80514     20 |  2.950 % |
55.31/55.41	c |     83025 |   47115   453995  1566585 | 2147483647    80674     20 |  2.950 % |
55.31/55.48	c |     83201 |   47115   453995  1566585 | 2147483647    80850     20 |  2.950 % |
55.51/55.60	c |     83394 |   47115   453995  1566585 | 2147483647    81043     20 |  2.950 % |
55.61/55.75	c |     83607 |   47115   453995  1566585 | 2147483647    81256     20 |  2.950 % |
55.81/55.91	c |     83843 |   47115   453995  1566585 | 2147483647    81492     20 |  2.950 % |
56.01/56.11	c |     84099 |   47115   453995  1566585 | 2147483647    81748     20 |  2.950 % |
56.11/56.23	c |     84380 |   47115   453995  1566585 | 2147483647    82029     20 |  2.950 % |
56.21/56.38	c |     84689 |   47115   453995  1566585 | 2147483647    82338     20 |  2.950 % |
56.41/56.54	c |     85028 |   47115   453995  1566585 | 2147483647    82677     20 |  2.950 % |
56.51/56.65	c |     85400 |   47115   453995  1566585 | 2147483647    83049     21 |  2.950 % |
56.71/56.84	c |     85809 |   47115   453995  1566585 | 2147483647    83458     21 |  2.950 % |
56.91/57.04	c |     86259 |   47115   453995  1566585 | 2147483647    83908     20 |  2.950 % |
57.21/57.33	c |     86752 |   47115   453995  1566585 | 2147483647    84401     20 |  2.950 % |
57.51/57.65	c |     87295 |   47115   453995  1566585 | 2147483647    84944     20 |  2.950 % |
57.81/58.00	c |     87891 |   47115   453995  1566585 | 2147483647    85540     20 |  2.950 % |
58.11/58.29	c |     88546 |   47115   453995  1566585 | 2147483647    86195     20 |  2.950 % |
58.61/58.73	c |     89267 |   47115   453995  1566585 | 2147483647    86916     21 |  2.950 % |
59.01/59.11	c |     90059 |   47115   453995  1566585 | 2147483647    87708     21 |  2.950 % |
59.41/59.50	c |     90930 |   47115   453995  1566585 | 2147483647    88579     21 |  2.950 % |
60.01/60.12	c |     91888 |   47115   453995  1566585 | 2147483647    89537     21 |  2.950 % |
60.41/60.59	c |     92942 |   47115   453995  1566585 | 2147483647    90591     21 |  2.950 % |
60.51/60.63	c |     93042 |   47115   453995  1566585 | 2147483647    90691     21 |  2.950 % |
60.51/60.68	c |     93152 |   47115   453995  1566585 | 2147483647    90801     21 |  2.950 % |
60.61/60.70	c |     93273 |   47115   453995  1566585 | 2147483647    90922     21 |  2.950 % |
60.61/60.74	c |     93407 |   47115   453995  1566585 | 2147483647    91056     21 |  2.950 % |
60.61/60.78	c |     93554 |   47115   453995  1566585 | 2147483647    91203     21 |  2.950 % |
60.71/60.87	c |     93715 |   47115   453995  1566585 | 2147483647    91364     21 |  2.950 % |
60.81/60.99	c |     93893 |   47115   453995  1566585 | 2147483647    91542     21 |  2.950 % |
61.00/61.13	c |     94086 |   47115   453995  1566585 | 2147483647    91735     21 |  2.950 % |
61.10/61.28	c |     94298 |   47115   453995  1566585 | 2147483647    91947     21 |  2.950 % |
61.30/61.45	c |     94534 |   47115   453995  1566585 | 2147483647    92183     21 |  2.950 % |
61.51/61.69	c |     94791 |   47115   453995  1566585 | 2147483647    92440     21 |  2.950 % |
61.70/61.88	c |     95075 |   47115   453995  1566585 | 2147483647    92724     21 |  2.950 % |
61.90/62.05	c |     95384 |   47115   453995  1566585 | 2147483647    93033     21 |  2.950 % |
62.00/62.19	c |     95723 |   47115   453995  1566585 | 2147483647    93372     21 |  2.950 % |
62.20/62.38	c |     96095 |   47115   453995  1566585 | 2147483647    93744     21 |  2.950 % |
62.51/62.65	c |     96504 |   47115   453995  1566585 | 2147483647    94153     21 |  2.950 % |
62.80/62.92	c |     96953 |   47115   453995  1566585 | 2147483647    94602     21 |  2.950 % |
62.90/63.09	c |     97447 |   47115   453995  1566585 | 2147483647    95096     21 |  2.950 % |
63.20/63.31	c |     97990 |   47115   453995  1566585 | 2147483647    95639     21 |  2.950 % |
63.40/63.51	c |     98587 |   47115   453995  1566585 | 2147483647    96236     21 |  2.950 % |
63.80/63.93	c |     99242 |   47115   453995  1566585 | 2147483647    96891     21 |  2.950 % |
64.20/64.37	c |     99962 |   47115   453995  1566585 | 2147483647    97611     21 |  2.950 % |
64.60/64.78	c |    100754 |   47115   453995  1566585 | 2147483647    98403     21 |  2.950 % |
65.30/65.43	c |    101626 |   47115   453995  1566585 | 2147483647    99275     21 |  2.950 % |
65.60/65.74	c |    102584 |   47115   453995  1566585 | 2147483647   100233     21 |  2.950 % |
65.90/66.07	c |    103637 |   47115   453995  1566585 | 2147483647   101286     21 |  2.950 % |
66.49/66.67	c |    104795 |   47115   453995  1566585 | 2147483647   102444     21 |  2.950 % |
66.59/66.76	c |    104896 |   47115   453995  1566585 | 2147483647   102545     21 |  2.950 % |
66.69/66.87	c |    105006 |   47115   453995  1566585 | 2147483647   102655     21 |  2.950 % |
66.79/66.92	c |    105128 |   47115   453995  1566585 | 2147483647   102777     21 |  2.950 % |
66.79/66.98	c |    105261 |   47115   453995  1566585 | 2147483647   102910     21 |  2.950 % |
66.90/67.05	c |    105407 |   47115   453995  1566585 | 2147483647   103056     21 |  2.950 % |
67.00/67.17	c |    105568 |   47115   453995  1566585 | 2147483647   103217     21 |  2.950 % |
67.20/67.31	c |    105744 |   47115   453995  1566585 | 2147483647   103393     21 |  2.950 % |
67.20/67.39	c |    105938 |   47115   453995  1566585 | 2147483647   103587     21 |  2.950 % |
67.40/67.56	c |    106152 |   47115   453995  1566585 | 2147483647   103801     21 |  2.950 % |
67.60/67.70	c |    106387 |   47115   453995  1566585 | 2147483647   104036     21 |  2.950 % |
67.70/67.84	c |    106645 |   47115   453995  1566585 | 2147483647   104294     21 |  2.950 % |
67.80/67.96	c |    106928 |   47115   453995  1566585 | 2147483647   104577     21 |  2.950 % |
68.00/68.12	c |    107237 |   47112   453971  1566503 | 2147483647   104882     21 |  2.956 % |
68.00/68.19	c |    107578 |   47112   453971  1566503 | 2147483647   105223     21 |  2.956 % |
68.30/68.42	c |    107950 |   47112   453971  1566503 | 2147483647   105595     21 |  2.956 % |
68.50/68.65	c |    108359 |   47112   453971  1566503 | 2147483647   106004     22 |  2.956 % |
68.70/68.85	c |    108808 |   47112   453971  1566503 | 2147483647   106453     22 |  2.956 % |
69.00/69.16	c |    109301 |   47112   453971  1566503 | 2147483647   106946     22 |  2.956 % |
69.30/69.42	c |    109843 |   47112   453971  1566503 | 2147483647   107488     22 |  2.956 % |
69.50/69.69	c |    110440 |   47112   453971  1566503 | 2147483647   108085     22 |  2.956 % |
70.00/70.20	c |    111097 |   47112   453971  1566503 | 2147483647   108741     22 |  2.966 % |
70.79/70.99	c |    111817 |   47111   453971  1566503 | 2147483647   109461     22 |  2.966 % |
71.49/71.62	c |    112611 |   47111   453971  1566503 | 2147483647   110255     22 |  2.966 % |
72.09/72.27	c |    113483 |   47111   453971  1566503 | 2147483647   111127     22 |  2.966 % |
72.89/73.01	c |    114441 |   47111   453971  1566503 | 2147483647   112085     22 |  2.966 % |
73.69/73.81	c |    115494 |   47111   453971  1566503 | 2147483647   113138     22 |  2.966 % |
74.19/74.33	c |    116652 |   47107   453873  1566051 | 2147483647   114290     22 |  2.966 % |
74.99/75.12	c |    117927 |   47107   453873  1566051 | 2147483647   115565     22 |  2.966 % |
75.08/75.22	c |    118028 |   47107   453873  1566051 | 2147483647   115666     22 |  2.966 % |
75.08/75.28	c |    118141 |   47107   453873  1566051 | 2147483647   115779     22 |  2.966 % |
75.18/75.35	c |    118266 |   47107   453873  1566051 | 2147483647   115904     22 |  2.966 % |
75.28/75.41	c |    118399 |   47107   453873  1566051 | 2147483647   116037     22 |  2.966 % |
75.28/75.46	c |    118545 |   47107   453873  1566051 | 2147483647   116183     22 |  2.966 % |
75.38/75.57	c |    118705 |   47107   453873  1566051 | 2147483647   116343     22 |  2.966 % |
75.59/75.75	c |    118882 |   47107   453873  1566051 | 2147483647   116520     22 |  2.966 % |
75.79/75.92	c |    119076 |   47107   453873  1566051 | 2147483647   116714     22 |  2.966 % |
75.89/76.06	c |    119290 |   47107   453873  1566051 | 2147483647   116928     22 |  2.966 % |
76.09/76.26	c |    119523 |   47107   453873  1566051 | 2147483647   117161     22 |  2.966 % |
76.28/76.46	c |    119781 |   47107   453873  1566051 | 2147483647   117419     22 |  2.966 % |
76.68/76.80	c |    120062 |   47107   453873  1566051 | 2147483647   117700     22 |  2.966 % |
76.89/77.06	c |    120372 |   47107   453873  1566051 | 2147483647   118010     22 |  2.966 % |
77.18/77.39	c |    120711 |   47107   453873  1566051 | 2147483647   118349     22 |  2.966 % |
77.38/77.57	c |    121087 |   47107   453873  1566051 | 2147483647   118725     22 |  2.966 % |
77.78/77.94	c |    121497 |   47107   453873  1566051 | 2147483647   119135     22 |  2.966 % |
78.08/78.23	c |    121947 |   47107   453873  1566051 | 2147483647   119585     22 |  2.966 % |
78.48/78.61	c |    122440 |   47107   453873  1566051 | 2147483647   120078     22 |  2.966 % |
78.88/79.03	c |    122986 |   47107   453873  1566051 | 2147483647   120624     22 |  2.966 % |
79.28/79.47	c |    123587 |   47107   453873  1566051 | 2147483647   121225     22 |  2.966 % |
79.68/79.87	c |    124242 |   47107   453873  1566051 | 2147483647   121880     22 |  2.966 % |
80.28/80.43	c |    124962 |   47107   453873  1566051 | 2147483647   122600     22 |  2.966 % |
80.68/80.82	c |    125756 |   47107   453873  1566051 | 2147483647   123394     23 |  2.966 % |
81.18/81.37	c |    126627 |   47107   453873  1566051 | 2147483647   124265     23 |  2.966 % |
81.68/81.83	c |    127586 |   47107   453873  1566051 | 2147483647   125224     23 |  2.966 % |
82.28/82.47	c |    128639 |   47107   453873  1566051 | 2147483647   126277     23 |  2.966 % |
83.18/83.39	c |    129798 |   47107   453873  1566051 | 2147483647   127436     23 |  2.966 % |
84.18/84.33	c |    131071 |   47107   453873  1566051 | 2147483647   128709     23 |  2.966 % |
85.19/85.32	c |    132472 |   47107   453873  1566051 | 2147483647   130110     23 |  2.966 % |
85.28/85.44	c |    132572 |   47107   453873  1566051 | 2147483647   130210     23 |  2.966 % |
85.38/85.56	c |    132683 |   47107   453873  1566051 | 2147483647   130321     23 |  2.966 % |
85.48/85.65	c |    132804 |   47107   453873  1566051 | 2147483647   130442     23 |  2.966 % |
85.59/85.75	c |    132939 |   47107   453873  1566051 | 2147483647   130577     23 |  2.966 % |
85.69/85.87	c |    133086 |   47107   453873  1566051 | 2147483647   130724     23 |  2.966 % |
85.78/85.92	c |    133246 |   47107   453873  1566051 | 2147483647   130884     23 |  2.966 % |
85.88/86.05	c |    133422 |   47107   453873  1566051 | 2147483647   131060     23 |  2.966 % |
85.98/86.13	c |    133615 |   47107   453873  1566051 | 2147483647   131253     23 |  2.966 % |
86.18/86.31	c |    133827 |   47107   453873  1566051 | 2147483647   131465     23 |  2.966 % |
86.18/86.37	c |    134060 |   47107   453873  1566051 | 2147483647   131698     23 |  2.966 % |
86.28/86.48	c |    134316 |   47107   453873  1566051 | 2147483647   131954     23 |  2.966 % |
86.48/86.66	c |    134597 |   47107   453873  1566051 | 2147483647   132235     23 |  2.966 % |
86.88/87.02	c |    134906 |   47107   453873  1566051 | 2147483647   132544     23 |  2.966 % |
87.28/87.48	c |    135246 |   47107   453873  1566051 | 2147483647   132884     23 |  2.966 % |
87.78/87.91	c |    135619 |   47103   453842  1565964 | 2147483647   133256     23 |  2.974 % |
88.08/88.29	c |    136028 |   47103   453842  1565964 | 2147483647   133665     23 |  2.974 % |
88.48/88.67	c |    136477 |   47103   453842  1565964 | 2147483647   134114     23 |  2.974 % |
88.98/89.17	c |    136971 |   47103   453842  1565964 | 2147483647   134608     23 |  2.974 % |
89.58/89.75	c |    137513 |   47103   453842  1565964 | 2147483647   135150     23 |  2.974 % |
90.08/90.29	c |    138111 |   47103   453842  1565964 | 2147483647   135748     23 |  2.974 % |
90.68/90.85	c |    138766 |   47103   453842  1565964 | 2147483647   136403     23 |  2.974 % |
91.38/91.52	c |    139487 |   47103   453842  1565964 | 2147483647   137124     23 |  2.974 % |
91.68/91.85	c |    140283 |   47103   453842  1565964 | 2147483647   137920     23 |  2.974 % |
92.28/92.42	c |    141157 |   47103   453842  1565964 | 2147483647   138794     23 |  2.974 % |
92.68/92.82	c |    142115 |   47103   453842  1565964 | 2147483647   139752     23 |  2.974 % |
93.28/93.45	c |    143169 |   47103   453842  1565964 | 2147483647   140806     23 |  2.974 % |
94.38/94.57	c |    144328 |   47103   453842  1565964 | 2147483647   141965     23 |  2.974 % |
95.17/95.32	c |    145603 |   47103   453842  1565964 | 2147483647   143240     23 |  2.974 % |
96.37/96.56	c |    147003 |   47103   453842  1565964 | 2147483647   144640     23 |  2.974 % |
97.37/97.53	c |    148543 |   47103   453842  1565964 | 2147483647   146180     23 |  2.974 % |
97.47/97.66	c |    148643 |   47103   453842  1565964 | 2147483647   146280     23 |  2.974 % |
97.57/97.75	c |    148754 |   47103   453842  1565964 | 2147483647   146391     23 |  2.974 % |
97.67/97.84	c |    148875 |   47103   453842  1565964 | 2147483647   146512     23 |  2.974 % |
97.67/97.89	c |    149009 |   47103   453842  1565964 | 2147483647   146646     23 |  2.974 % |
97.87/98.07	c |    149156 |   47103   453842  1565964 | 2147483647   146793     23 |  2.974 % |
98.07/98.21	c |    149316 |   47103   453842  1565964 | 2147483647   146953     23 |  2.974 % |
98.17/98.33	c |    149492 |   47103   453842  1565964 | 2147483647   147129     23 |  2.974 % |
98.37/98.56	c |    149686 |   47103   453842  1565964 | 2147483647   147323     23 |  2.974 % |
98.57/98.79	c |    149898 |   47103   453842  1565964 | 2147483647   147535     23 |  2.974 % |
98.96/99.10	c |    150132 |   47103   453842  1565964 | 2147483647   147769     23 |  2.974 % |
99.06/99.23	c |    150391 |   47103   453842  1565964 | 2147483647   148028     23 |  2.974 % |
99.36/99.50	c |    150672 |   47103   453842  1565964 | 2147483647   148309     23 |  2.974 % |
99.46/99.65	c |    150982 |   47103   453842  1565964 | 2147483647   148619     23 |  2.974 % |
99.76/99.99	c |    151321 |   47103   453842  1565964 | 2147483647   148958     23 |  2.974 % |
100.06/100.27	c |    151693 |   47103   453842  1565964 | 2147483647   149330     23 |  2.974 % |
100.47/100.68	c |    152102 |   47103   453842  1565964 | 2147483647   149739     23 |  2.974 % |
100.87/101.04	c |    152553 |   47103   453842  1565964 | 2147483647   150190     23 |  2.974 % |
101.27/101.44	c |    153048 |   47103   453842  1565964 | 2147483647   150685     23 |  2.974 % |
101.87/102.09	c |    153592 |   47100   453818  1565882 | 2147483647   151226     23 |  2.981 % |
102.47/102.68	c |    154188 |   47100   453818  1565882 | 2147483647   151822     23 |  2.981 % |
102.97/103.10	c |    154843 |   47100   453818  1565882 | 2147483647   152477     23 |  2.981 % |
103.37/103.57	c |    155563 |   47100   453818  1565882 | 2147483647   153197     23 |  2.981 % |
104.17/104.38	c |    156355 |   47100   453818  1565882 | 2147483647   153989     24 |  2.981 % |
104.76/104.99	c |    157226 |   47100   453818  1565882 | 2147483647   154860     24 |  2.981 % |
105.46/105.66	c |    158186 |   47100   453818  1565882 | 2147483647   155820     24 |  2.981 % |
105.56/105.72	c |    159239 |   47100   453818  1565882 | 2147483647   156873     24 |  2.981 % |
105.86/106.00	c |    160399 |   47100   453818  1565882 | 2147483647   158033     23 |  2.981 % |
106.46/106.67	c |    161673 |   47100   453818  1565882 | 2147483647   159307     23 |  2.981 % |
107.56/107.80	c |    163073 |   47100   453818  1565882 | 2147483647   160707     23 |  2.981 % |
108.85/109.09	c |    164614 |   47100   453818  1565882 | 2147483647   162248     24 |  2.981 % |
110.45/110.61	c |    166308 |   47100   453818  1565882 | 2147483647   163942     24 |  2.981 % |
110.55/110.73	c |    166409 |   47100   453818  1565882 | 2147483647   164043     24 |  2.981 % |
110.65/110.83	c |    166519 |   47100   453818  1565882 | 2147483647   164153     24 |  2.981 % |
110.75/110.94	c |    166640 |   47100   453818  1565882 | 2147483647   164274     24 |  2.981 % |
110.96/111.13	c |    166773 |   47100   453818  1565882 | 2147483647   164407     24 |  2.981 % |
111.05/111.28	c |    166920 |   47100   453818  1565882 | 2147483647   164554     24 |  2.981 % |
111.25/111.49	c |    167081 |   47100   453818  1565882 | 2147483647   164715     24 |  2.981 % |
111.45/111.67	c |    167259 |   47100   453818  1565882 | 2147483647   164893     24 |  2.981 % |
111.65/111.86	c |    167454 |   47100   453818  1565882 | 2147483647   165088     24 |  2.981 % |
111.85/112.08	c |    167666 |   47100   453818  1565882 | 2147483647   165300     24 |  2.981 % |
112.15/112.36	c |    167902 |   47100   453818  1565882 | 2147483647   165536     24 |  2.981 % |
112.45/112.60	c |    168158 |   47100   453818  1565882 | 2147483647   165792     24 |  2.981 % |
112.65/112.89	c |    168444 |   47100   453818  1565882 | 2147483647   166078     24 |  2.981 % |
113.05/113.21	c |    168754 |   47100   453818  1565882 | 2147483647   166388     24 |  2.981 % |
113.15/113.37	c |    169093 |   47100   453818  1565882 | 2147483647   166727     24 |  2.981 % |
113.45/113.67	c |    169465 |   47100   453818  1565882 | 2147483647   167099     24 |  2.981 % |
113.75/113.94	c |    169876 |   47100   453818  1565882 | 2147483647   167510     24 |  2.981 % |
114.15/114.39	c |    170326 |   47100   453818  1565882 | 2147483647   167960     24 |  2.981 % |
114.65/114.80	c |    170820 |   47100   453818  1565882 | 2147483647   168454     24 |  2.981 % |
115.15/115.39	c |    171363 |   47100   453818  1565882 | 2147483647   168997     24 |  2.981 % |
115.45/115.67	c |    171960 |   47100   453818  1565882 | 2147483647   169594     24 |  2.981 % |
116.05/116.25	c |    172615 |   47100   453818  1565882 | 2147483647   170249     24 |  2.981 % |
116.85/117.09	c |    173339 |   47100   453818  1565882 | 2147483647   170973     24 |  2.981 % |
117.45/117.68	c |    174131 |   47072   453271  1562705 | 2147483647   171674     24 |  3.038 % |
118.35/118.54	c |    175002 |   47072   453271  1562705 | 2147483647   172545     24 |  3.038 % |
119.15/119.31	c |    175960 |   47072   453271  1562705 | 2147483647   173503     24 |  3.038 % |
119.84/120.06	c |    177016 |   47072   453271  1562705 | 2147483647   174559     24 |  3.038 % |
121.44/121.64	c |    178175 |   47072   453271  1562705 | 2147483647   175718     24 |  3.038 % |
122.44/122.63	c |    179448 |   47072   453271  1562705 | 2147483647   176991     24 |  3.038 % |
124.54/124.70	c |    180848 |   47072   453271  1562705 | 2147483647   178391     24 |  3.038 % |
125.94/126.19	c |    182388 |   47072   453271  1562705 | 2147483647   179931     24 |  3.038 % |
127.54/127.72	c |    184084 |   47072   453271  1562705 | 2147483647   181627     24 |  3.038 % |
129.04/129.27	c |    185948 |   47072   453271  1562705 | 2147483647   183491     24 |  3.038 % |
129.14/129.35	c |    186048 |   47072   453271  1562705 | 2147483647   183591     24 |  3.038 % |
129.24/129.48	c |    186158 |   47072   453271  1562705 | 2147483647   183701     24 |  3.038 % |
129.44/129.64	c |    186281 |   47072   453271  1562705 | 2147483647   183824     24 |  3.038 % |
129.54/129.74	c |    186415 |   47072   453271  1562705 | 2147483647   183958     24 |  3.038 % |
129.74/129.91	c |    186562 |   47072   453271  1562705 | 2147483647   184105     24 |  3.038 % |
129.84/130.07	c |    186722 |   47072   453271  1562705 | 2147483647   184265     24 |  3.038 % |
129.94/130.17	c |    186901 |   47072   453271  1562705 | 2147483647   184444     24 |  3.038 % |
130.04/130.28	c |    187094 |   47072   453271  1562705 | 2147483647   184637     24 |  3.038 % |
130.34/130.53	c |    187308 |   47072   453271  1562705 | 2147483647   184851     24 |  3.038 % |
130.54/130.76	c |    187541 |   47072   453271  1562705 | 2147483647   185084     24 |  3.038 % |
130.74/130.91	c |    187798 |   47072   453271  1562705 | 2147483647   185341     24 |  3.038 % |
130.94/131.18	c |    188080 |   47072   453271  1562705 | 2147483647   185623     24 |  3.038 % |
131.14/131.34	c |    188390 |   47072   453271  1562705 | 2147483647   185933     24 |  3.038 % |
131.24/131.44	c |    188732 |   47072   453271  1562705 | 2147483647   186275     24 |  3.038 % |
131.55/131.74	c |    189105 |   47072   453271  1562705 | 2147483647   186648     24 |  3.038 % |
132.05/132.20	c |    189514 |   47072   453271  1562705 | 2147483647   187057     24 |  3.038 % |
132.55/132.76	c |    189964 |   47072   453271  1562705 | 2147483647   187507     24 |  3.038 % |
133.05/133.29	c |    190457 |   47072   453271  1562705 | 2147483647   188000     24 |  3.038 % |
133.65/133.89	c |    190999 |   47072   453271  1562705 | 2147483647   188542     24 |  3.038 % |
134.15/134.31	c |    191597 |   47072   453271  1562705 | 2147483647   189140     24 |  3.038 % |
134.95/135.14	c |    192254 |   47072   453271  1562705 | 2147483647   189797     24 |  3.038 % |
135.45/135.65	c |    192974 |   47072   453271  1562705 | 2147483647   190517     24 |  3.038 % |
136.35/136.53	c |    193768 |   47072   453271  1562705 | 2147483647   191311     24 |  3.038 % |
137.35/137.54	c |    194640 |   47072   453271  1562705 | 2147483647   192183     24 |  3.038 % |
137.94/138.13	c |    195599 |   47072   453271  1562705 | 2147483647   193142     24 |  3.038 % |
139.04/139.21	c |    196652 |   47072   453271  1562705 | 2147483647   194195     24 |  3.038 % |
139.84/140.03	c |    197810 |   47072   453271  1562705 | 2147483647   195353     25 |  3.038 % |
141.14/141.32	c |    199083 |   47069   453247  1562623 | 2147483647   196624     25 |  3.044 % |
141.44/141.62	c |    200487 |   47069   453247  1562623 | 2147483647   198028     25 |  3.044 % |
143.44/143.62	c |    202027 |   47069   453247  1562623 | 2147483647   199568     25 |  3.044 % |
144.83/145.04	c |    203722 |   47069   453247  1562623 | 2147483647   201263     25 |  3.044 % |
147.04/147.29	c |    205586 |   47069   453247  1562623 | 2147483647   203127     25 |  3.044 % |
149.84/150.06	c |    207636 |   47069   453247  1562623 | 2147483647   205177     25 |  3.044 % |
149.94/150.17	c |    207736 |   47069   453247  1562623 | 2147483647   205277     25 |  3.044 % |
150.14/150.33	c |    207846 |   47069   453247  1562623 | 2147483647   205387     25 |  3.044 % |
150.24/150.45	c |    207969 |   47069   453247  1562623 | 2147483647   205510     25 |  3.044 % |
150.34/150.57	c |    208103 |   47069   453247  1562623 | 2147483647   205644     25 |  3.044 % |
150.54/150.73	c |    208249 |   47069   453247  1562623 | 2147483647   205790     25 |  3.044 % |
150.64/150.90	c |    208411 |   47069   453247  1562623 | 2147483647   205952     25 |  3.044 % |
150.84/151.08	c |    208589 |   47069   453247  1562623 | 2147483647   206130     25 |  3.044 % |
151.04/151.27	c |    208783 |   47069   453247  1562623 | 2147483647   206324     25 |  3.044 % |
151.34/151.59	c |    208996 |   47069   453247  1562623 | 2147483647   206537     25 |  3.044 % |
151.74/151.94	c |    209229 |   47069   453247  1562623 | 2147483647   206770     25 |  3.044 % |
151.94/152.17	c |    209485 |   47069   453247  1562623 | 2147483647   207026     25 |  3.044 % |
152.34/152.55	c |    209766 |   47069   453247  1562623 | 2147483647   207307     25 |  3.044 % |
152.64/152.84	c |    210076 |   47069   453247  1562623 | 2147483647   207617     25 |  3.044 % |
152.94/153.12	c |    210416 |   47069   453247  1562623 | 2147483647   207957     25 |  3.044 % |
153.04/153.27	c |    210788 |   47069   453247  1562623 | 2147483647   208329     25 |  3.044 % |
153.33/153.52	c |    211197 |   47069   453247  1562623 | 2147483647   208738     25 |  3.044 % |
153.84/154.07	c |    211648 |   47069   453247  1562623 | 2147483647   209189     25 |  3.044 % |
154.43/154.66	c |    212141 |   47069   453247  1562623 | 2147483647   209682     25 |  3.044 % |
155.03/155.21	c |    212684 |   47069   453247  1562623 | 2147483647   210225     25 |  3.044 % |
155.83/156.00	c |    213280 |   47069   453247  1562623 | 2147483647   210821     25 |  3.044 % |
156.63/156.81	c |    213935 |   47069   453247  1562623 | 2147483647   211476     25 |  3.044 % |
157.33/157.54	c |    214656 |   47069   453247  1562623 | 2147483647   212197     25 |  3.044 % |
158.23/158.48	c |    215448 |   47069   453247  1562623 | 2147483647   212989     25 |  3.044 % |
159.33/159.52	c |    216321 |   47069   453247  1562623 | 2147483647   213862     25 |  3.044 % |
160.73/160.95	c |    217282 |   47069   453247  1562623 | 2147483647   214823     25 |  3.044 % |
161.62/161.84	c |    218335 |   47069   453247  1562623 | 2147483647   215876     25 |  3.044 % |
162.43/162.69	c |    219494 |   47069   453247  1562623 | 2147483647   217035     25 |  3.044 % |
162.83/163.06	c |    220767 |   47069   453247  1562623 | 2147483647   218308     25 |  3.044 % |
164.43/164.62	c |    222168 |   47069   453247  1562623 | 2147483647   219709     25 |  3.044 % |
166.13/166.31	c |    223708 |   47069   453247  1562623 | 2147483647   221249     25 |  3.044 % |
168.23/168.43	c |    225407 |   47069   453247  1562623 | 2147483647   222948     25 |  3.044 % |
170.62/170.82	c |    227270 |   47069   453247  1562623 | 2147483647   224811     25 |  3.044 % |
173.92/174.13	c |    229319 |   47066   453223  1562541 | 2147483647   226856     25 |  3.051 % |
176.32/176.57	c |    231572 |   47066   453223  1562541 | 2147483647   229109     25 |  3.051 % |
176.42/176.65	c |    231673 |   47066   453223  1562541 | 2147483647   229210     25 |  3.051 % |
176.52/176.71	c |    231784 |   47066   453223  1562541 | 2147483647   229321     25 |  3.051 % |
176.62/176.86	c |    231906 |   47066   453223  1562541 | 2147483647   229443     25 |  3.051 % |
176.83/177.03	c |    232039 |   47066   453223  1562541 | 2147483647   229576     25 |  3.051 % |
176.93/177.13	c |    232185 |   47066   453223  1562541 | 2147483647   229722     25 |  3.051 % |
177.02/177.21	c |    232345 |   47066   453223  1562541 | 2147483647   229882     25 |  3.051 % |
177.12/177.34	c |    232521 |   47066   453223  1562541 | 2147483647   230058     25 |  3.051 % |
177.32/177.55	c |    232714 |   47066   453223  1562541 | 2147483647   230251     25 |  3.051 % |
177.72/177.93	c |    232929 |   47066   453223  1562541 | 2147483647   230466     25 |  3.051 % |
178.03/178.23	c |    233162 |   47066   453223  1562541 | 2147483647   230699     25 |  3.051 % |
178.22/178.47	c |    233418 |   47066   453223  1562541 | 2147483647   230955     25 |  3.051 % |
178.62/178.85	c |    233699 |   47066   453223  1562541 | 2147483647   231236     25 |  3.051 % |
179.03/179.24	c |    234009 |   47066   453223  1562541 | 2147483647   231546     25 |  3.051 % |
179.52/179.70	c |    234349 |   47066   453223  1562541 | 2147483647   231886     25 |  3.051 % |
179.72/179.93	c |    234721 |   47066   453223  1562541 | 2147483647   232258     25 |  3.051 % |
180.12/180.39	c |    235130 |   47066   453223  1562541 | 2147483647   232667     25 |  3.051 % |
180.72/180.96	c |    235579 |   47066   453223  1562541 | 2147483647   233116     25 |  3.051 % |
181.22/181.46	c |    236073 |   47066   453223  1562541 | 2147483647   233610     25 |  3.051 % |
181.72/181.99	c |    236615 |   47066   453223  1562541 | 2147483647   234152     25 |  3.051 % |
182.32/182.58	c |    237211 |   47066   453223  1562541 | 2147483647   234748     25 |  3.051 % |
182.62/182.85	c |    237867 |   47066   453223  1562541 | 2147483647   235404     25 |  3.051 % |
183.32/183.59	c |    238587 |   47066   453223  1562541 | 2147483647   236124     25 |  3.051 % |
183.62/183.83	c |    239379 |   47066   453223  1562541 | 2147483647   236916     25 |  3.051 % |
184.62/184.82	c |    240250 |   47066   453223  1562541 | 2147483647   237787     25 |  3.051 % |
186.11/186.37	c |    241208 |   47066   453223  1562541 | 2147483647   238745     25 |  3.051 % |
187.12/187.37	c |    242261 |   47066   453223  1562541 | 2147483647   239798     25 |  3.051 % |
188.02/188.29	c |    243419 |   47066   453223  1562541 | 2147483647   240956     25 |  3.051 % |
189.82/190.05	c |    244692 |   47066   453223  1562541 | 2147483647   242229     25 |  3.051 % |
191.01/191.28	c |    246092 |   47066   453223  1562541 | 2147483647   243629     25 |  3.051 % |
192.91/193.12	c |    247632 |   47066   453223  1562541 | 2147483647   245169     25 |  3.051 % |
194.81/195.06	c |    249327 |   47066   453223  1562541 | 2147483647   246864     26 |  3.051 % |
196.51/196.80	c |    251190 |   47066   453223  1562541 | 2147483647   248727     26 |  3.051 % |
198.41/198.60	c |    253239 |   47066   453223  1562541 | 2147483647   250776     26 |  3.051 % |
201.81/202.01	c |    255492 |   47066   453223  1562541 | 2147483647   253029     26 |  3.051 % |
204.91/205.12	c |    257970 |   47066   453223  1562541 | 2147483647   255507     26 |  3.051 % |
205.11/205.30	c |    258070 |   47066   453223  1562541 | 2147483647   255607     26 |  3.051 % |
205.21/205.42	c |    258180 |   47066   453223  1562541 | 2147483647   255717     26 |  3.051 % |
205.41/205.63	c |    258303 |   47066   453223  1562541 | 2147483647   255840     26 |  3.051 % |
205.71/205.93	c |    258436 |   47066   453223  1562541 | 2147483647   255973     26 |  3.051 % |
205.91/206.13	c |    258582 |   47066   453223  1562541 | 2147483647   256119     26 |  3.051 % |
206.21/206.41	c |    258742 |   47066   453223  1562541 | 2147483647   256279     26 |  3.051 % |
206.41/206.64	c |    258919 |   47066   453223  1562541 | 2147483647   256456     26 |  3.051 % |
206.81/207.04	c |    259113 |   47066   453223  1562541 | 2147483647   256650     26 |  3.051 % |
207.11/207.38	c |    259326 |   47066   453223  1562541 | 2147483647   256863     26 |  3.051 % |
207.41/207.69	c |    259559 |   47066   453223  1562541 | 2147483647   257096     26 |  3.051 % |
207.71/208.00	c |    259816 |   47066   453223  1562541 | 2147483647   257353     26 |  3.051 % |
208.01/208.24	c |    260098 |   47066   453223  1562541 | 2147483647   257635     26 |  3.051 % |
208.41/208.69	c |    260407 |   47066   453223  1562541 | 2147483647   257944     26 |  3.051 % |
208.81/209.02	c |    260746 |   47066   453223  1562541 | 2147483647   258283     26 |  3.051 % |
209.61/209.81	c |    261119 |   47062   453208  1562494 | 2147483647   258655     26 |  3.059 % |
210.10/210.31	c |    261528 |   47062   453208  1562494 | 2147483647   259064     26 |  3.059 % |
210.80/211.04	c |    261977 |   47062   453208  1562494 | 2147483647   259513     26 |  3.059 % |
211.60/211.85	c |    262472 |   47062   453208  1562494 | 2147483647   260008     26 |  3.059 % |
212.30/212.56	c |    263014 |   47062   453208  1562494 | 2147483647   260550     26 |  3.059 % |
213.40/213.62	c |    263611 |   47062   453208  1562494 | 2147483647   261147     26 |  3.059 % |
213.80/214.04	c |    264266 |   47062   453208  1562494 | 2147483647   261802     26 |  3.059 % |
214.90/215.15	c |    264988 |   47062   453208  1562494 | 2147483647   262524     26 |  3.059 % |
216.10/216.38	c |    265782 |   47062   453208  1562494 | 2147483647   263318     26 |  3.059 % |
217.00/217.25	c |    266654 |   47062   453208  1562494 | 2147483647   264190     26 |  3.059 % |
218.60/218.85	c |    267612 |   47062   453208  1562494 | 2147483647   265148     26 |  3.059 % |
219.30/219.58	c |    268665 |   47062   453208  1562494 | 2147483647   266201     26 |  3.059 % |
221.10/221.37	c |    269823 |   47061   453208  1562494 | 2147483647   267358     26 |  3.061 % |
222.70/222.91	c |    271096 |   47061   453208  1562494 | 2147483647   268631     26 |  3.061 % |
224.39/224.66	c |    272496 |   47061   453208  1562494 | 2147483647   270031     26 |  3.061 % |
226.40/226.61	c |    274036 |   47061   453208  1562494 | 2147483647   271571     26 |  3.061 % |
228.30/228.54	c |    275730 |   47061   453208  1562494 | 2147483647   273265     26 |  3.061 % |
231.30/231.57	c |    277593 |   47061   453208  1562494 | 2147483647   275128     27 |  3.061 % |
234.29/234.53	c |    279643 |   47061   453199  1562466 | 2147483647   277178     27 |  3.061 % |
237.59/237.88	c |    281896 |   47061   453199  1562466 | 2147483647   279431     26 |  3.061 % |
239.89/240.17	c |    284374 |   47061   453199  1562466 | 2147483647   281909     27 |  3.061 % |
244.08/244.36	c |    287099 |   47061   453199  1562466 | 2147483647   284634     27 |  3.061 % |
244.38/244.63	c |    287199 |   47061   453199  1562466 | 2147483647   284734     27 |  3.061 % |
244.48/244.80	c |    287310 |   47061   453199  1562466 | 2147483647   284845     27 |  3.061 % |
244.79/245.03	c |    287432 |   47061   453199  1562466 | 2147483647   284967     27 |  3.061 % |
245.09/245.31	c |    287565 |   47061   453199  1562466 | 2147483647   285100     27 |  3.061 % |
245.49/245.72	c |    287711 |   47061   453199  1562466 | 2147483647   285246     27 |  3.061 % |
245.79/246.10	c |    287873 |   47061   453199  1562466 | 2147483647   285408     27 |  3.061 % |
246.19/246.46	c |    288049 |   47061   453199  1562466 | 2147483647   285584     27 |  3.061 % |
246.89/247.11	c |    288242 |   47061   453199  1562466 | 2147483647   285777     27 |  3.061 % |
247.19/247.46	c |    288455 |   47061   453199  1562466 | 2147483647   285990     27 |  3.061 % |
247.59/247.88	c |    288690 |   47061   453199  1562466 | 2147483647   286225     27 |  3.061 % |
247.89/248.19	c |    288946 |   47061   453199  1562466 | 2147483647   286481     27 |  3.061 % |
248.39/248.66	c |    289229 |   47061   453199  1562466 | 2147483647   286764     27 |  3.061 % |
249.09/249.33	c |    289540 |   47061   453199  1562466 | 2147483647   287075     27 |  3.061 % |
249.89/250.19	c |    289879 |   47061   453199  1562466 | 2147483647   287414     27 |  3.061 % |
250.39/250.67	c |    290253 |   47061   453199  1562466 | 2147483647   287788     27 |  3.061 % |
251.29/251.59	c |    290663 |   47061   453199  1562466 | 2147483647   288198     27 |  3.061 % |
251.79/252.05	c |    291113 |   47061   453199  1562466 | 2147483647   288647     27 |  3.067 % |
252.69/252.93	c |    291609 |   47061   453199  1562466 | 2147483647   289143     27 |  3.067 % |
253.68/253.92	c |    292152 |   47061   453199  1562466 | 2147483647   289686     27 |  3.067 % |
254.38/254.62	c |    292749 |   47061   453199  1562466 | 2147483647   290283     27 |  3.067 % |
255.48/255.73	c |    293404 |   47061   453199  1562466 | 2147483647   290938     27 |  3.067 % |
256.68/256.92	c |    294125 |   47058   453175  1562384 | 2147483647   291657     27 |  3.067 % |
257.98/258.27	c |    294920 |   47058   453175  1562384 | 2147483647   292452     27 |  3.067 % |
259.08/259.31	c |    295792 |   47058   453175  1562384 | 2147483647   293324     27 |  3.067 % |
260.38/260.65	c |    296755 |   47058   453175  1562384 | 2147483647   294287     27 |  3.067 % |
261.97/262.29	c |    297808 |   47058   453175  1562384 | 2147483647   295340     27 |  3.067 % |
263.68/263.99	c |    298966 |   47058   453175  1562384 | 2147483647   296498     27 |  3.067 % |
265.88/266.15	c |    300239 |   47058   453175  1562384 | 2147483647   297771     27 |  3.067 % |
268.67/268.97	c |    301641 |   47058   453175  1562384 | 2147483647   299173     27 |  3.067 % |
270.87/271.17	c |    303184 |   47058   453175  1562384 | 2147483647   300716     27 |  3.067 % |
273.47/273.77	c |    304879 |   47058   453175  1562384 | 2147483647   302410     27 |  3.073 % |
276.57/276.86	c |    306742 |   47058   453175  1562384 | 2147483647   304273     27 |  3.073 % |
280.17/280.44	c |    308791 |   47058   453175  1562384 | 2147483647   306322     27 |  3.073 % |
282.46/282.72	c |    311045 |   47057   453175  1562384 | 2147483647   308576     28 |  3.073 % |
287.96/288.23	c |    313523 |   47055   453151  1562302 | 2147483647   311053     28 |  3.073 % |
292.66/292.99	c |    316248 |   47055   453151  1562302 | 2147483647   313778     28 |  3.073 % |
298.26/298.60	c |    319247 |   47055   453151  1562302 | 2147483647   316777     28 |  3.073 % |
298.56/298.84	c |    319350 |   47055   453151  1562302 | 2147483647   316880     28 |  3.073 % |
298.76/299.07	c |    319461 |   47055   453151  1562302 | 2147483647   316991     28 |  3.073 % |
299.06/299.30	c |    319584 |   47055   453151  1562302 | 2147483647   317114     28 |  3.073 % |
299.46/299.70	c |    319718 |   47055   453151  1562302 | 2147483647   317248     28 |  3.073 % |
299.66/299.92	c |    319864 |   47055   453151  1562302 | 2147483647   317394     28 |  3.073 % |
299.86/300.16	c |    320024 |   47055   453151  1562302 | 2147483647   317554     28 |  3.073 % |
300.36/300.60	c |    320200 |   47055   453151  1562302 | 2147483647   317730     28 |  3.073 % |
300.66/300.92	c |    320393 |   47055   453151  1562302 | 2147483647   317923     28 |  3.073 % |
300.96/301.20	c |    320606 |   47055   453151  1562302 | 2147483647   318136     28 |  3.073 % |
301.36/301.68	c |    320840 |   47055   453151  1562302 | 2147483647   318370     28 |  3.073 % |
301.66/301.98	c |    321097 |   47054   453151  1562302 | 2147483647   318626     28 |  3.079 % |
302.06/302.32	c |    321379 |   47054   453151  1562302 | 2147483647   318908     28 |  3.080 % |
302.36/302.68	c |    321691 |   47054   453151  1562302 | 2147483647   319220     28 |  3.079 % |
302.86/303.16	c |    322030 |   47054   453151  1562302 | 2147483647   319559     28 |  3.079 % |
303.46/303.79	c |    322405 |   47054   453151  1562302 | 2147483647   319934     28 |  3.079 % |
304.36/304.69	c |    322814 |   47054   453151  1562302 | 2147483647   320343     28 |  3.079 % |
305.26/305.52	c |    323263 |   47054   453151  1562302 | 2147483647   320792     28 |  3.080 % |
305.66/305.99	c |    323756 |   47054   453151  1562302 | 2147483647   321285     28 |  3.080 % |
306.26/306.56	c |    324298 |   47054   453151  1562302 | 2147483647   321827     28 |  3.079 % |
306.76/307.09	c |    324894 |   47054   453151  1562302 | 2147483647   322423     28 |  3.079 % |
308.26/308.54	c |    325549 |   47054   453151  1562302 | 2147483647   323078     28 |  3.080 % |
309.46/309.77	c |    326269 |   47054   453151  1562302 | 2147483647   323798     28 |  3.080 % |
310.46/310.75	c |    327062 |   47054   453151  1562302 | 2147483647   324591     28 |  3.080 % |
311.76/312.08	c |    327935 |   47054   453151  1562302 | 2147483647   325464     28 |  3.080 % |
313.16/313.45	c |    328893 |   47054   453151  1562302 | 2147483647   326422     28 |  3.080 % |
315.46/315.71	c |    329948 |   47052   453141  1562270 | 2147483647   327477     28 |  3.080 % |
317.25/317.56	c |    331106 |   47052   453141  1562270 | 2147483647   328635     28 |  3.079 % |
318.45/318.75	c |    332379 |   47052   453141  1562270 | 2147483647   329908     28 |  3.080 % |
320.36/320.66	c |    333780 |   47052   453141  1562270 | 2147483647   331309     28 |  3.080 % |
323.45/323.72	c |    335320 |   47052   453141  1562270 | 2147483647   332849     28 |  3.080 % |
325.54/325.85	c |    337014 |   47052   453141  1562270 | 2147483647   334543     28 |  3.080 % |
327.64/327.95	c |    338878 |   47052   453141  1562270 | 2147483647   336407     28 |  3.080 % |
331.44/331.76	c |    340927 |   47052   453141  1562270 | 2147483647   338456     28 |  3.080 % |
334.54/334.82	c |    343181 |   47052   453141  1562270 | 2147483647   340710     28 |  3.080 % |
337.84/338.16	c |    345661 |   47052   453141  1562270 | 2147483647   343190     28 |  3.080 % |
341.84/342.20	c |    348386 |   47052   453141  1562270 | 2147483647   345915     28 |  3.080 % |
348.53/348.84	c |    351386 |   47052   453141  1562270 | 2147483647   348915     28 |  3.080 % |
352.33/352.61	c |    354682 |   47052   453141  1562270 | 2147483647   352211     28 |  3.080 % |
352.53/352.87	c |    354783 |   47052   453141  1562270 | 2147483647   352312     28 |  3.080 % |
352.74/353.07	c |    354893 |   47052   453141  1562270 | 2147483647   352422     28 |  3.080 % |
353.03/353.36	c |    355014 |   47052   453141  1562270 | 2147483647   352543     28 |  3.080 % |
353.43/353.77	c |    355147 |   47052   453141  1562270 | 2147483647   352676     28 |  3.080 % |
353.73/354.08	c |    355293 |   47052   453141  1562270 | 2147483647   352822     28 |  3.080 % |
354.03/354.32	c |    355453 |   47052   453141  1562270 | 2147483647   352982     28 |  3.080 % |
354.33/354.62	c |    355629 |   47052   453141  1562270 | 2147483647   353158     28 |  3.080 % |
354.83/355.19	c |    355826 |   47052   453141  1562270 | 2147483647   353355     28 |  3.080 % |
355.23/355.52	c |    356043 |   47052   453141  1562270 | 2147483647   353572     28 |  3.080 % |
355.63/355.91	c |    356277 |   47052   453141  1562270 | 2147483647   353806     28 |  3.080 % |
355.83/356.17	c |    356533 |   47052   453141  1562270 | 2147483647   354062     28 |  3.080 % |
356.43/356.73	c |    356814 |   47052   453141  1562270 | 2147483647   354343     28 |  3.080 % |
357.14/357.43	c |    357125 |   47052   453141  1562270 | 2147483647   354654     28 |  3.080 % |
358.03/358.32	c |    357466 |   47052   453141  1562270 | 2147483647   354995     28 |  3.080 % |
358.93/359.25	c |    357838 |   47052   453141  1562270 | 2147483647   355367     28 |  3.080 % |
359.53/359.87	c |    358247 |   47052   453141  1562270 | 2147483647   355776     28 |  3.080 % |
360.43/360.74	c |    358696 |   47052   453141  1562270 | 2147483647   356225     28 |  3.080 % |
361.43/361.74	c |    359189 |   47052   453141  1562270 | 2147483647   356718     28 |  3.080 % |
362.23/362.59	c |    359731 |   47052   453141  1562270 | 2147483647   357260     28 |  3.080 % |
363.42/363.79	c |    360329 |   47052   453141  1562270 | 2147483647   357858     28 |  3.080 % |
364.42/364.72	c |    360984 |   47052   453141  1562270 | 2147483647   358513     28 |  3.080 % |
365.12/365.44	c |    361704 |   47052   453141  1562270 | 2147483647   359233     28 |  3.079 % |
366.73/367.06	c |    362498 |   47052   453141  1562270 | 2147483647   360027     28 |  3.079 % |
368.83/369.10	c |    363369 |   47052   453141  1562270 | 2147483647   360898     28 |  3.080 % |
370.73/371.09	c |    364327 |   47052   453141  1562270 | 2147483647   361856     28 |  3.080 % |
372.72/373.08	c |    365380 |   47052   453141  1562270 | 2147483647   362909     28 |  3.079 % |
374.73/375.04	c |    366538 |   47052   453141  1562270 | 2147483647   364067     28 |  3.080 % |
378.13/378.47	c |    367812 |   47052   453141  1562270 | 2147483647   365341     28 |  3.080 % |
379.92/380.23	c |    369213 |   47052   453141  1562270 | 2147483647   366742     28 |  3.080 % |
383.32/383.62	c |    370753 |   47052   453141  1562270 | 2147483647   368282     28 |  3.080 % |
386.42/386.73	c |    372447 |   47052   453141  1562270 | 2147483647   369976     28 |  3.080 % |
389.12/389.50	c |    374311 |   47052   453141  1562270 | 2147483647   371840     29 |  3.080 % |
393.52/393.81	c |    376360 |   47052   453141  1562270 | 2147483647   373889     28 |  3.080 % |
397.82/398.12	c |    378613 |   47052   453141  1562270 | 2147483647   376142     29 |  3.080 % |
401.41/401.76	c |    381091 |   47052   453141  1562270 | 2147483647   378620     29 |  3.080 % |
407.82/408.18	c |    383816 |   47052   453141  1562270 | 2147483647   381345     29 |  3.079 % |
410.82/411.19	c |    386815 |   47052   453141  1562270 | 2147483647   384344     29 |  3.080 % |
418.10/418.47	c |    390113 |   46952   450886  1549604 | 2147483647   387249     29 |  3.286 % |
425.50/425.89	c |    393738 |   46952   450886  1549604 | 2147483647   390873     29 |  3.327 % |
425.90/426.21	c |    393838 |   46952   450886  1549604 | 2147483647   390973     29 |  3.327 % |
426.10/426.49	c |    393948 |   46952   450886  1549604 | 2147483647   391083     29 |  3.327 % |
426.40/426.79	c |    394072 |   46952   450886  1549604 | 2147483647   391207     29 |  3.327 % |
426.60/426.95	c |    394206 |   46952   450886  1549604 | 2147483647   391341     29 |  3.327 % |
426.90/427.28	c |    394352 |   46952   450886  1549604 | 2147483647   391487     29 |  3.327 % |
427.60/427.91	c |    394513 |   46952   450886  1549604 | 2147483647   391648     29 |  3.327 % |
428.00/428.30	c |    394690 |   46952   450886  1549604 | 2147483647   391825     29 |  3.327 % |
428.40/428.75	c |    394884 |   46952   450886  1549604 | 2147483647   392019     29 |  3.327 % |
429.00/429.38	c |    395096 |   46952   450886  1549604 | 2147483647   392231     29 |  3.327 % |
429.60/429.97	c |    395329 |   46952   450886  1549604 | 2147483647   392464     29 |  3.327 % |
430.20/430.58	c |    395585 |   46952   450886  1549604 | 2147483647   392720     29 |  3.327 % |
430.90/431.29	c |    395867 |   46952   450886  1549604 | 2147483647   393002     29 |  3.327 % |
431.30/431.68	c |    396177 |   46952   450886  1549604 | 2147483647   393312     29 |  3.327 % |
432.19/432.53	c |    396517 |   46952   450886  1549604 | 2147483647   393652     29 |  3.327 % |
432.59/432.91	c |    396890 |   46952   450886  1549604 | 2147483647   394025     29 |  3.327 % |
433.49/433.86	c |    397301 |   46952   450886  1549604 | 2147483647   394436     29 |  3.327 % |
434.20/434.53	c |    397752 |   46952   450886  1549604 | 2147483647   394887     29 |  3.327 % |
435.09/435.49	c |    398245 |   46952   450886  1549604 | 2147483647   395380     29 |  3.327 % |
436.19/436.52	c |    398788 |   46952   450886  1549604 | 2147483647   395923     29 |  3.327 % |
436.49/436.87	c |    399386 |   46951   450886  1549604 | 2147483647   396521     29 |  3.327 % |
437.79/438.11	c |    400045 |   46951   450886  1549604 | 2147483647   397180     29 |  3.327 % |
439.09/439.44	c |    400766 |   46951   450886  1549604 | 2147483647   397901     29 |  3.327 % |
440.89/441.27	c |    401558 |   46951   450886  1549604 | 2147483647   398693     29 |  3.327 % |
443.49/443.87	c |    402430 |   46951   450886  1549604 | 2147483647   399565     29 |  3.327 % |
445.29/445.64	c |    403388 |   46951   450886  1549604 | 2147483647   400523     29 |  3.327 % |
448.18/448.53	c |    404442 |   46951   450886  1549604 | 2147483647   401577     29 |  3.327 % |
450.59/450.97	c |    405600 |   46951   450886  1549604 | 2147483647   402735     29 |  3.327 % |
453.99/454.30	c |    406873 |   46951   450886  1549604 | 2147483647   404008     29 |  3.327 % |
456.09/456.40	c |    408274 |   46932   450511  1547457 | 2147483647   405407     29 |  3.327 % |
459.78/460.16	c |    409815 |   46932   450511  1547457 | 2147483647   406948     29 |  3.327 % |
462.28/462.60	c |    411510 |   46932   450511  1547457 | 2147483647   408643     29 |  3.327 % |
465.48/465.82	c |    413374 |   46932   450511  1547457 | 2147483647   410507     29 |  3.327 % |
468.88/469.23	c |    415423 |   46932   450511  1547457 | 2147483647   412556     29 |  3.327 % |
471.87/472.29	c |    417676 |   46932   450511  1547457 | 2147483647   414809     29 |  3.327 % |
477.27/477.62	c |    420154 |   46932   450511  1547457 | 2147483647   417287     29 |  3.327 % |
482.87/483.21	c |    422880 |   46932   450511  1547457 | 2147483647   420013     29 |  3.327 % |
487.17/487.54	c |    425877 |   46932   450511  1547457 | 2147483647   423010     29 |  3.327 % |
493.27/493.60	c |    429176 |   46932   450511  1547457 | 2147483647   426309     29 |  3.327 % |
499.76/500.14	c |    432802 |   46929   449616  1544775 | 2147483647   195850     21 |  3.333 % |
504.75/505.11	c |    436789 |   46928   449616  1544775 | 2147483647   199836     21 |  3.339 % |
504.85/505.23	c |    436889 |   46928   449616  1544775 | 2147483647   199936     21 |  3.339 % |
504.95/505.37	c |    436999 |   46928   449616  1544775 | 2147483647   200046     21 |  3.339 % |
505.15/505.52	c |    437122 |   46928   449616  1544775 | 2147483647   200169     21 |  3.339 % |
505.15/505.59	c |    437256 |   46928   449616  1544775 | 2147483647   200303     21 |  3.339 % |
505.35/505.73	c |    437402 |   46928   449616  1544775 | 2147483647   200449     21 |  3.339 % |
505.56/506.00	c |    437562 |   46928   449616  1544775 | 2147483647   200609     21 |  3.339 % |
505.85/506.21	c |    437738 |   46928   449616  1544775 | 2147483647   200785     21 |  3.339 % |
506.05/506.47	c |    437931 |   46928   449616  1544775 | 2147483647   200978     21 |  3.339 % |
506.35/506.78	c |    438143 |   46928   449616  1544775 | 2147483647   201190     21 |  3.339 % |
506.65/507.03	c |    438377 |   46928   449616  1544775 | 2147483647   201424     21 |  3.339 % |
506.85/507.25	c |    438634 |   46928   449616  1544775 | 2147483647   201681     21 |  3.339 % |
507.25/507.60	c |    438916 |   46928   449616  1544775 | 2147483647   201963     21 |  3.339 % |
507.65/508.07	c |    439228 |   46928   449616  1544775 | 2147483647   202275     21 |  3.339 % |
508.15/508.51	c |    439567 |   46928   449616  1544775 | 2147483647   202614     21 |  3.339 % |
508.55/508.93	c |    439939 |   46928   449616  1544775 | 2147483647   202986     21 |  3.339 % |
508.95/509.36	c |    440348 |   46928   449616  1544775 | 2147483647   203395     21 |  3.339 % |
509.55/509.96	c |    440797 |   46928   449616  1544775 | 2147483647   203844     21 |  3.339 % |
510.05/510.46	c |    441290 |   46928   449616  1544775 | 2147483647   204337     21 |  3.339 % |
510.85/511.29	c |    441832 |   46926   449592  1544693 | 2147483647   204875     21 |  3.339 % |
511.75/512.17	c |    442428 |   46926   449592  1544693 | 2147483647   205471     21 |  3.339 % |
512.55/512.92	c |    443086 |   46926   449592  1544693 | 2147483647   206129     21 |  3.339 % |
513.35/513.73	c |    443808 |   46926   449592  1544693 | 2147483647   206851     21 |  3.339 % |
514.04/514.44	c |    444600 |   46926   449592  1544693 | 2147483647   207643     21 |  3.339 % |
514.64/515.01	c |    445473 |   46926   449592  1544693 | 2147483647   208516     21 |  3.339 % |
515.14/515.51	c |    446431 |   46926   449592  1544693 | 2147483647   209474     21 |  3.339 % |
515.34/515.80	c |    447489 |   46926   449592  1544693 | 2147483647   210532     21 |  3.339 % |
516.24/516.63	c |    448647 |   46926   449592  1544693 | 2147483647   211690     21 |  3.339 % |
517.54/517.95	c |    449920 |   46926   449592  1544693 | 2147483647   212963     21 |  3.339 % |
519.74/520.13	c |    451321 |   46926   449592  1544693 | 2147483647   214364     21 |  3.339 % |
521.94/522.33	c |    452863 |   46926   449592  1544693 | 2147483647   215906     21 |  3.339 % |
524.04/524.46	c |    454559 |   46926   449592  1544693 | 2147483647   217602     21 |  3.339 % |
526.24/526.64	c |    456423 |   46926   449592  1544693 | 2147483647   219466     21 |  3.339 % |
528.64/529.00	c |    458472 |   46926   449592  1544693 | 2147483647   221515     21 |  3.339 % |
530.24/530.66	c |    460725 |   46926   449592  1544693 | 2147483647   223768     21 |  3.339 % |
532.54/532.92	c |    463203 |   46926   449592  1544693 | 2147483647   226246     21 |  3.339 % |
535.54/535.91	c |    465932 |   46926   449592  1544693 | 2147483647   228975     21 |  3.339 % |
537.74/538.10	c |    468930 |   46926   449592  1544693 | 2147483647   231973     21 |  3.339 % |
540.84/541.27	c |    472226 |   46923   449568  1544611 | 2147483647   235266     21 |  3.345 % |
544.04/544.47	c |    475851 |   46923   449568  1544611 | 2147483647   238891     21 |  3.345 % |
548.83/549.25	c |    479841 |   46923   449568  1544611 | 2147483647   242881     21 |  3.345 % |
554.23/554.64	c |    484227 |   46923   449568  1544611 | 2147483647   247267     21 |  3.345 % |
554.33/554.72	c |    484329 |   46923   449568  1544611 | 2147483647   247369     21 |  3.345 % |
554.53/554.94	c |    484445 |   46923   449568  1544611 | 2147483647   247485     21 |  3.345 % |
554.63/555.06	c |    484566 |   46923   449568  1544611 | 2147483647   247606     21 |  3.345 % |
554.73/555.20	c |    484699 |   46923   449568  1544611 | 2147483647   247739     21 |  3.345 % |
555.03/555.42	c |    484847 |   46923   449568  1544611 | 2147483647   247887     21 |  3.345 % |
555.23/555.65	c |    485007 |   46923   449568  1544611 | 2147483647   248047     21 |  3.345 % |
555.33/555.80	c |    485184 |   46923   449568  1544611 | 2147483647   248224     21 |  3.345 % |
555.43/555.88	c |    485378 |   46923   449568  1544611 | 2147483647   248418     21 |  3.345 % |
555.62/556.03	c |    485591 |   46923   449568  1544611 | 2147483647   248631     21 |  3.345 % |
555.92/556.34	c |    485826 |   46923   449568  1544611 | 2147483647   248866     21 |  3.345 % |
556.23/556.62	c |    486082 |   46923   449568  1544611 | 2147483647   249122     21 |  3.345 % |
556.62/557.04	c |    486365 |   46923   449568  1544611 | 2147483647   249405     21 |  3.345 % |
557.02/557.48	c |    486674 |   46923   449568  1544611 | 2147483647   249714     21 |  3.345 % |
557.62/558.05	c |    487015 |   46923   449568  1544611 | 2147483647   250055     21 |  3.345 % |
558.22/558.64	c |    487388 |   46923   449568  1544611 | 2147483647   250428     21 |  3.345 % |
559.02/559.49	c |    487800 |   46923   449568  1544611 | 2147483647   250840     21 |  3.345 % |
559.53/559.90	c |    488251 |   46923   449568  1544611 | 2147483647   251291     21 |  3.345 % |
560.42/560.87	c |    488746 |   46594   429959  1433357 | 2147483647   134950     18 |  4.023 % |
561.12/561.58	c |    489288 |   46593   429959  1433357 | 2147483647   135491     18 |  4.025 % |
561.82/562.21	c |    489884 |   46593   429959  1433357 | 2147483647   136087     18 |  4.025 % |
562.42/562.85	c |    490539 |   46593   429959  1433357 | 2147483647   136742     18 |  4.025 % |
563.52/563.97	c |    491262 |   46593   429959  1433357 | 2147483647   137465     18 |  4.025 % |
564.52/564.97	c |    492054 |   46593   429959  1433357 | 2147483647   138257     18 |  4.025 % |
565.82/566.28	c |    492926 |   46589   429959  1433357 | 2147483647   139126     18 |  4.303 % |
566.32/566.78	c ===============================================================================
566.32/566.78	c restarts              : 887
566.32/566.78	c conflicts             : 493299         (924 /sec)
566.32/566.78	c decisions             : 796191         (1.82 % random) (1491 /sec)
566.32/566.78	c propagations          : 252099142      (472098 /sec)
566.32/566.78	c conflict literals     : 13724445       (45.99 % deleted)
566.32/566.78	c Memory used           : 90.94 MB
566.32/566.78	c CPU time              : 533.998 s
566.32/566.78	c 
566.32/566.78	s UNSATISFIABLE
566.32/566.79	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833851-1242825498/watcher-1833851-1242825498 -o /tmp/evaluation-result-1833851-1242825498/solver-1833851-1242825498 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833851-1242825498.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27364
/proc/meminfo: memFree=1633560/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) R 27362 27364 27186 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235370899955 0 0 4100 65536 0 0 0 17 0 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0

[startup+0.058773 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27364
/proc/meminfo: memFree=1633560/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101775 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27364
/proc/meminfo: memFree=1633560/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301792 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27364
/proc/meminfo: memFree=1633560/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701829 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27364
/proc/meminfo: memFree=1633560/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27369
/proc/meminfo: memFree=1516808/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
[pid=27368] ppid=27364 vsize=179516 CPUtime=1.48
/proc/27368/stat : 27368 (SatELite_releas) R 27364 27364 27186 0 -1 4194304 37910 0 0 0 125 23 0 0 25 0 1 0 310577534 183824384 37787 1992294400 134512640 135223648 4294956128 18446744073709551615 134548212 0 0 4096 3 0 0 0 17 0 0 0
/proc/27368/statm: 44879 37787 70 173 0 44704 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 184872

[startup+3.10105 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27369
/proc/meminfo: memFree=1482312/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
[pid=27368] ppid=27364 vsize=202808 CPUtime=3.08
/proc/27368/stat : 27368 (SatELite_releas) R 27364 27364 27186 0 -1 4194304 41146 0 0 0 284 24 0 0 25 0 1 0 310577534 207675392 41023 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 0 0 0
/proc/27368/statm: 50702 41023 75 173 0 50527 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 208164

[startup+6.30133 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27369
/proc/meminfo: memFree=1469256/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
[pid=27368] ppid=27364 vsize=202808 CPUtime=6.28
/proc/27368/stat : 27368 (SatELite_releas) R 27364 27364 27186 0 -1 4194304 41164 0 0 0 604 24 0 0 25 0 1 0 310577534 207675392 41041 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 0 0 0
/proc/27368/statm: 50702 41041 75 173 0 50527 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 208164

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27369
/proc/meminfo: memFree=1469384/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
[pid=27368] ppid=27364 vsize=202656 CPUtime=12.66
/proc/27368/stat : 27368 (SatELite_releas) R 27364 27364 27186 0 -1 4194304 41205 0 0 0 1242 24 0 0 25 0 1 0 310577534 207519744 41044 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 0 0 0
/proc/27368/statm: 50664 41044 75 173 0 50489 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 208012

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27369
/proc/meminfo: memFree=1468744/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=0
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310577533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27364/statm: 1339 237 197 169 0 50 0
[pid=27368] ppid=27364 vsize=204552 CPUtime=25.46
/proc/27368/stat : 27368 (SatELite_releas) R 27364 27364 27186 0 -1 4194304 41482 0 0 0 2522 24 0 0 25 0 1 0 310577534 209461248 41283 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 0 0 0
/proc/27368/statm: 51138 41283 75 173 0 50963 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 209908

[startup+51.1024 s]
/proc/loadavg: 1.12 1.02 1.00 2/66 27370
/proc/meminfo: memFree=1573704/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=36424 CPUtime=18.84
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 8580 0 0 0 1877 7 0 0 25 0 1 0 310580755 37298176 8552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 9106 8552 77 171 0 8933 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 41780

[startup+102.307 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 27370
/proc/meminfo: memFree=1562312/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=47896 CPUtime=70
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 11419 0 0 0 6989 11 0 0 25 0 1 0 310580755 49045504 11391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 11974 11391 77 171 0 11801 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 53252

[startup+162.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1552456/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=57944 CPUtime=129.95
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 13885 0 0 0 12982 13 0 0 25 0 1 0 310580755 59334656 13857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 14486 13857 77 171 0 14313 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 63300

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1543816/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=66356 CPUtime=189.93
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 16029 0 0 0 18978 15 0 0 25 0 1 0 310580755 67948544 16001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 16589 16001 77 171 0 16416 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 71712

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1536776/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=73340 CPUtime=249.89
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 17803 0 0 0 24972 17 0 0 25 0 1 0 310580755 75100160 17775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 18335 17775 77 171 0 18162 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 78696

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1529992/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=80308 CPUtime=309.87
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 19447 0 0 0 30967 20 0 0 25 0 1 0 310580755 82235392 19419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 20077 19419 77 171 0 19904 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 85664

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1524744/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=85600 CPUtime=369.84
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 20775 0 0 0 36963 21 0 0 25 0 1 0 310580755 87654400 20747 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 21400 20747 77 171 0 21227 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 90956

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1519944/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=90220 CPUtime=429.81
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 21930 0 0 0 42958 23 0 0 25 0 1 0 310580755 92385280 21902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 22555 21902 77 171 0 22382 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 95576

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=489.77
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22668 0 0 0 48953 24 0 0 25 0 1 0 310580755 95350784 22640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22640 77 171 0 23106 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 98472

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

[startup+537.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=504.97
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 50473 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 537.14
Current children cumulated vsize (KiB) 98472

[startup+550.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=517.76
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 51752 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 549.93
Current children cumulated vsize (KiB) 98472

[startup+556.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=524.15
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 52391 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 556.32
Current children cumulated vsize (KiB) 98472

[startup+563.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=530.56
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 53032 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 562.73
Current children cumulated vsize (KiB) 98472

[startup+564.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=532.15
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 53191 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 98472

[startup+565.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=532.95
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 53271 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 565.12
Current children cumulated vsize (KiB) 98472

[startup+566.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=533.75
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 53351 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 565.92
Current children cumulated vsize (KiB) 98472

[startup+566.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5356 CPUtime=32.17
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 336 51107 0 0 0 0 3174 43 16 0 1 0 310577533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1339 239 197 169 0 50 0
[pid=27370] ppid=27364 vsize=93116 CPUtime=534.15
/proc/27370/stat : 27370 (minisat_static) R 27364 27364 27186 0 -1 4194304 22670 0 0 0 53391 24 0 0 25 0 1 0 310580755 95350784 22642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27370/statm: 23279 22642 77 171 0 23106 0
Current children cumulated CPU time (s) 566.32
Current children cumulated vsize (KiB) 98472

[startup+566.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27370
/proc/meminfo: memFree=1516936/2055920 swapFree=4180348/4192956
[pid=27364] ppid=27362 vsize=5360 CPUtime=566.43
/proc/27364/stat : 27364 (SatELiteGTI) S 27362 27364 27186 0 -1 4194304 363 73783 0 0 0 0 56574 69 19 0 1 0 310577533 5488640 241 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27364/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 566.43
Current children cumulated vsize (KiB) 5360

Child status: 20
Real time (s): 566.817
CPU time (s): 566.46
CPU user time (s): 565.748
CPU system time (s): 0.711891
CPU usage (%): 99.9369
Max. virtual memory (cumulated for all children) (KiB): 213592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 565.748
system time used= 0.711891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74274
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= 46
involuntary context switches= 3071

runsolver used 0.58891 second user time and 1.57576 second system time

The end

Launcher Data 

Begin job on node51 at 2009-05-20 15:18:20
IDJOB=1833851
IDBENCH=70967
IDSOLVER=671
FILE ID=node51/1833851-1242825498
PBS_JOBID= 9322524
Free space on /tmp= 66164 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833851-1242825498/watcher-1833851-1242825498 -o /tmp/evaluation-result-1833851-1242825498/solver-1833851-1242825498 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833851-1242825498.cnf

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

MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED=1629696964

node51.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.214
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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1634040 kB
Buffers:         53476 kB
Cached:         316072 kB
SwapCached:       6900 kB
Active:         145084 kB
Inactive:       233408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1634040 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:           31652 kB
Writeback:           0 kB
Mapped:          14080 kB
Slab:            29428 kB
Committed_AS:   905184 kB
PageTables:       1396 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= 66164 MiB
End job on node51 at 2009-05-20 15:27:47