Trace number 1832549

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.12 1200.61

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
MD5SUM5adac1d8579162dbe20ef9795f561831
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.024996 s
0.00/0.03	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  220                                                  |
0.00/0.07	c |  Number of clauses:    18700                                                |
0.00/0.09	c |  Parsing time:         0.02         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.06/0.10	c |       101 |     220    18700   130900 |     6233      101     60 |  0.002 % |
0.06/0.11	c |       202 |     220    18700   130900 |     6233      202     62 |  0.002 % |
0.06/0.12	c |       302 |     220    18700   130900 |     6233      302     62 |  0.002 % |
0.06/0.13	c |       413 |     220    18700   130900 |     6233      413     63 |  0.002 % |
0.06/0.14	c |       513 |     220    18700   130900 |     6233      513     63 |  0.002 % |
0.06/0.15	c |       624 |     220    18700   130900 |     6233      624     62 |  0.002 % |
0.06/0.16	c |       745 |     220    18700   130900 |     6233      745     62 |  0.002 % |
0.06/0.17	c |       846 |     220    18700   130900 |     6233      846     62 |  0.002 % |
0.06/0.18	c |       958 |     220    18700   130900 |     6233      958     62 |  0.002 % |
0.06/0.20	c |      1080 |     220    18700   130900 |     6233     1080     62 |  0.002 % |
0.06/0.21	c |      1213 |     220    18700   130900 |     6233     1213     62 |  0.002 % |
0.06/0.22	c |      1313 |     220    18700   130900 |     6233     1313     62 |  0.002 % |
0.06/0.23	c |      1423 |     220    18700   130900 |     6233     1423     62 |  0.002 % |
0.06/0.24	c |      1545 |     220    18700   130900 |     6233     1545     62 |  0.002 % |
0.06/0.25	c |      1680 |     220    18700   130900 |     6233     1680     61 |  0.002 % |
0.06/0.27	c |      1828 |     220    18700   130900 |     6233     1828     61 |  0.002 % |
0.06/0.28	c |      1928 |     220    18700   130900 |     6233     1928     61 |  0.002 % |
0.06/0.29	c |      2038 |     220    18700   130900 |     6233     2038     61 |  0.002 % |
0.06/0.30	c |      2161 |     220    18700   130900 |     6233     2161     61 |  0.002 % |
0.06/0.32	c |      2295 |     220    18700   130900 |     6233     2295     61 |  0.002 % |
0.06/0.33	c |      2441 |     220    18700   130900 |     6233     2441     61 |  0.002 % |
0.06/0.35	c |      2602 |     220    18700   130900 |     6233     2602     61 |  0.002 % |
0.06/0.36	c |      2702 |     220    18700   130900 |     6233     2702     61 |  0.002 % |
0.06/0.37	c |      2814 |     220    18700   130900 |     6233     2814     61 |  0.002 % |
0.06/0.38	c |      2935 |     220    18700   130900 |     6233     2935     61 |  0.002 % |
0.06/0.40	c |      3070 |     220    18700   130900 |     6233     3070     61 |  0.002 % |
0.06/0.42	c |      3217 |     220    18700   130900 |     6233     3217     61 |  0.002 % |
0.06/0.44	c |      3377 |     220    18700   130900 |     6233     3377     61 |  0.002 % |
0.06/0.45	c |      3554 |     220    18700   130900 |     6233     3554     61 |  0.002 % |
0.06/0.47	c |      3654 |     220    18700   130900 |     6233     3654     61 |  0.002 % |
0.06/0.48	c |      3764 |     220    18700   130900 |     6233     3764     61 |  0.002 % |
0.06/0.49	c |      3885 |     220    18700   130900 |     6233     3885     61 |  0.002 % |
0.06/0.51	c |      4018 |     220    18700   130900 |     6233     4018     61 |  0.002 % |
0.06/0.52	c |      4164 |     220    18700   130900 |     6233     4164     61 |  0.002 % |
0.06/0.54	c |      4324 |     220    18700   130900 |     6233     4324     61 |  0.002 % |
0.06/0.56	c |      4501 |     220    18700   130900 |     6233     4501     61 |  0.002 % |
0.06/0.58	c |      4696 |     220    18700   130900 |     6233     4696     61 |  0.002 % |
0.06/0.59	c |      4796 |     220    18700   130900 |     6233     4796     61 |  0.002 % |
0.06/0.60	c |      4907 |     220    18700   130900 |     6233     4907     61 |  0.002 % |
0.06/0.62	c |      5029 |     220    18700   130900 |     6233     5029     61 |  0.002 % |
0.06/0.64	c |      5164 |     220    18700   130900 |     6233     5164     61 |  0.002 % |
0.06/0.66	c |      5311 |     220    18700   130900 |     6233     5311     61 |  0.002 % |
0.06/0.68	c |      5472 |     220    18700   130900 |     6233     5472     61 |  0.002 % |
0.06/0.70	c |      5650 |     220    18700   130900 |     6233     5650     61 |  0.002 % |
0.06/0.72	c |      5844 |     220    18700   130900 |     6233     5844     61 |  0.002 % |
0.06/0.75	c |      6056 |     220    18700   130900 |     6233     6056     61 |  0.002 % |
0.06/0.76	c |      6158 |     220    18700   130900 |     6233     6158     61 |  0.002 % |
0.06/0.78	c |      6269 |     220    18700   130900 |     6233     6269     61 |  0.002 % |
0.06/0.79	c |      6390 |     220    18700   130900 |     6233     5764     60 |  0.002 % |
0.06/0.81	c |      6523 |     220    18700   130900 |     6233     5897     60 |  0.002 % |
0.06/0.83	c |      6671 |     220    18700   130900 |     6233     6045     61 |  0.002 % |
0.06/0.85	c |      6831 |     220    18700   130900 |     6233     6205     61 |  0.002 % |
0.06/0.87	c |      7007 |     220    18700   130900 |     6233     5747     60 |  0.002 % |
0.06/0.90	c |      7200 |     220    18700   130900 |     6233     5940     60 |  0.002 % |
0.06/0.93	c |      7412 |     220    18700   130900 |     6233     6152     60 |  0.002 % |
0.06/0.96	c |      7648 |     220    18700   130900 |     6233     5755     60 |  0.002 % |
0.06/0.97	c |      7748 |     220    18700   130900 |     6233     5855     60 |  0.002 % |
0.06/0.98	c |      7859 |     220    18700   130900 |     6233     5966     60 |  0.002 % |
0.06/1.00	c |      7984 |     220    18700   130900 |     6233     6091     60 |  0.002 % |
0.97/1.02	c |      8118 |     220    18700   130900 |     6233     6225     60 |  0.002 % |
0.97/1.04	c |      8265 |     220    18700   130900 |     6233     5739     60 |  0.002 % |
0.97/1.06	c |      8427 |     220    18700   130900 |     6233     5901     60 |  0.002 % |
0.97/1.09	c |      8604 |     220    18700   130900 |     6233     6078     60 |  0.002 % |
1.07/1.11	c |      8797 |     220    18700   130900 |     6233     6271     60 |  0.002 % |
1.07/1.14	c |      9009 |     220    18700   130900 |     6233     5856     60 |  0.002 % |
1.07/1.18	c |      9243 |     220    18700   130900 |     6233     6090     60 |  0.002 % |
1.17/1.21	c |      9501 |     220    18700   130900 |     6233     5715     60 |  0.002 % |
1.17/1.23	c |      9601 |     220    18700   130900 |     6233     5815     60 |  0.002 % |
1.17/1.24	c |      9711 |     220    18700   130900 |     6233     5925     60 |  0.002 % |
1.17/1.26	c |      9833 |     220    18700   130900 |     6233     6047     60 |  0.002 % |
1.17/1.27	c |      9966 |     220    18700   130900 |     6233     6180     60 |  0.002 % |
1.17/1.30	c |     10114 |     220    18700   130900 | 2147483647     6328     60 |  0.002 % |
1.26/1.32	c |     10276 |     220    18700   130900 | 2147483647     6490     60 |  0.002 % |
1.26/1.35	c |     10453 |     220    18700   130900 | 2147483647     6667     60 |  0.002 % |
1.26/1.38	c |     10648 |     220    18700   130900 | 2147483647     6862     60 |  0.002 % |
1.36/1.41	c |     10866 |     220    18700   130900 | 2147483647     7080     60 |  0.002 % |
1.36/1.44	c |     11099 |     220    18700   130900 | 2147483647     7313     60 |  0.002 % |
1.36/1.48	c |     11356 |     220    18700   130900 | 2147483647     7570     61 |  0.002 % |
1.46/1.52	c |     11638 |     220    18700   130900 | 2147483647     7852     61 |  0.002 % |
1.46/1.54	c |     11739 |     220    18700   130900 | 2147483647     7953     61 |  0.002 % |
1.46/1.55	c |     11849 |     220    18700   130900 | 2147483647     8063     61 |  0.002 % |
1.46/1.57	c |     11970 |     220    18700   130900 | 2147483647     8184     61 |  0.002 % |
1.46/1.60	c |     12103 |     220    18700   130900 | 2147483647     8317     61 |  0.002 % |
1.56/1.62	c |     12250 |     220    18700   130900 | 2147483647     8464     61 |  0.002 % |
1.56/1.64	c |     12413 |     220    18700   130900 | 2147483647     8627     61 |  0.002 % |
1.56/1.67	c |     12589 |     220    18700   130900 | 2147483647     8803     61 |  0.002 % |
1.66/1.71	c |     12782 |     220    18700   130900 | 2147483647     8996     61 |  0.002 % |
1.66/1.74	c |     12994 |     220    18700   130900 | 2147483647     9208     61 |  0.002 % |
1.66/1.78	c |     13227 |     220    18700   130900 | 2147483647     9441     61 |  0.002 % |
1.76/1.82	c |     13483 |     220    18700   130900 | 2147483647     9697     61 |  0.002 % |
1.76/1.87	c |     13764 |     220    18700   130900 | 2147483647     9978     61 |  0.002 % |
1.86/1.92	c |     14073 |     220    18700   130900 | 2147483647    10287     61 |  0.002 % |
1.86/1.94	c |     14174 |     220    18700   130900 | 2147483647    10388     61 |  0.002 % |
1.86/1.96	c |     14287 |     220    18700   130900 | 2147483647    10501     61 |  0.002 % |
1.86/1.98	c |     14408 |     220    18700   130900 | 2147483647    10622     61 |  0.002 % |
1.97/2.00	c |     14541 |     220    18700   130900 | 2147483647    10755     61 |  0.002 % |
1.97/2.03	c |     14687 |     220    18700   130900 | 2147483647    10901     61 |  0.002 % |
1.97/2.06	c |     14849 |     220    18700   130900 | 2147483647    11063     61 |  0.002 % |
1.97/2.10	c |     15025 |     220    18700   130900 | 2147483647    11239     61 |  0.002 % |
2.07/2.13	c |     15218 |     220    18700   130900 | 2147483647    11432     61 |  0.002 % |
2.07/2.17	c |     15430 |     220    18700   130900 | 2147483647    11644     61 |  0.002 % |
2.17/2.21	c |     15663 |     220    18700   130900 | 2147483647    11877     61 |  0.002 % |
2.17/2.26	c |     15919 |     220    18700   130900 | 2147483647    12133     61 |  0.002 % |
2.27/2.31	c |     16204 |     220    18700   130900 | 2147483647    12418     61 |  0.002 % |
2.27/2.38	c |     16513 |     220    18700   130900 | 2147483647    12727     61 |  0.002 % |
2.37/2.44	c |     16853 |     220    18700   130900 | 2147483647    13067     61 |  0.002 % |
2.37/2.46	c |     16953 |     220    18700   130900 | 2147483647    13167     61 |  0.002 % |
2.37/2.49	c |     17063 |     220    18700   130900 | 2147483647    13277     61 |  0.002 % |
2.46/2.51	c |     17185 |     220    18700   130900 | 2147483647    13399     61 |  0.002 % |
2.46/2.54	c |     17318 |     220    18700   130900 | 2147483647    13532     61 |  0.002 % |
2.46/2.57	c |     17465 |     220    18700   130900 | 2147483647    13679     61 |  0.002 % |
2.56/2.61	c |     17625 |     220    18700   130900 | 2147483647    13839     61 |  0.002 % |
2.56/2.64	c |     17801 |     220    18700   130900 | 2147483647    14015     61 |  0.002 % |
2.56/2.69	c |     17995 |     220    18700   130900 | 2147483647    14209     61 |  0.002 % |
2.66/2.74	c |     18209 |     220    18700   130900 | 2147483647    14423     61 |  0.002 % |
2.66/2.78	c |     18444 |     220    18700   130900 | 2147483647    14658     61 |  0.002 % |
2.76/2.84	c |     18702 |     220    18700   130900 | 2147483647    14916     61 |  0.002 % |
2.76/2.90	c |     18983 |     220    18700   130900 | 2147483647    15197     61 |  0.002 % |
2.86/2.97	c |     19294 |     220    18700   130900 | 2147483647    15508     61 |  0.002 % |
2.96/3.04	c |     19633 |     220    18700   130900 | 2147483647    15847     61 |  0.002 % |
3.06/3.13	c |     20006 |     220    18700   130900 | 2147483647    16220     61 |  0.002 % |
3.06/3.16	c |     20107 |     220    18700   130900 | 2147483647    16321     61 |  0.002 % |
3.06/3.19	c |     20219 |     220    18700   130900 | 2147483647    16433     61 |  0.002 % |
3.17/3.22	c |     20341 |     220    18700   130900 | 2147483647    16555     61 |  0.002 % |
3.17/3.25	c |     20474 |     220    18700   130900 | 2147483647    16688     61 |  0.002 % |
3.17/3.28	c |     20620 |     220    18700   130900 | 2147483647    16834     61 |  0.002 % |
3.26/3.32	c |     20780 |     220    18700   130900 | 2147483647    16994     61 |  0.002 % |
3.26/3.36	c |     20958 |     220    18700   130900 | 2147483647    17172     61 |  0.002 % |
3.36/3.41	c |     21151 |     220    18700   130900 | 2147483647    17365     61 |  0.002 % |
3.36/3.46	c |     21363 |     220    18700   130900 | 2147483647    17577     61 |  0.002 % |
3.46/3.52	c |     21596 |     220    18700   130900 | 2147483647    17810     61 |  0.002 % |
3.46/3.60	c |     21852 |     220    18700   130900 | 2147483647    18066     61 |  0.002 % |
3.56/3.67	c |     22133 |     220    18700   130900 | 2147483647    18347     61 |  0.002 % |
3.66/3.74	c |     22442 |     220    18700   130900 | 2147483647    18656     61 |  0.002 % |
3.76/3.82	c |     22783 |     220    18700   130900 | 2147483647    18997     61 |  0.002 % |
3.86/3.92	c |     23156 |     220    18700   130900 | 2147483647    19370     61 |  0.002 % |
3.96/4.02	c |     23567 |     220    18700   130900 | 2147483647    19781     61 |  0.002 % |
3.96/4.05	c |     23667 |     220    18700   130900 | 2147483647    19881     61 |  0.002 % |
3.96/4.09	c |     23777 |     220    18700   130900 | 2147483647    19991     61 |  0.002 % |
4.06/4.12	c |     23898 |     220    18700   130900 | 2147483647    20112     61 |  0.002 % |
4.06/4.16	c |     24031 |     220    18700   130900 | 2147483647    20245     61 |  0.002 % |
4.16/4.20	c |     24180 |     220    18700   130900 | 2147483647    20394     61 |  0.002 % |
4.16/4.24	c |     24343 |     220    18700   130900 | 2147483647    20557     61 |  0.002 % |
4.16/4.29	c |     24519 |     220    18700   130900 | 2147483647    20733     61 |  0.002 % |
4.26/4.35	c |     24712 |     220    18700   130900 | 2147483647    20926     61 |  0.002 % |
4.37/4.41	c |     24924 |     220    18700   130900 | 2147483647    21138     61 |  0.002 % |
4.37/4.48	c |     25159 |     220    18700   130900 | 2147483647    21373     61 |  0.002 % |
4.46/4.55	c |     25416 |     220    18700   130900 | 2147483647    21630     61 |  0.002 % |
4.56/4.63	c |     25700 |     220    18700   130900 | 2147483647    21914     61 |  0.002 % |
4.66/4.72	c |     26010 |     220    18700   130900 | 2147483647    22224     61 |  0.002 % |
4.76/4.83	c |     26349 |     220    18700   130900 | 2147483647    22563     61 |  0.002 % |
4.86/4.95	c |     26722 |     220    18700   130900 | 2147483647    22936     61 |  0.002 % |
4.96/5.07	c |     27131 |     220    18700   130900 | 2147483647    23345     61 |  0.002 % |
5.06/5.19	c |     27580 |     220    18700   130900 | 2147483647    23794     61 |  0.002 % |
5.16/5.23	c |     27680 |     220    18700   130900 | 2147483647    23894     61 |  0.002 % |
5.16/5.27	c |     27790 |     220    18700   130900 | 2147483647    24004     61 |  0.002 % |
5.26/5.31	c |     27911 |     220    18700   130900 | 2147483647    24125     61 |  0.002 % |
5.26/5.35	c |     28045 |     220    18700   130900 | 2147483647    24259     61 |  0.002 % |
5.36/5.41	c |     28191 |     220    18700   130900 | 2147483647    24405     61 |  0.002 % |
5.36/5.47	c |     28353 |     220    18700   130900 | 2147483647    24567     61 |  0.002 % |
5.46/5.52	c |     28531 |     220    18700   130900 | 2147483647    24745     61 |  0.002 % |
5.46/5.59	c |     28725 |     220    18700   130900 | 2147483647    24939     61 |  0.002 % |
5.56/5.65	c |     28938 |     220    18700   130900 | 2147483647    25152     61 |  0.002 % |
5.66/5.73	c |     29172 |     220    18700   130900 | 2147483647    25386     61 |  0.002 % |
5.66/5.80	c |     29429 |     220    18700   130900 | 2147483647    25643     61 |  0.002 % |
5.76/5.88	c |     29710 |     220    18700   130900 | 2147483647    25924     61 |  0.002 % |
5.86/5.98	c |     30019 |     220    18700   130900 | 2147483647    26233     61 |  0.002 % |
6.06/6.11	c |     30360 |     220    18700   130900 | 2147483647    26574     61 |  0.002 % |
6.16/6.24	c |     30732 |     220    18700   130900 | 2147483647    26946     61 |  0.002 % |
6.26/6.38	c |     31141 |     220    18700   130900 | 2147483647    27355     61 |  0.002 % |
6.46/6.53	c |     31591 |     220    18700   130900 | 2147483647    27805     61 |  0.002 % |
6.65/6.72	c |     32084 |     220    18700   130900 | 2147483647    28298     61 |  0.002 % |
6.65/6.77	c |     32184 |     220    18700   130900 | 2147483647    28398     61 |  0.002 % |
6.75/6.81	c |     32294 |     220    18700   130900 | 2147483647    28508     61 |  0.002 % |
6.75/6.86	c |     32415 |     220    18700   130900 | 2147483647    28629     61 |  0.002 % |
6.85/6.91	c |     32549 |     220    18700   130900 | 2147483647    28763     61 |  0.002 % |
6.85/6.97	c |     32695 |     220    18700   130900 | 2147483647    28909     61 |  0.002 % |
6.95/7.03	c |     32856 |     220    18700   130900 | 2147483647    29070     61 |  0.002 % |
7.05/7.10	c |     33035 |     220    18700   130900 | 2147483647    29249     61 |  0.002 % |
7.05/7.19	c |     33229 |     220    18700   130900 | 2147483647    29443     61 |  0.002 % |
7.15/7.28	c |     33442 |     220    18700   130900 | 2147483647    29656     61 |  0.002 % |
7.25/7.36	c |     33675 |     220    18700   130900 | 2147483647    29889     61 |  0.002 % |
7.35/7.45	c |     33932 |     220    18700   130900 | 2147483647    30146     61 |  0.002 % |
7.45/7.56	c |     34214 |     220    18700   130900 | 2147483647    30428     61 |  0.002 % |
7.56/7.67	c |     34524 |     220    18700   130900 | 2147483647    30738     61 |  0.002 % |
7.76/7.82	c |     34863 |     220    18700   130900 | 2147483647    31077     61 |  0.002 % |
7.86/7.96	c |     35235 |     220    18700   130900 | 2147483647    31449     61 |  0.002 % |
8.06/8.11	c |     35645 |     220    18700   130900 | 2147483647    31859     61 |  0.002 % |
8.16/8.26	c |     36095 |     220    18700   130900 | 2147483647    32309     61 |  0.002 % |
8.36/8.47	c |     36588 |     220    18700   130900 | 2147483647    32802     61 |  0.002 % |
8.56/8.69	c |     37130 |     220    18700   130900 | 2147483647    33344     62 |  0.002 % |
8.66/8.74	c |     37230 |     220    18700   130900 | 2147483647    33444     62 |  0.002 % |
8.66/8.78	c |     37340 |     220    18700   130900 | 2147483647    33554     62 |  0.002 % |
8.76/8.84	c |     37461 |     220    18700   130900 | 2147483647    33675     62 |  0.002 % |
8.86/8.90	c |     37594 |     220    18700   130900 | 2147483647    33808     62 |  0.002 % |
8.86/8.97	c |     37740 |     220    18700   130900 | 2147483647    33954     62 |  0.002 % |
8.96/9.05	c |     37900 |     220    18700   130900 | 2147483647    34114     62 |  0.002 % |
9.06/9.13	c |     38076 |     220    18700   130900 | 2147483647    34290     62 |  0.002 % |
9.16/9.23	c |     38270 |     220    18700   130900 | 2147483647    34484     62 |  0.002 % |
9.26/9.33	c |     38483 |     220    18700   130900 | 2147483647    34697     62 |  0.002 % |
9.36/9.43	c |     38717 |     220    18700   130900 | 2147483647    34931     61 |  0.002 % |
9.45/9.54	c |     38973 |     220    18700   130900 | 2147483647    35187     61 |  0.002 % |
9.55/9.66	c |     39254 |     220    18700   130900 | 2147483647    35468     61 |  0.002 % |
9.65/9.80	c |     39563 |     220    18700   130900 | 2147483647    35777     61 |  0.002 % |
9.86/9.96	c |     39902 |     220    18700   130900 | 2147483647    36116     61 |  0.002 % |
10.05/10.14	c |     40276 |     220    18700   130900 | 2147483647    36490     61 |  0.002 % |
10.25/10.33	c |     40685 |     220    18700   130900 | 2147483647    36899     61 |  0.002 % |
10.45/10.52	c |     41134 |     220    18700   130900 | 2147483647    37348     61 |  0.002 % |
10.65/10.74	c |     41627 |     220    18700   130900 | 2147483647    37841     61 |  0.002 % |
10.86/10.98	c |     42170 |     220    18700   130900 | 2147483647    38384     61 |  0.002 % |
11.15/11.22	c |     42767 |     220    18700   130900 | 2147483647    38981     61 |  0.002 % |
11.15/11.26	c |     42867 |     220    18700   130900 | 2147483647    39081     61 |  0.002 % |
11.25/11.32	c |     42977 |     220    18700   130900 | 2147483647    39191     61 |  0.002 % |
11.25/11.38	c |     43098 |     220    18700   130900 | 2147483647    39312     61 |  0.002 % |
11.35/11.46	c |     43232 |     220    18700   130900 | 2147483647    39446     61 |  0.002 % |
11.45/11.55	c |     43379 |     220    18700   130900 | 2147483647    39593     61 |  0.002 % |
11.55/11.62	c |     43539 |     220    18700   130900 | 2147483647    39753     61 |  0.002 % |
11.65/11.73	c |     43715 |     220    18700   130900 | 2147483647    39929     61 |  0.002 % |
11.75/11.83	c |     43908 |     220    18700   130900 | 2147483647    40122     61 |  0.002 % |
11.85/11.93	c |     44121 |     220    18700   130900 | 2147483647    40335     61 |  0.002 % |
11.95/12.03	c |     44354 |     220    18700   130900 | 2147483647    40568     61 |  0.002 % |
12.06/12.17	c |     44610 |     220    18700   130900 | 2147483647    40824     61 |  0.002 % |
12.26/12.30	c |     44891 |     220    18700   130900 | 2147483647    41105     61 |  0.002 % |
12.36/12.46	c |     45202 |     220    18700   130900 | 2147483647    41416     61 |  0.002 % |
12.56/12.64	c |     45544 |     220    18700   130900 | 2147483647    41758     61 |  0.002 % |
12.76/12.84	c |     45916 |     220    18700   130900 | 2147483647    42130     62 |  0.002 % |
12.96/13.04	c |     46327 |     220    18700   130900 | 2147483647    42541     62 |  0.002 % |
13.16/13.27	c |     46776 |     220    18700   130900 | 2147483647    42990     62 |  0.002 % |
13.46/13.52	c |     47269 |     220    18700   130900 | 2147483647    43483     62 |  0.002 % |
13.65/13.79	c |     47813 |     220    18700   130900 | 2147483647    44027     62 |  0.002 % |
13.95/14.09	c |     48409 |     220    18700   130900 | 2147483647    44623     62 |  0.002 % |
14.35/14.41	c |     49064 |     220    18700   130900 | 2147483647    45278     62 |  0.002 % |
14.35/14.49	c |     49164 |     220    18700   130900 | 2147483647    45378     62 |  0.002 % |
14.45/14.56	c |     49275 |     220    18700   130900 | 2147483647    45489     62 |  0.002 % |
14.55/14.62	c |     49396 |     220    18700   130900 | 2147483647    45610     62 |  0.002 % |
14.65/14.70	c |     49529 |     220    18700   130900 | 2147483647    45743     62 |  0.002 % |
14.75/14.81	c |     49677 |     220    18700   130900 | 2147483647    45891     62 |  0.002 % |
14.85/14.90	c |     49837 |     220    18700   130900 | 2147483647    46051     62 |  0.002 % |
14.95/15.01	c |     50016 |     220    18700   130900 | 2147483647    46230     62 |  0.002 % |
15.05/15.13	c |     50209 |     220    18700   130900 | 2147483647    46423     62 |  0.002 % |
15.15/15.25	c |     50421 |     220    18700   130900 | 2147483647    46635     62 |  0.002 % |
15.25/15.39	c |     50656 |     220    18700   130900 | 2147483647    46870     62 |  0.002 % |
15.45/15.53	c |     50912 |     220    18700   130900 | 2147483647    47126     62 |  0.002 % |
15.65/15.71	c |     51193 |     220    18700   130900 | 2147483647    47407     62 |  0.002 % |
15.75/15.88	c |     51502 |     220    18700   130900 | 2147483647    47716     62 |  0.002 % |
16.05/16.12	c |     51841 |     220    18700   130900 | 2147483647    48055     62 |  0.002 % |
16.25/16.33	c |     52213 |     220    18700   130900 | 2147483647    48427     62 |  0.002 % |
16.45/16.55	c |     52623 |     220    18700   130900 | 2147483647    48837     62 |  0.002 % |
16.75/16.80	c |     53072 |     220    18700   130900 | 2147483647    49286     62 |  0.002 % |
17.05/17.12	c |     53565 |     220    18700   130900 | 2147483647    49779     62 |  0.002 % |
17.36/17.48	c |     54107 |     220    18700   130900 | 2147483647    50321     62 |  0.002 % |
17.75/17.86	c |     54703 |     220    18700   130900 | 2147483647    50917     62 |  0.002 % |
18.15/18.22	c |     55358 |     220    18700   130900 | 2147483647    51572     62 |  0.002 % |
18.56/18.64	c |     56078 |     220    18700   130900 | 2147483647    52292     62 |  0.002 % |
18.66/18.72	c |     56178 |     220    18700   130900 | 2147483647    52392     62 |  0.002 % |
18.66/18.79	c |     56288 |     220    18700   130900 | 2147483647    52502     62 |  0.002 % |
18.75/18.86	c |     56409 |     220    18700   130900 | 2147483647    52623     62 |  0.002 % |
18.85/18.94	c |     56542 |     220    18700   130900 | 2147483647    52756     62 |  0.002 % |
18.95/19.05	c |     56691 |     220    18700   130900 | 2147483647    52905     62 |  0.002 % |
19.05/19.17	c |     56852 |     220    18700   130900 | 2147483647    53066     62 |  0.002 % |
19.15/19.28	c |     57030 |     220    18700   130900 | 2147483647    53244     62 |  0.002 % |
19.35/19.44	c |     57228 |     220    18700   130900 | 2147483647    53442     62 |  0.002 % |
19.45/19.59	c |     57440 |     220    18700   130900 | 2147483647    53654     62 |  0.002 % |
19.66/19.74	c |     57674 |     220    18700   130900 | 2147483647    53888     62 |  0.002 % |
19.85/19.90	c |     57933 |     220    18700   130900 | 2147483647    54147     62 |  0.002 % |
19.95/20.07	c |     58215 |     220    18700   130900 | 2147483647    54429     62 |  0.002 % |
20.15/20.24	c |     58524 |     220    18700   130900 | 2147483647    54738     62 |  0.002 % |
20.35/20.48	c |     58863 |     220    18700   130900 | 2147483647    55077     62 |  0.002 % |
20.65/20.71	c |     59237 |     220    18700   130900 | 2147483647    55451     61 |  0.002 % |
20.85/20.99	c |     59646 |     220    18700   130900 | 2147483647    55860     62 |  0.002 % |
21.15/21.27	c |     60095 |     220    18700   130900 | 2147483647    56309     62 |  0.002 % |
21.55/21.62	c |     60588 |     220    18700   130900 | 2147483647    56802     62 |  0.002 % |
21.85/21.99	c |     61131 |     220    18700   130900 | 2147483647    57345     62 |  0.002 % |
22.35/22.42	c |     61727 |     220    18700   130900 | 2147483647    57941     62 |  0.002 % |
22.75/22.84	c |     62382 |     220    18700   130900 | 2147483647    58596     62 |  0.002 % |
23.25/23.31	c |     63103 |     220    18700   130900 | 2147483647    59317     62 |  0.002 % |
23.75/23.82	c |     63896 |     220    18700   130900 | 2147483647    60110     62 |  0.002 % |
23.75/23.90	c |     63997 |     220    18700   130900 | 2147483647    60211     62 |  0.002 % |
23.85/23.99	c |     64107 |     220    18700   130900 | 2147483647    60321     62 |  0.002 % |
23.95/24.08	c |     64228 |     220    18700   130900 | 2147483647    60442     62 |  0.002 % |
24.05/24.17	c |     64361 |     220    18700   130900 | 2147483647    60575     62 |  0.002 % |
24.15/24.27	c |     64507 |     220    18700   130900 | 2147483647    60721     62 |  0.002 % |
24.34/24.42	c |     64667 |     220    18700   130900 | 2147483647    60881     62 |  0.002 % |
24.45/24.57	c |     64844 |     220    18700   130900 | 2147483647    61058     62 |  0.002 % |
24.65/24.72	c |     65037 |     220    18700   130900 | 2147483647    61251     62 |  0.002 % |
24.75/24.88	c |     65249 |     220    18700   130900 | 2147483647    61463     62 |  0.002 % |
24.95/25.08	c |     65484 |     220    18700   130900 | 2147483647    61698     62 |  0.002 % |
25.16/25.29	c |     65740 |     220    18700   130900 | 2147483647    61954     62 |  0.002 % |
25.35/25.48	c |     66021 |     220    18700   130900 | 2147483647    62235     62 |  0.002 % |
25.65/25.74	c |     66331 |     220    18700   130900 | 2147483647    62545     62 |  0.002 % |
25.85/25.99	c |     66670 |     220    18700   130900 | 2147483647    62884     62 |  0.002 % |
26.15/26.25	c |     67044 |     220    18700   130900 | 2147483647    63258     62 |  0.002 % |
26.55/26.60	c |     67454 |     220    18700   130900 | 2147483647    63668     62 |  0.002 % |
26.85/26.92	c |     67903 |     220    18700   130900 | 2147483647    64117     62 |  0.002 % |
27.25/27.32	c |     68396 |     220    18700   130900 | 2147483647    64610     62 |  0.002 % |
27.65/27.71	c |     68940 |     220    18700   130900 | 2147483647    65154     62 |  0.002 % |
28.05/28.13	c |     69536 |     220    18700   130900 | 2147483647    65750     62 |  0.002 % |
28.65/28.70	c |     70192 |     220    18700   130900 | 2147483647    66406     62 |  0.002 % |
29.15/29.24	c |     70913 |     220    18700   130900 | 2147483647    67127     62 |  0.002 % |
29.75/29.83	c |     71705 |     220    18700   130900 | 2147483647    67919     62 |  0.002 % |
30.35/30.41	c |     72578 |     220    18700   130900 | 2147483647    68792     62 |  0.002 % |
30.45/30.50	c |     72678 |     220    18700   130900 | 2147483647    68892     62 |  0.002 % |
30.45/30.59	c |     72792 |     220    18700   130900 | 2147483647    69006     62 |  0.002 % |
30.55/30.69	c |     72915 |     220    18700   130900 | 2147483647    69129     62 |  0.002 % |
30.75/30.80	c |     73049 |     220    18700   130900 | 2147483647    69263     62 |  0.002 % |
30.85/30.94	c |     73196 |     220    18700   130900 | 2147483647    69410     62 |  0.002 % |
30.95/31.09	c |     73357 |     220    18700   130900 | 2147483647    69571     62 |  0.002 % |
31.14/31.25	c |     73533 |     220    18700   130900 | 2147483647    69747     62 |  0.002 % |
31.34/31.43	c |     73727 |     220    18700   130900 | 2147483647    69941     62 |  0.002 % |
31.54/31.60	c |     73943 |     220    18700   130900 | 2147483647    70157     62 |  0.002 % |
31.64/31.78	c |     74176 |     220    18700   130900 | 2147483647    70390     62 |  0.002 % |
31.84/31.96	c |     74433 |     220    18700   130900 | 2147483647    70647     62 |  0.002 % |
32.04/32.18	c |     74716 |     220    18700   130900 | 2147483647    70930     62 |  0.002 % |
32.34/32.42	c |     75025 |     220    18700   130900 | 2147483647    71239     62 |  0.002 % |
32.64/32.77	c |     75366 |     220    18700   130900 | 2147483647    71580     62 |  0.002 % |
33.04/33.10	c |     75738 |     220    18700   130900 | 2147483647    71952     62 |  0.002 % |
33.34/33.45	c |     76147 |     220    18700   130900 | 2147483647    72361     62 |  0.002 % |
33.74/33.86	c |     76596 |     220    18700   130900 | 2147483647    72810     62 |  0.002 % |
34.24/34.33	c |     77091 |     220    18700   130900 | 2147483647    73305     62 |  0.002 % |
34.74/34.82	c |     77634 |     220    18700   130900 | 2147483647    73848     62 |  0.002 % |
35.24/35.38	c |     78234 |     220    18700   130900 | 2147483647    74448     62 |  0.002 % |
35.84/35.93	c |     78890 |     220    18700   130900 | 2147483647    75104     62 |  0.002 % |
36.43/36.55	c |     79612 |     220    18700   130900 | 2147483647    75826     62 |  0.002 % |
37.03/37.17	c |     80405 |     220    18700   130900 | 2147483647    76619     62 |  0.002 % |
37.74/37.86	c |     81277 |     220    18700   130900 | 2147483647    77491     62 |  0.002 % |
38.54/38.61	c |     82236 |     220    18700   130900 | 2147483647    78450     62 |  0.002 % |
38.64/38.70	c |     82337 |     220    18700   130900 | 2147483647    78551     62 |  0.002 % |
38.64/38.80	c |     82449 |     220    18700   130900 | 2147483647    78663     62 |  0.002 % |
38.84/38.91	c |     82570 |     220    18700   130900 | 2147483647    78784     62 |  0.002 % |
38.94/39.08	c |     82704 |     220    18700   130900 | 2147483647    78918     62 |  0.002 % |
39.14/39.24	c |     82850 |     220    18700   130900 | 2147483647    79064     62 |  0.002 % |
39.24/39.37	c |     83010 |     220    18700   130900 | 2147483647    79224     62 |  0.002 % |
39.44/39.58	c |     83186 |     220    18700   130900 | 2147483647    79400     62 |  0.002 % |
39.63/39.78	c |     83380 |     220    18700   130900 | 2147483647    79594     62 |  0.002 % |
39.83/39.99	c |     83593 |     220    18700   130900 | 2147483647    79807     62 |  0.002 % |
40.13/40.23	c |     83826 |     220    18700   130900 | 2147483647    80040     62 |  0.002 % |
40.33/40.48	c |     84082 |     220    18700   130900 | 2147483647    80296     62 |  0.002 % |
40.64/40.76	c |     84363 |     220    18700   130900 | 2147483647    80577     62 |  0.002 % |
40.93/41.05	c |     84673 |     220    18700   130900 | 2147483647    80887     62 |  0.002 % |
41.23/41.37	c |     85013 |     220    18700   130900 | 2147483647    81227     62 |  0.002 % |
41.64/41.79	c |     85386 |     220    18700   130900 | 2147483647    81600     62 |  0.002 % |
42.13/42.20	c |     85796 |     220    18700   130900 | 2147483647    82010     62 |  0.002 % |
42.53/42.61	c |     86247 |     220    18700   130900 | 2147483647    82461     62 |  0.002 % |
42.93/43.02	c |     86741 |     220    18700   130900 | 2147483647    82955     62 |  0.002 % |
43.33/43.48	c |     87285 |     220    18700   130900 | 2147483647    83499     62 |  0.002 % |
43.84/43.97	c |     87881 |     220    18700   130900 | 2147483647    84095     62 |  0.002 % |
44.43/44.51	c |     88537 |     220    18700   130900 | 2147483647    84751     62 |  0.002 % |
45.23/45.31	c |     89258 |     220    18700   130900 | 2147483647    85472     62 |  0.002 % |
45.93/46.04	c |     90050 |     220    18700   130900 |    86214    86264     62 |  0.002 % |
46.83/46.91	c |     90922 |     220    18700   130900 |    86214    75899     62 |  0.002 % |
47.63/47.73	c |     91882 |     220    18700   130900 |    86214    76859     62 |  0.002 % |
48.43/48.58	c |     92935 |     220    18700   130900 |    86214    77912     62 |  0.002 % |
48.53/48.68	c |     93036 |     220    18700   130900 |    86214    78013     62 |  0.002 % |
48.73/48.81	c |     93147 |     220    18700   130900 |    86214    78124     62 |  0.002 % |
48.83/48.93	c |     93268 |     220    18700   130900 |    86214    78245     62 |  0.002 % |
48.93/49.06	c |     93401 |     220    18700   130900 |    86214    78378     62 |  0.002 % |
49.03/49.20	c |     93549 |     220    18700   130900 |    86214    78526     62 |  0.002 % |
49.23/49.39	c |     93709 |     220    18700   130900 |    86214    78686     62 |  0.002 % |
49.43/49.56	c |     93885 |     220    18700   130900 |    86214    78862     62 |  0.002 % |
49.63/49.76	c |     94078 |     220    18700   130900 |    86214    79055     62 |  0.002 % |
49.83/49.99	c |     94290 |     220    18700   130900 |    86214    79267     62 |  0.002 % |
50.13/50.23	c |     94523 |     220    18700   130900 |    86214    79500     62 |  0.002 % |
50.33/50.49	c |     94779 |     220    18700   130900 |    86214    79756     62 |  0.002 % |
50.63/50.77	c |     95061 |     220    18700   130900 |    86214    80038     62 |  0.002 % |
51.03/51.12	c |     95373 |     220    18700   130900 |    86214    80350     62 |  0.002 % |
51.33/51.45	c |     95713 |     220    18700   130900 |    86214    80690     62 |  0.002 % |
51.73/51.81	c |     96085 |     220    18700   130900 |    86214    81062     62 |  0.002 % |
52.13/52.25	c |     96496 |     220    18700   130900 |    86214    81473     62 |  0.002 % |
52.63/52.71	c |     96945 |     220    18700   130900 |    86214    81922     62 |  0.002 % |
53.03/53.16	c |     97438 |     220    18700   130900 |    86214    82415     62 |  0.002 % |
53.53/53.68	c |     97980 |     220    18700   130900 |    86214    82957     62 |  0.002 % |
54.13/54.23	c |     98576 |     220    18700   130900 |    86214    83553     62 |  0.002 % |
54.73/54.89	c |     99232 |     220    18700   130900 |    86214    84209     62 |  0.002 % |
55.53/55.63	c |     99952 |     220    18700   130900 |    86214    84929     62 |  0.002 % |
56.23/56.35	c |    100745 |     220    18700   130900 |    84978    73002     62 |  0.002 % |
56.93/57.01	c |    101617 |     220    18700   130900 |    84978    73874     62 |  0.002 % |
57.63/57.72	c |    102575 |     220    18700   130900 |    84978    74832     62 |  0.002 % |
58.63/58.79	c |    103630 |     220    18700   130900 |    84978    75887     62 |  0.002 % |
59.72/59.80	c |    104788 |     220    18700   130900 |    84978    77045     62 |  0.002 % |
59.82/59.90	c |    104888 |     220    18700   130900 |    84978    77145     62 |  0.002 % |
59.82/59.99	c |    104999 |     220    18700   130900 |    84978    77256     62 |  0.002 % |
60.02/60.10	c |    105120 |     220    18700   130900 |    84978    77377     62 |  0.002 % |
60.12/60.21	c |    105253 |     220    18700   130900 |    84978    77510     62 |  0.002 % |
60.22/60.36	c |    105399 |     220    18700   130900 |    84978    77656     62 |  0.002 % |
60.43/60.50	c |    105559 |     220    18700   130900 |    84978    77816     62 |  0.002 % |
60.62/60.70	c |    105736 |     220    18700   130900 |    84978    77993     62 |  0.002 % |
60.82/60.92	c |    105930 |     220    18700   130900 |    84978    78187     62 |  0.002 % |
61.02/61.14	c |    106142 |     220    18700   130900 |    84978    78399     62 |  0.002 % |
61.22/61.36	c |    106375 |     220    18700   130900 |    84978    78632     62 |  0.002 % |
61.43/61.58	c |    106634 |     220    18700   130900 |    84978    78891     62 |  0.002 % |
61.72/61.84	c |    106915 |     220    18700   130900 |    84978    79172     62 |  0.002 % |
62.02/62.11	c |    107225 |     220    18700   130900 |    84978    79482     62 |  0.002 % |
62.32/62.44	c |    107569 |     220    18700   130900 |    84978    79826     62 |  0.002 % |
62.72/62.85	c |    107941 |     220    18700   130900 |    84978    80198     62 |  0.002 % |
63.12/63.26	c |    108351 |     220    18700   130900 |    84978    80608     62 |  0.002 % |
63.52/63.67	c |    108803 |     220    18700   130900 |    84978    81060     62 |  0.002 % |
63.92/64.09	c |    109298 |     220    18700   130900 |    84978    81555     62 |  0.002 % |
64.52/64.62	c |    109840 |     220    18700   130900 |    84978    82097     62 |  0.002 % |
65.02/65.17	c |    110436 |     220    18700   130900 |    82258    71149     62 |  0.002 % |
65.52/65.66	c |    111092 |     220    18700   130900 |    82258    71805     62 |  0.002 % |
66.22/66.36	c |    111813 |     220    18700   130900 |    82258    72526     62 |  0.002 % |
66.92/67.03	c |    112606 |     220    18700   130900 |    82258    73319     62 |  0.002 % |
67.72/67.80	c |    113479 |     220    18700   130900 |    82258    74192     62 |  0.002 % |
68.42/68.58	c |    114437 |     220    18700   130900 |    82258    75150     62 |  0.002 % |
69.32/69.41	c |    115490 |     220    18700   130900 |    82258    76203     62 |  0.002 % |
70.22/70.31	c |    116648 |     220    18700   130900 |    82258    77361     62 |  0.002 % |
71.22/71.32	c |    117921 |     220    18700   130900 |    82258    78634     62 |  0.002 % |
71.32/71.41	c |    118021 |     220    18700   130900 |    82258    78734     62 |  0.002 % |
71.42/71.55	c |    118132 |     220    18700   130900 |    82258    78845     62 |  0.002 % |
71.52/71.68	c |    118253 |     220    18700   130900 |    82258    78966     62 |  0.002 % |
71.72/71.81	c |    118386 |     220    18700   130900 |    82258    79099     62 |  0.002 % |
71.82/71.96	c |    118532 |     220    18700   130900 |    82258    79245     62 |  0.002 % |
72.02/72.15	c |    118692 |     220    18700   130900 |    82258    79405     62 |  0.002 % |
72.22/72.31	c |    118870 |     220    18700   130900 |    82258    79583     62 |  0.002 % |
72.32/72.49	c |    119063 |     220    18700   130900 |    82258    79776     62 |  0.002 % |
72.61/72.74	c |    119275 |     220    18700   130900 |    82258    79988     62 |  0.002 % |
72.81/72.97	c |    119511 |     220    18700   130900 |    82258    80224     62 |  0.002 % |
73.11/73.25	c |    119768 |     220    18700   130900 |    82258    80481     62 |  0.002 % |
73.41/73.55	c |    120050 |     220    18700   130900 |    80713    80763     62 |  0.002 % |
73.81/73.90	c |    120359 |     220    18700   130900 |    80713    70775     62 |  0.002 % |
74.01/74.19	c |    120699 |     220    18700   130900 |    80713    71115     62 |  0.002 % |
74.41/74.51	c |    121071 |     220    18700   130900 |    80713    71487     62 |  0.002 % |
74.81/74.91	c |    121480 |     220    18700   130900 |    80713    71896     62 |  0.002 % |
75.21/75.32	c |    121931 |     220    18700   130900 |    80713    72347     62 |  0.002 % |
75.61/75.73	c |    122426 |     220    18700   130900 |    80713    72842     62 |  0.002 % |
76.11/76.21	c |    122968 |     220    18700   130900 |    80713    73384     62 |  0.002 % |
76.51/76.67	c |    123564 |     220    18700   130900 |    80713    73980     62 |  0.002 % |
77.11/77.29	c |    124219 |     220    18700   130900 |    80713    74635     62 |  0.002 % |
77.81/77.94	c |    124939 |     220    18700   130900 |    80713    75355     62 |  0.002 % |
78.41/78.59	c |    125731 |     220    18700   130900 |    80713    76147     62 |  0.002 % |
79.21/79.30	c |    126602 |     220    18700   130900 |    80713    77018     62 |  0.002 % |
79.91/80.05	c |    127560 |     220    18700   130900 |    80713    77976     62 |  0.002 % |
80.91/81.06	c |    128613 |     220    18700   130900 |    80713    79029     62 |  0.002 % |
81.91/82.08	c |    129771 |     220    18700   130900 |    80713    80187     62 |  0.002 % |
83.01/83.12	c |    131046 |     220    18700   130900 |    80416    71254     62 |  0.002 % |
84.21/84.33	c |    132448 |     220    18700   130900 |    80416    72656     62 |  0.002 % |
84.31/84.41	c |    132551 |     220    18700   130900 |    80416    72759     62 |  0.002 % |
84.41/84.54	c |    132661 |     220    18700   130900 |    80416    72869     62 |  0.002 % |
84.51/84.68	c |    132782 |     220    18700   130900 |    80416    72990     62 |  0.002 % |
84.61/84.80	c |    132916 |     220    18700   130900 |    80416    73124     62 |  0.002 % |
84.81/84.93	c |    133062 |     220    18700   130900 |    80416    73270     62 |  0.002 % |
85.01/85.10	c |    133224 |     220    18700   130900 |    80416    73432     62 |  0.002 % |
85.11/85.28	c |    133400 |     220    18700   130900 |    80416    73608     62 |  0.002 % |
85.31/85.45	c |    133593 |     220    18700   130900 |    80416    73801     62 |  0.002 % |
85.51/85.66	c |    133806 |     220    18700   130900 |    80416    74014     62 |  0.002 % |
85.71/85.87	c |    134039 |     220    18700   130900 |    80416    74247     62 |  0.002 % |
86.01/86.13	c |    134295 |     220    18700   130900 |    80416    74503     62 |  0.002 % |
86.21/86.39	c |    134576 |     220    18700   130900 |    80416    74784     62 |  0.002 % |
86.61/86.70	c |    134885 |     220    18700   130900 |    80416    75093     62 |  0.002 % |
86.91/87.06	c |    135224 |     220    18700   130900 |    80416    75432     62 |  0.002 % |
87.31/87.41	c |    135596 |     220    18700   130900 |    80416    75804     62 |  0.002 % |
87.71/87.84	c |    136005 |     220    18700   130900 |    80416    76213     62 |  0.002 % |
88.11/88.29	c |    136454 |     220    18700   130900 |    80416    76662     62 |  0.002 % |
88.61/88.74	c |    136949 |     220    18700   130900 |    80416    77157     62 |  0.002 % |
89.01/89.18	c |    137491 |     220    18700   130900 |    80416    77699     62 |  0.002 % |
89.51/89.68	c |    138089 |     220    18700   130900 |    80416    78297     62 |  0.002 % |
90.20/90.36	c |    138745 |     220    18700   130900 |    80416    78953     62 |  0.002 % |
90.90/91.03	c |    139465 |     220    18700   130900 |    80416    79673     62 |  0.002 % |
91.60/91.76	c |    140259 |     220    18700   130900 |    80209    69941     62 |  0.002 % |
92.21/92.39	c |    141131 |     220    18700   130900 |    80209    70813     62 |  0.002 % |
93.01/93.11	c |    142091 |     220    18700   130900 |    80209    71773     62 |  0.002 % |
93.91/94.00	c |    143144 |     220    18700   130900 |    80209    72826     62 |  0.002 % |
94.81/94.91	c |    144302 |     220    18700   130900 |    80209    73984     62 |  0.002 % |
95.71/95.85	c |    145575 |     220    18700   130900 |    80209    75257     62 |  0.002 % |
96.91/97.08	c |    146975 |     220    18700   130900 |    80209    76657     62 |  0.002 % |
98.31/98.47	c |    148516 |     220    18700   130900 |    80209    78198     62 |  0.002 % |
98.41/98.59	c |    148616 |     220    18700   130900 |    80209    78298     62 |  0.002 % |
98.61/98.71	c |    148726 |     220    18700   130900 |    80209    78408     62 |  0.002 % |
98.71/98.83	c |    148847 |     220    18700   130900 |    80209    78529     62 |  0.002 % |
98.81/98.96	c |    148983 |     220    18700   130900 |    80209    78665     62 |  0.002 % |
99.01/99.10	c |    149129 |     220    18700   130900 |    80209    78811     62 |  0.002 % |
99.11/99.26	c |    149289 |     220    18700   130900 |    80209    78971     62 |  0.002 % |
99.31/99.42	c |    149465 |     220    18700   130900 |    80209    79147     62 |  0.002 % |
99.41/99.58	c |    149662 |     220    18700   130900 |    80209    79344     62 |  0.002 % |
99.61/99.76	c |    149875 |     220    18700   130900 |    80209    79557     62 |  0.002 % |
99.91/100.01	c |    150108 |     220    18700   130900 |    79682    70034     62 |  0.002 % |
100.11/100.20	c |    150364 |     220    18700   130900 |    79682    70290     62 |  0.002 % |
100.21/100.38	c |    150645 |     220    18700   130900 |    79682    70571     62 |  0.002 % |
100.51/100.61	c |    150954 |     220    18700   130900 |    79682    70880     62 |  0.002 % |
100.71/100.87	c |    151293 |     220    18700   130900 |    79682    71219     62 |  0.002 % |
101.01/101.13	c |    151667 |     220    18700   130900 |    79682    71593     62 |  0.002 % |
101.30/101.45	c |    152077 |     220    18700   130900 |    79682    72003     62 |  0.002 % |
101.80/101.93	c |    152526 |     220    18700   130900 |    79682    72452     62 |  0.002 % |
102.21/102.39	c |    153019 |     220    18700   130900 |    79682    72945     62 |  0.002 % |
102.80/102.93	c |    153562 |     220    18700   130900 |    79682    73488     62 |  0.002 % |
103.40/103.50	c |    154159 |     220    18700   130900 |    79682    74085     62 |  0.002 % |
103.90/104.07	c |    154814 |     220    18700   130900 |    79682    74740     62 |  0.002 % |
104.50/104.67	c |    155534 |     220    18700   130900 |    79682    75460     62 |  0.002 % |
105.30/105.45	c |    156326 |     220    18700   130900 |    79682    76252     62 |  0.002 % |
106.00/106.18	c |    157198 |     220    18700   130900 |    79682    77124     62 |  0.002 % |
106.90/107.08	c |    158156 |     220    18700   130900 |    79682    78082     62 |  0.002 % |
107.80/107.96	c |    159212 |     220    18700   130900 |    79682    79138     62 |  0.002 % |
108.81/108.94	c |    160370 |     220    18700   130900 |    70267    62271     62 |  0.002 % |
109.60/109.78	c |    161644 |     220    18700   130900 |    70267    63545     62 |  0.002 % |
110.60/110.71	c |    163045 |     220    18700   130900 |    70267    64946     62 |  0.002 % |
111.70/111.87	c |    164585 |     220    18700   130900 |    70267    66486     62 |  0.002 % |
113.00/113.16	c |    166280 |     220    18700   130900 |    70267    68181     62 |  0.002 % |
113.10/113.24	c |    166380 |     220    18700   130900 |    70267    68281     62 |  0.002 % |
113.20/113.33	c |    166490 |     220    18700   130900 |    70267    68391     62 |  0.002 % |
113.30/113.45	c |    166612 |     220    18700   130900 |    70267    68513     62 |  0.002 % |
113.40/113.56	c |    166747 |     220    18700   130900 |    70267    68648     62 |  0.002 % |
113.50/113.67	c |    166893 |     220    18700   130900 |    70267    68794     62 |  0.002 % |
113.70/113.80	c |    167053 |     220    18700   130900 |    70267    68954     62 |  0.002 % |
113.80/113.97	c |    167229 |     220    18700   130900 |    70267    69130     62 |  0.002 % |
114.00/114.14	c |    167422 |     220    18700   130900 |    70267    69323     62 |  0.002 % |
114.20/114.31	c |    167636 |     220    18700   130900 |    70267    69537     62 |  0.002 % |
114.40/114.51	c |    167870 |     220    18700   130900 |    70267    69771     62 |  0.002 % |
114.60/114.71	c |    168126 |     220    18700   130900 |    70267    70027     62 |  0.002 % |
114.80/114.94	c |    168408 |     220    18700   130900 |    70267    70309     62 |  0.002 % |
115.10/115.21	c |    168719 |     220    18700   130900 |    70267    63590     62 |  0.002 % |
115.30/115.47	c |    169058 |     220    18700   130900 |    70267    63929     62 |  0.002 % |
115.60/115.78	c |    169431 |     220    18700   130900 |    70267    64302     62 |  0.002 % |
116.00/116.11	c |    169842 |     220    18700   130900 |    70267    64713     62 |  0.002 % |
116.30/116.46	c |    170291 |     220    18700   130900 | 2147483647    65162     62 |  0.002 % |
116.70/116.81	c |    170786 |     220    18700   130900 | 2147483647    65657     62 |  0.002 % |
117.00/117.19	c |    171332 |     220    18700   130900 | 2147483647    66203     62 |  0.002 % |
117.50/117.67	c |    171929 |     220    18700   130900 | 2147483647    66800     62 |  0.002 % |
118.00/118.15	c |    172585 |     220    18700   130900 | 2147483647    67456     62 |  0.002 % |
118.60/118.78	c |    173307 |     220    18700   130900 | 2147483647    68178     62 |  0.002 % |
119.30/119.41	c |    174100 |     220    18700   130900 | 2147483647    68971     62 |  0.002 % |
119.90/120.09	c |    174971 |     220    18700   130900 | 2147483647    69842     62 |  0.002 % |
120.59/120.77	c |    175929 |     220    18700   130900 | 2147483647    70800     62 |  0.002 % |
121.39/121.50	c |    176982 |     220    18700   130900 | 2147483647    71853     62 |  0.002 % |
122.19/122.33	c |    178140 |     220    18700   130900 | 2147483647    73011     62 |  0.002 % |
123.10/123.24	c |    179414 |     220    18700   130900 | 2147483647    74285     62 |  0.002 % |
124.20/124.31	c |    180814 |     220    18700   130900 | 2147483647    75685     62 |  0.002 % |
125.30/125.41	c |    182355 |     220    18700   130900 | 2147483647    77226     62 |  0.002 % |
126.49/126.69	c |    184050 |     220    18700   130900 | 2147483647    78921     62 |  0.002 % |
128.19/128.35	c |    185913 |     220    18700   130900 | 2147483647    80784     62 |  0.002 % |
128.29/128.45	c |    186013 |     220    18700   130900 | 2147483647    80884     62 |  0.002 % |
128.39/128.58	c |    186124 |     220    18700   130900 | 2147483647    80995     62 |  0.002 % |
128.60/128.70	c |    186245 |     220    18700   130900 | 2147483647    81116     62 |  0.002 % |
128.69/128.82	c |    186378 |     220    18700   130900 | 2147483647    81249     62 |  0.002 % |
128.79/128.95	c |    186524 |     220    18700   130900 | 2147483647    81395     62 |  0.002 % |
128.99/129.14	c |    186684 |     220    18700   130900 | 2147483647    81555     62 |  0.002 % |
129.19/129.32	c |    186860 |     220    18700   130900 | 2147483647    81731     62 |  0.002 % |
129.39/129.52	c |    187053 |     220    18700   130900 | 2147483647    81924     62 |  0.002 % |
129.59/129.78	c |    187266 |     220    18700   130900 | 2147483647    82137     62 |  0.002 % |
129.89/130.01	c |    187499 |     220    18700   130900 | 2147483647    82370     62 |  0.002 % |
130.09/130.27	c |    187757 |     220    18700   130900 | 2147483647    82628     62 |  0.002 % |
130.39/130.56	c |    188038 |     220    18700   130900 | 2147483647    82909     62 |  0.002 % |
130.79/130.91	c |    188349 |     220    18700   130900 | 2147483647    83220     62 |  0.002 % |
131.09/131.26	c |    188688 |     220    18700   130900 | 2147483647    83559     62 |  0.002 % |
131.49/131.67	c |    189062 |     220    18700   130900 | 2147483647    83933     62 |  0.002 % |
131.99/132.12	c |    189473 |     220    18700   130900 | 2147483647    84344     62 |  0.002 % |
132.39/132.55	c |    189922 |     220    18700   130900 | 2147483647    84793     62 |  0.002 % |
132.89/133.06	c |    190415 |     220    18700   130900 |    84874    74236     62 |  0.002 % |
133.39/133.51	c |    190957 |     220    18700   130900 |    84874    74778     62 |  0.002 % |
133.89/134.01	c |    191553 |     220    18700   130900 |    84874    75374     62 |  0.002 % |
134.49/134.65	c |    192208 |     220    18700   130900 |    84874    76029     62 |  0.002 % |
135.09/135.27	c |    192928 |     220    18700   130900 |    84874    76749     62 |  0.002 % |
135.78/135.97	c |    193722 |     220    18700   130900 |    84874    77543     62 |  0.002 % |
136.48/136.66	c |    194593 |     220    18700   130900 |    84874    78414     62 |  0.002 % |
137.48/137.67	c |    195551 |     220    18700   130900 |    84874    79372     62 |  0.002 % |
138.49/138.67	c |    196604 |     220    18700   130900 |    84874    80425     62 |  0.002 % |
139.58/139.71	c |    197764 |     220    18700   130900 |    84874    81585     62 |  0.002 % |
140.69/140.81	c |    199038 |     220    18700   130900 |    84874    82859     62 |  0.002 % |
142.18/142.34	c |    200438 |     220    18700   130900 |    83821    72326     62 |  0.002 % |
143.48/143.67	c |    201979 |     220    18700   130900 |    83821    73867     62 |  0.002 % |
144.88/145.09	c |    203674 |     220    18700   130900 |    83821    75562     62 |  0.002 % |
146.48/146.61	c |    205540 |     220    18700   130900 |    83821    77428     62 |  0.002 % |
148.48/148.63	c |    207589 |     220    18700   130900 |    83821    79477     62 |  0.002 % |
148.58/148.75	c |    207690 |     220    18700   130900 |    83821    79578     62 |  0.002 % |
148.68/148.86	c |    207801 |     220    18700   130900 |    83821    79689     62 |  0.002 % |
148.78/148.97	c |    207925 |     220    18700   130900 |    83821    79813     62 |  0.002 % |
148.98/149.11	c |    208058 |     220    18700   130900 |    83821    79946     62 |  0.002 % |
149.08/149.27	c |    208205 |     220    18700   130900 |    83821    80093     62 |  0.002 % |
149.28/149.43	c |    208365 |     220    18700   130900 |    83821    80253     62 |  0.002 % |
149.48/149.60	c |    208541 |     220    18700   130900 |    83821    80429     62 |  0.002 % |
149.68/149.83	c |    208734 |     220    18700   130900 |    83821    80622     62 |  0.002 % |
149.88/150.06	c |    208948 |     220    18700   130900 |    83821    80836     62 |  0.002 % |
150.08/150.29	c |    209182 |     220    18700   130900 |    83821    81070     62 |  0.002 % |
150.38/150.57	c |    209439 |     220    18700   130900 |    83821    81327     62 |  0.002 % |
150.68/150.83	c |    209721 |     220    18700   130900 |    83821    81609     62 |  0.002 % |
150.98/151.12	c |    210033 |     220    18700   130900 |    81889    81921     62 |  0.002 % |
151.38/151.50	c |    210372 |     220    18700   130900 |    81889    71032     62 |  0.002 % |
151.68/151.83	c |    210746 |     220    18700   130900 |    81889    71406     62 |  0.002 % |
151.97/152.17	c |    211157 |     220    18700   130900 |    81889    71817     62 |  0.002 % |
152.37/152.51	c |    211606 |     220    18700   130900 |    81889    72266     62 |  0.002 % |
152.68/152.89	c |    212099 |     220    18700   130900 |    81889    72759     62 |  0.002 % |
153.27/153.41	c |    212642 |     220    18700   130900 |    81889    73302     62 |  0.002 % |
153.78/153.94	c |    213238 |     220    18700   130900 |    81889    73898     62 |  0.002 % |
154.37/154.50	c |    213894 |     220    18700   130900 |    81889    74554     62 |  0.002 % |
154.98/155.12	c |    214615 |     220    18700   130900 |    81889    75275     62 |  0.002 % |
155.57/155.76	c |    215409 |     220    18700   130900 |    81889    76069     62 |  0.002 % |
156.27/156.41	c |    216282 |     220    18700   130900 |    81889    76942     62 |  0.002 % |
156.87/157.10	c |    217241 |     220    18700   130900 |    81889    77901     62 |  0.002 % |
157.77/157.96	c |    218295 |     220    18700   130900 |    81889    78955     62 |  0.002 % |
158.77/158.90	c |    219453 |     220    18700   130900 |    81889    80113     62 |  0.002 % |
159.77/159.95	c |    220727 |     220    18700   130900 |    80660    71797     62 |  0.002 % |
160.77/160.91	c |    222128 |     220    18700   130900 |    80660    73198     62 |  0.002 % |
161.87/162.08	c |    223669 |     220    18700   130900 |    80660    74739     62 |  0.002 % |
163.17/163.38	c |    225363 |     220    18700   130900 |    80660    76433     62 |  0.002 % |
164.67/164.85	c |    227227 |     220    18700   130900 |    80660    78297     62 |  0.002 % |
166.27/166.42	c |    229276 |     220    18700   130900 |    80660    80346     62 |  0.002 % |
167.97/168.10	c |    231529 |     220    18700   130900 |    72507    66457     62 |  0.002 % |
168.07/168.22	c |    231629 |     220    18700   130900 |    72507    66557     62 |  0.002 % |
168.17/168.33	c |    231739 |     220    18700   130900 |    72507    66667     62 |  0.002 % |
168.27/168.43	c |    231860 |     220    18700   130900 |    72507    66788     62 |  0.002 % |
168.37/168.55	c |    231994 |     220    18700   130900 |    72507    66922     62 |  0.002 % |
168.47/168.66	c |    232140 |     220    18700   130900 |    72507    67068     62 |  0.002 % |
168.57/168.79	c |    232300 |     220    18700   130900 |    72507    67228     62 |  0.002 % |
168.77/168.93	c |    232476 |     220    18700   130900 |    72507    67404     62 |  0.002 % |
168.87/169.09	c |    232670 |     220    18700   130900 |    72507    67598     62 |  0.002 % |
169.06/169.25	c |    232882 |     220    18700   130900 |    72507    67810     62 |  0.002 % |
169.27/169.44	c |    233115 |     220    18700   130900 |    72507    68043     62 |  0.002 % |
169.46/169.64	c |    233371 |     220    18700   130900 |    72507    68299     62 |  0.002 % |
169.66/169.83	c |    233652 |     220    18700   130900 |    72507    68580     62 |  0.002 % |
169.86/170.04	c |    233961 |     220    18700   130900 |    72507    68889     62 |  0.002 % |
170.06/170.29	c |    234300 |     220    18700   130900 |    72507    69228     62 |  0.002 % |
170.37/170.54	c |    234673 |     220    18700   130900 |    72507    69601     62 |  0.002 % |
170.66/170.85	c |    235082 |     220    18700   130900 |    72507    70010     62 |  0.002 % |
171.06/171.24	c |    235531 |     220    18700   130900 |    72507    70459     62 |  0.002 % |
171.47/171.65	c |    236025 |     220    18700   130900 |    72507    70953     62 |  0.002 % |
171.96/172.12	c |    236568 |     220    18700   130900 |    72507    71496     62 |  0.002 % |
172.47/172.61	c |    237164 |     220    18700   130900 |    72507    72092     62 |  0.002 % |
172.96/173.13	c |    237820 |     220    18700   130900 |    72507    65487     62 |  0.002 % |
173.46/173.66	c |    238541 |     220    18700   130900 |    72507    66208     62 |  0.002 % |
174.16/174.32	c |    239333 |     220    18700   130900 |    72507    67000     62 |  0.002 % |
174.77/174.99	c |    240205 |     220    18700   130900 | 2147483647    67872     62 |  0.002 % |
175.46/175.65	c |    241163 |     220    18700   130900 | 2147483647    68830     62 |  0.002 % |
176.16/176.36	c |    242218 |     220    18700   130900 | 2147483647    69885     63 |  0.002 % |
176.97/177.18	c |    243380 |     220    18700   130900 | 2147483647    71047     63 |  0.002 % |
177.86/178.07	c |    244653 |     220    18700   130900 | 2147483647    72320     63 |  0.002 % |
178.96/179.12	c |    246053 |     220    18700   130900 | 2147483647    73720     63 |  0.002 % |
180.26/180.48	c |    247595 |     220    18700   130900 | 2147483647    75262     63 |  0.002 % |
181.76/181.94	c |    249292 |     220    18700   130900 | 2147483647    76959     63 |  0.002 % |
183.36/183.55	c |    251156 |     220    18700   130900 | 2147483647    78823     63 |  0.002 % |
185.06/185.21	c |    253208 |     220    18700   130900 | 2147483647    80875     63 |  0.002 % |
186.86/187.03	c |    255463 |     220    18700   130900 | 2147483647    83130     63 |  0.002 % |
188.86/189.07	c |    257941 |     220    18700   130900 | 2147483647    85608     63 |  0.002 % |
188.96/189.15	c |    258042 |     220    18700   130900 | 2147483647    85709     63 |  0.002 % |
189.16/189.30	c |    258153 |     220    18700   130900 | 2147483647    85820     63 |  0.002 % |
189.26/189.42	c |    258275 |     220    18700   130900 | 2147483647    85942     63 |  0.002 % |
189.35/189.57	c |    258410 |     220    18700   130900 | 2147483647    86077     63 |  0.002 % |
189.55/189.74	c |    258556 |     220    18700   130900 | 2147483647    86223     63 |  0.002 % |
189.75/189.94	c |    258716 |     220    18700   130900 | 2147483647    86383     63 |  0.002 % |
189.95/190.14	c |    258893 |     220    18700   130900 | 2147483647    86560     63 |  0.002 % |
190.16/190.34	c |    259086 |     220    18700   130900 | 2147483647    86753     63 |  0.002 % |
190.35/190.59	c |    259298 |     220    18700   130900 | 2147483647    86965     63 |  0.002 % |
190.65/190.83	c |    259533 |     220    18700   130900 | 2147483647    87200     63 |  0.002 % |
190.85/191.10	c |    259790 |     220    18700   130900 | 2147483647    87457     63 |  0.002 % |
191.16/191.37	c |    260071 |     220    18700   130900 |    87667    87738     63 |  0.002 % |
191.55/191.76	c |    260381 |     220    18700   130900 |    87667    76362     62 |  0.002 % |
191.85/192.07	c |    260721 |     220    18700   130900 |    87667    76702     62 |  0.002 % |
192.15/192.37	c |    261093 |     220    18700   130900 |    87667    77074     62 |  0.002 % |
192.55/192.79	c |    261502 |     220    18700   130900 |    87667    77483     62 |  0.002 % |
193.05/193.20	c |    261951 |     220    18700   130900 |    87667    77932     62 |  0.002 % |
193.46/193.67	c |    262444 |     220    18700   130900 |    87667    78425     62 |  0.002 % |
193.95/194.10	c |    262986 |     220    18700   130900 |    87667    78967     62 |  0.002 % |
194.46/194.65	c |    263582 |     220    18700   130900 |    87667    79563     62 |  0.002 % |
195.15/195.33	c |    264238 |     220    18700   130900 |    87667    80219     62 |  0.002 % |
195.75/195.94	c |    264958 |     220    18700   130900 |    87667    80939     62 |  0.002 % |
196.45/196.63	c |    265750 |     220    18700   130900 |    87667    81731     62 |  0.002 % |
197.15/197.37	c |    266621 |     220    18700   130900 |    87667    82602     62 |  0.002 % |
197.95/198.19	c |    267580 |     220    18700   130900 |    87667    83561     62 |  0.002 % |
199.15/199.39	c |    268633 |     220    18700   130900 |    87667    84614     62 |  0.002 % |
200.35/200.50	c |    269791 |     220    18700   130900 |    87667    85772     62 |  0.002 % |
201.45/201.64	c |    271067 |     220    18700   130900 |    85981    74413     62 |  0.002 % |
202.55/202.78	c |    272468 |     220    18700   130900 |    85981    75814     62 |  0.002 % |
203.85/204.08	c |    274008 |     220    18700   130900 |    85981    77354     62 |  0.002 % |
205.35/205.57	c |    275703 |     220    18700   130900 |    85981    79049     62 |  0.002 % |
206.94/207.14	c |    277566 |     220    18700   130900 |    85981    80912     62 |  0.002 % |
208.85/209.07	c |    279617 |     220    18700   130900 |    85981    82963     62 |  0.002 % |
210.64/210.83	c |    281871 |     220    18700   130900 |    83346    73651     62 |  0.002 % |
212.44/212.60	c |    284349 |     220    18700   130900 |    83346    76129     63 |  0.002 % |
214.45/214.62	c |    287075 |     220    18700   130900 |    83346    78855     62 |  0.002 % |
214.55/214.74	c |    287175 |     220    18700   130900 |    83346    78955     62 |  0.002 % |
214.65/214.85	c |    287285 |     220    18700   130900 |    83346    79065     62 |  0.002 % |
214.75/214.97	c |    287410 |     220    18700   130900 |    83346    79190     62 |  0.002 % |
214.85/215.08	c |    287543 |     220    18700   130900 |    83346    79323     62 |  0.002 % |
215.05/215.26	c |    287689 |     220    18700   130900 |    83346    79469     62 |  0.002 % |
215.15/215.39	c |    287850 |     220    18700   130900 |    83346    79630     62 |  0.002 % |
215.35/215.55	c |    288026 |     220    18700   130900 |    83346    79806     62 |  0.002 % |
215.55/215.75	c |    288219 |     220    18700   130900 |    83346    79999     62 |  0.002 % |
215.75/215.98	c |    288431 |     220    18700   130900 |    83346    80211     62 |  0.002 % |
216.05/216.22	c |    288664 |     220    18700   130900 |    83346    80444     62 |  0.002 % |
216.25/216.47	c |    288920 |     220    18700   130900 |    83346    80700     62 |  0.002 % |
216.55/216.72	c |    289202 |     220    18700   130900 |    83346    80982     62 |  0.002 % |
216.85/217.01	c |    289511 |     220    18700   130900 |    83346    81291     62 |  0.002 % |
217.15/217.39	c |    289851 |     220    18700   130900 |    83346    81631     62 |  0.002 % |
217.55/217.80	c |    290224 |     220    18700   130900 |    81780    71700     62 |  0.002 % |
217.95/218.15	c |    290635 |     220    18700   130900 |    81780    72111     62 |  0.002 % |
218.35/218.52	c |    291086 |     220    18700   130900 |    81780    72562     62 |  0.002 % |
218.75/218.97	c |    291581 |     220    18700   130900 |    81780    73057     62 |  0.002 % |
219.25/219.45	c |    292125 |     220    18700   130900 |    81780    73601     62 |  0.002 % |
219.75/219.96	c |    292722 |     220    18700   130900 |    81780    74198     62 |  0.002 % |
220.25/220.46	c |    293380 |     220    18700   130900 |    81780    74856     62 |  0.002 % |
220.85/221.05	c |    294101 |     220    18700   130900 |    81780    75577     62 |  0.002 % |
221.45/221.69	c |    294893 |     220    18700   130900 |    81780    76369     62 |  0.002 % |
222.15/222.31	c |    295766 |     220    18700   130900 |    81780    77242     62 |  0.002 % |
222.95/223.14	c |    296724 |     220    18700   130900 |    81780    78200     62 |  0.002 % |
223.85/224.04	c |    297778 |     220    18700   130900 |    81780    79254     62 |  0.002 % |
224.75/224.95	c |    298940 |     220    18700   130900 |    81780    80416     62 |  0.002 % |
225.85/226.05	c |    300213 |     220    18700   130900 |    81476    72136     62 |  0.002 % |
226.84/227.08	c |    301614 |     220    18700   130900 |    81476    73537     62 |  0.002 % |
228.04/228.27	c |    303156 |     220    18700   130900 |    81476    75079     62 |  0.002 % |
229.34/229.52	c |    304851 |     220    18700   130900 |    81476    76774     62 |  0.002 % |
230.64/230.89	c |    306715 |     220    18700   130900 |    81476    78638     62 |  0.002 % |
232.14/232.39	c |    308764 |     220    18700   130900 |    81476    80687     62 |  0.002 % |
234.05/234.23	c |    311018 |     220    18700   130900 |    73267    66521     62 |  0.002 % |
236.04/236.25	c |    313497 |     220    18700   130900 |    73267    69000     62 |  0.002 % |
238.14/238.37	c |    316223 |     220    18700   130900 |    73267    71726     62 |  0.002 % |
240.34/240.57	c |    319220 |     220    18700   130900 |    73267    67387     62 |  0.002 % |
240.44/240.65	c |    319321 |     220    18700   130900 |    73267    67488     62 |  0.002 % |
240.54/240.74	c |    319432 |     220    18700   130900 |    73267    67599     62 |  0.002 % |
240.64/240.83	c |    319555 |     220    18700   130900 |    73267    67722     62 |  0.002 % |
240.74/240.96	c |    319690 |     220    18700   130900 |    73267    67857     62 |  0.002 % |
240.84/241.08	c |    319838 |     220    18700   130900 |    73267    68005     62 |  0.002 % |
241.04/241.22	c |    319998 |     220    18700   130900 |    73267    68165     62 |  0.002 % |
241.14/241.36	c |    320175 |     220    18700   130900 | 2147483647    68342     62 |  0.002 % |
241.34/241.51	c |    320369 |     220    18700   130900 | 2147483647    68536     62 |  0.002 % |
241.54/241.71	c |    320581 |     220    18700   130900 | 2147483647    68748     62 |  0.002 % |
241.74/241.95	c |    320815 |     220    18700   130900 | 2147483647    68982     62 |  0.002 % |
241.94/242.19	c |    321071 |     220    18700   130900 | 2147483647    69238     62 |  0.002 % |
242.24/242.46	c |    321352 |     220    18700   130900 | 2147483647    69519     62 |  0.002 % |
242.54/242.77	c |    321661 |     220    18700   130900 | 2147483647    69828     62 |  0.002 % |
242.84/243.06	c |    322000 |     220    18700   130900 | 2147483647    70167     62 |  0.002 % |
243.24/243.41	c |    322372 |     220    18700   130900 | 2147483647    70539     62 |  0.002 % |
243.54/243.78	c |    322781 |     220    18700   130900 | 2147483647    70948     62 |  0.002 % |
243.94/244.15	c |    323230 |     220    18700   130900 | 2147483647    71397     62 |  0.002 % |
244.34/244.57	c |    323723 |     220    18700   130900 | 2147483647    71890     62 |  0.002 % |
244.84/245.00	c |    324267 |     220    18700   130900 | 2147483647    72434     62 |  0.002 % |
245.24/245.43	c |    324863 |     220    18700   130900 | 2147483647    73030     62 |  0.002 % |
245.74/245.94	c |    325519 |     220    18700   130900 | 2147483647    73686     62 |  0.002 % |
246.34/246.58	c |    326239 |     220    18700   130900 | 2147483647    74406     62 |  0.002 % |
247.03/247.24	c |    327032 |     220    18700   130900 | 2147483647    75199     62 |  0.002 % |
247.83/248.03	c |    327906 |     220    18700   130900 | 2147483647    76073     62 |  0.002 % |
248.63/248.88	c |    328866 |     220    18700   130900 | 2147483647    77033     62 |  0.002 % |
249.54/249.75	c |    329919 |     220    18700   130900 | 2147483647    78086     62 |  0.002 % |
250.43/250.70	c |    331079 |     220    18700   130900 |    78167    70549     62 |  0.002 % |
251.53/251.79	c |    332352 |     220    18700   130900 |    78167    71822     63 |  0.002 % |
252.63/252.90	c |    333752 |     220    18700   130900 |    78167    73222     63 |  0.002 % |
253.84/254.09	c |    335294 |     220    18700   130900 |    78167    74764     63 |  0.002 % |
255.23/255.48	c |    336989 |     220    18700   130900 |    78167    76459     63 |  0.002 % |
256.73/256.99	c |    338852 |     220    18700   130900 |    78167    69896     63 |  0.002 % |
258.23/258.45	c |    340901 |     220    18700   130900 |    71045    64644     63 |  0.002 % |
259.83/260.03	c |    343155 |     220    18700   130900 |    71045    66898     63 |  0.002 % |
261.53/261.80	c |    345635 |     220    18700   130900 |    71045    69378     63 |  0.002 % |
263.53/263.78	c |    348360 |     220    18700   130900 |    71045    64989     62 |  0.002 % |
265.63/265.88	c |    351358 |     220    18700   130900 | 2147483647    67987     62 |  0.002 % |
267.93/268.12	c |    354654 |     220    18700   130900 | 2147483647    71283     63 |  0.002 % |
267.93/268.19	c |    354755 |     220    18700   130900 | 2147483647    71384     63 |  0.002 % |
268.03/268.26	c |    354866 |     220    18700   130900 | 2147483647    71495     63 |  0.002 % |
268.13/268.35	c |    354988 |     220    18700   130900 | 2147483647    71617     63 |  0.002 % |
268.23/268.44	c |    355121 |     220    18700   130900 | 2147483647    71750     62 |  0.002 % |
268.33/268.58	c |    355267 |     220    18700   130900 | 2147483647    71896     62 |  0.002 % |
268.53/268.71	c |    355429 |     220    18700   130900 | 2147483647    72058     62 |  0.002 % |
268.63/268.86	c |    355605 |     220    18700   130900 | 2147483647    72234     62 |  0.002 % |
268.83/269.02	c |    355799 |     220    18700   130900 | 2147483647    72428     62 |  0.002 % |
268.93/269.19	c |    356013 |     220    18700   130900 | 2147483647    72642     62 |  0.002 % |
269.23/269.43	c |    356248 |     220    18700   130900 | 2147483647    72877     62 |  0.002 % |
269.43/269.64	c |    356505 |     220    18700   130900 | 2147483647    73134     62 |  0.002 % |
269.73/269.90	c |    356787 |     220    18700   130900 | 2147483647    73416     62 |  0.002 % |
269.93/270.16	c |    357096 |     220    18700   130900 | 2147483647    73725     62 |  0.002 % |
270.23/270.47	c |    357436 |     220    18700   130900 | 2147483647    74065     62 |  0.002 % |
270.53/270.79	c |    357810 |     220    18700   130900 | 2147483647    74439     62 |  0.002 % |
270.93/271.11	c |    358219 |     220    18700   130900 | 2147483647    74848     62 |  0.002 % |
271.23/271.46	c |    358668 |     220    18700   130900 | 2147483647    75297     62 |  0.002 % |
271.63/271.87	c |    359162 |     220    18700   130900 | 2147483647    75791     62 |  0.002 % |
272.03/272.27	c |    359704 |     220    18700   130900 | 2147483647    76333     62 |  0.002 % |
272.53/272.72	c |    360301 |     220    18700   130900 | 2147483647    76930     62 |  0.002 % |
273.03/273.24	c |    360956 |     220    18700   130900 | 2147483647    77585     62 |  0.002 % |
273.63/273.81	c |    361677 |     220    18700   130900 | 2147483647    78306     62 |  0.002 % |
274.23/274.44	c |    362470 |     220    18700   130900 | 2147483647    79099     62 |  0.002 % |
275.03/275.21	c |    363341 |     220    18700   130900 | 2147483647    79970     62 |  0.002 % |
275.83/276.01	c |    364301 |     220    18700   130900 | 2147483647    80930     62 |  0.002 % |
276.72/276.96	c |    365354 |     220    18700   130900 | 2147483647    81983     62 |  0.002 % |
277.72/277.96	c |    366513 |     220    18700   130900 | 2147483647    83142     62 |  0.002 % |
278.92/279.10	c |    367787 |     220    18700   130900 | 2147483647    84416     63 |  0.002 % |
280.12/280.38	c |    369189 |     220    18700   130900 | 2147483647    85818     63 |  0.002 % |
281.62/281.81	c |    370729 |     220    18700   130900 |    86629    76171     63 |  0.002 % |
282.82/283.07	c |    372423 |     220    18700   130900 |    86629    77865     63 |  0.002 % |
284.32/284.50	c |    374287 |     220    18700   130900 |    86629    79729     63 |  0.002 % |
286.02/286.22	c |    376336 |     220    18700   130900 |    86629    81778     63 |  0.002 % |
287.82/288.00	c |    378589 |     220    18700   130900 |    86629    84031     63 |  0.002 % |
290.22/290.46	c |    381067 |     220    18700   130900 |    85443    75482     63 |  0.002 % |
292.42/292.68	c |    383792 |     220    18700   130900 |    85443    78207     63 |  0.002 % |
294.92/295.18	c |    386789 |     220    18700   130900 |    85443    81204     63 |  0.002 % |
297.82/298.00	c |    390085 |     220    18700   130900 |    84417    84500     63 |  0.002 % |
300.62/300.87	c |    393711 |     220    18700   130900 |    84417    76900     63 |  0.002 % |
300.71/300.95	c |    393811 |     220    18700   130900 |    84417    77000     63 |  0.002 % |
300.81/301.04	c |    393922 |     220    18700   130900 |    84417    77111     63 |  0.002 % |
300.91/301.15	c |    394045 |     220    18700   130900 |    84417    77234     63 |  0.002 % |
301.01/301.28	c |    394179 |     220    18700   130900 |    84417    77368     63 |  0.002 % |
301.22/301.43	c |    394326 |     220    18700   130900 |    84417    77515     63 |  0.002 % |
301.31/301.57	c |    394486 |     220    18700   130900 |    84417    77675     63 |  0.002 % |
301.51/301.74	c |    394662 |     220    18700   130900 |    84417    77851     63 |  0.002 % |
301.71/301.92	c |    394855 |     220    18700   130900 |    84417    78044     63 |  0.002 % |
301.91/302.15	c |    395067 |     220    18700   130900 |    84417    78256     63 |  0.002 % |
302.11/302.38	c |    395300 |     220    18700   130900 |    84417    78489     63 |  0.002 % |
302.42/302.66	c |    395556 |     220    18700   130900 |    84417    78745     63 |  0.002 % |
302.72/302.93	c |    395838 |     220    18700   130900 |    84417    79027     63 |  0.002 % |
303.01/303.23	c |    396147 |     220    18700   130900 |    84417    79336     63 |  0.002 % |
303.32/303.52	c |    396486 |     220    18700   130900 |    84417    79675     63 |  0.002 % |
303.61/303.84	c |    396858 |     220    18700   130900 |    84417    80047     63 |  0.002 % |
304.01/304.20	c |    397267 |     220    18700   130900 |    84417    80456     63 |  0.002 % |
304.42/304.61	c |    397717 |     220    18700   130900 |    84417    80906     63 |  0.002 % |
304.81/305.02	c |    398210 |     220    18700   130900 |    84417    81399     63 |  0.002 % |
305.21/305.47	c |    398752 |     220    18700   130900 |    84417    81941     63 |  0.002 % |
305.81/306.00	c |    399348 |     220    18700   130900 |    84417    82537     63 |  0.002 % |
306.41/306.62	c |    400003 |     220    18700   130900 |    83191    83192     63 |  0.002 % |
307.11/307.34	c |    400724 |     220    18700   130900 |    83191    72906     63 |  0.002 % |
307.72/308.00	c |    401516 |     220    18700   130900 |    83191    73698     63 |  0.002 % |
308.51/308.76	c |    402387 |     220    18700   130900 |    83191    74569     63 |  0.002 % |
309.31/309.56	c |    403346 |     220    18700   130900 |    83191    75528     63 |  0.002 % |
310.21/310.46	c |    404400 |     220    18700   130900 |    83191    76582     63 |  0.002 % |
311.21/311.45	c |    405558 |     220    18700   130900 |    83191    77740     63 |  0.002 % |
312.41/312.61	c |    406833 |     220    18700   130900 |    83191    79015     63 |  0.002 % |
313.61/313.83	c |    408234 |     220    18700   130900 |    83191    80416     63 |  0.002 % |
314.91/315.13	c |    409777 |     220    18700   130900 |    83191    81959     63 |  0.002 % |
316.21/316.49	c |    411472 |     220    18700   130900 |    82182    72763     63 |  0.002 % |
317.71/317.91	c |    413337 |     220    18700   130900 |    82182    74628     63 |  0.002 % |
319.21/319.42	c |    415387 |     220    18700   130900 |    82182    76678     63 |  0.002 % |
320.91/321.14	c |    417640 |     220    18700   130900 |    82182    78931     63 |  0.002 % |
322.70/322.96	c |    420118 |     220    18700   130900 |    81291    72917     63 |  0.002 % |
324.70/324.93	c |    422846 |     220    18700   130900 |    81291    75645     63 |  0.002 % |
326.90/327.18	c |    425843 |     220    18700   130900 |    81291    78642     63 |  0.002 % |
329.50/329.70	c |    429139 |     220    18700   130900 |    81291    73800     63 |  0.002 % |
332.20/332.44	c |    432766 |     220    18700   130900 | 2147483647    77427     63 |  0.002 % |
335.40/335.60	c |    436754 |     220    18700   130900 | 2147483647    81415     63 |  0.002 % |
335.40/335.69	c |    436854 |     220    18700   130900 | 2147483647    81515     63 |  0.002 % |
335.50/335.79	c |    436964 |     220    18700   130900 | 2147483647    81625     63 |  0.002 % |
335.60/335.88	c |    437086 |     220    18700   130900 | 2147483647    81747     63 |  0.002 % |
335.80/336.05	c |    437219 |     220    18700   130900 | 2147483647    81880     63 |  0.002 % |
335.90/336.20	c |    437366 |     220    18700   130900 | 2147483647    82027     63 |  0.002 % |
336.10/336.37	c |    437527 |     220    18700   130900 | 2147483647    82188     63 |  0.002 % |
336.30/336.59	c |    437703 |     220    18700   130900 | 2147483647    82364     63 |  0.002 % |
336.50/336.78	c |    437897 |     220    18700   130900 | 2147483647    82558     63 |  0.002 % |
336.70/336.99	c |    438109 |     220    18700   130900 | 2147483647    82770     63 |  0.002 % |
336.90/337.20	c |    438344 |     220    18700   130900 | 2147483647    83005     63 |  0.002 % |
337.20/337.43	c |    438600 |     220    18700   130900 | 2147483647    83261     63 |  0.002 % |
337.40/337.68	c |    438881 |     220    18700   130900 | 2147483647    83542     63 |  0.002 % |
337.70/337.99	c |    439190 |     220    18700   130900 | 2147483647    83851     63 |  0.002 % |
338.00/338.26	c |    439530 |     220    18700   130900 | 2147483647    84191     63 |  0.002 % |
338.40/338.69	c |    439904 |     220    18700   130900 | 2147483647    84565     63 |  0.002 % |
338.90/339.16	c |    440313 |     220    18700   130900 |    84661    74590     63 |  0.002 % |
339.30/339.53	c |    440762 |     220    18700   130900 |    84661    75039     63 |  0.002 % |
339.70/339.90	c |    441256 |     220    18700   130900 |    84661    75533     63 |  0.002 % |
340.10/340.36	c |    441798 |     220    18700   130900 |    84661    76075     63 |  0.002 % |
340.60/340.81	c |    442394 |     220    18700   130900 |    84661    76671     63 |  0.002 % |
341.10/341.31	c |    443050 |     220    18700   130900 |    84661    77327     63 |  0.002 % |
341.80/342.06	c |    443770 |     220    18700   130900 |    84661    78047     63 |  0.002 % |
342.49/342.73	c |    444562 |     220    18700   130900 |    84661    78839     63 |  0.002 % |
343.29/343.57	c |    445435 |     220    18700   130900 |    84661    79712     63 |  0.002 % |
344.19/344.49	c |    446393 |     220    18700   130900 |    84661    80670     63 |  0.002 % |
345.10/345.40	c |    447446 |     220    18700   130900 |    84661    81723     63 |  0.002 % |
346.09/346.36	c |    448604 |     220    18700   130900 |    84661    82881     63 |  0.002 % |
347.19/347.44	c |    449877 |     220    18700   130900 |    84661    84154     63 |  0.002 % |
348.40/348.68	c |    451277 |     220    18700   130900 |    84277    74425     63 |  0.002 % |
349.69/349.99	c |    452817 |     220    18700   130900 |    84277    75965     63 |  0.002 % |
351.09/351.36	c |    454511 |     220    18700   130900 |    84277    77659     63 |  0.002 % |
352.79/353.07	c |    456375 |     220    18700   130900 |    84277    79523     63 |  0.002 % |
354.59/354.84	c |    458425 |     220    18700   130900 |    84277    81573     63 |  0.002 % |
356.59/356.81	c |    460678 |     220    18700   130900 |    83149    72688     63 |  0.002 % |
358.29/358.57	c |    463157 |     220    18700   130900 |    83149    75167     63 |  0.002 % |
360.39/360.64	c |    465882 |     220    18700   130900 |    83149    77892     63 |  0.002 % |
362.79/363.00	c |    468882 |     220    18700   130900 |    83149    80892     63 |  0.002 % |
365.39/365.63	c |    472178 |     220    18700   130900 |    82011    75195     63 |  0.002 % |
367.98/368.20	c |    475803 |     220    18700   130900 |    82011    78820     63 |  0.002 % |
371.08/371.33	c |    479792 |     220    18700   130900 |    82011    74041     63 |  0.002 % |
374.28/374.56	c |    484177 |     220    18700   130900 |    74250    70566     63 |  0.002 % |
374.38/374.64	c |    484277 |     220    18700   130900 |    74250    70666     63 |  0.002 % |
374.48/374.73	c |    484388 |     220    18700   130900 |    74250    70777     63 |  0.002 % |
374.58/374.83	c |    484510 |     220    18700   130900 |    74250    70899     63 |  0.002 % |
374.68/374.96	c |    484643 |     220    18700   130900 |    74250    71032     63 |  0.002 % |
374.79/375.10	c |    484790 |     220    18700   130900 |    74250    71179     63 |  0.002 % |
374.98/375.24	c |    484950 |     220    18700   130900 |    74250    71339     63 |  0.002 % |
375.18/375.41	c |    485126 |     220    18700   130900 |    74250    71515     63 |  0.002 % |
375.28/375.58	c |    485320 |     220    18700   130900 |    74250    71709     63 |  0.002 % |
375.48/375.76	c |    485534 |     220    18700   130900 |    74250    71923     63 |  0.002 % |
375.68/375.99	c |    485768 |     220    18700   130900 |    74250    72157     63 |  0.002 % |
375.88/376.20	c |    486024 |     220    18700   130900 |    74250    72413     63 |  0.002 % |
376.18/376.44	c |    486305 |     220    18700   130900 |    74250    72694     63 |  0.002 % |
376.38/376.67	c |    486614 |     220    18700   130900 |    74250    73003     63 |  0.002 % |
376.68/376.96	c |    486953 |     220    18700   130900 |    74250    73342     63 |  0.002 % |
376.98/377.26	c |    487327 |     220    18700   130900 |    74250    73716     63 |  0.002 % |
377.28/377.58	c |    487736 |     220    18700   130900 |    74250    74125     63 |  0.002 % |
377.68/377.98	c |    488186 |     220    18700   130900 |    74250    67140     63 |  0.002 % |
378.08/378.32	c |    488682 |     220    18700   130900 |    74250    67636     63 |  0.002 % |
378.38/378.69	c |    489226 |     220    18700   130900 |    74250    68180     63 |  0.002 % |
378.88/379.11	c |    489824 |     220    18700   130900 |    74250    68778     63 |  0.002 % |
379.38/379.60	c |    490479 |     220    18700   130900 | 2147483647    69433     63 |  0.002 % |
379.88/380.14	c |    491199 |     220    18700   130900 | 2147483647    70153     63 |  0.002 % |
380.48/380.76	c |    491993 |     220    18700   130900 | 2147483647    70947     63 |  0.002 % |
381.08/381.39	c |    492864 |     220    18700   130900 | 2147483647    71818     63 |  0.002 % |
381.88/382.12	c |    493824 |     220    18700   130900 | 2147483647    72778     63 |  0.002 % |
382.68/382.97	c |    494877 |     220    18700   130900 | 2147483647    73831     63 |  0.002 % |
383.58/383.81	c |    496035 |     220    18700   130900 | 2147483647    74989     63 |  0.002 % |
384.57/384.82	c |    497308 |     220    18700   130900 | 2147483647    76262     63 |  0.002 % |
385.57/385.88	c |    498708 |     220    18700   130900 | 2147483647    77662     63 |  0.002 % |
386.77/387.01	c |    500249 |     220    18700   130900 | 2147483647    79203     63 |  0.002 % |
387.98/388.26	c |    501943 |     220    18700   130900 | 2147483647    80897     63 |  0.002 % |
389.37/389.68	c |    503806 |     220    18700   130900 | 2147483647    82760     63 |  0.002 % |
391.07/391.33	c |    505855 |     220    18700   130900 | 2147483647    84809     63 |  0.002 % |
392.87/393.18	c |    508108 |     220    18700   130900 | 2147483647    87062     63 |  0.002 % |
395.18/395.48	c |    510588 |     220    18700   130900 |    88954    79135     63 |  0.002 % |
397.58/397.87	c |    513313 |     220    18700   130900 |    88954    81860     63 |  0.002 % |
400.18/400.45	c |    516312 |     220    18700   130900 |    88954    84859     63 |  0.002 % |
402.97/403.24	c |    519609 |     220    18700   130900 |    88954    88156     63 |  0.002 % |
405.87/406.15	c |    523234 |     220    18700   130900 |    88547    79354     63 |  0.002 % |
409.07/409.34	c |    527222 |     220    18700   130900 |    88547    83342     64 |  0.002 % |
412.57/412.88	c |    531609 |     220    18700   130900 |    86120    77245     64 |  0.002 % |
416.27/416.57	c |    536432 |     220    18700   130900 |    86120    82068     64 |  0.002 % |
416.37/416.65	c |    536532 |     220    18700   130900 |    86120    82168     64 |  0.002 % |
416.47/416.76	c |    536642 |     220    18700   130900 |    86120    82278     64 |  0.002 % |
416.57/416.89	c |    536765 |     220    18700   130900 |    86120    82401     64 |  0.002 % |
416.77/417.01	c |    536898 |     220    18700   130900 |    86120    82534     64 |  0.002 % |
416.87/417.14	c |    537046 |     220    18700   130900 |    86120    82682     64 |  0.002 % |
417.07/417.31	c |    537208 |     220    18700   130900 |    86120    82844     64 |  0.002 % |
417.17/417.48	c |    537384 |     220    18700   130900 |    86120    83020     64 |  0.002 % |
417.37/417.68	c |    537577 |     220    18700   130900 |    86120    83213     64 |  0.002 % |
417.67/417.94	c |    537790 |     220    18700   130900 |    86120    83426     64 |  0.002 % |
417.87/418.19	c |    538025 |     220    18700   130900 |    86120    83661     64 |  0.002 % |
418.17/418.46	c |    538282 |     220    18700   130900 |    86120    83918     64 |  0.002 % |
418.47/418.74	c |    538565 |     220    18700   130900 |    86120    84201     64 |  0.002 % |
418.87/419.11	c |    538874 |     220    18700   130900 |    86120    84510     64 |  0.002 % |
419.17/419.46	c |    539213 |     220    18700   130900 |    86120    84849     64 |  0.002 % |
419.57/419.84	c |    539586 |     220    18700   130900 |    86120    85222     64 |  0.002 % |
419.97/420.29	c |    539995 |     220    18700   130900 |    86120    85631     64 |  0.002 % |
420.47/420.78	c |    540444 |     220    18700   130900 |    85637    74558     63 |  0.002 % |
420.97/421.21	c |    540937 |     220    18700   130900 |    85637    75051     63 |  0.002 % |
421.36/421.64	c |    541479 |     220    18700   130900 |    85637    75593     63 |  0.002 % |
421.86/422.14	c |    542076 |     220    18700   130900 |    85637    76190     63 |  0.002 % |
422.46/422.71	c |    542731 |     220    18700   130900 |    85637    76845     63 |  0.002 % |
423.06/423.34	c |    543452 |     220    18700   130900 |    85637    77566     63 |  0.002 % |
423.76/424.00	c |    544247 |     220    18700   130900 |    85637    78361     63 |  0.002 % |
424.37/424.67	c |    545119 |     220    18700   130900 |    85637    79233     63 |  0.002 % |
425.16/425.50	c |    546078 |     220    18700   130900 |    85637    80192     63 |  0.002 % |
426.26/426.58	c |    547132 |     220    18700   130900 |    85637    81246     63 |  0.002 % |
427.46/427.70	c |    548290 |     220    18700   130900 |    85637    82404     63 |  0.002 % |
428.56/428.86	c |    549563 |     220    18700   130900 |    85637    83677     63 |  0.002 % |
429.86/430.13	c |    550964 |     220    18700   130900 |    84114    73350     63 |  0.002 % |
431.16/431.41	c |    552505 |     220    18700   130900 |    84114    74891     63 |  0.002 % |
432.56/432.81	c |    554200 |     220    18700   130900 |    84114    76586     63 |  0.002 % |
434.06/434.31	c |    556064 |     220    18700   130900 |    84114    78450     63 |  0.002 % |
435.86/436.11	c |    558114 |     220    18700   130900 |    84114    80500     63 |  0.002 % |
437.96/438.21	c |    560369 |     220    18700   130900 |    82389    72141     63 |  0.002 % |
439.86/440.13	c |    562849 |     220    18700   130900 |    82389    74621     63 |  0.002 % |
441.96/442.29	c |    565575 |     220    18700   130900 |    82389    77347     63 |  0.002 % |
444.55/444.82	c |    568572 |     220    18700   130900 |    82389    80344     63 |  0.002 % |
447.25/447.52	c |    571870 |     220    18700   130900 |    81773    73970     63 |  0.002 % |
450.05/450.32	c |    575495 |     220    18700   130900 |    81773    77595     63 |  0.002 % |
453.25/453.58	c |    579484 |     220    18700   130900 |    81773    81584     63 |  0.002 % |
456.55/456.81	c |    583870 |     220    18700   130900 |    73603    69925     63 |  0.002 % |
460.16/460.43	c |    588693 |     220    18700   130900 |    73603    67378     63 |  0.002 % |
464.15/464.40	c |    593999 |     220    18700   130900 | 2147483647    72684     63 |  0.002 % |
464.15/464.48	c |    594099 |     220    18700   130900 | 2147483647    72784     63 |  0.002 % |
464.35/464.60	c |    594209 |     220    18700   130900 | 2147483647    72894     63 |  0.002 % |
464.45/464.71	c |    594330 |     220    18700   130900 | 2147483647    73015     63 |  0.002 % |
464.55/464.83	c |    594463 |     220    18700   130900 | 2147483647    73148     63 |  0.002 % |
464.65/464.96	c |    594609 |     220    18700   130900 | 2147483647    73294     63 |  0.002 % |
464.75/465.09	c |    594771 |     220    18700   130900 | 2147483647    73456     63 |  0.002 % |
464.96/465.25	c |    594947 |     220    18700   130900 | 2147483647    73632     63 |  0.002 % |
465.15/465.40	c |    595142 |     220    18700   130900 | 2147483647    73827     63 |  0.002 % |
465.25/465.57	c |    595355 |     220    18700   130900 | 2147483647    74040     63 |  0.002 % |
465.45/465.73	c |    595590 |     220    18700   130900 | 2147483647    74275     63 |  0.002 % |
465.65/465.99	c |    595846 |     220    18700   130900 | 2147483647    74531     63 |  0.002 % |
465.95/466.27	c |    596127 |     220    18700   130900 | 2147483647    74812     63 |  0.002 % |
466.25/466.53	c |    596436 |     220    18700   130900 | 2147483647    75121     63 |  0.002 % |
466.55/466.86	c |    596776 |     220    18700   130900 | 2147483647    75461     63 |  0.002 % |
466.85/467.18	c |    597148 |     220    18700   130900 | 2147483647    75833     63 |  0.002 % |
467.26/467.55	c |    597557 |     220    18700   130900 | 2147483647    76242     63 |  0.002 % |
467.75/468.02	c |    598006 |     220    18700   130900 | 2147483647    76691     63 |  0.002 % |
468.26/468.51	c |    598499 |     220    18700   130900 | 2147483647    77184     63 |  0.002 % |
468.75/469.02	c |    599041 |     220    18700   130900 | 2147483647    77726     63 |  0.002 % |
469.25/469.57	c |    599637 |     220    18700   130900 | 2147483647    78322     63 |  0.002 % |
469.95/470.21	c |    600292 |     220    18700   130900 |    78686    70473     63 |  0.002 % |
470.45/470.72	c |    601012 |     220    18700   130900 |    78686    71193     63 |  0.002 % |
471.15/471.42	c |    601804 |     220    18700   130900 |    78686    71985     63 |  0.002 % |
471.85/472.10	c |    602678 |     220    18700   130900 |    78686    72859     63 |  0.002 % |
472.55/472.89	c |    603637 |     220    18700   130900 |    78686    73818     63 |  0.002 % |
473.35/473.69	c |    604692 |     220    18700   130900 |    78686    74873     63 |  0.002 % |
474.35/474.62	c |    605851 |     220    18700   130900 |    78686    76032     63 |  0.002 % |
475.35/475.66	c |    607126 |     220    18700   130900 |    78686    77307     63 |  0.002 % |
476.55/476.83	c |    608527 |     220    18700   130900 |    78686    78708     63 |  0.002 % |
477.95/478.22	c |    610067 |     220    18700   130900 |    71333    71400     63 |  0.002 % |
479.25/479.53	c |    611763 |     220    18700   130900 |    71333    65054     63 |  0.002 % |
480.55/480.87	c |    613626 |     220    18700   130900 |    71333    66917     63 |  0.002 % |
481.95/482.23	c |    615678 |     220    18700   130900 |    71333    68969     63 |  0.002 % |
483.44/483.73	c |    617933 |     220    18700   130900 |    71333    71224     63 |  0.002 % |
485.04/485.32	c |    620411 |     220    18700   130900 | 2147483647    66559     63 |  0.002 % |
486.64/486.98	c |    623136 |     220    18700   130900 | 2147483647    69284     63 |  0.002 % |
488.74/489.02	c |    626133 |     220    18700   130900 | 2147483647    72281     63 |  0.002 % |
491.35/491.68	c |    629429 |     220    18700   130900 | 2147483647    75577     63 |  0.002 % |
494.04/494.37	c |    633054 |     220    18700   130900 | 2147483647    79202     63 |  0.002 % |
497.95/498.23	c |    637042 |     220    18700   130900 | 2147483647    83190     63 |  0.002 % |
502.04/502.39	c |    641427 |     220    18700   130900 |    86149    75948     63 |  0.002 % |
505.84/506.12	c |    646252 |     220    18700   130900 |    86149    80773     63 |  0.002 % |
510.04/510.37	c |    651559 |     220    18700   130900 |    84521    75696     63 |  0.002 % |
515.13/515.42	c |    657397 |     220    18700   130900 |    84521    81534     63 |  0.002 % |
515.23/515.51	c |    657497 |     220    18700   130900 |    84521    81634     63 |  0.002 % |
515.33/515.63	c |    657607 |     220    18700   130900 |    84521    81744     63 |  0.002 % |
515.43/515.73	c |    657728 |     220    18700   130900 |    84521    81865     63 |  0.002 % |
515.54/515.84	c |    657861 |     220    18700   130900 |    84521    81998     63 |  0.002 % |
515.64/515.97	c |    658009 |     220    18700   130900 |    84521    82146     63 |  0.002 % |
515.83/516.17	c |    658174 |     220    18700   130900 |    84521    82311     63 |  0.002 % |
516.03/516.34	c |    658352 |     220    18700   130900 |    84521    82489     63 |  0.002 % |
516.23/516.54	c |    658546 |     220    18700   130900 |    84521    82683     63 |  0.002 % |
516.43/516.77	c |    658759 |     220    18700   130900 |    84521    82896     63 |  0.002 % |
516.64/517.00	c |    658993 |     220    18700   130900 |    84521    83130     63 |  0.002 % |
516.93/517.25	c |    659250 |     220    18700   130900 |    84521    83387     63 |  0.002 % |
517.23/517.55	c |    659532 |     220    18700   130900 |    84521    83669     63 |  0.002 % |
517.63/517.95	c |    659843 |     220    18700   130900 |    84521    83980     63 |  0.002 % |
518.03/518.39	c |    660182 |     220    18700   130900 |    84138    73198     63 |  0.002 % |
518.43/518.75	c |    660555 |     220    18700   130900 |    84138    73571     63 |  0.002 % |
518.84/519.19	c |    660966 |     220    18700   130900 |    84138    73982     63 |  0.002 % |
519.33/519.61	c |    661417 |     220    18700   130900 |    84138    74433     63 |  0.002 % |
519.73/520.05	c |    661910 |     220    18700   130900 |    84138    74926     63 |  0.002 % |
520.13/520.49	c |    662452 |     220    18700   130900 |    84138    75468     63 |  0.002 % |
520.63/520.95	c |    663048 |     220    18700   130900 |    84138    76064     63 |  0.002 % |
521.23/521.56	c |    663703 |     220    18700   130900 |    84138    76719     63 |  0.002 % |
521.93/522.22	c |    664425 |     220    18700   130900 |    84138    77441     63 |  0.002 % |
522.63/522.91	c |    665217 |     220    18700   130900 |    84138    78233     63 |  0.002 % |
523.33/523.62	c |    666089 |     220    18700   130900 |    84138    79105     63 |  0.002 % |
524.23/524.53	c |    667047 |     220    18700   130900 |    84138    80063     63 |  0.002 % |
525.23/525.54	c |    668100 |     220    18700   130900 |    84138    81116     63 |  0.002 % |
526.33/526.64	c |    669259 |     220    18700   130900 |    84138    82275     63 |  0.002 % |
527.53/527.90	c |    670532 |     220    18700   130900 |    83016    71624     63 |  0.002 % |
528.83/529.12	c |    671933 |     220    18700   130900 |    83016    73025     63 |  0.002 % |
530.03/530.35	c |    673474 |     220    18700   130900 |    83016    74566     63 |  0.002 % |
531.53/531.81	c |    675168 |     220    18700   130900 |    83016    76260     63 |  0.002 % |
532.93/533.28	c |    677031 |     220    18700   130900 |    83016    78123     63 |  0.002 % |
534.82/535.13	c |    679081 |     220    18700   130900 |    83016    80173     63 |  0.002 % |
536.92/537.24	c |    681337 |     220    18700   130900 |    81093    71979     63 |  0.002 % |
538.82/539.10	c |    683816 |     220    18700   130900 |    81093    74458     63 |  0.002 % |
541.02/541.31	c |    686542 |     220    18700   130900 |    81093    77184     63 |  0.002 % |
543.82/544.18	c |    689539 |     220    18700   130900 |    81093    80181     63 |  0.002 % |
547.12/547.43	c |    692838 |     220    18700   130900 |    80643    73412     63 |  0.002 % |
550.12/550.42	c |    696465 |     220    18700   130900 |    80643    77039     63 |  0.002 % |
553.32/553.64	c |    700452 |     220    18700   130900 |    80578    71425     63 |  0.002 % |
556.62/556.94	c |    704837 |     220    18700   130900 |    80578    75810     63 |  0.002 % |
560.31/560.62	c |    709662 |     220    18700   130900 |    80578    80635     63 |  0.002 % |
564.31/564.64	c |    714969 |     220    18700   130900 |    72758    70413     63 |  0.002 % |
568.51/568.86	c |    720805 |     220    18700   130900 | 2147483647    68964     63 |  0.002 % |
573.11/573.44	c |    727223 |     220    18700   130900 | 2147483647    75382     63 |  0.002 % |
573.21/573.51	c |    727324 |     220    18700   130900 | 2147483647    75483     63 |  0.002 % |
573.31/573.62	c |    727434 |     220    18700   130900 | 2147483647    75593     63 |  0.002 % |
573.41/573.71	c |    727555 |     220    18700   130900 | 2147483647    75714     63 |  0.002 % |
573.51/573.86	c |    727688 |     220    18700   130900 | 2147483647    75847     63 |  0.002 % |
573.71/574.02	c |    727835 |     220    18700   130900 | 2147483647    75994     63 |  0.002 % |
573.81/574.19	c |    727995 |     220    18700   130900 | 2147483647    76154     63 |  0.002 % |
574.01/574.35	c |    728172 |     220    18700   130900 | 2147483647    76331     63 |  0.002 % |
574.21/574.53	c |    728366 |     220    18700   130900 | 2147483647    76525     63 |  0.002 % |
574.41/574.72	c |    728578 |     220    18700   130900 | 2147483647    76737     63 |  0.002 % |
574.61/574.96	c |    728811 |     220    18700   130900 | 2147483647    76970     63 |  0.002 % |
574.91/575.22	c |    729067 |     220    18700   130900 | 2147483647    77226     63 |  0.002 % |
575.21/575.54	c |    729350 |     220    18700   130900 | 2147483647    77509     63 |  0.002 % |
575.41/575.80	c |    729660 |     220    18700   130900 | 2147483647    77819     63 |  0.002 % |
575.80/576.11	c |    729999 |     220    18700   130900 | 2147483647    78158     63 |  0.002 % |
576.11/576.46	c |    730371 |     220    18700   130900 | 2147483647    78530     63 |  0.002 % |
576.51/576.81	c |    730780 |     220    18700   130900 | 2147483647    78939     63 |  0.002 % |
576.81/577.18	c |    731229 |     220    18700   130900 | 2147483647    79388     63 |  0.002 % |
577.21/577.58	c |    731723 |     220    18700   130900 | 2147483647    79882     63 |  0.002 % |
577.70/578.02	c |    732265 |     220    18700   130900 | 2147483647    80424     63 |  0.002 % |
578.21/578.51	c |    732863 |     220    18700   130900 | 2147483647    81022     63 |  0.002 % |
578.80/579.10	c |    733518 |     220    18700   130900 | 2147483647    81677     63 |  0.002 % |
579.50/579.89	c |    734241 |     220    18700   130900 | 2147483647    82400     63 |  0.002 % |
580.30/580.69	c |    735033 |     220    18700   130900 | 2147483647    83192     63 |  0.002 % |
581.20/581.55	c |    735904 |     220    18700   130900 | 2147483647    84063     63 |  0.002 % |
582.20/582.50	c |    736864 |     220    18700   130900 | 2147483647    85023     63 |  0.002 % |
583.20/583.52	c |    737919 |     220    18700   130900 | 2147483647    86078     63 |  0.002 % |
584.30/584.64	c |    739078 |     220    18700   130900 | 2147483647    87237     63 |  0.002 % |
585.80/586.10	c |    740351 |     220    18700   130900 |    88160    75256     63 |  0.002 % |
587.10/587.50	c |    741751 |     220    18700   130900 |    88160    76656     63 |  0.002 % |
588.50/588.81	c |    743292 |     220    18700   130900 |    88160    78197     63 |  0.002 % |
589.70/590.09	c |    744986 |     220    18700   130900 |    88160    79891     63 |  0.002 % |
591.30/591.68	c |    746849 |     220    18700   130900 |    88160    81754     63 |  0.002 % |
593.10/593.47	c |    748898 |     220    18700   130900 |    88160    83803     63 |  0.002 % |
595.10/595.42	c |    751153 |     220    18700   130900 |    84905    74576     63 |  0.002 % |
597.00/597.36	c |    753632 |     220    18700   130900 |    84905    77055     63 |  0.002 % |
598.99/599.36	c |    756358 |     220    18700   130900 |    84905    79781     63 |  0.002 % |
601.49/601.82	c |    759356 |     220    18700   130900 |    84905    82779     63 |  0.002 % |
604.19/604.58	c |    762652 |     220    18700   130900 |    83423    75913     63 |  0.002 % |
607.09/607.49	c |    766277 |     220    18700   130900 |    83423    79538     63 |  0.002 % |
610.10/610.49	c |    770264 |     220    18700   130900 |    83263    73709     63 |  0.002 % |
613.39/613.78	c |    774649 |     220    18700   130900 |    83263    78094     63 |  0.002 % |
617.29/617.63	c |    779472 |     220    18700   130900 |    83263    82917     63 |  0.002 % |
621.00/621.40	c |    784777 |     220    18700   130900 |    74746    71767     63 |  0.002 % |
625.29/625.63	c |    790613 |     220    18700   130900 | 2147483647    70120     63 |  0.002 % |
629.90/630.24	c |    797033 |     220    18700   130900 | 2147483647    76540     63 |  0.002 % |
635.19/635.53	c |    804094 |     220    18700   130900 | 2147483647    83601     64 |  0.002 % |
635.29/635.62	c |    804195 |     220    18700   130900 | 2147483647    83702     64 |  0.002 % |
635.39/635.73	c |    804305 |     220    18700   130900 | 2147483647    83812     64 |  0.002 % |
635.49/635.85	c |    804428 |     220    18700   130900 | 2147483647    83935     64 |  0.002 % |
635.59/635.99	c |    804563 |     220    18700   130900 | 2147483647    84070     64 |  0.002 % |
635.79/636.15	c |    804709 |     220    18700   130900 | 2147483647    84216     64 |  0.002 % |
635.99/636.32	c |    804872 |     220    18700   130900 | 2147483647    84379     64 |  0.002 % |
636.09/636.47	c |    805048 |     220    18700   130900 | 2147483647    84555     64 |  0.002 % |
636.29/636.68	c |    805241 |     220    18700   130900 | 2147483647    84748     64 |  0.002 % |
636.49/636.89	c |    805455 |     220    18700   130900 | 2147483647    84962     64 |  0.002 % |
636.79/637.10	c |    805688 |     220    18700   130900 | 2147483647    85195     64 |  0.002 % |
636.99/637.33	c |    805946 |     220    18700   130900 | 2147483647    85453     64 |  0.002 % |
637.19/637.58	c |    806227 |     220    18700   130900 | 2147483647    85734     64 |  0.002 % |
637.49/637.86	c |    806537 |     220    18700   130900 | 2147483647    86044     64 |  0.002 % |
637.89/638.21	c |    806876 |     220    18700   130900 | 2147483647    86383     64 |  0.002 % |
638.19/638.56	c |    807248 |     220    18700   130900 | 2147483647    86755     64 |  0.002 % |
638.59/638.94	c |    807658 |     220    18700   130900 | 2147483647    87165     64 |  0.002 % |
638.99/639.34	c |    808107 |     220    18700   130900 | 2147483647    87614     64 |  0.002 % |
639.48/639.83	c |    808601 |     220    18700   130900 | 2147483647    88108     64 |  0.002 % |
639.98/640.36	c |    809143 |     220    18700   130900 | 2147483647    88650     64 |  0.002 % |
640.58/640.91	c |    809741 |     220    18700   130900 | 2147483647    89248     64 |  0.002 % |
641.18/641.55	c |    810396 |     220    18700   130900 |    89508    76704     64 |  0.002 % |
641.78/642.16	c |    811116 |     220    18700   130900 |    89508    77424     64 |  0.002 % |
642.38/642.75	c |    811908 |     220    18700   130900 |    89508    78216     64 |  0.002 % |
643.08/643.44	c |    812780 |     220    18700   130900 |    89508    79088     64 |  0.002 % |
643.88/644.22	c |    813738 |     220    18700   130900 |    89508    80046     64 |  0.002 % |
644.68/645.03	c |    814794 |     220    18700   130900 |    89508    81102     64 |  0.002 % |
645.68/646.00	c |    815952 |     220    18700   130900 |    89508    82260     64 |  0.002 % |
646.78/647.18	c |    817227 |     220    18700   130900 |    89508    83535     63 |  0.002 % |
648.08/648.40	c |    818627 |     220    18700   130900 |    89508    84935     63 |  0.002 % |
649.48/649.83	c |    820167 |     220    18700   130900 |    86308    74835     64 |  0.002 % |
650.78/651.16	c |    821863 |     220    18700   130900 |    86308    76531     64 |  0.002 % |
652.08/652.47	c |    823727 |     220    18700   130900 |    86308    78395     64 |  0.002 % |
653.68/654.06	c |    825778 |     220    18700   130900 |    86308    80446     64 |  0.002 % |
655.38/655.79	c |    828032 |     220    18700   130900 |    86308    82700     64 |  0.002 % |
657.57/657.92	c |    830510 |     220    18700   130900 |    84670    74904     64 |  0.002 % |
659.58/659.97	c |    833235 |     220    18700   130900 |    84670    77629     64 |  0.002 % |
661.97/662.31	c |    836237 |     220    18700   130900 |    84670    80631     64 |  0.002 % |
664.67/665.05	c |    839533 |     220    18700   130900 |    84670    83927     64 |  0.002 % |
667.67/668.09	c |    843160 |     220    18700   130900 |    84396    77079     64 |  0.002 % |
670.77/671.12	c |    847147 |     220    18700   130900 |    84396    81066     64 |  0.002 % |
674.17/674.52	c |    851533 |     220    18700   130900 |    83921    74722     63 |  0.002 % |
678.07/678.41	c |    856357 |     220    18700   130900 |    83921    79546     63 |  0.002 % |
682.57/682.91	c |    861663 |     220    18700   130900 |    83190    74165     63 |  0.002 % |
687.17/687.54	c |    867500 |     220    18700   130900 |    83190    80002     63 |  0.002 % |
692.46/692.83	c |    873918 |     220    18700   130900 |    82502    76187     63 |  0.002 % |
697.87/698.30	c |    880978 |     220    18700   130900 |    82269    73052     63 |  0.002 % |
703.87/704.27	c |    888742 |     220    18700   130900 |    82269    80816     63 |  0.002 % |
703.97/704.37	c |    888843 |     220    18700   130900 |    82269    80917     63 |  0.002 % |
704.17/704.50	c |    888955 |     220    18700   130900 |    82269    81029     63 |  0.002 % |
704.27/704.62	c |    889076 |     220    18700   130900 |    82269    81150     63 |  0.002 % |
704.37/704.79	c |    889209 |     220    18700   130900 |    82269    81283     63 |  0.002 % |
704.57/704.94	c |    889356 |     220    18700   130900 |    82269    81430     63 |  0.002 % |
704.67/705.09	c |    889517 |     220    18700   130900 |    82269    81591     63 |  0.002 % |
704.86/705.29	c |    889694 |     220    18700   130900 |    82269    81768     63 |  0.002 % |
705.06/705.48	c |    889887 |     220    18700   130900 |    82269    81961     63 |  0.002 % |
705.26/705.69	c |    890099 |     220    18700   130900 |    82080    82173     63 |  0.002 % |
705.66/706.01	c |    890334 |     220    18700   130900 |    82080    73069     64 |  0.002 % |
705.87/706.26	c |    890590 |     220    18700   130900 |    82080    73325     64 |  0.002 % |
706.16/706.56	c |    890872 |     220    18700   130900 |    82080    73607     64 |  0.002 % |
706.46/706.85	c |    891183 |     220    18700   130900 |    82080    73918     64 |  0.002 % |
706.76/707.14	c |    891522 |     220    18700   130900 |    82080    74257     63 |  0.002 % |
707.16/707.54	c |    891896 |     220    18700   130900 |    82080    74631     63 |  0.002 % |
707.56/707.92	c |    892308 |     220    18700   130900 |    82080    75043     63 |  0.002 % |
707.97/708.32	c |    892759 |     220    18700   130900 |    82080    75494     63 |  0.002 % |
708.36/708.76	c |    893254 |     220    18700   130900 |    82080    75989     63 |  0.002 % |
708.86/709.21	c |    893797 |     220    18700   130900 |    82080    76532     63 |  0.002 % |
709.36/709.72	c |    894393 |     220    18700   130900 |    82080    77128     63 |  0.002 % |
709.86/710.22	c |    895048 |     220    18700   130900 |    82080    77783     63 |  0.002 % |
710.56/710.93	c |    895769 |     220    18700   130900 |    82080    78504     63 |  0.002 % |
711.26/711.67	c |    896562 |     220    18700   130900 |    82080    79297     63 |  0.002 % |
712.16/712.54	c |    897433 |     220    18700   130900 |    82080    80168     63 |  0.002 % |
713.06/713.45	c |    898391 |     220    18700   130900 |    82080    81126     63 |  0.002 % |
713.96/714.31	c |    899444 |     220    18700   130900 |    82080    82179     63 |  0.002 % |
714.86/715.25	c |    900602 |     220    18700   130900 |    71868    63165     63 |  0.002 % |
715.66/716.05	c |    901875 |     220    18700   130900 |    71868    64438     63 |  0.002 % |
716.56/716.95	c |    903277 |     220    18700   130900 |    71868    65840     63 |  0.002 % |
717.56/717.96	c |    904819 |     220    18700   130900 |    71868    67382     63 |  0.002 % |
718.86/719.23	c |    906514 |     220    18700   130900 |    71868    69077     63 |  0.002 % |
720.26/720.64	c |    908378 |     220    18700   130900 |    71868    70941     63 |  0.002 % |
721.96/722.31	c |    910427 |     220    18700   130900 | 2147483647    65793     63 |  0.002 % |
723.66/724.01	c |    912680 |     220    18700   130900 | 2147483647    68046     63 |  0.002 % |
725.46/725.86	c |    915160 |     220    18700   130900 | 2147483647    70526     63 |  0.002 % |
727.55/727.91	c |    917885 |     220    18700   130900 | 2147483647    73251     63 |  0.002 % |
729.85/730.21	c |    920882 |     220    18700   130900 | 2147483647    76248     63 |  0.002 % |
732.35/732.75	c |    924179 |     220    18700   130900 | 2147483647    79545     63 |  0.002 % |
735.15/735.55	c |    927804 |     220    18700   130900 | 2147483647    83170     63 |  0.002 % |
738.35/738.72	c |    931791 |     220    18700   130900 |    85367    77566     63 |  0.002 % |
741.65/742.01	c |    936176 |     220    18700   130900 |    85367    81951     63 |  0.002 % |
745.45/745.81	c |    940999 |     220    18700   130900 |    75860    68171     63 |  0.002 % |
749.15/749.51	c |    946304 |     220    18700   130900 |    75860    73476     63 |  0.002 % |
753.34/753.75	c |    952139 |     220    18700   130900 | 2147483647    71715     63 |  0.002 % |
758.24/758.64	c |    958557 |     220    18700   130900 | 2147483647    78133     63 |  0.002 % |
764.14/764.50	c |    965619 |     220    18700   130900 | 2147483647    85195     64 |  0.002 % |
770.34/770.73	c |    973383 |     220    18700   130900 |    89576    80524     64 |  0.002 % |
777.54/777.98	c |    981925 |     220    18700   130900 |    87141    77405     64 |  0.002 % |
777.64/778.07	c |    982027 |     220    18700   130900 |    87141    77507     64 |  0.002 % |
777.74/778.19	c |    982138 |     220    18700   130900 |    87141    77618     64 |  0.002 % |
777.83/778.29	c |    982260 |     220    18700   130900 |    87141    77740     64 |  0.002 % |
778.03/778.41	c |    982397 |     220    18700   130900 |    87141    77877     64 |  0.002 % |
778.13/778.54	c |    982543 |     220    18700   130900 |    87141    78023     64 |  0.002 % |
778.23/778.69	c |    982704 |     220    18700   130900 |    87141    78184     64 |  0.002 % |
778.44/778.87	c |    982880 |     220    18700   130900 |    87141    78360     64 |  0.002 % |
778.63/779.03	c |    983073 |     220    18700   130900 |    87141    78553     64 |  0.002 % |
778.83/779.23	c |    983287 |     220    18700   130900 |    87141    78767     64 |  0.002 % |
779.03/779.43	c |    983520 |     220    18700   130900 |    87141    79000     64 |  0.002 % |
779.23/779.66	c |    983776 |     220    18700   130900 |    87141    79256     64 |  0.002 % |
779.44/779.88	c |    984058 |     220    18700   130900 |    87141    79538     64 |  0.002 % |
779.73/780.19	c |    984368 |     220    18700   130900 |    87141    79848     64 |  0.002 % |
780.13/780.52	c |    984708 |     220    18700   130900 |    87141    80188     64 |  0.002 % |
780.43/780.88	c |    985082 |     220    18700   130900 |    87141    80562     64 |  0.002 % |
780.83/781.26	c |    985492 |     220    18700   130900 |    87141    80972     64 |  0.002 % |
781.23/781.65	c |    985941 |     220    18700   130900 |    87141    81421     64 |  0.002 % |
781.74/782.11	c |    986434 |     220    18700   130900 |    87141    81914     64 |  0.002 % |
782.23/782.61	c |    986977 |     220    18700   130900 |    87141    82457     64 |  0.002 % |
782.74/783.17	c |    987573 |     220    18700   130900 |    87141    83053     64 |  0.002 % |
783.43/783.80	c |    988229 |     220    18700   130900 |    87141    83709     64 |  0.002 % |
784.03/784.48	c |    988949 |     220    18700   130900 |    87141    84429     64 |  0.002 % |
784.73/785.11	c |    989742 |     220    18700   130900 |    87141    85222     64 |  0.002 % |
785.43/785.86	c |    990615 |     220    18700   130900 |    85481    74306     64 |  0.002 % |
786.13/786.54	c |    991573 |     220    18700   130900 |    85481    75264     64 |  0.002 % |
786.93/787.36	c |    992626 |     220    18700   130900 |    85481    76317     64 |  0.002 % |
787.93/788.31	c |    993787 |     220    18700   130900 |    85481    77478     64 |  0.002 % |
788.83/789.26	c |    995060 |     220    18700   130900 |    85481    78751     64 |  0.002 % |
790.03/790.47	c |    996460 |     220    18700   130900 |    85481    80151     64 |  0.002 % |
791.23/791.66	c |    998001 |     220    18700   130900 |    85481    81692     64 |  0.002 % |
792.83/793.20	c |    999696 |     220    18700   130900 |    85481    83387     64 |  0.002 % |
794.33/794.70	c |   1001559 |     220    18700   130900 |    83693    74361     64 |  0.002 % |
795.93/796.37	c |   1003610 |     220    18700   130900 |    83693    76412     64 |  0.002 % |
797.72/798.16	c |   1005864 |     220    18700   130900 |    83693    78666     64 |  0.002 % |
799.52/799.94	c |   1008342 |     220    18700   130900 |    83693    81144     64 |  0.002 % |
801.72/802.13	c |   1011069 |     220    18700   130900 |    82805    74630     64 |  0.002 % |
804.12/804.56	c |   1014068 |     220    18700   130900 |    82805    77629     64 |  0.002 % |
807.12/807.57	c |   1017364 |     220    18700   130900 |    82805    80925     64 |  0.002 % |
810.42/810.85	c |   1020990 |     220    18700   130900 |    73028    64770     64 |  0.002 % |
813.12/813.57	c |   1024977 |     220    18700   130900 |    73028    68757     64 |  0.002 % |
816.52/816.92	c |   1029364 |     220    18700   130900 |    73028    65832     63 |  0.002 % |
819.82/820.24	c |   1034190 |     220    18700   130900 | 2147483647    70658     63 |  0.002 % |
823.91/824.37	c |   1039496 |     220    18700   130900 | 2147483647    75964     63 |  0.002 % |
828.41/828.87	c |   1045331 |     220    18700   130900 | 2147483647    81799     63 |  0.002 % |
833.71/834.16	c |   1051750 |     220    18700   130900 |    86469    78978     63 |  0.002 % |
839.51/840.00	c |   1058815 |     220    18700   130900 |    86469    86043     63 |  0.002 % |
846.01/846.44	c |   1066579 |     220    18700   130900 |    76718    74059     63 |  0.002 % |
852.20/852.67	c |   1075119 |     220    18700   130900 |    69513    67409     64 |  0.002 % |
858.40/858.82	c |   1084514 |     220    18700   130900 | 2147483647    69842     64 |  0.002 % |
858.50/858.91	c |   1084614 |     220    18700   130900 | 2147483647    69942     64 |  0.002 % |
858.50/859.00	c |   1084725 |     220    18700   130900 | 2147483647    70053     64 |  0.002 % |
858.61/859.10	c |   1084847 |     220    18700   130900 | 2147483647    70175     64 |  0.002 % |
858.71/859.19	c |   1084981 |     220    18700   130900 | 2147483647    70309     64 |  0.002 % |
858.90/859.30	c |   1085127 |     220    18700   130900 | 2147483647    70455     64 |  0.002 % |
859.00/859.42	c |   1085288 |     220    18700   130900 | 2147483647    70616     64 |  0.002 % |
859.10/859.56	c |   1085465 |     220    18700   130900 | 2147483647    70793     64 |  0.002 % |
859.30/859.70	c |   1085658 |     220    18700   130900 | 2147483647    70986     64 |  0.002 % |
859.40/859.89	c |   1085870 |     220    18700   130900 | 2147483647    71198     64 |  0.002 % |
859.60/860.08	c |   1086106 |     220    18700   130900 | 2147483647    71434     64 |  0.002 % |
859.90/860.30	c |   1086363 |     220    18700   130900 | 2147483647    71691     64 |  0.002 % |
860.10/860.52	c |   1086644 |     220    18700   130900 | 2147483647    71972     64 |  0.002 % |
860.30/860.76	c |   1086953 |     220    18700   130900 | 2147483647    72281     64 |  0.002 % |
860.60/861.04	c |   1087294 |     220    18700   130900 | 2147483647    72622     64 |  0.002 % |
860.91/861.34	c |   1087667 |     220    18700   130900 | 2147483647    72995     64 |  0.002 % |
861.20/861.68	c |   1088077 |     220    18700   130900 | 2147483647    73405     64 |  0.002 % |
861.60/862.09	c |   1088526 |     220    18700   130900 | 2147483647    73854     64 |  0.002 % |
862.00/862.49	c |   1089019 |     220    18700   130900 | 2147483647    74347     64 |  0.002 % |
862.50/862.95	c |   1089561 |     220    18700   130900 | 2147483647    74889     64 |  0.002 % |
863.00/863.45	c |   1090157 |     220    18700   130900 | 2147483647    75485     64 |  0.002 % |
863.60/864.02	c |   1090813 |     220    18700   130900 | 2147483647    76141     64 |  0.002 % |
864.20/864.64	c |   1091534 |     220    18700   130900 | 2147483647    76862     64 |  0.002 % |
864.90/865.35	c |   1092327 |     220    18700   130900 | 2147483647    77655     64 |  0.002 % |
865.60/866.06	c |   1093199 |     220    18700   130900 | 2147483647    78527     64 |  0.002 % |
866.40/866.89	c |   1094157 |     220    18700   130900 | 2147483647    79485     64 |  0.002 % |
867.41/867.84	c |   1095213 |     220    18700   130900 | 2147483647    80541     64 |  0.002 % |
868.40/868.89	c |   1096372 |     220    18700   130900 | 2147483647    81700     64 |  0.002 % |
869.50/869.91	c |   1097645 |     220    18700   130900 | 2147483647    82973     64 |  0.002 % |
870.70/871.15	c |   1099047 |     220    18700   130900 | 2147483647    84375     64 |  0.002 % |
872.20/872.64	c |   1100589 |     220    18700   130900 |    85330    75066     64 |  0.002 % |
873.60/874.05	c |   1102285 |     220    18700   130900 |    85330    76762     64 |  0.002 % |
875.20/875.60	c |   1104148 |     220    18700   130900 |    85330    78625     64 |  0.002 % |
876.79/877.25	c |   1106198 |     220    18700   130900 |    85330    80675     64 |  0.002 % |
878.59/879.05	c |   1108452 |     220    18700   130900 |    85330    82929     64 |  0.002 % |
880.49/880.99	c |   1110930 |     220    18700   130900 |    84478    75571     64 |  0.002 % |
882.59/883.07	c |   1113655 |     220    18700   130900 |    84478    78296     64 |  0.002 % |
885.10/885.59	c |   1116652 |     220    18700   130900 |    84478    81293     64 |  0.002 % |
887.99/888.45	c |   1119948 |     220    18700   130900 |    84478    74804     64 |  0.002 % |
890.49/890.95	c |   1123573 |     220    18700   130900 |    74859    69824     64 |  0.002 % |
893.49/893.99	c |   1127561 |     220    18700   130900 |    74859    73812     64 |  0.002 % |
896.89/897.30	c |   1131946 |     220    18700   130900 | 2147483647    70700     64 |  0.002 % |
900.79/901.20	c |   1136769 |     220    18700   130900 | 2147483647    75523     64 |  0.002 % |
904.79/905.28	c |   1142076 |     220    18700   130900 | 2147483647    80830     64 |  0.002 % |
910.19/910.69	c |   1147913 |     220    18700   130900 | 2147483647    86667     64 |  0.002 % |
915.79/916.28	c |   1154331 |     220    18700   130900 |    88754    80642     63 |  0.002 % |
921.58/922.09	c |   1161392 |     220    18700   130900 |    86311    76787     63 |  0.002 % |
928.08/928.57	c |   1169160 |     220    18700   130900 |    86311    84555     63 |  0.002 % |
934.97/935.44	c |   1177702 |     220    18700   130900 |    85399    83166     63 |  0.002 % |
942.18/942.66	c |   1187096 |     220    18700   130900 |    85464    83029     63 |  0.002 % |
949.97/950.47	c |   1197430 |     220    18700   130900 |    76149    74796     63 |  0.002 % |
950.07/950.55	c |   1197530 |     220    18700   130900 |    76149    74896     63 |  0.002 % |
950.17/950.65	c |   1197640 |     220    18700   130900 |    76149    75006     63 |  0.002 % |
950.27/950.76	c |   1197764 |     220    18700   130900 |    76149    75130     63 |  0.002 % |
950.37/950.87	c |   1197898 |     220    18700   130900 |    76149    75264     63 |  0.002 % |
950.47/950.98	c |   1198044 |     220    18700   130900 |    76149    75410     63 |  0.002 % |
950.67/951.13	c |   1198206 |     220    18700   130900 |    76149    75572     63 |  0.002 % |
950.77/951.29	c |   1198382 |     220    18700   130900 |    76149    75748     63 |  0.002 % |
950.97/951.47	c |   1198575 |     220    18700   130900 |    76149    75941     63 |  0.002 % |
951.17/951.70	c |   1198787 |     220    18700   130900 |    76149    76153     63 |  0.002 % |
951.47/951.94	c |   1199020 |     220    18700   130900 |    76149    68771     63 |  0.002 % |
951.67/952.15	c |   1199276 |     220    18700   130900 |    76149    69027     63 |  0.002 % |
951.87/952.36	c |   1199557 |     220    18700   130900 |    76149    69308     63 |  0.002 % |
952.17/952.62	c |   1199866 |     220    18700   130900 |    76149    69617     63 |  0.002 % |
952.37/952.89	c |   1200205 |     220    18700   130900 | 2147483647    69956     63 |  0.002 % |
952.67/953.18	c |   1200578 |     220    18700   130900 | 2147483647    70329     63 |  0.002 % |
953.07/953.52	c |   1200987 |     220    18700   130900 | 2147483647    70738     63 |  0.002 % |
953.47/953.92	c |   1201438 |     220    18700   130900 | 2147483647    71189     63 |  0.002 % |
953.87/954.33	c |   1201933 |     220    18700   130900 | 2147483647    71684     63 |  0.002 % |
954.27/954.76	c |   1202475 |     220    18700   130900 | 2147483647    72226     63 |  0.002 % |
954.77/955.20	c |   1203071 |     220    18700   130900 | 2147483647    72822     63 |  0.002 % |
955.37/955.90	c |   1203726 |     220    18700   130900 | 2147483647    73477     63 |  0.002 % |
956.07/956.58	c |   1204449 |     220    18700   130900 | 2147483647    74200     63 |  0.002 % |
956.86/957.31	c |   1205242 |     220    18700   130900 | 2147483647    74993     63 |  0.002 % |
957.57/958.08	c |   1206114 |     220    18700   130900 | 2147483647    75865     63 |  0.002 % |
958.37/958.81	c |   1207072 |     220    18700   130900 | 2147483647    76823     63 |  0.002 % |
959.37/959.81	c |   1208125 |     220    18700   130900 | 2147483647    77876     63 |  0.002 % |
960.37/960.83	c |   1209283 |     220    18700   130900 | 2147483647    79034     63 |  0.002 % |
961.57/962.02	c |   1210557 |     220    18700   130900 |    79751    71253     63 |  0.002 % |
962.77/963.26	c |   1211959 |     220    18700   130900 |    79751    72655     63 |  0.002 % |
964.07/964.56	c |   1213501 |     220    18700   130900 |    79751    74197     63 |  0.002 % |
965.67/966.10	c |   1215197 |     220    18700   130900 |    79751    75893     63 |  0.002 % |
967.27/967.70	c |   1217062 |     220    18700   130900 |    79751    77758     63 |  0.002 % |
969.07/969.55	c |   1219111 |     220    18700   130900 |    79751    79807     63 |  0.002 % |
970.77/971.22	c |   1221365 |     220    18700   130900 |    70985    63998     63 |  0.002 % |
972.47/972.97	c |   1223843 |     220    18700   130900 |    70985    66476     63 |  0.002 % |
974.37/974.83	c |   1226569 |     220    18700   130900 |    70985    69202     63 |  0.002 % |
976.87/977.32	c |   1229567 |     220    18700   130900 |    70985    65092     63 |  0.002 % |
979.47/979.95	c |   1232863 |     220    18700   130900 | 2147483647    68388     63 |  0.002 % |
982.17/982.62	c |   1236488 |     220    18700   130900 | 2147483647    72013     63 |  0.002 % |
985.07/985.52	c |   1240475 |     220    18700   130900 | 2147483647    76000     63 |  0.002 % |
988.66/989.19	c |   1244862 |     220    18700   130900 | 2147483647    80387     63 |  0.002 % |
992.66/993.11	c |   1249689 |     220    18700   130900 | 2147483647    85214     63 |  0.002 % |
997.16/997.68	c |   1254994 |     220    18700   130900 |    85527    80794     63 |  0.002 % |
1002.66/1003.16	c |   1260829 |     220    18700   130900 |    75116    66592     63 |  0.002 % |
1007.16/1007.61	c |   1267248 |     220    18700   130900 |    75116    73011     63 |  0.002 % |
1012.36/1012.82	c |   1274308 |     220    18700   130900 | 2147483647    72549     63 |  0.002 % |
1018.55/1019.03	c |   1282072 |     220    18700   130900 | 2147483647    80313     63 |  0.002 % |
1025.75/1026.23	c |   1290613 |     220    18700   130900 |    88243    77411     63 |  0.002 % |
1033.35/1033.80	c |   1300007 |     220    18700   130900 |    86798    86805     63 |  0.002 % |
1041.64/1042.10	c |   1310340 |     220    18700   130900 |    85522    74213     64 |  0.002 % |
1049.95/1050.45	c |   1321707 |     220    18700   130900 |    83875    76032     64 |  0.002 % |
1050.05/1050.53	c |   1321807 |     220    18700   130900 |    83875    76132     64 |  0.002 % |
1050.14/1050.63	c |   1321918 |     220    18700   130900 |    83875    76243     64 |  0.002 % |
1050.24/1050.75	c |   1322039 |     220    18700   130900 |    83875    76364     64 |  0.002 % |
1050.44/1050.90	c |   1322175 |     220    18700   130900 |    83875    76500     64 |  0.002 % |
1050.54/1051.03	c |   1322321 |     220    18700   130900 |    83875    76646     64 |  0.002 % |
1050.64/1051.16	c |   1322482 |     220    18700   130900 |    83875    76807     64 |  0.002 % |
1050.84/1051.31	c |   1322658 |     220    18700   130900 |    83875    76983     64 |  0.002 % |
1050.94/1051.49	c |   1322851 |     220    18700   130900 |    83875    77176     64 |  0.002 % |
1051.15/1051.67	c |   1323064 |     220    18700   130900 |    83875    77389     64 |  0.002 % |
1051.44/1051.93	c |   1323301 |     220    18700   130900 |    83875    77626     64 |  0.002 % |
1051.64/1052.18	c |   1323558 |     220    18700   130900 |    83875    77883     64 |  0.002 % |
1051.94/1052.44	c |   1323839 |     220    18700   130900 |    83875    78164     64 |  0.002 % |
1052.25/1052.74	c |   1324150 |     220    18700   130900 |    83875    78475     64 |  0.002 % |
1052.54/1053.06	c |   1324489 |     220    18700   130900 |    83875    78814     64 |  0.002 % |
1052.84/1053.39	c |   1324864 |     220    18700   130900 |    83875    79189     64 |  0.002 % |
1053.24/1053.74	c |   1325274 |     220    18700   130900 |    83875    79599     64 |  0.002 % |
1053.64/1054.11	c |   1325723 |     220    18700   130900 |    83875    80048     64 |  0.002 % |
1054.04/1054.54	c |   1326216 |     220    18700   130900 |    83875    80541     64 |  0.002 % |
1054.44/1054.95	c |   1326758 |     220    18700   130900 |    83875    81083     64 |  0.002 % |
1054.94/1055.47	c |   1327354 |     220    18700   130900 |    83875    81679     64 |  0.002 % |
1055.44/1055.99	c |   1328009 |     220    18700   130900 |    83875    82334     64 |  0.002 % |
1056.24/1056.77	c |   1328730 |     220    18700   130900 |    83875    83055     64 |  0.002 % |
1057.04/1057.54	c |   1329524 |     220    18700   130900 |    83875    83849     64 |  0.002 % |
1057.94/1058.48	c |   1330396 |     220    18700   130900 |    73173    63820     64 |  0.002 % |
1058.64/1059.20	c |   1331355 |     220    18700   130900 |    73173    64779     64 |  0.002 % |
1059.54/1060.04	c |   1332408 |     220    18700   130900 |    73173    65832     64 |  0.002 % |
1060.34/1060.85	c |   1333566 |     220    18700   130900 |    73173    66990     64 |  0.002 % |
1061.44/1061.92	c |   1334841 |     220    18700   130900 |    73173    68265     64 |  0.002 % |
1062.44/1063.00	c |   1336243 |     220    18700   130900 |    73173    69667     64 |  0.002 % |
1063.64/1064.12	c |   1337785 |     220    18700   130900 |    73173    71209     64 |  0.002 % |
1064.94/1065.45	c |   1339479 |     220    18700   130900 |    73173    72903     64 |  0.002 % |
1066.34/1066.80	c |   1341343 |     220    18700   130900 | 2147483647    67441     64 |  0.002 % |
1067.84/1068.33	c |   1343392 |     220    18700   130900 | 2147483647    69490     64 |  0.002 % |
1069.33/1069.87	c |   1345645 |     220    18700   130900 | 2147483647    71743     64 |  0.002 % |
1071.23/1071.79	c |   1348123 |     220    18700   130900 | 2147483647    74221     64 |  0.002 % |
1073.43/1073.90	c |   1350849 |     220    18700   130900 | 2147483647    76947     64 |  0.002 % |
1075.63/1076.16	c |   1353846 |     220    18700   130900 | 2147483647    79944     64 |  0.002 % |
1078.13/1078.70	c |   1357144 |     220    18700   130900 | 2147483647    83242     64 |  0.002 % |
1081.13/1081.61	c |   1360769 |     220    18700   130900 |    86099    77268     64 |  0.002 % |
1084.33/1084.83	c |   1364758 |     220    18700   130900 |    86099    81257     64 |  0.002 % |
1087.83/1088.38	c |   1369143 |     220    18700   130900 |    86099    85642     64 |  0.002 % |
1091.43/1091.91	c |   1373967 |     220    18700   130900 |    76352    71402     64 |  0.002 % |
1095.42/1095.95	c |   1379272 |     220    18700   130900 |    76352    69061     64 |  0.002 % |
1099.72/1100.27	c |   1385107 |     220    18700   130900 | 2147483647    74896     64 |  0.002 % |
1104.62/1105.17	c |   1391526 |     220    18700   130900 | 2147483647    81315     64 |  0.002 % |
1110.62/1111.14	c |   1398585 |     220    18700   130900 | 2147483647    88374     64 |  0.002 % |
1116.51/1117.08	c |   1406351 |     220    18700   130900 |    89791    83629     64 |  0.002 % |
1123.71/1124.28	c |   1414894 |     220    18700   130900 |    87279    80580     64 |  0.002 % |
1131.01/1131.57	c |   1424288 |     220    18700   130900 |    85688    78883     64 |  0.002 % |
1139.41/1139.96	c |   1434621 |     220    18700   130900 |    84595    78998     64 |  0.002 % |
1148.80/1149.40	c |   1445987 |     220    18700   130900 |    84377    80082     64 |  0.002 % |
1159.51/1160.07	c |   1458490 |     220    18700   130900 |    84095    82134     64 |  0.002 % |
1159.61/1160.16	c |   1458590 |     220    18700   130900 |    84095    82234     64 |  0.002 % |
1159.71/1160.29	c |   1458701 |     220    18700   130900 |    84095    82345     64 |  0.002 % |
1159.91/1160.41	c |   1458823 |     220    18700   130900 |    84095    82467     64 |  0.002 % |
1160.01/1160.56	c |   1458956 |     220    18700   130900 |    84095    82600     64 |  0.002 % |
1160.21/1160.72	c |   1459104 |     220    18700   130900 |    84095    82748     64 |  0.002 % |
1160.31/1160.85	c |   1459264 |     220    18700   130900 |    84095    82908     64 |  0.002 % |
1160.51/1161.00	c |   1459440 |     220    18700   130900 |    84095    83084     64 |  0.002 % |
1160.61/1161.19	c |   1459633 |     220    18700   130900 |    84095    83277     64 |  0.002 % |
1160.81/1161.38	c |   1459845 |     220    18700   130900 |    84095    83489     64 |  0.002 % |
1161.01/1161.59	c |   1460079 |     220    18700   130900 |    83648    83723     64 |  0.002 % |
1161.31/1161.88	c |   1460336 |     220    18700   130900 |    83648    73452     64 |  0.002 % |
1161.61/1162.16	c |   1460618 |     220    18700   130900 |    83648    73734     64 |  0.002 % |
1161.91/1162.45	c |   1460927 |     220    18700   130900 |    83648    74043     64 |  0.002 % |
1162.21/1162.74	c |   1461266 |     220    18700   130900 |    83648    74382     64 |  0.002 % |
1162.51/1163.03	c |   1461638 |     220    18700   130900 |    83648    74754     64 |  0.002 % |
1162.81/1163.37	c |   1462047 |     220    18700   130900 |    83648    75163     64 |  0.002 % |
1163.31/1163.83	c |   1462497 |     220    18700   130900 |    83648    75613     64 |  0.002 % |
1163.71/1164.26	c |   1462990 |     220    18700   130900 |    83648    76106     64 |  0.002 % |
1164.21/1164.72	c |   1463535 |     220    18700   130900 |    83648    76651     64 |  0.002 % |
1164.81/1165.34	c |   1464131 |     220    18700   130900 |    83648    77247     64 |  0.002 % |
1165.41/1165.95	c |   1464786 |     220    18700   130900 |    83648    77902     64 |  0.002 % |
1166.01/1166.58	c |   1465506 |     220    18700   130900 |    83648    78622     64 |  0.002 % |
1166.91/1167.40	c |   1466299 |     220    18700   130900 |    83648    79415     64 |  0.002 % |
1167.61/1168.16	c |   1467172 |     220    18700   130900 |    83648    80288     64 |  0.002 % |
1168.41/1168.95	c |   1468131 |     220    18700   130900 |    83648    81247     64 |  0.002 % |
1169.31/1169.88	c |   1469184 |     220    18700   130900 |    83648    82300     64 |  0.002 % |
1170.31/1170.87	c |   1470342 |     220    18700   130900 |    83116    72185     64 |  0.002 % |
1171.20/1171.79	c |   1471617 |     220    18700   130900 |    83116    73460     64 |  0.002 % |
1172.30/1172.80	c |   1473017 |     220    18700   130900 |    83116    74860     64 |  0.002 % |
1173.60/1174.18	c |   1474557 |     220    18700   130900 |    83116    76400     64 |  0.002 % |
1175.00/1175.52	c |   1476253 |     220    18700   130900 |    83116    78096     64 |  0.002 % |
1176.40/1176.99	c |   1478116 |     220    18700   130900 |    83116    79959     64 |  0.002 % |
1178.20/1178.70	c |   1480165 |     220    18700   130900 |    81843    72122     64 |  0.002 % |
1179.80/1180.32	c |   1482418 |     220    18700   130900 |    81843    74375     64 |  0.002 % |
1181.60/1182.17	c |   1484899 |     220    18700   130900 |    81843    76856     64 |  0.002 % |
1183.80/1184.31	c |   1487624 |     220    18700   130900 |    81843    79581     64 |  0.002 % |
1186.10/1186.61	c |   1490623 |     220    18700   130900 |    73741    66980     64 |  0.002 % |
1188.50/1189.01	c |   1493919 |     220    18700   130900 |    73741    70276     64 |  0.002 % |
1191.09/1191.66	c |   1497545 |     220    18700   130900 |    73741    66518     64 |  0.002 % |
1193.79/1194.38	c |   1501533 |     220    18700   130900 | 2147483647    70506     64 |  0.002 % |
1196.79/1197.34	c |   1505920 |     220    18700   130900 | 2147483647    74893     63 |  0.002 % |
1200.10/1200.61	HOME/SatELiteGTI: line 36: 15386 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-1832549-1242783491/watcher-1832549-1242783491 -o /tmp/evaluation-result-1832549-1242783491/solver-1832549-1242783491 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832549-1242783491.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.16 1.12 1.03 3/64 15380
/proc/meminfo: memFree=1687648/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306376631 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15380/statm: 1339 235 195 169 0 50 0
[pid=15381] ppid=15380 vsize=5356 CPUtime=0
/proc/15381/stat : 15381 (SatELiteGTI) S 15380 15380 15126 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306376631 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15381/statm: 1339 238 198 169 0 50 0
[pid=15383] ppid=15381 vsize=2608 CPUtime=0
/proc/15383/stat : 15383 (sed) R 15381 15380 15126 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 306376631 2670592 132 1992294400 4194304 4240196 548682069056 18446744073709551615 236437541601 0 0 4096 0 0 0 0 17 0 0 0
/proc/15383/statm: 652 134 107 11 0 56 0

