Trace number 1832541

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.08 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
MD5SUMfd254436f3c419e09066b64a7ac072c2
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.022996 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.05/0.10	c |       101 |     220    18700   130900 |     6233      101     56 |  0.002 % |
0.05/0.11	c |       202 |     220    18700   130900 |     6233      202     61 |  0.002 % |
0.05/0.12	c |       307 |     220    18700   130900 |     6233      307     61 |  0.002 % |
0.05/0.13	c |       417 |     220    18700   130900 |     6233      417     61 |  0.002 % |
0.05/0.14	c |       518 |     220    18700   130900 |     6233      518     61 |  0.002 % |
0.05/0.15	c |       628 |     220    18700   130900 |     6233      628     61 |  0.002 % |
0.05/0.17	c |       750 |     220    18700   130900 |     6233      750     61 |  0.002 % |
0.05/0.18	c |       851 |     220    18700   130900 |     6233      851     62 |  0.002 % |
0.05/0.19	c |       961 |     220    18700   130900 |     6233      961     62 |  0.002 % |
0.05/0.20	c |      1083 |     220    18700   130900 |     6233     1083     62 |  0.002 % |
0.05/0.21	c |      1217 |     220    18700   130900 |     6233     1217     62 |  0.002 % |
0.05/0.22	c |      1317 |     220    18700   130900 |     6233     1317     62 |  0.002 % |
0.05/0.23	c |      1428 |     220    18700   130900 |     6233     1428     63 |  0.002 % |
0.05/0.24	c |      1551 |     220    18700   130900 |     6233     1551     63 |  0.002 % |
0.05/0.25	c |      1684 |     220    18700   130900 |     6233     1684     62 |  0.002 % |
0.05/0.27	c |      1830 |     220    18700   130900 |     6233     1830     62 |  0.002 % |
0.05/0.28	c |      1930 |     220    18700   130900 |     6233     1930     62 |  0.002 % |
0.05/0.29	c |      2041 |     220    18700   130900 |     6233     2041     62 |  0.002 % |
0.05/0.30	c |      2162 |     220    18700   130900 |     6233     2162     62 |  0.002 % |
0.05/0.32	c |      2296 |     220    18700   130900 |     6233     2296     62 |  0.002 % |
0.05/0.33	c |      2442 |     220    18700   130900 |     6233     2442     62 |  0.002 % |
0.05/0.35	c |      2603 |     220    18700   130900 |     6233     2603     62 |  0.002 % |
0.05/0.36	c |      2703 |     220    18700   130900 |     6233     2703     62 |  0.002 % |
0.05/0.37	c |      2813 |     220    18700   130900 |     6233     2813     62 |  0.002 % |
0.05/0.38	c |      2935 |     220    18700   130900 |     6233     2935     62 |  0.002 % |
0.05/0.40	c |      3068 |     220    18700   130900 |     6233     3068     62 |  0.002 % |
0.05/0.41	c |      3214 |     220    18700   130900 |     6233     3214     62 |  0.002 % |
0.05/0.43	c |      3374 |     220    18700   130900 |     6233     3374     62 |  0.002 % |
0.05/0.45	c |      3550 |     220    18700   130900 |     6233     3550     62 |  0.002 % |
0.05/0.46	c |      3650 |     220    18700   130900 |     6233     3650     62 |  0.002 % |
0.05/0.47	c |      3760 |     220    18700   130900 |     6233     3760     62 |  0.002 % |
0.05/0.48	c |      3882 |     220    18700   130900 |     6233     3882     62 |  0.002 % |
0.05/0.50	c |      4015 |     220    18700   130900 |     6233     4015     61 |  0.002 % |
0.05/0.52	c |      4161 |     220    18700   130900 |     6233     4161     62 |  0.002 % |
0.05/0.53	c |      4323 |     220    18700   130900 |     6233     4323     62 |  0.002 % |
0.05/0.55	c |      4499 |     220    18700   130900 |     6233     4499     62 |  0.002 % |
0.05/0.57	c |      4692 |     220    18700   130900 |     6233     4692     61 |  0.002 % |
0.05/0.58	c |      4792 |     220    18700   130900 |     6233     4792     61 |  0.002 % |
0.05/0.60	c |      4902 |     220    18700   130900 |     6233     4902     61 |  0.002 % |
0.05/0.61	c |      5025 |     220    18700   130900 |     6233     5025     61 |  0.002 % |
0.05/0.63	c |      5159 |     220    18700   130900 |     6233     5159     61 |  0.002 % |
0.05/0.65	c |      5305 |     220    18700   130900 |     6233     5305     61 |  0.002 % |
0.05/0.67	c |      5466 |     220    18700   130900 |     6233     5466     61 |  0.002 % |
0.05/0.69	c |      5645 |     220    18700   130900 |     6233     5645     61 |  0.002 % |
0.05/0.72	c |      5839 |     220    18700   130900 |     6233     5839     61 |  0.002 % |
0.05/0.74	c |      6051 |     220    18700   130900 |     6233     6051     61 |  0.002 % |
0.05/0.76	c |      6151 |     220    18700   130900 |     6233     6151     61 |  0.002 % |
0.05/0.77	c |      6262 |     220    18700   130900 |     6233     6262     61 |  0.002 % |
0.05/0.79	c |      6383 |     220    18700   130900 |     6233     5757     61 |  0.002 % |
0.05/0.81	c |      6517 |     220    18700   130900 |     6233     5891     61 |  0.002 % |
0.05/0.83	c |      6666 |     220    18700   130900 |     6233     6040     61 |  0.002 % |
0.05/0.84	c |      6827 |     220    18700   130900 |     6233     6201     61 |  0.002 % |
0.05/0.87	c |      7003 |     220    18700   130900 |     6233     5744     60 |  0.002 % |
0.05/0.89	c |      7196 |     220    18700   130900 |     6233     5937     60 |  0.002 % |
0.05/0.91	c |      7408 |     220    18700   130900 |     6233     6149     60 |  0.002 % |
0.05/0.95	c |      7641 |     220    18700   130900 |     6233     5748     60 |  0.002 % |
0.05/0.96	c |      7741 |     220    18700   130900 |     6233     5848     60 |  0.002 % |
0.05/0.97	c |      7851 |     220    18700   130900 |     6233     5958     60 |  0.002 % |
0.05/0.99	c |      7973 |     220    18700   130900 |     6233     6080     60 |  0.002 % |
0.96/1.01	c |      8108 |     220    18700   130900 |     6233     6215     60 |  0.002 % |
0.96/1.03	c |      8254 |     220    18700   130900 |     6233     5727     60 |  0.002 % |
0.96/1.06	c |      8416 |     220    18700   130900 |     6233     5889     60 |  0.002 % |
0.96/1.08	c |      8593 |     220    18700   130900 |     6233     6066     60 |  0.002 % |
1.06/1.10	c |      8788 |     220    18700   130900 |     6233     6261     60 |  0.002 % |
1.06/1.13	c |      9000 |     220    18700   130900 |     6233     5847     60 |  0.002 % |
1.06/1.17	c |      9234 |     220    18700   130900 |     6233     6081     60 |  0.002 % |
1.16/1.20	c |      9490 |     220    18700   130900 |     6233     5704     60 |  0.002 % |
1.16/1.22	c |      9590 |     220    18700   130900 |     6233     5804     61 |  0.002 % |
1.16/1.23	c |      9700 |     220    18700   130900 |     6233     5914     61 |  0.002 % |
1.16/1.25	c |      9821 |     220    18700   130900 |     6233     6035     61 |  0.002 % |
1.16/1.27	c |      9955 |     220    18700   130900 |     6233     6169     61 |  0.002 % |
1.16/1.29	c |     10101 |     220    18700   130900 | 2147483647     6315     61 |  0.002 % |
1.26/1.31	c |     10261 |     220    18700   130900 | 2147483647     6475     61 |  0.002 % |
1.26/1.33	c |     10438 |     220    18700   130900 | 2147483647     6652     61 |  0.002 % |
1.26/1.36	c |     10633 |     220    18700   130900 | 2147483647     6847     61 |  0.002 % |
1.26/1.39	c |     10845 |     220    18700   130900 | 2147483647     7059     61 |  0.002 % |
1.36/1.42	c |     11079 |     220    18700   130900 | 2147483647     7293     61 |  0.002 % |
1.36/1.46	c |     11335 |     220    18700   130900 | 2147483647     7549     61 |  0.002 % |
1.46/1.50	c |     11616 |     220    18700   130900 | 2147483647     7830     61 |  0.002 % |
1.46/1.52	c |     11716 |     220    18700   130900 | 2147483647     7930     61 |  0.002 % |
1.46/1.53	c |     11826 |     220    18700   130900 | 2147483647     8040     61 |  0.002 % |
1.46/1.55	c |     11947 |     220    18700   130900 | 2147483647     8161     61 |  0.002 % |
1.46/1.57	c |     12081 |     220    18700   130900 | 2147483647     8295     61 |  0.002 % |
1.56/1.60	c |     12227 |     220    18700   130900 | 2147483647     8441     61 |  0.002 % |
1.56/1.62	c |     12387 |     220    18700   130900 | 2147483647     8601     61 |  0.002 % |
1.56/1.65	c |     12563 |     220    18700   130900 | 2147483647     8777     61 |  0.002 % |
1.56/1.68	c |     12757 |     220    18700   130900 | 2147483647     8971     61 |  0.002 % |
1.66/1.71	c |     12970 |     220    18700   130900 | 2147483647     9184     61 |  0.002 % |
1.66/1.75	c |     13203 |     220    18700   130900 | 2147483647     9417     61 |  0.002 % |
1.66/1.79	c |     13460 |     220    18700   130900 | 2147483647     9674     61 |  0.002 % |
1.76/1.84	c |     13741 |     220    18700   130900 | 2147483647     9955     61 |  0.002 % |
1.76/1.89	c |     14051 |     220    18700   130900 | 2147483647    10265     61 |  0.002 % |
1.86/1.91	c |     14151 |     220    18700   130900 | 2147483647    10365     61 |  0.002 % |
1.86/1.94	c |     14261 |     220    18700   130900 | 2147483647    10475     61 |  0.002 % |
1.86/1.96	c |     14383 |     220    18700   130900 | 2147483647    10597     61 |  0.002 % |
1.86/1.98	c |     14516 |     220    18700   130900 | 2147483647    10730     61 |  0.002 % |
1.95/2.01	c |     14663 |     220    18700   130900 | 2147483647    10877     61 |  0.002 % |
1.95/2.04	c |     14824 |     220    18700   130900 | 2147483647    11038     61 |  0.002 % |
1.95/2.07	c |     15000 |     220    18700   130900 | 2147483647    11214     61 |  0.002 % |
2.06/2.10	c |     15193 |     220    18700   130900 | 2147483647    11407     61 |  0.002 % |
2.06/2.14	c |     15405 |     220    18700   130900 | 2147483647    11619     61 |  0.002 % |
2.06/2.18	c |     15639 |     220    18700   130900 | 2147483647    11853     61 |  0.002 % |
2.16/2.23	c |     15896 |     220    18700   130900 | 2147483647    12110     61 |  0.002 % |
2.16/2.28	c |     16177 |     220    18700   130900 | 2147483647    12391     61 |  0.002 % |
2.25/2.34	c |     16487 |     220    18700   130900 | 2147483647    12701     61 |  0.002 % |
2.35/2.40	c |     16826 |     220    18700   130900 | 2147483647    13040     61 |  0.002 % |
2.35/2.42	c |     16926 |     220    18700   130900 | 2147483647    13140     61 |  0.002 % |
2.35/2.44	c |     17038 |     220    18700   130900 | 2147483647    13252     61 |  0.002 % |
2.35/2.47	c |     17159 |     220    18700   130900 | 2147483647    13373     61 |  0.002 % |
2.46/2.50	c |     17292 |     220    18700   130900 | 2147483647    13506     61 |  0.002 % |
2.46/2.53	c |     17439 |     220    18700   130900 | 2147483647    13653     61 |  0.002 % |
2.46/2.56	c |     17599 |     220    18700   130900 | 2147483647    13813     61 |  0.002 % |
2.46/2.60	c |     17775 |     220    18700   130900 | 2147483647    13989     61 |  0.002 % |
2.56/2.63	c |     17969 |     220    18700   130900 | 2147483647    14183     61 |  0.002 % |
2.56/2.68	c |     18182 |     220    18700   130900 | 2147483647    14396     61 |  0.002 % |
2.66/2.73	c |     18417 |     220    18700   130900 | 2147483647    14631     61 |  0.002 % |
2.66/2.78	c |     18674 |     220    18700   130900 | 2147483647    14888     61 |  0.002 % |
2.76/2.85	c |     18955 |     220    18700   130900 | 2147483647    15169     61 |  0.002 % |
2.86/2.92	c |     19264 |     220    18700   130900 | 2147483647    15478     61 |  0.002 % |
2.86/2.99	c |     19603 |     220    18700   130900 | 2147483647    15817     61 |  0.002 % |
2.96/3.07	c |     19975 |     220    18700   130900 | 2147483647    16189     61 |  0.002 % |
3.06/3.10	c |     20075 |     220    18700   130900 | 2147483647    16289     61 |  0.002 % |
3.06/3.14	c |     20187 |     220    18700   130900 | 2147483647    16401     61 |  0.002 % |
3.06/3.16	c |     20308 |     220    18700   130900 | 2147483647    16522     61 |  0.002 % |
3.16/3.20	c |     20443 |     220    18700   130900 | 2147483647    16657     61 |  0.002 % |
3.16/3.24	c |     20589 |     220    18700   130900 | 2147483647    16803     61 |  0.002 % |
3.16/3.28	c |     20749 |     220    18700   130900 | 2147483647    16963     61 |  0.002 % |
3.26/3.32	c |     20925 |     220    18700   130900 | 2147483647    17139     61 |  0.002 % |
3.26/3.36	c |     21119 |     220    18700   130900 | 2147483647    17333     61 |  0.002 % |
3.36/3.41	c |     21331 |     220    18700   130900 | 2147483647    17545     61 |  0.002 % |
3.36/3.47	c |     21564 |     220    18700   130900 | 2147483647    17778     61 |  0.002 % |
3.46/3.53	c |     21823 |     220    18700   130900 | 2147483647    18037     61 |  0.002 % |
3.56/3.61	c |     22104 |     220    18700   130900 | 2147483647    18318     61 |  0.002 % |
3.56/3.69	c |     22415 |     220    18700   130900 | 2147483647    18629     61 |  0.002 % |
3.66/3.78	c |     22755 |     220    18700   130900 | 2147483647    18969     61 |  0.002 % |
3.76/3.87	c |     23127 |     220    18700   130900 | 2147483647    19341     61 |  0.002 % |
3.86/3.97	c |     23536 |     220    18700   130900 | 2147483647    19750     61 |  0.002 % |
3.96/4.01	c |     23636 |     220    18700   130900 | 2147483647    19850     61 |  0.002 % |
3.96/4.04	c |     23748 |     220    18700   130900 | 2147483647    19962     61 |  0.002 % |
3.96/4.07	c |     23869 |     220    18700   130900 | 2147483647    20083     61 |  0.002 % |
4.06/4.10	c |     24003 |     220    18700   130900 | 2147483647    20217     61 |  0.002 % |
4.06/4.15	c |     24150 |     220    18700   130900 | 2147483647    20364     61 |  0.002 % |
4.06/4.20	c |     24310 |     220    18700   130900 | 2147483647    20524     61 |  0.002 % |
4.16/4.24	c |     24488 |     220    18700   130900 | 2147483647    20702     61 |  0.002 % |
4.26/4.30	c |     24681 |     220    18700   130900 | 2147483647    20895     61 |  0.002 % |
4.26/4.36	c |     24893 |     220    18700   130900 | 2147483647    21107     61 |  0.002 % |
4.36/4.42	c |     25126 |     220    18700   130900 | 2147483647    21340     61 |  0.002 % |
4.36/4.49	c |     25382 |     220    18700   130900 | 2147483647    21596     61 |  0.002 % |
4.46/4.56	c |     25664 |     220    18700   130900 | 2147483647    21878     61 |  0.002 % |
4.56/4.64	c |     25973 |     220    18700   130900 | 2147483647    22187     61 |  0.002 % |
4.66/4.74	c |     26315 |     220    18700   130900 | 2147483647    22529     62 |  0.002 % |
4.76/4.85	c |     26687 |     220    18700   130900 | 2147483647    22901     62 |  0.002 % |
4.86/4.97	c |     27099 |     220    18700   130900 | 2147483647    23313     62 |  0.002 % |
5.06/5.12	c |     27548 |     220    18700   130900 | 2147483647    23762     62 |  0.002 % |
5.06/5.15	c |     27648 |     220    18700   130900 | 2147483647    23862     62 |  0.002 % |
5.06/5.18	c |     27758 |     220    18700   130900 | 2147483647    23972     62 |  0.002 % |
5.16/5.22	c |     27879 |     220    18700   130900 | 2147483647    24093     62 |  0.002 % |
5.16/5.27	c |     28012 |     220    18700   130900 | 2147483647    24226     61 |  0.002 % |
5.26/5.33	c |     28159 |     220    18700   130900 | 2147483647    24373     61 |  0.002 % |
5.26/5.39	c |     28321 |     220    18700   130900 | 2147483647    24535     61 |  0.002 % |
5.36/5.45	c |     28497 |     220    18700   130900 | 2147483647    24711     61 |  0.002 % |
5.46/5.51	c |     28692 |     220    18700   130900 | 2147483647    24906     61 |  0.002 % |
5.46/5.58	c |     28905 |     220    18700   130900 | 2147483647    25119     61 |  0.002 % |
5.55/5.65	c |     29139 |     220    18700   130900 | 2147483647    25353     62 |  0.002 % |
5.65/5.73	c |     29398 |     220    18700   130900 | 2147483647    25612     62 |  0.002 % |
5.75/5.82	c |     29681 |     220    18700   130900 | 2147483647    25895     62 |  0.002 % |
5.85/5.91	c |     29990 |     220    18700   130900 | 2147483647    26204     62 |  0.002 % |
5.95/6.02	c |     30330 |     220    18700   130900 | 2147483647    26544     62 |  0.002 % |
6.05/6.15	c |     30703 |     220    18700   130900 | 2147483647    26917     62 |  0.002 % |
6.15/6.29	c |     31113 |     220    18700   130900 | 2147483647    27327     62 |  0.002 % |
6.35/6.44	c |     31567 |     220    18700   130900 | 2147483647    27781     62 |  0.002 % |
6.56/6.61	c |     32061 |     220    18700   130900 | 2147483647    28275     62 |  0.002 % |
6.56/6.65	c |     32161 |     220    18700   130900 | 2147483647    28375     62 |  0.002 % |
6.56/6.69	c |     32271 |     220    18700   130900 | 2147483647    28485     62 |  0.002 % |
6.66/6.74	c |     32395 |     220    18700   130900 | 2147483647    28609     62 |  0.002 % |
6.66/6.79	c |     32528 |     220    18700   130900 | 2147483647    28742     62 |  0.002 % |
6.76/6.86	c |     32677 |     220    18700   130900 | 2147483647    28891     62 |  0.002 % |
6.86/6.93	c |     32839 |     220    18700   130900 | 2147483647    29053     62 |  0.002 % |
6.86/6.99	c |     33015 |     220    18700   130900 | 2147483647    29229     62 |  0.002 % |
6.96/7.07	c |     33208 |     220    18700   130900 | 2147483647    29422     62 |  0.002 % |
7.06/7.15	c |     33420 |     220    18700   130900 | 2147483647    29634     62 |  0.002 % |
7.16/7.24	c |     33654 |     220    18700   130900 | 2147483647    29868     62 |  0.002 % |
7.26/7.33	c |     33913 |     220    18700   130900 | 2147483647    30127     62 |  0.002 % |
7.36/7.43	c |     34195 |     220    18700   130900 | 2147483647    30409     62 |  0.002 % |
7.46/7.55	c |     34504 |     220    18700   130900 | 2147483647    30718     62 |  0.002 % |
7.56/7.68	c |     34843 |     220    18700   130900 | 2147483647    31057     62 |  0.002 % |
7.76/7.83	c |     35216 |     220    18700   130900 | 2147483647    31430     62 |  0.002 % |
7.86/7.99	c |     35625 |     220    18700   130900 | 2147483647    31839     62 |  0.002 % |
8.06/8.16	c |     36075 |     220    18700   130900 | 2147483647    32289     62 |  0.002 % |
8.26/8.37	c |     36569 |     220    18700   130900 | 2147483647    32783     62 |  0.002 % |
8.46/8.59	c |     37111 |     220    18700   130900 | 2147483647    33325     62 |  0.002 % |
8.56/8.64	c |     37211 |     220    18700   130900 | 2147483647    33425     62 |  0.002 % |
8.56/8.68	c |     37322 |     220    18700   130900 | 2147483647    33536     62 |  0.002 % |
8.66/8.74	c |     37443 |     220    18700   130900 | 2147483647    33657     62 |  0.002 % |
8.66/8.79	c |     37580 |     220    18700   130900 | 2147483647    33794     62 |  0.002 % |
8.76/8.87	c |     37726 |     220    18700   130900 | 2147483647    33940     62 |  0.002 % |
8.86/8.95	c |     37886 |     220    18700   130900 | 2147483647    34100     62 |  0.002 % |
8.96/9.03	c |     38063 |     220    18700   130900 | 2147483647    34277     62 |  0.002 % |
9.06/9.12	c |     38257 |     220    18700   130900 | 2147483647    34471     62 |  0.002 % |
9.16/9.22	c |     38473 |     220    18700   130900 | 2147483647    34687     62 |  0.002 % |
9.26/9.33	c |     38707 |     220    18700   130900 | 2147483647    34921     62 |  0.002 % |
9.36/9.44	c |     38963 |     220    18700   130900 | 2147483647    35177     62 |  0.002 % |
9.45/9.56	c |     39245 |     220    18700   130900 | 2147483647    35459     62 |  0.002 % |
9.65/9.70	c |     39554 |     220    18700   130900 | 2147483647    35768     62 |  0.002 % |
9.76/9.86	c |     39896 |     220    18700   130900 | 2147483647    36110     62 |  0.002 % |
9.95/10.03	c |     40270 |     220    18700   130900 | 2147483647    36484     62 |  0.002 % |
10.15/10.21	c |     40679 |     220    18700   130900 | 2147483647    36893     62 |  0.002 % |
10.35/10.42	c |     41130 |     220    18700   130900 | 2147483647    37344     62 |  0.002 % |
10.55/10.64	c |     41623 |     220    18700   130900 | 2147483647    37837     62 |  0.002 % |
10.75/10.88	c |     42166 |     220    18700   130900 | 2147483647    38380     62 |  0.002 % |
11.05/11.16	c |     42763 |     220    18700   130900 | 2147483647    38977     62 |  0.002 % |
11.15/11.21	c |     42866 |     220    18700   130900 | 2147483647    39080     62 |  0.002 % |
11.15/11.26	c |     42977 |     220    18700   130900 | 2147483647    39191     62 |  0.002 % |
11.25/11.31	c |     43098 |     220    18700   130900 | 2147483647    39312     62 |  0.002 % |
11.25/11.39	c |     43231 |     220    18700   130900 | 2147483647    39445     62 |  0.002 % |
11.35/11.47	c |     43377 |     220    18700   130900 | 2147483647    39591     62 |  0.002 % |
11.45/11.56	c |     43537 |     220    18700   130900 | 2147483647    39751     62 |  0.002 % |
11.55/11.66	c |     43713 |     220    18700   130900 | 2147483647    39927     62 |  0.002 % |
11.65/11.76	c |     43906 |     220    18700   130900 | 2147483647    40120     62 |  0.002 % |
11.75/11.85	c |     44120 |     220    18700   130900 | 2147483647    40334     62 |  0.002 % |
11.85/11.96	c |     44353 |     220    18700   130900 | 2147483647    40567     62 |  0.002 % |
11.96/12.08	c |     44610 |     220    18700   130900 | 2147483647    40824     62 |  0.002 % |
12.16/12.22	c |     44891 |     220    18700   130900 | 2147483647    41105     62 |  0.002 % |
12.26/12.37	c |     45201 |     220    18700   130900 | 2147483647    41415     62 |  0.002 % |
12.45/12.53	c |     45542 |     220    18700   130900 | 2147483647    41756     62 |  0.002 % |
12.65/12.73	c |     45914 |     220    18700   130900 | 2147483647    42128     62 |  0.002 % |
12.85/12.96	c |     46324 |     220    18700   130900 | 2147483647    42538     62 |  0.002 % |
13.06/13.19	c |     46773 |     220    18700   130900 | 2147483647    42987     62 |  0.002 % |
13.35/13.41	c |     47267 |     220    18700   130900 | 2147483647    43481     62 |  0.002 % |
13.55/13.67	c |     47810 |     220    18700   130900 | 2147483647    44024     62 |  0.002 % |
13.85/13.95	c |     48406 |     220    18700   130900 | 2147483647    44620     62 |  0.002 % |
14.26/14.31	c |     49061 |     220    18700   130900 | 2147483647    45275     62 |  0.002 % |
14.26/14.38	c |     49161 |     220    18700   130900 | 2147483647    45375     62 |  0.002 % |
14.35/14.45	c |     49272 |     220    18700   130900 | 2147483647    45486     62 |  0.002 % |
14.45/14.52	c |     49393 |     220    18700   130900 | 2147483647    45607     62 |  0.002 % |
14.45/14.59	c |     49526 |     220    18700   130900 | 2147483647    45740     62 |  0.002 % |
14.65/14.70	c |     49673 |     220    18700   130900 | 2147483647    45887     62 |  0.002 % |
14.65/14.79	c |     49833 |     220    18700   130900 | 2147483647    46047     62 |  0.002 % |
14.75/14.89	c |     50009 |     220    18700   130900 | 2147483647    46223     62 |  0.002 % |
14.95/15.03	c |     50204 |     220    18700   130900 | 2147483647    46418     62 |  0.002 % |
15.05/15.15	c |     50417 |     220    18700   130900 | 2147483647    46631     62 |  0.002 % |
15.15/15.29	c |     50650 |     220    18700   130900 | 2147483647    46864     62 |  0.002 % |
15.35/15.44	c |     50906 |     220    18700   130900 | 2147483647    47120     62 |  0.002 % |
15.45/15.59	c |     51188 |     220    18700   130900 | 2147483647    47402     62 |  0.002 % |
15.65/15.76	c |     51497 |     220    18700   130900 | 2147483647    47711     62 |  0.002 % |
15.85/15.95	c |     51838 |     220    18700   130900 | 2147483647    48052     62 |  0.002 % |
16.05/16.15	c |     52211 |     220    18700   130900 | 2147483647    48425     62 |  0.002 % |
16.26/16.38	c |     52621 |     220    18700   130900 | 2147483647    48835     62 |  0.002 % |
16.56/16.64	c |     53070 |     220    18700   130900 | 2147483647    49284     62 |  0.002 % |
16.86/16.97	c |     53563 |     220    18700   130900 | 2147483647    49777     62 |  0.002 % |
17.25/17.33	c |     54105 |     220    18700   130900 | 2147483647    50319     62 |  0.002 % |
17.56/17.69	c |     54701 |     220    18700   130900 | 2147483647    50915     62 |  0.002 % |
17.95/18.07	c |     55356 |     220    18700   130900 | 2147483647    51570     62 |  0.002 % |
18.35/18.49	c |     56077 |     220    18700   130900 | 2147483647    52291     62 |  0.002 % |
18.45/18.57	c |     56177 |     220    18700   130900 | 2147483647    52391     62 |  0.002 % |
18.56/18.65	c |     56288 |     220    18700   130900 | 2147483647    52502     62 |  0.002 % |
18.66/18.74	c |     56410 |     220    18700   130900 | 2147483647    52624     62 |  0.002 % |
18.75/18.84	c |     56543 |     220    18700   130900 | 2147483647    52757     62 |  0.002 % |
18.85/18.96	c |     56691 |     220    18700   130900 | 2147483647    52905     62 |  0.002 % |
18.96/19.08	c |     56853 |     220    18700   130900 | 2147483647    53067     62 |  0.002 % |
19.06/19.20	c |     57032 |     220    18700   130900 | 2147483647    53246     62 |  0.002 % |
19.25/19.35	c |     57225 |     220    18700   130900 | 2147483647    53439     62 |  0.002 % |
19.35/19.49	c |     57438 |     220    18700   130900 | 2147483647    53652     62 |  0.002 % |
19.55/19.65	c |     57671 |     220    18700   130900 | 2147483647    53885     62 |  0.002 % |
19.76/19.82	c |     57927 |     220    18700   130900 | 2147483647    54141     62 |  0.002 % |
19.95/20.00	c |     58208 |     220    18700   130900 | 2147483647    54422     62 |  0.002 % |
20.05/20.18	c |     58517 |     220    18700   130900 | 2147483647    54731     62 |  0.002 % |
20.35/20.44	c |     58858 |     220    18700   130900 | 2147483647    55072     62 |  0.002 % |
20.55/20.69	c |     59232 |     220    18700   130900 | 2147483647    55446     62 |  0.002 % |
20.86/20.96	c |     59642 |     220    18700   130900 | 2147483647    55856     62 |  0.002 % |
21.15/21.25	c |     60091 |     220    18700   130900 | 2147483647    56305     62 |  0.002 % |
21.45/21.60	c |     60585 |     220    18700   130900 | 2147483647    56799     62 |  0.002 % |
21.85/21.98	c |     61127 |     220    18700   130900 | 2147483647    57341     62 |  0.002 % |
22.25/22.39	c |     61723 |     220    18700   130900 | 2147483647    57937     62 |  0.002 % |
22.65/22.77	c |     62380 |     220    18700   130900 | 2147483647    58594     62 |  0.002 % |
23.15/23.21	c |     63101 |     220    18700   130900 | 2147483647    59315     62 |  0.002 % |
23.55/23.68	c |     63896 |     220    18700   130900 | 2147483647    60110     62 |  0.002 % |
23.65/23.76	c |     63997 |     220    18700   130900 | 2147483647    60211     62 |  0.002 % |
23.75/23.84	c |     64107 |     220    18700   130900 | 2147483647    60321     62 |  0.002 % |
23.85/23.93	c |     64230 |     220    18700   130900 | 2147483647    60444     62 |  0.002 % |
23.95/24.02	c |     64364 |     220    18700   130900 | 2147483647    60578     62 |  0.002 % |
24.05/24.13	c |     64512 |     220    18700   130900 | 2147483647    60726     62 |  0.002 % |
24.15/24.28	c |     64673 |     220    18700   130900 | 2147483647    60887     62 |  0.002 % |
24.35/24.41	c |     64849 |     220    18700   130900 | 2147483647    61063     62 |  0.002 % |
24.45/24.55	c |     65042 |     220    18700   130900 | 2147483647    61256     62 |  0.002 % |
24.65/24.72	c |     65256 |     220    18700   130900 | 2147483647    61470     62 |  0.002 % |
24.75/24.88	c |     65489 |     220    18700   130900 | 2147483647    61703     62 |  0.002 % |
24.95/25.07	c |     65745 |     220    18700   130900 | 2147483647    61959     62 |  0.002 % |
25.15/25.27	c |     66026 |     220    18700   130900 | 2147483647    62240     62 |  0.002 % |
25.45/25.52	c |     66337 |     220    18700   130900 | 2147483647    62551     62 |  0.002 % |
25.65/25.79	c |     66677 |     220    18700   130900 | 2147483647    62891     62 |  0.002 % |
25.95/26.05	c |     67049 |     220    18700   130900 | 2147483647    63263     62 |  0.002 % |
26.25/26.35	c |     67458 |     220    18700   130900 | 2147483647    63672     62 |  0.002 % |
26.55/26.68	c |     67907 |     220    18700   130900 | 2147483647    64121     62 |  0.002 % |
26.85/26.99	c |     68400 |     220    18700   130900 | 2147483647    64614     62 |  0.002 % |
27.25/27.33	c |     68943 |     220    18700   130900 | 2147483647    65157     62 |  0.002 % |
27.65/27.73	c |     69540 |     220    18700   130900 | 2147483647    65754     62 |  0.002 % |
28.15/28.24	c |     70195 |     220    18700   130900 | 2147483647    66409     62 |  0.002 % |
28.75/28.80	c |     70916 |     220    18700   130900 | 2147483647    67130     62 |  0.002 % |
29.35/29.44	c |     71709 |     220    18700   130900 | 2147483647    67923     62 |  0.002 % |
29.94/30.06	c |     72580 |     220    18700   130900 | 2147483647    68794     62 |  0.002 % |
30.04/30.16	c |     72681 |     220    18700   130900 | 2147483647    68895     62 |  0.002 % |
30.15/30.25	c |     72792 |     220    18700   130900 | 2147483647    69006     62 |  0.002 % |
30.25/30.35	c |     72913 |     220    18700   130900 | 2147483647    69127     62 |  0.002 % |
30.35/30.46	c |     73046 |     220    18700   130900 | 2147483647    69260     62 |  0.002 % |
30.45/30.58	c |     73192 |     220    18700   130900 | 2147483647    69406     62 |  0.002 % |
30.66/30.72	c |     73353 |     220    18700   130900 | 2147483647    69567     62 |  0.002 % |
30.76/30.87	c |     73531 |     220    18700   130900 | 2147483647    69745     62 |  0.002 % |
30.95/31.08	c |     73729 |     220    18700   130900 | 2147483647    69943     62 |  0.002 % |
31.15/31.25	c |     73941 |     220    18700   130900 | 2147483647    70155     62 |  0.002 % |
31.35/31.44	c |     74176 |     220    18700   130900 | 2147483647    70390     62 |  0.002 % |
31.55/31.64	c |     74433 |     220    18700   130900 | 2147483647    70647     62 |  0.002 % |
31.76/31.89	c |     74715 |     220    18700   130900 | 2147483647    70929     62 |  0.002 % |
32.05/32.13	c |     75024 |     220    18700   130900 | 2147483647    71238     62 |  0.002 % |
32.35/32.44	c |     75365 |     220    18700   130900 | 2147483647    71579     62 |  0.002 % |
32.65/32.78	c |     75737 |     220    18700   130900 | 2147483647    71951     62 |  0.002 % |
33.05/33.13	c |     76146 |     220    18700   130900 | 2147483647    72360     62 |  0.002 % |
33.35/33.48	c |     76597 |     220    18700   130900 | 2147483647    72811     62 |  0.002 % |
33.85/33.99	c |     77091 |     220    18700   130900 | 2147483647    73305     62 |  0.002 % |
34.35/34.48	c |     77633 |     220    18700   130900 | 2147483647    73847     62 |  0.002 % |
34.85/34.93	c |     78229 |     220    18700   130900 | 2147483647    74443     62 |  0.002 % |
35.35/35.47	c |     78885 |     220    18700   130900 | 2147483647    75099     62 |  0.002 % |
35.94/36.04	c |     79605 |     220    18700   130900 | 2147483647    75819     62 |  0.002 % |
36.54/36.62	c |     80397 |     220    18700   130900 | 2147483647    76611     62 |  0.002 % |
37.24/37.30	c |     81269 |     220    18700   130900 | 2147483647    77483     62 |  0.002 % |
37.95/38.05	c |     82228 |     220    18700   130900 | 2147483647    78442     62 |  0.002 % |
38.05/38.16	c |     82329 |     220    18700   130900 | 2147483647    78543     62 |  0.002 % |
38.15/38.28	c |     82440 |     220    18700   130900 | 2147483647    78654     62 |  0.002 % |
38.25/38.39	c |     82561 |     220    18700   130900 | 2147483647    78775     62 |  0.002 % |
38.45/38.56	c |     82695 |     220    18700   130900 | 2147483647    78909     62 |  0.002 % |
38.65/38.72	c |     82841 |     220    18700   130900 | 2147483647    79055     62 |  0.002 % |
38.75/38.88	c |     83001 |     220    18700   130900 | 2147483647    79215     62 |  0.002 % |
39.05/39.10	c |     83182 |     220    18700   130900 | 2147483647    79396     62 |  0.002 % |
39.25/39.31	c |     83375 |     220    18700   130900 | 2147483647    79589     62 |  0.002 % |
39.45/39.51	c |     83587 |     220    18700   130900 | 2147483647    79801     62 |  0.002 % |
39.65/39.74	c |     83822 |     220    18700   130900 | 2147483647    80036     62 |  0.002 % |
39.85/39.99	c |     84078 |     220    18700   130900 | 2147483647    80292     62 |  0.002 % |
40.14/40.28	c |     84359 |     220    18700   130900 | 2147483647    80573     62 |  0.002 % |
40.55/40.61	c |     84668 |     220    18700   130900 | 2147483647    80882     62 |  0.002 % |
40.84/40.94	c |     85007 |     220    18700   130900 | 2147483647    81221     62 |  0.002 % |
41.24/41.33	c |     85380 |     220    18700   130900 | 2147483647    81594     62 |  0.002 % |
41.65/41.72	c |     85789 |     220    18700   130900 | 2147483647    82003     62 |  0.002 % |
42.04/42.13	c |     86238 |     220    18700   130900 | 2147483647    82452     62 |  0.002 % |
42.54/42.61	c |     86731 |     220    18700   130900 | 2147483647    82945     62 |  0.002 % |
43.04/43.14	c |     87274 |     220    18700   130900 | 2147483647    83488     62 |  0.002 % |
43.54/43.69	c |     87872 |     220    18700   130900 | 2147483647    84086     62 |  0.002 % |
44.14/44.29	c |     88529 |     220    18700   130900 | 2147483647    84743     62 |  0.002 % |
44.95/45.05	c |     89252 |     220    18700   130900 | 2147483647    85466     62 |  0.002 % |
45.74/45.83	c |     90044 |     220    18700   130900 |    86214    86258     62 |  0.002 % |
46.64/46.70	c |     90915 |     220    18700   130900 |    86214    74995     62 |  0.002 % |
47.44/47.52	c |     91877 |     220    18700   130900 |    86214    75957     62 |  0.002 % |
48.24/48.38	c |     92932 |     220    18700   130900 |    86214    77012     62 |  0.002 % |
48.34/48.47	c |     93036 |     220    18700   130900 |    86214    77116     62 |  0.002 % |
48.54/48.60	c |     93147 |     220    18700   130900 |    86214    77227     62 |  0.002 % |
48.64/48.71	c |     93268 |     220    18700   130900 |    86214    77348     62 |  0.002 % |
48.74/48.83	c |     93402 |     220    18700   130900 |    86214    77482     62 |  0.002 % |
48.84/48.96	c |     93549 |     220    18700   130900 |    86214    77629     62 |  0.002 % |
49.04/49.12	c |     93711 |     220    18700   130900 |    86214    77791     62 |  0.002 % |
49.24/49.30	c |     93888 |     220    18700   130900 |    86214    77968     62 |  0.002 % |
49.34/49.49	c |     94081 |     220    18700   130900 |    86214    78161     62 |  0.002 % |
49.64/49.72	c |     94295 |     220    18700   130900 |    86214    78375     62 |  0.002 % |
49.84/49.93	c |     94528 |     220    18700   130900 |    86214    78608     62 |  0.002 % |
50.04/50.19	c |     94785 |     220    18700   130900 |    86214    78865     62 |  0.002 % |
50.34/50.45	c |     95067 |     220    18700   130900 |    86214    79147     62 |  0.002 % |
50.64/50.78	c |     95378 |     220    18700   130900 |    86214    79458     62 |  0.002 % |
51.04/51.13	c |     95719 |     220    18700   130900 |    86214    79799     62 |  0.002 % |
51.34/51.43	c |     96092 |     220    18700   130900 |    86214    80172     62 |  0.002 % |
51.74/51.84	c |     96502 |     220    18700   130900 |    86214    80582     62 |  0.002 % |
52.24/52.35	c |     96952 |     220    18700   130900 |    86214    81032     62 |  0.002 % |
52.74/52.80	c |     97447 |     220    18700   130900 |    86214    81527     62 |  0.002 % |
53.24/53.33	c |     97991 |     220    18700   130900 |    86214    82071     62 |  0.002 % |
53.74/53.87	c |     98587 |     220    18700   130900 |    86214    82667     62 |  0.002 % |
54.44/54.51	c |     99242 |     220    18700   130900 |    86214    83322     62 |  0.002 % |
55.14/55.22	c |     99962 |     220    18700   130900 |    86214    84042     62 |  0.002 % |
55.84/55.92	c |    100756 |     220    18700   130900 |    84081    72363     62 |  0.002 % |
56.44/56.55	c |    101627 |     220    18700   130900 |    84081    73234     62 |  0.002 % |
57.23/57.33	c |    102586 |     220    18700   130900 |    84081    74193     62 |  0.002 % |
58.14/58.26	c |    103641 |     220    18700   130900 |    84081    75248     62 |  0.002 % |
59.13/59.24	c |    104801 |     220    18700   130900 |    84081    76408     62 |  0.002 % |
59.24/59.32	c |    104902 |     220    18700   130900 |    84081    76509     62 |  0.002 % |
59.34/59.44	c |    105012 |     220    18700   130900 |    84081    76619     62 |  0.002 % |
59.43/59.59	c |    105134 |     220    18700   130900 |    84081    76741     62 |  0.002 % |
59.63/59.74	c |    105267 |     220    18700   130900 |    84081    76874     62 |  0.002 % |
59.73/59.86	c |    105415 |     220    18700   130900 |    84081    77022     62 |  0.002 % |
59.93/60.02	c |    105577 |     220    18700   130900 |    84081    77184     62 |  0.002 % |
60.13/60.22	c |    105755 |     220    18700   130900 |    84081    77362     62 |  0.002 % |
60.23/60.39	c |    105948 |     220    18700   130900 |    84081    77555     62 |  0.002 % |
60.44/60.60	c |    106163 |     220    18700   130900 |    84081    77770     62 |  0.002 % |
60.63/60.79	c |    106397 |     220    18700   130900 |    84081    78004     62 |  0.002 % |
60.93/61.05	c |    106654 |     220    18700   130900 |    84081    78261     62 |  0.002 % |
61.23/61.30	c |    106935 |     220    18700   130900 |    84081    78542     62 |  0.002 % |
61.44/61.59	c |    107246 |     220    18700   130900 |    84081    78853     62 |  0.002 % |
61.83/61.92	c |    107590 |     220    18700   130900 |    84081    79197     62 |  0.002 % |
62.23/62.33	c |    107965 |     220    18700   130900 |    84081    79572     62 |  0.002 % |
62.54/62.70	c |    108374 |     220    18700   130900 |    84081    79981     62 |  0.002 % |
63.03/63.12	c |    108824 |     220    18700   130900 |    84081    80431     62 |  0.002 % |
63.43/63.51	c |    109320 |     220    18700   130900 |    84081    80927     62 |  0.002 % |
63.83/63.99	c |    109862 |     220    18700   130900 |    84081    81469     62 |  0.002 % |
64.43/64.56	c |    110460 |     220    18700   130900 |    81607    71073     62 |  0.002 % |
64.93/65.08	c |    111115 |     220    18700   130900 |    81607    71728     62 |  0.002 % |
65.53/65.67	c |    111836 |     220    18700   130900 |    81607    72449     62 |  0.002 % |
66.13/66.28	c |    112629 |     220    18700   130900 |    81607    73242     62 |  0.002 % |
66.83/66.99	c |    113501 |     220    18700   130900 |    81607    74114     62 |  0.002 % |
67.83/67.91	c |    114459 |     220    18700   130900 |    81607    75072     62 |  0.002 % |
68.73/68.82	c |    115512 |     220    18700   130900 |    81607    76125     62 |  0.002 % |
69.83/69.92	c |    116671 |     220    18700   130900 |    81607    77284     62 |  0.002 % |
70.93/71.05	c |    117944 |     220    18700   130900 |    81607    78557     62 |  0.002 % |
71.03/71.15	c |    118044 |     220    18700   130900 |    81607    78657     62 |  0.002 % |
71.13/71.29	c |    118155 |     220    18700   130900 |    81607    78768     62 |  0.002 % |
71.33/71.41	c |    118276 |     220    18700   130900 |    81607    78889     62 |  0.002 % |
71.43/71.54	c |    118412 |     220    18700   130900 |    81607    79025     62 |  0.002 % |
71.54/71.68	c |    118558 |     220    18700   130900 |    81607    79171     62 |  0.002 % |
71.74/71.87	c |    118720 |     220    18700   130900 |    81607    79333     62 |  0.002 % |
71.94/72.04	c |    118899 |     220    18700   130900 |    81607    79512     62 |  0.002 % |
72.14/72.22	c |    119092 |     220    18700   130900 |    81607    79705     62 |  0.002 % |
72.34/72.48	c |    119305 |     220    18700   130900 |    81607    79918     62 |  0.002 % |
72.54/72.68	c |    119538 |     220    18700   130900 |    81607    80151     62 |  0.002 % |
72.84/72.94	c |    119794 |     220    18700   130900 |    81607    80407     62 |  0.002 % |
73.04/73.19	c |    120077 |     220    18700   130900 |    80613    80690     62 |  0.002 % |
73.44/73.53	c |    120386 |     220    18700   130900 |    80613    70299     62 |  0.002 % |
73.74/73.83	c |    120727 |     220    18700   130900 |    80613    70640     62 |  0.002 % |
74.04/74.13	c |    121100 |     220    18700   130900 |    80613    71013     62 |  0.002 % |
74.34/74.46	c |    121509 |     220    18700   130900 |    80613    71422     62 |  0.002 % |
74.74/74.89	c |    121959 |     220    18700   130900 |    80613    71872     62 |  0.002 % |
75.14/75.27	c |    122455 |     220    18700   130900 |    80613    72368     62 |  0.002 % |
75.64/75.72	c |    122997 |     220    18700   130900 |    80613    72910     62 |  0.002 % |
76.04/76.20	c |    123594 |     220    18700   130900 |    80613    73507     62 |  0.002 % |
76.64/76.79	c |    124251 |     220    18700   130900 |    80613    74164     62 |  0.002 % |
77.33/77.45	c |    124971 |     220    18700   130900 |    80613    74884     62 |  0.002 % |
77.94/78.09	c |    125764 |     220    18700   130900 |    80613    75677     62 |  0.002 % |
78.73/78.87	c |    126635 |     220    18700   130900 |    80613    76548     62 |  0.002 % |
79.53/79.63	c |    127595 |     220    18700   130900 |    80613    77508     62 |  0.002 % |
80.53/80.68	c |    128650 |     220    18700   130900 |    80613    78563     62 |  0.002 % |
81.63/81.70	c |    129808 |     220    18700   130900 |    80613    79721     62 |  0.002 % |
82.63/82.74	c |    131083 |     220    18700   130900 |    79914    70928     62 |  0.002 % |
83.83/83.93	c |    132483 |     220    18700   130900 |    79914    72328     62 |  0.002 % |
83.93/84.02	c |    132583 |     220    18700   130900 |    79914    72428     62 |  0.002 % |
84.03/84.14	c |    132693 |     220    18700   130900 |    79914    72538     62 |  0.002 % |
84.13/84.25	c |    132814 |     220    18700   130900 |    79914    72659     62 |  0.002 % |
84.23/84.35	c |    132947 |     220    18700   130900 |    79914    72792     62 |  0.002 % |
84.33/84.46	c |    133093 |     220    18700   130900 |    79914    72938     62 |  0.002 % |
84.54/84.64	c |    133256 |     220    18700   130900 |    79914    73101     62 |  0.002 % |
84.73/84.81	c |    133432 |     220    18700   130900 |    79914    73277     62 |  0.002 % |
84.83/84.98	c |    133626 |     220    18700   130900 |    79914    73471     62 |  0.002 % |
85.03/85.15	c |    133839 |     220    18700   130900 |    79914    73684     62 |  0.002 % |
85.23/85.34	c |    134073 |     220    18700   130900 |    79914    73918     62 |  0.002 % |
85.53/85.61	c |    134330 |     220    18700   130900 |    79914    74175     62 |  0.002 % |
85.73/85.89	c |    134612 |     220    18700   130900 |    79914    74457     62 |  0.002 % |
86.03/86.17	c |    134921 |     220    18700   130900 |    79914    74766     62 |  0.002 % |
86.43/86.50	c |    135261 |     220    18700   130900 |    79914    75106     62 |  0.002 % |
86.73/86.82	c |    135634 |     220    18700   130900 |    79914    75479     62 |  0.002 % |
87.03/87.14	c |    136045 |     220    18700   130900 |    79914    75890     62 |  0.002 % |
87.53/87.62	c |    136494 |     220    18700   130900 |    79914    76339     62 |  0.002 % |
87.93/88.08	c |    136988 |     220    18700   130900 |    79914    76833     62 |  0.002 % |
88.43/88.60	c |    137530 |     220    18700   130900 |    79914    77375     62 |  0.002 % |
89.03/89.19	c |    138126 |     220    18700   130900 |    79914    77971     62 |  0.002 % |
89.73/89.82	c |    138783 |     220    18700   130900 |    79914    78628     62 |  0.002 % |
90.33/90.42	c |    139504 |     220    18700   130900 |    79914    79349     62 |  0.002 % |
91.13/91.22	c |    140297 |     220    18700   130900 |    79846    69972     62 |  0.002 % |
91.83/91.94	c |    141169 |     220    18700   130900 |    79846    70844     62 |  0.002 % |
92.53/92.69	c |    142127 |     220    18700   130900 |    79846    71802     62 |  0.002 % |
93.43/93.53	c |    143181 |     220    18700   130900 |    79846    72856     62 |  0.002 % |
94.33/94.42	c |    144341 |     220    18700   130900 |    79846    74016     62 |  0.002 % |
95.23/95.33	c |    145615 |     220    18700   130900 |    79846    75290     62 |  0.002 % |
96.33/96.45	c |    147016 |     220    18700   130900 |    79846    76691     62 |  0.002 % |
97.73/97.86	c |    148557 |     220    18700   130900 |    79846    78232     62 |  0.002 % |
97.83/97.98	c |    148657 |     220    18700   130900 |    79846    78332     62 |  0.002 % |
97.92/98.08	c |    148768 |     220    18700   130900 |    79846    78443     62 |  0.002 % |
98.02/98.19	c |    148891 |     220    18700   130900 |    79846    78566     62 |  0.002 % |
98.22/98.33	c |    149025 |     220    18700   130900 |    79846    78700     62 |  0.002 % |
98.42/98.52	c |    149171 |     220    18700   130900 |    79846    78846     62 |  0.002 % |
98.52/98.69	c |    149334 |     220    18700   130900 |    79846    79009     62 |  0.002 % |
98.72/98.86	c |    149510 |     220    18700   130900 |    79846    79185     62 |  0.002 % |
98.93/99.09	c |    149703 |     220    18700   130900 |    79846    79378     62 |  0.002 % |
99.12/99.29	c |    149917 |     220    18700   130900 |    79846    79592     62 |  0.002 % |
99.52/99.60	c |    150150 |     220    18700   130900 |    79676    70341     62 |  0.002 % |
99.72/99.81	c |    150408 |     220    18700   130900 |    79676    70599     62 |  0.002 % |
99.93/100.02	c |    150692 |     220    18700   130900 |    79676    70883     62 |  0.002 % |
100.12/100.26	c |    151001 |     220    18700   130900 |    79676    71192     62 |  0.002 % |
100.42/100.56	c |    151340 |     220    18700   130900 |    79676    71531     62 |  0.002 % |
100.72/100.86	c |    151712 |     220    18700   130900 |    79676    71903     62 |  0.002 % |
101.13/101.22	c |    152121 |     220    18700   130900 |    79676    72312     62 |  0.002 % |
101.42/101.55	c |    152571 |     220    18700   130900 |    79676    72762     62 |  0.002 % |
101.92/102.03	c |    153064 |     220    18700   130900 |    79676    73255     62 |  0.002 % |
102.42/102.52	c |    153606 |     220    18700   130900 |    79676    73797     62 |  0.002 % |
102.92/103.05	c |    154202 |     220    18700   130900 |    79676    74393     62 |  0.002 % |
103.52/103.61	c |    154858 |     220    18700   130900 |    79676    75049     62 |  0.002 % |
104.02/104.17	c |    155579 |     220    18700   130900 |    79676    75770     62 |  0.002 % |
104.92/105.00	c |    156372 |     220    18700   130900 |    79676    76563     62 |  0.002 % |
105.62/105.79	c |    157245 |     220    18700   130900 |    79676    77436     62 |  0.002 % |
106.42/106.53	c |    158203 |     220    18700   130900 |    79676    78394     62 |  0.002 % |
107.22/107.37	c |    159258 |     220    18700   130900 |    79676    79449     62 |  0.002 % |
108.22/108.38	c |    160416 |     220    18700   130900 |    70667    62784     62 |  0.002 % |
109.12/109.28	c |    161689 |     220    18700   130900 |    70667    64057     62 |  0.002 % |
110.22/110.32	c |    163090 |     220    18700   130900 |    70667    65458     62 |  0.002 % |
111.42/111.57	c |    164634 |     220    18700   130900 |    70667    67002     62 |  0.002 % |
112.72/112.80	c |    166328 |     220    18700   130900 |    70667    68696     62 |  0.002 % |
112.72/112.88	c |    166430 |     220    18700   130900 |    70667    68798     62 |  0.002 % |
112.82/112.98	c |    166540 |     220    18700   130900 |    70667    68908     62 |  0.002 % |
113.02/113.12	c |    166662 |     220    18700   130900 |    70667    69030     62 |  0.002 % |
113.12/113.25	c |    166795 |     220    18700   130900 |    70667    69163     62 |  0.002 % |
113.22/113.38	c |    166941 |     220    18700   130900 |    70667    69309     62 |  0.002 % |
113.42/113.51	c |    167102 |     220    18700   130900 |    70667    69470     62 |  0.002 % |
113.52/113.65	c |    167278 |     220    18700   130900 |    70667    69646     62 |  0.002 % |
113.72/113.82	c |    167474 |     220    18700   130900 |    70667    69842     62 |  0.002 % |
113.82/114.00	c |    167687 |     220    18700   130900 |    70667    70055     62 |  0.002 % |
114.02/114.18	c |    167920 |     220    18700   130900 |    70667    70288     62 |  0.002 % |
114.32/114.40	c |    168177 |     220    18700   130900 |    70667    70545     62 |  0.002 % |
114.52/114.68	c |    168460 |     220    18700   130900 |    70667    63752     62 |  0.002 % |
114.72/114.89	c |    168770 |     220    18700   130900 |    70667    64062     62 |  0.002 % |
115.02/115.14	c |    169110 |     220    18700   130900 |    70667    64402     62 |  0.002 % |
115.22/115.37	c |    169482 |     220    18700   130900 |    70667    64774     62 |  0.002 % |
115.52/115.64	c |    169891 |     220    18700   130900 |    70667    65183     62 |  0.002 % |
115.82/115.96	c |    170340 |     220    18700   130900 | 2147483647    65632     62 |  0.002 % |
116.22/116.31	c |    170833 |     220    18700   130900 | 2147483647    66125     62 |  0.002 % |
116.62/116.70	c |    171375 |     220    18700   130900 | 2147483647    66667     62 |  0.002 % |
117.02/117.12	c |    171972 |     220    18700   130900 | 2147483647    67264     62 |  0.002 % |
117.42/117.53	c |    172627 |     220    18700   130900 | 2147483647    67919     62 |  0.002 % |
117.92/118.05	c |    173347 |     220    18700   130900 | 2147483647    68639     62 |  0.002 % |
118.52/118.62	c |    174141 |     220    18700   130900 | 2147483647    69433     62 |  0.002 % |
119.22/119.30	c |    175012 |     220    18700   130900 | 2147483647    70304     62 |  0.002 % |
120.02/120.18	c |    175971 |     220    18700   130900 | 2147483647    71263     62 |  0.002 % |
121.02/121.12	c |    177025 |     220    18700   130900 | 2147483647    72317     62 |  0.002 % |
122.12/122.21	c |    178183 |     220    18700   130900 | 2147483647    73475     62 |  0.002 % |
123.22/123.36	c |    179456 |     220    18700   130900 | 2147483647    74748     62 |  0.002 % |
124.32/124.45	c |    180857 |     220    18700   130900 | 2147483647    76149     62 |  0.002 % |
125.62/125.73	c |    182398 |     220    18700   130900 | 2147483647    77690     62 |  0.002 % |
126.91/127.08	c |    184092 |     220    18700   130900 | 2147483647    79384     62 |  0.002 % |
128.71/128.87	c |    185955 |     220    18700   130900 | 2147483647    81247     62 |  0.002 % |
128.81/128.97	c |    186055 |     220    18700   130900 | 2147483647    81347     62 |  0.002 % |
128.91/129.10	c |    186167 |     220    18700   130900 | 2147483647    81459     62 |  0.002 % |
129.11/129.22	c |    186289 |     220    18700   130900 | 2147483647    81581     62 |  0.002 % |
129.21/129.35	c |    186424 |     220    18700   130900 | 2147483647    81716     62 |  0.002 % |
129.41/129.51	c |    186571 |     220    18700   130900 | 2147483647    81863     62 |  0.002 % |
129.51/129.68	c |    186733 |     220    18700   130900 | 2147483647    82025     62 |  0.002 % |
129.72/129.85	c |    186912 |     220    18700   130900 | 2147483647    82204     62 |  0.002 % |
129.91/130.03	c |    187105 |     220    18700   130900 | 2147483647    82397     62 |  0.002 % |
130.11/130.24	c |    187317 |     220    18700   130900 | 2147483647    82609     62 |  0.002 % |
130.31/130.46	c |    187552 |     220    18700   130900 | 2147483647    82844     62 |  0.002 % |
130.61/130.77	c |    187810 |     220    18700   130900 | 2147483647    83102     62 |  0.002 % |
130.91/131.09	c |    188091 |     220    18700   130900 | 2147483647    83383     62 |  0.002 % |
131.31/131.43	c |    188400 |     220    18700   130900 | 2147483647    83692     62 |  0.002 % |
131.61/131.77	c |    188740 |     220    18700   130900 | 2147483647    84032     62 |  0.002 % |
132.01/132.15	c |    189113 |     220    18700   130900 | 2147483647    84405     62 |  0.002 % |
132.42/132.51	c |    189522 |     220    18700   130900 | 2147483647    84814     62 |  0.002 % |
132.82/132.97	c |    189972 |     220    18700   130900 | 2147483647    85264     62 |  0.002 % |
133.42/133.50	c |    190466 |     220    18700   130900 |    85292    74211     62 |  0.002 % |
133.82/133.98	c |    191008 |     220    18700   130900 |    85292    74753     62 |  0.002 % |
134.42/134.54	c |    191604 |     220    18700   130900 |    85292    75349     62 |  0.002 % |
135.02/135.15	c |    192263 |     220    18700   130900 |    85292    76008     62 |  0.002 % |
135.62/135.75	c |    192983 |     220    18700   130900 |    85292    76728     62 |  0.002 % |
136.22/136.38	c |    193775 |     220    18700   130900 |    85292    77520     62 |  0.002 % |
136.92/137.09	c |    194646 |     220    18700   130900 |    85292    78391     62 |  0.002 % |
137.72/137.84	c |    195606 |     220    18700   130900 |    85292    79351     62 |  0.002 % |
138.62/138.73	c |    196659 |     220    18700   130900 |    85292    80404     62 |  0.002 % |
139.52/139.70	c |    197818 |     220    18700   130900 |    85292    81563     62 |  0.002 % |
140.62/140.77	c |    199092 |     220    18700   130900 |    85292    82837     62 |  0.002 % |
142.12/142.22	c |    200496 |     220    18700   130900 |    83745    73114     62 |  0.002 % |
143.42/143.55	c |    202037 |     220    18700   130900 |    83745    74655     62 |  0.002 % |
144.92/145.03	c |    203731 |     220    18700   130900 |    83745    76349     62 |  0.002 % |
146.52/146.69	c |    205595 |     220    18700   130900 |    83745    78213     62 |  0.002 % |
148.32/148.49	c |    207644 |     220    18700   130900 |    83745    80262     62 |  0.002 % |
148.42/148.59	c |    207744 |     220    18700   130900 |    83745    80362     62 |  0.002 % |
148.51/148.69	c |    207855 |     220    18700   130900 |    83745    80473     62 |  0.002 % |
148.71/148.83	c |    207977 |     220    18700   130900 |    83745    80595     62 |  0.002 % |
148.81/148.96	c |    208110 |     220    18700   130900 |    83745    80728     62 |  0.002 % |
148.91/149.07	c |    208256 |     220    18700   130900 |    83745    80874     62 |  0.002 % |
149.11/149.20	c |    208417 |     220    18700   130900 |    83745    81035     62 |  0.002 % |
149.21/149.34	c |    208594 |     220    18700   130900 |    83745    81212     62 |  0.002 % |
149.42/149.58	c |    208787 |     220    18700   130900 |    83745    81405     62 |  0.002 % |
149.61/149.79	c |    209002 |     220    18700   130900 |    83745    81620     62 |  0.002 % |
149.91/150.05	c |    209235 |     220    18700   130900 |    83745    81853     62 |  0.002 % |
150.21/150.30	c |    209491 |     220    18700   130900 |    83745    82109     62 |  0.002 % |
150.41/150.57	c |    209772 |     220    18700   130900 |    83745    82390     62 |  0.002 % |
150.71/150.84	c |    210083 |     220    18700   130900 |    82618    82701     62 |  0.002 % |
151.12/151.25	c |    210423 |     220    18700   130900 |    82618    71810     62 |  0.002 % |
151.42/151.59	c |    210799 |     220    18700   130900 |    82618    72186     62 |  0.002 % |
151.81/151.92	c |    211208 |     220    18700   130900 |    82618    72595     62 |  0.002 % |
152.11/152.27	c |    211660 |     220    18700   130900 |    82618    73047     62 |  0.002 % |
152.51/152.68	c |    212156 |     220    18700   130900 |    82618    73543     62 |  0.002 % |
153.01/153.11	c |    212699 |     220    18700   130900 |    82618    74086     62 |  0.002 % |
153.51/153.61	c |    213295 |     220    18700   130900 |    82618    74682     62 |  0.002 % |
154.01/154.14	c |    213950 |     220    18700   130900 |    82618    75337     62 |  0.002 % |
154.51/154.70	c |    214671 |     220    18700   130900 |    82618    76058     62 |  0.002 % |
155.21/155.34	c |    215465 |     220    18700   130900 |    82618    76852     62 |  0.002 % |
155.91/156.07	c |    216336 |     220    18700   130900 |    82618    77723     62 |  0.002 % |
156.61/156.79	c |    217296 |     220    18700   130900 |    82618    78683     62 |  0.002 % |
157.51/157.67	c |    218352 |     220    18700   130900 |    82618    79739     62 |  0.002 % |
158.41/158.56	c |    219510 |     220    18700   130900 |    82618    80897     62 |  0.002 % |
159.81/159.90	c |    220784 |     220    18700   130900 |    81387    72134     62 |  0.002 % |
160.91/161.05	c |    222184 |     220    18700   130900 |    81387    73534     62 |  0.002 % |
162.21/162.34	c |    223724 |     220    18700   130900 |    81387    75074     62 |  0.002 % |
163.61/163.70	c |    225418 |     220    18700   130900 |    81387    76768     62 |  0.002 % |
165.11/165.22	c |    227283 |     220    18700   130900 |    81387    78633     62 |  0.002 % |
166.71/166.84	c |    229334 |     220    18700   130900 |    81387    80684     62 |  0.002 % |
168.51/168.62	c |    231588 |     220    18700   130900 |    81351    73309     63 |  0.002 % |
168.61/168.73	c |    231688 |     220    18700   130900 |    81351    73409     63 |  0.002 % |
168.71/168.83	c |    231799 |     220    18700   130900 |    81351    73520     63 |  0.002 % |
168.81/168.94	c |    231923 |     220    18700   130900 |    81351    73644     63 |  0.002 % |
168.91/169.05	c |    232057 |     220    18700   130900 |    81351    73778     63 |  0.002 % |
169.11/169.23	c |    232205 |     220    18700   130900 |    81351    73926     62 |  0.002 % |
169.21/169.39	c |    232365 |     220    18700   130900 |    81351    74086     63 |  0.002 % |
169.41/169.55	c |    232541 |     220    18700   130900 |    81351    74262     63 |  0.002 % |
169.61/169.76	c |    232735 |     220    18700   130900 |    81351    74456     62 |  0.002 % |
169.81/169.96	c |    232947 |     220    18700   130900 |    81351    74668     62 |  0.002 % |
170.01/170.15	c |    233182 |     220    18700   130900 |    81351    74903     62 |  0.002 % |
170.21/170.36	c |    233440 |     220    18700   130900 |    81351    75161     62 |  0.002 % |
170.51/170.63	c |    233724 |     220    18700   130900 |    81351    75445     62 |  0.002 % |
170.81/170.92	c |    234033 |     220    18700   130900 |    81351    75754     63 |  0.002 % |
171.11/171.27	c |    234376 |     220    18700   130900 |    81351    76097     62 |  0.002 % |
171.51/171.63	c |    234748 |     220    18700   130900 |    81351    76469     62 |  0.002 % |
171.91/172.01	c |    235157 |     220    18700   130900 |    81351    76878     63 |  0.002 % |
172.31/172.42	c |    235607 |     220    18700   130900 |    81351    77328     62 |  0.002 % |
172.71/172.87	c |    236100 |     220    18700   130900 |    81351    77821     63 |  0.002 % |
173.21/173.36	c |    236642 |     220    18700   130900 |    81351    78363     62 |  0.002 % |
173.71/173.82	c |    237240 |     220    18700   130900 |    81351    78961     62 |  0.002 % |
174.21/174.32	c |    237897 |     220    18700   130900 |    81351    79618     63 |  0.002 % |
174.81/174.95	c |    238618 |     220    18700   130900 |    81351    80339     63 |  0.002 % |
175.51/175.65	c |    239413 |     220    18700   130900 |    81351    81134     63 |  0.002 % |
176.31/176.48	c |    240284 |     220    18700   130900 |    71470    62844     62 |  0.002 % |
176.91/177.10	c |    241248 |     220    18700   130900 |    71470    63808     62 |  0.002 % |
177.70/177.81	c |    242301 |     220    18700   130900 |    71470    64861     62 |  0.002 % |
178.40/178.57	c |    243460 |     220    18700   130900 |    71470    66020     62 |  0.002 % |
179.30/179.45	c |    244733 |     220    18700   130900 |    71470    67293     62 |  0.002 % |
180.21/180.38	c |    246134 |     220    18700   130900 |    71470    68694     62 |  0.002 % |
181.41/181.53	c |    247674 |     220    18700   130900 |    71470    70234     62 |  0.002 % |
182.60/182.71	c |    249368 |     220    18700   130900 |    71470    64772     62 |  0.002 % |
183.90/184.00	c |    251231 |     220    18700   130900 | 2147483647    66635     62 |  0.002 % |
185.40/185.56	c |    253280 |     220    18700   130900 | 2147483647    68684     62 |  0.002 % |
187.10/187.23	c |    255534 |     220    18700   130900 | 2147483647    70938     62 |  0.002 % |
189.01/189.16	c |    258013 |     220    18700   130900 | 2147483647    73417     62 |  0.002 % |
189.11/189.25	c |    258113 |     220    18700   130900 | 2147483647    73517     62 |  0.002 % |
189.20/189.35	c |    258223 |     220    18700   130900 | 2147483647    73627     62 |  0.002 % |
189.30/189.46	c |    258344 |     220    18700   130900 | 2147483647    73748     62 |  0.002 % |
189.40/189.58	c |    258477 |     220    18700   130900 | 2147483647    73881     62 |  0.002 % |
189.60/189.72	c |    258623 |     220    18700   130900 | 2147483647    74027     62 |  0.002 % |
189.70/189.86	c |    258784 |     220    18700   130900 | 2147483647    74188     62 |  0.002 % |
189.90/190.00	c |    258962 |     220    18700   130900 | 2147483647    74366     62 |  0.002 % |
190.00/190.15	c |    259155 |     220    18700   130900 | 2147483647    74559     62 |  0.002 % |
190.21/190.32	c |    259367 |     220    18700   130900 | 2147483647    74771     62 |  0.002 % |
190.40/190.53	c |    259601 |     220    18700   130900 | 2147483647    75005     62 |  0.002 % |
190.60/190.76	c |    259857 |     220    18700   130900 | 2147483647    75261     62 |  0.002 % |
190.90/191.00	c |    260139 |     220    18700   130900 | 2147483647    75543     62 |  0.002 % |
191.10/191.25	c |    260448 |     220    18700   130900 | 2147483647    75852     62 |  0.002 % |
191.40/191.56	c |    260787 |     220    18700   130900 | 2147483647    76191     62 |  0.002 % |
191.70/191.88	c |    261160 |     220    18700   130900 | 2147483647    76564     62 |  0.002 % |
192.10/192.21	c |    261569 |     220    18700   130900 | 2147483647    76973     62 |  0.002 % |
192.60/192.71	c |    262018 |     220    18700   130900 | 2147483647    77422     62 |  0.002 % |
193.00/193.19	c |    262511 |     220    18700   130900 | 2147483647    77915     62 |  0.002 % |
193.50/193.68	c |    263056 |     220    18700   130900 | 2147483647    78460     62 |  0.002 % |
194.10/194.22	c |    263653 |     220    18700   130900 | 2147483647    79057     62 |  0.002 % |
194.60/194.75	c |    264309 |     220    18700   130900 | 2147483647    79713     62 |  0.002 % |
195.20/195.37	c |    265031 |     220    18700   130900 | 2147483647    80435     62 |  0.002 % |
196.00/196.13	c |    265824 |     220    18700   130900 | 2147483647    81228     62 |  0.002 % |
196.80/196.97	c |    266695 |     220    18700   130900 | 2147483647    82099     62 |  0.002 % |
197.70/197.84	c |    267655 |     220    18700   130900 | 2147483647    83059     62 |  0.002 % |
198.70/198.80	c |    268708 |     220    18700   130900 | 2147483647    84112     62 |  0.002 % |
199.70/199.87	c |    269866 |     220    18700   130900 | 2147483647    85270     62 |  0.002 % |
200.80/200.96	c |    271141 |     220    18700   130900 |    85404    75155     62 |  0.002 % |
201.90/202.03	c |    272541 |     220    18700   130900 |    85404    76555     62 |  0.002 % |
203.30/203.46	c |    274082 |     220    18700   130900 |    85404    78096     63 |  0.002 % |
204.89/205.03	c |    275777 |     220    18700   130900 |    85404    79791     63 |  0.002 % |
206.39/206.53	c |    277640 |     220    18700   130900 |    85404    81654     63 |  0.002 % |
207.99/208.12	c |    279689 |     220    18700   130900 |    85404    83703     63 |  0.002 % |
209.69/209.85	c |    281943 |     220    18700   130900 |    84016    75529     63 |  0.002 % |
211.59/211.77	c |    284421 |     220    18700   130900 |    84016    78007     63 |  0.002 % |
213.79/213.90	c |    287147 |     220    18700   130900 |    84016    80733     63 |  0.002 % |
213.89/214.00	c |    287248 |     220    18700   130900 |    84016    80834     63 |  0.002 % |
213.99/214.10	c |    287359 |     220    18700   130900 |    84016    80945     63 |  0.002 % |
214.09/214.20	c |    287480 |     220    18700   130900 |    84016    81066     63 |  0.002 % |
214.19/214.32	c |    287613 |     220    18700   130900 |    84016    81199     63 |  0.002 % |
214.30/214.46	c |    287759 |     220    18700   130900 |    84016    81345     63 |  0.002 % |
214.40/214.60	c |    287920 |     220    18700   130900 |    84016    81506     63 |  0.002 % |
214.59/214.75	c |    288097 |     220    18700   130900 |    84016    81683     63 |  0.002 % |
214.79/214.99	c |    288293 |     220    18700   130900 |    84016    81879     63 |  0.002 % |
215.09/215.20	c |    288506 |     220    18700   130900 |    84016    82092     63 |  0.002 % |
215.29/215.44	c |    288741 |     220    18700   130900 |    84016    82327     63 |  0.002 % |
215.49/215.67	c |    288997 |     220    18700   130900 |    84016    82583     63 |  0.002 % |
215.79/215.94	c |    289279 |     220    18700   130900 |    84016    82865     63 |  0.002 % |
216.09/216.25	c |    289589 |     220    18700   130900 |    84016    83175     63 |  0.002 % |
216.49/216.61	c |    289929 |     220    18700   130900 |    84016    83515     63 |  0.002 % |
216.89/217.03	c |    290301 |     220    18700   130900 |    83586    73372     63 |  0.002 % |
217.29/217.41	c |    290711 |     220    18700   130900 |    83586    73782     63 |  0.002 % |
217.59/217.79	c |    291160 |     220    18700   130900 |    83586    74231     63 |  0.002 % |
217.99/218.19	c |    291654 |     220    18700   130900 |    83586    74725     63 |  0.002 % |
218.49/218.62	c |    292196 |     220    18700   130900 |    83586    75267     63 |  0.002 % |
218.99/219.11	c |    292795 |     220    18700   130900 |    83586    75866     63 |  0.002 % |
219.49/219.66	c |    293450 |     220    18700   130900 |    83586    76521     63 |  0.002 % |
219.99/220.19	c |    294171 |     220    18700   130900 |    83586    77242     63 |  0.002 % |
220.69/220.82	c |    294964 |     220    18700   130900 |    83586    78035     63 |  0.002 % |
221.39/221.52	c |    295835 |     220    18700   130900 |    83586    78906     63 |  0.002 % |
222.09/222.27	c |    296794 |     220    18700   130900 |    83586    79865     63 |  0.002 % |
222.89/223.07	c |    297848 |     220    18700   130900 |    83586    80919     63 |  0.002 % |
223.89/224.05	c |    299006 |     220    18700   130900 |    83586    82077     63 |  0.002 % |
225.19/225.40	c |    300279 |     220    18700   130900 |    83071    73014     63 |  0.002 % |
226.28/226.46	c |    301679 |     220    18700   130900 |    83071    74414     63 |  0.002 % |
227.39/227.60	c |    303219 |     220    18700   130900 |    83071    75954     63 |  0.002 % |
228.69/228.89	c |    304913 |     220    18700   130900 |    83071    77648     63 |  0.002 % |
230.28/230.46	c |    306777 |     220    18700   130900 |    83071    79512     63 |  0.002 % |
232.08/232.24	c |    308828 |     220    18700   130900 |    83071    81563     63 |  0.002 % |
233.98/234.10	c |    311081 |     220    18700   130900 |    82735    73812     63 |  0.002 % |
235.88/236.06	c |    313561 |     220    18700   130900 |    82735    76292     63 |  0.002 % |
237.88/238.04	c |    316286 |     220    18700   130900 |    82735    79017     63 |  0.002 % |
240.38/240.55	c |    319285 |     220    18700   130900 |    82735    82016     63 |  0.002 % |
240.48/240.64	c |    319385 |     220    18700   130900 |    82735    82116     63 |  0.002 % |
240.58/240.74	c |    319498 |     220    18700   130900 |    82735    82229     63 |  0.002 % |
240.68/240.86	c |    319619 |     220    18700   130900 |    82735    82350     63 |  0.002 % |
240.78/240.99	c |    319752 |     220    18700   130900 |    82735    82483     63 |  0.002 % |
240.98/241.13	c |    319901 |     220    18700   130900 |    82735    82632     63 |  0.002 % |
241.08/241.29	c |    320062 |     220    18700   130900 |    82732    82793     63 |  0.002 % |
241.38/241.52	c |    320239 |     220    18700   130900 |    82732    73176     63 |  0.002 % |
241.58/241.71	c |    320432 |     220    18700   130900 |    82732    73369     63 |  0.002 % |
241.78/241.90	c |    320644 |     220    18700   130900 |    82732    73581     63 |  0.002 % |
241.98/242.11	c |    320878 |     220    18700   130900 |    82732    73815     63 |  0.002 % |
242.18/242.35	c |    321134 |     220    18700   130900 |    82732    74071     63 |  0.002 % |
242.38/242.60	c |    321415 |     220    18700   130900 |    82732    74352     63 |  0.002 % |
242.68/242.88	c |    321724 |     220    18700   130900 |    82732    74661     63 |  0.002 % |
242.98/243.17	c |    322064 |     220    18700   130900 |    82732    75001     63 |  0.002 % |
243.38/243.51	c |    322436 |     220    18700   130900 |    82732    75373     63 |  0.002 % |
243.68/243.85	c |    322848 |     220    18700   130900 |    82732    75785     63 |  0.002 % |
244.08/244.21	c |    323298 |     220    18700   130900 |    82732    76235     63 |  0.002 % |
244.48/244.64	c |    323792 |     220    18700   130900 |    82732    76729     63 |  0.002 % |
244.88/245.06	c |    324335 |     220    18700   130900 |    82732    77272     63 |  0.002 % |
245.38/245.52	c |    324931 |     220    18700   130900 |    82732    77868     63 |  0.002 % |
245.88/246.06	c |    325586 |     220    18700   130900 |    82732    78523     63 |  0.002 % |
246.58/246.79	c |    326307 |     220    18700   130900 |    82732    79244     63 |  0.002 % |
247.38/247.55	c |    327099 |     220    18700   130900 |    82732    80036     63 |  0.002 % |
248.18/248.39	c |    327970 |     220    18700   130900 |    82732    80907     63 |  0.002 % |
249.08/249.28	c |    328929 |     220    18700   130900 |    82732    81866     63 |  0.002 % |
250.18/250.36	c |    329982 |     220    18700   130900 |    82732    71790     63 |  0.002 % |
251.08/251.22	c |    331142 |     220    18700   130900 |    71808    63400     63 |  0.002 % |
251.88/252.05	c |    332415 |     220    18700   130900 |    71808    64673     63 |  0.002 % |
252.78/252.96	c |    333816 |     220    18700   130900 |    71808    66074     63 |  0.002 % |
253.98/254.13	c |    335357 |     220    18700   130900 |    71808    67615     63 |  0.002 % |
255.17/255.33	c |    337051 |     220    18700   130900 |    71808    69309     63 |  0.002 % |
256.67/256.83	c |    338916 |     220    18700   130900 |    71808    71174     63 |  0.002 % |
258.17/258.38	c |    340966 |     220    18700   130900 | 2147483647    66033     63 |  0.002 % |
259.77/259.95	c |    343220 |     220    18700   130900 | 2147483647    68287     63 |  0.002 % |
261.57/261.74	c |    345699 |     220    18700   130900 | 2147483647    70766     63 |  0.002 % |
263.57/263.78	c |    348424 |     220    18700   130900 | 2147483647    73491     63 |  0.002 % |
265.87/266.06	c |    351422 |     220    18700   130900 | 2147483647    76489     63 |  0.002 % |
268.57/268.77	c |    354718 |     220    18700   130900 | 2147483647    79785     63 |  0.002 % |
268.67/268.87	c |    354821 |     220    18700   130900 | 2147483647    79888     63 |  0.002 % |
268.77/268.97	c |    354932 |     220    18700   130900 | 2147483647    79999     63 |  0.002 % |
268.97/269.10	c |    355053 |     220    18700   130900 | 2147483647    80120     63 |  0.002 % |
269.07/269.28	c |    355187 |     220    18700   130900 | 2147483647    80254     63 |  0.002 % |
269.27/269.42	c |    355333 |     220    18700   130900 | 2147483647    80400     63 |  0.002 % |
269.37/269.57	c |    355496 |     220    18700   130900 | 2147483647    80563     63 |  0.002 % |
269.57/269.76	c |    355673 |     220    18700   130900 | 2147483647    80740     63 |  0.002 % |
269.77/269.93	c |    355867 |     220    18700   130900 | 2147483647    80934     63 |  0.002 % |
269.97/270.15	c |    356079 |     220    18700   130900 | 2147483647    81146     63 |  0.002 % |
270.26/270.43	c |    356312 |     220    18700   130900 | 2147483647    81379     63 |  0.002 % |
270.47/270.69	c |    356569 |     220    18700   130900 | 2147483647    81636     63 |  0.002 % |
270.86/271.01	c |    356851 |     220    18700   130900 | 2147483647    81918     63 |  0.002 % |
271.06/271.29	c |    357160 |     220    18700   130900 | 2147483647    82227     63 |  0.002 % |
271.36/271.57	c |    357500 |     220    18700   130900 | 2147483647    82567     63 |  0.002 % |
271.76/271.93	c |    357872 |     220    18700   130900 | 2147483647    82939     63 |  0.002 % |
272.16/272.31	c |    358283 |     220    18700   130900 | 2147483647    83350     63 |  0.002 % |
272.58/272.71	c |    358733 |     220    18700   130900 | 2147483647    83800     63 |  0.002 % |
272.97/273.19	c |    359226 |     220    18700   130900 | 2147483647    84293     63 |  0.002 % |
273.57/273.70	c |    359769 |     220    18700   130900 | 2147483647    84836     63 |  0.002 % |
274.07/274.25	c |    360365 |     220    18700   130900 |    85067    75020     63 |  0.002 % |
274.57/274.74	c |    361020 |     220    18700   130900 |    85067    75675     63 |  0.002 % |
275.27/275.40	c |    361741 |     220    18700   130900 |    85067    76396     63 |  0.002 % |
275.87/276.07	c |    362537 |     220    18700   130900 |    85067    77192     63 |  0.002 % |
276.67/276.87	c |    363408 |     220    18700   130900 |    85067    78063     63 |  0.002 % |
277.57/277.71	c |    364366 |     220    18700   130900 |    85067    79021     63 |  0.002 % |
278.37/278.51	c |    365420 |     220    18700   130900 |    85067    80075     63 |  0.002 % |
279.27/279.45	c |    366578 |     220    18700   130900 |    85067    81233     63 |  0.002 % |
280.37/280.57	c |    367851 |     220    18700   130900 |    85067    82506     63 |  0.002 % |
281.57/281.72	c |    369252 |     220    18700   130900 |    85067    83907     63 |  0.002 % |
282.77/282.98	c |    370792 |     220    18700   130900 |    84657    74196     63 |  0.002 % |
284.07/284.25	c |    372486 |     220    18700   130900 |    84657    75890     63 |  0.002 % |
285.47/285.69	c |    374349 |     220    18700   130900 |    84657    77753     63 |  0.002 % |
287.17/287.36	c |    376399 |     220    18700   130900 |    84657    79803     63 |  0.002 % |
289.07/289.21	c |    378652 |     220    18700   130900 |    84657    82056     63 |  0.002 % |
290.96/291.17	c |    381130 |     220    18700   130900 |    83409    74987     63 |  0.002 % |
293.06/293.21	c |    383855 |     220    18700   130900 |    83409    77712     63 |  0.002 % |
295.36/295.57	c |    386853 |     220    18700   130900 |    83409    80710     63 |  0.002 % |
298.16/298.33	c |    390149 |     220    18700   130900 |    74362    66201     63 |  0.002 % |
300.76/300.98	c |    393776 |     220    18700   130900 |    74362    69828     63 |  0.002 % |
300.86/301.06	c |    393879 |     220    18700   130900 |    74362    69931     63 |  0.002 % |
300.96/301.15	c |    393989 |     220    18700   130900 |    74362    70041     63 |  0.002 % |
301.06/301.26	c |    394111 |     220    18700   130900 |    74362    70163     63 |  0.002 % |
301.16/301.37	c |    394244 |     220    18700   130900 |    74362    70296     63 |  0.002 % |
301.36/301.51	c |    394393 |     220    18700   130900 |    74362    70445     63 |  0.002 % |
301.46/301.65	c |    394553 |     220    18700   130900 |    74362    70605     63 |  0.002 % |
301.66/301.84	c |    394729 |     220    18700   130900 |    74362    70781     63 |  0.002 % |
301.86/302.00	c |    394922 |     220    18700   130900 |    74362    70974     63 |  0.002 % |
301.96/302.16	c |    395134 |     220    18700   130900 |    74362    71186     63 |  0.002 % |
302.16/302.34	c |    395367 |     220    18700   130900 |    74362    71419     63 |  0.002 % |
302.36/302.53	c |    395624 |     220    18700   130900 |    74362    71676     63 |  0.002 % |
302.56/302.77	c |    395905 |     220    18700   130900 |    74362    71957     63 |  0.002 % |
302.86/303.01	c |    396214 |     220    18700   130900 |    74362    72266     63 |  0.002 % |
303.06/303.28	c |    396553 |     220    18700   130900 |    74362    72605     63 |  0.002 % |
303.46/303.66	c |    396925 |     220    18700   130900 |    74362    72977     63 |  0.002 % |
303.86/304.05	c |    397337 |     220    18700   130900 |    74362    73389     63 |  0.002 % |
304.26/304.47	c |    397786 |     220    18700   130900 |    74362    73838     63 |  0.002 % |
304.66/304.87	c |    398279 |     220    18700   130900 |    74362    74331     63 |  0.002 % |
305.16/305.33	c |    398821 |     220    18700   130900 |    74362    67426     63 |  0.002 % |
305.56/305.79	c |    399420 |     220    18700   130900 |    74362    68025     63 |  0.002 % |
306.06/306.30	c |    400075 |     220    18700   130900 | 2147483647    68680     63 |  0.002 % |
306.66/306.88	c |    400797 |     220    18700   130900 | 2147483647    69402     63 |  0.002 % |
307.26/307.48	c |    401589 |     220    18700   130900 | 2147483647    70194     63 |  0.002 % |
308.06/308.23	c |    402461 |     220    18700   130900 | 2147483647    71066     63 |  0.002 % |
308.76/308.99	c |    403420 |     220    18700   130900 | 2147483647    72025     63 |  0.002 % |
309.66/309.85	c |    404474 |     220    18700   130900 | 2147483647    73079     63 |  0.002 % |
310.56/310.74	c |    405632 |     220    18700   130900 | 2147483647    74237     63 |  0.002 % |
311.46/311.69	c |    406906 |     220    18700   130900 | 2147483647    75511     63 |  0.002 % |
312.56/312.74	c |    408307 |     220    18700   130900 | 2147483647    76912     63 |  0.002 % |
313.76/313.97	c |    409849 |     220    18700   130900 | 2147483647    78454     63 |  0.002 % |
315.06/315.26	c |    411543 |     220    18700   130900 | 2147483647    80148     63 |  0.002 % |
316.66/316.82	c |    413408 |     220    18700   130900 | 2147483647    82013     63 |  0.002 % |
318.25/318.47	c |    415458 |     220    18700   130900 | 2147483647    84063     63 |  0.002 % |
320.25/320.41	c |    417711 |     220    18700   130900 | 2147483647    86316     63 |  0.002 % |
322.35/322.55	c |    420191 |     220    18700   130900 |    88606    76831     63 |  0.002 % |
324.55/324.71	c |    422916 |     220    18700   130900 |    88606    79556     63 |  0.002 % |
326.95/327.18	c |    425915 |     220    18700   130900 |    88606    82555     63 |  0.002 % |
329.65/329.84	c |    429211 |     220    18700   130900 |    88606    85851     63 |  0.002 % |
332.75/332.90	c |    432836 |     220    18700   130900 |    86640    78354     63 |  0.002 % |
335.95/336.13	c |    436823 |     220    18700   130900 |    86640    82341     63 |  0.002 % |
336.05/336.24	c |    436923 |     220    18700   130900 |    86640    82441     63 |  0.002 % |
336.15/336.34	c |    437034 |     220    18700   130900 |    86640    82552     63 |  0.002 % |
336.25/336.50	c |    437156 |     220    18700   130900 |    86640    82674     63 |  0.002 % |
336.45/336.64	c |    437289 |     220    18700   130900 |    86640    82807     63 |  0.002 % |
336.55/336.79	c |    437435 |     220    18700   130900 |    86640    82953     63 |  0.002 % |
336.75/336.97	c |    437596 |     220    18700   130900 |    86640    83114     63 |  0.002 % |
336.95/337.16	c |    437772 |     220    18700   130900 |    86640    83290     63 |  0.002 % |
337.15/337.36	c |    437965 |     220    18700   130900 |    86640    83483     63 |  0.002 % |
337.35/337.58	c |    438179 |     220    18700   130900 |    86640    83697     63 |  0.002 % |
337.65/337.82	c |    438414 |     220    18700   130900 |    86640    83932     63 |  0.002 % |
337.85/338.07	c |    438670 |     220    18700   130900 |    86640    84188     63 |  0.002 % |
338.14/338.34	c |    438951 |     220    18700   130900 |    86640    84469     63 |  0.002 % |
338.44/338.65	c |    439260 |     220    18700   130900 |    86640    84778     63 |  0.002 % |
338.74/338.97	c |    439599 |     220    18700   130900 |    86640    85117     63 |  0.002 % |
339.14/339.37	c |    439971 |     220    18700   130900 |    86640    85489     63 |  0.002 % |
339.65/339.80	c |    440380 |     220    18700   130900 |    85520    74559     63 |  0.002 % |
339.94/340.17	c |    440829 |     220    18700   130900 |    85520    75008     63 |  0.002 % |
340.34/340.54	c |    441323 |     220    18700   130900 |    85520    75502     63 |  0.002 % |
340.75/340.98	c |    441866 |     220    18700   130900 |    85520    76045     63 |  0.002 % |
341.24/341.42	c |    442465 |     220    18700   130900 |    85520    76644     63 |  0.002 % |
341.74/341.95	c |    443121 |     220    18700   130900 |    85520    77300     63 |  0.002 % |
342.34/342.54	c |    443843 |     220    18700   130900 |    85520    78022     63 |  0.002 % |
342.95/343.19	c |    444636 |     220    18700   130900 |    85520    78815     63 |  0.002 % |
343.64/343.81	c |    445507 |     220    18700   130900 |    85520    79686     63 |  0.002 % |
344.44/344.65	c |    446465 |     220    18700   130900 |    85520    80644     63 |  0.002 % |
345.34/345.55	c |    447519 |     220    18700   130900 |    85520    81698     63 |  0.002 % |
346.34/346.55	c |    448679 |     220    18700   130900 |    85520    82858     63 |  0.002 % |
347.44/347.66	c |    449954 |     220    18700   130900 |    85520    84133     63 |  0.002 % |
348.64/348.82	c |    451354 |     220    18700   130900 |    84179    74840     63 |  0.002 % |
349.74/349.97	c |    452894 |     220    18700   130900 |    84179    76380     63 |  0.002 % |
351.14/351.35	c |    454588 |     220    18700   130900 |    84179    78074     63 |  0.002 % |
352.74/352.91	c |    456451 |     220    18700   130900 |    84179    79937     63 |  0.002 % |
354.34/354.52	c |    458500 |     220    18700   130900 |    84179    81986     63 |  0.002 % |
356.24/356.48	c |    460754 |     220    18700   130900 |    83487    73882     63 |  0.002 % |
358.03/358.23	c |    463232 |     220    18700   130900 |    83487    76360     63 |  0.002 % |
359.93/360.19	c |    465957 |     220    18700   130900 |    83487    79085     63 |  0.002 % |
362.23/362.49	c |    468954 |     220    18700   130900 |    83487    82082     63 |  0.002 % |
364.83/365.01	c |    472250 |     220    18700   130900 |    83128    76713     63 |  0.002 % |
367.33/367.53	c |    475876 |     220    18700   130900 |    83128    80339     63 |  0.002 % |
370.53/370.76	c |    479863 |     220    18700   130900 |    83128    75978     63 |  0.002 % |
373.83/374.03	c |    484249 |     220    18700   130900 | 2147483647    80364     63 |  0.002 % |
373.93/374.12	c |    484350 |     220    18700   130900 | 2147483647    80465     63 |  0.002 % |
373.93/374.19	c |    484461 |     220    18700   130900 | 2147483647    80576     63 |  0.002 % |
374.13/374.30	c |    484582 |     220    18700   130900 | 2147483647    80697     63 |  0.002 % |
374.23/374.46	c |    484717 |     220    18700   130900 | 2147483647    80832     63 |  0.002 % |
374.33/374.59	c |    484863 |     220    18700   130900 | 2147483647    80978     63 |  0.002 % |
374.53/374.74	c |    485023 |     220    18700   130900 | 2147483647    81138     63 |  0.002 % |
374.73/374.94	c |    485199 |     220    18700   130900 | 2147483647    81314     63 |  0.002 % |
374.93/375.14	c |    485392 |     220    18700   130900 | 2147483647    81507     63 |  0.002 % |
375.13/375.36	c |    485604 |     220    18700   130900 | 2147483647    81719     63 |  0.002 % |
375.33/375.59	c |    485839 |     220    18700   130900 | 2147483647    81954     63 |  0.002 % |
375.63/375.82	c |    486096 |     220    18700   130900 | 2147483647    82211     63 |  0.002 % |
375.93/376.14	c |    486378 |     220    18700   130900 | 2147483647    82493     63 |  0.002 % |
376.23/376.45	c |    486688 |     220    18700   130900 | 2147483647    82803     63 |  0.002 % |
376.53/376.77	c |    487027 |     220    18700   130900 | 2147483647    83142     63 |  0.002 % |
377.03/377.20	c |    487401 |     220    18700   130900 | 2147483647    83516     63 |  0.002 % |
377.33/377.59	c |    487810 |     220    18700   130900 | 2147483647    83925     63 |  0.002 % |
377.83/378.05	c |    488263 |     220    18700   130900 | 2147483647    84378     63 |  0.002 % |
378.33/378.56	c |    488756 |     220    18700   130900 | 2147483647    84871     63 |  0.002 % |
378.83/379.08	c |    489300 |     220    18700   130900 | 2147483647    85415     63 |  0.002 % |
379.43/379.64	c |    489897 |     220    18700   130900 | 2147483647    86012     63 |  0.002 % |
380.03/380.27	c |    490552 |     220    18700   130900 |    86118    74738     63 |  0.002 % |
380.72/380.95	c |    491273 |     220    18700   130900 |    86118    75459     63 |  0.002 % |
381.43/381.66	c |    492065 |     220    18700   130900 |    86118    76251     63 |  0.002 % |
382.12/382.38	c |    492937 |     220    18700   130900 |    86118    77123     63 |  0.002 % |
382.92/383.15	c |    493895 |     220    18700   130900 |    86118    78081     63 |  0.002 % |
383.82/384.07	c |    494949 |     220    18700   130900 |    86118    79135     63 |  0.002 % |
384.83/385.08	c |    496110 |     220    18700   130900 |    86118    80296     63 |  0.002 % |
385.83/386.09	c |    497383 |     220    18700   130900 |    86118    81569     63 |  0.002 % |
386.93/387.18	c |    498784 |     220    18700   130900 |    86118    82970     63 |  0.002 % |
388.22/388.43	c |    500324 |     220    18700   130900 |    84186    73640     63 |  0.002 % |
389.32/389.54	c |    502019 |     220    18700   130900 |    84186    75335     63 |  0.002 % |
390.82/391.04	c |    503882 |     220    18700   130900 |    84186    77198     63 |  0.002 % |
392.32/392.56	c |    505932 |     220    18700   130900 |    84186    79248     63 |  0.002 % |
393.92/394.16	c |    508185 |     220    18700   130900 |    84186    81501     63 |  0.002 % |
395.82/396.09	c |    510664 |     220    18700   130900 |    83317    74536     63 |  0.002 % |
397.92/398.15	c |    513389 |     220    18700   130900 |    83317    77261     63 |  0.002 % |
400.32/400.53	c |    516386 |     220    18700   130900 |    83317    80258     63 |  0.002 % |
403.12/403.36	c |    519682 |     220    18700   130900 |    83317    74478     63 |  0.002 % |
405.82/406.09	c |    523307 |     220    18700   130900 |    74797    69955     63 |  0.002 % |
408.71/408.91	c |    527294 |     220    18700   130900 |    74797    73942     63 |  0.002 % |
412.01/412.24	c |    531679 |     220    18700   130900 | 2147483647    70837     63 |  0.002 % |
415.61/415.82	c |    536503 |     220    18700   130900 | 2147483647    75661     63 |  0.002 % |
415.71/415.93	c |    536603 |     220    18700   130900 | 2147483647    75761     63 |  0.002 % |
415.81/416.02	c |    536714 |     220    18700   130900 | 2147483647    75872     63 |  0.002 % |
415.91/416.11	c |    536836 |     220    18700   130900 | 2147483647    75994     63 |  0.002 % |
416.01/416.23	c |    536972 |     220    18700   130900 | 2147483647    76130     63 |  0.002 % |
416.11/416.36	c |    537119 |     220    18700   130900 | 2147483647    76277     63 |  0.002 % |
416.21/416.49	c |    537280 |     220    18700   130900 | 2147483647    76438     63 |  0.002 % |
416.41/416.66	c |    537458 |     220    18700   130900 | 2147483647    76616     63 |  0.002 % |
416.61/416.83	c |    537652 |     220    18700   130900 | 2147483647    76810     63 |  0.002 % |
416.81/417.01	c |    537864 |     220    18700   130900 | 2147483647    77022     63 |  0.002 % |
417.01/417.20	c |    538099 |     220    18700   130900 | 2147483647    77257     63 |  0.002 % |
417.21/417.48	c |    538356 |     220    18700   130900 | 2147483647    77514     63 |  0.002 % |
417.51/417.77	c |    538642 |     220    18700   130900 | 2147483647    77800     63 |  0.002 % |
417.81/418.03	c |    538952 |     220    18700   130900 | 2147483647    78110     63 |  0.002 % |
418.11/418.33	c |    539294 |     220    18700   130900 | 2147483647    78452     63 |  0.002 % |
418.41/418.65	c |    539666 |     220    18700   130900 | 2147483647    78824     63 |  0.002 % |
418.71/419.00	c |    540076 |     220    18700   130900 | 2147483647    79234     63 |  0.002 % |
419.21/419.42	c |    540525 |     220    18700   130900 | 2147483647    79683     63 |  0.002 % |
419.71/419.92	c |    541018 |     220    18700   130900 | 2147483647    80176     63 |  0.002 % |
420.21/420.46	c |    541561 |     220    18700   130900 | 2147483647    80719     63 |  0.002 % |
420.81/421.05	c |    542157 |     220    18700   130900 | 2147483647    81315     63 |  0.002 % |
421.41/421.63	c |    542812 |     220    18700   130900 | 2147483647    81970     63 |  0.002 % |
422.01/422.29	c |    543534 |     220    18700   130900 | 2147483647    82692     63 |  0.002 % |
422.81/423.05	c |    544326 |     220    18700   130900 | 2147483647    83484     63 |  0.002 % |
423.61/423.85	c |    545198 |     220    18700   130900 | 2147483647    84356     63 |  0.002 % |
424.41/424.69	c |    546157 |     220    18700   130900 | 2147483647    85315     63 |  0.002 % |
425.31/425.58	c |    547212 |     220    18700   130900 | 2147483647    86370     63 |  0.002 % |
426.31/426.57	c |    548370 |     220    18700   130900 | 2147483647    87528     63 |  0.002 % |
427.51/427.77	c |    549644 |     220    18700   130900 | 2147483647    88802     63 |  0.002 % |
428.82/429.01	c |    551045 |     220    18700   130900 |    89160    77646     63 |  0.002 % |
430.21/430.41	c |    552588 |     220    18700   130900 |    89160    79189     63 |  0.002 % |
431.71/431.91	c |    554282 |     220    18700   130900 |    89160    80883     63 |  0.002 % |
433.31/433.55	c |    556145 |     220    18700   130900 |    89160    82746     63 |  0.002 % |
435.11/435.31	c |    558195 |     220    18700   130900 |    89160    84796     63 |  0.002 % |
437.21/437.40	c |    560448 |     220    18700   130900 |    86602    74847     63 |  0.002 % |
439.21/439.44	c |    562926 |     220    18700   130900 |    86602    77325     63 |  0.002 % |
441.51/441.78	c |    565654 |     220    18700   130900 |    86602    80053     63 |  0.002 % |
443.81/444.08	c |    568651 |     220    18700   130900 |    86602    83050     63 |  0.002 % |
446.51/446.80	c |    571947 |     220    18700   130900 |    84399    75915     63 |  0.002 % |
449.31/449.53	c |    575574 |     220    18700   130900 |    84399    79542     63 |  0.002 % |
452.80/453.01	c |    579561 |     220    18700   130900 |    84399    83529     63 |  0.002 % |
456.31/456.53	c |    583947 |     220    18700   130900 |    83968    77228     63 |  0.002 % |
460.20/460.41	c |    588770 |     220    18700   130900 |    83968    82051     63 |  0.002 % |
464.50/464.78	c |    594076 |     220    18700   130900 |    83282    77286     63 |  0.002 % |
464.60/464.88	c |    594176 |     220    18700   130900 |    83282    77386     63 |  0.002 % |
464.70/464.98	c |    594286 |     220    18700   130900 |    83282    77496     63 |  0.002 % |
464.90/465.10	c |    594407 |     220    18700   130900 |    83282    77617     63 |  0.002 % |
465.00/465.21	c |    594540 |     220    18700   130900 |    83282    77750     63 |  0.002 % |
465.10/465.38	c |    594687 |     220    18700   130900 |    83282    77897     63 |  0.002 % |
465.30/465.51	c |    594847 |     220    18700   130900 |    83282    78057     63 |  0.002 % |
465.40/465.69	c |    595024 |     220    18700   130900 |    83282    78234     63 |  0.002 % |
465.70/465.91	c |    595218 |     220    18700   130900 |    83282    78428     63 |  0.002 % |
465.90/466.11	c |    595430 |     220    18700   130900 |    83282    78640     63 |  0.002 % |
466.10/466.33	c |    595664 |     220    18700   130900 |    83282    78874     63 |  0.002 % |
466.30/466.58	c |    595920 |     220    18700   130900 |    83282    79130     63 |  0.002 % |
466.60/466.86	c |    596203 |     220    18700   130900 |    83282    79413     63 |  0.002 % |
466.90/467.15	c |    596512 |     220    18700   130900 |    83282    79722     63 |  0.002 % |
467.30/467.51	c |    596852 |     220    18700   130900 |    83282    80062     63 |  0.002 % |
467.60/467.86	c |    597225 |     220    18700   130900 |    83282    80435     63 |  0.002 % |
468.00/468.22	c |    597634 |     220    18700   130900 |    83282    80844     63 |  0.002 % |
468.40/468.64	c |    598084 |     220    18700   130900 |    83282    81294     63 |  0.002 % |
468.90/469.13	c |    598577 |     220    18700   130900 |    83282    81787     63 |  0.002 % |
469.40/469.68	c |    599120 |     220    18700   130900 |    83282    82330     63 |  0.002 % |
470.00/470.21	c |    599718 |     220    18700   130900 |    83282    82928     63 |  0.002 % |
470.50/470.79	c |    600374 |     220    18700   130900 |    83212    72311     63 |  0.002 % |
471.00/471.29	c |    601094 |     220    18700   130900 |    83212    73031     63 |  0.002 % |
471.70/471.97	c |    601889 |     220    18700   130900 |    83212    73826     63 |  0.002 % |
472.50/472.73	c |    602760 |     220    18700   130900 |    83212    74697     63 |  0.002 % |
473.30/473.52	c |    603719 |     220    18700   130900 |    83212    75656     63 |  0.002 % |
474.09/474.36	c |    604773 |     220    18700   130900 |    83212    76710     63 |  0.002 % |
475.09/475.30	c |    605932 |     220    18700   130900 |    83212    77869     63 |  0.002 % |
476.10/476.38	c |    607207 |     220    18700   130900 |    83212    79144     63 |  0.002 % |
477.29/477.53	c |    608608 |     220    18700   130900 |    83212    80545     63 |  0.002 % |
478.59/478.84	c |    610148 |     220    18700   130900 |    81937    72249     63 |  0.002 % |
479.89/480.10	c |    611843 |     220    18700   130900 |    81937    73944     63 |  0.002 % |
481.29/481.52	c |    613707 |     220    18700   130900 |    81937    75808     63 |  0.002 % |
482.89/483.15	c |    615757 |     220    18700   130900 |    81937    77858     63 |  0.002 % |
484.69/484.94	c |    618013 |     220    18700   130900 |    81937    80114     63 |  0.002 % |
487.19/487.42	c |    620492 |     220    18700   130900 |    72812    64992     64 |  0.002 % |
489.09/489.35	c |    623218 |     220    18700   130900 |    72812    67718     64 |  0.002 % |
491.39/491.68	c |    626215 |     220    18700   130900 |    72812    70715     64 |  0.002 % |
493.89/494.12	c |    629513 |     220    18700   130900 |    72812    66722     64 |  0.002 % |
496.59/496.86	c |    633139 |     220    18700   130900 | 2147483647    70348     64 |  0.002 % |
499.59/499.83	c |    637126 |     220    18700   130900 | 2147483647    74335     64 |  0.002 % |
503.18/503.41	c |    641511 |     220    18700   130900 | 2147483647    78720     64 |  0.002 % |
507.28/507.53	c |    646334 |     220    18700   130900 | 2147483647    83543     64 |  0.002 % |
511.98/512.20	c |    651640 |     220    18700   130900 |    87209    76313     64 |  0.002 % |
516.98/517.23	c |    657475 |     220    18700   130900 |    87209    82148     64 |  0.002 % |
517.08/517.32	c |    657575 |     220    18700   130900 |    87209    82248     64 |  0.002 % |
517.18/517.44	c |    657686 |     220    18700   130900 |    87209    82359     64 |  0.002 % |
517.28/517.57	c |    657808 |     220    18700   130900 |    87209    82481     64 |  0.002 % |
517.38/517.70	c |    657944 |     220    18700   130900 |    87209    82617     64 |  0.002 % |
517.58/517.86	c |    658090 |     220    18700   130900 |    87209    82763     64 |  0.002 % |
517.78/518.01	c |    658250 |     220    18700   130900 |    87209    82923     64 |  0.002 % |
517.98/518.20	c |    658427 |     220    18700   130900 |    87209    83100     64 |  0.002 % |
518.08/518.38	c |    658621 |     220    18700   130900 |    87209    83294     64 |  0.002 % |
518.28/518.58	c |    658833 |     220    18700   130900 |    87209    83506     64 |  0.002 % |
518.58/518.81	c |    659066 |     220    18700   130900 |    87209    83739     64 |  0.002 % |
518.88/519.12	c |    659322 |     220    18700   130900 |    87209    83995     64 |  0.002 % |
519.18/519.41	c |    659603 |     220    18700   130900 |    87209    84276     64 |  0.002 % |
519.48/519.70	c |    659912 |     220    18700   130900 |    87209    84585     64 |  0.002 % |
519.78/520.10	c |    660254 |     220    18700   130900 |    84674    72766     63 |  0.002 % |
520.18/520.40	c |    660628 |     220    18700   130900 |    84674    73140     63 |  0.002 % |
520.38/520.68	c |    661038 |     220    18700   130900 |    84674    73550     63 |  0.002 % |
520.78/521.08	c |    661488 |     220    18700   130900 |    84674    74000     63 |  0.002 % |
521.18/521.49	c |    661981 |     220    18700   130900 |    84674    74493     63 |  0.002 % |
521.68/521.92	c |    662524 |     220    18700   130900 |    84674    75036     63 |  0.002 % |
522.28/522.52	c |    663121 |     220    18700   130900 |    84674    75633     63 |  0.002 % |
522.87/523.14	c |    663776 |     220    18700   130900 |    84674    76288     63 |  0.002 % |
523.47/523.72	c |    664496 |     220    18700   130900 |    84674    77008     63 |  0.002 % |
524.17/524.40	c |    665289 |     220    18700   130900 |    84674    77801     63 |  0.002 % |
524.87/525.12	c |    666160 |     220    18700   130900 |    84674    78672     63 |  0.002 % |
525.67/525.90	c |    667119 |     220    18700   130900 |    84674    79631     63 |  0.002 % |
526.58/526.81	c |    668172 |     220    18700   130900 |    84674    80684     63 |  0.002 % |
527.57/527.85	c |    669330 |     220    18700   130900 |    84674    81842     63 |  0.002 % |
528.67/528.94	c |    670605 |     220    18700   130900 |    82513    72518     64 |  0.002 % |
529.67/529.90	c |    672005 |     220    18700   130900 |    82513    73918     64 |  0.002 % |
530.97/531.25	c |    673546 |     220    18700   130900 |    82513    75459     64 |  0.002 % |
532.47/532.75	c |    675240 |     220    18700   130900 |    82513    77153     64 |  0.002 % |
533.97/534.23	c |    677103 |     220    18700   130900 |    82513    79016     64 |  0.002 % |
535.57/535.85	c |    679152 |     220    18700   130900 |    82513    81065     64 |  0.002 % |
537.27/537.59	c |    681406 |     220    18700   130900 |    81914    73505     64 |  0.002 % |
539.07/539.37	c |    683886 |     220    18700   130900 |    81914    75985     64 |  0.002 % |
541.27/541.54	c |    686611 |     220    18700   130900 |    81914    78710     64 |  0.002 % |
543.77/544.02	c |    689612 |     220    18700   130900 |    81914    81711     64 |  0.002 % |
546.27/546.52	c |    692909 |     220    18700   130900 |    72784    67450     63 |  0.002 % |
548.77/549.07	c |    696535 |     220    18700   130900 |    72784    71076     63 |  0.002 % |
552.07/552.33	c |    700522 |     220    18700   130900 | 2147483647    67774     63 |  0.002 % |
555.27/555.56	c |    704907 |     220    18700   130900 | 2147483647    72159     64 |  0.002 % |
558.96/559.22	c |    709733 |     220    18700   130900 | 2147483647    76985     64 |  0.002 % |
563.06/563.36	c |    715039 |     220    18700   130900 | 2147483647    82291     64 |  0.002 % |
568.16/568.44	c |    720874 |     220    18700   130900 |    87253    76398     64 |  0.002 % |
573.36/573.69	c |    727292 |     220    18700   130900 |    87253    82816     64 |  0.002 % |
573.46/573.78	c |    727393 |     220    18700   130900 |    87253    82917     64 |  0.002 % |
573.56/573.88	c |    727503 |     220    18700   130900 |    87253    83027     64 |  0.002 % |
573.76/574.03	c |    727625 |     220    18700   130900 |    87253    83149     64 |  0.002 % |
573.86/574.17	c |    727759 |     220    18700   130900 |    87253    83283     64 |  0.002 % |
574.06/574.33	c |    727906 |     220    18700   130900 |    87253    83430     64 |  0.002 % |
574.26/574.50	c |    728066 |     220    18700   130900 |    87253    83590     64 |  0.002 % |
574.46/574.71	c |    728243 |     220    18700   130900 |    87253    83767     64 |  0.002 % |
574.65/574.91	c |    728437 |     220    18700   130900 |    87253    83961     64 |  0.002 % |
574.85/575.14	c |    728651 |     220    18700   130900 |    87253    84175     64 |  0.002 % |
575.06/575.35	c |    728885 |     220    18700   130900 |    87253    84409     64 |  0.002 % |
575.35/575.61	c |    729141 |     220    18700   130900 |    87253    84665     64 |  0.002 % |
575.55/575.87	c |    729423 |     220    18700   130900 |    87253    84947     64 |  0.002 % |
575.85/576.15	c |    729733 |     220    18700   130900 |    87253    85257     64 |  0.002 % |
576.16/576.47	c |    730074 |     220    18700   130900 |    85525    85598     64 |  0.002 % |
576.65/576.97	c |    730447 |     220    18700   130900 |    85525    74429     64 |  0.002 % |
577.05/577.37	c |    730856 |     220    18700   130900 |    85525    74838     64 |  0.002 % |
577.55/577.80	c |    731306 |     220    18700   130900 |    85525    75288     64 |  0.002 % |
577.95/578.24	c |    731799 |     220    18700   130900 |    85525    75781     64 |  0.002 % |
578.45/578.71	c |    732341 |     220    18700   130900 |    85525    76323     64 |  0.002 % |
578.95/579.20	c |    732937 |     220    18700   130900 |    85525    76919     63 |  0.002 % |
579.45/579.77	c |    733592 |     220    18700   130900 |    85525    77574     64 |  0.002 % |
580.25/580.54	c |    734314 |     220    18700   130900 |    85525    78296     64 |  0.002 % |
580.95/581.26	c |    735107 |     220    18700   130900 |    85525    79089     64 |  0.002 % |
581.75/582.06	c |    735978 |     220    18700   130900 |    85525    79960     63 |  0.002 % |
582.65/582.95	c |    736936 |     220    18700   130900 |    85525    80918     63 |  0.002 % |
583.55/583.85	c |    737989 |     220    18700   130900 |    85525    81971     63 |  0.002 % |
584.55/584.83	c |    739147 |     220    18700   130900 |    85525    83129     63 |  0.002 % |
585.75/586.05	c |    740421 |     220    18700   130900 |    83982    72623     64 |  0.002 % |
586.95/587.21	c |    741823 |     220    18700   130900 |    83982    74025     64 |  0.002 % |
588.15/588.46	c |    743365 |     220    18700   130900 |    83982    75567     64 |  0.002 % |
589.45/589.77	c |    745060 |     220    18700   130900 |    83982    77262     64 |  0.002 % |
591.35/591.61	c |    746924 |     220    18700   130900 |    83982    79126     64 |  0.002 % |
593.35/593.60	c |    748973 |     220    18700   130900 |    83982    81175     64 |  0.002 % |
595.25/595.53	c |    751227 |     220    18700   130900 |    82202    72140     64 |  0.002 % |
597.25/597.53	c |    753708 |     220    18700   130900 |    82202    74621     64 |  0.002 % |
599.44/599.71	c |    756433 |     220    18700   130900 |    82202    77346     64 |  0.002 % |
601.74/602.07	c |    759434 |     220    18700   130900 |    82202    80347     64 |  0.002 % |
604.44/604.72	c |    762732 |     220    18700   130900 |    80914    73698     64 |  0.002 % |
607.24/607.54	c |    766358 |     220    18700   130900 |    80914    77324     64 |  0.002 % |
610.54/610.80	c |    770345 |     220    18700   130900 |    80966    72352     64 |  0.002 % |
614.04/614.30	c |    774732 |     220    18700   130900 |    80966    76739     64 |  0.002 % |
617.84/618.13	c |    779556 |     220    18700   130900 |    80966    73008     64 |  0.002 % |
621.94/622.22	c |    784863 |     220    18700   130900 |    73453    70494     64 |  0.002 % |
626.14/626.48	c |    790698 |     220    18700   130900 | 2147483647    68974     63 |  0.002 % |
630.83/631.18	c |    797116 |     220    18700   130900 | 2147483647    75392     64 |  0.002 % |
636.73/637.02	c |    804176 |     220    18700   130900 | 2147483647    82452     64 |  0.002 % |
636.83/637.13	c |    804277 |     220    18700   130900 | 2147483647    82553     64 |  0.002 % |
636.93/637.24	c |    804388 |     220    18700   130900 | 2147483647    82664     64 |  0.002 % |
637.03/637.35	c |    804509 |     220    18700   130900 | 2147483647    82785     64 |  0.002 % |
637.23/637.51	c |    804645 |     220    18700   130900 | 2147483647    82921     64 |  0.002 % |
637.33/637.66	c |    804792 |     220    18700   130900 | 2147483647    83068     64 |  0.002 % |
637.53/637.83	c |    804952 |     220    18700   130900 | 2147483647    83228     64 |  0.002 % |
637.73/638.00	c |    805128 |     220    18700   130900 | 2147483647    83404     64 |  0.002 % |
637.83/638.18	c |    805321 |     220    18700   130900 | 2147483647    83597     64 |  0.002 % |
638.03/638.38	c |    805534 |     220    18700   130900 | 2147483647    83810     64 |  0.002 % |
638.33/638.65	c |    805767 |     220    18700   130900 | 2147483647    84043     64 |  0.002 % |
638.53/638.89	c |    806023 |     220    18700   130900 | 2147483647    84299     64 |  0.002 % |
638.83/639.19	c |    806306 |     220    18700   130900 | 2147483647    84582     64 |  0.002 % |
639.13/639.48	c |    806615 |     220    18700   130900 | 2147483647    84891     63 |  0.002 % |
639.43/639.79	c |    806955 |     220    18700   130900 | 2147483647    85231     63 |  0.002 % |
639.73/640.10	c |    807328 |     220    18700   130900 | 2147483647    85604     63 |  0.002 % |
640.13/640.48	c |    807737 |     220    18700   130900 | 2147483647    86013     63 |  0.002 % |
640.53/640.83	c |    808186 |     220    18700   130900 | 2147483647    86462     63 |  0.002 % |
640.93/641.23	c |    808680 |     220    18700   130900 | 2147483647    86956     63 |  0.002 % |
641.33/641.69	c |    809224 |     220    18700   130900 | 2147483647    87500     63 |  0.002 % |
641.92/642.25	c |    809821 |     220    18700   130900 | 2147483647    88097     63 |  0.002 % |
642.52/642.85	c |    810476 |     220    18700   130900 |    88276    77215     64 |  0.002 % |
643.13/643.41	c |    811197 |     220    18700   130900 |    88276    77936     64 |  0.002 % |
643.63/644.00	c |    811989 |     220    18700   130900 |    88276    78728     63 |  0.002 % |
644.42/644.71	c |    812860 |     220    18700   130900 |    88276    79599     63 |  0.002 % |
645.22/645.57	c |    813819 |     220    18700   130900 |    88276    80558     63 |  0.002 % |
646.02/646.39	c |    814873 |     220    18700   130900 |    88276    81612     63 |  0.002 % |
647.02/647.38	c |    816031 |     220    18700   130900 |    88276    82770     63 |  0.002 % |
648.32/648.67	c |    817305 |     220    18700   130900 |    88276    84044     64 |  0.002 % |
649.62/649.98	c |    818706 |     220    18700   130900 |    88276    85445     64 |  0.002 % |
651.12/651.48	c |    820246 |     220    18700   130900 |    86741    74849     64 |  0.002 % |
652.52/652.86	c |    821940 |     220    18700   130900 |    86741    76543     64 |  0.002 % |
654.02/654.33	c |    823804 |     220    18700   130900 |    86741    78407     64 |  0.002 % |
655.72/656.05	c |    825853 |     220    18700   130900 |    86741    80456     64 |  0.002 % |
657.62/657.92	c |    828107 |     220    18700   130900 |    86741    82710     64 |  0.002 % |
659.72/660.07	c |    830585 |     220    18700   130900 |    84603    74180     64 |  0.002 % |
662.12/662.44	c |    833311 |     220    18700   130900 |    84603    76906     64 |  0.002 % |
664.52/664.87	c |    836308 |     220    18700   130900 |    84603    79903     64 |  0.002 % |
667.22/667.52	c |    839604 |     220    18700   130900 |    84603    83199     63 |  0.002 % |
670.01/670.32	c |    843229 |     220    18700   130900 |    83595    75720     64 |  0.002 % |
673.21/673.59	c |    847216 |     220    18700   130900 |    83595    79707     64 |  0.002 % |
676.91/677.26	c |    851603 |     220    18700   130900 |    82491    74499     63 |  0.002 % |
680.71/681.00	c |    856427 |     220    18700   130900 |    82491    79323     63 |  0.002 % |
684.81/685.12	c |    861734 |     220    18700   130900 |    74299    68462     63 |  0.002 % |
688.71/689.05	c |    867571 |     220    18700   130900 |    74299    74299     63 |  0.002 % |
693.11/693.48	c |    873989 |     220    18700   130900 | 2147483647    73288     64 |  0.002 % |
698.50/698.83	c |    881048 |     220    18700   130900 | 2147483647    80347     64 |  0.002 % |
704.71/705.00	c |    888814 |     220    18700   130900 | 2147483647    88113     64 |  0.002 % |
704.71/705.10	c |    888915 |     220    18700   130900 | 2147483647    88214     64 |  0.002 % |
704.90/705.20	c |    889025 |     220    18700   130900 | 2147483647    88324     64 |  0.002 % |
705.00/705.34	c |    889147 |     220    18700   130900 | 2147483647    88446     64 |  0.002 % |
705.10/705.48	c |    889280 |     220    18700   130900 | 2147483647    88579     64 |  0.002 % |
705.30/705.65	c |    889427 |     220    18700   130900 | 2147483647    88726     64 |  0.002 % |
705.50/705.83	c |    889587 |     220    18700   130900 | 2147483647    88886     64 |  0.002 % |
705.70/706.06	c |    889763 |     220    18700   130900 | 2147483647    89062     64 |  0.002 % |
705.91/706.27	c |    889957 |     220    18700   130900 | 2147483647    89256     64 |  0.002 % |
706.30/706.60	c |    890169 |     220    18700   130900 |    89301    76643     64 |  0.002 % |
706.50/706.84	c |    890405 |     220    18700   130900 |    89301    76879     64 |  0.002 % |
706.70/707.06	c |    890661 |     220    18700   130900 |    89301    77135     64 |  0.002 % |
707.00/707.31	c |    890942 |     220    18700   130900 |    89301    77416     64 |  0.002 % |
707.20/707.53	c |    891251 |     220    18700   130900 |    89301    77725     64 |  0.002 % |
707.40/707.80	c |    891591 |     220    18700   130900 |    89301    78065     64 |  0.002 % |
707.80/708.17	c |    891963 |     220    18700   130900 |    89301    78437     64 |  0.002 % |
708.20/708.59	c |    892373 |     220    18700   130900 |    89301    78847     64 |  0.002 % |
708.70/709.03	c |    892822 |     220    18700   130900 |    89301    79296     64 |  0.002 % |
709.10/709.47	c |    893315 |     220    18700   130900 |    89301    79789     64 |  0.002 % |
709.60/709.97	c |    893858 |     220    18700   130900 |    89301    80332     64 |  0.002 % |
710.10/710.48	c |    894455 |     220    18700   130900 |    89301    80929     64 |  0.002 % |
710.60/710.97	c |    895111 |     220    18700   130900 |    89301    81585     64 |  0.002 % |
711.20/711.55	c |    895831 |     220    18700   130900 |    89301    82305     64 |  0.002 % |
711.90/712.21	c |    896624 |     220    18700   130900 |    89301    83098     64 |  0.002 % |
712.60/712.95	c |    897498 |     220    18700   130900 |    89301    83972     64 |  0.002 % |
713.40/713.74	c |    898458 |     220    18700   130900 |    89301    84932     64 |  0.002 % |
714.30/714.60	c |    899514 |     220    18700   130900 |    89301    85988     64 |  0.002 % |
715.50/715.82	c |    900673 |     220    18700   130900 |    86475    74916     64 |  0.002 % |
716.50/716.86	c |    901947 |     220    18700   130900 |    86475    76190     64 |  0.002 % |
717.69/718.06	c |    903349 |     220    18700   130900 |    86475    77592     64 |  0.002 % |
719.00/719.35	c |    904890 |     220    18700   130900 |    86475    79133     64 |  0.002 % |
720.39/720.73	c |    906584 |     220    18700   130900 |    86475    80827     64 |  0.002 % |
722.19/722.52	c |    908448 |     220    18700   130900 |    86475    82691     64 |  0.002 % |
724.19/724.55	c |    910497 |     220    18700   130900 |    84244    72999     64 |  0.002 % |
726.19/726.51	c |    912754 |     220    18700   130900 |    84244    75256     64 |  0.002 % |
728.29/728.62	c |    915233 |     220    18700   130900 |    84244    77735     64 |  0.002 % |
730.69/731.03	c |    917961 |     220    18700   130900 |    84244    80463     64 |  0.002 % |
733.19/733.55	c |    920959 |     220    18700   130900 |    82504    73306     64 |  0.002 % |
735.99/736.30	c |    924255 |     220    18700   130900 |    82504    76602     64 |  0.002 % |
738.89/739.23	c |    927881 |     220    18700   130900 |    82504    80228     64 |  0.002 % |
741.99/742.35	c |    931870 |     220    18700   130900 |    82349    75332     64 |  0.002 % |
745.59/745.99	c |    936255 |     220    18700   130900 |    82349    79717     64 |  0.002 % |
749.58/749.94	c |    941078 |     220    18700   130900 | 2147483647    76287     63 |  0.002 % |
754.19/754.54	c |    946383 |     220    18700   130900 | 2147483647    81592     64 |  0.002 % |
758.79/759.12	c |    952219 |     220    18700   130900 |    85209    76868     63 |  0.002 % |
763.79/764.14	c |    958637 |     220    18700   130900 |    85209    83286     63 |  0.002 % |
769.39/769.70	c |    965696 |     220    18700   130900 |    84650    79786     63 |  0.002 % |
775.49/775.84	c |    973460 |     220    18700   130900 |    84091    77858     63 |  0.002 % |
782.08/782.40	c |    982000 |     220    18700   130900 |    75071    68808     64 |  0.002 % |
782.18/782.51	c |    982102 |     220    18700   130900 |    75071    68910     64 |  0.002 % |
782.18/782.60	c |    982212 |     220    18700   130900 |    75071    69020     64 |  0.002 % |
782.38/782.70	c |    982334 |     220    18700   130900 |    75071    69142     64 |  0.002 % |
782.48/782.81	c |    982467 |     220    18700   130900 |    75071    69275     64 |  0.002 % |
782.58/782.94	c |    982617 |     220    18700   130900 |    75071    69425     64 |  0.002 % |
782.68/783.07	c |    982778 |     220    18700   130900 |    75071    69586     64 |  0.002 % |
782.89/783.21	c |    982954 |     220    18700   130900 |    75071    69762     64 |  0.002 % |
782.98/783.36	c |    983147 |     220    18700   130900 |    75071    69955     64 |  0.002 % |
783.18/783.55	c |    983360 |     220    18700   130900 |    75071    70168     64 |  0.002 % |
783.38/783.75	c |    983595 |     220    18700   130900 |    75071    70403     64 |  0.002 % |
783.68/784.03	c |    983852 |     220    18700   130900 |    75071    70660     64 |  0.002 % |
783.89/784.28	c |    984134 |     220    18700   130900 |    75071    70942     64 |  0.002 % |
784.18/784.52	c |    984444 |     220    18700   130900 |    75071    71252     64 |  0.002 % |
784.48/784.82	c |    984787 |     220    18700   130900 |    75071    71595     64 |  0.002 % |
784.78/785.12	c |    985161 |     220    18700   130900 |    75071    71969     64 |  0.002 % |
785.08/785.42	c |    985570 |     220    18700   130900 |    75071    72378     64 |  0.002 % |
785.48/785.83	c |    986019 |     220    18700   130900 |    75071    72827     64 |  0.002 % |
785.88/786.24	c |    986512 |     220    18700   130900 |    75071    73320     64 |  0.002 % |
786.38/786.74	c |    987054 |     220    18700   130900 |    75071    73862     64 |  0.002 % |
786.88/787.27	c |    987650 |     220    18700   130900 |    75071    74458     64 |  0.002 % |
787.48/787.80	c |    988306 |     220    18700   130900 |    75071    75114     64 |  0.002 % |
787.98/788.33	c |    989026 |     220    18700   130900 |    75071    67932     64 |  0.002 % |
788.58/788.96	c |    989818 |     220    18700   130900 |    75071    68724     64 |  0.002 % |
789.18/789.58	c |    990689 |     220    18700   130900 |    68907    62649     64 |  0.002 % |
789.88/790.23	c |    991647 |     220    18700   130900 |    68907    63607     64 |  0.002 % |
790.48/790.88	c |    992700 |     220    18700   130900 |    68907    64660     64 |  0.002 % |
791.28/791.69	c |    993859 |     220    18700   130900 |    68907    65819     63 |  0.002 % |
792.28/792.60	c |    995132 |     220    18700   130900 |    68907    67092     63 |  0.002 % |
793.18/793.58	c |    996534 |     220    18700   130900 |    68907    68494     63 |  0.002 % |
794.38/794.71	c |    998075 |     220    18700   130900 |    68907    63134     63 |  0.002 % |
795.48/795.81	c |    999770 |     220    18700   130900 |    68907    64829     63 |  0.002 % |
796.78/797.16	c |   1001634 |     220    18700   130900 | 2147483647    66693     63 |  0.002 % |
798.18/798.52	c |   1003684 |     220    18700   130900 | 2147483647    68743     63 |  0.002 % |
799.78/800.13	c |   1005939 |     220    18700   130900 | 2147483647    70998     63 |  0.002 % |
801.58/801.94	c |   1008418 |     220    18700   130900 | 2147483647    73477     63 |  0.002 % |
803.68/804.04	c |   1011145 |     220    18700   130900 | 2147483647    76204     64 |  0.002 % |
806.07/806.44	c |   1014143 |     220    18700   130900 | 2147483647    79202     63 |  0.002 % |
808.67/809.04	c |   1017439 |     220    18700   130900 | 2147483647    82498     63 |  0.002 % |
811.77/812.13	c |   1021066 |     220    18700   130900 |    85060    76542     63 |  0.002 % |
814.97/815.35	c |   1025055 |     220    18700   130900 |    85060    80531     64 |  0.002 % |
818.77/819.13	c |   1029441 |     220    18700   130900 |    85060    84917     63 |  0.002 % |
822.27/822.63	c |   1034264 |     220    18700   130900 |    74248    68850     63 |  0.002 % |
826.37/826.74	c |   1039569 |     220    18700   130900 |    74248    74155     63 |  0.002 % |
830.56/830.92	c |   1045405 |     220    18700   130900 | 2147483647    72556     63 |  0.002 % |
835.46/835.89	c |   1051824 |     220    18700   130900 | 2147483647    78975     64 |  0.002 % |
841.46/841.89	c |   1058883 |     220    18700   130900 | 2147483647    86034     64 |  0.002 % |
848.26/848.65	c |   1066647 |     220    18700   130900 |    87154    82768     64 |  0.002 % |
855.56/855.91	c |   1075188 |     220    18700   130900 |    86121    79954     64 |  0.002 % |
863.35/863.70	c |   1084582 |     220    18700   130900 |    84766    78325     64 |  0.002 % |
863.45/863.82	c |   1084682 |     220    18700   130900 |    84766    78425     64 |  0.002 % |
863.55/863.93	c |   1084793 |     220    18700   130900 |    84766    78536     64 |  0.002 % |
863.65/864.05	c |   1084914 |     220    18700   130900 |    84766    78657     64 |  0.002 % |
863.75/864.17	c |   1085048 |     220    18700   130900 |    84766    78791     64 |  0.002 % |
863.95/864.34	c |   1085194 |     220    18700   130900 |    84766    78937     64 |  0.002 % |
864.16/864.51	c |   1085354 |     220    18700   130900 |    84766    79097     64 |  0.002 % |
864.26/864.68	c |   1085532 |     220    18700   130900 |    84766    79275     64 |  0.002 % |
864.45/864.89	c |   1085725 |     220    18700   130900 |    84766    79468     64 |  0.002 % |
864.75/865.10	c |   1085938 |     220    18700   130900 |    84766    79681     64 |  0.002 % |
864.85/865.28	c |   1086172 |     220    18700   130900 |    84766    79915     64 |  0.002 % |
865.05/865.48	c |   1086428 |     220    18700   130900 |    84766    80171     64 |  0.002 % |
865.36/865.74	c |   1086710 |     220    18700   130900 |    84766    80453     64 |  0.002 % |
865.55/866.00	c |   1087021 |     220    18700   130900 |    84766    80764     64 |  0.002 % |
865.95/866.34	c |   1087362 |     220    18700   130900 |    84766    81105     64 |  0.002 % |
866.36/866.73	c |   1087734 |     220    18700   130900 |    84766    81477     64 |  0.002 % |
866.75/867.13	c |   1088144 |     220    18700   130900 |    84766    81887     64 |  0.002 % |
867.15/867.55	c |   1088594 |     220    18700   130900 |    84766    82337     64 |  0.002 % |
867.65/868.04	c |   1089088 |     220    18700   130900 |    84766    82831     64 |  0.002 % |
868.15/868.60	c |   1089632 |     220    18700   130900 |    84766    83375     64 |  0.002 % |
868.85/869.21	c |   1090235 |     220    18700   130900 |    83745    72518     64 |  0.002 % |
869.35/869.70	c |   1090891 |     220    18700   130900 |    83745    73174     64 |  0.002 % |
869.95/870.30	c |   1091611 |     220    18700   130900 |    83745    73894     64 |  0.002 % |
870.55/870.93	c |   1092403 |     220    18700   130900 |    83745    74686     64 |  0.002 % |
871.25/871.60	c |   1093274 |     220    18700   130900 |    83745    75557     64 |  0.002 % |
871.95/872.32	c |   1094232 |     220    18700   130900 |    83745    76515     64 |  0.002 % |
872.65/873.04	c |   1095285 |     220    18700   130900 |    83745    77568     64 |  0.002 % |
873.45/873.85	c |   1096445 |     220    18700   130900 |    83745    78728     64 |  0.002 % |
874.45/874.86	c |   1097719 |     220    18700   130900 |    83745    80002     64 |  0.002 % |
875.55/875.93	c |   1099120 |     220    18700   130900 |    83745    81403     64 |  0.002 % |
876.85/877.24	c |   1100661 |     220    18700   130900 |    82283    73460     64 |  0.002 % |
878.05/878.48	c |   1102355 |     220    18700   130900 |    82283    75154     64 |  0.002 % |
879.45/879.89	c |   1104220 |     220    18700   130900 |    82283    77019     64 |  0.002 % |
881.15/881.52	c |   1106269 |     220    18700   130900 |    82283    79068     64 |  0.002 % |
882.75/883.16	c |   1108523 |     220    18700   130900 |    82283    81322     64 |  0.002 % |
885.05/885.43	c |   1111003 |     220    18700   130900 |    73680    66444     64 |  0.002 % |
887.04/887.48	c |   1113728 |     220    18700   130900 |    73680    69169     64 |  0.002 % |
889.34/889.75	c |   1116726 |     220    18700   130900 |    73680    72167     64 |  0.002 % |
891.75/892.16	c |   1120022 |     220    18700   130900 | 2147483647    68086     64 |  0.002 % |
894.54/894.93	c |   1123647 |     220    18700   130900 | 2147483647    71711     64 |  0.002 % |
897.74/898.10	c |   1127637 |     220    18700   130900 | 2147483647    75701     64 |  0.002 % |
901.24/901.60	c |   1132022 |     220    18700   130900 | 2147483647    80086     64 |  0.002 % |
905.54/905.96	c |   1136845 |     220    18700   130900 | 2147483647    84909     64 |  0.002 % |
909.94/910.34	c |   1142155 |     220    18700   130900 |    88067    78538     64 |  0.002 % |
914.94/915.34	c |   1147991 |     220    18700   130900 |    88067    84374     64 |  0.002 % |
920.64/921.01	c |   1154410 |     220    18700   130900 |    86383    79523     64 |  0.002 % |
927.13/927.51	c |   1161469 |     220    18700   130900 |    85113    75699     63 |  0.002 % |
933.54/933.94	c |   1169234 |     220    18700   130900 |    85113    83464     63 |  0.002 % |
940.23/940.66	c |   1177774 |     220    18700   130900 |    84230    81846     64 |  0.002 % |
948.23/948.68	c |   1187171 |     220    18700   130900 |    84077    81765     64 |  0.002 % |
956.42/956.87	c |   1197504 |     220    18700   130900 |    74807    73746     64 |  0.002 % |
956.53/956.98	c |   1197605 |     220    18700   130900 |    74807    73847     64 |  0.002 % |
956.72/957.11	c |   1197715 |     220    18700   130900 |    74807    73957     64 |  0.002 % |
956.82/957.21	c |   1197838 |     220    18700   130900 |    74807    74080     64 |  0.002 % |
956.92/957.33	c |   1197972 |     220    18700   130900 |    74807    74214     64 |  0.002 % |
957.02/957.46	c |   1198118 |     220    18700   130900 |    74807    74360     64 |  0.002 % |
957.22/957.61	c |   1198280 |     220    18700   130900 |    74807    74522     64 |  0.002 % |
957.32/957.75	c |   1198457 |     220    18700   130900 |    74807    74699     64 |  0.002 % |
957.52/957.92	c |   1198651 |     220    18700   130900 |    74807    74893     64 |  0.002 % |
957.72/958.15	c |   1198867 |     220    18700   130900 |    74807    67620     64 |  0.002 % |
957.92/958.34	c |   1199100 |     220    18700   130900 |    74807    67853     64 |  0.002 % |
958.12/958.52	c |   1199357 |     220    18700   130900 |    74807    68110     64 |  0.002 % |
958.32/958.72	c |   1199641 |     220    18700   130900 |    74807    68394     64 |  0.002 % |
958.52/958.96	c |   1199950 |     220    18700   130900 |    74807    68703     64 |  0.002 % |
958.82/959.20	c |   1200293 |     220    18700   130900 | 2147483647    69046     64 |  0.002 % |
959.02/959.49	c |   1200665 |     220    18700   130900 | 2147483647    69418     64 |  0.002 % |
959.32/959.76	c |   1201075 |     220    18700   130900 | 2147483647    69828     64 |  0.002 % |
959.72/960.17	c |   1201524 |     220    18700   130900 | 2147483647    70277     64 |  0.002 % |
960.22/960.65	c |   1202017 |     220    18700   130900 | 2147483647    70770     64 |  0.002 % |
960.72/961.14	c |   1202559 |     220    18700   130900 | 2147483647    71312     64 |  0.002 % |
961.22/961.69	c |   1203155 |     220    18700   130900 | 2147483647    71908     64 |  0.002 % |
961.82/962.24	c |   1203811 |     220    18700   130900 | 2147483647    72564     64 |  0.002 % |
962.32/962.79	c |   1204531 |     220    18700   130900 | 2147483647    73284     64 |  0.002 % |
963.02/963.43	c |   1205324 |     220    18700   130900 | 2147483647    74077     64 |  0.002 % |
963.62/964.08	c |   1206195 |     220    18700   130900 | 2147483647    74948     64 |  0.002 % |
964.42/964.84	c |   1207153 |     220    18700   130900 | 2147483647    75906     64 |  0.002 % |
965.42/965.82	c |   1208207 |     220    18700   130900 | 2147483647    76960     64 |  0.002 % |
966.32/966.80	c |   1209366 |     220    18700   130900 | 2147483647    78119     64 |  0.002 % |
967.52/967.93	c |   1210640 |     220    18700   130900 |    78753    71368     64 |  0.002 % |
968.62/969.02	c |   1212041 |     220    18700   130900 |    78753    72769     63 |  0.002 % |
969.92/970.38	c |   1213581 |     220    18700   130900 |    78753    74309     64 |  0.002 % |
971.51/971.91	c |   1215277 |     220    18700   130900 |    78753    76005     63 |  0.002 % |
973.12/973.56	c |   1217140 |     220    18700   130900 |    78753    77868     63 |  0.002 % |
974.81/975.20	c |   1219189 |     220    18700   130900 |    78753    70912     63 |  0.002 % |
976.51/976.90	c |   1221442 |     220    18700   130900 |    71723    65505     63 |  0.002 % |
978.21/978.61	c |   1223922 |     220    18700   130900 |    71723    67985     63 |  0.002 % |
980.11/980.53	c |   1226647 |     220    18700   130900 |    71723    70710     63 |  0.002 % |
982.21/982.60	c |   1229644 |     220    18700   130900 |    71723    66524     63 |  0.002 % |
984.41/984.81	c |   1232940 |     220    18700   130900 | 2147483647    69820     63 |  0.002 % |
987.01/987.44	c |   1236565 |     220    18700   130900 | 2147483647    73445     63 |  0.002 % |
990.01/990.47	c |   1240553 |     220    18700   130900 | 2147483647    77433     63 |  0.002 % |
993.50/993.97	c |   1244938 |     220    18700   130900 | 2147483647    81818     63 |  0.002 % |
997.31/997.71	c |   1249762 |     220    18700   130900 | 2147483647    86642     64 |  0.002 % |
1001.30/1001.76	c |   1255071 |     220    18700   130900 |    86881    81292     64 |  0.002 % |
1006.60/1007.00	c |   1260909 |     220    18700   130900 |    86223    75962     63 |  0.002 % |
1011.90/1012.33	c |   1267327 |     220    18700   130900 |    86223    82380     63 |  0.002 % |
1017.50/1017.99	c |   1274387 |     220    18700   130900 |    85053    78337     63 |  0.002 % |
1023.89/1024.31	c |   1282153 |     220    18700   130900 |    83950    76773     63 |  0.002 % |
1030.59/1031.05	c |   1290693 |     220    18700   130900 |    75671    68341     63 |  0.002 % |
1037.59/1038.01	c |   1300088 |     220    18700   130900 | 2147483647    70159     63 |  0.002 % |
1045.79/1046.21	c |   1310421 |     220    18700   130900 |    80072    71599     64 |  0.002 % |
1054.18/1054.67	c |   1321788 |     220    18700   130900 |    72588    66574     64 |  0.002 % |
1054.28/1054.74	c |   1321888 |     220    18700   130900 |    72588    66674     64 |  0.002 % |
1054.39/1054.83	c |   1321999 |     220    18700   130900 |    72588    66785     64 |  0.002 % |
1054.49/1054.92	c |   1322123 |     220    18700   130900 |    72588    66909     64 |  0.002 % |
1054.58/1055.02	c |   1322260 |     220    18700   130900 |    72588    67046     64 |  0.002 % |
1054.68/1055.12	c |   1322409 |     220    18700   130900 |    72588    67195     64 |  0.002 % |
1054.79/1055.24	c |   1322569 |     220    18700   130900 |    72588    67355     64 |  0.002 % |
1054.99/1055.40	c |   1322746 |     220    18700   130900 |    72588    67532     64 |  0.002 % |
1055.09/1055.56	c |   1322942 |     220    18700   130900 |    72588    67728     64 |  0.002 % |
1055.29/1055.70	c |   1323154 |     220    18700   130900 |    72588    67940     64 |  0.002 % |
1055.38/1055.87	c |   1323390 |     220    18700   130900 |    72588    68176     64 |  0.002 % |
1055.59/1056.09	c |   1323648 |     220    18700   130900 |    72588    68434     64 |  0.002 % |
1055.78/1056.29	c |   1323930 |     220    18700   130900 |    72588    68716     64 |  0.002 % |
1056.08/1056.52	c |   1324240 |     220    18700   130900 |    72588    69026     64 |  0.002 % |
1056.28/1056.76	c |   1324582 |     220    18700   130900 |    72588    69368     64 |  0.002 % |
1056.69/1057.11	c |   1324955 |     220    18700   130900 |    72588    69741     64 |  0.002 % |
1056.98/1057.47	c |   1325365 |     220    18700   130900 |    72588    70151     64 |  0.002 % |
1057.38/1057.84	c |   1325817 |     220    18700   130900 |    72588    70603     64 |  0.002 % |
1057.79/1058.24	c |   1326311 |     220    18700   130900 |    72588    71097     64 |  0.002 % |
1058.28/1058.71	c |   1326854 |     220    18700   130900 |    72588    71640     64 |  0.002 % |
1058.68/1059.18	c |   1327450 |     220    18700   130900 |    72588    72236     64 |  0.002 % |
1059.28/1059.76	c |   1328105 |     220    18700   130900 |    72588    65623     64 |  0.002 % |
1059.78/1060.27	c |   1328825 |     220    18700   130900 |    72588    66343     64 |  0.002 % |
1060.38/1060.82	c |   1329618 |     220    18700   130900 |    72588    67136     64 |  0.002 % |
1060.98/1061.42	c |   1330490 |     220    18700   130900 | 2147483647    68008     64 |  0.002 % |
1061.58/1062.08	c |   1331448 |     220    18700   130900 | 2147483647    68966     64 |  0.002 % |
1062.38/1062.81	c |   1332501 |     220    18700   130900 | 2147483647    70019     64 |  0.002 % |
1063.38/1063.83	c |   1333661 |     220    18700   130900 | 2147483647    71179     64 |  0.002 % |
1064.48/1064.94	c |   1334936 |     220    18700   130900 | 2147483647    72454     64 |  0.002 % |
1065.48/1065.96	c |   1336337 |     220    18700   130900 | 2147483647    73855     64 |  0.002 % |
1066.58/1067.09	c |   1337877 |     220    18700   130900 | 2147483647    75395     64 |  0.002 % |
1067.88/1068.39	c |   1339574 |     220    18700   130900 | 2147483647    77092     64 |  0.002 % |
1069.48/1069.90	c |   1341437 |     220    18700   130900 | 2147483647    78955     64 |  0.002 % |
1071.18/1071.61	c |   1343486 |     220    18700   130900 | 2147483647    81004     64 |  0.002 % |
1073.08/1073.55	c |   1345742 |     220    18700   130900 | 2147483647    83260     64 |  0.002 % |
1075.28/1075.80	c |   1348221 |     220    18700   130900 | 2147483647    85739     64 |  0.002 % |
1077.58/1078.03	c |   1350946 |     220    18700   130900 |    87519    76997     64 |  0.002 % |
1079.78/1080.23	c |   1353943 |     220    18700   130900 |    87519    79994     64 |  0.002 % |
1082.47/1082.94	c |   1357241 |     220    18700   130900 |    87519    83292     64 |  0.002 % |
1085.67/1086.12	c |   1360866 |     220    18700   130900 |    86051    76250     64 |  0.002 % |
1088.87/1089.36	c |   1364855 |     220    18700   130900 |    86051    80239     64 |  0.002 % |
1092.27/1092.79	c |   1369241 |     220    18700   130900 |    86051    84625     64 |  0.002 % |
1096.37/1096.82	c |   1374065 |     220    18700   130900 |    85384    78957     64 |  0.002 % |
1101.57/1102.01	c |   1379370 |     220    18700   130900 |    85384    84262     64 |  0.002 % |
1106.56/1107.02	c |   1385209 |     220    18700   130900 |    84893    78167     64 |  0.002 % |
1111.76/1112.28	c |   1391628 |     220    18700   130900 |    82958    74183     64 |  0.002 % |
1117.16/1117.66	c |   1398687 |     220    18700   130900 |    82958    81242     64 |  0.002 % |
1123.36/1123.89	c |   1406451 |     220    18700   130900 |    82557    79603     64 |  0.002 % |
1130.26/1130.76	c |   1414991 |     220    18700   130900 |    73912    70750     64 |  0.002 % |
1137.45/1137.98	c |   1424385 |     220    18700   130900 | 2147483647    72743     65 |  0.002 % |
1145.65/1146.18	c |   1434719 |     220    18700   130900 | 2147483647    83077     65 |  0.002 % |
1155.35/1155.84	c |   1446085 |     220    18700   130900 |    88358    83593     64 |  0.002 % |
1164.94/1165.49	c |   1458588 |     220    18700   130900 |    87509    84860     65 |  0.002 % |
1165.04/1165.57	c |   1458688 |     220    18700   130900 |    87509    84960     65 |  0.002 % |
1165.14/1165.68	c |   1458799 |     220    18700   130900 |    87509    85071     65 |  0.002 % |
1165.34/1165.82	c |   1458920 |     220    18700   130900 |    87509    85192     65 |  0.002 % |
1165.45/1165.98	c |   1459053 |     220    18700   130900 |    87509    85325     65 |  0.002 % |
1165.64/1166.17	c |   1459200 |     220    18700   130900 |    87509    85472     65 |  0.002 % |
1165.84/1166.35	c |   1459362 |     220    18700   130900 |    87509    85634     65 |  0.002 % |
1166.04/1166.57	c |   1459538 |     220    18700   130900 |    87509    85810     65 |  0.002 % |
1166.24/1166.79	c |   1459731 |     220    18700   130900 |    87509    86003     65 |  0.002 % |
1166.44/1166.99	c |   1459943 |     220    18700   130900 |    87509    86215     65 |  0.002 % |
1166.74/1167.28	c |   1460176 |     220    18700   130900 |    86273    74030     65 |  0.002 % |
1167.04/1167.51	c |   1460433 |     220    18700   130900 |    86273    74287     65 |  0.002 % |
1167.34/1167.80	c |   1460715 |     220    18700   130900 |    86273    74569     65 |  0.002 % |
1167.54/1168.08	c |   1461025 |     220    18700   130900 |    86273    74879     65 |  0.002 % |
1167.94/1168.45	c |   1461365 |     220    18700   130900 |    86273    75219     65 |  0.002 % |
1168.34/1168.82	c |   1461737 |     220    18700   130900 |    86273    75591     65 |  0.002 % |
1168.64/1169.18	c |   1462147 |     220    18700   130900 |    86273    76001     65 |  0.002 % |
1169.04/1169.54	c |   1462597 |     220    18700   130900 |    86273    76451     65 |  0.002 % |
1169.44/1169.99	c |   1463090 |     220    18700   130900 |    86273    76944     65 |  0.002 % |
1169.94/1170.47	c |   1463632 |     220    18700   130900 |    86273    77486     65 |  0.002 % |
1170.44/1170.98	c |   1464228 |     220    18700   130900 |    86273    78082     64 |  0.002 % |
1171.04/1171.52	c |   1464884 |     220    18700   130900 |    86273    78738     64 |  0.002 % |
1171.54/1172.09	c |   1465606 |     220    18700   130900 |    86273    79460     64 |  0.002 % |
1172.24/1172.76	c |   1466398 |     220    18700   130900 |    86273    80252     64 |  0.002 % |
1173.04/1173.54	c |   1467272 |     220    18700   130900 |    86273    81126     64 |  0.002 % |
1173.94/1174.42	c |   1468231 |     220    18700   130900 |    86273    82085     64 |  0.002 % |
1174.84/1175.39	c |   1469286 |     220    18700   130900 |    86273    83140     64 |  0.002 % |
1176.04/1176.50	c |   1470446 |     220    18700   130900 |    83854    72216     65 |  0.002 % |
1177.04/1177.53	c |   1471719 |     220    18700   130900 |    83854    73489     65 |  0.002 % |
1178.14/1178.63	c |   1473119 |     220    18700   130900 |    83854    74889     65 |  0.002 % |
1179.24/1179.77	c |   1474659 |     220    18700   130900 |    83854    76429     65 |  0.002 % |
1180.64/1181.17	c |   1476357 |     220    18700   130900 |    83854    78127     64 |  0.002 % |
1182.04/1182.59	c |   1478220 |     220    18700   130900 |    83854    79990     64 |  0.002 % |
1183.93/1184.42	c |   1480269 |     220    18700   130900 |    81770    72201     64 |  0.002 % |
1185.53/1186.06	c |   1482523 |     220    18700   130900 |    81770    74455     64 |  0.002 % |
1187.54/1188.05	c |   1485002 |     220    18700   130900 |    81770    76934     64 |  0.002 % |
1189.74/1190.24	c |   1487727 |     220    18700   130900 |    81770    79659     64 |  0.002 % |
1192.33/1192.87	c |   1490724 |     220    18700   130900 |    71720    63530     64 |  0.002 % |
1194.63/1195.10	c |   1494021 |     220    18700   130900 |    71720    66827     64 |  0.002 % |
1197.23/1197.76	c |   1497646 |     220    18700   130900 |    71720    70452     64 |  0.002 % |
1200.03/1200.51	HOME/SatELiteGTI: line 36:  3204 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-1832541-1242782700/watcher-1832541-1242782700 -o /tmp/evaluation-result-1832541-1242782700/solver-1832541-1242782700 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832541-1242782700.cnf 

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


