Trace number 1833839

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 728.033 728.551

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
MD5SUMba6884aaa746378e56c38fd8b3d0255e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark200.567
Satisfiable
(Un)Satisfiability was proved
Number of variables486992
Number of clauses2456708
Sum of the clauses size7147094
Maximum clause length11
Minimum clause length1
Number of clauses of size 145577
Number of clauses of size 2599727
Number of clauses of size 31431108
Number of clauses of size 4295435
Number of clauses of size 584412
Number of clauses of size over 5449

Solver Data 

0.00/0.00	c Parsing...
1.88/2.00	c ==============================================================================
1.88/2.00	c |           |     ORIGINAL     |              LEARNT              |          |
1.88/2.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.88/2.00	c ==============================================================================
1.88/2.00	c |         0 | 2333194  6866110 |  699958       0        0     nan |  0.000 % |
66.54/66.60	c |         0 |  944203  3351555 |      --       0       --      -- |     --   | -1124318/-2793809
66.54/66.61	c ==============================================================================
66.54/66.61	c Result  :   #vars: 91522   #clauses: 944203   #literals: 3351555
66.54/66.61	c CPU time:   66.049 s
66.54/66.61	c ==============================================================================
67.61/67.87	c This is MiniSat 2.0 beta
67.61/67.87	c WARNING: for repeatability, setting FPU to use double precision
67.61/67.87	c ============================[ Problem Statistics ]=============================
67.61/67.87	c |                                                                             |
67.61/67.88	c |  Number of variables:  91522                                                |
67.61/67.88	c |  Number of clauses:    944203                                               |
68.20/68.43	c |  Parsing time:         0.49         s                                       |
68.20/68.47	c ============================[ Search Statistics ]==============================
68.20/68.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
68.20/68.47	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
68.20/68.47	c ===============================================================================
68.20/68.47	c |         0 |   91522   944203  3351555 |   314734        0    nan |  0.000 % |
68.31/68.53	c |       100 |   91521   944203  3351555 |   314734       99      8 |  0.001 % |
68.31/68.54	c |       200 |   91521   944203  3351555 |   314734      199      7 |  0.001 % |
68.31/68.58	c |       300 |   91521   944203  3351555 |   314734      299     10 |  0.001 % |
68.31/68.59	c |       411 |   91513   944203  3351555 |   314734      409     11 |  0.016 % |
68.40/68.61	c |       512 |   91513   944203  3351555 |   314734      510     11 |  0.016 % |
68.40/68.62	c |       622 |   91509   944203  3351555 |   314734      619     11 |  0.109 % |
68.40/68.63	c |       743 |   91509   944203  3351555 |   314734      740     12 |  0.109 % |
68.40/68.63	c |       843 |   91509   944203  3351555 |   314734      840     13 |  0.109 % |
68.40/68.64	c |       954 |   91509   944203  3351555 |   314734      951     13 |  0.109 % |
68.40/68.70	c |      1076 |   91508   944203  3351555 |   314734     1072     13 |  0.266 % |
68.50/68.71	c |      1209 |   91508   944203  3351555 |   314734     1205     13 |  0.266 % |
68.50/68.72	c |      1311 |   91508   944203  3351555 |   314734     1307     13 |  0.266 % |
68.50/68.74	c |      1421 |   91508   944203  3351555 |   314734     1417     13 |  0.266 % |
68.50/68.77	c |      1542 |   91504   944203  3351555 |   314734     1535     13 |  0.302 % |
68.50/68.79	c |      1675 |   91504   944203  3351555 |   314734     1668     13 |  0.302 % |
68.60/68.80	c |      1821 |   91504   944203  3351555 |   314734     1814     13 |  0.302 % |
68.60/68.82	c |      1921 |   91504   944203  3351555 |   314734     1914     13 |  0.302 % |
68.60/68.84	c |      2031 |   91504   944203  3351555 |   314734     2024     13 |  0.302 % |
68.60/68.87	c |      2152 |   91504   944203  3351555 |   314734     2145     13 |  0.302 % |
68.60/68.88	c |      2285 |   91504   944203  3351555 |   314734     2278     13 |  0.302 % |
68.70/68.90	c |      2431 |   91504   944203  3351555 |   314734     2424     13 |  0.302 % |
68.70/68.92	c |      2591 |   91504   944203  3351555 |   314734     2584     12 |  0.302 % |
68.70/68.95	c |      2693 |   91504   944203  3351555 |   314734     2686     12 |  0.302 % |
68.80/69.01	c |      2803 |   91504   944203  3351555 |   314734     2796     13 |  0.302 % |
68.80/69.02	c |      2924 |   91504   944203  3351555 |   314734     2917     13 |  0.302 % |
68.80/69.03	c |      3057 |   91504   944203  3351555 |   314734     3050     13 |  0.302 % |
68.80/69.05	c |      3203 |   91504   944203  3351555 |   314734     3196     13 |  0.302 % |
68.80/69.06	c |      3365 |   91504   944203  3351555 |   314734     3358     13 |  0.302 % |
68.80/69.09	c |      3542 |   91504   944203  3351555 |   314734     3535     13 |  0.302 % |
68.80/69.10	c |      3643 |   91504   944203  3351555 |   314734     3636     13 |  0.302 % |
68.90/69.11	c |      3753 |   91504   944203  3351555 |   314734     3746     13 |  0.302 % |
68.90/69.12	c |      3874 |   91504   944203  3351555 |   314734     3867     13 |  0.302 % |
69.00/69.21	c |      4007 |   91504   944203  3351555 |   314734     4000     13 |  0.302 % |
69.00/69.23	c |      4153 |   91504   944203  3351555 |   314734     4146     13 |  0.302 % |
69.00/69.24	c |      4314 |   91504   944203  3351555 |   314734     4307     13 |  0.302 % |
69.10/69.33	c |      4490 |   91504   944203  3351555 |   314734     4483     13 |  0.302 % |
69.20/69.43	c |      4684 |   91504   944203  3351555 |   314734     4677     14 |  0.302 % |
69.30/69.50	c |      4785 |   91504   944203  3351555 |   314734     4778     13 |  0.302 % |
69.30/69.51	c |      4896 |   91504   944203  3351555 |   314734     4889     13 |  0.302 % |
69.30/69.53	c |      5017 |   91504   944203  3351555 |   314734     5010     13 |  0.302 % |
69.30/69.54	c |      5151 |   91504   944203  3351555 |   314734     5144     14 |  0.302 % |
69.30/69.55	c |      5301 |   91503   944203  3351555 |   314734     5293     14 |  0.303 % |
69.30/69.57	c |      5461 |   91503   944203  3351555 |   314734     5453     14 |  0.303 % |
69.30/69.59	c |      5638 |   91503   944203  3351555 |   314734     5630     14 |  0.303 % |
69.40/69.61	c |      5833 |   91503   944203  3351555 |   314734     5825     13 |  0.303 % |
69.40/69.65	c |      6045 |   91503   944203  3351555 |   314734     6037     13 |  0.303 % |
69.40/69.65	c |      6145 |   91503   944203  3351555 |   314734     6137     13 |  0.303 % |
69.40/69.68	c |      6255 |   91503   944203  3351555 |   314734     6247     13 |  0.303 % |
69.50/69.70	c |      6376 |   91503   944203  3351555 |   314734     6368     13 |  0.303 % |
69.50/69.72	c |      6509 |   91503   944203  3351555 |   314734     6501     13 |  0.303 % |
69.50/69.73	c |      6656 |   91503   944203  3351555 |   314734     6648     13 |  0.303 % |
69.50/69.75	c |      6817 |   91503   944203  3351555 |   314734     6809     13 |  0.303 % |
69.50/69.79	c |      6997 |   91503   944203  3351555 |   314734     6989     13 |  0.303 % |
69.60/69.81	c |      7191 |   91470   944203  3351555 |   314734     7177     13 |  0.451 % |
69.60/69.89	c |      7403 |   91470   944203  3351555 |   314734     7389     13 |  0.451 % |
69.70/69.95	c |      7637 |   91388   944203  3351555 |   314734     7618     13 |  0.872 % |
69.70/69.96	c |      7739 |   91388   944203  3351555 |   314734     7720     13 |  0.872 % |
69.70/69.97	c |      7850 |   91388   944203  3351555 |   314734     7831     13 |  0.872 % |
69.80/70.07	c |      7972 |   91388   944203  3351555 |   314734     7953     13 |  0.872 % |
69.90/70.16	c |      8105 |   91384   944203  3351555 |   314734     8085     13 |  0.878 % |
70.00/70.20	c |      8252 |   91349   944203  3351555 |   314734     8231     13 |  1.636 % |
70.00/70.22	c |      8412 |   91308   944203  3351555 |   314734     8391     13 |  1.636 % |
70.00/70.24	c |      8588 |   91308   944203  3351555 |   314734     8567     14 |  1.636 % |
70.00/70.27	c |      8781 |   91308   944203  3351555 |   314734     8760     13 |  1.636 % |
70.00/70.29	c |      8994 |   91213   944203  3351555 |   314734     8959     13 |  2.021 % |
70.10/70.31	c |      9228 |   91198   944203  3351555 |   314734     9192     13 |  2.039 % |
70.10/70.33	c |      9485 |   91136   944203  3351555 |   314734     9449     13 |  2.039 % |
70.10/70.35	c |      9588 |   91135   944203  3351555 |   314734     9551     13 |  2.054 % |
70.10/70.37	c |      9700 |   91135   944203  3351555 |   314734     9663     13 |  2.054 % |
70.10/70.38	c |      9823 |   91135   944203  3351555 |   314734     9786     13 |  2.054 % |
70.20/70.44	c |      9956 |   91134   944203  3351555 |   314734     9919     13 |  2.054 % |
70.20/70.47	c |     10102 |   90345   944203  3351555 | 2147483647    10065     13 |  2.054 % |
70.20/70.49	c |     10264 |   90345   944203  3351555 | 2147483647    10227     13 |  2.054 % |
70.40/70.63	c |     10441 |   90345   944203  3351555 | 2147483647    10404     13 |  2.054 % |
70.60/70.86	c |     10635 |   89987   944203  3351555 | 2147483647    10586     13 |  2.266 % |
70.70/70.96	c |     10848 |   89444   867520  2920689 | 2147483647     7449     12 |  2.278 % |
70.80/71.08	c |     11081 |   89443   867520  2920689 | 2147483647     7682     12 |  2.278 % |
71.00/71.24	c |     11337 |   89441   867520  2920689 | 2147483647     7938     12 |  2.278 % |
71.10/71.31	c |     11619 |   89398   867520  2920689 | 2147483647     8217     12 |  2.472 % |
71.10/71.38	c |     11721 |   89396   867520  2920689 | 2147483647     8319     12 |  2.472 % |
71.10/71.39	c |     11833 |   89396   867520  2920689 | 2147483647     8431     12 |  2.472 % |
71.10/71.40	c |     11955 |   89396   867520  2920689 | 2147483647     8553     12 |  2.472 % |
71.20/71.41	c |     12088 |   89396   867520  2920689 | 2147483647     8686     12 |  2.472 % |
71.20/71.43	c |     12234 |   89396   867520  2920689 | 2147483647     8832     12 |  2.472 % |
71.20/71.45	c |     12395 |   89396   867520  2920689 | 2147483647     8993     12 |  2.472 % |
71.20/71.48	c |     12571 |   89396   867520  2920689 | 2147483647     9169     12 |  2.472 % |
71.30/71.58	c |     12765 |   89396   867520  2920689 | 2147483647     9363     12 |  2.472 % |
71.39/71.61	c |     12977 |   89396   867520  2920689 | 2147483647     9575     12 |  2.472 % |
71.39/71.67	c |     13210 |   89290   867520  2920689 | 2147483647     9808     12 |  2.472 % |
71.59/71.87	c |     13466 |   89290   867520  2920689 | 2147483647    10064     12 |  2.472 % |
71.69/71.95	c |     13747 |   89290   867520  2920689 | 2147483647    10345     12 |  2.472 % |
71.69/71.98	c |     14056 |   89290   867520  2920689 | 2147483647    10654     12 |  2.472 % |
71.79/72.00	c |     14156 |   89290   867520  2920689 | 2147483647    10754     12 |  2.472 % |
71.79/72.03	c |     14266 |   89290   867520  2920689 | 2147483647    10864     12 |  2.472 % |
71.79/72.04	c |     14388 |   89290   867520  2920689 | 2147483647    10986     12 |  2.472 % |
71.79/72.08	c |     14521 |   89287   867520  2920689 | 2147483647    11117     12 |  2.478 % |
71.79/72.09	c |     14667 |   89286   867520  2920689 | 2147483647    11262     12 |  2.479 % |
71.89/72.11	c |     14827 |   89286   867520  2920689 | 2147483647    11422     12 |  2.479 % |
71.89/72.15	c |     15004 |   89285   867520  2920689 | 2147483647    11599     12 |  2.479 % |
71.99/72.22	c |     15197 |   89285   867520  2920689 | 2147483647    11792     12 |  2.479 % |
71.99/72.26	c |     15411 |   89285   867520  2920689 | 2147483647    12006     12 |  2.479 % |
72.09/72.35	c |     15644 |   89285   867520  2920689 | 2147483647    12239     12 |  2.479 % |
72.19/72.40	c |     15900 |   89285   867520  2920689 | 2147483647    12495     12 |  2.479 % |
72.19/72.47	c |     16181 |   89285   867520  2920689 | 2147483647    12776     12 |  2.479 % |
72.30/72.55	c |     16490 |   89285   867520  2920689 | 2147483647    13085     12 |  2.479 % |
72.30/72.60	c |     16831 |   89285   867520  2920689 | 2147483647    13426     12 |  2.479 % |
72.40/72.63	c |     16931 |   89285   867520  2920689 | 2147483647    13526     12 |  2.479 % |
72.40/72.66	c |     17041 |   89285   867520  2920689 | 2147483647    13636     12 |  2.479 % |
72.40/72.67	c |     17162 |   89285   867520  2920689 | 2147483647    13757     12 |  2.479 % |
72.40/72.69	c |     17297 |   89285   867520  2920689 | 2147483647    13892     12 |  2.479 % |
72.49/72.70	c |     17443 |   89285   867520  2920689 | 2147483647    14038     12 |  2.479 % |
72.49/72.72	c |     17606 |   89285   867520  2920689 | 2147483647    14201     12 |  2.479 % |
72.49/72.79	c |     17783 |   89285   867520  2920689 | 2147483647    14378     12 |  2.479 % |
72.59/72.82	c |     17976 |   89285   867520  2920689 | 2147483647    14571     12 |  2.479 % |
72.59/72.84	c |     18188 |   89285   867520  2920689 | 2147483647    14783     12 |  2.479 % |
72.59/72.87	c |     18423 |   89285   867520  2920689 | 2147483647    15018     12 |  2.479 % |
72.69/72.92	c |     18679 |   89285   867520  2920689 | 2147483647    15274     13 |  2.479 % |
72.69/72.95	c |     18960 |   89285   867520  2920689 | 2147483647    15555     13 |  2.479 % |
72.79/73.01	c |     19269 |   89285   867520  2920689 | 2147483647    15864     13 |  2.479 % |
72.79/73.09	c |     19608 |   89253   863524  2898400 | 2147483647    15719     13 |  2.479 % |
72.89/73.15	c |     19984 |   89253   863524  2898400 | 2147483647    16095     13 |  2.479 % |
72.89/73.16	c |     20084 |   89253   863524  2898400 | 2147483647    16195     13 |  2.479 % |
72.89/73.17	c |     20194 |   89253   863524  2898400 | 2147483647    16305     13 |  2.479 % |
72.89/73.19	c |     20315 |   89253   863524  2898400 | 2147483647    16426     13 |  2.479 % |
72.99/73.21	c |     20448 |   89253   863524  2898400 | 2147483647    16559     13 |  2.479 % |
72.99/73.24	c |     20596 |   89253   863524  2898400 | 2147483647    16707     13 |  2.479 % |
72.99/73.28	c |     20759 |   89253   863524  2898400 | 2147483647    16870     13 |  2.479 % |
73.09/73.32	c |     20938 |   89253   863524  2898400 | 2147483647    17049     13 |  2.479 % |
73.09/73.37	c |     21132 |   89253   863524  2898400 | 2147483647    17243     13 |  2.479 % |
73.09/73.38	c |     21344 |   89253   863524  2898400 | 2147483647    17455     13 |  2.479 % |
73.19/73.41	c |     21578 |   89253   863524  2898400 | 2147483647    17689     13 |  2.479 % |
73.19/73.43	c |     21836 |   89253   863524  2898400 | 2147483647    17947     13 |  2.479 % |
73.29/73.50	c |     22118 |   89253   863524  2898400 | 2147483647    18229     13 |  2.479 % |
73.29/73.54	c |     22429 |   89253   863524  2898400 | 2147483647    18540     13 |  2.479 % |
73.39/73.63	c |     22768 |   89253   863524  2898400 | 2147483647    18879     13 |  2.479 % |
73.39/73.67	c |     23142 |   89253   863524  2898400 | 2147483647    19253     13 |  2.479 % |
73.59/73.85	c |     23555 |   89253   863524  2898400 | 2147483647    19666     13 |  2.479 % |
73.59/73.88	c |     23658 |   89253   863524  2898400 | 2147483647    19769     13 |  2.479 % |
73.69/73.90	c |     23768 |   89253   863524  2898400 | 2147483647    19879     13 |  2.479 % |
73.69/73.93	c |     23890 |   89253   863524  2898400 | 2147483647    20001     13 |  2.479 % |
73.69/73.96	c |     24023 |   89252   863524  2898400 | 2147483647    20133     13 |  2.482 % |
73.79/74.00	c |     24169 |   89252   863524  2898400 | 2147483647    20279     13 |  2.482 % |
73.79/74.06	c |     24331 |   89252   863524  2898400 | 2147483647    20441     13 |  2.482 % |
73.89/74.14	c |     24508 |   89252   863524  2898400 | 2147483647    20618     13 |  2.482 % |
73.89/74.16	c |     24701 |   89252   863524  2898400 | 2147483647    20811     13 |  2.482 % |
73.99/74.20	c |     24914 |   89252   863524  2898400 | 2147483647    21024     13 |  2.482 % |
73.99/74.23	c |     25147 |   89252   863524  2898400 | 2147483647    21257     13 |  2.482 % |
73.99/74.26	c |     25403 |   89252   863524  2898400 | 2147483647    21513     13 |  2.482 % |
74.09/74.30	c |     25687 |   89252   863524  2898400 | 2147483647    21797     13 |  2.482 % |
74.09/74.36	c |     25996 |   89252   863524  2898400 | 2147483647    22106     13 |  2.482 % |
74.18/74.40	c |     26335 |   89252   863524  2898400 | 2147483647    22445     13 |  2.483 % |
74.18/74.44	c |     26708 |   89252   863524  2898400 | 2147483647    22818     13 |  2.482 % |
74.18/74.48	c |     27117 |   89252   863524  2898400 | 2147483647    23227     13 |  2.482 % |
74.28/74.53	c |     27566 |   89252   863524  2898400 | 2147483647    23676     14 |  2.482 % |
74.28/74.57	c |     27668 |   89252   863524  2898400 | 2147483647    23778     14 |  2.482 % |
74.28/74.59	c |     27779 |   89252   863524  2898400 | 2147483647    23889     14 |  2.482 % |
74.38/74.61	c |     27902 |   89252   863524  2898400 | 2147483647    24012     14 |  2.482 % |
74.38/74.63	c |     28035 |   89252   863524  2898400 | 2147483647    24145     14 |  2.482 % |
74.38/74.66	c |     28182 |   89252   863524  2898400 | 2147483647    24292     14 |  2.482 % |
74.38/74.68	c |     28343 |   89252   863524  2898400 | 2147483647    24453     14 |  2.482 % |
74.49/74.73	c |     28519 |   89252   863524  2898400 | 2147483647    24629     14 |  2.482 % |
74.59/74.81	c |     28712 |   89252   863524  2898400 | 2147483647    24822     14 |  2.482 % |
74.59/74.84	c |     28924 |   89252   863524  2898400 | 2147483647    25034     14 |  2.482 % |
74.59/74.87	c |     29157 |   89252   863524  2898400 | 2147483647    25267     14 |  2.482 % |
74.68/74.98	c |     29418 |   89252   863524  2898400 | 2147483647    25528     14 |  2.482 % |
74.78/75.01	c |     29699 |   89252   863524  2898400 | 2147483647    25809     14 |  2.482 % |
74.78/75.06	c |     30008 |   89252   863524  2898400 | 2147483647    26118     14 |  2.482 % |
74.78/75.09	c |     30347 |   89252   863524  2898400 | 2147483647    26457     14 |  2.482 % |
74.88/75.18	c |     30719 |   89252   863524  2898400 | 2147483647    26829     14 |  2.482 % |
75.08/75.36	c |     31128 |   89250   863500  2898318 | 2147483647    27237     14 |  2.482 % |
75.18/75.42	c |     31577 |   89250   863500  2898318 | 2147483647    27686     14 |  2.482 % |
75.28/75.52	c |     32072 |   89250   863500  2898318 | 2147483647    28181     14 |  2.482 % |
75.28/75.54	c |     32172 |   89250   863500  2898318 | 2147483647    28281     14 |  2.482 % |
75.28/75.57	c |     32282 |   89250   863500  2898318 | 2147483647    28391     14 |  2.482 % |
75.28/75.59	c |     32405 |   89250   863500  2898318 | 2147483647    28514     14 |  2.482 % |
75.38/75.63	c |     32539 |   89250   863500  2898318 | 2147483647    28648     14 |  2.482 % |
75.38/75.67	c |     32685 |   89250   863500  2898318 | 2147483647    28794     14 |  2.482 % |
75.48/75.73	c |     32845 |   89250   863500  2898318 | 2147483647    28954     14 |  2.482 % |
75.48/75.76	c |     33021 |   89250   863500  2898318 | 2147483647    29130     14 |  2.482 % |
75.58/75.81	c |     33215 |   89250   863500  2898318 | 2147483647    29324     14 |  2.482 % |
75.58/75.86	c |     33427 |   89250   863500  2898318 | 2147483647    29536     14 |  2.482 % |
75.58/75.88	c |     33661 |   89250   863500  2898318 | 2147483647    29770     14 |  2.482 % |
75.68/75.90	c |     33917 |   89250   863500  2898318 | 2147483647    30026     14 |  2.482 % |
75.68/75.97	c |     34199 |   89250   863500  2898318 | 2147483647    30308     14 |  2.482 % |
75.78/76.06	c |     34509 |   89250   863500  2898318 | 2147483647    30618     14 |  2.482 % |
75.98/76.21	c |     34849 |   89250   863500  2898318 | 2147483647    30958     14 |  2.482 % |
75.98/76.28	c |     35221 |   89250   863500  2898318 | 2147483647    31330     14 |  2.482 % |
76.08/76.38	c |     35630 |   89250   863500  2898318 | 2147483647    31739     14 |  2.482 % |
76.18/76.45	c |     36079 |   89250   863500  2898318 | 2147483647    32188     14 |  2.482 % |
76.18/76.48	c |     36573 |   89250   863500  2898318 | 2147483647    32682     14 |  2.482 % |
76.28/76.55	c |     37115 |   89250   863500  2898318 | 2147483647    33224     14 |  2.482 % |
76.28/76.57	c |     37215 |   89250   863500  2898318 | 2147483647    33324     14 |  2.482 % |
76.28/76.58	c |     37326 |   89250   863500  2898318 | 2147483647    33435     14 |  2.482 % |
76.38/76.60	c |     37447 |   89250   863500  2898318 | 2147483647    33556     14 |  2.482 % |
76.38/76.62	c |     37581 |   89250   863500  2898318 | 2147483647    33690     14 |  2.482 % |
76.38/76.65	c |     37727 |   89250   863500  2898318 | 2147483647    33836     14 |  2.482 % |
76.38/76.68	c |     37887 |   89250   863500  2898318 | 2147483647    33996     14 |  2.482 % |
76.38/76.69	c |     38063 |   89250   863500  2898318 | 2147483647    34172     14 |  2.482 % |
76.48/76.70	c |     38256 |   89250   863500  2898318 | 2147483647    34365     14 |  2.482 % |
76.48/76.76	c |     38468 |   89250   863500  2898318 | 2147483647    34577     14 |  2.482 % |
76.58/76.82	c |     38702 |   89250   863500  2898318 | 2147483647    34811     14 |  2.482 % |
76.58/76.85	c |     38958 |   89250   863500  2898318 | 2147483647    35067     14 |  2.482 % |
76.58/76.87	c |     39239 |   89250   863500  2898318 | 2147483647    35348     14 |  2.482 % |
76.58/76.90	c |     39549 |   89250   863500  2898318 | 2147483647    35658     14 |  2.482 % |
76.68/76.94	c |     39889 |   89250   863500  2898318 | 2147483647    35998     14 |  2.482 % |
76.68/76.99	c |     40262 |   89250   863500  2898318 | 2147483647    36371     14 |  2.482 % |
76.78/77.07	c |     40672 |   89250   863500  2898318 | 2147483647    36781     14 |  2.482 % |
76.88/77.15	c |     41122 |   89250   863500  2898318 | 2147483647    37231     14 |  2.482 % |
76.98/77.21	c |     41617 |   89250   863500  2898318 | 2147483647    37726     14 |  2.482 % |
76.98/77.27	c |     42159 |   89250   863500  2898318 | 2147483647    38268     14 |  2.482 % |
77.08/77.38	c |     42757 |   89250   863500  2898318 | 2147483647    38866     14 |  2.482 % |
77.08/77.39	c |     42857 |   89250   863500  2898318 | 2147483647    38966     14 |  2.482 % |
77.18/77.43	c |     42967 |   89250   863500  2898318 | 2147483647    39076     14 |  2.482 % |
77.18/77.45	c |     43089 |   89250   863500  2898318 | 2147483647    39198     14 |  2.482 % |
77.18/77.47	c |     43222 |   89250   863500  2898318 | 2147483647    39331     14 |  2.482 % |
77.18/77.49	c |     43368 |   89250   863500  2898318 | 2147483647    39477     14 |  2.482 % |
77.28/77.51	c |     43529 |   89250   863500  2898318 | 2147483647    39638     14 |  2.482 % |
77.28/77.55	c |     43707 |   89250   863500  2898318 | 2147483647    39816     14 |  2.482 % |
77.28/77.58	c |     43901 |   89250   863500  2898318 | 2147483647    40010     14 |  2.482 % |
77.38/77.63	c |     44113 |   89250   863500  2898318 | 2147483647    40222     14 |  2.482 % |
77.48/77.74	c |     44347 |   89250   863500  2898318 | 2147483647    40456     14 |  2.482 % |
77.48/77.76	c |     44605 |   89250   863500  2898318 | 2147483647    40714     14 |  2.482 % |
77.58/77.87	c |     44886 |   89250   863500  2898318 | 2147483647    40995     14 |  2.482 % |
77.68/77.93	c |     45195 |   89250   863500  2898318 | 2147483647    41304     14 |  2.482 % |
77.78/78.10	c |     45534 |   89250   863500  2898318 | 2147483647    41643     14 |  2.482 % |
77.98/78.20	c |     45906 |   89250   863500  2898318 | 2147483647    42015     14 |  2.482 % |
78.18/78.46	c |     46315 |   89250   863500  2898318 | 2147483647    42424     14 |  2.482 % |
78.28/78.53	c |     46764 |   89250   863500  2898318 | 2147483647    42873     15 |  2.482 % |
78.48/78.77	c |     47257 |   89250   863500  2898318 | 2147483647    43366     15 |  2.482 % |
78.68/78.95	c |     47799 |   89250   863500  2898318 | 2147483647    43908     15 |  2.482 % |
78.78/79.05	c |     48396 |   89250   863500  2898318 | 2147483647    44505     15 |  2.482 % |
78.99/79.22	c |     49051 |   89250   863500  2898318 | 2147483647    45160     15 |  2.482 % |
78.99/79.25	c |     49151 |   89250   863500  2898318 | 2147483647    45260     15 |  2.482 % |
78.99/79.28	c |     49261 |   89250   863500  2898318 | 2147483647    45370     15 |  2.482 % |
78.99/79.30	c |     49383 |   89250   863500  2898318 | 2147483647    45492     15 |  2.482 % |
79.08/79.31	c |     49516 |   89250   863500  2898318 | 2147483647    45625     15 |  2.482 % |
79.08/79.34	c |     49663 |   89250   863500  2898318 | 2147483647    45772     15 |  2.482 % |
79.18/79.40	c |     49825 |   89250   863500  2898318 | 2147483647    45934     15 |  2.482 % |
79.18/79.44	c |     50002 |   89250   863500  2898318 | 2147483647    46111     15 |  2.482 % |
79.28/79.50	c |     50195 |   89250   863500  2898318 | 2147483647    46304     15 |  2.482 % |
79.28/79.55	c |     50407 |   89250   863500  2898318 | 2147483647    46516     15 |  2.482 % |
79.38/79.64	c |     50640 |   89250   863500  2898318 | 2147483647    46749     15 |  2.482 % |
79.48/79.72	c |     50896 |   89250   863500  2898318 | 2147483647    47005     15 |  2.482 % |
79.58/79.81	c |     51178 |   89250   863500  2898318 | 2147483647    47287     15 |  2.482 % |
79.58/79.89	c |     51488 |   89250   863500  2898318 | 2147483647    47597     15 |  2.482 % |
79.68/79.99	c |     51828 |   89250   863500  2898318 | 2147483647    47937     15 |  2.482 % |
79.88/80.12	c |     52200 |   89250   863500  2898318 | 2147483647    48309     15 |  2.482 % |
80.18/80.40	c |     52609 |   89250   863500  2898318 | 2147483647    48718     15 |  2.482 % |
80.18/80.47	c |     53059 |   89250   863500  2898318 | 2147483647    49168     15 |  2.482 % |
80.28/80.59	c |     53553 |   89250   863500  2898318 | 2147483647    49662     15 |  2.482 % |
80.38/80.68	c |     54096 |   89250   863500  2898318 | 2147483647    50205     15 |  2.482 % |
80.58/80.82	c |     54695 |   89250   863500  2898318 | 2147483647    50804     15 |  2.482 % |
80.68/80.95	c |     55350 |   89250   863500  2898318 | 2147483647    51459     15 |  2.482 % |
80.88/81.17	c |     56071 |   89250   863500  2898318 | 2147483647    52180     15 |  2.482 % |
80.88/81.19	c |     56173 |   89250   863500  2898318 | 2147483647    52282     15 |  2.482 % |
80.98/81.21	c |     56285 |   89250   863500  2898318 | 2147483647    52394     15 |  2.482 % |
80.98/81.24	c |     56407 |   89250   863500  2898318 | 2147483647    52516     15 |  2.482 % |
80.98/81.28	c |     56540 |   89250   863500  2898318 | 2147483647    52649     15 |  2.482 % |
81.08/81.32	c |     56686 |   89250   863500  2898318 | 2147483647    52795     15 |  2.482 % |
81.18/81.40	c |     56846 |   89250   863500  2898318 | 2147483647    52955     15 |  2.482 % |
81.18/81.47	c |     57022 |   89250   863500  2898318 | 2147483647    53131     15 |  2.482 % |
81.28/81.53	c |     57215 |   89250   863500  2898318 | 2147483647    53324     15 |  2.482 % |
81.38/81.60	c |     57430 |   89250   863500  2898318 | 2147483647    53539     15 |  2.482 % |
81.48/81.70	c |     57663 |   89250   863500  2898318 | 2147483647    53772     15 |  2.482 % |
81.48/81.75	c |     57919 |   89250   863500  2898318 | 2147483647    54028     15 |  2.482 % |
81.58/81.84	c |     58202 |   89250   863500  2898318 | 2147483647    54311     15 |  2.482 % |
81.68/81.91	c |     58511 |   89250   863500  2898318 | 2147483647    54620     15 |  2.482 % |
81.78/82.02	c |     58850 |   89250   863500  2898318 | 2147483647    54959     15 |  2.482 % |
81.88/82.16	c |     59223 |   89250   863500  2898318 | 2147483647    55332     15 |  2.482 % |
81.98/82.28	c |     59635 |   89250   863500  2898318 | 2147483647    55744     15 |  2.482 % |
82.18/82.41	c |     60085 |   89250   863500  2898318 | 2147483647    56194     15 |  2.482 % |
82.28/82.51	c |     60580 |   89250   863500  2898318 | 2147483647    56689     15 |  2.482 % |
82.38/82.68	c |     61124 |   89250   863500  2898318 | 2147483647    57233     16 |  2.482 % |
82.48/82.79	c |     61720 |   89250   863500  2898318 | 2147483647    57829     16 |  2.482 % |
82.78/83.02	c |     62375 |   89250   863500  2898318 | 2147483647    58484     16 |  2.482 % |
82.97/83.29	c |     63095 |   89247   863476  2898236 | 2147483647    59201     16 |  2.486 % |
83.17/83.48	c |     63888 |   89247   863476  2898236 | 2147483647    59994     16 |  2.486 % |
83.28/83.53	c |     63990 |   89247   863476  2898236 | 2147483647    60096     16 |  2.486 % |
83.28/83.55	c |     64100 |   89247   863476  2898236 | 2147483647    60206     16 |  2.486 % |
83.28/83.59	c |     64221 |   89247   863476  2898236 | 2147483647    60327     16 |  2.486 % |
83.38/83.64	c |     64354 |   89247   863476  2898236 | 2147483647    60460     16 |  2.486 % |
83.38/83.68	c |     64500 |   89247   863476  2898236 | 2147483647    60606     16 |  2.486 % |
83.47/83.77	c |     64660 |   89247   863476  2898236 | 2147483647    60766     16 |  2.486 % |
83.57/83.84	c |     64837 |   89247   863476  2898236 | 2147483647    60943     16 |  2.486 % |
83.67/83.91	c |     65031 |   89247   863476  2898236 | 2147483647    61137     16 |  2.486 % |
83.67/83.98	c |     65244 |   89247   863476  2898236 | 2147483647    61350     16 |  2.486 % |
83.77/84.05	c |     65478 |   89247   863476  2898236 | 2147483647    61584     16 |  2.486 % |
83.87/84.11	c |     65734 |   89247   863476  2898236 | 2147483647    61840     16 |  2.486 % |
83.87/84.17	c |     66017 |   89247   863476  2898236 | 2147483647    62123     16 |  2.486 % |
84.07/84.36	c |     66327 |   89247   863476  2898236 | 2147483647    62433     16 |  2.486 % |
84.17/84.46	c |     66667 |   89247   863476  2898236 | 2147483647    62773     16 |  2.486 % |
84.38/84.61	c |     67040 |   89247   863476  2898236 | 2147483647    63146     16 |  2.486 % |
84.48/84.73	c |     67449 |   89247   863476  2898236 | 2147483647    63555     16 |  2.486 % |
84.57/84.83	c |     67900 |   89247   863476  2898236 | 2147483647    64006     16 |  2.486 % |
84.77/85.06	c |     68395 |   89247   863476  2898236 | 2147483647    64501     16 |  2.486 % |
84.87/85.18	c |     68938 |   89247   863476  2898236 | 2147483647    65044     16 |  2.486 % |
85.17/85.43	c |     69534 |   89247   863476  2898236 | 2147483647    65640     16 |  2.486 % |
85.37/85.61	c |     70190 |   89247   863476  2898236 | 2147483647    66296     16 |  2.486 % |
85.47/85.79	c |     70910 |   89247   863476  2898236 | 2147483647    67016     17 |  2.486 % |
85.67/85.97	c |     71703 |   89247   863476  2898236 | 2147483647    67809     17 |  2.486 % |
86.28/86.50	c |     72574 |   89247   863476  2898236 | 2147483647    68680     17 |  2.486 % |
86.28/86.54	c |     72674 |   89247   863476  2898236 | 2147483647    68780     17 |  2.486 % |
86.28/86.58	c |     72785 |   89247   863476  2898236 | 2147483647    68891     17 |  2.486 % |
86.38/86.62	c |     72906 |   89247   863476  2898236 | 2147483647    69012     17 |  2.486 % |
86.38/86.67	c |     73039 |   89247   863476  2898236 | 2147483647    69145     17 |  2.486 % |
86.48/86.76	c |     73185 |   89247   863476  2898236 | 2147483647    69291     17 |  2.486 % |
86.58/86.80	c |     73346 |   89247   863476  2898236 | 2147483647    69452     17 |  2.486 % |
86.58/86.86	c |     73529 |   89247   863476  2898236 | 2147483647    69635     17 |  2.486 % |
86.68/86.96	c |     73722 |   89247   863476  2898236 | 2147483647    69828     17 |  2.486 % |
86.88/87.11	c |     73935 |   89247   863476  2898236 | 2147483647    70041     17 |  2.486 % |
86.88/87.18	c |     74170 |   89247   863476  2898236 | 2147483647    70276     17 |  2.486 % |
86.97/87.26	c |     74426 |   89247   863476  2898236 | 2147483647    70532     17 |  2.486 % |
87.07/87.35	c |     74707 |   89247   863476  2898236 | 2147483647    70813     17 |  2.486 % |
87.17/87.47	c |     75016 |   89247   863476  2898236 | 2147483647    71122     17 |  2.486 % |
87.27/87.53	c |     75357 |   89247   863476  2898236 | 2147483647    71463     17 |  2.486 % |
87.47/87.79	c |     75730 |   89247   863476  2898236 | 2147483647    71836     17 |  2.486 % |
87.57/87.89	c |     76141 |   89247   863476  2898236 | 2147483647    72247     17 |  2.486 % |
87.78/88.07	c |     76591 |   89247   863476  2898236 | 2147483647    72697     17 |  2.486 % |
87.87/88.12	c |     77085 |   89247   863476  2898236 | 2147483647    73191     17 |  2.486 % |
87.97/88.23	c |     77628 |   89247   863476  2898236 | 2147483647    73734     17 |  2.486 % |
88.07/88.34	c |     78224 |   89247   863476  2898236 | 2147483647    74330     17 |  2.486 % |
88.17/88.48	c |     78880 |   89247   863476  2898236 | 2147483647    74986     17 |  2.486 % |
88.37/88.67	c |     79600 |   89247   863476  2898236 | 2147483647    75706     17 |  2.486 % |
88.77/89.06	c |     80392 |   89247   863476  2898236 | 2147483647    76498     17 |  2.486 % |
88.97/89.29	c |     81264 |   89247   863476  2898236 | 2147483647    77370     17 |  2.486 % |
89.27/89.58	c |     82222 |   89247   863476  2898236 | 2147483647    78328     17 |  2.486 % |
89.37/89.64	c |     82322 |   89247   863476  2898236 | 2147483647    78428     17 |  2.486 % |
89.37/89.69	c |     82433 |   89247   863476  2898236 | 2147483647    78539     17 |  2.486 % |
89.47/89.74	c |     82555 |   89247   863476  2898236 | 2147483647    78661     17 |  2.486 % |
89.47/89.78	c |     82689 |   89247   863476  2898236 | 2147483647    78795     17 |  2.486 % |
89.57/89.87	c |     82836 |   89247   863476  2898236 | 2147483647    78942     17 |  2.486 % |
89.67/89.97	c |     82997 |   89247   863476  2898236 | 2147483647    79103     17 |  2.486 % |
89.77/90.06	c |     83175 |   89247   863476  2898236 | 2147483647    79281     17 |  2.486 % |
89.87/90.18	c |     83368 |   89247   863476  2898236 | 2147483647    79474     17 |  2.486 % |
89.97/90.26	c |     83580 |   89247   863476  2898236 | 2147483647    79686     17 |  2.486 % |
90.17/90.40	c |     83814 |   89247   863476  2898236 | 2147483647    79920     17 |  2.486 % |
90.17/90.48	c |     84074 |   89247   863476  2898236 | 2147483647    80180     17 |  2.486 % |
90.37/90.61	c |     84357 |   89247   863476  2898236 | 2147483647    80463     17 |  2.486 % |
90.47/90.74	c |     84667 |   89247   863476  2898236 | 2147483647    80773     17 |  2.486 % |
90.57/90.84	c |     85007 |   89247   863476  2898236 | 2147483647    81113     17 |  2.486 % |
90.76/91.04	c |     85379 |   89247   863476  2898236 | 2147483647    81485     17 |  2.486 % |
90.97/91.21	c |     85788 |   89247   863476  2898236 | 2147483647    81894     17 |  2.486 % |
91.07/91.39	c |     86237 |   89247   863476  2898236 | 2147483647    82343     17 |  2.486 % |
91.26/91.55	c |     86731 |   89247   863476  2898236 | 2147483647    82837     17 |  2.486 % |
91.46/91.77	c |     87273 |   89247   863476  2898236 | 2147483647    83379     17 |  2.486 % |
91.66/91.93	c |     87871 |   89247   863476  2898236 | 2147483647    83977     17 |  2.486 % |
91.76/92.06	c |     88527 |   89247   863476  2898236 | 2147483647    84633     17 |  2.486 % |
92.07/92.35	c |     89247 |   89247   863476  2898236 | 2147483647    85353     18 |  2.486 % |
92.36/92.66	c |     90043 |   89247   863476  2898236 | 2147483647    86149     18 |  2.486 % |
92.76/93.03	c |     90915 |   89247   863476  2898236 | 2147483647    87021     18 |  2.486 % |
93.06/93.36	c |     91874 |   89247   863476  2898236 | 2147483647    87980     18 |  2.486 % |
93.36/93.69	c |     92928 |   89247   863476  2898236 | 2147483647    89034     18 |  2.486 % |
93.46/93.77	c |     93028 |   89247   863476  2898236 | 2147483647    89134     18 |  2.486 % |
93.56/93.81	c |     93139 |   89247   863476  2898236 | 2147483647    89245     18 |  2.486 % |
93.56/93.87	c |     93260 |   89247   863476  2898236 | 2147483647    89366     18 |  2.486 % |
93.66/93.92	c |     93393 |   89247   863476  2898236 | 2147483647    89499     18 |  2.486 % |
93.76/94.01	c |     93539 |   89247   863476  2898236 | 2147483647    89645     18 |  2.486 % |
93.86/94.14	c |     93699 |   89247   863476  2898236 | 2147483647    89805     18 |  2.486 % |
93.86/94.17	c |     93876 |   89247   863476  2898236 | 2147483647    89982     18 |  2.486 % |
93.96/94.23	c |     94070 |   89247   863476  2898236 | 2147483647    90176     18 |  2.486 % |
93.96/94.29	c |     94283 |   89247   863476  2898236 | 2147483647    90389     18 |  2.486 % |
94.07/94.37	c |     94518 |   89247   863476  2898236 | 2147483647    90624     18 |  2.486 % |
94.27/94.51	c |     94775 |   89247   863476  2898236 | 2147483647    90881     18 |  2.486 % |
94.37/94.62	c |     95056 |   89247   863476  2898236 | 2147483647    91162     18 |  2.486 % |
94.47/94.78	c |     95366 |   89247   863476  2898236 | 2147483647    91472     18 |  2.486 % |
94.67/94.95	c |     95705 |   89247   863476  2898236 | 2147483647    91811     18 |  2.486 % |
94.87/95.13	c |     96078 |   89247   863476  2898236 | 2147483647    92184     18 |  2.486 % |
94.97/95.23	c |     96487 |   89247   863476  2898236 | 2147483647    92593     18 |  2.486 % |
95.17/95.44	c |     96937 |   89247   863476  2898236 | 2147483647    93043     18 |  2.486 % |
95.26/95.55	c |     97432 |   89247   863476  2898236 | 2147483647    93538     18 |  2.486 % |
95.47/95.79	c |     97975 |   89247   863476  2898236 | 2147483647    94081     18 |  2.486 % |
95.76/96.03	c |     98571 |   89247   863476  2898236 | 2147483647    94677     18 |  2.486 % |
96.26/96.55	c |     99226 |   89247   863476  2898236 | 2147483647    95332     18 |  2.486 % |
96.57/96.88	c |     99946 |   89247   863476  2898236 | 2147483647    96052     18 |  2.486 % |
97.06/97.34	c |    100738 |   89246   863472  2898228 | 2147483647    96843     18 |  2.487 % |
97.57/97.87	c |    101609 |   89246   863472  2898228 | 2147483647    97714     18 |  2.487 % |
98.06/98.35	c |    102569 |   89246   863472  2898228 | 2147483647    98674     18 |  2.487 % |
98.67/98.99	c |    103622 |   89246   863472  2898228 | 2147483647    99727     18 |  2.487 % |
99.07/99.39	c |    104780 |   89246   863472  2898228 | 2147483647   100885     19 |  2.487 % |
99.16/99.43	c |    104882 |   89246   863472  2898228 | 2147483647   100987     19 |  2.487 % |
99.16/99.48	c |    104993 |   89246   863472  2898228 | 2147483647   101098     19 |  2.487 % |
99.26/99.54	c |    105116 |   89246   863472  2898228 | 2147483647   101221     19 |  2.487 % |
99.36/99.61	c |    105250 |   89246   863472  2898228 | 2147483647   101355     19 |  2.487 % |
99.36/99.69	c |    105396 |   89246   863472  2898228 | 2147483647   101501     19 |  2.487 % |
99.56/99.85	c |    105556 |   89246   863472  2898228 | 2147483647   101661     19 |  2.487 % |
99.56/99.88	c |    105734 |   89246   863472  2898228 | 2147483647   101839     19 |  2.487 % |
99.66/99.94	c |    105927 |   89246   863472  2898228 | 2147483647   102032     19 |  2.487 % |
99.66/99.98	c |    106140 |   89246   863472  2898228 | 2147483647   102245     19 |  2.487 % |
99.77/100.09	c |    106374 |   89246   863472  2898228 | 2147483647   102479     19 |  2.487 % |
99.96/100.25	c |    106631 |   89246   863472  2898228 | 2147483647   102736     19 |  2.487 % |
100.06/100.34	c |    106913 |   89246   863472  2898228 | 2147483647   103018     19 |  2.487 % |
100.16/100.45	c |    107223 |   89246   863472  2898228 | 2147483647   103328     19 |  2.487 % |
100.26/100.50	c |    107562 |   89246   863472  2898228 | 2147483647   103667     19 |  2.487 % |
100.36/100.61	c |    107934 |   89246   863472  2898228 | 2147483647   104039     19 |  2.487 % |
100.46/100.73	c |    108344 |   89246   863472  2898228 | 2147483647   104449     19 |  2.487 % |
100.56/100.85	c |    108793 |   89246   863472  2898228 | 2147483647   104898     19 |  2.487 % |
100.66/100.99	c |    109286 |   89246   863472  2898228 | 2147483647   105391     19 |  2.487 % |
100.96/101.26	c |    109828 |   89246   863472  2898228 | 2147483647   105933     19 |  2.487 % |
101.26/101.51	c |    110427 |   89246   863472  2898228 | 2147483647   106532     19 |  2.487 % |
101.46/101.70	c |    111082 |   89246   863472  2898228 | 2147483647   107187     19 |  2.487 % |
101.56/101.82	c |    111805 |   89246   863472  2898228 | 2147483647   107910     19 |  2.487 % |
101.76/102.07	c |    112598 |   89246   863472  2898228 | 2147483647   108703     19 |  2.487 % |
102.16/102.45	c |    113469 |   89246   863472  2898228 | 2147483647   109574     19 |  2.487 % |
102.46/102.78	c |    114427 |   89246   863472  2898228 | 2147483647   110532     19 |  2.487 % |
103.26/103.54	c |    115480 |   89246   863472  2898228 | 2147483647   111585     19 |  2.487 % |
103.86/104.18	c |    116638 |   89246   863472  2898228 | 2147483647   112743     19 |  2.487 % |
104.36/104.63	c |    117911 |   89246   863472  2898228 | 2147483647   114016     19 |  2.487 % |
104.45/104.73	c |    118012 |   89246   863472  2898228 | 2147483647   114117     19 |  2.487 % |
104.55/104.86	c |    118122 |   89246   863472  2898228 | 2147483647   114227     19 |  2.487 % |
104.65/104.98	c |    118243 |   89246   863472  2898228 | 2147483647   114348     19 |  2.487 % |
104.75/105.09	c |    118377 |   89246   863472  2898228 | 2147483647   114482     19 |  2.487 % |
104.95/105.21	c |    118525 |   89246   863472  2898228 | 2147483647   114630     19 |  2.487 % |
105.15/105.42	c |    118688 |   89246   863472  2898228 | 2147483647   114793     19 |  2.487 % |
105.36/105.62	c |    118864 |   89246   863472  2898228 | 2147483647   114969     19 |  2.487 % |
105.45/105.72	c |    119059 |   89246   863472  2898228 | 2147483647   115164     19 |  2.487 % |
105.65/105.92	c |    119271 |   89246   863472  2898228 | 2147483647   115376     19 |  2.487 % |
105.75/106.05	c |    119504 |   89246   863472  2898228 | 2147483647   115609     19 |  2.487 % |
105.95/106.26	c |    119760 |   89246   863472  2898228 | 2147483647   115865     19 |  2.487 % |
106.15/106.45	c |    120042 |   89246   863472  2898228 | 2147483647   116147     19 |  2.487 % |
106.55/106.80	c |    120351 |   89243   862120  2892854 | 2147483647   116455     19 |  2.490 % |
106.85/107.12	c |    120691 |   89243   862120  2892854 | 2147483647   116795     19 |  2.490 % |
107.05/107.35	c |    121063 |   89243   862120  2892854 | 2147483647   117167     19 |  2.490 % |
107.25/107.56	c |    121472 |   89243   862120  2892854 | 2147483647   117576     19 |  2.490 % |
107.55/107.88	c |    121922 |   89243   862120  2892854 | 2147483647   118026     19 |  2.490 % |
107.95/108.23	c |    122416 |   89243   862120  2892854 | 2147483647   118520     19 |  2.490 % |
108.25/108.59	c |    122958 |   89243   862120  2892854 | 2147483647   119062     19 |  2.490 % |
108.75/109.02	c |    123557 |   89243   862120  2892854 | 2147483647   119661     19 |  2.490 % |
109.15/109.45	c |    124215 |   89243   862120  2892854 | 2147483647   120319     19 |  2.490 % |
109.65/109.93	c |    124935 |   89243   862120  2892854 | 2147483647   121039     19 |  2.490 % |
110.25/110.51	c |    125727 |   89243   862120  2892854 | 2147483647   121831     19 |  2.490 % |
110.55/110.84	c |    126600 |   89243   862120  2892854 | 2147483647   122704     19 |  2.490 % |
111.05/111.36	c |    127558 |   89243   862120  2892854 | 2147483647   123662     19 |  2.490 % |
111.65/111.96	c |    128611 |   89243   862120  2892854 | 2147483647   124715     19 |  2.490 % |
112.14/112.47	c |    129770 |   89243   862120  2892854 | 2147483647   125874     19 |  2.490 % |
113.15/113.41	c |    131044 |   89243   862120  2892854 | 2147483647   127148     19 |  2.490 % |
113.75/114.04	c |    132444 |   89243   862120  2892854 | 2147483647   128548     19 |  2.490 % |
113.75/114.08	c |    132544 |   89243   862120  2892854 | 2147483647   128648     19 |  2.490 % |
113.85/114.13	c |    132656 |   89243   862120  2892854 | 2147483647   128760     20 |  2.490 % |
113.95/114.22	c |    132778 |   89243   862120  2892854 | 2147483647   128882     20 |  2.490 % |
113.95/114.30	c |    132916 |   89243   862120  2892854 | 2147483647   129020     20 |  2.490 % |
114.15/114.44	c |    133063 |   89243   862120  2892854 | 2147483647   129167     20 |  2.490 % |
114.25/114.58	c |    133224 |   89243   862120  2892854 | 2147483647   129328     20 |  2.490 % |
114.35/114.69	c |    133400 |   89243   862120  2892854 | 2147483647   129504     20 |  2.490 % |
114.55/114.83	c |    133593 |   89243   862120  2892854 | 2147483647   129697     20 |  2.490 % |
114.85/115.12	c |    133805 |   89243   862120  2892854 | 2147483647   129909     20 |  2.490 % |
114.94/115.24	c |    134039 |   89243   862120  2892854 | 2147483647   130143     20 |  2.490 % |
115.25/115.51	c |    134296 |   89243   862120  2892854 | 2147483647   130400     20 |  2.490 % |
115.45/115.73	c |    134579 |   89243   862120  2892854 | 2147483647   130683     20 |  2.490 % |
115.75/116.08	c |    134889 |   89243   862120  2892854 | 2147483647   130993     20 |  2.490 % |
115.94/116.29	c |    135230 |   89243   862120  2892854 | 2147483647   131334     20 |  2.490 % |
116.25/116.53	c |    135602 |   89243   862120  2892854 | 2147483647   131706     20 |  2.490 % |
116.44/116.73	c |    136012 |   89243   862120  2892854 | 2147483647   132116     20 |  2.490 % |
116.74/117.04	c |    136462 |   89243   862120  2892854 | 2147483647   132566     20 |  2.490 % |
116.94/117.20	c |    136956 |   89243   862120  2892854 | 2147483647   133060     20 |  2.490 % |
117.24/117.58	c |    137498 |   89243   862120  2892854 | 2147483647   133602     20 |  2.490 % |
117.64/117.93	c |    138095 |   89243   862120  2892854 | 2147483647   134199     20 |  2.490 % |
118.24/118.54	c |    138750 |   89243   862120  2892854 | 2147483647   134854     20 |  2.490 % |
118.84/119.13	c |    139474 |   89243   862120  2892854 | 2147483647   135578     20 |  2.490 % |
119.24/119.56	c |    140266 |   89243   862120  2892854 | 2147483647   136370     20 |  2.490 % |
119.74/120.01	c |    141138 |   89243   862120  2892854 | 2147483647   137242     20 |  2.490 % |
120.44/120.70	c |    142096 |   89243   862120  2892854 | 2147483647   138200     20 |  2.490 % |
120.94/121.30	c |    143149 |   89243   862120  2892854 | 2147483647   139253     20 |  2.490 % |
121.64/121.95	c |    144308 |   89243   862120  2892854 | 2147483647   140412     20 |  2.490 % |
122.04/122.32	c |    145581 |   89243   862120  2892854 | 2147483647   141685     20 |  2.490 % |
122.54/122.80	c |    146983 |   89243   862120  2892854 | 2147483647   143087     20 |  2.490 % |
123.84/124.19	c |    148525 |   89243   862120  2892854 | 2147483647   144629     20 |  2.490 % |
124.04/124.33	c |    148625 |   89243   862120  2892854 | 2147483647   144729     20 |  2.490 % |
124.14/124.42	c |    148737 |   89243   862120  2892854 | 2147483647   144841     20 |  2.490 % |
124.24/124.56	c |    148858 |   89243   862120  2892854 | 2147483647   144962     20 |  2.490 % |
124.34/124.69	c |    148992 |   89243   862120  2892854 | 2147483647   145096     20 |  2.490 % |
124.54/124.81	c |    149139 |   89243   862120  2892854 | 2147483647   145243     20 |  2.490 % |
124.54/124.89	c |    149302 |   89243   862120  2892854 | 2147483647   145406     20 |  2.490 % |
124.74/125.08	c |    149478 |   89243   862120  2892854 | 2147483647   145582     20 |  2.490 % |
124.94/125.28	c |    149671 |   89243   862120  2892854 | 2147483647   145775     20 |  2.490 % |
125.14/125.48	c |    149884 |   89243   862120  2892854 | 2147483647   145988     20 |  2.490 % |
125.44/125.79	c |    150117 |   89243   862120  2892854 | 2147483647   146221     20 |  2.490 % |
125.64/125.95	c |    150374 |   89243   862120  2892854 | 2147483647   146478     20 |  2.490 % |
125.84/126.18	c |    150656 |   89243   862120  2892854 | 2147483647   146760     20 |  2.490 % |
126.04/126.37	c |    150965 |   89243   862120  2892854 | 2147483647   147069     20 |  2.490 % |
126.24/126.59	c |    151305 |   89243   862120  2892854 | 2147483647   147409     20 |  2.490 % |
126.54/126.83	c |    151677 |   89243   862120  2892854 | 2147483647   147781     20 |  2.490 % |
126.84/127.14	c |    152086 |   89243   862120  2892854 | 2147483647   148190     20 |  2.490 % |
127.13/127.47	c |    152536 |   89243   862120  2892854 | 2147483647   148640     20 |  2.490 % |
127.73/128.03	c |    153029 |   89243   862120  2892854 | 2147483647   149133     20 |  2.490 % |
128.13/128.41	c |    153572 |   89243   862120  2892854 | 2147483647   149676     20 |  2.490 % |
128.63/128.96	c |    154170 |   89243   862120  2892854 | 2147483647   150274     20 |  2.490 % |
129.13/129.40	c |    154826 |   89243   862120  2892854 | 2147483647   150930     20 |  2.490 % |
129.54/129.89	c |    155546 |   89243   862120  2892854 | 2147483647   151650     20 |  2.490 % |
129.93/130.24	c |    156338 |   89243   862120  2892854 | 2147483647   152442     20 |  2.490 % |
130.73/131.08	c |    157209 |   89243   862120  2892854 | 2147483647   153313     20 |  2.490 % |
131.53/131.84	c |    158168 |   89243   862120  2892854 | 2147483647   154272     21 |  2.490 % |
131.93/132.23	c |    159221 |   89243   862120  2892854 | 2147483647   155325     21 |  2.490 % |
132.74/133.10	c |    160379 |   89243   862120  2892854 | 2147483647   156483     21 |  2.490 % |
133.93/134.22	c |    161658 |   89243   862120  2892854 | 2147483647   157762     21 |  2.490 % |
135.44/135.79	c |    163060 |   89243   862120  2892854 | 2147483647   159164     21 |  2.490 % |
137.14/137.42	c |    164601 |   89243   862120  2892854 | 2147483647   160705     21 |  2.490 % |
138.64/138.93	c |    166296 |   89243   862120  2892854 | 2147483647   162400     21 |  2.490 % |
138.74/139.00	c |    166396 |   89243   862120  2892854 | 2147483647   162500     21 |  2.490 % |
138.74/139.07	c |    166506 |   89243   862120  2892854 | 2147483647   162610     21 |  2.490 % |
138.94/139.23	c |    166627 |   89243   862120  2892854 | 2147483647   162731     21 |  2.490 % |
139.04/139.33	c |    166763 |   89243   862120  2892854 | 2147483647   162867     21 |  2.490 % |
139.13/139.46	c |    166909 |   89243   862120  2892854 | 2147483647   163013     21 |  2.490 % |
139.34/139.63	c |    167070 |   89243   862120  2892854 | 2147483647   163174     21 |  2.490 % |
139.44/139.79	c |    167246 |   89243   862120  2892854 | 2147483647   163350     21 |  2.490 % |
139.63/139.97	c |    167439 |   89243   862120  2892854 | 2147483647   163543     21 |  2.490 % |
139.93/140.25	c |    167652 |   89243   862120  2892854 | 2147483647   163756     21 |  2.490 % |
140.03/140.36	c |    167886 |   89243   862120  2892854 | 2147483647   163990     21 |  2.490 % |
140.33/140.68	c |    168142 |   89243   862120  2892854 | 2147483647   164246     21 |  2.490 % |
140.54/140.85	c |    168424 |   89243   862120  2892854 | 2147483647   164528     21 |  2.490 % |
140.83/141.19	c |    168735 |   89243   862120  2892854 | 2147483647   164839     21 |  2.490 % |
141.03/141.34	c |    169074 |   89243   862120  2892854 | 2147483647   165178     21 |  2.490 % |
141.43/141.74	c |    169449 |   89243   862120  2892854 | 2147483647   165553     21 |  2.490 % |
141.64/141.99	c |    169859 |   89243   862120  2892854 | 2147483647   165963     21 |  2.490 % |
142.03/142.33	c |    170308 |   89243   862120  2892854 | 2147483647   166412     21 |  2.490 % |
142.23/142.59	c |    170802 |   89243   862120  2892854 | 2147483647   166906     21 |  2.490 % |
142.53/142.88	c |    171344 |   89243   862120  2892854 | 2147483647   167448     21 |  2.490 % |
143.23/143.51	c |    171940 |   89243   862120  2892854 | 2147483647   168044     21 |  2.490 % |
143.43/143.76	c |    172595 |   89243   862120  2892854 | 2147483647   168699     21 |  2.490 % |
143.93/144.20	c |    173315 |   89243   862120  2892854 | 2147483647   169419     21 |  2.490 % |
144.13/144.49	c |    174109 |   89243   862120  2892854 | 2147483647   170213     21 |  2.490 % |
144.53/144.83	c |    174980 |   89243   862120  2892854 | 2147483647   171084     21 |  2.490 % |
145.03/145.34	c |    175939 |   89243   862120  2892854 | 2147483647   172043     21 |  2.490 % |
145.43/145.72	c |    176993 |   89243   862120  2892854 | 2147483647   173097     21 |  2.490 % |
145.93/146.23	c |    178154 |   89243   862120  2892854 | 2147483647   174258     21 |  2.490 % |
146.73/147.08	c |    179428 |   89243   862120  2892854 | 2147483647   175532     22 |  2.490 % |
147.93/148.25	c |    180831 |   89243   862120  2892854 | 2147483647   176935     22 |  2.490 % |
148.73/149.08	c |    182371 |   89243   862120  2892854 | 2147483647   178475     22 |  2.490 % |
149.63/149.93	c |    184065 |   89243   862120  2892854 | 2147483647   180169     22 |  2.490 % |
150.93/151.21	c |    185929 |   89243   862120  2892854 | 2147483647   182033     22 |  2.490 % |
151.03/151.31	c |    186029 |   89243   862120  2892854 | 2147483647   182133     22 |  2.490 % |
151.13/151.44	c |    186140 |   89243   862120  2892854 | 2147483647   182244     22 |  2.490 % |
151.33/151.66	c |    186262 |   89243   862120  2892854 | 2147483647   182366     22 |  2.490 % |
151.43/151.76	c |    186395 |   89243   862120  2892854 | 2147483647   182499     22 |  2.490 % |
151.53/151.87	c |    186542 |   89243   862120  2892854 | 2147483647   182646     22 |  2.490 % |
151.73/152.01	c |    186703 |   89243   862120  2892854 | 2147483647   182807     22 |  2.490 % |
151.83/152.11	c |    186880 |   89243   862120  2892854 | 2147483647   182984     22 |  2.490 % |
151.93/152.24	c |    187074 |   89243   862120  2892854 | 2147483647   183178     22 |  2.490 % |
152.03/152.37	c |    187287 |   89243   862120  2892854 | 2147483647   183391     22 |  2.490 % |
152.33/152.64	c |    187521 |   89243   862120  2892854 | 2147483647   183625     22 |  2.490 % |
152.43/152.75	c |    187777 |   89243   862120  2892854 | 2147483647   183881     22 |  2.490 % |
152.63/152.91	c |    188059 |   89243   862120  2892854 | 2147483647   184163     22 |  2.490 % |
152.93/153.28	c |    188368 |   89243   862120  2892854 | 2147483647   184472     22 |  2.490 % |
153.13/153.46	c |    188707 |   89243   862120  2892854 | 2147483647   184811     22 |  2.490 % |
153.53/153.88	c |    189079 |   89243   862120  2892854 | 2147483647   185183     22 |  2.490 % |
153.73/154.02	c |    189488 |   89243   862120  2892854 | 2147483647   185592     22 |  2.490 % |
154.23/154.54	c |    189937 |   89243   862120  2892854 | 2147483647   186041     22 |  2.490 % |
155.03/155.30	c |    190430 |   89243   862120  2892854 | 2147483647   186534     22 |  2.490 % |
155.63/155.95	c |    190972 |   89243   862120  2892854 | 2147483647   187076     22 |  2.490 % |
156.13/156.41	c |    191568 |   89243   862120  2892854 | 2147483647   187672     22 |  2.490 % |
156.92/157.21	c |    192224 |   89243   862120  2892854 | 2147483647   188328     22 |  2.490 % |
157.52/157.87	c |    192945 |   89243   862120  2892854 | 2147483647   189049     22 |  2.490 % |
157.72/158.09	c |    193738 |   89231   861926  2891764 | 2147483647   189815     22 |  2.503 % |
157.92/158.26	c |    194609 |   89231   861926  2891764 | 2147483647   190686     22 |  2.503 % |
158.02/158.35	c |    195567 |   89231   861926  2891764 | 2147483647   191644     22 |  2.503 % |
158.12/158.45	c |    196620 |   89231   861926  2891764 | 2147483647   192697     22 |  2.503 % |
158.22/158.58	c |    197778 |   89231   861926  2891764 | 2147483647   193855     22 |  2.503 % |
159.52/159.80	c |    199051 |   89231   861926  2891764 | 2147483647   195128     22 |  2.503 % |
160.32/160.66	c |    200451 |   89231   861926  2891764 | 2147483647   196528     22 |  2.503 % |
161.72/162.07	c |    201993 |   89231   861926  2891764 | 2147483647   198070     22 |  2.503 % |
163.52/163.83	c |    203688 |   89231   861926  2891764 | 2147483647   199765     22 |  2.503 % |
164.72/165.03	c |    205553 |   89231   861926  2891764 | 2147483647   201630     22 |  2.503 % |
165.01/165.32	c |    207602 |   89231   861926  2891764 | 2147483647   203679     22 |  2.503 % |
165.01/165.37	c |    207702 |   89231   861926  2891764 | 2147483647   203779     22 |  2.503 % |
165.11/165.46	c |    207812 |   89231   861926  2891764 | 2147483647   203889     22 |  2.503 % |
165.31/165.63	c |    207934 |   89231   861926  2891764 | 2147483647   204011     22 |  2.503 % |
165.51/165.81	c |    208070 |   89231   861926  2891764 | 2147483647   204147     22 |  2.503 % |
165.61/165.92	c |    208216 |   89231   861926  2891764 | 2147483647   204293     22 |  2.503 % |
165.71/166.01	c |    208377 |   89231   861926  2891764 | 2147483647   204454     22 |  2.503 % |
165.81/166.17	c |    208555 |   89231   861926  2891764 | 2147483647   204632     22 |  2.503 % |
166.01/166.33	c |    208748 |   89231   861926  2891764 | 2147483647   204825     22 |  2.503 % |
166.01/166.39	c |    208960 |   89231   861926  2891764 | 2147483647   205037     22 |  2.503 % |
166.31/166.62	c |    209194 |   89231   861926  2891764 | 2147483647   205271     22 |  2.503 % |
166.51/166.85	c |    209452 |   89231   861926  2891764 | 2147483647   205529     22 |  2.503 % |
166.81/167.10	c |    209733 |   89231   861926  2891764 | 2147483647   205810     22 |  2.503 % |
166.81/167.20	c |    210043 |   89231   861926  2891764 | 2147483647   206120     22 |  2.503 % |
166.91/167.26	c |    210384 |   89231   861926  2891764 | 2147483647   206461     22 |  2.503 % |
167.01/167.32	c |    210756 |   89231   861926  2891764 | 2147483647   206833     22 |  2.503 % |
167.01/167.38	c |    211165 |   89231   861926  2891764 | 2147483647   207242     22 |  2.503 % |
167.11/167.47	c |    211614 |   89231   861926  2891764 | 2147483647   207691     22 |  2.503 % |
167.21/167.52	c |    212107 |   89231   861926  2891764 | 2147483647   208184     22 |  2.503 % |
167.41/167.76	c |    212649 |   89231   861926  2891764 | 2147483647   208726     22 |  2.503 % |
167.51/167.87	c |    213245 |   89231   861926  2891764 | 2147483647   209322     22 |  2.503 % |
168.11/168.41	c |    213900 |   89231   861926  2891764 | 2147483647   209977     22 |  2.503 % |
169.21/169.57	c |    214622 |   89231   861926  2891764 | 2147483647   210699     22 |  2.503 % |
169.51/169.84	c |    215415 |   89231   861926  2891764 | 2147483647   211492     22 |  2.503 % |
170.32/170.60	c |    216289 |   89231   861926  2891764 | 2147483647   212366     22 |  2.503 % |
170.92/171.28	c |    217247 |   89231   861926  2891764 | 2147483647   213324     22 |  2.503 % |
171.61/172.00	c |    218302 |   89231   861926  2891764 | 2147483647   214379     22 |  2.503 % |
172.81/173.10	c |    219460 |   89231   861926  2891764 | 2147483647   215537     22 |  2.503 % |
174.21/174.57	c |    220733 |   89231   861926  2891764 | 2147483647   216810     22 |  2.503 % |
175.11/175.47	c |    222133 |   89231   861926  2891764 | 2147483647   218210     22 |  2.503 % |
176.51/176.82	c |    223673 |   89231   861926  2891764 | 2147483647   219750     23 |  2.503 % |
178.31/178.63	c |    225368 |   89231   861926  2891764 | 2147483647   221445     23 |  2.503 % |
179.91/180.23	c |    227233 |   89231   861926  2891764 | 2147483647   223310     23 |  2.503 % |
182.71/183.00	c |    229282 |   89231   861926  2891764 | 2147483647   225359     23 |  2.503 % |
184.41/184.78	c |    231535 |   89231   861926  2891764 | 2147483647   227612     23 |  2.503 % |
184.71/185.04	c |    231636 |   89231   861926  2891764 | 2147483647   227713     23 |  2.503 % |
184.91/185.20	c |    231747 |   89231   861926  2891764 | 2147483647   227824     23 |  2.503 % |
184.91/185.29	c |    231868 |   89231   861926  2891764 | 2147483647   227945     23 |  2.503 % |
185.01/185.38	c |    232001 |   89231   861926  2891764 | 2147483647   228078     23 |  2.503 % |
185.21/185.55	c |    232147 |   89231   861926  2891764 | 2147483647   228224     23 |  2.503 % |
185.31/185.67	c |    232307 |   89231   861926  2891764 | 2147483647   228384     23 |  2.503 % |
185.51/185.85	c |    232483 |   89231   861926  2891764 | 2147483647   228560     23 |  2.503 % |
185.71/186.09	c |    232677 |   89231   861926  2891764 | 2147483647   228754     23 |  2.503 % |
185.91/186.29	c |    232889 |   89231   861926  2891764 | 2147483647   228966     23 |  2.503 % |
186.21/186.51	c |    233122 |   89231   861926  2891764 | 2147483647   229199     23 |  2.503 % |
186.51/186.84	c |    233379 |   89231   861926  2891764 | 2147483647   229456     23 |  2.503 % |
186.81/187.14	c |    233661 |   89231   861926  2891764 | 2147483647   229738     23 |  2.503 % |
187.11/187.47	c |    233971 |   89231   861926  2891764 | 2147483647   230048     23 |  2.503 % |
187.51/187.87	c |    234315 |   89231   861926  2891764 | 2147483647   230392     23 |  2.503 % |
187.91/188.23	c |    234689 |   89231   861926  2891764 | 2147483647   230766     23 |  2.503 % |
188.31/188.60	c |    235099 |   89231   861926  2891764 | 2147483647   231176     23 |  2.503 % |
189.00/189.32	c |    235550 |   89231   861926  2891764 | 2147483647   231627     23 |  2.503 % |
189.30/189.67	c |    236043 |   89231   861926  2891764 | 2147483647   232120     23 |  2.503 % |
190.10/190.43	c |    236585 |   89231   861926  2891764 | 2147483647   232662     23 |  2.503 % |
190.40/190.78	c |    237181 |   89231   861926  2891764 | 2147483647   233258     23 |  2.503 % |
191.01/191.37	c |    237836 |   89231   861926  2891764 | 2147483647   233913     23 |  2.503 % |
191.80/192.12	c |    238558 |   89231   861926  2891764 | 2147483647   234635     23 |  2.503 % |
193.30/193.64	c |    239351 |   89231   861926  2891764 | 2147483647   235428     23 |  2.503 % |
194.10/194.45	c |    240222 |   89231   861926  2891764 | 2147483647   236299     23 |  2.503 % |
195.40/195.71	c |    241184 |   89231   861926  2891764 | 2147483647   237261     23 |  2.503 % |
196.70/197.09	c |    242239 |   89231   861926  2891764 | 2147483647   238316     23 |  2.503 % |
198.20/198.53	c |    243397 |   89228   861902  2891682 | 2147483647   239471     23 |  2.507 % |
199.10/199.41	c |    244670 |   89228   861902  2891682 | 2147483647   240744     23 |  2.507 % |
201.00/201.33	c |    246070 |   89228   861902  2891682 | 2147483647   242144     23 |  2.507 % |
202.39/202.75	c |    247611 |   89228   861902  2891682 | 2147483647   243685     23 |  2.507 % |
204.80/205.12	c |    249305 |   89228   861902  2891682 | 2147483647   245379     23 |  2.507 % |
206.50/206.86	c |    251168 |   89228   861902  2891682 | 2147483647   247242     23 |  2.507 % |
208.70/209.10	c |    253218 |   89228   861902  2891682 | 2147483647   249292     24 |  2.507 % |
210.39/210.74	c |    255472 |   89228   861902  2891682 | 2147483647   251546     24 |  2.507 % |
213.39/213.75	c |    257951 |   89228   861902  2891682 | 2147483647   254025     24 |  2.507 % |
213.59/213.97	c |    258052 |   89228   861902  2891682 | 2147483647   254126     24 |  2.507 % |
213.89/214.20	c |    258164 |   89228   861902  2891682 | 2147483647   254238     24 |  2.507 % |
213.99/214.36	c |    258285 |   89228   861902  2891682 | 2147483647   254359     24 |  2.507 % |
214.19/214.51	c |    258418 |   89228   861902  2891682 | 2147483647   254492     24 |  2.507 % |
214.49/214.80	c |    258565 |   89228   861902  2891682 | 2147483647   254639     24 |  2.507 % |
214.79/215.14	c |    258726 |   89228   861902  2891682 | 2147483647   254800     24 |  2.507 % |
215.09/215.47	c |    258903 |   89228   861902  2891682 | 2147483647   254977     24 |  2.507 % |
215.39/215.73	c |    259097 |   89228   861902  2891682 | 2147483647   255171     24 |  2.507 % |
215.59/215.94	c |    259311 |   89228   861902  2891682 | 2147483647   255385     24 |  2.507 % |
215.89/216.20	c |    259545 |   89228   861902  2891682 | 2147483647   255619     24 |  2.507 % |
216.19/216.54	c |    259802 |   89228   861902  2891682 | 2147483647   255876     24 |  2.507 % |
216.49/216.85	c |    260083 |   89228   861902  2891682 | 2147483647   256157     24 |  2.507 % |
216.79/217.12	c |    260394 |   89228   861902  2891682 | 2147483647   256468     24 |  2.507 % |
217.19/217.52	c |    260733 |   89228   861902  2891682 | 2147483647   256807     24 |  2.507 % |
217.59/217.98	c |    261105 |   89228   861902  2891682 | 2147483647   257179     24 |  2.507 % |
218.19/218.59	c |    261514 |   89228   861902  2891682 | 2147483647   257588     24 |  2.507 % |
218.89/219.24	c |    261964 |   89228   861902  2891682 | 2147483647   258038     24 |  2.507 % |
219.49/219.90	c |    262459 |   89228   861902  2891682 | 2147483647   258533     24 |  2.507 % |
219.99/220.39	c |    263001 |   89228   861902  2891682 | 2147483647   259075     24 |  2.507 % |
220.79/221.18	c |    263600 |   89228   861902  2891682 | 2147483647   259674     24 |  2.507 % |
221.79/222.10	c |    264255 |   89228   861902  2891682 | 2147483647   260329     24 |  2.507 % |
222.28/222.60	c |    264976 |   89228   861902  2891682 | 2147483647   261050     24 |  2.507 % |
222.89/223.24	c |    265771 |   89228   861902  2891682 | 2147483647   261845     24 |  2.507 % |
223.68/224.09	c |    266642 |   89228   861902  2891682 | 2147483647   262716     24 |  2.507 % |
225.28/225.60	c |    267602 |   89228   861902  2891682 | 2147483647   263676     24 |  2.507 % |
226.08/226.43	c |    268656 |   89228   861902  2891682 | 2147483647   264730     24 |  2.507 % |
227.48/227.88	c |    269815 |   89228   861902  2891682 | 2147483647   265889     24 |  2.507 % |
228.38/228.78	c |    271088 |   89228   861902  2891682 | 2147483647   267162     24 |  2.507 % |
230.18/230.57	c |    272488 |   89228   861902  2891682 | 2147483647   268562     24 |  2.507 % |
232.28/232.61	c |    274028 |   89228   861902  2891682 | 2147483647   270102     24 |  2.507 % |
233.69/234.04	c |    275728 |   89228   861902  2891682 | 2147483647   271802     24 |  2.507 % |
235.18/235.60	c |    277591 |   89228   861902  2891682 | 2147483647   273665     24 |  2.507 % |
237.68/238.01	c |    279642 |   89228   861902  2891682 | 2147483647   275716     24 |  2.507 % |
239.98/240.31	c |    281895 |   89228   861902  2891682 | 2147483647   277969     24 |  2.507 % |
243.08/243.46	c |    284373 |   89228   861902  2891682 | 2147483647   280447     24 |  2.507 % |
246.48/246.82	c |    287098 |   89228   861902  2891682 | 2147483647   283172     24 |  2.507 % |
246.58/246.90	c |    287199 |   89228   861902  2891682 | 2147483647   283273     24 |  2.507 % |
246.68/247.03	c |    287310 |   89228   861902  2891682 | 2147483647   283384     24 |  2.507 % |
246.78/247.12	c |    287431 |   89228   861902  2891682 | 2147483647   283505     24 |  2.507 % |
246.97/247.34	c |    287564 |   89228   861902  2891682 | 2147483647   283638     24 |  2.507 % |
247.07/247.47	c |    287710 |   89228   861902  2891682 | 2147483647   283784     24 |  2.507 % |
247.17/247.53	c |    287870 |   89228   861902  2891682 | 2147483647   283944     24 |  2.507 % |
247.27/247.65	c |    288048 |   89228   861902  2891682 | 2147483647   284122     24 |  2.507 % |
247.57/247.99	c |    288242 |   89228   861902  2891682 | 2147483647   284316     24 |  2.507 % |
247.77/248.14	c |    288455 |   89228   861902  2891682 | 2147483647   284529     24 |  2.507 % |
248.07/248.46	c |    288688 |   89228   861902  2891682 | 2147483647   284762     24 |  2.507 % |
248.37/248.72	c |    288945 |   89228   861902  2891682 | 2147483647   285019     24 |  2.507 % |
248.57/248.98	c |    289228 |   89228   861902  2891682 | 2147483647   285302     24 |  2.507 % |
248.87/249.28	c |    289538 |   89228   861902  2891682 | 2147483647   285612     24 |  2.507 % |
249.57/249.93	c |    289877 |   89228   861902  2891682 | 2147483647   285951     24 |  2.507 % |
250.17/250.50	c |    290252 |   89228   861902  2891682 | 2147483647   286326     24 |  2.507 % |
250.77/251.18	c |    290662 |   89228   861902  2891682 | 2147483647   286736     24 |  2.507 % |
251.77/252.11	c |    291113 |   89228   861902  2891682 | 2147483647   287187     24 |  2.507 % |
252.47/252.90	c |    291606 |   89228   861902  2891682 | 2147483647   287680     24 |  2.507 % |
252.97/253.37	c |    292150 |   89228   861902  2891682 | 2147483647   288224     24 |  2.507 % |
253.87/254.27	c |    292748 |   89228   861902  2891682 | 2147483647   288822     24 |  2.507 % |
254.87/255.20	c |    293406 |   89228   861902  2891682 | 2147483647   289480     24 |  2.507 % |
256.07/256.40	c |    294126 |   89228   861902  2891682 | 2147483647   290200     24 |  2.507 % |
256.97/257.34	c |    294918 |   89228   861902  2891682 | 2147483647   290992     24 |  2.507 % |
258.17/258.57	c |    295790 |   89228   861902  2891682 | 2147483647   291864     24 |  2.507 % |
259.76/260.11	c |    296748 |   89228   861902  2891682 | 2147483647   292822     24 |  2.507 % |
261.56/261.97	c |    297802 |   89228   861902  2891682 | 2147483647   293876     24 |  2.507 % |
263.86/264.29	c |    298960 |   89228   861902  2891682 | 2147483647   295034     24 |  2.507 % |
266.36/266.72	c |    300235 |   89116   855360  2865876 | 2147483647   246767     25 |  2.629 % |
267.86/268.28	c |    301635 |   89116   855360  2865876 | 2147483647   248167     25 |  2.629 % |
270.46/270.87	c |    303175 |   89116   855360  2865876 | 2147483647   249707     25 |  2.629 % |
272.76/273.17	c |    304869 |   89116   855360  2865876 | 2147483647   251401     25 |  2.629 % |
274.56/274.90	c |    306736 |   89116   855360  2865876 | 2147483647   253268     25 |  2.629 % |
277.36/277.71	c |    308785 |   89116   855360  2865876 | 2147483647   255317     25 |  2.629 % |
280.26/280.60	c |    311038 |   89116   855360  2865876 | 2147483647   257570     25 |  2.629 % |
283.46/283.82	c |    313517 |   89116   855360  2865876 | 2147483647   260049     25 |  2.629 % |
287.26/287.65	c |    316243 |   89116   855360  2865876 | 2147483647   262775     25 |  2.629 % |
290.25/290.64	c |    319241 |   89116   855360  2865876 | 2147483647   265773     25 |  2.629 % |
290.35/290.74	c |    319343 |   89116   855360  2865876 | 2147483647   265875     25 |  2.629 % |
290.55/290.97	c |    319453 |   89116   855360  2865876 | 2147483647   265985     25 |  2.629 % |
290.75/291.15	c |    319577 |   89116   855360  2865876 | 2147483647   266109     25 |  2.629 % |
291.16/291.52	c |    319710 |   89116   855360  2865876 | 2147483647   266242     25 |  2.629 % |
291.35/291.71	c |    319856 |   89116   855360  2865876 | 2147483647   266388     25 |  2.629 % |
291.55/291.94	c |    320018 |   89116   855360  2865876 | 2147483647   266550     25 |  2.629 % |
291.85/292.27	c |    320195 |   89116   855360  2865876 | 2147483647   266727     25 |  2.629 % |
292.15/292.51	c |    320391 |   89116   855360  2865876 | 2147483647   266923     25 |  2.629 % |
292.35/292.75	c |    320603 |   89116   855360  2865876 | 2147483647   267135     25 |  2.629 % |
292.85/293.29	c |    320836 |   89116   855360  2865876 | 2147483647   267368     25 |  2.629 % |
293.45/293.85	c |    321092 |   89116   855360  2865876 | 2147483647   267624     25 |  2.629 % |
294.05/294.41	c |    321374 |   89116   855360  2865876 | 2147483647   267906     25 |  2.629 % |
294.65/295.04	c |    321684 |   89116   855360  2865876 | 2147483647   268216     25 |  2.629 % |
295.25/295.66	c |    322024 |   89116   855360  2865876 | 2147483647   268556     25 |  2.629 % |
295.95/296.36	c |    322397 |   89116   855360  2865876 | 2147483647   268929     25 |  2.629 % |
296.75/297.13	c |    322806 |   89116   855360  2865876 | 2147483647   269338     25 |  2.629 % |
297.35/297.71	c |    323255 |   89116   855360  2865876 | 2147483647   269787     25 |  2.629 % |
297.76/298.19	c |    323748 |   89116   855360  2865876 | 2147483647   270280     25 |  2.629 % |
298.45/298.81	c |    324292 |   89116   855360  2865876 | 2147483647   270824     25 |  2.629 % |
298.95/299.34	c |    324889 |   89116   855360  2865876 | 2147483647   271421     25 |  2.629 % |
299.75/300.19	c |    325544 |   89116   855360  2865876 | 2147483647   272076     25 |  2.629 % |
300.96/301.32	c |    326264 |   89116   855360  2865876 | 2147483647   272796     25 |  2.629 % |
301.95/302.33	c |    327057 |   89116   855360  2865876 | 2147483647   273589     25 |  2.629 % |
303.26/303.61	c |    327928 |   89116   855360  2865876 | 2147483647   274460     25 |  2.629 % |
304.55/304.93	c |    328886 |   89116   855360  2865876 | 2147483647   275418     25 |  2.629 % |
306.05/306.42	c |    329939 |   89116   855360  2865876 | 2147483647   276471     25 |  2.629 % |
307.95/308.30	c |    331098 |   89113   855336  2865794 | 2147483647   277625     25 |  2.632 % |
310.35/310.71	c |    332372 |   89113   855336  2865794 | 2147483647   278899     25 |  2.632 % |
312.75/313.12	c |    333772 |   89113   855336  2865794 | 2147483647   280299     25 |  2.632 % |
314.55/314.97	c |    335313 |   89113   855336  2865794 | 2147483647   281840     25 |  2.632 % |
317.95/318.30	c |    337007 |   89113   855336  2865794 | 2147483647   283534     25 |  2.632 % |
321.55/321.99	c |    338870 |   89113   855336  2865794 | 2147483647   285397     25 |  2.632 % |
324.94/325.35	c |    340919 |   89113   855336  2865794 | 2147483647   287446     25 |  2.632 % |
327.84/328.28	c |    343172 |   89113   855336  2865794 | 2147483647   289699     26 |  2.632 % |
331.53/331.90	c |    345650 |   89113   855336  2865794 | 2147483647   292177     26 |  2.632 % |
335.14/335.53	c |    348376 |   89113   855336  2865794 | 2147483647   294903     26 |  2.632 % |
340.63/341.05	c |    351374 |   89113   855336  2865794 | 2147483647   297901     26 |  2.632 % |
345.83/346.22	c |    354670 |   89113   855336  2865794 | 2147483647   301197     26 |  2.632 % |
345.93/346.39	c |    354770 |   89113   855336  2865794 | 2147483647   301297     26 |  2.632 % |
346.14/346.59	c |    354884 |   89113   855336  2865794 | 2147483647   301411     26 |  2.632 % |
346.43/346.87	c |    355006 |   89113   855336  2865794 | 2147483647   301533     26 |  2.632 % |
346.93/347.31	c |    355140 |   89113   855336  2865794 | 2147483647   301667     26 |  2.632 % |
347.24/347.68	c |    355286 |   89113   855336  2865794 | 2147483647   301813     26 |  2.632 % |
347.63/348.09	c |    355447 |   89113   855336  2865794 | 2147483647   301974     26 |  2.632 % |
348.13/348.53	c |    355624 |   89113   855336  2865794 | 2147483647   302151     26 |  2.632 % |
348.53/348.94	c |    355818 |   89113   855336  2865794 | 2147483647   302345     26 |  2.632 % |
348.93/349.31	c |    356030 |   89113   855336  2865794 | 2147483647   302557     26 |  2.632 % |
349.73/350.15	c |    356266 |   89113   855336  2865794 | 2147483647   302793     26 |  2.632 % |
350.13/350.52	c |    356522 |   89113   855336  2865794 | 2147483647   303049     26 |  2.632 % |
350.73/351.13	c |    356803 |   89113   855336  2865794 | 2147483647   303330     26 |  2.632 % |
351.33/351.71	c |    357113 |   89113   855336  2865794 | 2147483647   303640     26 |  2.632 % |
351.63/352.09	c |    357452 |   89113   855336  2865794 | 2147483647   303979     26 |  2.632 % |
352.13/352.56	c |    357824 |   89113   855336  2865794 | 2147483647   304351     26 |  2.632 % |
352.73/353.20	c |    358236 |   89113   855336  2865794 | 2147483647   304763     26 |  2.632 % |
353.63/354.02	c |    358688 |   89113   855336  2865794 | 2147483647   305215     26 |  2.632 % |
354.33/354.72	c |    359181 |   89113   855336  2865794 | 2147483647   305708     26 |  2.632 % |
354.93/355.32	c |    359724 |   89113   855336  2865794 | 2147483647   306251     26 |  2.632 % |
356.03/356.49	c |    360321 |   89113   855336  2865794 | 2147483647   306848     26 |  2.632 % |
357.52/357.98	c |    360976 |   89113   855336  2865794 | 2147483647   307503     26 |  2.632 % |
359.12/359.53	c |    361696 |   89113   855336  2865794 | 2147483647   308223     26 |  2.632 % |
360.22/360.64	c |    362488 |   89113   855336  2865794 | 2147483647   309015     26 |  2.632 % |
361.22/361.69	c |    363359 |   89113   855336  2865794 | 2147483647   309886     26 |  2.632 % |
363.32/363.74	c |    364318 |   89113   855336  2865794 | 2147483647   310845     26 |  2.632 % |
365.62/366.07	c |    365371 |   89113   855336  2865794 | 2147483647   311898     26 |  2.632 % |
367.32/367.72	c |    366529 |   89113   855336  2865794 | 2147483647   313056     26 |  2.632 % |
370.22/370.67	c |    367804 |   89113   855336  2865794 | 2147483647   314331     26 |  2.632 % |
373.02/373.42	c |    369204 |   89113   855336  2865794 | 2147483647   315731     26 |  2.632 % |
375.22/375.64	c |    370744 |   89113   855336  2865794 | 2147483647   317271     26 |  2.632 % |
378.62/379.02	c |    372438 |   89113   855336  2865794 | 2147483647   318965     26 |  2.632 % |
380.62/381.05	c |    374302 |   89113   855336  2865794 | 2147483647   320829     26 |  2.632 % |
384.71/385.18	c |    376351 |   89113   855336  2865794 | 2147483647   322878     26 |  2.632 % |
388.21/388.63	c |    378605 |   89113   855336  2865794 | 2147483647   325132     27 |  2.632 % |
392.61/393.02	c |    381085 |   89113   855336  2865794 | 2147483647   327612     27 |  2.632 % |
397.91/398.35	c |    383811 |   89113   855336  2865794 | 2147483647   330338     27 |  2.632 % |
403.40/403.88	c |    386809 |   89113   855336  2865794 | 2147483647   333336     27 |  2.632 % |
407.80/408.22	c |    390106 |   89113   855336  2865794 | 2147483647   336633     27 |  2.632 % |
414.50/414.91	c |    393731 |   89113   855336  2865794 | 2147483647   340258     27 |  2.632 % |
414.80/415.21	c |    393832 |   89113   855336  2865794 | 2147483647   340359     27 |  2.632 % |
414.90/415.34	c |    393942 |   89113   855336  2865794 | 2147483647   340469     27 |  2.632 % |
415.40/415.86	c |    394066 |   89113   855336  2865794 | 2147483647   340593     27 |  2.632 % |
415.99/416.42	c |    394200 |   89113   855336  2865794 | 2147483647   340727     27 |  2.632 % |
416.29/416.79	c |    394346 |   89113   855336  2865794 | 2147483647   340873     27 |  2.632 % |
416.79/417.26	c |    394507 |   89113   855336  2865794 | 2147483647   341034     27 |  2.632 % |
417.39/417.88	c |    394684 |   89113   855336  2865794 | 2147483647   341211     27 |  2.632 % |
417.79/418.25	c |    394879 |   89113   855336  2865794 | 2147483647   341406     27 |  2.632 % |
418.29/418.70	c |    395092 |   89113   855336  2865794 | 2147483647   341619     27 |  2.632 % |
418.70/419.10	c |    395327 |   89113   855336  2865794 | 2147483647   341854     27 |  2.632 % |
419.29/419.74	c |    395584 |   89113   855336  2865794 | 2147483647   342111     27 |  2.632 % |
419.80/420.21	c |    395867 |   89113   855336  2865794 | 2147483647   342394     27 |  2.632 % |
420.19/420.60	c |    396176 |   89113   855336  2865794 | 2147483647   342703     27 |  2.632 % |
420.69/421.18	c |    396516 |   89113   855336  2865794 | 2147483647   343043     27 |  2.632 % |
421.49/421.90	c |    396889 |   89113   855336  2865794 | 2147483647   343416     27 |  2.632 % |
422.39/422.86	c |    397298 |   89113   855336  2865794 | 2147483647   343825     27 |  2.632 % |
423.40/423.88	c |    397747 |   89113   855336  2865794 | 2147483647   344274     27 |  2.632 % |
424.30/424.73	c |    398241 |   89113   855336  2865794 | 2147483647   344768     27 |  2.632 % |
425.40/425.81	c |    398784 |   89113   855336  2865794 | 2147483647   345311     27 |  2.632 % |
426.40/426.87	c |    399380 |   89113   855336  2865794 | 2147483647   345907     27 |  2.632 % |
428.19/428.63	c |    400035 |   89113   855336  2865794 | 2147483647   346562     27 |  2.632 % |
430.39/430.84	c |    400758 |   89113   855336  2865794 | 2147483647   347285     27 |  2.632 % |
431.79/432.20	c |    401550 |   89113   855336  2865794 | 2147483647   348077     27 |  2.632 % |
434.59/435.05	c |    402424 |   89113   855336  2865794 | 2147483647   348951     27 |  2.632 % |
436.29/436.72	c |    403383 |   89113   855336  2865794 | 2147483647   349910     27 |  2.632 % |
437.58/438.04	c |    404436 |   89113   855336  2865794 | 2147483647   350963     27 |  2.632 % |
440.79/441.23	c |    405594 |   89113   855336  2865794 | 2147483647   352121     27 |  2.632 % |
443.38/443.86	c |    406867 |   89113   855336  2865794 | 2147483647   353394     27 |  2.632 % |
447.58/448.01	c |    408268 |   89113   855336  2865794 | 2147483647   354795     27 |  2.632 % |
449.88/450.37	c |    409808 |   89113   855336  2865794 | 2147483647   356335     27 |  2.632 % |
454.68/455.12	c |    411503 |   89113   855336  2865794 | 2147483647   358030     27 |  2.632 % |
457.38/457.89	c |    413368 |   89113   855336  2865794 | 2147483647   359895     27 |  2.632 % |
462.37/462.87	c |    415418 |   89113   855336  2865794 | 2147483647   361945     27 |  2.632 % |
467.98/468.44	c |    417672 |   89113   855336  2865794 | 2147483647   364199     27 |  2.632 % |
473.97/474.44	c |    420150 |   89113   855336  2865794 | 2147483647   366677     27 |  2.632 % |
480.17/480.64	c |    422875 |   89113   855336  2865794 | 2147483647   369402     27 |  2.632 % |
487.16/487.61	c |    425872 |   89113   855336  2865794 | 2147483647   372399     27 |  2.632 % |
493.06/493.51	c |    429168 |   89113   855336  2865794 | 2147483647   375695     27 |  2.632 % |
500.26/500.76	c |    432793 |   89113   855336  2865794 | 2147483647   379320     28 |  2.632 % |
507.26/507.71	c |    436782 |   89113   855336  2865794 | 2147483647   383309     27 |  2.632 % |
507.46/507.92	c |    436882 |   89113   855336  2865794 | 2147483647   383409     27 |  2.632 % |
507.56/508.04	c |    436995 |   89113   855336  2865794 | 2147483647   383522     27 |  2.632 % |
507.76/508.24	c |    437117 |   89113   855336  2865794 | 2147483647   383644     27 |  2.632 % |
507.96/508.46	c |    437250 |   89113   855336  2865794 | 2147483647   383777     27 |  2.632 % |
508.26/508.74	c |    437396 |   89113   855336  2865794 | 2147483647   383923     27 |  2.632 % |
508.66/509.13	c |    437556 |   89113   855336  2865794 | 2147483647   384083     27 |  2.632 % |
509.16/509.64	c |    437733 |   89113   855336  2865794 | 2147483647   384260     27 |  2.632 % |
509.56/510.02	c |    437927 |   89113   855336  2865794 | 2147483647   384454     27 |  2.632 % |
510.06/510.54	c |    438140 |   89113   855336  2865794 | 2147483647   384667     27 |  2.632 % |
510.36/510.87	c |    438373 |   89113   855336  2865794 | 2147483647   384900     27 |  2.632 % |
511.06/511.50	c |    438629 |   89113   855336  2865794 | 2147483647   385156     27 |  2.632 % |
511.66/512.10	c |    438910 |   89113   855336  2865794 | 2147483647   385437     27 |  2.632 % |
512.26/512.73	c |    439221 |   89113   855336  2865794 | 2147483647   385748     27 |  2.632 % |
512.76/513.29	c |    439560 |   89113   855336  2865794 | 2147483647   386087     27 |  2.632 % |
513.86/514.32	c |    439932 |   89113   855336  2865794 | 2147483647   386459     27 |  2.632 % |
514.96/515.47	c |    440341 |   89113   855336  2865794 | 2147483647   386868     27 |  2.632 % |
516.35/516.85	c |    440790 |   89113   855336  2865794 | 2147483647   387317     27 |  2.632 % |
518.05/518.51	c |    441283 |   89113   855336  2865794 | 2147483647   387810     27 |  2.632 % |
519.05/519.54	c |    441828 |   89113   855336  2865794 | 2147483647   388355     27 |  2.632 % |
520.35/520.80	c |    442427 |   89113   855336  2865794 | 2147483647   388954     27 |  2.632 % |
522.55/523.05	c |    443083 |   89113   855336  2865794 | 2147483647   389610     27 |  2.632 % |
524.74/525.28	c |    443803 |   89113   855336  2865794 | 2147483647   390330     27 |  2.632 % |
526.54/527.03	c |    444596 |   89113   855336  2865794 | 2147483647   391123     28 |  2.632 % |
528.94/529.43	c |    445469 |   89113   855336  2865794 | 2147483647   391996     28 |  2.632 % |
531.74/532.27	c |    446427 |   89113   855336  2865794 | 2147483647   392954     28 |  2.632 % |
534.84/535.38	c |    447481 |   89113   855336  2865794 | 2147483647   394008     28 |  2.632 % |
536.74/537.21	c |    448640 |   89113   855336  2865794 | 2147483647   395167     28 |  2.632 % |
540.14/540.66	c |    449913 |   89113   855336  2865794 | 2147483647   396440     28 |  2.632 % |
542.24/542.76	c |    451314 |   89113   855336  2865794 | 2147483647   397841     28 |  2.632 % |
545.34/545.87	c |    452855 |   89113   855336  2865794 | 2147483647   399382     28 |  2.632 % |
549.14/549.68	c |    454550 |   89113   855336  2865794 | 2147483647   401077     28 |  2.632 % |
553.94/554.42	c |    456414 |   89113   855336  2865794 | 2147483647   402941     28 |  2.632 % |
559.24/559.78	c |    458463 |   89113   855336  2865794 | 2147483647   404990     28 |  2.632 % |
564.93/565.46	c |    460716 |   89109   855321  2865747 | 2147483647   407242     28 |  2.637 % |
572.23/572.70	c |    463194 |   89108   855321  2865747 | 2147483647   409719     28 |  2.640 % |
578.52/579.05	c |    465919 |   89108   855321  2865747 | 2147483647   412444     28 |  2.640 % |
579.73/580.20	c |    468916 |   89108   855321  2865747 | 2147483647   415441     28 |  2.640 % |
586.72/587.28	c |    472212 |   89108   855321  2865747 | 2147483647   418737     28 |  2.640 % |
589.22/589.78	c |    475837 |   89108   855321  2865747 | 2147483647   422362     28 |  2.640 % |
598.12/598.60	c |    479824 |   89108   855321  2865747 | 2147483647   426349     28 |  2.640 % |
607.91/608.43	c |    484209 |   89108   855321  2865747 | 2147483647   430734     28 |  2.640 % |
608.41/608.93	c |    484309 |   89106   855297  2865665 | 2147483647   430831     28 |  2.640 % |
608.91/609.45	c |    484419 |   89106   855297  2865665 | 2147483647   430941     28 |  2.640 % |
609.31/609.83	c |    484541 |   89106   855297  2865665 | 2147483647   431063     28 |  2.640 % |
609.81/610.31	c |    484675 |   89106   855297  2865665 | 2147483647   431197     28 |  2.640 % |
610.31/610.80	c |    484822 |   89106   855297  2865665 | 2147483647   431344     28 |  2.640 % |
610.81/611.39	c |    484984 |   89106   855297  2865665 | 2147483647   431506     28 |  2.640 % |
611.41/611.99	c |    485160 |   89106   855297  2865665 | 2147483647   431682     28 |  2.640 % |
612.11/612.64	c |    485354 |   89106   855297  2865665 | 2147483647   431876     28 |  2.640 % |
612.81/613.31	c |    485566 |   89106   855297  2865665 | 2147483647   432088     28 |  2.640 % |
613.91/614.46	c |    485801 |   89106   855297  2865665 | 2147483647   432323     28 |  2.640 % |
615.11/615.68	c |    486059 |   89106   855297  2865665 | 2147483647   432581     28 |  2.640 % |
615.91/616.41	c |    486341 |   89106   855297  2865665 | 2147483647   432863     28 |  2.640 % |
616.51/617.06	c |    486651 |   89106   855297  2865665 | 2147483647   433173     28 |  2.640 % |
616.91/617.47	c |    486990 |   89106   855297  2865665 | 2147483647   433512     28 |  2.640 % |
618.00/618.54	c |    487362 |   89106   855297  2865665 | 2147483647   433884     28 |  2.640 % |
619.30/619.80	c |    487771 |   89106   855297  2865665 | 2147483647   434293     28 |  2.640 % |
620.11/620.66	c |    488222 |   89106   855297  2865665 | 2147483647   434744     28 |  2.640 % |
620.80/621.40	c |    488717 |   89106   855297  2865665 | 2147483647   435239     28 |  2.640 % |
622.50/623.08	c |    489259 |   89106   855297  2865665 | 2147483647   435781     28 |  2.640 % |
624.40/624.93	c |    489855 |   89106   855297  2865665 | 2147483647   436377     28 |  2.640 % |
626.51/627.02	c |    490510 |   89106   855297  2865665 | 2147483647   437032     28 |  2.640 % |
627.50/628.09	c |    491230 |   89106   855297  2865665 | 2147483647   437751     28 |  2.644 % |
630.31/630.86	c |    492022 |   89106   855297  2865665 | 2147483647   438543     28 |  2.644 % |
632.81/633.36	c |    492893 |   89106   855297  2865665 | 2147483647   439414     28 |  2.644 % |
635.81/636.37	c |    493851 |   89106   855297  2865665 | 2147483647   440372     28 |  2.644 % |
639.31/639.83	c |    494904 |   89106   855297  2865665 | 2147483647   441425     28 |  2.644 % |
641.41/641.99	c |    496064 |   89106   855297  2865665 | 2147483647   442585     28 |  2.644 % |
644.71/645.28	c |    497338 |   89106   855297  2865665 | 2147483647   443859     28 |  2.644 % |
648.80/649.31	c |    498740 |   89106   855297  2865665 | 2147483647   445261     28 |  2.644 % |
653.90/654.42	c |    500281 |   89106   855297  2865665 | 2147483647   446802     28 |  2.644 % |
658.99/659.58	c |    501979 |   89102   855277  2865603 | 2147483647   448500     28 |  2.644 % |
662.79/663.37	c |    503842 |   89102   855277  2865603 | 2147483647   450363     28 |  2.644 % |
667.99/668.51	c |    505891 |   89102   855277  2865603 | 2147483647   452412     28 |  2.644 % |
672.99/673.51	c |    508144 |   89102   855277  2865603 | 2147483647   454665     28 |  2.644 % |
681.08/681.69	c |    510623 |   89102   855277  2865603 | 2147483647   457144     28 |  2.644 % |
690.08/690.63	c |    513349 |   89102   855277  2865603 | 2147483647   459870     28 |  2.644 % |
699.77/700.34	c |    516348 |   89102   855277  2865603 | 2147483647   462869     28 |  2.644 % |
705.07/705.61	c |    519645 |   89099   853986  2861733 | 2147483647   239582     21 |  2.647 % |
709.47/710.02	c |    523272 |   89099   853986  2861733 | 2147483647   243209     21 |  2.647 % |
716.46/717.09	c |    527260 |   89099   853986  2861733 | 2147483647   247197     21 |  2.647 % |
724.27/724.80	c |    531646 |   89099   853986  2861733 | 2147483647   251583     21 |  2.647 % |
727.96/728.50	c ===============================================================================
727.96/728.50	c restarts              : 904
727.96/728.50	c conflicts             : 533149         (808 /sec)
727.96/728.50	c decisions             : 902058         (1.83 % random) (1367 /sec)
727.96/728.50	c propagations          : 345809479      (523929 /sec)
727.96/728.50	c conflict literals     : 14525604       (44.43 % deleted)
727.96/728.50	c Memory used           : 114.59 MB
727.96/728.50	c CPU time              : 660.031 s
727.96/728.50	c 
727.96/728.50	s UNSATISFIABLE
727.96/728.52	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-1833839-1242825413/watcher-1833839-1242825413 -o /tmp/evaluation-result-1833839-1242825413/solver-1833839-1242825413 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833839-1242825413.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 1.00 3/64 5932
/proc/meminfo: memFree=1709272/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310567805 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 244277018706 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5932/statm: 1339 235 195 169 0 50 0
[pid=5933] ppid=5932 vsize=5356 CPUtime=0
/proc/5933/stat : 5933 (SatELiteGTI) S 5932 5932 5788 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310567805 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/5933/statm: 1339 238 198 169 0 50 0
[pid=5935] ppid=5933 vsize=5356 CPUtime=0
/proc/5935/stat : 5935 (SatELiteGTI) R 5933 5932 5788 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276849959 0 0 4096 0 0 0 0 17 1 0 0
/proc/5935/statm: 1339 239 199 169 0 50 0

