Trace number 1832547

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.1 1200.12

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
MD5SUMbb1339ae162280016fc37fa2e91a7c5e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses18700
Sum of the clauses size130900
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518700

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   18700   130900 |    5609       0        0     nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 220   #clauses: 18700   #literals: 130900
0.00/0.03	c CPU time:   0.021996 s
0.00/0.03	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  220                                                  |
0.00/0.07	c |  Number of clauses:    18700                                                |
0.00/0.09	c |  Parsing time:         0.02         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.06/0.10	c |       100 |     220    18700   130900 |     6233      100     60 |  0.002 % |
0.06/0.11	c |       200 |     220    18700   130900 |     6233      200     61 |  0.002 % |
0.06/0.12	c |       302 |     220    18700   130900 |     6233      302     61 |  0.002 % |
0.06/0.14	c |       412 |     220    18700   130900 |     6233      412     62 |  0.002 % |
0.06/0.15	c |       513 |     220    18700   130900 |     6233      513     62 |  0.002 % |
0.06/0.16	c |       625 |     220    18700   130900 |     6233      625     62 |  0.002 % |
0.06/0.17	c |       747 |     220    18700   130900 |     6233      747     62 |  0.002 % |
0.06/0.18	c |       848 |     220    18700   130900 |     6233      848     61 |  0.002 % |
0.06/0.19	c |       958 |     220    18700   130900 |     6233      958     61 |  0.002 % |
0.06/0.20	c |      1079 |     220    18700   130900 |     6233     1079     61 |  0.002 % |
0.06/0.21	c |      1213 |     220    18700   130900 |     6233     1213     61 |  0.002 % |
0.06/0.22	c |      1314 |     220    18700   130900 |     6233     1314     61 |  0.002 % |
0.06/0.23	c |      1427 |     220    18700   130900 |     6233     1427     61 |  0.002 % |
0.06/0.25	c |      1548 |     220    18700   130900 |     6233     1548     61 |  0.002 % |
0.06/0.26	c |      1683 |     220    18700   130900 |     6233     1683     61 |  0.002 % |
0.06/0.27	c |      1829 |     220    18700   130900 |     6233     1829     61 |  0.002 % |
0.06/0.28	c |      1932 |     220    18700   130900 |     6233     1932     61 |  0.002 % |
0.06/0.29	c |      2043 |     220    18700   130900 |     6233     2043     62 |  0.002 % |
0.06/0.30	c |      2165 |     220    18700   130900 |     6233     2165     62 |  0.002 % |
0.06/0.32	c |      2298 |     220    18700   130900 |     6233     2298     62 |  0.002 % |
0.06/0.33	c |      2446 |     220    18700   130900 |     6233     2446     61 |  0.002 % |
0.06/0.35	c |      2606 |     220    18700   130900 |     6233     2606     62 |  0.002 % |
0.06/0.36	c |      2707 |     220    18700   130900 |     6233     2707     62 |  0.002 % |
0.06/0.37	c |      2818 |     220    18700   130900 |     6233     2818     62 |  0.002 % |
0.06/0.38	c |      2939 |     220    18700   130900 |     6233     2939     62 |  0.002 % |
0.06/0.40	c |      3072 |     220    18700   130900 |     6233     3072     62 |  0.002 % |
0.06/0.41	c |      3218 |     220    18700   130900 |     6233     3218     62 |  0.002 % |
0.06/0.43	c |      3378 |     220    18700   130900 |     6233     3378     62 |  0.002 % |
0.06/0.45	c |      3555 |     220    18700   130900 |     6233     3555     61 |  0.002 % |
0.06/0.46	c |      3655 |     220    18700   130900 |     6233     3655     61 |  0.002 % |
0.06/0.48	c |      3765 |     220    18700   130900 |     6233     3765     61 |  0.002 % |
0.06/0.49	c |      3888 |     220    18700   130900 |     6233     3888     61 |  0.002 % |
0.06/0.50	c |      4022 |     220    18700   130900 |     6233     4022     61 |  0.002 % |
0.06/0.52	c |      4169 |     220    18700   130900 |     6233     4169     62 |  0.002 % |
0.06/0.54	c |      4329 |     220    18700   130900 |     6233     4329     62 |  0.002 % |
0.06/0.56	c |      4505 |     220    18700   130900 |     6233     4505     61 |  0.002 % |
0.06/0.59	c |      4698 |     220    18700   130900 |     6233     4698     61 |  0.002 % |
0.06/0.60	c |      4800 |     220    18700   130900 |     6233     4800     62 |  0.002 % |
0.06/0.61	c |      4912 |     220    18700   130900 |     6233     4912     61 |  0.002 % |
0.06/0.63	c |      5034 |     220    18700   130900 |     6233     5034     62 |  0.002 % |
0.06/0.64	c |      5167 |     220    18700   130900 |     6233     5167     62 |  0.002 % |
0.06/0.66	c |      5313 |     220    18700   130900 |     6233     5313     62 |  0.002 % |
0.06/0.68	c |      5473 |     220    18700   130900 |     6233     5473     62 |  0.002 % |
0.06/0.71	c |      5650 |     220    18700   130900 |     6233     5650     62 |  0.002 % |
0.06/0.73	c |      5844 |     220    18700   130900 |     6233     5844     62 |  0.002 % |
0.06/0.75	c |      6057 |     220    18700   130900 |     6233     6057     62 |  0.002 % |
0.06/0.77	c |      6157 |     220    18700   130900 |     6233     6157     62 |  0.002 % |
0.06/0.78	c |      6267 |     220    18700   130900 |     6233     6267     62 |  0.002 % |
0.06/0.80	c |      6390 |     220    18700   130900 |     6233     5764     61 |  0.002 % |
0.06/0.82	c |      6524 |     220    18700   130900 |     6233     5898     61 |  0.002 % |
0.06/0.84	c |      6670 |     220    18700   130900 |     6233     6044     61 |  0.002 % |
0.06/0.86	c |      6833 |     220    18700   130900 |     6233     6207     61 |  0.002 % |
0.06/0.89	c |      7011 |     220    18700   130900 |     6233     5753     61 |  0.002 % |
0.06/0.91	c |      7204 |     220    18700   130900 |     6233     5946     61 |  0.002 % |
0.06/0.94	c |      7416 |     220    18700   130900 |     6233     6158     61 |  0.002 % |
0.06/0.97	c |      7650 |     220    18700   130900 |     6233     5758     61 |  0.002 % |
0.06/0.99	c |      7751 |     220    18700   130900 |     6233     5859     61 |  0.002 % |
0.98/1.01	c |      7864 |     220    18700   130900 |     6233     5972     61 |  0.002 % |
0.98/1.02	c |      7985 |     220    18700   130900 |     6233     6093     61 |  0.002 % |
0.98/1.04	c |      8118 |     220    18700   130900 |     6233     6226     61 |  0.002 % |
0.98/1.06	c |      8265 |     220    18700   130900 |     6233     5739     61 |  0.002 % |
0.98/1.09	c |      8425 |     220    18700   130900 |     6233     5899     61 |  0.002 % |
1.08/1.11	c |      8601 |     220    18700   130900 |     6233     6075     61 |  0.002 % |
1.08/1.14	c |      8795 |     220    18700   130900 |     6233     6269     61 |  0.002 % |
1.08/1.17	c |      9008 |     220    18700   130900 |     6233     5856     61 |  0.002 % |
1.17/1.20	c |      9242 |     220    18700   130900 |     6233     6090     61 |  0.002 % |
1.17/1.23	c |      9498 |     220    18700   130900 |     6233     5712     62 |  0.002 % |
1.17/1.25	c |      9600 |     220    18700   130900 |     6233     5814     62 |  0.002 % |
1.17/1.27	c |      9711 |     220    18700   130900 |     6233     5925     62 |  0.002 % |
1.17/1.28	c |      9833 |     220    18700   130900 |     6233     6047     62 |  0.002 % |
1.27/1.30	c |      9967 |     220    18700   130900 |     6233     6181     62 |  0.002 % |
1.27/1.32	c |     10115 |     220    18700   130900 | 2147483647     6329     62 |  0.002 % |
1.27/1.34	c |     10276 |     220    18700   130900 | 2147483647     6490     62 |  0.002 % |
1.27/1.37	c |     10452 |     220    18700   130900 | 2147483647     6666     62 |  0.002 % |
1.27/1.39	c |     10646 |     220    18700   130900 | 2147483647     6860     62 |  0.002 % |
1.37/1.42	c |     10861 |     220    18700   130900 | 2147483647     7075     62 |  0.002 % |
1.37/1.45	c |     11094 |     220    18700   130900 | 2147483647     7308     62 |  0.002 % |
1.37/1.49	c |     11351 |     220    18700   130900 | 2147483647     7565     62 |  0.002 % |
1.47/1.53	c |     11632 |     220    18700   130900 | 2147483647     7846     62 |  0.002 % |
1.47/1.54	c |     11732 |     220    18700   130900 | 2147483647     7946     62 |  0.002 % |
1.47/1.56	c |     11843 |     220    18700   130900 | 2147483647     8057     62 |  0.002 % |
1.47/1.58	c |     11965 |     220    18700   130900 | 2147483647     8179     62 |  0.002 % |
1.57/1.60	c |     12098 |     220    18700   130900 | 2147483647     8312     62 |  0.002 % |
1.57/1.62	c |     12245 |     220    18700   130900 | 2147483647     8459     62 |  0.002 % |
1.57/1.65	c |     12405 |     220    18700   130900 | 2147483647     8619     62 |  0.002 % |
1.57/1.68	c |     12581 |     220    18700   130900 | 2147483647     8795     62 |  0.002 % |
1.67/1.71	c |     12774 |     220    18700   130900 | 2147483647     8988     62 |  0.002 % |
1.67/1.74	c |     12986 |     220    18700   130900 | 2147483647     9200     62 |  0.002 % |
1.67/1.78	c |     13219 |     220    18700   130900 | 2147483647     9433     62 |  0.002 % |
1.77/1.82	c |     13475 |     220    18700   130900 | 2147483647     9689     62 |  0.002 % |
1.77/1.87	c |     13758 |     220    18700   130900 | 2147483647     9972     62 |  0.002 % |
1.87/1.92	c |     14067 |     220    18700   130900 | 2147483647    10281     62 |  0.002 % |
1.87/1.94	c |     14167 |     220    18700   130900 | 2147483647    10381     62 |  0.002 % |
1.87/1.96	c |     14277 |     220    18700   130900 | 2147483647    10491     62 |  0.002 % |
1.87/1.98	c |     14398 |     220    18700   130900 | 2147483647    10612     62 |  0.002 % |
1.97/2.01	c |     14531 |     220    18700   130900 | 2147483647    10745     62 |  0.002 % |
1.97/2.03	c |     14679 |     220    18700   130900 | 2147483647    10893     62 |  0.002 % |
1.97/2.06	c |     14839 |     220    18700   130900 | 2147483647    11053     62 |  0.002 % |
1.97/2.09	c |     15016 |     220    18700   130900 | 2147483647    11230     62 |  0.002 % |
2.07/2.13	c |     15210 |     220    18700   130900 | 2147483647    11424     62 |  0.002 % |
2.07/2.17	c |     15423 |     220    18700   130900 | 2147483647    11637     62 |  0.002 % |
2.17/2.21	c |     15659 |     220    18700   130900 | 2147483647    11873     62 |  0.002 % |
2.17/2.25	c |     15915 |     220    18700   130900 | 2147483647    12129     62 |  0.002 % |
2.27/2.30	c |     16198 |     220    18700   130900 | 2147483647    12412     62 |  0.002 % |
2.27/2.36	c |     16507 |     220    18700   130900 | 2147483647    12721     62 |  0.002 % |
2.37/2.42	c |     16848 |     220    18700   130900 | 2147483647    13062     62 |  0.002 % |
2.37/2.45	c |     16948 |     220    18700   130900 | 2147483647    13162     62 |  0.002 % |
2.37/2.47	c |     17059 |     220    18700   130900 | 2147483647    13273     62 |  0.002 % |
2.37/2.49	c |     17182 |     220    18700   130900 | 2147483647    13396     62 |  0.002 % |
2.47/2.52	c |     17315 |     220    18700   130900 | 2147483647    13529     62 |  0.002 % |
2.47/2.55	c |     17461 |     220    18700   130900 | 2147483647    13675     62 |  0.002 % |
2.47/2.59	c |     17622 |     220    18700   130900 | 2147483647    13836     62 |  0.002 % |
2.57/2.62	c |     17798 |     220    18700   130900 | 2147483647    14012     62 |  0.002 % |
2.57/2.66	c |     17991 |     220    18700   130900 | 2147483647    14205     62 |  0.002 % |
2.67/2.70	c |     18204 |     220    18700   130900 | 2147483647    14418     62 |  0.002 % |
2.67/2.75	c |     18441 |     220    18700   130900 | 2147483647    14655     62 |  0.002 % |
2.77/2.81	c |     18697 |     220    18700   130900 | 2147483647    14911     62 |  0.002 % |
2.77/2.87	c |     18978 |     220    18700   130900 | 2147483647    15192     62 |  0.002 % |
2.87/2.94	c |     19287 |     220    18700   130900 | 2147483647    15501     62 |  0.002 % |
2.97/3.02	c |     19626 |     220    18700   130900 | 2147483647    15840     62 |  0.002 % |
3.07/3.10	c |     19998 |     220    18700   130900 | 2147483647    16212     62 |  0.002 % |
3.07/3.13	c |     20098 |     220    18700   130900 | 2147483647    16312     62 |  0.002 % |
3.07/3.16	c |     20208 |     220    18700   130900 | 2147483647    16422     62 |  0.002 % |
3.07/3.19	c |     20331 |     220    18700   130900 | 2147483647    16545     62 |  0.002 % |
3.17/3.22	c |     20464 |     220    18700   130900 | 2147483647    16678     62 |  0.002 % |
3.17/3.26	c |     20613 |     220    18700   130900 | 2147483647    16827     62 |  0.002 % |
3.17/3.29	c |     20774 |     220    18700   130900 | 2147483647    16988     62 |  0.002 % |
3.27/3.34	c |     20952 |     220    18700   130900 | 2147483647    17166     62 |  0.002 % |
3.27/3.38	c |     21146 |     220    18700   130900 | 2147483647    17360     62 |  0.002 % |
3.36/3.42	c |     21358 |     220    18700   130900 | 2147483647    17572     62 |  0.002 % |
3.36/3.48	c |     21591 |     220    18700   130900 | 2147483647    17805     62 |  0.002 % |
3.46/3.54	c |     21847 |     220    18700   130900 | 2147483647    18061     62 |  0.002 % |
3.57/3.61	c |     22128 |     220    18700   130900 | 2147483647    18342     62 |  0.002 % |
3.57/3.68	c |     22437 |     220    18700   130900 | 2147483647    18651     62 |  0.002 % |
3.67/3.76	c |     22777 |     220    18700   130900 | 2147483647    18991     62 |  0.002 % |
3.77/3.84	c |     23149 |     220    18700   130900 | 2147483647    19363     62 |  0.002 % |
3.87/3.94	c |     23559 |     220    18700   130900 | 2147483647    19773     62 |  0.002 % |
3.87/3.97	c |     23659 |     220    18700   130900 | 2147483647    19873     62 |  0.002 % |
3.97/4.00	c |     23769 |     220    18700   130900 | 2147483647    19983     62 |  0.002 % |
3.97/4.03	c |     23890 |     220    18700   130900 | 2147483647    20104     62 |  0.002 % |
3.97/4.06	c |     24024 |     220    18700   130900 | 2147483647    20238     62 |  0.002 % |
4.07/4.11	c |     24170 |     220    18700   130900 | 2147483647    20384     62 |  0.002 % |
4.07/4.16	c |     24331 |     220    18700   130900 | 2147483647    20545     62 |  0.002 % |
4.07/4.20	c |     24507 |     220    18700   130900 | 2147483647    20721     62 |  0.002 % |
4.17/4.26	c |     24701 |     220    18700   130900 | 2147483647    20915     62 |  0.002 % |
4.28/4.32	c |     24913 |     220    18700   130900 | 2147483647    21127     62 |  0.002 % |
4.28/4.39	c |     25146 |     220    18700   130900 | 2147483647    21360     62 |  0.002 % |
4.38/4.46	c |     25403 |     220    18700   130900 | 2147483647    21617     62 |  0.002 % |
4.47/4.54	c |     25684 |     220    18700   130900 | 2147483647    21898     62 |  0.002 % |
4.57/4.63	c |     25993 |     220    18700   130900 | 2147483647    22207     62 |  0.002 % |
4.67/4.71	c |     26333 |     220    18700   130900 | 2147483647    22547     62 |  0.002 % |
4.77/4.82	c |     26705 |     220    18700   130900 | 2147483647    22919     62 |  0.002 % |
4.87/4.95	c |     27115 |     220    18700   130900 | 2147483647    23329     62 |  0.002 % |
4.97/5.08	c |     27565 |     220    18700   130900 | 2147483647    23779     62 |  0.002 % |
5.07/5.12	c |     27668 |     220    18700   130900 | 2147483647    23882     62 |  0.002 % |
5.07/5.16	c |     27778 |     220    18700   130900 | 2147483647    23992     62 |  0.002 % |
5.17/5.20	c |     27899 |     220    18700   130900 | 2147483647    24113     62 |  0.002 % |
5.17/5.24	c |     28032 |     220    18700   130900 | 2147483647    24246     62 |  0.002 % |
5.17/5.29	c |     28178 |     220    18700   130900 | 2147483647    24392     62 |  0.002 % |
5.27/5.34	c |     28339 |     220    18700   130900 | 2147483647    24553     62 |  0.002 % |
5.27/5.40	c |     28515 |     220    18700   130900 | 2147483647    24729     62 |  0.002 % |
5.37/5.47	c |     28708 |     220    18700   130900 | 2147483647    24922     62 |  0.002 % |
5.47/5.55	c |     28921 |     220    18700   130900 | 2147483647    25135     62 |  0.002 % |
5.57/5.62	c |     29157 |     220    18700   130900 | 2147483647    25371     62 |  0.002 % |
5.67/5.70	c |     29415 |     220    18700   130900 | 2147483647    25629     62 |  0.002 % |
5.67/5.78	c |     29698 |     220    18700   130900 | 2147483647    25912     62 |  0.002 % |
5.77/5.87	c |     30007 |     220    18700   130900 | 2147483647    26221     62 |  0.002 % |
5.97/6.01	c |     30346 |     220    18700   130900 | 2147483647    26560     62 |  0.002 % |
6.07/6.13	c |     30719 |     220    18700   130900 | 2147483647    26933     62 |  0.002 % |
6.17/6.27	c |     31129 |     220    18700   130900 | 2147483647    27343     62 |  0.002 % |
6.37/6.43	c |     31578 |     220    18700   130900 | 2147483647    27792     62 |  0.002 % |
6.57/6.61	c |     32072 |     220    18700   130900 | 2147483647    28286     62 |  0.002 % |
6.57/6.64	c |     32173 |     220    18700   130900 | 2147483647    28387     62 |  0.002 % |
6.57/6.68	c |     32283 |     220    18700   130900 | 2147483647    28497     62 |  0.002 % |
6.67/6.73	c |     32404 |     220    18700   130900 | 2147483647    28618     62 |  0.002 % |
6.67/6.77	c |     32539 |     220    18700   130900 | 2147483647    28753     62 |  0.002 % |
6.77/6.83	c |     32686 |     220    18700   130900 | 2147483647    28900     62 |  0.002 % |
6.77/6.89	c |     32847 |     220    18700   130900 | 2147483647    29061     62 |  0.002 % |
6.87/6.96	c |     33025 |     220    18700   130900 | 2147483647    29239     62 |  0.002 % |
6.97/7.04	c |     33219 |     220    18700   130900 | 2147483647    29433     62 |  0.002 % |
7.07/7.12	c |     33433 |     220    18700   130900 | 2147483647    29647     62 |  0.002 % |
7.17/7.21	c |     33668 |     220    18700   130900 | 2147483647    29882     62 |  0.002 % |
7.17/7.30	c |     33925 |     220    18700   130900 | 2147483647    30139     62 |  0.002 % |
7.37/7.40	c |     34206 |     220    18700   130900 | 2147483647    30420     62 |  0.002 % |
7.47/7.52	c |     34516 |     220    18700   130900 | 2147483647    30730     62 |  0.002 % |
7.57/7.66	c |     34857 |     220    18700   130900 | 2147483647    31071     62 |  0.002 % |
7.76/7.82	c |     35230 |     220    18700   130900 | 2147483647    31444     62 |  0.002 % |
7.86/7.98	c |     35641 |     220    18700   130900 | 2147483647    31855     62 |  0.002 % |
8.06/8.17	c |     36091 |     220    18700   130900 | 2147483647    32305     62 |  0.002 % |
8.26/8.36	c |     36584 |     220    18700   130900 | 2147483647    32798     62 |  0.002 % |
8.57/8.60	c |     37126 |     220    18700   130900 | 2147483647    33340     62 |  0.002 % |
8.57/8.65	c |     37226 |     220    18700   130900 | 2147483647    33440     62 |  0.002 % |
8.57/8.70	c |     37337 |     220    18700   130900 | 2147483647    33551     62 |  0.002 % |
8.67/8.75	c |     37459 |     220    18700   130900 | 2147483647    33673     62 |  0.002 % |
8.77/8.81	c |     37592 |     220    18700   130900 | 2147483647    33806     62 |  0.002 % |
8.77/8.88	c |     37738 |     220    18700   130900 | 2147483647    33952     62 |  0.002 % |
8.87/8.95	c |     37899 |     220    18700   130900 | 2147483647    34113     62 |  0.002 % |
8.97/9.03	c |     38075 |     220    18700   130900 | 2147483647    34289     62 |  0.002 % |
9.07/9.12	c |     38269 |     220    18700   130900 | 2147483647    34483     62 |  0.002 % |
9.17/9.21	c |     38481 |     220    18700   130900 | 2147483647    34695     62 |  0.002 % |
9.27/9.31	c |     38715 |     220    18700   130900 | 2147483647    34929     62 |  0.002 % |
9.37/9.42	c |     38971 |     220    18700   130900 | 2147483647    35185     62 |  0.002 % |
9.47/9.53	c |     39252 |     220    18700   130900 | 2147483647    35466     62 |  0.002 % |
9.57/9.65	c |     39563 |     220    18700   130900 | 2147483647    35777     62 |  0.002 % |
9.77/9.80	c |     39903 |     220    18700   130900 | 2147483647    36117     62 |  0.002 % |
9.87/9.97	c |     40276 |     220    18700   130900 | 2147483647    36490     62 |  0.002 % |
10.07/10.15	c |     40685 |     220    18700   130900 | 2147483647    36899     62 |  0.002 % |
10.27/10.32	c |     41134 |     220    18700   130900 | 2147483647    37348     62 |  0.002 % |
10.47/10.55	c |     41627 |     220    18700   130900 | 2147483647    37841     62 |  0.002 % |
10.67/10.76	c |     42171 |     220    18700   130900 | 2147483647    38385     62 |  0.002 % |
10.97/11.02	c |     42769 |     220    18700   130900 | 2147483647    38983     62 |  0.002 % |
10.97/11.07	c |     42870 |     220    18700   130900 | 2147483647    39084     62 |  0.002 % |
11.07/11.13	c |     42980 |     220    18700   130900 | 2147483647    39194     62 |  0.002 % |
11.07/11.19	c |     43101 |     220    18700   130900 | 2147483647    39315     62 |  0.002 % |
11.17/11.24	c |     43237 |     220    18700   130900 | 2147483647    39451     62 |  0.002 % |
11.27/11.31	c |     43384 |     220    18700   130900 | 2147483647    39598     62 |  0.002 % |
11.27/11.39	c |     43545 |     220    18700   130900 | 2147483647    39759     62 |  0.002 % |
11.37/11.50	c |     43721 |     220    18700   130900 | 2147483647    39935     62 |  0.002 % |
11.57/11.60	c |     43917 |     220    18700   130900 | 2147483647    40131     62 |  0.002 % |
11.67/11.71	c |     44129 |     220    18700   130900 | 2147483647    40343     62 |  0.002 % |
11.77/11.83	c |     44362 |     220    18700   130900 | 2147483647    40576     62 |  0.002 % |
11.86/11.95	c |     44619 |     220    18700   130900 | 2147483647    40833     62 |  0.002 % |
11.97/12.09	c |     44900 |     220    18700   130900 | 2147483647    41114     62 |  0.002 % |
12.16/12.23	c |     45209 |     220    18700   130900 | 2147483647    41423     62 |  0.002 % |
12.36/12.40	c |     45548 |     220    18700   130900 | 2147483647    41762     62 |  0.002 % |
12.56/12.62	c |     45921 |     220    18700   130900 | 2147483647    42135     62 |  0.002 % |
12.76/12.83	c |     46331 |     220    18700   130900 | 2147483647    42545     62 |  0.002 % |
12.96/13.04	c |     46781 |     220    18700   130900 | 2147483647    42995     62 |  0.002 % |
13.17/13.27	c |     47276 |     220    18700   130900 | 2147483647    43490     62 |  0.002 % |
13.46/13.53	c |     47818 |     220    18700   130900 | 2147483647    44032     62 |  0.002 % |
13.76/13.82	c |     48414 |     220    18700   130900 | 2147483647    44628     62 |  0.002 % |
14.06/14.16	c |     49069 |     220    18700   130900 | 2147483647    45283     62 |  0.002 % |
14.16/14.23	c |     49170 |     220    18700   130900 | 2147483647    45384     62 |  0.002 % |
14.26/14.30	c |     49280 |     220    18700   130900 | 2147483647    45494     62 |  0.002 % |
14.26/14.38	c |     49401 |     220    18700   130900 | 2147483647    45615     62 |  0.002 % |
14.36/14.46	c |     49534 |     220    18700   130900 | 2147483647    45748     62 |  0.002 % |
14.46/14.55	c |     49680 |     220    18700   130900 | 2147483647    45894     62 |  0.002 % |
14.56/14.63	c |     49841 |     220    18700   130900 | 2147483647    46055     62 |  0.002 % |
14.66/14.75	c |     50018 |     220    18700   130900 | 2147483647    46232     62 |  0.002 % |
14.76/14.86	c |     50212 |     220    18700   130900 | 2147483647    46426     62 |  0.002 % |
14.86/14.98	c |     50424 |     220    18700   130900 | 2147483647    46638     62 |  0.002 % |
15.06/15.11	c |     50657 |     220    18700   130900 | 2147483647    46871     62 |  0.002 % |
15.16/15.25	c |     50913 |     220    18700   130900 | 2147483647    47127     62 |  0.002 % |
15.27/15.39	c |     51194 |     220    18700   130900 | 2147483647    47408     62 |  0.002 % |
15.47/15.55	c |     51505 |     220    18700   130900 | 2147483647    47719     62 |  0.002 % |
15.67/15.77	c |     51846 |     220    18700   130900 | 2147483647    48060     62 |  0.002 % |
15.97/16.03	c |     52218 |     220    18700   130900 | 2147483647    48432     62 |  0.002 % |
16.16/16.26	c |     52629 |     220    18700   130900 | 2147483647    48843     62 |  0.002 % |
16.37/16.48	c |     53079 |     220    18700   130900 | 2147483647    49293     62 |  0.002 % |
16.66/16.79	c |     53572 |     220    18700   130900 | 2147483647    49786     62 |  0.002 % |
17.06/17.11	c |     54115 |     220    18700   130900 | 2147483647    50329     62 |  0.002 % |
17.36/17.48	c |     54711 |     220    18700   130900 | 2147483647    50925     62 |  0.002 % |
17.76/17.89	c |     55366 |     220    18700   130900 | 2147483647    51580     62 |  0.002 % |
18.26/18.33	c |     56086 |     220    18700   130900 | 2147483647    52300     62 |  0.002 % |
18.36/18.41	c |     56186 |     220    18700   130900 | 2147483647    52400     62 |  0.002 % |
18.36/18.49	c |     56298 |     220    18700   130900 | 2147483647    52512     62 |  0.002 % |
18.46/18.57	c |     56419 |     220    18700   130900 | 2147483647    52633     62 |  0.002 % |
18.56/18.67	c |     56554 |     220    18700   130900 | 2147483647    52768     62 |  0.002 % |
18.66/18.78	c |     56700 |     220    18700   130900 | 2147483647    52914     62 |  0.002 % |
18.76/18.89	c |     56861 |     220    18700   130900 | 2147483647    53075     62 |  0.002 % |
18.96/19.00	c |     57040 |     220    18700   130900 | 2147483647    53254     62 |  0.002 % |
19.06/19.13	c |     57233 |     220    18700   130900 | 2147483647    53447     62 |  0.002 % |
19.16/19.26	c |     57446 |     220    18700   130900 | 2147483647    53660     62 |  0.002 % |
19.36/19.43	c |     57679 |     220    18700   130900 | 2147483647    53893     62 |  0.002 % |
19.46/19.59	c |     57936 |     220    18700   130900 | 2147483647    54150     62 |  0.002 % |
19.67/19.77	c |     58218 |     220    18700   130900 | 2147483647    54432     62 |  0.002 % |
19.86/19.94	c |     58527 |     220    18700   130900 | 2147483647    54741     62 |  0.002 % |
20.16/20.23	c |     58866 |     220    18700   130900 | 2147483647    55080     62 |  0.002 % |
20.36/20.49	c |     59238 |     220    18700   130900 | 2147483647    55452     62 |  0.002 % |
20.66/20.77	c |     59648 |     220    18700   130900 | 2147483647    55862     62 |  0.002 % |
20.96/21.01	c |     60097 |     220    18700   130900 | 2147483647    56311     62 |  0.002 % |
21.26/21.37	c |     60593 |     220    18700   130900 | 2147483647    56807     62 |  0.002 % |
21.66/21.72	c |     61135 |     220    18700   130900 | 2147483647    57349     62 |  0.002 % |
22.06/22.13	c |     61732 |     220    18700   130900 | 2147483647    57946     62 |  0.002 % |
22.46/22.56	c |     62387 |     220    18700   130900 | 2147483647    58601     62 |  0.002 % |
22.96/23.03	c |     63108 |     220    18700   130900 | 2147483647    59322     62 |  0.002 % |
23.46/23.50	c |     63900 |     220    18700   130900 | 2147483647    60114     62 |  0.002 % |
23.46/23.57	c |     64001 |     220    18700   130900 | 2147483647    60215     62 |  0.002 % |
23.56/23.69	c |     64111 |     220    18700   130900 | 2147483647    60325     62 |  0.002 % |
23.76/23.80	c |     64235 |     220    18700   130900 | 2147483647    60449     62 |  0.002 % |
23.86/23.91	c |     64368 |     220    18700   130900 | 2147483647    60582     62 |  0.002 % |
23.96/24.03	c |     64514 |     220    18700   130900 | 2147483647    60728     62 |  0.002 % |
24.06/24.17	c |     64674 |     220    18700   130900 | 2147483647    60888     62 |  0.002 % |
24.26/24.31	c |     64851 |     220    18700   130900 | 2147483647    61065     62 |  0.002 % |
24.36/24.47	c |     65045 |     220    18700   130900 | 2147483647    61259     62 |  0.002 % |
24.57/24.65	c |     65258 |     220    18700   130900 | 2147483647    61472     62 |  0.002 % |
24.76/24.83	c |     65491 |     220    18700   130900 | 2147483647    61705     62 |  0.002 % |
24.96/25.00	c |     65747 |     220    18700   130900 | 2147483647    61961     62 |  0.002 % |
25.06/25.18	c |     66028 |     220    18700   130900 | 2147483647    62242     62 |  0.002 % |
25.36/25.43	c |     66338 |     220    18700   130900 | 2147483647    62552     62 |  0.002 % |
25.56/25.69	c |     66679 |     220    18700   130900 | 2147483647    62893     62 |  0.002 % |
25.86/25.96	c |     67051 |     220    18700   130900 | 2147483647    63265     62 |  0.002 % |
26.16/26.28	c |     67460 |     220    18700   130900 | 2147483647    63674     62 |  0.002 % |
26.56/26.64	c |     67910 |     220    18700   130900 | 2147483647    64124     62 |  0.002 % |
26.86/26.98	c |     68404 |     220    18700   130900 | 2147483647    64618     62 |  0.002 % |
27.26/27.33	c |     68948 |     220    18700   130900 | 2147483647    65162     62 |  0.002 % |
27.66/27.72	c |     69546 |     220    18700   130900 | 2147483647    65760     62 |  0.002 % |
28.16/28.25	c |     70201 |     220    18700   130900 | 2147483647    66415     62 |  0.002 % |
28.66/28.77	c |     70921 |     220    18700   130900 | 2147483647    67135     62 |  0.002 % |
29.26/29.38	c |     71713 |     220    18700   130900 | 2147483647    67927     62 |  0.002 % |
29.96/30.04	c |     72584 |     220    18700   130900 | 2147483647    68798     62 |  0.002 % |
30.06/30.14	c |     72684 |     220    18700   130900 | 2147483647    68898     62 |  0.002 % |
30.16/30.25	c |     72795 |     220    18700   130900 | 2147483647    69009     62 |  0.002 % |
30.26/30.36	c |     72916 |     220    18700   130900 | 2147483647    69130     62 |  0.002 % |
30.36/30.47	c |     73049 |     220    18700   130900 | 2147483647    69263     62 |  0.002 % |
30.56/30.63	c |     73196 |     220    18700   130900 | 2147483647    69410     62 |  0.002 % |
30.67/30.78	c |     73357 |     220    18700   130900 | 2147483647    69571     62 |  0.002 % |
30.86/30.92	c |     73533 |     220    18700   130900 | 2147483647    69747     62 |  0.002 % |
31.06/31.12	c |     73726 |     220    18700   130900 | 2147483647    69940     62 |  0.002 % |
31.26/31.31	c |     73940 |     220    18700   130900 | 2147483647    70154     62 |  0.002 % |
31.46/31.52	c |     74173 |     220    18700   130900 | 2147483647    70387     62 |  0.002 % |
31.66/31.71	c |     74429 |     220    18700   130900 | 2147483647    70643     62 |  0.002 % |
31.86/31.93	c |     74712 |     220    18700   130900 | 2147483647    70926     62 |  0.002 % |
32.06/32.15	c |     75021 |     220    18700   130900 | 2147483647    71235     62 |  0.002 % |
32.36/32.47	c |     75360 |     220    18700   130900 | 2147483647    71574     62 |  0.002 % |
32.76/32.83	c |     75733 |     220    18700   130900 | 2147483647    71947     62 |  0.002 % |
33.06/33.14	c |     76142 |     220    18700   130900 | 2147483647    72356     62 |  0.002 % |
33.36/33.50	c |     76593 |     220    18700   130900 | 2147483647    72807     62 |  0.002 % |
33.86/33.96	c |     77086 |     220    18700   130900 | 2147483647    73300     62 |  0.002 % |
34.36/34.48	c |     77629 |     220    18700   130900 | 2147483647    73843     62 |  0.002 % |
34.96/35.01	c |     78226 |     220    18700   130900 | 2147483647    74440     62 |  0.002 % |
35.46/35.58	c |     78881 |     220    18700   130900 | 2147483647    75095     62 |  0.002 % |
36.06/36.15	c |     79601 |     220    18700   130900 | 2147483647    75815     62 |  0.002 % |
36.66/36.75	c |     80393 |     220    18700   130900 | 2147483647    76607     62 |  0.002 % |
37.36/37.44	c |     81264 |     220    18700   130900 | 2147483647    77478     62 |  0.002 % |
38.16/38.21	c |     82222 |     220    18700   130900 | 2147483647    78436     62 |  0.002 % |
38.16/38.30	c |     82322 |     220    18700   130900 | 2147483647    78536     62 |  0.002 % |
38.36/38.41	c |     82432 |     220    18700   130900 | 2147483647    78646     62 |  0.002 % |
38.46/38.52	c |     82553 |     220    18700   130900 | 2147483647    78767     62 |  0.002 % |
38.56/38.69	c |     82688 |     220    18700   130900 | 2147483647    78902     62 |  0.002 % |
38.76/38.84	c |     82835 |     220    18700   130900 | 2147483647    79049     62 |  0.002 % |
38.96/39.01	c |     82996 |     220    18700   130900 | 2147483647    79210     62 |  0.002 % |
39.06/39.16	c |     83172 |     220    18700   130900 | 2147483647    79386     62 |  0.002 % |
39.25/39.35	c |     83365 |     220    18700   130900 | 2147483647    79579     62 |  0.002 % |
39.46/39.53	c |     83577 |     220    18700   130900 | 2147483647    79791     62 |  0.002 % |
39.65/39.78	c |     83810 |     220    18700   130900 | 2147483647    80024     62 |  0.002 % |
39.95/40.00	c |     84066 |     220    18700   130900 | 2147483647    80280     62 |  0.002 % |
40.15/40.29	c |     84347 |     220    18700   130900 | 2147483647    80561     62 |  0.002 % |
40.45/40.58	c |     84656 |     220    18700   130900 | 2147483647    80870     62 |  0.002 % |
40.75/40.87	c |     84995 |     220    18700   130900 | 2147483647    81209     62 |  0.002 % |
41.15/41.20	c |     85367 |     220    18700   130900 | 2147483647    81581     62 |  0.002 % |
41.45/41.57	c |     85778 |     220    18700   130900 | 2147483647    81992     62 |  0.002 % |
41.85/41.98	c |     86229 |     220    18700   130900 | 2147483647    82443     62 |  0.002 % |
42.25/42.37	c |     86723 |     220    18700   130900 | 2147483647    82937     62 |  0.002 % |
42.75/42.81	c |     87265 |     220    18700   130900 | 2147483647    83479     62 |  0.002 % |
43.26/43.33	c |     87861 |     220    18700   130900 | 2147483647    84075     62 |  0.002 % |
43.76/43.88	c |     88517 |     220    18700   130900 | 2147483647    84731     62 |  0.002 % |
44.56/44.66	c |     89237 |     220    18700   130900 | 2147483647    85451     62 |  0.002 % |
45.36/45.46	c |     90031 |     220    18700   130900 |    86215    86245     62 |  0.002 % |
46.26/46.33	c |     90904 |     220    18700   130900 |    86215    75618     62 |  0.002 % |
47.06/47.14	c |     91864 |     220    18700   130900 |    86215    76578     62 |  0.002 % |
47.96/48.04	c |     92917 |     220    18700   130900 |    86215    77631     62 |  0.002 % |
48.06/48.12	c |     93017 |     220    18700   130900 |    86215    77731     62 |  0.002 % |
48.16/48.24	c |     93127 |     220    18700   130900 |    86215    77841     62 |  0.002 % |
48.26/48.35	c |     93248 |     220    18700   130900 |    86215    77962     62 |  0.002 % |
48.36/48.50	c |     93388 |     220    18700   130900 |    86215    78102     62 |  0.002 % |
48.56/48.64	c |     93536 |     220    18700   130900 |    86215    78250     62 |  0.002 % |
48.76/48.81	c |     93696 |     220    18700   130900 |    86215    78410     62 |  0.002 % |
48.96/49.00	c |     93872 |     220    18700   130900 |    86215    78586     62 |  0.002 % |
49.16/49.20	c |     94065 |     220    18700   130900 |    86215    78779     62 |  0.002 % |
49.36/49.44	c |     94277 |     220    18700   130900 |    86215    78991     62 |  0.002 % |
49.56/49.67	c |     94510 |     220    18700   130900 |    86215    79224     62 |  0.002 % |
49.86/49.93	c |     94766 |     220    18700   130900 |    86215    79480     62 |  0.002 % |
50.16/50.20	c |     95047 |     220    18700   130900 |    86215    79761     62 |  0.002 % |
50.46/50.51	c |     95358 |     220    18700   130900 |    86215    80072     62 |  0.002 % |
50.66/50.80	c |     95699 |     220    18700   130900 |    86215    80413     62 |  0.002 % |
51.06/51.13	c |     96072 |     220    18700   130900 |    86215    80786     62 |  0.002 % |
51.46/51.54	c |     96482 |     220    18700   130900 |    86215    81196     62 |  0.002 % |
51.86/51.96	c |     96931 |     220    18700   130900 |    86215    81645     62 |  0.002 % |
52.36/52.42	c |     97425 |     220    18700   130900 |    86215    82139     62 |  0.002 % |
52.76/52.87	c |     97968 |     220    18700   130900 |    86215    82682     62 |  0.002 % |
53.26/53.39	c |     98564 |     220    18700   130900 |    86215    83278     62 |  0.002 % |
54.06/54.11	c |     99222 |     220    18700   130900 |    86215    83936     62 |  0.002 % |
54.76/54.80	c |     99942 |     220    18700   130900 |    86215    84656     62 |  0.002 % |
55.45/55.52	c |    100734 |     220    18700   130900 |    84715    73052     62 |  0.002 % |
56.16/56.21	c |    101605 |     220    18700   130900 |    84715    73923     62 |  0.002 % |
56.75/56.88	c |    102566 |     220    18700   130900 |    84715    74884     62 |  0.002 % |
57.86/57.90	c |    103623 |     220    18700   130900 |    84715    75941     62 |  0.002 % |
58.76/58.87	c |    104781 |     220    18700   130900 |    84715    77099     62 |  0.002 % |
58.85/58.95	c |    104881 |     220    18700   130900 |    84715    77199     62 |  0.002 % |
58.95/59.05	c |    104991 |     220    18700   130900 |    84715    77309     62 |  0.002 % |
59.05/59.18	c |    105112 |     220    18700   130900 |    84715    77430     62 |  0.002 % |
59.15/59.30	c |    105247 |     220    18700   130900 |    84715    77565     62 |  0.002 % |
59.36/59.44	c |    105395 |     220    18700   130900 |    84715    77713     62 |  0.002 % |
59.45/59.59	c |    105555 |     220    18700   130900 |    84715    77873     62 |  0.002 % |
59.75/59.80	c |    105732 |     220    18700   130900 |    84715    78050     62 |  0.002 % |
59.95/60.00	c |    105925 |     220    18700   130900 |    84715    78243     62 |  0.002 % |
60.15/60.21	c |    106137 |     220    18700   130900 |    84715    78455     62 |  0.002 % |
60.36/60.40	c |    106370 |     220    18700   130900 |    84715    78688     62 |  0.002 % |
60.55/60.64	c |    106626 |     220    18700   130900 |    84715    78944     62 |  0.002 % |
60.75/60.87	c |    106908 |     220    18700   130900 |    84715    79226     62 |  0.002 % |
61.05/61.15	c |    107219 |     220    18700   130900 |    84715    79537     62 |  0.002 % |
61.35/61.42	c |    107558 |     220    18700   130900 |    84715    79876     62 |  0.002 % |
61.65/61.78	c |    107933 |     220    18700   130900 |    84715    80251     62 |  0.002 % |
62.15/62.21	c |    108343 |     220    18700   130900 |    84715    80661     62 |  0.002 % |
62.56/62.61	c |    108792 |     220    18700   130900 |    84715    81110     62 |  0.002 % |
63.05/63.11	c |    109287 |     220    18700   130900 |    84715    81605     62 |  0.002 % |
63.55/63.62	c |    109830 |     220    18700   130900 |    84715    82148     62 |  0.002 % |
64.15/64.22	c |    110426 |     220    18700   130900 |    82319    71545     62 |  0.002 % |
64.65/64.75	c |    111082 |     220    18700   130900 |    82319    72201     62 |  0.002 % |
65.35/65.41	c |    111803 |     220    18700   130900 |    82319    72922     62 |  0.002 % |
65.96/66.07	c |    112595 |     220    18700   130900 |    82319    73714     62 |  0.002 % |
66.75/66.84	c |    113468 |     220    18700   130900 |    82319    74587     62 |  0.002 % |
67.55/67.63	c |    114429 |     220    18700   130900 |    82319    75548     62 |  0.002 % |
68.35/68.47	c |    115484 |     220    18700   130900 |    82319    76603     62 |  0.002 % |
69.35/69.41	c |    116644 |     220    18700   130900 |    82319    77763     62 |  0.002 % |
70.36/70.48	c |    117918 |     220    18700   130900 |    82319    79037     62 |  0.002 % |
70.45/70.58	c |    118020 |     220    18700   130900 |    82319    79139     62 |  0.002 % |
70.65/70.71	c |    118130 |     220    18700   130900 |    82319    79249     62 |  0.002 % |
70.75/70.83	c |    118253 |     220    18700   130900 |    82319    79372     62 |  0.002 % |
70.85/70.98	c |    118388 |     220    18700   130900 |    82319    79507     62 |  0.002 % |
71.05/71.12	c |    118535 |     220    18700   130900 |    82319    79654     62 |  0.002 % |
71.25/71.30	c |    118695 |     220    18700   130900 |    82319    79814     62 |  0.002 % |
71.36/71.45	c |    118872 |     220    18700   130900 |    82319    79991     62 |  0.002 % |
71.55/71.65	c |    119069 |     220    18700   130900 |    82319    80188     62 |  0.002 % |
71.85/71.90	c |    119281 |     220    18700   130900 |    82319    80400     62 |  0.002 % |
72.05/72.18	c |    119516 |     220    18700   130900 |    82319    80635     62 |  0.002 % |
72.35/72.44	c |    119774 |     220    18700   130900 |    82319    80893     62 |  0.002 % |
72.65/72.73	c |    120055 |     220    18700   130900 |    81119    81174     62 |  0.002 % |
72.95/73.07	c |    120364 |     220    18700   130900 |    81119    70937     62 |  0.002 % |
73.25/73.36	c |    120704 |     220    18700   130900 |    81119    71277     62 |  0.002 % |
73.55/73.65	c |    121077 |     220    18700   130900 |    81119    71650     62 |  0.002 % |
73.95/74.02	c |    121487 |     220    18700   130900 |    81119    72060     62 |  0.002 % |
74.35/74.43	c |    121938 |     220    18700   130900 |    81119    72511     62 |  0.002 % |
74.75/74.81	c |    122432 |     220    18700   130900 |    81119    73005     62 |  0.002 % |
75.15/75.26	c |    122974 |     220    18700   130900 |    81119    73547     62 |  0.002 % |
75.65/75.74	c |    123573 |     220    18700   130900 |    81119    74146     62 |  0.002 % |
76.35/76.40	c |    124230 |     220    18700   130900 |    81119    74803     62 |  0.002 % |
76.96/77.05	c |    124951 |     220    18700   130900 |    81119    75524     62 |  0.002 % |
77.65/77.74	c |    125743 |     220    18700   130900 |    81119    76316     62 |  0.002 % |
78.35/78.47	c |    126616 |     220    18700   130900 |    81119    77189     62 |  0.002 % |
79.15/79.22	c |    127575 |     220    18700   130900 |    81119    78148     62 |  0.002 % |
80.15/80.21	c |    128628 |     220    18700   130900 |    81119    79201     62 |  0.002 % |
81.15/81.23	c |    129787 |     220    18700   130900 |    81119    80360     62 |  0.002 % |
82.25/82.35	c |    131060 |     220    18700   130900 |    80573    71469     62 |  0.002 % |
83.45/83.51	c |    132462 |     220    18700   130900 |    80573    72871     62 |  0.002 % |
83.55/83.61	c |    132563 |     220    18700   130900 |    80573    72972     62 |  0.002 % |
83.65/83.72	c |    132675 |     220    18700   130900 |    80573    73084     62 |  0.002 % |
83.75/83.84	c |    132796 |     220    18700   130900 |    80573    73205     62 |  0.002 % |
83.85/83.95	c |    132929 |     220    18700   130900 |    80573    73338     62 |  0.002 % |
83.95/84.08	c |    133076 |     220    18700   130900 |    80573    73485     62 |  0.002 % |
84.15/84.25	c |    133237 |     220    18700   130900 |    80573    73646     62 |  0.002 % |
84.25/84.39	c |    133413 |     220    18700   130900 |    80573    73822     62 |  0.002 % |
84.45/84.56	c |    133607 |     220    18700   130900 |    80573    74016     62 |  0.002 % |
84.65/84.76	c |    133819 |     220    18700   130900 |    80573    74228     62 |  0.002 % |
84.85/84.98	c |    134054 |     220    18700   130900 |    80573    74463     62 |  0.002 % |
85.15/85.25	c |    134310 |     220    18700   130900 |    80573    74719     62 |  0.002 % |
85.35/85.49	c |    134591 |     220    18700   130900 |    80573    75000     62 |  0.002 % |
85.75/85.81	c |    134901 |     220    18700   130900 |    80573    75310     62 |  0.002 % |
86.05/86.17	c |    135241 |     220    18700   130900 |    80573    75650     62 |  0.002 % |
86.45/86.53	c |    135614 |     220    18700   130900 |    80573    76023     62 |  0.002 % |
86.85/86.91	c |    136026 |     220    18700   130900 |    80573    76435     62 |  0.002 % |
87.25/87.36	c |    136476 |     220    18700   130900 |    80573    76885     62 |  0.002 % |
87.75/87.82	c |    136969 |     220    18700   130900 |    80573    77378     62 |  0.002 % |
88.15/88.29	c |    137512 |     220    18700   130900 |    80573    77921     62 |  0.002 % |
88.75/88.89	c |    138108 |     220    18700   130900 |    80573    78517     62 |  0.002 % |
89.35/89.47	c |    138764 |     220    18700   130900 |    80573    79173     62 |  0.002 % |
89.95/90.09	c |    139484 |     220    18700   130900 |    80573    79893     62 |  0.002 % |
90.75/90.81	c |    140276 |     220    18700   130900 |    80410    70370     62 |  0.002 % |
91.45/91.51	c |    141148 |     220    18700   130900 |    80410    71242     62 |  0.002 % |
92.15/92.24	c |    142106 |     220    18700   130900 |    80410    72200     62 |  0.002 % |
92.95/93.05	c |    143159 |     220    18700   130900 |    80410    73253     62 |  0.002 % |
93.84/93.94	c |    144318 |     220    18700   130900 |    80410    74412     62 |  0.002 % |
94.85/94.96	c |    145591 |     220    18700   130900 |    80410    75685     62 |  0.002 % |
96.15/96.25	c |    146991 |     220    18700   130900 |    80410    77085     62 |  0.002 % |
97.45/97.58	c |    148532 |     220    18700   130900 |    80410    78626     62 |  0.002 % |
97.65/97.71	c |    148633 |     220    18700   130900 |    80410    78727     62 |  0.002 % |
97.75/97.84	c |    148743 |     220    18700   130900 |    80410    78837     62 |  0.002 % |
97.85/97.97	c |    148865 |     220    18700   130900 |    80410    78959     62 |  0.002 % |
98.05/98.10	c |    148999 |     220    18700   130900 |    80410    79093     62 |  0.002 % |
98.15/98.25	c |    149146 |     220    18700   130900 |    80410    79240     62 |  0.002 % |
98.25/98.37	c |    149307 |     220    18700   130900 |    80410    79401     62 |  0.002 % |
98.45/98.53	c |    149483 |     220    18700   130900 |    80410    79577     62 |  0.002 % |
98.65/98.71	c |    149676 |     220    18700   130900 |    80410    79770     62 |  0.002 % |
98.75/98.89	c |    149889 |     220    18700   130900 |    80410    79983     62 |  0.002 % |
99.04/99.16	c |    150123 |     220    18700   130900 |    80094    70695     62 |  0.002 % |
99.24/99.36	c |    150379 |     220    18700   130900 |    80094    70951     62 |  0.002 % |
99.44/99.58	c |    150660 |     220    18700   130900 |    80094    71232     62 |  0.002 % |
99.74/99.83	c |    150970 |     220    18700   130900 |    80094    71542     62 |  0.002 % |
100.05/100.11	c |    151309 |     220    18700   130900 |    80094    71881     62 |  0.002 % |
100.34/100.41	c |    151682 |     220    18700   130900 |    80094    72254     62 |  0.002 % |
100.64/100.78	c |    152094 |     220    18700   130900 |    80094    72666     62 |  0.002 % |
101.15/101.22	c |    152543 |     220    18700   130900 |    80094    73115     62 |  0.002 % |
101.54/101.67	c |    153036 |     220    18700   130900 |    80094    73608     62 |  0.002 % |
102.04/102.18	c |    153578 |     220    18700   130900 |    80094    74150     62 |  0.002 % |
102.54/102.69	c |    154174 |     220    18700   130900 |    80094    74746     62 |  0.002 % |
103.14/103.21	c |    154829 |     220    18700   130900 |    80094    75401     62 |  0.002 % |
103.64/103.79	c |    155549 |     220    18700   130900 |    80094    76121     62 |  0.002 % |
104.54/104.60	c |    156342 |     220    18700   130900 |    80094    76914     62 |  0.002 % |
105.24/105.38	c |    157213 |     220    18700   130900 |    80094    77785     62 |  0.002 % |
106.14/106.20	c |    158173 |     220    18700   130900 |    80094    78745     62 |  0.002 % |
107.04/107.11	c |    159226 |     220    18700   130900 |    80094    79798     62 |  0.002 % |
107.94/108.06	c |    160386 |     220    18700   130900 |    71161    63367     62 |  0.002 % |
108.85/108.95	c |    161659 |     220    18700   130900 |    71161    64640     62 |  0.002 % |
109.74/109.88	c |    163061 |     220    18700   130900 |    71161    66042     62 |  0.002 % |
111.05/111.13	c |    164603 |     220    18700   130900 |    71161    67584     62 |  0.002 % |
112.24/112.32	c |    166297 |     220    18700   130900 |    71161    69278     62 |  0.002 % |
112.34/112.41	c |    166399 |     220    18700   130900 |    71161    69380     62 |  0.002 % |
112.34/112.49	c |    166509 |     220    18700   130900 |    71161    69490     62 |  0.002 % |
112.54/112.62	c |    166630 |     220    18700   130900 |    71161    69611     62 |  0.002 % |
112.64/112.75	c |    166764 |     220    18700   130900 |    71161    69745     62 |  0.002 % |
112.74/112.86	c |    166911 |     220    18700   130900 |    71161    69892     62 |  0.002 % |
112.94/113.01	c |    167073 |     220    18700   130900 |    71161    70054     62 |  0.002 % |
113.04/113.19	c |    167250 |     220    18700   130900 |    71161    70231     62 |  0.002 % |
113.25/113.35	c |    167443 |     220    18700   130900 |    71161    70424     62 |  0.002 % |
113.44/113.54	c |    167655 |     220    18700   130900 |    71161    70636     62 |  0.002 % |
113.64/113.75	c |    167889 |     220    18700   130900 |    71161    70870     62 |  0.002 % |
113.84/113.96	c |    168146 |     220    18700   130900 |    71161    71127     62 |  0.002 % |
114.14/114.21	c |    168428 |     220    18700   130900 |    71161    64283     62 |  0.002 % |
114.35/114.46	c |    168737 |     220    18700   130900 |    71161    64592     62 |  0.002 % |
114.54/114.67	c |    169077 |     220    18700   130900 |    71161    64932     62 |  0.002 % |
114.84/114.98	c |    169449 |     220    18700   130900 |    71161    65304     62 |  0.002 % |
115.24/115.33	c |    169858 |     220    18700   130900 |    71161    65713     62 |  0.002 % |
115.54/115.67	c |    170307 |     220    18700   130900 | 2147483647    66162     62 |  0.002 % |
115.94/116.00	c |    170800 |     220    18700   130900 | 2147483647    66655     62 |  0.002 % |
116.24/116.36	c |    171342 |     220    18700   130900 | 2147483647    67197     62 |  0.002 % |
116.64/116.79	c |    171938 |     220    18700   130900 | 2147483647    67793     62 |  0.002 % |
117.14/117.27	c |    172593 |     220    18700   130900 | 2147483647    68448     62 |  0.002 % |
117.84/117.91	c |    173314 |     220    18700   130900 | 2147483647    69169     62 |  0.002 % |
118.44/118.58	c |    174108 |     220    18700   130900 | 2147483647    69963     62 |  0.002 % |
119.14/119.25	c |    174979 |     220    18700   130900 | 2147483647    70834     62 |  0.002 % |
119.94/120.02	c |    175937 |     220    18700   130900 | 2147483647    71792     62 |  0.002 % |
120.74/120.80	c |    176990 |     220    18700   130900 | 2147483647    72845     62 |  0.002 % |
121.54/121.69	c |    178148 |     220    18700   130900 | 2147483647    74003     62 |  0.002 % |
122.54/122.67	c |    179422 |     220    18700   130900 | 2147483647    75277     62 |  0.002 % |
123.65/123.76	c |    180824 |     220    18700   130900 | 2147483647    76679     62 |  0.002 % |
124.85/124.98	c |    182366 |     220    18700   130900 | 2147483647    78221     62 |  0.002 % |
126.25/126.37	c |    184061 |     220    18700   130900 | 2147483647    79916     62 |  0.002 % |
128.05/128.16	c |    185927 |     220    18700   130900 | 2147483647    81782     62 |  0.002 % |
128.15/128.26	c |    186029 |     220    18700   130900 | 2147483647    81884     62 |  0.002 % |
128.25/128.38	c |    186140 |     220    18700   130900 | 2147483647    81995     62 |  0.002 % |
128.45/128.52	c |    186264 |     220    18700   130900 | 2147483647    82119     62 |  0.002 % |
128.55/128.66	c |    186400 |     220    18700   130900 | 2147483647    82255     62 |  0.002 % |
128.75/128.83	c |    186547 |     220    18700   130900 | 2147483647    82402     62 |  0.002 % |
128.95/129.00	c |    186709 |     220    18700   130900 | 2147483647    82564     62 |  0.002 % |
129.05/129.19	c |    186885 |     220    18700   130900 | 2147483647    82740     62 |  0.002 % |
129.25/129.38	c |    187079 |     220    18700   130900 | 2147483647    82934     62 |  0.002 % |
129.55/129.63	c |    187294 |     220    18700   130900 | 2147483647    83149     62 |  0.002 % |
129.75/129.89	c |    187528 |     220    18700   130900 | 2147483647    83383     62 |  0.002 % |
130.05/130.20	c |    187786 |     220    18700   130900 | 2147483647    83641     62 |  0.002 % |
130.35/130.48	c |    188067 |     220    18700   130900 | 2147483647    83922     62 |  0.002 % |
130.65/130.79	c |    188377 |     220    18700   130900 | 2147483647    84232     62 |  0.002 % |
131.05/131.12	c |    188716 |     220    18700   130900 | 2147483647    84571     62 |  0.002 % |
131.35/131.48	c |    189089 |     220    18700   130900 | 2147483647    84944     62 |  0.002 % |
131.85/131.92	c |    189498 |     220    18700   130900 | 2147483647    85353     62 |  0.002 % |
132.25/132.35	c |    189949 |     220    18700   130900 | 2147483647    85804     62 |  0.002 % |
132.85/132.91	c |    190443 |     220    18700   130900 |    85856    74918     62 |  0.002 % |
133.25/133.37	c |    190986 |     220    18700   130900 |    85856    75461     62 |  0.002 % |
133.75/133.85	c |    191582 |     220    18700   130900 |    85856    76057     62 |  0.002 % |
134.35/134.50	c |    192237 |     220    18700   130900 |    85856    76712     62 |  0.002 % |
135.05/135.12	c |    192958 |     220    18700   130900 |    85856    77433     62 |  0.002 % |
135.65/135.78	c |    193750 |     220    18700   130900 |    85856    78225     62 |  0.002 % |
136.45/136.51	c |    194622 |     220    18700   130900 |    85856    79097     62 |  0.002 % |
137.25/137.35	c |    195580 |     220    18700   130900 |    85856    80055     62 |  0.002 % |
138.25/138.36	c |    196634 |     220    18700   130900 |    85856    81109     62 |  0.002 % |
139.25/139.37	c |    197792 |     220    18700   130900 |    85856    82267     62 |  0.002 % |
140.45/140.54	c |    199066 |     220    18700   130900 |    85856    83541     62 |  0.002 % |
141.85/141.91	c |    200466 |     220    18700   130900 |    84476    72985     62 |  0.002 % |
143.05/143.13	c |    202007 |     220    18700   130900 |    84476    74526     62 |  0.002 % |
144.35/144.49	c |    203701 |     220    18700   130900 |    84476    76220     62 |  0.002 % |
145.95/146.06	c |    205565 |     220    18700   130900 |    84476    78084     62 |  0.002 % |
147.75/147.89	c |    207614 |     220    18700   130900 |    84476    80133     62 |  0.002 % |
147.85/148.00	c |    207714 |     220    18700   130900 |    84476    80233     62 |  0.002 % |
148.05/148.11	c |    207827 |     220    18700   130900 |    84476    80346     62 |  0.002 % |
148.15/148.22	c |    207950 |     220    18700   130900 |    84476    80469     62 |  0.002 % |
148.25/148.36	c |    208083 |     220    18700   130900 |    84476    80602     62 |  0.002 % |
148.45/148.53	c |    208230 |     220    18700   130900 |    84476    80749     62 |  0.002 % |
148.55/148.69	c |    208390 |     220    18700   130900 |    84476    80909     62 |  0.002 % |
148.75/148.85	c |    208567 |     220    18700   130900 |    84476    81086     62 |  0.002 % |
149.05/149.10	c |    208761 |     220    18700   130900 |    84476    81280     62 |  0.002 % |
149.15/149.29	c |    208974 |     220    18700   130900 |    84476    81493     62 |  0.002 % |
149.45/149.51	c |    209208 |     220    18700   130900 |    84476    81727     62 |  0.002 % |
149.65/149.74	c |    209466 |     220    18700   130900 |    84476    81985     62 |  0.002 % |
149.95/150.01	c |    209749 |     220    18700   130900 |    84476    82268     62 |  0.002 % |
150.25/150.32	c |    210059 |     220    18700   130900 |    82519    82578     62 |  0.002 % |
150.65/150.72	c |    210400 |     220    18700   130900 |    82519    72276     63 |  0.002 % |
150.95/151.03	c |    210773 |     220    18700   130900 |    82519    72649     63 |  0.002 % |
151.25/151.39	c |    211183 |     220    18700   130900 |    82519    73059     63 |  0.002 % |
151.65/151.76	c |    211633 |     220    18700   130900 |    82519    73509     63 |  0.002 % |
152.05/152.11	c |    212126 |     220    18700   130900 |    82519    74002     63 |  0.002 % |
152.45/152.55	c |    212669 |     220    18700   130900 |    82519    74545     63 |  0.002 % |
152.95/153.02	c |    213265 |     220    18700   130900 |    82519    75141     63 |  0.002 % |
153.45/153.56	c |    213920 |     220    18700   130900 |    82519    75796     63 |  0.002 % |
154.05/154.18	c |    214643 |     220    18700   130900 |    82519    76519     63 |  0.002 % |
154.75/154.82	c |    215435 |     220    18700   130900 |    82519    77311     63 |  0.002 % |
155.45/155.53	c |    216306 |     220    18700   130900 |    82519    78182     63 |  0.002 % |
156.15/156.27	c |    217265 |     220    18700   130900 |    82519    79141     63 |  0.002 % |
157.04/157.19	c |    218318 |     220    18700   130900 |    82519    80194     63 |  0.002 % |
158.04/158.11	c |    219477 |     220    18700   130900 |    82519    81353     63 |  0.002 % |
159.14/159.26	c |    220751 |     220    18700   130900 |    81876    73049     62 |  0.002 % |
160.24/160.34	c |    222152 |     220    18700   130900 |    81876    74450     62 |  0.002 % |
161.35/161.40	c |    223692 |     220    18700   130900 |    81876    75990     62 |  0.002 % |
162.54/162.60	c |    225386 |     220    18700   130900 |    81876    77684     63 |  0.002 % |
163.94/164.07	c |    227252 |     220    18700   130900 |    81876    79550     63 |  0.002 % |
165.64/165.74	c |    229302 |     220    18700   130900 |    81876    81600     63 |  0.002 % |
167.34/167.42	c |    231556 |     220    18700   130900 |    73932    67965     63 |  0.002 % |
167.44/167.52	c |    231656 |     220    18700   130900 |    73932    68065     63 |  0.002 % |
167.54/167.61	c |    231766 |     220    18700   130900 |    73932    68175     63 |  0.002 % |
167.64/167.71	c |    231887 |     220    18700   130900 |    73932    68296     63 |  0.002 % |
167.74/167.83	c |    232021 |     220    18700   130900 |    73932    68430     63 |  0.002 % |
167.94/168.00	c |    232169 |     220    18700   130900 |    73932    68578     63 |  0.002 % |
168.04/168.14	c |    232331 |     220    18700   130900 |    73932    68740     63 |  0.002 % |
168.15/168.28	c |    232507 |     220    18700   130900 |    73932    68916     63 |  0.002 % |
168.34/168.47	c |    232700 |     220    18700   130900 |    73932    69109     63 |  0.002 % |
168.54/168.64	c |    232913 |     220    18700   130900 |    73932    69322     63 |  0.002 % |
168.74/168.83	c |    233146 |     220    18700   130900 |    73932    69555     63 |  0.002 % |
168.95/169.02	c |    233402 |     220    18700   130900 |    73932    69811     63 |  0.002 % |
169.15/169.21	c |    233685 |     220    18700   130900 |    73932    70094     63 |  0.002 % |
169.35/169.45	c |    233994 |     220    18700   130900 |    73932    70403     63 |  0.002 % |
169.54/169.69	c |    234333 |     220    18700   130900 |    73932    70742     63 |  0.002 % |
169.84/169.97	c |    234705 |     220    18700   130900 |    73932    71114     63 |  0.002 % |
170.14/170.29	c |    235114 |     220    18700   130900 |    73932    71523     63 |  0.002 % |
170.54/170.65	c |    235563 |     220    18700   130900 |    73932    71972     63 |  0.002 % |
170.94/171.09	c |    236056 |     220    18700   130900 |    73932    72465     63 |  0.002 % |
171.45/171.57	c |    236598 |     220    18700   130900 |    73932    73007     63 |  0.002 % |
172.04/172.14	c |    237196 |     220    18700   130900 |    73932    73605     63 |  0.002 % |
172.65/172.71	c |    237853 |     220    18700   130900 |    73932    66859     63 |  0.002 % |
173.14/173.26	c |    238573 |     220    18700   130900 |    73932    67579     63 |  0.002 % |
173.75/173.87	c |    239366 |     220    18700   130900 |    73932    68372     62 |  0.002 % |
174.44/174.54	c |    240237 |     220    18700   130900 | 2147483647    69243     62 |  0.002 % |
175.04/175.19	c |    241195 |     220    18700   130900 | 2147483647    70201     62 |  0.002 % |
175.85/175.91	c |    242248 |     220    18700   130900 | 2147483647    71254     62 |  0.002 % |
176.64/176.73	c |    243409 |     220    18700   130900 | 2147483647    72415     63 |  0.002 % |
177.54/177.66	c |    244683 |     220    18700   130900 | 2147483647    73689     63 |  0.002 % |
178.54/178.68	c |    246084 |     220    18700   130900 | 2147483647    75090     62 |  0.002 % |
179.84/180.00	c |    247624 |     220    18700   130900 | 2147483647    76630     63 |  0.002 % |
181.35/181.41	c |    249319 |     220    18700   130900 | 2147483647    78325     63 |  0.002 % |
182.84/182.95	c |    251182 |     220    18700   130900 | 2147483647    80188     63 |  0.002 % |
184.44/184.56	c |    253232 |     220    18700   130900 | 2147483647    82238     63 |  0.002 % |
186.44/186.59	c |    255488 |     220    18700   130900 | 2147483647    84494     63 |  0.002 % |
188.55/188.66	c |    257966 |     220    18700   130900 | 2147483647    86972     63 |  0.002 % |
188.65/188.76	c |    258066 |     220    18700   130900 | 2147483647    87072     63 |  0.002 % |
188.85/188.90	c |    258180 |     220    18700   130900 | 2147483647    87186     63 |  0.002 % |
188.95/189.04	c |    258302 |     220    18700   130900 | 2147483647    87308     63 |  0.002 % |
189.05/189.19	c |    258435 |     220    18700   130900 | 2147483647    87441     63 |  0.002 % |
189.25/189.35	c |    258584 |     220    18700   130900 | 2147483647    87590     63 |  0.002 % |
189.45/189.55	c |    258744 |     220    18700   130900 | 2147483647    87750     63 |  0.002 % |
189.65/189.74	c |    258920 |     220    18700   130900 | 2147483647    87926     63 |  0.002 % |
189.84/189.95	c |    259114 |     220    18700   130900 | 2147483647    88120     63 |  0.002 % |
190.04/190.17	c |    259326 |     220    18700   130900 | 2147483647    88332     63 |  0.002 % |
190.25/190.38	c |    259561 |     220    18700   130900 | 2147483647    88567     63 |  0.002 % |
190.54/190.66	c |    259817 |     220    18700   130900 | 2147483647    88823     63 |  0.002 % |
190.84/190.97	c |    260099 |     220    18700   130900 |    89006    89105     63 |  0.002 % |
191.25/191.33	c |    260408 |     220    18700   130900 |    89006    77121     63 |  0.002 % |
191.54/191.64	c |    260748 |     220    18700   130900 |    89006    77461     63 |  0.002 % |
191.84/191.99	c |    261120 |     220    18700   130900 |    89006    77833     63 |  0.002 % |
192.24/192.32	c |    261530 |     220    18700   130900 |    89006    78243     63 |  0.002 % |
192.64/192.77	c |    261981 |     220    18700   130900 |    89006    78694     63 |  0.002 % |
193.14/193.25	c |    262476 |     220    18700   130900 |    89006    79189     63 |  0.002 % |
193.64/193.75	c |    263018 |     220    18700   130900 |    89006    79731     63 |  0.002 % |
194.14/194.29	c |    263615 |     220    18700   130900 |    89006    80328     63 |  0.002 % |
194.75/194.86	c |    264270 |     220    18700   130900 |    89006    80983     63 |  0.002 % |
195.35/195.48	c |    264990 |     220    18700   130900 |    89006    81703     63 |  0.002 % |
196.05/196.16	c |    265782 |     220    18700   130900 |    89006    82495     63 |  0.002 % |
196.75/196.89	c |    266654 |     220    18700   130900 |    89006    83367     63 |  0.002 % |
197.64/197.74	c |    267612 |     220    18700   130900 |    89006    84325     63 |  0.002 % |
198.54/198.65	c |    268665 |     220    18700   130900 |    89006    85378     63 |  0.002 % |
199.54/199.62	c |    269825 |     220    18700   130900 |    89006    86538     63 |  0.002 % |
200.64/200.73	c |    271100 |     220    18700   130900 |    86714    75800     63 |  0.002 % |
201.64/201.78	c |    272503 |     220    18700   130900 |    86714    77203     63 |  0.002 % |
203.04/203.13	c |    274043 |     220    18700   130900 |    86714    78743     63 |  0.002 % |
204.45/204.58	c |    275739 |     220    18700   130900 |    86714    80439     63 |  0.002 % |
206.04/206.14	c |    277602 |     220    18700   130900 |    86714    82302     63 |  0.002 % |
207.75/207.90	c |    279651 |     220    18700   130900 |    86714    84351     63 |  0.002 % |
209.64/209.74	c |    281904 |     220    18700   130900 |    84701    75519     63 |  0.002 % |
211.54/211.60	c |    284382 |     220    18700   130900 |    84701    77997     63 |  0.002 % |
213.64/213.73	c |    287107 |     220    18700   130900 |    84701    80722     63 |  0.002 % |
213.74/213.80	c |    287208 |     220    18700   130900 |    84701    80823     63 |  0.002 % |
213.74/213.89	c |    287320 |     220    18700   130900 |    84701    80935     63 |  0.002 % |
213.94/214.01	c |    287441 |     220    18700   130900 |    84701    81056     63 |  0.002 % |
214.04/214.14	c |    287575 |     220    18700   130900 |    84701    81190     63 |  0.002 % |
214.24/214.31	c |    287721 |     220    18700   130900 |    84701    81336     63 |  0.002 % |
214.35/214.47	c |    287882 |     220    18700   130900 |    84701    81497     63 |  0.002 % |
214.54/214.64	c |    288058 |     220    18700   130900 |    84701    81673     63 |  0.002 % |
214.74/214.84	c |    288252 |     220    18700   130900 |    84701    81867     63 |  0.002 % |
214.94/215.04	c |    288467 |     220    18700   130900 |    84701    82082     63 |  0.002 % |
215.14/215.25	c |    288701 |     220    18700   130900 |    84701    82316     63 |  0.002 % |
215.34/215.48	c |    288959 |     220    18700   130900 |    84701    82574     63 |  0.002 % |
215.64/215.74	c |    289240 |     220    18700   130900 |    84701    82855     63 |  0.002 % |
215.94/216.03	c |    289551 |     220    18700   130900 |    84701    83166     63 |  0.002 % |
216.24/216.37	c |    289892 |     220    18700   130900 |    84701    83507     63 |  0.002 % |
216.64/216.79	c |    290266 |     220    18700   130900 |    83615    73902     63 |  0.002 % |
217.04/217.17	c |    290675 |     220    18700   130900 |    83615    74311     63 |  0.002 % |
217.44/217.54	c |    291124 |     220    18700   130900 |    83615    74760     63 |  0.002 % |
217.84/217.95	c |    291618 |     220    18700   130900 |    83615    75254     63 |  0.002 % |
218.24/218.36	c |    292161 |     220    18700   130900 |    83615    75797     63 |  0.002 % |
218.74/218.82	c |    292757 |     220    18700   130900 |    83615    76393     63 |  0.002 % |
219.24/219.33	c |    293412 |     220    18700   130900 |    83615    77048     63 |  0.002 % |
219.74/219.88	c |    294132 |     220    18700   130900 |    83615    77768     63 |  0.002 % |
220.34/220.50	c |    294924 |     220    18700   130900 |    83615    78560     63 |  0.002 % |
221.05/221.14	c |    295795 |     220    18700   130900 |    83615    79431     63 |  0.002 % |
221.74/221.88	c |    296754 |     220    18700   130900 |    83615    80390     63 |  0.002 % |
222.64/222.70	c |    297807 |     220    18700   130900 |    83615    81443     63 |  0.002 % |
223.64/223.70	c |    298965 |     220    18700   130900 |    83615    82601     63 |  0.002 % |
224.74/224.82	c |    300239 |     220    18700   130900 |    83636    74073     63 |  0.002 % |
225.84/225.94	c |    301640 |     220    18700   130900 |    83636    75474     63 |  0.002 % |
227.04/227.14	c |    303181 |     220    18700   130900 |    83636    77015     63 |  0.002 % |
228.34/228.49	c |    304877 |     220    18700   130900 |    83636    78711     63 |  0.002 % |
229.85/229.99	c |    306742 |     220    18700   130900 |    83636    80576     63 |  0.002 % |
231.44/231.56	c |    308791 |     220    18700   130900 |    83636    82625     63 |  0.002 % |
233.34/233.48	c |    311045 |     220    18700   130900 |    74505    67249     63 |  0.002 % |
235.14/235.29	c |    313523 |     220    18700   130900 |    74505    69727     63 |  0.002 % |
237.34/237.42	c |    316248 |     220    18700   130900 |    74505    72452     63 |  0.002 % |
239.54/239.68	c |    319246 |     220    18700   130900 |    74505    67990     63 |  0.002 % |
239.65/239.77	c |    319346 |     220    18700   130900 |    74505    68090     63 |  0.002 % |
239.75/239.88	c |    319456 |     220    18700   130900 |    74505    68200     63 |  0.002 % |
239.84/239.97	c |    319578 |     220    18700   130900 |    74505    68322     63 |  0.002 % |
240.04/240.11	c |    319713 |     220    18700   130900 |    74505    68457     63 |  0.002 % |
240.14/240.24	c |    319860 |     220    18700   130900 |    74505    68604     63 |  0.002 % |
240.24/240.37	c |    320022 |     220    18700   130900 | 2147483647    68766     63 |  0.002 % |
240.44/240.55	c |    320198 |     220    18700   130900 | 2147483647    68942     63 |  0.002 % |
240.54/240.69	c |    320392 |     220    18700   130900 | 2147483647    69136     63 |  0.002 % |
240.75/240.85	c |    320605 |     220    18700   130900 | 2147483647    69349     63 |  0.002 % |
240.94/241.02	c |    320838 |     220    18700   130900 | 2147483647    69582     63 |  0.002 % |
241.14/241.22	c |    321094 |     220    18700   130900 | 2147483647    69838     63 |  0.002 % |
241.34/241.48	c |    321375 |     220    18700   130900 | 2147483647    70119     63 |  0.002 % |
241.64/241.75	c |    321684 |     220    18700   130900 | 2147483647    70428     63 |  0.002 % |
241.95/242.02	c |    322025 |     220    18700   130900 | 2147483647    70769     63 |  0.002 % |
242.24/242.36	c |    322399 |     220    18700   130900 | 2147483647    71143     63 |  0.002 % |
242.54/242.69	c |    322809 |     220    18700   130900 | 2147483647    71553     63 |  0.002 % |
242.95/243.04	c |    323259 |     220    18700   130900 | 2147483647    72003     63 |  0.002 % |
243.34/243.42	c |    323753 |     220    18700   130900 | 2147483647    72497     63 |  0.002 % |
243.74/243.83	c |    324296 |     220    18700   130900 | 2147483647    73040     63 |  0.002 % |
244.14/244.26	c |    324893 |     220    18700   130900 | 2147483647    73637     63 |  0.002 % |
244.64/244.78	c |    325548 |     220    18700   130900 | 2147483647    74292     63 |  0.002 % |
245.34/245.44	c |    326268 |     220    18700   130900 | 2147483647    75012     63 |  0.002 % |
246.04/246.13	c |    327062 |     220    18700   130900 | 2147483647    75806     63 |  0.002 % |
246.74/246.88	c |    327934 |     220    18700   130900 | 2147483647    76678     63 |  0.002 % |
247.64/247.72	c |    328892 |     220    18700   130900 | 2147483647    77636     63 |  0.002 % |
248.44/248.58	c |    329946 |     220    18700   130900 | 2147483647    78690     63 |  0.002 % |
249.44/249.54	c |    331106 |     220    18700   130900 |    78745    71379     63 |  0.002 % |
250.44/250.52	c |    332380 |     220    18700   130900 |    78745    72653     63 |  0.002 % |
251.44/251.51	c |    333780 |     220    18700   130900 |    78745    74053     63 |  0.002 % |
252.54/252.62	c |    335320 |     220    18700   130900 |    78745    75593     63 |  0.002 % |
253.84/253.90	c |    337015 |     220    18700   130900 |    78745    77288     63 |  0.002 % |
255.44/255.59	c |    338878 |     220    18700   130900 |    78745    71267     63 |  0.002 % |
257.04/257.11	c |    340928 |     220    18700   130900 | 2147483647    73317     63 |  0.002 % |
258.64/258.78	c |    343183 |     220    18700   130900 | 2147483647    75572     63 |  0.002 % |
260.54/260.70	c |    345661 |     220    18700   130900 | 2147483647    78050     63 |  0.002 % |
262.64/262.77	c |    348386 |     220    18700   130900 | 2147483647    80775     63 |  0.002 % |
265.24/265.32	c |    351383 |     220    18700   130900 |    82389    75070     63 |  0.002 % |
267.84/267.93	c |    354679 |     220    18700   130900 |    82389    78366     63 |  0.002 % |
267.94/268.01	c |    354781 |     220    18700   130900 |    82389    78468     63 |  0.002 % |
268.04/268.12	c |    354891 |     220    18700   130900 |    82389    78578     63 |  0.002 % |
268.14/268.24	c |    355013 |     220    18700   130900 |    82389    78700     63 |  0.002 % |
268.34/268.40	c |    355147 |     220    18700   130900 |    82389    78834     63 |  0.002 % |
268.44/268.54	c |    355293 |     220    18700   130900 |    82389    78980     63 |  0.002 % |
268.64/268.70	c |    355455 |     220    18700   130900 |    82389    79142     63 |  0.002 % |
268.74/268.88	c |    355631 |     220    18700   130900 |    82389    79318     63 |  0.002 % |
268.94/269.07	c |    355824 |     220    18700   130900 |    82389    79511     63 |  0.002 % |
269.14/269.27	c |    356036 |     220    18700   130900 |    82389    79723     63 |  0.002 % |
269.44/269.52	c |    356269 |     220    18700   130900 |    82389    79956     63 |  0.002 % |
269.64/269.77	c |    356525 |     220    18700   130900 |    82389    80212     63 |  0.002 % |
269.94/270.04	c |    356806 |     220    18700   130900 |    82389    80493     63 |  0.002 % |
270.24/270.31	c |    357115 |     220    18700   130900 |    82389    80802     63 |  0.002 % |
270.54/270.65	c |    357454 |     220    18700   130900 |    82389    81141     63 |  0.002 % |
270.84/270.97	c |    357826 |     220    18700   130900 |    82389    81513     63 |  0.002 % |
271.24/271.33	c |    358235 |     220    18700   130900 |    82389    81922     63 |  0.002 % |
271.64/271.72	c |    358685 |     220    18700   130900 |    82389    82372     63 |  0.002 % |
272.04/272.18	c |    359179 |     220    18700   130900 |    82389    73196     63 |  0.002 % |
272.44/272.56	c |    359722 |     220    18700   130900 |    82389    73739     63 |  0.002 % |
272.94/273.07	c |    360318 |     220    18700   130900 |    74018    65815     63 |  0.002 % |
273.44/273.55	c |    360973 |     220    18700   130900 |    74018    66470     63 |  0.002 % |
273.94/274.06	c |    361696 |     220    18700   130900 |    74018    67193     63 |  0.002 % |
274.54/274.61	c |    362489 |     220    18700   130900 |    74018    67986     63 |  0.002 % |
275.14/275.21	c |    363363 |     220    18700   130900 |    74018    68860     63 |  0.002 % |
275.74/275.84	c |    364322 |     220    18700   130900 |    74018    69819     63 |  0.002 % |
276.54/276.61	c |    365375 |     220    18700   130900 |    74018    70872     63 |  0.002 % |
277.44/277.50	c |    366534 |     220    18700   130900 |    74018    72031     63 |  0.002 % |
278.54/278.62	c |    367808 |     220    18700   130900 |    74018    73305     63 |  0.002 % |
279.64/279.75	c |    369208 |     220    18700   130900 |    74018    67293     63 |  0.002 % |
280.64/280.77	c |    370748 |     220    18700   130900 | 2147483647    68833     63 |  0.002 % |
281.84/281.97	c |    372442 |     220    18700   130900 | 2147483647    70527     63 |  0.002 % |
283.14/283.24	c |    374306 |     220    18700   130900 | 2147483647    72391     63 |  0.002 % |
284.74/284.84	c |    376355 |     220    18700   130900 | 2147483647    74440     63 |  0.002 % |
286.44/286.59	c |    378608 |     220    18700   130900 | 2147483647    76693     63 |  0.002 % |
288.54/288.63	c |    381086 |     220    18700   130900 | 2147483647    79171     63 |  0.002 % |
290.84/290.95	c |    383811 |     220    18700   130900 | 2147483647    81896     63 |  0.002 % |
293.54/293.66	c |    386808 |     220    18700   130900 | 2147483647    84893     63 |  0.002 % |
296.34/296.49	c |    390105 |     220    18700   130900 |    88086    76412     63 |  0.002 % |
299.24/299.33	c |    393730 |     220    18700   130900 |    88086    80037     63 |  0.002 % |
299.34/299.42	c |    393830 |     220    18700   130900 |    88086    80137     63 |  0.002 % |
299.44/299.52	c |    393943 |     220    18700   130900 |    88086    80250     63 |  0.002 % |
299.54/299.63	c |    394065 |     220    18700   130900 |    88086    80372     63 |  0.002 % |
299.64/299.78	c |    394198 |     220    18700   130900 |    88086    80505     63 |  0.002 % |
299.84/299.94	c |    394345 |     220    18700   130900 |    88086    80652     63 |  0.002 % |
300.04/300.10	c |    394506 |     220    18700   130900 |    88086    80813     63 |  0.002 % |
300.24/300.32	c |    394682 |     220    18700   130900 |    88086    80989     63 |  0.002 % |
300.44/300.52	c |    394876 |     220    18700   130900 |    88086    81183     63 |  0.002 % |
300.64/300.72	c |    395090 |     220    18700   130900 |    88086    81397     63 |  0.002 % |
300.84/300.98	c |    395323 |     220    18700   130900 |    88086    81630     63 |  0.002 % |
301.14/301.22	c |    395580 |     220    18700   130900 |    88086    81887     63 |  0.002 % |
301.34/301.49	c |    395861 |     220    18700   130900 |    88086    82168     63 |  0.002 % |
301.64/301.79	c |    396172 |     220    18700   130900 |    88086    82479     63 |  0.002 % |
302.04/302.11	c |    396511 |     220    18700   130900 |    88086    82818     63 |  0.002 % |
302.34/302.48	c |    396884 |     220    18700   130900 |    88086    83191     63 |  0.002 % |
302.73/302.88	c |    397294 |     220    18700   130900 |    88086    83601     63 |  0.002 % |
303.13/303.28	c |    397743 |     220    18700   130900 |    88086    84050     63 |  0.002 % |
303.63/303.76	c |    398238 |     220    18700   130900 |    88086    84545     63 |  0.002 % |
304.13/304.26	c |    398780 |     220    18700   130900 |    88086    85087     63 |  0.002 % |
304.73/304.84	c |    399377 |     220    18700   130900 |    88086    85684     63 |  0.002 % |
305.33/305.43	c |    400032 |     220    18700   130900 |    86307    86339     63 |  0.002 % |
306.04/306.15	c |    400752 |     220    18700   130900 |    86307    74725     63 |  0.002 % |
306.74/306.81	c |    401545 |     220    18700   130900 |    86307    75518     63 |  0.002 % |
307.43/307.54	c |    402416 |     220    18700   130900 |    86307    76389     63 |  0.002 % |
308.24/308.36	c |    403375 |     220    18700   130900 |    86307    77348     63 |  0.002 % |
309.14/309.20	c |    404429 |     220    18700   130900 |    86307    78402     63 |  0.002 % |
310.04/310.15	c |    405588 |     220    18700   130900 |    86307    79561     63 |  0.002 % |
311.14/311.22	c |    406863 |     220    18700   130900 |    86307    80836     63 |  0.002 % |
312.24/312.36	c |    408263 |     220    18700   130900 |    86307    82236     63 |  0.002 % |
313.54/313.61	c |    409805 |     220    18700   130900 |    86307    83778     63 |  0.002 % |
314.94/315.07	c |    411501 |     220    18700   130900 |    83975    74012     63 |  0.002 % |
316.64/316.76	c |    413368 |     220    18700   130900 |    83975    75879     63 |  0.002 % |
318.23/318.38	c |    415417 |     220    18700   130900 |    83975    77928     63 |  0.002 % |
320.04/320.19	c |    417673 |     220    18700   130900 |    83975    80184     63 |  0.002 % |
322.14/322.24	c |    420152 |     220    18700   130900 |    82512    72310     63 |  0.002 % |
324.04/324.19	c |    422877 |     220    18700   130900 |    82512    75035     63 |  0.002 % |
326.54/326.68	c |    425874 |     220    18700   130900 |    82512    78032     63 |  0.002 % |
329.34/329.45	c |    429175 |     220    18700   130900 |    82512    81333     63 |  0.002 % |
332.04/332.18	c |    432800 |     220    18700   130900 |    82160    75711     63 |  0.002 % |
335.24/335.39	c |    436787 |     220    18700   130900 |    82160    79698     63 |  0.002 % |
335.34/335.48	c |    436888 |     220    18700   130900 |    82160    79799     63 |  0.002 % |
335.44/335.58	c |    436998 |     220    18700   130900 |    82160    79909     63 |  0.002 % |
335.64/335.70	c |    437119 |     220    18700   130900 |    82160    80030     63 |  0.002 % |
335.74/335.83	c |    437253 |     220    18700   130900 |    82160    80164     63 |  0.002 % |
335.84/335.97	c |    437400 |     220    18700   130900 |    82160    80311     63 |  0.002 % |
336.04/336.14	c |    437562 |     220    18700   130900 |    82160    80473     63 |  0.002 % |
336.24/336.34	c |    437738 |     220    18700   130900 |    82160    80649     63 |  0.002 % |
336.44/336.52	c |    437931 |     220    18700   130900 |    82160    80842     63 |  0.002 % |
336.64/336.73	c |    438146 |     220    18700   130900 |    82160    81057     63 |  0.002 % |
336.84/336.94	c |    438380 |     220    18700   130900 |    82160    81291     63 |  0.002 % |
337.04/337.15	c |    438638 |     220    18700   130900 |    82160    81549     63 |  0.002 % |
337.33/337.42	c |    438919 |     220    18700   130900 |    82160    81830     63 |  0.002 % |
337.64/337.71	c |    439228 |     220    18700   130900 |    82160    82139     63 |  0.002 % |
337.93/338.06	c |    439567 |     220    18700   130900 |    82160    73271     63 |  0.002 % |
338.33/338.45	c |    439939 |     220    18700   130900 |    82160    73643     63 |  0.002 % |
338.74/338.86	c |    440349 |     220    18700   130900 |    73704    65565     63 |  0.002 % |
339.03/339.20	c |    440799 |     220    18700   130900 |    73704    66015     63 |  0.002 % |
339.43/339.57	c |    441293 |     220    18700   130900 |    73704    66509     63 |  0.002 % |
339.84/339.93	c |    441835 |     220    18700   130900 |    73704    67051     63 |  0.002 % |
340.24/340.37	c |    442432 |     220    18700   130900 |    73704    67648     63 |  0.002 % |
340.74/340.86	c |    443087 |     220    18700   130900 |    73704    68303     63 |  0.002 % |
341.33/341.44	c |    443810 |     220    18700   130900 |    73704    69026     63 |  0.002 % |
341.94/342.01	c |    444604 |     220    18700   130900 |    73704    69820     63 |  0.002 % |
342.53/342.60	c |    445475 |     220    18700   130900 |    73704    70691     63 |  0.002 % |
343.23/343.30	c |    446434 |     220    18700   130900 |    73704    71650     63 |  0.002 % |
344.03/344.13	c |    447488 |     220    18700   130900 |    73704    72704     63 |  0.002 % |
344.93/345.01	c |    448651 |     220    18700   130900 |    73704    66487     63 |  0.002 % |
345.83/345.92	c |    449925 |     220    18700   130900 |    73704    67761     63 |  0.002 % |
346.73/346.85	c |    451325 |     220    18700   130900 | 2147483647    69161     63 |  0.002 % |
347.83/347.97	c |    452865 |     220    18700   130900 | 2147483647    70701     63 |  0.002 % |
349.13/349.27	c |    454559 |     220    18700   130900 | 2147483647    72395     63 |  0.002 % |
350.74/350.83	c |    456422 |     220    18700   130900 | 2147483647    74258     63 |  0.002 % |
352.33/352.48	c |    458472 |     220    18700   130900 | 2147483647    76308     63 |  0.002 % |
354.14/354.22	c |    460726 |     220    18700   130900 | 2147483647    78562     63 |  0.002 % |
356.03/356.18	c |    463204 |     220    18700   130900 | 2147483647    81040     63 |  0.002 % |
358.33/358.45	c |    465930 |     220    18700   130900 | 2147483647    83766     63 |  0.002 % |
360.83/361.00	c |    468927 |     220    18700   130900 | 2147483647    86763     63 |  0.002 % |
363.53/363.66	c |    472224 |     220    18700   130900 |    87838    79530     63 |  0.002 % |
366.53/366.68	c |    475850 |     220    18700   130900 |    87838    83156     63 |  0.002 % |
369.83/369.98	c |    479839 |     220    18700   130900 |    87838    87145     63 |  0.002 % |
373.53/373.63	c |    484225 |     220    18700   130900 |    87306    80215     63 |  0.002 % |
373.63/373.72	c |    484325 |     220    18700   130900 |    87306    80315     63 |  0.002 % |
373.73/373.80	c |    484435 |     220    18700   130900 |    87306    80425     63 |  0.002 % |
373.84/373.90	c |    484556 |     220    18700   130900 |    87306    80546     63 |  0.002 % |
373.94/374.05	c |    484691 |     220    18700   130900 |    87306    80681     63 |  0.002 % |
374.03/374.19	c |    484840 |     220    18700   130900 |    87306    80830     63 |  0.002 % |
374.23/374.34	c |    485001 |     220    18700   130900 |    87306    80991     63 |  0.002 % |
374.43/374.55	c |    485177 |     220    18700   130900 |    87306    81167     63 |  0.002 % |
374.63/374.73	c |    485371 |     220    18700   130900 |    87306    81361     63 |  0.002 % |
374.83/374.92	c |    485583 |     220    18700   130900 |    87306    81573     63 |  0.002 % |
375.04/375.17	c |    485816 |     220    18700   130900 |    87306    81806     63 |  0.002 % |
375.33/375.42	c |    486072 |     220    18700   130900 |    87306    82062     63 |  0.002 % |
375.53/375.70	c |    486353 |     220    18700   130900 |    87306    82343     63 |  0.002 % |
375.93/376.00	c |    486662 |     220    18700   130900 |    87306    82652     63 |  0.002 % |
376.14/376.30	c |    487004 |     220    18700   130900 |    87306    82994     63 |  0.002 % |
376.53/376.66	c |    487378 |     220    18700   130900 |    87306    83368     63 |  0.002 % |
376.93/377.05	c |    487788 |     220    18700   130900 |    87306    83778     63 |  0.002 % |
377.33/377.47	c |    488238 |     220    18700   130900 |    87306    84228     63 |  0.002 % |
377.73/377.87	c |    488733 |     220    18700   130900 |    87306    84723     63 |  0.002 % |
378.24/378.34	c |    489275 |     220    18700   130900 |    87306    85265     63 |  0.002 % |
378.73/378.87	c |    489871 |     220    18700   130900 |    87306    85861     63 |  0.002 % |
379.34/379.44	c |    490527 |     220    18700   130900 |    85990    74801     63 |  0.002 % |
379.93/380.05	c |    491247 |     220    18700   130900 |    85990    75521     63 |  0.002 % |
380.54/380.65	c |    492040 |     220    18700   130900 |    85990    76314     63 |  0.002 % |
381.23/381.39	c |    492911 |     220    18700   130900 |    85990    77185     63 |  0.002 % |
382.03/382.17	c |    493869 |     220    18700   130900 |    85990    78143     63 |  0.002 % |
382.93/383.07	c |    494923 |     220    18700   130900 |    85990    79197     63 |  0.002 % |
383.84/384.00	c |    496081 |     220    18700   130900 |    85990    80355     63 |  0.002 % |
385.03/385.20	c |    497354 |     220    18700   130900 |    85990    81628     63 |  0.002 % |
386.23/386.38	c |    498754 |     220    18700   130900 |    85990    83028     63 |  0.002 % |
387.63/387.70	c |    500294 |     220    18700   130900 |    84274    74011     63 |  0.002 % |
388.83/388.97	c |    501990 |     220    18700   130900 |    84274    75707     63 |  0.002 % |
390.23/390.40	c |    503853 |     220    18700   130900 |    84274    77570     63 |  0.002 % |
391.83/391.93	c |    505902 |     220    18700   130900 |    84274    79619     63 |  0.002 % |
393.64/393.74	c |    508156 |     220    18700   130900 |    84274    81873     63 |  0.002 % |
395.63/395.71	c |    510634 |     220    18700   130900 |    83717    75188     63 |  0.002 % |
397.63/397.77	c |    513360 |     220    18700   130900 |    83717    77914     63 |  0.002 % |
399.83/399.97	c |    516360 |     220    18700   130900 |    83717    80914     63 |  0.002 % |
402.33/402.45	c |    519657 |     220    18700   130900 |    83717    75830     63 |  0.002 % |
404.93/405.10	c |    523282 |     220    18700   130900 | 2147483647    79455     63 |  0.002 % |
407.94/408.01	c |    527269 |     220    18700   130900 | 2147483647    83442     63 |  0.002 % |
411.53/411.63	c |    531654 |     220    18700   130900 |    86173    78375     63 |  0.002 % |
415.23/415.31	c |    536479 |     220    18700   130900 |    86173    83200     63 |  0.002 % |
415.33/415.41	c |    536579 |     220    18700   130900 |    86173    83300     63 |  0.002 % |
415.43/415.54	c |    536689 |     220    18700   130900 |    86173    83410     63 |  0.002 % |
415.53/415.66	c |    536810 |     220    18700   130900 |    86173    83531     63 |  0.002 % |
415.63/415.78	c |    536943 |     220    18700   130900 |    86173    83664     63 |  0.002 % |
415.83/415.94	c |    537089 |     220    18700   130900 |    86173    83810     63 |  0.002 % |
416.03/416.12	c |    537249 |     220    18700   130900 |    86173    83970     63 |  0.002 % |
416.23/416.30	c |    537426 |     220    18700   130900 |    86173    84147     63 |  0.002 % |
416.43/416.51	c |    537620 |     220    18700   130900 |    86173    84341     63 |  0.002 % |
416.63/416.71	c |    537833 |     220    18700   130900 |    86173    84554     63 |  0.002 % |
416.83/416.92	c |    538068 |     220    18700   130900 |    86173    84789     63 |  0.002 % |
417.03/417.19	c |    538324 |     220    18700   130900 |    86173    85045     63 |  0.002 % |
417.33/417.47	c |    538607 |     220    18700   130900 |    86173    85328     63 |  0.002 % |
417.63/417.78	c |    538919 |     220    18700   130900 |    86173    85640     63 |  0.002 % |
418.03/418.13	c |    539259 |     220    18700   130900 |    86173    85980     63 |  0.002 % |
418.43/418.56	c |    539632 |     220    18700   130900 |    86173    75372     63 |  0.002 % |
418.83/418.91	c |    540042 |     220    18700   130900 |    75740    75782     63 |  0.002 % |
419.23/419.33	c |    540492 |     220    18700   130900 |    75740    66655     63 |  0.002 % |
419.53/419.69	c |    540985 |     220    18700   130900 |    75740    67148     63 |  0.002 % |
419.93/420.08	c |    541528 |     220    18700   130900 |    75740    67691     63 |  0.002 % |
420.43/420.55	c |    542125 |     220    18700   130900 |    75740    68288     63 |  0.002 % |
420.93/421.05	c |    542780 |     220    18700   130900 |    75740    68943     63 |  0.002 % |
421.43/421.55	c |    543500 |     220    18700   130900 |    75740    69663     63 |  0.002 % |
422.03/422.15	c |    544295 |     220    18700   130900 |    75740    70458     63 |  0.002 % |
422.73/422.81	c |    545167 |     220    18700   130900 |    75740    71330     63 |  0.002 % |
423.44/423.52	c |    546125 |     220    18700   130900 |    75740    72288     63 |  0.002 % |
424.24/424.34	c |    547180 |     220    18700   130900 |    75740    73343     63 |  0.002 % |
425.14/425.21	c |    548338 |     220    18700   130900 |    75740    74501     63 |  0.002 % |
426.04/426.15	c |    549613 |     220    18700   130900 |    75740    75776     63 |  0.002 % |
427.14/427.28	c |    551015 |     220    18700   130900 | 2147483647    69601     63 |  0.002 % |
428.34/428.44	c |    552557 |     220    18700   130900 | 2147483647    71143     63 |  0.002 % |
429.64/429.70	c |    554254 |     220    18700   130900 | 2147483647    72840     63 |  0.002 % |
430.94/431.07	c |    556119 |     220    18700   130900 | 2147483647    74705     63 |  0.002 % |
432.54/432.66	c |    558168 |     220    18700   130900 | 2147483647    76754     63 |  0.002 % |
434.34/434.48	c |    560422 |     220    18700   130900 | 2147483647    79008     63 |  0.002 % |
436.24/436.38	c |    562900 |     220    18700   130900 | 2147483647    81486     63 |  0.002 % |
438.44/438.51	c |    565625 |     220    18700   130900 | 2147483647    84211     63 |  0.002 % |
440.74/440.86	c |    568622 |     220    18700   130900 | 2147483647    87208     63 |  0.002 % |
443.44/443.55	c |    571918 |     220    18700   130900 |    88588    79956     63 |  0.002 % |
446.34/446.47	c |    575544 |     220    18700   130900 |    88588    83582     63 |  0.002 % |
449.74/449.85	c |    579531 |     220    18700   130900 |    88588    87569     63 |  0.002 % |
453.44/453.53	c |    583917 |     220    18700   130900 |    88038    80596     63 |  0.002 % |
457.64/457.74	c |    588740 |     220    18700   130900 |    88038    85419     63 |  0.002 % |
462.24/462.31	c |    594045 |     220    18700   130900 |    86679    78803     63 |  0.002 % |
462.34/462.41	c |    594145 |     220    18700   130900 |    86679    78903     63 |  0.002 % |
462.44/462.50	c |    594255 |     220    18700   130900 |    86679    79013     63 |  0.002 % |
462.44/462.59	c |    594377 |     220    18700   130900 |    86679    79135     63 |  0.002 % |
462.64/462.71	c |    594511 |     220    18700   130900 |    86679    79269     63 |  0.002 % |
462.74/462.87	c |    594658 |     220    18700   130900 |    86679    79416     63 |  0.002 % |
462.94/463.02	c |    594818 |     220    18700   130900 |    86679    79576     63 |  0.002 % |
463.04/463.18	c |    594994 |     220    18700   130900 |    86679    79752     63 |  0.002 % |
463.24/463.37	c |    595187 |     220    18700   130900 |    86679    79945     63 |  0.002 % |
463.44/463.54	c |    595400 |     220    18700   130900 |    86679    80158     63 |  0.002 % |
463.64/463.76	c |    595633 |     220    18700   130900 |    86679    80391     63 |  0.002 % |
463.84/463.96	c |    595889 |     220    18700   130900 |    86679    80647     63 |  0.002 % |
464.14/464.22	c |    596173 |     220    18700   130900 |    86679    80931     63 |  0.002 % |
464.34/464.48	c |    596482 |     220    18700   130900 |    86679    81240     63 |  0.002 % |
464.64/464.78	c |    596821 |     220    18700   130900 |    86679    81579     63 |  0.002 % |
464.94/465.08	c |    597193 |     220    18700   130900 |    86679    81951     63 |  0.002 % |
465.34/465.42	c |    597604 |     220    18700   130900 |    86679    82362     63 |  0.002 % |
465.74/465.81	c |    598053 |     220    18700   130900 |    86679    82811     63 |  0.002 % |
466.14/466.30	c |    598547 |     220    18700   130900 |    86679    83305     63 |  0.002 % |
466.74/466.82	c |    599090 |     220    18700   130900 |    86679    83848     63 |  0.002 % |
467.34/467.42	c |    599686 |     220    18700   130900 |    86679    84444     63 |  0.002 % |
468.04/468.10	c |    600341 |     220    18700   130900 |    84759    73643     63 |  0.002 % |
468.54/468.64	c |    601062 |     220    18700   130900 |    84759    74364     63 |  0.002 % |
469.24/469.33	c |    601854 |     220    18700   130900 |    84759    75156     63 |  0.002 % |
469.94/470.02	c |    602726 |     220    18700   130900 |    84759    76028     63 |  0.002 % |
470.64/470.80	c |    603684 |     220    18700   130900 |    84759    76986     63 |  0.002 % |
471.54/471.63	c |    604740 |     220    18700   130900 |    84759    78042     63 |  0.002 % |
472.44/472.56	c |    605899 |     220    18700   130900 |    84759    79201     63 |  0.002 % |
473.54/473.62	c |    607173 |     220    18700   130900 |    84759    80475     63 |  0.002 % |
474.64/474.72	c |    608574 |     220    18700   130900 |    84759    81876     63 |  0.002 % |
476.04/476.11	c |    610114 |     220    18700   130900 |    83303    83416     63 |  0.002 % |
477.34/477.42	c |    611810 |     220    18700   130900 |    83303    74594     63 |  0.002 % |
478.64/478.77	c |    613673 |     220    18700   130900 |    83303    76457     63 |  0.002 % |
480.14/480.23	c |    615722 |     220    18700   130900 |    83303    78506     63 |  0.002 % |
481.74/481.90	c |    617975 |     220    18700   130900 |    83303    80759     63 |  0.002 % |
483.64/483.77	c |    620453 |     220    18700   130900 |    82785    74644     63 |  0.002 % |
485.64/485.71	c |    623178 |     220    18700   130900 |    82785    77369     63 |  0.002 % |
487.94/488.05	c |    626175 |     220    18700   130900 |    82785    80366     63 |  0.002 % |
490.54/490.65	c |    629471 |     220    18700   130900 |    82785    75240     63 |  0.002 % |
493.34/493.46	c |    633096 |     220    18700   130900 | 2147483647    78865     63 |  0.002 % |
496.64/496.77	c |    637085 |     220    18700   130900 | 2147483647    82854     63 |  0.002 % |
500.44/500.53	c |    641472 |     220    18700   130900 |    85769    76504     63 |  0.002 % |
504.24/504.33	c |    646296 |     220    18700   130900 |    85769    81328     64 |  0.002 % |
508.84/508.92	c |    651601 |     220    18700   130900 |    85033    76486     64 |  0.002 % |
513.44/513.60	c |    657437 |     220    18700   130900 |    85033    82322     64 |  0.002 % |
513.54/513.69	c |    657537 |     220    18700   130900 |    85033    82422     64 |  0.002 % |
513.74/513.83	c |    657647 |     220    18700   130900 |    85033    82532     64 |  0.002 % |
513.84/513.96	c |    657768 |     220    18700   130900 |    85033    82653     64 |  0.002 % |
513.94/514.08	c |    657902 |     220    18700   130900 |    85033    82787     64 |  0.002 % |
514.14/514.23	c |    658048 |     220    18700   130900 |    85033    82933     64 |  0.002 % |
514.34/514.41	c |    658209 |     220    18700   130900 |    85033    83094     64 |  0.002 % |
514.44/514.58	c |    658387 |     220    18700   130900 |    85033    83272     64 |  0.002 % |
514.64/514.77	c |    658581 |     220    18700   130900 |    85033    83466     64 |  0.002 % |
514.94/515.00	c |    658793 |     220    18700   130900 |    85033    83678     64 |  0.002 % |
515.14/515.26	c |    659028 |     220    18700   130900 |    85033    83913     64 |  0.002 % |
515.44/515.50	c |    659284 |     220    18700   130900 |    85033    84169     64 |  0.002 % |
515.64/515.78	c |    659565 |     220    18700   130900 |    85033    84450     64 |  0.002 % |
516.04/516.10	c |    659875 |     220    18700   130900 |    85033    84760     64 |  0.002 % |
516.44/516.54	c |    660219 |     220    18700   130900 |    84885    74304     64 |  0.002 % |
516.74/516.85	c |    660591 |     220    18700   130900 |    84885    74676     64 |  0.002 % |
517.14/517.21	c |    661000 |     220    18700   130900 |    84885    75085     64 |  0.002 % |
517.54/517.64	c |    661450 |     220    18700   130900 |    84885    75535     64 |  0.002 % |
517.94/518.07	c |    661943 |     220    18700   130900 |    84885    76028     64 |  0.002 % |
518.44/518.53	c |    662485 |     220    18700   130900 |    84885    76570     64 |  0.002 % |
518.94/519.05	c |    663081 |     220    18700   130900 |    84885    77166     64 |  0.002 % |
519.64/519.70	c |    663736 |     220    18700   130900 |    84885    77821     64 |  0.002 % |
520.24/520.37	c |    664457 |     220    18700   130900 |    84885    78542     64 |  0.002 % |
520.94/521.04	c |    665250 |     220    18700   130900 |    84885    79335     64 |  0.002 % |
521.74/521.81	c |    666122 |     220    18700   130900 |    84885    80207     64 |  0.002 % |
522.44/522.57	c |    667080 |     220    18700   130900 |    84885    81165     64 |  0.002 % |
523.44/523.56	c |    668134 |     220    18700   130900 |    84885    82219     64 |  0.002 % |
524.54/524.63	c |    669293 |     220    18700   130900 |    84885    83378     64 |  0.002 % |
525.64/525.80	c |    670566 |     220    18700   130900 |    84086    73451     64 |  0.002 % |
526.94/527.00	c |    671966 |     220    18700   130900 |    84086    74851     64 |  0.002 % |
528.24/528.30	c |    673506 |     220    18700   130900 |    84086    76391     64 |  0.002 % |
529.64/529.78	c |    675200 |     220    18700   130900 |    84086    78085     64 |  0.002 % |
531.34/531.44	c |    677064 |     220    18700   130900 |    84086    79949     64 |  0.002 % |
533.14/533.28	c |    679114 |     220    18700   130900 |    84086    81999     64 |  0.002 % |
535.14/535.24	c |    681367 |     220    18700   130900 |    82886    73115     64 |  0.002 % |
536.94/537.04	c |    683845 |     220    18700   130900 |    82886    75593     64 |  0.002 % |
539.14/539.20	c |    686573 |     220    18700   130900 |    82886    78321     64 |  0.002 % |
541.74/541.84	c |    689571 |     220    18700   130900 |    82886    81319     64 |  0.002 % |
544.44/544.53	c |    692867 |     220    18700   130900 |    81749    75028     64 |  0.002 % |
547.24/547.33	c |    696493 |     220    18700   130900 |    81749    78654     64 |  0.002 % |
550.54/550.61	c |    700480 |     220    18700   130900 |    73076    65509     63 |  0.002 % |
553.74/553.89	c |    704866 |     220    18700   130900 |    73076    69895     63 |  0.002 % |
557.24/557.37	c |    709690 |     220    18700   130900 |    73076    67402     63 |  0.002 % |
560.64/560.75	c |    714996 |     220    18700   130900 | 2147483647    72708     63 |  0.002 % |
564.84/564.98	c |    720831 |     220    18700   130900 | 2147483647    78543     63 |  0.002 % |
570.14/570.25	c |    727251 |     220    18700   130900 | 2147483647    84963     63 |  0.002 % |
570.24/570.34	c |    727353 |     220    18700   130900 | 2147483647    85065     63 |  0.002 % |
570.34/570.45	c |    727463 |     220    18700   130900 | 2147483647    85175     63 |  0.002 % |
570.44/570.58	c |    727584 |     220    18700   130900 | 2147483647    85296     63 |  0.002 % |
570.64/570.74	c |    727717 |     220    18700   130900 | 2147483647    85429     63 |  0.002 % |
570.74/570.87	c |    727864 |     220    18700   130900 | 2147483647    85576     63 |  0.002 % |
570.94/571.04	c |    728026 |     220    18700   130900 | 2147483647    85738     63 |  0.002 % |
571.14/571.24	c |    728202 |     220    18700   130900 | 2147483647    85914     63 |  0.002 % |
571.34/571.43	c |    728395 |     220    18700   130900 | 2147483647    86107     63 |  0.002 % |
571.54/571.64	c |    728607 |     220    18700   130900 | 2147483647    86319     63 |  0.002 % |
571.74/571.85	c |    728844 |     220    18700   130900 | 2147483647    86556     63 |  0.002 % |
572.04/572.13	c |    729102 |     220    18700   130900 | 2147483647    86814     63 |  0.002 % |
572.24/572.39	c |    729383 |     220    18700   130900 | 2147483647    87095     63 |  0.002 % |
572.54/572.67	c |    729694 |     220    18700   130900 | 2147483647    87406     63 |  0.002 % |
572.94/573.03	c |    730034 |     220    18700   130900 |    87714    87746     63 |  0.002 % |
573.44/573.55	c |    730407 |     220    18700   130900 |    87714    77543     63 |  0.002 % |
573.84/573.95	c |    730816 |     220    18700   130900 |    87714    77952     63 |  0.002 % |
574.24/574.34	c |    731267 |     220    18700   130900 |    87714    78403     63 |  0.002 % |
574.64/574.75	c |    731760 |     220    18700   130900 |    87714    78896     63 |  0.002 % |
575.14/575.25	c |    732302 |     220    18700   130900 |    87714    79438     63 |  0.002 % |
575.54/575.69	c |    732898 |     220    18700   130900 |    87714    80034     63 |  0.002 % |
576.04/576.18	c |    733553 |     220    18700   130900 |    87714    80689     63 |  0.002 % |
576.74/576.87	c |    734273 |     220    18700   130900 |    87714    81409     63 |  0.002 % |
577.44/577.58	c |    735065 |     220    18700   130900 |    87714    82201     63 |  0.002 % |
578.34/578.44	c |    735937 |     220    18700   130900 |    87714    83073     63 |  0.002 % |
579.24/579.32	c |    736896 |     220    18700   130900 |    87714    84032     63 |  0.002 % |
580.34/580.41	c |    737949 |     220    18700   130900 |    87714    85085     63 |  0.002 % |
581.44/581.54	c |    739107 |     220    18700   130900 |    87714    86243     63 |  0.002 % |
582.64/582.73	c |    740380 |     220    18700   130900 |    87136    74977     63 |  0.002 % |
583.54/583.65	c |    741780 |     220    18700   130900 |    87136    76377     63 |  0.002 % |
584.74/584.85	c |    743322 |     220    18700   130900 |    87136    77919     63 |  0.002 % |
586.04/586.16	c |    745016 |     220    18700   130900 |    87136    79613     63 |  0.002 % |
587.84/587.95	c |    746880 |     220    18700   130900 |    87136    81477     63 |  0.002 % |
589.54/589.69	c |    748931 |     220    18700   130900 |    87136    83528     63 |  0.002 % |
591.34/591.45	c |    751184 |     220    18700   130900 |    84597    74850     63 |  0.002 % |
593.14/593.28	c |    753662 |     220    18700   130900 |    84597    77328     63 |  0.002 % |
595.34/595.43	c |    756387 |     220    18700   130900 |    84597    80053     63 |  0.002 % |
597.64/597.77	c |    759387 |     220    18700   130900 |    84597    83053     63 |  0.002 % |
600.34/600.42	c |    762683 |     220    18700   130900 |    83667    77415     64 |  0.002 % |
603.24/603.31	c |    766308 |     220    18700   130900 |    83667    81040     64 |  0.002 % |
606.24/606.32	c |    770295 |     220    18700   130900 |    75800    68252     64 |  0.002 % |
609.04/609.19	c |    774681 |     220    18700   130900 |    75800    72638     64 |  0.002 % |
612.54/612.68	c |    779504 |     220    18700   130900 |    75800    69871     64 |  0.002 % |
616.74/616.80	c |    784809 |     220    18700   130900 | 2147483647    75176     64 |  0.002 % |
621.24/621.39	c |    790645 |     220    18700   130900 |    80368    72481     64 |  0.002 % |
626.24/626.31	c |    797064 |     220    18700   130900 |    80368    78900     64 |  0.002 % |
631.94/632.05	c |    804124 |     220    18700   130900 |    73612    70218     65 |  0.002 % |
632.04/632.13	c |    804224 |     220    18700   130900 |    73612    70318     65 |  0.002 % |
632.14/632.23	c |    804336 |     220    18700   130900 |    73612    70430     65 |  0.002 % |
632.24/632.32	c |    804458 |     220    18700   130900 |    73612    70552     65 |  0.002 % |
632.35/632.42	c |    804591 |     220    18700   130900 |    73612    70685     65 |  0.002 % |
632.45/632.58	c |    804737 |     220    18700   130900 |    73612    70831     65 |  0.002 % |
632.64/632.73	c |    804898 |     220    18700   130900 |    73612    70992     65 |  0.002 % |
632.74/632.88	c |    805075 |     220    18700   130900 |    73612    71169     65 |  0.002 % |
632.94/633.05	c |    805269 |     220    18700   130900 |    73612    71363     65 |  0.002 % |
633.14/633.24	c |    805481 |     220    18700   130900 |    73612    71575     65 |  0.002 % |
633.34/633.46	c |    805714 |     220    18700   130900 |    73612    71808     65 |  0.002 % |
633.55/633.68	c |    805970 |     220    18700   130900 |    73612    72064     65 |  0.002 % |
633.84/633.91	c |    806253 |     220    18700   130900 |    73612    72347     65 |  0.002 % |
634.04/634.16	c |    806562 |     220    18700   130900 |    73612    72656     65 |  0.002 % |
634.34/634.46	c |    806901 |     220    18700   130900 |    73612    72995     65 |  0.002 % |
634.65/634.79	c |    807275 |     220    18700   130900 |    73612    73369     65 |  0.002 % |
635.04/635.20	c |    807686 |     220    18700   130900 |    73612    66408     65 |  0.002 % |
635.44/635.52	c |    808136 |     220    18700   130900 |    73612    66858     65 |  0.002 % |
635.75/635.85	c |    808632 |     220    18700   130900 |    73612    67354     65 |  0.002 % |
636.14/636.26	c |    809174 |     220    18700   130900 |    73612    67896     65 |  0.002 % |
636.64/636.71	c |    809770 |     220    18700   130900 |    73612    68492     65 |  0.002 % |
637.14/637.22	c |    810425 |     220    18700   130900 | 2147483647    69147     65 |  0.002 % |
637.64/637.77	c |    811145 |     220    18700   130900 | 2147483647    69867     65 |  0.002 % |
638.24/638.33	c |    811938 |     220    18700   130900 | 2147483647    70660     65 |  0.002 % |
638.84/638.98	c |    812809 |     220    18700   130900 | 2147483647    71531     65 |  0.002 % |
639.54/639.69	c |    813768 |     220    18700   130900 | 2147483647    72490     65 |  0.002 % |
640.34/640.49	c |    814821 |     220    18700   130900 | 2147483647    73543     65 |  0.002 % |
641.24/641.30	c |    815981 |     220    18700   130900 | 2147483647    74703     65 |  0.002 % |
642.04/642.19	c |    817255 |     220    18700   130900 | 2147483647    75977     65 |  0.002 % |
643.14/643.21	c |    818655 |     220    18700   130900 | 2147483647    77377     65 |  0.002 % |
644.24/644.37	c |    820195 |     220    18700   130900 | 2147483647    78917     65 |  0.002 % |
645.44/645.60	c |    821890 |     220    18700   130900 | 2147483647    80612     64 |  0.002 % |
647.04/647.10	c |    823754 |     220    18700   130900 | 2147483647    82476     65 |  0.002 % |
648.64/648.77	c |    825804 |     220    18700   130900 | 2147483647    84526     65 |  0.002 % |
650.65/650.70	c |    828059 |     220    18700   130900 | 2147483647    86781     65 |  0.002 % |
653.05/653.13	c |    830538 |     220    18700   130900 |    88723    77577     65 |  0.002 % |
655.35/655.40	c |    833263 |     220    18700   130900 |    88723    80302     65 |  0.002 % |
657.65/657.78	c |    836262 |     220    18700   130900 |    88723    83301     65 |  0.002 % |
660.45/660.55	c |    839558 |     220    18700   130900 |    88723    86597     65 |  0.002 % |
663.75/663.89	c |    843183 |     220    18700   130900 |    87039    78479     64 |  0.002 % |
667.05/667.15	c |    847172 |     220    18700   130900 |    87039    82468     64 |  0.002 % |
670.65/670.78	c |    851557 |     220    18700   130900 |    85300    75330     64 |  0.002 % |
674.45/674.56	c |    856380 |     220    18700   130900 |    85300    80153     64 |  0.002 % |
678.35/678.48	c |    861686 |     220    18700   130900 |    83773    75269     64 |  0.002 % |
682.75/682.82	c |    867523 |     220    18700   130900 |    83773    81106     64 |  0.002 % |
688.15/688.21	c |    873943 |     220    18700   130900 |    83583    78154     64 |  0.002 % |
694.35/694.48	c |    881004 |     220    18700   130900 |    74586    67167     64 |  0.002 % |
699.75/699.86	c |    888769 |     220    18700   130900 |    74586    67463     64 |  0.002 % |
699.85/699.94	c |    888870 |     220    18700   130900 |    74586    67564     64 |  0.002 % |
699.95/700.02	c |    888980 |     220    18700   130900 |    74586    67674     64 |  0.002 % |
700.05/700.10	c |    889102 |     220    18700   130900 |    74586    67796     64 |  0.002 % |
700.05/700.19	c |    889236 |     220    18700   130900 |    74586    67930     64 |  0.002 % |
700.25/700.31	c |    889383 |     220    18700   130900 |    74586    68077     64 |  0.002 % |
700.35/700.42	c |    889545 |     220    18700   130900 |    74586    68239     64 |  0.002 % |
700.55/700.61	c |    889721 |     220    18700   130900 |    74586    68415     64 |  0.002 % |
700.65/700.77	c |    889915 |     220    18700   130900 |    74586    68609     64 |  0.002 % |
700.85/700.97	c |    890127 |     220    18700   130900 | 2147483647    68821     64 |  0.002 % |
701.05/701.18	c |    890360 |     220    18700   130900 | 2147483647    69054     64 |  0.002 % |
701.35/701.40	c |    890617 |     220    18700   130900 | 2147483647    69311     64 |  0.002 % |
701.55/701.61	c |    890898 |     220    18700   130900 | 2147483647    69592     64 |  0.002 % |
701.75/701.84	c |    891209 |     220    18700   130900 | 2147483647    69903     64 |  0.002 % |
701.95/702.07	c |    891548 |     220    18700   130900 | 2147483647    70242     64 |  0.002 % |
702.35/702.44	c |    891920 |     220    18700   130900 | 2147483647    70614     64 |  0.002 % |
702.65/702.78	c |    892330 |     220    18700   130900 | 2147483647    71024     64 |  0.002 % |
703.05/703.18	c |    892779 |     220    18700   130900 | 2147483647    71473     64 |  0.002 % |
703.45/703.58	c |    893273 |     220    18700   130900 | 2147483647    71967     64 |  0.002 % |
703.95/704.04	c |    893816 |     220    18700   130900 | 2147483647    72510     64 |  0.002 % |
704.45/704.51	c |    894413 |     220    18700   130900 | 2147483647    73107     64 |  0.002 % |
704.95/705.03	c |    895068 |     220    18700   130900 | 2147483647    73762     64 |  0.002 % |
705.65/705.70	c |    895789 |     220    18700   130900 | 2147483647    74483     64 |  0.002 % |
706.35/706.42	c |    896581 |     220    18700   130900 | 2147483647    75275     64 |  0.002 % |
707.15/707.23	c |    897453 |     220    18700   130900 | 2147483647    76147     64 |  0.002 % |
707.95/708.02	c |    898411 |     220    18700   130900 | 2147483647    77105     64 |  0.002 % |
708.85/708.90	c |    899464 |     220    18700   130900 | 2147483647    78158     64 |  0.002 % |
709.85/709.90	c |    900622 |     220    18700   130900 |    78697    70695     64 |  0.002 % |
710.75/710.83	c |    901895 |     220    18700   130900 |    78697    71968     64 |  0.002 % |
711.75/711.86	c |    903299 |     220    18700   130900 |    78697    73372     64 |  0.002 % |
713.05/713.19	c |    904840 |     220    18700   130900 |    78697    74913     64 |  0.002 % |
714.45/714.57	c |    906536 |     220    18700   130900 |    78697    76609     64 |  0.002 % |
716.05/716.15	c |    908400 |     220    18700   130900 |    78697    78473     64 |  0.002 % |
717.75/717.85	c |    910449 |     220    18700   130900 | 2147483647    72643     64 |  0.002 % |
719.45/719.57	c |    912703 |     220    18700   130900 | 2147483647    74897     64 |  0.002 % |
721.35/721.46	c |    915185 |     220    18700   130900 | 2147483647    77379     64 |  0.002 % |
723.45/723.51	c |    917910 |     220    18700   130900 | 2147483647    80104     64 |  0.002 % |
725.75/725.87	c |    920907 |     220    18700   130900 | 2147483647    83101     64 |  0.002 % |
728.65/728.71	c |    924204 |     220    18700   130900 | 2147483647    86398     64 |  0.002 % |
731.85/732.00	c |    927831 |     220    18700   130900 | 2147483647    90025     64 |  0.002 % |
735.35/735.41	c |    931820 |     220    18700   130900 |    92194    80993     63 |  0.002 % |
738.85/738.98	c |    936205 |     220    18700   130900 |    92194    85378     64 |  0.002 % |
742.95/743.06	c |    941029 |     220    18700   130900 |    89173    78492     63 |  0.002 % |
747.55/747.69	c |    946336 |     220    18700   130900 |    89173    83799     63 |  0.002 % |
752.65/752.78	c |    952171 |     220    18700   130900 |    87465    77132     63 |  0.002 % |
758.05/758.18	c |    958590 |     220    18700   130900 |    87465    83551     64 |  0.002 % |
763.75/763.85	c |    965650 |     220    18700   130900 |    84961    79276     63 |  0.002 % |
769.95/770.04	c |    973415 |     220    18700   130900 |    83627    76865     64 |  0.002 % |
776.75/776.84	c |    981956 |     220    18700   130900 |    83451    75795     64 |  0.002 % |
776.85/776.93	c |    982057 |     220    18700   130900 |    83451    75896     64 |  0.002 % |
776.95/777.05	c |    982167 |     220    18700   130900 |    83451    76006     64 |  0.002 % |
777.05/777.16	c |    982289 |     220    18700   130900 |    83451    76128     64 |  0.002 % |
777.16/777.28	c |    982422 |     220    18700   130900 |    83451    76261     64 |  0.002 % |
777.36/777.41	c |    982568 |     220    18700   130900 |    83451    76407     64 |  0.002 % |
777.46/777.57	c |    982729 |     220    18700   130900 |    83451    76568     64 |  0.002 % |
777.66/777.72	c |    982906 |     220    18700   130900 |    83451    76745     64 |  0.002 % |
777.76/777.87	c |    983100 |     220    18700   130900 |    83451    76939     64 |  0.002 % |
777.96/778.05	c |    983313 |     220    18700   130900 |    83451    77152     64 |  0.002 % |
778.16/778.28	c |    983546 |     220    18700   130900 |    83451    77385     64 |  0.002 % |
778.46/778.58	c |    983803 |     220    18700   130900 |    83451    77642     64 |  0.002 % |
778.76/778.87	c |    984086 |     220    18700   130900 |    83451    77925     64 |  0.002 % |
779.06/779.19	c |    984396 |     220    18700   130900 |    83451    78235     64 |  0.002 % |
779.46/779.55	c |    984735 |     220    18700   130900 |    83451    78574     64 |  0.002 % |
779.76/779.88	c |    985108 |     220    18700   130900 |    83451    78947     64 |  0.002 % |
780.16/780.24	c |    985517 |     220    18700   130900 |    83451    79356     64 |  0.002 % |
780.56/780.69	c |    985966 |     220    18700   130900 |    83451    79805     64 |  0.002 % |
781.06/781.14	c |    986459 |     220    18700   130900 |    83451    80298     64 |  0.002 % |
781.46/781.56	c |    987001 |     220    18700   130900 |    83451    80840     64 |  0.002 % |
782.16/782.21	c |    987598 |     220    18700   130900 |    83451    81437     64 |  0.002 % |
782.76/782.88	c |    988254 |     220    18700   130900 |    83451    82093     64 |  0.002 % |
783.46/783.56	c |    988974 |     220    18700   130900 |    83451    82813     64 |  0.002 % |
784.26/784.31	c |    989766 |     220    18700   130900 |    83451    72268     64 |  0.002 % |
784.96/785.02	c |    990638 |     220    18700   130900 |    72502    63470     64 |  0.002 % |
785.56/785.66	c |    991598 |     220    18700   130900 |    72502    64430     64 |  0.002 % |
786.36/786.49	c |    992651 |     220    18700   130900 |    72502    65483     64 |  0.002 % |
787.26/787.31	c |    993809 |     220    18700   130900 |    72502    66641     64 |  0.002 % |
788.16/788.23	c |    995083 |     220    18700   130900 |    72502    67915     64 |  0.002 % |
789.26/789.33	c |    996483 |     220    18700   130900 |    72502    69315     64 |  0.002 % |
790.36/790.46	c |    998023 |     220    18700   130900 |    72502    70855     64 |  0.002 % |
791.66/791.75	c |    999717 |     220    18700   130900 |    72502    72549     64 |  0.002 % |
793.06/793.16	c |   1001582 |     220    18700   130900 | 2147483647    67160     64 |  0.002 % |
794.66/794.72	c |   1003633 |     220    18700   130900 | 2147483647    69211     64 |  0.002 % |
796.26/796.33	c |   1005886 |     220    18700   130900 | 2147483647    71464     64 |  0.002 % |
797.96/798.08	c |   1008364 |     220    18700   130900 | 2147483647    73942     64 |  0.002 % |
800.06/800.19	c |   1011090 |     220    18700   130900 | 2147483647    76668     64 |  0.002 % |
802.76/802.85	c |   1014088 |     220    18700   130900 | 2147483647    79666     64 |  0.002 % |
805.56/805.61	c |   1017386 |     220    18700   130900 | 2147483647    82964     64 |  0.002 % |
808.66/808.77	c |   1021012 |     220    18700   130900 |    85580    76182     64 |  0.002 % |
812.16/812.27	c |   1025000 |     220    18700   130900 |    85580    80170     64 |  0.002 % |
816.26/816.34	c |   1029385 |     220    18700   130900 |    85580    84555     64 |  0.002 % |
820.06/820.20	c |   1034208 |     220    18700   130900 |    85171    78379     64 |  0.002 % |
824.56/824.61	c |   1039516 |     220    18700   130900 |    85171    83687     64 |  0.002 % |
829.76/829.86	c |   1045351 |     220    18700   130900 |    84171    79947     64 |  0.002 % |
835.16/835.29	c |   1051769 |     220    18700   130900 |    73928    66422     64 |  0.002 % |
840.06/840.14	c |   1058829 |     220    18700   130900 |    73928    73482     64 |  0.002 % |
845.36/845.46	c |   1066595 |     220    18700   130900 | 2147483647    73845     64 |  0.002 % |
852.76/852.85	c |   1075137 |     220    18700   130900 | 2147483647    82387     64 |  0.002 % |
860.46/860.55	c |   1084531 |     220    18700   130900 |    87250    80804     65 |  0.002 % |
860.56/860.66	c |   1084631 |     220    18700   130900 |    87250    80904     65 |  0.002 % |
860.66/860.77	c |   1084741 |     220    18700   130900 |    87250    81014     65 |  0.002 % |
860.76/860.88	c |   1084862 |     220    18700   130900 |    87250    81135     65 |  0.002 % |
860.86/860.99	c |   1084995 |     220    18700   130900 |    87250    81268     65 |  0.002 % |
861.06/861.12	c |   1085141 |     220    18700   130900 |    87250    81414     65 |  0.002 % |
861.16/861.28	c |   1085303 |     220    18700   130900 |    87250    81576     65 |  0.002 % |
861.36/861.45	c |   1085480 |     220    18700   130900 |    87250    81753     65 |  0.002 % |
861.56/861.63	c |   1085673 |     220    18700   130900 |    87250    81946     65 |  0.002 % |
861.76/861.81	c |   1085887 |     220    18700   130900 |    87250    82160     65 |  0.002 % |
861.96/862.03	c |   1086120 |     220    18700   130900 |    87250    82393     65 |  0.002 % |
862.16/862.28	c |   1086376 |     220    18700   130900 |    87250    82649     65 |  0.002 % |
862.46/862.51	c |   1086659 |     220    18700   130900 |    87250    82932     65 |  0.002 % |
862.66/862.76	c |   1086968 |     220    18700   130900 |    87250    83241     65 |  0.002 % |
862.96/863.03	c |   1087307 |     220    18700   130900 |    87250    83580     65 |  0.002 % |
863.26/863.36	c |   1087679 |     220    18700   130900 |    87250    83952     65 |  0.002 % |
863.66/863.71	c |   1088090 |     220    18700   130900 |    87250    84363     65 |  0.002 % |
864.16/864.24	c |   1088540 |     220    18700   130900 |    87250    84813     65 |  0.002 % |
864.66/864.79	c |   1089033 |     220    18700   130900 |    87250    85306     65 |  0.002 % |
865.26/865.38	c |   1089576 |     220    18700   130900 |    87250    85849     65 |  0.002 % |
865.96/866.08	c |   1090173 |     220    18700   130900 |    86273    74550     65 |  0.002 % |
866.56/866.65	c |   1090828 |     220    18700   130900 |    86273    75205     65 |  0.002 % |
867.16/867.23	c |   1091549 |     220    18700   130900 |    86273    75926     64 |  0.002 % |
867.96/868.07	c |   1092342 |     220    18700   130900 |    86273    76719     64 |  0.002 % |
868.76/868.90	c |   1093215 |     220    18700   130900 |    86273    77592     64 |  0.002 % |
869.66/869.74	c |   1094175 |     220    18700   130900 |    86273    78552     64 |  0.002 % |
870.56/870.64	c |   1095228 |     220    18700   130900 |    86273    79605     64 |  0.002 % |
871.56/871.67	c |   1096391 |     220    18700   130900 |    86273    80768     64 |  0.002 % |
872.66/872.75	c |   1097665 |     220    18700   130900 |    86273    82042     64 |  0.002 % |
873.86/873.92	c |   1099065 |     220    18700   130900 |    86273    83442     64 |  0.002 % |
875.46/875.51	c |   1100605 |     220    18700   130900 |    84378    73357     64 |  0.002 % |
876.76/876.89	c |   1102301 |     220    18700   130900 |    84378    75053     64 |  0.002 % |
878.36/878.43	c |   1104165 |     220    18700   130900 |    84378    76917     64 |  0.002 % |
880.06/880.16	c |   1106214 |     220    18700   130900 |    84378    78966     64 |  0.002 % |
881.96/882.06	c |   1108468 |     220    18700   130900 |    84378    81220     64 |  0.002 % |
884.16/884.20	c |   1110948 |     220    18700   130900 |    82752    73504     64 |  0.002 % |
886.26/886.39	c |   1113674 |     220    18700   130900 |    82752    76230     64 |  0.002 % |
888.66/888.80	c |   1116671 |     220    18700   130900 |    82752    79227     64 |  0.002 % |
891.46/891.52	c |   1119967 |     220    18700   130900 |    82752    82523     64 |  0.002 % |
894.26/894.36	c |   1123593 |     220    18700   130900 |    82556    76984     64 |  0.002 % |
897.66/897.78	c |   1127583 |     220    18700   130900 |    82556    80974     64 |  0.002 % |
901.26/901.36	c |   1131968 |     220    18700   130900 |    73460    66565     64 |  0.002 % |
904.86/904.97	c |   1136791 |     220    18700   130900 |    73460    71388     63 |  0.002 % |
908.66/908.76	c |   1142097 |     220    18700   130900 | 2147483647    69337     63 |  0.002 % |
913.36/913.48	c |   1147932 |     220    18700   130900 | 2147483647    75172     63 |  0.002 % |
918.36/918.50	c |   1154350 |     220    18700   130900 | 2147483647    81590     63 |  0.002 % |
924.26/924.31	c |   1161409 |     220    18700   130900 |    87240    78157     63 |  0.002 % |
930.36/930.49	c |   1169174 |     220    18700   130900 |    87240    85922     63 |  0.002 % |
937.86/937.93	c |   1177714 |     220    18700   130900 |    86750    83338     63 |  0.002 % |
944.96/945.07	c |   1187108 |     220    18700   130900 |    85626    82157     63 |  0.002 % |
953.96/954.06	c |   1197442 |     220    18700   130900 |    85050    83108     64 |  0.002 % |
954.06/954.17	c |   1197542 |     220    18700   130900 |    85050    83208     64 |  0.002 % |
954.26/954.30	c |   1197652 |     220    18700   130900 |    85050    83318     64 |  0.002 % |
954.36/954.42	c |   1197774 |     220    18700   130900 |    85050    83440     64 |  0.002 % |
954.46/954.55	c |   1197907 |     220    18700   130900 |    85050    83573     64 |  0.002 % |
954.56/954.69	c |   1198054 |     220    18700   130900 |    85050    83720     64 |  0.002 % |
954.76/954.87	c |   1198218 |     220    18700   130900 |    85050    83884     64 |  0.002 % |
954.96/955.04	c |   1198394 |     220    18700   130900 |    85050    84060     64 |  0.002 % |
955.16/955.26	c |   1198587 |     220    18700   130900 |    85050    84253     64 |  0.002 % |
955.46/955.51	c |   1198800 |     220    18700   130900 |    85050    84466     64 |  0.002 % |
955.66/955.74	c |   1199033 |     220    18700   130900 |    85050    84699     64 |  0.002 % |
955.86/955.99	c |   1199291 |     220    18700   130900 |    85050    84957     64 |  0.002 % |
956.26/956.37	c |   1199572 |     220    18700   130900 |    85050    74325     64 |  0.002 % |
956.56/956.62	c |   1199881 |     220    18700   130900 |    85050    74634     64 |  0.002 % |
956.86/956.95	c |   1200222 |     220    18700   130900 |    74754    65351     64 |  0.002 % |
957.16/957.22	c |   1200594 |     220    18700   130900 |    74754    65723     64 |  0.002 % |
957.46/957.50	c |   1201004 |     220    18700   130900 |    74754    66133     64 |  0.002 % |
957.76/957.84	c |   1201453 |     220    18700   130900 |    74754    66582     64 |  0.002 % |
958.06/958.18	c |   1201946 |     220    18700   130900 |    74754    67075     64 |  0.002 % |
958.46/958.55	c |   1202488 |     220    18700   130900 |    74754    67617     64 |  0.002 % |
958.96/959.04	c |   1203085 |     220    18700   130900 |    74754    68214     63 |  0.002 % |
959.56/959.62	c |   1203740 |     220    18700   130900 |    74754    68869     63 |  0.002 % |
960.06/960.16	c |   1204461 |     220    18700   130900 |    74754    69590     63 |  0.002 % |
960.66/960.74	c |   1205255 |     220    18700   130900 |    74754    70384     63 |  0.002 % |
961.36/961.42	c |   1206129 |     220    18700   130900 |    74754    71258     63 |  0.002 % |
962.06/962.14	c |   1207089 |     220    18700   130900 |    74754    72218     63 |  0.002 % |
962.96/963.07	c |   1208143 |     220    18700   130900 |    74754    73272     63 |  0.002 % |
963.96/964.01	c |   1209302 |     220    18700   130900 |    74754    74431     63 |  0.002 % |
964.86/964.96	c |   1210575 |     220    18700   130900 | 2147483647    68219     64 |  0.002 % |
965.96/966.05	c |   1211975 |     220    18700   130900 | 2147483647    69619     64 |  0.002 % |
967.16/967.21	c |   1213515 |     220    18700   130900 | 2147483647    71159     64 |  0.002 % |
968.66/968.72	c |   1215211 |     220    18700   130900 | 2147483647    72855     64 |  0.002 % |
970.06/970.16	c |   1217075 |     220    18700   130900 | 2147483647    74719     64 |  0.002 % |
971.76/971.89	c |   1219124 |     220    18700   130900 | 2147483647    76768     64 |  0.002 % |
973.66/973.74	c |   1221377 |     220    18700   130900 | 2147483647    79021     64 |  0.002 % |
975.56/975.66	c |   1223855 |     220    18700   130900 | 2147483647    81499     64 |  0.002 % |
977.86/977.93	c |   1226580 |     220    18700   130900 | 2147483647    84224     64 |  0.002 % |
980.66/980.71	c |   1229578 |     220    18700   130900 | 2147483647    87222     64 |  0.002 % |
983.46/983.56	c |   1232875 |     220    18700   130900 |    87644    79001     63 |  0.002 % |
986.46/986.52	c |   1236500 |     220    18700   130900 |    87644    82626     63 |  0.002 % |
990.06/990.18	c |   1240488 |     220    18700   130900 |    86126    75148     63 |  0.002 % |
993.66/993.72	c |   1244874 |     220    18700   130900 |    86126    79534     63 |  0.002 % |
997.56/997.65	c |   1249697 |     220    18700   130900 |    86126    84357     63 |  0.002 % |
1001.76/1001.81	c |   1255002 |     220    18700   130900 |    84661    78884     63 |  0.002 % |
1007.06/1007.17	c |   1260837 |     220    18700   130900 |    83884    72905     63 |  0.002 % |
1012.46/1012.55	c |   1267256 |     220    18700   130900 |    83884    79324     64 |  0.002 % |
1018.26/1018.30	c |   1274316 |     220    18700   130900 |    82069    75920     64 |  0.002 % |
1024.66/1024.74	c |   1282081 |     220    18700   130900 |    81604    74623     64 |  0.002 % |
1032.26/1032.31	c |   1290622 |     220    18700   130900 |    71858    63150     64 |  0.002 % |
1038.96/1039.08	c |   1300016 |     220    18700   130900 | 2147483647    65349     65 |  0.002 % |
1046.96/1047.03	c |   1310349 |     220    18700   130900 | 2147483647    75682     65 |  0.002 % |
1056.26/1056.37	c |   1321717 |     220    18700   130900 |    85334    77023     65 |  0.002 % |
1056.36/1056.44	c |   1321819 |     220    18700   130900 |    85334    77125     65 |  0.002 % |
1056.46/1056.52	c |   1321931 |     220    18700   130900 |    85334    77237     65 |  0.002 % |
1056.56/1056.61	c |   1322053 |     220    18700   130900 |    85334    77359     65 |  0.002 % |
1056.66/1056.75	c |   1322187 |     220    18700   130900 |    85334    77493     65 |  0.002 % |
1056.76/1056.89	c |   1322334 |     220    18700   130900 |    85334    77640     65 |  0.002 % |
1056.97/1057.05	c |   1322495 |     220    18700   130900 |    85334    77801     65 |  0.002 % |
1057.16/1057.20	c |   1322672 |     220    18700   130900 |    85334    77978     65 |  0.002 % |
1057.26/1057.35	c |   1322865 |     220    18700   130900 |    85334    78171     65 |  0.002 % |
1057.46/1057.51	c |   1323078 |     220    18700   130900 |    85334    78384     65 |  0.002 % |
1057.66/1057.79	c |   1323311 |     220    18700   130900 |    85334    78617     65 |  0.002 % |
1057.96/1058.05	c |   1323567 |     220    18700   130900 |    85334    78873     64 |  0.002 % |
1058.26/1058.39	c |   1323849 |     220    18700   130900 |    85334    79155     64 |  0.002 % |
1058.56/1058.66	c |   1324158 |     220    18700   130900 |    85334    79464     64 |  0.002 % |
1058.86/1058.96	c |   1324497 |     220    18700   130900 |    85334    79803     64 |  0.002 % |
1059.17/1059.30	c |   1324869 |     220    18700   130900 |    85334    80175     64 |  0.002 % |
1059.66/1059.73	c |   1325280 |     220    18700   130900 |    85334    80586     64 |  0.002 % |
1060.06/1060.14	c |   1325729 |     220    18700   130900 |    85334    81035     64 |  0.002 % |
1060.46/1060.57	c |   1326222 |     220    18700   130900 |    85334    81528     64 |  0.002 % |
1060.96/1061.04	c |   1326764 |     220    18700   130900 |    85334    82070     64 |  0.002 % |
1061.46/1061.53	c |   1327362 |     220    18700   130900 |    85334    82668     64 |  0.002 % |
1061.96/1062.09	c |   1328017 |     220    18700   130900 |    85334    83323     64 |  0.002 % |
1062.76/1062.90	c |   1328737 |     220    18700   130900 |    85334    84043     64 |  0.002 % |
1063.66/1063.78	c |   1329529 |     220    18700   130900 |    85334    84835     64 |  0.002 % |
1064.66/1064.77	c |   1330402 |     220    18700   130900 |    85310    74188     64 |  0.002 % |
1065.46/1065.57	c |   1331361 |     220    18700   130900 |    85310    75147     64 |  0.002 % |
1066.26/1066.38	c |   1332414 |     220    18700   130900 |    85310    76200     64 |  0.002 % |
1067.26/1067.34	c |   1333572 |     220    18700   130900 |    85310    77358     64 |  0.002 % |
1068.56/1068.69	c |   1334845 |     220    18700   130900 |    85310    78631     64 |  0.002 % |
1069.86/1069.97	c |   1336247 |     220    18700   130900 |    85310    80033     64 |  0.002 % |
1071.26/1071.38	c |   1337788 |     220    18700   130900 |    85310    81574     64 |  0.002 % |
1072.66/1072.75	c |   1339482 |     220    18700   130900 |    85310    83268     64 |  0.002 % |
1074.26/1074.31	c |   1341346 |     220    18700   130900 |    83786    73902     64 |  0.002 % |
1075.76/1075.81	c |   1343397 |     220    18700   130900 |    83786    75953     64 |  0.002 % |
1077.46/1077.59	c |   1345651 |     220    18700   130900 |    83786    78207     64 |  0.002 % |
1079.36/1079.44	c |   1348129 |     220    18700   130900 |    83786    80685     64 |  0.002 % |
1081.46/1081.53	c |   1350854 |     220    18700   130900 |    82558    74246     64 |  0.002 % |
1083.66/1083.70	c |   1353851 |     220    18700   130900 |    82558    77243     64 |  0.002 % |
1086.06/1086.15	c |   1357150 |     220    18700   130900 |    82558    80542     64 |  0.002 % |
1088.86/1088.97	c |   1360775 |     220    18700   130900 | 2147483647    75901     64 |  0.002 % |
1092.06/1092.18	c |   1364763 |     220    18700   130900 | 2147483647    79889     64 |  0.002 % |
1095.66/1095.72	c |   1369148 |     220    18700   130900 | 2147483647    84274     64 |  0.002 % |
1099.46/1099.54	c |   1373971 |     220    18700   130900 |    85128    80043     64 |  0.002 % |
1103.76/1103.80	c |   1379276 |     220    18700   130900 |    85128    75793     64 |  0.002 % |
1108.06/1108.13	c |   1385111 |     220    18700   130900 |    76518    73198     64 |  0.002 % |
1113.16/1113.25	c |   1391529 |     220    18700   130900 | 2147483647    71954     63 |  0.002 % |
1118.36/1118.43	c |   1398589 |     220    18700   130900 | 2147483647    79014     64 |  0.002 % |
1123.96/1124.08	c |   1406353 |     220    18700   130900 |    80425    78319     64 |  0.002 % |
1130.16/1130.27	c |   1414894 |     220    18700   130900 | 2147483647    78652     64 |  0.002 % |
1137.76/1137.85	c |   1424291 |     220    18700   130900 |    83759    78886     64 |  0.002 % |
1145.77/1145.85	c |   1434624 |     220    18700   130900 |    74453    70226     64 |  0.002 % |
1154.88/1154.98	c |   1445991 |     220    18700   130900 | 2147483647    74139     65 |  0.002 % |
1165.88/1165.91	c |   1458495 |     220    18700   130900 | 2147483647    86643     65 |  0.002 % |
1165.98/1166.03	c |   1458596 |     220    18700   130900 | 2147483647    86744     65 |  0.002 % |
1166.07/1166.16	c |   1458707 |     220    18700   130900 | 2147483647    86855     65 |  0.002 % |
1166.17/1166.29	c |   1458828 |     220    18700   130900 | 2147483647    86976     65 |  0.002 % |
1166.37/1166.42	c |   1458963 |     220    18700   130900 | 2147483647    87111     64 |  0.002 % |
1166.47/1166.57	c |   1459109 |     220    18700   130900 | 2147483647    87257     64 |  0.002 % |
1166.67/1166.72	c |   1459270 |     220    18700   130900 | 2147483647    87418     64 |  0.002 % |
1166.87/1166.91	c |   1459447 |     220    18700   130900 | 2147483647    87595     64 |  0.002 % |
1166.98/1167.10	c |   1459641 |     220    18700   130900 | 2147483647    87789     64 |  0.002 % |
1167.17/1167.28	c |   1459853 |     220    18700   130900 | 2147483647    88001     64 |  0.002 % |
1167.47/1167.51	c |   1460086 |     220    18700   130900 |    88148    88234     64 |  0.002 % |
1167.77/1167.88	c |   1460344 |     220    18700   130900 |    88148    76709     64 |  0.002 % |
1168.08/1168.17	c |   1460626 |     220    18700   130900 |    88148    76991     64 |  0.002 % |
1168.37/1168.43	c |   1460935 |     220    18700   130900 |    88148    77300     64 |  0.002 % |
1168.67/1168.72	c |   1461274 |     220    18700   130900 |    88148    77639     64 |  0.002 % |
1168.97/1169.06	c |   1461646 |     220    18700   130900 |    88148    78011     64 |  0.002 % |
1169.37/1169.44	c |   1462057 |     220    18700   130900 |    88148    78422     64 |  0.002 % |
1169.77/1169.89	c |   1462507 |     220    18700   130900 |    88148    78872     64 |  0.002 % |
1170.27/1170.40	c |   1463000 |     220    18700   130900 |    88148    79365     64 |  0.002 % |
1170.77/1170.87	c |   1463543 |     220    18700   130900 |    88148    79908     64 |  0.002 % |
1171.37/1171.42	c |   1464140 |     220    18700   130900 |    88148    80505     64 |  0.002 % |
1171.97/1172.00	c |   1464797 |     220    18700   130900 |    88148    81162     64 |  0.002 % |
1172.47/1172.57	c |   1465518 |     220    18700   130900 |    88148    81883     64 |  0.002 % |
1173.27/1173.38	c |   1466310 |     220    18700   130900 |    88148    82675     64 |  0.002 % |
1174.17/1174.27	c |   1467182 |     220    18700   130900 |    88148    83547     64 |  0.002 % |
1175.07/1175.16	c |   1468140 |     220    18700   130900 |    88148    84505     64 |  0.002 % |
1175.97/1176.09	c |   1469194 |     220    18700   130900 |    88148    85559     64 |  0.002 % |
1176.97/1177.08	c |   1470354 |     220    18700   130900 |    86366    74269     64 |  0.002 % |
1178.07/1178.11	c |   1471629 |     220    18700   130900 |    86366    75544     64 |  0.002 % |
1179.17/1179.22	c |   1473029 |     220    18700   130900 |    86366    76944     64 |  0.002 % |
1180.67/1180.74	c |   1474569 |     220    18700   130900 |    86366    78484     64 |  0.002 % |
1182.17/1182.27	c |   1476264 |     220    18700   130900 |    86366    80179     64 |  0.002 % |
1183.97/1184.03	c |   1478127 |     220    18700   130900 |    86366    82042     64 |  0.002 % |
1185.87/1185.97	c |   1480177 |     220    18700   130900 |    83918    72643     64 |  0.002 % |
1187.57/1187.66	c |   1482430 |     220    18700   130900 |    83918    74896     64 |  0.002 % |
1189.77/1189.87	c |   1484908 |     220    18700   130900 |    83918    77374     64 |  0.002 % |
1192.07/1192.17	c |   1487634 |     220    18700   130900 |    83918    80100     64 |  0.002 % |
1194.77/1194.85	c |   1490633 |     220    18700   130900 |    82468    73002     64 |  0.002 % |
1197.27/1197.33	c |   1493929 |     220    18700   130900 |    82468    76298     64 |  0.002 % |
1199.97/1200.01	c |   1497554 |     220    18700   130900 |    82468    79923     64 |  0.002 % |
1200.08/1200.11	HOME/SatELiteGTI: line 36:  9123 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832547-1242783410/watcher-1832547-1242783410 -o /tmp/evaluation-result-1832547-1242783410/solver-1832547-1242783410 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832547-1242783410.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.92 0.98 0.99 3/64 9117
/proc/meminfo: memFree=1849672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306374414 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9117/statm: 1339 235 195 169 0 50 0
[pid=9118] ppid=9117 vsize=5356 CPUtime=0
/proc/9118/stat : 9118 (SatELiteGTI) S 9117 9117 8855 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306374414 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9118/statm: 1339 238 198 169 0 50 0
[pid=9120] ppid=9118 vsize=192 CPUtime=0
/proc/9120/stat : 9120 (sed) R 9118 9117 8855 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306374414 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 231959754121 0 0 4096 0 0 0 0 17 0 0 0
/proc/9120/statm: 48 23 16 11 0 11 0