[startup+0.032817 s]
/proc/loadavg: 1.16 1.12 1.03 3/64 15380
/proc/meminfo: memFree=1687648/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306376631 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15380/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102302 s]
/proc/loadavg: 1.16 1.12 1.03 3/64 15380
/proc/meminfo: memFree=1687648/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301323 s]
/proc/loadavg: 1.16 1.12 1.03 3/64 15380
/proc/meminfo: memFree=1687648/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701373 s]
/proc/loadavg: 1.16 1.12 1.03 3/64 15380
/proc/meminfo: memFree=1687648/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50145 s]
/proc/loadavg: 1.16 1.12 1.03 2/66 15386
/proc/meminfo: memFree=1683152/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=5256 CPUtime=1.4
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 1085 0 0 0 140 0 0 0 25 0 1 0 306376638 5382144 1071 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 1314 1071 76 171 0 1141 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10612

[startup+3.10264 s]
/proc/loadavg: 1.14 1.12 1.03 2/66 15386
/proc/meminfo: memFree=1681616/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=7524 CPUtime=3
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 1663 0 0 0 299 1 0 0 25 0 1 0 306376638 7704576 1649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 1881 1649 76 171 0 1708 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12880

[startup+6.302 s]
/proc/loadavg: 1.14 1.12 1.03 2/66 15386
/proc/meminfo: memFree=1677776/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=10716 CPUtime=6.2
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 2443 0 0 0 618 2 0 0 25 0 1 0 306376638 10973184 2429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 2679 2429 76 171 0 2506 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16072

