Trace number 1832543

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
MD5SUM88d4611d108004ec1f24e3826a831460
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.026995 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.01         s                                       |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     220    18700   130900 |     6233        0    nan |  0.000 % |
0.06/0.10	c |       100 |     220    18700   130900 |     6233      100     63 |  0.002 % |
0.06/0.11	c |       200 |     220    18700   130900 |     6233      200     63 |  0.002 % |
0.06/0.12	c |       300 |     220    18700   130900 |     6233      300     61 |  0.002 % |
0.06/0.13	c |       413 |     220    18700   130900 |     6233      413     61 |  0.002 % |
0.06/0.14	c |       513 |     220    18700   130900 |     6233      513     61 |  0.002 % |
0.06/0.15	c |       624 |     220    18700   130900 |     6233      624     61 |  0.002 % |
0.06/0.16	c |       745 |     220    18700   130900 |     6233      745     61 |  0.002 % |
0.06/0.17	c |       846 |     220    18700   130900 |     6233      846     62 |  0.002 % |
0.06/0.18	c |       956 |     220    18700   130900 |     6233      956     62 |  0.002 % |
0.06/0.20	c |      1078 |     220    18700   130900 |     6233     1078     61 |  0.002 % |
0.06/0.21	c |      1211 |     220    18700   130900 |     6233     1211     61 |  0.002 % |
0.06/0.22	c |      1311 |     220    18700   130900 |     6233     1311     61 |  0.002 % |
0.06/0.23	c |      1422 |     220    18700   130900 |     6233     1422     61 |  0.002 % |
0.06/0.24	c |      1543 |     220    18700   130900 |     6233     1543     61 |  0.002 % |
0.06/0.25	c |      1677 |     220    18700   130900 |     6233     1677     61 |  0.002 % |
0.06/0.27	c |      1823 |     220    18700   130900 |     6233     1823     61 |  0.002 % |
0.06/0.28	c |      1923 |     220    18700   130900 |     6233     1923     61 |  0.002 % |
0.06/0.29	c |      2033 |     220    18700   130900 |     6233     2033     61 |  0.002 % |
0.06/0.30	c |      2154 |     220    18700   130900 |     6233     2154     61 |  0.002 % |
0.06/0.32	c |      2288 |     220    18700   130900 |     6233     2288     61 |  0.002 % |
0.06/0.33	c |      2435 |     220    18700   130900 |     6233     2435     61 |  0.002 % |
0.06/0.35	c |      2595 |     220    18700   130900 |     6233     2595     61 |  0.002 % |
0.06/0.36	c |      2696 |     220    18700   130900 |     6233     2696     61 |  0.002 % |
0.06/0.37	c |      2806 |     220    18700   130900 |     6233     2806     61 |  0.002 % |
0.06/0.38	c |      2927 |     220    18700   130900 |     6233     2927     61 |  0.002 % |
0.06/0.40	c |      3060 |     220    18700   130900 |     6233     3060     61 |  0.002 % |
0.06/0.41	c |      3208 |     220    18700   130900 |     6233     3208     61 |  0.002 % |
0.06/0.43	c |      3368 |     220    18700   130900 |     6233     3368     61 |  0.002 % |
0.06/0.45	c |      3546 |     220    18700   130900 |     6233     3546     61 |  0.002 % |
0.06/0.46	c |      3649 |     220    18700   130900 |     6233     3649     61 |  0.002 % |
0.06/0.47	c |      3759 |     220    18700   130900 |     6233     3759     61 |  0.002 % |
0.06/0.48	c |      3881 |     220    18700   130900 |     6233     3881     61 |  0.002 % |
0.06/0.50	c |      4015 |     220    18700   130900 |     6233     4015     61 |  0.002 % |
0.06/0.52	c |      4162 |     220    18700   130900 |     6233     4162     61 |  0.002 % |
0.06/0.54	c |      4322 |     220    18700   130900 |     6233     4322     61 |  0.002 % |
0.06/0.55	c |      4499 |     220    18700   130900 |     6233     4499     61 |  0.002 % |
0.06/0.57	c |      4692 |     220    18700   130900 |     6233     4692     61 |  0.002 % |
0.06/0.59	c |      4792 |     220    18700   130900 |     6233     4792     62 |  0.002 % |
0.06/0.60	c |      4903 |     220    18700   130900 |     6233     4903     62 |  0.002 % |
0.06/0.62	c |      5028 |     220    18700   130900 |     6233     5028     62 |  0.002 % |
0.06/0.63	c |      5162 |     220    18700   130900 |     6233     5162     62 |  0.002 % |
0.06/0.65	c |      5312 |     220    18700   130900 |     6233     5312     62 |  0.002 % |
0.06/0.67	c |      5472 |     220    18700   130900 |     6233     5472     62 |  0.002 % |
0.06/0.69	c |      5650 |     220    18700   130900 |     6233     5650     62 |  0.002 % |
0.06/0.71	c |      5845 |     220    18700   130900 |     6233     5845     62 |  0.002 % |
0.06/0.74	c |      6057 |     220    18700   130900 |     6233     6057     62 |  0.002 % |
0.06/0.75	c |      6157 |     220    18700   130900 |     6233     6157     62 |  0.002 % |
0.06/0.76	c |      6267 |     220    18700   130900 |     6233     6267     62 |  0.002 % |
0.06/0.78	c |      6388 |     220    18700   130900 |     6233     5762     61 |  0.002 % |
0.06/0.80	c |      6522 |     220    18700   130900 |     6233     5896     61 |  0.002 % |
0.06/0.81	c |      6670 |     220    18700   130900 |     6233     6044     61 |  0.002 % |
0.06/0.83	c |      6830 |     220    18700   130900 |     6233     6204     61 |  0.002 % |
0.06/0.85	c |      7006 |     220    18700   130900 |     6233     5747     61 |  0.002 % |
0.06/0.88	c |      7200 |     220    18700   130900 |     6233     5941     61 |  0.002 % |
0.06/0.90	c |      7413 |     220    18700   130900 |     6233     6154     61 |  0.002 % |
0.06/0.93	c |      7646 |     220    18700   130900 |     6233     5754     61 |  0.002 % |
0.06/0.95	c |      7748 |     220    18700   130900 |     6233     5856     61 |  0.002 % |
0.06/0.96	c |      7860 |     220    18700   130900 |     6233     5968     61 |  0.002 % |
0.06/0.97	c |      7981 |     220    18700   130900 |     6233     6089     61 |  0.002 % |
0.06/0.99	c |      8116 |     220    18700   130900 |     6233     6224     61 |  0.002 % |
0.97/1.02	c |      8263 |     220    18700   130900 |     6233     5738     61 |  0.002 % |
0.97/1.04	c |      8423 |     220    18700   130900 |     6233     5898     61 |  0.002 % |
0.97/1.07	c |      8600 |     220    18700   130900 |     6233     6075     61 |  0.002 % |
0.97/1.09	c |      8793 |     220    18700   130900 |     6233     6268     61 |  0.002 % |
1.07/1.12	c |      9007 |     220    18700   130900 |     6233     5856     61 |  0.002 % |
1.07/1.15	c |      9240 |     220    18700   130900 |     6233     6089     61 |  0.002 % |
1.07/1.18	c |      9496 |     220    18700   130900 |     6233     5712     61 |  0.002 % |
1.17/1.20	c |      9596 |     220    18700   130900 |     6233     5812     61 |  0.002 % |
1.17/1.21	c |      9707 |     220    18700   130900 |     6233     5923     61 |  0.002 % |
1.17/1.23	c |      9828 |     220    18700   130900 |     6233     6044     61 |  0.002 % |
1.17/1.24	c |      9962 |     220    18700   130900 |     6233     6178     61 |  0.002 % |
1.17/1.26	c |     10109 |     220    18700   130900 | 2147483647     6325     61 |  0.002 % |
1.17/1.28	c |     10269 |     220    18700   130900 | 2147483647     6485     61 |  0.002 % |
1.27/1.31	c |     10445 |     220    18700   130900 | 2147483647     6661     61 |  0.002 % |
1.27/1.33	c |     10639 |     220    18700   130900 | 2147483647     6855     61 |  0.002 % |
1.27/1.36	c |     10852 |     220    18700   130900 | 2147483647     7068     61 |  0.002 % |
1.27/1.40	c |     11085 |     220    18700   130900 | 2147483647     7301     61 |  0.002 % |
1.37/1.44	c |     11341 |     220    18700   130900 | 2147483647     7557     61 |  0.002 % |
1.37/1.48	c |     11625 |     220    18700   130900 | 2147483647     7841     61 |  0.002 % |
1.37/1.49	c |     11726 |     220    18700   130900 | 2147483647     7942     61 |  0.002 % |
1.47/1.51	c |     11836 |     220    18700   130900 | 2147483647     8052     61 |  0.002 % |
1.47/1.53	c |     11958 |     220    18700   130900 | 2147483647     8174     61 |  0.002 % |
1.47/1.55	c |     12093 |     220    18700   130900 | 2147483647     8309     61 |  0.002 % |
1.47/1.57	c |     12240 |     220    18700   130900 | 2147483647     8456     61 |  0.002 % |
1.47/1.60	c |     12401 |     220    18700   130900 | 2147483647     8617     61 |  0.002 % |
1.57/1.63	c |     12581 |     220    18700   130900 | 2147483647     8797     61 |  0.002 % |
1.57/1.66	c |     12775 |     220    18700   130900 | 2147483647     8991     61 |  0.002 % |
1.57/1.69	c |     12988 |     220    18700   130900 | 2147483647     9204     61 |  0.002 % |
1.67/1.73	c |     13223 |     220    18700   130900 | 2147483647     9439     61 |  0.002 % |
1.67/1.77	c |     13481 |     220    18700   130900 | 2147483647     9697     61 |  0.002 % |
1.77/1.82	c |     13762 |     220    18700   130900 | 2147483647     9978     61 |  0.002 % |
1.77/1.87	c |     14071 |     220    18700   130900 | 2147483647    10287     61 |  0.002 % |
1.77/1.89	c |     14173 |     220    18700   130900 | 2147483647    10389     61 |  0.002 % |
1.87/1.90	c |     14283 |     220    18700   130900 | 2147483647    10499     61 |  0.002 % |
1.87/1.92	c |     14404 |     220    18700   130900 | 2147483647    10620     61 |  0.002 % |
1.87/1.95	c |     14538 |     220    18700   130900 | 2147483647    10754     61 |  0.002 % |
1.87/1.98	c |     14686 |     220    18700   130900 | 2147483647    10902     61 |  0.002 % |
1.97/2.01	c |     14848 |     220    18700   130900 | 2147483647    11064     61 |  0.002 % |
1.97/2.04	c |     15024 |     220    18700   130900 | 2147483647    11240     61 |  0.002 % |
1.97/2.08	c |     15217 |     220    18700   130900 | 2147483647    11433     61 |  0.002 % |
2.07/2.11	c |     15429 |     220    18700   130900 | 2147483647    11645     61 |  0.002 % |
2.07/2.15	c |     15662 |     220    18700   130900 | 2147483647    11878     61 |  0.002 % |
2.17/2.20	c |     15921 |     220    18700   130900 | 2147483647    12137     61 |  0.002 % |
2.17/2.26	c |     16202 |     220    18700   130900 | 2147483647    12418     61 |  0.002 % |
2.27/2.31	c |     16512 |     220    18700   130900 | 2147483647    12728     61 |  0.002 % |
2.27/2.38	c |     16852 |     220    18700   130900 | 2147483647    13068     61 |  0.002 % |
2.37/2.40	c |     16953 |     220    18700   130900 | 2147483647    13169     61 |  0.002 % |
2.37/2.42	c |     17063 |     220    18700   130900 | 2147483647    13279     61 |  0.002 % |
2.37/2.46	c |     17186 |     220    18700   130900 | 2147483647    13402     61 |  0.002 % |
2.37/2.49	c |     17319 |     220    18700   130900 | 2147483647    13535     61 |  0.002 % |
2.47/2.52	c |     17466 |     220    18700   130900 | 2147483647    13682     61 |  0.002 % |
2.47/2.55	c |     17626 |     220    18700   130900 | 2147483647    13842     61 |  0.002 % |
2.47/2.58	c |     17803 |     220    18700   130900 | 2147483647    14019     61 |  0.002 % |
2.57/2.63	c |     17996 |     220    18700   130900 | 2147483647    14212     61 |  0.002 % |
2.57/2.67	c |     18209 |     220    18700   130900 | 2147483647    14425     61 |  0.002 % |
2.67/2.71	c |     18443 |     220    18700   130900 | 2147483647    14659     61 |  0.002 % |
2.67/2.77	c |     18701 |     220    18700   130900 | 2147483647    14917     61 |  0.002 % |
2.76/2.84	c |     18982 |     220    18700   130900 | 2147483647    15198     62 |  0.002 % |
2.86/2.90	c |     19293 |     220    18700   130900 | 2147483647    15509     62 |  0.002 % |
2.86/2.98	c |     19634 |     220    18700   130900 | 2147483647    15850     61 |  0.002 % |
2.96/3.06	c |     20006 |     220    18700   130900 | 2147483647    16222     62 |  0.002 % |
2.96/3.09	c |     20106 |     220    18700   130900 | 2147483647    16322     62 |  0.002 % |
3.07/3.12	c |     20216 |     220    18700   130900 | 2147483647    16432     62 |  0.002 % |
3.07/3.15	c |     20337 |     220    18700   130900 | 2147483647    16553     62 |  0.002 % |
3.07/3.18	c |     20470 |     220    18700   130900 | 2147483647    16686     62 |  0.002 % |
3.18/3.21	c |     20619 |     220    18700   130900 | 2147483647    16835     62 |  0.002 % |
3.18/3.25	c |     20780 |     220    18700   130900 | 2147483647    16996     62 |  0.002 % |
3.18/3.29	c |     20959 |     220    18700   130900 | 2147483647    17175     62 |  0.002 % |
3.28/3.33	c |     21154 |     220    18700   130900 | 2147483647    17370     62 |  0.002 % |
3.28/3.38	c |     21366 |     220    18700   130900 | 2147483647    17582     62 |  0.002 % |
3.37/3.43	c |     21599 |     220    18700   130900 | 2147483647    17815     62 |  0.002 % |
3.47/3.50	c |     21855 |     220    18700   130900 | 2147483647    18071     62 |  0.002 % |
3.47/3.58	c |     22136 |     220    18700   130900 | 2147483647    18352     62 |  0.002 % |
3.57/3.65	c |     22445 |     220    18700   130900 | 2147483647    18661     62 |  0.002 % |
3.67/3.73	c |     22784 |     220    18700   130900 | 2147483647    19000     62 |  0.002 % |
3.77/3.83	c |     23158 |     220    18700   130900 | 2147483647    19374     62 |  0.002 % |
3.87/3.93	c |     23567 |     220    18700   130900 | 2147483647    19783     62 |  0.002 % |
3.87/3.96	c |     23667 |     220    18700   130900 | 2147483647    19883     62 |  0.002 % |
3.87/3.99	c |     23777 |     220    18700   130900 | 2147483647    19993     62 |  0.002 % |
3.97/4.02	c |     23898 |     220    18700   130900 | 2147483647    20114     62 |  0.002 % |
3.97/4.06	c |     24033 |     220    18700   130900 | 2147483647    20249     62 |  0.002 % |
4.07/4.11	c |     24180 |     220    18700   130900 | 2147483647    20396     62 |  0.002 % |
4.07/4.15	c |     24341 |     220    18700   130900 | 2147483647    20557     62 |  0.002 % |
4.17/4.20	c |     24517 |     220    18700   130900 | 2147483647    20733     62 |  0.002 % |
4.17/4.27	c |     24711 |     220    18700   130900 | 2147483647    20927     62 |  0.002 % |
4.27/4.33	c |     24924 |     220    18700   130900 | 2147483647    21140     62 |  0.002 % |
4.27/4.40	c |     25158 |     220    18700   130900 | 2147483647    21374     62 |  0.002 % |
4.37/4.47	c |     25415 |     220    18700   130900 | 2147483647    21631     62 |  0.002 % |
4.47/4.55	c |     25696 |     220    18700   130900 | 2147483647    21912     62 |  0.002 % |
4.57/4.64	c |     26005 |     220    18700   130900 | 2147483647    22221     62 |  0.002 % |
4.67/4.75	c |     26344 |     220    18700   130900 | 2147483647    22560     62 |  0.002 % |
4.77/4.85	c |     26716 |     220    18700   130900 | 2147483647    22932     62 |  0.002 % |
4.87/4.97	c |     27125 |     220    18700   130900 | 2147483647    23341     62 |  0.002 % |
5.07/5.10	c |     27574 |     220    18700   130900 | 2147483647    23790     62 |  0.002 % |
5.07/5.14	c |     27674 |     220    18700   130900 | 2147483647    23890     62 |  0.002 % |
5.07/5.18	c |     27784 |     220    18700   130900 | 2147483647    24000     62 |  0.002 % |
5.16/5.22	c |     27907 |     220    18700   130900 | 2147483647    24123     62 |  0.002 % |
5.16/5.25	c |     28040 |     220    18700   130900 | 2147483647    24256     62 |  0.002 % |
5.26/5.31	c |     28187 |     220    18700   130900 | 2147483647    24403     62 |  0.002 % |
5.26/5.37	c |     28347 |     220    18700   130900 | 2147483647    24563     62 |  0.002 % |
5.37/5.42	c |     28525 |     220    18700   130900 | 2147483647    24741     62 |  0.002 % |
5.37/5.49	c |     28718 |     220    18700   130900 | 2147483647    24934     62 |  0.002 % |
5.47/5.56	c |     28930 |     220    18700   130900 | 2147483647    25146     62 |  0.002 % |
5.56/5.64	c |     29163 |     220    18700   130900 | 2147483647    25379     62 |  0.002 % |
5.66/5.72	c |     29420 |     220    18700   130900 | 2147483647    25636     62 |  0.002 % |
5.76/5.81	c |     29701 |     220    18700   130900 | 2147483647    25917     62 |  0.002 % |
5.86/5.92	c |     30010 |     220    18700   130900 | 2147483647    26226     62 |  0.002 % |
5.96/6.04	c |     30350 |     220    18700   130900 | 2147483647    26566     62 |  0.002 % |
6.06/6.16	c |     30722 |     220    18700   130900 | 2147483647    26938     62 |  0.002 % |
6.16/6.29	c |     31131 |     220    18700   130900 | 2147483647    27347     62 |  0.002 % |
6.36/6.42	c |     31580 |     220    18700   130900 | 2147483647    27796     62 |  0.002 % |
6.58/6.62	c |     32073 |     220    18700   130900 | 2147483647    28289     62 |  0.002 % |
6.58/6.65	c |     32174 |     220    18700   130900 | 2147483647    28390     62 |  0.002 % |
6.58/6.69	c |     32286 |     220    18700   130900 | 2147483647    28502     62 |  0.002 % |
6.67/6.74	c |     32407 |     220    18700   130900 | 2147483647    28623     62 |  0.002 % |
6.67/6.79	c |     32542 |     220    18700   130900 | 2147483647    28758     62 |  0.002 % |
6.77/6.85	c |     32690 |     220    18700   130900 | 2147483647    28906     62 |  0.002 % |
6.87/6.91	c |     32852 |     220    18700   130900 | 2147483647    29068     62 |  0.002 % |
6.87/6.97	c |     33029 |     220    18700   130900 | 2147483647    29245     62 |  0.002 % |
6.97/7.06	c |     33222 |     220    18700   130900 | 2147483647    29438     62 |  0.002 % |
7.07/7.13	c |     33434 |     220    18700   130900 | 2147483647    29650     62 |  0.002 % |
7.17/7.21	c |     33667 |     220    18700   130900 | 2147483647    29883     62 |  0.002 % |
7.27/7.31	c |     33924 |     220    18700   130900 | 2147483647    30140     62 |  0.002 % |
7.37/7.41	c |     34205 |     220    18700   130900 | 2147483647    30421     62 |  0.002 % |
7.47/7.53	c |     34514 |     220    18700   130900 | 2147483647    30730     62 |  0.002 % |
7.57/7.68	c |     34854 |     220    18700   130900 | 2147483647    31070     62 |  0.002 % |
7.77/7.81	c |     35227 |     220    18700   130900 | 2147483647    31443     62 |  0.002 % |
7.87/7.97	c |     35639 |     220    18700   130900 | 2147483647    31855     62 |  0.002 % |
8.07/8.14	c |     36088 |     220    18700   130900 | 2147483647    32304     62 |  0.002 % |
8.26/8.34	c |     36581 |     220    18700   130900 | 2147483647    32797     62 |  0.002 % |
8.46/8.57	c |     37123 |     220    18700   130900 | 2147483647    33339     62 |  0.002 % |
8.56/8.61	c |     37224 |     220    18700   130900 | 2147483647    33440     62 |  0.002 % |
8.56/8.67	c |     37334 |     220    18700   130900 | 2147483647    33550     62 |  0.002 % |
8.67/8.72	c |     37456 |     220    18700   130900 | 2147483647    33672     62 |  0.002 % |
8.67/8.78	c |     37592 |     220    18700   130900 | 2147483647    33808     62 |  0.002 % |
8.77/8.85	c |     37739 |     220    18700   130900 | 2147483647    33955     62 |  0.002 % |
8.87/8.93	c |     37900 |     220    18700   130900 | 2147483647    34116     62 |  0.002 % |
8.97/9.01	c |     38076 |     220    18700   130900 | 2147483647    34292     62 |  0.002 % |
9.07/9.11	c |     38269 |     220    18700   130900 | 2147483647    34485     62 |  0.002 % |
9.17/9.21	c |     38481 |     220    18700   130900 | 2147483647    34697     62 |  0.002 % |
9.27/9.31	c |     38714 |     220    18700   130900 | 2147483647    34930     62 |  0.002 % |
9.37/9.42	c |     38973 |     220    18700   130900 | 2147483647    35189     62 |  0.002 % |
9.47/9.52	c |     39257 |     220    18700   130900 | 2147483647    35473     62 |  0.002 % |
9.57/9.65	c |     39569 |     220    18700   130900 | 2147483647    35785     62 |  0.002 % |
9.77/9.82	c |     39908 |     220    18700   130900 | 2147483647    36124     62 |  0.002 % |
9.87/9.99	c |     40281 |     220    18700   130900 | 2147483647    36497     62 |  0.002 % |
10.07/10.17	c |     40692 |     220    18700   130900 | 2147483647    36908     62 |  0.002 % |
10.27/10.36	c |     41141 |     220    18700   130900 | 2147483647    37357     62 |  0.002 % |
10.47/10.56	c |     41634 |     220    18700   130900 | 2147483647    37850     62 |  0.002 % |
10.67/10.78	c |     42176 |     220    18700   130900 | 2147483647    38392     62 |  0.002 % |
10.97/11.03	c |     42772 |     220    18700   130900 | 2147483647    38988     62 |  0.002 % |
10.97/11.07	c |     42873 |     220    18700   130900 | 2147483647    39089     62 |  0.002 % |
11.07/11.11	c |     42984 |     220    18700   130900 | 2147483647    39200     62 |  0.002 % |
11.07/11.17	c |     43106 |     220    18700   130900 | 2147483647    39322     62 |  0.002 % |
11.17/11.23	c |     43239 |     220    18700   130900 | 2147483647    39455     62 |  0.002 % |
11.17/11.29	c |     43385 |     220    18700   130900 | 2147483647    39601     62 |  0.002 % |
11.27/11.36	c |     43546 |     220    18700   130900 | 2147483647    39762     62 |  0.002 % |
11.37/11.48	c |     43722 |     220    18700   130900 | 2147483647    39938     62 |  0.002 % |
11.47/11.59	c |     43915 |     220    18700   130900 | 2147483647    40131     62 |  0.002 % |
11.57/11.69	c |     44127 |     220    18700   130900 | 2147483647    40343     62 |  0.002 % |
11.77/11.81	c |     44362 |     220    18700   130900 | 2147483647    40578     62 |  0.002 % |
11.87/11.95	c |     44620 |     220    18700   130900 | 2147483647    40836     62 |  0.002 % |
11.97/12.09	c |     44902 |     220    18700   130900 | 2147483647    41118     62 |  0.002 % |
12.17/12.24	c |     45211 |     220    18700   130900 | 2147483647    41427     62 |  0.002 % |
12.36/12.41	c |     45550 |     220    18700   130900 | 2147483647    41766     62 |  0.002 % |
12.56/12.64	c |     45922 |     220    18700   130900 | 2147483647    42138     62 |  0.002 % |
12.76/12.85	c |     46331 |     220    18700   130900 | 2147483647    42547     62 |  0.002 % |
12.96/13.10	c |     46781 |     220    18700   130900 | 2147483647    42997     62 |  0.002 % |
13.26/13.35	c |     47276 |     220    18700   130900 | 2147483647    43492     62 |  0.002 % |
13.46/13.59	c |     47818 |     220    18700   130900 | 2147483647    44034     62 |  0.002 % |
13.77/13.86	c |     48416 |     220    18700   130900 | 2147483647    44632     62 |  0.002 % |
14.07/14.18	c |     49072 |     220    18700   130900 | 2147483647    45288     62 |  0.002 % |
14.17/14.25	c |     49172 |     220    18700   130900 | 2147483647    45388     62 |  0.002 % |
14.27/14.31	c |     49282 |     220    18700   130900 | 2147483647    45498     62 |  0.002 % |
14.27/14.38	c |     49403 |     220    18700   130900 | 2147483647    45619     62 |  0.002 % |
14.37/14.46	c |     49536 |     220    18700   130900 | 2147483647    45752     62 |  0.002 % |
14.47/14.56	c |     49684 |     220    18700   130900 | 2147483647    45900     62 |  0.002 % |
14.57/14.65	c |     49844 |     220    18700   130900 | 2147483647    46060     62 |  0.002 % |
14.67/14.75	c |     50020 |     220    18700   130900 | 2147483647    46236     62 |  0.002 % |
14.77/14.87	c |     50213 |     220    18700   130900 | 2147483647    46429     62 |  0.002 % |
14.97/15.01	c |     50426 |     220    18700   130900 | 2147483647    46642     62 |  0.002 % |
15.07/15.15	c |     50661 |     220    18700   130900 | 2147483647    46877     62 |  0.002 % |
15.17/15.29	c |     50918 |     220    18700   130900 | 2147483647    47134     62 |  0.002 % |
15.37/15.44	c |     51200 |     220    18700   130900 | 2147483647    47416     62 |  0.002 % |
15.57/15.62	c |     51509 |     220    18700   130900 | 2147483647    47725     62 |  0.002 % |
15.76/15.85	c |     51848 |     220    18700   130900 | 2147483647    48064     62 |  0.002 % |
15.96/16.07	c |     52220 |     220    18700   130900 | 2147483647    48436     62 |  0.002 % |
16.26/16.31	c |     52629 |     220    18700   130900 | 2147483647    48845     62 |  0.002 % |
16.47/16.56	c |     53079 |     220    18700   130900 | 2147483647    49295     62 |  0.002 % |
16.76/16.88	c |     53573 |     220    18700   130900 | 2147483647    49789     62 |  0.002 % |
17.16/17.25	c |     54116 |     220    18700   130900 | 2147483647    50332     62 |  0.002 % |
17.57/17.63	c |     54714 |     220    18700   130900 | 2147483647    50930     62 |  0.002 % |
17.96/18.01	c |     55369 |     220    18700   130900 | 2147483647    51585     62 |  0.002 % |
18.36/18.41	c |     56089 |     220    18700   130900 | 2147483647    52305     62 |  0.002 % |
18.36/18.49	c |     56190 |     220    18700   130900 | 2147483647    52406     62 |  0.002 % |
18.46/18.55	c |     56300 |     220    18700   130900 | 2147483647    52516     62 |  0.002 % |
18.57/18.64	c |     56421 |     220    18700   130900 | 2147483647    52637     62 |  0.002 % |
18.67/18.72	c |     56554 |     220    18700   130900 | 2147483647    52770     62 |  0.002 % |
18.76/18.86	c |     56704 |     220    18700   130900 | 2147483647    52920     62 |  0.002 % |
18.86/18.98	c |     56864 |     220    18700   130900 | 2147483647    53080     62 |  0.002 % |
19.06/19.10	c |     57042 |     220    18700   130900 | 2147483647    53258     62 |  0.002 % |
19.16/19.25	c |     57236 |     220    18700   130900 | 2147483647    53452     62 |  0.002 % |
19.26/19.39	c |     57448 |     220    18700   130900 | 2147483647    53664     62 |  0.002 % |
19.46/19.54	c |     57682 |     220    18700   130900 | 2147483647    53898     62 |  0.002 % |
19.67/19.70	c |     57939 |     220    18700   130900 | 2147483647    54155     62 |  0.002 % |
19.77/19.89	c |     58221 |     220    18700   130900 | 2147483647    54437     62 |  0.002 % |
19.96/20.09	c |     58530 |     220    18700   130900 | 2147483647    54746     62 |  0.002 % |
20.26/20.33	c |     58869 |     220    18700   130900 | 2147483647    55085     62 |  0.002 % |
20.56/20.60	c |     59241 |     220    18700   130900 | 2147483647    55457     62 |  0.002 % |
20.76/20.87	c |     59653 |     220    18700   130900 | 2147483647    55869     62 |  0.002 % |
21.06/21.16	c |     60103 |     220    18700   130900 | 2147483647    56319     62 |  0.002 % |
21.36/21.47	c |     60596 |     220    18700   130900 | 2147483647    56812     62 |  0.002 % |
21.76/21.86	c |     61138 |     220    18700   130900 | 2147483647    57354     62 |  0.002 % |
22.16/22.26	c |     61736 |     220    18700   130900 | 2147483647    57952     62 |  0.002 % |
22.56/22.67	c |     62392 |     220    18700   130900 | 2147483647    58608     62 |  0.002 % |
23.06/23.14	c |     63112 |     220    18700   130900 | 2147483647    59328     62 |  0.002 % |
23.56/23.63	c |     63904 |     220    18700   130900 | 2147483647    60120     62 |  0.002 % |
23.56/23.70	c |     64006 |     220    18700   130900 | 2147483647    60222     62 |  0.002 % |
23.76/23.80	c |     64118 |     220    18700   130900 | 2147483647    60334     62 |  0.002 % |
23.86/23.91	c |     64240 |     220    18700   130900 | 2147483647    60456     62 |  0.002 % |
23.96/24.02	c |     64373 |     220    18700   130900 | 2147483647    60589     62 |  0.002 % |
24.07/24.12	c |     64519 |     220    18700   130900 | 2147483647    60735     62 |  0.002 % |
24.17/24.26	c |     64679 |     220    18700   130900 | 2147483647    60895     62 |  0.002 % |
24.26/24.38	c |     64855 |     220    18700   130900 | 2147483647    61071     62 |  0.002 % |
24.46/24.52	c |     65049 |     220    18700   130900 | 2147483647    61265     62 |  0.002 % |
24.66/24.72	c |     65261 |     220    18700   130900 | 2147483647    61477     62 |  0.002 % |
24.86/24.90	c |     65494 |     220    18700   130900 | 2147483647    61710     62 |  0.002 % |
24.96/25.08	c |     65750 |     220    18700   130900 | 2147483647    61966     62 |  0.002 % |
25.16/25.29	c |     66032 |     220    18700   130900 | 2147483647    62248     62 |  0.002 % |
25.46/25.53	c |     66341 |     220    18700   130900 | 2147483647    62557     62 |  0.002 % |
25.76/25.80	c |     66680 |     220    18700   130900 | 2147483647    62896     62 |  0.002 % |
25.96/26.06	c |     67052 |     220    18700   130900 | 2147483647    63268     62 |  0.002 % |
26.26/26.40	c |     67462 |     220    18700   130900 | 2147483647    63678     62 |  0.002 % |
26.65/26.73	c |     67914 |     220    18700   130900 | 2147483647    64130     62 |  0.002 % |
27.05/27.12	c |     68408 |     220    18700   130900 | 2147483647    64624     62 |  0.002 % |
27.46/27.50	c |     68950 |     220    18700   130900 | 2147483647    65166     62 |  0.002 % |
27.85/27.94	c |     69546 |     220    18700   130900 | 2147483647    65762     62 |  0.002 % |
28.45/28.54	c |     70201 |     220    18700   130900 | 2147483647    66417     62 |  0.002 % |
28.95/29.09	c |     70921 |     220    18700   130900 | 2147483647    67137     62 |  0.002 % |
29.55/29.64	c |     71713 |     220    18700   130900 | 2147483647    67929     62 |  0.002 % |
30.15/30.23	c |     72584 |     220    18700   130900 | 2147483647    68800     62 |  0.002 % |
30.25/30.34	c |     72684 |     220    18700   130900 | 2147483647    68900     62 |  0.002 % |
30.35/30.43	c |     72794 |     220    18700   130900 | 2147483647    69010     62 |  0.002 % |
30.45/30.53	c |     72917 |     220    18700   130900 | 2147483647    69133     62 |  0.002 % |
30.55/30.66	c |     73050 |     220    18700   130900 | 2147483647    69266     62 |  0.002 % |
30.75/30.82	c |     73199 |     220    18700   130900 | 2147483647    69415     62 |  0.002 % |
30.85/30.97	c |     73359 |     220    18700   130900 | 2147483647    69575     62 |  0.002 % |
31.06/31.11	c |     73537 |     220    18700   130900 | 2147483647    69753     62 |  0.002 % |
31.26/31.33	c |     73730 |     220    18700   130900 | 2147483647    69946     62 |  0.002 % |
31.46/31.50	c |     73943 |     220    18700   130900 | 2147483647    70159     62 |  0.002 % |
31.56/31.68	c |     74177 |     220    18700   130900 | 2147483647    70393     62 |  0.002 % |
31.76/31.88	c |     74433 |     220    18700   130900 | 2147483647    70649     62 |  0.002 % |
32.06/32.11	c |     74715 |     220    18700   130900 | 2147483647    70931     62 |  0.002 % |
32.26/32.32	c |     75024 |     220    18700   130900 | 2147483647    71240     62 |  0.002 % |
32.56/32.65	c |     75363 |     220    18700   130900 | 2147483647    71579     62 |  0.002 % |
32.86/32.99	c |     75735 |     220    18700   130900 | 2147483647    71951     62 |  0.002 % |
33.25/33.32	c |     76144 |     220    18700   130900 | 2147483647    72360     62 |  0.002 % |
33.55/33.66	c |     76593 |     220    18700   130900 | 2147483647    72809     62 |  0.002 % |
34.06/34.16	c |     77086 |     220    18700   130900 | 2147483647    73302     62 |  0.002 % |
34.45/34.59	c |     77628 |     220    18700   130900 | 2147483647    73844     62 |  0.002 % |
34.95/35.08	c |     78224 |     220    18700   130900 | 2147483647    74440     62 |  0.002 % |
35.45/35.58	c |     78880 |     220    18700   130900 | 2147483647    75096     62 |  0.002 % |
36.05/36.19	c |     79601 |     220    18700   130900 | 2147483647    75817     62 |  0.002 % |
36.65/36.79	c |     80393 |     220    18700   130900 | 2147483647    76609     62 |  0.002 % |
37.35/37.42	c |     81264 |     220    18700   130900 | 2147483647    77480     62 |  0.002 % |
38.15/38.22	c |     82225 |     220    18700   130900 | 2147483647    78441     62 |  0.002 % |
38.25/38.30	c |     82325 |     220    18700   130900 | 2147483647    78541     62 |  0.002 % |
38.35/38.42	c |     82435 |     220    18700   130900 | 2147483647    78651     62 |  0.002 % |
38.45/38.54	c |     82556 |     220    18700   130900 | 2147483647    78772     62 |  0.002 % |
38.55/38.69	c |     82692 |     220    18700   130900 | 2147483647    78908     62 |  0.002 % |
38.75/38.85	c |     82838 |     220    18700   130900 | 2147483647    79054     62 |  0.002 % |
38.85/38.99	c |     82998 |     220    18700   130900 | 2147483647    79214     62 |  0.002 % |
39.05/39.17	c |     83177 |     220    18700   130900 | 2147483647    79393     62 |  0.002 % |
39.25/39.36	c |     83370 |     220    18700   130900 | 2147483647    79586     62 |  0.002 % |
39.45/39.55	c |     83582 |     220    18700   130900 | 2147483647    79798     62 |  0.002 % |
39.75/39.82	c |     83815 |     220    18700   130900 | 2147483647    80031     62 |  0.002 % |
39.95/40.02	c |     84071 |     220    18700   130900 | 2147483647    80287     62 |  0.002 % |
40.25/40.32	c |     84352 |     220    18700   130900 | 2147483647    80568     62 |  0.002 % |
40.55/40.65	c |     84663 |     220    18700   130900 | 2147483647    80879     62 |  0.002 % |
40.85/40.95	c |     85002 |     220    18700   130900 | 2147483647    81218     62 |  0.002 % |
41.24/41.36	c |     85377 |     220    18700   130900 | 2147483647    81593     62 |  0.002 % |
41.65/41.77	c |     85787 |     220    18700   130900 | 2147483647    82003     62 |  0.002 % |
42.04/42.18	c |     86237 |     220    18700   130900 | 2147483647    82453     62 |  0.002 % |
42.54/42.65	c |     86733 |     220    18700   130900 | 2147483647    82949     62 |  0.002 % |
43.04/43.15	c |     87277 |     220    18700   130900 | 2147483647    83493     62 |  0.002 % |
43.65/43.71	c |     87876 |     220    18700   130900 | 2147483647    84092     62 |  0.002 % |
44.25/44.31	c |     88531 |     220    18700   130900 | 2147483647    84747     62 |  0.002 % |
44.95/45.06	c |     89251 |     220    18700   130900 | 2147483647    85467     62 |  0.002 % |
45.75/45.82	c |     90043 |     220    18700   130900 |    86217    86259     62 |  0.002 % |
46.54/46.66	c |     90915 |     220    18700   130900 |    86217    75109     62 |  0.002 % |
47.34/47.48	c |     91873 |     220    18700   130900 |    86217    76067     62 |  0.002 % |
48.25/48.31	c |     92927 |     220    18700   130900 |    86217    77121     62 |  0.002 % |
48.35/48.40	c |     93027 |     220    18700   130900 |    86217    77221     62 |  0.002 % |
48.44/48.54	c |     93140 |     220    18700   130900 |    86217    77334     62 |  0.002 % |
48.54/48.66	c |     93262 |     220    18700   130900 |    86217    77456     62 |  0.002 % |
48.74/48.82	c |     93395 |     220    18700   130900 |    86217    77589     62 |  0.002 % |
48.84/48.95	c |     93541 |     220    18700   130900 |    86217    77735     62 |  0.002 % |
49.04/49.13	c |     93701 |     220    18700   130900 |    86217    77895     62 |  0.002 % |
49.14/49.29	c |     93878 |     220    18700   130900 |    86217    78072     62 |  0.002 % |
49.35/49.48	c |     94071 |     220    18700   130900 |    86217    78265     62 |  0.002 % |
49.64/49.70	c |     94284 |     220    18700   130900 |    86217    78478     62 |  0.002 % |
49.84/49.92	c |     94517 |     220    18700   130900 |    86217    78711     62 |  0.002 % |
50.04/50.18	c |     94773 |     220    18700   130900 |    86217    78967     62 |  0.002 % |
50.34/50.46	c |     95055 |     220    18700   130900 |    86217    79249     62 |  0.002 % |
50.64/50.78	c |     95365 |     220    18700   130900 |    86217    79559     62 |  0.002 % |
51.04/51.10	c |     95707 |     220    18700   130900 |    86217    79901     62 |  0.002 % |
51.34/51.45	c |     96079 |     220    18700   130900 |    86217    80273     62 |  0.002 % |
51.74/51.86	c |     96490 |     220    18700   130900 |    86217    80684     62 |  0.002 % |
52.14/52.27	c |     96939 |     220    18700   130900 |    86217    81133     62 |  0.002 % |
52.65/52.72	c |     97434 |     220    18700   130900 |    86217    81628     62 |  0.002 % |
53.14/53.21	c |     97976 |     220    18700   130900 |    86217    82170     62 |  0.002 % |
53.64/53.77	c |     98572 |     220    18700   130900 |    86217    82766     62 |  0.002 % |
54.34/54.42	c |     99227 |     220    18700   130900 |    86217    83421     62 |  0.002 % |
55.04/55.11	c |     99947 |     220    18700   130900 |    86217    84141     62 |  0.002 % |
55.74/55.84	c |    100740 |     220    18700   130900 |    84196    72278     62 |  0.002 % |
56.44/56.50	c |    101611 |     220    18700   130900 |    84196    73149     62 |  0.002 % |
57.15/57.28	c |    102570 |     220    18700   130900 |    84196    74108     62 |  0.002 % |
58.15/58.25	c |    103623 |     220    18700   130900 |    84196    75161     62 |  0.002 % |
59.14/59.22	c |    104781 |     220    18700   130900 |    84196    76319     62 |  0.002 % |
59.24/59.30	c |    104881 |     220    18700   130900 |    84196    76419     62 |  0.002 % |
59.34/59.41	c |    104991 |     220    18700   130900 |    84196    76529     62 |  0.002 % |
59.44/59.53	c |    105113 |     220    18700   130900 |    84196    76651     62 |  0.002 % |
59.54/59.66	c |    105246 |     220    18700   130900 |    84196    76784     62 |  0.002 % |
59.64/59.78	c |    105393 |     220    18700   130900 |    84196    76931     62 |  0.002 % |
59.84/59.94	c |    105556 |     220    18700   130900 |    84196    77094     62 |  0.002 % |
60.04/60.13	c |    105735 |     220    18700   130900 |    84196    77273     62 |  0.002 % |
60.24/60.34	c |    105929 |     220    18700   130900 |    84196    77467     62 |  0.002 % |
60.44/60.52	c |    106141 |     220    18700   130900 |    84196    77679     62 |  0.002 % |
60.64/60.74	c |    106375 |     220    18700   130900 |    84196    77913     62 |  0.002 % |
60.84/60.97	c |    106631 |     220    18700   130900 |    84196    78169     62 |  0.002 % |
61.14/61.21	c |    106917 |     220    18700   130900 |    84196    78455     62 |  0.002 % |
61.34/61.47	c |    107226 |     220    18700   130900 |    84196    78764     62 |  0.002 % |
61.64/61.76	c |    107566 |     220    18700   130900 |    84196    79104     62 |  0.002 % |
62.04/62.18	c |    107938 |     220    18700   130900 |    84196    79476     62 |  0.002 % |
62.44/62.58	c |    108348 |     220    18700   130900 |    84196    79886     62 |  0.002 % |
62.94/63.02	c |    108798 |     220    18700   130900 |    84196    80336     62 |  0.002 % |
63.34/63.49	c |    109292 |     220    18700   130900 |    84196    80830     62 |  0.002 % |
63.84/63.99	c |    109835 |     220    18700   130900 |    84196    81373     62 |  0.002 % |
64.44/64.55	c |    110432 |     220    18700   130900 |    81538    70797     62 |  0.002 % |
64.94/65.05	c |    111087 |     220    18700   130900 |    81538    71452     62 |  0.002 % |
65.64/65.71	c |    111807 |     220    18700   130900 |    81538    72172     62 |  0.002 % |
66.34/66.42	c |    112599 |     220    18700   130900 |    81538    72964     62 |  0.002 % |
67.14/67.20	c |    113470 |     220    18700   130900 |    81538    73835     62 |  0.002 % |
67.94/68.05	c |    114430 |     220    18700   130900 |    81538    74795     62 |  0.002 % |
68.74/68.88	c |    115485 |     220    18700   130900 |    81538    75850     62 |  0.002 % |
69.64/69.79	c |    116644 |     220    18700   130900 |    81538    77009     62 |  0.002 % |
70.64/70.80	c |    117917 |     220    18700   130900 |    81538    78282     62 |  0.002 % |
70.74/70.88	c |    118017 |     220    18700   130900 |    81538    78382     62 |  0.002 % |
70.94/71.04	c |    118133 |     220    18700   130900 |    81538    78498     62 |  0.002 % |
71.04/71.17	c |    118254 |     220    18700   130900 |    81538    78619     62 |  0.002 % |
71.24/71.31	c |    118387 |     220    18700   130900 |    81538    78752     62 |  0.002 % |
71.34/71.45	c |    118534 |     220    18700   130900 |    81538    78899     62 |  0.002 % |
71.54/71.64	c |    118696 |     220    18700   130900 |    81538    79061     62 |  0.002 % |
71.74/71.81	c |    118874 |     220    18700   130900 |    81538    79239     62 |  0.002 % |
71.94/72.01	c |    119068 |     220    18700   130900 |    81538    79433     62 |  0.002 % |
72.14/72.24	c |    119283 |     220    18700   130900 |    81538    79648     62 |  0.002 % |
72.34/72.47	c |    119516 |     220    18700   130900 |    81538    79881     62 |  0.002 % |
72.64/72.73	c |    119772 |     220    18700   130900 |    81538    80137     62 |  0.002 % |
72.94/73.01	c |    120057 |     220    18700   130900 |    80366    80422     62 |  0.002 % |
73.24/73.38	c |    120366 |     220    18700   130900 |    80366    70084     62 |  0.002 % |
73.54/73.67	c |    120706 |     220    18700   130900 |    80366    70424     62 |  0.002 % |
73.84/73.94	c |    121078 |     220    18700   130900 |    80366    70796     62 |  0.002 % |
74.23/74.33	c |    121489 |     220    18700   130900 |    80366    71207     62 |  0.002 % |
74.64/74.75	c |    121939 |     220    18700   130900 |    80366    71657     62 |  0.002 % |
75.13/75.21	c |    122432 |     220    18700   130900 |    80366    72150     62 |  0.002 % |
75.53/75.67	c |    122974 |     220    18700   130900 |    80366    72692     62 |  0.002 % |
76.03/76.14	c |    123570 |     220    18700   130900 |    80366    73288     62 |  0.002 % |
76.63/76.78	c |    124226 |     220    18700   130900 |    80366    73944     62 |  0.002 % |
77.33/77.41	c |    124946 |     220    18700   130900 |    80366    74664     62 |  0.002 % |
77.94/78.02	c |    125739 |     220    18700   130900 |    80366    75457     62 |  0.002 % |
78.64/78.75	c |    126611 |     220    18700   130900 |    80366    76329     62 |  0.002 % |
79.43/79.58	c |    127569 |     220    18700   130900 |    80366    77287     62 |  0.002 % |
80.53/80.61	c |    128624 |     220    18700   130900 |    80366    78342     62 |  0.002 % |
81.53/81.61	c |    129783 |     220    18700   130900 |    80366    79501     62 |  0.002 % |
82.63/82.74	c |    131057 |     220    18700   130900 |    79718    70730     62 |  0.002 % |
83.93/84.01	c |    132460 |     220    18700   130900 |    79718    72133     62 |  0.002 % |
83.93/84.10	c |    132560 |     220    18700   130900 |    79718    72233     62 |  0.002 % |
84.13/84.20	c |    132670 |     220    18700   130900 |    79718    72343     62 |  0.002 % |
84.23/84.31	c |    132792 |     220    18700   130900 |    79718    72465     62 |  0.002 % |
84.33/84.42	c |    132926 |     220    18700   130900 |    79718    72599     62 |  0.002 % |
84.43/84.55	c |    133073 |     220    18700   130900 |    79718    72746     62 |  0.002 % |
84.64/84.73	c |    133235 |     220    18700   130900 |    79718    72908     62 |  0.002 % |
84.73/84.89	c |    133411 |     220    18700   130900 |    79718    73084     62 |  0.002 % |
84.93/85.06	c |    133605 |     220    18700   130900 |    79718    73278     62 |  0.002 % |
85.13/85.23	c |    133817 |     220    18700   130900 |    79718    73490     62 |  0.002 % |
85.33/85.44	c |    134050 |     220    18700   130900 |    79718    73723     62 |  0.002 % |
85.64/85.71	c |    134306 |     220    18700   130900 |    79718    73979     62 |  0.002 % |
85.83/86.00	c |    134588 |     220    18700   130900 |    79718    74261     62 |  0.002 % |
86.23/86.34	c |    134897 |     220    18700   130900 |    79718    74570     62 |  0.002 % |
86.53/86.65	c |    135236 |     220    18700   130900 |    79718    74909     62 |  0.002 % |
86.83/86.98	c |    135608 |     220    18700   130900 |    79718    75281     62 |  0.002 % |
87.23/87.32	c |    136021 |     220    18700   130900 |    79718    75694     62 |  0.002 % |
87.63/87.78	c |    136471 |     220    18700   130900 |    79718    76144     62 |  0.002 % |
88.13/88.26	c |    136964 |     220    18700   130900 |    79718    76637     62 |  0.002 % |
88.73/88.80	c |    137507 |     220    18700   130900 |    79718    77180     62 |  0.002 % |
89.23/89.39	c |    138103 |     220    18700   130900 |    79718    77776     62 |  0.002 % |
89.83/89.95	c |    138760 |     220    18700   130900 |    79718    78433     62 |  0.002 % |
90.43/90.55	c |    139482 |     220    18700   130900 |    79718    79155     62 |  0.002 % |
91.13/91.26	c |    140274 |     220    18700   130900 |    79674    69378     62 |  0.002 % |
91.73/91.88	c |    141145 |     220    18700   130900 |    79674    70249     62 |  0.002 % |
92.43/92.56	c |    142104 |     220    18700   130900 |    79674    71208     62 |  0.002 % |
93.13/93.29	c |    143158 |     220    18700   130900 |    79674    72262     62 |  0.002 % |
94.03/94.13	c |    144317 |     220    18700   130900 |    79674    73421     62 |  0.002 % |
94.93/95.02	c |    145590 |     220    18700   130900 |    79674    74694     62 |  0.002 % |
96.23/96.35	c |    146990 |     220    18700   130900 |    79674    76094     62 |  0.002 % |
97.53/97.67	c |    148530 |     220    18700   130900 |    79674    77634     62 |  0.002 % |
97.63/97.78	c |    148630 |     220    18700   130900 |    79674    77734     62 |  0.002 % |
97.73/97.89	c |    148740 |     220    18700   130900 |    79674    77844     62 |  0.002 % |
97.83/97.99	c |    148861 |     220    18700   130900 |    79674    77965     62 |  0.002 % |
98.03/98.12	c |    148995 |     220    18700   130900 |    79674    78099     62 |  0.002 % |
98.13/98.27	c |    149141 |     220    18700   130900 |    79674    78245     62 |  0.002 % |
98.33/98.42	c |    149301 |     220    18700   130900 |    79674    78405     62 |  0.002 % |
98.43/98.57	c |    149479 |     220    18700   130900 |    79674    78583     62 |  0.002 % |
98.63/98.73	c |    149673 |     220    18700   130900 |    79674    78777     62 |  0.002 % |
98.83/98.91	c |    149885 |     220    18700   130900 |    79674    78989     62 |  0.002 % |
99.13/99.20	c |    150120 |     220    18700   130900 |    79105    70144     62 |  0.002 % |
99.23/99.39	c |    150377 |     220    18700   130900 |    79105    70401     62 |  0.002 % |
99.53/99.63	c |    150658 |     220    18700   130900 |    79105    70682     62 |  0.002 % |
99.72/99.87	c |    150967 |     220    18700   130900 |    79105    70991     62 |  0.002 % |
100.03/100.14	c |    151307 |     220    18700   130900 |    79105    71331     62 |  0.002 % |
100.32/100.43	c |    151679 |     220    18700   130900 |    79105    71703     62 |  0.002 % |
100.62/100.77	c |    152089 |     220    18700   130900 |    79105    72113     62 |  0.002 % |
101.13/101.24	c |    152540 |     220    18700   130900 |    79105    72564     62 |  0.002 % |
101.62/101.73	c |    153033 |     220    18700   130900 |    79105    73057     62 |  0.002 % |
102.13/102.27	c |    153575 |     220    18700   130900 |    79105    73599     62 |  0.002 % |
102.72/102.82	c |    154171 |     220    18700   130900 |    79105    74195     62 |  0.002 % |
103.33/103.42	c |    154827 |     220    18700   130900 |    79105    74851     62 |  0.002 % |
103.92/104.04	c |    155549 |     220    18700   130900 |    79105    75573     62 |  0.002 % |
104.72/104.81	c |    156341 |     220    18700   130900 |    79105    76365     62 |  0.002 % |
105.42/105.57	c |    157212 |     220    18700   130900 |    79105    77236     62 |  0.002 % |
106.22/106.40	c |    158170 |     220    18700   130900 |    79105    78194     62 |  0.002 % |
107.32/107.41	c |    159223 |     220    18700   130900 |    79105    69426     62 |  0.002 % |
108.22/108.35	c |    160382 |     220    18700   130900 |    70203    62129     62 |  0.002 % |
109.12/109.22	c |    161656 |     220    18700   130900 |    70203    63403     62 |  0.002 % |
110.02/110.14	c |    163056 |     220    18700   130900 |    70203    64803     62 |  0.002 % |
111.22/111.37	c |    164598 |     220    18700   130900 |    70203    66345     62 |  0.002 % |
112.72/112.81	c |    166292 |     220    18700   130900 |    70203    68039     62 |  0.002 % |
112.82/112.90	c |    166392 |     220    18700   130900 |    70203    68139     62 |  0.002 % |
112.82/112.99	c |    166502 |     220    18700   130900 |    70203    68249     62 |  0.002 % |
113.02/113.12	c |    166625 |     220    18700   130900 |    70203    68372     62 |  0.002 % |
113.12/113.24	c |    166758 |     220    18700   130900 |    70203    68505     62 |  0.002 % |
113.22/113.36	c |    166905 |     220    18700   130900 |    70203    68652     62 |  0.002 % |
113.32/113.49	c |    167065 |     220    18700   130900 |    70203    68812     62 |  0.002 % |
113.52/113.67	c |    167242 |     220    18700   130900 |    70203    68989     62 |  0.002 % |
113.72/113.84	c |    167435 |     220    18700   130900 |    70203    69182     62 |  0.002 % |
113.92/114.03	c |    167648 |     220    18700   130900 |    70203    69395     62 |  0.002 % |
114.12/114.22	c |    167883 |     220    18700   130900 |    70203    69630     62 |  0.002 % |
114.32/114.44	c |    168141 |     220    18700   130900 |    70203    69888     62 |  0.002 % |
114.52/114.66	c |    168422 |     220    18700   130900 |    70203    70169     62 |  0.002 % |
114.82/114.94	c |    168731 |     220    18700   130900 |    70203    63448     62 |  0.002 % |
115.02/115.18	c |    169072 |     220    18700   130900 |    70203    63789     62 |  0.002 % |
115.42/115.52	c |    169445 |     220    18700   130900 |    70203    64162     62 |  0.002 % |
115.72/115.86	c |    169856 |     220    18700   130900 |    70203    64573     62 |  0.002 % |
116.02/116.18	c |    170305 |     220    18700   130900 | 2147483647    65022     62 |  0.002 % |
116.42/116.59	c |    170798 |     220    18700   130900 | 2147483647    65515     62 |  0.002 % |
116.82/116.97	c |    171341 |     220    18700   130900 | 2147483647    66058     62 |  0.002 % |
117.32/117.43	c |    171938 |     220    18700   130900 | 2147483647    66655     62 |  0.002 % |
117.72/117.89	c |    172593 |     220    18700   130900 | 2147483647    67310     62 |  0.002 % |
118.32/118.50	c |    173313 |     220    18700   130900 | 2147483647    68030     62 |  0.002 % |
119.01/119.15	c |    174105 |     220    18700   130900 | 2147483647    68822     62 |  0.002 % |
119.72/119.84	c |    174977 |     220    18700   130900 | 2147483647    69694     62 |  0.002 % |
120.41/120.52	c |    175935 |     220    18700   130900 | 2147483647    70652     62 |  0.002 % |
121.11/121.29	c |    176989 |     220    18700   130900 | 2147483647    71706     62 |  0.002 % |
122.02/122.12	c |    178149 |     220    18700   130900 | 2147483647    72866     62 |  0.002 % |
122.91/123.08	c |    179423 |     220    18700   130900 | 2147483647    74140     62 |  0.002 % |
124.01/124.15	c |    180824 |     220    18700   130900 | 2147483647    75541     62 |  0.002 % |
125.22/125.36	c |    182364 |     220    18700   130900 | 2147483647    77081     62 |  0.002 % |
126.51/126.66	c |    184059 |     220    18700   130900 | 2147483647    78776     62 |  0.002 % |
128.31/128.48	c |    185923 |     220    18700   130900 | 2147483647    80640     62 |  0.002 % |
128.41/128.57	c |    186024 |     220    18700   130900 | 2147483647    80741     62 |  0.002 % |
128.61/128.70	c |    186136 |     220    18700   130900 | 2147483647    80853     62 |  0.002 % |
128.71/128.84	c |    186257 |     220    18700   130900 | 2147483647    80974     62 |  0.002 % |
128.81/129.00	c |    186392 |     220    18700   130900 | 2147483647    81109     62 |  0.002 % |
129.01/129.14	c |    186538 |     220    18700   130900 | 2147483647    81255     62 |  0.002 % |
129.21/129.31	c |    186699 |     220    18700   130900 | 2147483647    81416     62 |  0.002 % |
129.31/129.50	c |    186878 |     220    18700   130900 | 2147483647    81595     62 |  0.002 % |
129.51/129.68	c |    187071 |     220    18700   130900 | 2147483647    81788     62 |  0.002 % |
129.81/129.91	c |    187283 |     220    18700   130900 | 2147483647    82000     62 |  0.002 % |
130.01/130.16	c |    187516 |     220    18700   130900 | 2147483647    82233     62 |  0.002 % |
130.31/130.43	c |    187772 |     220    18700   130900 | 2147483647    82489     62 |  0.002 % |
130.61/130.72	c |    188054 |     220    18700   130900 | 2147483647    82771     62 |  0.002 % |
130.91/131.04	c |    188364 |     220    18700   130900 | 2147483647    83081     62 |  0.002 % |
131.31/131.40	c |    188703 |     220    18700   130900 | 2147483647    83420     62 |  0.002 % |
131.61/131.74	c |    189075 |     220    18700   130900 | 2147483647    83792     62 |  0.002 % |
132.01/132.15	c |    189485 |     220    18700   130900 | 2147483647    84202     62 |  0.002 % |
132.42/132.58	c |    189935 |     220    18700   130900 | 2147483647    84652     62 |  0.002 % |
133.02/133.11	c |    190429 |     220    18700   130900 |    84717    73574     62 |  0.002 % |
133.42/133.57	c |    190972 |     220    18700   130900 |    84717    74117     62 |  0.002 % |
133.92/134.04	c |    191568 |     220    18700   130900 |    84717    74713     62 |  0.002 % |
134.62/134.72	c |    192223 |     220    18700   130900 |    84717    75368     62 |  0.002 % |
135.22/135.33	c |    192945 |     220    18700   130900 |    84717    76090     62 |  0.002 % |
135.81/135.97	c |    193738 |     220    18700   130900 |    84717    76883     62 |  0.002 % |
136.61/136.71	c |    194610 |     220    18700   130900 |    84717    77755     62 |  0.002 % |
137.32/137.45	c |    195568 |     220    18700   130900 |    84717    78713     62 |  0.002 % |
138.42/138.55	c |    196621 |     220    18700   130900 |    84717    79766     62 |  0.002 % |
139.62/139.71	c |    197779 |     220    18700   130900 |    84717    80924     62 |  0.002 % |
140.72/140.83	c |    199054 |     220    18700   130900 |    84717    82199     63 |  0.002 % |
142.11/142.24	c |    200454 |     220    18700   130900 |    83145    71910     63 |  0.002 % |
143.31/143.48	c |    201996 |     220    18700   130900 |    83145    73452     63 |  0.002 % |
144.71/144.88	c |    203690 |     220    18700   130900 |    83145    75146     63 |  0.002 % |
146.21/146.34	c |    205554 |     220    18700   130900 |    83145    77010     63 |  0.002 % |
148.01/148.18	c |    207604 |     220    18700   130900 |    83145    79060     63 |  0.002 % |
148.11/148.29	c |    207704 |     220    18700   130900 |    83145    79160     63 |  0.002 % |
148.21/148.38	c |    207815 |     220    18700   130900 |    83145    79271     63 |  0.002 % |
148.41/148.52	c |    207936 |     220    18700   130900 |    83145    79392     63 |  0.002 % |
148.51/148.67	c |    208069 |     220    18700   130900 |    83145    79525     63 |  0.002 % |
148.71/148.84	c |    208215 |     220    18700   130900 |    83145    79671     63 |  0.002 % |
148.91/149.00	c |    208375 |     220    18700   130900 |    83145    79831     63 |  0.002 % |
149.01/149.17	c |    208552 |     220    18700   130900 |    83145    80008     63 |  0.002 % |
149.31/149.41	c |    208746 |     220    18700   130900 |    83145    80202     63 |  0.002 % |
149.51/149.64	c |    208959 |     220    18700   130900 |    83145    80415     63 |  0.002 % |
149.71/149.87	c |    209196 |     220    18700   130900 |    83145    80652     63 |  0.002 % |
150.01/150.11	c |    209453 |     220    18700   130900 |    83145    80909     63 |  0.002 % |
150.21/150.35	c |    209736 |     220    18700   130900 |    83145    81192     63 |  0.002 % |
150.51/150.61	c |    210045 |     220    18700   130900 |    81457    81501     63 |  0.002 % |
150.91/151.02	c |    210385 |     220    18700   130900 |    81457    70839     63 |  0.002 % |
151.21/151.32	c |    210759 |     220    18700   130900 |    81457    71213     63 |  0.002 % |
151.51/151.66	c |    211169 |     220    18700   130900 |    81457    71623     63 |  0.002 % |
151.90/152.00	c |    211618 |     220    18700   130900 |    81457    72072     63 |  0.002 % |
152.20/152.38	c |    212114 |     220    18700   130900 |    81457    72568     63 |  0.002 % |
152.60/152.77	c |    212657 |     220    18700   130900 |    81457    73111     63 |  0.002 % |
153.10/153.24	c |    213253 |     220    18700   130900 |    81457    73707     63 |  0.002 % |
153.60/153.77	c |    213909 |     220    18700   130900 |    81457    74363     63 |  0.002 % |
154.20/154.33	c |    214629 |     220    18700   130900 |    81457    75083     63 |  0.002 % |
154.80/154.91	c |    215422 |     220    18700   130900 |    81457    75876     63 |  0.002 % |
155.41/155.54	c |    216293 |     220    18700   130900 |    81457    76747     63 |  0.002 % |
156.21/156.37	c |    217253 |     220    18700   130900 |    81457    77707     63 |  0.002 % |
157.00/157.18	c |    218306 |     220    18700   130900 |    81457    78760     63 |  0.002 % |
157.90/158.06	c |    219465 |     220    18700   130900 |    81457    79919     63 |  0.002 % |
159.00/159.11	c |    220739 |     220    18700   130900 |    80456    71705     63 |  0.002 % |
160.00/160.14	c |    222140 |     220    18700   130900 |    80456    73106     63 |  0.002 % |
161.10/161.27	c |    223680 |     220    18700   130900 |    80456    74646     63 |  0.002 % |
162.40/162.54	c |    225374 |     220    18700   130900 |    80456    76340     63 |  0.002 % |
163.81/163.99	c |    227238 |     220    18700   130900 |    80456    78204     63 |  0.002 % |
165.40/165.56	c |    229287 |     220    18700   130900 |    80456    80253     63 |  0.002 % |
167.10/167.26	c |    231540 |     220    18700   130900 |    72380    66263     63 |  0.002 % |
167.20/167.37	c |    231642 |     220    18700   130900 |    72380    66365     63 |  0.002 % |
167.30/167.47	c |    231752 |     220    18700   130900 |    72380    66475     63 |  0.002 % |
167.40/167.55	c |    231874 |     220    18700   130900 |    72380    66597     63 |  0.002 % |
167.50/167.67	c |    232007 |     220    18700   130900 |    72380    66730     63 |  0.002 % |
167.70/167.84	c |    232153 |     220    18700   130900 |    72380    66876     63 |  0.002 % |
167.80/167.97	c |    232313 |     220    18700   130900 |    72380    67036     63 |  0.002 % |
168.00/168.13	c |    232491 |     220    18700   130900 |    72380    67214     63 |  0.002 % |
168.10/168.30	c |    232684 |     220    18700   130900 |    72380    67407     63 |  0.002 % |
168.30/168.45	c |    232896 |     220    18700   130900 |    72380    67619     63 |  0.002 % |
168.50/168.62	c |    233130 |     220    18700   130900 |    72380    67853     63 |  0.002 % |
168.70/168.82	c |    233386 |     220    18700   130900 |    72380    68109     63 |  0.002 % |
168.90/169.04	c |    233667 |     220    18700   130900 |    72380    68390     63 |  0.002 % |
169.10/169.27	c |    233978 |     220    18700   130900 |    72380    68701     63 |  0.002 % |
169.40/169.52	c |    234317 |     220    18700   130900 |    72380    69040     63 |  0.002 % |
169.70/169.81	c |    234689 |     220    18700   130900 |    72380    69412     63 |  0.002 % |
170.00/170.11	c |    235102 |     220    18700   130900 |    72380    69825     63 |  0.002 % |
170.30/170.45	c |    235552 |     220    18700   130900 |    72380    70275     63 |  0.002 % |
170.70/170.88	c |    236045 |     220    18700   130900 |    72380    70768     63 |  0.002 % |
171.20/171.36	c |    236591 |     220    18700   130900 |    72380    71314     63 |  0.002 % |
171.70/171.86	c |    237189 |     220    18700   130900 |    72380    71912     63 |  0.002 % |
172.30/172.46	c |    237845 |     220    18700   130900 |    72380    65321     63 |  0.002 % |
172.80/172.97	c |    238565 |     220    18700   130900 |    72380    66041     63 |  0.002 % |
173.50/173.62	c |    239357 |     220    18700   130900 |    72380    66833     63 |  0.002 % |
174.20/174.34	c |    240228 |     220    18700   130900 | 2147483647    67704     63 |  0.002 % |
175.00/175.10	c |    241189 |     220    18700   130900 | 2147483647    68665     63 |  0.002 % |
175.70/175.90	c |    242242 |     220    18700   130900 | 2147483647    69718     63 |  0.002 % |
176.60/176.72	c |    243401 |     220    18700   130900 | 2147483647    70877     63 |  0.002 % |
177.50/177.65	c |    244674 |     220    18700   130900 | 2147483647    72150     63 |  0.002 % |
178.60/178.72	c |    246075 |     220    18700   130900 | 2147483647    73551     63 |  0.002 % |
179.89/180.04	c |    247618 |     220    18700   130900 | 2147483647    75094     63 |  0.002 % |
181.30/181.41	c |    249313 |     220    18700   130900 | 2147483647    76789     63 |  0.002 % |
182.69/182.82	c |    251180 |     220    18700   130900 | 2147483647    78656     63 |  0.002 % |
184.39/184.56	c |    253232 |     220    18700   130900 | 2147483647    80708     63 |  0.002 % |
186.19/186.40	c |    255485 |     220    18700   130900 | 2147483647    82961     63 |  0.002 % |
188.09/188.29	c |    257963 |     220    18700   130900 | 2147483647    85439     63 |  0.002 % |
188.19/188.39	c |    258065 |     220    18700   130900 | 2147483647    85541     63 |  0.002 % |
188.39/188.52	c |    258175 |     220    18700   130900 | 2147483647    85651     63 |  0.002 % |
188.49/188.64	c |    258296 |     220    18700   130900 | 2147483647    85772     63 |  0.002 % |
188.59/188.79	c |    258429 |     220    18700   130900 | 2147483647    85905     63 |  0.002 % |
188.79/188.97	c |    258579 |     220    18700   130900 | 2147483647    86055     63 |  0.002 % |
188.99/189.12	c |    258739 |     220    18700   130900 | 2147483647    86215     63 |  0.002 % |
189.19/189.31	c |    258915 |     220    18700   130900 | 2147483647    86391     63 |  0.002 % |
189.29/189.50	c |    259108 |     220    18700   130900 | 2147483647    86584     63 |  0.002 % |
189.59/189.70	c |    259321 |     220    18700   130900 | 2147483647    86797     63 |  0.002 % |
189.79/189.91	c |    259555 |     220    18700   130900 | 2147483647    87031     63 |  0.002 % |
190.09/190.22	c |    259812 |     220    18700   130900 | 2147483647    87288     63 |  0.002 % |
190.39/190.50	c |    260096 |     220    18700   130900 |    87478    87572     63 |  0.002 % |
190.68/190.87	c |    260406 |     220    18700   130900 |    87478    76214     62 |  0.002 % |
190.98/191.17	c |    260746 |     220    18700   130900 |    87478    76554     62 |  0.002 % |
191.38/191.52	c |    261119 |     220    18700   130900 |    87478    76927     62 |  0.002 % |
191.68/191.86	c |    261530 |     220    18700   130900 |    87478    77338     62 |  0.002 % |
192.18/192.32	c |    261979 |     220    18700   130900 |    87478    77787     62 |  0.002 % |
192.58/192.78	c |    262473 |     220    18700   130900 |    87478    78281     62 |  0.002 % |
193.08/193.26	c |    263017 |     220    18700   130900 |    87478    78825     62 |  0.002 % |
193.68/193.87	c |    263616 |     220    18700   130900 |    87478    79424     62 |  0.002 % |
194.28/194.46	c |    264271 |     220    18700   130900 |    87478    80079     62 |  0.002 % |
194.98/195.10	c |    264993 |     220    18700   130900 |    87478    80801     62 |  0.002 % |
195.59/195.75	c |    265787 |     220    18700   130900 |    87478    81595     62 |  0.002 % |
196.28/196.45	c |    266658 |     220    18700   130900 |    87478    82466     62 |  0.002 % |
197.08/197.21	c |    267617 |     220    18700   130900 |    87478    83425     62 |  0.002 % |
197.89/198.08	c |    268671 |     220    18700   130900 |    87478    84479     62 |  0.002 % |
198.89/199.09	c |    269829 |     220    18700   130900 |    87478    85637     62 |  0.002 % |
199.99/200.18	c |    271102 |     220    18700   130900 |    85809    74832     62 |  0.002 % |
201.09/201.25	c |    272504 |     220    18700   130900 |    85809    76234     62 |  0.002 % |
202.48/202.64	c |    274044 |     220    18700   130900 |    85809    77774     63 |  0.002 % |
203.98/204.20	c |    275738 |     220    18700   130900 |    85809    79468     63 |  0.002 % |
205.68/205.83	c |    277604 |     220    18700   130900 |    85809    81334     63 |  0.002 % |
207.48/207.68	c |    279654 |     220    18700   130900 |    85809    83384     63 |  0.002 % |
209.48/209.60	c |    281909 |     220    18700   130900 |    83731    73803     63 |  0.002 % |
211.38/211.58	c |    284387 |     220    18700   130900 |    83731    76281     63 |  0.002 % |
213.68/213.84	c |    287112 |     220    18700   130900 |    83731    79006     63 |  0.002 % |
213.78/213.93	c |    287214 |     220    18700   130900 |    83731    79108     63 |  0.002 % |
213.88/214.03	c |    287324 |     220    18700   130900 |    83731    79218     63 |  0.002 % |
213.98/214.14	c |    287445 |     220    18700   130900 |    83731    79339     63 |  0.002 % |
214.08/214.28	c |    287578 |     220    18700   130900 |    83731    79472     63 |  0.002 % |
214.28/214.46	c |    287726 |     220    18700   130900 |    83731    79620     63 |  0.002 % |
214.48/214.63	c |    287888 |     220    18700   130900 |    83731    79782     63 |  0.002 % |
214.68/214.83	c |    288064 |     220    18700   130900 |    83731    79958     63 |  0.002 % |
214.88/215.03	c |    288257 |     220    18700   130900 |    83731    80151     63 |  0.002 % |
215.08/215.25	c |    288469 |     220    18700   130900 |    83731    80363     63 |  0.002 % |
215.28/215.49	c |    288703 |     220    18700   130900 |    83731    80597     63 |  0.002 % |
215.58/215.76	c |    288960 |     220    18700   130900 |    83731    80854     63 |  0.002 % |
215.88/216.03	c |    289242 |     220    18700   130900 |    83731    81136     63 |  0.002 % |
216.08/216.29	c |    289551 |     220    18700   130900 |    83731    81445     63 |  0.002 % |
216.48/216.63	c |    289891 |     220    18700   130900 |    83731    81785     63 |  0.002 % |
216.88/217.01	c |    290263 |     220    18700   130900 |    81896    71613     62 |  0.002 % |
217.18/217.37	c |    290672 |     220    18700   130900 |    81896    72022     62 |  0.002 % |
217.58/217.74	c |    291122 |     220    18700   130900 |    81896    72472     62 |  0.002 % |
217.98/218.14	c |    291617 |     220    18700   130900 |    81896    72967     62 |  0.002 % |
218.38/218.59	c |    292161 |     220    18700   130900 |    81896    73511     62 |  0.002 % |
218.88/219.05	c |    292757 |     220    18700   130900 |    81896    74107     62 |  0.002 % |
219.38/219.56	c |    293413 |     220    18700   130900 |    81896    74763     62 |  0.002 % |
219.98/220.10	c |    294133 |     220    18700   130900 |    81896    75483     62 |  0.002 % |
220.58/220.71	c |    294925 |     220    18700   130900 |    81896    76275     63 |  0.002 % |
221.28/221.42	c |    295796 |     220    18700   130900 |    81896    77146     63 |  0.002 % |
222.08/222.21	c |    296754 |     220    18700   130900 |    81896    78104     62 |  0.002 % |
222.88/223.01	c |    297807 |     220    18700   130900 |    81896    79157     63 |  0.002 % |
223.87/224.00	c |    298967 |     220    18700   130900 |    81896    80317     63 |  0.002 % |
224.97/225.19	c |    300241 |     220    18700   130900 |    81351    71496     63 |  0.002 % |
226.17/226.32	c |    301641 |     220    18700   130900 |    81351    72896     63 |  0.002 % |
227.37/227.59	c |    303181 |     220    18700   130900 |    81351    74436     63 |  0.002 % |
228.77/228.90	c |    304876 |     220    18700   130900 |    81351    76131     63 |  0.002 % |
230.17/230.30	c |    306740 |     220    18700   130900 |    81351    77995     63 |  0.002 % |
231.77/231.98	c |    308789 |     220    18700   130900 |    81351    80044     63 |  0.002 % |
233.67/233.83	c |    311042 |     220    18700   130900 |    81255    73481     63 |  0.002 % |
235.87/236.05	c |    313521 |     220    18700   130900 |    81255    75960     63 |  0.002 % |
238.27/238.40	c |    316246 |     220    18700   130900 |    81255    78685     63 |  0.002 % |
240.87/241.04	c |    319244 |     220    18700   130900 |    81255    71976     63 |  0.002 % |
240.97/241.14	c |    319346 |     220    18700   130900 |    81255    72078     63 |  0.002 % |
241.07/241.25	c |    319456 |     220    18700   130900 |    81255    72188     63 |  0.002 % |
241.17/241.37	c |    319578 |     220    18700   130900 |    81255    72310     63 |  0.002 % |
241.37/241.50	c |    319711 |     220    18700   130900 |    81255    72443     63 |  0.002 % |
241.47/241.62	c |    319858 |     220    18700   130900 |    81255    72590     63 |  0.002 % |
241.57/241.75	c |    320019 |     220    18700   130900 |    72733    72751     63 |  0.002 % |
241.77/241.96	c |    320196 |     220    18700   130900 |    72733    64243     63 |  0.002 % |
241.97/242.12	c |    320390 |     220    18700   130900 |    72733    64437     63 |  0.002 % |
242.07/242.29	c |    320604 |     220    18700   130900 |    72733    64651     63 |  0.002 % |
242.27/242.48	c |    320838 |     220    18700   130900 |    72733    64885     63 |  0.002 % |
242.47/242.69	c |    321096 |     220    18700   130900 |    72733    65143     63 |  0.002 % |
242.77/242.94	c |    321379 |     220    18700   130900 |    72733    65426     63 |  0.002 % |
242.97/243.18	c |    321690 |     220    18700   130900 |    72733    65737     63 |  0.002 % |
243.27/243.47	c |    322029 |     220    18700   130900 |    72733    66076     63 |  0.002 % |
243.57/243.77	c |    322402 |     220    18700   130900 |    72733    66449     63 |  0.002 % |
243.97/244.10	c |    322811 |     220    18700   130900 |    72733    66858     63 |  0.002 % |
244.27/244.45	c |    323261 |     220    18700   130900 |    72733    67308     63 |  0.002 % |
244.57/244.80	c |    323755 |     220    18700   130900 |    72733    67802     63 |  0.002 % |
245.07/245.21	c |    324297 |     220    18700   130900 |    72733    68344     63 |  0.002 % |
245.47/245.66	c |    324894 |     220    18700   130900 |    72733    68941     63 |  0.002 % |
245.97/246.13	c |    325550 |     220    18700   130900 |    72733    69597     63 |  0.002 % |
246.57/246.73	c |    326270 |     220    18700   130900 |    72733    70317     63 |  0.002 % |
247.16/247.35	c |    327062 |     220    18700   130900 |    72733    71109     63 |  0.002 % |
247.96/248.10	c |    327935 |     220    18700   130900 |    72733    71982     63 |  0.002 % |
248.76/248.92	c |    328894 |     220    18700   130900 |    72733    65553     63 |  0.002 % |
249.47/249.67	c |    329948 |     220    18700   130900 |    72733    66607     63 |  0.002 % |
250.26/250.45	c |    331107 |     220    18700   130900 | 2147483647    67766     63 |  0.002 % |
251.16/251.34	c |    332381 |     220    18700   130900 | 2147483647    69040     63 |  0.002 % |
252.16/252.36	c |    333782 |     220    18700   130900 | 2147483647    70441     63 |  0.002 % |
253.26/253.49	c |    335323 |     220    18700   130900 | 2147483647    71982     63 |  0.002 % |
254.56/254.73	c |    337018 |     220    18700   130900 | 2147483647    73677     63 |  0.002 % |
256.07/256.29	c |    338881 |     220    18700   130900 | 2147483647    75540     63 |  0.002 % |
257.76/257.94	c |    340930 |     220    18700   130900 | 2147483647    77589     63 |  0.002 % |
259.56/259.73	c |    343183 |     220    18700   130900 | 2147483647    79842     63 |  0.002 % |
261.56/261.74	c |    345661 |     220    18700   130900 | 2147483647    82320     63 |  0.002 % |
263.76/263.95	c |    348386 |     220    18700   130900 | 2147483647    85045     63 |  0.002 % |
266.46/266.61	c |    351383 |     220    18700   130900 |    86660    76726     63 |  0.002 % |
269.16/269.34	c |    354681 |     220    18700   130900 |    86660    80024     63 |  0.002 % |
269.26/269.43	c |    354782 |     220    18700   130900 |    86660    80125     63 |  0.002 % |
269.36/269.53	c |    354893 |     220    18700   130900 |    86660    80236     63 |  0.002 % |
269.46/269.65	c |    355014 |     220    18700   130900 |    86660    80357     63 |  0.002 % |
269.66/269.81	c |    355147 |     220    18700   130900 |    86660    80490     63 |  0.002 % |
269.76/269.96	c |    355296 |     220    18700   130900 |    86660    80639     63 |  0.002 % |
269.95/270.11	c |    355456 |     220    18700   130900 |    86660    80799     63 |  0.002 % |
270.05/270.27	c |    355634 |     220    18700   130900 |    86660    80977     63 |  0.002 % |
270.25/270.43	c |    355827 |     220    18700   130900 |    86660    81170     63 |  0.002 % |
270.46/270.61	c |    356039 |     220    18700   130900 |    86660    81382     63 |  0.002 % |
270.65/270.86	c |    356273 |     220    18700   130900 |    86660    81616     63 |  0.002 % |
270.85/271.09	c |    356529 |     220    18700   130900 |    86660    81872     63 |  0.002 % |
271.25/271.41	c |    356811 |     220    18700   130900 |    86660    82154     63 |  0.002 % |
271.56/271.71	c |    357122 |     220    18700   130900 |    86660    82465     63 |  0.002 % |
271.85/272.01	c |    357461 |     220    18700   130900 |    86660    82804     63 |  0.002 % |
272.15/272.36	c |    357835 |     220    18700   130900 |    86660    83178     63 |  0.002 % |
272.56/272.74	c |    358244 |     220    18700   130900 |    86660    83587     63 |  0.002 % |
272.95/273.17	c |    358693 |     220    18700   130900 |    86660    84036     63 |  0.002 % |
273.35/273.59	c |    359186 |     220    18700   130900 |    86660    84529     63 |  0.002 % |
273.95/274.13	c |    359729 |     220    18700   130900 |    86660    85072     63 |  0.002 % |
274.55/274.72	c |    360326 |     220    18700   130900 |    85343    73713     63 |  0.002 % |
275.05/275.22	c |    360982 |     220    18700   130900 |    85343    74369     63 |  0.002 % |
275.55/275.77	c |    361705 |     220    18700   130900 |    85343    75092     63 |  0.002 % |
276.15/276.34	c |    362498 |     220    18700   130900 |    85343    75885     63 |  0.002 % |
276.75/276.99	c |    363369 |     220    18700   130900 |    85343    76756     63 |  0.002 % |
277.65/277.80	c |    364328 |     220    18700   130900 |    85343    77715     63 |  0.002 % |
278.45/278.63	c |    365381 |     220    18700   130900 |    85343    78768     63 |  0.002 % |
279.25/279.47	c |    366540 |     220    18700   130900 |    85343    79927     63 |  0.002 % |
280.45/280.61	c |    367814 |     220    18700   130900 |    85343    81201     63 |  0.002 % |
281.65/281.83	c |    369215 |     220    18700   130900 |    85343    82602     63 |  0.002 % |
283.16/283.30	c |    370755 |     220    18700   130900 |    83387    73112     63 |  0.002 % |
284.36/284.53	c |    372453 |     220    18700   130900 |    83387    74810     63 |  0.002 % |
285.76/285.97	c |    374317 |     220    18700   130900 |    83387    76674     63 |  0.002 % |
287.46/287.64	c |    376366 |     220    18700   130900 |    83387    78723     63 |  0.002 % |
289.26/289.43	c |    378619 |     220    18700   130900 |    83387    80976     63 |  0.002 % |
291.16/291.34	c |    381097 |     220    18700   130900 |    82359    73693     63 |  0.002 % |
293.36/293.53	c |    383824 |     220    18700   130900 |    82359    76420     63 |  0.002 % |
295.66/295.89	c |    386821 |     220    18700   130900 |    82359    79417     63 |  0.002 % |
298.55/298.72	c |    390118 |     220    18700   130900 |    72937    64624     63 |  0.002 % |
300.85/301.09	c |    393745 |     220    18700   130900 |    72937    68251     63 |  0.002 % |
300.95/301.17	c |    393846 |     220    18700   130900 |    72937    68352     63 |  0.002 % |
301.05/301.25	c |    393957 |     220    18700   130900 |    72937    68463     63 |  0.002 % |
301.16/301.35	c |    394078 |     220    18700   130900 |    72937    68584     63 |  0.002 % |
301.26/301.48	c |    394211 |     220    18700   130900 |    72937    68717     63 |  0.002 % |
301.45/301.62	c |    394357 |     220    18700   130900 |    72937    68863     63 |  0.002 % |
301.55/301.76	c |    394518 |     220    18700   130900 |    72937    69024     63 |  0.002 % |
301.75/301.94	c |    394694 |     220    18700   130900 |    72937    69200     63 |  0.002 % |
301.95/302.10	c |    394890 |     220    18700   130900 |    72937    69396     63 |  0.002 % |
302.05/302.29	c |    395102 |     220    18700   130900 |    72937    69608     63 |  0.002 % |
302.25/302.49	c |    395336 |     220    18700   130900 |    72937    69842     63 |  0.002 % |
302.55/302.71	c |    395592 |     220    18700   130900 |    72937    70098     63 |  0.002 % |
302.75/302.97	c |    395876 |     220    18700   130900 |    72937    70382     63 |  0.002 % |
303.05/303.23	c |    396186 |     220    18700   130900 |    72937    70692     63 |  0.002 % |
303.35/303.53	c |    396527 |     220    18700   130900 |    72937    71033     63 |  0.002 % |
303.65/303.87	c |    396899 |     220    18700   130900 |    72937    71405     63 |  0.002 % |
304.05/304.22	c |    397308 |     220    18700   130900 |    72937    71814     63 |  0.002 % |
304.45/304.61	c |    397759 |     220    18700   130900 |    72937    72265     63 |  0.002 % |
304.75/304.99	c |    398255 |     220    18700   130900 |    72937    72761     63 |  0.002 % |
305.25/305.43	c |    398799 |     220    18700   130900 |    72937    66002     63 |  0.002 % |
305.65/305.86	c |    399395 |     220    18700   130900 |    72937    66598     63 |  0.002 % |
306.15/306.33	c |    400050 |     220    18700   130900 | 2147483647    67253     63 |  0.002 % |
306.65/306.88	c |    400774 |     220    18700   130900 | 2147483647    67977     63 |  0.002 % |
307.25/307.46	c |    401566 |     220    18700   130900 | 2147483647    68769     63 |  0.002 % |
307.95/308.17	c |    402437 |     220    18700   130900 | 2147483647    69640     63 |  0.002 % |
308.65/308.89	c |    403396 |     220    18700   130900 | 2147483647    70599     63 |  0.002 % |
309.45/309.68	c |    404449 |     220    18700   130900 | 2147483647    71652     63 |  0.002 % |
310.35/310.56	c |    405607 |     220    18700   130900 | 2147483647    72810     63 |  0.002 % |
311.34/311.56	c |    406880 |     220    18700   130900 | 2147483647    74083     63 |  0.002 % |
312.44/312.63	c |    408280 |     220    18700   130900 | 2147483647    75483     63 |  0.002 % |
313.54/313.73	c |    409820 |     220    18700   130900 | 2147483647    77023     63 |  0.002 % |
314.74/314.96	c |    411515 |     220    18700   130900 | 2147483647    78718     63 |  0.002 % |
316.34/316.52	c |    413379 |     220    18700   130900 | 2147483647    80582     63 |  0.002 % |
318.04/318.28	c |    415428 |     220    18700   130900 | 2147483647    82631     63 |  0.002 % |
319.95/320.10	c |    417682 |     220    18700   130900 | 2147483647    84885     63 |  0.002 % |
322.04/322.28	c |    420162 |     220    18700   130900 |    87204    76367     63 |  0.002 % |
324.24/324.49	c |    422889 |     220    18700   130900 |    87204    79094     63 |  0.002 % |
326.94/327.18	c |    425886 |     220    18700   130900 |    87204    82091     63 |  0.002 % |
329.74/329.96	c |    429182 |     220    18700   130900 |    87204    85387     63 |  0.002 % |
332.64/332.84	c |    432808 |     220    18700   130900 |    86206    77026     63 |  0.002 % |
335.54/335.73	c |    436795 |     220    18700   130900 |    86206    81013     63 |  0.002 % |
335.64/335.80	c |    436895 |     220    18700   130900 |    86206    81113     63 |  0.002 % |
335.64/335.89	c |    437007 |     220    18700   130900 |    86206    81225     63 |  0.002 % |
335.84/336.03	c |    437128 |     220    18700   130900 |    86206    81346     62 |  0.002 % |
335.94/336.17	c |    437261 |     220    18700   130900 |    86206    81479     62 |  0.002 % |
336.13/336.32	c |    437407 |     220    18700   130900 |    86206    81625     62 |  0.002 % |
336.23/336.48	c |    437567 |     220    18700   130900 |    86206    81785     62 |  0.002 % |
336.44/336.67	c |    437743 |     220    18700   130900 |    86206    81961     62 |  0.002 % |
336.63/336.88	c |    437937 |     220    18700   130900 |    86206    82155     62 |  0.002 % |
336.83/337.09	c |    438150 |     220    18700   130900 |    86206    82368     63 |  0.002 % |
337.13/337.32	c |    438383 |     220    18700   130900 |    86206    82601     63 |  0.002 % |
337.33/337.56	c |    438640 |     220    18700   130900 |    86206    82858     63 |  0.002 % |
337.63/337.89	c |    438921 |     220    18700   130900 |    86206    83139     63 |  0.002 % |
337.93/338.18	c |    439230 |     220    18700   130900 |    86206    83448     63 |  0.002 % |
338.23/338.49	c |    439569 |     220    18700   130900 |    86206    83787     63 |  0.002 % |
338.73/338.94	c |    439943 |     220    18700   130900 |    86206    84161     63 |  0.002 % |
339.13/339.34	c |    440352 |     220    18700   130900 |    84218    73744     63 |  0.002 % |
339.53/339.70	c |    440803 |     220    18700   130900 |    84218    74195     63 |  0.002 % |
339.93/340.11	c |    441296 |     220    18700   130900 |    84218    74688     63 |  0.002 % |
340.33/340.58	c |    441838 |     220    18700   130900 |    84218    75230     63 |  0.002 % |
340.84/341.07	c |    442435 |     220    18700   130900 |    84218    75827     63 |  0.002 % |
341.43/341.60	c |    443090 |     220    18700   130900 |    84218    76482     63 |  0.002 % |
342.03/342.28	c |    443812 |     220    18700   130900 |    84218    77204     63 |  0.002 % |
342.73/342.98	c |    444604 |     220    18700   130900 |    84218    77996     63 |  0.002 % |
343.53/343.72	c |    445475 |     220    18700   130900 |    84218    78867     63 |  0.002 % |
344.43/344.65	c |    446433 |     220    18700   130900 |    84218    79825     63 |  0.002 % |
345.33/345.55	c |    447486 |     220    18700   130900 |    84218    80878     63 |  0.002 % |
346.33/346.56	c |    448645 |     220    18700   130900 |    84218    82037     63 |  0.002 % |
347.43/347.60	c |    449918 |     220    18700   130900 |    84218    83310     63 |  0.002 % |
348.43/348.68	c |    451318 |     220    18700   130900 |    83392    73611     62 |  0.002 % |
349.53/349.76	c |    452859 |     220    18700   130900 |    83392    75152     63 |  0.002 % |
350.73/350.95	c |    454553 |     220    18700   130900 |    83392    76846     63 |  0.002 % |
352.33/352.58	c |    456419 |     220    18700   130900 |    83392    78712     63 |  0.002 % |
354.03/354.24	c |    458468 |     220    18700   130900 |    83392    80761     63 |  0.002 % |
355.82/356.03	c |    460721 |     220    18700   130900 |    82293    72757     62 |  0.002 % |
357.72/357.92	c |    463200 |     220    18700   130900 |    82293    75236     63 |  0.002 % |
359.92/360.11	c |    465925 |     220    18700   130900 |    82293    77961     63 |  0.002 % |
362.12/362.38	c |    468925 |     220    18700   130900 |    82293    80961     63 |  0.002 % |
364.62/364.83	c |    472221 |     220    18700   130900 |    82036    75084     63 |  0.002 % |
367.32/367.50	c |    475846 |     220    18700   130900 |    82036    78709     63 |  0.002 % |
370.42/370.61	c |    479833 |     220    18700   130900 |    82036    74054     63 |  0.002 % |
373.32/373.54	c |    484219 |     220    18700   130900 |    74222    70730     63 |  0.002 % |
373.42/373.62	c |    484322 |     220    18700   130900 |    74222    70833     63 |  0.002 % |
373.52/373.71	c |    484432 |     220    18700   130900 |    74222    70943     63 |  0.002 % |
373.52/373.79	c |    484554 |     220    18700   130900 |    74222    71065     63 |  0.002 % |
373.72/373.92	c |    484689 |     220    18700   130900 |    74222    71200     63 |  0.002 % |
373.82/374.04	c |    484835 |     220    18700   130900 |    74222    71346     63 |  0.002 % |
373.92/374.18	c |    484995 |     220    18700   130900 |    74222    71506     63 |  0.002 % |
374.12/374.33	c |    485171 |     220    18700   130900 |    74222    71682     63 |  0.002 % |
374.22/374.48	c |    485365 |     220    18700   130900 |    74222    71876     63 |  0.002 % |
374.42/374.68	c |    485577 |     220    18700   130900 |    74222    72088     63 |  0.002 % |
374.72/374.91	c |    485810 |     220    18700   130900 |    74222    72321     63 |  0.002 % |
374.92/375.13	c |    486067 |     220    18700   130900 |    74222    72578     63 |  0.002 % |
375.12/375.38	c |    486348 |     220    18700   130900 |    74222    72859     63 |  0.002 % |
375.42/375.63	c |    486657 |     220    18700   130900 |    74222    73168     63 |  0.002 % |
375.72/375.90	c |    486996 |     220    18700   130900 |    74222    73507     63 |  0.002 % |
376.02/376.24	c |    487370 |     220    18700   130900 |    74222    73881     63 |  0.002 % |
376.32/376.59	c |    487779 |     220    18700   130900 |    74222    74290     63 |  0.002 % |
376.72/376.99	c |    488228 |     220    18700   130900 |    74222    67310     63 |  0.002 % |
377.12/377.33	c |    488721 |     220    18700   130900 |    74222    67803     63 |  0.002 % |
377.51/377.72	c |    489263 |     220    18700   130900 |    74222    68345     63 |  0.002 % |
377.91/378.15	c |    489859 |     220    18700   130900 |    74222    68941     63 |  0.002 % |
378.31/378.58	c |    490514 |     220    18700   130900 | 2147483647    69596     63 |  0.002 % |
378.91/379.10	c |    491234 |     220    18700   130900 | 2147483647    70316     63 |  0.002 % |
379.51/379.72	c |    492027 |     220    18700   130900 | 2147483647    71109     63 |  0.002 % |
380.21/380.43	c |    492899 |     220    18700   130900 | 2147483647    71981     63 |  0.002 % |
380.91/381.15	c |    493857 |     220    18700   130900 | 2147483647    72939     63 |  0.002 % |
381.71/381.99	c |    494910 |     220    18700   130900 | 2147483647    73992     63 |  0.002 % |
382.71/382.96	c |    496069 |     220    18700   130900 | 2147483647    75151     63 |  0.002 % |
383.71/383.97	c |    497345 |     220    18700   130900 | 2147483647    76427     63 |  0.002 % |
384.81/385.03	c |    498746 |     220    18700   130900 | 2147483647    77828     63 |  0.002 % |
386.01/386.28	c |    500286 |     220    18700   130900 |    79082    71330     63 |  0.002 % |
387.31/387.56	c |    501980 |     220    18700   130900 |    79082    73024     63 |  0.002 % |
388.81/389.01	c |    503843 |     220    18700   130900 |    79082    74887     63 |  0.002 % |
390.31/390.54	c |    505894 |     220    18700   130900 |    79082    76938     63 |  0.002 % |
392.01/392.26	c |    508147 |     220    18700   130900 |    79082    71273     63 |  0.002 % |
393.81/394.08	c |    510626 |     220    18700   130900 | 2147483647    73752     63 |  0.002 % |
395.81/396.02	c |    513352 |     220    18700   130900 | 2147483647    76478     63 |  0.002 % |
398.11/398.32	c |    516349 |     220    18700   130900 | 2147483647    79475     63 |  0.002 % |
400.90/401.18	c |    519647 |     220    18700   130900 | 2147483647    82773     63 |  0.002 % |
404.10/404.36	c |    523273 |     220    18700   130900 |    83127    77612     63 |  0.002 % |
407.70/407.95	c |    527260 |     220    18700   130900 |    83127    81599     63 |  0.002 % |
411.20/411.44	c |    531646 |     220    18700   130900 |    73879    66520     63 |  0.002 % |
414.50/414.79	c |    536470 |     220    18700   130900 |    73879    71344     63 |  0.002 % |
414.60/414.87	c |    536570 |     220    18700   130900 |    73879    71444     63 |  0.002 % |
414.70/414.97	c |    536680 |     220    18700   130900 |    73879    71554     63 |  0.002 % |
414.80/415.07	c |    536804 |     220    18700   130900 |    73879    71678     63 |  0.002 % |
414.90/415.18	c |    536939 |     220    18700   130900 |    73879    71813     63 |  0.002 % |
415.00/415.29	c |    537086 |     220    18700   130900 |    73879    71960     63 |  0.002 % |
415.20/415.44	c |    537246 |     220    18700   130900 |    73879    72120     63 |  0.002 % |
415.40/415.60	c |    537423 |     220    18700   130900 |    73879    72297     63 |  0.002 % |
415.50/415.76	c |    537618 |     220    18700   130900 |    73879    72492     63 |  0.002 % |
415.70/415.96	c |    537830 |     220    18700   130900 |    73879    72704     63 |  0.002 % |
415.90/416.17	c |    538063 |     220    18700   130900 |    73879    72937     63 |  0.002 % |
416.10/416.38	c |    538320 |     220    18700   130900 |    73879    73194     63 |  0.002 % |
416.30/416.60	c |    538601 |     220    18700   130900 |    73879    73475     63 |  0.002 % |
416.60/416.87	c |    538912 |     220    18700   130900 |    73879    73786     63 |  0.002 % |
417.00/417.20	c |    539251 |     220    18700   130900 |    73879    66728     63 |  0.002 % |
417.20/417.50	c |    539623 |     220    18700   130900 |    73879    67100     63 |  0.002 % |
417.60/417.82	c |    540034 |     220    18700   130900 | 2147483647    67511     63 |  0.002 % |
417.90/418.20	c |    540485 |     220    18700   130900 | 2147483647    67962     63 |  0.002 % |
418.30/418.55	c |    540979 |     220    18700   130900 | 2147483647    68456     63 |  0.002 % |
418.70/418.97	c |    541521 |     220    18700   130900 | 2147483647    68998     63 |  0.002 % |
419.20/419.43	c |    542117 |     220    18700   130900 | 2147483647    69594     63 |  0.002 % |
419.70/419.91	c |    542772 |     220    18700   130900 | 2147483647    70249     63 |  0.002 % |
420.20/420.44	c |    543493 |     220    18700   130900 | 2147483647    70970     63 |  0.002 % |
420.80/421.02	c |    544286 |     220    18700   130900 | 2147483647    71763     63 |  0.002 % |
421.40/421.66	c |    545158 |     220    18700   130900 | 2147483647    72635     63 |  0.002 % |
422.10/422.33	c |    546119 |     220    18700   130900 | 2147483647    73596     63 |  0.002 % |
422.79/423.07	c |    547173 |     220    18700   130900 | 2147483647    74650     63 |  0.002 % |
423.79/424.01	c |    548331 |     220    18700   130900 | 2147483647    75808     63 |  0.002 % |
424.69/424.98	c |    549606 |     220    18700   130900 | 2147483647    77083     63 |  0.002 % |
425.79/426.09	c |    551007 |     220    18700   130900 | 2147483647    78484     64 |  0.002 % |
427.19/427.47	c |    552548 |     220    18700   130900 | 2147483647    80025     64 |  0.002 % |
428.89/429.10	c |    554242 |     220    18700   130900 | 2147483647    81719     63 |  0.002 % |
430.49/430.79	c |    556105 |     220    18700   130900 | 2147483647    83582     63 |  0.002 % |
432.49/432.72	c |    558154 |     220    18700   130900 | 2147483647    85631     63 |  0.002 % |
434.50/434.75	c |    560407 |     220    18700   130900 |    87477    76091     63 |  0.002 % |
436.40/436.64	c |    562887 |     220    18700   130900 |    87477    78571     63 |  0.002 % |
438.60/438.83	c |    565613 |     220    18700   130900 |    87477    81297     63 |  0.002 % |
441.10/441.35	c |    568610 |     220    18700   130900 |    87477    84294     63 |  0.002 % |
443.80/444.07	c |    571908 |     220    18700   130900 |    85685    76630     64 |  0.002 % |
446.90/447.15	c |    575536 |     220    18700   130900 |    85685    80258     64 |  0.002 % |
450.30/450.59	c |    579526 |     220    18700   130900 |    85685    84248     64 |  0.002 % |
453.89/454.19	c |    583913 |     220    18700   130900 |    84723    77482     64 |  0.002 % |
457.49/457.79	c |    588737 |     220    18700   130900 |    84723    82306     64 |  0.002 % |
461.89/462.10	c |    594042 |     220    18700   130900 |    83570    77659     64 |  0.002 % |
461.99/462.21	c |    594143 |     220    18700   130900 |    83570    77760     64 |  0.002 % |
462.09/462.31	c |    594253 |     220    18700   130900 |    83570    77870     64 |  0.002 % |
462.19/462.43	c |    594374 |     220    18700   130900 |    83570    77991     64 |  0.002 % |
462.29/462.53	c |    594507 |     220    18700   130900 |    83570    78124     64 |  0.002 % |
462.39/462.68	c |    594654 |     220    18700   130900 |    83570    78271     64 |  0.002 % |
462.59/462.85	c |    594814 |     220    18700   130900 |    83570    78431     64 |  0.002 % |
462.79/463.01	c |    594991 |     220    18700   130900 |    83570    78608     64 |  0.002 % |
462.99/463.20	c |    595184 |     220    18700   130900 |    83570    78801     64 |  0.002 % |
463.19/463.40	c |    595397 |     220    18700   130900 |    83570    79014     64 |  0.002 % |
463.39/463.63	c |    595632 |     220    18700   130900 |    83570    79249     64 |  0.002 % |
463.59/463.85	c |    595889 |     220    18700   130900 |    83570    79506     64 |  0.002 % |
463.79/464.06	c |    596171 |     220    18700   130900 |    83570    79788     64 |  0.002 % |
463.99/464.30	c |    596481 |     220    18700   130900 |    83570    80098     64 |  0.002 % |
464.39/464.61	c |    596821 |     220    18700   130900 |    83570    80438     64 |  0.002 % |
464.69/464.95	c |    597193 |     220    18700   130900 |    83570    80810     64 |  0.002 % |
465.09/465.33	c |    597603 |     220    18700   130900 |    83570    81220     64 |  0.002 % |
465.49/465.74	c |    598054 |     220    18700   130900 |    83570    81671     64 |  0.002 % |
465.99/466.23	c |    598547 |     220    18700   130900 |    83570    82164     64 |  0.002 % |
466.49/466.77	c |    599089 |     220    18700   130900 |    83570    82706     64 |  0.002 % |
467.09/467.38	c |    599685 |     220    18700   130900 |    83570    83302     64 |  0.002 % |
467.79/468.05	c |    600340 |     220    18700   130900 |    83617    72806     64 |  0.002 % |
468.39/468.62	c |    601062 |     220    18700   130900 |    83617    73528     64 |  0.002 % |
468.99/469.29	c |    601854 |     220    18700   130900 |    83617    74320     64 |  0.002 % |
469.79/470.03	c |    602726 |     220    18700   130900 |    83617    75192     64 |  0.002 % |
470.59/470.88	c |    603685 |     220    18700   130900 |    83617    76151     64 |  0.002 % |
471.49/471.75	c |    604738 |     220    18700   130900 |    83617    77204     64 |  0.002 % |
472.39/472.63	c |    605898 |     220    18700   130900 |    83617    78364     64 |  0.002 % |
473.28/473.58	c |    607172 |     220    18700   130900 |    83617    79638     64 |  0.002 % |
474.48/474.71	c |    608572 |     220    18700   130900 |    83617    81038     64 |  0.002 % |
475.99/476.29	c |    610113 |     220    18700   130900 |    82468    71734     64 |  0.002 % |
477.38/477.61	c |    611808 |     220    18700   130900 |    82468    73429     64 |  0.002 % |
478.78/479.05	c |    613671 |     220    18700   130900 |    82468    75292     63 |  0.002 % |
480.39/480.65	c |    615722 |     220    18700   130900 |    82468    77343     64 |  0.002 % |
482.18/482.47	c |    617975 |     220    18700   130900 |    82468    79596     64 |  0.002 % |
484.28/484.59	c |    620455 |     220    18700   130900 |    81622    72140     63 |  0.002 % |
486.38/486.68	c |    623181 |     220    18700   130900 |    81622    74866     63 |  0.002 % |
488.68/488.93	c |    626179 |     220    18700   130900 |    81622    77864     63 |  0.002 % |
491.18/491.42	c |    629478 |     220    18700   130900 |    81622    81163     64 |  0.002 % |
493.88/494.12	c |    633103 |     220    18700   130900 |    81685    75828     64 |  0.002 % |
496.98/497.29	c |    637090 |     220    18700   130900 |    81685    79815     64 |  0.002 % |
500.67/500.96	c |    641476 |     220    18700   130900 |    73514    66743     64 |  0.002 % |
503.97/504.21	c |    646300 |     220    18700   130900 |    73514    71567     64 |  0.002 % |
507.88/508.12	c |    651607 |     220    18700   130900 | 2147483647    69513     64 |  0.002 % |
512.07/512.37	c |    657443 |     220    18700   130900 | 2147483647    75349     64 |  0.002 % |
512.17/512.46	c |    657544 |     220    18700   130900 | 2147483647    75450     64 |  0.002 % |
512.27/512.59	c |    657655 |     220    18700   130900 | 2147483647    75561     64 |  0.002 % |
512.47/512.72	c |    657776 |     220    18700   130900 | 2147483647    75682     64 |  0.002 % |
512.57/512.85	c |    657910 |     220    18700   130900 | 2147483647    75816     64 |  0.002 % |
512.67/512.98	c |    658056 |     220    18700   130900 | 2147483647    75962     64 |  0.002 % |
512.87/513.16	c |    658217 |     220    18700   130900 | 2147483647    76123     64 |  0.002 % |
513.07/513.32	c |    658393 |     220    18700   130900 | 2147483647    76299     64 |  0.002 % |
513.27/513.51	c |    658586 |     220    18700   130900 | 2147483647    76492     64 |  0.002 % |
513.47/513.70	c |    658799 |     220    18700   130900 | 2147483647    76705     64 |  0.002 % |
513.57/513.89	c |    659034 |     220    18700   130900 | 2147483647    76940     63 |  0.002 % |
513.87/514.13	c |    659294 |     220    18700   130900 | 2147483647    77200     63 |  0.002 % |
514.07/514.37	c |    659575 |     220    18700   130900 | 2147483647    77481     63 |  0.002 % |
514.37/514.66	c |    659884 |     220    18700   130900 | 2147483647    77790     63 |  0.002 % |
514.67/514.97	c |    660224 |     220    18700   130900 | 2147483647    78130     63 |  0.002 % |
514.97/515.28	c |    660596 |     220    18700   130900 | 2147483647    78502     63 |  0.002 % |
515.37/515.68	c |    661006 |     220    18700   130900 | 2147483647    78912     63 |  0.002 % |
515.77/516.09	c |    661455 |     220    18700   130900 | 2147483647    79361     63 |  0.002 % |
516.27/516.55	c |    661948 |     220    18700   130900 | 2147483647    79854     63 |  0.002 % |
516.77/517.02	c |    662493 |     220    18700   130900 | 2147483647    80399     63 |  0.002 % |
517.27/517.54	c |    663089 |     220    18700   130900 | 2147483647    80995     63 |  0.002 % |
517.87/518.19	c |    663744 |     220    18700   130900 | 2147483647    81650     63 |  0.002 % |
518.57/518.87	c |    664465 |     220    18700   130900 | 2147483647    82371     63 |  0.002 % |
519.27/519.58	c |    665257 |     220    18700   130900 | 2147483647    83163     63 |  0.002 % |
520.07/520.39	c |    666128 |     220    18700   130900 | 2147483647    84034     63 |  0.002 % |
520.86/521.14	c |    667087 |     220    18700   130900 | 2147483647    84993     63 |  0.002 % |
521.96/522.26	c |    668140 |     220    18700   130900 | 2147483647    86046     63 |  0.002 % |
523.16/523.44	c |    669298 |     220    18700   130900 | 2147483647    87204     63 |  0.002 % |
524.37/524.64	c |    670571 |     220    18700   130900 |    87908    75729     63 |  0.002 % |
525.57/525.80	c |    671972 |     220    18700   130900 |    87908    77130     63 |  0.002 % |
526.76/527.07	c |    673513 |     220    18700   130900 |    87908    78671     63 |  0.002 % |
528.26/528.52	c |    675209 |     220    18700   130900 |    87908    80367     63 |  0.002 % |
529.87/530.19	c |    677074 |     220    18700   130900 |    87908    82232     63 |  0.002 % |
531.86/532.14	c |    679123 |     220    18700   130900 |    87908    84281     63 |  0.002 % |
533.76/534.02	c |    681378 |     220    18700   130900 |    85158    74232     63 |  0.002 % |
535.56/535.85	c |    683856 |     220    18700   130900 |    85158    76710     63 |  0.002 % |
537.76/538.05	c |    686581 |     220    18700   130900 |    85158    79435     63 |  0.002 % |
540.46/540.76	c |    689578 |     220    18700   130900 |    85158    82432     63 |  0.002 % |
543.36/543.64	c |    692875 |     220    18700   130900 |    82854    74910     63 |  0.002 % |
546.16/546.46	c |    696500 |     220    18700   130900 |    82854    78535     63 |  0.002 % |
549.66/549.93	c |    700489 |     220    18700   130900 |    82035    72328     63 |  0.002 % |
553.35/553.62	c |    704875 |     220    18700   130900 |    82035    76714     64 |  0.002 % |
557.46/557.77	c |    709699 |     220    18700   130900 |    82035    81538     64 |  0.002 % |
562.05/562.33	c |    715005 |     220    18700   130900 |    81839    76931     64 |  0.002 % |
567.15/567.44	c |    720841 |     220    18700   130900 |    81926    71992     63 |  0.002 % |
572.45/572.77	c |    727260 |     220    18700   130900 |    81926    78411     63 |  0.002 % |
572.55/572.87	c |    727362 |     220    18700   130900 |    81926    78513     63 |  0.002 % |
572.65/572.97	c |    727472 |     220    18700   130900 |    81926    78623     63 |  0.002 % |
572.75/573.08	c |    727593 |     220    18700   130900 |    81926    78744     63 |  0.002 % |
572.95/573.25	c |    727726 |     220    18700   130900 |    81926    78877     63 |  0.002 % |
573.15/573.42	c |    727873 |     220    18700   130900 |    81926    79024     63 |  0.002 % |
573.25/573.59	c |    728033 |     220    18700   130900 |    81926    79184     63 |  0.002 % |
573.45/573.79	c |    728209 |     220    18700   130900 |    81926    79360     63 |  0.002 % |
573.65/573.99	c |    728404 |     220    18700   130900 |    81926    79555     63 |  0.002 % |
573.95/574.22	c |    728621 |     220    18700   130900 |    81926    79772     63 |  0.002 % |
574.15/574.41	c |    728854 |     220    18700   130900 |    81926    80005     63 |  0.002 % |
574.35/574.64	c |    729111 |     220    18700   130900 |    81926    80262     63 |  0.002 % |
574.55/574.89	c |    729392 |     220    18700   130900 |    81926    80543     63 |  0.002 % |
574.85/575.18	c |    729702 |     220    18700   130900 |    81926    80853     63 |  0.002 % |
575.15/575.47	c |    730042 |     220    18700   130900 |    81151    81193     63 |  0.002 % |
575.65/575.98	c |    730414 |     220    18700   130900 |    81151    71094     64 |  0.002 % |
576.05/576.39	c |    730824 |     220    18700   130900 |    81151    71504     64 |  0.002 % |
576.45/576.78	c |    731275 |     220    18700   130900 |    81151    71955     64 |  0.002 % |
576.85/577.18	c |    731769 |     220    18700   130900 |    81151    72449     64 |  0.002 % |
577.35/577.61	c |    732313 |     220    18700   130900 |    81151    72993     64 |  0.002 % |
577.75/578.04	c |    732909 |     220    18700   130900 |    81151    73589     64 |  0.002 % |
578.25/578.52	c |    733565 |     220    18700   130900 |    81151    74245     64 |  0.002 % |
578.95/579.29	c |    734287 |     220    18700   130900 |    81151    74967     64 |  0.002 % |
579.74/580.07	c |    735080 |     220    18700   130900 |    81151    75760     64 |  0.002 % |
580.64/580.91	c |    735951 |     220    18700   130900 |    81151    76631     64 |  0.002 % |
581.44/581.80	c |    736911 |     220    18700   130900 |    81151    77591     63 |  0.002 % |
582.44/582.75	c |    737964 |     220    18700   130900 |    81151    78644     63 |  0.002 % |
583.44/583.73	c |    739122 |     220    18700   130900 |    81151    79802     63 |  0.002 % |
584.54/584.80	c |    740397 |     220    18700   130900 |    80680    70225     64 |  0.002 % |
585.44/585.76	c |    741797 |     220    18700   130900 |    80680    71625     64 |  0.002 % |
586.54/586.88	c |    743337 |     220    18700   130900 |    80680    73165     64 |  0.002 % |
587.94/588.22	c |    745031 |     220    18700   130900 |    80680    74859     64 |  0.002 % |
589.74/590.02	c |    746894 |     220    18700   130900 |    80680    76722     64 |  0.002 % |
591.54/591.88	c |    748944 |     220    18700   130900 |    80680    78772     64 |  0.002 % |
593.64/593.99	c |    751197 |     220    18700   130900 |    79828    71259     64 |  0.002 % |
595.74/596.03	c |    753676 |     220    18700   130900 |    79828    73738     64 |  0.002 % |
597.84/598.14	c |    756401 |     220    18700   130900 |    79828    76463     64 |  0.002 % |
600.24/600.55	c |    759399 |     220    18700   130900 |    79828    79461     64 |  0.002 % |
602.54/602.81	c |    762695 |     220    18700   130900 |    70900    65575     64 |  0.002 % |
604.93/605.22	c |    766320 |     220    18700   130900 |    70900    69200     64 |  0.002 % |
607.63/607.90	c |    770308 |     220    18700   130900 | 2147483647    66088     63 |  0.002 % |
610.63/610.91	c |    774693 |     220    18700   130900 | 2147483647    70473     64 |  0.002 % |
614.43/614.70	c |    779516 |     220    18700   130900 | 2147483647    75296     64 |  0.002 % |
618.73/619.03	c |    784821 |     220    18700   130900 | 2147483647    80601     64 |  0.002 % |
623.63/623.98	c |    790656 |     220    18700   130900 |    85780    75163     64 |  0.002 % |
628.63/628.92	c |    797074 |     220    18700   130900 |    85780    81581     64 |  0.002 % |
634.53/634.82	c |    804135 |     220    18700   130900 |    84508    77478     64 |  0.002 % |
634.63/634.91	c |    804235 |     220    18700   130900 |    84508    77578     64 |  0.002 % |
634.73/635.00	c |    804346 |     220    18700   130900 |    84508    77689     64 |  0.002 % |
634.83/635.10	c |    804467 |     220    18700   130900 |    84508    77810     64 |  0.002 % |
634.93/635.21	c |    804600 |     220    18700   130900 |    84508    77943     64 |  0.002 % |
635.03/635.33	c |    804746 |     220    18700   130900 |    84508    78089     64 |  0.002 % |
635.13/635.47	c |    804906 |     220    18700   130900 |    84508    78249     64 |  0.002 % |
635.33/635.64	c |    805083 |     220    18700   130900 |    84508    78426     64 |  0.002 % |
635.53/635.87	c |    805277 |     220    18700   130900 |    84508    78620     64 |  0.002 % |
635.82/636.10	c |    805489 |     220    18700   130900 |    84508    78832     64 |  0.002 % |
636.02/636.34	c |    805723 |     220    18700   130900 |    84508    79066     64 |  0.002 % |
636.22/636.57	c |    805980 |     220    18700   130900 |    84508    79323     64 |  0.002 % |
636.53/636.84	c |    806261 |     220    18700   130900 |    84508    79604     64 |  0.002 % |
636.82/637.10	c |    806570 |     220    18700   130900 |    84508    79913     64 |  0.002 % |
637.12/637.45	c |    806909 |     220    18700   130900 |    84508    80252     64 |  0.002 % |
637.42/637.74	c |    807281 |     220    18700   130900 |    84508    80624     64 |  0.002 % |
637.73/638.09	c |    807690 |     220    18700   130900 |    84508    81033     64 |  0.002 % |
638.12/638.43	c |    808140 |     220    18700   130900 |    84508    81483     64 |  0.002 % |
638.52/638.87	c |    808633 |     220    18700   130900 |    84508    81976     64 |  0.002 % |
639.02/639.33	c |    809182 |     220    18700   130900 |    84508    82525     64 |  0.002 % |
639.52/639.88	c |    809778 |     220    18700   130900 |    84508    83121     64 |  0.002 % |
640.22/640.51	c |    810433 |     220    18700   130900 |    83346    72504     64 |  0.002 % |
640.72/641.06	c |    811153 |     220    18700   130900 |    83346    73224     64 |  0.002 % |
641.32/641.66	c |    811945 |     220    18700   130900 |    83346    74016     64 |  0.002 % |
642.03/642.33	c |    812819 |     220    18700   130900 |    83346    74890     64 |  0.002 % |
642.82/643.13	c |    813777 |     220    18700   130900 |    83346    75848     64 |  0.002 % |
643.62/643.94	c |    814831 |     220    18700   130900 |    83346    76902     64 |  0.002 % |
644.62/644.92	c |    815989 |     220    18700   130900 |    83346    78060     64 |  0.002 % |
645.62/645.99	c |    817262 |     220    18700   130900 |    83346    79333     64 |  0.002 % |
647.03/647.31	c |    818665 |     220    18700   130900 |    83346    80736     64 |  0.002 % |
648.43/648.76	c |    820205 |     220    18700   130900 |    82071    71561     64 |  0.002 % |
649.73/650.06	c |    821899 |     220    18700   130900 |    82071    73255     64 |  0.002 % |
651.13/651.49	c |    823766 |     220    18700   130900 |    82071    75122     64 |  0.002 % |
652.73/653.02	c |    825815 |     220    18700   130900 |    82071    77171     64 |  0.002 % |
654.53/654.81	c |    828068 |     220    18700   130900 |    82071    79424     64 |  0.002 % |
656.73/657.08	c |    830548 |     220    18700   130900 |    81356    72076     64 |  0.002 % |
658.93/659.23	c |    833273 |     220    18700   130900 |    81356    74801     64 |  0.002 % |
661.13/661.41	c |    836272 |     220    18700   130900 |    81356    77800     64 |  0.002 % |
663.72/664.00	c |    839568 |     220    18700   130900 |    81356    81096     64 |  0.002 % |
666.52/666.81	c |    843193 |     220    18700   130900 |    72208    67100     64 |  0.002 % |
669.22/669.57	c |    847181 |     220    18700   130900 |    72208    71088     64 |  0.002 % |
672.12/672.50	c |    851567 |     220    18700   130900 | 2147483647    68243     64 |  0.002 % |
675.82/676.10	c |    856392 |     220    18700   130900 | 2147483647    73068     64 |  0.002 % |
679.72/680.10	c |    861697 |     220    18700   130900 | 2147483647    78373     64 |  0.002 % |
684.22/684.52	c |    867532 |     220    18700   130900 | 2147483647    84208     64 |  0.002 % |
689.42/689.75	c |    873951 |     220    18700   130900 |    86676    80159     64 |  0.002 % |
695.02/695.37	c |    881011 |     220    18700   130900 |    86209    75940     64 |  0.002 % |
701.21/701.57	c |    888775 |     220    18700   130900 |    86209    83704     64 |  0.002 % |
701.31/701.66	c |    888876 |     220    18700   130900 |    86209    83805     64 |  0.002 % |
701.42/701.77	c |    888986 |     220    18700   130900 |    86209    83915     64 |  0.002 % |
701.52/701.89	c |    889107 |     220    18700   130900 |    86209    84036     64 |  0.002 % |
701.71/702.04	c |    889240 |     220    18700   130900 |    86209    84169     64 |  0.002 % |
701.81/702.17	c |    889386 |     220    18700   130900 |    86209    84315     64 |  0.002 % |
702.01/702.33	c |    889547 |     220    18700   130900 |    86209    84476     64 |  0.002 % |
702.21/702.53	c |    889725 |     220    18700   130900 |    86209    84654     64 |  0.002 % |
702.41/702.73	c |    889918 |     220    18700   130900 |    86209    84847     64 |  0.002 % |
702.62/703.00	c |    890130 |     220    18700   130900 |    84929    73494     64 |  0.002 % |
702.81/703.20	c |    890364 |     220    18700   130900 |    84929    73728     64 |  0.002 % |
703.11/703.41	c |    890620 |     220    18700   130900 |    84929    73984     64 |  0.002 % |
703.31/703.65	c |    890901 |     220    18700   130900 |    84929    74265     64 |  0.002 % |
703.62/703.93	c |    891210 |     220    18700   130900 |    84929    74574     64 |  0.002 % |
703.91/704.24	c |    891550 |     220    18700   130900 |    84929    74914     64 |  0.002 % |
704.31/704.65	c |    891923 |     220    18700   130900 |    84929    75287     64 |  0.002 % |
704.72/705.05	c |    892333 |     220    18700   130900 |    84929    75697     64 |  0.002 % |
705.11/705.47	c |    892782 |     220    18700   130900 |    84929    76146     64 |  0.002 % |
705.51/705.87	c |    893277 |     220    18700   130900 |    84929    76641     64 |  0.002 % |
706.01/706.33	c |    893820 |     220    18700   130900 |    84929    77184     64 |  0.002 % |
706.51/706.80	c |    894416 |     220    18700   130900 |    84929    77780     64 |  0.002 % |
707.01/707.33	c |    895071 |     220    18700   130900 |    84929    78435     64 |  0.002 % |
707.81/708.11	c |    895792 |     220    18700   130900 |    84929    79156     64 |  0.002 % |
708.51/708.84	c |    896585 |     220    18700   130900 |    84929    79949     64 |  0.002 % |
709.31/709.67	c |    897456 |     220    18700   130900 |    84929    80820     64 |  0.002 % |
710.21/710.58	c |    898414 |     220    18700   130900 |    84929    81778     64 |  0.002 % |
711.21/711.57	c |    899467 |     220    18700   130900 |    84929    82831     64 |  0.002 % |
712.51/712.81	c |    900625 |     220    18700   130900 |    83364    71623     64 |  0.002 % |
713.61/713.93	c |    901898 |     220    18700   130900 |    83364    72896     64 |  0.002 % |
714.81/715.15	c |    903298 |     220    18700   130900 |    83364    74296     64 |  0.002 % |
716.11/716.42	c |    904839 |     220    18700   130900 |    83364    75837     64 |  0.002 % |
717.41/717.75	c |    906534 |     220    18700   130900 |    83364    77532     64 |  0.002 % |
719.21/719.53	c |    908398 |     220    18700   130900 |    83364    79396     64 |  0.002 % |
721.11/721.40	c |    910448 |     220    18700   130900 |    80998    69766     64 |  0.002 % |
722.71/723.07	c |    912701 |     220    18700   130900 |    80998    72019     63 |  0.002 % |
724.51/724.83	c |    915179 |     220    18700   130900 |    80998    74497     63 |  0.002 % |
726.40/726.76	c |    917905 |     220    18700   130900 |    80998    77223     63 |  0.002 % |
728.91/729.23	c |    920904 |     220    18700   130900 |    79318    71544     63 |  0.002 % |
731.40/731.75	c |    924200 |     220    18700   130900 |    79318    74840     63 |  0.002 % |
734.20/734.54	c |    927825 |     220    18700   130900 |    79318    78465     63 |  0.002 % |
737.10/737.44	c |    931812 |     220    18700   130900 | 2147483647    74511     63 |  0.002 % |
740.40/740.74	c |    936197 |     220    18700   130900 | 2147483647    78896     63 |  0.002 % |
744.30/744.62	c |    941020 |     220    18700   130900 |    82699    75280     63 |  0.002 % |
748.60/748.94	c |    946325 |     220    18700   130900 |    82699    80585     64 |  0.002 % |
752.79/753.19	c |    952160 |     220    18700   130900 |    73979    67266     63 |  0.002 % |
757.60/757.94	c |    958580 |     220    18700   130900 |    73979    73686     64 |  0.002 % |
762.89/763.20	c |    965643 |     220    18700   130900 | 2147483647    73341     64 |  0.002 % |
768.69/769.01	c |    973407 |     220    18700   130900 | 2147483647    81105     64 |  0.002 % |
776.19/776.54	c |    981947 |     220    18700   130900 |    87698    77574     64 |  0.002 % |
776.29/776.64	c |    982047 |     220    18700   130900 |    87698    77674     64 |  0.002 % |
776.39/776.76	c |    982157 |     220    18700   130900 |    87698    77784     64 |  0.002 % |
776.49/776.87	c |    982279 |     220    18700   130900 |    87698    77906     64 |  0.002 % |
776.59/776.99	c |    982412 |     220    18700   130900 |    87698    78039     64 |  0.002 % |
776.79/777.13	c |    982558 |     220    18700   130900 |    87698    78185     64 |  0.002 % |
776.98/777.31	c |    982719 |     220    18700   130900 |    87698    78346     64 |  0.002 % |
777.08/777.50	c |    982895 |     220    18700   130900 |    87698    78522     64 |  0.002 % |
777.29/777.70	c |    983089 |     220    18700   130900 |    87698    78716     64 |  0.002 % |
777.58/777.95	c |    983301 |     220    18700   130900 |    87698    78928     64 |  0.002 % |
777.78/778.15	c |    983534 |     220    18700   130900 |    87698    79161     64 |  0.002 % |
778.08/778.41	c |    983791 |     220    18700   130900 |    87698    79418     64 |  0.002 % |
778.28/778.66	c |    984072 |     220    18700   130900 |    87698    79699     64 |  0.002 % |
778.58/778.95	c |    984381 |     220    18700   130900 |    87698    80008     64 |  0.002 % |
778.88/779.25	c |    984723 |     220    18700   130900 |    87698    80350     64 |  0.002 % |
779.18/779.56	c |    985096 |     220    18700   130900 |    87698    80723     64 |  0.002 % |
779.68/780.00	c |    985505 |     220    18700   130900 |    87698    81132     64 |  0.002 % |
780.08/780.42	c |    985954 |     220    18700   130900 |    87698    81581     64 |  0.002 % |
780.48/780.86	c |    986447 |     220    18700   130900 |    87698    82074     64 |  0.002 % |
780.98/781.31	c |    986990 |     220    18700   130900 |    87698    82617     64 |  0.002 % |
781.48/781.84	c |    987587 |     220    18700   130900 |    87698    83214     64 |  0.002 % |
782.08/782.49	c |    988242 |     220    18700   130900 |    87698    83869     64 |  0.002 % |
782.79/783.12	c |    988962 |     220    18700   130900 |    87698    84589     64 |  0.002 % |
783.48/783.84	c |    989754 |     220    18700   130900 |    87698    85381     64 |  0.002 % |
784.28/784.65	c |    990625 |     220    18700   130900 |    85627    74047     64 |  0.002 % |
784.98/785.39	c |    991583 |     220    18700   130900 |    85627    75005     64 |  0.002 % |
785.98/786.34	c |    992641 |     220    18700   130900 |    85627    76063     64 |  0.002 % |
786.98/787.37	c |    993799 |     220    18700   130900 |    85627    77221     64 |  0.002 % |
788.08/788.45	c |    995075 |     220    18700   130900 |    85627    78497     64 |  0.002 % |
789.48/789.82	c |    996475 |     220    18700   130900 |    85627    79897     64 |  0.002 % |
790.78/791.19	c |    998015 |     220    18700   130900 |    85627    81437     64 |  0.002 % |
792.58/792.91	c |    999712 |     220    18700   130900 |    85627    83134     64 |  0.002 % |
794.18/794.57	c |   1001576 |     220    18700   130900 |    83422    72820     64 |  0.002 % |
795.88/796.26	c |   1003625 |     220    18700   130900 |    83422    74869     64 |  0.002 % |
797.68/798.07	c |   1005878 |     220    18700   130900 |    83422    77122     64 |  0.002 % |
799.68/800.01	c |   1008358 |     220    18700   130900 |    83422    79602     64 |  0.002 % |
801.98/802.34	c |   1011083 |     220    18700   130900 |    81244    72034     64 |  0.002 % |
804.67/805.03	c |   1014080 |     220    18700   130900 |    81244    75031     64 |  0.002 % |
807.77/808.17	c |   1017376 |     220    18700   130900 |    81244    78327     64 |  0.002 % |
810.97/811.35	c |   1021002 |     220    18700   130900 |    80953    71112     64 |  0.002 % |
814.47/814.87	c |   1024989 |     220    18700   130900 |    80953    75099     64 |  0.002 % |
818.17/818.60	c |   1029375 |     220    18700   130900 |    80953    79485     64 |  0.002 % |
821.97/822.36	c |   1034198 |     220    18700   130900 |    80112    73654     64 |  0.002 % |
825.98/826.34	c |   1039503 |     220    18700   130900 |    80112    78959     64 |  0.002 % |
830.78/831.10	c |   1045339 |     220    18700   130900 |    79457    76502     64 |  0.002 % |
835.58/835.98	c |   1051757 |     220    18700   130900 |    72464    66485     64 |  0.002 % |
840.77/841.12	c |   1058818 |     220    18700   130900 |    72464    66291     64 |  0.002 % |
846.17/846.53	c |   1066584 |     220    18700   130900 | 2147483647    74057     64 |  0.002 % |
853.87/854.20	c |   1075124 |     220    18700   130900 |    77473    74631     64 |  0.002 % |
861.07/861.49	c |   1084518 |     220    18700   130900 |    70245    66771     64 |  0.002 % |
861.17/861.59	c |   1084619 |     220    18700   130900 |    70245    66872     64 |  0.002 % |
861.27/861.67	c |   1084729 |     220    18700   130900 |    70245    66982     64 |  0.002 % |
861.37/861.77	c |   1084850 |     220    18700   130900 |    70245    67103     64 |  0.002 % |
861.47/861.87	c |   1084983 |     220    18700   130900 |    70245    67236     64 |  0.002 % |
861.57/861.98	c |   1085129 |     220    18700   130900 |    70245    67382     64 |  0.002 % |
861.77/862.10	c |   1085289 |     220    18700   130900 |    70245    67542     64 |  0.002 % |
861.87/862.24	c |   1085465 |     220    18700   130900 |    70245    67718     64 |  0.002 % |
862.07/862.41	c |   1085659 |     220    18700   130900 |    70245    67912     64 |  0.002 % |
862.17/862.60	c |   1085871 |     220    18700   130900 |    70245    68124     64 |  0.002 % |
862.37/862.78	c |   1086107 |     220    18700   130900 |    70245    68360     64 |  0.002 % |
862.57/862.98	c |   1086364 |     220    18700   130900 |    70245    68617     64 |  0.002 % |
862.87/863.20	c |   1086645 |     220    18700   130900 |    70245    68898     64 |  0.002 % |
862.97/863.40	c |   1086954 |     220    18700   130900 |    70245    69207     64 |  0.002 % |
863.27/863.65	c |   1087294 |     220    18700   130900 |    70245    69547     64 |  0.002 % |
863.57/863.95	c |   1087667 |     220    18700   130900 |    70245    69920     64 |  0.002 % |
863.87/864.25	c |   1088077 |     220    18700   130900 |    70245    70330     64 |  0.002 % |
864.27/864.66	c |   1088527 |     220    18700   130900 |    70245    63747     64 |  0.002 % |
864.67/865.08	c |   1089020 |     220    18700   130900 |    70245    64240     64 |  0.002 % |
865.17/865.51	c |   1089562 |     220    18700   130900 |    70245    64782     64 |  0.002 % |
865.57/865.99	c |   1090158 |     220    18700   130900 | 2147483647    65378     64 |  0.002 % |
866.07/866.46	c |   1090813 |     220    18700   130900 | 2147483647    66033     64 |  0.002 % |
866.56/866.95	c |   1091533 |     220    18700   130900 | 2147483647    66753     64 |  0.002 % |
867.26/867.67	c |   1092325 |     220    18700   130900 | 2147483647    67545     64 |  0.002 % |
867.96/868.32	c |   1093197 |     220    18700   130900 | 2147483647    68417     64 |  0.002 % |
868.67/869.04	c |   1094156 |     220    18700   130900 | 2147483647    69376     64 |  0.002 % |
869.36/869.75	c |   1095210 |     220    18700   130900 | 2147483647    70430     64 |  0.002 % |
870.16/870.57	c |   1096368 |     220    18700   130900 | 2147483647    71588     64 |  0.002 % |
871.06/871.48	c |   1097642 |     220    18700   130900 | 2147483647    72862     64 |  0.002 % |
872.16/872.55	c |   1099042 |     220    18700   130900 | 2147483647    74262     64 |  0.002 % |
873.56/873.92	c |   1100582 |     220    18700   130900 | 2147483647    75802     64 |  0.002 % |
874.96/875.39	c |   1102276 |     220    18700   130900 | 2147483647    77496     64 |  0.002 % |
876.56/876.93	c |   1104139 |     220    18700   130900 | 2147483647    79359     64 |  0.002 % |
878.06/878.50	c |   1106190 |     220    18700   130900 | 2147483647    81410     64 |  0.002 % |
879.96/880.34	c |   1108443 |     220    18700   130900 | 2147483647    83663     64 |  0.002 % |
882.06/882.44	c |   1110922 |     220    18700   130900 |    85220    76294     64 |  0.002 % |
884.16/884.54	c |   1113647 |     220    18700   130900 |    85220    79019     64 |  0.002 % |
886.36/886.70	c |   1116645 |     220    18700   130900 |    85220    82017     64 |  0.002 % |
889.16/889.50	c |   1119941 |     220    18700   130900 |    85220    74773     63 |  0.002 % |
891.66/892.06	c |   1123566 |     220    18700   130900 |    74832    69102     63 |  0.002 % |
894.85/895.21	c |   1127553 |     220    18700   130900 |    74832    73089     63 |  0.002 % |
898.26/898.67	c |   1131938 |     220    18700   130900 | 2147483647    69982     63 |  0.002 % |
901.95/902.32	c |   1136762 |     220    18700   130900 | 2147483647    74806     63 |  0.002 % |
905.96/906.34	c |   1142068 |     220    18700   130900 | 2147483647    80112     64 |  0.002 % |
911.46/911.81	c |   1147905 |     220    18700   130900 | 2147483647    85949     64 |  0.002 % |
916.75/917.15	c |   1154324 |     220    18700   130900 |    88044    80088     64 |  0.002 % |
922.45/922.87	c |   1161384 |     220    18700   130900 |    85764    76024     64 |  0.002 % |
928.85/929.28	c |   1169149 |     220    18700   130900 |    85764    83789     64 |  0.002 % |
935.84/936.24	c |   1177689 |     220    18700   130900 |    84640    81665     64 |  0.002 % |
943.44/943.89	c |   1187085 |     220    18700   130900 |    83979    80950     64 |  0.002 % |
951.14/951.54	c |   1197421 |     220    18700   130900 |    83865    80932     65 |  0.002 % |
951.24/951.62	c |   1197523 |     220    18700   130900 |    83865    81034     65 |  0.002 % |
951.34/951.75	c |   1197634 |     220    18700   130900 |    83865    81145     65 |  0.002 % |
951.44/951.87	c |   1197756 |     220    18700   130900 |    83865    81267     65 |  0.002 % |
951.54/951.99	c |   1197892 |     220    18700   130900 |    83865    81403     65 |  0.002 % |
951.74/952.12	c |   1198038 |     220    18700   130900 |    83865    81549     65 |  0.002 % |
951.84/952.29	c |   1198199 |     220    18700   130900 |    83865    81710     65 |  0.002 % |
952.04/952.46	c |   1198375 |     220    18700   130900 |    83865    81886     65 |  0.002 % |
952.24/952.68	c |   1198570 |     220    18700   130900 |    83865    82081     65 |  0.002 % |
952.54/952.94	c |   1198783 |     220    18700   130900 |    83865    82294     65 |  0.002 % |
952.84/953.20	c |   1199017 |     220    18700   130900 |    83865    82528     65 |  0.002 % |
953.04/953.49	c |   1199273 |     220    18700   130900 |    83865    82784     65 |  0.002 % |
953.34/953.80	c |   1199554 |     220    18700   130900 |    83865    83065     65 |  0.002 % |
953.74/954.11	c |   1199866 |     220    18700   130900 |    83865    83377     65 |  0.002 % |
954.14/954.54	c |   1200206 |     220    18700   130900 |    83511    72125     65 |  0.002 % |
954.44/954.85	c |   1200578 |     220    18700   130900 |    83511    72497     65 |  0.002 % |
954.74/955.17	c |   1200988 |     220    18700   130900 |    83511    72907     65 |  0.002 % |
955.14/955.55	c |   1201437 |     220    18700   130900 |    83511    73356     65 |  0.002 % |
955.54/955.94	c |   1201930 |     220    18700   130900 |    83511    73849     65 |  0.002 % |
956.04/956.41	c |   1202472 |     220    18700   130900 |    83511    74391     65 |  0.002 % |
956.44/956.88	c |   1203068 |     220    18700   130900 |    83511    74987     65 |  0.002 % |
957.14/957.53	c |   1203724 |     220    18700   130900 |    83511    75643     64 |  0.002 % |
957.84/958.20	c |   1204444 |     220    18700   130900 |    83511    76363     64 |  0.002 % |
958.44/958.84	c |   1205237 |     220    18700   130900 |    83511    77156     64 |  0.002 % |
959.03/959.48	c |   1206108 |     220    18700   130900 |    83511    78027     64 |  0.002 % |
959.84/960.24	c |   1207067 |     220    18700   130900 |    83511    78986     64 |  0.002 % |
960.94/961.33	c |   1208120 |     220    18700   130900 |    83511    80039     64 |  0.002 % |
961.93/962.30	c |   1209278 |     220    18700   130900 |    83511    81197     64 |  0.002 % |
962.93/963.31	c |   1210552 |     220    18700   130900 |    81922    71531     64 |  0.002 % |
964.03/964.49	c |   1211952 |     220    18700   130900 |    81922    72931     64 |  0.002 % |
965.23/965.64	c |   1213492 |     220    18700   130900 |    81922    74471     64 |  0.002 % |
966.63/967.03	c |   1215187 |     220    18700   130900 |    81922    76166     64 |  0.002 % |
967.93/968.38	c |   1217052 |     220    18700   130900 |    81922    78031     64 |  0.002 % |
969.74/970.17	c |   1219101 |     220    18700   130900 |    81922    80080     64 |  0.002 % |
971.73/972.13	c |   1221354 |     220    18700   130900 |    80979    72455     64 |  0.002 % |
973.63/974.04	c |   1223833 |     220    18700   130900 |    80979    74934     64 |  0.002 % |
975.73/976.16	c |   1226558 |     220    18700   130900 |    80979    77659     64 |  0.002 % |
978.43/978.88	c |   1229556 |     220    18700   130900 |    80979    80657     64 |  0.002 % |
981.03/981.46	c |   1232852 |     220    18700   130900 |    71273    65501     64 |  0.002 % |
983.63/984.09	c |   1236478 |     220    18700   130900 |    71273    69127     64 |  0.002 % |
986.43/986.87	c |   1240466 |     220    18700   130900 | 2147483647    65977     64 |  0.002 % |
989.43/989.84	c |   1244856 |     220    18700   130900 | 2147483647    70367     64 |  0.002 % |
993.22/993.66	c |   1249681 |     220    18700   130900 | 2147483647    75192     64 |  0.002 % |
997.52/997.96	c |   1254986 |     220    18700   130900 | 2147483647    80497     64 |  0.002 % |
1002.42/1002.81	c |   1260821 |     220    18700   130900 |    85512    76523     64 |  0.002 % |
1007.42/1007.89	c |   1267239 |     220    18700   130900 |    85512    82941     64 |  0.002 % |
1012.92/1013.31	c |   1274301 |     220    18700   130900 |    75584    71005     64 |  0.002 % |
1018.22/1018.68	c |   1282065 |     220    18700   130900 | 2147483647    71200     64 |  0.002 % |
1024.51/1024.97	c |   1290606 |     220    18700   130900 |    79136    71719     64 |  0.002 % |
1031.42/1031.89	c |   1300001 |     220    18700   130900 |    79136    72740     64 |  0.002 % |
1038.51/1038.94	c |   1310335 |     220    18700   130900 | 2147483647    68224     64 |  0.002 % |
1046.91/1047.36	c |   1321701 |     220    18700   130900 | 2147483647    79590     64 |  0.002 % |
1047.01/1047.47	c |   1321804 |     220    18700   130900 | 2147483647    79693     64 |  0.002 % |
1047.11/1047.58	c |   1321918 |     220    18700   130900 | 2147483647    79807     64 |  0.002 % |
1047.21/1047.69	c |   1322040 |     220    18700   130900 | 2147483647    79929     64 |  0.002 % |
1047.41/1047.83	c |   1322173 |     220    18700   130900 | 2147483647    80062     64 |  0.002 % |
1047.51/1047.98	c |   1322320 |     220    18700   130900 | 2147483647    80209     64 |  0.002 % |
1047.71/1048.15	c |   1322482 |     220    18700   130900 | 2147483647    80371     64 |  0.002 % |
1047.91/1048.32	c |   1322658 |     220    18700   130900 | 2147483647    80547     64 |  0.002 % |
1048.11/1048.52	c |   1322852 |     220    18700   130900 | 2147483647    80741     64 |  0.002 % |
1048.21/1048.68	c |   1323064 |     220    18700   130900 | 2147483647    80953     64 |  0.002 % |
1048.51/1048.97	c |   1323297 |     220    18700   130900 | 2147483647    81186     64 |  0.002 % |
1048.81/1049.23	c |   1323553 |     220    18700   130900 | 2147483647    81442     64 |  0.002 % |
1049.11/1049.52	c |   1323834 |     220    18700   130900 | 2147483647    81723     64 |  0.002 % |
1049.41/1049.84	c |   1324144 |     220    18700   130900 | 2147483647    82033     64 |  0.002 % |
1049.71/1050.15	c |   1324485 |     220    18700   130900 | 2147483647    82374     64 |  0.002 % |
1050.11/1050.50	c |   1324857 |     220    18700   130900 | 2147483647    82746     64 |  0.002 % |
1050.51/1050.91	c |   1325266 |     220    18700   130900 | 2147483647    83155     64 |  0.002 % |
1050.91/1051.33	c |   1325715 |     220    18700   130900 | 2147483647    83604     64 |  0.002 % |
1051.41/1051.82	c |   1326208 |     220    18700   130900 | 2147483647    84097     64 |  0.002 % |
1051.91/1052.36	c |   1326750 |     220    18700   130900 | 2147483647    84639     64 |  0.002 % |
1052.51/1052.91	c |   1327346 |     220    18700   130900 | 2147483647    85235     64 |  0.002 % |
1053.01/1053.46	c |   1328001 |     220    18700   130900 | 2147483647    85890     64 |  0.002 % |
1053.81/1054.20	c |   1328721 |     220    18700   130900 | 2147483647    86610     64 |  0.002 % |
1054.60/1055.04	c |   1329514 |     220    18700   130900 | 2147483647    87403     64 |  0.002 % |
1055.51/1055.97	c |   1330385 |     220    18700   130900 |    87889    75349     64 |  0.002 % |
1056.30/1056.76	c |   1331344 |     220    18700   130900 |    87889    76308     64 |  0.002 % |
1057.10/1057.54	c |   1332399 |     220    18700   130900 |    87889    77363     64 |  0.002 % |
1058.00/1058.40	c |   1333559 |     220    18700   130900 |    87889    78523     64 |  0.002 % |
1059.20/1059.65	c |   1334832 |     220    18700   130900 |    87889    79796     64 |  0.002 % |
1060.50/1060.92	c |   1336232 |     220    18700   130900 |    87889    81196     64 |  0.002 % |
1061.90/1062.31	c |   1337772 |     220    18700   130900 |    87889    82736     64 |  0.002 % |
1063.31/1063.78	c |   1339466 |     220    18700   130900 |    87889    84430     64 |  0.002 % |
1064.91/1065.34	c |   1341330 |     220    18700   130900 |    84964    73837     64 |  0.002 % |
1066.51/1066.95	c |   1343379 |     220    18700   130900 |    84964    75886     64 |  0.002 % |
1068.31/1068.71	c |   1345632 |     220    18700   130900 |    84964    78139     64 |  0.002 % |
1070.21/1070.65	c |   1348113 |     220    18700   130900 |    84964    80620     64 |  0.002 % |
1072.41/1072.80	c |   1350839 |     220    18700   130900 |    82508    73857     64 |  0.002 % |
1074.51/1074.99	c |   1353836 |     220    18700   130900 |    82508    76854     64 |  0.002 % |
1076.91/1077.30	c |   1357132 |     220    18700   130900 |    82508    80150     64 |  0.002 % |
1079.61/1080.06	c |   1360758 |     220    18700   130900 | 2147483647    75488     64 |  0.002 % |
1082.60/1083.05	c |   1364746 |     220    18700   130900 | 2147483647    79476     64 |  0.002 % |
1086.10/1086.56	c |   1369131 |     220    18700   130900 | 2147483647    83861     64 |  0.002 % |
1090.10/1090.53	c |   1373954 |     220    18700   130900 |    84730    79069     64 |  0.002 % |
1094.30/1094.75	c |   1379259 |     220    18700   130900 |    84730    84374     64 |  0.002 % |
1098.30/1098.80	c |   1385094 |     220    18700   130900 |    75141    71510     64 |  0.002 % |
1102.90/1103.35	c |   1391513 |     220    18700   130900 | 2147483647    70405     64 |  0.002 % |
1107.90/1108.36	c |   1398575 |     220    18700   130900 | 2147483647    77467     64 |  0.002 % |
1114.30/1114.71	c |   1406340 |     220    18700   130900 | 2147483647    85232     64 |  0.002 % |
1122.19/1122.61	c |   1414880 |     220    18700   130900 |    88892    81914     64 |  0.002 % |
1129.99/1130.43	c |   1424274 |     220    18700   130900 |    87034    79593     64 |  0.002 % |
1138.39/1138.86	c |   1434608 |     220    18700   130900 |    85319    79266     65 |  0.002 % |
1148.79/1149.28	c |   1445975 |     220    18700   130900 |    84658    79548     65 |  0.002 % |
1159.99/1160.48	c |   1458477 |     220    18700   130900 |    83576    81176     65 |  0.002 % |
1160.09/1160.59	c |   1458577 |     220    18700   130900 |    83576    81276     65 |  0.002 % |
1160.28/1160.72	c |   1458688 |     220    18700   130900 |    83576    81387     65 |  0.002 % |
1160.38/1160.83	c |   1458810 |     220    18700   130900 |    83576    81509     65 |  0.002 % |
1160.48/1160.95	c |   1458945 |     220    18700   130900 |    83576    81644     65 |  0.002 % |
1160.68/1161.10	c |   1459091 |     220    18700   130900 |    83576    81790     65 |  0.002 % |
1160.78/1161.27	c |   1459251 |     220    18700   130900 |    83576    81950     65 |  0.002 % |
1160.98/1161.42	c |   1459429 |     220    18700   130900 |    83576    82128     65 |  0.002 % |
1161.19/1161.64	c |   1459624 |     220    18700   130900 |    83576    82323     65 |  0.002 % |
1161.38/1161.85	c |   1459837 |     220    18700   130900 |    83576    82536     65 |  0.002 % |
1161.58/1162.07	c |   1460071 |     220    18700   130900 |    82700    82770     65 |  0.002 % |
1161.98/1162.43	c |   1460327 |     220    18700   130900 |    82700    72131     64 |  0.002 % |
1162.19/1162.68	c |   1460609 |     220    18700   130900 |    82700    72413     64 |  0.002 % |
1162.48/1162.97	c |   1460919 |     220    18700   130900 |    82700    72723     64 |  0.002 % |
1162.78/1163.28	c |   1461260 |     220    18700   130900 |    82700    73064     64 |  0.002 % |
1163.18/1163.66	c |   1461634 |     220    18700   130900 |    82700    73438     64 |  0.002 % |
1163.58/1164.00	c |   1462045 |     220    18700   130900 |    82700    73849     64 |  0.002 % |
1163.98/1164.44	c |   1462494 |     220    18700   130900 |    82700    74298     64 |  0.002 % |
1164.39/1164.87	c |   1462988 |     220    18700   130900 |    82700    74792     64 |  0.002 % |
1164.78/1165.26	c |   1463530 |     220    18700   130900 |    82700    75334     64 |  0.002 % |
1165.38/1165.87	c |   1464129 |     220    18700   130900 |    82700    75933     64 |  0.002 % |
1165.98/1166.41	c |   1464785 |     220    18700   130900 |    82700    76589     64 |  0.002 % |
1166.58/1167.01	c |   1465506 |     220    18700   130900 |    82700    77310     64 |  0.002 % |
1167.28/1167.76	c |   1466300 |     220    18700   130900 |    82700    78104     64 |  0.002 % |
1167.88/1168.38	c |   1467174 |     220    18700   130900 |    82700    78978     64 |  0.002 % |
1168.68/1169.12	c |   1468132 |     220    18700   130900 |    82700    79936     64 |  0.002 % |
1169.48/1169.99	c |   1469186 |     220    18700   130900 |    82700    80990     64 |  0.002 % |
1170.68/1171.11	c |   1470344 |     220    18700   130900 |    81808    71643     64 |  0.002 % |
1171.68/1172.11	c |   1471617 |     220    18700   130900 |    81808    72916     64 |  0.002 % |
1172.58/1173.10	c |   1473017 |     220    18700   130900 |    81808    74316     64 |  0.002 % |
1173.98/1174.43	c |   1474557 |     220    18700   130900 |    81808    75856     64 |  0.002 % |
1175.38/1175.87	c |   1476256 |     220    18700   130900 |    81808    77555     64 |  0.002 % |
1176.78/1177.23	c |   1478119 |     220    18700   130900 |    81808    79418     64 |  0.002 % |
1178.68/1179.19	c |   1480169 |     220    18700   130900 |    81300    71566     64 |  0.002 % |
1180.37/1180.80	c |   1482422 |     220    18700   130900 |    81300    73819     64 |  0.002 % |
1182.08/1182.55	c |   1484902 |     220    18700   130900 |    81300    76299     64 |  0.002 % |
1184.18/1184.67	c |   1487630 |     220    18700   130900 |    81300    79027     64 |  0.002 % |
1186.57/1187.02	c |   1490627 |     220    18700   130900 |    81397    73267     64 |  0.002 % |
1188.97/1189.49	c |   1493924 |     220    18700   130900 |    81397    76564     64 |  0.002 % |
1191.77/1192.23	c |   1497549 |     220    18700   130900 |    81397    80189     64 |  0.002 % |
1194.97/1195.46	c |   1501537 |     220    18700   130900 |    73906    67566     64 |  0.002 % |
1198.17/1198.68	c |   1505924 |     220    18700   130900 |    73906    71953     64 |  0.002 % |
1200.07/1200.51	HOME/SatELiteGTI: line 36: 22936 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-1832543-1242783087/watcher-1832543-1242783087 -o /tmp/evaluation-result-1832543-1242783087/solver-1832543-1242783087 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832543-1242783087.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.03 1.01 1.00 3/64 22930
/proc/meminfo: memFree=1779912/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 306336080 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22930/statm: 1339 237 197 169 0 50 0