[startup+0.048809 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9117
/proc/meminfo: memFree=1849672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306374414 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9117/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101793 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9117
/proc/meminfo: memFree=1849672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301738 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9117
/proc/meminfo: memFree=1849672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701626 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9117
/proc/meminfo: memFree=1849672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1845112/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=5256 CPUtime=1.41
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 1091 0 0 0 141 0 0 0 25 0 1 0 306374421 5382144 1077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 1314 1078 76 171 0 1141 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10612

[startup+3.10194 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1843640/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=7688 CPUtime=3.01
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 1683 0 0 0 301 0 0 0 25 0 1 0 306374421 7872512 1669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 1922 1669 76 171 0 1749 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13044

[startup+6.30102 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1839672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=10928 CPUtime=6.21
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 2499 0 0 0 620 1 0 0 25 0 1 0 306374421 11190272 2485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 2732 2485 76 171 0 2559 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16284

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1835000/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=15108 CPUtime=12.6
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 3542 0 0 0 1258 2 0 0 25 0 1 0 306374421 15470592 3528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528694 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 3777 3528 76 171 0 3604 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20464

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1828856/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=21044 CPUtime=25.4
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 5007 0 0 0 2535 5 0 0 25 0 1 0 306374421 21549056 4993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 5261 4993 76 171 0 5088 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26400

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1821880/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=27788 CPUtime=51
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 6707 0 0 0 5093 7 0 0 25 0 1 0 306374421 28454912 6693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 6947 6693 76 171 0 6774 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 33144

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1821816/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=27788 CPUtime=102.19
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 6707 0 0 0 10212 7 0 0 25 0 1 0 306374421 28454912 6693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 6947 6693 76 171 0 6774 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 33144

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1821112/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=28316 CPUtime=162.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 6861 0 0 0 16210 8 0 0 25 0 1 0 306374421 28995584 6847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7079 6847 76 171 0 6906 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33672

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9123
/proc/meminfo: memFree=1819832/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=29512 CPUtime=222.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7146 0 0 0 22209 9 0 0 25 0 1 0 306374421 30220288 7132 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7378 7132 76 171 0 7205 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34868

[startup+282.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1819768/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=29512 CPUtime=282.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7146 0 0 0 28209 9 0 0 25 0 1 0 306374421 30220288 7132 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7378 7132 76 171 0 7205 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 34868

[startup+342.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1819384/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=29776 CPUtime=342.17
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7220 0 0 0 34208 9 0 0 25 0 1 0 306374421 30490624 7206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7444 7206 76 171 0 7271 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 35132

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1819320/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=29776 CPUtime=402.17

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

[pid=9123] ppid=9117 vsize=30304 CPUtime=522.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7336 0 0 0 52208 10 0 0 25 0 1 0 306374421 31031296 7322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7576 7322 76 171 0 7403 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 35660

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1818488/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=30304 CPUtime=582.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7354 0 0 0 58208 10 0 0 25 0 1 0 306374421 31031296 7340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7576 7340 76 171 0 7403 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 35660

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1818360/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=30304 CPUtime=642.18
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7354 0 0 0 64208 10 0 0 25 0 1 0 306374421 31031296 7340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7576 7340 76 171 0 7403 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 35660

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1817336/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=31228 CPUtime=702.19
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7564 0 0 0 70208 11 0 0 25 0 1 0 306374421 31977472 7550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 7807 7550 76 171 0 7634 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 36584

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816504/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=762.19
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 76208 11 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 37436

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816440/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=822.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 82208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 37436

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816440/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=882.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 88208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 37436

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816312/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=942.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 94208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 37436

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816184/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=1002.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 100208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 37436

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1816120/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=1062.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 106208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 37436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9123
/proc/meminfo: memFree=1815992/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32080 CPUtime=1122.2
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7749 0 0 0 112208 12 0 0 25 0 1 0 306374421 32849920 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8020 7735 76 171 0 7847 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 37436

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 9123
/proc/meminfo: memFree=1815672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32356 CPUtime=1182.21
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7801 0 0 0 118208 13 0 0 25 0 1 0 306374421 33132544 7787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8089 7787 76 171 0 7916 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 37712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.11 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 9123
/proc/meminfo: memFree=1815672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32356 CPUtime=1200.02
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7801 0 0 0 119989 13 0 0 25 0 1 0 306374421 33132544 7787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8089 7787 76 171 0 7916 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 37712

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

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

[startup+1200.11 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 9123
/proc/meminfo: memFree=1815672/2055920 swapFree=4180240/4192956
[pid=9117] ppid=9115 vsize=5356 CPUtime=0.06
/proc/9117/stat : 9117 (SatELiteGTI) S 9115 9117 8855 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306374414 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9117/statm: 1339 239 197 169 0 50 0
[pid=9123] ppid=9117 vsize=32356 CPUtime=1200.02
/proc/9123/stat : 9123 (minisat_static) R 9117 9117 8855 0 -1 4194304 7801 0 0 0 119989 13 0 0 25 0 1 0 306374421 33132544 7787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9123/statm: 8089 7787 76 171 0 7916 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 37712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.1
CPU user time (s): 1199.95
CPU system time (s): 0.148977
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 37712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8932
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= 26
involuntary context switches= 4884

runsolver used 1.39579 second user time and 3.03754 second system time

The end

Launcher Data

Begin job on node16 at 2009-05-20 03:36:50
IDJOB=1832547
IDBENCH=70237
IDSOLVER=671
FILE ID=node16/1832547-1242783410
PBS_JOBID= 9322321
Free space on /tmp= 66364 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/220/unif-k7-r85-v220-c18700-S1766907733-036.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832547-1242783410/watcher-1832547-1242783410 -o /tmp/evaluation-result-1832547-1242783410/solver-1832547-1242783410 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832547-1242783410.cnf

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

MD5SUM BENCH= bb1339ae162280016fc37fa2e91a7c5e
RANDOM SEED=193882507

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850216 kB
Buffers:         20540 kB
Cached:         148460 kB
SwapCached:       6848 kB
Active:          99728 kB
Inactive:        77588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850216 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:          13480 kB
Slab:            14480 kB
Committed_AS:  1075028 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node16 at 2009-05-20 03:56:52