[startup+0 s]
/proc/loadavg: 1.09 1.04 1.00 3/64 3198
/proc/meminfo: memFree=1920896/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306302887 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3198/statm: 1339 237 197 169 0 50 0

[startup+0.0479509 s]
/proc/loadavg: 1.09 1.04 1.00 3/64 3198
/proc/meminfo: memFree=1920896/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306302887 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3198/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101963 s]
/proc/loadavg: 1.09 1.04 1.00 3/64 3198
/proc/meminfo: memFree=1920896/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301991 s]
/proc/loadavg: 1.09 1.04 1.00 3/64 3198
/proc/meminfo: memFree=1920896/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701051 s]
/proc/loadavg: 1.09 1.04 1.00 3/64 3198
/proc/meminfo: memFree=1920896/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50116 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 3204
/proc/meminfo: memFree=1916464/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=5256 CPUtime=1.41
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 1093 0 0 0 141 0 0 0 25 0 1 0 306302894 5382144 1079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 1314 1079 76 171 0 1141 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10612

[startup+3.10138 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 3204
/proc/meminfo: memFree=1914856/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=7684 CPUtime=3.01
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 1683 0 0 0 300 1 0 0 25 0 1 0 306302894 7868416 1669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 1921 1669 76 171 0 1748 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13040

[startup+6.30184 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 3204
/proc/meminfo: memFree=1910952/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=10892 CPUtime=6.2
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 2496 0 0 0 619 1 0 0 25 0 1 0 306302894 11153408 2482 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 2723 2482 76 171 0 2550 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 16248

[startup+12.7017 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 3204
/proc/meminfo: memFree=1906360/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=15068 CPUtime=12.6
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 3527 0 0 0 1257 3 0 0 25 0 1 0 306302894 15429632 3513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 3767 3513 76 171 0 3594 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20424

[startup+25.5016 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 3204
/proc/meminfo: memFree=1900216/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=21004 CPUtime=25.4
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 4995 0 0 0 2536 4 0 0 25 0 1 0 306302894 21508096 4981 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 5251 4981 76 171 0 5078 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26360

[startup+51.1012 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 3204
/proc/meminfo: memFree=1893240/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=27756 CPUtime=50.99
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 6708 0 0 0 5092 7 0 0 25 0 1 0 306302894 28422144 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 6939 6694 76 171 0 6766 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33112

[startup+102.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 3204
/proc/meminfo: memFree=1893176/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=27756 CPUtime=102.18
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 6708 0 0 0 10210 8 0 0 25 0 1 0 306302894 28422144 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 6939 6694 76 171 0 6766 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 33112

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3204
/proc/meminfo: memFree=1892536/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=28284 CPUtime=162.16
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 6823 0 0 0 16207 9 0 0 25 0 1 0 306302894 28962816 6809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7071 6809 76 171 0 6898 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 33640

[startup+222.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 3204
/proc/meminfo: memFree=1892216/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=28548 CPUtime=222.14
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 6893 0 0 0 22205 9 0 0 25 0 1 0 306302894 29233152 6879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7137 6879 76 171 0 6964 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 33904

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1891704/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=28936 CPUtime=282.12
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7000 0 0 0 28202 10 0 0 25 0 1 0 306302894 29630464 6986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7234 6986 76 171 0 7061 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 34292

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1890488/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=30000 CPUtime=342.09
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7271 0 0 0 34199 10 0 0 25 0 1 0 306302894 30720000 7257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7500 7257 76 171 0 7327 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 35356

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1890360/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=29824 CPUtime=402.07
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7271 0 0 0 40197 10 0 0 25 0 1 0 306302894 30539776 7228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7456 7228 76 171 0 7283 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 35180

[startup+462.302 s]

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

[pid=3204] ppid=3198 vsize=30336 CPUtime=522.03
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7434 0 0 0 52192 11 0 0 25 0 1 0 306302894 31064064 7354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7584 7354 76 171 0 7411 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 35692

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1889720/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=30336 CPUtime=582
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7434 0 0 0 58189 11 0 0 25 0 1 0 306302894 31064064 7354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7584 7354 76 171 0 7411 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 35692

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1889400/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=30600 CPUtime=641.98
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7487 0 0 0 64187 11 0 0 25 0 1 0 306302894 31334400 7407 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7650 7407 76 171 0 7477 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 35956

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1889208/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=30736 CPUtime=701.95
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7505 0 0 0 70184 11 0 0 25 0 1 0 306302894 31473664 7425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7684 7425 76 171 0 7511 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 36092

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1888632/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31136 CPUtime=761.94
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7630 0 0 0 76182 12 0 0 25 0 1 0 306302894 31883264 7550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7784 7550 76 171 0 7611 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 36492

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1888568/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31136 CPUtime=821.92
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7630 0 0 0 82180 12 0 0 25 0 1 0 306302894 31883264 7550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7784 7550 76 171 0 7611 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 36492

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3204
/proc/meminfo: memFree=1888440/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31136 CPUtime=881.9
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7630 0 0 0 88178 12 0 0 25 0 1 0 306302894 31883264 7550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7784 7550 76 171 0 7611 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 36492

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1888056/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31268 CPUtime=941.88
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7656 0 0 0 94176 12 0 0 25 0 1 0 306302894 32018432 7576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7817 7576 76 171 0 7644 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 36624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1888056/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31268 CPUtime=1001.85
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7656 0 0 0 100173 12 0 0 25 0 1 0 306302894 32018432 7576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7817 7576 76 171 0 7644 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 36624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1888056/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31268 CPUtime=1061.83
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7656 0 0 0 106171 12 0 0 25 0 1 0 306302894 32018432 7576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7817 7576 76 171 0 7644 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 36624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1887864/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=31400 CPUtime=1121.81
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7678 0 0 0 112169 12 0 0 25 0 1 0 306302894 32153600 7598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 7850 7598 76 171 0 7677 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 36756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1886904/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=32216 CPUtime=1181.79
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7898 0 0 0 118167 12 0 0 25 0 1 0 306302894 32989184 7818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 8054 7818 76 171 0 7881 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 37572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1886840/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=32216 CPUtime=1199.98
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7898 0 0 0 119986 12 0 0 25 0 1 0 306302894 32989184 7818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 8054 7818 76 171 0 7881 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 37572

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1886840/2055920 swapFree=4178384/4192956
[pid=3198] ppid=3196 vsize=5356 CPUtime=0.05
/proc/3198/stat : 3198 (SatELiteGTI) S 3196 3198 2929 0 -1 4194304 336 786 0 0 0 0 5 0 16 0 1 0 306302887 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3198/statm: 1339 239 197 169 0 50 0
[pid=3204] ppid=3198 vsize=32216 CPUtime=1199.98
/proc/3204/stat : 3204 (minisat_static) R 3198 3198 2929 0 -1 4194304 7898 0 0 0 119986 12 0 0 25 0 1 0 306302894 32989184 7818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3204/statm: 8054 7818 76 171 0 7881 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 37572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.93
CPU system time (s): 0.145977
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 37572

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

runsolver used 1.40978 second user time and 3.05454 second system time

The end

Launcher Data

Begin job on node29 at 2009-05-20 03:25:00
IDJOB=1832541
IDBENCH=70234
IDSOLVER=671
FILE ID=node29/1832541-1242782700
PBS_JOBID= 9322304
Free space on /tmp= 66468 MiB

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

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

MD5SUM BENCH= fd254436f3c419e09066b64a7ac072c2
RANDOM SEED=367203473

node29.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.281
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.281
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:       1921440 kB
Buffers:         19020 kB
Cached:          77808 kB
SwapCached:       8776 kB
Active:          49620 kB
Inactive:        57572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1921440 kB
SwapTotal:     4192956 kB
SwapFree:      4178384 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          15000 kB
Slab:            13288 kB
Committed_AS:  1096380 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66468 MiB
End job on node29 at 2009-05-20 03:45:03