[startup+0.094711 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 22930
/proc/meminfo: memFree=1779912/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.10171 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 22930
/proc/meminfo: memFree=1779912/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301732 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 22930
/proc/meminfo: memFree=1779912/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701771 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 22930
/proc/meminfo: memFree=1779912/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50283 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1775416/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=5388 CPUtime=1.41
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 1106 0 0 0 141 0 0 0 25 0 1 0 306336087 5517312 1092 1992294400 134512640 135215339 4294956240 18446744073709551615 134538098 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 1347 1092 76 171 0 1174 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10744

[startup+3.10198 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1773880/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=7668 CPUtime=3.01
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 1691 0 0 0 300 1 0 0 25 0 1 0 306336087 7852032 1677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 1917 1677 76 171 0 1744 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13024

[startup+6.30127 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1769992/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=10916 CPUtime=6.2
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 2496 0 0 0 619 1 0 0 25 0 1 0 306336087 11177984 2482 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 2729 2482 76 171 0 2556 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16272

[startup+12.7019 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1765256/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=15096 CPUtime=12.6
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 3540 0 0 0 1257 3 0 0 25 0 1 0 306336087 15458304 3526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 3774 3526 76 171 0 3601 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20452

[startup+25.502 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1759240/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=20904 CPUtime=25.4
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 4985 0 0 0 2535 5 0 0 25 0 1 0 306336087 21405696 4971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 5226 4971 76 171 0 5053 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26260

[startup+51.1014 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 22936
/proc/meminfo: memFree=1752264/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=27680 CPUtime=50.98
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 6682 0 0 0 5091 7 0 0 25 0 1 0 306336087 28344320 6668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 6920 6668 76 171 0 6747 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33036

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1752136/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=27680 CPUtime=102.17
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 6682 0 0 0 10210 7 0 0 25 0 1 0 306336087 28344320 6668 1992294400 134512640 135215339 4294956240 18446744073709551615 134539152 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 6920 6668 76 171 0 6747 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 33036

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1751688/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=28076 CPUtime=162.14
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 6774 0 0 0 16206 8 0 0 25 0 1 0 306336087 28749824 6760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7019 6760 76 171 0 6846 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 33432

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1750536/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=29132 CPUtime=222.12
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7039 0 0 0 22204 8 0 0 25 0 1 0 306336087 29831168 7025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7283 7025 76 171 0 7110 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 34488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1750280/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=29260 CPUtime=282.09
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7081 0 0 0 28201 8 0 0 25 0 1 0 306336087 29962240 7067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7315 7067 76 171 0 7142 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 34616

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1749960/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=29524 CPUtime=342.07
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7149 0 0 0 34198 9 0 0 25 0 1 0 306336087 30232576 7135 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7381 7135 76 171 0 7208 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 34880

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1749896/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=29524 CPUtime=402.04
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7149 0 0 0 40195 9 0 0 25 0 1 0 306336087 30232576 7135 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7381 7135 76 171 0 7208 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 34880

[startup+462.302 s]

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

[pid=22936] ppid=22930 vsize=30052 CPUtime=522
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7294 0 0 0 52190 10 0 0 25 0 1 0 306336087 30773248 7280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7513 7280 76 171 0 7340 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 35408

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1748680/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=30316 CPUtime=581.98
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7354 0 0 0 58188 10 0 0 25 0 1 0 306336087 31043584 7340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7579 7340 76 171 0 7406 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 35672

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22936
/proc/meminfo: memFree=1748616/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=30316 CPUtime=641.97
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7354 0 0 0 64187 10 0 0 25 0 1 0 306336087 31043584 7340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7579 7340 76 171 0 7406 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 35672

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1748104/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=30448 CPUtime=701.95
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7379 0 0 0 70184 11 0 0 25 0 1 0 306336087 31178752 7365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7612 7365 76 171 0 7439 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 35804

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1748104/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=30584 CPUtime=761.94
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7395 0 0 0 76183 11 0 0 25 0 1 0 306336087 31318016 7381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7646 7381 76 171 0 7473 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 35940

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1747528/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31120 CPUtime=821.91
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7541 0 0 0 82180 11 0 0 25 0 1 0 306336087 31866880 7527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7780 7527 76 171 0 7607 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 36476

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1747464/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31120 CPUtime=881.9
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7541 0 0 0 88178 12 0 0 25 0 1 0 306336087 31866880 7527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7780 7527 76 171 0 7607 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 36476

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1747272/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31120 CPUtime=941.88
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7556 0 0 0 94176 12 0 0 25 0 1 0 306336087 31866880 7542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7780 7542 76 171 0 7607 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 36476

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1747208/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31120 CPUtime=1001.86
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7561 0 0 0 100174 12 0 0 25 0 1 0 306336087 31866880 7547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7780 7547 76 171 0 7607 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 36476

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1746760/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31516 CPUtime=1061.84
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7651 0 0 0 106172 12 0 0 25 0 1 0 306336087 32272384 7637 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7879 7637 76 171 0 7706 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 36872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1746440/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31780 CPUtime=1121.83
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7709 0 0 0 112170 13 0 0 25 0 1 0 306336087 32542720 7695 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7945 7695 76 171 0 7772 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 37136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1746312/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31780 CPUtime=1181.81
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7710 0 0 0 118168 13 0 0 25 0 1 0 306336087 32542720 7696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7945 7696 76 171 0 7772 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 37136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1746312/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31748 CPUtime=1200.01
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7710 0 0 0 119988 13 0 0 25 0 1 0 306336087 32509952 7696 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7937 7696 76 171 0 7764 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 37104

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22938
/proc/meminfo: memFree=1746312/2055920 swapFree=4170692/4192956
[pid=22930] ppid=22928 vsize=5356 CPUtime=0.06
/proc/22930/stat : 22930 (SatELiteGTI) S 22928 22930 22817 0 -1 4194304 336 785 0 0 0 0 6 0 16 0 1 0 306336080 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22930/statm: 1339 239 197 169 0 50 0
[pid=22936] ppid=22930 vsize=31748 CPUtime=1200.01
/proc/22936/stat : 22936 (minisat_static) R 22930 22930 22817 0 -1 4194304 7710 0 0 0 119988 13 0 0 25 0 1 0 306336087 32509952 7696 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/22936/statm: 7937 7696 76 171 0 7764 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 37104

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1199.95
CPU system time (s): 0.151976
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 37136

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

runsolver used 1.51877 second user time and 2.98155 second system time

The end

Launcher Data

Begin job on node55 at 2009-05-20 03:31:27
IDJOB=1832543
IDBENCH=70235
IDSOLVER=671
FILE ID=node55/1832543-1242783087
PBS_JOBID= 9322337
Free space on /tmp= 66256 MiB

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

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

MD5SUM BENCH= 88d4611d108004ec1f24e3826a831460
RANDOM SEED=1302315642

node55.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.240
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.240
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:       1780456 kB
Buffers:         18996 kB
Cached:         206964 kB
SwapCached:      16460 kB
Active:          91504 kB
Inactive:       152428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1780456 kB
SwapTotal:     4192956 kB
SwapFree:      4170692 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          15528 kB
Slab:            17680 kB
Committed_AS:   926204 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66252 MiB
End job on node55 at 2009-05-20 03:51:30