[startup+0.088635 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 5932
/proc/meminfo: memFree=1709272/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101631 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 5932
/proc/meminfo: memFree=1709272/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301656 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 5932
/proc/meminfo: memFree=1709272/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701701 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 5932
/proc/meminfo: memFree=1709272/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50179 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1583048/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=176508 CPUtime=1.48
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 42938 0 0 0 121 27 0 0 25 0 1 0 310567806 180744192 42828 1992294400 134512640 135223648 4294956128 18446744073709551615 134716529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5937/statm: 44127 42828 50 173 0 43952 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 181864

[startup+3.10197 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1483592/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=250660 CPUtime=3.07
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 59434 0 0 0 273 34 0 0 25 0 1 0 310567806 256675840 59311 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 1 0 0
/proc/5937/statm: 62665 59311 70 173 0 62490 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 256016

[startup+6.30132 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1453192/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=274540 CPUtime=6.27
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 64623 0 0 0 590 37 0 0 25 0 1 0 310567806 281128960 64500 1992294400 134512640 135223648 4294956128 18446744073709551615 134548217 0 0 4096 3 0 0 0 17 0 0 0
/proc/5937/statm: 68635 64500 75 173 0 68460 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 279896

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1453000/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=274540 CPUtime=12.67
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 64636 0 0 0 1230 37 0 0 25 0 1 0 310567806 281128960 64513 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 0 0 0
/proc/5937/statm: 68635 64513 75 173 0 68460 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 279896

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1453128/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=274312 CPUtime=25.46
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 64694 0 0 0 2509 37 0 0 25 0 1 0 310567806 280895488 64514 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 0 0 0
/proc/5937/statm: 68578 64514 75 173 0 68403 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 279668

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5937
/proc/meminfo: memFree=1452872/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=0
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310567805 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5932/statm: 1339 237 197 169 0 50 0
[pid=5937] ppid=5932 vsize=274412 CPUtime=51.06
/proc/5937/stat : 5937 (SatELite_releas) R 5932 5932 5788 0 -1 4194304 64980 0 0 0 5069 37 0 0 25 0 1 0 310567806 280997888 64569 1992294400 134512640 135223648 4294956128 18446744073709551615 134548567 0 0 4096 3 0 0 0 17 0 0 0
/proc/5937/statm: 68603 64569 75 173 0 68428 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 279768

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1609800/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=59684 CPUtime=34.37
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 14630 0 0 0 3427 10 0 0 25 0 1 0 310574593 61116416 14605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 14921 14605 77 171 0 14748 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 65040

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1597576/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=71984 CPUtime=94.33
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 17708 0 0 0 9420 13 0 0 25 0 1 0 310574593 73711616 17683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 17996 17683 77 171 0 17823 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 77340

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1587784/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=81828 CPUtime=154.29
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 20115 0 0 0 15414 15 0 0 25 0 1 0 310574593 83791872 20090 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 20457 20090 77 171 0 20284 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 87184

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1582664/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=86880 CPUtime=214.27
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 21394 0 0 0 21411 16 0 0 25 0 1 0 310574593 88965120 21369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 21720 21369 77 171 0 21547 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 92236

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1579528/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=89976 CPUtime=274.24
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 22166 0 0 0 27407 17 0 0 25 0 1 0 310574593 92135424 22141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 22494 22141 77 171 0 22321 0
Current children cumulated CPU time (s) 341.93
Current children cumulated vsize (KiB) 95332

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1573896/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=96152 CPUtime=334.21
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 23600 0 0 0 33402 19 0 0 25 0 1 0 310574593 98459648 23575 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 24038 23575 77 171 0 23865 0
Current children cumulated CPU time (s) 401.9
Current children cumulated vsize (KiB) 101508

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1568904/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=100880 CPUtime=394.18
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 24802 0 0 0 39398 20 0 0 25 0 1 0 310574593 103301120 24777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 25220 24777 77 171 0 25047 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 106236

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1564296/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=105408 CPUtime=454.16
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 25960 0 0 0 45394 22 0 0 25 0 1 0 310574593 107937792 25935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 26352 25935 77 171 0 26179 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 110764

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1559624/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=110012 CPUtime=514.14
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 27119 0 0 0 51390 24 0 0 25 0 1 0 310574593 112652288 27094 1992294400 134512640 135215339 4294956240 18446744073709551615 134525421 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 27503 27094 77 171 0 27330 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 115368

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1555208/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=114380 CPUtime=574.12
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28186 0 0 0 57387 25 0 0 25 0 1 0 310574593 117125120 28161 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 28595 28161 77 171 0 28422 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 119736

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552264/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117208 CPUtime=634.08
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28929 0 0 0 63383 25 0 0 25 0 1 0 310574593 120020992 28904 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29302 28904 77 171 0 29129 0
Current children cumulated CPU time (s) 701.77
Current children cumulated vsize (KiB) 122564

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

[startup+703.901 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552264/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=635.68
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 63543 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134526134 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 703.37
Current children cumulated vsize (KiB) 122696

[startup+716.702 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=648.47
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 64822 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 716.16
Current children cumulated vsize (KiB) 122696

[startup+723.102 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=654.87
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 65462 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 722.56
Current children cumulated vsize (KiB) 122696

[startup+726.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=658.07
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 65782 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 725.76
Current children cumulated vsize (KiB) 122696

[startup+727.902 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=659.67
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 65942 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 727.36
Current children cumulated vsize (KiB) 122696

[startup+728.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=660.07
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 65982 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 727.76
Current children cumulated vsize (KiB) 122696

[startup+728.501 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 5938
/proc/meminfo: memFree=1552200/2055920 swapFree=4178604/4192956
[pid=5932] ppid=5930 vsize=5356 CPUtime=67.69
/proc/5932/stat : 5932 (SatELiteGTI) S 5930 5932 5788 0 -1 4194304 336 81159 0 0 0 0 6706 63 16 0 1 0 310567805 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5932/statm: 1339 239 197 169 0 50 0
[pid=5938] ppid=5932 vsize=117340 CPUtime=660.27
/proc/5938/stat : 5938 (minisat_static) R 5932 5932 5788 0 -1 4194304 28933 0 0 0 66002 25 0 0 25 0 1 0 310574593 120156160 28908 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 0 0 0
/proc/5938/statm: 29335 28908 77 171 0 29162 0
Current children cumulated CPU time (s) 727.96
Current children cumulated vsize (KiB) 122696

Child status: 20
Real time (s): 728.551
CPU time (s): 728.033
CPU user time (s): 727.093
CPU system time (s): 0.939857
CPU usage (%): 99.9289
Max. virtual memory (cumulated for all children) (KiB): 304312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 727.093
system time used= 0.939857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110588
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= 49
involuntary context switches= 3776

runsolver used 0.895863 second user time and 1.83072 second system time

The end

Launcher Data 

Begin job on node63 at 2009-05-20 15:16:56
IDJOB=1833839
IDBENCH=70961
IDSOLVER=671
FILE ID=node63/1833839-1242825413
PBS_JOBID= 9322535
Free space on /tmp= 66192 MiB

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

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

MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=490479916

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1709816 kB
Buffers:         47700 kB
Cached:         244888 kB
SwapCached:       7836 kB
Active:         114064 kB
Inactive:       188120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1709816 kB
SwapTotal:     4192956 kB
SwapFree:      4178604 kB
Dirty:           50924 kB
Writeback:           0 kB
Mapped:          14804 kB
Slab:            29728 kB
Committed_AS:  1126816 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66188 MiB
End job on node63 at 2009-05-20 15:29:05