[startup+12.7017 s]
/proc/loadavg: 1.13 1.12 1.03 2/66 15386
/proc/meminfo: memFree=1673168/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=14920 CPUtime=12.6
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 3497 0 0 0 1256 4 0 0 25 0 1 0 306376638 15278080 3483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 3730 3483 76 171 0 3557 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20276

[startup+25.5012 s]
/proc/loadavg: 1.10 1.11 1.03 2/66 15386
/proc/meminfo: memFree=1667088/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=20856 CPUtime=25.39
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 4946 0 0 0 2533 6 0 0 25 0 1 0 306376638 21356544 4932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 5214 4932 76 171 0 5041 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26212

[startup+51.1011 s]
/proc/loadavg: 1.07 1.10 1.03 2/66 15386
/proc/meminfo: memFree=1660048/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=27596 CPUtime=50.97
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 6662 0 0 0 5090 7 0 0 25 0 1 0 306376638 28258304 6648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 6899 6648 76 171 0 6726 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 32952

[startup+102.306 s]
/proc/loadavg: 1.02 1.08 1.02 2/66 15386
/proc/meminfo: memFree=1659920/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=27596 CPUtime=102.15
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 6662 0 0 0 10207 8 0 0 25 0 1 0 306376638 28258304 6648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 6899 6648 76 171 0 6726 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 32952

[startup+162.302 s]
/proc/loadavg: 1.01 1.07 1.02 2/66 15386
/proc/meminfo: memFree=1659344/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=27992 CPUtime=162.11
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 6777 0 0 0 16203 8 0 0 25 0 1 0 306376638 28663808 6763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 6998 6763 76 171 0 6825 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 33348

[startup+222.302 s]
/proc/loadavg: 1.00 1.05 1.01 2/66 15386
/proc/meminfo: memFree=1658256/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=29052 CPUtime=222.09
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7026 0 0 0 22200 9 0 0 25 0 1 0 306376638 29749248 7012 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7263 7012 76 171 0 7090 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 34408

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/66 15386
/proc/meminfo: memFree=1658128/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=29052 CPUtime=282.06
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7031 0 0 0 28197 9 0 0 25 0 1 0 306376638 29749248 7017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7263 7017 76 171 0 7090 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 34408

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 15386
/proc/meminfo: memFree=1658064/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=29052 CPUtime=342.03
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7031 0 0 0 34194 9 0 0 25 0 1 0 306376638 29749248 7017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7263 7017 76 171 0 7090 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 34408

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 15388
/proc/meminfo: memFree=1656656/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=30240 CPUtime=402.01

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

[pid=15386] ppid=15380 vsize=30240 CPUtime=462
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7323 0 0 0 46189 11 0 0 25 0 1 0 306376638 30965760 7309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7560 7309 76 171 0 7387 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 35596

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15388
/proc/meminfo: memFree=1656528/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=30240 CPUtime=521.97
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7323 0 0 0 52186 11 0 0 25 0 1 0 306376638 30965760 7309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7560 7309 76 171 0 7387 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 35596

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15388
/proc/meminfo: memFree=1656400/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=30240 CPUtime=581.94
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7323 0 0 0 58183 11 0 0 25 0 1 0 306376638 30965760 7309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7560 7309 76 171 0 7387 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 35596

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1655504/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31052 CPUtime=641.92
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7528 0 0 0 64180 12 0 0 25 0 1 0 306376638 31797248 7514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7763 7514 76 171 0 7590 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 36408

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1655440/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31052 CPUtime=701.91
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7528 0 0 0 70178 13 0 0 25 0 1 0 306376638 31797248 7514 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7763 7514 76 171 0 7590 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 36408

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1655376/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=30884 CPUtime=761.89
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7528 0 0 0 76176 13 0 0 25 0 1 0 306376638 31625216 7492 1992294400 134512640 135215339 4294956240 18446744073709551615 134529356 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7721 7492 76 171 0 7548 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 36240

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654864/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31416 CPUtime=821.86
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7655 0 0 0 82173 13 0 0 25 0 1 0 306376638 32169984 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7854 7619 76 171 0 7681 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 36772

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654800/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31416 CPUtime=881.83
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7655 0 0 0 88170 13 0 0 25 0 1 0 306376638 32169984 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7854 7619 76 171 0 7681 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 36772

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654736/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31416 CPUtime=941.81
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7655 0 0 0 94168 13 0 0 25 0 1 0 306376638 32169984 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7854 7619 76 171 0 7681 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 36772

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654608/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31416 CPUtime=1001.8
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7655 0 0 0 100166 14 0 0 25 0 1 0 306376638 32169984 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134534171 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7854 7619 76 171 0 7681 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 36772

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654480/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31416 CPUtime=1061.78
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7655 0 0 0 106164 14 0 0 25 0 1 0 306376638 32169984 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7854 7619 76 171 0 7681 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 36772

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1654032/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31944 CPUtime=1121.75
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7765 0 0 0 112161 14 0 0 25 0 1 0 306376638 32710656 7729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7986 7729 76 171 0 7813 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 37300

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1653840/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31944 CPUtime=1181.74
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7765 0 0 0 118159 15 0 0 25 0 1 0 306376638 32710656 7729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528598 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7986 7729 76 171 0 7813 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 37300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15388
/proc/meminfo: memFree=1653840/2055920 swapFree=4087080/4192956
[pid=15380] ppid=15378 vsize=5356 CPUtime=0.06
/proc/15380/stat : 15380 (SatELiteGTI) S 15378 15380 15126 0 -1 4194304 336 786 0 0 0 0 6 0 16 0 1 0 306376631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15380/statm: 1339 239 197 169 0 50 0
[pid=15386] ppid=15380 vsize=31944 CPUtime=1200.04
/proc/15386/stat : 15386 (minisat_static) R 15380 15380 15126 0 -1 4194304 7765 0 0 0 119989 15 0 0 25 0 1 0 306376638 32710656 7729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15386/statm: 7986 7729 76 171 0 7813 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 37300

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.12
CPU user time (s): 1199.95
CPU system time (s): 0.164974
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 37300

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

runsolver used 1.43378 second user time and 3.08153 second system time

The end

Launcher Data

Begin job on node62 at 2009-05-20 03:38:11
IDJOB=1832549
IDBENCH=70238
IDSOLVER=671
FILE ID=node62/1832549-1242783491
PBS_JOBID= 9322371
Free space on /tmp= 66276 MiB

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

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

MD5SUM BENCH= 5adac1d8579162dbe20ef9795f561831
RANDOM SEED=1743207777

node62.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.220
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.220
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:       1688192 kB
Buffers:         24264 kB
Cached:         207204 kB
SwapCached:      99420 kB
Active:         115028 kB
Inactive:       218308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1688192 kB
SwapTotal:     4192956 kB
SwapFree:      4087080 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            20296 kB
Committed_AS:   831812 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66272 MiB
End job on node62 at 2009-05-20 03:58:13